eq00trueeq0sxfalseeqsx0falseeqsxsyeqxyle0ytruelesx0falselesxsylexyappnilyyappaddnxyaddnappxyminaddnnilnminaddnaddmxif_minlenmaddnaddmxif_mintrueaddnaddmxminaddnxif_minfalseaddnaddmxminaddmxheadaddnxntailaddnxxtailnilnilnullniltruenulladdnxfalsermnnilnilrmnaddmxif_rmeqnmnaddmxif_rmtruenaddmxrmnxif_rmfalsenaddmxaddmrmnxminsortxminsxnilnilminsxyzifnullxxyziftruexyzziffalsexyzif2eqheadxminxxyzif2truexyzminsapprmheadxtailxynilappzaddheadxnilif2falsexyzminstailxaddheadxyzeqsxsyeqxylesxsylexyappaddnxyappxyminaddnaddmxlenmminaddnaddmxif_minlenmaddnaddmxif_mintrueaddnaddmxminaddnxif_minfalseaddnaddmxminaddmxrmnaddmxeqnmrmnaddmxif_rmeqnmnaddmxif_rmtruenaddmxrmnxif_rmfalsenaddmxrmnxminsortxminsxnilnilminsxyznullxminsxyzifnullxxyziffalsexyzminxiffalsexyzheadxiffalsexyzeqheadxminxiffalsexyzif2eqheadxminxxyzif2truexyzappzaddheadxnilif2truexyztailxif2truexyzheadxif2truexyzrmheadxtailxif2truexyzapprmheadxtailxyif2truexyzminsapprmheadxtailxynilappzaddheadxnilif2falsexyzheadxif2falsexyztailxif2falsexyzminstailxaddheadxyztrueminsortxminsxnilnilfalseif2falsexyzminstailxaddheadxyzminsxyzifnullxxyziffalsexyzif2eqheadxminxxyzif2truexyzminsapprmheadxtailxynilappzaddheadxniltrueif2falsexyztailxfalseif2falsexyzheadxfalseif2truexyzapprmheadxtailxyfalseif2truexyzrmheadxtailxfalsermnaddmxif_rmeqnmnaddmxif_rmtruenaddmxrmnxif_rmfalsenaddmxrmnxtruerm22if_rm33rmnaddmxif_rmeqnmnaddmxrmnaddmxif_rmeqnmnaddmxfalsermnaddmxeqnmfalseif2truexyzheadxfalseif2truexyztailxfalseif2truexyzappzaddheadxnilfalseappaddnxyappxytrueapp21iffalsexyzeqheadxminxfalseeqsxsyeqxytrueeq22iffalsexyzheadxfalseiffalsexyzminxfalseminaddnaddmxif_minlenmaddnaddmxif_mintrueaddnaddmxminaddnxif_minfalseaddnaddmxminaddmxtrueminaddnaddmxlenmfalselesxsylexytruele22minsxyznullxfalse