eq00trueeq0sxfalseeqsx0falseeqsxsyeqxyle0ytruelesx0falselesxsylexyappnilyyappaddnxyaddnappxyminnil0minaddnxminIteraddnxaddnx0minIterniladdnymminIteraddnyaddnysmminIteraddnxymif_minlenmxymif_mintruexymmif_minfalsexymminIterxymheadaddnxntailaddnxxtailnilnilnullniltruenulladdnxfalsermnnilnilrmnaddmxif_rmeqnmnaddmxif_rmtruenaddmxrmnxif_rmfalsenaddmxaddmrmnxminsortnilnilnilminsortaddnxyif_minsorteqnminaddnxaddnxyif_minsorttrueaddnxyaddnminsortapprmnxynilif_minsortfalseaddnxyminsortxaddnyeq200true0s1false0le2app2nil0add2min1minIter3if_min4head1tail1null1rm2if_rm3minsort2if_minsort3INNERMOST./TRS/SchneiderKamp/trs/thiemann30.trs