lt
0
s
x
true
lt
x
0
false
lt
s
x
s
y
lt
x
y
times
0
y
0
times
s
x
y
plus
y
times
x
y
plus
0
y
y
plus
s
x
y
s
plus
x
y
fac
x
loop
x
s
0
s
0
loop
x
c
y
if
lt
x
c
x
c
y
if
false
x
c
y
loop
x
s
c
times
y
s
c
if
true
x
c
y
y
lt
2
0
0
s
1
true
0
false
0
times
2
plus
2
fac
1
loop
3
if
4
INNERMOST
./TRS/SchneiderKamp/trs/thiemann24.trs