eq00trueeq0syfalseeqsx0falseeqsxsyeqxylt0sytrueltx0falseltsxsyltxybin2snil0bin2sconsxxsbin2ssxxsbin2ssxnilxbin2ssxcons0xsbin2ssdoublexxsbin2ssxcons1xsbin2sssdoublexxshalf00halfs00halfssxshalfxlog00logs00logssxsloghalfssxmorenilnilmoreconsxsysconscons0xsconscons1xsconsxsyss2binxs2bin1x0consnilnils2bin1xylistsif1ltylogxxylistsif1truexylistss2bin1xsymorelistsif1falsexylistss2bin2xlistss2bin2xnilbug_list_nots2bin2xconsxsysif2eqxbin2sxsxxsysif2truexxsysxsif2falsexxsyss2bin2xyseq200true0s1false0lt2bin2s1nil0cons2bin2ss2double110half1log1more1s2bin1s2bin13if14s2bin22bug_list_not0if24FULL./TRS/SchneiderKamp/trs/thiemann21.trs