U11ttNU21ttsplusNMandttXisNatttisNatandisNatisNatisNatplusN0U11isNatplusNsMU21andisNatU111tt0U211s1plus2and1isNat000FULL./TRS/TRCSR/PEANO_nokinds_L.trs