plus0yyplussxysplusxylt0sytrueltx0falseltsxsyltxyfibxfibiterx00s0fibiterbcxyifltcbbcxyiffalsebcxyxiftruebcxyfibiterbscyplusxyplus200s1lt2true0false0fib1fibiter4if5FULL./TRS/SchneiderKamp/trs/thiemann25.trs