96373domain: NAppears in sequencesNumber of labeled lattices with a fixed bottom and top.at n=6A058165a(n) = 1 + Sum_{i=1..n} (-1)^i * Product_{j=1..i} floor(n/j).at n=18A331213