aaappendnilysysaaappendaaconsxxsysaaconsxaaappendxsysaafilterfnilnilaafilterfaaconsxxsaaaifafxxaafilterfxsaale0ytrueaaleasx0falseaaleasxasyaalexyaaaiftruexxsaaconsxxsaaaiffalsexxsxsaanotfbanot2afbanot2truefalseanot2falsetrueaqsnilnilaqsaaconsxxsaaappendaqsaafilteralexxsaaconsxaqsaafilteranotalexxsa2append0nil0cons0filter0if0le000true0s0false0not0not20qs0FULL./TRS/SchneiderKamp/trs/thiemann35.trs