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_0U11ttM'N'U12equal_>_N'M'trueM'N'U12ttM'N'gcddN'M'M'U21ttM'NU22equal_>_M'NtrueU22tt0U31ttM'NU32equal_>_NM'trueM'NU32ttM'Ns_quotdNM'M'_*_N00_*_s_Ns_Ms__+_N_+_M_*_NM_+_N0N_+_s_Ns_Ms_s__+_NM_<_NM_>_MN_>_0Mfalse_>_N'0true_>_s_Ns_M_>_NMandttXXd0NNds_Ns_MdNMequalXXttgcd0N0gcdN'M'U11ttM'N'gcdN'N'N'p_s_NNquotM'M's_0quotNM'U21ttM'NquotNM'U31ttM'N10s_100203040506070U113tt0U123equal2_>_2true0gcd2Cd2CU213U221U313U323quot2_*_2C_+_2C_<_2false0and2p_1FULL./TRS/CSR_Maude/peano/PEANO-NAT_nosorts.trs