iftruexyxiffalsexyyeq00trueeq0sxfalseeqsxsyeqxyplusemptyxxappxemptyemptyappxappemptyzappemptyzappxplusyzplusappxyappxzappxappplusyztappplusappxyappxztappsinglxsinglyifeqxysinglxemptyif3true0false0eq200s1plus2ACempty0app2ACsingl1FULL./TRS/AProVE_AC/AC27.trs