eq00trueeq0smfalseeqsn0falseeqsnsmeqnmle0mtruelesn0falselesnsmlenmmincons0nil0minconssnnilsnminconsnconsmxif_minlenmconsnconsmxif_mintrueconsnconsmxminconsnxif_minfalseconsnconsmxminconsmxreplacenmnilnilreplacenmconskxif_replaceeqnknmconskxif_replacetruenmconskxconsmxif_replacefalsenmconskxconskreplacenmxsortnilnilsortconsnxconsminconsnxsortreplaceminconsnxnxeqsnsmeqnmlesnsmlenmminconsnconsmxlenmminconsnconsmxif_minlenmconsnconsmxif_mintrueconsnconsmxminconsnxif_minfalseconsnconsmxminconsmxreplacenmconskxeqnkreplacenmconskxif_replaceeqnknmconskxif_replacefalsenmconskxreplacenmxsortconsnxreplaceminconsnxnxsortconsnxsortreplaceminconsnxnxsortconsnxminconsnxtruesortconsnxsortreplaceminconsnxnxtrue1sort1111sort1311if_replace4011203140replace31102130if_min201021min1011cons201122nil02le201029false09s1010true00eq2010212000sortconsnxminconsnxfalseminconsnconsmxif_minlenmconsnconsmxif_mintrueconsnconsmxminconsnxif_minfalseconsnconsmxminconsmxtrue1if_min2319211min19114sort1110if_replace4010213140replace30112130if_min201020min1010cons211122nil00le201021false00s1010true00eq201020000minconsnconsmxif_minlenmconsnconsmxminconsnconsmxif_minlenmconsnconsmxfalseminconsnconsmxlenmfalselesnsmlenmtruesortconsnxreplaceminconsnxnxfalsereplacenmconskxif_replaceeqnknmconskxif_replacefalsenmconskxreplacenmxtrue1if_replace41110203241replace30102337sort1110if_replace4010203140replace30102130if_min201127min1117cons201428nil010le201020false00s1010true00eq201021000replacenmconskxeqnkfalseeqsnsmeqnmtrue