active
from
X
mark
cons
X
from
s
X
active
2ndspos
0
Z
mark
rnil
active
2ndspos
s
N
cons
X
Z
mark
2ndspos
s
N
cons2
X
Z
active
2ndspos
s
N
cons2
X
cons
Y
Z
mark
rcons
posrecip
Y
2ndsneg
N
Z
active
2ndsneg
0
Z
mark
rnil
active
2ndsneg
s
N
cons
X
Z
mark
2ndsneg
s
N
cons2
X
Z
active
2ndsneg
s
N
cons2
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
active
pi
X
mark
2ndspos
X
from
0
active
plus
0
Y
mark
Y
active
plus
s
X
Y
mark
s
plus
X
Y
active
times
0
Y
mark
0
active
times
s
X
Y
mark
plus
Y
times
X
Y
active
square
X
mark
times
X
X
mark
from
X
active
from
mark
X
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
s
X
active
s
mark
X
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
mark
0
active
0
mark
rnil
active
rnil
mark
cons2
X1
X2
active
cons2
X1
mark
X2
mark
rcons
X1
X2
active
rcons
mark
X1
mark
X2
mark
posrecip
X
active
posrecip
mark
X
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
mark
negrecip
X
active
negrecip
mark
X
mark
pi
X
active
pi
mark
X
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
times
X1
X2
active
times
mark
X1
mark
X2
mark
square
X
active
square
mark
X
from
mark
X
from
X
from
active
X
from
X
cons
mark
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
s
mark
X
s
X
s
active
X
s
X
2ndspos
mark
X1
X2
2ndspos
X1
X2
2ndspos
X1
mark
X2
2ndspos
X1
X2
2ndspos
active
X1
X2
2ndspos
X1
X2
2ndspos
X1
active
X2
2ndspos
X1
X2
cons2
mark
X1
X2
cons2
X1
X2
cons2
X1
mark
X2
cons2
X1
X2
cons2
active
X1
X2
cons2
X1
X2
cons2
X1
active
X2
cons2
X1
X2
rcons
mark
X1
X2
rcons
X1
X2
rcons
X1
mark
X2
rcons
X1
X2
rcons
active
X1
X2
rcons
X1
X2
rcons
X1
active
X2
rcons
X1
X2
posrecip
mark
X
posrecip
X
posrecip
active
X
posrecip
X
2ndsneg
mark
X1
X2
2ndsneg
X1
X2
2ndsneg
X1
mark
X2
2ndsneg
X1
X2
2ndsneg
active
X1
X2
2ndsneg
X1
X2
2ndsneg
X1
active
X2
2ndsneg
X1
X2
negrecip
mark
X
negrecip
X
negrecip
active
X
negrecip
X
pi
mark
X
pi
X
pi
active
X
pi
X
plus
mark
X1
X2
plus
X1
X2
plus
X1
mark
X2
plus
X1
X2
plus
active
X1
X2
plus
X1
X2
plus
X1
active
X2
plus
X1
X2
times
mark
X1
X2
times
X1
X2
times
X1
mark
X2
times
X1
X2
times
active
X1
X2
times
X1
X2
times
X1
active
X2
times
X1
X2
square
mark
X
square
X
square
active
X
square
X
2.2
cons2
active
X1
X2
cons2
X1
X2
times
mark
X1
X2
times
X1
X2
mark
from
X
from
mark
X
mark
negrecip
X
active
negrecip
mark
X
mark
2ndsneg
X1
X2
mark
X2
mark
2ndspos
X1
X2
mark
X2
cons2
X1
active
X2
cons2
X1
X2
from
active
X
from
X
mark
from
X
active
from
mark
X
active
2ndspos
s
N
cons2
X
cons
Y
Z
rcons
posrecip
Y
2ndsneg
N
Z
mark
rcons
X1
X2
mark
X1
negrecip
active
X
negrecip
X
active
times
s
X
Y
mark
plus
Y
times
X
Y
active
2ndspos
s
N
cons2
X
cons
Y
Z
mark
rcons
posrecip
Y
2ndsneg
N
Z
mark
s
X
mark
X
mark
s
X
active
s
mark
X
square
active
X
square
X
mark
posrecip
X
mark
X
2ndsneg
X1
mark
X2
2ndsneg
X1
X2
mark
cons2
X1
X2
cons2
X1
mark
X2
mark
posrecip
X
active
posrecip
mark
X
posrecip
mark
X
posrecip
X
mark
times
X1
X2
active
times
mark
X1
mark
X2
mark
cons
X1
X2
cons
mark
X1
X2
cons
X1
active
X2
cons
X1
X2
active
2ndsneg
s
N
cons2
X
cons
Y
Z
2ndspos
N
Z
mark
cons
X1
X2
mark
X1
active
plus
s
X
Y
s
plus
X
Y
active
times
s
X
Y
plus
Y
times
X
Y
active
2ndspos
s
N
cons2
X
cons
Y
Z
posrecip
Y
rcons
X1
mark
X2
rcons
X1
X2
2ndspos
active
X1
X2
2ndspos
X1
X2
active
pi
X
from
0
active
2ndsneg
s
N
cons2
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
times
active
X1
X2
times
X1
X2
cons
mark
X1
X2
cons
X1
X2
mark
plus
X1
X2
mark
X2
2ndsneg
X1
active
X2
2ndsneg
X1
X2
mark
pi
X
mark
X
pi
active
X
pi
X
2ndspos
mark
X1
X2
2ndspos
X1
X2
2ndsneg
active
X1
X2
2ndsneg
X1
X2
mark
s
X
s
mark
X
active
2ndsneg
s
N
cons2
X
cons
Y
Z
negrecip
Y
mark
times
X1
X2
times
mark
X1
mark
X2
active
pi
X
2ndspos
X
from
0
mark
rcons
X1
X2
rcons
mark
X1
mark
X2
active
square
X
mark
times
X
X
mark
square
X
mark
X
2ndsneg
mark
X1
X2
2ndsneg
X1
X2
mark
2ndspos
X1
X2
2ndspos
mark
X1
mark
X2
posrecip
active
X
posrecip
X
mark
times
X1
X2
mark
X2
plus
X1
active
X2
plus
X1
X2
mark
rcons
X1
X2
mark
X2
mark
square
X
square
mark
X
active
2ndspos
s
N
cons
X
Z
2ndspos
s
N
cons2
X
Z
rcons
X1
active
X2
rcons
X1
X2
mark
negrecip
X
mark
X
plus
X1
mark
X2
plus
X1
X2
active
2ndsneg
s
N
cons2
X
cons
Y
Z
rcons
negrecip
Y
2ndspos
N
Z
mark
plus
X1
X2
mark
X1
mark
2ndspos
X1
X2
mark
X1
mark
cons
X1
X2
active
cons
mark
X1
X2
plus
active
X1
X2
plus
X1
X2
active
from
X
s
X
active
plus
s
X
Y
plus
X
Y
mark
negrecip
X
negrecip
mark
X
mark
cons2
X1
X2
active
cons2
X1
mark
X2
mark
pi
X
active
pi
mark
X
active
square
X
times
X
X
active
pi
X
mark
2ndspos
X
from
0
negrecip
mark
X
negrecip
X
mark
plus
X1
X2
plus
mark
X1
mark
X2
cons2
X1
mark
X2
cons2
X1
X2
active
times
s
X
Y
times
X
Y
rcons
active
X1
X2
rcons
X1
X2
s
active
X
s
X
mark
0
active
0
mark
rcons
X1
X2
active
rcons
mark
X1
mark
X2
cons
active
X1
X2
cons
X1
X2
mark
2ndsneg
X1
X2
2ndsneg
mark
X1
mark
X2
mark
posrecip
X
posrecip
mark
X
times
X1
active
X2
times
X1
X2
mark
from
X
mark
X
active
2ndsneg
0
Z
mark
rnil
pi
mark
X
pi
X
2ndspos
X1
active
X2
2ndspos
X1
X2
mark
2ndsneg
X1
X2
mark
X1
cons
X1
mark
X2
cons
X1
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
times
0
Y
mark
0
active
plus
s
X
Y
mark
s
plus
X
Y
active
2ndspos
s
N
cons2
X
cons
Y
Z
2ndsneg
N
Z
active
2ndsneg
s
N
cons
X
Z
2ndsneg
s
N
cons2
X
Z
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
plus
mark
X1
X2
plus
X1
X2
times
X1
mark
X2
times
X1
X2
active
from
X
from
s
X
active
plus
0
Y
mark
Y
active
2ndspos
s
N
cons
X
Z
mark
2ndspos
s
N
cons2
X
Z
mark
rnil
active
rnil
mark
square
X
active
square
mark
X
rcons
mark
X1
X2
rcons
X1
X2
square
mark
X
square
X
active
2ndsneg
s
N
cons
X
Z
mark
2ndsneg
s
N
cons2
X
Z
from
mark
X
from
X
mark
times
X1
X2
mark
X1
active
2ndspos
0
Z
mark
rnil
mark
cons2
X1
X2
mark
X2
cons2
mark
X1
X2
cons2
X1
X2
2ndspos
X1
mark
X2
2ndspos
X1
X2
active
2ndspos
s
N
cons
X
Z
cons2
X
Z
active
from
X
mark
cons
X
from
s
X
s
mark
X
s
X
active
from
X
cons
X
from
s
X
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
mark
pi
X
pi
mark
X
active
2ndsneg
s
N
cons
X
Z
cons2
X
Z
true
active
pi
X
mark
2ndspos
X
from
0
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
mark
cons2
X1
X2
active
cons2
X1
mark
X2
mark
pi
X
active
pi
mark
X
active
from
X
mark
cons
X
from
s
X
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
2ndspos
X1
X2
mark
X1
mark
plus
X1
X2
mark
X1
mark
negrecip
X
mark
X
mark
rcons
X1
X2
mark
X2
mark
cons2
X1
X2
mark
X2
mark
times
X1
X2
mark
X2
mark
times
X1
X2
mark
X1
mark
square
X
mark
X
active
square
X
mark
times
X
X
active
2ndsneg
s
N
cons
X
Z
mark
2ndsneg
s
N
cons2
X
Z
mark
square
X
active
square
mark
X
active
2ndspos
s
N
cons
X
Z
mark
2ndspos
s
N
cons2
X
Z
active
plus
0
Y
mark
Y
mark
pi
X
mark
X
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
mark
plus
X1
X2
mark
X2
active
2ndsneg
s
N
cons2
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
active
plus
s
X
Y
mark
s
plus
X
Y
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
cons
X1
X2
mark
X1
mark
2ndsneg
X1
X2
mark
X1
mark
times
X1
X2
active
times
mark
X1
mark
X2
mark
posrecip
X
active
posrecip
mark
X
mark
posrecip
X
mark
X
mark
from
X
mark
X
mark
s
X
active
s
mark
X
active
2ndspos
s
N
cons2
X
cons
Y
Z
mark
rcons
posrecip
Y
2ndsneg
N
Z
mark
s
X
mark
X
active
times
s
X
Y
mark
plus
Y
times
X
Y
mark
rcons
X1
X2
active
rcons
mark
X1
mark
X2
mark
rcons
X1
X2
mark
X1
mark
from
X
active
from
mark
X
mark
2ndspos
X1
X2
mark
X2
mark
2ndsneg
X1
X2
mark
X2
mark
negrecip
X
active
negrecip
mark
X
true
negrecip
1
1
cons
2
0
s
1
1
negrecip
1
0
2ndspos
2
2
rnil
0
1
plus
2
0
square
1
2
cons2
2
0
square
1
0
pi
1
2
rcons
2
0
rcons
2
1
times
2
0
mark
1
2
0
0
1
posrecip
1
0
from
1
2
times
2
2
s
1
0
mark
1
1
2ndsneg
2
2
plus
2
2
2ndspos
2
0
cons2
2
1
from
1
0
active
1
1
1
cons
2
1
active
1
1
0
pi
1
0
2ndsneg
2
0
posrecip
1
1
mark
2ndsneg
X1
X2
mark
X2
mark
2ndspos
X1
X2
mark
X2
mark
from
X
active
from
mark
X
mark
rcons
X1
X2
mark
X1
active
times
s
X
Y
mark
plus
Y
times
X
Y
mark
s
X
mark
X
active
2ndspos
s
N
cons2
X
cons
Y
Z
mark
rcons
posrecip
Y
2ndsneg
N
Z
mark
from
X
mark
X
mark
posrecip
X
mark
X
mark
times
X1
X2
active
times
mark
X1
mark
X2
mark
2ndsneg
X1
X2
mark
X1
mark
cons
X1
X2
mark
X1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
plus
s
X
Y
mark
s
plus
X
Y
active
2ndsneg
s
N
cons2
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
mark
plus
X1
X2
mark
X2
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
mark
pi
X
mark
X
active
plus
0
Y
mark
Y
active
2ndspos
s
N
cons
X
Z
mark
2ndspos
s
N
cons2
X
Z
mark
square
X
active
square
mark
X
active
2ndsneg
s
N
cons
X
Z
mark
2ndsneg
s
N
cons2
X
Z
active
square
X
mark
times
X
X
mark
square
X
mark
X
mark
times
X1
X2
mark
X1
mark
times
X1
X2
mark
X2
mark
cons2
X1
X2
mark
X2
mark
rcons
X1
X2
mark
X2
mark
negrecip
X
mark
X
mark
plus
X1
X2
mark
X1
mark
2ndspos
X1
X2
mark
X1
active
from
X
mark
cons
X
from
s
X
mark
pi
X
active
pi
mark
X
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
active
pi
X
mark
2ndspos
X
from
0
posrecip
active
X
posrecip
X
2ndsneg
X1
active
X2
2ndsneg
X1
X2
s
active
X
s
X
square
active
X
square
X
times
mark
X1
X2
times
X1
X2
cons
X1
mark
X2
cons
X1
X2
plus
X1
mark
X2
plus
X1
X2
cons
X1
active
X2
cons
X1
X2
times
active
X1
X2
times
X1
X2
cons2
X1
active
X2
cons2
X1
X2
cons
active
X1
X2
cons
X1
X2
times
X1
mark
X2
times
X1
X2
2ndspos
active
X1
X2
2ndspos
X1
X2
posrecip
mark
X
posrecip
X
2ndsneg
X1
mark
X2
2ndsneg
X1
X2
from
active
X
from
X
plus
X1
active
X2
plus
X1
X2
negrecip
active
X
negrecip
X
cons
mark
X1
X2
cons
X1
X2
rcons
mark
X1
X2
rcons
X1
X2
pi
mark
X
pi
X
2ndsneg
mark
X1
X2
2ndsneg
X1
X2
2ndspos
X1
active
X2
2ndspos
X1
X2
square
mark
X
square
X
negrecip
mark
X
negrecip
X
plus
mark
X1
X2
plus
X1
X2
2ndspos
X1
mark
X2
2ndspos
X1
X2
plus
active
X1
X2
plus
X1
X2
pi
active
X
pi
X
rcons
X1
active
X2
rcons
X1
X2
2ndsneg
active
X1
X2
2ndsneg
X1
X2
rcons
active
X1
X2
rcons
X1
X2
2ndspos
mark
X1
X2
2ndspos
X1
X2
cons2
mark
X1
X2
cons2
X1
X2
cons2
X1
mark
X2
cons2
X1
X2
rcons
X1
mark
X2
rcons
X1
X2
times
X1
active
X2
times
X1
X2
s
mark
X
s
X
from
mark
X
from
X
cons2
active
X1
X2
cons2
X1
X2
active
2ndspos
s
N
cons2
X
cons
Y
Z
mark
rcons
posrecip
Y
2ndsneg
N
Z
mark
cons
X1
X2
mark
X1
active
pi
X
mark
2ndspos
X
from
0
active
from
X
mark
cons
X
from
s
X
active
2ndspos
s
N
cons
X
Z
mark
2ndspos
s
N
cons2
X
Z
mark
s
X
mark
X
mark
rcons
X1
X2
mark
X2
mark
rcons
X1
X2
mark
X1
mark
plus
X1
X2
mark
X2
mark
plus
X1
X2
mark
X1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
2ndspos
X1
X2
mark
X2
mark
2ndspos
X1
X2
mark
X1
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
mark
times
X1
X2
mark
X2
mark
times
X1
X2
mark
X1
mark
times
X1
X2
active
times
mark
X1
mark
X2
mark
posrecip
X
mark
X
mark
square
X
mark
X
mark
square
X
active
square
mark
X
active
plus
s
X
Y
mark
s
plus
X
Y
active
2ndsneg
s
N
cons2
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
mark
cons2
X1
X2
mark
X2
mark
pi
X
mark
X
mark
pi
X
active
pi
mark
X
mark
from
X
mark
X
mark
from
X
active
from
mark
X
active
times
s
X
Y
mark
plus
Y
times
X
Y
mark
2ndsneg
X1
X2
mark
X2
mark
2ndsneg
X1
X2
mark
X1
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
mark
negrecip
X
mark
X
active
plus
0
Y
mark
Y
active
square
X
mark
times
X
X
active
2ndsneg
s
N
cons
X
Z
mark
2ndsneg
s
N
cons2
X
Z
true
negrecip
1
1
1
cons
2
0
s
1
1
0
negrecip
1
0
2ndspos
2
1
3
2
1
0
rnil
0
2
plus
2
0
square
1
1
4
cons2
2
0
square
1
0
pi
1
1
36421
rcons
2
0
rcons
2
1
3
2
0
0
times
2
0
mark
1
1
0
0
0
29537
posrecip
1
0
from
1
1
6882
times
2
1
1
2
3
0
s
1
0
mark
1
1
0
2ndsneg
2
1
3
2
1
0
plus
2
1
2
2
0
0
2ndspos
2
0
cons2
2
1
1
2
0
0
from
1
0
active
1
1
0
cons
2
1
3
2
0
0
active
1
1
0
pi
1
0
2ndsneg
2
0
posrecip
1
1
1
active
2ndsneg
s
N
cons
X
Z
mark
2ndsneg
s
N
cons2
X
Z
active
plus
0
Y
mark
Y
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
active
times
s
X
Y
mark
plus
Y
times
X
Y
mark
from
X
active
from
mark
X
mark
pi
X
active
pi
mark
X
mark
cons2
X1
X2
mark
X2
active
2ndsneg
s
N
cons2
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
active
plus
s
X
Y
mark
s
plus
X
Y
mark
square
X
active
square
mark
X
mark
times
X1
X2
active
times
mark
X1
mark
X2
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
plus
X1
X2
mark
X2
mark
rcons
X1
X2
mark
X2
mark
s
X
mark
X
active
2ndspos
s
N
cons
X
Z
mark
2ndspos
s
N
cons2
X
Z
active
from
X
mark
cons
X
from
s
X
active
2ndspos
s
N
cons2
X
cons
Y
Z
mark
rcons
posrecip
Y
2ndsneg
N
Z
mark
0
active
0
posrecip
active
X
posrecip
X
active
2ndspos
s
N
cons2
X
cons
Y
Z
mark
rcons
posrecip
Y
2ndsneg
N
Z
mark
cons
X1
X2
active
cons
mark
X1
X2
active
pi
X
mark
2ndspos
X
from
0
2ndsneg
X1
active
X2
2ndsneg
X1
X2
active
from
X
mark
cons
X
from
s
X
active
2ndspos
s
N
cons
X
Z
mark
2ndspos
s
N
cons2
X
Z
mark
s
X
active
s
mark
X
mark
rcons
X1
X2
active
rcons
mark
X1
mark
X2
s
active
X
s
X
square
active
X
square
X
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
times
mark
X1
X2
times
X1
X2
mark
rnil
active
rnil
cons
X1
mark
X2
cons
X1
X2
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
plus
X1
mark
X2
plus
X1
X2
mark
times
X1
X2
active
times
mark
X1
mark
X2
cons
X1
active
X2
cons
X1
X2
mark
posrecip
X
active
posrecip
mark
X
mark
square
X
active
square
mark
X
times
active
X1
X2
times
X1
X2
cons2
X1
active
X2
cons2
X1
X2
active
2ndsneg
0
Z
mark
rnil
cons
active
X1
X2
cons
X1
X2
times
X1
mark
X2
times
X1
X2
active
plus
s
X
Y
mark
s
plus
X
Y
2ndspos
active
X1
X2
2ndspos
X1
X2
active
2ndsneg
s
N
cons2
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
mark
cons2
X1
X2
active
cons2
X1
mark
X2
mark
pi
X
active
pi
mark
X
posrecip
mark
X
posrecip
X
2ndsneg
X1
mark
X2
2ndsneg
X1
X2
from
active
X
from
X
plus
X1
active
X2
plus
X1
X2
mark
from
X
active
from
mark
X
negrecip
active
X
negrecip
X
cons
mark
X1
X2
cons
X1
X2
active
times
s
X
Y
mark
plus
Y
times
X
Y
rcons
mark
X1
X2
rcons
X1
X2
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
mark
negrecip
X
active
negrecip
mark
X
pi
mark
X
pi
X
active
times
0
Y
mark
0
active
plus
0
Y
mark
Y
active
square
X
mark
times
X
X
2ndsneg
mark
X1
X2
2ndsneg
X1
X2
2ndspos
X1
active
X2
2ndspos
X1
X2
square
mark
X
square
X
negrecip
mark
X
negrecip
X
plus
mark
X1
X2
plus
X1
X2
active
2ndsneg
s
N
cons
X
Z
mark
2ndsneg
s
N
cons2
X
Z
2ndspos
X1
mark
X2
2ndspos
X1
X2
plus
active
X1
X2
plus
X1
X2
pi
active
X
pi
X
rcons
X1
active
X2
rcons
X1
X2
2ndsneg
active
X1
X2
2ndsneg
X1
X2
rcons
active
X1
X2
rcons
X1
X2
2ndspos
mark
X1
X2
2ndspos
X1
X2
cons2
mark
X1
X2
cons2
X1
X2
cons2
X1
mark
X2
cons2
X1
X2
rcons
X1
mark
X2
rcons
X1
X2
times
X1
active
X2
times
X1
X2
s
mark
X
s
X
from
mark
X
from
X
cons2
active
X1
X2
cons2
X1
X2
active
2ndspos
0
Z
mark
rnil
active
2ndspos
s
N
cons2
X
cons
Y
Z
mark
rcons
posrecip
Y
2ndsneg
N
Z
active
from
X
mark
cons
X
from
s
X
active
2ndspos
s
N
cons
X
Z
mark
2ndspos
s
N
cons2
X
Z
mark
s
X
mark
X
mark
rcons
X1
X2
mark
X2
mark
plus
X1
X2
mark
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
mark
times
X1
X2
active
times
mark
X1
mark
X2
mark
square
X
active
square
mark
X
active
plus
s
X
Y
mark
s
plus
X
Y
active
2ndsneg
s
N
cons2
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
mark
cons2
X1
X2
mark
X2
mark
pi
X
active
pi
mark
X
mark
from
X
active
from
mark
X
active
times
s
X
Y
mark
plus
Y
times
X
Y
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
active
plus
0
Y
mark
Y
active
2ndsneg
s
N
cons
X
Z
mark
2ndsneg
s
N
cons2
X
Z
true
negrecip
1
1
cons
2
0
s
1
1
negrecip
1
0
2ndspos
2
26532
rnil
0
1
plus
2
0
square
1
26531
cons2
2
0
square
1
0
pi
1
26531
rcons
2
0
rcons
2
1
times
2
0
mark
1
26532
0
0
0
posrecip
1
0
from
1
26532
times
2
26532
s
1
0
mark
1
1
2ndsneg
2
26532
plus
2
26532
2ndspos
2
0
cons2
2
1
from
1
0
active
1
1
cons
2
1
active
1
1
0
pi
1
0
2ndsneg
2
0
posrecip
1
1
active
2ndsneg
s
N
cons
X
Z
mark
2ndsneg
s
N
cons2
X
Z
active
plus
0
Y
mark
Y
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
active
times
s
X
Y
mark
plus
Y
times
X
Y
mark
from
X
active
from
mark
X
mark
cons2
X1
X2
mark
X2
active
2ndsneg
s
N
cons2
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
active
plus
s
X
Y
mark
s
plus
X
Y
mark
times
X1
X2
active
times
mark
X1
mark
X2
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
plus
X1
X2
mark
X2
mark
rcons
X1
X2
mark
X2
mark
s
X
mark
X
active
2ndspos
s
N
cons
X
Z
mark
2ndspos
s
N
cons2
X
Z
active
from
X
mark
cons
X
from
s
X
active
2ndspos
s
N
cons2
X
cons
Y
Z
mark
rcons
posrecip
Y
2ndsneg
N
Z
mark
0
active
0
posrecip
active
X
posrecip
X
active
2ndspos
s
N
cons2
X
cons
Y
Z
mark
rcons
posrecip
Y
2ndsneg
N
Z
mark
cons
X1
X2
active
cons
mark
X1
X2
active
pi
X
mark
2ndspos
X
from
0
2ndsneg
X1
active
X2
2ndsneg
X1
X2
active
from
X
mark
cons
X
from
s
X
active
2ndspos
s
N
cons
X
Z
mark
2ndspos
s
N
cons2
X
Z
mark
s
X
active
s
mark
X
mark
rcons
X1
X2
active
rcons
mark
X1
mark
X2
s
active
X
s
X
square
active
X
square
X
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
times
mark
X1
X2
times
X1
X2
mark
rnil
active
rnil
cons
X1
mark
X2
cons
X1
X2
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
plus
X1
mark
X2
plus
X1
X2
mark
times
X1
X2
active
times
mark
X1
mark
X2
cons
X1
active
X2
cons
X1
X2
mark
posrecip
X
active
posrecip
mark
X
mark
square
X
active
square
mark
X
times
active
X1
X2
times
X1
X2
cons2
X1
active
X2
cons2
X1
X2
active
2ndsneg
0
Z
mark
rnil
cons
active
X1
X2
cons
X1
X2
times
X1
mark
X2
times
X1
X2
active
plus
s
X
Y
mark
s
plus
X
Y
2ndspos
active
X1
X2
2ndspos
X1
X2
active
2ndsneg
s
N
cons2
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
mark
cons2
X1
X2
active
cons2
X1
mark
X2
mark
pi
X
active
pi
mark
X
posrecip
mark
X
posrecip
X
2ndsneg
X1
mark
X2
2ndsneg
X1
X2
from
active
X
from
X
plus
X1
active
X2
plus
X1
X2
mark
from
X
active
from
mark
X
negrecip
active
X
negrecip
X
cons
mark
X1
X2
cons
X1
X2
active
times
s
X
Y
mark
plus
Y
times
X
Y
rcons
mark
X1
X2
rcons
X1
X2
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
mark
negrecip
X
active
negrecip
mark
X
pi
mark
X
pi
X
active
times
0
Y
mark
0
active
plus
0
Y
mark
Y
active
square
X
mark
times
X
X
2ndsneg
mark
X1
X2
2ndsneg
X1
X2
2ndspos
X1
active
X2
2ndspos
X1
X2
square
mark
X
square
X
negrecip
mark
X
negrecip
X
plus
mark
X1
X2
plus
X1
X2
active
2ndsneg
s
N
cons
X
Z
mark
2ndsneg
s
N
cons2
X
Z
2ndspos
X1
mark
X2
2ndspos
X1
X2
plus
active
X1
X2
plus
X1
X2
pi
active
X
pi
X
rcons
X1
active
X2
rcons
X1
X2
2ndsneg
active
X1
X2
2ndsneg
X1
X2
rcons
active
X1
X2
rcons
X1
X2
2ndspos
mark
X1
X2
2ndspos
X1
X2
cons2
mark
X1
X2
cons2
X1
X2
cons2
X1
mark
X2
cons2
X1
X2
rcons
X1
mark
X2
rcons
X1
X2
times
X1
active
X2
times
X1
X2
s
mark
X
s
X
from
mark
X
from
X
cons2
active
X1
X2
cons2
X1
X2
active
2ndspos
0
Z
mark
rnil
active
2ndspos
s
N
cons2
X
cons
Y
Z
mark
rcons
posrecip
Y
2ndsneg
N
Z
active
from
X
mark
cons
X
from
s
X
active
2ndspos
s
N
cons
X
Z
mark
2ndspos
s
N
cons2
X
Z
mark
s
X
mark
X
mark
rcons
X1
X2
mark
X2
mark
plus
X1
X2
mark
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
mark
times
X1
X2
active
times
mark
X1
mark
X2
active
plus
s
X
Y
mark
s
plus
X
Y
active
2ndsneg
s
N
cons2
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
mark
cons2
X1
X2
mark
X2
mark
from
X
active
from
mark
X
active
times
s
X
Y
mark
plus
Y
times
X
Y
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
active
plus
0
Y
mark
Y
active
2ndsneg
s
N
cons
X
Z
mark
2ndsneg
s
N
cons2
X
Z
true
negrecip
1
1
cons
2
0
s
1
1
0
negrecip
1
0
2ndspos
2
1
rnil
0
0
plus
2
0
square
1
1
37749
cons2
2
0
square
1
0
pi
1
1
rcons
2
0
rcons
2
2
0
times
2
0
mark
1
1
26532
0
0
0
posrecip
1
0
from
1
2
times
2
8855
s
1
0
mark
1
1
0
2ndsneg
2
1
plus
2
2
0
2ndspos
2
0
cons2
2
2
1
from
1
0
active
1
1
0
cons
2
1
active
1
1
26532
pi
1
0
2ndsneg
2
0
posrecip
1
18841
active
2ndsneg
s
N
cons
X
Z
mark
2ndsneg
s
N
cons2
X
Z
active
plus
0
Y
mark
Y
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
active
times
s
X
Y
mark
plus
Y
times
X
Y
mark
from
X
active
from
mark
X
active
2ndsneg
s
N
cons2
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
active
plus
s
X
Y
mark
s
plus
X
Y
mark
times
X1
X2
active
times
mark
X1
mark
X2
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
plus
X1
X2
mark
X2
mark
rcons
X1
X2
mark
X2
mark
s
X
mark
X
active
2ndspos
s
N
cons
X
Z
mark
2ndspos
s
N
cons2
X
Z
active
2ndspos
s
N
cons2
X
cons
Y
Z
mark
rcons
posrecip
Y
2ndsneg
N
Z
mark
0
active
0
posrecip
active
X
posrecip
X
active
2ndspos
s
N
cons2
X
cons
Y
Z
mark
rcons
posrecip
Y
2ndsneg
N
Z
mark
cons
X1
X2
active
cons
mark
X1
X2
active
pi
X
mark
2ndspos
X
from
0
2ndsneg
X1
active
X2
2ndsneg
X1
X2
active
from
X
mark
cons
X
from
s
X
active
2ndspos
s
N
cons
X
Z
mark
2ndspos
s
N
cons2
X
Z
mark
s
X
active
s
mark
X
mark
rcons
X1
X2
active
rcons
mark
X1
mark
X2
s
active
X
s
X
square
active
X
square
X
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
times
mark
X1
X2
times
X1
X2
mark
rnil
active
rnil
cons
X1
mark
X2
cons
X1
X2
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
plus
X1
mark
X2
plus
X1
X2
mark
times
X1
X2
active
times
mark
X1
mark
X2
cons
X1
active
X2
cons
X1
X2
mark
posrecip
X
active
posrecip
mark
X
mark
square
X
active
square
mark
X
times
active
X1
X2
times
X1
X2
cons2
X1
active
X2
cons2
X1
X2
active
2ndsneg
0
Z
mark
rnil
cons
active
X1
X2
cons
X1
X2
times
X1
mark
X2
times
X1
X2
active
plus
s
X
Y
mark
s
plus
X
Y
2ndspos
active
X1
X2
2ndspos
X1
X2
active
2ndsneg
s
N
cons2
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
mark
cons2
X1
X2
active
cons2
X1
mark
X2
mark
pi
X
active
pi
mark
X
posrecip
mark
X
posrecip
X
2ndsneg
X1
mark
X2
2ndsneg
X1
X2
from
active
X
from
X
plus
X1
active
X2
plus
X1
X2
mark
from
X
active
from
mark
X
negrecip
active
X
negrecip
X
cons
mark
X1
X2
cons
X1
X2
active
times
s
X
Y
mark
plus
Y
times
X
Y
rcons
mark
X1
X2
rcons
X1
X2
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
mark
negrecip
X
active
negrecip
mark
X
pi
mark
X
pi
X
active
times
0
Y
mark
0
active
plus
0
Y
mark
Y
active
square
X
mark
times
X
X
2ndsneg
mark
X1
X2
2ndsneg
X1
X2
2ndspos
X1
active
X2
2ndspos
X1
X2
square
mark
X
square
X
negrecip
mark
X
negrecip
X
plus
mark
X1
X2
plus
X1
X2
active
2ndsneg
s
N
cons
X
Z
mark
2ndsneg
s
N
cons2
X
Z
2ndspos
X1
mark
X2
2ndspos
X1
X2
plus
active
X1
X2
plus
X1
X2
pi
active
X
pi
X
rcons
X1
active
X2
rcons
X1
X2
2ndsneg
active
X1
X2
2ndsneg
X1
X2
rcons
active
X1
X2
rcons
X1
X2
2ndspos
mark
X1
X2
2ndspos
X1
X2
cons2
mark
X1
X2
cons2
X1
X2
cons2
X1
mark
X2
cons2
X1
X2
rcons
X1
mark
X2
rcons
X1
X2
times
X1
active
X2
times
X1
X2
s
mark
X
s
X
from
mark
X
from
X
cons2
active
X1
X2
cons2
X1
X2
active
2ndspos
0
Z
mark
rnil
active
2ndspos
s
N
cons2
X
cons
Y
Z
mark
rcons
posrecip
Y
2ndsneg
N
Z
active
2ndspos
s
N
cons
X
Z
mark
2ndspos
s
N
cons2
X
Z
mark
s
X
mark
X
mark
rcons
X1
X2
mark
X2
mark
plus
X1
X2
mark
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
mark
times
X1
X2
active
times
mark
X1
mark
X2
active
plus
s
X
Y
mark
s
plus
X
Y
active
2ndsneg
s
N
cons2
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
mark
from
X
active
from
mark
X
active
times
s
X
Y
mark
plus
Y
times
X
Y
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
active
plus
0
Y
mark
Y
active
2ndsneg
s
N
cons
X
Z
mark
2ndsneg
s
N
cons2
X
Z
true
negrecip
1
12384
cons
2
0
s
1
13259
negrecip
1
0
2ndspos
2
2
rnil
0
1
plus
2
0
square
1
3699
cons2
2
0
square
1
0
pi
1
20860
rcons
2
0
rcons
2
1
times
2
0
mark
1
26534
0
0
0
posrecip
1
0
from
1
1
times
2
2
s
1
0
mark
1
0
2ndsneg
2
2
plus
2
2
2ndspos
2
0
cons2
2
25644
from
1
0
active
1
1
1
cons
2
13704
active
1
1
26532
pi
1
0
2ndsneg
2
0
posrecip
1
1
active
2ndsneg
s
N
cons
X
Z
mark
2ndsneg
s
N
cons2
X
Z
active
plus
0
Y
mark
Y
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
active
times
s
X
Y
mark
plus
Y
times
X
Y
active
2ndsneg
s
N
cons2
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
active
plus
s
X
Y
mark
s
plus
X
Y
mark
times
X1
X2
active
times
mark
X1
mark
X2
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
plus
X1
X2
mark
X2
mark
rcons
X1
X2
mark
X2
mark
s
X
mark
X
active
2ndspos
s
N
cons
X
Z
mark
2ndspos
s
N
cons2
X
Z
active
2ndspos
s
N
cons2
X
cons
Y
Z
mark
rcons
posrecip
Y
2ndsneg
N
Z
posrecip
active
X
posrecip
X
2ndsneg
X1
active
X2
2ndsneg
X1
X2
s
active
X
s
X
square
active
X
square
X
times
mark
X1
X2
times
X1
X2
cons
X1
mark
X2
cons
X1
X2
plus
X1
mark
X2
plus
X1
X2
cons
X1
active
X2
cons
X1
X2
times
active
X1
X2
times
X1
X2
cons2
X1
active
X2
cons2
X1
X2
cons
active
X1
X2
cons
X1
X2
times
X1
mark
X2
times
X1
X2
2ndspos
active
X1
X2
2ndspos
X1
X2
posrecip
mark
X
posrecip
X
2ndsneg
X1
mark
X2
2ndsneg
X1
X2
from
active
X
from
X
plus
X1
active
X2
plus
X1
X2
negrecip
active
X
negrecip
X
cons
mark
X1
X2
cons
X1
X2
rcons
mark
X1
X2
rcons
X1
X2
pi
mark
X
pi
X
2ndsneg
mark
X1
X2
2ndsneg
X1
X2
2ndspos
X1
active
X2
2ndspos
X1
X2
square
mark
X
square
X
negrecip
mark
X
negrecip
X
plus
mark
X1
X2
plus
X1
X2
2ndspos
X1
mark
X2
2ndspos
X1
X2
plus
active
X1
X2
plus
X1
X2
pi
active
X
pi
X
rcons
X1
active
X2
rcons
X1
X2
2ndsneg
active
X1
X2
2ndsneg
X1
X2
rcons
active
X1
X2
rcons
X1
X2
2ndspos
mark
X1
X2
2ndspos
X1
X2
cons2
mark
X1
X2
cons2
X1
X2
cons2
X1
mark
X2
cons2
X1
X2
rcons
X1
mark
X2
rcons
X1
X2
times
X1
active
X2
times
X1
X2
s
mark
X
s
X
from
mark
X
from
X
cons2
active
X1
X2
cons2
X1
X2
active
2ndspos
s
N
cons2
X
cons
Y
Z
mark
rcons
posrecip
Y
2ndsneg
N
Z
active
2ndspos
s
N
cons
X
Z
mark
2ndspos
s
N
cons2
X
Z
mark
s
X
mark
X
mark
rcons
X1
X2
mark
X2
mark
plus
X1
X2
mark
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
mark
times
X1
X2
active
times
mark
X1
mark
X2
active
plus
s
X
Y
mark
s
plus
X
Y
active
2ndsneg
s
N
cons2
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
active
times
s
X
Y
mark
plus
Y
times
X
Y
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
active
plus
0
Y
mark
Y
active
2ndsneg
s
N
cons
X
Z
mark
2ndsneg
s
N
cons2
X
Z
true
2ndspos
2
1
rcons
2
2
mark
1
1
mark
1
1
2ndsneg
2
1
cons2
2
1
active
1
1
active
1
1
pi
1
1
negrecip
1
1
cons
2
0
s
1
1
1
negrecip
1
0
rnil
0
2
plus
2
0
1
2
square
1
4
1
cons2
2
0
square
1
0
pi
1
0
1
rcons
2
0
1
2
times
2
0
0
0
3
posrecip
1
0
from
1
0
1
times
2
3
2
1
s
1
0
plus
2
2
1
2
2ndspos
2
0
1
2
from
1
0
cons
2
0
1
2ndsneg
2
0
1
2
posrecip
1
1
negrecip
1
0
cons
2
0
s
1
1
0
negrecip
1
0
rnil
0
0
plus
2
1
0
2
0
0
square
1
1
0
cons2
2
0
square
1
0
pi
1
1
0
rcons
2
1
0
2
0
0
times
2
0
0
0
0
posrecip
1
0
from
1
1
0
times
2
1
0
2
0
0
s
1
0
plus
2
1
0
2
0
0
2ndspos
2
1
0
2
0
0
from
1
0
cons
2
1
0
0
2ndsneg
2
1
0
2
0
0
posrecip
1
0
active
2ndsneg
s
N
cons
X
Z
mark
2ndsneg
s
N
cons2
X
Z
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
mark
times
X1
X2
active
times
mark
X1
mark
X2
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
rcons
X1
X2
mark
X2
active
2ndspos
s
N
cons
X
Z
mark
2ndspos
s
N
cons2
X
Z
mark
0
active
0
posrecip
active
X
posrecip
X
active
2ndspos
s
N
cons2
X
cons
Y
Z
mark
rcons
posrecip
Y
2ndsneg
N
Z
mark
cons
X1
X2
active
cons
mark
X1
X2
active
pi
X
mark
2ndspos
X
from
0
2ndsneg
X1
active
X2
2ndsneg
X1
X2
active
from
X
mark
cons
X
from
s
X
active
2ndspos
s
N
cons
X
Z
mark
2ndspos
s
N
cons2
X
Z
mark
s
X
active
s
mark
X
mark
rcons
X1
X2
active
rcons
mark
X1
mark
X2
s
active
X
s
X
square
active
X
square
X
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
times
mark
X1
X2
times
X1
X2
mark
rnil
active
rnil
cons
X1
mark
X2
cons
X1
X2
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
plus
X1
mark
X2
plus
X1
X2
mark
times
X1
X2
active
times
mark
X1
mark
X2
cons
X1
active
X2
cons
X1
X2
mark
posrecip
X
active
posrecip
mark
X
mark
square
X
active
square
mark
X
times
active
X1
X2
times
X1
X2
cons2
X1
active
X2
cons2
X1
X2
active
2ndsneg
0
Z
mark
rnil
cons
active
X1
X2
cons
X1
X2
times
X1
mark
X2
times
X1
X2
active
plus
s
X
Y
mark
s
plus
X
Y
2ndspos
active
X1
X2
2ndspos
X1
X2
active
2ndsneg
s
N
cons2
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
mark
cons2
X1
X2
active
cons2
X1
mark
X2
mark
pi
X
active
pi
mark
X
posrecip
mark
X
posrecip
X
2ndsneg
X1
mark
X2
2ndsneg
X1
X2
from
active
X
from
X
plus
X1
active
X2
plus
X1
X2
mark
from
X
active
from
mark
X
negrecip
active
X
negrecip
X
cons
mark
X1
X2
cons
X1
X2
active
times
s
X
Y
mark
plus
Y
times
X
Y
rcons
mark
X1
X2
rcons
X1
X2
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
mark
negrecip
X
active
negrecip
mark
X
pi
mark
X
pi
X
active
times
0
Y
mark
0
active
plus
0
Y
mark
Y
active
square
X
mark
times
X
X
2ndsneg
mark
X1
X2
2ndsneg
X1
X2
2ndspos
X1
active
X2
2ndspos
X1
X2
square
mark
X
square
X
negrecip
mark
X
negrecip
X
plus
mark
X1
X2
plus
X1
X2
active
2ndsneg
s
N
cons
X
Z
mark
2ndsneg
s
N
cons2
X
Z
2ndspos
X1
mark
X2
2ndspos
X1
X2
plus
active
X1
X2
plus
X1
X2
pi
active
X
pi
X
rcons
X1
active
X2
rcons
X1
X2
2ndsneg
active
X1
X2
2ndsneg
X1
X2
rcons
active
X1
X2
rcons
X1
X2
2ndspos
mark
X1
X2
2ndspos
X1
X2
cons2
mark
X1
X2
cons2
X1
X2
cons2
X1
mark
X2
cons2
X1
X2
rcons
X1
mark
X2
rcons
X1
X2
times
X1
active
X2
times
X1
X2
s
mark
X
s
X
from
mark
X
from
X
cons2
active
X1
X2
cons2
X1
X2
active
2ndspos
0
Z
mark
rnil
active
2ndspos
s
N
cons
X
Z
mark
2ndspos
s
N
cons2
X
Z
mark
rcons
X1
X2
mark
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
mark
times
X1
X2
active
times
mark
X1
mark
X2
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
active
2ndsneg
s
N
cons
X
Z
mark
2ndsneg
s
N
cons2
X
Z
true
negrecip
1
1
cons
2
0
s
1
0
negrecip
1
0
2ndspos
2
43985
rnil
0
43991
plus
2
0
square
1
1
43984
cons2
2
0
square
1
0
pi
1
43983
rcons
2
0
rcons
2
2
11453
times
2
0
mark
1
1
26534
0
0
4
posrecip
1
0
from
1
39891
times
2
1
43986
s
1
0
mark
1
1
1
2ndsneg
2
1
43985
plus
2
43988
2ndspos
2
0
cons2
2
36725
from
1
0
active
1
1
2
cons
2
1
39893
active
1
70519
pi
1
0
2ndsneg
2
0
posrecip
1
1
active
2ndsneg
s
N
cons
X
Z
mark
2ndsneg
s
N
cons2
X
Z
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
active
2ndspos
s
N
cons
X
Z
mark
2ndspos
s
N
cons2
X
Z
2ndsneg
X1
active
X2
2ndsneg
X1
X2
s
active
X
s
X
times
mark
X1
X2
times
X1
X2
cons
X1
mark
X2
cons
X1
X2
plus
X1
mark
X2
plus
X1
X2
cons
X1
active
X2
cons
X1
X2
times
active
X1
X2
times
X1
X2
cons
active
X1
X2
cons
X1
X2
times
X1
mark
X2
times
X1
X2
2ndspos
active
X1
X2
2ndspos
X1
X2
2ndsneg
X1
mark
X2
2ndsneg
X1
X2
plus
X1
active
X2
plus
X1
X2
cons
mark
X1
X2
cons
X1
X2
rcons
mark
X1
X2
rcons
X1
X2
2ndsneg
mark
X1
X2
2ndsneg
X1
X2
2ndspos
X1
active
X2
2ndspos
X1
X2
plus
mark
X1
X2
plus
X1
X2
2ndspos
X1
mark
X2
2ndspos
X1
X2
plus
active
X1
X2
plus
X1
X2
rcons
X1
active
X2
rcons
X1
X2
2ndsneg
active
X1
X2
2ndsneg
X1
X2
rcons
active
X1
X2
rcons
X1
X2
2ndspos
mark
X1
X2
2ndspos
X1
X2
rcons
X1
mark
X2
rcons
X1
X2
times
X1
active
X2
times
X1
X2
s
mark
X
s
X
active
2ndspos
s
N
cons
X
Z
mark
2ndspos
s
N
cons2
X
Z
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
active
2ndsneg
s
N
cons
X
Z
mark
2ndsneg
s
N
cons2
X
Z
true
negrecip
1
1
cons
2
0
s
1
0
negrecip
1
0
2ndspos
2
2
30116
rnil
0
858
plus
2
0
square
1
1
41961
cons2
2
0
square
1
0
pi
1
59541
rcons
2
0
rcons
2
878
times
2
0
mark
1
1
70519
0
0
1
posrecip
1
0
from
1
1
29424
times
2
2
32664
s
1
0
mark
1
1
0
2ndsneg
2
2
4453
plus
2
2
0
2ndspos
2
0
cons2
2
29422
from
1
0
active
1
1
0
cons
2
1
29424
active
1
1
70518
pi
1
0
2ndsneg
2
0
posrecip
1
1
mark
0
active
0
posrecip
active
X
posrecip
X
active
2ndspos
s
N
cons2
X
cons
Y
Z
mark
rcons
posrecip
Y
2ndsneg
N
Z
mark
cons
X1
X2
active
cons
mark
X1
X2
active
pi
X
mark
2ndspos
X
from
0
2ndsneg
X1
active
X2
2ndsneg
X1
X2
active
from
X
mark
cons
X
from
s
X
active
2ndspos
s
N
cons
X
Z
mark
2ndspos
s
N
cons2
X
Z
mark
s
X
active
s
mark
X
mark
rcons
X1
X2
active
rcons
mark
X1
mark
X2
s
active
X
s
X
square
active
X
square
X
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
times
mark
X1
X2
times
X1
X2
mark
rnil
active
rnil
cons
X1
mark
X2
cons
X1
X2
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
plus
X1
mark
X2
plus
X1
X2
mark
times
X1
X2
active
times
mark
X1
mark
X2
cons
X1
active
X2
cons
X1
X2
mark
posrecip
X
active
posrecip
mark
X
mark
square
X
active
square
mark
X
times
active
X1
X2
times
X1
X2
cons2
X1
active
X2
cons2
X1
X2
active
2ndsneg
0
Z
mark
rnil
cons
active
X1
X2
cons
X1
X2
times
X1
mark
X2
times
X1
X2
active
plus
s
X
Y
mark
s
plus
X
Y
2ndspos
active
X1
X2
2ndspos
X1
X2
active
2ndsneg
s
N
cons2
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
mark
cons2
X1
X2
active
cons2
X1
mark
X2
mark
pi
X
active
pi
mark
X
posrecip
mark
X
posrecip
X
2ndsneg
X1
mark
X2
2ndsneg
X1
X2
from
active
X
from
X
plus
X1
active
X2
plus
X1
X2
mark
from
X
active
from
mark
X
negrecip
active
X
negrecip
X
cons
mark
X1
X2
cons
X1
X2
active
times
s
X
Y
mark
plus
Y
times
X
Y
rcons
mark
X1
X2
rcons
X1
X2
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
mark
negrecip
X
active
negrecip
mark
X
pi
mark
X
pi
X
active
times
0
Y
mark
0
active
plus
0
Y
mark
Y
active
square
X
mark
times
X
X
2ndsneg
mark
X1
X2
2ndsneg
X1
X2
2ndspos
X1
active
X2
2ndspos
X1
X2
square
mark
X
square
X
negrecip
mark
X
negrecip
X
plus
mark
X1
X2
plus
X1
X2
active
2ndsneg
s
N
cons
X
Z
mark
2ndsneg
s
N
cons2
X
Z
2ndspos
X1
mark
X2
2ndspos
X1
X2
plus
active
X1
X2
plus
X1
X2
pi
active
X
pi
X
rcons
X1
active
X2
rcons
X1
X2
2ndsneg
active
X1
X2
2ndsneg
X1
X2
rcons
active
X1
X2
rcons
X1
X2
2ndspos
mark
X1
X2
2ndspos
X1
X2
cons2
mark
X1
X2
cons2
X1
X2
cons2
X1
mark
X2
cons2
X1
X2
rcons
X1
mark
X2
rcons
X1
X2
times
X1
active
X2
times
X1
X2
s
mark
X
s
X
from
mark
X
from
X
cons2
active
X1
X2
cons2
X1
X2
active
2ndspos
0
Z
mark
rnil
mark
negrecip
X
negrecip
mark
X
false
mark
2ndsneg
X1
X2
2ndsneg
mark
X1
mark
X2
false
active
2ndspos
0
Z
mark
rnil
false
mark
pi
X
pi
mark
X
false
pi
active
X
pi
X
pi
mark
X
pi
X
true
negrecip
1
66
cons
2
0
s
1
1685
negrecip
1
0
2ndspos
2
2
8017
rnil
0
8019
plus
2
0
square
1
1
31370
cons2
2
0
square
1
0
pi
1
1
20955
rcons
2
0
rcons
2
1
1684
times
2
0
mark
1
70519
0
0
63765
posrecip
1
0
from
1
12940
times
2
2
63763
s
1
0
mark
1
1
1
2ndsneg
2
1748
plus
2
2
1683
2ndspos
2
0
cons2
2
2
12944
from
1
0
active
1
1
2
cons
2
1
12942
active
1
70518
pi
1
1
0
2ndsneg
2
0
posrecip
1
1
32221
s
active
X
s
X
cons2
X1
active
X2
cons2
X1
X2
cons2
mark
X1
X2
cons2
X1
X2
cons2
X1
mark
X2
cons2
X1
X2
s
mark
X
s
X
cons2
active
X1
X2
cons2
X1
X2
active
2ndsneg
s
N
cons
X
Z
2ndsneg
s
N
cons2
X
Z
false
active
2ndsneg
s
N
cons
X
Z
cons2
X
Z
false
mark
cons2
X1
X2
cons2
X1
mark
X2
false
active
square
X
times
X
X
false
mark
square
X
square
mark
X
false
square
mark
X
square
X
square
active
X
square
X
true
negrecip
1
115887
cons
2
0
s
1
1
16801
negrecip
1
0
2ndspos
2
2
19148
rnil
0
95847
plus
2
0
square
1
1
18229
cons2
2
0
square
1
1
0
pi
1
1
31848
rcons
2
0
rcons
2
1
6332
times
2
0
mark
1
70519
0
0
63765
posrecip
1
0
from
1
1
36665
times
2
1
2
18231
s
1
0
mark
1
1
1
2ndsneg
2
1
2
32080
plus
2
35034
2ndspos
2
0
cons2
2
1
2
36669
from
1
0
active
1
1
2
cons
2
36667
active
1
70518
pi
1
0
2ndsneg
2
0
posrecip
1
1
86154
active
times
0
Y
mark
0
false
mark
posrecip
X
posrecip
mark
X
false
active
times
s
X
Y
plus
Y
times
X
Y
false
active
times
s
X
Y
times
X
Y
false
mark
times
X1
X2
times
mark
X1
mark
X2
false
active
2ndsneg
s
N
cons2
X
cons
Y
Z
rcons
negrecip
Y
2ndspos
N
Z
false
active
2ndsneg
s
N
cons2
X
cons
Y
Z
negrecip
Y
false
active
2ndsneg
s
N
cons2
X
cons
Y
Z
2ndspos
N
Z
false
mark
2ndspos
X1
X2
2ndspos
mark
X1
mark
X2
false
active
plus
s
X
Y
s
plus
X
Y
false
active
plus
s
X
Y
plus
X
Y
false
active
2ndsneg
0
Z
mark
rnil
false
mark
rnil
active
rnil
false
mark
plus
X1
X2
plus
mark
X1
mark
X2
false
plus
active
X1
X2
plus
X1
X2
plus
X1
mark
X2
plus
X1
X2
plus
X1
active
X2
plus
X1
X2
plus
mark
X1
X2
plus
X1
X2
true
negrecip
1
1
cons
2
0
s
1
1
2
negrecip
1
0
2ndspos
2
2
1
rnil
0
4
plus
2
1
2
0
square
1
1
1
cons2
2
0
square
1
0
pi
1
1
1
rcons
2
0
rcons
2
1
6332
times
2
0
mark
1
70519
0
0
1
posrecip
1
0
from
1
1
1
times
2
1
2
1132
s
1
0
mark
1
1
1
2ndsneg
2
1
2
1
plus
2
4342
2ndspos
2
0
cons2
2
1
2
5
from
1
0
active
1
1
2
cons
2
3
active
1
70518
pi
1
0
2ndsneg
2
0
posrecip
1
1
1
active
2ndspos
s
N
cons
X
Z
2ndspos
s
N
cons2
X
Z
false
active
2ndspos
s
N
cons
X
Z
cons2
X
Z
false
mark
rcons
X1
X2
rcons
mark
X1
mark
X2
false
active
from
X
cons
X
from
s
X
false
active
from
X
from
s
X
false
active
from
X
s
X
false
mark
s
X
s
mark
X
false
s
mark
X
s
X
s
active
X
s
X
true
negrecip
1
15037
cons
2
0
s
1
1
2
negrecip
1
0
2ndspos
2
2
7942
rnil
0
9625
plus
2
0
square
1
1
16772
cons2
2
0
square
1
0
pi
1
1
17534
rcons
2
0
rcons
2
1
122421
times
2
0
mark
1
70519
0
0
1
posrecip
1
0
from
1
1
63913
times
2
1
2
16774
s
1
1
0
mark
1
1
1
2ndsneg
2
1
2
9622
plus
2
16778
2ndspos
2
0
cons2
2
1
2
63917
from
1
0
active
1
1
2
cons
2
63915
active
1
70518
pi
1
0
2ndsneg
2
0
posrecip
1
1
59155
active
pi
X
2ndspos
X
from
0
false
2ndspos
X1
mark
X2
2ndspos
X1
X2
2ndspos
mark
X1
X2
2ndspos
X1
X2
2ndspos
active
X1
X2
2ndspos
X1
X2
2ndspos
X1
active
X2
2ndspos
X1
X2
true
negrecip
1
12
cons
2
0
s
1
1
2
negrecip
1
0
2ndspos
2
2
1
rnil
0
34899
plus
2
0
square
1
1
1
cons2
2
0
square
1
0
pi
1
1
1
rcons
2
0
rcons
2
1
1
times
2
0
mark
1
70519
0
0
34896
posrecip
1
0
from
1
1
1
times
2
1
2
3
s
1
0
mark
1
1
1
2ndsneg
2
1
2
1
plus
2
7
2ndspos
2
1
0
cons2
2
1
2
5
from
1
0
active
1
1
2
cons
2
3
active
1
70518
pi
1
0
2ndsneg
2
0
posrecip
1
1
63920
2ndspos
X1
active
X2
2ndspos
X1
X2
2ndspos
X1
mark
X2
2ndspos
X1
X2
2ndspos
X1
active
X2
2ndspos
X1
X2
2ndspos
X1
mark
X2
2ndspos
X1
X2
true
negrecip
1
80825
cons
2
0
s
1
1
2
negrecip
1
0
2ndspos
2
1
2
22463
rnil
0
22466
plus
2
0
square
1
1
5560
cons2
2
0
square
1
0
pi
1
1
55430
rcons
2
0
rcons
2
1
962
times
2
0
mark
1
70519
0
0
1
posrecip
1
0
from
1
1
32968
times
2
1
2
5562
s
1
0
mark
1
1
1
2ndsneg
2
1
2
15841
plus
2
5566
2ndspos
2
2
0
cons2
2
1
2
32972
from
1
0
active
1
1
2
cons
2
32970
active
1
70518
pi
1
0
2ndsneg
2
0
posrecip
1
1
87447
active
pi
X
from
0
false
mark
cons
X1
X2
cons
mark
X1
X2
false
cons
mark
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
true
negrecip
1
10128
cons
2
1
2
0
s
1
1
1751
negrecip
1
0
2ndspos
2
1
2
1
rnil
0
4
plus
2
0
square
1
1
58000
cons2
2
0
square
1
0
pi
1
1
1
rcons
2
0
rcons
2
1
60191
times
2
0
mark
1
70519
0
0
1
posrecip
1
0
from
1
1
1
times
2
1
2
58002
s
1
0
mark
1
1
1
2ndsneg
2
1
2
1
plus
2
59755
2ndspos
2
0
cons2
2
1
2
29220
from
1
0
active
1
1
2
cons
2
29218
active
1
70518
pi
1
0
2ndsneg
2
0
posrecip
1
1
1
mark
0
active
0
false
active
2ndspos
s
N
cons2
X
cons
Y
Z
rcons
posrecip
Y
2ndsneg
N
Z
false
rcons
X1
active
X2
rcons
X1
X2
rcons
mark
X1
X2
rcons
X1
X2
rcons
X1
mark
X2
rcons
X1
X2
rcons
active
X1
X2
rcons
X1
X2
true
negrecip
1
22534
cons
2
0
s
1
1
2
negrecip
1
0
2ndspos
2
1
2
1
rnil
0
5
plus
2
0
square
1
1
1
cons2
2
0
square
1
0
pi
1
1
1
rcons
2
1
2
0
rcons
2
1
4105
times
2
0
mark
1
70519
0
0
1
posrecip
1
0
from
1
1
1
times
2
1
2
3
s
1
0
mark
1
1
1
2ndsneg
2
1
2
1
plus
2
7
2ndspos
2
0
cons2
2
1
2
13318
from
1
0
active
1
1
2
cons
2
13316
active
1
70518
pi
1
0
2ndsneg
2
0
posrecip
1
1
22534
active
2ndspos
s
N
cons2
X
cons
Y
Z
posrecip
Y
false
posrecip
active
X
posrecip
X
posrecip
mark
X
posrecip
X
true
negrecip
1
32021
cons
2
0
s
1
1
16995
negrecip
1
0
2ndspos
2
1
2
10034
rnil
0
50069
plus
2
0
square
1
1
46623
cons2
2
0
square
1
0
pi
1
1
14473
rcons
2
0
rcons
2
1
90318
times
2
0
mark
1
70519
0
0
1
posrecip
1
1
0
from
1
1
4440
times
2
1
2
46625
s
1
0
mark
1
1
1
2ndsneg
2
1
2
50066
plus
2
63622
2ndspos
2
0
cons2
2
1
2
27639
from
1
0
active
1
1
2
cons
2
27637
active
1
70518
pi
1
0
2ndsneg
2
0
posrecip
1
1
28468
active
2ndspos
s
N
cons2
X
cons
Y
Z
2ndsneg
N
Z
false
2ndsneg
mark
X1
X2
2ndsneg
X1
X2
2ndsneg
active
X1
X2
2ndsneg
X1
X2
2ndsneg
X1
active
X2
2ndsneg
X1
X2
2ndsneg
X1
mark
X2
2ndsneg
X1
X2
true
negrecip
1
41476
cons
2
0
s
1
1
30361
negrecip
1
0
2ndspos
2
1
2
1
rnil
0
10090
plus
2
0
square
1
1
16458
cons2
2
0
square
1
0
pi
1
1
1
rcons
2
0
rcons
2
1
16804
times
2
0
mark
1
70519
0
0
1
posrecip
1
0
from
1
1
1
times
2
1
2
16460
s
1
0
mark
1
1
1
2ndsneg
2
1
2
10087
plus
2
63622
2ndspos
2
0
cons2
2
1
2
8916
from
1
0
active
1
1
2
cons
2
8914
active
1
70518
pi
1
0
2ndsneg
2
1
2
0
posrecip
1
1
31390
times
X1
mark
X2
times
X1
X2
times
active
X1
X2
times
X1
X2
times
X1
active
X2
times
X1
X2
times
mark
X1
X2
times
X1
X2
true
negrecip
1
41476
cons
2
0
s
1
1
2
negrecip
1
0
2ndspos
2
1
2
1
rnil
0
4
plus
2
0
square
1
1
27378
cons2
2
0
square
1
0
pi
1
1
1
rcons
2
0
rcons
2
1
1
times
2
1
0
mark
1
70519
0
0
1
posrecip
1
0
from
1
1
1
times
2
1
2
27380
s
1
0
mark
1
1
1
2ndsneg
2
1
2
1
plus
2
27384
2ndspos
2
0
cons2
2
1
2
5
from
1
0
active
1
1
2
cons
2
3
active
1
70518
pi
1
0
2ndsneg
2
0
posrecip
1
1
12
times
X1
active
X2
times
X1
X2
times
X1
mark
X2
times
X1
X2
times
X1
mark
X2
times
X1
X2
times
X1
active
X2
times
X1
X2
true
negrecip
1
64973
cons
2
0
s
1
1
32240
negrecip
1
0
2ndspos
2
1
2
1
rnil
0
48487
plus
2
0
square
1
1
8473
cons2
2
0
square
1
0
pi
1
1
1
rcons
2
0
rcons
2
1
25377
times
2
2
0
mark
1
70519
0
0
1
posrecip
1
0
from
1
1
1
times
2
1
2
8475
s
1
0
mark
1
1
1
2ndsneg
2
1
2
48484
plus
2
40717
2ndspos
2
0
cons2
2
1
2
4813
from
1
0
active
1
1
2
cons
2
4811
active
1
70518
pi
1
0
2ndsneg
2
0
posrecip
1
1
16490
mark
from
X
from
mark
X
false
from
mark
X
from
X
from
active
X
from
X
true
negrecip
1
9327
cons
2
0
s
1
1
2
negrecip
1
0
2ndspos
2
1
2
20367
rnil
0
48787
plus
2
0
square
1
1
33106
cons2
2
0
square
1
0
pi
1
1
73862
rcons
2
0
rcons
2
1
71630
times
2
0
mark
1
70519
0
0
24944
posrecip
1
0
from
1
1
28553
times
2
1
2
33108
s
1
0
mark
1
1
1
2ndsneg
2
1
2
23841
plus
2
33112
2ndspos
2
0
cons2
2
1
2
28557
from
1
1
0
active
1
1
2
cons
2
28555
active
1
70518
pi
1
0
2ndsneg
2
0
posrecip
1
1
40131
cons2
mark
X1
X2
cons2
X1
X2
cons2
X1
active
X2
cons2
X1
X2
cons2
X1
mark
X2
cons2
X1
X2
cons2
active
X1
X2
cons2
X1
X2
true
negrecip
1
9327
cons
2
0
s
1
1
2
negrecip
1
0
2ndspos
2
1
2
14022
rnil
0
50896
plus
2
0
square
1
1
1
cons2
2
2
0
square
1
0
pi
1
1
1
rcons
2
0
rcons
2
1
38347
times
2
0
mark
1
70519
0
0
36872
posrecip
1
0
from
1
1
21093
times
2
1
2
3
s
1
0
mark
1
1
1
2ndsneg
2
1
2
3123
plus
2
13
2ndspos
2
0
cons2
2
1
2
21097
from
1
0
active
1
1
2
cons
2
21095
active
1
70518
pi
1
0
2ndsneg
2
0
posrecip
1
1
40133
cons2
active
X1
X2
cons2
X1
X2
cons2
mark
X1
X2
cons2
X1
X2
cons2
mark
X1
X2
cons2
X1
X2
cons2
active
X1
X2
cons2
X1
X2
true
negrecip
1
74205
cons
2
0
s
1
1
2
negrecip
1
0
2ndspos
2
1
2
29219
rnil
0
50896
plus
2
0
square
1
1
1
cons2
2
1
0
square
1
0
pi
1
1
3138
rcons
2
0
rcons
2
1
15882
times
2
0
mark
1
70519
0
0
1
posrecip
1
0
from
1
1
37432
times
2
1
2
3
s
1
0
mark
1
1
1
2ndsneg
2
1
2
15213
plus
2
7
2ndspos
2
0
cons2
2
1
2
37436
from
1
0
active
1
1
2
cons
2
37434
active
1
70518
pi
1
0
2ndsneg
2
0
posrecip
1
1
88211
negrecip
active
X
negrecip
X
negrecip
mark
X
negrecip
X
true
negrecip
1
24859
cons
2
0
s
1
1
2
negrecip
1
1
0
2ndspos
2
1
2
585
rnil
0
588
plus
2
0
square
1
1
3714
cons2
2
0
square
1
0
pi
1
1
585
rcons
2
0
rcons
2
1
800
times
2
0
mark
1
70519
0
0
1
posrecip
1
0
from
1
1
1
times
2
1
2
3716
s
1
0
mark
1
1
1
2ndsneg
2
1
2
507
plus
2
3720
2ndspos
2
0
cons2
2
1
2
12575
from
1
0
active
1
1
2
cons
2
12573
active
1
70518
pi
1
0
2ndsneg
2
0
posrecip
1
1
24937
NaTT
certifiable-1.6