plusx0xplusxix0i00iixxiplusxyplusixiytimesxplusyzplustimesxytimesxztimesx00timesxiyitimesxyplus2AC00i1times2ACFULL./TRS/AProVE_AC/AC13.trs