plus0yyplussxysplusxylt0sytrueltx0falseltsxsyltxyfibxfibiterx00s0fibiterbcxyifltcbbcxyiffalsebcxyxiftruebcxyfibiterbscyplusxyplus200s1lt2true0false0fib1fibiter4if5INNERMOST./TRS/SchneiderKamp/trs/thiemann25.trs