quot 0 s y s z 0 quot s x s y z quot x y z quot x 0 s z s quot x s z s z quot 3 0 0 s 1 FULL ./TRS/nontermin/AG01/#4.22.trs