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'x1q3x11'q11x1q21'1'x11'q20x1q21'0x11'q21'x1q21'1'x10q11x1q201'x10q20x1q200x10q21'x1q201'x1q20'x10'q0x10'q11x1q20'1'x10'q20x1q20'0x10'q21'x1q20'1'x10'q11x1q20'1'x1q20'x10'q0x10'q20x1q20'0x1q20'x1q0x1q00x10'q1x10'q11x10'1'x10'q20x10'0x10'q21'x1q20'1'x10'q21'x10'1'x1true12345678910111213141510'1111q111111111q21110'11111'111q0111q2111101111q01111q310b10q410q20'x10'q0x1q20'x1q0x1q20'x10'q0x1falseq20'x1q0x1falseq00x1q1x1false123479101314q11'x1q1x1q10x1q1x1true1236891213q111q10x10q1x1false25781112q11'x11'q1x1false47110q11x101'x1false36100q11x11'x1false2590'q11x11'x1false2681'q11x11'x1true371'111'q11x11'1'x1false460q21'x101'x10q20x100x1true4011q01'x11'q3x1false4q01'x1q3x1false3q31'x1q3x1true2q311q31'x11'q3x1false1'q21'x11'1'x11'q20x11'0x1true1'11