let yycheck = "\006\000\007\000\008\000\t\000\n\000\011\000\012\000\013\000\014\000\015\000\016\000\017\000\018\000\019\000\020\000\021\000\022\000\023\000\024\000\025\000\026\000\027\000\028\000\029\000\030\000\031\000\002\001\001\000\"\000#\000&\000&\001\002\001'\000(\000,\001&\001\003\001\t\001\005\001.\000\007\001\008\001\t\001\t\001&\0014\000\002\001\007\001\008\001\t\001,\001-\001\031\001 \001!\001\"\001#\001$\001%\001&\001&\001\002\001\029\001\029\001&\001,\001-\001-\001(\001\029\001&\001-\001J\000(\001(\0016\0017\001-\0019\001:\001(\001<\001=\001>\001\255\255(\001]\000^\000_\000`\000a\000b\000.\001d\000e\000f\000g\000h\000i\000j\000k\000l\000m\000n\000q\000p\000\255\255?\001@\001?\001@\001\255\255\255\255\255\255y\000z\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\000\001\001\001\002\001\003\001\255\255\005\001\255\255\255\255\145\000\146\000\n\001\011\001\012\001\013\001\014\001\015\001\016\001\017\001\018\001\019\001\020\001\021\001\022\001\023\001\024\001\025\001\026\001\027\001\028\001\255\255\030\001\031\001\255\255!\001\"\001\255\255$\001\255\255&\001'\001(\001)\001*\001+\001\255\255\255\255\255\255/\001\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\2558\001\255\255\255\255;\001\255\255\255\255\255\255?\001@\001A\001B\001C\001D\001\001\001\002\001\003\001\255\255\005\001\255\255\255\255\255\255\255\255\n\001\011\001\012\001\013\001\014\001\015\001\016\001\017\001\018\001\019\001\020\001\021\001\022\001\023\001\024\001\025\001\026\001\027\001\028\001\255\255\030\001\031\001\255\255!\001\"\001\255\255$\001\255\255\255\255'\001(\001)\001*\001+\001\003\001\255\255\005\001/\001\007\001\008\001\t\001\255\255\255\255\255\255\255\255\255\2558\001\255\255\255\255;\001\255\255\255\255\255\255?\001@\001\255\255\255\255C\001D\001\255\255\029\001\255\255\031\001 \001!\001\"\001#\001$\001%\001&\001\255\255(\001\255\255\255\255\255\255,\001-\001\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001:\001\255\255<\001=\001>\001\003\001\255\255\005\001\255\255\007\001\008\001\t\001\255\255\255\255\031\001 \001!\001\"\001#\001$\001%\001&\001\255\255\255\255\255\255\255\255\255\255,\001-\001\255\255\255\255\029\001\255\255\031\001 \001!\001\"\001#\001$\001%\001&\001:\001\255\255<\001=\001\255\255,\001-\001\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001:\001\255\255<\001=\001>\001\003\001\255\255\005\001\255\255\007\001\008\001\255\255\255\255\255\255\031\001 \001!\001\"\001#\001$\001%\001&\001\255\255\255\255\255\255\255\255\255\255,\001-\001\255\255\255\255\029\001\255\255\031\001 \001!\001\"\001#\001$\001%\001&\001:\001\255\255<\001=\001\255\255,\001-\001\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001:\001\255\255<\001=\001>\001\003\001\255\255\005\001\255\255\007\001\008\001\255\255\255\255\255\255\031\001 \001!\001\"\001#\001$\001%\001&\001\255\255\255\255\255\255\255\255\255\255,\001-\001\255\255\255\255\029\001\255\255\031\001 \001!\001\"\001#\001$\001%\001&\001:\001\255\255<\001=\001\255\255,\001-\001\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001:\001\255\255<\001=\001>\001\003\001\255\255\005\001\255\255\007\001\008\001\255\255\255\255\255\255\031\001 \001!\001\"\001#\001$\001%\001&\001\255\255\255\255\255\255\255\255\255\255,\001-\001\255\255\255\255\029\001\255\255\031\001 \001!\001\"\001#\001$\001%\001&\001:\001\255\255<\001=\001\255\255,\001-\001\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001:\001\255\255<\001=\001>\001\003\001\255\255\005\001\255\255\007\001\008\001\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\029\001\255\255\031\001 \001!\001\"\001#\001$\001%\001&\001\255\255\255\255\255\255\255\255\255\255,\001-\001\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001:\001\255\255<\001=\001>\001\003\001\255\255\005\001\255\255\007\001\008\001\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\029\001\255\255\031\001 \001!\001\"\001#\001$\001%\001&\001\255\255\255\255\255\255\255\255\255\255,\001-\001\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001:\001\255\255<\001=\001>\001\003\001\255\255\005\001\255\255\007\001\008\001\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\029\001\255\255\031\001 \001!\001\"\001#\001$\001%\001&\001\255\255\255\255\255\255\255\255\255\255,\001-\001\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001:\001\255\255<\001=\001>\001\003\001\255\255\005\001\255\255\007\001\008\001\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\029\001\255\255\031\001 \001!\001\"\001#\001$\001%\001&\001\255\255\255\255\255\255\255\255\255\255,\001-\001\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001:\001\255\255<\001=\001>\001\003\001\255\255\005\001\255\255\007\001\008\001\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\029\001\255\255\031\001 \001!\001\"\001#\001$\001%\001&\001\255\255\255\255\255\255\255\255\255\255,\001-\001\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001:\001\255\255<\001=\001>\001\003\001\255\255\005\001\255\255\007\001\008\001\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\029\001\255\255\031\001 \001!\001\"\001#\001$\001%\001&\001\255\255\255\255\255\255\255\255\255\255,\001-\001\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001:\001\255\255<\001=\001>\001\003\001\255\255\005\001\255\255\007\001\008\001\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\029\001\255\255\031\001 \001!\001\"\001#\001$\001%\001&\001\255\255\255\255\255\255\255\255\255\255,\001-\001\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001:\001\255\255<\001=\001>\001\003\001\255\255\005\001\255\255\007\001\008\001\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\029\001\255\255\031\001 \001!\001\"\001#\001$\001%\001&\001\255\255\255\255\255\255\255\255\255\255,\001-\001\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001:\001\255\255<\001=\001>\001\003\001\255\255\005\001\255\255\007\001\008\001\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\029\001\255\255\031\001 \001!\001\"\001#\001$\001%\001&\001\255\255\255\255\255\255\255\255\255\255,\001-\001\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001:\001\255\255<\001=\001>\001\003\001\255\255\005\001\255\255\007\001\008\001\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\029\001\255\255\031\001 \001!\001\"\001#\001$\001%\001&\001\255\255\255\255\255\255\255\255\255\255,\001-\001\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001:\001\255\255<\001=\001>\001\003\001\255\255\005\001\255\255\007\001\008\001\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\029\001\255\255\031\001 \001!\001\"\001#\001$\001%\001&\001\255\255\255\255\255\255\255\255\255\255,\001-\001\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001:\001\255\255<\001=\001>\001\003\001\255\255\005\001\255\255\007\001\008\001\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\029\001\255\255\031\001 \001!\001\"\001#\001$\001%\001&\001\255\255\255\255\255\255\255\255\255\255,\001-\001\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001:\001\255\255<\001=\001>\001\003\001\255\255\005\001\255\255\007\001\008\001\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\029\001\255\255\031\001 \001!\001\"\001#\001$\001%\001&\001\255\255\255\255\255\255\255\255\255\255,\001-\001\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001:\001\255\255<\001=\001>\001\003\001\255\255\005\001\255\255\007\001\008\001\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\029\001\255\255\031\001 \001!\001\"\001#\001$\001%\001&\001\255\255\255\255\255\255\255\255\255\255,\001-\001\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001:\001\255\255<\001=\001>\001\003\001\255\255\005\001\255\255\007\001\008\001\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\031\001 \001!\001\"\001#\001$\001%\001&\001\255\255\255\255\255\255\255\255\255\255,\001-\001\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001:\001\255\255<\001=\001>\001\003\001\255\255\005\001\255\255\007\001\008\001\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\031\001 \001!\001\"\001#\001$\001%\001&\001\003\001\255\255\005\001\255\255\255\255,\001-\001\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001:\001\255\255<\001=\001>\001\255\255\255\255\255\255\255\255\031\001 \001!\001\"\001#\001$\001%\001&\001\003\001\255\255\005\001\255\255\255\255,\001-\001\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001:\001\255\255<\001=\001>\001\255\255\255\255\255\255\255\255\031\001 \001!\001\"\001#\001$\001%\001&\001\255\255\255\255\255\255\255\255\255\255,\001-\001\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001:\001\255\255<\001=\001>\001\003\001\255\255\005\001\255\255\007\001\008\001\t\001\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\003\001\255\255\005\001\255\255\007\001\008\001\t\001\255\255\029\001\255\255\031\001\255\255\255\255\"\001\255\255$\001\255\255\255\255\255\255(\001\255\255\255\255\255\255\255\255\255\255\255\255\029\0010\0011\0012\0013\0014\0015\0016\0017\001&\0019\001(\001\003\001\255\255\005\001>\001\007\001\008\001\t\0010\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001\255\255\255\255\255\255\255\255>\001\255\255\255\255\255\255\255\255\029\001\255\255\255\255 \001\003\001\255\255\005\001\255\255\007\001\008\001\t\001(\001\255\255\255\255\255\255\255\255\255\255\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001\255\255\029\001\255\255\255\255>\001!\001\255\255\255\255\255\255\003\001\255\255\005\001(\001\007\001\008\001\t\001\255\255\255\255\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001\255\255\255\255\255\255\255\255>\001\029\001\255\255\255\255\003\001\255\255\005\001#\001\007\001\008\001\t\001\255\255(\001\255\255\255\255\255\255\255\255\255\255\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001\029\001\003\001\255\255\005\001>\001\007\001\008\001\t\001%\001\255\255\255\255(\001\255\255\255\255\255\255\255\255\255\255\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\029\0019\001\255\255\003\001\255\255\005\001>\001\007\001\008\001\t\001\255\255(\001\255\255\255\255\255\255\255\255\255\255\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001\029\001\255\255\255\255=\001>\001\255\255\255\255\255\255\003\001\255\255\005\001(\001\007\001\008\001\t\001\255\255\255\255\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001:\001\255\255\255\255\255\255>\001\029\001\003\001\255\255\005\001\255\255\007\001\008\001\t\001\255\255\255\255\255\255(\001\255\255\255\255\255\255\255\255\255\255\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\029\0019\001\255\255\003\001<\001\005\001>\001\007\001\008\001\t\001\255\255(\001\255\255\255\255\255\255\255\255\255\255\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001\029\001\003\001\255\255\005\001>\001\007\001\008\001\t\001\003\001\255\255\005\001(\001\007\001\008\001\t\001\255\255\255\255\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\029\001\255\255\255\255\255\255\255\255\255\255>\001\029\001\003\001\255\255\005\001(\001\007\001\008\001\t\001\255\255\255\255\255\255(\0010\0011\0012\0013\0014\0015\0016\0010\0011\0012\0013\0014\0015\001\255\255\255\255\029\001\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255(\001\031\001 \001!\001\"\001#\001$\001%\001&\001\255\2552\0013\0014\0015\001,\001-\001\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001:\001\255\255<\001=\001>\001\031\001 \001!\001\"\001#\001$\001%\001&\001\255\255\255\255\255\255\255\255\255\255,\001-\001\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001:\001\255\255<\001=\001>\001\031\001 \001!\001\"\001#\001$\001%\001&\001\255\255\255\255\255\255\255\255\255\255,\001-\001\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001:\001\255\255<\001=\001>\001\031\001 \001!\001\"\001#\001$\001%\001&\001\255\255\255\255\255\255\255\255\255\255,\001-\001\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001:\001\255\255<\001=\001>\001\031\001 \001!\001\"\001#\001$\001%\001&\001\255\255\255\255\255\255\255\255\255\255,\001-\001\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001:\001\255\255<\001=\001>\001\031\001 \001!\001\"\001#\001$\001%\001&\001\255\255\255\255\255\255\255\255\255\255,\001-\001\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001:\001\255\255<\001=\001>\001\031\001 \001!\001\"\001#\001$\001%\001&\001\255\255\255\255\255\255\255\255\255\255,\001-\001\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001:\001\255\255<\001=\001>\001\031\001 \001!\001\"\001#\001$\001%\001&\001\255\255\255\255\255\255\255\255\255\255,\001-\001\255\255\255\2550\0011\0012\0013\0014\0015\0016\0017\001\255\2559\001:\001\255\255<\001=\001>\001\031\001 \001!\001\"\001#\001$\001%\001&\001\255\255\255\255\255\255\255\255\255\255,\001-\001\255\255\255\2550\0011\001\255\255\255\255\255\255\255\2556\0017\001\255\2559\001:\001\255\255<\001=\001>\001\031\001 \001!\001\"\001#\001$\001%\001&\001\255\255\255\255\255\255\255\255\255\255,\001-\001\255\255\255\2550\0011\001\255\255\255\255\255\255\255\2556\0017\001\255\2559\001:\001\255\255<\001=\001>\001\031\001 \001!\001\"\001#\001$\001%\001&\001\255\255\255\255\255\255\255\255\255\255,\001-\001\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\2557\001\255\2559\001:\001\255\255<\001=\001>\001\031\001 \001!\001\"\001#\001$\001%\001&\001\255\255\255\255\255\255\255\255\255\255,\001-\001\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\2557\001\255\2559\001:\001\255\255<\001=\001>\001"