MAYBE 2.2 _*_ x y _*_ y x d x y d y x _+_ x y _+_ y x gcd x y gcd y x d x y d y x gcd x y gcd y x _*_ x y _*_ y x _+_ x y _+_ y x U32 tt M' N quot d N M' M' d s_ N s_ M d N M U21 tt M' N _>_ M' N U31 tt M' N _>_ N M' U21 tt M' N U22 equal _>_ M' N true _*_ s_ N s_ M _+_ N _+_ M _*_ N M U11 tt M' N' _>_ N' M' U21 tt M' N equal _>_ M' N true _*_ s_ N s_ M _+_ M _*_ N M _>_ s_ N s_ M _>_ N M U31 tt M' N U32 equal _>_ N M' true M' N quot N M' U21 tt M' N U12 tt M' N' d N' M' U11 tt M' N' equal _>_ N' M' true _<_ N M _>_ M N _+_ s_ N s_ M _+_ N M _*_ s_ N s_ M _*_ N M U11 tt M' N' U12 equal _>_ N' M' true M' N' gcd N' M' U11 tt M' N' U32 tt M' N d N M' U31 tt M' N equal _>_ N M' true U12 tt M' N' gcd d N' M' M' quot N M' U31 tt M' N _*_ x y _*_ y x _*_ s_ N s_ M _*_ N M true 1 7 0 0 U32 3 0 U21 3 0 1 0 0 U11 3 0 d 2 0 4 0 0 7 0 0 _+_ 2 0 5 0 0 _*_ 2 0 _+_ 2 0 gcd 2 0 equal 2 0 3 0 0 and 2 0 _*_ 2 1 2 0 6 0 0 false 0 0 2 0 0 p_ 1 0 U12 3 0 _>_ 2 0 true 0 0 _<_ 2 0 4 0 0 U12 3 0 s_ 1 1 1 0 0 0 quot 2 0 3 0 0 d 2 0 U32 3 0 _<_ 2 0 p_ 1 0 5 0 0 U11 3 0 2 0 0 U31 3 0 equal 2 0 U21 3 0 6 0 0 U22 1 0 _>_ 2 0 tt 0 0 quot 2 0 1 0 0 U22 1 0 U31 3 0 and 2 0 gcd 2 0 _*_ s_ N s_ M _*_ N M _*_ x y _*_ y x true _*_ s_ N s_ M _+_ N _+_ M _*_ N M false _*_ s_ N s_ M _+_ M _*_ N M false U12 tt M' N' gcd d N' M' M' gcd N' M' U11 tt M' N' U11 tt M' N' U12 equal _>_ N' M' true M' N' gcd x y gcd y x true Failed! NaTT 1.7