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_0U101ttMNU102isNatKindMMNU102ttMNU103isNatNMNU103ttMNU104isNatKindNMNU104ttMNdNMU11ttNU12isNatKindNU111ttNU112isNatKindNU112tt0U12tt0U121ttM'N'U122isNatKindM'M'N'U122ttM'N'U123isNzNatN'M'N'U123ttM'N'U124isNatKindN'M'N'U124ttM'N'U125equal_>_N'M'trueM'N'U125ttM'N'gcddN'M'M'U131ttN'U132isNatKindN'N'U132ttN'N'U141ttV1V2U142isNatKindV1V1V2U142ttV1V2U143isNatKindV2V1V2U143ttV1V2U144isNatKindV2V1V2U144ttV1V2U145isNatV1V2U145ttV2U146isNatV2U146ttttU151ttV1V2U152isNatKindV1V1V2U152ttV1V2U153isNatKindV2V1V2U153ttV1V2U154isNatKindV2V1V2U154ttV1V2U155isNatV1V2U155ttV2U156isNatV2U156ttttU161ttV2U162isNatKindV2U162ttttU171ttV2U172isNatKindV2U172ttttU181ttVU182isNatKindVVU182ttVU183isNzNatVU183ttttU191ttV1V2U192isNatKindV1V1V2U192ttV1V2U193isNatKindV2V1V2U193ttV1V2U194isNatKindV2V1V2U194ttV1V2U195isNatV1V2U195ttV2U196isNatV2U196ttttU201ttV1V2U202isNatKindV1V1V2U202ttV1V2U203isNatKindV2V1V2U203ttV1V2U204isNatKindV2V1V2U204ttV1V2U205isNatV1V2U205ttV2U206isNatV2U206ttttU21ttMNU22isNatKindMMNU211ttV1V2U212isNatKindV1V1V2U212ttV1V2U213isNatKindV2V1V2U213ttV1V2U214isNatKindV2V1V2U214ttV1V2U215isNatV1V2U215ttV2U216isNatV2U216ttttU22ttMNU23isNatNMNU221ttV1V2U222isNatKindV1V1V2U222ttV1V2U223isNatKindV2V1V2U223ttV1V2U224isNatKindV2V1V2U224ttV1V2U225isNatV1V2U225ttV2U226isNatV2U226ttttU23ttMNU24isNatKindNMNU231ttV1U232isNatKindV1V1U232ttV1U233isNzNatV1U233ttttU24ttMNs__+_N_+_M_*_NMU241ttV1V2U242isNatKindV1V1V2U242ttV1V2U243isNatKindV2V1V2U243ttV1V2U244isNatKindV2V1V2U244ttV1V2U245isNatV1V2U245ttV2U246isNzNatV2U246ttttU251ttV2U252isNatKindV2U252ttttU261ttV2U262isNatKindV2U262ttttU271ttV2U272isNatKindV2U272ttttU281ttV2U282isNatKindV2U282ttttU291ttttU301ttV2U302isNatKindV2U302ttttU31ttNU32isNatKindNNU311ttttU32ttNNU321ttV1V2U322isNatKindV1V1V2U322ttV1V2U323isNatKindV2V1V2U323ttV1V2U324isNatKindV2V1V2U324ttV1V2U325isNzNatV1V2U325ttV2U326isNzNatV2U326ttttU331ttV1V2U332isNatKindV1V1V2U332ttV1V2U333isNatKindV2V1V2U333ttV1V2U334isNatKindV2V1V2U334ttV1V2U335isNzNatV1V2U335ttV2U336isNzNatV2U336ttttU341ttV1U342isNatKindV1V1U342ttV1U343isNatV1U343ttttU351ttNU352isNatKindNNU352ttNNU361ttM'U362isNatKindM'U362tts_0U371ttM'NU372isNatKindM'M'NU372ttM'NU373isNatNM'NU373ttM'NU374isNatKindNM'NU374ttM'NU375equal_>_M'NtrueU375tt0U381ttM'NU382isNatKindM'M'NU382ttM'NU383isNatNM'NU383ttM'NU384isNatKindNM'NU384ttM'NU385equal_>_NM'trueM'NU385ttM'Ns_quotdNM'M'U41ttMNU42isNatKindMMNU42ttMNU43isNatNMNU43ttMNU44isNatKindNMNU44ttMNs_s__+_NMU51ttMNU52isNatKindMMNU52ttMNU53isNatNMNU53ttMNU54isNatKindNMNU54ttMN_>_MNU61ttMU62isNatKindMU62ttfalseU71ttN'U72isNatKindN'U72tttrueU81ttMNU82isNatKindMMNU82ttMNU83isNatNMNU83ttMNU84isNatKindNMNU84ttMN_>_NMU91ttNU92isNatKindNNU92ttNN_*_N0U11isNatNN_*_s_Ns_MU21isNatMMN_+_N0U31isNatNN_+_s_Ns_MU41isNatMMN_<_NMU51isNatMMN_>_0MU61isNatMM_>_N'0U71isNzNatN'N'_>_s_Ns_MU81isNatMMNd0NU91isNatNNds_Ns_MU101isNatMMNequalXXttgcd0NU111isNatNNgcdN'M'U121isNzNatM'M'N'gcdN'N'U131isNzNatN'N'isBooleanfalsettisBooleantruettisBoolean_<_V1V2U141isNatKindV1V1V2isBoolean_>_V1V2U151isNatKindV1V1V2isBooleanKindfalsettisBooleanKindtruettisBooleanKind_<_V1V2U161isNatKindV1V2isBooleanKind_>_V1V2U171isNatKindV1V2isNat0ttisNatVU181isNatKindVVisNat_*_V1V2U191isNatKindV1V1V2isNat_+_V1V2U201isNatKindV1V1V2isNatdV1V2U211isNatKindV1V1V2isNatgcdV1V2U221isNatKindV1V1V2isNatp_V1U231isNatKindV1V1isNatquotV1V2U241isNatKindV1V1V2isNatKind0ttisNatKind1ttisNatKind2ttisNatKind3ttisNatKind4ttisNatKind5ttisNatKind6ttisNatKind7ttisNatKind_*_V1V2U251isNatKindV1V2isNatKind_+_V1V2U261isNatKindV1V2isNatKinddV1V2U271isNatKindV1V2isNatKindgcdV1V2U281isNatKindV1V2isNatKindp_V1U291isNatKindV1isNatKindquotV1V2U301isNatKindV1V2isNatKinds_V1U311isNatKindV1isNzNat1ttisNzNat2ttisNzNat3ttisNzNat4ttisNzNat5ttisNzNat6ttisNzNat7ttisNzNat_*_V1V2U321isNatKindV1V1V2isNzNatgcdV1V2U331isNatKindV1V1V2isNzNats_V1U341isNatKindV1V1p_s_NU351isNatNNquotM'M'U361isNzNatM'M'quotNM'U371isNzNatM'M'NquotNM'U381isNzNatM'M'N10s_100203040506070U1013tt0U1023isNatKind1U1033isNat1U1043d2CU112U121U1112U1121U1213U1223U1233isNzNat1U1243U1253equal2_>_2true0gcd2CU1312U1322U1413U1423U1433U1443U1452U1461U1513U1523U1533U1543U1552U1561U1612U1621U1712U1721U1812U1822U1831U1913U1923U1933U1943U1952U1961U2013U2023U2033U2043U2052U2061U213U223U2113U2123U2133U2143U2152U2161U233U2213U2223U2233U2243U2252U2261U243U2312U2322U2331_+_2C_*_2CU2413U2423U2433U2443U2452U2461U2512U2521U2612U2621U2712U2721U2812U2821U2911U3012U3021U312U322U3111U3213U3223U3233U3243U3252U3261U3313U3323U3333U3343U3352U3361U3412U3422U3431U3512U3522U3612U3621U3713U3723U3733U3743U3751U3813U3823U3833U3843U3853quot2U413U423U433U443U513U523U533U543U612U621false0U712U721U813U823U833U843U912U922_<_2isBoolean1isBooleanKind1p_1FULL./TRS/CSR_Maude/peano/PEANO-NAT_complete-noand.trs