q00x10'q1x1q10x10q1x1q11'x11'q1x10q11x1q201'x10'q11x1q20'1'x11'q11x1q21'1'x10q20x1q200x10'q20x1q20'0x11'q20x1q21'0x10q21'x1q201'x10'q21'x1q20'1'x11'q21'x1q21'1'x1q20'x10'q0x1q01'x11'q3x1q31'x11'q3x1q3bx1bq4x1q00x10'q1x1q00x1q1x1q10x10q1x1q10x1q1x1q11'x11'q1x1q11'x1q1x10q11x1q201'x10q11x101'x10q11x11'x10'q11x1q20'1'x10'q11x10'1'x10'q11x11'x11'q11x1q21'1'x11'q11x11'1'x11'q11x11'x10q20x1q200x10q20x100x10'q20x1q20'0x10'q20x10'0x11'q20x1q21'0x11'q20x11'0x10q21'x1q201'x10q21'x101'x10'q21'x1q20'1'x10'q21'x10'1'x11'q21'x1q21'1'x11'q21'x11'1'x1q20'x10'q0x1q20'x1q0x1q01'x11'q3x1q01'x1q3x1q31'x11'q3x1q31'x1q3x1true1q0110100'11q110q1110111'101'11110q21110'11q2111q011q31111q311b1111q410q00x10'q1x1q00x1q1x1q10x10q1x1q10x1q1x1q11'x11'q1x1q11'x1q1x10q11x101'x10q11x11'x10'q11x1q20'1'x10'q11x10'1'x10'q11x11'x11'q11x11'1'x11'q11x11'x10q20x100x10'q20x1q20'0x10'q20x10'0x11'q20x11'0x10q21'x101'x10'q21'x1q20'1'x10'q21'x10'1'x11'q21'x11'1'x1q20'x10'q0x1q20'x1q0x1q01'x11'q3x1q01'x1q3x1q31'x11'q3x1q31'x1q3x10'q11x1q20'1'x1q20'x10'q0x10'q20x1q20'0x1q20'x1q0x1q00x10'q1x10'q11x10'1'x10'q20x10'0x10'q21'x1q20'1'x10'q21'x10'1'x1true12345678910111213141510'111q111111111q21110'1111'111q0111q2111101111q0111q3111b11q410q20'x10'q0x1q20'x1q0x1q20'x10'q0x1falseq20'x1q0x1falseq00x1q1x1false123479101314q11'x1q1x1q10x1q1x1true12368912131q11111'11101111q01110'10q1111110q210q3111b11q410q11'x1q1x11q11111'1111q011110110'10q1111111111q210q31111b111q410q10x10q1x1false25781112q11'x11'q1x1false47110q11x101'x1false36100q11x11'x1false2590'q11x11'x1false2681'q11x11'x1true3711'111q1111111111q01111011110'101'10q210q31111b1111q4101'q11x11'1'x1false460q21'x101'x10q20x100x1true410111q211111'11101111q01110'111q1111111111q3111b111q410q01'x11'q3x1false4q01'x1q3x1false3q31'x1q3x1true21q31111'1111q011110110'10q1111111111q210q31111b111q410q31'x11'q3x1false1'q21'x11'1'x11'q20x11'0x1true11'111q211111'11101111q01110'111q1111111111q3111b111q410