div 0 y 0 div x y quot x y y quot 0 s y z 0 quot s x s y z quot x y z quot x 0 s z s div x s z div 2 0 0 quot 3 s 1 FULL ./TRS/AProVE/IJCAR_1.trs