half 0 0 half s 0 0 half s s x s half x inc 0 0 inc s x s inc x zero 0 true zero s x false p 0 0 p s x x bits x bitIter x 0 bitIter x y if zero x x inc y if true x y p y if false x y bitIter half x y half 1 0 0 s 1 inc 1 zero 1 true 0 false 0 p 1 bits 1 bitIter 2 if 3 FULL ./TRS/SchneiderKamp/trs/thiemann15.trs