eq00trueeq0smfalseeqsn0falseeqsnsmeqnmle0mtruelesn0falselesnsmlenmmincons0nil0minconssnnilsnminconsnconsmxif_minlenmconsnconsmxif_mintrueconsnconsmxminconsnxif_minfalseconsnconsmxminconsmxreplacenmnilnilreplacenmconskxif_replaceeqnknmconskxif_replacetruenmconskxconsmxif_replacefalsenmconskxconskreplacenmxsortnilnilsortconsnxconsminconsnxsortreplaceminconsnxnxeqsnsmeqnmlesnsmlenmminconsnconsmxif_minlenmconsnconsmxminconsnconsmxlenmif_mintrueconsnconsmxminconsnxif_minfalseconsnconsmxminconsmxreplacenmconskxif_replaceeqnknmconskxreplacenmconskxeqnkif_replacefalsenmconskxreplacenmxsortconsnxminconsnxsortconsnxsortreplaceminconsnxnxsortconsnxreplaceminconsnxnxsortconsnxminconsnxtruesortconsnxsortreplaceminconsnxnxtrue123456781sort111cons2112replace313min10eq20000true00s10false00le20nil01if_min20if_replace414sort1111sortconsnxreplaceminconsnxnxfalse246replacenmconskxif_replaceeqnknmconskxif_replacefalsenmconskxreplacenmxtrue246if_replace44replace33replacenmconskxif_replaceeqnknmconskxreplacenmconskxif_replaceeqnknmconskxfalsereplacenmconskxeqnkfalse24eqsnsmeqnmtrue24eq22sortconsnxminconsnxfalse2minconsnconsmxif_minlenmconsnconsmxif_mintrueconsnconsmxminconsnxif_minfalseconsnconsmxminconsmxtrue21min1111cons2112if_min21112le21true01false00eq21000s10min11nil00if_min21replace313if_replace414sort111minconsnconsmxif_minlenmconsnconsmxif_minfalseconsnconsmxminconsmxif_min22min11minconsnconsmxif_minlenmconsnconsmxminconsnconsmxif_minlenmconsnconsmxfalseminconsnconsmxlenmfalselesnsmlenmtruele22