U11ttNU21ttsplusNMandttXisNatttisNatandisNatisNatisNatplusN0U11isNatplusNsMU21andisNatU111tt0U211s1plus2and1isNat000OUTERMOST./TRS/outermost/TRCSR/PEANO_nokinds_L.trs