plusx0xplusxsysplusxytimesx00timesxsyplustimesxyxtimesxplusyzplustimesxytimesxzplus2AC00s1times2ACFULL./TRS/AProVE_AC/AC14.trs