eq00trueeq0sxfalseeqsx0falseeqsxsyeqxyle0ytruelesx0falselesxsylexyappnilyyappaddnxyaddnappxyminaddnnilnminaddnaddmxif_minlenmaddnaddmxif_mintrueaddnaddmxminaddnxif_minfalseaddnaddmxminaddmxheadaddnxntailaddnxxtailnilnilnullniltruenulladdnxfalsermnnilnilrmnaddmxif_rmeqnmnaddmxif_rmtruenaddmxrmnxif_rmfalsenaddmxaddmrmnxminsortxminsxnilnilminsxyzifnullxxyziftruexyzziffalsexyzif2eqheadxminxxyzif2truexyzminsapprmheadxtailxynilappzaddheadxnilif2falsexyzminstailxaddheadxyzeqsxsyeqxylesxsylexyappaddnxyappxyminaddnaddmxlenmminaddnaddmxif_minlenmaddnaddmxif_mintrueaddnaddmxminaddnxif_minfalseaddnaddmxminaddmxrmnaddmxeqnmrmnaddmxif_rmeqnmnaddmxif_rmtruenaddmxrmnxif_rmfalsenaddmxrmnxminsortxminsxnilnilminsxyznullxminsxyzifnullxxyziffalsexyzminxiffalsexyzheadxiffalsexyzeqheadxminxiffalsexyzif2eqheadxminxxyzif2truexyzappzaddheadxnilif2truexyztailxif2truexyzheadxif2truexyzrmheadxtailxif2truexyzapprmheadxtailxyif2truexyzminsapprmheadxtailxynilappzaddheadxnilif2falsexyzheadxif2falsexyztailxif2falsexyzminstailxaddheadxyztrueminsortxminsxnilnilfalseif2falsexyzminstailxaddheadxyzminsxyzifnullxxyziffalsexyzif2eqheadxminxxyzif2truexyzminsapprmheadxtailxynilappzaddheadxniltrueif2falsexyztailxfalseif2falsexyzheadxfalseif2truexyzapprmheadxtailxyfalseif2truexyzrmheadxtailxfalsermnaddmxif_rmeqnmnaddmxif_rmtruenaddmxrmnxif_rmfalsenaddmxrmnxtrue1if_rm38102130rm201626add2101723false03s1312true04eq201620003eq00trueeq0sxfalseeqsx0falseeqsxsyeqxyrmnaddmxeqnmfalseif2truexyzheadxfalseif2truexyztailxfalseif2truexyzappzaddheadxnilfalseappaddnxyappxytrue1app251020add2011211iffalsexyzeqheadxminxfalseeqsxsyeqxytrue1eq281120s1411iffalsexyzheadxfalseiffalsexyzminxfalseminaddnaddmxif_minlenmaddnaddmxif_mintrueaddnaddmxminaddnxif_minfalseaddnaddmxminaddmxtrue1if_min201828min1819add201121le211420false00s1612true00004minaddnaddmxlenmfalselesxsylexytrue1le281120s1411minsxyznullxfalse