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 U101 tt M N d N M U11 tt 0 U111 tt 0 U121 tt M' N' U122 equal _>_ N' M' true M' N' U122 tt M' N' gcd d N' M' M' U131 tt N' N' U141 tt V1 V2 U142 isNat V1 V2 U142 tt V2 U143 isNat V2 U143 tt tt U151 tt V1 V2 U152 isNat V1 V2 U152 tt V2 U153 isNat V2 U153 tt tt U161 tt V U162 isNzNat V U162 tt tt U171 tt V1 V2 U172 isNat V1 V2 U172 tt V2 U173 isNat V2 U173 tt tt U181 tt V1 V2 U182 isNat V1 V2 U182 tt V2 U183 isNat V2 U183 tt tt U191 tt V1 V2 U192 isNat V1 V2 U192 tt V2 U193 isNat V2 U193 tt tt U201 tt V1 V2 U202 isNat V1 V2 U202 tt V2 U203 isNat V2 U203 tt tt U21 tt M N s_ _+_ N _+_ M _*_ N M U211 tt V1 U212 isNzNat V1 U212 tt tt U221 tt V1 V2 U222 isNat V1 V2 U222 tt V2 U223 isNzNat V2 U223 tt tt U231 tt V1 V2 U232 isNzNat V1 V2 U232 tt V2 U233 isNzNat V2 U233 tt tt U241 tt V1 V2 U242 isNzNat V1 V2 U242 tt V2 U243 isNzNat V2 U243 tt tt U251 tt V1 U252 isNat V1 U252 tt tt U261 tt N N U271 tt s_ 0 U281 tt M' N U282 equal _>_ M' N true U282 tt 0 U291 tt M' N U292 equal _>_ N M' true M' N U292 tt M' N s_ quot d N M' M' U31 tt N N U41 tt M N s_ s_ _+_ N M U51 tt M N _>_ M N U61 tt false U71 tt true U81 tt M N _>_ N M U91 tt N N _*_ N 0 U11 and isNat N isNatKind N _*_ s_ N s_ M U21 and and isNat M isNatKind M and isNat N isNatKind N M N _+_ N 0 U31 and isNat N isNatKind N N _+_ s_ N s_ M U41 and and isNat M isNatKind M and isNat N isNatKind N M N _<_ N M U51 and and isNat M isNatKind M and isNat N isNatKind N M N _>_ 0 M U61 and isNat M isNatKind M _>_ N' 0 U71 and isNzNat N' isNatKind N' _>_ s_ N s_ M U81 and and isNat M isNatKind M and isNat N isNatKind N M N and tt X X d 0 N U91 and isNat N isNatKind N N d s_ N s_ M U101 and and isNat M isNatKind M and isNat N isNatKind N M N equal X X tt gcd 0 N U111 and isNat N isNatKind N gcd N' M' U121 and and isNzNat M' isNatKind M' and isNzNat N' isNatKind N' M' N' gcd N' N' U131 and isNzNat N' isNatKind N' N' isBoolean false tt isBoolean true tt isBoolean _<_ V1 V2 U141 and isNatKind V1 isNatKind V2 V1 V2 isBoolean _>_ V1 V2 U151 and isNatKind V1 isNatKind V2 V1 V2 isBooleanKind false tt isBooleanKind true tt isBooleanKind _<_ V1 V2 and isNatKind V1 isNatKind V2 isBooleanKind _>_ V1 V2 and isNatKind V1 isNatKind V2 isNat 0 tt isNat V U161 isNatKind V V isNat _*_ V1 V2 U171 and isNatKind V1 isNatKind V2 V1 V2 isNat _+_ V1 V2 U181 and isNatKind V1 isNatKind V2 V1 V2 isNat d V1 V2 U191 and isNatKind V1 isNatKind V2 V1 V2 isNat gcd V1 V2 U201 and isNatKind V1 isNatKind V2 V1 V2 isNat p_ V1 U211 isNatKind V1 V1 isNat quot V1 V2 U221 and isNatKind V1 isNatKind V2 V1 V2 isNatKind 0 tt isNatKind 1 tt isNatKind 2 tt isNatKind 3 tt isNatKind 4 tt isNatKind 5 tt isNatKind 6 tt isNatKind 7 tt isNatKind _*_ V1 V2 and isNatKind V1 isNatKind V2 isNatKind _+_ V1 V2 and isNatKind V1 isNatKind V2 isNatKind d V1 V2 and isNatKind V1 isNatKind V2 isNatKind gcd V1 V2 and isNatKind V1 isNatKind V2 isNatKind p_ V1 isNatKind V1 isNatKind quot V1 V2 and isNatKind V1 isNatKind V2 isNatKind s_ V1 isNatKind V1 isNzNat 1 tt isNzNat 2 tt isNzNat 3 tt isNzNat 4 tt isNzNat 5 tt isNzNat 6 tt isNzNat 7 tt isNzNat _*_ V1 V2 U231 and isNatKind V1 isNatKind V2 V1 V2 isNzNat gcd V1 V2 U241 and isNatKind V1 isNatKind V2 V1 V2 isNzNat s_ V1 U251 isNatKind V1 V1 p_ s_ N U261 and isNat N isNatKind N N quot M' M' U271 and isNzNat M' isNatKind M' quot N M' U281 and and isNzNat M' isNatKind M' and isNat N isNatKind N M' N quot N M' U291 and and isNzNat M' isNatKind M' and isNat N isNatKind N M' N 1 0 s_ 1 0 0 2 0 3 0 4 0 5 0 6 0 7 0 U101 3 tt 0 d 2 C U11 1 U111 1 U121 3 U122 3 equal 2 _>_ 2 true 0 gcd 2 C U131 2 U141 3 U142 2 isNat 1 U143 1 U151 3 U152 2 U153 1 U161 2 U162 1 isNzNat 1 U171 3 U172 2 U173 1 U181 3 U182 2 U183 1 U191 3 U192 2 U193 1 U201 3 U202 2 U203 1 U21 3 _+_ 2 C _*_ 2 C U211 2 U212 1 U221 3 U222 2 U223 1 U231 3 U232 2 U233 1 U241 3 U242 2 U243 1 U251 2 U252 1 U261 2 U271 1 U281 3 U282 1 U291 3 U292 3 quot 2 U31 2 U41 3 U51 3 U61 1 false 0 U71 1 U81 3 U91 2 and 2 isNatKind 1 _<_ 2 isBoolean 1 isBooleanKind 1 p_ 1 FULL ./TRS/CSR_Maude/peano/PEANO-NAT_complete.trs