0SSplusSxxplus0x0y0plusxyplus0x1y1plusxyplus0xjyjplusxyplus1x1yjplus1Splusxyplusjxjy1plusjSplusxyplus1xjy0plusxyoppSSopp0x0oppxopp1xjoppxoppjx1oppxminusxyplusoppyxtimesSxStimes0xy0timesxytimes1xyplus0timesxyytimesjxyminus0timesxyy01S0plus2AC11j1opp1minus2times2ACFULL./TRS/AProVE_AC/AC18.trs