half00halfs00halfssxshalfxlastbit00lastbits0s0lastbitssxlastbitxzero0truezerosxfalseconvxconviterxcons0nilconviterxlifzeroxxliftruexlliffalsexlconviterhalfxconslastbitxlhalf100s1lastbit1zero1true0false0conv1conviter2cons2nil0if3FULL./TRS/SchneiderKamp/trs/thiemann10.trs