1
2
1
x1
2
0
2
x1
0
2
1
x1
1
0
2
x1
L
2
1
x1
L
1
0
2
x1
1
2
0
x1
2
0
1
x1
1
2
R
x1
2
0
1
R
x1
0
2
0
x1
1
0
1
x1
L
2
0
x1
L
1
0
1
x1
0
2
R
x1
1
0
1
R
x1
2.2
0
2
1
x1
0
2
x1
L
2
0
x1
L
1
0
1
x1
L
2
1
x1
1
0
2
x1
L
2
0
x1
1
x1
1
2
R
x1
1
R
x1
L
2
1
x1
L
1
0
2
x1
L
2
1
x1
0
2
x1
1
2
0
x1
1
x1
L
2
0
x1
1
0
1
x1
1
2
R
x1
0
1
R
x1
0
2
0
x1
1
x1
0
2
R
x1
0
1
R
x1
1
2
0
x1
0
1
x1
0
2
R
x1
1
0
1
R
x1
0
2
0
x1
1
0
1
x1
0
2
1
x1
1
0
2
x1
L
2
0
x1
0
1
x1
1
2
1
x1
0
2
x1
0
2
0
x1
0
1
x1
0
2
R
x1
1
R
x1
true
L
2
1
x1
L
1
0
2
x1
L
2
0
x1
L
1
0
1
x1
true
0
1
0
1
1
1
0
L
1
1
0
0
1
11798
R
1
1
L
1
0
2
1
11799
1
1
0
1
2
0
x1
2
0
1
x1
0
2
R
x1
1
0
1
R
x1
1
2
1
x1
2
0
2
x1
1
2
R
x1
2
0
1
R
x1
0
2
0
x1
1
0
1
x1
0
2
1
x1
1
0
2
x1
L
2
0
x1
0
1
x1
false
L
2
0
x1
1
x1
false
L
2
1
x1
1
0
2
x1
false
L
2
1
x1
0
2
x1
false
L
2
0
x1
1
0
1
x1
false
0
2
0
x1
0
1
x1
1
2
1
x1
0
2
x1
0
2
1
x1
1
0
2
x1
0
2
0
x1
1
0
1
x1
1
2
0
x1
0
1
x1
0
2
0
x1
1
x1
0
2
1
x1
0
2
x1
1
2
0
x1
1
x1
true
0
1
1
0
1
1
1
1
L
1
1
0
0
1
1
0
R
1
35657
L
1
0
2
1
1
2
1
1
1
0
1
2
0
x1
2
0
1
x1
0
2
R
x1
1
0
1
R
x1
1
2
1
x1
2
0
2
x1
1
2
R
x1
2
0
1
R
x1
0
2
0
x1
1
0
1
x1
0
2
1
x1
1
0
2
x1
1
2
R
x1
0
1
R
x1
false
1
2
R
x1
1
R
x1
false
0
2
R
x1
1
0
1
R
x1
false
0
2
R
x1
0
1
R
x1
false
0
2
R
x1
1
R
x1
false
NaTT
certifiable-1.6