* x * y z * otimes x y z * 1 y y * + x y z oplus * x z * y z * x oplus y z oplus * x y * x z * 2 otimes 2 1 0 + 2 oplus 2 FULL ./TRS/SK90/4.10.trs