let yytable = "7\0008\0009\000:\000;\000<\000=\000>\000?\000@\000A\000B\000C\000D\000E\000F\000G\000H\000I\000J\000K\000L\000M\000N\000O\000P\000W\000\001\000Q\000R\000T\000[\000X\000U\000V\000q\000{\000]\000a\000^\000\\\000_\000`\000a\000a\000\t\000r\000S\000_\000`\000a\000\t\000\t\000?\000?\000?\000?\000?\000?\000?\000?\000o\000Y\000b\000b\000x\000?\000?\000p\000d\000b\000\008\000y\000s\000d\000d\000?\000?\000\008\000?\000?\000d\000?\000?\000?\000\000\000d\000|\000}\000~\000\127\000\128\000\129\0004\000\130\000\131\000\132\000\133\000\134\000\135\000\136\000\137\000\138\000\139\000\140\000\142\000\141\000\000\000)\000*\0005\0006\000\000\000\000\000\000\000\143\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\003\000\004\000\005\000\006\000\000\000\007\000\000\000\000\000\147\000\148\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\000\000\027\000\028\000\000\000\029\000\030\000\000\000\031\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\004\000\005\000\006\000\000\000\007\000\000\000\000\000\000\000\000\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\000\000\027\000\028\000\000\000\029\000\030\000\000\000\031\000\000\000\000\000!\000\"\000#\000$\000%\000\024\000\000\000\024\000&\000\024\000\024\000\024\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\024\000\000\000\024\000\024\000\024\000\024\000\024\000\024\000\024\000\024\000\000\000\024\000\000\000\000\000\000\000\024\000\024\000\000\000\000\000\024\000\024\000\024\000\024\000\024\000\024\000\024\000\024\000\000\000\024\000\024\000\000\000\024\000\024\000\024\000$\000\000\000$\000\000\000$\000$\000$\000\000\000\000\000\019\000\019\000\019\000\019\000\019\000\019\000\019\000\019\000\000\000\000\000\000\000\000\000\000\000\019\000\019\000\000\000\000\000$\000\000\000$\000$\000$\000$\000$\000$\000$\000$\000\019\000\000\000\019\000\019\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\017\000\017\000\017\000\017\000\017\000\017\000\017\000\017\000\000\000\000\000\000\000\000\000\000\000\017\000\017\000\000\000\000\000&\000\000\000&\000&\000&\000&\000&\000&\000&\000&\000\017\000\000\000\017\000\017\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\000D\000D\000D\000D\000D\000D\000D\000\000\000\000\000\000\000\000\000\000\000D\000D\000\000\000\000\000+\000\000\000+\000+\000+\000+\000+\000+\000+\000+\000D\000\000\000D\000D\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\000E\000E\000E\000E\000E\000E\000E\000E\000\000\000\000\000\000\000\000\000\000\000E\000E\000\000\000\000\000,\000\000\000,\000,\000,\000,\000,\000,\000,\000,\000E\000\000\000E\000E\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,\0002\000\000\0002\000\000\0002\0002\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\0002\000\000\0002\0002\0002\0002\0002\0002\0002\0002\000\000\000\000\000\000\000\000\000\000\0002\0002\000\000\000\000\0002\0002\0002\0002\0002\0002\0002\0002\000\000\0002\0002\000\000\0002\0002\0002\0001\000\000\0001\000\000\0001\0001\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\0001\000\000\0001\0001\0001\0001\0001\0001\0001\0001\000\000\000\000\000\000\000\000\000\000\0001\0001\000\000\000\000\0001\0001\0001\0001\0001\0001\0001\0001\000\000\0001\0001\000\000\0001\0001\0001\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-\000-\000\000\000-\000-\000-\0003\000\000\0003\000\000\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\0003\000\000\0003\0003\0003\0003\0003\0003\0003\0003\000\000\000\000\000\000\000\000\000\000\0003\0003\000\000\000\000\0003\0003\0003\0003\0003\0003\0003\0003\000\000\0003\0003\000\000\0003\0003\0003\0006\000\000\0006\000\000\0006\0006\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\0006\000\000\0006\0006\0006\0006\0006\0006\0006\0006\000\000\000\000\000\000\000\000\000\000\0006\0006\000\000\000\000\0006\0006\0006\0006\0006\0006\0006\0006\000\000\0006\0006\000\000\0006\0006\0006\0005\000\000\0005\000\000\0005\0005\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\0005\000\000\0005\0005\0005\0005\0005\0005\0005\0005\000\000\000\000\000\000\000\000\000\000\0005\0005\000\000\000\000\0005\0005\0005\0005\0005\0005\0005\0005\000\000\0005\0005\000\000\0005\0005\0005\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.\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/\000/\000/\000/\000\000\000/\000/\000\000\000/\000/\000/\0000\000\000\0000\000\000\0000\0000\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\0000\000\000\0000\0000\0000\0000\0000\0000\0000\0000\000\000\000\000\000\000\000\000\000\000\0000\0000\000\000\000\000\0000\0000\0000\0000\0000\0000\0000\0000\000\000\0000\0000\000\000\0000\0000\0000\0004\000\000\0004\000\000\0004\0004\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\0004\000\000\0004\0004\0004\0004\0004\0004\0004\0004\000\000\000\000\000\000\000\000\000\000\0004\0004\000\000\000\000\0004\0004\0004\0004\0004\0004\0004\0004\000\000\0004\0004\000\000\0004\0004\0004\0008\000\000\0008\000\000\0008\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\000\000\000\000\000\0008\000\000\0008\0008\0008\0008\0008\0008\0008\0008\000\000\000\000\000\000\000\000\000\000\0008\0008\000\000\000\000\0008\0008\0008\0008\0008\0008\0008\0008\000\000\0008\0008\000\000\0008\0008\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\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*\0009\000\000\0009\000\000\0009\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\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\0009\000\000\0009\0009\0009\0009\0009\0009\0009\0009\000\000\000\000\000\000\000\000\000\000\0009\0009\000\000\000\000\0009\0009\0009\0009\0009\0009\0009\0009\000\000\0009\0009\000\000\0009\0009\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\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\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\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\031\000\000\000\031\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\031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000 \000\000\000 \000\000\000\000\000\031\000\031\000\000\000\000\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\031\000\000\000\031\000\031\000\000\000\031\000\031\000\031\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`\000a\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`\000a\000\000\000b\000\000\000\028\000\000\000\000\000\030\000\000\000\031\000\000\000\000\000\000\000d\000\000\000\000\000\000\000\000\000\000\000\000\000b\000e\000f\000g\000h\000i\000j\000k\000l\000c\000m\000d\000]\000\000\000^\000n\000_\000`\000a\000e\000f\000g\000h\000i\000j\000k\000l\000\000\000m\000\000\000\000\000\000\000\000\000n\000\000\000\000\000\000\000\000\000b\000\000\000\000\000t\000]\000\000\000^\000\000\000_\000`\000a\000d\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000e\000f\000g\000h\000i\000j\000k\000l\000\000\000m\000\000\000b\000\000\000\000\000n\000u\000\000\000\000\000\000\000]\000\000\000^\000d\000_\000`\000a\000\000\000\000\000\000\000\000\000e\000f\000g\000h\000i\000j\000k\000l\000\000\000m\000\000\000\000\000\000\000\000\000n\000b\000\000\000\000\000]\000\000\000^\000v\000_\000`\000a\000\000\000d\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000e\000f\000g\000h\000i\000j\000k\000l\000\000\000m\000b\000]\000\000\000^\000n\000_\000`\000a\000w\000\000\000\000\000d\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000e\000f\000g\000h\000i\000j\000k\000l\000b\000m\000\000\000]\000\000\000^\000n\000_\000`\000a\000\000\000d\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000e\000f\000g\000h\000i\000j\000k\000l\000\000\000m\000b\000\000\000\000\000z\000n\000\000\000\000\000\000\000]\000\000\000^\000d\000_\000`\000a\000\000\000\000\000\000\000\000\000e\000f\000g\000h\000i\000j\000k\000l\000\000\000m\000\145\000\000\000\000\000\000\000n\000b\000]\000\000\000^\000\000\000_\000`\000a\000\000\000\000\000\000\000d\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000e\000f\000g\000h\000i\000j\000k\000l\000b\000m\000\000\000]\000\146\000^\000n\000_\000`\000a\000\000\000d\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000e\000f\000g\000h\000i\000j\000k\000l\000\000\000m\000b\000]\000\000\000^\000n\000_\000`\000a\000]\000\000\000^\000d\000_\000`\000a\000\000\000\000\000\000\000\000\000e\000f\000g\000h\000i\000j\000k\000l\000b\000\000\000\000\000\000\000\000\000\000\000n\000b\000]\000\000\000^\000d\000_\000`\000a\000\000\000\000\000\000\000d\000e\000f\000g\000h\000i\000j\000k\000e\000f\000g\000h\000i\000j\000\000\000\000\000b\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\000g\000h\000i\000j\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\000\000\000)\000)\000)\000)\000)\000)\000)\000)\000\000\000)\000)\000\000\000)\000)\000)\000B\000B\000B\000B\000B\000B\000B\000B\000\000\000\000\000\000\000\000\000\000\000B\000B\000\000\000\000\000B\000B\000B\000B\000B\000B\000B\000B\000\000\000B\000B\000\000\000B\000B\000B\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=\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:\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:\000C\000C\000C\000C\000C\000C\000C\000C\000\000\000\000\000\000\000\000\000\000\000C\000C\000\000\000\000\000C\000C\000\000\000\000\000\000\000\000\000C\000C\000\000\000C\000C\000\000\000C\000C\000C\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@\000A\000A\000A\000A\000A\000A\000A\000A\000\000\000\000\000\000\000\000\000\000\000A\000A\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000A\000\000\000A\000A\000\000\000A\000A\000A\000"