0SSplusSxxplus0x0y0plusxyplus0x1y1plusxyplus1x1y0plusxplusy1StimesSxStimes0xy0timesxytimes1xyplus0timesxyy01S0plus2AC11times2ACFULL./TRS/AProVE_AC/AC24.trs