q0
a
x1
x
q1
x1
q1
a
x1
a
q1
x1
q1
y
x1
y
q1
x1
a
q1
b
x1
q2
a
y
x1
a
q2
a
x1
q2
a
a
x1
a
q2
y
x1
q2
a
y
x1
y
q1
b
x1
q2
y
y
x1
y
q2
a
x1
q2
y
a
x1
y
q2
y
x1
q2
y
y
x1
q2
x
x1
x
q0
x1
q0
y
x1
y
q3
x1
q3
y
x1
y
q3
x1
q3
bl
x1
bl
q4
x1
2.2
q1
a
x1
q1
x1
y
q2
y
x1
y
y
x1
y
q1
b
x1
y
x1
q3
y
x1
y
q3
x1
y
q1
b
x1
q2
y
y
x1
a
q1
b
x1
y
x1
a
q1
b
x1
a
y
x1
y
q1
b
x1
y
y
x1
q2
x
x1
q0
x1
y
q2
a
x1
q2
y
a
x1
q0
y
x1
y
q3
x1
q3
y
x1
q3
x1
y
q2
y
x1
q2
y
y
x1
a
q1
b
x1
q2
a
y
x1
q1
y
x1
y
q1
x1
q0
a
x1
q1
x1
y
q2
a
x1
y
a
x1
a
q2
a
x1
a
a
x1
a
q2
y
x1
q2
a
y
x1
q1
a
x1
a
q1
x1
q0
y
x1
q3
x1
a
q2
a
x1
q2
a
a
x1
a
q2
y
x1
a
y
x1
q1
y
x1
q1
x1
true
q1
y
x1
q1
x1
a
q2
y
x1
a
y
x1
q2
x
x1
q0
x1
a
q2
a
x1
q2
a
a
x1
y
q1
b
x1
y
y
x1
q0
y
x1
q3
x1
q1
a
x1
a
q1
x1
a
q1
b
x1
a
y
x1
a
q2
y
x1
q2
a
y
x1
a
q1
b
x1
y
x1
a
q2
a
x1
a
a
x1
y
q2
a
x1
y
a
x1
y
q1
b
x1
q2
y
y
x1
q3
y
x1
y
q3
x1
y
q1
b
x1
y
x1
q0
a
x1
q1
x1
q1
y
x1
y
q1
x1
y
q2
y
x1
y
y
x1
a
q1
b
x1
q2
a
y
x1
y
q2
y
x1
q2
y
y
x1
q3
y
x1
q3
x1
q0
y
x1
y
q3
x1
q1
a
x1
q1
x1
y
q2
a
x1
q2
y
a
x1
true
a
1
8947
y
1
8948
b
1
1
q3
1
8946
q4
1
1
y
1
8947
q1
1
8950
q0
1
8951
x
1
8952
q1
1
8946
q2
1
1
0
bl
1
8947
a
1
8949
q3
1
8949
q0
1
1
1
q2
1
1
0
q1
a
x1
q1
x1
q3
y
x1
q3
x1
y
q2
y
x1
y
y
x1
y
q1
b
x1
y
x1
y
q2
a
x1
y
a
x1
a
q2
a
x1
a
a
x1
a
q1
b
x1
a
y
x1
y
q1
b
x1
y
y
x1
a
q2
y
x1
a
y
x1
q1
y
x1
q1
x1
a
q1
b
x1
q2
a
y
x1
y
q2
a
x1
q2
y
a
x1
a
q2
a
x1
q2
a
a
x1
q2
x
x1
x
q0
x1
y
q1
b
x1
q2
y
y
x1
y
q2
y
x1
q2
y
y
x1
a
q2
y
x1
q2
a
y
x1
q3
y
x1
q3
x1
true
a
1
8010
y
1
8948
b
1
1
q3
1
0
q4
1
1
y
1
1
1
q1
1
8950
q0
1
8951
x
1
8952
q1
1
8009
q2
1
1
0
bl
1
1
a
1
8949
q3
1
1
8949
q0
1
1
1
q2
1
0
q2
x
x1
x
q0
x1
y
q2
a
x1
y
a
x1
y
q1
b
x1
y
x1
y
q1
b
x1
y
y
x1
y
q2
y
x1
y
y
x1
true
a
1
1
1
y
1
1
8948
b
1
1
0
q3
1
1
0
q4
1
1
y
1
1
1
q1
1
8950
q0
1
8951
x
1
8952
q1
1
1
8009
q2
1
1
1
bl
1
19428
a
1
8949
q3
1
8949
q0
1
1
1
q2
1
0
a
q1
b
x1
q2
a
y
x1
y
q2
a
x1
q2
y
a
x1
q1
y
x1
y
q1
x1
a
q2
a
x1
q2
a
a
x1
q2
x
x1
x
q0
x1
y
q1
b
x1
q2
y
y
x1
q3
y
x1
y
q3
x1
y
q2
y
x1
q2
y
y
x1
q3
bl
x1
bl
q4
x1
a
q2
y
x1
q2
a
y
x1
q1
a
x1
a
q1
x1
a
q1
b
x1
a
y
x1
a
q2
a
x1
a
a
x1
a
q2
y
x1
a
y
x1
true
a
1
1
1
y
1
1
8948
b
1
1
0
q3
1
1
0
q4
1
1
y
1
1
1
q1
1
8950
q0
1
8951
x
1
3
q1
1
1
8009
q2
1
1
1
bl
1
19428
a
1
1
8949
q3
1
8949
q0
1
1
1
q2
1
0
a
q1
b
x1
q2
a
y
x1
y
q2
a
x1
q2
y
a
x1
q1
y
x1
y
q1
x1
a
q2
a
x1
q2
a
a
x1
q2
x
x1
x
q0
x1
y
q1
b
x1
q2
y
y
x1
q3
y
x1
y
q3
x1
y
q2
y
x1
q2
y
y
x1
q3
bl
x1
bl
q4
x1
a
q2
y
x1
q2
a
y
x1
q1
a
x1
a
q1
x1
q1
y
x1
q1
x1
q1
a
x1
q1
x1
true
a
1
1
1
y
1
1
8948
b
1
1
0
q3
1
1
0
q4
1
1
y
1
1
1
q1
1
1
8950
q0
1
8951
x
1
3
q1
1
1
8009
q2
1
1
7141
bl
1
19428
a
1
1
8949
q3
1
8949
q0
1
1
1
q2
1
0
a
q1
b
x1
q2
a
y
x1
y
q2
a
x1
q2
y
a
x1
q1
y
x1
y
q1
x1
a
q2
a
x1
q2
a
a
x1
q2
x
x1
x
q0
x1
y
q1
b
x1
q2
y
y
x1
q3
y
x1
y
q3
x1
y
q2
y
x1
q2
y
y
x1
q3
bl
x1
bl
q4
x1
a
q2
y
x1
q2
a
y
x1
q1
a
x1
a
q1
x1
NaTT
certifiable-1.6