spxxpsxxplus0yyplussxysplusxypluspxypplusxyplusixx0plusxplusixyyi00isxpixipxsixiixxiplusxyplusiyixtimes0y0timessxyplustimesxyytimespxyplustimesxyiys1p1plus2AC00i1times2ACFULL./TRS/AProVE_AC/AC06.trs