active minus 0 Y mark 0 active minus s X s Y mark minus X Y active geq X 0 mark true active geq 0 s Y mark false active geq s X s Y mark geq X Y active div 0 s Y mark 0 active div s X s Y mark if geq X Y s div minus X Y s Y 0 active if true X Y mark X active if false X Y mark Y mark minus X1 X2 active minus X1 X2 mark 0 active 0 mark s X active s mark X mark geq X1 X2 active geq X1 X2 mark true active true mark false active false mark div X1 X2 active div mark X1 X2 mark if X1 X2 X3 active if mark X1 X2 X3 minus mark X1 X2 minus X1 X2 minus X1 mark X2 minus X1 X2 minus active X1 X2 minus X1 X2 minus X1 active X2 minus X1 X2 s mark X s X s active X s X geq mark X1 X2 geq X1 X2 geq X1 mark X2 geq X1 X2 geq active X1 X2 geq X1 X2 geq X1 active X2 geq X1 X2 div mark X1 X2 div X1 X2 div X1 mark X2 div X1 X2 div active X1 X2 div X1 X2 div X1 active X2 div X1 X2 if mark X1 X2 X3 if X1 X2 X3 if X1 mark X2 X3 if X1 X2 X3 if X1 X2 mark X3 if X1 X2 X3 if active X1 X2 X3 if X1 X2 X3 if X1 active X2 X3 if X1 X2 X3 if X1 X2 active X3 if X1 X2 X3 active 1 minus 2 0 0 mark 1 s 1 geq 2 true 0 false 0 div 2 if 3 INNERMOST ./TRS/TRCSR/inn/Ex49_GM04_iGM.trs