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
active
s
X
s
active
X
active
posrecip
X
posrecip
active
X
active
negrecip
X
negrecip
active
X
active
cons
X1
X2
cons
active
X1
X2
active
rcons
X1
X2
rcons
active
X1
X2
active
rcons
X1
X2
rcons
X1
active
X2
active
from
X
from
active
X
active
2ndspos
X1
X2
2ndspos
active
X1
X2
active
2ndspos
X1
X2
2ndspos
X1
active
X2
active
2ndsneg
X1
X2
2ndsneg
active
X1
X2
active
2ndsneg
X1
X2
2ndsneg
X1
active
X2
active
pi
X
pi
active
X
active
plus
X1
X2
plus
active
X1
X2
active
plus
X1
X2
plus
X1
active
X2
active
times
X1
X2
times
active
X1
X2
active
times
X1
X2
times
X1
active
X2
active
square
X
square
active
X
s
mark
X
mark
s
X
posrecip
mark
X
mark
posrecip
X
negrecip
mark
X
mark
negrecip
X
cons
mark
X1
X2
mark
cons
X1
X2
rcons
mark
X1
X2
mark
rcons
X1
X2
rcons
X1
mark
X2
mark
rcons
X1
X2
from
mark
X
mark
from
X
2ndspos
mark
X1
X2
mark
2ndspos
X1
X2
2ndspos
X1
mark
X2
mark
2ndspos
X1
X2
2ndsneg
mark
X1
X2
mark
2ndsneg
X1
X2
2ndsneg
X1
mark
X2
mark
2ndsneg
X1
X2
pi
mark
X
mark
pi
X
plus
mark
X1
X2
mark
plus
X1
X2
plus
X1
mark
X2
mark
plus
X1
X2
times
mark
X1
X2
mark
times
X1
X2
times
X1
mark
X2
mark
times
X1
X2
square
mark
X
mark
square
X
proper
0
ok
0
proper
s
X
s
proper
X
proper
posrecip
X
posrecip
proper
X
proper
negrecip
X
negrecip
proper
X
proper
nil
ok
nil
proper
cons
X1
X2
cons
proper
X1
proper
X2
proper
rnil
ok
rnil
proper
rcons
X1
X2
rcons
proper
X1
proper
X2
proper
from
X
from
proper
X
proper
2ndspos
X1
X2
2ndspos
proper
X1
proper
X2
proper
2ndsneg
X1
X2
2ndsneg
proper
X1
proper
X2
proper
pi
X
pi
proper
X
proper
plus
X1
X2
plus
proper
X1
proper
X2
proper
times
X1
X2
times
proper
X1
proper
X2
proper
square
X
square
proper
X
s
ok
X
ok
s
X
posrecip
ok
X
ok
posrecip
X
negrecip
ok
X
ok
negrecip
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
rcons
ok
X1
ok
X2
ok
rcons
X1
X2
from
ok
X
ok
from
X
2ndspos
ok
X1
ok
X2
ok
2ndspos
X1
X2
2ndsneg
ok
X1
ok
X2
ok
2ndsneg
X1
X2
pi
ok
X
ok
pi
X
plus
ok
X1
ok
X2
ok
plus
X1
X2
times
ok
X1
ok
X2
ok
times
X1
X2
square
ok
X
ok
square
X
top
mark
X
top
proper
X
top
ok
X
top
active
X
2.2
s
mark
X
s
X
active
rcons
X1
X2
rcons
X1
active
X2
active
plus
X1
X2
plus
active
X1
X2
proper
times
X1
X2
proper
X2
proper
cons
X1
X2
cons
proper
X1
proper
X2
active
times
X1
X2
active
X2
2ndsneg
X1
mark
X2
2ndsneg
X1
X2
active
pi
X
pi
active
X
proper
pi
X
proper
X
2ndspos
mark
X1
X2
2ndspos
X1
X2
proper
pi
X
pi
proper
X
proper
cons
X1
X2
proper
X2
active
rcons
X1
X2
active
X1
active
2ndsneg
X1
X2
active
X1
negrecip
ok
X
negrecip
X
active
2ndsneg
s
N
cons
X
cons
Y
Z
negrecip
Y
active
pi
X
active
X
proper
2ndsneg
X1
X2
2ndsneg
proper
X1
proper
X2
square
ok
X
square
X
square
mark
X
square
X
times
X1
mark
X2
times
X1
X2
active
from
X
from
active
X
active
2ndsneg
s
N
cons
X
cons
Y
Z
2ndspos
N
Z
posrecip
ok
X
posrecip
X
active
from
X
active
X
proper
negrecip
X
proper
X
active
posrecip
X
posrecip
active
X
plus
mark
X1
X2
plus
X1
X2
posrecip
mark
X
posrecip
X
active
cons
X1
X2
cons
active
X1
X2
proper
2ndsneg
X1
X2
proper
X2
active
times
s
X
Y
plus
Y
times
X
Y
active
square
X
times
X
X
active
2ndspos
X1
X2
active
X1
proper
from
X
proper
X
active
s
X
active
X
proper
rcons
X1
X2
proper
X1
top
mark
X
proper
X
proper
s
X
proper
X
active
rcons
X1
X2
rcons
active
X1
X2
active
negrecip
X
active
X
rcons
ok
X1
ok
X2
rcons
X1
X2
active
plus
s
X
Y
plus
X
Y
2ndsneg
ok
X1
ok
X2
2ndsneg
X1
X2
2ndsneg
mark
X1
X2
2ndsneg
X1
X2
rcons
mark
X1
X2
rcons
X1
X2
s
ok
X
s
X
rcons
X1
mark
X2
rcons
X1
X2
active
square
X
active
X
plus
ok
X1
ok
X2
plus
X1
X2
active
2ndsneg
X1
X2
2ndsneg
active
X1
X2
cons
ok
X1
ok
X2
cons
X1
X2
active
2ndspos
s
N
cons
X
cons
Y
Z
posrecip
Y
proper
rcons
X1
X2
rcons
proper
X1
proper
X2
proper
2ndspos
X1
X2
proper
X1
active
2ndsneg
X1
X2
2ndsneg
X1
active
X2
active
negrecip
X
negrecip
active
X
active
2ndspos
X1
X2
2ndspos
active
X1
X2
active
times
X1
X2
times
X1
active
X2
active
cons
X1
X2
active
X1
proper
rcons
X1
X2
proper
X2
proper
from
X
from
proper
X
active
plus
X1
X2
plus
X1
active
X2
proper
2ndspos
X1
X2
2ndspos
proper
X1
proper
X2
negrecip
mark
X
negrecip
X
pi
ok
X
pi
X
active
pi
X
2ndspos
X
from
0
active
plus
s
X
Y
s
plus
X
Y
proper
plus
X1
X2
plus
proper
X1
proper
X2
cons
mark
X1
X2
cons
X1
X2
2ndspos
X1
mark
X2
2ndspos
X1
X2
active
posrecip
X
active
X
proper
s
X
s
proper
X
active
times
X1
X2
times
active
X1
X2
active
times
X1
X2
active
X1
active
2ndspos
X1
X2
2ndspos
X1
active
X2
2ndspos
ok
X1
ok
X2
2ndspos
X1
X2
active
2ndsneg
s
N
cons
X
cons
Y
Z
rcons
negrecip
Y
2ndspos
N
Z
plus
X1
mark
X2
plus
X1
X2
active
plus
X1
X2
active
X1
active
2ndspos
X1
X2
active
X2
proper
times
X1
X2
proper
X1
proper
plus
X1
X2
proper
X2
pi
mark
X
pi
X
proper
square
X
square
proper
X
active
rcons
X1
X2
active
X2
proper
times
X1
X2
times
proper
X1
proper
X2
proper
negrecip
X
negrecip
proper
X
proper
posrecip
X
proper
X
proper
2ndspos
X1
X2
proper
X2
top
ok
X
active
X
active
plus
X1
X2
active
X2
active
from
X
s
X
active
pi
X
from
0
active
2ndspos
s
N
cons
X
cons
Y
Z
rcons
posrecip
Y
2ndsneg
N
Z
proper
square
X
proper
X
active
times
s
X
Y
times
X
Y
proper
cons
X1
X2
proper
X1
proper
plus
X1
X2
proper
X1
proper
posrecip
X
posrecip
proper
X
from
mark
X
from
X
active
square
X
square
active
X
times
mark
X1
X2
times
X1
X2
proper
2ndsneg
X1
X2
proper
X1
top
mark
X
top
proper
X
times
ok
X1
ok
X2
times
X1
X2
active
2ndspos
s
N
cons
X
cons
Y
Z
2ndsneg
N
Z
active
from
X
cons
X
from
s
X
from
ok
X
from
X
active
from
X
from
s
X
active
2ndsneg
X1
X2
active
X2
active
s
X
s
active
X
top
ok
X
top
active
X
true
top
ok
X
top
active
X
top
mark
X
top
proper
X
true
cons
2
1
top
1
1
proper
1
1
ok
1
1
posrecip
1
1
active
1
1
posrecip
1
1
negrecip
1
2
1
s
1
1
1
negrecip
1
0
2ndspos
2
3
1
2
top
1
0
rnil
0
3
plus
2
0
1
2
square
1
2
1
square
1
0
pi
1
4
1
rcons
2
0
1
rcons
2
2
2
1
times
2
0
0
0
5
from
1
5
1
times
2
5
2
1
s
1
0
nil
0
0
mark
1
1
1
2ndsneg
2
3
1
2
proper
1
0
plus
2
3
2
1
2ndspos
2
0
2
from
1
0
cons
2
4
1
active
1
0
pi
1
0
2ndsneg
2
0
negrecip
1
1
0
s
1
1
0
negrecip
1
1
2ndspos
2
1
2
7433
top
1
1
rnil
0
40080
plus
2
1
1
2
1
0
square
1
1
15946
square
1
1
pi
1
1
58092
rcons
2
1
1
0
rcons
2
1
7434
2
0
0
times
2
0
0
0
32648
from
1
1
18010
times
2
1
15945
2
15944
0
s
1
1
nil
0
1
mark
1
1
0
2ndsneg
2
1
2
7433
proper
1
1
plus
2
1
1
2
0
0
2ndspos
2
2
1
from
1
1
cons
2
1
2749
2
0
0
active
1
1
pi
1
1
2ndsneg
2
1
1
top
ok
X
top
active
X
active
from
X
from
active
X
proper
nil
ok
nil
active
2ndsneg
0
Z
mark
rnil
active
cons
X1
X2
cons
active
X1
X2
active
plus
s
X
Y
mark
s
plus
X
Y
proper
from
X
from
proper
X
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
rcons
X1
X2
rcons
active
X1
X2
active
2ndsneg
X1
X2
2ndsneg
active
X1
X2
2ndspos
mark
X1
X2
mark
2ndspos
X1
X2
2ndsneg
ok
X1
ok
X2
ok
2ndsneg
X1
X2
active
times
X1
X2
times
active
X1
X2
negrecip
ok
X
ok
negrecip
X
active
2ndspos
X1
X2
2ndspos
active
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
active
rcons
X1
X2
rcons
X1
active
X2
proper
square
X
square
proper
X
active
times
X1
X2
times
X1
active
X2
rcons
X1
mark
X2
mark
rcons
X1
X2
active
2ndsneg
X1
X2
2ndsneg
X1
active
X2
active
square
X
square
active
X
rcons
ok
X1
ok
X2
ok
rcons
X1
X2
times
X1
mark
X2
mark
times
X1
X2
active
2ndsneg
s
N
cons
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
square
ok
X
ok
square
X
rcons
mark
X1
X2
mark
rcons
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
active
times
s
X
Y
mark
plus
Y
times
X
Y
2ndsneg
X1
mark
X2
mark
2ndsneg
X1
X2
active
plus
0
Y
mark
Y
active
2ndspos
X1
X2
2ndspos
X1
active
X2
active
plus
X1
X2
plus
X1
active
X2
proper
negrecip
X
negrecip
proper
X
proper
rnil
ok
rnil
posrecip
mark
X
mark
posrecip
X
posrecip
ok
X
ok
posrecip
X
active
negrecip
X
negrecip
active
X
proper
2ndsneg
X1
X2
2ndsneg
proper
X1
proper
X2
negrecip
mark
X
mark
negrecip
X
active
s
X
s
active
X
pi
ok
X
ok
pi
X
square
mark
X
mark
square
X
active
pi
X
pi
active
X
plus
ok
X1
ok
X2
ok
plus
X1
X2
active
plus
X1
X2
plus
active
X1
X2
proper
pi
X
pi
proper
X
active
square
X
mark
times
X
X
active
times
0
Y
mark
0
active
posrecip
X
posrecip
active
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
pi
mark
X
mark
pi
X
2ndspos
ok
X1
ok
X2
ok
2ndspos
X1
X2
proper
2ndspos
X1
X2
2ndspos
proper
X1
proper
X2
proper
times
X1
X2
times
proper
X1
proper
X2
active
pi
X
mark
2ndspos
X
from
0
2ndsneg
mark
X1
X2
mark
2ndsneg
X1
X2
s
ok
X
ok
s
X
proper
plus
X1
X2
plus
proper
X1
proper
X2
proper
posrecip
X
posrecip
proper
X
times
ok
X1
ok
X2
ok
times
X1
X2
proper
rcons
X1
X2
rcons
proper
X1
proper
X2
proper
s
X
s
proper
X
2ndspos
X1
mark
X2
mark
2ndspos
X1
X2
plus
mark
X1
X2
mark
plus
X1
X2
plus
X1
mark
X2
mark
plus
X1
X2
proper
0
ok
0
from
ok
X
ok
from
X
from
mark
X
mark
from
X
s
mark
X
mark
s
X
times
mark
X1
X2
mark
times
X1
X2
active
2ndspos
0
Z
mark
rnil
top
ok
X
top
active
X
true
negrecip
1
1
1
cons
2
0
s
1
1
1
negrecip
1
0
2ndspos
2
1
1
top
1
0
rnil
0
26608
plus
2
0
square
1
1
1
top
1
1
0
square
1
0
pi
1
1
1
rcons
2
0
rcons
2
2
1
proper
1
1
13963
ok
1
1
13963
times
2
0
0
0
1
posrecip
1
0
from
1
1
1
times
2
1
1
s
1
0
nil
0
1
mark
1
0
2ndsneg
2
2
0
proper
1
0
plus
2
2
1
2ndspos
2
0
from
1
0
active
1
1
1
cons
2
1
1
active
1
0
pi
1
0
2ndsneg
2
0
posrecip
1
1
0
active
from
X
from
active
X
proper
nil
ok
nil
active
2ndsneg
0
Z
mark
rnil
active
cons
X1
X2
cons
active
X1
X2
active
plus
s
X
Y
mark
s
plus
X
Y
proper
from
X
from
proper
X
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
rcons
X1
X2
rcons
active
X1
X2
active
2ndsneg
X1
X2
2ndsneg
active
X1
X2
2ndspos
mark
X1
X2
mark
2ndspos
X1
X2
2ndsneg
ok
X1
ok
X2
ok
2ndsneg
X1
X2
active
times
X1
X2
times
active
X1
X2
negrecip
ok
X
ok
negrecip
X
active
2ndspos
X1
X2
2ndspos
active
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
active
rcons
X1
X2
rcons
X1
active
X2
proper
square
X
square
proper
X
active
times
X1
X2
times
X1
active
X2
rcons
X1
mark
X2
mark
rcons
X1
X2
active
2ndsneg
X1
X2
2ndsneg
X1
active
X2
active
square
X
square
active
X
rcons
ok
X1
ok
X2
ok
rcons
X1
X2
times
X1
mark
X2
mark
times
X1
X2
active
2ndsneg
s
N
cons
X
cons
Y
Z
mark
rcons
negrecip
Y
2ndspos
N
Z
square
ok
X
ok
square
X
rcons
mark
X1
X2
mark
rcons
X1
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
active
times
s
X
Y
mark
plus
Y
times
X
Y
2ndsneg
X1
mark
X2
mark
2ndsneg
X1
X2
active
plus
0
Y
mark
Y
active
2ndspos
X1
X2
2ndspos
X1
active
X2
active
plus
X1
X2
plus
X1
active
X2
proper
negrecip
X
negrecip
proper
X
proper
rnil
ok
rnil
posrecip
mark
X
mark
posrecip
X
posrecip
ok
X
ok
posrecip
X
active
negrecip
X
negrecip
active
X
proper
2ndsneg
X1
X2
2ndsneg
proper
X1
proper
X2
negrecip
mark
X
mark
negrecip
X
active
s
X
s
active
X
pi
ok
X
ok
pi
X
square
mark
X
mark
square
X
active
pi
X
pi
active
X
plus
ok
X1
ok
X2
ok
plus
X1
X2
active
plus
X1
X2
plus
active
X1
X2
proper
pi
X
pi
proper
X
active
square
X
mark
times
X
X
active
times
0
Y
mark
0
active
posrecip
X
posrecip
active
X
proper
cons
X1
X2
cons
proper
X1
proper
X2
pi
mark
X
mark
pi
X
2ndspos
ok
X1
ok
X2
ok
2ndspos
X1
X2
proper
2ndspos
X1
X2
2ndspos
proper
X1
proper
X2
proper
times
X1
X2
times
proper
X1
proper
X2
active
pi
X
mark
2ndspos
X
from
0
2ndsneg
mark
X1
X2
mark
2ndsneg
X1
X2
s
ok
X
ok
s
X
proper
plus
X1
X2
plus
proper
X1
proper
X2
proper
posrecip
X
posrecip
proper
X
times
ok
X1
ok
X2
ok
times
X1
X2
proper
rcons
X1
X2
rcons
proper
X1
proper
X2
proper
s
X
s
proper
X
2ndspos
X1
mark
X2
mark
2ndspos
X1
X2
plus
mark
X1
X2
mark
plus
X1
X2
plus
X1
mark
X2
mark
plus
X1
X2
proper
0
ok
0
from
ok
X
ok
from
X
from
mark
X
mark
from
X
s
mark
X
mark
s
X
times
mark
X1
X2
mark
times
X1
X2
active
2ndspos
0
Z
mark
rnil
top
mark
X
proper
X
false
top
ok
X
active
X
false
active
2ndsneg
X1
X2
active
X2
active
cons
X1
X2
active
X1
active
square
X
active
X
active
negrecip
X
active
X
active
plus
X1
X2
active
X2
active
s
X
active
X
active
2ndspos
X1
X2
active
X1
active
rcons
X1
X2
active
X2
active
from
X
active
X
active
2ndspos
X1
X2
active
X2
active
pi
X
active
X
active
plus
X1
X2
active
X1
active
2ndsneg
X1
X2
active
X1
active
rcons
X1
X2
active
X1
active
times
X1
X2
active
X1
active
times
X1
X2
active
X2
active
posrecip
X
active
X
true
negrecip
1
1
1
cons
2
0
s
1
1
1
negrecip
1
0
2ndspos
2
1
2
1
top
1
0
rnil
0
1
plus
2
0
square
1
1
18748
top
1
0
square
1
0
pi
1
1
1
rcons
2
0
rcons
2
1
2
1
proper
1
1
1
ok
1
3
times
2
0
0
0
1
posrecip
1
0
from
1
1
1
times
2
1
2
1
s
1
0
nil
0
1
mark
1
1
0
2ndsneg
2
1
2
1
proper
1
0
plus
2
1
2
1
2ndspos
2
0
from
1
0
active
1
0
cons
2
1
1
active
1
1
0
pi
1
0
2ndsneg
2
0
posrecip
1
1
1
rcons
X1
mark
X2
mark
rcons
X1
X2
rcons
ok
X1
ok
X2
ok
rcons
X1
X2
times
X1
mark
X2
mark
times
X1
X2
rcons
mark
X1
X2
mark
rcons
X1
X2
posrecip
mark
X
mark
posrecip
X
posrecip
ok
X
ok
posrecip
X
plus
ok
X1
ok
X2
ok
plus
X1
X2
s
ok
X
ok
s
X
times
ok
X1
ok
X2
ok
times
X1
X2
plus
mark
X1
X2
mark
plus
X1
X2
plus
X1
mark
X2
mark
plus
X1
X2
from
ok
X
ok
from
X
from
mark
X
mark
from
X
s
mark
X
mark
s
X
times
mark
X1
X2
mark
times
X1
X2
active
pi
X
2ndspos
X
from
0
false
active
pi
X
from
0
false
active
posrecip
X
posrecip
active
X
false
active
square
X
times
X
X
false
active
pi
X
pi
active
X
false
active
s
X
s
active
X
false
active
negrecip
X
negrecip
active
X
false
active
plus
X1
X2
plus
X1
active
X2
false
active
2ndspos
X1
X2
2ndspos
X1
active
X2
false
active
times
s
X
Y
plus
Y
times
X
Y
false
active
times
s
X
Y
times
X
Y
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
active
square
X
square
active
X
false
active
2ndsneg
X1
X2
2ndsneg
X1
active
X2
false
active
times
X1
X2
times
X1
active
X2
false
active
2ndspos
X1
X2
2ndspos
active
X1
X2
false
active
times
X1
X2
times
active
X1
X2
false
active
2ndsneg
X1
X2
2ndsneg
active
X1
X2
false
active
rcons
X1
X2
rcons
active
X1
X2
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
active
from
X
cons
X
from
s
X
false
active
from
X
from
s
X
false
active
from
X
s
X
false
active
plus
s
X
Y
s
plus
X
Y
false
active
plus
s
X
Y
plus
X
Y
false
active
cons
X1
X2
cons
active
X1
X2
false
active
from
X
from
active
X
false
proper
rcons
X1
X2
proper
X2
proper
2ndspos
X1
X2
proper
X1
proper
2ndsneg
X1
X2
proper
X1
proper
plus
X1
X2
proper
X1
proper
cons
X1
X2
proper
X1
proper
square
X
proper
X
proper
s
X
proper
X
proper
rcons
X1
X2
proper
X1
proper
from
X
proper
X
proper
2ndspos
X1
X2
proper
X2
proper
posrecip
X
proper
X
proper
2ndsneg
X1
X2
proper
X2
proper
negrecip
X
proper
X
proper
plus
X1
X2
proper
X2
proper
times
X1
X2
proper
X1
proper
cons
X1
X2
proper
X2
proper
pi
X
proper
X
proper
times
X1
X2
proper
X2
true
negrecip
1
1
977
cons
2
0
s
1
1
1
negrecip
1
0
2ndspos
2
1
2
1
top
1
0
rnil
0
1
plus
2
0
square
1
1
1
top
1
0
square
1
0
pi
1
1
1
rcons
2
0
rcons
2
1
2
1
proper
1
1
0
ok
1
2
times
2
0
0
0
1
posrecip
1
0
from
1
1
1
times
2
1
2
1
s
1
0
nil
0
1
mark
1
1
0
2ndsneg
2
1
2
1
proper
1
1
0
plus
2
1
2
1
2ndspos
2
0
from
1
0
active
1
0
cons
2
1
2
1
active
1
0
pi
1
0
2ndsneg
2
0
posrecip
1
1
1
rcons
X1
mark
X2
mark
rcons
X1
X2
rcons
ok
X1
ok
X2
ok
rcons
X1
X2
times
X1
mark
X2
mark
times
X1
X2
rcons
mark
X1
X2
mark
rcons
X1
X2
posrecip
mark
X
mark
posrecip
X
posrecip
ok
X
ok
posrecip
X
plus
ok
X1
ok
X2
ok
plus
X1
X2
s
ok
X
ok
s
X
times
ok
X1
ok
X2
ok
times
X1
X2
plus
mark
X1
X2
mark
plus
X1
X2
plus
X1
mark
X2
mark
plus
X1
X2
from
ok
X
ok
from
X
from
mark
X
mark
from
X
s
mark
X
mark
s
X
times
mark
X1
X2
mark
times
X1
X2
proper
s
X
s
proper
X
false
proper
rcons
X1
X2
rcons
proper
X1
proper
X2
false
proper
posrecip
X
posrecip
proper
X
false
posrecip
mark
X
posrecip
X
posrecip
ok
X
posrecip
X
true
negrecip
1
1
1
cons
2
0
s
1
1
1
negrecip
1
0
2ndspos
2
1
2
1
top
1
0
rnil
0
1
plus
2
0
square
1
1
1
top
1
0
square
1
0
pi
1
1
0
rcons
2
0
rcons
2
1
2
1
proper
1
1
0
ok
1
1
1
times
2
0
0
0
1
posrecip
1
1
0
from
1
1
1
times
2
1
2
28652
s
1
0
nil
0
56725
mark
1
1
0
2ndsneg
2
1
2
0
proper
1
0
plus
2
1
2
0
2ndspos
2
0
from
1
0
active
1
0
cons
2
1
2
1
active
1
0
pi
1
0
2ndsneg
2
0
posrecip
1
1
0
posrecip
mark
X
posrecip
X
rcons
X1
mark
X2
mark
rcons
X1
X2
rcons
ok
X1
ok
X2
ok
rcons
X1
X2
times
X1
mark
X2
mark
times
X1
X2
rcons
mark
X1
X2
mark
rcons
X1
X2
posrecip
mark
X
mark
posrecip
X
posrecip
ok
X
ok
posrecip
X
plus
ok
X1
ok
X2
ok
plus
X1
X2
s
ok
X
ok
s
X
times
ok
X1
ok
X2
ok
times
X1
X2
plus
mark
X1
X2
mark
plus
X1
X2
plus
X1
mark
X2
mark
plus
X1
X2
from
ok
X
ok
from
X
from
mark
X
mark
from
X
s
mark
X
mark
s
X
times
mark
X1
X2
mark
times
X1
X2
posrecip
mark
X
posrecip
X
true
negrecip
1
1
1
cons
2
0
s
1
1
1
negrecip
1
0
2ndspos
2
1
2
1
top
1
0
rnil
0
1
plus
2
0
square
1
1
21256
top
1
0
square
1
0
pi
1
1
0
rcons
2
0
rcons
2
8856
proper
1
1
0
ok
1
1
1
times
2
0
0
0
0
posrecip
1
1
0
from
1
1
3448
times
2
1
2
1
s
1
0
nil
0
1
mark
1
1
1
2ndsneg
2
2
0
proper
1
0
plus
2
1
2
0
2ndspos
2
0
from
1
0
active
1
1
cons
2
1
2
18841
active
1
0
pi
1
0
2ndsneg
2
0
posrecip
1
1
0
times
X1
mark
X2
mark
times
X1
X2
posrecip
mark
X
mark
posrecip
X
posrecip
ok
X
ok
posrecip
X
plus
ok
X1
ok
X2
ok
plus
X1
X2
s
ok
X
ok
s
X
times
ok
X1
ok
X2
ok
times
X1
X2
plus
mark
X1
X2
mark
plus
X1
X2
plus
X1
mark
X2
mark
plus
X1
X2
from
ok
X
ok
from
X
from
mark
X
mark
from
X
s
mark
X
mark
s
X
times
mark
X1
X2
mark
times
X1
X2
proper
times
X1
X2
times
proper
X1
proper
X2
false
times
ok
X1
ok
X2
times
X1
X2
times
mark
X1
X2
times
X1
X2
times
X1
mark
X2
times
X1
X2
true
negrecip
1
1
1
cons
2
0
s
1
1
1
negrecip
1
0
2ndspos
2
1
2
1
top
1
0
rnil
0
40482
plus
2
0
square
1
1
1
top
1
0
square
1
0
pi
1
1
0
rcons
2
0
rcons
2
2
proper
1
1
0
ok
1
1
1
times
2
2
0
0
0
0
posrecip
1
0
from
1
1
3448
times
2
1
2
1
s
1
0
nil
0
1
mark
1
1
1
2ndsneg
2
2
0
proper
1
0
plus
2
1
2
0
2ndspos
2
0
from
1
0
active
1
1
cons
2
1
2
1
active
1
0
pi
1
0
2ndsneg
2
0
posrecip
1
1
0
times
mark
X1
X2
times
X1
X2
times
X1
mark
X2
mark
times
X1
X2
posrecip
mark
X
mark
posrecip
X
posrecip
ok
X
ok
posrecip
X
plus
ok
X1
ok
X2
ok
plus
X1
X2
s
ok
X
ok
s
X
times
ok
X1
ok
X2
ok
times
X1
X2
plus
mark
X1
X2
mark
plus
X1
X2
plus
X1
mark
X2
mark
plus
X1
X2
from
ok
X
ok
from
X
from
mark
X
mark
from
X
s
mark
X
mark
s
X
times
mark
X1
X2
mark
times
X1
X2
times
mark
X1
X2
times
X1
X2
true
negrecip
1
1
1
cons
2
0
s
1
1
1
negrecip
1
0
2ndspos
2
1
2
1
top
1
0
rnil
0
12815
plus
2
0
square
1
1
1
top
1
0
square
1
0
pi
1
1
0
rcons
2
0
rcons
2
2
proper
1
1
0
ok
1
1
1
times
2
1
0
0
0
0
posrecip
1
0
from
1
1
1
times
2
1
2
1
s
1
0
nil
0
1
mark
1
1
1
2ndsneg
2
2
0
proper
1
0
plus
2
1
2
0
2ndspos
2
0
from
1
0
active
1
1
cons
2
1
2
1
active
1
0
pi
1
0
2ndsneg
2
0
posrecip
1
1
0
times
X1
mark
X2
mark
times
X1
X2
posrecip
mark
X
mark
posrecip
X
posrecip
ok
X
ok
posrecip
X
plus
ok
X1
ok
X2
ok
plus
X1
X2
s
ok
X
ok
s
X
times
ok
X1
ok
X2
ok
times
X1
X2
plus
mark
X1
X2
mark
plus
X1
X2
plus
X1
mark
X2
mark
plus
X1
X2
from
ok
X
ok
from
X
from
mark
X
mark
from
X
s
mark
X
mark
s
X
times
mark
X1
X2
mark
times
X1
X2
proper
2ndspos
X1
X2
2ndspos
proper
X1
proper
X2
false
2ndspos
ok
X1
ok
X2
2ndspos
X1
X2
2ndspos
mark
X1
X2
2ndspos
X1
X2
2ndspos
X1
mark
X2
2ndspos
X1
X2
true
negrecip
1
1
1
cons
2
0
s
1
1
1
negrecip
1
0
2ndspos
2
1
2
1
top
1
0
rnil
0
1
plus
2
0
square
1
1
1
top
1
0
square
1
0
pi
1
1
0
rcons
2
0
rcons
2
2
proper
1
1
0
ok
1
1
1
times
2
0
0
0
0
posrecip
1
0
from
1
1
1
times
2
1
2
1
s
1
0
nil
0
1
mark
1
1
1
2ndsneg
2
1
2
0
proper
1
0
plus
2
1
2
0
2ndspos
2
1
2
0
from
1
0
active
1
1
cons
2
1
2
1
active
1
0
pi
1
0
2ndsneg
2
0
posrecip
1
1
0
times
X1
mark
X2
mark
times
X1
X2
posrecip
mark
X
mark
posrecip
X
posrecip
ok
X
ok
posrecip
X
plus
ok
X1
ok
X2
ok
plus
X1
X2
s
ok
X
ok
s
X
times
ok
X1
ok
X2
ok
times
X1
X2
plus
mark
X1
X2
mark
plus
X1
X2
plus
X1
mark
X2
mark
plus
X1
X2
from
ok
X
ok
from
X
from
mark
X
mark
from
X
s
mark
X
mark
s
X
times
mark
X1
X2
mark
times
X1
X2
proper
cons
X1
X2
cons
proper
X1
proper
X2
false
cons
ok
X1
ok
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
true
negrecip
1
2
cons
2
2
0
s
1
1
1
negrecip
1
0
2ndspos
2
1
2238
top
1
0
rnil
0
29509
plus
2
0
square
1
10000
top
1
0
square
1
0
pi
1
23236
rcons
2
0
rcons
2
2
proper
1
1
ok
1
1
1
times
2
0
0
0
7193
posrecip
1
0
from
1
1
27541
times
2
23562
s
1
0
nil
0
32610
mark
1
23683
2ndsneg
2
12520
proper
1
0
plus
2
1
2
23721
2ndspos
2
0
from
1
0
active
1
1
cons
2
1
2
1
active
1
0
pi
1
0
2ndsneg
2
0
posrecip
1
23682
cons
mark
X1
X2
cons
X1
X2
plus
ok
X1
ok
X2
ok
plus
X1
X2
plus
mark
X1
X2
mark
plus
X1
X2
plus
X1
mark
X2
mark
plus
X1
X2
cons
mark
X1
X2
cons
X1
X2
true
negrecip
1
2
cons
2
1
0
s
1
1
28549
negrecip
1
0
2ndspos
2
2
top
1
0
rnil
0
27398
plus
2
0
square
1
2
top
1
0
square
1
0
pi
1
2
rcons
2
0
rcons
2
1
2
1
proper
1
1
ok
1
3
times
2
0
0
0
31861
posrecip
1
0
from
1
1
29597
times
2
2
s
1
0
nil
0
3
mark
1
1
14044
2ndsneg
2
1
593
proper
1
0
plus
2
1
2
2ndspos
2
0
from
1
0
active
1
1
cons
2
1
2
1
active
1
0
pi
1
0
2ndsneg
2
0
posrecip
1
2
rcons
X1
mark
X2
mark
rcons
X1
X2
rcons
ok
X1
ok
X2
ok
rcons
X1
X2
rcons
mark
X1
X2
mark
rcons
X1
X2
proper
pi
X
pi
proper
X
false
pi
ok
X
pi
X
pi
mark
X
pi
X
true
negrecip
1
2
cons
2
0
s
1
1
1
negrecip
1
0
2ndspos
2
2
top
1
0
rnil
0
28383
plus
2
0
square
1
19213
top
1
0
square
1
0
pi
1
64371
rcons
2
0
rcons
2
1
2
1
proper
1
1
ok
1
1
3
times
2
0
0
0
1
posrecip
1
0
from
1
1
1
times
2
30384
s
1
0
nil
0
0
mark
1
1
14044
2ndsneg
2
1
8683
proper
1
0
plus
2
1
17066
2ndspos
2
0
from
1
0
active
1
1
cons
2
1
2
0
active
1
0
pi
1
1
0
2ndsneg
2
0
posrecip
1
13964
rcons
X1
mark
X2
mark
rcons
X1
X2
rcons
ok
X1
ok
X2
ok
rcons
X1
X2
rcons
mark
X1
X2
mark
rcons
X1
X2
proper
2ndsneg
X1
X2
2ndsneg
proper
X1
proper
X2
false
2ndsneg
mark
X1
X2
2ndsneg
X1
X2
2ndsneg
ok
X1
ok
X2
2ndsneg
X1
X2
2ndsneg
X1
mark
X2
2ndsneg
X1
X2
true
negrecip
1
2
cons
2
0
s
1
1
1
negrecip
1
0
2ndspos
2
2
top
1
0
rnil
0
1
plus
2
0
square
1
19213
top
1
0
square
1
0
pi
1
2
rcons
2
0
rcons
2
1
2
1
proper
1
1
ok
1
1
13021
times
2
0
0
0
1
posrecip
1
0
from
1
1
1
times
2
30384
s
1
0
nil
0
0
mark
1
1
14044
2ndsneg
2
1
2
proper
1
0
plus
2
1
2
2ndspos
2
0
from
1
0
active
1
1
cons
2
1
2
0
active
1
0
pi
1
0
2ndsneg
2
2
0
posrecip
1
13964
2ndsneg
mark
X1
X2
2ndsneg
X1
X2
rcons
X1
mark
X2
mark
rcons
X1
X2
rcons
ok
X1
ok
X2
ok
rcons
X1
X2
rcons
mark
X1
X2
mark
rcons
X1
X2
2ndsneg
mark
X1
X2
2ndsneg
X1
X2
true
negrecip
1
2
cons
2
0
s
1
1
1
negrecip
1
0
2ndspos
2
18419
top
1
0
rnil
0
1
plus
2
0
square
1
15079
top
1
0
square
1
0
pi
1
2
rcons
2
0
rcons
2
1
2
29006
proper
1
1
ok
1
1
7675
times
2
0
0
0
1
posrecip
1
0
from
1
1
1
times
2
28473
s
1
0
nil
0
0
mark
1
1
14044
2ndsneg
2
1
24813
proper
1
0
plus
2
1
2
2ndspos
2
0
from
1
0
active
1
1
cons
2
1
2
0
active
1
0
pi
1
0
2ndsneg
2
1
0
posrecip
1
13964
rcons
X1
mark
X2
mark
rcons
X1
X2
rcons
ok
X1
ok
X2
ok
rcons
X1
X2
rcons
mark
X1
X2
mark
rcons
X1
X2
proper
negrecip
X
negrecip
proper
X
false
negrecip
mark
X
negrecip
X
negrecip
ok
X
negrecip
X
true
negrecip
1
2
cons
2
0
s
1
1
1
negrecip
1
1
0
2ndspos
2
2
top
1
0
rnil
0
3868
plus
2
0
square
1
16004
top
1
0
square
1
0
pi
1
2
rcons
2
0
rcons
2
1
2
1
proper
1
1
ok
1
1
2
times
2
0
0
0
1
posrecip
1
0
from
1
1
1
times
2
28473
s
1
0
nil
0
0
mark
1
1
14044
2ndsneg
2
1
24813
proper
1
0
plus
2
1
2
2ndspos
2
0
from
1
0
active
1
1
cons
2
1
2
0
active
1
0
pi
1
0
2ndsneg
2
0
posrecip
1
13964
rcons
X1
mark
X2
mark
rcons
X1
X2
rcons
ok
X1
ok
X2
ok
rcons
X1
X2
rcons
mark
X1
X2
mark
rcons
X1
X2
proper
square
X
square
proper
X
false
square
mark
X
square
X
square
ok
X
square
X
true
negrecip
1
2
cons
2
0
s
1
1
1
negrecip
1
0
2ndspos
2
16209
top
1
0
rnil
0
64176
plus
2
0
square
1
22166
top
1
0
square
1
1
0
pi
1
16415
rcons
2
0
rcons
2
1
2
1
proper
1
1
ok
1
1
2
times
2
0
0
0
1
posrecip
1
0
from
1
1
22026
times
2
28473
s
1
0
nil
0
0
mark
1
1
14044
2ndsneg
2
1
24813
proper
1
0
plus
2
1
2
2ndspos
2
0
from
1
0
active
1
1
cons
2
1
2
0
active
1
0
pi
1
0
2ndsneg
2
0
posrecip
1
13964
rcons
X1
mark
X2
mark
rcons
X1
X2
rcons
ok
X1
ok
X2
ok
rcons
X1
X2
rcons
mark
X1
X2
mark
rcons
X1
X2
proper
from
X
from
proper
X
false
from
ok
X
from
X
from
mark
X
from
X
true
negrecip
1
2
cons
2
0
s
1
1
4330
negrecip
1
0
2ndspos
2
12783
top
1
0
rnil
0
64176
plus
2
0
square
1
22166
top
1
0
square
1
0
pi
1
24632
rcons
2
0
rcons
2
1
2
1
proper
1
1
ok
1
1
15808
times
2
0
0
0
1
posrecip
1
0
from
1
1
22026
times
2
28473
s
1
0
nil
0
0
mark
1
1
14044
2ndsneg
2
1
24813
proper
1
0
plus
2
1
2
2ndspos
2
0
from
1
1
0
active
1
1
cons
2
1
2
0
active
1
0
pi
1
0
2ndsneg
2
0
posrecip
1
13964
rcons
X1
mark
X2
mark
rcons
X1
X2
rcons
ok
X1
ok
X2
ok
rcons
X1
X2
rcons
mark
X1
X2
mark
rcons
X1
X2
active
rcons
X1
X2
rcons
X1
active
X2
false
rcons
X1
mark
X2
rcons
X1
X2
rcons
mark
X1
X2
rcons
X1
X2
rcons
ok
X1
ok
X2
rcons
X1
X2
true
negrecip
1
2
cons
2
0
s
1
1
1
negrecip
1
0
2ndspos
2
2
top
1
0
rnil
0
1
plus
2
0
square
1
22166
top
1
0
square
1
0
pi
1
19691
rcons
2
1
0
rcons
2
1
2
24291
proper
1
1
ok
1
1
20541
times
2
0
0
0
1
posrecip
1
0
from
1
1
1
times
2
28473
s
1
0
nil
0
0
mark
1
1
13779
2ndsneg
2
1
24813
proper
1
0
plus
2
1
2
2ndspos
2
0
from
1
0
active
1
1
cons
2
1
2
0
active
1
0
pi
1
0
2ndsneg
2
0
posrecip
1
2526
rcons
X1
mark
X2
rcons
X1
X2
rcons
X1
mark
X2
mark
rcons
X1
X2
rcons
ok
X1
ok
X2
ok
rcons
X1
X2
rcons
mark
X1
X2
mark
rcons
X1
X2
rcons
X1
mark
X2
rcons
X1
X2
true
negrecip
1
2
cons
2
0
s
1
1
1
negrecip
1
0
2ndspos
2
30575
top
1
0
rnil
0
104
plus
2
0
square
1
22166
top
1
0
square
1
0
pi
1
19691
rcons
2
2
0
rcons
2
1
2
14989
proper
1
1
ok
1
1
2850
times
2
0
0
0
1
posrecip
1
0
from
1
1
14651
times
2
28473
s
1
0
nil
0
1
mark
1
1
16161
2ndsneg
2
1
24813
proper
1
0
plus
2
1
2
2ndspos
2
0
from
1
0
active
1
1
cons
2
1
2
0
active
1
0
pi
1
0
2ndsneg
2
0
posrecip
1
28085
rcons
X1
mark
X2
mark
rcons
X1
X2
rcons
ok
X1
ok
X2
ok
rcons
X1
X2
rcons
mark
X1
X2
mark
rcons
X1
X2
active
plus
X1
X2
plus
active
X1
X2
false
s
ok
X
s
X
s
mark
X
s
X
true
negrecip
1
2
cons
2
0
s
1
1
1
negrecip
1
0
2ndspos
2
644
top
1
0
rnil
0
27633
plus
2
0
square
1
30695
top
1
0
square
1
0
pi
1
2
rcons
2
0
rcons
2
1
2
1
proper
1
1
ok
1
1
1
times
2
0
0
0
1
posrecip
1
0
from
1
1
14989
times
2
28473
s
1
1
0
nil
0
1
mark
1
1
16161
2ndsneg
2
1
24813
proper
1
0
plus
2
1
2
2ndspos
2
0
from
1
0
active
1
1
cons
2
1
2
0
active
1
0
pi
1
0
2ndsneg
2
0
posrecip
1
16714
rcons
X1
mark
X2
mark
rcons
X1
X2
rcons
ok
X1
ok
X2
ok
rcons
X1
X2
rcons
mark
X1
X2
mark
rcons
X1
X2
proper
plus
X1
X2
plus
proper
X1
proper
X2
false
plus
ok
X1
ok
X2
plus
X1
X2
plus
mark
X1
X2
plus
X1
X2
plus
X1
mark
X2
plus
X1
X2
true
negrecip
1
2
cons
2
0
s
1
1
1
negrecip
1
0
2ndspos
2
31865
top
1
0
rnil
0
1
plus
2
1
0
square
1
21654
top
1
0
square
1
0
pi
1
32662
rcons
2
0
rcons
2
1
2
1
proper
1
1
ok
1
1
1
times
2
0
0
0
1
posrecip
1
0
from
1
1
7885
times
2
28473
s
1
0
nil
0
1
mark
1
1
16161
2ndsneg
2
1
2
proper
1
0
plus
2
1
2
2ndspos
2
0
from
1
0
active
1
1
cons
2
1
2
0
active
1
0
pi
1
0
2ndsneg
2
0
posrecip
1
12523
plus
X1
mark
X2
plus
X1
X2
rcons
X1
mark
X2
mark
rcons
X1
X2
rcons
ok
X1
ok
X2
ok
rcons
X1
X2
rcons
mark
X1
X2
mark
rcons
X1
X2
plus
X1
mark
X2
plus
X1
X2
true
negrecip
1
16845
cons
2
0
s
1
1
1
negrecip
1
0
2ndspos
2
2
top
1
0
rnil
0
17271
plus
2
2
0
square
1
21654
top
1
0
square
1
0
pi
1
2
rcons
2
0
rcons
2
1
2
1
proper
1
1
ok
1
1
5469
times
2
0
0
0
1
posrecip
1
0
from
1
1
1
times
2
28473
s
1
0
nil
0
3
mark
1
1
12874
2ndsneg
2
1
5437
proper
1
0
plus
2
1
2
2ndspos
2
0
from
1
0
active
1
1
cons
2
1
2
0
active
1
0
pi
1
0
2ndsneg
2
0
posrecip
1
31633
rcons
X1
mark
X2
mark
rcons
X1
X2
rcons
ok
X1
ok
X2
ok
rcons
X1
X2
rcons
mark
X1
X2
mark
rcons
X1
X2
NaTT
certifiable-1.6