eq00trueeq0sxfalseeqsx0falseeqsxsyeqxyle0ytruelesx0falselesxsylexyappnilyyappaddnxyaddnappxyminaddnnilnminaddnaddmxif_minlenmaddnaddmxif_mintrueaddnaddmxminaddnxif_minfalseaddnaddmxminaddmxrmnnilnilrmnaddmxif_rmeqnmnaddmxif_rmtruenaddmxrmnxif_rmfalsenaddmxaddmrmnxminsortnilnilnilminsortaddnxyif_minsorteqnminaddnxaddnxyif_minsorttrueaddnxyaddnminsortapprmnxynilif_minsortfalseaddnxyminsortxaddnyeq2C00true0s1false0le2app2nil0add2min1if_min2rm2if_rm3minsort2if_minsort3FULL./TRS/AProVE_AC/AC46.trs