plusx0xplusxsysplusxytimesx00timesxsyplustimesxyxminusx0xminussxsyminusxydiv0sy0divsxsysdivminusxysyplus2AC00s1times2ACminus2div2FULL./TRS/AProVE_AC/AC20.trs