eq00trueeq0smfalseeqsn0falseeqsnsmeqnmle0mtruelesn0falselesnsmlenmmincons0nil0minconssnnilsnminconsnconsmxif_minlenmconsnconsmxif_mintrueconsnconsmxminconsnxif_minfalseconsnconsmxminconsmxreplacenmnilnilreplacenmconskxif_replaceeqnknmconskxif_replacetruenmconskxconsmxif_replacefalsenmconskxconskreplacenmxsortnilnilsortconsnxconsminconsnxsortreplaceminconsnxnxeq200true0s1false0le2min1cons2nil0if_min2replace3if_replace4sort1INNERMOST./TRS/AG01/#4.36.trs