0
S
S
plus
S
x
x
plus
0
x
0
y
0
plus
x
y
plus
0
x
1
y
1
plus
x
y
plus
0
x
j
y
j
plus
x
y
plus
1
x
1
y
j
plus
1
S
plus
x
y
plus
j
x
j
y
1
plus
j
S
plus
x
y
plus
1
x
j
y
0
plus
x
y
opp
S
S
opp
0
x
0
opp
x
opp
1
x
j
opp
x
opp
j
x
1
opp
x
minus
x
y
plus
opp
y
x
times
S
x
S
times
0
x
y
0
times
x
y
times
1
x
y
plus
0
times
x
y
y
times
j
x
y
minus
0
times
x
y
y
plus
times
plus
times
2.2
times
x
times
y
z
times
times
x
y
z
plus
x
y
plus
y
x
times
x
y
times
y
x
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
plus
y
z
plus
x
y
times
x
times
y
z
times
times
x
y
z
plus
x
y
plus
y
x
times
x
times
y
z
times
x
y
times
x
y
times
y
x
plus
1
x
1
y
plus
x
y
opp
j
x
opp
x
plus
0
x
j
y
plus
x
y
plus
j
x
j
y
plus
j
S
plus
x
y
opp
0
x
0
opp
x
plus
1
x
j
y
0
plus
x
y
plus
0
x
0
y
plus
x
y
opp
0
x
opp
x
times
j
x
y
minus
0
times
x
y
y
plus
1
x
j
y
plus
x
y
times
1
x
y
0
times
x
y
plus
j
x
j
y
plus
x
y
opp
1
x
opp
x
plus
0
x
1
y
plus
x
y
plus
0
x
0
y
0
plus
x
y
times
0
x
y
times
x
y
times
1
x
y
plus
0
times
x
y
y
times
0
x
y
0
times
x
y
times
1
x
y
times
x
y
times
j
x
y
times
x
y
minus
x
y
plus
opp
y
x
plus
1
x
1
y
plus
1
S
plus
x
y
times
j
x
y
0
times
x
y
minus
x
y
opp
y
plus
plus
S
x
_1
plus
x
_1
plus
plus
1
x
1
y
_1
plus
j
plus
1
S
plus
x
y
_1
times
times
S
x
_1
times
S
_1
plus
plus
j
x
j
y
_1
plus
1
plus
j
S
plus
x
y
_1
plus
plus
0
x
j
y
_1
plus
j
plus
x
y
_1
times
times
j
x
y
_1
times
minus
0
times
x
y
y
_1
times
times
1
x
y
_1
times
plus
0
times
x
y
y
_1
plus
plus
0
x
0
y
_1
plus
0
plus
x
y
_1
plus
plus
1
x
j
y
_1
plus
0
plus
x
y
_1
times
times
0
x
y
_1
times
0
times
x
y
_1
plus
plus
0
x
1
y
_1
plus
1
plus
x
y
_1
times
x
y
times
y
x
times
x
times
y
z
times
x
y
times
j
x
y
times
x
y
times
1
x
y
times
x
y
times
0
x
y
times
x
y
times
x
times
y
z
times
times
x
y
z
true
0
1
0
1
1
1
0
S
0
0
minus
2
1
0
2
1
0
plus
2
0
opp
1
0
times
2
1
2
0
0
1
1
0
times
2
1
2
7720
j
1
1
0
minus
2
0
opp
1
1
plus
2
1
0
2
0
0
times
x
times
y
z
times
x
y
plus
x
plus
y
z
plus
plus
x
y
z
plus
0
x
1
y
1
plus
x
y
times
0
x
y
0
times
x
y
plus
1
x
j
y
0
plus
x
y
0
S
S
plus
0
x
0
y
0
plus
x
y
times
1
x
y
plus
0
times
x
y
y
times
x
y
times
y
x
plus
x
y
plus
y
x
times
j
x
y
minus
0
times
x
y
y
plus
0
x
j
y
j
plus
x
y
opp
0
x
0
opp
x
plus
j
x
j
y
1
plus
j
S
plus
x
y
times
x
times
y
z
times
times
x
y
z
times
S
x
S
opp
j
x
1
opp
x
opp
1
x
j
opp
x
opp
S
S
minus
x
y
plus
opp
y
x
plus
1
x
1
y
j
plus
1
S
plus
x
y
plus
S
x
x
times
0
x
y
times
x
y
times
1
x
y
times
x
y
times
x
y
times
y
x
times
j
x
y
times
x
y
times
x
times
y
z
times
times
x
y
z
true
Failed!
NaTT
certifiable-1.6