eq00trueeq0sxfalseeqsx0falseeqsxsyeqxyle0ytruelesx0falselesxsylexyappnilyyappaddnxyaddnappxyminaddnnilnminaddnaddmxif_minlenmaddnaddmxif_mintrueaddnaddmxminaddnxif_minfalseaddnaddmxminaddmxheadaddnxntailaddnxxtailnilnilnullniltruenulladdnxfalsermnnilnilrmnaddmxif_rmeqnmnaddmxif_rmtruenaddmxrmnxif_rmfalsenaddmxaddmrmnxminsortxminsxnilnilminsxyzifnullxxyziftruexyzziffalsexyzif2eqheadxminxxyzif2truexyzminsapprmheadxtailxynilappzaddheadxnilif2falsexyzminstailxaddheadxyzeq200true0s1false0le2app2nil0add2min1if_min2head1tail1null1rm2if_rm3minsort1mins3if4if24INNERMOST./TRS/SchneiderKamp/trs/thiemann02.trs