le0ytruelesx0falselesxsylexyintxyiflexyxyiftruexyconsxintsxyiffalsexynille200true0s1false0int2if3cons2nil0FULL./TRS/SchneiderKamp/trs/thiemann27.trs