psNN+N0N+sNsMss+NM*N00*sNsMs+N+M*NMgt0MFalsegtNzN0u_4is_NzNatNzNu_4TrueTrueis_NzNat0Falseis_NzNatsNTruegtsNsMgtNMltNMgtMNd0NNdsNsMdNMquotNNzMu_11is_NzNatNzMNNzMu_11TrueNNzMu_1gtNNzMNNzMu_1TrueNNzMsquotdNNzMNzMquotNzMNzMu_01is_NzNatNzMu_01Trues0quotNNzMu_21is_NzNatNzMNzMNu_21TrueNzMNu_2gtNzMNu_2True0gcd0N0gcdNzMNzMu_02is_NzNatNzMNzMu_02TrueNzMNzMgcdNzNNzMu_31is_NzNatNzNis_NzNatNzMNzNNzMu_31TrueTrueNzNNzMu_3gtNzNNzMNzNNzMu_3TrueNzNNzMgcddNzNNzMNzMp1s1+2C00*2Cgt2False0u_41is_NzNat1True0lt2d2Cquot2u_113u_13u_011u_213u_21gcd2Cu_022u_314u_33FULL./TRS/CimeAC/maude2.trs