: : : : C x y z u : : x z : : : x y z u : 2 C 0 FULL ./TRS/D33/30.trs