half
0
0
half
s
0
0
half
s
s
x
s
half
x
lastbit
0
0
lastbit
s
0
s
0
lastbit
s
s
x
lastbit
x
zero
0
true
zero
s
x
false
conv
x
conviter
x
cons
0
nil
conviter
x
l
if
zero
x
x
l
if
true
x
l
l
if
false
x
l
conviter
half
x
cons
lastbit
x
l
half
1
0
0
s
1
lastbit
1
zero
1
true
0
false
0
conv
1
conviter
2
cons
2
nil
0
if
3
INNERMOST
./TRS/SchneiderKamp/trs/thiemann10.trs