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