8402617domain: NAppears in sequencesThe number of order-decreasing partial isometries (of an n-chain).at n=22A184052