U11ttMNU12ttMNU12ttMNsplusNMU21ttMNU22ttMNU22ttMNplusxNMNplusN0NplusNsMU11ttMNxN00xNsMU21ttMNU1131tt0U1231s11plus212U2131U2231x21200FULL./TRS/CSR_Maude/my-nat/MYNAT_nosorts-noand.trs