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