U11ttNU21ttsplusNMU41ttplusxNMNandttXU31tt0isNatttisNatandisNatisNatisNatplusN0U11isNatplusNsMU21andisNatxN0U31isNatxNsMU41andisNatU111tt0U211s1plus2U411x2and1U31100isNat0FULL./TRS/TRCSR/MYNAT_nokinds_L.trs