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'q3x1q3bx1bq4x11q0111201110'111q11111'11111113q21113q31111b111q4111q10x10q1x1q11'x11'q1x10q11x1q201'x10'q11x1q20'1'x11'q11x1q21'1'x10q20x1q200x10'q20x1q20'0x11'q20x1q21'0x10q21'x1q201'x10'q21'x1q20'1'x11'q21'x1q21'1'x1q31'x11'q3x11q1111101111'1111111q21110'111q3111q10x10q1x1q11'x11'q1x10q20x1q200x10'q20x1q20'0x11'q20x1q21'0x10q21'x1q201'x10'q21'x1q20'1'x11'q21'x1q21'1'x1q31'x11'q3x1q10x10q1x1q10x1q1x1q11'x11'q1x1q11'x1q1x10q20x100x10'q20x10'0x11'q20x11'0x10q21'x101'x10'q21'x10'1'x11'q21'x11'1'x1q31'x11'q3x1q31'x1q3x1trueq11'x1q1x1q10x1q1x1true23571q11111'111101111q10x10q1x1false36q11'x11'q1x1false30q21'x101'x10q20x100x1true410111q211111'1111011111'q20x1q21'0x11'q21'x1q21'1'x10q20x1q200x10q21'x1q201'x10'q21'x10'1'x10'q20x10'0x1true310'111q211111'1111011111'q20x1q21'0x11'q21'x1q21'1'x10q20x1q200x10q21'x1q201'x1q31'x1q3x1true1q31111'1111q31'x11'q3x1false1'q21'x11'1'x11'q20x11'0x1true11'111q211111'1111011111'q20x1q21'0x11'q21'x1q21'1'x10q20x1q200x10q21'x1q201'x1