0
1
2
x1
0
0
2
1
x1
0
1
2
x1
0
2
1
3
x1
0
1
2
x1
0
0
2
1
4
4
x1
0
3
1
x1
0
1
3
4
0
x1
0
3
1
x1
0
1
3
4
4
x1
0
3
1
x1
1
3
4
4
4
0
x1
0
3
2
x1
0
2
1
3
x1
0
3
2
x1
0
2
3
4
x1
0
3
2
x1
0
0
2
4
3
x1
0
3
2
x1
0
2
1
4
3
x1
0
3
2
x1
0
2
4
3
3
x1
0
3
2
x1
0
2
1
3
3
4
x1
0
3
2
x1
0
2
3
4
5
5
x1
0
3
2
x1
2
4
4
3
4
0
x1
0
4
1
x1
0
1
4
4
x1
0
4
1
x1
0
2
1
4
x1
0
4
2
x1
0
2
1
4
x1
0
4
2
x1
0
2
3
4
x1
0
4
2
x1
0
2
4
3
x1
2
0
1
x1
5
0
2
1
x1
2
3
1
x1
1
3
5
2
x1
2
3
1
x1
0
2
1
3
5
x1
2
3
1
x1
1
4
3
5
2
x1
0
2
0
1
x1
5
0
0
2
1
x1
0
3
1
1
x1
0
1
4
1
3
4
x1
0
3
2
1
x1
0
0
3
4
2
1
x1
0
3
2
2
x1
1
3
4
0
2
2
x1
0
4
1
2
x1
1
4
0
2
5
x1
0
4
3
2
x1
2
3
4
4
0
0
x1
0
5
3
1
x1
0
1
4
3
5
4
x1
0
5
3
1
x1
0
1
5
3
4
0
x1
0
5
3
2
x1
0
2
4
5
3
x1
0
5
3
2
x1
0
2
5
3
3
x1
2
0
3
1
x1
2
0
1
3
5
2
x1
2
0
4
1
x1
2
0
1
4
5
x1
2
5
3
2
x1
2
5
2
3
3
x1
2
5
4
2
x1
0
2
5
2
4
x1
0
0
3
2
1
x1
0
0
1
3
5
2
x1
0
1
0
3
2
x1
0
1
4
3
2
0
x1
0
1
0
3
2
x1
2
3
1
0
0
5
x1
0
3
2
5
1
x1
0
2
5
1
3
3
x1
0
5
1
1
2
x1
0
2
4
1
1
5
x1
0
5
1
2
2
x1
0
2
5
2
1
2
x1
0
5
3
2
1
x1
0
1
3
4
2
5
x1
0
5
5
3
2
x1
0
2
5
1
3
5
x1
2
0
3
1
1
x1
2
1
0
1
3
4
x1
2
2
0
3
1
x1
1
3
0
2
5
2
x1
2
2
0
5
1
x1
2
0
2
1
5
1
x1
2
5
5
4
1
x1
5
5
2
1
3
4
x1
2.2
0
1
2
x1
2
1
3
x1
2
5
3
2
x1
2
3
3
x1
2
3
1
x1
2
x1
0
3
1
x1
0
x1
0
3
2
x1
0
0
2
4
3
x1
0
3
2
1
x1
0
0
3
4
2
1
x1
0
3
1
x1
0
1
3
4
4
x1
0
3
2
x1
0
2
1
3
3
4
x1
0
2
0
1
x1
2
1
x1
0
1
2
x1
2
1
x1
0
2
0
1
x1
0
2
1
x1
0
3
2
x1
2
4
3
x1
0
3
1
x1
0
1
3
4
0
x1
0
3
2
x1
2
3
4
x1
0
1
2
x1
0
2
1
4
4
x1
2
0
3
1
x1
2
0
1
3
5
2
x1
0
3
2
x1
2
1
3
3
4
x1
2
5
5
4
1
x1
2
1
3
4
x1
2
3
1
x1
0
2
1
3
5
x1
0
5
3
1
x1
0
1
5
3
4
0
x1
2
0
3
1
x1
2
x1
2
0
3
1
x1
0
1
3
5
2
x1
0
3
2
x1
2
1
3
x1
0
1
0
3
2
x1
0
x1
0
3
2
x1
0
2
4
3
3
x1
0
4
3
2
x1
2
3
4
4
0
0
x1
0
1
0
3
2
x1
0
1
4
3
2
0
x1
2
0
1
x1
0
2
1
x1
0
5
3
2
1
x1
0
1
3
4
2
5
x1
0
2
0
1
x1
0
0
2
1
x1
0
1
2
x1
0
0
2
1
4
4
x1
0
3
2
x1
0
x1
0
5
1
1
2
x1
0
2
4
1
1
5
x1
2
0
4
1
x1
2
0
1
4
5
x1
2
0
3
1
1
x1
2
1
0
1
3
4
x1
0
4
1
x1
0
1
4
4
x1
0
3
2
x1
0
2
1
3
x1
0
3
2
2
x1
0
2
2
x1
0
1
2
x1
0
2
1
x1
2
2
0
5
1
x1
0
2
1
5
1
x1
0
4
1
2
x1
2
5
x1
2
2
0
5
1
x1
2
0
2
1
5
1
x1
0
4
2
x1
0
2
4
3
x1
0
4
2
x1
2
1
4
x1
0
5
5
3
2
x1
2
5
1
3
5
x1
0
3
2
x1
0
2
3
4
x1
0
4
1
2
x1
0
2
5
x1
0
4
2
x1
0
2
3
4
x1
2
0
3
1
1
x1
0
1
3
4
x1
0
1
0
3
2
x1
0
0
5
x1
0
5
3
2
x1
0
2
4
5
3
x1
2
0
1
x1
2
1
x1
0
4
1
x1
2
1
4
x1
0
4
2
x1
2
4
3
x1
0
5
1
1
2
x1
2
4
1
1
5
x1
0
3
2
x1
0
2
1
4
3
x1
0
1
0
3
2
x1
2
3
1
0
0
5
x1
0
5
3
1
x1
0
1
4
3
5
4
x1
0
5
3
1
x1
0
x1
2
2
0
5
1
x1
2
1
5
1
x1
2
2
0
3
1
x1
0
2
5
2
x1
0
4
1
x1
0
2
1
4
x1
0
4
3
2
x1
0
0
x1
0
3
2
x1
2
4
3
3
x1
2
0
4
1
x1
0
1
4
5
x1
0
1
2
x1
2
1
4
4
x1
0
1
2
x1
0
0
2
1
x1
0
5
3
2
x1
0
2
5
3
3
x1
0
3
2
x1
0
2
3
4
5
5
x1
2
3
1
x1
2
1
3
5
x1
0
5
1
2
2
x1
2
1
2
x1
0
5
5
3
2
x1
0
2
5
1
3
5
x1
0
5
3
2
x1
2
5
3
3
x1
0
0
3
2
1
x1
2
x1
2
2
0
3
1
x1
2
x1
0
3
2
x1
2
3
4
5
5
x1
0
3
2
1
x1
0
3
4
2
1
x1
2
3
1
x1
2
x1
0
0
3
2
1
x1
0
1
3
5
2
x1
0
1
0
3
2
x1
2
0
x1
2
5
4
2
x1
0
2
5
2
4
x1
0
1
0
3
2
x1
0
5
x1
2
5
4
2
x1
2
4
x1
0
3
2
x1
2
1
4
3
x1
0
0
3
2
1
x1
0
0
1
3
5
2
x1
0
3
1
x1
0
x1
2
5
3
2
x1
2
5
2
3
3
x1
0
5
3
2
1
x1
2
5
x1
0
3
2
x1
0
2
4
3
x1
2
2
0
3
1
x1
2
5
2
x1
0
3
2
5
1
x1
2
5
1
3
3
x1
0
5
1
2
2
x1
0
2
5
2
1
2
x1
0
4
2
x1
0
2
1
4
x1
0
1
2
x1
0
2
1
3
x1
0
3
1
1
x1
0
1
4
1
3
4
x1
0
4
3
2
x1
0
x1
0
3
2
5
1
x1
0
2
5
1
3
3
x1
0
4
2
x1
2
3
4
x1
0
5
1
2
2
x1
2
5
2
1
2
x1
0
5
3
2
x1
2
4
5
3
x1
0
3
2
x1
2
4
4
3
4
0
x1
2
5
4
2
x1
2
5
2
4
x1
true
0
5
3
1
x1
0
x1
0
1
0
3
2
x1
2
3
1
0
0
5
x1
0
1
0
3
2
x1
0
0
5
x1
0
4
1
2
x1
0
2
5
x1
0
4
3
2
x1
0
x1
0
3
2
2
x1
0
2
2
x1
0
3
1
x1
0
x1
0
3
2
x1
0
x1
0
1
0
3
2
x1
0
5
x1
0
1
0
3
2
x1
2
0
x1
0
1
0
3
2
x1
0
x1
2
3
1
x1
2
x1
2
0
3
1
x1
2
x1
2
2
0
3
1
x1
2
x1
0
0
3
2
1
x1
2
x1
0
4
3
2
x1
0
0
x1
0
3
1
x1
0
x1
2
3
1
x1
2
x1
2
2
0
3
1
x1
0
2
5
2
x1
true
2
1
0
1
0
0
1
0
1
68983
0
1
1
0
1
0
1
1
34492
0
4
1
0
0
0
1
1
0
0
5
1
0
0
0
1
1
0
0
3
1
0
0
0
1
1
0
0
2
1
1
0
1
0
1
0
0
0
1
0
0
0
1
1
34492
0
2
1
1
34492
0
2
3
1
x1
2
x1
0
3
1
x1
0
x1
0
4
3
2
x1
0
0
x1
2
3
1
x1
2
x1
0
3
2
x1
0
x1
0
3
1
x1
0
x1
0
3
2
2
x1
0
2
2
x1
0
4
3
2
x1
0
x1
0
5
3
1
x1
0
x1
0
4
2
x1
0
2
3
4
x1
0
3
1
x1
0
1
3
4
0
x1
0
4
1
x1
0
1
4
4
x1
0
3
2
x1
0
2
3
4
x1
0
1
2
x1
0
0
2
1
x1
0
1
2
x1
0
0
2
1
4
4
x1
0
4
1
x1
0
2
1
4
x1
2
3
1
x1
1
3
5
2
x1
2
5
3
2
x1
2
5
2
3
3
x1
0
3
2
1
x1
0
0
3
4
2
1
x1
0
4
2
x1
0
2
4
3
x1
0
5
3
2
x1
0
2
4
5
3
x1
0
4
2
x1
0
2
1
4
x1
0
3
2
2
x1
1
3
4
0
2
2
x1
2
0
3
1
x1
2
0
1
3
5
2
x1
2
3
1
x1
0
2
1
3
5
x1
0
4
1
2
x1
1
4
0
2
5
x1
0
5
3
2
1
x1
0
1
3
4
2
5
x1
0
3
1
x1
0
1
3
4
4
x1
0
5
3
2
x1
0
2
5
3
3
x1
0
3
2
x1
0
2
1
4
3
x1
0
1
0
3
2
x1
0
1
4
3
2
0
x1
0
3
2
x1
0
2
1
3
x1
2
0
1
x1
5
0
2
1
x1
0
3
1
1
x1
0
1
4
1
3
4
x1
2
5
5
4
1
x1
5
5
2
1
3
4
x1
0
5
3
1
x1
0
1
4
3
5
4
x1
0
3
2
x1
2
4
4
3
4
0
x1
0
5
3
1
x1
0
1
5
3
4
0
x1
0
3
2
x1
0
2
1
3
3
4
x1
0
5
5
3
2
x1
0
2
5
1
3
5
x1
2
3
1
x1
1
4
3
5
2
x1
0
2
0
1
x1
5
0
0
2
1
x1
0
3
2
x1
0
2
4
3
3
x1
0
3
2
x1
0
0
2
4
3
x1
0
3
2
x1
0
2
3
4
5
5
x1
0
1
0
3
2
x1
2
3
1
0
0
5
x1
0
3
1
x1
1
3
4
4
4
0
x1
0
0
3
2
1
x1
0
0
1
3
5
2
x1
2
2
0
5
1
x1
2
0
2
1
5
1
x1
2
2
0
3
1
x1
1
3
0
2
5
2
x1
2
5
4
2
x1
0
2
5
2
4
x1
0
3
2
5
1
x1
0
2
5
1
3
3
x1
0
5
1
1
2
x1
0
2
4
1
1
5
x1
2
0
3
1
1
x1
2
1
0
1
3
4
x1
2
0
4
1
x1
2
0
1
4
5
x1
0
4
3
2
x1
2
3
4
4
0
0
x1
0
5
1
2
2
x1
0
2
5
2
1
2
x1
0
1
2
x1
0
2
1
3
x1
2
3
1
x1
2
x1
2
3
1
x1
2
x1
true
2
1
0
1
68983
0
1
1
0
1
0
0
1
1
57280
4
1
0
1
5
1
1
2283
3
1
1
1
1
0
1
13170
2282
2
1
1
0
0
0
1
0
0
0
1
3132
72734
2
1
0
0
1
1
1
849
70451
0
4
2
x1
0
2
3
4
x1
0
3
1
x1
0
1
3
4
0
x1
0
4
1
x1
0
1
4
4
x1
0
3
2
x1
0
2
3
4
x1
0
1
2
x1
0
0
2
1
x1
0
1
2
x1
0
0
2
1
4
4
x1
0
4
1
x1
0
2
1
4
x1
2
3
1
x1
1
3
5
2
x1
2
5
3
2
x1
2
5
2
3
3
x1
0
3
2
1
x1
0
0
3
4
2
1
x1
0
4
2
x1
0
2
4
3
x1
0
5
3
2
x1
0
2
4
5
3
x1
0
4
2
x1
0
2
1
4
x1
0
3
2
2
x1
1
3
4
0
2
2
x1
2
0
3
1
x1
2
0
1
3
5
2
x1
2
3
1
x1
0
2
1
3
5
x1
0
4
1
2
x1
1
4
0
2
5
x1
0
5
3
2
1
x1
0
1
3
4
2
5
x1
0
3
1
x1
0
1
3
4
4
x1
0
5
3
2
x1
0
2
5
3
3
x1
0
3
2
x1
0
2
1
4
3
x1
0
1
0
3
2
x1
0
1
4
3
2
0
x1
0
3
2
x1
0
2
1
3
x1
2
0
1
x1
5
0
2
1
x1
0
3
1
1
x1
0
1
4
1
3
4
x1
2
5
5
4
1
x1
5
5
2
1
3
4
x1
0
5
3
1
x1
0
1
4
3
5
4
x1
0
3
2
x1
2
4
4
3
4
0
x1
0
5
3
1
x1
0
1
5
3
4
0
x1
0
3
2
x1
0
2
1
3
3
4
x1
0
5
5
3
2
x1
0
2
5
1
3
5
x1
2
3
1
x1
1
4
3
5
2
x1
0
2
0
1
x1
5
0
0
2
1
x1
0
3
2
x1
0
2
4
3
3
x1
0
3
2
x1
0
0
2
4
3
x1
0
3
2
x1
0
2
3
4
5
5
x1
0
1
0
3
2
x1
2
3
1
0
0
5
x1
0
3
1
x1
1
3
4
4
4
0
x1
0
0
3
2
1
x1
0
0
1
3
5
2
x1
2
2
0
5
1
x1
2
0
2
1
5
1
x1
2
2
0
3
1
x1
1
3
0
2
5
2
x1
2
5
4
2
x1
0
2
5
2
4
x1
0
3
2
5
1
x1
0
2
5
1
3
3
x1
0
5
1
1
2
x1
0
2
4
1
1
5
x1
2
0
3
1
1
x1
2
1
0
1
3
4
x1
2
0
4
1
x1
2
0
1
4
5
x1
0
4
3
2
x1
2
3
4
4
0
0
x1
0
5
1
2
2
x1
0
2
5
2
1
2
x1
0
1
2
x1
0
2
1
3
x1
0
3
1
x1
0
x1
0
3
2
2
x1
0
2
2
x1
0
3
2
x1
0
x1
0
5
3
1
x1
0
x1
0
3
1
x1
0
x1
0
4
3
2
x1
0
x1
0
4
3
2
x1
0
0
x1
true
2
1
0
1
1
0
0
0
1
68983
0
1
1
0
1
0
0
1
0
58459
4
1
1
0
0
0
1
18960
39499
5
1
1
0
0
0
1
0
122521
3
1
1
0
1
1
1
5603
18960
2
1
0
0
0
1
0
205543
2
1
0
1
0
1
1
0
64062
0
4
2
x1
0
2
3
4
x1
0
3
1
x1
0
1
3
4
0
x1
0
4
1
x1
0
1
4
4
x1
0
3
2
x1
0
2
3
4
x1
0
1
2
x1
0
0
2
1
x1
0
1
2
x1
0
0
2
1
4
4
x1
0
4
1
x1
0
2
1
4
x1
2
3
1
x1
1
3
5
2
x1
2
5
3
2
x1
2
5
2
3
3
x1
0
3
2
1
x1
0
0
3
4
2
1
x1
0
4
2
x1
0
2
4
3
x1
0
5
3
2
x1
0
2
4
5
3
x1
0
4
2
x1
0
2
1
4
x1
0
3
2
2
x1
1
3
4
0
2
2
x1
2
0
3
1
x1
2
0
1
3
5
2
x1
2
3
1
x1
0
2
1
3
5
x1
0
4
1
2
x1
1
4
0
2
5
x1
0
5
3
2
1
x1
0
1
3
4
2
5
x1
0
3
1
x1
0
1
3
4
4
x1
0
5
3
2
x1
0
2
5
3
3
x1
0
3
2
x1
0
2
1
4
3
x1
0
1
0
3
2
x1
0
1
4
3
2
0
x1
0
3
2
x1
0
2
1
3
x1
2
0
1
x1
5
0
2
1
x1
0
3
1
1
x1
0
1
4
1
3
4
x1
2
5
5
4
1
x1
5
5
2
1
3
4
x1
0
5
3
1
x1
0
1
4
3
5
4
x1
0
3
2
x1
2
4
4
3
4
0
x1
0
5
3
1
x1
0
1
5
3
4
0
x1
0
3
2
x1
0
2
1
3
3
4
x1
0
5
5
3
2
x1
0
2
5
1
3
5
x1
2
3
1
x1
1
4
3
5
2
x1
0
2
0
1
x1
5
0
0
2
1
x1
0
3
2
x1
0
2
4
3
3
x1
0
3
2
x1
0
0
2
4
3
x1
0
3
2
x1
0
2
3
4
5
5
x1
0
1
0
3
2
x1
2
3
1
0
0
5
x1
0
3
1
x1
1
3
4
4
4
0
x1
0
0
3
2
1
x1
0
0
1
3
5
2
x1
2
2
0
5
1
x1
2
0
2
1
5
1
x1
2
2
0
3
1
x1
1
3
0
2
5
2
x1
2
5
4
2
x1
0
2
5
2
4
x1
0
3
2
5
1
x1
0
2
5
1
3
3
x1
0
5
1
1
2
x1
0
2
4
1
1
5
x1
2
0
3
1
1
x1
2
1
0
1
3
4
x1
2
0
4
1
x1
2
0
1
4
5
x1
0
4
3
2
x1
2
3
4
4
0
0
x1
0
5
1
2
2
x1
0
2
5
2
1
2
x1
0
1
2
x1
0
2
1
3
x1
0
1
2
x1
0
2
1
3
x1
false
0
1
2
x1
2
1
3
x1
false
0
4
3
2
x1
2
3
4
4
0
0
x1
false
0
3
2
5
1
x1
0
2
5
1
3
3
x1
false
0
3
2
5
1
x1
2
5
1
3
3
x1
false
0
0
3
2
1
x1
0
0
1
3
5
2
x1
false
0
0
3
2
1
x1
0
1
3
5
2
x1
false
0
5
1
2
2
x1
0
2
5
2
1
2
x1
false
0
5
1
2
2
x1
2
5
2
1
2
x1
false
0
5
1
2
2
x1
2
1
2
x1
false
0
5
1
1
2
x1
0
2
4
1
1
5
x1
false
0
5
1
1
2
x1
2
4
1
1
5
x1
false
0
3
2
x1
0
2
3
4
5
5
x1
false
0
3
2
x1
2
3
4
5
5
x1
false
0
3
2
x1
0
0
2
4
3
x1
false
0
3
2
x1
0
2
4
3
x1
false
0
3
2
x1
2
4
3
x1
false
0
3
2
x1
0
2
4
3
3
x1
false
0
3
2
x1
2
4
3
3
x1
false
0
2
0
1
x1
0
0
2
1
x1
false
0
2
0
1
x1
0
2
1
x1
false
0
2
0
1
x1
2
1
x1
false
0
5
5
3
2
x1
0
2
5
1
3
5
x1
false
0
5
5
3
2
x1
2
5
1
3
5
x1
false
0
3
2
x1
0
2
1
3
3
4
x1
false
0
3
2
x1
2
1
3
3
4
x1
false
0
5
3
1
x1
0
1
5
3
4
0
x1
false
0
3
2
x1
2
4
4
3
4
0
x1
false
0
5
3
1
x1
0
1
4
3
5
4
x1
false
0
3
1
1
x1
0
1
4
1
3
4
x1
false
0
3
2
x1
0
2
1
3
x1
false
0
3
2
x1
2
1
3
x1
false
0
1
0
3
2
x1
0
1
4
3
2
0
x1
false
2
0
4
1
x1
2
0
1
4
5
x1
false
2
0
4
1
x1
0
1
4
5
x1
false
2
0
3
1
1
x1
2
1
0
1
3
4
x1
false
2
0
3
1
1
x1
0
1
3
4
x1
false
2
2
0
3
1
x1
2
5
2
x1
false
2
2
0
5
1
x1
2
0
2
1
5
1
x1
false
2
2
0
5
1
x1
0
2
1
5
1
x1
false
2
2
0
5
1
x1
2
1
5
1
x1
false
2
3
1
x1
0
2
1
3
5
x1
false
2
3
1
x1
2
1
3
5
x1
false
2
0
3
1
x1
2
0
1
3
5
2
x1
false
2
0
1
x1
0
2
1
x1
false
2
0
1
x1
2
1
x1
false
2
0
3
1
x1
0
1
3
5
2
x1
false
0
3
2
x1
0
2
1
4
3
x1
false
0
3
2
x1
2
1
4
3
x1
false
0
5
3
2
x1
0
2
5
3
3
x1
false
0
5
3
2
x1
2
5
3
3
x1
false
0
3
1
x1
0
1
3
4
4
x1
false
0
5
3
2
1
x1
0
1
3
4
2
5
x1
false
0
5
3
2
1
x1
2
5
x1
false
0
4
1
2
x1
2
5
x1
false
2
5
4
2
x1
0
2
5
2
4
x1
false
2
5
4
2
x1
2
5
2
4
x1
false
2
5
4
2
x1
2
4
x1
false
2
5
5
4
1
x1
2
1
3
4
x1
false
2
5
3
2
x1
2
5
2
3
3
x1
false
2
5
3
2
x1
2
3
3
x1
false
0
4
2
x1
0
2
1
4
x1
false
0
4
2
x1
2
1
4
x1
false
0
5
3
2
x1
0
2
4
5
3
x1
false
0
5
3
2
x1
2
4
5
3
x1
false
0
4
2
x1
0
2
4
3
x1
false
0
4
2
x1
2
4
3
x1
false
0
3
2
1
x1
0
0
3
4
2
1
x1
false
0
3
2
1
x1
0
3
4
2
1
x1
false
0
4
1
x1
0
2
1
4
x1
false
0
4
1
x1
2
1
4
x1
false
0
1
2
x1
0
0
2
1
4
4
x1
false
0
1
2
x1
0
2
1
4
4
x1
false
0
1
2
x1
2
1
4
4
x1
false
0
1
2
x1
0
0
2
1
x1
false
0
1
2
x1
0
2
1
x1
false
0
1
2
x1
2
1
x1
false
0
3
2
x1
0
2
3
4
x1
false
0
3
2
x1
2
3
4
x1
false
0
4
1
x1
0
1
4
4
x1
false
0
3
1
x1
0
1
3
4
0
x1
false
0
4
2
x1
0
2
3
4
x1
false
0
4
2
x1
2
3
4
x1
false
NaTT
certifiable-1.6