zero00plusx0xpluszeroxzeroyzeroplusxypluszeroxunyunplusxypluszeroxjyjplusxyplusunxjyzeroplusxyplusunxunyjplusxplusyun0plusjxjyunplusxplusyj0minusxyplusxnegyneg00negzeroxzeronegxnegunxjnegxnegjxunnegxtimesx00timesxtimes0ztimes0ztimesxzeroyzerotimesxytimesxtimeszeroyztimeszerotimesxyztimesxunyplusxzerotimesxytimesxtimesunyztimesplusxzerotimesxyztimesxjypluszerotimesxynegxtimesxtimesjyztimespluszerotimesxynegxzzero100plus2ACun1j1minus2neg1times2ACFULL./TRS/AProVE_AC/AC22.trs