minusminusxyzminusxplusyzminus0y0minusx0xminussxsyminusxyplus0yyplussxyplusxsyplussxysplusyxzerosxfalsezero0truepsxxp00divxyquotxy0quotsxsyzquotminuspack0xysyszquot0syzzack0xsxack0xplusxs0acksx0ackxs0acksxsyackxacksxyminus2plus200s1zero1false0true0p1div2quot3ack2FULL./TRS/SchneiderKamp/trs/thiemann09.trs