a
L
x
L
a
x
R
a
x
a
R
x
a
L
L
x
a
L
R
x
R
R
a
x
L
a
R
a
x
2.2
R
a
x
R
x
R
R
a
x
a
R
a
x
a
L
x
a
x
a
L
L
x
a
L
R
x
R
a
x
a
R
x
a
L
L
x
R
x
true
a
L
L
x
R
x
R
a
x
a
R
x
a
L
L
x
a
L
R
x
R
R
a
x
a
R
a
x
a
L
x
a
x
R
a
x
R
x
true
a
1
1
0
R
1
1
8368
R
1
1
8367
L
1
1
8367
a
1
1
0
R
a
x
R
x
a
L
L
x
a
L
R
x
R
R
a
x
L
a
R
a
x
a
L
x
L
a
x
a
L
L
x
a
L
R
x
R
a
x
a
R
x
a
L
L
x
a
L
R
x
true
Failed!
NaTT
certifiable-1.6