eq00trueeq0smfalseeqsn0falseeqsnsmeqnmle0mtruelesn0falselesnsmlenmminconsxnilxminconsnconsmxif_minlenmconsnconsmxif_mintrueconsnconsmxminconsnxif_minfalseconsnconsmxminconsmxreplacenmnilnilreplacenmconskxif_replaceeqnknmconskxif_replacetruenmconskxconsmxif_replacefalsenmconskxconskreplacenmxemptyniltrueemptyconsnxfalseheadconsnxntailnilniltailconsnxxsortxsortIterxnilsortIterxyifemptyxxyappendyconsminxniliftruexyzyiffalsexyzsortIterreplaceminxheadxtailxzeqsnsmeqnmlesnsmlenmminconsnconsmxlenmminconsnconsmxif_minlenmconsnconsmxif_mintrueconsnconsmxminconsnxif_minfalseconsnconsmxminconsmxreplacenmconskxeqnkreplacenmconskxif_replaceeqnknmconskxif_replacefalsenmconskxreplacenmxsortxsortIterxnilsortIterxyminxsortIterxyemptyxsortIterxyifemptyxxyappendyconsminxniliffalsexyztailxiffalsexyzheadxiffalsexyzminxiffalsexyzreplaceminxheadxtailxiffalsexyzsortIterreplaceminxheadxtailxztruesortxsortIterxnilfalseiffalsexyzsortIterreplaceminxheadxtailxzsortIterxyifemptyxxyappendyconsminxniltrueiffalsexyzreplaceminxheadxtailxfalsereplacenmconskxif_replaceeqnknmconskxif_replacefalsenmconskxreplacenmxtrue1if_replace4010203440replace30102430if4010213442append201020sortIter201122sort1112tail1110head1112empty1314if_replace40112283142replace312182132if_min201223min1213cons281128nil00le2011120false00s1315true00eq281422003replacenmconskxif_replaceeqnknmconskxreplacenmconskxif_replaceeqnknmconskxfalsereplacenmconskxeqnkfalseeqsnsmeqnmtrue1eq231628if4010243544append201020sortIter201424sort1018tail1210head1112empty1017if_replace40112832412replace311822312if_min211421min1415cons281124nil00le201021false00s1411true01eq2619211002iffalsexyzminxfalseiffalsexyzheadxfalseiffalsexyztailxfalsesortIterxyemptyxfalsesortIterxyminxfalseminconsnconsmxif_minlenmconsnconsmxif_mintrueconsnconsmxminconsnxif_minfalseconsnconsmxminconsmxtrue1if_min201420min1413if40102131413append201020sortIter2011213sort10113tail11410head1210empty1810if_replace40182832414replace381822315if_min201125min1116cons221121nil00le201020false00s1810true00eq241020001minconsnconsmxlenmfalselesnsmlenmtrue1le231628if4010243544append201020sortIter201424sort1018tail1210head1112empty1017if_replace40112832412replace311822312if_min211421min1415cons281124nil00le201021false00s1411true01eq2619211002