U31ttNU42ttsplusNMU11ttU12isNatU12ttttU21ttttU41ttU42isNatisNatttisNatU11isNatisNatU21isNatplusN0U31isNatplusNsMU41isNatU311tt0U421s1plus2U111U121isNat0U211U41100FULL./TRS/TRCSR/PEANO_nokinds-noand_L.trs