q0ax1xq1x1q1ax1aq1x1q1yx1yq1x1aq1bx1q2ayx1aq2ax1q2aax1aq2yx1q2ayx1yq1bx1q2yyx1yq2ax1q2yax1yq2yx1q2yyx1q2xx1xq0x1q0yx1yq3x1q3yx1yq3x1q3blx1blq4x1q0ax1q1x1q1ax1aq1x1q1ax1q1x1q1yx1yq1x1q1yx1q1x1aq1bx1q2ayx1aq1bx1ayx1aq1bx1yx1aq2ax1q2aax1aq2ax1aax1aq2yx1q2ayx1aq2yx1ayx1yq1bx1q2yyx1yq1bx1yyx1yq1bx1yx1yq2ax1q2yax1yq2ax1yax1yq2yx1q2yyx1yq2yx1yyx1q2xx1q0x1q0yx1yq3x1q0yx1q3x1q3yx1yq3x1q3yx1q3x1true1q011a10q111a11q110y10y11b10q2111q2111x11q31111q311bl11q410q011q0ax1q1x1q1ax1aq1x1q1ax1q1x1q1yx1yq1x1q1yx1q1x1aq1bx1ayx1aq1bx1yx1aq2ax1aax1aq2yx1ayx1yq1bx1yyx1yq1bx1yx1yq2ax1yax1yq2yx1yyx1q2xx1q0x1q0yx1yq3x1q0yx1q3x1q3yx1yq3x1q3yx1q3x1yq1bx1q2yyx1yq2ax1q2yax1yq2yx1q2yyx1aq1bx1q2ayx1aq2ax1q2aax1aq2yx1q2ayx1q2xx1xq0x1q2xx1q0x1false1234567891011121314q0ax1q1x1false12346891213q1yx1q1x1q1ax1q1x1true12357811121q1111y1111a1111q1ax1aq1x1false24671011q1yx1yq1x1false3610aq1bx1ayx1false259aq1bx1yx1false268aq2yx1ayx1aq2ax1aax1true371a111q21111y111a1111q1111b1111x10q010q310bl10q410yq1bx1q2yyx1yq2ax1q2yax1yq2yx1q2yyx1aq1bx1q2ayx1aq2ax1q2aax1aq2yx1q2ayx1q2xx1xq0x1yq1bx1yx1true461y111q11111b111yq1bx1yyx1false4q0yx1yq3x1false4q0yx1q3x1false3q3yx1q3x1true21q3111y1111q3yx1yq3x1falseyq2yx1yyx1yq2ax1yax1true1y111q21111y111a1111q1111b1111x10q010q310bl10q410yq1bx1q2yyx1yq2ax1q2yax1yq2yx1q2yyx1aq1bx1q2ayx1aq2ax1q2aax1aq2yx1q2ayx1q2xx1xq0x1