OFFSET
0,7
PROG
(SageMath)
for i in range(0, 12):
n = 0
for P in Posets(i):
if P.is_lattice():
L = LatticePoset(P)
if L.is_atomic():
n += 1
print(n)
CROSSREFS
KEYWORD
nonn,hard,more
AUTHOR
Jori Mäntysalo, Mar 30 2016
STATUS
approved