p
0
x1
0
s
s
p
x1
p
s
x1
x1
p
p
s
x1
p
x1
f
s
x1
p
s
g
p
s
s
x1
g
s
x1
p
p
s
s
s
j
s
p
s
p
s
x1
j
s
x1
p
s
s
p
s
f
p
s
p
p
s
x1
half
0
x1
0
s
s
half
p
s
p
s
x1
half
s
s
x1
s
half
p
p
s
s
x1
rd
0
x1
0
s
0
0
0
0
s
0
rd
x1
2.2
j
s
x1
p
s
f
p
s
p
p
s
x1
j
s
x1
p
s
x1
g
s
x1
j
s
p
s
p
s
x1
half
0
x1
p
s
p
s
x1
g
s
x1
p
p
s
s
s
j
s
p
s
p
s
x1
f
s
x1
p
s
s
x1
g
s
x1
p
s
s
s
j
s
p
s
p
s
x1
g
s
x1
p
s
p
s
x1
half
s
s
x1
p
s
s
x1
rd
0
x1
rd
x1
half
0
x1
p
s
x1
j
s
x1
p
p
s
x1
f
s
x1
g
p
s
s
x1
p
0
x1
p
x1
half
s
s
x1
p
p
s
s
x1
f
s
x1
p
s
g
p
s
s
x1
p
p
s
x1
p
x1
j
s
x1
f
p
s
p
p
s
x1
j
s
x1
p
s
s
p
s
f
p
s
p
p
s
x1
half
0
x1
half
p
s
p
s
x1
g
s
x1
p
s
x1
j
s
x1
p
s
p
p
s
x1
half
s
s
x1
half
p
p
s
s
x1
true
half
s
s
x1
half
p
p
s
s
x1
half
0
x1
half
p
s
p
s
x1
true
s
1
1
0
rd
1
0
half
1
1
0
p
1
0
rd
1
0
f
1
0
half
1
0
p
1
1
0
0
1
1
1
j
1
0
f
1
0
g
1
0
j
1
0
g
1
0
half
s
s
x1
half
p
p
s
s
x1
p
0
x1
0
s
s
p
x1
p
p
s
x1
p
x1
p
s
x1
x1
half
s
s
x1
half
p
p
s
s
x1
true
f
1
1
j
1
1
s
1
2
rd
1
0
half
1
0
1
p
1
0
rd
1
0
f
1
0
half
1
0
p
1
1
0
1
0
j
1
0
g
1
0
g
1
0
s
1
1
7721
rd
1
1
half
1
1
1
p
1
1
rd
1
1
f
1
1
half
1
1
p
1
1
0
0
1
1
j
1
1
g
1
1
g
1
1
p
0
x1
0
s
s
p
x1
p
p
s
x1
p
x1
p
s
x1
x1
half
0
x1
p
s
p
s
x1
false
half
s
s
x1
p
p
s
s
x1
false
j
s
x1
f
p
s
p
p
s
x1
g
s
x1
j
s
p
s
p
s
x1
f
s
x1
g
p
s
s
x1
true
Failed!
NaTT
certifiable-1.6