U11ttNactivateNU21ttMNsplusactivateNactivateMandttXactivateXisNatn__0ttisNatn__plusV1V2andisNatactivateV1n__isNatactivateV2isNatn__sV1isNatactivateV1plusN0U11isNatNNplusNsMU21andisNatMn__isNatNMN0n__0plusX1X2n__plusX1X2isNatXn__isNatXsXn__sXactivaten__00activaten__plusX1X2plusX1X2activaten__isNatXisNatXactivaten__sXsXactivateXXU112tt0activate1U213s1plus2and2isNat1n__00n__plus2n__isNat1n__s100FULL./TRS/TRCSR/PEANO_nokinds_Z.trs