minus n__0 Y 0 minus n__s X n__s Y minus activate X activate Y geq X n__0 true geq n__0 n__s Y false geq n__s X n__s Y geq activate X activate Y div 0 n__s Y 0 div s X n__s Y if geq X activate Y n__s div minus X activate Y n__s activate Y n__0 if true X Y activate X if false X Y activate Y 0 n__0 s X n__s X activate n__0 0 activate n__s X s X activate X X minus 2 n__0 0 0 0 n__s 1 activate 1 geq 2 true 0 false 0 div 2 s 1 if 3 FULL ./TRS/TRCSR/Ex49_GM04_Z.trs