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_0U11ttMNU12ttMNU12ttMNs__+_N_+_M_*_NMU21ttMNU22ttMNU22ttMNs_s__+_NMU31ttMNU32ttMNU32ttMN_>_MNU41ttMNU42ttMNU42ttMN_>_NMU51ttMNU52ttMNU52ttMNdNMU61ttM'N'U62ttM'N'U62ttM'N'U63equal_>_N'M'trueM'N'U63ttM'N'gcddN'M'M'U71ttM'NU72ttM'NU72ttM'NU73equal_>_M'NtrueU73tt0U81ttM'NU82ttM'NU82ttM'NU83equal_>_NM'trueM'NU83ttM'Ns_quotdNM'M'_*_N00_*_s_Ns_MU11ttMN_+_N0N_+_s_Ns_MU21ttMN_<_NMU31ttMN_>_0Mfalse_>_N'0true_>_s_Ns_MU41ttMNd0NNds_Ns_MU51ttMNequalXXttgcd0N0gcdN'M'U61ttM'N'gcdN'N'N'p_s_NNquotM'M's_0quotNM'U71ttM'NquotNM'U81ttM'N10s_100203040506070U113tt0U123_+_2C_*_2CU213U223U313U323_>_2U413U423U513U523d2CU613U623U633equal2true0gcd2CU713U723U731U813U823U833quot2_<_2false0p_1FULL./TRS/CSR_Maude/peano/PEANO-NAT_nosorts-noand.trs