minusx0xminussxsyminusxyminusminusxyzminusxplusyzquot0sy0quotsxsysquotminusxysyplus0yyplussxysplusxyminus200s1plus2ACquot2FULL./TRS/AProVE_AC/AC41.trs