a__from
X
cons
mark
X
from
s
X
a__2ndspos
0
Z
rnil
a__2ndspos
s
N
cons
X
Z
a__2ndspos
s
mark
N
cons2
X
mark
Z
a__2ndspos
s
N
cons2
X
cons
Y
Z
rcons
posrecip
mark
Y
a__2ndsneg
mark
N
mark
Z
a__2ndsneg
0
Z
rnil
a__2ndsneg
s
N
cons
X
Z
a__2ndsneg
s
mark
N
cons2
X
mark
Z
a__2ndsneg
s
N
cons2
X
cons
Y
Z
rcons
negrecip
mark
Y
a__2ndspos
mark
N
mark
Z
a__pi
X
a__2ndspos
mark
X
a__from
0
a__plus
0
Y
mark
Y
a__plus
s
X
Y
s
a__plus
mark
X
mark
Y
a__times
0
Y
0
a__times
s
X
Y
a__plus
mark
Y
a__times
mark
X
mark
Y
a__square
X
a__times
mark
X
mark
X
mark
from
X
a__from
mark
X
mark
2ndspos
X1
X2
a__2ndspos
mark
X1
mark
X2
mark
2ndsneg
X1
X2
a__2ndsneg
mark
X1
mark
X2
mark
pi
X
a__pi
mark
X
mark
plus
X1
X2
a__plus
mark
X1
mark
X2
mark
times
X1
X2
a__times
mark
X1
mark
X2
mark
square
X
a__square
mark
X
mark
0
0
mark
s
X
s
mark
X
mark
posrecip
X
posrecip
mark
X
mark
negrecip
X
negrecip
mark
X
mark
nil
nil
mark
cons
X1
X2
cons
mark
X1
X2
mark
cons2
X1
X2
cons2
X1
mark
X2
mark
rnil
rnil
mark
rcons
X1
X2
rcons
mark
X1
mark
X2
a__from
X
from
X
a__2ndspos
X1
X2
2ndspos
X1
X2
a__2ndsneg
X1
X2
2ndsneg
X1
X2
a__pi
X
pi
X
a__plus
X1
X2
plus
X1
X2
a__times
X1
X2
times
X1
X2
a__square
X
square
X
2.2
mark
rcons
X1
X2
mark
X2
a__pi
X
a__2ndspos
mark
X
a__from
0
mark
cons2
X1
X2
mark
X2
mark
cons
X1
X2
mark
X1
mark
2ndspos
X1
X2
a__2ndspos
mark
X1
mark
X2
a__from
X
mark
X
a__2ndspos
s
N
cons
X
Z
mark
Z
mark
2ndsneg
X1
X2
mark
X1
mark
2ndspos
X1
X2
mark
X1
mark
plus
X1
X2
a__plus
mark
X1
mark
X2
mark
2ndspos
X1
X2
mark
X2
mark
2ndsneg
X1
X2
mark
X2
a__square
X
a__times
mark
X
mark
X
mark
plus
X1
X2
mark
X2
a__2ndspos
s
N
cons
X
Z
mark
N
a__2ndspos
s
N
cons2
X
cons
Y
Z
mark
N
a__times
s
X
Y
mark
Y
a__plus
0
Y
mark
Y
mark
posrecip
X
mark
X
a__2ndsneg
s
N
cons2
X
cons
Y
Z
mark
Z
a__2ndsneg
s
N
cons2
X
cons
Y
Z
mark
N
a__pi
X
a__from
0
a__times
s
X
Y
a__plus
mark
Y
a__times
mark
X
mark
Y
mark
pi
X
mark
X
a__times
s
X
Y
a__times
mark
X
mark
Y
mark
pi
X
a__pi
mark
X
a__2ndspos
s
N
cons2
X
cons
Y
Z
mark
Z
a__2ndspos
s
N
cons2
X
cons
Y
Z
mark
Y
a__plus
s
X
Y
a__plus
mark
X
mark
Y
mark
square
X
mark
X
a__square
X
mark
X
a__2ndspos
s
N
cons
X
Z
a__2ndspos
s
mark
N
cons2
X
mark
Z
mark
negrecip
X
mark
X
mark
times
X1
X2
mark
X1
a__2ndsneg
s
N
cons
X
Z
mark
Z
a__pi
X
mark
X
mark
s
X
mark
X
a__2ndsneg
s
N
cons2
X
cons
Y
Z
a__2ndspos
mark
N
mark
Z
mark
times
X1
X2
mark
X2
a__plus
s
X
Y
mark
Y
mark
from
X
a__from
mark
X
mark
times
X1
X2
a__times
mark
X1
mark
X2
mark
square
X
a__square
mark
X
a__plus
s
X
Y
mark
X
mark
2ndsneg
X1
X2
a__2ndsneg
mark
X1
mark
X2
a__2ndsneg
s
N
cons2
X
cons
Y
Z
mark
Y
a__times
s
X
Y
mark
Y
a__2ndsneg
s
N
cons
X
Z
a__2ndsneg
s
mark
N
cons2
X
mark
Z
mark
rcons
X1
X2
mark
X1
mark
plus
X1
X2
mark
X1
a__square
X
mark
X
a__times
s
X
Y
mark
X
a__2ndsneg
s
N
cons
X
Z
mark
N
a__2ndspos
s
N
cons2
X
cons
Y
Z
a__2ndsneg
mark
N
mark
Z
mark
from
X
mark
X
true
mark
from
X
mark
X
a__2ndspos
s
N
cons2
X
cons
Y
Z
a__2ndsneg
mark
N
mark
Z
a__plus
s
X
Y
a__plus
mark
X
mark
Y
a__2ndspos
s
N
cons2
X
cons
Y
Z
mark
Z
a__2ndspos
s
N
cons2
X
cons
Y
Z
mark
Y
a__2ndsneg
s
N
cons
X
Z
mark
N
mark
pi
X
a__pi
mark
X
a__times
s
X
Y
a__times
mark
X
mark
Y
a__times
s
X
Y
mark
X
mark
pi
X
mark
X
a__times
s
X
Y
a__plus
mark
Y
a__times
mark
X
mark
Y
a__square
X
mark
X
a__pi
X
a__from
0
mark
plus
X1
X2
mark
X1
mark
rcons
X1
X2
mark
X1
a__2ndsneg
s
N
cons2
X
cons
Y
Z
mark
N
a__2ndsneg
s
N
cons
X
Z
a__2ndsneg
s
mark
N
cons2
X
mark
Z
a__2ndsneg
s
N
cons2
X
cons
Y
Z
mark
Z
a__times
s
X
Y
mark
Y
a__2ndsneg
s
N
cons2
X
cons
Y
Z
mark
Y
mark
2ndsneg
X1
X2
a__2ndsneg
mark
X1
mark
X2
a__plus
s
X
Y
mark
X
mark
posrecip
X
mark
X
a__plus
0
Y
mark
Y
a__times
s
X
Y
mark
Y
a__2ndspos
s
N
cons2
X
cons
Y
Z
mark
N
mark
times
X1
X2
a__times
mark
X1
mark
X2
mark
square
X
a__square
mark
X
mark
from
X
a__from
mark
X
a__2ndspos
s
N
cons
X
Z
mark
N
mark
plus
X1
X2
mark
X2
a__square
X
a__times
mark
X
mark
X
a__plus
s
X
Y
mark
Y
mark
2ndsneg
X1
X2
mark
X2
mark
times
X1
X2
mark
X2
mark
2ndspos
X1
X2
mark
X2
a__2ndsneg
s
N
cons2
X
cons
Y
Z
a__2ndspos
mark
N
mark
Z
mark
plus
X1
X2
a__plus
mark
X1
mark
X2
mark
s
X
mark
X
mark
2ndspos
X1
X2
mark
X1
a__pi
X
mark
X
a__2ndsneg
s
N
cons
X
Z
mark
Z
mark
2ndsneg
X1
X2
mark
X1
mark
times
X1
X2
mark
X1
a__2ndspos
s
N
cons
X
Z
mark
Z
a__from
X
mark
X
mark
negrecip
X
mark
X
mark
2ndspos
X1
X2
a__2ndspos
mark
X1
mark
X2
a__2ndspos
s
N
cons
X
Z
a__2ndspos
s
mark
N
cons2
X
mark
Z
a__square
X
mark
X
mark
cons
X1
X2
mark
X1
mark
cons2
X1
X2
mark
X2
a__pi
X
a__2ndspos
mark
X
a__from
0
mark
rcons
X1
X2
mark
X2
mark
square
X
mark
X
true
a__plus
2
1
0
2
0
0
a__2ndsneg
2
1
1
2
0
0
negrecip
1
1
0
s
1
1
0
a__pi
1
1
3
a__from
1
1
1
2ndspos
2
1
1
2
0
0
a__from
1
1
0
rnil
0
2
square
1
1
2
a__times
2
1
1
2
2
0
pi
1
1
2
rcons
2
1
0
2
0
0
a__2ndspos
2
1
1
2
0
0
a__2ndsneg
2
1
1
2
1
0
a__plus
2
1
1
2
1
0
mark
1
1
1
0
0
1
from
1
1
0
times
2
1
0
2
1
0
a__pi
1
1
2
nil
0
35102
mark
1
1
0
2ndsneg
2
1
1
2
0
0
plus
2
1
0
2
0
0
cons2
2
2
0
0
a__square
1
1
2
cons
2
1
0
2
0
0
a__times
2
1
0
2
1
0
a__square
1
1
3
a__2ndspos
2
1
1
2
1
0
posrecip
1
1
0
mark
rcons
X1
X2
mark
X2
mark
cons2
X1
X2
mark
X2
mark
cons
X1
X2
mark
X1
a__2ndspos
s
N
cons
X
Z
a__2ndspos
s
mark
N
cons2
X
mark
Z
mark
2ndspos
X1
X2
a__2ndspos
mark
X1
mark
X2
mark
negrecip
X
mark
X
a__from
X
mark
X
a__2ndspos
s
N
cons
X
Z
mark
Z
mark
times
X1
X2
mark
X1
a__2ndsneg
s
N
cons
X
Z
mark
Z
mark
s
X
mark
X
mark
plus
X1
X2
a__plus
mark
X1
mark
X2
a__2ndsneg
s
N
cons2
X
cons
Y
Z
a__2ndspos
mark
N
mark
Z
mark
2ndspos
X1
X2
mark
X2
mark
2ndsneg
X1
X2
mark
X2
a__plus
s
X
Y
mark
Y
mark
plus
X1
X2
mark
X2
a__2ndspos
s
N
cons
X
Z
mark
N
mark
from
X
a__from
mark
X
mark
square
X
a__square
mark
X
mark
times
X1
X2
a__times
mark
X1
mark
X2
a__2ndspos
s
N
cons2
X
cons
Y
Z
mark
N
a__plus
0
Y
mark
Y
mark
posrecip
X
mark
X
a__plus
s
X
Y
mark
X
mark
2ndsneg
X1
X2
a__2ndsneg
mark
X1
mark
X2
a__2ndsneg
s
N
cons2
X
cons
Y
Z
mark
Y
a__2ndsneg
s
N
cons2
X
cons
Y
Z
mark
Z
a__2ndsneg
s
N
cons
X
Z
a__2ndsneg
s
mark
N
cons2
X
mark
Z
a__2ndsneg
s
N
cons2
X
cons
Y
Z
mark
N
mark
rcons
X1
X2
mark
X1
mark
plus
X1
X2
mark
X1
a__times
s
X
Y
a__plus
mark
Y
a__times
mark
X
mark
Y
a__times
s
X
Y
mark
X
a__times
s
X
Y
a__times
mark
X
mark
Y
mark
pi
X
a__pi
mark
X
a__2ndsneg
s
N
cons
X
Z
mark
N
a__2ndspos
s
N
cons2
X
cons
Y
Z
mark
Y
a__2ndspos
s
N
cons2
X
cons
Y
Z
mark
Z
a__plus
s
X
Y
a__plus
mark
X
mark
Y
a__2ndspos
s
N
cons2
X
cons
Y
Z
a__2ndsneg
mark
N
mark
Z
mark
from
X
mark
X
mark
plus
X1
X2
a__plus
mark
X1
mark
X2
a__2ndspos
s
N
cons2
X
cons
Y
Z
rcons
posrecip
mark
Y
a__2ndsneg
mark
N
mark
Z
mark
2ndspos
X1
X2
a__2ndspos
mark
X1
mark
X2
a__pi
X
a__2ndspos
mark
X
a__from
0
a__from
X
cons
mark
X
from
s
X
a__2ndspos
s
N
cons
X
Z
a__2ndspos
s
mark
N
cons2
X
mark
Z
mark
2ndsneg
X1
X2
a__2ndsneg
mark
X1
mark
X2
mark
0
0
a__square
X
square
X
mark
cons
X1
X2
cons
mark
X1
X2
mark
times
X1
X2
a__times
mark
X1
mark
X2
a__2ndsneg
X1
X2
2ndsneg
X1
X2
mark
pi
X
a__pi
mark
X
mark
cons2
X1
X2
cons2
X1
mark
X2
a__plus
X1
X2
plus
X1
X2
mark
s
X
s
mark
X
mark
rnil
rnil
a__2ndsneg
0
Z
rnil
a__pi
X
pi
X
a__plus
s
X
Y
s
a__plus
mark
X
mark
Y
a__2ndsneg
s
N
cons2
X
cons
Y
Z
rcons
negrecip
mark
Y
a__2ndspos
mark
N
mark
Z
mark
square
X
a__square
mark
X
mark
nil
nil
a__from
X
from
X
mark
from
X
a__from
mark
X
a__2ndspos
X1
X2
2ndspos
X1
X2
a__times
s
X
Y
a__plus
mark
Y
a__times
mark
X
mark
Y
mark
posrecip
X
posrecip
mark
X
mark
negrecip
X
negrecip
mark
X
a__times
0
Y
0
a__plus
0
Y
mark
Y
a__square
X
a__times
mark
X
mark
X
a__2ndsneg
s
N
cons
X
Z
a__2ndsneg
s
mark
N
cons2
X
mark
Z
a__times
X1
X2
times
X1
X2
mark
rcons
X1
X2
rcons
mark
X1
mark
X2
a__2ndspos
0
Z
rnil
mark
plus
X1
X2
mark
X2
mark
plus
X1
X2
mark
X1
mark
plus
X1
X2
a__plus
mark
X1
mark
X2
a__2ndspos
s
N
cons2
X
cons
Y
Z
mark
Z
a__2ndspos
s
N
cons2
X
cons
Y
Z
mark
N
a__2ndspos
s
N
cons2
X
cons
Y
Z
a__2ndsneg
mark
N
mark
Z
a__2ndspos
s
N
cons2
X
cons
Y
Z
mark
Y
mark
2ndspos
X1
X2
mark
X2
mark
2ndspos
X1
X2
a__2ndspos
mark
X1
mark
X2
a__from
X
mark
X
a__2ndspos
s
N
cons
X
Z
mark
Z
a__2ndspos
s
N
cons
X
Z
mark
N
a__2ndspos
s
N
cons
X
Z
a__2ndspos
s
mark
N
cons2
X
mark
Z
mark
2ndsneg
X1
X2
mark
X2
mark
2ndsneg
X1
X2
a__2ndsneg
mark
X1
mark
X2
mark
cons
X1
X2
mark
X1
mark
times
X1
X2
mark
X1
mark
times
X1
X2
a__times
mark
X1
mark
X2
mark
cons2
X1
X2
mark
X2
mark
s
X
mark
X
a__plus
s
X
Y
mark
Y
a__plus
s
X
Y
mark
X
a__plus
s
X
Y
a__plus
mark
X
mark
Y
a__2ndsneg
s
N
cons2
X
cons
Y
Z
mark
Z
a__2ndsneg
s
N
cons2
X
cons
Y
Z
mark
N
a__2ndsneg
s
N
cons2
X
cons
Y
Z
a__2ndspos
mark
N
mark
Z
a__2ndsneg
s
N
cons2
X
cons
Y
Z
mark
Y
mark
from
X
mark
X
mark
from
X
a__from
mark
X
a__times
s
X
Y
mark
X
a__times
s
X
Y
a__times
mark
X
mark
Y
a__times
s
X
Y
a__plus
mark
Y
a__times
mark
X
mark
Y
mark
posrecip
X
mark
X
mark
negrecip
X
mark
X
a__plus
0
Y
mark
Y
a__2ndsneg
s
N
cons
X
Z
mark
Z
a__2ndsneg
s
N
cons
X
Z
mark
N
a__2ndsneg
s
N
cons
X
Z
a__2ndsneg
s
mark
N
cons2
X
mark
Z
mark
rcons
X1
X2
mark
X2
mark
rcons
X1
X2
mark
X1
true
a__plus
2
1
0
2
0
0
a__2ndsneg
2
1
13509
2
13508
0
negrecip
1
1
0
s
1
1
0
a__pi
1
1
3
a__from
1
1
26721
2ndspos
2
1
13509
2
13508
0
a__from
1
1
11651
rnil
0
20686
square
1
1
12330
a__times
2
1
26720
2
39050
0
pi
1
1
32336
rcons
2
1
0
2
0
0
a__2ndspos
2
1
13509
2
13508
0
a__2ndsneg
2
1
26721
2
26722
0
a__plus
2
1
26720
2
26720
0
mark
1
1
26720
0
0
7177
from
1
1
11651
times
2
1
0
2
12330
0
a__pi
1
1
32336
nil
0
35102
mark
1
1
0
2ndsneg
2
1
13509
2
13508
0
plus
2
1
0
2
0
0
cons2
2
2
0
0
a__square
1
1
12330
cons
2
1
0
2
0
0
a__times
2
1
0
2
12330
0
a__square
1
1
3
a__2ndspos
2
1
26721
2
26722
0
posrecip
1
1
0
mark
rcons
X1
X2
mark
X1
mark
rcons
X1
X2
mark
X2
a__2ndsneg
s
N
cons
X
Z
a__2ndsneg
s
mark
N
cons2
X
mark
Z
a__plus
0
Y
mark
Y
mark
negrecip
X
mark
X
mark
posrecip
X
mark
X
a__times
s
X
Y
a__plus
mark
Y
a__times
mark
X
mark
Y
a__times
s
X
Y
a__times
mark
X
mark
Y
a__times
s
X
Y
mark
X
a__2ndsneg
s
N
cons2
X
cons
Y
Z
a__2ndspos
mark
N
mark
Z
a__plus
s
X
Y
a__plus
mark
X
mark
Y
a__plus
s
X
Y
mark
X
a__plus
s
X
Y
mark
Y
mark
s
X
mark
X
mark
cons2
X1
X2
mark
X2
mark
times
X1
X2
a__times
mark
X1
mark
X2
mark
times
X1
X2
mark
X1
mark
cons
X1
X2
mark
X1
a__2ndspos
s
N
cons
X
Z
a__2ndspos
s
mark
N
cons2
X
mark
Z
a__2ndspos
s
N
cons2
X
cons
Y
Z
a__2ndsneg
mark
N
mark
Z
mark
plus
X1
X2
a__plus
mark
X1
mark
X2
mark
plus
X1
X2
mark
X1
mark
plus
X1
X2
mark
X2
mark
plus
X1
X2
a__plus
mark
X1
mark
X2
a__2ndspos
s
N
cons2
X
cons
Y
Z
rcons
posrecip
mark
Y
a__2ndsneg
mark
N
mark
Z
mark
2ndspos
X1
X2
a__2ndspos
mark
X1
mark
X2
a__pi
X
a__2ndspos
mark
X
a__from
0
a__from
X
cons
mark
X
from
s
X
a__2ndspos
s
N
cons
X
Z
a__2ndspos
s
mark
N
cons2
X
mark
Z
mark
2ndsneg
X1
X2
a__2ndsneg
mark
X1
mark
X2
mark
0
0
a__square
X
square
X
mark
cons
X1
X2
cons
mark
X1
X2
mark
times
X1
X2
a__times
mark
X1
mark
X2
a__2ndsneg
X1
X2
2ndsneg
X1
X2
mark
pi
X
a__pi
mark
X
mark
cons2
X1
X2
cons2
X1
mark
X2
a__plus
X1
X2
plus
X1
X2
mark
s
X
s
mark
X
mark
rnil
rnil
a__2ndsneg
0
Z
rnil
a__pi
X
pi
X
a__plus
s
X
Y
s
a__plus
mark
X
mark
Y
a__2ndsneg
s
N
cons2
X
cons
Y
Z
rcons
negrecip
mark
Y
a__2ndspos
mark
N
mark
Z
mark
square
X
a__square
mark
X
mark
nil
nil
a__from
X
from
X
mark
from
X
a__from
mark
X
a__2ndspos
X1
X2
2ndspos
X1
X2
a__times
s
X
Y
a__plus
mark
Y
a__times
mark
X
mark
Y
mark
posrecip
X
posrecip
mark
X
mark
negrecip
X
negrecip
mark
X
a__times
0
Y
0
a__plus
0
Y
mark
Y
a__square
X
a__times
mark
X
mark
X
a__2ndsneg
s
N
cons
X
Z
a__2ndsneg
s
mark
N
cons2
X
mark
Z
a__times
X1
X2
times
X1
X2
mark
rcons
X1
X2
rcons
mark
X1
mark
X2
a__2ndspos
0
Z
rnil
a__2ndspos
s
N
cons2
X
cons
Y
Z
a__2ndsneg
mark
N
mark
Z
a__2ndspos
s
N
cons
X
Z
a__2ndspos
s
mark
N
cons2
X
mark
Z
a__2ndsneg
s
N
cons2
X
cons
Y
Z
a__2ndspos
mark
N
mark
Z
a__2ndsneg
s
N
cons
X
Z
a__2ndsneg
s
mark
N
cons2
X
mark
Z
true
2ndspos
2
1
a__from
1
1
rcons
2
1
a__2ndspos
2
1
a__2ndsneg
2
1
mark
1
1
from
1
1
mark
1
1
cons2
2
1
cons
2
1
a__plus
2
7
2
1
a__2ndsneg
2
2
1
2
negrecip
1
1
s
1
6
1
a__pi
1
0
a__from
1
0
rnil
0
2
square
1
9
1
a__times
2
0
2
1
pi
1
2
1
a__plus
2
0
2
1
0
0
2
times
2
8
2
1
a__pi
1
2
1
nil
0
3
2ndsneg
2
2
1
2
plus
2
7
2
1
a__square
1
9
1
a__times
2
8
2
1
a__square
1
0
a__2ndspos
2
2
1
posrecip
1
6
a__plus
2
1
0
2
0
0
a__2ndsneg
2
1
0
2
0
0
negrecip
1
0
s
1
1
0
a__pi
1
0
a__from
1
0
rnil
0
0
square
1
1
0
a__times
2
1
0
2
0
0
pi
1
1
0
a__plus
2
1
0
2
0
0
0
0
0
times
2
1
0
2
0
0
a__pi
1
1
0
nil
0
0
2ndsneg
2
1
0
2
0
0
plus
2
1
0
2
0
0
a__square
1
1
0
a__times
2
1
0
2
0
0
a__square
1
0
a__2ndspos
2
1
0
0
posrecip
1
0
a__2ndsneg
s
N
cons
X
Z
a__2ndsneg
s
mark
N
cons2
X
mark
Z
a__2ndspos
s
N
cons
X
Z
a__2ndspos
s
mark
N
cons2
X
mark
Z
mark
plus
X1
X2
a__plus
mark
X1
mark
X2
a__2ndspos
s
N
cons2
X
cons
Y
Z
rcons
posrecip
mark
Y
a__2ndsneg
mark
N
mark
Z
mark
2ndspos
X1
X2
a__2ndspos
mark
X1
mark
X2
a__pi
X
a__2ndspos
mark
X
a__from
0
a__from
X
cons
mark
X
from
s
X
a__2ndspos
s
N
cons
X
Z
a__2ndspos
s
mark
N
cons2
X
mark
Z
mark
2ndsneg
X1
X2
a__2ndsneg
mark
X1
mark
X2
mark
0
0
a__square
X
square
X
mark
cons
X1
X2
cons
mark
X1
X2
mark
times
X1
X2
a__times
mark
X1
mark
X2
a__2ndsneg
X1
X2
2ndsneg
X1
X2
mark
pi
X
a__pi
mark
X
mark
cons2
X1
X2
cons2
X1
mark
X2
a__plus
X1
X2
plus
X1
X2
mark
s
X
s
mark
X
mark
rnil
rnil
a__2ndsneg
0
Z
rnil
a__pi
X
pi
X
a__plus
s
X
Y
s
a__plus
mark
X
mark
Y
a__2ndsneg
s
N
cons2
X
cons
Y
Z
rcons
negrecip
mark
Y
a__2ndspos
mark
N
mark
Z
mark
square
X
a__square
mark
X
mark
nil
nil
a__from
X
from
X
mark
from
X
a__from
mark
X
a__2ndspos
X1
X2
2ndspos
X1
X2
a__times
s
X
Y
a__plus
mark
Y
a__times
mark
X
mark
Y
mark
posrecip
X
posrecip
mark
X
mark
negrecip
X
negrecip
mark
X
a__times
0
Y
0
a__plus
0
Y
mark
Y
a__square
X
a__times
mark
X
mark
X
a__2ndsneg
s
N
cons
X
Z
a__2ndsneg
s
mark
N
cons2
X
mark
Z
a__times
X1
X2
times
X1
X2
mark
rcons
X1
X2
rcons
mark
X1
mark
X2
a__2ndspos
0
Z
rnil
a__2ndspos
s
N
cons
X
Z
a__2ndspos
s
mark
N
cons2
X
mark
Z
false
a__2ndsneg
s
N
cons
X
Z
a__2ndsneg
s
mark
N
cons2
X
mark
Z
false
mark
plus
X1
X2
mark
X2
mark
plus
X1
X2
mark
X1
mark
plus
X1
X2
a__plus
mark
X1
mark
X2
mark
cons
X1
X2
mark
X1
mark
times
X1
X2
mark
X1
mark
times
X1
X2
a__times
mark
X1
mark
X2
mark
cons2
X1
X2
mark
X2
mark
s
X
mark
X
a__plus
s
X
Y
mark
Y
a__plus
s
X
Y
mark
X
a__plus
s
X
Y
a__plus
mark
X
mark
Y
a__times
s
X
Y
mark
X
a__times
s
X
Y
a__times
mark
X
mark
Y
a__times
s
X
Y
a__plus
mark
Y
a__times
mark
X
mark
Y
mark
posrecip
X
mark
X
mark
negrecip
X
mark
X
a__plus
0
Y
mark
Y
mark
rcons
X1
X2
mark
X2
mark
rcons
X1
X2
mark
X1
true
a__plus
2
1
2
2
0
0
a__2ndsneg
2
2
1
0
negrecip
1
1
12444
s
1
1
0
a__pi
1
3
a__from
1
26721
2ndspos
2
2
1
0
a__from
1
1
12444
rnil
0
1
square
1
1
10750
a__times
2
1
36557
2
25809
0
pi
1
13510
rcons
2
1
1
2
0
0
a__2ndspos
2
2
1
0
a__2ndsneg
2
0
a__plus
2
1
25808
2
25807
0
mark
1
1
25807
0
0
201
from
1
1
12444
times
2
1
10750
2
2
0
a__pi
1
13510
nil
0
16512
mark
1
1
0
2ndsneg
2
2
1
0
plus
2
1
2
2
0
0
cons2
2
1
1
2
0
0
a__square
1
1
10750
cons
2
1
12444
2
0
0
a__times
2
1
10750
2
2
0
a__square
1
3
a__2ndspos
2
0
posrecip
1
1
2331
mark
rcons
X1
X2
mark
X2
a__plus
0
Y
mark
Y
a__times
s
X
Y
a__plus
mark
Y
a__times
mark
X
mark
Y
a__times
s
X
Y
a__times
mark
X
mark
Y
a__plus
s
X
Y
a__plus
mark
X
mark
Y
a__plus
s
X
Y
mark
Y
mark
s
X
mark
X
mark
cons2
X1
X2
mark
X2
mark
times
X1
X2
a__times
mark
X1
mark
X2
mark
plus
X1
X2
a__plus
mark
X1
mark
X2
mark
plus
X1
X2
mark
X2
mark
plus
X1
X2
a__plus
mark
X1
mark
X2
a__2ndspos
s
N
cons2
X
cons
Y
Z
rcons
posrecip
mark
Y
a__2ndsneg
mark
N
mark
Z
mark
2ndspos
X1
X2
a__2ndspos
mark
X1
mark
X2
a__pi
X
a__2ndspos
mark
X
a__from
0
a__from
X
cons
mark
X
from
s
X
a__2ndspos
s
N
cons
X
Z
a__2ndspos
s
mark
N
cons2
X
mark
Z
mark
2ndsneg
X1
X2
a__2ndsneg
mark
X1
mark
X2
mark
0
0
a__square
X
square
X
mark
cons
X1
X2
cons
mark
X1
X2
mark
times
X1
X2
a__times
mark
X1
mark
X2
a__2ndsneg
X1
X2
2ndsneg
X1
X2
mark
pi
X
a__pi
mark
X
mark
cons2
X1
X2
cons2
X1
mark
X2
a__plus
X1
X2
plus
X1
X2
mark
s
X
s
mark
X
mark
rnil
rnil
a__2ndsneg
0
Z
rnil
a__pi
X
pi
X
a__plus
s
X
Y
s
a__plus
mark
X
mark
Y
a__2ndsneg
s
N
cons2
X
cons
Y
Z
rcons
negrecip
mark
Y
a__2ndspos
mark
N
mark
Z
mark
square
X
a__square
mark
X
mark
nil
nil
a__from
X
from
X
mark
from
X
a__from
mark
X
a__2ndspos
X1
X2
2ndspos
X1
X2
a__times
s
X
Y
a__plus
mark
Y
a__times
mark
X
mark
Y
mark
posrecip
X
posrecip
mark
X
mark
negrecip
X
negrecip
mark
X
a__times
0
Y
0
a__plus
0
Y
mark
Y
a__square
X
a__times
mark
X
mark
X
a__2ndsneg
s
N
cons
X
Z
a__2ndsneg
s
mark
N
cons2
X
mark
Z
a__times
X1
X2
times
X1
X2
mark
rcons
X1
X2
rcons
mark
X1
mark
X2
a__2ndspos
0
Z
rnil
mark
plus
X1
X2
mark
X2
mark
plus
X1
X2
a__plus
mark
X1
mark
X2
mark
times
X1
X2
a__times
mark
X1
mark
X2
mark
cons2
X1
X2
mark
X2
mark
s
X
mark
X
a__plus
s
X
Y
mark
Y
a__plus
s
X
Y
a__plus
mark
X
mark
Y
a__times
s
X
Y
a__times
mark
X
mark
Y
a__times
s
X
Y
a__plus
mark
Y
a__times
mark
X
mark
Y
a__plus
0
Y
mark
Y
mark
rcons
X1
X2
mark
X2
true
a__plus
2
2
0
a__2ndsneg
2
1
negrecip
1
1
s
1
1
0
a__pi
1
0
a__from
1
2
2ndspos
2
1
a__from
1
1
rnil
0
1
square
1
1
36130
a__times
2
0
pi
1
40911
rcons
2
2
0
a__2ndspos
2
1
a__2ndsneg
2
0
a__plus
2
2
0
mark
1
1
0
0
0
0
from
1
1
times
2
0
a__pi
1
40911
nil
0
35676
mark
1
1
0
2ndsneg
2
1
plus
2
2
0
cons2
2
2
27072
a__square
1
1
36130
cons
2
1
a__times
2
0
a__square
1
0
a__2ndspos
2
0
posrecip
1
8702
mark
rcons
X1
X2
mark
X2
a__plus
0
Y
mark
Y
a__times
s
X
Y
a__plus
mark
Y
a__times
mark
X
mark
Y
a__times
s
X
Y
a__times
mark
X
mark
Y
a__plus
s
X
Y
a__plus
mark
X
mark
Y
a__plus
s
X
Y
mark
Y
mark
s
X
mark
X
mark
times
X1
X2
a__times
mark
X1
mark
X2
mark
plus
X1
X2
a__plus
mark
X1
mark
X2
mark
plus
X1
X2
mark
X2
mark
plus
X1
X2
a__plus
mark
X1
mark
X2
a__2ndspos
s
N
cons2
X
cons
Y
Z
rcons
posrecip
mark
Y
a__2ndsneg
mark
N
mark
Z
mark
2ndspos
X1
X2
a__2ndspos
mark
X1
mark
X2
a__pi
X
a__2ndspos
mark
X
a__from
0
a__from
X
cons
mark
X
from
s
X
a__2ndspos
s
N
cons
X
Z
a__2ndspos
s
mark
N
cons2
X
mark
Z
mark
2ndsneg
X1
X2
a__2ndsneg
mark
X1
mark
X2
mark
0
0
a__square
X
square
X
mark
cons
X1
X2
cons
mark
X1
X2
mark
times
X1
X2
a__times
mark
X1
mark
X2
a__2ndsneg
X1
X2
2ndsneg
X1
X2
mark
pi
X
a__pi
mark
X
mark
cons2
X1
X2
cons2
X1
mark
X2
a__plus
X1
X2
plus
X1
X2
mark
s
X
s
mark
X
mark
rnil
rnil
a__2ndsneg
0
Z
rnil
a__pi
X
pi
X
a__plus
s
X
Y
s
a__plus
mark
X
mark
Y
a__2ndsneg
s
N
cons2
X
cons
Y
Z
rcons
negrecip
mark
Y
a__2ndspos
mark
N
mark
Z
mark
square
X
a__square
mark
X
mark
nil
nil
a__from
X
from
X
mark
from
X
a__from
mark
X
a__2ndspos
X1
X2
2ndspos
X1
X2
a__times
s
X
Y
a__plus
mark
Y
a__times
mark
X
mark
Y
mark
posrecip
X
posrecip
mark
X
mark
negrecip
X
negrecip
mark
X
a__times
0
Y
0
a__plus
0
Y
mark
Y
a__square
X
a__times
mark
X
mark
X
a__2ndsneg
s
N
cons
X
Z
a__2ndsneg
s
mark
N
cons2
X
mark
Z
a__times
X1
X2
times
X1
X2
mark
rcons
X1
X2
rcons
mark
X1
mark
X2
a__2ndspos
0
Z
rnil
mark
plus
X1
X2
mark
X2
mark
plus
X1
X2
a__plus
mark
X1
mark
X2
mark
times
X1
X2
a__times
mark
X1
mark
X2
mark
s
X
mark
X
a__plus
s
X
Y
mark
Y
a__plus
s
X
Y
a__plus
mark
X
mark
Y
a__times
s
X
Y
a__times
mark
X
mark
Y
a__times
s
X
Y
a__plus
mark
Y
a__times
mark
X
mark
Y
a__plus
0
Y
mark
Y
mark
rcons
X1
X2
mark
X2
true
a__from
1
1
a__2ndsneg
2
1
from
1
1
mark
1
1
cons2
2
1
cons
2
1
a__plus
2
8
2
1
a__2ndsneg
2
1
1
negrecip
1
0
s
1
6
1
a__pi
1
0
a__from
1
0
2ndspos
2
2
1
rnil
0
1
square
1
10
1
a__times
2
9
2
1
pi
1
3
1
rcons
2
2
1
2
a__2ndspos
2
2
1
a__plus
2
7
1
2
mark
1
4
1
0
0
1
times
2
9
2
1
a__pi
1
3
1
nil
0
4
2ndsneg
2
1
1
plus
2
8
2
1
a__square
1
10
1
a__times
2
9
2
1
a__square
1
0
a__2ndspos
2
2
1
posrecip
1
6
a__plus
2
1
0
2
0
0
a__2ndsneg
2
1
0
0
negrecip
1
0
s
1
1
0
a__pi
1
0
a__from
1
0
2ndspos
2
1
0
0
rnil
0
0
square
1
1
0
a__times
2
1
0
2
0
0
pi
1
1
0
rcons
2
1
0
2
0
0
a__2ndspos
2
1
0
0
a__plus
2
1
0
2
0
0
mark
1
1
0
0
0
0
times
2
1
0
2
0
0
a__pi
1
1
0
nil
0
0
2ndsneg
2
1
0
0
plus
2
1
0
2
0
0
a__square
1
1
0
a__times
2
1
0
2
0
0
a__square
1
0
a__2ndspos
2
1
0
0
posrecip
1
0
a__times
s
X
Y
a__times
mark
X
mark
Y
a__plus
s
X
Y
a__plus
mark
X
mark
Y
mark
plus
X1
X2
a__plus
mark
X1
mark
X2
a__2ndspos
s
N
cons2
X
cons
Y
Z
rcons
posrecip
mark
Y
a__2ndsneg
mark
N
mark
Z
mark
2ndspos
X1
X2
a__2ndspos
mark
X1
mark
X2
a__pi
X
a__2ndspos
mark
X
a__from
0
a__from
X
cons
mark
X
from
s
X
a__2ndspos
s
N
cons
X
Z
a__2ndspos
s
mark
N
cons2
X
mark
Z
mark
2ndsneg
X1
X2
a__2ndsneg
mark
X1
mark
X2
mark
0
0
a__square
X
square
X
mark
cons
X1
X2
cons
mark
X1
X2
mark
times
X1
X2
a__times
mark
X1
mark
X2
a__2ndsneg
X1
X2
2ndsneg
X1
X2
mark
pi
X
a__pi
mark
X
mark
cons2
X1
X2
cons2
X1
mark
X2
a__plus
X1
X2
plus
X1
X2
mark
s
X
s
mark
X
mark
rnil
rnil
a__2ndsneg
0
Z
rnil
a__pi
X
pi
X
a__plus
s
X
Y
s
a__plus
mark
X
mark
Y
a__2ndsneg
s
N
cons2
X
cons
Y
Z
rcons
negrecip
mark
Y
a__2ndspos
mark
N
mark
Z
mark
square
X
a__square
mark
X
mark
nil
nil
a__from
X
from
X
mark
from
X
a__from
mark
X
a__2ndspos
X1
X2
2ndspos
X1
X2
a__times
s
X
Y
a__plus
mark
Y
a__times
mark
X
mark
Y
mark
posrecip
X
posrecip
mark
X
mark
negrecip
X
negrecip
mark
X
a__times
0
Y
0
a__plus
0
Y
mark
Y
a__square
X
a__times
mark
X
mark
X
a__2ndsneg
s
N
cons
X
Z
a__2ndsneg
s
mark
N
cons2
X
mark
Z
a__times
X1
X2
times
X1
X2
mark
rcons
X1
X2
rcons
mark
X1
mark
X2
a__2ndspos
0
Z
rnil
a__plus
s
X
Y
a__plus
mark
X
mark
Y
true
a__from
1
1
a__2ndsneg
2
1
from
1
1
mark
1
1
cons2
2
1
cons
2
1
a__plus
2
8
2
1
a__2ndsneg
2
1
1
negrecip
1
0
s
1
6
1
a__pi
1
0
a__from
1
0
2ndspos
2
2
1
rnil
0
1
square
1
10
1
a__times
2
9
2
1
pi
1
3
1
rcons
2
2
1
2
a__2ndspos
2
2
1
a__plus
2
7
1
2
mark
1
4
1
0
0
1
times
2
9
2
1
a__pi
1
3
1
nil
0
4
2ndsneg
2
1
1
plus
2
8
2
1
a__square
1
10
1
a__times
2
9
2
1
a__square
1
0
a__2ndspos
2
2
1
posrecip
1
6
a__plus
2
1
0
2
0
0
a__2ndsneg
2
1
0
0
negrecip
1
0
s
1
1
0
a__pi
1
0
a__from
1
0
2ndspos
2
1
0
0
rnil
0
0
square
1
1
0
a__times
2
1
0
2
0
0
pi
1
1
0
rcons
2
1
0
2
0
0
a__2ndspos
2
1
0
0
a__plus
2
1
0
2
0
0
mark
1
1
0
0
0
0
times
2
1
0
2
0
0
a__pi
1
1
0
nil
0
0
2ndsneg
2
1
0
0
plus
2
1
0
2
0
0
a__square
1
1
0
a__times
2
1
0
2
0
0
a__square
1
0
a__2ndspos
2
1
0
0
posrecip
1
0
mark
plus
X1
X2
a__plus
mark
X1
mark
X2
a__2ndspos
s
N
cons2
X
cons
Y
Z
rcons
posrecip
mark
Y
a__2ndsneg
mark
N
mark
Z
mark
2ndspos
X1
X2
a__2ndspos
mark
X1
mark
X2
a__pi
X
a__2ndspos
mark
X
a__from
0
a__from
X
cons
mark
X
from
s
X
a__2ndspos
s
N
cons
X
Z
a__2ndspos
s
mark
N
cons2
X
mark
Z
mark
2ndsneg
X1
X2
a__2ndsneg
mark
X1
mark
X2
mark
0
0
a__square
X
square
X
mark
cons
X1
X2
cons
mark
X1
X2
mark
times
X1
X2
a__times
mark
X1
mark
X2
a__2ndsneg
X1
X2
2ndsneg
X1
X2
mark
pi
X
a__pi
mark
X
mark
cons2
X1
X2
cons2
X1
mark
X2
a__plus
X1
X2
plus
X1
X2
mark
s
X
s
mark
X
mark
rnil
rnil
a__2ndsneg
0
Z
rnil
a__pi
X
pi
X
a__plus
s
X
Y
s
a__plus
mark
X
mark
Y
a__2ndsneg
s
N
cons2
X
cons
Y
Z
rcons
negrecip
mark
Y
a__2ndspos
mark
N
mark
Z
mark
square
X
a__square
mark
X
mark
nil
nil
a__from
X
from
X
mark
from
X
a__from
mark
X
a__2ndspos
X1
X2
2ndspos
X1
X2
a__times
s
X
Y
a__plus
mark
Y
a__times
mark
X
mark
Y
mark
posrecip
X
posrecip
mark
X
mark
negrecip
X
negrecip
mark
X
a__times
0
Y
0
a__plus
0
Y
mark
Y
a__square
X
a__times
mark
X
mark
X
a__2ndsneg
s
N
cons
X
Z
a__2ndsneg
s
mark
N
cons2
X
mark
Z
a__times
X1
X2
times
X1
X2
mark
rcons
X1
X2
rcons
mark
X1
mark
X2
a__2ndspos
0
Z
rnil
a__times
s
X
Y
a__times
mark
X
mark
Y
true
a__from
1
1
a__2ndsneg
2
1
from
1
1
mark
1
1
cons2
2
1
cons
2
1
a__plus
2
8
2
1
a__2ndsneg
2
1
1
negrecip
1
0
s
1
6
1
a__pi
1
0
a__from
1
0
2ndspos
2
2
1
rnil
0
1
square
1
10
1
a__times
2
2
2
1
pi
1
3
1
rcons
2
2
1
2
a__2ndspos
2
2
1
a__plus
2
7
1
2
mark
1
4
1
0
0
1
times
2
9
2
1
a__pi
1
3
1
nil
0
4
2ndsneg
2
1
1
plus
2
8
2
1
a__square
1
10
1
a__times
2
9
2
1
a__square
1
0
a__2ndspos
2
2
1
posrecip
1
6
a__plus
2
1
0
2
0
0
a__2ndsneg
2
1
0
0
negrecip
1
0
s
1
1
0
a__pi
1
0
a__from
1
0
2ndspos
2
1
0
0
rnil
0
0
square
1
1
0
a__times
2
1
0
2
0
0
pi
1
1
0
rcons
2
1
0
2
0
0
a__2ndspos
2
1
0
0
a__plus
2
1
0
2
0
0
mark
1
1
0
0
0
0
times
2
1
0
2
0
0
a__pi
1
1
0
nil
0
0
2ndsneg
2
1
0
0
plus
2
1
0
2
0
0
a__square
1
1
0
a__times
2
1
0
2
0
0
a__square
1
0
a__2ndspos
2
1
0
0
posrecip
1
0
mark
plus
X1
X2
a__plus
mark
X1
mark
X2
a__2ndspos
s
N
cons2
X
cons
Y
Z
rcons
posrecip
mark
Y
a__2ndsneg
mark
N
mark
Z
mark
2ndspos
X1
X2
a__2ndspos
mark
X1
mark
X2
a__pi
X
a__2ndspos
mark
X
a__from
0
a__from
X
cons
mark
X
from
s
X
a__2ndspos
s
N
cons
X
Z
a__2ndspos
s
mark
N
cons2
X
mark
Z
mark
2ndsneg
X1
X2
a__2ndsneg
mark
X1
mark
X2
mark
0
0
a__square
X
square
X
mark
cons
X1
X2
cons
mark
X1
X2
mark
times
X1
X2
a__times
mark
X1
mark
X2
a__2ndsneg
X1
X2
2ndsneg
X1
X2
mark
pi
X
a__pi
mark
X
mark
cons2
X1
X2
cons2
X1
mark
X2
a__plus
X1
X2
plus
X1
X2
mark
s
X
s
mark
X
mark
rnil
rnil
a__2ndsneg
0
Z
rnil
a__pi
X
pi
X
a__plus
s
X
Y
s
a__plus
mark
X
mark
Y
a__2ndsneg
s
N
cons2
X
cons
Y
Z
rcons
negrecip
mark
Y
a__2ndspos
mark
N
mark
Z
mark
square
X
a__square
mark
X
mark
nil
nil
a__from
X
from
X
mark
from
X
a__from
mark
X
a__2ndspos
X1
X2
2ndspos
X1
X2
a__times
s
X
Y
a__plus
mark
Y
a__times
mark
X
mark
Y
mark
posrecip
X
posrecip
mark
X
mark
negrecip
X
negrecip
mark
X
a__times
0
Y
0
a__plus
0
Y
mark
Y
a__square
X
a__times
mark
X
mark
X
a__2ndsneg
s
N
cons
X
Z
a__2ndsneg
s
mark
N
cons2
X
mark
Z
a__times
X1
X2
times
X1
X2
mark
rcons
X1
X2
rcons
mark
X1
mark
X2
a__2ndspos
0
Z
rnil
mark
square
X
a__square
mark
X
false
mark
pi
X
a__pi
mark
X
false
NaTT
certifiable-1.6