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