R
x1
r
x1
r
p
x1
p
p
r
P
x1
r
r
x1
x1
r
P
P
x1
P
P
r
x1
p
P
x1
x1
P
p
x1
x1
r
R
x1
x1
R
r
x1
x1
2.2
r
p
x1
p
r
P
x1
r
P
P
x1
P
P
r
x1
r
P
P
x1
P
r
x1
R
x1
r
x1
r
p
x1
r
P
x1
r
p
x1
p
p
r
P
x1
r
P
P
x1
r
x1
r
p
x1
P
x1
true
R
x1
r
x1
false
r
P
P
x1
r
x1
r
p
x1
r
P
x1
true
P
1
0
r
1
0
p
1
0
R
1
0
p
1
1
2
R
1
0
r
1
1
0
P
1
1
1
P
p
x1
x1
r
p
x1
p
p
r
P
x1
false
r
p
x1
P
x1
false
r
P
P
x1
P
P
r
x1
false
r
P
P
x1
P
r
x1
false
r
p
x1
p
r
P
x1
false
NaTT
certifiable-1.6