let yydefred = "\000\000\243\000\000\000%\001\000\000#\001\000\000\000\000\004\000\005\000\000\000\247\000\000\000\000\000#\001h\000\003\000\000\000\019\001\000\000\000\000\n\000\248\000\000\000\016\001#\001#\001\000\000\000\000\001\000\000\000\246\000\249\000\000\000\002\001\t\001\000\000\247\000\000\000\000\000\000\000\000\000\247\000\247\000\020\001r\000s\000#\001#\001#\001\000\000l\000\247\000\000\000\018\001\000\000\000\000\000\000\000\000#\001\000\000\000\000t\000u\000v\000w\000\000\000\000\000\000\000\000\000o\000p\000q\000j\000\000\000\007\000\000\000U\000\000\000\000\000\246\000\001\001\000\000\000\001\011\000\031\001\000\000\000\000#\001\000\000\020\001\000\000\000\000\000\000\242\000\000\000\000\000\000\000\000\000\020\001\000\000\247\000\000\000\134\000\000\000y\000\207\000\251\000\000\000\000\000\000\000\250\000d\000\000\000\244\000\245\000Z\000\243\000 \001\016\000\018\000\000\000\252\000\000\000\000\000\255\000\000\000\000\000\000\000\016\001\000\000\020\001\000\001\000\000\000\000z\000{\000|\000}\000\000\000\016\001\000\000\000\000\027\001\000\000\000\000\000\000\000\000\000\000\000\000f\000\000\001\000\000\006\0013\000\000\000\000\000\000\000T\000\000\000\008\000\000\000\246\000\"\001\000\000\t\000\246\000\000\000#\001\000\000\130\000\000\001\000\000\000\000\000\000\000\000\000\000\020\001\000\000\000\000\000\000\253\000\208\000\020\001\000\000\000\000\000\000\000\000\000\000\000\000\000\000x\000#\001\000\000\000\000\000\000\247\000\247\000\020\001\000\000\247\000\000\000\000\000\000\000\244\000\000\000\243\000\254\000\000\001\000\000\000\000\246\000\021\000\023\000\000\000\246\000\014\000\160\000\000\000\164\000\166\000\167\000\247\000\171\000\169\000\168\000\170\000\165\000\000\000\000\000\247\000\138\000\000\000\143\000#\001#\001\000\000\000\000\000\000\021\001\000\000\133\000\016\001\016\001\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\155\000\245\000\000\000\000\000\000\000\000\000\000\000\000\000\016\001\000\000\027\001\021\001\027\0012\0008\0009\000\000\000\008\001\006\000\000\000\000\000\000\000\245\000W\000\000\000\245\000X\000\020\000#\001\003\001\140\000\030\001\000\000\000\000\000\000\000\000\000\000\253\000\000\000\000\000\000\000\146\000m\000#\001\131\000\021\001\020\001\000\000\000\001\000\001\202\000\129\000\250\000\000\000e\000\020\001\212\000\020\001\020\001\020\001\000\000\000\000\253\000\253\000\000\000\020\001\000\000\016\001\000\0005\000\000\000\000\000Y\000\000\000\000\000\000\000\000\000\024\000\026\000!\001\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\142\000\000\000n\000\016\001\016\001\238\000\239\000\000\001\000\000\000\000\000\000\000\000\016\001\016\001\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\201\000\000\000\000\000\n\001\247\000\246\000\000\000\253\000%\000'\000\000\001\000\000\000\001\000\000\000\000\255\000\000\000\004\001\000\001\000\001\000\000\144\000\175\000\176\000\250\000\172\000\000\000\196\000\000\001\000\000\206\000\000\000\025\001\203\000\000\001\000\001\000\000\000\000\211\000\250\000\250\000\021\001\021\001\000\000\000\000\000\000\000\000\000\001\000\000\000\000\000\000]\000\000\000`\000#\001\000\000\015\001\247\000\029\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\132\000\000\000\000\000\000\000\021\001\021\001\000\000\000\000\016\001\016\001\000\000\000\000\000\000\247\000\247\000\020\001\000\000\007\001\007\001\011\001<\000\011\001E\000\000\000\000\000\000\000\000\000\000\000^\000a\000\028\000\000\000\000\000\158\000\153\000\000\000\000\000\000\000\000\000\n\001\028\001\162\000\163\000\149\000\000\000\148\000\205\000\000\000\000\000\020\001\247\000\229\000\210\000\218\000\217\000\000\000\000\000\025\001\025\001\199\000\198\000\213\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\246\000\000\000\245\000[\000\000\001\000\000\022\001\022\001\000\000 \000+\000\000\000\000\000\000\000\247\000\150\000\147\000\000\000\000\000\000\000\000\000\000\001\000\001\000\000\000\000\000\000\000\000\020\001\020\001\000\000\000\001\000\001\000\000\022\001\023\001\024\001$\001$\001\n\001\n\001\022\001\023\001\024\001\021\001*\000\000\000b\000\000\000\157\000\000\000\000\000\000\000\016\001\000\000\000\000\247\000\247\000\020\001\000\000-\000\011\001\014\001\015\000.\000\000\000\000\000\020\001\020\001\000\000\020\001\000\000\000\000\000\000\000\000\020\001\247\000\223\000\236\000\222\000\237\000\000\001\016\001\000\000\016\001\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\001\159\000\000\000\000\000#\000\000\001\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\016\001\016\001\000\000\000\000\219\000\220\000\000\000\000\000\000\000\000\000\000\000\000\000\000\001\000\001=\000\000\001\000\001\000\000\000\000\000\001\000\001\182\000\194\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\247\0006\000\005\001L\0007\000;\000C\000D\000\011\001\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\020\001\000\000\020\001\020\001\000\000\022\001\023\001\024\001\n\001\254\000\152\000\000\000\000\001\000\001\230\000\000\000\020\001\231\000\020\001\000\000\000\000\020\001H\000\000\000\000\000\000\000\000\000\021\001\021\001\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000c\000$\000\016\001\016\001\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\016\001\016\001\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000@\000I\000\020\001\015\001\000\000\000\000\n\001&\000\000\000\000\000\000\000\000\000\000\000\000\000\151\000\228\000\227\000\226\000\000\001\000\001\235\000\000\000\000\000\000\000\000\000\000\000\000\000\016\001\000\000\000\000\016\001K\000\000\000\021\001\021\001\016\001\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\001\022\001\022\001Q\000\000\001\000\000\000\000\253\0001\000\234\000\233\000\232\000\179\000\190\000\180\000\189\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000S\000\012\001O\000\012\001M\000R\0000\000\000\000\000\000\000\001\000\001\000\000\000\000P\000N\000"