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
2.2
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
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
true
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
x1
0
1
2
1
x1
0
1
2
0
1
2
x1
true
2
1
0
1
0
1
1
0
1
0
0
1
1
1
1
0
1
1
58099
1
0
1
0
0
1
1
1
0
145246
2
1
0
1
0
0
1
1
29047
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
NaTT
certifiable-1.6