table
gen
s
0
gen
x
if1
le
x
10
x
if1
false
x
nil
if1
true
x
if2
x
x
if2
x
y
if3
le
y
10
x
y
if3
true
x
y
cons
entry
x
y
times
x
y
if2
x
s
y
if3
false
x
y
gen
s
x
le
0
y
true
le
s
x
0
false
le
s
x
s
y
le
x
y
plus
0
y
y
plus
s
x
y
s
plus
x
y
times
0
y
0
times
s
x
y
plus
y
times
x
y
10
s
s
s
s
s
s
s
s
s
s
0
table
0
gen
1
s
1
0
0
if1
2
le
2
10
0
false
0
nil
0
true
0
if2
2
if3
3
cons
2
entry
3
times
2
plus
2
INNERMOST
./TRS/SchneiderKamp/trs/thiemann32.trs