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 conv 0 cons nil 0 conv s x cons conv half s x lastbit s x half 1 0 0 s 1 lastbit 1 conv 1 cons 2 nil 0 INNERMOST ./TRS/AG01/#3.42.trs