q0ax1xq1x1q1ax1aq1x1q1yx1yq1x1aq1bx1q2ayx1aq2ax1q2aax1aq2yx1q2ayx1yq1bx1q2yyx1yq2ax1q2yax1yq2yx1q2yyx1q2xx1xq0x1q0yx1yq3x1q3yx1yq3x1q3blx1blq4x1q0ax1q1x1q1ax1aq1x1q1ax1q1x1q1yx1yq1x1q1yx1q1x1aq1bx1q2ayx1aq1bx1ayx1aq1bx1yx1aq2ax1q2aax1aq2ax1aax1aq2yx1q2ayx1aq2yx1ayx1yq1bx1q2yyx1yq1bx1yyx1yq1bx1yx1yq2ax1q2yax1yq2ax1yax1yq2yx1q2yyx1yq2yx1yyx1q2xx1q0x1q0yx1yq3x1q0yx1q3x1q3yx1yq3x1q3yx1q3x1true1q011a10q111a11q111y10y10b10q2111q2111x11q311q310q011bl10q410q0ax1q1x1q1ax1aq1x1q1ax1q1x1q1yx1q1x1aq1bx1ayx1aq2ax1aax1aq2yx1ayx1yq1bx1q2yyx1yq1bx1yyx1yq1bx1yx1yq2ax1q2yax1yq2ax1yax1yq2yx1q2yyx1yq2yx1yyx1q2xx1q0x1q3yx1yq3x1q3yx1q3x1yq1bx1yx1true245678910111213y11yq1bx1q2yyx1false2356789101112yq1bx1yyx1false24567891011q3yx1q3x1true1345678910q311q3yx1yq3x1false23456789yq2yx1yyx1yq2ax1yax1true345678y11yq2ax1q2yax1false234567yq2yx1q2yyx1false123456q2xx1q0x1false12345q0ax1q1x1false1234q1yx1q1x1q1ax1q1x1true123q111q1ax1aq1x1false12aq1bx1ayx1false1aq2yx1ayx1aq2ax1aax1truea11