0
1
2
1
x1
1
2
1
1
0
1
2
0
1
2
x1
0
1
2
1
x1
1
2
1
1
0
1
2
0
1
2
0
1
2
x1
0
1
2
1
x1
1
2
1
1
0
1
2
0
1
2
0
1
2
0
1
2
x1
0
1
2
1
x1
1
2
1
1
0
1
2
0
1
2
0
1
2
0
1
2
0
1
2
x1
0
1
2
1
x1
1
2
1
1
0
1
2
0
1
2
0
1
2
0
1
2
0
1
2
0
1
2
x1
2.2
0
1
2
1
x1
0
1
2
0
1
2
x1
0
1
2
1
x1
0
1
2
0
1
2
0
1
2
0
1
2
x1
0
1
2
1
x1
0
1
2
x1
0
1
2
1
x1
0
1
2
x1
0
1
2
1
x1
0
1
2
0
1
2
0
1
2
x1
0
1
2
1
x1
0
1
2
0
1
2
x1
0
1
2
1
x1
0
1
2
0
1
2
x1
0
1
2
1
x1
0
1
2
x1
0
1
2
1
x1
0
1
2
0
1
2
0
1
2
x1
0
1
2
1
x1
0
1
2
0
1
2
0
1
2
0
1
2
x1
0
1
2
1
x1
0
1
2
0
1
2
0
1
2
0
1
2
0
1
2
x1
0
1
2
1
x1
0
1
2
0
1
2
0
1
2
0
1
2
x1
0
1
2
1
x1
0
1
2
0
1
2
x1
0
1
2
1
x1
0
1
2
0
1
2
0
1
2
0
1
2
0
1
2
x1
0
1
2
1
x1
0
1
2
x1
0
1
2
1
x1
0
1
2
0
1
2
0
1
2
x1
0
1
2
1
x1
0
1
2
0
1
2
x1
0
1
2
1
x1
0
1
2
x1
0
1
2
1
x1
0
1
2
0
1
2
0
1
2
0
1
2
0
1
2
0
1
2
x1
0
1
2
1
x1
0
1
2
0
1
2
0
1
2
x1
true
0
1
2
1
x1
0
1
2
0
1
2
0
1
2
x1
0
1
2
1
x1
0
1
2
0
1
2
0
1
2
0
1
2
0
1
2
0
1
2
x1
0
1
2
1
x1
0
1
2
0
1
2
x1
0
1
2
1
x1
0
1
2
x1
0
1
2
1
x1
0
1
2
0
1
2
x1
0
1
2
1
x1
0
1
2
0
1
2
x1
0
1
2
1
x1
0
1
2
0
1
2
0
1
2
x1
0
1
2
1
x1
0
1
2
x1
0
1
2
1
x1
0
1
2
0
1
2
0
1
2
0
1
2
0
1
2
x1
0
1
2
1
x1
0
1
2
0
1
2
0
1
2
x1
0
1
2
1
x1
0
1
2
x1
0
1
2
1
x1
0
1
2
x1
0
1
2
1
x1
0
1
2
0
1
2
x1
0
1
2
1
x1
0
1
2
0
1
2
0
1
2
0
1
2
x1
0
1
2
1
x1
0
1
2
0
1
2
0
1
2
0
1
2
x1
0
1
2
1
x1
0
1
2
0
1
2
0
1
2
0
1
2
0
1
2
x1
0
1
2
1
x1
0
1
2
0
1
2
0
1
2
0
1
2
x1
0
1
2
1
x1
0
1
2
0
1
2
0
1
2
x1
0
1
2
1
x1
0
1
2
0
1
2
x1
0
1
2
1
x1
0
1
2
x1
true
2
1
0
1
0
1
1
1
1
0
0
1
1
1
151041
1
0
1
0
1
1
1
1
0
176152
2
1
0
1
0
0
1
5096
30207
0
1
2
1
x1
1
2
1
1
0
1
2
0
1
2
0
1
2
0
1
2
0
1
2
x1
0
1
2
1
x1
1
2
1
1
0
1
2
0
1
2
x1
0
1
2
1
x1
1
2
1
1
0
1
2
0
1
2
0
1
2
0
1
2
x1
0
1
2
1
x1
1
2
1
1
0
1
2
0
1
2
0
1
2
0
1
2
0
1
2
0
1
2
x1
0
1
2
1
x1
1
2
1
1
0
1
2
0
1
2
0
1
2
x1
NaTT
certifiable-1.6