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