25610002domain: NAppears in sequencesNumber of nX4 binary arrays with rows and columns lexicographically nondecreasing and column sums nonincreasing.at n=17A266466