let yycheck = "\024\000\199\000\157\000?\001\003\002\209\000\210\000\216\001D\002\031\000/\0000\0001\000b\001c\001\005\000\181\000S\000\253\000d\001e\001\155\001X\002Y\000s\001\198\001P\000\243\001\228\000\229\000\029\002%\002\003\001\162\000&\002\025\000\026\000$\002h\000\018\001\155\001u\000\021\001\001\0013\001m\000\178\001\001\000\007\002\021\001r\000\001\001\002\001\003\001\165\001\208\001\018\001/\0000\0001\000\022\001D\001\012\001\013\001\014\001\193\001\132\000\006\001\007\001;\000\008\001\008\001\200\001-\001\015\001\018\001\015\0014\001\021\001\007\001\140\002\"\002#\002:\001l\000\151\000\215\000-\0010\001<\001\004\001>\001$\001@\001,\001\007\001.\001\208\001X\000\016\001\185\001\008\001-\001\015\001\001\002\171\000\002\001-\001-\001D\000\221\001\002\001\178\000)\001\180\000\001\001\002\001\003\001;\001E\001;\0014\001Q\002 \001!\001\007\001\186\001\023\001\006\001\007\001\206\000Z\002[\000\015\001\002\001O\001k\001\015\001-\0018\002\204\000U\001\208\000\019\002\020\002i\002\001\002;\001\007\002:\001;\001\232\001\233\001\025\002:\001\192\000\028\002\211\000,\001\165\002\226\002\252\001\166\002\002\001<\001\164\002>\001,\001@\001\008\001E\001\130\000G\001y\001\134\001{\001,\001;\001\168\000\018\001\139\000;\0016\002E\001\155\001\018\001\145\000\146\000\147\000\149\001\150\001\008\001D\000+\001\001\001\002\001\003\001\234\000\001\001\002\001\003\0013\001\192\000\018\001;\001,\001\021\001\022\001u\001\012\001\013\001\014\001Z\002\172\000\167\002[\000\175\0002\001D\001\029\001\002\001\003\001\129\000\151\001\152\001\184\000\185\000\186\000\187\000!\003-\001#\003\149\002\140\000,\001-\001\004\001,\001=\0011\001?\001,\001\201\002.\001\234\000\235\000\205\0029\001M\002-\001O\002/\001\019\001\181\001\182\001'\001\204\001-\001'\001/\001,\001\002\001E\001\139\000\006\001\007\001E\001\n\003\011\003\145\000\146\000\147\000\243\001\015\001\227\002\254\001\018\001,\001\002\001\005\001\006\001\007\001\018\001]\001\001\001\002\001\003\001\016\001\247\000\015\001\024\001\163\002\016\001\001\001\253\002?\001\001\001\002\001\003\0010\001\003\001C\0013\001Y\000Z\000'\001*\001\012\001\013\001-\001x\001\008\001z\001c\000\005\001\006\001\007\001;\001\128\001\129\001\130\001\t\002'\001(\001\015\001\t\001\136\001,\001\138\001.\001b\001c\001,\001;\001\144\001\145\001\243\000\001\001\002\001,\001-\001.\001=\001\153\001\154\001\131\000\002\001\157\001\139\000s\001\015\001-\001E\001\004\001\145\000\146\000\147\000<\001,\001>\0016\001@\0018\0019\001E\001P\002Q\002'\002;\001T\002U\002V\002\006\001\007\001Y\002Z\002[\002\\\002]\002\002\001\003\001\015\001\211\002\212\002\018\001\008\001\005\001\006\001\007\001\018\001,\001\177\000\178\000\002\001\003\001,\001\015\001\183\000)\002\008\001\018\001\018\001\011\000\007\001k\001x\002B\001C\001\001\001\002\001\003\001\015\001\198\000*\001\018\001\004\001-\001\185\001\186\001\012\001\013\001\001\001n\002)\001*\001;\001-\001-\001%\0000\001\164\001\002\001\003\001*\000+\000\201\0011\001\008\001Y\001Z\001;\001-\0010\0014\000\248\0023\001\000\002\251\002c\001\002\001\004\002,\001\155\001.\001/\001;\0013\001\026\003\027\003\005\001\006\001\007\001,\001\017\002\018\002\011\001\008\001\018\001\022\002\015\001\021\001\022\001\026\002\027\002\028\002\018\001E\001\n\001\021\001\022\001-\001-\001/\001\\\000]\000\200\002\252\001\006\0010\001\008\001\007\0013\001e\0000\001\001\001\002\001\003\001A\001\015\001\214\002\002\001\018\001-\0011\001\219\002\220\002<\002\001\001\002\001\003\001@\002-\001*\001;\001\186\002\187\002,\001\024\001\025\001\026\001\027\0013\001L\0025\0016\0017\001\018\001\018\001-\001\021\001\022\001=\001'\001(\001\185\001\002\001\003\001,\001\253\002.\001\243\001_\002;\001\001\001\002\001'\001d\002\018\001\234\002,\001,\001*\001.\001-\001-\001-\001-\001/\0010\001/\001\007\0023\001E\001,\001\173\000M\002\018\001O\002\015\002{\002|\002*\001~\002\127\002-\001E\001\130\002\131\0026\0017\0010\001\234\002\254\002\255\002\004\001\194\000\195\000\196\000\197\000)\001*\001\200\0006\001-\0018\0019\001\001\001\002\001-\002.\002\209\000\210\000\156\0026\0017\001\020\001\160\002\001\001\002\001\003\001)\001*\0016\001\222\0008\0019\001\170\002\171\002\172\002\016\003\174\002\230\000Q\001R\001\178\002\179\002\005\001\006\001\007\001\001\001\002\001\003\001\011\001P\002Q\0020\001\015\001T\002U\002V\002\012\001\013\001Y\002Z\002[\002\\\002]\002^\002\002\0010\001,\001-\001.\0010\002\008\001\005\001\006\001\007\001i\002A\001\n\001\011\001\192\0010\001-\001\015\0013\001r\002-\001\023\0010\001\225\002,\001x\002.\001E\001\022\001\001\001\002\001\003\001;\0013\001M\0023\001O\002\239\002\240\002,\001\242\002\243\002\244\002\245\002\246\002\247\002\011\0011\001\226\001E\001-\001\211\002\212\002,\0016\001-\0018\0019\001<\001-\001>\001;\001@\001\t\003\234\001\235\001/\001\013\003o\002p\0020\001,\001,\0013\001.\001/\001\019\001,\001\001\001\002\001\003\001,\001\004\002\029\003\030\003,\001,\001\018\001\248\002\012\001\013\001\251\002\001\001\002\001\003\001)\003*\003E\001.\001\021\002\022\002\023\002\024\002\012\001\013\001\200\002\201\002\202\002\203\002\204\002\205\002*\0010\001r\001-\0013\001'\001(\001\018\001\214\002y\001,\001{\001.\001\219\002\220\002-\001\001\001\002\001\003\001'\0015\002,\0010\001,\001,\0013\001.\001\012\001\013\001>\002?\002*\001A\0020\001-\001E\0013\001F\002,\001&\000'\000(\000)\0000\001\198\002\199\0020\001\253\002,\001E\001\001\001\002\001\003\0013\001\018\001\167\0012\001\211\002\212\002,\001-\001.\0011\001\005\001\014\003\015\003\001\001\002\001\003\001\019\001-\001\001\001\002\001\003\001\002\001\003\001\188\001\189\001\190\001\191\001\008\001\018\001\012\001\013\001E\001/\001/\001-\001'\001(\001\018\0013\001\204\001,\001,\001.\001_\000`\000a\000b\000-\0013\001\000\003\020\0016\001*\0018\0019\001-\001,\001\001\001.\001\224\001\225\001,\001\227\001.\001-\001E\001/\0010\0016\001-\0018\0019\001\018\001\159\002\160\002\161\002\162\002\002\001\003\001-\001/\001E\001\005\001\006\001\007\001/\001E\001\n\001\011\001\175\002\018\001\177\002\015\0010\001\180\002)\001*\001-\0010\001-\001/\001\n\002\018\001\028\001\029\001\030\001\031\001 \001!\001\"\001#\001$\001%\001&\001*\0010\001-\001-\001,\001,\001+\001.\001-\001\007\001/\0010\001*\001-\0013\001-\0016\001\015\0018\0019\001\018\001\018\001;\001\223\002\006\001\225\0021\0022\0023\0024\002E\001D\001\005\001\006\001\007\001-\001-\001\n\001\011\001-\001\020\001-\001\015\001)\001*\001D\002E\002-\001G\002-\001-\001\002\001\003\0013\001-\001\020\0016\001\008\0018\0019\001\020\001;\001-\001,\0013\001+\001-\001\018\001\019\001,\001+\001)\001-\001,\001/\0010\001,\001,\001,\001\005\001\006\001\007\001\002\001\003\001\n\001\011\001;\001*\001\008\001\015\001)\001*\0010\001,\001-\001D\001/\0010\001\018\001\018\0013\001\018\001,\0016\001,\0018\0019\001\002\001\003\0013\001\007\001,\0016\001\008\0018\0019\001,\001\140\002\141\002,\001F\001)\001*\001\018\001,\001-\001,\001/\0010\001\002\001\003\0013\001-\001;\0016\001\008\0018\0019\001-\001-\001-\001-\001\002\001\003\001-\001\018\001)\001*\001\008\001-\001-\001,\001/\0010\001,\001,\0013\001,\001\018\0016\001\018\0018\0019\0016\001\002\001\003\001,\001-\001)\001*\001\008\001-\001-\0013\001/\0010\0016\001-\0018\0019\001\018\0016\001*\0018\0019\001-\001\019\001/\0010\001\002\001\003\0013\001,\001,\0016\001\008\0018\0019\001,\001\019\001-\001-\001-\001-\001*\001\018\001-\001-\001-\001/\0010\001\002\001\003\001,\001\018\001-\0016\001\008\0018\0019\0013\001-\001\007\0016\001-\0018\0019\001\018\001,\001*\001\015\001\018\001-\001\018\001/\0010\001,\001\006\001\007\001-\001-\0016\001-\0018\0019\001.\001\015\001-\001-\001\018\001-\001*\001\021\001\022\001-\001-\001/\0010\001/\001\018\001-\001-\001-\0016\001-\0018\0019\001\005\001\006\001\007\001-\001-\001\n\001\011\001;\001,\001-\001\015\001/\0010\001-\001-\0013\001*\001-\0016\001-\0018\0019\001-\001;\001,\0013\001\006\001\007\0016\001/\0018\0019\001,\001\002\001-\001\015\001-\001\008\001\018\001-\001-\001\021\001\022\0010\001\006\001\007\001-\001-\001\001\001*\001/\001/\001/\001\015\001;\001*\001\018\001\006\001\007\001\021\001\022\001\007\000\014\000 \000,\001-\001\015\001/\0010\001\018\001\166\0003\001\021\001\022\0016\001\211\0008\0019\001\164\001;\001\007\001\215\001\158\001-\001\201\001/\0010\001\224\002\015\0013\001\168\002\018\0016\001\012\0018\0019\001-\001;\001/\0010\001\002\001\003\001\195\001\143\002\243\0016\001\008\0018\0019\001Q\002;\001\002\001\028\000!\002)\001*\001\018\001y\001-\001[\000{\001#\001\255\255}\0013\001\020\002\020\0026\001\255\2558\0019\001\255\255;\001\024\001\025\001\026\001\027\001\255\255\255\255\255\255\255\255\255\255\255\255-\001\255\255/\0010\001\255\255'\001(\001\255\255\255\255\255\255,\001\028\001\029\001\030\001\031\001 \001!\001\"\001#\001$\001%\001&\001\018\001\255\255\255\255\021\001\022\001,\001\255\255.\001\028\001\029\001\030\001\031\001 \001\255\255\"\001#\001$\001%\001&\001\018\001\255\255\255\255\255\255\255\255,\001\255\255.\001-\001\255\255\255\255E\001\255\255\255\2553\001\255\255\255\2556\001\255\2558\0019\001\255\255\255\255\255\255*\001\255\255\255\255-\001\255\255\255\255E\001\255\255\255\2553\001\255\255\255\2556\001\255\2558\0019\001\028\001\029\001\030\001\031\001 \001\255\255\"\001#\001$\001%\001&\001\255\255\255\255\255\255\255\255\255\255,\001\255\255.\001"