1s_02s_s_03s_s_s_04s_s_s_s_05s_s_s_s_s_06s_s_s_s_s_s_07s_s_s_s_s_s_s_0U101ttMNdNMU11tt0U111tt0U121ttM'N'U122equal_>_N'M'trueM'N'U122ttM'N'gcddN'M'M'U131ttN'N'U141ttV1V2U142isNatV1V2U142ttV2U143isNatV2U143ttttU151ttV1V2U152isNatV1V2U152ttV2U153isNatV2U153ttttU161ttVU162isNzNatVU162ttttU171ttV1V2U172isNatV1V2U172ttV2U173isNatV2U173ttttU181ttV1V2U182isNatV1V2U182ttV2U183isNatV2U183ttttU191ttV1V2U192isNatV1V2U192ttV2U193isNatV2U193ttttU201ttV1V2U202isNatV1V2U202ttV2U203isNatV2U203ttttU21ttMNs__+_N_+_M_*_NMU211ttV1U212isNzNatV1U212ttttU221ttV1V2U222isNatV1V2U222ttV2U223isNzNatV2U223ttttU231ttV1V2U232isNzNatV1V2U232ttV2U233isNzNatV2U233ttttU241ttV1V2U242isNzNatV1V2U242ttV2U243isNzNatV2U243ttttU251ttV1U252isNatV1U252ttttU261ttNNU271tts_0U281ttM'NU282equal_>_M'NtrueU282tt0U291ttM'NU292equal_>_NM'trueM'NU292ttM'Ns_quotdNM'M'U31ttNNU41ttMNs_s__+_NMU51ttMN_>_MNU61ttfalseU71tttrueU81ttMN_>_NMU91ttNN_*_N0U11andisNatNisNatKindN_*_s_Ns_MU21andandisNatMisNatKindMandisNatNisNatKindNMN_+_N0U31andisNatNisNatKindNN_+_s_Ns_MU41andandisNatMisNatKindMandisNatNisNatKindNMN_<_NMU51andandisNatMisNatKindMandisNatNisNatKindNMN_>_0MU61andisNatMisNatKindM_>_N'0U71andisNzNatN'isNatKindN'_>_s_Ns_MU81andandisNatMisNatKindMandisNatNisNatKindNMNandttXXd0NU91andisNatNisNatKindNNds_Ns_MU101andandisNatMisNatKindMandisNatNisNatKindNMNequalXXttgcd0NU111andisNatNisNatKindNgcdN'M'U121andandisNzNatM'isNatKindM'andisNzNatN'isNatKindN'M'N'gcdN'N'U131andisNzNatN'isNatKindN'N'isBooleanfalsettisBooleantruettisBoolean_<_V1V2U141andisNatKindV1isNatKindV2V1V2isBoolean_>_V1V2U151andisNatKindV1isNatKindV2V1V2isBooleanKindfalsettisBooleanKindtruettisBooleanKind_<_V1V2andisNatKindV1isNatKindV2isBooleanKind_>_V1V2andisNatKindV1isNatKindV2isNat0ttisNatVU161isNatKindVVisNat_*_V1V2U171andisNatKindV1isNatKindV2V1V2isNat_+_V1V2U181andisNatKindV1isNatKindV2V1V2isNatdV1V2U191andisNatKindV1isNatKindV2V1V2isNatgcdV1V2U201andisNatKindV1isNatKindV2V1V2isNatp_V1U211isNatKindV1V1isNatquotV1V2U221andisNatKindV1isNatKindV2V1V2isNatKind0ttisNatKind1ttisNatKind2ttisNatKind3ttisNatKind4ttisNatKind5ttisNatKind6ttisNatKind7ttisNatKind_*_V1V2andisNatKindV1isNatKindV2isNatKind_+_V1V2andisNatKindV1isNatKindV2isNatKinddV1V2andisNatKindV1isNatKindV2isNatKindgcdV1V2andisNatKindV1isNatKindV2isNatKindp_V1isNatKindV1isNatKindquotV1V2andisNatKindV1isNatKindV2isNatKinds_V1isNatKindV1isNzNat1ttisNzNat2ttisNzNat3ttisNzNat4ttisNzNat5ttisNzNat6ttisNzNat7ttisNzNat_*_V1V2U231andisNatKindV1isNatKindV2V1V2isNzNatgcdV1V2U241andisNatKindV1isNatKindV2V1V2isNzNats_V1U251isNatKindV1V1p_s_NU261andisNatNisNatKindNNquotM'M'U271andisNzNatM'isNatKindM'quotNM'U281andandisNzNatM'isNatKindM'andisNatNisNatKindNM'NquotNM'U291andandisNzNatM'isNatKindM'andisNatNisNatKindNM'N10s_100203040506070U1013tt0d2CU111U1111U1213U1223equal2_>_2true0gcd2CU1312U1413U1422isNat1U1431U1513U1522U1531U1612U1621isNzNat1U1713U1722U1731U1813U1822U1831U1913U1922U1931U2013U2022U2031U213_+_2C_*_2CU2112U2121U2213U2222U2231U2313U2322U2331U2413U2422U2431U2512U2521U2612U2711U2813U2821U2913U2923quot2U312U413U513U611false0U711U813U912and2isNatKind1_<_2isBoolean1isBooleanKind1p_1FULL./TRS/CSR_Maude/peano/PEANO-NAT_complete.trs