R
2
x1
2
R
x1
R
3
x1
3
R
x1
R
1
x1
L
3
x1
3
L
x1
L
3
x1
2
L
x1
L
2
x1
0
L
x1
2
R
x1
R
b
x1
c
1
b
x1
3
c
x1
c
1
x1
2
c
1
x1
c
0
R
1
x1
2
c
0
x1
c
0
0
x1
2.2
R
3
x1
R
x1
2
c
1
x1
R
1
x1
R
1
x1
3
x1
R
2
x1
R
x1
3
L
x1
3
x1
2
c
0
x1
0
0
x1
R
2
x1
2
R
x1
2
c
1
x1
0
R
1
x1
0
L
x1
2
R
x1
R
3
x1
3
R
x1
2
L
x1
2
x1
0
L
x1
R
x1
true
0
L
x1
R
x1
2
L
x1
2
x1
0
L
x1
2
R
x1
R
2
x1
R
x1
2
c
1
x1
0
R
1
x1
R
2
x1
2
R
x1
2
c
0
x1
0
0
x1
R
3
x1
R
x1
true
0
1
1
1
1
1
1
0
b
1
5854
3
1
1
0
2
1
1
1
c
1
1
0
R
1
1
0
0
1
1
30614
3
1
0
R
1
1
0
L
1
1
0
2
1
1
30614
R
3
x1
R
x1
2
c
0
x1
0
0
x1
2
c
1
x1
0
R
1
x1
0
L
x1
2
R
x1
2
L
x1
2
x1
3
L
x1
L
3
x1
3
c
x1
c
1
x1
R
2
x1
2
R
x1
R
1
x1
L
3
x1
2
L
x1
L
2
x1
2
c
0
x1
c
0
0
x1
R
b
x1
c
1
b
x1
2
c
1
x1
c
0
R
1
x1
0
L
x1
2
R
x1
R
3
x1
3
R
x1
2
L
x1
2
x1
2
c
0
x1
0
0
x1
2
c
1
x1
0
R
1
x1
0
L
x1
2
R
x1
true
Failed!
NaTT
certifiable-1.6