gcd x 0 x gcd 0 x x iadd y tp2 0 y iadd s z u1 iadd z u1 tp2 x y tp2 s x y iadd add x y tp2 x y gcd z y gcd x y iadd z tp2 x y gcd y z gcd x y iadd z tp2 x y gcd 2 0 0 iadd 1 tp2 2 s 1 u1 1 add 2 ORIENTED FULL