0
q0
0
x1
0
0
q0
x1
0
q0
1
x1
0
1
q0
x1
1
q0
0
x1
0
0
q1
x1
1
q0
1
x1
0
1
q1
x1
1
q1
0
x1
1
0
q1
x1
1
q1
1
x1
1
1
q1
x1
0
q1
0
x1
0
0
q2
x1
0
q1
1
x1
0
1
q2
x1
1
q2
0
x1
1
0
q2
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
1
x1
1
1
q5
x1
1
q5
0
x1
0
0
q1
x1
1
q5
1
x1
0
1
q1
x1
0
q5
x1
q6
0
x1
1
q6
x1
q6
1
x1
1
q7
0
x1
0
0
q8
x1
1
q7
1
x1
0
1
q8
x1
0
q8
x1
0
q0
x1
1
q8
0
x1
1
0
q8
x1
1
q8
1
x1
1
1
q8
x1
0
q6
x1
q9
0
x1
0
q9
0
x1
1
0
q7
x1
0
q9
1
x1
1
1
q7
x1
1
q9
x1
q9
1
x1
h
q0
x1
h
0
q0
x1
q0
h
x1
q0
0
h
x1
h
q1
x1
h
0
q1
x1
q1
h
x1
q1
0
h
x1
h
q2
x1
h
0
q2
x1
q2
h
x1
q2
0
h
x1
h
q3
x1
h
0
q3
x1
q3
h
x1
q3
0
h
x1
h
q4
x1
h
0
q4
x1
q4
h
x1
q4
0
h
x1
h
q5
x1
h
0
q5
x1
q5
h
x1
q5
0
h
x1
h
q6
x1
h
0
q6
x1
q6
h
x1
q6
0
h
x1
2.2
0
q0
1
x1
1
q0
x1
0
q0
0
x1
q0
x1
1
q6
x1
q6
1
x1
1
q8
0
x1
1
0
q8
x1
q0
h
x1
q0
0
h
x1
1
q0
0
x1
q1
x1
1
q5
0
x1
0
0
q1
x1
0
q1
0
x1
0
q2
x1
1
q8
1
x1
1
q8
x1
1
q0
1
x1
q1
x1
1
q8
1
x1
1
1
q8
x1
1
q4
x1
q4
1
x1
1
q5
1
x1
1
q1
x1
0
q4
0
x1
0
q5
x1
0
q6
x1
0
x1
0
q1
0
x1
q2
x1
q1
h
x1
q1
0
h
x1
0
q5
x1
q6
0
x1
q4
h
x1
q4
0
h
x1
h
q3
x1
0
q3
x1
h
q3
x1
h
0
q3
x1
0
q9
1
x1
1
1
q7
x1
1
q7
1
x1
1
q8
x1
1
q4
x1
1
x1
1
q9
x1
1
x1
0
q9
1
x1
1
q7
x1
1
q1
0
x1
1
0
q1
x1
1
q5
0
x1
0
q1
x1
h
q0
x1
0
q0
x1
0
q4
0
x1
1
0
q5
x1
1
q2
1
x1
1
q2
x1
q3
h
x1
q3
0
h
x1
h
q6
x1
h
0
q6
x1
q5
h
x1
q5
0
h
x1
1
q5
1
x1
q1
x1
1
q1
0
x1
q1
x1
1
q7
0
x1
0
0
q8
x1
1
q0
1
x1
1
q1
x1
1
q2
0
x1
1
0
q2
x1
h
q1
x1
0
q1
x1
0
q3
x1
0
x1
1
q0
0
x1
0
0
q1
x1
0
q4
1
x1
1
1
q5
x1
0
q1
0
x1
0
0
q2
x1
1
q5
1
x1
0
1
q1
x1
h
q1
x1
h
0
q1
x1
q5
h
x1
0
h
x1
0
q8
x1
0
q0
x1
0
q4
1
x1
1
q5
x1
1
q1
0
x1
0
q1
x1
0
q1
1
x1
q2
x1
1
q0
0
x1
0
q1
x1
q3
h
x1
0
h
x1
h
q2
x1
h
0
q2
x1
1
q8
0
x1
0
q8
x1
1
q2
1
x1
q2
x1
q4
h
x1
0
h
x1
1
q2
0
x1
0
q2
x1
h
q5
x1
h
0
q5
x1
0
q1
1
x1
1
q2
x1
q2
h
x1
q2
0
h
x1
h
q0
x1
h
0
q0
x1
h
q6
x1
0
q6
x1
0
q4
0
x1
q5
x1
1
q0
1
x1
0
1
q1
x1
0
q9
0
x1
1
0
q7
x1
1
q3
x1
q3
1
x1
0
q5
x1
0
x1
q6
h
x1
0
h
x1
1
q6
x1
1
x1
0
q9
0
x1
0
q7
x1
0
q2
x1
1
x1
0
q3
x1
q4
0
x1
1
q3
x1
1
x1
0
q0
0
x1
0
0
q0
x1
0
q1
1
x1
0
1
q2
x1
0
q2
x1
q3
1
x1
1
q7
1
x1
0
1
q8
x1
1
q1
1
x1
1
1
q1
x1
0
q8
x1
q0
x1
1
q1
1
x1
q1
x1
h
q2
x1
0
q2
x1
1
q2
0
x1
q2
x1
0
q0
0
x1
0
q0
x1
1
q5
0
x1
q1
x1
q0
h
x1
0
h
x1
h
q5
x1
0
q5
x1
h
q4
x1
0
q4
x1
0
q0
1
x1
q0
x1
1
q7
0
x1
0
q8
x1
0
q0
1
x1
0
1
q0
x1
q1
h
x1
0
h
x1
q2
h
x1
0
h
x1
h
q4
x1
h
0
q4
x1
q6
h
x1
q6
0
h
x1
0
q4
1
x1
q5
x1
1
q2
1
x1
1
1
q2
x1
1
q1
1
x1
1
q1
x1
true
h
q2
x1
h
0
q2
x1
h
q4
x1
h
0
q4
x1
h
q1
x1
h
0
q1
x1
h
q6
x1
h
0
q6
x1
h
q3
x1
h
0
q3
x1
h
q0
x1
h
0
q0
x1
h
q5
x1
h
0
q5
x1
true
h
1
1
1
0
1
0
1
1
2
q3
1
2
q6
1
2
q4
1
0
q4
1
2
q1
1
0
q0
1
0
q8
1
1
1
0
1
2
h
1
1
0
q1
1
3
q5
1
3
q2
1
1
3
q7
1
1
1
q9
1
1
q3
1
0
1
1
0
q0
1
1
18460
q5
1
0
q6
1
0
q2
1
0
h
q3
x1
h
0
q3
x1
h
q6
x1
h
0
q6
x1
h
q4
x1
h
0
q4
x1
1
q5
1
x1
0
1
q1
x1
1
q0
1
x1
0
1
q1
x1
0
q4
0
x1
1
0
q5
x1
0
q1
1
x1
0
1
q2
x1
0
q0
0
x1
0
0
q0
x1
1
q0
0
x1
0
0
q1
x1
0
q4
1
x1
1
1
q5
x1
1
q7
0
x1
0
0
q8
x1
h
q3
x1
h
0
q3
x1
0
q6
x1
q9
0
x1
0
q5
x1
q6
0
x1
h
q1
x1
h
0
q1
x1
1
q5
0
x1
0
0
q1
x1
0
q9
0
x1
1
0
q7
x1
h
q2
x1
h
0
q2
x1
1
q7
1
x1
0
1
q8
x1
0
q9
1
x1
1
1
q7
x1
1
q1
0
x1
1
0
q1
x1
1
q2
1
x1
1
1
q2
x1
q4
h
x1
q4
0
h
x1
0
q1
0
x1
0
0
q2
x1
1
q6
x1
q6
1
x1
1
q8
1
x1
1
1
q8
x1
h
q0
x1
h
0
q0
x1
1
q4
x1
q4
1
x1
1
q3
x1
q3
1
x1
0
q8
x1
0
q0
x1
1
q8
0
x1
1
0
q8
x1
0
q2
x1
q3
1
x1
1
q2
0
x1
1
0
q2
x1
0
q3
x1
q4
0
x1
h
q5
x1
h
0
q5
x1
1
q1
1
x1
1
1
q1
x1
h
q4
x1
h
0
q4
x1
q3
h
x1
q3
0
h
x1
h
q6
x1
h
0
q6
x1
1
q9
x1
q9
1
x1
q6
h
x1
q6
0
h
x1
0
q0
1
x1
0
1
q0
x1
h
q3
x1
h
0
q3
x1
h
q4
x1
h
0
q4
x1
h
q6
x1
h
0
q6
x1
true
2
1
h
1
19144
19143
0
1
0
0
1
1
1
0
0
0
1
0
19143
q3
1
19145
19143
q6
1
19144
1
q4
1
0
0
q4
1
19144
19143
q1
1
0
0
q0
1
0
0
q8
1
1
19143
19143
0
1
0
0
1
0
1
1
19143
h
1
1
0
0
0
1
0
0
q1
1
1
14819
917
q5
1
19144
19143
q2
1
1
0
0
0
1
19144
19144
q7
1
19144
1
q9
1
1
19143
q3
1
0
0
1
1
0
0
q0
1
1
0
0
0
1
19144
19143
q5
1
0
0
q6
1
0
0
q2
1
0
0
h
q4
x1
h
0
q4
x1
1
q5
1
x1
0
1
q1
x1
1
q0
1
x1
0
1
q1
x1
0
q4
0
x1
1
0
q5
x1
0
q1
1
x1
0
1
q2
x1
0
q0
0
x1
0
0
q0
x1
1
q0
0
x1
0
0
q1
x1
0
q4
1
x1
1
1
q5
x1
1
q7
0
x1
0
0
q8
x1
h
q3
x1
h
0
q3
x1
0
q6
x1
q9
0
x1
0
q5
x1
q6
0
x1
h
q1
x1
h
0
q1
x1
1
q5
0
x1
0
0
q1
x1
0
q9
0
x1
1
0
q7
x1
h
q2
x1
h
0
q2
x1
1
q7
1
x1
0
1
q8
x1
0
q9
1
x1
1
1
q7
x1
1
q1
0
x1
1
0
q1
x1
q1
h
x1
q1
0
h
x1
1
q2
1
x1
1
1
q2
x1
q4
h
x1
q4
0
h
x1
0
q1
0
x1
0
0
q2
x1
1
q6
x1
q6
1
x1
1
q8
1
x1
1
1
q8
x1
h
q0
x1
h
0
q0
x1
1
q4
x1
q4
1
x1
q0
h
x1
q0
0
h
x1
1
q3
x1
q3
1
x1
0
q8
x1
0
q0
x1
1
q8
0
x1
1
0
q8
x1
0
q2
x1
q3
1
x1
1
q2
0
x1
1
0
q2
x1
0
q3
x1
q4
0
x1
h
q5
x1
h
0
q5
x1
1
q1
1
x1
1
1
q1
x1
h
q4
x1
h
0
q4
x1
q3
h
x1
q3
0
h
x1
q5
h
x1
q5
0
h
x1
h
q6
x1
h
0
q6
x1
q2
h
x1
q2
0
h
x1
1
q9
x1
q9
1
x1
q6
h
x1
q6
0
h
x1
0
q0
1
x1
0
1
q0
x1
h
q4
x1
h
0
q4
x1
true
Failed!
NaTT
certifiable-1.6