le 0 y true le s x 0 false le s x s y le x y quot x 0 quotZeroErro quot x s y quotIter x s y 0 0 0 quotIter x s y z u v if le x z x s y z u v if true x y z u v v if false x y z u v if2 le y s u x y s z s u v if2 false x y z u v quotIter x y z u v if2 true x y z u v quotIter x y z 0 s v le 2 0 0 true 0 s 1 false 0 quot 2 quotZeroErro 0 quotIter 5 if 6 if2 6 FULL ./TRS/SchneiderKamp/trs/thiemann36.trs