MAYBE 2.2 _+_ x y _+_ y x _*_ x y _*_ y x gcd x y gcd y x d x y d y x _+_ x y _+_ y x d x y d y x _*_ x y _*_ y x gcd x y gcd y x U52 tt M N d N M d s_ N s_ M U51 tt M N U51 tt M N U52 tt M N U11 tt M N U12 tt M N U12 tt M N _+_ N _+_ M _*_ N M U61 tt M' N' U62 tt M' N' _<_ N M U31 tt M N U22 tt M N _+_ N M _*_ s_ N s_ M U11 tt M N quot N M' U81 tt M' N U31 tt M N U32 tt M N U62 tt M' N' equal _>_ N' M' true U41 tt M N U42 tt M N U62 tt M' N' U63 equal _>_ N' M' true M' N' U72 tt M' N U73 equal _>_ M' N true U63 tt M' N' d N' M' U12 tt M N _+_ M _*_ N M U42 tt M N _>_ N M U81 tt M' N U82 tt M' N U83 tt M' N quot d N M' M' U32 tt M N _>_ M N _>_ s_ N s_ M U41 tt M N U21 tt M N U22 tt M N U83 tt M' N d N M' U72 tt M' N _>_ M' N U82 tt M' N equal _>_ N M' true U62 tt M' N' _>_ N' M' U63 tt M' N' gcd d N' M' M' U72 tt M' N equal _>_ M' N true U71 tt M' N U72 tt M' N gcd N' M' U61 tt M' N' U82 tt M' N U83 equal _>_ N M' true M' N quot N M' U71 tt M' N U12 tt M N _*_ N M _+_ s_ N s_ M U21 tt M N U82 tt M' N _>_ N M' _<_ N M U31 tt M N false U31 tt M N U32 tt M N false gcd x y gcd y x U62 tt M' N' U63 equal _>_ N' M' true M' N' gcd N' M' U61 tt M' N' U63 tt M' N' gcd d N' M' M' U61 tt M' N' U62 tt M' N' true Failed! NaTT 1.7