eq00trueeq0smfalseeqsn0falseeqsnsmeqnmle0mtruelesn0falselesnsmlenmminconsxnilxminconsnconsmxif_minlenmconsnconsmxif_mintrueconsnconsmxminconsnxif_minfalseconsnconsmxminconsmxreplacenmnilnilreplacenmconskxif_replaceeqnknmconskxif_replacetruenmconskxconsmxif_replacefalsenmconskxconskreplacenmxemptyniltrueemptyconsnxfalseheadconsnxntailnilniltailconsnxxsortxsortIterxnilsortIterxyifemptyxxyappendyconsminxniliftruexyzyiffalsexyzsortIterreplaceminxheadxtailxzeqsnsmeqnmlesnsmlenmminconsnconsmxlenmminconsnconsmxif_minlenmconsnconsmxif_mintrueconsnconsmxminconsnxif_minfalseconsnconsmxminconsmxreplacenmconskxeqnkreplacenmconskxif_replaceeqnknmconskxif_replacefalsenmconskxreplacenmxsortxsortIterxnilsortIterxyminxsortIterxyemptyxsortIterxyifemptyxxyappendyconsminxniliffalsexyztailxiffalsexyzheadxiffalsexyzminxiffalsexyzreplaceminxheadxtailxiffalsexyzsortIterreplaceminxheadxtailxztruesortxsortIterxnilfalseiffalsexyzsortIterreplaceminxheadxtailxzsortIterxyifemptyxxyappendyconsminxniltrueiffalsexyzreplaceminxheadxtailxfalsereplacenmconskxif_replaceeqnknmconskxif_replacefalsenmconskxreplacenmxtruereplace33if_replace44replacenmconskxif_replaceeqnknmconskxreplacenmconskxif_replaceeqnknmconskxfalsereplacenmconskxeqnkfalseeqsnsmeqnmtrueeq22iffalsexyzminxfalseiffalsexyzheadxfalseiffalsexyztailxfalsesortIterxyemptyxfalsesortIterxyminxfalseminconsnconsmxif_minlenmconsnconsmxif_mintrueconsnconsmxminconsnxif_minfalseconsnconsmxminconsmxtrue1if_min201420min1413if40102131413append201020sortIter2011213sort10113tail11410head1210empty1810if_replace40182832414replace381822315if_min201125min1116cons221121nil00le201020false00s1810true00eq241020001minconsnconsmxlenmfalselesnsmlenmtruele22