* x + y z + * x y * x z * + y z x + * x y * x z * * x y z * x * y z + + x y z + x + y z * 2 + 2 FULL ./TRS/D33/13.trs