appnilkkapplnillappconsxlkconsxapplksumconsxnilconsxnilsumconsxconsylsumconsplusxylsumapplconsxconsyksumapplsumconsxconsykplus0yyplussxysplusxyapp2nil0cons2sum1plus2AC00s1FULL./TRS/AProVE_AC/AC49.trs