eq00trueeq0sxfalseeqsx0falseeqsxsyeqxyle0ytruelesx0falselesxsylexyappnilyyappaddnxyaddnappxyminaddnnilnminaddnaddmxif_minlenmaddnaddmxif_mintrueaddnaddmxminaddnxif_minfalseaddnaddmxminaddmxheadaddnxntailaddnxxtailnilnilnullniltruenulladdnxfalsermnnilnilrmnaddmxif_rmeqnmnaddmxif_rmtruenaddmxrmnxif_rmfalsenaddmxaddmrmnxminsortxminsxnilnilminsxyzifnullxxyziftruexyzziffalsexyzif2eqheadxminxxyzif2truexyzminsapprmheadxtailxynilappzaddheadxnilif2falsexyzminstailxaddheadxyzeqsxsyeqxylesxsylexyappaddnxyappxyminaddnaddmxlenmminaddnaddmxif_minlenmaddnaddmxif_mintrueaddnaddmxminaddnxif_minfalseaddnaddmxminaddmxrmnaddmxeqnmrmnaddmxif_rmeqnmnaddmxif_rmtruenaddmxrmnxif_rmfalsenaddmxrmnxminsortxminsxnilnilminsxyznullxminsxyzifnullxxyziffalsexyzminxiffalsexyzheadxiffalsexyzeqheadxminxiffalsexyzif2eqheadxminxxyzif2truexyzappzaddheadxnilif2truexyztailxif2truexyzheadxif2truexyzrmheadxtailxif2truexyzapprmheadxtailxyif2truexyzminsapprmheadxtailxynilappzaddheadxnilif2falsexyzheadxif2falsexyztailxif2falsexyzminstailxaddheadxyztrueminsortxminsxnilnilfalseif2falsexyzminstailxaddheadxyzminsxyzifnullxxyziffalsexyzif2eqheadxminxxyzif2truexyzminsapprmheadxtailxynilappzaddheadxniltrueif2falsexyztailxfalseif2falsexyzheadxfalseif2truexyzapprmheadxtailxyfalseif2truexyzrmheadxtailxfalsermnaddmxif_rmeqnmnaddmxif_rmtruenaddmxrmnxif_rmfalsenaddmxrmnxtruerm22if_rm33rmnaddmxif_rmeqnmnaddmxrmnaddmxif_rmeqnmnaddmxfalsermnaddmxeqnmfalseif2truexyzheadxfalseif2truexyztailxfalseif2truexyzappzaddheadxnilfalseappaddnxyappxytrueapp21iffalsexyzeqheadxminxfalseeqsxsyeqxytrueeq22iffalsexyzheadxfalseiffalsexyzminxfalseminaddnaddmxif_minlenmaddnaddmxif_mintrueaddnaddmxminaddnxif_minfalseaddnaddmxminaddmxtrueif_min24min13add22le21false04s15true0000500true0s1false0le2add22min11if_min22minaddnaddmxif_minlenmaddnaddmxminaddnaddmxif_minlenmaddnaddmxfalseminaddnaddmxlenmfalselesxsylexytruele22minsxyznullxfalse