1 s_ 0 2 s_ s_ 0 3 s_ s_ s_ 0 4 s_ s_ s_ s_ 0 5 s_ s_ s_ s_ s_ 0 6 s_ s_ s_ s_ s_ s_ 0 7 s_ s_ s_ s_ s_ s_ s_ 0 U11 tt M N U12 tt M N U12 tt M N s_ _+_ N _+_ M _*_ N M U21 tt M N U22 tt M N U22 tt M N s_ s_ _+_ N M U31 tt M N U32 tt M N U32 tt M N _>_ M N U41 tt M N U42 tt M N U42 tt M N _>_ N M U51 tt M N U52 tt M N U52 tt M N d N M U61 tt M' N' U62 tt M' N' U62 tt M' N' U63 equal _>_ N' M' true M' N' U63 tt M' N' gcd d N' M' M' U71 tt M' N U72 tt M' N U72 tt M' N U73 equal _>_ M' N true U73 tt 0 U81 tt M' N U82 tt M' N U82 tt M' N U83 equal _>_ N M' true M' N U83 tt M' N s_ quot d N M' M' _*_ N 0 0 _*_ s_ N s_ M U11 tt M N _+_ N 0 N _+_ s_ N s_ M U21 tt M N _<_ N M U31 tt M N _>_ 0 M false _>_ N' 0 true _>_ s_ N s_ M U41 tt M N d 0 N N d s_ N s_ M U51 tt M N equal X X tt gcd 0 N 0 gcd N' M' U61 tt M' N' gcd N' N' N' p_ s_ N N quot M' M' s_ 0 quot N M' U71 tt M' N quot N M' U81 tt M' N 1 0 s_ 1 0 0 2 0 3 0 4 0 5 0 6 0 7 0 U11 3 tt 0 U12 3 _+_ 2 C _*_ 2 C U21 3 U22 3 U31 3 U32 3 _>_ 2 U41 3 U42 3 U51 3 U52 3 d 2 C U61 3 U62 3 U63 3 equal 2 true 0 gcd 2 C U71 3 U72 3 U73 1 U81 3 U82 3 U83 3 quot 2 _<_ 2 false 0 p_ 1 FULL ./TRS/CSR_Maude/peano/PEANO-NAT_nosorts-noand.trs