eq00trueeq0sxfalseeqsx0falseeqsxsyeqxyle0ytruelesx0falselesxsylexyappnilyyappaddnxyaddnappxyminaddnnilnminaddnaddmxif_minlenmaddnaddmxif_mintrueaddnaddmxminaddnxif_minfalseaddnaddmxminaddmxheadaddnxntailaddnxxtailnilnilnullniltruenulladdnxfalsermnnilnilrmnaddmxif_rmeqnmnaddmxif_rmtruenaddmxrmnxif_rmfalsenaddmxaddmrmnxminsortxminsxnilnilminsxyzifnullxxyziftruexyzziffalsexyzif2eqheadxminxxyzif2truexyzminsapprmheadxtailxynilappzaddheadxnilif2falsexyzminstailxaddheadxyzeqsxsyeqxylesxsylexyappaddnxyappxyminaddnaddmxlenmminaddnaddmxif_minlenmaddnaddmxif_mintrueaddnaddmxminaddnxif_minfalseaddnaddmxminaddmxrmnaddmxeqnmrmnaddmxif_rmeqnmnaddmxif_rmtruenaddmxrmnxif_rmfalsenaddmxrmnxminsortxminsxnilnilminsxyznullxminsxyzifnullxxyziffalsexyzminxiffalsexyzheadxiffalsexyzeqheadxminxiffalsexyzif2eqheadxminxxyzif2truexyzappzaddheadxnilif2truexyztailxif2truexyzheadxif2truexyzrmheadxtailxif2truexyzapprmheadxtailxyif2truexyzminsapprmheadxtailxynilappzaddheadxnilif2falsexyzheadxif2falsexyztailxif2falsexyzminstailxaddheadxyztrueminsortxminsxnilnilfalseif2falsexyzminstailxaddheadxyzminsxyzifnullxxyziffalsexyzif2eqheadxminxxyzif2truexyzminsapprmheadxtailxynilappzaddheadxniltrueif2falsexyztailxfalseif2falsexyzheadxfalseif2truexyzapprmheadxtailxyfalseif2truexyzrmheadxtailxfalsermnaddmxif_rmeqnmnaddmxif_rmtruenaddmxrmnxif_rmfalsenaddmxrmnxtruermnaddmxeqnmfalseif2truexyzheadxfalseif2truexyztailxfalseif2truexyzappzaddheadxnilfalseappaddnxyappxytrueiffalsexyzeqheadxminxfalseeqsxsyeqxytrueiffalsexyzheadxfalseiffalsexyzminxfalseminaddnaddmxif_minlenmaddnaddmxif_mintrueaddnaddmxminaddnxif_minfalseaddnaddmxminaddmxtrueminaddnaddmxlenmfalselesxsylexytrueminsxyznullxfalse