eq00trueeq0smfalseeqsn0falseeqsnsmeqnmle0mtruelesn0falselesnsmlenmminconsxnilxminconsnconsmxif_minlenmconsnconsmxif_mintrueconsnconsmxminconsnxif_minfalseconsnconsmxminconsmxreplacenmnilnilreplacenmconskxif_replaceeqnknmconskxif_replacetruenmconskxconsmxif_replacefalsenmconskxconskreplacenmxemptyniltrueemptyconsnxfalseheadconsnxntailnilniltailconsnxxsortxsortIterxnilsortIterxyifemptyxxyappendyconsminxniliftruexyzyiffalsexyzsortIterreplaceminxheadxtailxzeq200true0s1false0le2min1cons2nil0if_min2replace3if_replace4empty1head1tail1sort1sortIter2if4append2INNERMOST./TRS/SchneiderKamp/trs/thiemann18.trs