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 U102 isNat N M N U102 tt M N d N M U11 tt 0 U111 tt 0 U121 tt M' N' U122 isNzNat N' M' N' U122 tt M' N' U123 equal _>_ N' M' true M' N' U123 tt M' N' gcd d N' M' M' U131 tt N' N' U141 tt V2 U142 isNat V2 U142 tt tt U151 tt V2 U152 isNat V2 U152 tt tt U161 tt tt U171 tt V2 U172 isNat V2 U172 tt tt U181 tt V2 U182 isNat V2 U182 tt tt U191 tt V2 U192 isNat V2 U192 tt tt U201 tt V2 U202 isNat V2 U202 tt tt U21 tt M N U22 isNat N M N U211 tt tt U22 tt M N s_ _+_ N _+_ M _*_ N M U221 tt V2 U222 isNzNat V2 U222 tt tt U231 tt V2 U232 isNzNat V2 U232 tt tt U241 tt V2 U242 isNzNat V2 U242 tt tt U251 tt tt U261 tt N N U271 tt s_ 0 U281 tt M' N U282 isNat N M' N U282 tt M' N U283 equal _>_ M' N true U283 tt 0 U291 tt M' N U292 isNat N M' N U292 tt M' N U293 equal _>_ N M' true M' N U293 tt M' N s_ quot d N M' M' U31 tt N N U41 tt M N U42 isNat N M N U42 tt M N s_ s_ _+_ N M U51 tt M N U52 isNat N M N U52 tt M N _>_ M N U61 tt false U71 tt true U81 tt M N U82 isNat N M N U82 tt M N _>_ N M U91 tt N N _*_ N 0 U11 isNat N _*_ s_ N s_ M U21 isNat M M N _+_ N 0 U31 isNat N N _+_ s_ N s_ M U41 isNat M M N _<_ N M U51 isNat M M N _>_ 0 M U61 isNat M _>_ N' 0 U71 isNzNat N' _>_ s_ N s_ M U81 isNat M M N d 0 N U91 isNat N N d s_ N s_ M U101 isNat M M N equal X X tt gcd 0 N U111 isNat N gcd N' M' U121 isNzNat M' M' N' gcd N' N' U131 isNzNat N' N' isBoolean false tt isBoolean true tt isBoolean _<_ V1 V2 U141 isNat V1 V2 isBoolean _>_ V1 V2 U151 isNat V1 V2 isNat 0 tt isNat V U161 isNzNat V isNat _*_ V1 V2 U171 isNat V1 V2 isNat _+_ V1 V2 U181 isNat V1 V2 isNat d V1 V2 U191 isNat V1 V2 isNat gcd V1 V2 U201 isNat V1 V2 isNat p_ V1 U211 isNzNat V1 isNat quot V1 V2 U221 isNat V1 V2 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 isNzNat V1 V2 isNzNat gcd V1 V2 U241 isNzNat V1 V2 isNzNat s_ V1 U251 isNat V1 p_ s_ N U261 isNat N N quot M' M' U271 isNzNat M' quot N M' U281 isNzNat M' M' N quot N M' U291 isNzNat M' M' N 1 0 s_ 1 0 0 2 0 3 0 4 0 5 0 6 0 7 0 U101 3 tt 0 U102 3 isNat 1 d 2 C U11 1 U111 1 U121 3 U122 3 isNzNat 1 U123 3 equal 2 _>_ 2 true 0 gcd 2 C U131 2 U141 2 U142 1 U151 2 U152 1 U161 1 U171 2 U172 1 U181 2 U182 1 U191 2 U192 1 U201 2 U202 1 U21 3 U22 3 U211 1 _+_ 2 C _*_ 2 C U221 2 U222 1 U231 2 U232 1 U241 2 U242 1 U251 1 U261 2 U271 1 U281 3 U282 3 U283 1 U291 3 U292 3 U293 3 quot 2 U31 2 U41 3 U42 3 U51 3 U52 3 U61 1 false 0 U71 1 U81 3 U82 3 U91 2 _<_ 2 isBoolean 1 p_ 1 FULL ./TRS/CSR_Maude/peano/PEANO-NAT_nokinds-noand.trs