# Lattices up to size 8 Lat_count = [1, 1, 1, 2, 5, 15, 53, 222] # total = 300 Lat_index = [0, 1, 2, 3, 5, 10, 25, 78] Lat_list = [ 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 = 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 = 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 = 12, uc = {0: [1, 2, 3], 1: [5], 2: [4], 3: [4], 4: [5], 5: []}), Lat(num = 13, uc = {0: [1, 2], 1: [5], 2: [3, 4], 3: [5], 4: [5], 5: []}), Lat(num = 14, uc = {0: [1, 2], 1: [5], 2: [3], 3: [4], 4: [5], 5: []}), Lat(num = 15, uc = {0: [1, 2, 3], 1: [4], 2: [4], 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 = 18, uc = {0: [1, 2], 1: [4], 2: [3], 3: [4], 4: [5], 5: []}), Lat(num = 19, uc = {0: [1, 2], 1: [3], 2: [3], 3: [4], 4: [5], 5: []}), Lat(num = 20, uc = {0: [1], 1: [2, 3, 4], 2: [5], 3: [5], 4: [5], 5: []}), Lat(num = 21, uc = {0: [1], 1: [2, 3], 2: [5], 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 = 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 = 27, uc = {0: [1, 2, 3, 4], 1: [6], 2: [6], 3: [5], 4: [5], 5: [6], 6: []}), Lat(num = 28, uc = {0: [1, 2, 3], 1: [6], 2: [6], 3: [4, 5], 4: [6], 5: [6], 6: []}), Lat(num = 29, uc = {0: [1, 2, 3], 1: [6], 2: [6], 3: [4], 4: [5], 5: [6], 6: []}), Lat(num = 30, uc = {0: [1, 2, 3, 4], 1: [6], 2: [5], 3: [5], 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 = 33, uc = {0: [1, 2, 3], 1: [6], 2: [5], 3: [4], 4: [5], 5: [6], 6: []}), Lat(num = 34, uc = {0: [1, 2, 3], 1: [6], 2: [4], 3: [4], 4: [5], 5: [6], 6: []}), Lat(num = 35, uc = {0: [1, 2], 1: [6], 2: [3, 4, 5], 3: [6], 4: [6], 5: [6], 6: []}), Lat(num = 36, uc = {0: [1, 2], 1: [6], 2: [3, 4], 3: [6], 4: [5], 5: [6], 6: []}), Lat(num = 37, uc = {0: [1, 2], 1: [6], 2: [3, 4], 3: [5], 4: [5], 5: [6], 6: []}), Lat(num = 38, uc = {0: [1, 2], 1: [6], 2: [3], 3: [4, 5], 4: [6], 5: [6], 6: []}), Lat(num = 39, uc = {0: [1, 2], 1: [6], 2: [3], 3: [4], 4: [5], 5: [6], 6: []}), Lat(num = 40, uc = {0: [1, 2, 3, 4], 1: [5], 2: [5], 3: [5], 4: [5], 5: [6], 6: []}), Lat(num = 41, uc = {0: [1, 2, 3], 1: [5], 2: [5], 3: [4], 4: [6], 5: [6], 6: []}), Lat(num = 42, uc = {0: [1, 2, 3], 1: [5], 2: [5], 3: [4, 5], 4: [6], 5: [6], 6: []}), Lat(num = 43, uc = {0: [1, 2, 3], 1: [5], 2: [5], 3: [4], 4: [5], 5: [6], 6: []}), Lat(num = 44, uc = {0: [1, 2, 3], 1: [5], 2: [4], 3: [4, 5], 4: [6], 5: [6], 6: []}), Lat(num = 45, uc = {0: [1, 2, 3], 1: [5], 2: [4], 3: [4], 4: [5], 5: [6], 6: []}), Lat(num = 46, uc = {0: [1, 2], 1: [5], 2: [3, 4], 3: [6], 4: [6], 5: [6], 6: []}), Lat(num = 47, uc = {0: [1, 2], 1: [5], 2: [3], 3: [4], 4: [6], 5: [6], 6: []}), Lat(num = 48, uc = {0: [1, 2], 1: [5], 2: [3, 4, 5], 3: [6], 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 = 50, uc = {0: [1, 2], 1: [5], 2: [3, 4], 3: [5], 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 = 53, uc = {0: [1, 2], 1: [5], 2: [3], 3: [4], 4: [5], 5: [6], 6: []}), Lat(num = 54, uc = {0: [1, 2, 3], 1: [4], 2: [4], 3: [4], 4: [5], 5: [6], 6: []}), Lat(num = 55, uc = {0: [1, 2], 1: [4, 5], 2: [3, 5], 3: [6], 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 = 57, uc = {0: [1, 2], 1: [4], 2: [3], 3: [5], 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 = 59, uc = {0: [1, 2], 1: [4], 2: [3, 4], 3: [5], 4: [5], 5: [6], 6: []}), Lat(num = 60, uc = {0: [1, 2], 1: [4], 2: [3], 3: [4], 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 = 63, uc = {0: [1], 1: [2, 3, 4, 5], 2: [6], 3: [6], 4: [6], 5: [6], 6: []}), Lat(num = 64, uc = {0: [1], 1: [2, 3, 4], 2: [6], 3: [6], 4: [5], 5: [6], 6: []}), Lat(num = 65, uc = {0: [1], 1: [2, 3, 4], 2: [6], 3: [5], 4: [5], 5: [6], 6: []}), Lat(num = 66, uc = {0: [1], 1: [2, 3], 2: [6], 3: [4, 5], 4: [6], 5: [6], 6: []}), Lat(num = 67, uc = {0: [1], 1: [2, 3], 2: [6], 3: [4], 4: [5], 5: [6], 6: []}), Lat(num = 68, uc = {0: [1], 1: [2, 3, 4], 2: [5], 3: [5], 4: [5], 5: [6], 6: []}), Lat(num = 69, uc = {0: [1], 1: [2, 3], 2: [5], 3: [4], 4: [6], 5: [6], 6: []}), Lat(num = 70, uc = {0: [1], 1: [2, 3], 2: [5], 3: [4, 5], 4: [6], 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 = 73, uc = {0: [1], 1: [2], 2: [3, 4, 5], 3: [6], 4: [6], 5: [6], 6: []}), Lat(num = 74, uc = {0: [1], 1: [2], 2: [3, 4], 3: [6], 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 = 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 = 80, uc = {0: [1, 2, 3, 4, 5], 1: [7], 2: [7], 3: [7], 4: [6], 5: [6], 6: [7], 7: []}), Lat(num = 81, uc = {0: [1, 2, 3, 4], 1: [7], 2: [7], 3: [7], 4: [5, 6], 5: [7], 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 = 83, uc = {0: [1, 2, 3, 4, 5], 1: [7], 2: [7], 3: [6], 4: [6], 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 = 86, uc = {0: [1, 2, 3, 4], 1: [7], 2: [7], 3: [6], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 87, uc = {0: [1, 2, 3, 4], 1: [7], 2: [7], 3: [5], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 88, uc = {0: [1, 2, 3], 1: [7], 2: [7], 3: [4, 5, 6], 4: [7], 5: [7], 6: [7], 7: []}), Lat(num = 89, uc = {0: [1, 2, 3], 1: [7], 2: [7], 3: [4, 5], 4: [7], 5: [6], 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 = 91, uc = {0: [1, 2, 3], 1: [7], 2: [7], 3: [4], 4: [5, 6], 5: [7], 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 = 93, uc = {0: [1, 2, 3, 4, 5], 1: [7], 2: [6], 3: [6], 4: [6], 5: [6], 6: [7], 7: []}), Lat(num = 94, uc = {0: [1, 2, 3, 4], 1: [7], 2: [6], 3: [6], 4: [5], 5: [7], 6: [7], 7: []}), Lat(num = 95, uc = {0: [1, 2, 3, 4], 1: [7], 2: [6], 3: [6], 4: [5, 6], 5: [7], 6: [7], 7: []}), Lat(num = 96, uc = {0: [1, 2, 3, 4], 1: [7], 2: [6], 3: [6], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 97, uc = {0: [1, 2, 3, 4], 1: [7], 2: [6], 3: [5], 4: [5, 6], 5: [7], 6: [7], 7: []}), Lat(num = 98, uc = {0: [1, 2, 3, 4], 1: [7], 2: [6], 3: [5], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 99, uc = {0: [1, 2, 3], 1: [7], 2: [6], 3: [4, 5], 4: [7], 5: [7], 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 = 101, uc = {0: [1, 2, 3], 1: [7], 2: [6], 3: [4, 5, 6], 4: [7], 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 = 103, uc = {0: [1, 2, 3], 1: [7], 2: [6], 3: [4, 5], 4: [6], 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 = 106, uc = {0: [1, 2, 3], 1: [7], 2: [6], 3: [4], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 107, uc = {0: [1, 2, 3, 4], 1: [7], 2: [5], 3: [5], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 108, uc = {0: [1, 2, 3], 1: [7], 2: [5, 6], 3: [4, 6], 4: [7], 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 = 110, uc = {0: [1, 2, 3], 1: [7], 2: [5], 3: [4], 4: [6], 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 = 112, uc = {0: [1, 2, 3], 1: [7], 2: [5], 3: [4, 5], 4: [6], 5: [6], 6: [7], 7: []}), Lat(num = 113, uc = {0: [1, 2, 3], 1: [7], 2: [5], 3: [4], 4: [5], 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 = 115, uc = {0: [1, 2, 3], 1: [7], 2: [4], 3: [4], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 116, uc = {0: [1, 2], 1: [7], 2: [3, 4, 5, 6], 3: [7], 4: [7], 5: [7], 6: [7], 7: []}), Lat(num = 117, uc = {0: [1, 2], 1: [7], 2: [3, 4, 5], 3: [7], 4: [7], 5: [6], 6: [7], 7: []}), Lat(num = 118, uc = {0: [1, 2], 1: [7], 2: [3, 4, 5], 3: [7], 4: [6], 5: [6], 6: [7], 7: []}), Lat(num = 119, uc = {0: [1, 2], 1: [7], 2: [3, 4], 3: [7], 4: [5, 6], 5: [7], 6: [7], 7: []}), Lat(num = 120, uc = {0: [1, 2], 1: [7], 2: [3, 4], 3: [7], 4: [5], 5: [6], 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 = 122, uc = {0: [1, 2], 1: [7], 2: [3, 4], 3: [6], 4: [5], 5: [7], 6: [7], 7: []}), Lat(num = 123, uc = {0: [1, 2], 1: [7], 2: [3, 4], 3: [6], 4: [5, 6], 5: [7], 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 = 126, uc = {0: [1, 2], 1: [7], 2: [3], 3: [4, 5, 6], 4: [7], 5: [7], 6: [7], 7: []}), Lat(num = 127, uc = {0: [1, 2], 1: [7], 2: [3], 3: [4, 5], 4: [7], 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 = 129, uc = {0: [1, 2], 1: [7], 2: [3], 3: [4], 4: [5, 6], 5: [7], 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 = 131, uc = {0: [1, 2, 3, 4, 5], 1: [6], 2: [6], 3: [6], 4: [6], 5: [6], 6: [7], 7: []}), Lat(num = 132, uc = {0: [1, 2, 3, 4], 1: [6], 2: [6], 3: [6], 4: [5], 5: [7], 6: [7], 7: []}), Lat(num = 133, uc = {0: [1, 2, 3, 4], 1: [6], 2: [6], 3: [6], 4: [5, 6], 5: [7], 6: [7], 7: []}), Lat(num = 134, uc = {0: [1, 2, 3, 4], 1: [6], 2: [6], 3: [6], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 135, uc = {0: [1, 2, 3, 4], 1: [6], 2: [6], 3: [5], 4: [5], 5: [7], 6: [7], 7: []}), Lat(num = 136, uc = {0: [1, 2, 3, 4], 1: [6], 2: [6], 3: [5], 4: [5, 6], 5: [7], 6: [7], 7: []}), Lat(num = 137, uc = {0: [1, 2, 3, 4], 1: [6], 2: [6], 3: [5], 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 = 139, uc = {0: [1, 2, 3], 1: [6], 2: [6], 3: [4], 4: [5], 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 = 141, uc = {0: [1, 2, 3], 1: [6], 2: [6], 3: [4, 5], 4: [7], 5: [6], 6: [7], 7: []}), Lat(num = 142, uc = {0: [1, 2, 3], 1: [6], 2: [6], 3: [4, 5], 4: [6], 5: [6], 6: [7], 7: []}), Lat(num = 143, uc = {0: [1, 2, 3], 1: [6], 2: [6], 3: [4, 6], 4: [5], 5: [7], 6: [7], 7: []}), Lat(num = 144, uc = {0: [1, 2, 3], 1: [6], 2: [6], 3: [4], 4: [5, 6], 5: [7], 6: [7], 7: []}), Lat(num = 145, uc = {0: [1, 2, 3], 1: [6], 2: [6], 3: [4], 4: [5], 5: [6], 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 = 148, uc = {0: [1, 2, 3], 1: [6], 2: [5], 3: [4], 4: [6], 5: [7], 6: [7], 7: []}), Lat(num = 149, uc = {0: [1, 2, 3], 1: [6], 2: [5], 3: [4, 5, 6], 4: [7], 5: [7], 6: [7], 7: []}), Lat(num = 150, uc = {0: [1, 2, 3], 1: [6], 2: [5], 3: [4, 5], 4: [6], 5: [7], 6: [7], 7: []}), Lat(num = 151, uc = {0: [1, 2, 3], 1: [6], 2: [5], 3: [4], 4: [5, 6], 5: [7], 6: [7], 7: []}), Lat(num = 152, uc = {0: [1, 2, 3, 4], 1: [6], 2: [5], 3: [5], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 153, uc = {0: [1, 2, 3], 1: [6], 2: [5, 6], 3: [4, 6], 4: [7], 5: [7], 6: [7], 7: []}), Lat(num = 154, uc = {0: [1, 2, 3], 1: [6], 2: [5], 3: [4, 6], 4: [7], 5: [6], 6: [7], 7: []}), Lat(num = 155, uc = {0: [1, 2, 3], 1: [6], 2: [5], 3: [4], 4: [6], 5: [6], 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 = 157, uc = {0: [1, 2, 3], 1: [6], 2: [5, 6], 3: [4], 4: [5], 5: [7], 6: [7], 7: []}), Lat(num = 158, uc = {0: [1, 2, 3], 1: [6], 2: [5], 3: [4, 5], 4: [7], 5: [6], 6: [7], 7: []}), Lat(num = 159, uc = {0: [1, 2, 3], 1: [6], 2: [5], 3: [4, 5], 4: [6], 5: [6], 6: [7], 7: []}), Lat(num = 160, uc = {0: [1, 2, 3], 1: [6], 2: [5], 3: [4], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 161, uc = {0: [1, 2, 3], 1: [6], 2: [4], 3: [4], 4: [5], 5: [7], 6: [7], 7: []}), Lat(num = 162, uc = {0: [1, 2, 3], 1: [6], 2: [4], 3: [4, 6], 4: [5], 5: [7], 6: [7], 7: []}), Lat(num = 163, uc = {0: [1, 2, 3], 1: [6], 2: [4], 3: [4], 4: [5, 6], 5: [7], 6: [7], 7: []}), Lat(num = 164, uc = {0: [1, 2, 3], 1: [6], 2: [4], 3: [4], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 165, uc = {0: [1, 2], 1: [6], 2: [3, 4, 5], 3: [7], 4: [7], 5: [7], 6: [7], 7: []}), Lat(num = 166, uc = {0: [1, 2], 1: [6], 2: [3, 4], 3: [7], 4: [5], 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 = 168, uc = {0: [1, 2], 1: [6], 2: [3], 3: [4, 5], 4: [7], 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 = 170, uc = {0: [1, 2], 1: [6], 2: [3, 4, 5, 6], 3: [7], 4: [7], 5: [7], 6: [7], 7: []}), Lat(num = 171, uc = {0: [1, 2], 1: [6], 2: [3, 4, 5], 3: [7], 4: [7], 5: [6], 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 = 173, uc = {0: [1, 2], 1: [6], 2: [3, 4, 6], 3: [7], 4: [5], 5: [7], 6: [7], 7: []}), Lat(num = 174, uc = {0: [1, 2], 1: [6], 2: [3, 4], 3: [7], 4: [5, 6], 5: [7], 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 = 176, uc = {0: [1, 2], 1: [6], 2: [3, 4, 5], 3: [6], 4: [6], 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 = 178, uc = {0: [1, 2], 1: [6], 2: [3, 4], 3: [6], 4: [5, 6], 5: [7], 6: [7], 7: []}), Lat(num = 179, uc = {0: [1, 2], 1: [6], 2: [3, 4], 3: [6], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 180, uc = {0: [1, 2], 1: [6], 2: [3, 4, 6], 3: [5], 4: [5], 5: [7], 6: [7], 7: []}), Lat(num = 181, uc = {0: [1, 2], 1: [6], 2: [3, 4], 3: [5], 4: [5, 6], 5: [7], 6: [7], 7: []}), Lat(num = 182, uc = {0: [1, 2], 1: [6], 2: [3, 4], 3: [5], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 183, uc = {0: [1, 2], 1: [6], 2: [3, 6], 3: [4, 5], 4: [7], 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 = 185, uc = {0: [1, 2], 1: [6], 2: [3], 3: [4, 5, 6], 4: [7], 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 = 187, uc = {0: [1, 2], 1: [6], 2: [3], 3: [4, 5], 4: [6], 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 = 190, uc = {0: [1, 2], 1: [6], 2: [3], 3: [4], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 191, uc = {0: [1, 2, 3, 4], 1: [5], 2: [5], 3: [5], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 192, uc = {0: [1, 2, 3], 1: [5], 2: [5], 3: [4, 6], 4: [7], 5: [6], 6: [7], 7: []}), Lat(num = 193, uc = {0: [1, 2, 3], 1: [5], 2: [5], 3: [4], 4: [6], 5: [6], 6: [7], 7: []}), Lat(num = 194, uc = {0: [1, 2, 3], 1: [5], 2: [5], 3: [4, 5], 4: [7], 5: [6], 6: [7], 7: []}), Lat(num = 195, uc = {0: [1, 2, 3], 1: [5], 2: [5], 3: [4, 5], 4: [6], 5: [6], 6: [7], 7: []}), Lat(num = 196, uc = {0: [1, 2, 3], 1: [5], 2: [5], 3: [4], 4: [5], 5: [6], 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 = 198, uc = {0: [1, 2, 3], 1: [5], 2: [4], 3: [4, 5], 4: [6], 5: [6], 6: [7], 7: []}), Lat(num = 199, uc = {0: [1, 2, 3], 1: [5], 2: [4], 3: [4], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 200, uc = {0: [1, 2], 1: [5, 6], 2: [3, 4], 3: [7], 4: [7], 5: [7], 6: [7], 7: []}), Lat(num = 201, uc = {0: [1, 2], 1: [5], 2: [3, 4], 3: [7], 4: [7], 5: [6], 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 = 203, uc = {0: [1, 2], 1: [5, 6], 2: [3, 4, 6], 3: [7], 4: [7], 5: [7], 6: [7], 7: []}), Lat(num = 204, uc = {0: [1, 2], 1: [5], 2: [3, 4, 6], 3: [7], 4: [7], 5: [6], 6: [7], 7: []}), Lat(num = 205, uc = {0: [1, 2], 1: [5, 6], 2: [3, 4], 3: [7], 4: [6], 5: [7], 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 = 207, uc = {0: [1, 2], 1: [5, 6], 2: [3, 4], 3: [6], 4: [6], 5: [7], 6: [7], 7: []}), Lat(num = 208, uc = {0: [1, 2], 1: [5], 2: [3, 4], 3: [6], 4: [6], 5: [6], 6: [7], 7: []}), Lat(num = 209, uc = {0: [1, 2], 1: [5, 6], 2: [3, 6], 3: [4], 4: [7], 5: [7], 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 = 211, uc = {0: [1, 2], 1: [5, 6], 2: [3], 3: [4, 6], 4: [7], 5: [7], 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 = 214, uc = {0: [1, 2], 1: [5], 2: [3], 3: [4], 4: [6], 5: [6], 6: [7], 7: []}), Lat(num = 215, uc = {0: [1, 2], 1: [5], 2: [3, 4, 5], 3: [7], 4: [7], 5: [6], 6: [7], 7: []}), Lat(num = 216, uc = {0: [1, 2], 1: [5], 2: [3, 4, 5], 3: [7], 4: [6], 5: [6], 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 = 218, uc = {0: [1, 2], 1: [5], 2: [3, 4, 5], 3: [6], 4: [6], 5: [6], 6: [7], 7: []}), Lat(num = 219, uc = {0: [1, 2], 1: [5], 2: [3, 4], 3: [6], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 220, uc = {0: [1, 2], 1: [5], 2: [3, 4], 3: [5], 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 = 223, uc = {0: [1, 2], 1: [5], 2: [3, 5], 3: [4], 4: [6], 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 = 225, uc = {0: [1, 2], 1: [5], 2: [3], 3: [4, 5], 4: [6], 5: [6], 6: [7], 7: []}), Lat(num = 226, uc = {0: [1, 2], 1: [5], 2: [3], 3: [4], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 227, uc = {0: [1, 2, 3], 1: [4], 2: [4], 3: [4], 4: [5, 6], 5: [7], 6: [7], 7: []}), Lat(num = 228, uc = {0: [1, 2, 3], 1: [4], 2: [4], 3: [4], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 229, uc = {0: [1, 2], 1: [4, 5], 2: [3, 5], 3: [7], 4: [7], 5: [6], 6: [7], 7: []}), Lat(num = 230, uc = {0: [1, 2], 1: [4, 5], 2: [3, 5], 3: [7], 4: [6], 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 = 232, uc = {0: [1, 2], 1: [4, 5], 2: [3, 5], 3: [6], 4: [6], 5: [6], 6: [7], 7: []}), Lat(num = 233, uc = {0: [1, 2], 1: [4], 2: [3, 5], 3: [6], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 234, uc = {0: [1, 2], 1: [4], 2: [3], 3: [5], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 235, uc = {0: [1, 2], 1: [4], 2: [3, 4], 3: [7], 4: [5, 6], 5: [7], 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 = 238, uc = {0: [1, 2], 1: [4], 2: [3, 4], 3: [6], 4: [5], 5: [6], 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 = 240, uc = {0: [1, 2], 1: [4], 2: [3], 3: [4], 4: [5, 6], 5: [7], 6: [7], 7: []}), Lat(num = 241, uc = {0: [1, 2], 1: [4], 2: [3], 3: [4], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 242, uc = {0: [1, 2], 1: [3], 2: [3], 3: [4, 5, 6], 4: [7], 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 = 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 = 247, uc = {0: [1], 1: [2, 3, 4, 5, 6], 2: [7], 3: [7], 4: [7], 5: [7], 6: [7], 7: []}), Lat(num = 248, uc = {0: [1], 1: [2, 3, 4, 5], 2: [7], 3: [7], 4: [7], 5: [6], 6: [7], 7: []}), Lat(num = 249, uc = {0: [1], 1: [2, 3, 4, 5], 2: [7], 3: [7], 4: [6], 5: [6], 6: [7], 7: []}), Lat(num = 250, uc = {0: [1], 1: [2, 3, 4], 2: [7], 3: [7], 4: [5, 6], 5: [7], 6: [7], 7: []}), Lat(num = 251, uc = {0: [1], 1: [2, 3, 4], 2: [7], 3: [7], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 252, uc = {0: [1], 1: [2, 3, 4, 5], 2: [7], 3: [6], 4: [6], 5: [6], 6: [7], 7: []}), Lat(num = 253, uc = {0: [1], 1: [2, 3, 4], 2: [7], 3: [6], 4: [5], 5: [7], 6: [7], 7: []}), Lat(num = 254, uc = {0: [1], 1: [2, 3, 4], 2: [7], 3: [6], 4: [5, 6], 5: [7], 6: [7], 7: []}), Lat(num = 255, uc = {0: [1], 1: [2, 3, 4], 2: [7], 3: [6], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 256, uc = {0: [1], 1: [2, 3, 4], 2: [7], 3: [5], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 257, uc = {0: [1], 1: [2, 3], 2: [7], 3: [4, 5, 6], 4: [7], 5: [7], 6: [7], 7: []}), Lat(num = 258, uc = {0: [1], 1: [2, 3], 2: [7], 3: [4, 5], 4: [7], 5: [6], 6: [7], 7: []}), Lat(num = 259, uc = {0: [1], 1: [2, 3], 2: [7], 3: [4, 5], 4: [6], 5: [6], 6: [7], 7: []}), Lat(num = 260, uc = {0: [1], 1: [2, 3], 2: [7], 3: [4], 4: [5, 6], 5: [7], 6: [7], 7: []}), Lat(num = 261, uc = {0: [1], 1: [2, 3], 2: [7], 3: [4], 4: [5], 5: [6], 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 = 263, uc = {0: [1], 1: [2, 3, 4], 2: [6], 3: [6], 4: [5], 5: [7], 6: [7], 7: []}), Lat(num = 264, uc = {0: [1], 1: [2, 3, 4], 2: [6], 3: [6], 4: [5, 6], 5: [7], 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 = 266, uc = {0: [1], 1: [2, 3, 4], 2: [6], 3: [5], 4: [5, 6], 5: [7], 6: [7], 7: []}), Lat(num = 267, uc = {0: [1], 1: [2, 3, 4], 2: [6], 3: [5], 4: [5], 5: [6], 6: [7], 7: []}), Lat(num = 268, uc = {0: [1], 1: [2, 3], 2: [6], 3: [4, 5], 4: [7], 5: [7], 6: [7], 7: []}), Lat(num = 269, uc = {0: [1], 1: [2, 3], 2: [6], 3: [4], 4: [5], 5: [7], 6: [7], 7: []}), Lat(num = 270, uc = {0: [1], 1: [2, 3], 2: [6], 3: [4, 5, 6], 4: [7], 5: [7], 6: [7], 7: []}), Lat(num = 271, uc = {0: [1], 1: [2, 3], 2: [6], 3: [4, 5], 4: [7], 5: [6], 6: [7], 7: []}), Lat(num = 272, uc = {0: [1], 1: [2, 3], 2: [6], 3: [4, 5], 4: [6], 5: [6], 6: [7], 7: []}), Lat(num = 273, uc = {0: [1], 1: [2, 3], 2: [6], 3: [4, 6], 4: [5], 5: [7], 6: [7], 7: []}), Lat(num = 274, uc = {0: [1], 1: [2, 3], 2: [6], 3: [4], 4: [5, 6], 5: [7], 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 = 277, uc = {0: [1], 1: [2, 3], 2: [5, 6], 3: [4, 6], 4: [7], 5: [7], 6: [7], 7: []}), Lat(num = 278, uc = {0: [1], 1: [2, 3], 2: [5], 3: [4, 6], 4: [7], 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 = 280, uc = {0: [1], 1: [2, 3], 2: [5], 3: [4, 5], 4: [7], 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 = 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 = 285, uc = {0: [1], 1: [2], 2: [3, 4, 5, 6], 3: [7], 4: [7], 5: [7], 6: [7], 7: []}), Lat(num = 286, uc = {0: [1], 1: [2], 2: [3, 4, 5], 3: [7], 4: [7], 5: [6], 6: [7], 7: []}), Lat(num = 287, uc = {0: [1], 1: [2], 2: [3, 4, 5], 3: [7], 4: [6], 5: [6], 6: [7], 7: []}), Lat(num = 288, uc = {0: [1], 1: [2], 2: [3, 4], 3: [7], 4: [5, 6], 5: [7], 6: [7], 7: []}), Lat(num = 289, uc = {0: [1], 1: [2], 2: [3, 4], 3: [7], 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 = 291, uc = {0: [1], 1: [2], 2: [3, 4], 3: [6], 4: [5], 5: [7], 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 = 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 = 295, uc = {0: [1], 1: [2], 2: [3], 3: [4, 5, 6], 4: [7], 5: [7], 6: [7], 7: []}), Lat(num = 296, uc = {0: [1], 1: [2], 2: [3], 3: [4, 5], 4: [7], 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: []})] # Computed by Peter Jipsen with SAGE Version 2.1.4 on 2007-04-06 # This file can be used in Python with execfile("filename")