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'U141ttNNU151tts_0U161ttM'NU162equal_>_M'NtrueU162tt0U171ttM'NU172equal_>_NM'trueM'NU172ttM'Ns_quotdNM'M'U21ttMNs__+_N_+_M_*_NMU31ttNNU41ttMNs_s__+_NMU51ttMN_>_MNU61ttfalseU71tttrueU81ttMN_>_NMU91ttNN_*_N0U11isNatN_*_s_Ns_MU21andisNatMisNatNMN_+_N0U31isNatNN_+_s_Ns_MU41andisNatMisNatNMN_<_NMU51andisNatMisNatNMN_>_0MU61isNatM_>_N'0U71isNzNatN'_>_s_Ns_MU81andisNatMisNatNMNandttXXd0NU91isNatNNds_Ns_MU101andisNatMisNatNMNequalXXttgcd0NU111isNatNgcdN'M'U121andisNzNatM'isNzNatN'M'N'gcdN'N'U131isNzNatN'N'isBooleanfalsettisBooleantruettisBoolean_<_V1V2andisNatV1isNatV2isBoolean_>_V1V2andisNatV1isNatV2isNat0ttisNatVisNzNatVisNat_*_V1V2andisNatV1isNatV2isNat_+_V1V2andisNatV1isNatV2isNatdV1V2andisNatV1isNatV2isNatgcdV1V2andisNatV1isNatV2isNatp_V1isNzNatV1isNatquotV1V2andisNatV1isNzNatV2isNzNat1ttisNzNat2ttisNzNat3ttisNzNat4ttisNzNat5ttisNzNat6ttisNzNat7ttisNzNat_*_V1V2andisNzNatV1isNzNatV2isNzNatgcdV1V2andisNzNatV1isNzNatV2isNzNats_V1isNatV1p_s_NU141isNatNNquotM'M'U151isNzNatM'quotNM'U161andisNzNatM'isNatNM'NquotNM'U171andisNzNatM'isNatNM'N10s_100203040506070U1013tt0d2CU111U1111U1213U1223equal2_>_2true0gcd2CU1312U1412U1511U1613U1621U1713U1723quot2U213_+_2C_*_2CU312U413U513U611false0U711U813U912isNat1and2_<_2isNzNat1isBoolean1p_1FULL./TRS/CSR_Maude/peano/PEANO-NAT_nokinds.trs