eq00trueeq0sxfalseeqsx0falseeqsxsyeqxyle0ytruelesx0falselesxsylexyappnilyyappaddnxyaddnappxyminnil0minaddnxminIteraddnxaddnx0minIterniladdnymminIteraddnyaddnysmminIteraddnxymif_minlenmxymif_mintruexymmif_minfalsexymminIterxymheadaddnxntailaddnxxtailnilnilnullniltruenulladdnxfalsermnnilnilrmnaddmxif_rmeqnmnaddmxif_rmtruenaddmxrmnxif_rmfalsenaddmxaddmrmnxminsortnilnilnilminsortaddnxyif_minsorteqnminaddnxaddnxyif_minsorttrueaddnxyaddnminsortapprmnxynilif_minsortfalseaddnxyminsortxaddnyeqsxsyeqxylesxsylexyappaddnxyappxyminaddnxminIteraddnxaddnx0minIterniladdnymminIteraddnyaddnysmminIteraddnxymlenmminIteraddnxymif_minlenmxymif_minfalsexymminIterxymrmnaddmxeqnmrmnaddmxif_rmeqnmnaddmxif_rmtruenaddmxrmnxif_rmfalsenaddmxrmnxminsortaddnxyminaddnxminsortaddnxyeqnminaddnxminsortaddnxyif_minsorteqnminaddnxaddnxyif_minsorttrueaddnxyrmnxif_minsorttrueaddnxyapprmnxyif_minsorttrueaddnxyminsortapprmnxynilif_minsortfalseaddnxyminsortxaddnytrueif_minsortfalseaddnxyminsortxaddnyminsortaddnxyif_minsorteqnminaddnxaddnxyif_minsorttrueaddnxyminsortapprmnxyniltrue1if_minsort30112133minsort211123if_minsort30122232minsort221222if_rm30102130rm201120null1117tail1218head1310if_min4010203140minIter30102130min1111add211124app211120nil01le201124false00s1110true00eq201420000if_minsortfalseaddnxyminsortxaddnyminsortaddnxyif_minsorteqnminaddnxaddnxyminsort21if_minsort32minsortaddnxyif_minsorteqnminaddnxaddnxyminsortaddnxyif_minsorteqnminaddnxaddnxyfalseif_minsorttrueaddnxyapprmnxyfalseappaddnxyappxytrueapp21if_minsorttrueaddnxyrmnxfalsermnaddmxif_rmeqnmnaddmxif_rmtruenaddmxrmnxif_rmfalsenaddmxrmnxtruerm22if_rm33rmnaddmxif_rmeqnmnaddmxrmnaddmxif_rmeqnmnaddmxfalsermnaddmxeqnmfalseminsortaddnxyeqnminaddnxfalseeqsxsyeqxytrueeq22minsortaddnxyminaddnxfalseminaddnxminIteraddnxaddnx0falseminIterniladdnymminIteraddnyaddnysmminIteraddnxymif_minlenmxymif_minfalsexymminIterxymtrueminIteraddnxymlenmfalselesxsylexytruele22