plusx0xplussxysplusxytimesx00timessxyplustimesxyytimesxplusyzplustimesxytimesxzplus2AC00s1times2ACFULL./TRS/AProVE_AC/AC10.trs