zeroSSplusxSxpluszeroxzeroyzeroplusxypluszeroxunyunplusxyplusunxunyzeroplusxplusyunStimesxSStimesxtimesSztimesSztimesxzeroyzerotimesxytimesxtimeszeroyztimeszerotimesxyztimesxunyplusxzerotimesxytimesxtimesunyztimesplusxzerotimesxyzzero1S0plus2ACun1times2ACFULL./TRS/AProVE_AC/AC23.trs