eq00trueeq0smfalseeqsn0falseeqsnsmeqnmle0mtruelesn0falselesnsmlenmminconsxnilxminconsnconsmxif_minlenmconsnconsmxif_mintrueconsnconsmxminconsnxif_minfalseconsnconsmxminconsmxreplacenmnilnilreplacenmconskxif_replaceeqnknmconskxif_replacetruenmconskxconsmxif_replacefalsenmconskxconskreplacenmxemptyniltrueemptyconsnxfalseheadconsnxntailnilniltailconsnxxsortxsortIterxnilsortIterxyifemptyxxyappendyconsminxniliftruexyzyiffalsexyzsortIterreplaceminxheadxtailxzeqsnsmeqnmlesnsmlenmminconsnconsmxif_minlenmconsnconsmxminconsnconsmxlenmif_mintrueconsnconsmxminconsnxif_minfalseconsnconsmxminconsmxreplacenmconskxif_replaceeqnknmconskxreplacenmconskxeqnkif_replacefalsenmconskxreplacenmxsortxsortIterxnilsortIterxyifemptyxxyappendyconsminxnilsortIterxyemptyxsortIterxyminxiffalsexyzsortIterreplaceminxheadxtailxziffalsexyzreplaceminxheadxtailxiffalsexyzminxiffalsexyzheadxiffalsexyztailxtruesortxsortIterxnilfalse12345678910111213iffalsexyzsortIterreplaceminxheadxtailxzsortIterxyifemptyxxyappendyconsminxniltrue1234567891011121if401121142013214false014sortIter201111212replace301011012113min141011head114011tail101141empty101141append201141012cons241011412nil001if_min201541142le221011012true001if_replace401011012013114eq2012110120014s111011sortIterxyifemptyxxyappendyconsminxniltailnilniltailconsnxxreplacenmnilnilreplacenmconskxif_replaceeqnknmconskxemptyniltrueemptyconsnxfalseif_replacefalsenmconskxconskreplacenmxif_replacetruenmconskxconsmxsortIterxyifemptyxxyappendyconsminxnilfalseiffalsexyzreplaceminxheadxtailxfalse357replacenmconskxif_replaceeqnknmconskxif_replacefalsenmconskxreplacenmxtrue3571replace311113cons2112if_replace411214eq20false00000true00s10replacenmconskxif_replaceeqnknmconskxreplacenmconskxif_replaceeqnknmconskxfalsereplacenmconskxeqnkfalse246eqsnsmeqnmtrue241eq212s1111sortIterxyminxfalse24iffalsexyzminxfalse2minconsnconsmxif_minlenmconsnconsmxif_mintrueconsnconsmxminconsnxif_minfalseconsnconsmxminconsmxtrue21min1111cons2112if_min212le20true00false00000s10if_mintrueconsnconsmxminconsnxif_minfalseconsnconsmxminconsmxif_mintrueconsnconsmxminconsnxfalseif_minfalseconsnconsmxminconsmxfalseminconsnconsmxlenmfalselesnsmlenmtrue1le212s1111sortIterxyemptyxfalseiffalsexyzheadxfalseiffalsexyztailxfalse