# Distributive lattices up to size 9
[

Lat(num = 0,
uc = {0: []}),

Lat(num = 1,
uc = {0: [1], 1: []}),

Lat(num = 2,
uc = {0: [1], 1: [2], 2: []}),

Lat(num = 3,
uc = {0: [1, 2], 1: [3], 2: [3], 3: []}),

Lat(num = 4,
uc = {0: [1], 1: [2], 2: [3], 3: []}),

Lat(num = 7,
uc = {0: [1, 2], 1: [3], 2: [3], 3: [4], 4: []}),

Lat(num = 8,
uc = {0: [1], 1: [2, 3], 2: [4], 3: [4], 4: []}),

Lat(num = 9,
uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}),

Lat(num = 17,
uc = {0: [1, 2], 1: [4], 2: [3, 4], 3: [5], 4: [5], 5: []}),

Lat(num = 19,
uc = {0: [1, 2], 1: [3], 2: [3], 3: [4], 4: [5], 5: []}),

Lat(num = 22,
uc = {0: [1], 1: [2, 3], 2: [4], 3: [4], 4: [5], 5: []}),

Lat(num = 23,
uc = {0: [1], 1: [2], 2: [3, 4], 3: [5], 4: [5], 5: []}),

Lat(num = 24,
uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: [5], 5: []}),

Lat(num = 59,
uc = {0: [1, 2], 1: [4], 2: [3, 4], 3: [5], 4: [5], 5: [6], 6: []}),

Lat(num = 61,
uc = {0: [1, 2], 1: [3], 2: [3], 3: [4, 5], 4: [6], 5: [6], 6: []}),

Lat(num = 62,
uc = {0: [1, 2], 1: [3], 2: [3], 3: [4], 4: [5], 5: [6], 6: []}),

Lat(num = 70,
uc = {0: [1], 1: [2, 3], 2: [5], 3: [4, 5], 4: [6], 5: [6], 6: []}),

Lat(num = 72,
uc = {0: [1], 1: [2, 3], 2: [4], 3: [4], 4: [5], 5: [6], 6: []}),

Lat(num = 75,
uc = {0: [1], 1: [2], 2: [3, 4], 3: [5], 4: [5], 5: [6], 6: []}),

Lat(num = 76,
uc = {0: [1], 1: [2], 2: [3], 3: [4, 5], 4: [6], 5: [6], 6: []}),

Lat(num = 77,
uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: [5], 5: [6], 6: []}),

Lat(num = 197,
uc = {0: [1, 2, 3], 1: [5, 6], 2: [4, 6], 3: [4, 5], 4: [7], 5: [7], 6: [7], 7: []}),

Lat(num = 222,
uc = {0: [1, 2], 1: [5], 2: [3, 5], 3: [4, 6], 4: [7], 5: [6], 6: [7], 7: []}),

Lat(num = 237,
uc = {0: [1, 2], 1: [4], 2: [3, 4], 3: [6], 4: [5, 6], 5: [7], 6: [7], 7: []}),

Lat(num = 239,
uc = {0: [1, 2], 1: [4], 2: [3, 4], 3: [5], 4: [5], 5: [6], 6: [7], 7: []}),

Lat(num = 244,
uc = {0: [1, 2], 1: [3], 2: [3], 3: [4, 5], 4: [6], 5: [6], 6: [7], 7: []}),

Lat(num = 245,
uc = {0: [1, 2], 1: [3], 2: [3], 3: [4], 4: [5, 6], 5: [7], 6: [7], 7: []}),

Lat(num = 246,
uc = {0: [1, 2], 1: [3], 2: [3], 3: [4], 4: [5], 5: [6], 6: [7], 7: []}),

Lat(num = 281,
uc = {0: [1], 1: [2, 3], 2: [5], 3: [4, 5], 4: [6], 5: [6], 6: [7], 7: []}),

Lat(num = 283,
uc = {0: [1], 1: [2, 3], 2: [4], 3: [4], 4: [5, 6], 5: [7], 6: [7], 7: []}),

Lat(num = 284,
uc = {0: [1], 1: [2, 3], 2: [4], 3: [4], 4: [5], 5: [6], 6: [7], 7: []}),

Lat(num = 292,
uc = {0: [1], 1: [2], 2: [3, 4], 3: [6], 4: [5, 6], 5: [7], 6: [7], 7: []}),

Lat(num = 294,
uc = {0: [1], 1: [2], 2: [3, 4], 3: [5], 4: [5], 5: [6], 6: [7], 7: []}),

Lat(num = 297,
uc = {0: [1], 1: [2], 2: [3], 3: [4, 5], 4: [6], 5: [6], 6: [7], 7: []}),

Lat(num = 298,
uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: [5, 6], 5: [7], 6: [7], 7: []}),

