andttXXplusN0NplusNsMsplusNMand21tt0plus21200s11FULL./TRS/CSR_Maude/peanoSimple/MYNAT_nosorts.trs