7025356800domain: NAppears in sequencesTriangle A(n,m) of numbers of n-element T_0-antichains on a labeled m-set, m=0,...,2^n.at n=30A059080a(n) = n*(3*n-1)*n!/2.at n=10A138782