sumxySintxySnil0SconsxxsplusxSxsplusx0xplusxsysplusxyint00cons0nilint0sycons0ints0syintsx0nilintsxsyintlistintxyintlistnilnilintlistconsxyconssxintlistysum2S1int2nil000cons2plus2ACs1intlist1FULL./TRS/AProVE_AC/AC07.trs