Lat(num = 299,
uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: [5], 5: [6], 6: [7], 7: []}),

Lat(num = 1004,
uc = {0: [1, 2, 3], 1: [5, 6], 2: [4, 6], 3: [4, 5], 4: [7], 5: [7], 6: [7], 7: [8], 8: []}),

Lat(num = 1089,
uc = {0: [1, 2], 1: [5], 2: [3, 5], 3: [4, 6], 4: [7], 5: [6], 6: [7], 7: [8], 8: []}),

Lat(num = 1112,
uc = {0: [1, 2], 1: [4, 5], 2: [3, 5], 3: [7], 4: [6], 5: [6, 7], 6: [8], 7: [8], 8: []}),

Lat(num = 1132,
uc = {0: [1, 2], 1: [4], 2: [3, 4], 3: [6], 4: [5, 6], 5: [7], 6: [7], 7: [8], 8: []}),

Lat(num = 1134,
uc = {0: [1, 2], 1: [4], 2: [3, 4], 3: [5], 4: [5], 5: [6, 7], 6: [8], 7: [8], 8: []}),

Lat(num = 1135,
uc = {0: [1, 2], 1: [4], 2: [3, 4], 3: [5], 4: [5], 5: [6], 6: [7], 7: [8], 8: []}),

Lat(num = 1148,
uc = {0: [1, 2], 1: [3], 2: [3], 3: [4, 5], 4: [7], 5: [6, 7], 6: [8], 7: [8], 8: []}),

Lat(num = 1150,
uc = {0: [1, 2], 1: [3], 2: [3], 3: [4, 5], 4: [6], 5: [6], 6: [7], 7: [8], 8: []}),

Lat(num = 1153,
uc = {0: [1, 2], 1: [3], 2: [3], 3: [4], 4: [5, 6], 5: [7], 6: [7], 7: [8], 8: []}),

Lat(num = 1154,
uc = {0: [1, 2], 1: [3], 2: [3], 3: [4], 4: [5], 5: [6, 7], 6: [8], 7: [8], 8: []}),

Lat(num = 1155,
uc = {0: [1, 2], 1: [3], 2: [3], 3: [4], 4: [5], 5: [6], 6: [7], 7: [8], 8: []}),

Lat(num = 1275,
uc = {0: [1], 1: [2, 3, 4], 2: [6, 7], 3: [5, 7], 4: [5, 6], 5: [8], 6: [8], 7: [8], 8: []}),

Lat(num = 1300,
uc = {0: [1], 1: [2, 3], 2: [6], 3: [4, 6], 4: [5, 7], 5: [8], 6: [7], 7: [8], 8: []}),

Lat(num = 1315,
uc = {0: [1], 1: [2, 3], 2: [5], 3: [4, 5], 4: [7], 5: [6, 7], 6: [8], 7: [8], 8: []}),

Lat(num = 1317,
uc = {0: [1], 1: [2, 3], 2: [5], 3: [4, 5], 4: [6], 5: [6], 6: [7], 7: [8], 8: []}),

Lat(num = 1322,
uc = {0: [1], 1: [2, 3], 2: [4], 3: [4], 4: [5, 6], 5: [7], 6: [7], 7: [8], 8: []}),

Lat(num = 1323,
uc = {0: [1], 1: [2, 3], 2: [4], 3: [4], 4: [5], 5: [6, 7], 6: [8], 7: [8], 8: []}),

Lat(num = 1324,
uc = {0: [1], 1: [2, 3], 2: [4], 3: [4], 4: [5], 5: [6], 6: [7], 7: [8], 8: []}),

Lat(num = 1359,
uc = {0: [1], 1: [2], 2: [3, 4], 3: [6], 4: [5, 6], 5: [7], 6: [7], 7: [8], 8: []}),

Lat(num = 1361,
uc = {0: [1], 1: [2], 2: [3, 4], 3: [5], 4: [5], 5: [6, 7], 6: [8], 7: [8], 8: []}),

Lat(num = 1362,
uc = {0: [1], 1: [2], 2: [3, 4], 3: [5], 4: [5], 5: [6], 6: [7], 7: [8], 8: []}),

Lat(num = 1370,
uc = {0: [1], 1: [2], 2: [3], 3: [4, 5], 4: [7], 5: [6, 7], 6: [8], 7: [8], 8: []}),

Lat(num = 1372,
uc = {0: [1], 1: [2], 2: [3], 3: [4, 5], 4: [6], 5: [6], 6: [7], 7: [8], 8: []}),

Lat(num = 1375,
uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: [5, 6], 5: [7], 6: [7], 7: [8], 8: []}),

Lat(num = 1376,
uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: [5], 5: [6, 7], 6: [8], 7: [8], 8: []}),

Lat(num = 1377,
uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: [5], 5: [6], 6: [7], 7: [8], 8: []})]