U11ttMNU12ttMNU12ttMNsplusNMplusN0NplusNsMU11ttMNU1131tt0U1231s11plus21200FULL./TRS/CSR_Maude/peanoSimple/MYNAT_nosorts-noand.trs