a__minus 0 Y 0 a__minus s X s Y a__minus X Y a__geq X 0 true a__geq 0 s Y false a__geq s X s Y a__geq X Y a__div 0 s Y 0 a__div s X s Y a__if a__geq X Y s div minus X Y s Y 0 a__if true X Y mark X a__if false X Y mark Y mark minus X1 X2 a__minus X1 X2 mark geq X1 X2 a__geq X1 X2 mark div X1 X2 a__div mark X1 X2 mark if X1 X2 X3 a__if mark X1 X2 X3 mark 0 0 mark s X s mark X mark true true mark false false a__minus X1 X2 minus X1 X2 a__geq X1 X2 geq X1 X2 a__div X1 X2 div X1 X2 a__if X1 X2 X3 if X1 X2 X3 a__minus 2 0 0 s 1 a__geq 2 true 0 false 0 a__div 2 a__if 3 div 2 minus 2 mark 1 geq 2 if 3 FULL ./TRS/TRCSR/Ex49_GM04_GM.trs