0SSplusxSxplus0x0y0plusxyplus0x1y1plusxyplus1x1y01plusplusxyStimesxSStimesx0y0timesxytimesx1yplusx0timesxy01S0plus2AC11times2ACFULL./TRS/AProVE_AC/AC17.trs