eq00trueeq0smfalseeqsn0falseeqsnsmeqnmle0mtruelesn0falselesnsmlenmminconsxnilxminconsnconsmxif_minlenmconsnconsmxif_mintrueconsnconsmxminconsnxif_minfalseconsnconsmxminconsmxreplacenmnilnilreplacenmconskxif_replaceeqnknmconskxif_replacetruenmconskxconsmxif_replacefalsenmconskxconskreplacenmxemptyniltrueemptyconsnxfalseheadconsnxntailnilniltailconsnxxsortxsortIterxnilsortIterxyifemptyxxyappendyconsminxniliftruexyzyiffalsexyzsortIterreplaceminxheadxtailxzeqsnsmeqnmlesnsmlenmminconsnconsmxlenmminconsnconsmxif_minlenmconsnconsmxif_mintrueconsnconsmxminconsnxif_minfalseconsnconsmxminconsmxreplacenmconskxeqnkreplacenmconskxif_replaceeqnknmconskxif_replacefalsenmconskxreplacenmxsortxsortIterxnilsortIterxyminxsortIterxyemptyxsortIterxyifemptyxxyappendyconsminxniliffalsexyztailxiffalsexyzheadxiffalsexyzminxiffalsexyzreplaceminxheadxtailxiffalsexyzsortIterreplaceminxheadxtailxztruesortxsortIterxnilfalseiffalsexyzsortIterreplaceminxheadxtailxzsortIterxyifemptyxxyappendyconsminxniltrueiffalsexyzreplaceminxheadxtailxfalsereplacenmconskxif_replaceeqnknmconskxif_replacefalsenmconskxreplacenmxtruereplace33if_replace44replacenmconskxif_replaceeqnknmconskxreplacenmconskxif_replaceeqnknmconskxfalsereplacenmconskxeqnkfalseeqsnsmeqnmtrueeq22iffalsexyzminxfalseiffalsexyzheadxfalseiffalsexyztailxfalsesortIterxyemptyxfalsesortIterxyminxfalseminconsnconsmxif_minlenmconsnconsmxif_mintrueconsnconsmxminconsnxif_minfalseconsnconsmxminconsmxtrue1if_min201120min1110cons201121le221020false00s1910true00003minconsnconsmxif_minlenmconsnconsmxminconsnconsmxif_minlenmconsnconsmxfalseminconsnconsmxlenmfalselesnsmlenmtruele22