active
from
X
mark
cons
X
from
s
X
active
2ndspos
0
Z
mark
rnil
active
2ndspos
s
N
cons
X
cons
Y
Z
mark
rcons
posrecip
Y
2ndsneg
N
Z
active
2ndsneg
0
Z
mark
rnil
active
2ndsneg
s
N
cons
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
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
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
posrecip
active
X
posrecip
X
active
2ndspos
s
N
cons
X
cons
Y
Z
rcons
posrecip
Y
2ndsneg
N
Z
mark
s
X
active
s
mark
X
mark
times
X1
X2
active
times
mark
X1
mark
X2
mark
plus
X1
X2
mark
X1
mark
negrecip
X
mark
X
2ndsneg
mark
X1
X2
2ndsneg
X1
X2
cons
active
X1
X2
cons
X1
X2
times
mark
X1
X2
times
X1
X2
active
plus
s
X
Y
s
plus
X
Y
cons
X1
active
X2
cons
X1
X2
2ndsneg
X1
mark
X2
2ndsneg
X1
X2
mark
2ndspos
X1
X2
mark
X1
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
active
from
X
from
s
X
square
mark
X
square
X
plus
mark
X1
X2
plus
X1
X2
mark
2ndsneg
X1
X2
2ndsneg
mark
X1
mark
X2
2ndspos
mark
X1
X2
2ndspos
X1
X2
negrecip
active
X
negrecip
X
s
mark
X
s
X
mark
rnil
active
rnil
active
times
s
X
Y
mark
plus
Y
times
X
Y
s
active
X
s
X
mark
from
X
active
from
mark
X
posrecip
mark
X
posrecip
X
active
times
s
X
Y
plus
Y
times
X
Y
mark
2ndsneg
X1
X2
mark
X2
cons
mark
X1
X2
cons
X1
X2
mark
from
X
mark
X
active
from
X
cons
X
from
s
X
mark
square
X
mark
X
square
active
X
square
X
2ndsneg
X1
active
X2
2ndsneg
X1
X2
negrecip
mark
X
negrecip
X
mark
2ndspos
X1
X2
2ndspos
mark
X1
mark
X2
rcons
X1
mark
X2
rcons
X1
X2
mark
posrecip
X
active
posrecip
mark
X
active
plus
s
X
Y
mark
s
plus
X
Y
mark
cons
X1
X2
mark
X1
mark
pi
X
mark
X
mark
cons
X1
X2
cons
mark
X1
X2
mark
negrecip
X
active
negrecip
mark
X
mark
posrecip
X
mark
X
mark
s
X
mark
X
active
plus
s
X
Y
plus
X
Y
mark
pi
X
pi
mark
X
active
2ndsneg
0
Z
mark
rnil
times
active
X1
X2
times
X1
X2
mark
times
X1
X2
mark
X1
from
mark
X
from
X
active
plus
0
Y
mark
Y
active
from
X
mark
cons
X
from
s
X
mark
negrecip
X
negrecip
mark
X
rcons
mark
X1
X2
rcons
X1
X2
mark
rcons
X1
X2
mark
X2
active
2ndsneg
s
N
cons
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
mark
times
X1
X2
times
mark
X1
mark
X2
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
mark
square
X
active
square
mark
X
active
times
0
Y
mark
0
rcons
active
X1
X2
rcons
X1
X2
active
2ndspos
s
N
cons
X
cons
Y
Z
2ndsneg
N
Z
rcons
X1
active
X2
rcons
X1
X2
mark
from
X
from
mark
X
plus
X1
mark
X2
plus
X1
X2
active
from
X
s
X
plus
active
X1
X2
plus
X1
X2
active
2ndsneg
s
N
cons
X
cons
Y
Z
negrecip
Y
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
from
active
X
from
X
2ndsneg
active
X1
X2
2ndsneg
X1
X2
mark
s
X
s
mark
X
active
2ndsneg
s
N
cons
X
cons
Y
Z
2ndspos
N
Z
times
X1
mark
X2
times
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
plus
X1
X2
plus
mark
X1
mark
X2
mark
0
active
0
active
2ndspos
s
N
cons
X
cons
Y
Z
posrecip
Y
active
square
X
times
X
X
active
times
s
X
Y
times
X
Y
active
pi
X
from
0
mark
times
X1
X2
mark
X2
plus
X1
active
X2
plus
X1
X2
active
2ndsneg
s
N
cons
X
cons
Y
Z
rcons
negrecip
Y
2ndspos
N
Z
mark
rcons
X1
X2
mark
X1
active
square
X
mark
times
X
X
mark
2ndspos
X1
X2
mark
X2
active
2ndspos
s
N
cons
X
cons
Y
Z
mark
rcons
posrecip
Y
2ndsneg
N
Z
mark
pi
X
active
pi
mark
X
mark
plus
X1
X2
mark
X2
pi
active
X
pi
X
active
pi
X
2ndspos
X
from
0
cons
X1
mark
X2
cons
X1
X2
mark
posrecip
X
posrecip
mark
X
active
2ndspos
0
Z
mark
rnil
mark
2ndsneg
X1
X2
mark
X1
2ndspos
X1
active
X2
2ndspos
X1
X2
active
pi
X
mark
2ndspos
X
from
0
pi
mark
X
pi
X
mark
rcons
X1
X2
active
rcons
mark
X1
mark
X2
2ndspos
X1
mark
X2
2ndspos
X1
X2
mark
rcons
X1
X2
rcons
mark
X1
mark
X2
2ndspos
active
X1
X2
2ndspos
X1
X2
mark
square
X
square
mark
X
times
X1
active
X2
times
X1
X2
true
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
mark
square
X
active
square
mark
X
active
2ndsneg
s
N
cons
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
mark
rcons
X1
X2
active
rcons
mark
X1
mark
X2
mark
rcons
X1
X2
mark
X2
active
pi
X
mark
2ndspos
X
from
0
active
from
X
mark
cons
X
from
s
X
active
plus
0
Y
mark
Y
mark
times
X1
X2
mark
X1
mark
s
X
mark
X
mark
2ndsneg
X1
X2
mark
X1
mark
posrecip
X
mark
X
mark
negrecip
X
active
negrecip
mark
X
mark
pi
X
mark
X
mark
cons
X1
X2
mark
X1
active
plus
s
X
Y
mark
s
plus
X
Y
mark
posrecip
X
active
posrecip
mark
X
mark
plus
X1
X2
mark
X2
mark
pi
X
active
pi
mark
X
active
2ndspos
s
N
cons
X
cons
Y
Z
mark
rcons
posrecip
Y
2ndsneg
N
Z
mark
2ndspos
X1
X2
mark
X2
mark
rcons
X1
X2
mark
X1
active
square
X
mark
times
X
X
mark
square
X
mark
X
mark
times
X1
X2
mark
X2
mark
from
X
mark
X
mark
2ndsneg
X1
X2
mark
X2
mark
from
X
active
from
mark
X
active
times
s
X
Y
mark
plus
Y
times
X
Y
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
mark
2ndspos
X1
X2
mark
X1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
negrecip
X
mark
X
mark
plus
X1
X2
mark
X1
mark
times
X1
X2
active
times
mark
X1
mark
X2
mark
s
X
active
s
mark
X
true
negrecip
1
19265
cons
2
0
s
1
12330
negrecip
1
0
2ndspos
2
29406
rnil
0
1
plus
2
0
square
1
29406
square
1
0
pi
1
29406
rcons
2
0
rcons
2
1
times
2
0
mark
1
29406
0
0
1
posrecip
1
0
from
1
29406
times
2
29406
s
1
0
mark
1
1
2ndsneg
2
29406
plus
2
29406
2ndspos
2
0
from
1
0
active
1
0
cons
2
7177
active
1
1
0
pi
1
0
2ndsneg
2
0
posrecip
1
2332
mark
times
X1
X2
active
times
mark
X1
mark
X2
mark
plus
X1
X2
mark
X1
mark
negrecip
X
mark
X
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
2ndspos
X1
X2
mark
X1
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
active
times
s
X
Y
mark
plus
Y
times
X
Y
mark
from
X
active
from
mark
X
mark
2ndsneg
X1
X2
mark
X2
mark
from
X
mark
X
mark
times
X1
X2
mark
X2
mark
square
X
mark
X
active
square
X
mark
times
X
X
mark
rcons
X1
X2
mark
X1
mark
2ndspos
X1
X2
mark
X2
active
2ndspos
s
N
cons
X
cons
Y
Z
mark
rcons
posrecip
Y
2ndsneg
N
Z
mark
pi
X
active
pi
mark
X
mark
plus
X1
X2
mark
X2
active
plus
s
X
Y
mark
s
plus
X
Y
mark
cons
X1
X2
mark
X1
mark
pi
X
mark
X
mark
posrecip
X
mark
X
mark
2ndsneg
X1
X2
mark
X1
mark
s
X
mark
X
mark
times
X1
X2
mark
X1
active
plus
0
Y
mark
Y
active
from
X
mark
cons
X
from
s
X
active
pi
X
mark
2ndspos
X
from
0
mark
rcons
X1
X2
mark
X2
active
2ndsneg
s
N
cons
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
mark
square
X
active
square
mark
X
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
pi
mark
X
pi
X
plus
active
X1
X2
plus
X1
X2
2ndspos
active
X1
X2
2ndspos
X1
X2
from
mark
X
from
X
s
mark
X
s
X
square
mark
X
square
X
from
active
X
from
X
2ndspos
mark
X1
X2
2ndspos
X1
X2
cons
mark
X1
X2
cons
X1
X2
2ndsneg
mark
X1
X2
2ndsneg
X1
X2
s
active
X
s
X
rcons
X1
mark
X2
rcons
X1
X2
negrecip
active
X
negrecip
X
plus
mark
X1
X2
plus
X1
X2
cons
active
X1
X2
cons
X1
X2
times
mark
X1
X2
times
X1
X2
cons
X1
active
X2
cons
X1
X2
2ndsneg
X1
mark
X2
2ndsneg
X1
X2
times
X1
mark
X2
times
X1
X2
pi
active
X
pi
X
rcons
active
X1
X2
rcons
X1
X2
plus
X1
active
X2
plus
X1
X2
times
X1
active
X2
times
X1
X2
rcons
mark
X1
X2
rcons
X1
X2
square
active
X
square
X
times
active
X1
X2
times
X1
X2
negrecip
mark
X
negrecip
X
plus
X1
mark
X2
plus
X1
X2
2ndsneg
X1
active
X2
2ndsneg
X1
X2
2ndspos
X1
active
X2
2ndspos
X1
X2
rcons
X1
active
X2
rcons
X1
X2
posrecip
mark
X
posrecip
X
2ndsneg
active
X1
X2
2ndsneg
X1
X2
2ndspos
X1
mark
X2
2ndspos
X1
X2
cons
X1
mark
X2
cons
X1
X2
posrecip
active
X
posrecip
X
mark
rcons
X1
X2
mark
X2
mark
rcons
X1
X2
mark
X1
mark
2ndspos
X1
X2
mark
X2
mark
2ndspos
X1
X2
mark
X1
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
active
plus
s
X
Y
mark
s
plus
X
Y
active
from
X
mark
cons
X
from
s
X
active
2ndspos
s
N
cons
X
cons
Y
Z
mark
rcons
posrecip
Y
2ndsneg
N
Z
mark
negrecip
X
mark
X
mark
posrecip
X
mark
X
mark
pi
X
mark
X
mark
pi
X
active
pi
mark
X
active
2ndsneg
s
N
cons
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
active
times
s
X
Y
mark
plus
Y
times
X
Y
active
plus
0
Y
mark
Y
mark
2ndsneg
X1
X2
mark
X2
mark
2ndsneg
X1
X2
mark
X1
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
mark
square
X
mark
X
mark
square
X
active
square
mark
X
mark
s
X
mark
X
mark
from
X
mark
X
mark
from
X
active
from
mark
X
mark
plus
X1
X2
mark
X2
mark
plus
X1
X2
mark
X1
mark
plus
X1
X2
active
plus
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
active
square
X
mark
times
X
X
mark
cons
X1
X2
mark
X1
active
pi
X
mark
2ndspos
X
from
0
true
negrecip
1
1
46313
cons
2
0
s
1
1
0
negrecip
1
0
2ndspos
2
1
46315
2
33696
0
rnil
0
33697
plus
2
0
square
1
1
23615
square
1
0
pi
1
1
69933
rcons
2
0
rcons
2
1
1
2
0
0
times
2
0
mark
1
1
0
0
0
23615
posrecip
1
0
from
1
1
12621
times
2
1
1
2
23614
0
s
1
0
mark
1
1
0
2ndsneg
2
1
46315
2
33696
0
plus
2
1
23613
2
0
0
2ndspos
2
0
from
1
0
active
1
1
0
cons
2
1
12620
2
0
0
active
1
1
0
pi
1
0
2ndsneg
2
0
posrecip
1
1
12457
mark
times
X1
X2
active
times
mark
X1
mark
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
plus
X1
X2
mark
X2
mark
from
X
active
from
mark
X
mark
s
X
mark
X
mark
square
X
active
square
mark
X
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
active
plus
0
Y
mark
Y
active
times
s
X
Y
mark
plus
Y
times
X
Y
active
2ndsneg
s
N
cons
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
mark
pi
X
active
pi
mark
X
active
2ndspos
s
N
cons
X
cons
Y
Z
mark
rcons
posrecip
Y
2ndsneg
N
Z
active
from
X
mark
cons
X
from
s
X
active
plus
s
X
Y
mark
s
plus
X
Y
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
mark
rcons
X1
X2
mark
X2
mark
rcons
X1
X2
active
rcons
mark
X1
mark
X2
pi
mark
X
pi
X
active
2ndsneg
0
Z
mark
rnil
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
active
plus
s
X
Y
mark
s
plus
X
Y
plus
active
X1
X2
plus
X1
X2
active
from
X
mark
cons
X
from
s
X
active
2ndspos
s
N
cons
X
cons
Y
Z
mark
rcons
posrecip
Y
2ndsneg
N
Z
mark
0
active
0
mark
negrecip
X
active
negrecip
mark
X
2ndspos
active
X1
X2
2ndspos
X1
X2
from
mark
X
from
X
mark
posrecip
X
active
posrecip
mark
X
s
mark
X
s
X
mark
rnil
active
rnil
square
mark
X
square
X
from
active
X
from
X
2ndspos
mark
X1
X2
2ndspos
X1
X2
mark
pi
X
active
pi
mark
X
cons
mark
X1
X2
cons
X1
X2
2ndsneg
mark
X1
X2
2ndsneg
X1
X2
active
2ndsneg
s
N
cons
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
s
active
X
s
X
active
times
s
X
Y
mark
plus
Y
times
X
Y
rcons
X1
mark
X2
rcons
X1
X2
active
plus
0
Y
mark
Y
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
mark
square
X
active
square
mark
X
negrecip
active
X
negrecip
X
plus
mark
X1
X2
plus
X1
X2
cons
active
X1
X2
cons
X1
X2
mark
s
X
active
s
mark
X
times
mark
X1
X2
times
X1
X2
cons
X1
active
X2
cons
X1
X2
mark
from
X
active
from
mark
X
2ndsneg
X1
mark
X2
2ndsneg
X1
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
times
X1
X2
active
times
mark
X1
mark
X2
times
X1
mark
X2
times
X1
X2
active
square
X
mark
times
X
X
active
times
0
Y
mark
0
mark
cons
X1
X2
active
cons
mark
X1
X2
pi
active
X
pi
X
rcons
active
X1
X2
rcons
X1
X2
plus
X1
active
X2
plus
X1
X2
times
X1
active
X2
times
X1
X2
active
pi
X
mark
2ndspos
X
from
0
rcons
mark
X1
X2
rcons
X1
X2
square
active
X
square
X
times
active
X1
X2
times
X1
X2
negrecip
mark
X
negrecip
X
plus
X1
mark
X2
plus
X1
X2
2ndsneg
X1
active
X2
2ndsneg
X1
X2
2ndspos
X1
active
X2
2ndspos
X1
X2
rcons
X1
active
X2
rcons
X1
X2
posrecip
mark
X
posrecip
X
2ndsneg
active
X1
X2
2ndsneg
X1
X2
2ndspos
X1
mark
X2
2ndspos
X1
X2
cons
X1
mark
X2
cons
X1
X2
posrecip
active
X
posrecip
X
active
2ndspos
0
Z
mark
rnil
mark
rcons
X1
X2
mark
X2
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
active
plus
s
X
Y
mark
s
plus
X
Y
active
from
X
mark
cons
X
from
s
X
active
2ndspos
s
N
cons
X
cons
Y
Z
mark
rcons
posrecip
Y
2ndsneg
N
Z
mark
pi
X
active
pi
mark
X
active
2ndsneg
s
N
cons
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
active
times
s
X
Y
mark
plus
Y
times
X
Y
active
plus
0
Y
mark
Y
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
mark
square
X
active
square
mark
X
mark
s
X
mark
X
mark
from
X
active
from
mark
X
mark
plus
X1
X2
mark
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
times
X1
X2
active
times
mark
X1
mark
X2
true
negrecip
1
19265
cons
2
0
s
1
12330
negrecip
1
0
2ndspos
2
12060
rnil
0
1
plus
2
0
square
1
240
square
1
0
pi
1
1
rcons
2
0
rcons
2
1
times
2
0
mark
1
29406
0
0
1
posrecip
1
0
from
1
12060
times
2
12060
s
1
0
mark
1
0
2ndsneg
2
12060
plus
2
12060
2ndspos
2
0
from
1
0
active
1
0
cons
2
7177
active
1
1
17346
pi
1
0
2ndsneg
2
0
posrecip
1
2332
mark
times
X1
X2
active
times
mark
X1
mark
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
plus
X1
X2
mark
X2
mark
from
X
active
from
mark
X
mark
s
X
mark
X
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
active
plus
0
Y
mark
Y
active
times
s
X
Y
mark
plus
Y
times
X
Y
active
2ndsneg
s
N
cons
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
active
2ndspos
s
N
cons
X
cons
Y
Z
mark
rcons
posrecip
Y
2ndsneg
N
Z
active
from
X
mark
cons
X
from
s
X
active
plus
s
X
Y
mark
s
plus
X
Y
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
mark
rcons
X1
X2
mark
X2
pi
mark
X
pi
X
plus
active
X1
X2
plus
X1
X2
2ndspos
active
X1
X2
2ndspos
X1
X2
from
mark
X
from
X
s
mark
X
s
X
square
mark
X
square
X
from
active
X
from
X
2ndspos
mark
X1
X2
2ndspos
X1
X2
cons
mark
X1
X2
cons
X1
X2
2ndsneg
mark
X1
X2
2ndsneg
X1
X2
s
active
X
s
X
rcons
X1
mark
X2
rcons
X1
X2
negrecip
active
X
negrecip
X
plus
mark
X1
X2
plus
X1
X2
cons
active
X1
X2
cons
X1
X2
times
mark
X1
X2
times
X1
X2
cons
X1
active
X2
cons
X1
X2
2ndsneg
X1
mark
X2
2ndsneg
X1
X2
times
X1
mark
X2
times
X1
X2
pi
active
X
pi
X
rcons
active
X1
X2
rcons
X1
X2
plus
X1
active
X2
plus
X1
X2
times
X1
active
X2
times
X1
X2
rcons
mark
X1
X2
rcons
X1
X2
square
active
X
square
X
times
active
X1
X2
times
X1
X2
negrecip
mark
X
negrecip
X
plus
X1
mark
X2
plus
X1
X2
2ndsneg
X1
active
X2
2ndsneg
X1
X2
2ndspos
X1
active
X2
2ndspos
X1
X2
rcons
X1
active
X2
rcons
X1
X2
posrecip
mark
X
posrecip
X
2ndsneg
active
X1
X2
2ndsneg
X1
X2
2ndspos
X1
mark
X2
2ndspos
X1
X2
cons
X1
mark
X2
cons
X1
X2
posrecip
active
X
posrecip
X
mark
rcons
X1
X2
mark
X2
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
active
plus
s
X
Y
mark
s
plus
X
Y
active
from
X
mark
cons
X
from
s
X
active
2ndspos
s
N
cons
X
cons
Y
Z
mark
rcons
posrecip
Y
2ndsneg
N
Z
active
2ndsneg
s
N
cons
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
active
times
s
X
Y
mark
plus
Y
times
X
Y
active
plus
0
Y
mark
Y
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
mark
s
X
mark
X
mark
from
X
active
from
mark
X
mark
plus
X1
X2
mark
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
times
X1
X2
active
times
mark
X1
mark
X2
true
negrecip
1
21102
cons
2
0
s
1
1
0
negrecip
1
0
2ndspos
2
17207
rnil
0
873
plus
2
0
square
1
9653
square
1
0
pi
1
50723
rcons
2
0
rcons
2
2
0
times
2
0
mark
1
1
17346
0
0
6088
posrecip
1
0
from
1
41098
times
2
9653
s
1
0
mark
1
1
0
2ndsneg
2
17207
plus
2
2
0
2ndspos
2
0
from
1
0
active
1
1
0
cons
2
41097
active
1
1
17346
pi
1
0
2ndsneg
2
0
posrecip
1
1
mark
times
X1
X2
active
times
mark
X1
mark
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
plus
X1
X2
mark
X2
mark
from
X
active
from
mark
X
mark
s
X
mark
X
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
active
plus
0
Y
mark
Y
active
times
s
X
Y
mark
plus
Y
times
X
Y
active
2ndsneg
s
N
cons
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
active
2ndspos
s
N
cons
X
cons
Y
Z
mark
rcons
posrecip
Y
2ndsneg
N
Z
active
plus
s
X
Y
mark
s
plus
X
Y
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
mark
rcons
X1
X2
mark
X2
mark
rcons
X1
X2
active
rcons
mark
X1
mark
X2
pi
mark
X
pi
X
active
2ndsneg
0
Z
mark
rnil
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
active
plus
s
X
Y
mark
s
plus
X
Y
plus
active
X1
X2
plus
X1
X2
active
from
X
mark
cons
X
from
s
X
active
2ndspos
s
N
cons
X
cons
Y
Z
mark
rcons
posrecip
Y
2ndsneg
N
Z
mark
0
active
0
mark
negrecip
X
active
negrecip
mark
X
2ndspos
active
X1
X2
2ndspos
X1
X2
from
mark
X
from
X
mark
posrecip
X
active
posrecip
mark
X
s
mark
X
s
X
mark
rnil
active
rnil
square
mark
X
square
X
from
active
X
from
X
2ndspos
mark
X1
X2
2ndspos
X1
X2
mark
pi
X
active
pi
mark
X
cons
mark
X1
X2
cons
X1
X2
2ndsneg
mark
X1
X2
2ndsneg
X1
X2
active
2ndsneg
s
N
cons
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
s
active
X
s
X
active
times
s
X
Y
mark
plus
Y
times
X
Y
rcons
X1
mark
X2
rcons
X1
X2
active
plus
0
Y
mark
Y
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
mark
square
X
active
square
mark
X
negrecip
active
X
negrecip
X
plus
mark
X1
X2
plus
X1
X2
cons
active
X1
X2
cons
X1
X2
mark
s
X
active
s
mark
X
times
mark
X1
X2
times
X1
X2
cons
X1
active
X2
cons
X1
X2
mark
from
X
active
from
mark
X
2ndsneg
X1
mark
X2
2ndsneg
X1
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
times
X1
X2
active
times
mark
X1
mark
X2
times
X1
mark
X2
times
X1
X2
active
square
X
mark
times
X
X
active
times
0
Y
mark
0
mark
cons
X1
X2
active
cons
mark
X1
X2
pi
active
X
pi
X
rcons
active
X1
X2
rcons
X1
X2
plus
X1
active
X2
plus
X1
X2
times
X1
active
X2
times
X1
X2
active
pi
X
mark
2ndspos
X
from
0
rcons
mark
X1
X2
rcons
X1
X2
square
active
X
square
X
times
active
X1
X2
times
X1
X2
negrecip
mark
X
negrecip
X
plus
X1
mark
X2
plus
X1
X2
2ndsneg
X1
active
X2
2ndsneg
X1
X2
2ndspos
X1
active
X2
2ndspos
X1
X2
rcons
X1
active
X2
rcons
X1
X2
posrecip
mark
X
posrecip
X
2ndsneg
active
X1
X2
2ndsneg
X1
X2
2ndspos
X1
mark
X2
2ndspos
X1
X2
cons
X1
mark
X2
cons
X1
X2
posrecip
active
X
posrecip
X
active
2ndspos
0
Z
mark
rnil
mark
rcons
X1
X2
mark
X2
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
active
plus
s
X
Y
mark
s
plus
X
Y
active
2ndspos
s
N
cons
X
cons
Y
Z
mark
rcons
posrecip
Y
2ndsneg
N
Z
active
2ndsneg
s
N
cons
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
active
times
s
X
Y
mark
plus
Y
times
X
Y
active
plus
0
Y
mark
Y
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
mark
s
X
mark
X
mark
from
X
active
from
mark
X
mark
plus
X1
X2
mark
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
times
X1
X2
active
times
mark
X1
mark
X2
true
negrecip
1
21102
cons
2
0
s
1
1
negrecip
1
0
2ndspos
2
1801
rnil
0
1
plus
2
0
square
1
1
square
1
0
pi
1
50723
rcons
2
0
rcons
2
1
times
2
0
mark
1
19147
0
0
1
posrecip
1
0
from
1
1
times
2
1801
s
1
0
mark
1
1
2ndsneg
2
1801
plus
2
1801
2ndspos
2
0
from
1
0
active
1
2
cons
2
41097
active
1
1
17346
pi
1
0
2ndsneg
2
0
posrecip
1
1
mark
times
X1
X2
active
times
mark
X1
mark
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
plus
X1
X2
mark
X2
mark
s
X
mark
X
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
active
plus
0
Y
mark
Y
active
times
s
X
Y
mark
plus
Y
times
X
Y
active
2ndsneg
s
N
cons
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
active
2ndspos
s
N
cons
X
cons
Y
Z
mark
rcons
posrecip
Y
2ndsneg
N
Z
active
plus
s
X
Y
mark
s
plus
X
Y
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
mark
rcons
X1
X2
mark
X2
pi
mark
X
pi
X
plus
active
X1
X2
plus
X1
X2
2ndspos
active
X1
X2
2ndspos
X1
X2
from
mark
X
from
X
s
mark
X
s
X
square
mark
X
square
X
from
active
X
from
X
2ndspos
mark
X1
X2
2ndspos
X1
X2
cons
mark
X1
X2
cons
X1
X2
2ndsneg
mark
X1
X2
2ndsneg
X1
X2
s
active
X
s
X
rcons
X1
mark
X2
rcons
X1
X2
negrecip
active
X
negrecip
X
plus
mark
X1
X2
plus
X1
X2
cons
active
X1
X2
cons
X1
X2
times
mark
X1
X2
times
X1
X2
cons
X1
active
X2
cons
X1
X2
2ndsneg
X1
mark
X2
2ndsneg
X1
X2
times
X1
mark
X2
times
X1
X2
pi
active
X
pi
X
rcons
active
X1
X2
rcons
X1
X2
plus
X1
active
X2
plus
X1
X2
times
X1
active
X2
times
X1
X2
rcons
mark
X1
X2
rcons
X1
X2
square
active
X
square
X
times
active
X1
X2
times
X1
X2
negrecip
mark
X
negrecip
X
plus
X1
mark
X2
plus
X1
X2
2ndsneg
X1
active
X2
2ndsneg
X1
X2
2ndspos
X1
active
X2
2ndspos
X1
X2
rcons
X1
active
X2
rcons
X1
X2
posrecip
mark
X
posrecip
X
2ndsneg
active
X1
X2
2ndsneg
X1
X2
2ndspos
X1
mark
X2
2ndspos
X1
X2
cons
X1
mark
X2
cons
X1
X2
posrecip
active
X
posrecip
X
mark
rcons
X1
X2
mark
X2
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
active
plus
s
X
Y
mark
s
plus
X
Y
active
2ndspos
s
N
cons
X
cons
Y
Z
mark
rcons
posrecip
Y
2ndsneg
N
Z
active
2ndsneg
s
N
cons
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
active
times
s
X
Y
mark
plus
Y
times
X
Y
active
plus
0
Y
mark
Y
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
mark
s
X
mark
X
mark
plus
X1
X2
mark
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
times
X1
X2
active
times
mark
X1
mark
X2
true
cons
2
1
2ndspos
2
1
plus
2
2
pi
1
1
from
1
1
mark
1
1
2ndsneg
2
1
2ndspos
2
1
active
1
1
cons
2
1
2ndsneg
2
2
negrecip
1
1
s
1
1
1
negrecip
1
0
rnil
0
1
square
1
6
1
square
1
0
rcons
2
0
1
2
rcons
2
0
1
2
times
2
0
2
1
mark
1
2
1
0
0
1
posrecip
1
0
times
2
5
1
2
s
1
0
plus
2
4
1
2
from
1
0
active
1
2
1
pi
1
0
posrecip
1
1
negrecip
1
0
s
1
1
0
negrecip
1
0
rnil
0
0
square
1
1
0
square
1
0
rcons
2
1
0
2
0
0
rcons
2
1
0
2
0
0
times
2
1
0
2
0
0
mark
1
1
0
0
0
0
posrecip
1
0
times
2
1
0
2
0
0
s
1
0
plus
2
1
0
2
0
0
from
1
0
active
1
1
0
pi
1
0
posrecip
1
0
mark
times
X1
X2
active
times
mark
X1
mark
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
mark
rcons
X1
X2
active
rcons
mark
X1
mark
X2
pi
mark
X
pi
X
active
2ndsneg
0
Z
mark
rnil
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
active
plus
s
X
Y
mark
s
plus
X
Y
plus
active
X1
X2
plus
X1
X2
active
from
X
mark
cons
X
from
s
X
active
2ndspos
s
N
cons
X
cons
Y
Z
mark
rcons
posrecip
Y
2ndsneg
N
Z
mark
0
active
0
mark
negrecip
X
active
negrecip
mark
X
2ndspos
active
X1
X2
2ndspos
X1
X2
from
mark
X
from
X
mark
posrecip
X
active
posrecip
mark
X
s
mark
X
s
X
mark
rnil
active
rnil
square
mark
X
square
X
from
active
X
from
X
2ndspos
mark
X1
X2
2ndspos
X1
X2
mark
pi
X
active
pi
mark
X
cons
mark
X1
X2
cons
X1
X2
2ndsneg
mark
X1
X2
2ndsneg
X1
X2
active
2ndsneg
s
N
cons
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
s
active
X
s
X
active
times
s
X
Y
mark
plus
Y
times
X
Y
rcons
X1
mark
X2
rcons
X1
X2
active
plus
0
Y
mark
Y
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
mark
square
X
active
square
mark
X
negrecip
active
X
negrecip
X
plus
mark
X1
X2
plus
X1
X2
cons
active
X1
X2
cons
X1
X2
mark
s
X
active
s
mark
X
times
mark
X1
X2
times
X1
X2
cons
X1
active
X2
cons
X1
X2
mark
from
X
active
from
mark
X
2ndsneg
X1
mark
X2
2ndsneg
X1
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
times
X1
X2
active
times
mark
X1
mark
X2
times
X1
mark
X2
times
X1
X2
active
square
X
mark
times
X
X
active
times
0
Y
mark
0
mark
cons
X1
X2
active
cons
mark
X1
X2
pi
active
X
pi
X
rcons
active
X1
X2
rcons
X1
X2
plus
X1
active
X2
plus
X1
X2
times
X1
active
X2
times
X1
X2
active
pi
X
mark
2ndspos
X
from
0
rcons
mark
X1
X2
rcons
X1
X2
square
active
X
square
X
times
active
X1
X2
times
X1
X2
negrecip
mark
X
negrecip
X
plus
X1
mark
X2
plus
X1
X2
2ndsneg
X1
active
X2
2ndsneg
X1
X2
2ndspos
X1
active
X2
2ndspos
X1
X2
rcons
X1
active
X2
rcons
X1
X2
posrecip
mark
X
posrecip
X
2ndsneg
active
X1
X2
2ndsneg
X1
X2
2ndspos
X1
mark
X2
2ndspos
X1
X2
cons
X1
mark
X2
cons
X1
X2
posrecip
active
X
posrecip
X
active
2ndspos
0
Z
mark
rnil
mark
2ndspos
X1
X2
active
2ndspos
mark
X1
mark
X2
false
mark
2ndsneg
X1
X2
active
2ndsneg
mark
X1
mark
X2
false
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
false
mark
times
X1
X2
active
times
mark
X1
mark
X2
false
mark
cons
X1
X2
cons
mark
X1
X2
false
mark
times
X1
X2
times
mark
X1
mark
X2
false
mark
plus
X1
X2
plus
mark
X1
mark
X2
false
active
2ndspos
0
Z
mark
rnil
false
mark
from
X
from
mark
X
false
mark
s
X
s
mark
X
false
active
pi
X
2ndspos
X
from
0
false
active
pi
X
from
0
false
active
times
0
Y
mark
0
false
mark
square
X
square
mark
X
false
square
active
X
square
X
square
mark
X
square
X
true
negrecip
1
1
39812
cons
2
0
s
1
83597
negrecip
1
0
2ndspos
2
1
54261
rnil
0
0
plus
2
0
square
1
0
square
1
1
0
pi
1
1
2631
rcons
2
0
rcons
2
223276
times
2
0
mark
1
17346
0
0
1
posrecip
1
0
from
1
1
51281
times
2
1
51630
s
1
0
mark
1
1
1
2ndsneg
2
1
2
49141
plus
2
2
31967
2ndspos
2
0
from
1
0
active
1
1
51630
cons
2
1
2
19454
active
1
17346
pi
1
0
2ndsneg
2
0
posrecip
1
1
36526
s
mark
X
s
X
s
active
X
s
X
posrecip
mark
X
posrecip
X
posrecip
active
X
posrecip
X
active
square
X
times
X
X
false
mark
2ndsneg
X1
X2
2ndsneg
mark
X1
mark
X2
false
mark
pi
X
pi
mark
X
false
pi
mark
X
pi
X
pi
active
X
pi
X
true
negrecip
1
1
28579
cons
2
0
s
1
3
negrecip
1
0
2ndspos
2
1
30383
rnil
0
0
plus
2
0
square
1
0
square
1
0
pi
1
1
30381
rcons
2
0
rcons
2
30388
times
2
0
mark
1
17346
0
0
1
posrecip
1
0
from
1
1
22512
times
2
1
2
s
1
0
mark
1
1
1
2ndsneg
2
1
2
12664
plus
2
2
1
2ndspos
2
0
from
1
0
active
1
1
2
cons
2
1
2
1
active
1
17346
pi
1
1
0
2ndsneg
2
0
posrecip
1
1
50727
s
mark
X
s
X
s
active
X
s
X
posrecip
mark
X
posrecip
X
posrecip
active
X
posrecip
X
active
times
s
X
Y
plus
Y
times
X
Y
false
active
times
s
X
Y
times
X
Y
false
times
X1
active
X2
times
X1
X2
times
active
X1
X2
times
X1
X2
times
X1
mark
X2
times
X1
X2
times
mark
X1
X2
times
X1
X2
true
negrecip
1
1
28579
cons
2
0
s
1
27502
negrecip
1
0
2ndspos
2
1
678
rnil
0
0
plus
2
0
square
1
0
square
1
0
pi
1
1
676
rcons
2
0
rcons
2
30389
times
2
1
2
0
mark
1
17346
0
0
1
posrecip
1
0
from
1
1
1
times
2
1
30728
s
1
0
mark
1
1
1
2ndsneg
2
1
2
400
plus
2
2
27233
2ndspos
2
0
from
1
0
active
1
1
2
cons
2
1
2
824
active
1
17346
pi
1
0
2ndsneg
2
0
posrecip
1
1
34659
s
mark
X
s
X
s
active
X
s
X
posrecip
mark
X
posrecip
X
posrecip
active
X
posrecip
X
mark
posrecip
X
posrecip
mark
X
false
active
2ndsneg
s
N
cons
X
cons
Y
Z
rcons
negrecip
Y
2ndspos
N
Z
false
active
2ndsneg
s
N
cons
X
cons
Y
Z
negrecip
Y
false
active
2ndsneg
s
N
cons
X
cons
Y
Z
2ndspos
N
Z
false
mark
negrecip
X
negrecip
mark
X
false
negrecip
mark
X
negrecip
X
negrecip
active
X
negrecip
X
true
negrecip
1
1
4336
cons
2
0
s
1
3
negrecip
1
1
0
2ndspos
2
1
7860
rnil
0
0
plus
2
0
square
1
0
square
1
0
pi
1
1
5365
rcons
2
0
rcons
2
91767
times
2
0
mark
1
17346
0
0
1
posrecip
1
0
from
1
1
1
times
2
1
2
s
1
0
mark
1
1
1
2ndsneg
2
1
2
29094
plus
2
2
1
2ndspos
2
0
from
1
0
active
1
1
2
cons
2
1
2
31334
active
1
17346
pi
1
0
2ndsneg
2
0
posrecip
1
1
17025
s
mark
X
s
X
s
active
X
s
X
posrecip
mark
X
posrecip
X
posrecip
active
X
posrecip
X
mark
0
active
0
false
active
2ndspos
s
N
cons
X
cons
Y
Z
rcons
posrecip
Y
2ndsneg
N
Z
false
active
2ndspos
s
N
cons
X
cons
Y
Z
posrecip
Y
false
active
2ndspos
s
N
cons
X
cons
Y
Z
2ndsneg
N
Z
false
2ndsneg
X1
active
X2
2ndsneg
X1
X2
2ndsneg
active
X1
X2
2ndsneg
X1
X2
2ndsneg
X1
mark
X2
2ndsneg
X1
X2
2ndsneg
mark
X1
X2
2ndsneg
X1
X2
true
negrecip
1
1
1
cons
2
0
s
1
3
negrecip
1
0
2ndspos
2
1
3
rnil
0
0
plus
2
0
square
1
0
square
1
0
pi
1
1
1
rcons
2
0
rcons
2
8
times
2
0
mark
1
17346
0
0
1
posrecip
1
0
from
1
1
33679
times
2
1
23803
s
1
0
mark
1
1
1
2ndsneg
2
1
2
1
plus
2
2
1
2ndspos
2
0
from
1
0
active
1
1
2
cons
2
1
2
1
active
1
17346
pi
1
0
2ndsneg
2
1
2
0
posrecip
1
1
12519
s
mark
X
s
X
s
active
X
s
X
posrecip
mark
X
posrecip
X
posrecip
active
X
posrecip
X
mark
2ndspos
X1
X2
2ndspos
mark
X1
mark
X2
false
2ndspos
active
X1
X2
2ndspos
X1
X2
2ndspos
X1
mark
X2
2ndspos
X1
X2
2ndspos
X1
active
X2
2ndspos
X1
X2
2ndspos
mark
X1
X2
2ndspos
X1
X2
true
negrecip
1
1
1
cons
2
0
s
1
18302
negrecip
1
0
2ndspos
2
1
48173
rnil
0
0
plus
2
0
square
1
0
square
1
0
pi
1
1
24633
rcons
2
0
rcons
2
66477
times
2
0
mark
1
17346
0
0
27718
posrecip
1
0
from
1
1
25144
times
2
1
11453
s
1
0
mark
1
1
1
2ndsneg
2
1
2
38803
plus
2
2
18300
2ndspos
2
1
2
0
from
1
0
active
1
1
2
cons
2
1
2
4685
active
1
17346
pi
1
0
2ndsneg
2
0
posrecip
1
1
1
s
mark
X
s
X
s
active
X
s
X
posrecip
mark
X
posrecip
X
posrecip
active
X
posrecip
X
active
from
X
cons
X
from
s
X
false
cons
X1
mark
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
true
negrecip
1
1
1
cons
2
1
2
0
s
1
9483
negrecip
1
0
2ndspos
2
1
34605
rnil
0
0
plus
2
0
square
1
0
square
1
0
pi
1
1
34603
rcons
2
0
rcons
2
44090
times
2
0
mark
1
17346
0
0
1
posrecip
1
0
from
1
1
1
times
2
1
27962
s
1
0
mark
1
1
1
2ndsneg
2
1
2
1
plus
2
2
9481
2ndspos
2
0
from
1
0
active
1
1
2
cons
2
1
2
240
active
1
17346
pi
1
0
2ndsneg
2
0
posrecip
1
1
1
s
mark
X
s
X
s
active
X
s
X
posrecip
mark
X
posrecip
X
posrecip
active
X
posrecip
X
active
from
X
from
s
X
false
from
mark
X
from
X
from
active
X
from
X
true
negrecip
1
1
14861
cons
2
0
s
1
3
negrecip
1
0
2ndspos
2
1
3
rnil
0
0
plus
2
0
square
1
0
square
1
0
pi
1
1
1
rcons
2
0
rcons
2
31110
times
2
0
mark
1
17346
0
0
1
posrecip
1
0
from
1
1
1
times
2
1
2
s
1
0
mark
1
1
1
2ndsneg
2
1
2
1
plus
2
2
1
2ndspos
2
0
from
1
1
0
active
1
1
2
cons
2
1
2
1
active
1
17346
pi
1
0
2ndsneg
2
0
posrecip
1
1
19008
s
mark
X
s
X
s
active
X
s
X
posrecip
mark
X
posrecip
X
posrecip
active
X
posrecip
X
active
from
X
s
X
false
mark
rcons
X1
X2
rcons
mark
X1
mark
X2
false
active
plus
s
X
Y
s
plus
X
Y
false
s
active
X
s
X
s
mark
X
s
X
true
negrecip
1
1
12770
cons
2
0
s
1
3
negrecip
1
0
2ndspos
2
1
12478
rnil
0
0
plus
2
0
square
1
0
square
1
0
pi
1
1
1552
rcons
2
0
rcons
2
12805
times
2
0
mark
1
17346
0
0
1
posrecip
1
0
from
1
1
46124
times
2
1
2
s
1
1
0
mark
1
1
1
2ndsneg
2
1
2
12798
plus
2
2
1
2ndspos
2
0
from
1
0
active
1
1
2
cons
2
1
2
1
active
1
17346
pi
1
0
2ndsneg
2
0
posrecip
1
1
56475
s
mark
X
s
X
s
active
X
s
X
posrecip
mark
X
posrecip
X
posrecip
active
X
posrecip
X
active
plus
s
X
Y
plus
X
Y
false
plus
X1
active
X2
plus
X1
X2
plus
mark
X1
X2
plus
X1
X2
plus
active
X1
X2
plus
X1
X2
plus
X1
mark
X2
plus
X1
X2
true
negrecip
1
1
2
cons
2
0
s
1
1
1
negrecip
1
0
2ndspos
2
1
6558
rnil
0
46733
plus
2
1
0
square
1
1
70
square
1
0
pi
1
1
5065
rcons
2
0
rcons
2
1
24496
times
2
0
mark
1
17346
0
0
1
posrecip
1
0
from
1
1
1
times
2
1
2
67
s
1
0
mark
1
1
357
2ndsneg
2
1
2
1
plus
2
2
1
2ndspos
2
0
from
1
0
active
1
1
1
cons
2
1
2
1
active
1
17346
pi
1
0
2ndsneg
2
0
posrecip
1
42893
plus
X1
mark
X2
plus
X1
X2
plus
X1
active
X2
plus
X1
X2
plus
X1
active
X2
plus
X1
X2
plus
X1
mark
X2
plus
X1
X2
true
negrecip
1
16800
cons
2
0
s
1
1
1
negrecip
1
0
2ndspos
2
1
27742
rnil
0
53921
plus
2
2
0
square
1
1
1
square
1
0
pi
1
1
6332
rcons
2
0
rcons
2
45581
times
2
0
mark
1
17346
0
0
1
posrecip
1
0
from
1
1765
times
2
1
2
8924
s
1
0
mark
1
1
31850
2ndsneg
2
1
19148
plus
2
2
1
2ndspos
2
0
from
1
0
active
1
1
1
cons
2
1
10534
active
1
17346
pi
1
0
2ndsneg
2
0
posrecip
1
2447
rcons
X1
mark
X2
rcons
X1
X2
negrecip
active
X
negrecip
X
rcons
active
X1
X2
rcons
X1
X2
rcons
mark
X1
X2
rcons
X1
X2
negrecip
mark
X
negrecip
X
rcons
X1
active
X2
rcons
X1
X2
posrecip
mark
X
posrecip
X
posrecip
active
X
posrecip
X
active
2ndsneg
0
Z
mark
rnil
false
mark
rnil
active
rnil
false
posrecip
mark
X
posrecip
X
posrecip
active
X
posrecip
X
true
negrecip
1
1
1
cons
2
0
s
1
1
1
negrecip
1
0
2ndspos
2
1
30267
rnil
0
53879
plus
2
0
square
1
1
15815
square
1
0
pi
1
1
20595
rcons
2
0
rcons
2
1
30012
times
2
0
mark
1
17346
0
0
1
posrecip
1
1
0
from
1
1
27253
times
2
1
2
15114
s
1
0
mark
1
1
33121
2ndsneg
2
1
10708
plus
2
1
2
33118
2ndspos
2
0
from
1
0
active
1
1
1
cons
2
1
49199
active
1
17346
pi
1
0
2ndsneg
2
0
posrecip
1
1
27740
rcons
mark
X1
X2
rcons
X1
X2
rcons
X1
mark
X2
rcons
X1
X2
rcons
X1
active
X2
rcons
X1
X2
rcons
active
X1
X2
rcons
X1
X2
true
negrecip
1
1
24761
cons
2
0
s
1
1
1
negrecip
1
0
2ndspos
2
1
1
rnil
0
1
plus
2
0
square
1
1
1
square
1
0
pi
1
1
1
rcons
2
1
2
0
rcons
2
1
33528
times
2
0
mark
1
17346
0
0
1
posrecip
1
0
from
1
1
1
times
2
1
2
1
s
1
0
mark
1
1
4
2ndsneg
2
1
1
plus
2
1
2
1
2ndspos
2
0
from
1
0
active
1
1
1
cons
2
1
1
active
1
17346
pi
1
0
2ndsneg
2
0
posrecip
1
1
1
NaTT
certifiable-1.6