1
q0
1
x1
0
1
q1
x1
1
q0
0
x1
0
0
q1
x1
1
q1
1
x1
1
1
q1
x1
1
q1
0
x1
1
0
q1
x1
0
q1
x1
q2
1
x1
1
q2
x1
q2
1
x1
0
q2
x1
0
q0
x1
2.2
1
q0
0
x1
0
q1
x1
1
q1
1
x1
1
1
q1
x1
1
q0
1
x1
1
q1
x1
1
q1
0
x1
0
q1
x1
1
q1
1
x1
1
q1
x1
1
q1
0
x1
1
0
q1
x1
0
q1
x1
1
x1
1
q2
x1
1
x1
1
q0
0
x1
0
0
q1
x1
1
q0
1
x1
0
1
q1
x1
0
q2
x1
0
q0
x1
true
1
q0
1
x1
0
1
q1
x1
1
q0
0
x1
0
0
q1
x1
1
q2
x1
1
x1
1
q1
0
x1
0
q1
x1
1
q0
1
x1
1
q1
x1
1
q1
1
x1
1
1
q1
x1
0
q1
x1
1
x1
1
q1
0
x1
1
0
q1
x1
1
q1
1
x1
1
q1
x1
1
q0
0
x1
0
q1
x1
true
0
1
1
26958
1
1
1
1
0
1
1
26960
q1
1
1
1143
q2
1
1
28102
1
1
1
0
q0
1
1
28102
1
q1
0
x1
1
0
q1
x1
1
q1
1
x1
1
1
q1
x1
1
q1
0
x1
1
0
q1
x1
1
q0
1
x1
0
1
q1
x1
1
q1
1
x1
1
1
q1
x1
0
q1
x1
q2
1
x1
0
q2
x1
0
q0
x1
1
q2
x1
q2
1
x1
1
q0
0
x1
0
0
q1
x1
1
q1
0
x1
1
0
q1
x1
1
q1
1
x1
1
1
q1
x1
true
0
1
1
26958
1
1
1
1
0
1
2998
q1
1
1
8946
q2
1
2998
1
1
1
0
q0
1
26286
1
q1
1
x1
1
1
q1
x1
1
q1
0
x1
1
0
q1
x1
1
q0
1
x1
0
1
q1
x1
1
q1
1
x1
1
1
q1
x1
0
q1
x1
q2
1
x1
0
q2
x1
0
q0
x1
1
q2
x1
q2
1
x1
1
q0
0
x1
0
0
q1
x1
1
q1
1
x1
1
1
q1
x1
true
0
1
1
26958
1
1
8006
0
1
8006
q1
1
1
3938
q2
1
8006
1
1
1
0
q0
1
26286
1
q1
0
x1
1
0
q1
x1
1
q0
1
x1
0
1
q1
x1
1
q1
1
x1
1
1
q1
x1
0
q1
x1
q2
1
x1
0
q2
x1
0
q0
x1
1
q2
x1
q2
1
x1
1
q0
0
x1
0
0
q1
x1
0
q2
x1
0
q0
x1
false
NaTT
certifiable-1.6