443879domain: NPropertiesPrimalityPrimeyesAppears in sequencesNumber of nondecreasing -n..n vectors of length 7 whose dot product with some lexicographically greater or equal nondecreasing -n..n vector equals 7.at n=8A226428Prime numbersat n=37254