half00halfs00halfssxshalfxinc00incsxsincxzero0truezerosxfalsep00psxxbitsxbitIterx0bitIterxyifzeroxxincyiftruexypyiffalsexybitIterhalfxyhalf100s1inc1zero1true0false0p1bits1bitIter2if3INNERMOST./TRS/SchneiderKamp/trs/thiemann15.trs