check0zerochecks0oddcheckss0evenchecksssxchecksxhalf00halfs00halfssxshalfxplus0yyplussxysplusxytimesxytimesIterxy0timesIterxyzifcheckxxyzpluszypsxxp00ifzeroxyzuzifoddxyzutimesIterpxyuifevenxyzuplustimesIterhalfxyhalfztimesIterhalfxyhalfszcheck100zero0s1odd0even0half1plus2times2timesIter3if5p1FULL./TRS/SchneiderKamp/trs/thiemann16.trs