eq00trueeq0smfalseeqsn0falseeqsnsmeqnmle0mtruelesn0falselesnsmlenmmincons0nil0minconssnnilsnminconsnconsmxif_minlenmconsnconsmxif_mintrueconsnconsmxminconsnxif_minfalseconsnconsmxminconsmxreplacenmnilnilreplacenmconskxif_replaceeqnknmconskxif_replacetruenmconskxconsmxif_replacefalsenmconskxconskreplacenmxsortnilnilsortconsnxconsminconsnxsortreplaceminconsnxnxeqsnsmeqnmlesnsmlenmminconsnconsmxlenmminconsnconsmxif_minlenmconsnconsmxif_mintrueconsnconsmxminconsnxif_minfalseconsnconsmxminconsmxreplacenmconskxeqnkreplacenmconskxif_replaceeqnknmconskxif_replacefalsenmconskxreplacenmxsortconsnxreplaceminconsnxnxsortconsnxsortreplaceminconsnxnxsortconsnxminconsnxtruesortconsnxsortreplaceminconsnxnxtrue1sort1110if_replace4010203142replace30102132if_min201120min1110cons201124nil012le241121false00s1018true00eq2010200010mincons0nil0minconssnnilsnminconsnconsmxif_minlenmconsnconsmxif_mintrueconsnconsmxminconsnxif_minfalseconsnconsmxminconsmxreplacenmnilnilreplacenmconskxif_replaceeqnknmconskxif_replacetruenmconskxconsmxif_replacefalsenmconskxconskreplacenmxsortconsnxminconsnxfalseminconsnconsmxif_minlenmconsnconsmxif_mintrueconsnconsmxminconsnxif_minfalseconsnconsmxminconsmxtrue1if_min201120min1110cons201121le221020false00s1910true00003minconsnconsmxif_minlenmconsnconsmxminconsnconsmxif_minlenmconsnconsmxfalseminconsnconsmxlenmfalselesnsmlenmtrue1le2810210s1414sortconsnxreplaceminconsnxnxfalsereplacenmconskxif_replaceeqnknmconskxif_replacefalsenmconskxreplacenmxtrue1if_replace4810203640replace301027315cons281921false04s1212true04eq201122002replacenmconskxif_replaceeqnknmconskxeq00trueeq0smfalseeqsn0falseeqsnsmeqnmreplacenmconskxif_replaceeqnknmconskxfalsereplacenmconskxeqnkfalseeqsnsmeqnmtrue1eq2810210s1414