153762domain: NAppears in sequencesa(n) = Sum_{k=0..n} (-1)^(n-k) C(n,k)*C((k+1)^2, n).at n=5A003236Number of monotone Boolean functions of n variables with 3 mincuts. Also Sperner systems with 3 blocks.at n=7A047707