0
q0
0
x1
0
0
q0
x1
0
q0
h
x1
0
0
q0
h
x1
0
q0
1
x1
0
1
q0
x1
1
q0
0
x1
0
0
q1
x1
1
q0
h
x1
0
0
q1
h
x1
1
q0
1
x1
0
1
q1
x1
1
q1
0
x1
1
0
q1
x1
1
q1
h
x1
1
0
q1
h
x1
1
q1
1
x1
1
1
q1
x1
0
q1
0
x1
0
0
q2
x1
0
q1
h
x1
0
0
q2
h
x1
0
q1
1
x1
0
1
q2
x1
1
q2
0
x1
1
0
q2
x1
1
q2
h
x1
1
0
q2
h
x1
1
q2
1
x1
1
1
q2
x1
0
q2
x1
q3
1
x1
1
q3
x1
q3
1
x1
0
q3
x1
q4
0
x1
1
q4
x1
q4
1
x1
0
q4
0
x1
1
0
q5
x1
0
q4
h
x1
1
0
q5
h
x1
0
q4
1
x1
1
1
q5
x1
1
q5
0
x1
0
0
q1
x1
1
q5
h
x1
0
0
q1
h
x1
1
q5
1
x1
0
1
q1
x1
h
q0
x1
h
0
q0
x1
h
q1
x1
h
0
q1
x1
h
q2
x1
h
0
q2
x1
h
q3
x1
h
0
q3
x1
h
q4
x1
h
0
q4
x1
h
q5
x1
h
0
q5
x1
2.2
0
q0
h
x1
0
q0
h
x1
h
q0
x1
h
0
q0
x1
1
q1
0
x1
1
0
q1
x1
h
q2
x1
h
0
q2
x1
0
q4
h
x1
0
q5
h
x1
1
q4
x1
1
x1
1
q3
x1
1
x1
0
q4
1
x1
1
1
q5
x1
0
q2
x1
1
x1
1
q1
h
x1
0
q1
h
x1
0
q0
1
x1
0
1
q0
x1
0
q3
x1
0
x1
0
q4
1
x1
1
q5
x1
1
q0
1
x1
1
q1
x1
1
q2
1
x1
1
q2
x1
h
q1
x1
0
q1
x1
0
q0
0
x1
0
q0
x1
1
q5
h
x1
0
0
q1
h
x1
1
q1
1
x1
1
1
q1
x1
0
q1
h
x1
0
0
q2
h
x1
1
q0
0
x1
0
q1
x1
h
q4
x1
0
q4
x1
h
q4
x1
h
0
q4
x1
0
q4
h
x1
1
0
q5
h
x1
0
q1
h
x1
0
q2
h
x1
0
q1
0
x1
0
0
q2
x1
1
q0
0
x1
0
0
q1
x1
1
q5
h
x1
0
q1
h
x1
1
q1
0
x1
0
q1
x1
1
q1
h
x1
1
0
q1
h
x1
0
q0
1
x1
1
q0
x1
1
q5
1
x1
0
1
q1
x1
h
q5
x1
0
q5
x1
1
q2
0
x1
1
0
q2
x1
h
q1
x1
h
0
q1
x1
1
q1
1
x1
1
q1
x1
1
q0
h
x1
0
0
q1
h
x1
1
q0
1
x1
0
1
q1
x1
h
q0
x1
0
q0
x1
0
q4
0
x1
0
q5
x1
1
q2
h
x1
0
q2
h
x1
1
q0
h
x1
0
q1
h
x1
0
q4
0
x1
1
0
q5
x1
0
q1
1
x1
0
1
q2
x1
0
q1
0
x1
0
q2
x1
h
q5
x1
h
0
q5
x1
1
q5
1
x1
1
q1
x1
h
q2
x1
0
q2
x1
1
q2
h
x1
1
0
q2
h
x1
1
q5
0
x1
0
q1
x1
h
q3
x1
h
0
q3
x1
0
q0
h
x1
0
0
q0
h
x1
1
q2
1
x1
1
1
q2
x1
1
q2
0
x1
0
q2
x1
1
q5
0
x1
0
0
q1
x1
h
q3
x1
0
q3
x1
0
q0
0
x1
0
0
q0
x1
0
q1
1
x1
1
q2
x1
true
h
q4
x1
h
0
q4
x1
h
q3
x1
h
0
q3
x1
h
q1
x1
h
0
q1
x1
h
q2
x1
h
0
q2
x1
h
q0
x1
h
0
q0
x1
true
h
1
1
0
1
0
1
1
1
q3
1
1
q4
1
1
0
1
1
h
1
1
0
q1
1
1
2
q5
1
1
1
q2
1
1
30614
1
1
0
q0
1
5855
h
q3
x1
h
0
q3
x1
h
q4
x1
h
0
q4
x1
0
q3
x1
q4
0
x1
1
q0
0
x1
0
0
q1
x1
1
q2
1
x1
1
1
q2
x1
1
q1
h
x1
1
0
q1
h
x1
0
q0
0
x1
0
0
q0
x1
0
q0
1
x1
0
1
q0
x1
0
q2
x1
q3
1
x1
0
q4
h
x1
1
0
q5
h
x1
1
q4
x1
q4
1
x1
1
q3
x1
q3
1
x1
0
q4
1
x1
1
1
q5
x1
1
q0
h
x1
0
0
q1
h
x1
0
q1
0
x1
0
0
q2
x1
1
q1
0
x1
1
0
q1
x1
0
q4
0
x1
1
0
q5
x1
1
q5
1
x1
0
1
q1
x1
1
q2
h
x1
1
0
q2
h
x1
0
q1
1
x1
0
1
q2
x1
1
q5
0
x1
0
0
q1
x1
1
q5
h
x1
0
0
q1
h
x1
0
q1
h
x1
0
0
q2
h
x1
1
q1
1
x1
1
1
q1
x1
1
q2
0
x1
1
0
q2
x1
1
q0
1
x1
0
1
q1
x1
0
q0
h
x1
0
0
q0
h
x1
h
q4
x1
h
0
q4
x1
h
q3
x1
h
0
q3
x1
true
2
1
h
1
1
0
1
0
1
1
1
0
1
0
0
1
1
1
0
0
0
1
0
0
q3
1
25855
0
q4
1
25854
0
0
1
0
0
1
0
1
25854
0
h
1
1
0
0
0
1
0
0
q1
1
25855
1
q5
1
25854
0
q2
1
25855
1
1
1
0
0
q0
1
1
0
0
0
1
25854
1
h
q4
x1
h
0
q4
x1
0
q3
x1
q4
0
x1
1
q0
0
x1
0
0
q1
x1
1
q2
1
x1
1
1
q2
x1
1
q1
h
x1
1
0
q1
h
x1
0
q0
0
x1
0
0
q0
x1
0
q0
1
x1
0
1
q0
x1
0
q2
x1
q3
1
x1
0
q4
h
x1
1
0
q5
h
x1
h
q0
x1
h
0
q0
x1
1
q4
x1
q4
1
x1
1
q3
x1
q3
1
x1
h
q1
x1
h
0
q1
x1
0
q4
1
x1
1
1
q5
x1
h
q2
x1
h
0
q2
x1
1
q0
h
x1
0
0
q1
h
x1
0
q1
0
x1
0
0
q2
x1
1
q1
0
x1
1
0
q1
x1
0
q4
0
x1
1
0
q5
x1
1
q5
1
x1
0
1
q1
x1
h
q4
x1
h
0
q4
x1
1
q2
h
x1
1
0
q2
h
x1
h
q5
x1
h
0
q5
x1
0
q1
1
x1
0
1
q2
x1
1
q5
0
x1
0
0
q1
x1
1
q5
h
x1
0
0
q1
h
x1
0
q1
h
x1
0
0
q2
h
x1
1
q1
1
x1
1
1
q1
x1
1
q2
0
x1
1
0
q2
x1
1
q0
1
x1
0
1
q1
x1
h
q3
x1
h
0
q3
x1
0
q0
h
x1
0
0
q0
h
x1
h
q4
x1
h
0
q4
x1
true
Failed!
NaTT
certifiable-1.6