U11ttV1V2U12isNatactivateV1activateV2U12ttV2U13isNatactivateV2U13ttttU21ttV1U22isNatactivateV1U22ttttU31ttNactivateNU41ttMNsplusactivateNactivateMandttXactivateXisNatn__0ttisNatn__plusV1V2U11andisNatKindactivateV1n__isNatKindactivateV2activateV1activateV2isNatn__sV1U21isNatKindactivateV1activateV1isNatKindn__0ttisNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatKindn__sV1isNatKindactivateV1plusN0U31andisNatNn__isNatKindNNplusNsMU41andandisNatMn__isNatKindMn__andisNatNn__isNatKindNMN0n__0plusX1X2n__plusX1X2isNatKindXn__isNatKindXsXn__sXandX1X2n__andX1X2activaten__00activaten__plusX1X2plusX1X2activaten__isNatKindXisNatKindXactivaten__sXsXactivaten__andX1X2andX1X2activateXXU113tt0U122isNat1activate1U131U212U221U312U413s1plus2and2n__00n__plus2isNatKind1n__isNatKind1n__s100n__and2FULL./TRS/TRCSR/PEANO_complete_Z.trs