le 0 y true le s x 0 false le s x s y le x y mod x 0 modZeroErro mod x s y modIter x s y 0 0 modIter x s y z u if le x z x s y z u if true x y z u u if false x y z u if2 le y s u x y s z s u if2 false x y z u modIter x y z u if2 true x y z u modIter x y z 0 le 2 0 0 true 0 s 1 false 0 mod 2 modZeroErro 0 modIter 4 if 5 if2 5 FULL ./TRS/SchneiderKamp/trs/thiemann31.trs