timesx00timesxsyplustimesxyxplusx0xplus0xxplusxsysplusxyplussxysplusxytimes2AC00s1plus2ACFULL./TRS/AProVE_AC/AC48.trs