# Selfdual 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 = 5, uc = {0: [1, 2, 3], 1: [4], 2: [4], 3: [4], 4: []}), Lat(num = 6, uc = {0: [1, 2], 1: [4], 2: [3], 3: [4], 4: []}), Lat(num = 9, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: []}), Lat(num = 10, uc = {0: [1, 2, 3, 4], 1: [5], 2: [5], 3: [5], 4: [5], 5: []}), Lat(num = 11, uc = {0: [1, 2, 3], 1: [5], 2: [5], 3: [4], 4: [5], 5: []}), Lat(num = 14, uc = {0: [1, 2], 1: [5], 2: [3], 3: [4], 4: [5], 5: []}), Lat(num = 16, uc = {0: [1, 2], 1: [4], 2: [3], 3: [5], 4: [5], 5: []}), Lat(num = 17, uc = {0: [1, 2], 1: [4], 2: [3, 4], 3: [5], 4: [5], 5: []}), Lat(num = 22, uc = {0: [1], 1: [2, 3], 2: [4], 3: [4], 4: [5], 5: []}), Lat(num = 24, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: [5], 5: []}), Lat(num = 25, uc = {0: [1, 2, 3, 4, 5], 1: [6], 2: [6], 3: [6], 4: [6], 5: [6], 6: []}), Lat(num = 26, uc = {0: [1, 2, 3, 4], 1: [6], 2: [6], 3: [6], 4: [5], 5: [6], 6: []}), Lat(num = 29, uc = {0: [1, 2, 3], 1: [6], 2: [6], 3: [4], 4: [5], 5: [6], 6: []}), Lat(num = 31, uc = {0: [1, 2, 3], 1: [6], 2: [5], 3: [4], 4: [6], 5: [6], 6: []}), Lat(num = 32, uc = {0: [1, 2, 3], 1: [6], 2: [5], 3: [4, 5], 4: [6], 5: [6], 6: []}), Lat(num = 37, uc = {0: [1, 2], 1: [6], 2: [3, 4], 3: [5], 4: [5], 5: [6], 6: []}), Lat(num = 39, uc = {0: [1, 2], 1: [6], 2: [3], 3: [4], 4: [5], 5: [6], 6: []}), Lat(num = 47, uc = {0: [1, 2], 1: [5], 2: [3], 3: [4], 4: [6], 5: [6], 6: []}), Lat(num = 49, uc = {0: [1, 2], 1: [5], 2: [3, 4], 3: [6], 4: [5], 5: [6], 6: []}), Lat(num = 51, uc = {0: [1, 2], 1: [5], 2: [3, 5], 3: [4], 4: [6], 5: [6], 6: []}), Lat(num = 52, uc = {0: [1, 2], 1: [5], 2: [3], 3: [4, 5], 4: [6], 5: [6], 6: []}), Lat(num = 56, uc = {0: [1, 2], 1: [4], 2: [3, 5], 3: [6], 4: [5], 5: [6], 6: []}), Lat(num = 58, uc = {0: [1, 2], 1: [4], 2: [3, 4], 3: [6], 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 = 68, uc = {0: [1], 1: [2, 3, 4], 2: [5], 3: [5], 4: [5], 5: [6], 6: []}), Lat(num = 71, uc = {0: [1], 1: [2, 3], 2: [5], 3: [4], 4: [5], 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 = 77, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: [5], 5: [6], 6: []}), Lat(num = 78, uc = {0: [1, 2, 3, 4, 5, 6], 1: [7], 2: [7], 3: [7], 4: [7], 5: [7], 6: [7], 7: []}), Lat(num = 79, uc = {0: [1, 2, 3, 4, 5], 1: [7], 2: [7], 3: [7], 4: [7], 5: [6], 6: [7], 7: []}), Lat(num = 82, uc = {0: [1, 2, 3, 4], 1: [7], 2: [7], 3: [7], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 84, uc = {0: [1, 2, 3, 4], 1: [7], 2: [7], 3: [6], 4: [5], 5: [7], 6: [7], 7: []}), Lat(num = 85, uc = {0: [1, 2, 3, 4], 1: [7], 2: [7], 3: [6], 4: [5, 6], 5: [7], 6: [7], 7: []}), Lat(num = 90, uc = {0: [1, 2, 3], 1: [7], 2: [7], 3: [4, 5], 4: [6], 5: [6], 6: [7], 7: []}), Lat(num = 92, uc = {0: [1, 2, 3], 1: [7], 2: [7], 3: [4], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 100, uc = {0: [1, 2, 3], 1: [7], 2: [6], 3: [4], 4: [5], 5: [7], 6: [7], 7: []}), Lat(num = 102, uc = {0: [1, 2, 3], 1: [7], 2: [6], 3: [4, 5], 4: [7], 5: [6], 6: [7], 7: []}), Lat(num = 104, uc = {0: [1, 2, 3], 1: [7], 2: [6], 3: [4, 6], 4: [5], 5: [7], 6: [7], 7: []}), Lat(num = 105, uc = {0: [1, 2, 3], 1: [7], 2: [6], 3: [4], 4: [5, 6], 5: [7], 6: [7], 7: []}), Lat(num = 109, uc = {0: [1, 2, 3], 1: [7], 2: [5], 3: [4, 6], 4: [7], 5: [6], 6: [7], 7: []}), Lat(num = 111, uc = {0: [1, 2, 3], 1: [7], 2: [5], 3: [4, 5], 4: [7], 5: [6], 6: [7], 7: []}), Lat(num = 114, uc = {0: [1, 2, 3], 1: [7], 2: [4], 3: [4], 4: [5, 6], 5: [7], 6: [7], 7: []}), Lat(num = 121, uc = {0: [1, 2], 1: [7], 2: [3, 4, 5], 3: [6], 4: [6], 5: [6], 6: [7], 7: []}), Lat(num = 124, uc = {0: [1, 2], 1: [7], 2: [3, 4], 3: [6], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 125, uc = {0: [1, 2], 1: [7], 2: [3, 4], 3: [5], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 128, uc = {0: [1, 2], 1: [7], 2: [3], 3: [4, 5], 4: [6], 5: [6], 6: [7], 7: []}), Lat(num = 130, uc = {0: [1, 2], 1: [7], 2: [3], 3: [4], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 138, uc = {0: [1, 2, 3], 1: [6], 2: [6], 3: [4, 5], 4: [7], 5: [7], 6: [7], 7: []}), Lat(num = 140, uc = {0: [1, 2, 3], 1: [6], 2: [6], 3: [4, 5, 6], 4: [7], 5: [7], 6: [7], 7: []}), Lat(num = 146, uc = {0: [1, 2, 3], 1: [6], 2: [5], 3: [4], 4: [7], 5: [7], 6: [7], 7: []}), Lat(num = 147, uc = {0: [1, 2, 3], 1: [6], 2: [5], 3: [4, 6], 4: [7], 5: [7], 6: [7], 7: []}), Lat(num = 156, uc = {0: [1, 2, 3], 1: [6], 2: [5, 6], 3: [4, 5], 4: [7], 5: [7], 6: [7], 7: []}), Lat(num = 167, uc = {0: [1, 2], 1: [6], 2: [3, 4], 3: [5], 4: [5], 5: [7], 6: [7], 7: []}), Lat(num = 169, uc = {0: [1, 2], 1: [6], 2: [3], 3: [4], 4: [5], 5: [7], 6: [7], 7: []}), Lat(num = 172, uc = {0: [1, 2], 1: [6], 2: [3, 4, 5], 3: [7], 4: [6], 5: [6], 6: [7], 7: []}), Lat(num = 175, uc = {0: [1, 2], 1: [6], 2: [3, 4], 3: [7], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 177, uc = {0: [1, 2], 1: [6], 2: [3, 4], 3: [6], 4: [5], 5: [7], 6: [7], 7: []}), Lat(num = 184, uc = {0: [1, 2], 1: [6], 2: [3, 6], 3: [4], 4: [5], 5: [7], 6: [7], 7: []}), Lat(num = 186, uc = {0: [1, 2], 1: [6], 2: [3], 3: [4, 5], 4: [7], 5: [6], 6: [7], 7: []}), Lat(num = 188, uc = {0: [1, 2], 1: [6], 2: [3], 3: [4, 6], 4: [5], 5: [7], 6: [7], 7: []}), Lat(num = 189, uc = {0: [1, 2], 1: [6], 2: [3], 3: [4], 4: [5, 6], 5: [7], 6: [7], 7: []}), 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 = 202, uc = {0: [1, 2], 1: [5], 2: [3], 3: [4], 4: [7], 5: [6], 6: [7], 7: []}), Lat(num = 206, uc = {0: [1, 2], 1: [5], 2: [3, 4], 3: [7], 4: [6], 5: [6], 6: [7], 7: []}), Lat(num = 210, uc = {0: [1, 2], 1: [5], 2: [3, 6], 3: [4], 4: [7], 5: [6], 6: [7], 7: []}), Lat(num = 212, uc = {0: [1, 2], 1: [5], 2: [3], 3: [4, 6], 4: [7], 5: [6], 6: [7], 7: []}), Lat(num = 213, uc = {0: [1, 2], 1: [5, 6], 2: [3], 3: [4], 4: [6], 5: [7], 6: [7], 7: []}), Lat(num = 217, uc = {0: [1, 2], 1: [5], 2: [3, 4], 3: [7], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 221, uc = {0: [1, 2], 1: [5], 2: [3, 5], 3: [4], 4: [7], 5: [6], 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 = 224, uc = {0: [1, 2], 1: [5], 2: [3], 3: [4, 5], 4: [7], 5: [6], 6: [7], 7: []}), Lat(num = 231, uc = {0: [1, 2], 1: [4], 2: [3, 5], 3: [7], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 236, uc = {0: [1, 2], 1: [4], 2: [3, 4], 3: [7], 4: [5], 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 = 240, uc = {0: [1, 2], 1: [4], 2: [3], 3: [4], 4: [5, 6], 5: [7], 6: [7], 7: []}), Lat(num = 243, uc = {0: [1, 2], 1: [3], 2: [3], 3: [4, 5], 4: [7], 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 = 262, uc = {0: [1], 1: [2, 3, 4, 5], 2: [6], 3: [6], 4: [6], 5: [6], 6: [7], 7: []}), Lat(num = 265, uc = {0: [1], 1: [2, 3, 4], 2: [6], 3: [6], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 275, uc = {0: [1], 1: [2, 3], 2: [6], 3: [4], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 276, uc = {0: [1], 1: [2, 3, 4], 2: [5], 3: [5], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 279, uc = {0: [1], 1: [2, 3], 2: [5], 3: [4], 4: [6], 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 = 282, uc = {0: [1], 1: [2, 3], 2: [5], 3: [4], 4: [5], 5: [6], 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 = 290, uc = {0: [1], 1: [2], 2: [3, 4, 5], 3: [6], 4: [6], 5: [6], 6: [7], 7: []}), Lat(num = 293, uc = {0: [1], 1: [2], 2: [3, 4], 3: [6], 4: [5], 5: [6], 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 = 299, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 300, uc = {0: [1, 2, 3, 4, 5, 6, 7], 1: [8], 2: [8], 3: [8], 4: [8], 5: [8], 6: [8], 7: [8], 8: []}), Lat(num = 301, uc = {0: [1, 2, 3, 4, 5, 6], 1: [8], 2: [8], 3: [8], 4: [8], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 304, uc = {0: [1, 2, 3, 4, 5], 1: [8], 2: [8], 3: [8], 4: [8], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 306, uc = {0: [1, 2, 3, 4, 5], 1: [8], 2: [8], 3: [8], 4: [7], 5: [6], 6: [8], 7: [8], 8: []}), Lat(num = 307, uc = {0: [1, 2, 3, 4, 5], 1: [8], 2: [8], 3: [8], 4: [7], 5: [6, 7], 6: [8], 7: [8], 8: []}), Lat(num = 312, uc = {0: [1, 2, 3, 4], 1: [8], 2: [8], 3: [8], 4: [5, 6], 5: [7], 6: [7], 7: [8], 8: []}), Lat(num = 314, uc = {0: [1, 2, 3, 4], 1: [8], 2: [8], 3: [8], 4: [5], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 322, uc = {0: [1, 2, 3, 4], 1: [8], 2: [8], 3: [7], 4: [5], 5: [6], 6: [8], 7: [8], 8: []}), Lat(num = 324, uc = {0: [1, 2, 3, 4], 1: [8], 2: [8], 3: [7], 4: [5, 6], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 326, uc = {0: [1, 2, 3, 4], 1: [8], 2: [8], 3: [7], 4: [5, 7], 5: [6], 6: [8], 7: [8], 8: []}), Lat(num = 327, uc = {0: [1, 2, 3, 4], 1: [8], 2: [8], 3: [7], 4: [5], 5: [6, 7], 6: [8], 7: [8], 8: []}), Lat(num = 331, uc = {0: [1, 2, 3, 4], 1: [8], 2: [8], 3: [6], 4: [5, 7], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 333, uc = {0: [1, 2, 3, 4], 1: [8], 2: [8], 3: [6], 4: [5, 6], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 336, uc = {0: [1, 2, 3, 4], 1: [8], 2: [8], 3: [5], 4: [5], 5: [6, 7], 6: [8], 7: [8], 8: []}), Lat(num = 343, uc = {0: [1, 2, 3], 1: [8], 2: [8], 3: [4, 5, 6], 4: [7], 5: [7], 6: [7], 7: [8], 8: []}), Lat(num = 346, uc = {0: [1, 2, 3], 1: [8], 2: [8], 3: [4, 5], 4: [7], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 347, uc = {0: [1, 2, 3], 1: [8], 2: [8], 3: [4, 5], 4: [6], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 350, uc = {0: [1, 2, 3], 1: [8], 2: [8], 3: [4], 4: [5, 6], 5: [7], 6: [7], 7: [8], 8: []}), Lat(num = 352, uc = {0: [1, 2, 3], 1: [8], 2: [8], 3: [4], 4: [5], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 360, uc = {0: [1, 2, 3, 4], 1: [8], 2: [7], 3: [7], 4: [5, 6], 5: [8], 6: [8], 7: [8], 8: []}), Lat(num = 362, uc = {0: [1, 2, 3, 4], 1: [8], 2: [7], 3: [7], 4: [5, 6, 7], 5: [8], 6: [8], 7: [8], 8: []}), Lat(num = 368, uc = {0: [1, 2, 3, 4], 1: [8], 2: [7], 3: [6], 4: [5], 5: [8], 6: [8], 7: [8], 8: []}), Lat(num = 369, uc = {0: [1, 2, 3, 4], 1: [8], 2: [7], 3: [6], 4: [5, 7], 5: [8], 6: [8], 7: [8], 8: []}), Lat(num = 378, uc = {0: [1, 2, 3, 4], 1: [8], 2: [7], 3: [6, 7], 4: [5, 6], 5: [8], 6: [8], 7: [8], 8: []}), Lat(num = 389, uc = {0: [1, 2, 3], 1: [8], 2: [7], 3: [4, 5], 4: [6], 5: [6], 6: [8], 7: [8], 8: []}), Lat(num = 391, uc = {0: [1, 2, 3], 1: [8], 2: [7], 3: [4], 4: [5], 5: [6], 6: [8], 7: [8], 8: []}), Lat(num = 394, uc = {0: [1, 2, 3], 1: [8], 2: [7], 3: [4, 5, 6], 4: [8], 5: [7], 6: [7], 7: [8], 8: []}), Lat(num = 397, uc = {0: [1, 2, 3], 1: [8], 2: [7], 3: [4, 5], 4: [8], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 399, uc = {0: [1, 2, 3], 1: [8], 2: [7], 3: [4, 5], 4: [7], 5: [6], 6: [8], 7: [8], 8: []}), Lat(num = 406, uc = {0: [1, 2, 3], 1: [8], 2: [7], 3: [4, 7], 4: [5], 5: [6], 6: [8], 7: [8], 8: []}), Lat(num = 408, uc = {0: [1, 2, 3], 1: [8], 2: [7], 3: [4], 4: [5, 6], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 410, uc = {0: [1, 2, 3], 1: [8], 2: [7], 3: [4], 4: [5, 7], 5: [6], 6: [8], 7: [8], 8: []}), Lat(num = 411, uc = {0: [1, 2, 3], 1: [8], 2: [7], 3: [4], 4: [5], 5: [6, 7], 6: [8], 7: [8], 8: []}), Lat(num = 419, uc = {0: [1, 2, 3, 4], 1: [8], 2: [6, 7], 3: [5, 7], 4: [5, 6], 5: [8], 6: [8], 7: [8], 8: []}), Lat(num = 424, uc = {0: [1, 2, 3], 1: [8], 2: [6], 3: [4], 4: [5], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 428, uc = {0: [1, 2, 3], 1: [8], 2: [6], 3: [4, 5], 4: [8], 5: [7], 6: [7], 7: [8], 8: []}), Lat(num = 432, uc = {0: [1, 2, 3], 1: [8], 2: [6], 3: [4, 7], 4: [5], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 434, uc = {0: [1, 2, 3], 1: [8], 2: [6], 3: [4], 4: [5, 7], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 435, uc = {0: [1, 2, 3], 1: [8], 2: [6, 7], 3: [4], 4: [5], 5: [7], 6: [8], 7: [8], 8: []}), Lat(num = 439, uc = {0: [1, 2, 3], 1: [8], 2: [6], 3: [4, 5], 4: [8], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 443, uc = {0: [1, 2, 3], 1: [8], 2: [6], 3: [4, 6], 4: [5], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 444, uc = {0: [1, 2, 3], 1: [8], 2: [6], 3: [4, 6], 4: [5, 7], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 446, uc = {0: [1, 2, 3], 1: [8], 2: [6], 3: [4], 4: [5, 6], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 453, uc = {0: [1, 2, 3], 1: [8], 2: [5], 3: [4, 6], 4: [8], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 458, uc = {0: [1, 2, 3], 1: [8], 2: [5], 3: [4, 5], 4: [8], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 459, uc = {0: [1, 2, 3], 1: [8], 2: [5], 3: [4, 5], 4: [7], 5: [6, 7], 6: [8], 7: [8], 8: []}), Lat(num = 462, uc = {0: [1, 2, 3], 1: [8], 2: [5], 3: [4], 4: [5], 5: [6, 7], 6: [8], 7: [8], 8: []}), Lat(num = 465, uc = {0: [1, 2, 3], 1: [8], 2: [4], 3: [4], 4: [5, 6], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 467, uc = {0: [1, 2, 3], 1: [8], 2: [4], 3: [4], 4: [5], 5: [6, 7], 6: [8], 7: [8], 8: []}), Lat(num = 484, uc = {0: [1, 2], 1: [8], 2: [3, 4, 5, 6], 3: [7], 4: [7], 5: [7], 6: [7], 7: [8], 8: []}), Lat(num = 487, uc = {0: [1, 2], 1: [8], 2: [3, 4, 5], 3: [7], 4: [7], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 497, uc = {0: [1, 2], 1: [8], 2: [3, 4], 3: [7], 4: [5], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 498, uc = {0: [1, 2], 1: [8], 2: [3, 4, 5], 3: [6], 4: [6], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 501, uc = {0: [1, 2], 1: [8], 2: [3, 4], 3: [6], 4: [5], 5: [7], 6: [7], 7: [8], 8: []}), Lat(num = 503, uc = {0: [1, 2], 1: [8], 2: [3, 4], 3: [6], 4: [5, 6], 5: [7], 6: [7], 7: [8], 8: []}), Lat(num = 504, uc = {0: [1, 2], 1: [8], 2: [3, 4], 3: [6], 4: [5], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 506, uc = {0: [1, 2], 1: [8], 2: [3, 4], 3: [5], 4: [5], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 512, uc = {0: [1, 2], 1: [8], 2: [3], 3: [4, 5, 6], 4: [7], 5: [7], 6: [7], 7: [8], 8: []}), Lat(num = 515, uc = {0: [1, 2], 1: [8], 2: [3], 3: [4, 5], 4: [7], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 516, uc = {0: [1, 2], 1: [8], 2: [3], 3: [4, 5], 4: [6], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 519, uc = {0: [1, 2], 1: [8], 2: [3], 3: [4], 4: [5, 6], 5: [7], 6: [7], 7: [8], 8: []}), Lat(num = 521, uc = {0: [1, 2], 1: [8], 2: [3], 3: [4], 4: [5], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 561, uc = {0: [1, 2, 3], 1: [7], 2: [7], 3: [4, 5], 4: [8], 5: [6], 6: [8], 7: [8], 8: []}), Lat(num = 563, uc = {0: [1, 2, 3], 1: [7], 2: [7], 3: [4], 4: [5, 6], 5: [8], 6: [8], 7: [8], 8: []}), Lat(num = 566, uc = {0: [1, 2, 3], 1: [7], 2: [7], 3: [4, 5, 6], 4: [8], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 568, uc = {0: [1, 2, 3], 1: [7], 2: [7], 3: [4, 5, 7], 4: [8], 5: [6], 6: [8], 7: [8], 8: []}), Lat(num = 580, uc = {0: [1, 2, 3], 1: [7], 2: [7], 3: [4], 4: [5, 6, 7], 5: [8], 6: [8], 7: [8], 8: []}), Lat(num = 595, uc = {0: [1, 2, 3], 1: [7], 2: [6], 3: [4], 4: [5], 5: [8], 6: [8], 7: [8], 8: []}), Lat(num = 597, uc = {0: [1, 2, 3], 1: [7], 2: [6], 3: [4, 5], 4: [8], 5: [7], 6: [8], 7: [8], 8: []}), Lat(num = 599, uc = {0: [1, 2, 3], 1: [7], 2: [6], 3: [4, 7], 4: [5], 5: [8], 6: [8], 7: [8], 8: []}), Lat(num = 600, uc = {0: [1, 2, 3], 1: [7], 2: [6], 3: [4], 4: [5, 7], 5: [8], 6: [8], 7: [8], 8: []}), Lat(num = 609, uc = {0: [1, 2, 3], 1: [7], 2: [6], 3: [4, 6], 4: [5, 7], 5: [8], 6: [8], 7: [8], 8: []}), Lat(num = 625, uc = {0: [1, 2, 3], 1: [7], 2: [6], 3: [4, 5], 4: [8], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 626, uc = {0: [1, 2, 3], 1: [7], 2: [6, 7], 3: [4], 4: [5], 5: [8], 6: [8], 7: [8], 8: []}), Lat(num = 629, uc = {0: [1, 2, 3], 1: [7], 2: [6], 3: [4, 5, 7], 4: [8], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 643, uc = {0: [1, 2, 3], 1: [7], 2: [6, 7], 3: [4, 6], 4: [5], 5: [8], 6: [8], 7: [8], 8: []}), Lat(num = 644, uc = {0: [1, 2, 3], 1: [7], 2: [6, 7], 3: [4], 4: [5, 6], 5: [8], 6: [8], 7: [8], 8: []}), Lat(num = 661, uc = {0: [1, 2, 3], 1: [7], 2: [5], 3: [4, 6], 4: [8], 5: [6], 6: [8], 7: [8], 8: []}), Lat(num = 667, uc = {0: [1, 2, 3], 1: [7], 2: [5, 6], 3: [4, 7], 4: [6], 5: [8], 6: [8], 7: [8], 8: []}), Lat(num = 669, uc = {0: [1, 2, 3], 1: [7], 2: [5, 6], 3: [4], 4: [6, 7], 5: [8], 6: [8], 7: [8], 8: []}), Lat(num = 671, uc = {0: [1, 2, 3], 1: [7], 2: [5], 3: [4, 5], 4: [8], 5: [6], 6: [8], 7: [8], 8: []}), Lat(num = 688, uc = {0: [1, 2, 3], 1: [7], 2: [5, 7], 3: [4, 5], 4: [8], 5: [6], 6: [8], 7: [8], 8: []}), Lat(num = 691, uc = {0: [1, 2, 3], 1: [7], 2: [5], 3: [4, 5], 4: [8], 5: [6, 7], 6: [8], 7: [8], 8: []}), Lat(num = 699, uc = {0: [1, 2, 3], 1: [7], 2: [4], 3: [4], 4: [5, 6], 5: [8], 6: [8], 7: [8], 8: []}), Lat(num = 714, uc = {0: [1, 2], 1: [7], 2: [3, 4, 5], 3: [6], 4: [6], 5: [6], 6: [8], 7: [8], 8: []}), Lat(num = 717, uc = {0: [1, 2], 1: [7], 2: [3, 4], 3: [6], 4: [5], 5: [6], 6: [8], 7: [8], 8: []}), Lat(num = 718, uc = {0: [1, 2], 1: [7], 2: [3, 4], 3: [5], 4: [5], 5: [6], 6: [8], 7: [8], 8: []}), Lat(num = 721, uc = {0: [1, 2], 1: [7], 2: [3], 3: [4, 5], 4: [6], 5: [6], 6: [8], 7: [8], 8: []}), Lat(num = 723, uc = {0: [1, 2], 1: [7], 2: [3], 3: [4], 4: [5], 5: [6], 6: [8], 7: [8], 8: []}), Lat(num = 730, uc = {0: [1, 2], 1: [7], 2: [3, 4, 5, 6], 3: [8], 4: [7], 5: [7], 6: [7], 7: [8], 8: []}), Lat(num = 733, uc = {0: [1, 2], 1: [7], 2: [3, 4, 5], 3: [8], 4: [7], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 744, uc = {0: [1, 2], 1: [7], 2: [3, 4], 3: [8], 4: [5], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 746, uc = {0: [1, 2], 1: [7], 2: [3, 4, 5], 3: [7], 4: [7], 5: [6], 6: [8], 7: [8], 8: []}), Lat(num = 753, uc = {0: [1, 2], 1: [7], 2: [3, 4], 3: [7], 4: [5], 5: [6], 6: [8], 7: [8], 8: []}), Lat(num = 764, uc = {0: [1, 2], 1: [7], 2: [3, 4], 3: [6], 4: [5], 5: [7], 6: [8], 7: [8], 8: []}), Lat(num = 768, uc = {0: [1, 2], 1: [7], 2: [3, 4], 3: [6], 4: [5, 6], 5: [7], 6: [8], 7: [8], 8: []}), Lat(num = 769, uc = {0: [1, 2], 1: [7], 2: [3, 4], 3: [6], 4: [5, 7], 5: [6], 6: [8], 7: [8], 8: []}), Lat(num = 777, uc = {0: [1, 2], 1: [7], 2: [3, 4], 3: [6], 4: [5, 6], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 782, uc = {0: [1, 2], 1: [7], 2: [3, 4], 3: [5], 4: [5], 5: [6, 7], 6: [8], 7: [8], 8: []}), Lat(num = 786, uc = {0: [1, 2], 1: [7], 2: [3, 7], 3: [4, 5], 4: [6], 5: [6], 6: [8], 7: [8], 8: []}), Lat(num = 788, uc = {0: [1, 2], 1: [7], 2: [3, 7], 3: [4], 4: [5], 5: [6], 6: [8], 7: [8], 8: []}), Lat(num = 791, uc = {0: [1, 2], 1: [7], 2: [3], 3: [4, 5, 6], 4: [8], 5: [7], 6: [7], 7: [8], 8: []}), Lat(num = 794, uc = {0: [1, 2], 1: [7], 2: [3], 3: [4, 5], 4: [8], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 796, uc = {0: [1, 2], 1: [7], 2: [3], 3: [4, 5], 4: [7], 5: [6], 6: [8], 7: [8], 8: []}), Lat(num = 803, uc = {0: [1, 2], 1: [7], 2: [3], 3: [4, 7], 4: [5], 5: [6], 6: [8], 7: [8], 8: []}), Lat(num = 805, uc = {0: [1, 2], 1: [7], 2: [3], 3: [4], 4: [5, 6], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 807, uc = {0: [1, 2], 1: [7], 2: [3], 3: [4], 4: [5, 7], 5: [6], 6: [8], 7: [8], 8: []}), Lat(num = 808, uc = {0: [1, 2], 1: [7], 2: [3], 3: [4], 4: [5], 5: [6, 7], 6: [8], 7: [8], 8: []}), Lat(num = 819, uc = {0: [1, 2, 3], 1: [6], 2: [6], 3: [4, 5], 4: [8], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 827, uc = {0: [1, 2, 3], 1: [6], 2: [6], 3: [4, 5, 6], 4: [8], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 844, uc = {0: [1, 2, 3], 1: [6, 7], 2: [5], 3: [4, 6], 4: [8], 5: [7], 6: [8], 7: [8], 8: []}), Lat(num = 846, uc = {0: [1, 2, 3], 1: [6], 2: [5, 7], 3: [4, 6], 4: [8], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 853, uc = {0: [1, 2, 3], 1: [6, 7], 2: [5, 7], 3: [4, 5], 4: [6], 5: [8], 6: [8], 7: [8], 8: []}), Lat(num = 854, uc = {0: [1, 2, 3], 1: [6, 7], 2: [5, 7], 3: [4], 4: [5, 6], 5: [8], 6: [8], 7: [8], 8: []}), Lat(num = 866, uc = {0: [1, 2, 3], 1: [6], 2: [5, 6], 3: [4, 5], 4: [8], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 880, uc = {0: [1, 2, 3], 1: [6, 7], 2: [4, 7], 3: [4, 6], 4: [5], 5: [8], 6: [8], 7: [8], 8: []}), Lat(num = 891, uc = {0: [1, 2], 1: [6], 2: [3, 4], 3: [5], 4: [5], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 895, uc = {0: [1, 2], 1: [6], 2: [3], 3: [4], 4: [5], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 901, uc = {0: [1, 2], 1: [6], 2: [3, 4, 5], 3: [8], 4: [7], 5: [7], 6: [7], 7: [8], 8: []}), Lat(num = 907, uc = {0: [1, 2], 1: [6], 2: [3, 4], 3: [8], 4: [5], 5: [7], 6: [7], 7: [8], 8: []}), Lat(num = 911, uc = {0: [1, 2], 1: [6], 2: [3, 4], 3: [7], 4: [5], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 920, uc = {0: [1, 2], 1: [6, 7], 2: [3, 4], 3: [5], 4: [5], 5: [7], 6: [8], 7: [8], 8: []}), Lat(num = 925, uc = {0: [1, 2], 1: [6], 2: [3, 7], 3: [4], 4: [5], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 929, uc = {0: [1, 2], 1: [6], 2: [3], 3: [4, 5], 4: [8], 5: [7], 6: [7], 7: [8], 8: []}), Lat(num = 933, uc = {0: [1, 2], 1: [6], 2: [3], 3: [4, 7], 4: [5], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 935, uc = {0: [1, 2], 1: [6], 2: [3], 3: [4], 4: [5, 7], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 936, uc = {0: [1, 2], 1: [6, 7], 2: [3], 3: [4], 4: [5], 5: [7], 6: [8], 7: [8], 8: []}), Lat(num = 943, uc = {0: [1, 2], 1: [6], 2: [3, 4, 5], 3: [8], 4: [6], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 948, uc = {0: [1, 2], 1: [6], 2: [3, 4], 3: [8], 4: [5, 6], 5: [7], 6: [7], 7: [8], 8: []}), Lat(num = 949, uc = {0: [1, 2], 1: [6], 2: [3, 4], 3: [8], 4: [5], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 954, uc = {0: [1, 2], 1: [6], 2: [3, 4, 6], 3: [7], 4: [5, 7], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 956, uc = {0: [1, 2], 1: [6], 2: [3, 4], 3: [7], 4: [5, 6], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 960, uc = {0: [1, 2], 1: [6], 2: [3, 4], 3: [6], 4: [5], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 961, uc = {0: [1, 2], 1: [6], 2: [3, 4], 3: [6], 4: [5, 7], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 973, uc = {0: [1, 2], 1: [6], 2: [3, 6], 3: [4], 4: [5], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 975, uc = {0: [1, 2], 1: [6], 2: [3, 6], 3: [4, 5], 4: [8], 5: [7], 6: [7], 7: [8], 8: []}), Lat(num = 977, uc = {0: [1, 2], 1: [6], 2: [3, 6], 3: [4, 7], 4: [5], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 978, uc = {0: [1, 2], 1: [6], 2: [3, 6], 3: [4], 4: [5, 7], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 982, uc = {0: [1, 2], 1: [6], 2: [3], 3: [4, 5], 4: [8], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 986, uc = {0: [1, 2], 1: [6], 2: [3], 3: [4, 6], 4: [5], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 987, uc = {0: [1, 2], 1: [6], 2: [3], 3: [4, 6], 4: [5, 7], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 989, uc = {0: [1, 2], 1: [6], 2: [3], 3: [4], 4: [5, 6], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 1018, uc = {0: [1, 2], 1: [5], 2: [3, 4], 3: [8], 4: [7], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 1025, uc = {0: [1, 2], 1: [5], 2: [3, 7], 3: [4], 4: [8], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 1027, uc = {0: [1, 2], 1: [5], 2: [3], 3: [4, 7], 4: [8], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 1036, uc = {0: [1, 2], 1: [5, 6], 2: [3, 4], 3: [8], 4: [6], 5: [7], 6: [7], 7: [8], 8: []}), Lat(num = 1037, uc = {0: [1, 2], 1: [5], 2: [3, 4], 3: [8], 4: [6], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 1041, uc = {0: [1, 2], 1: [5, 6], 2: [3, 4], 3: [7], 4: [6], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 1049, uc = {0: [1, 2], 1: [5], 2: [3, 6], 3: [4], 4: [8], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 1052, uc = {0: [1, 2], 1: [5], 2: [3, 6], 3: [4, 7], 4: [8], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 1058, uc = {0: [1, 2], 1: [5], 2: [3], 3: [4, 6], 4: [8], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 1062, uc = {0: [1, 2], 1: [5, 6], 2: [3], 3: [4], 4: [6], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 1071, uc = {0: [1, 2], 1: [5], 2: [3, 4], 3: [8], 4: [5], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 1072, uc = {0: [1, 2], 1: [5], 2: [3, 4, 5], 3: [7], 4: [7], 5: [6, 7], 6: [8], 7: [8], 8: []}), Lat(num = 1076, uc = {0: [1, 2], 1: [5], 2: [3, 4], 3: [7], 4: [5], 5: [6, 7], 6: [8], 7: [8], 8: []}), Lat(num = 1083, uc = {0: [1, 2], 1: [5], 2: [3, 5], 3: [4], 4: [8], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 1085, uc = {0: [1, 2], 1: [5], 2: [3, 5], 3: [4, 7], 4: [8], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 1086, uc = {0: [1, 2], 1: [5], 2: [3, 5], 3: [4], 4: [7], 5: [6, 7], 6: [8], 7: [8], 8: []}), Lat(num = 1088, uc = {0: [1, 2], 1: [5], 2: [3, 5], 3: [4, 6], 4: [8], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 1092, uc = {0: [1, 2], 1: [5], 2: [3], 3: [4, 5], 4: [8], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 1093, uc = {0: [1, 2], 1: [5], 2: [3], 3: [4, 5], 4: [7], 5: [6, 7], 6: [8], 7: [8], 8: []}), Lat(num = 1096, uc = {0: [1, 2], 1: [5], 2: [3], 3: [4], 4: [5], 5: [6, 7], 6: [8], 7: [8], 8: []}), Lat(num = 1098, uc = {0: [1, 2, 3], 1: [4], 2: [4], 3: [4], 4: [5, 6, 7], 5: [8], 6: [8], 7: [8], 8: []}), Lat(num = 1109, uc = {0: [1, 2], 1: [4], 2: [3, 5], 3: [8], 4: [5], 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 = 1114, uc = {0: [1, 2], 1: [4], 2: [3, 5], 3: [7], 4: [5], 5: [6, 7], 6: [8], 7: [8], 8: []}), Lat(num = 1118, uc = {0: [1, 2], 1: [4], 2: [3], 3: [5], 4: [5], 5: [6, 7], 6: [8], 7: [8], 8: []}), Lat(num = 1122, uc = {0: [1, 2], 1: [4], 2: [3, 4], 3: [8], 4: [5, 6], 5: [7], 6: [7], 7: [8], 8: []}), Lat(num = 1124, uc = {0: [1, 2], 1: [4], 2: [3, 4], 3: [8], 4: [5], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 1126, uc = {0: [1, 2], 1: [4], 2: [3, 4], 3: [7], 4: [5, 6], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 1128, uc = {0: [1, 2], 1: [4], 2: [3, 4], 3: [7], 4: [5, 7], 5: [6], 6: [8], 7: [8], 8: []}), Lat(num = 1129, uc = {0: [1, 2], 1: [4], 2: [3, 4], 3: [7], 4: [5], 5: [6, 7], 6: [8], 7: [8], 8: []}), Lat(num = 1131, uc = {0: [1, 2], 1: [4], 2: [3, 4], 3: [6], 4: [5, 6], 5: [8], 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 = 1137, uc = {0: [1, 2], 1: [4], 2: [3], 3: [4], 4: [5, 6], 5: [8], 6: [7], 7: [8], 8: []}), Lat(num = 1139, uc = {0: [1, 2], 1: [4], 2: [3], 3: [4], 4: [5], 5: [6, 7], 6: [8], 7: [8], 8: []}), Lat(num = 1145, uc = {0: [1, 2], 1: [3], 2: [3], 3: [4, 5], 4: [8], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 1147, uc = {0: [1, 2], 1: [3], 2: [3], 3: [4, 5], 4: [7], 5: [6], 6: [8], 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 = 1152, uc = {0: [1, 2], 1: [3], 2: [3], 3: [4], 4: [5, 6], 5: [8], 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 = 1209, uc = {0: [1], 1: [2, 3, 4, 5, 6], 2: [7], 3: [7], 4: [7], 5: [7], 6: [7], 7: [8], 8: []}), Lat(num = 1212, uc = {0: [1], 1: [2, 3, 4, 5], 2: [7], 3: [7], 4: [7], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 1223, uc = {0: [1], 1: [2, 3, 4], 2: [7], 3: [7], 4: [5], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 1233, uc = {0: [1], 1: [2, 3, 4], 2: [7], 3: [6], 4: [5], 5: [7], 6: [7], 7: [8], 8: []}), Lat(num = 1237, uc = {0: [1], 1: [2, 3, 4], 2: [7], 3: [6], 4: [5, 6], 5: [7], 6: [7], 7: [8], 8: []}), Lat(num = 1260, uc = {0: [1], 1: [2, 3], 2: [7], 3: [4, 5], 4: [6], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 1268, uc = {0: [1], 1: [2, 3], 2: [7], 3: [4], 4: [5], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 1269, uc = {0: [1], 1: [2, 3, 4, 5], 2: [6], 3: [6], 4: [6], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 1274, uc = {0: [1], 1: [2, 3, 4], 2: [6], 3: [6], 4: [5], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 1292, uc = {0: [1], 1: [2, 3], 2: [6], 3: [4], 4: [5], 5: [7], 6: [7], 7: [8], 8: []}), Lat(num = 1297, uc = {0: [1], 1: [2, 3], 2: [6], 3: [4, 5], 4: [7], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 1301, uc = {0: [1], 1: [2, 3], 2: [6], 3: [4, 6], 4: [5], 5: [7], 6: [7], 7: [8], 8: []}), Lat(num = 1303, uc = {0: [1], 1: [2, 3], 2: [6], 3: [4], 4: [5, 6], 5: [7], 6: [7], 7: [8], 8: []}), Lat(num = 1304, uc = {0: [1], 1: [2, 3], 2: [6], 3: [4], 4: [5], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 1306, uc = {0: [1], 1: [2, 3, 4], 2: [5], 3: [5], 4: [5], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 1311, uc = {0: [1], 1: [2, 3], 2: [5], 3: [4, 6], 4: [7], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 1312, uc = {0: [1], 1: [2, 3], 2: [5], 3: [4], 4: [6], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 1316, uc = {0: [1], 1: [2, 3], 2: [5], 3: [4, 5], 4: [7], 5: [6], 6: [7], 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 = 1319, uc = {0: [1], 1: [2, 3], 2: [5], 3: [4], 4: [5], 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 = 1324, uc = {0: [1], 1: [2, 3], 2: [4], 3: [4], 4: [5], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 1340, uc = {0: [1], 1: [2], 2: [3, 4, 5, 6], 3: [7], 4: [7], 5: [7], 6: [7], 7: [8], 8: []}), Lat(num = 1343, uc = {0: [1], 1: [2], 2: [3, 4, 5], 3: [7], 4: [7], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 1353, uc = {0: [1], 1: [2], 2: [3, 4], 3: [7], 4: [5], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 1354, uc = {0: [1], 1: [2], 2: [3, 4, 5], 3: [6], 4: [6], 5: [6], 6: [7], 7: [8], 8: []}), Lat(num = 1357, uc = {0: [1], 1: [2], 2: [3, 4], 3: [6], 4: [5], 5: [7], 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 = 1360, uc = {0: [1], 1: [2], 2: [3, 4], 3: [6], 4: [5], 5: [6], 6: [7], 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 = 1368, uc = {0: [1], 1: [2], 2: [3], 3: [4, 5, 6], 4: [7], 5: [7], 6: [7], 7: [8], 8: []}), Lat(num = 1371, uc = {0: [1], 1: [2], 2: [3], 3: [4, 5], 4: [7], 5: [6], 6: [7], 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 = 1377, uc = {0: [1], 1: [2], 2: [3], 3: [4], 4: [5], 5: [6], 6: [7], 7: [8], 8: []})]