/* Defining polynomial */ x^2 + 178 /* Minimal vectors */ [ <-8*w + 28, 6*w + 77>, <4*w + 48, w - 71>, <2*w + 63, 3*w - 56>, <-4*w + 76, 7*w + 6>, <-7*w + 6, 4*w + 76>, <3*w + 56, 2*w - 63>, , <-6*w + 77, 8*w + 28>, <10*w + 5, -5*w - 116>, <47, 3*w - 25>, <10*w + 52, -2*w - 141>, <-4*w + 155, 12*w - 37>, <6*w + 3, -3*w - 70>, <-6*w + 44, 6*w + 45>, <-3*w + 147, 11*w - 44>, <3*w + 25, -47>, <12*w + 37, -4*w - 155>, <-5*w + 116, 10*w - 5>, <-2*w + 141, 10*w - 52>, <-5*w + 6, 3*w + 53>, <-3*w + 70, 6*w - 3>, <95, 6*w - 50>, <11*w + 44, -3*w - 147>, <-6*w + 45, 6*w + 44>, <31*w + 131, -7*w - 424>, <-w + 177, 12*w - 77>, <-41*w + 300, 40*w + 324>, <-10*w + 431, 33*w - 100>, <-18*w + 354, 32*w + 31>, <21*w + 562, 26*w - 524>, <40*w + 31, -18*w - 478>, <-32*w + 46, 19*w + 347>, <22*w + 385, 14*w - 447>, <-21*w + 38, 13*w + 224>, <6*w + 77, 2*w - 108>, <11*w + 131, 3*w - 193>, <-10*w + 169, 16*w + 31>, <12*w + 108, w - 193>, , <-16*w + 92, 14*w + 139>, <-17*w + 115, 16*w + 139>, <-5*w + 223, 17*w - 54>, <-3*w + 8, 2*w + 27>, , <6*w + 53, -89>, , <-2*w + 17, 2*w + 12>, <-2*w + 103, 7*w - 32>, <3*w + 9, -w - 36>, <4*w + 18, -w - 51>, <3*w + 8, -w - 35>, <-w + 9, w + 6>, <-6*w + 53, 6*w + 36>, <-w + 95, 6*w - 36>, <2*w + 17, -29>, <2*w + 103, 5*w - 71>, <-3*w + 9, 2*w + 27>, <-4*w + 18, 3*w + 33>, <4*w + 17, -w - 51>, <5*w + 42, -74>, <-6*w + 67, 7*w + 30>, <-2*w + 84, 6*w - 21>, , <19, w - 9>, , <-w + 29, 2*w - 5>, <3*w + 9, -w - 32>, <-w + 10, w + 4>, <-w + 9, w + 5>, <19, w - 10>, <-w + 28, 2*w - 5>, , <-3*w + 9, 2*w + 23>, , <-2*w + 19, 2*w + 9>, <2*w + 19, -28>, <4*w + 3, -2*w - 45>, , <33, 2*w - 18>, <-w + 40, 3*w - 11>, <3*w + 43, w - 56>, <2*w + 2, -w - 24>, <16, w - 9>, <-w + 54, 4*w - 19>, , <-3*w + 6, 2*w + 31>, <2*w + 17, -32>, <-4*w + 44, 5*w + 22>, <-7*w + 50, 7*w + 53>, <-2*w + 14, 2*w + 15>, <2*w + 49, 2*w - 50>, <63, 4*w - 35>, <-5*w + 22, 4*w + 44>, <-2*w + 31, 3*w + 6>, <32, 2*w - 17>, <-7*w + 53, 7*w + 50>, <4*w + 19, -w - 54>, <-w + 24, 2*w - 2>, <-2*w + 15, 2*w + 14>, <4*w + 35, -63>, <2*w + 50, 2*w - 49>, <4*w + 17, -w - 54>, <-w + 39, 3*w - 9>, <3*w + 9, -w - 39>, <-5*w + 6, 3*w + 54>, <-2*w + 15, 2*w + 15>, , <-8*w + 75, 9*w + 52>, <-5*w + 84, 8*w + 13>, <-7*w + 5, 4*w + 77>, , , <-6*w + 107, 10*w + 12>, <-8*w + 13, 5*w + 84>, <-9*w + 52, 8*w + 75>, <8*w + 81, w - 133>, <-3*w + 54, 5*w + 6>, <-10*w + 12, 6*w + 107>, <6*w + 65, w - 102>, <-4*w + 77, 7*w + 5>, <-w + 54, 4*w - 17>, <11*w + 28, -4*w - 140>, <4*w + 33, -63>, <5*w + 135, 6*w - 128>, <18*w + 9, -9*w - 208>, <-w + 102, 7*w - 43>, , <-9*w + 161, 15*w + 16>, <-15*w + 16, 9*w + 161>, <7*w + 43, -w - 102>, <6*w + 66, w - 103>, <-9*w + 208, 18*w - 9>, <-8*w + 59, 8*w + 59>, <8*w + 67, -126>, <-25*w + 153, 23*w + 201>, <9*w + 170, 6*w - 192>, <331, 21*w - 176>, <6*w + 192, 9*w - 170>, <126, 8*w - 67>, <21*w + 176, -331>, <-23*w + 201, 25*w + 153>, <5*w + 26, -w - 72>, <-w + 38, 3*w - 9>, <-2*w + 45, 4*w - 1>, <-w + 53, 4*w - 17>, <3*w + 56, 2*w - 64>, <-3*w + 53, 5*w + 6>, <4*w + 1, -2*w - 45>, <3*w + 9, -w - 38>, <4*w + 17, -w - 53>, <-w + 72, 5*w - 26>, <2*w + 1, -w - 23>, <-8*w + 91, 10*w + 42>, <5*w + 105, 4*w - 112>, <-7*w + 5, 4*w + 76>, <2*w + 64, 3*w - 56>, <25*w + 269, 5*w - 424>, <-25*w + 269, 30*w + 155>, <6*w + 415, 24*w - 277>, <-6*w + 415, 30*w - 138>, <-12*w, 6*w + 139>, <8*w + 77, w - 131>, <-9*w + 100, 11*w + 54>, <4*w + 585, 36*w - 339>, <-w + 23, 2*w>, <7*w + 54, -108>, <9*w + 331, 17*w - 270>, <-7*w + 25, 5*w + 68>, <-9*w + 41, 7*w + 83>, <2*w + 93, 5*w - 68>, <-5*w + 118, 10*w>, <2*w + 124, 7*w - 83>, <-8*w + 4, 4*w + 81>, , <-4*w + 88, 7*w>, <-3*w + 96, 7*w - 14>, <17, w - 8>, <-2*w + 104, 7*w - 28>, <-2*w + 51, 4*w - 5>, <4*w + 52, w - 68>, <2*w + 51, 2*w - 46>, <6*w + 17, -2*w - 72>, <-w + 25, 2*w - 2>, <8*w + 4, -4*w - 85>, <-w + 8, w + 6>, <4*w + 88, 3*w - 88>, <3*w + 96, 4*w - 82>, <17, w - 9>, <-4*w + 101, 8*w - 12>, <2*w + 104, 5*w - 76>, <1, -1>, <-w + 8, w + 5>, , <18, w - 10>, <-w + 5, w + 8>, , <16, w - 10>, <-w + 7, w + 7>, , <17, w - 10>, <11*w + 3, -6*w - 123>, <5*w + 110, 4*w - 117>, <4*w + 117, 5*w - 110>, <-6*w + 123, 11*w - 3>, <-6*w + 107, 10*w + 6>, <-5*w + 116, 10*w - 10>, <5*w + 126, 5*w - 126>, <-11*w + 223, 20*w - 4>, <10*w + 10, -5*w - 116>, <-4*w + 125, 10*w - 26>, <5*w + 142, 6*w - 135>, <10*w + 26, -4*w - 125>, <6*w + 135, 5*w - 142>, <20*w + 4, -11*w - 223>, <-10*w + 6, 6*w + 107>, <2*w + 1, -w - 22>, <-w + 58, 4*w - 20>, , <2*w + 18, -31>, <3*w + 60, 2*w - 64>, <-2*w + 15, 2*w + 13>, , <2*w + 35, w - 41>, <-2*w + 48, 4*w - 5>, <-2*w + 30, 3*w + 6>, <2*w + 17, -31>, <2*w + 49, 2*w - 48>, <6*w + 3, -3*w - 68>, <-3*w + 6, 2*w + 30>, <16, w - 8>, <2*w + 32, w - 39>, <2*w + 48, 2*w - 47>, <-w + 71, 5*w - 25>, <-3*w + 7, 2*w + 30>, <5*w + 57, w - 86>, <-4*w + 46, 5*w + 21>, <-6*w + 93, 9*w + 19>, <63, 4*w - 33>, , <-12*w + 11, 7*w + 131>, <-2*w + 93, 7*w - 26>, <7*w + 26, -2*w - 93>, <-7*w + 131, 12*w + 11>, , <5*w + 25, -w - 71>, <2*w + 47, 2*w - 48>, <-2*w + 30, 3*w + 7>, , <-9*w + 19, 6*w + 93>, <-5*w + 21, 4*w + 46>, <3*w + 104, 5*w - 89>, <-w + 23, 2*w - 1>, <5*w + 89, 3*w - 104>, <-w + 7, w + 8>, <-5*w + 5, 3*w + 55>, <3*w + 25, -48>, <48, 3*w - 25>, <-3*w + 55, 5*w + 5>, <-w + 8, w + 7>, <-7*w + 53, 7*w + 51>, <7*w + 58, -109>, <6*w + 123, 5*w - 131>, <-6*w + 123, 11*w + 8>, <13*w + 85, -w - 193>, <3*w + 23, -46>, , <-6*w + 139, 12*w>, <-2*w, w + 23>, <-4*w + 16, 3*w + 38>, <-15*w + 25, 9*w + 160>, <-3*w + 70, 6*w>, <124, 8*w - 61>, , <-8*w + 63, 8*w + 61>, <6*w + 185, 9*w - 160>, <-w + 8, w + 8>, <-5*w + 25, 4*w + 46>, <-w + 39, 3*w - 7>, <46, 3*w - 22>, <2*w + 15, -30>, <31, 2*w - 15>, <2*w + 46, 2*w - 45>, <-4*w + 48, 5*w + 23>, <-w + 70, 5*w - 22>, <4*w + 108, 5*w - 98>, <-9*w + 10, 5*w + 98>, <-2*w + 16, 2*w + 15>, <-4*w + 1, 2*w + 45>, <-w + 71, 5*w - 23>, <-2*w + 32, 3*w + 7>, <-4*w + 48, 5*w + 22>, <-3*w + 24, 3*w + 22>, , <-2*w, w + 21>, , <-w + 59, 4*w - 19>, <-w + 42, 3*w - 11>, <2*w + 17, -30>, <3*w + 25, -45>, <4*w + 35, -60>, <1, 0>, <-w + 10, w + 5>, <-w + 26, 2*w - 3>, <2*w + 87, 4*w - 65>, , <52, 3*w - 26>, <-2*w + 87, 6*w - 22>, <4*w + 18, -w - 48>, <18, w - 9>, <-2*w + 55, 4*w - 8>, <-4*w + 18, 3*w + 30>, <2*w + 55, 2*w - 47>, , <-w + 11, w + 3>, , <2*w + 2, -w - 22>, <-w + 6, w + 8>, <-w + 22, 2*w - 2>, , , <-2*w + 13, 2*w + 16>, <2*w + 17, -33>, <-w + 22, 2*w - 1>, , <4*w + 20, -w - 58>, <-2*w + 16, 2*w + 13>, <33, 2*w - 17>, <31, 2*w - 17>, <8*w + 20, -3*w - 101>, <-3*w + 101, 8*w - 20>, <7*w + 100, 3*w - 131>, <15*w + 177, 4*w - 262>, <-2*w + 47, 4*w>, <9*w + 68, -136>, <-9*w + 72, 9*w + 68>, <140, 9*w - 68>, , <-5*w + 42, 5*w + 32>, <-2*w, w + 20>, <3*w + 10, -w - 39>, <48, 3*w - 26>, <-4*w + 15, 3*w + 37>, <-3*w + 37, 4*w + 15>, <-7*w + 100, 10*w + 31>, <5*w + 38, -76>, , <-w + 39, 3*w - 10>, <-8*w + 77, 9*w + 54>, <9*w + 54, -w - 131>, <-2*w + 154, 11*w - 54>, <-9*w + 54, 8*w + 77>, <10*w + 77, -154>, <-10*w + 77, 10*w + 77>, , <-w + 131, 9*w - 54>, <154, 10*w - 77>, <0, 1> ] /* Voronoi top cells */ [ { 1, 2, 3, 4 }, { 5, 6, 7, 8 }, { 9, 10, 11, 12 }, { 10, 13, 14, 15 }, { 16, 17, 18, 19 }, { 16, 20, 21, 22 }, { 16, 21, 23, 24 }, { 25, 26, 27, 28 }, { 25, 28, 29, 30 }, { 29, 31, 32, 33 }, { 34, 35, 36, 37 }, { 36, 37, 38, 39 }, { 38, 40, 41, 42 }, { 43, 44, 45, 46 }, { 43, 45, 47, 48 }, { 43, 44, 49, 50 }, { 51, 52, 53, 54 }, { 51, 53, 55, 56 }, { 51, 52, 57, 58 }, { 59, 60, 61, 62 }, { 63, 64, 65, 66 }, { 64, 66, 67, 68 }, { 69, 70, 71, 72 }, { 70, 72, 73, 74 }, { 69, 71, 72, 75 }, { 63, 65, 66, 76 }, { 77, 78, 79, 80, 81 }, { 82, 83, 84, 85 }, { 86, 87, 88, 89 }, { 83, 90, 91, 92 }, { 93, 94, 95, 96 }, { 78, 81, 97, 98 }, { 78, 99, 100, 101 }, { 5, 6, 102, 103 }, { 2, 3, 4, 104 }, { 104, 105, 106, 107 }, { 104, 107, 108, 109 }, { 110, 111, 112, 113 }, { 5, 6, 7, 103 }, { 103, 114, 115, 116 }, { 103, 106, 116, 117 }, { 111, 118, 119, 120 }, { 3, 4, 104, 121 }, { 104, 113, 122, 123 }, { 111, 113, 123, 124 }, { 125, 126, 127, 128 }, { 129, 130, 131, 132 }, { 133, 134, 135, 136, 137 }, { 127, 128, 133, 136 }, { 129, 131, 133, 138 }, { 133, 138, 139, 140, 141 }, { 142, 143, 144, 145 }, { 9, 10, 11, 111 }, { 10, 13, 14, 146 }, { 10, 13, 146, 147 }, { 148, 149, 150, 151 }, { 16, 18, 152, 153, 154 }, { 16, 18, 19, 111 }, { 16, 20, 22, 152, 155 }, { 16, 20, 21, 156 }, { 16, 21, 24, 156 }, { 157, 158, 159, 160, 161 }, { 26, 27, 28, 162 }, { 25, 26, 28, 29 }, { 26, 32, 163, 164 }, { 29, 32, 33, 163 }, { 25, 26, 29, 32 }, { 34, 35, 36, 165 }, { 35, 36, 37, 38 }, { 35, 40, 166, 167 }, { 38, 40, 42, 166 }, { 35, 37, 38, 40 }, { 168, 169, 170, 171, 172 }, { 173, 174, 175, 176 }, { 174, 176, 177, 178 }, { 43, 44, 45, 47 }, { 43, 47, 179, 180 }, { 43, 44, 49, 179 }, { 51, 52, 53, 55 }, { 51, 52, 57, 181 }, { 59, 60, 62, 182, 183 }, { 184, 185, 186, 187 }, { 184, 187, 188, 189 }, { 185, 187, 188, 190 }, { 63, 64, 66, 68 }, { 69, 70, 72, 74 }, { 69, 72, 74, 75 }, { 63, 66, 68, 76 }, { 191, 192, 193, 194 }, { 191, 195, 196, 197 }, { 191, 198, 199, 200 }, { 198, 201, 202, 203, 204 }, { 205, 206, 207, 208 }, { 83, 209, 210, 211 }, { 78, 206, 212, 213 }, { 207, 209, 214, 215 }, { 78, 79, 81, 98 }, { 188, 216, 217, 218 }, { 216, 218, 219, 220 }, { 78, 79, 221, 222, 223, 224 }, { 82, 83, 84, 90 }, { 86, 87, 88, 143 }, { 83, 90, 92, 225 }, { 93, 94, 95, 149 }, { 95, 149, 226, 227 }, { 78, 97, 98, 99 }, { 95, 99, 226, 228 }, { 78, 99, 100, 229 }, { 230, 231, 232, 233 }, { 5, 102, 103, 231 }, { 102, 103, 234, 235 }, { 234, 235, 236, 237 }, { 103, 111, 118, 238 }, { 2, 104, 105, 106 }, { 2, 4, 104, 239 }, { 104, 106, 107, 109 }, { 104, 109, 240, 241 }, { 104, 111, 112, 113 }, { 110, 111, 112, 241 }, { 7, 103, 106, 117 }, { 5, 7, 103, 231 }, { 103, 106, 114, 116 }, { 103, 114, 242, 243 }, { 111, 119, 120, 242 }, { 103, 111, 118, 119 }, { 239, 244, 245, 246 }, { 4, 104, 121, 239 }, { 104, 111, 113, 123 }, { 104, 121, 247, 248 }, { 247, 248, 249, 250 }, { 126, 127, 128, 133 }, { 129, 130, 131, 133 }, { 111, 127, 152, 251 }, { 127, 133, 134, 136 }, { 111, 131, 252, 253 }, { 131, 133, 138, 139 }, { 143, 144, 145, 254 }, { 143, 144, 247, 255 }, { 86, 143, 247, 256 }, { 9, 10, 111, 252 }, { 10, 14, 111, 146 }, { 86, 147, 247, 252 }, { 10, 146, 147, 252 }, { 94, 149, 234, 257 }, { 148, 149, 234, 258 }, { 148, 149, 150, 259 }, { 20, 94, 152, 234 }, { 20, 156, 234, 260, 261 }, { 16, 18, 111, 152 }, { 16, 20, 152, 156 }, { 16, 24, 111, 156 }, { 156, 234, 236, 260 }, { 157, 158, 161, 262, 263 }, { 26, 28, 29, 162 }, { 26, 29, 32, 163 }, { 38, 165, 166, 264 }, { 35, 36, 38, 165 }, { 35, 38, 40, 166 }, { 265, 266, 267, 268 }, { 269, 270, 271, 272 }, { 271, 273, 274, 275 }, { 276, 277, 278, 279 }, { 280, 281, 282, 283 }, { 278, 281, 283, 284 }, { 168, 171, 281, 285 }, { 170, 171, 286, 287 }, { 168, 170, 171, 281, 287 }, { 280, 287, 288, 289 }, { 287, 289, 290, 291 }, { 230, 290, 292, 293 }, { 52, 173, 174, 175 }, { 173, 174, 176, 177 }, { 43, 44, 47, 179 }, { 44, 49, 179, 294 }, { 51, 52, 55, 181 }, { 52, 57, 181, 294 }, { 52, 57, 294, 295 }, { 60, 182, 183, 294, 296 }, { 44, 49, 294, 297 }, { 44, 184, 185, 186 }, { 184, 185, 187, 188 }, { 183, 259, 298, 299 }, { 44, 188, 297, 300 }, { 63, 174, 301, 302 }, { 44, 47, 303, 304 }, { 47, 55, 303, 305, 306 }, { 52, 55, 305, 307 }, { 63, 308, 309, 310 }, { 69, 309, 311, 312 }, { 63, 64, 68, 301 }, { 69, 70, 74, 191 }, { 63, 68, 69, 74, 75, 76 }, { 68, 74, 191, 301, 313, 314 }, { 69, 185, 191, 315 }, { 191, 193, 198, 200 }, { 185, 191, 193, 194 }, { 185, 193, 198, 316 }, { 185, 198, 222, 316 }, { 78, 198, 222, 223 }, { 191, 196, 197, 317 }, { 191, 197, 198, 199 }, { 197, 198, 317, 318 }, { 198, 317, 318, 319 }, { 83, 198, 319, 320 }, { 78, 198, 201, 205 }, { 78, 201, 205, 207 }, { 83, 198, 204, 215 }, { 198, 201, 204, 207 }, { 83, 204, 207, 215 }, { 78, 205, 206, 207 }, { 78, 83, 206, 209, 210, 212 }, { 83, 207, 209, 215 }, { 254, 321, 322, 323 }, { 321, 323, 324, 325 }, { 216, 259, 326, 327 }, { 188, 216, 217, 326 }, { 78, 79, 98, 216 }, { 188, 216, 218, 219 }, { 78, 79, 188, 219, 221, 222 }, { 82, 83, 90, 254 }, { 87, 90, 254, 328 }, { 87, 143, 254, 328 }, { 86, 87, 143, 252 }, { 83, 87, 90, 225 }, { 94, 95, 149, 152 }, { 95, 149, 226, 259 }, { 78, 98, 99, 259 }, { 95, 99, 226, 259 }, { 78, 95, 99, 229 }, { 230, 231, 232, 234 }, { 102, 103, 231, 234 }, { 103, 234, 235, 236 }, { 103, 111, 236, 238 }, { 2, 104, 106, 239 }, { 104, 106, 109, 241 }, { 104, 111, 112, 241 }, { 7, 103, 106, 231 }, { 103, 106, 114, 242 }, { 103, 111, 119, 242 }, { 239, 244, 246, 247 }, { 104, 121, 239, 247 }, { 104, 111, 123, 250 }, { 104, 247, 248, 250 }, { 126, 127, 133, 152 }, { 126, 130, 152, 252, 329, 330 }, { 130, 131, 133, 252 }, { 111, 127, 134, 152 }, { 127, 133, 134, 152 }, { 111, 131, 139, 252 }, { 131, 133, 139, 252 }, { 143, 144, 247, 254 }, { 86, 143, 247, 252 }, { 10, 111, 146, 252 }, { 146, 147, 247, 252 }, { 111, 146, 247, 250 }, { 94, 149, 152, 234 }, { 148, 149, 234, 259 }, { 20, 152, 156, 234 }, { 16, 111, 152, 156 }, { 111, 156, 234, 236 }, { 161, 165, 262, 263, 266 }, { 26, 162, 331, 332 }, { 35, 165, 262, 331 }, { 26, 29, 162, 163 }, { 35, 38, 165, 166 }, { 265, 266, 268, 271 }, { 269, 271, 272, 273, 274 }, { 281, 287, 333, 334, 335, 336 }, { 276, 278, 279, 281 }, { 278, 280, 281, 283 }, { 171, 281, 285, 286, 287 }, { 280, 287, 289, 290 }, { 230, 287, 290, 292 }, { 52, 173, 174, 177 }, { 44, 47, 179, 294 }, { 52, 55, 181, 294 }, { 52, 294, 295, 337 }, { 60, 183, 294, 337, 338 }, { 44, 183, 294, 297 }, { 44, 184, 185, 188 }, { 183, 188, 259, 298 }, { 44, 183, 188, 297 }, { 52, 63, 174, 301 }, { 303, 305, 309, 339 }, { 44, 47, 52, 55, 303, 305 }, { 63, 69, 309, 310, 312 }, { 63, 68, 69, 74, 191, 301 }, { 44, 69, 185, 191 }, { 185, 191, 193, 198 }, { 78, 185, 198, 222 }, { 191, 197, 198, 317 }, { 83, 198, 317, 319 }, { 78, 198, 201, 207 }, { 83, 198, 204, 207 }, { 78, 83, 206, 207, 209 }, { 83, 317, 319, 324 }, { 254, 321, 323, 324 }, { 82, 83, 254, 323 }, { 78, 185, 188, 222 }, { 78, 98, 216, 259 }, { 188, 216, 259, 326 }, { 78, 79, 188, 216, 219 }, { 83, 87, 90, 254 }, { 87, 143, 252, 254 }, { 83, 87, 225, 252 }, { 78, 152, 229, 340, 341 }, { 95, 149, 152, 259 }, { 78, 95, 152, 229 }, { 78, 95, 99, 259 }, { 230, 232, 234, 342 }, { 103, 230, 231, 234 }, { 103, 111, 234, 236 }, { 104, 106, 239, 244 }, { 104, 106, 111, 241 }, { 103, 106, 230, 231 }, { 103, 106, 111, 242 }, { 244, 246, 247, 343 }, { 104, 239, 244, 247 }, { 104, 111, 247, 250 }, { 126, 130, 133, 152, 252 }, { 111, 133, 134, 152 }, { 111, 133, 139, 252 }, { 143, 247, 252, 254 }, { 111, 146, 247, 252 }, { 149, 152, 234, 259 }, { 111, 152, 156, 234 }, { 165, 262, 263, 266, 331, 344 }, { 26, 35, 162, 165, 331 }, { 26, 35, 162, 163, 165, 166 }, { 266, 268, 269, 271, 273 }, { 269, 273, 281, 287, 333, 345 }, { 276, 278, 280, 281 }, { 280, 281, 285, 286, 287 }, { 230, 280, 287, 290 }, { 52, 174, 177, 301 }, { 52, 177, 337, 346 }, { 44, 47, 52, 55, 294 }, { 52, 294, 337, 346 }, { 183, 259, 294, 337, 346 }, { 44, 183, 259, 294 }, { 44, 185, 188, 191 }, { 44, 183, 188, 259 }, { 52, 63, 301, 309 }, { 44, 52, 303, 305, 309 }, { 63, 69, 191, 301, 309 }, { 44, 69, 191, 309 }, { 78, 185, 191, 198 }, { 83, 191, 198, 317 }, { 78, 83, 198, 207 }, { 83, 191, 317, 324 }, { 83, 254, 323, 324 }, { 78, 185, 188, 191 }, { 78, 188, 216, 259 }, { 83, 87, 252, 254 }, { 78, 83, 152, 252, 340, 347 }, { 78, 95, 152, 259 }, { 230, 234, 259, 342 }, { 103, 111, 230, 234 }, { 104, 106, 111, 244 }, { 103, 106, 111, 230 }, { 244, 247, 254, 343 }, { 104, 111, 244, 247 }, { 111, 133, 152, 252 }, { 111, 247, 252, 254 }, { 111, 152, 234, 259 }, { 162, 165, 266, 331, 344, 348 }, { 162, 163, 165, 166, 349, 350 }, { 266, 268, 269, 273, 281, 287 }, { 230, 276, 280, 281, 287 }, { 52, 177, 301, 346 }, { 44, 52, 259, 294, 346 }, { 44, 188, 191, 259 }, { 44, 52, 191, 301, 309 }, { 78, 83, 191, 198 }, { 83, 191, 254, 324 }, { 78, 188, 191, 259 }, { 78, 83, 152, 252, 254, 259 }, { 111, 230, 234, 259 }, { 106, 111, 230, 244 }, { 111, 244, 247, 254 }, { 111, 152, 252, 254, 259 }, { 162, 165, 266, 268, 348, 349, 351, 352, 353, 354, 355, 356 }, { 230, 266, 268, 276, 281, 287 }, { 44, 52, 191, 259, 301, 346 }, { 78, 83, 191, 254, 259 }, { 111, 230, 244, 254, 259 }, { 165, 230, 244, 266, 268, 276 }, { 191, 230, 259, 301, 346 }, { 191, 230, 244, 254, 259 }, { 191, 230, 244, 276, 301, 357 } ] /* Faces of top cells */ [ [ { 2, 3, 4 }, { 1, 3, 4 }, { 1, 2, 4 }, { 1, 2, 3 } ], [ { 6, 7, 8 }, { 5, 7, 8 }, { 5, 6, 8 }, { 5, 6, 7 } ], [ { 10, 11, 12 }, { 9, 11, 12 }, { 9, 10, 12 }, { 9, 10, 11 } ], [ { 10, 14, 15 }, { 10, 13, 15 }, { 13, 14, 15 }, { 10, 13, 14 } ], [ { 17, 18, 19 }, { 16, 18, 19 }, { 16, 17, 19 }, { 16, 17, 18 } ], [ { 16, 21, 22 }, { 20, 21, 22 }, { 16, 20, 22 }, { 16, 20, 21 } ], [ { 21, 23, 24 }, { 16, 21, 24 }, { 16, 21, 23 }, { 16, 23, 24 } ], [ { 26, 27, 28 }, { 25, 27, 28 }, { 25, 26, 28 }, { 25, 26, 27 } ], [ { 28, 29, 30 }, { 25, 28, 30 }, { 25, 29, 30 }, { 25, 28, 29 } ], [ { 29, 32, 33 }, { 29, 31, 33 }, { 31, 32, 33 }, { 29, 31, 32 } ], [ { 35, 36, 37 }, { 34, 36, 37 }, { 34, 35, 37 }, { 34, 35, 36 } ], [ { 36, 37, 39 }, { 37, 38, 39 }, { 36, 38, 39 }, { 36, 37, 38 } ], [ { 38, 41, 42 }, { 40, 41, 42 }, { 38, 40, 42 }, { 38, 40, 41 } ], [ { 44, 45, 46 }, { 43, 45, 46 }, { 43, 44, 46 }, { 43, 44, 45 } ], [ { 45, 47, 48 }, { 43, 45, 48 }, { 43, 47, 48 }, { 43, 45, 47 } ], [ { 44, 49, 50 }, { 43, 44, 50 }, { 43, 49, 50 }, { 43, 44, 49 } ], [ { 52, 53, 54 }, { 51, 53, 54 }, { 51, 52, 54 }, { 51, 52, 53 } ], [ { 53, 55, 56 }, { 51, 53, 56 }, { 51, 55, 56 }, { 51, 53, 55 } ], [ { 52, 57, 58 }, { 51, 57, 58 }, { 51, 52, 58 }, { 51, 52, 57 } ], [ { 60, 61, 62 }, { 59, 61, 62 }, { 59, 60, 62 }, { 59, 60, 61 } ], [ { 64, 65, 66 }, { 63, 65, 66 }, { 63, 64, 66 }, { 63, 64, 65 } ], [ { 64, 66, 68 }, { 64, 66, 67 }, { 66, 67, 68 }, { 64, 67, 68 } ], [ { 70, 71, 72 }, { 69, 71, 72 }, { 69, 70, 72 }, { 69, 70, 71 } ], [ { 70, 72, 74 }, { 70, 72, 73 }, { 72, 73, 74 }, { 70, 73, 74 } ], [ { 71, 72, 75 }, { 69, 71, 72 }, { 69, 72, 75 }, { 69, 71, 75 } ], [ { 65, 66, 76 }, { 63, 65, 66 }, { 63, 66, 76 }, { 63, 65, 76 } ], [ { 78, 79, 81 }, { 77, 79, 81 }, { 77, 78, 79, 80 }, { 78, 80, 81 }, { 77, 80, 81 } ], [ { 83, 84, 85 }, { 82, 84, 85 }, { 82, 83, 85 }, { 82, 83, 84 } ], [ { 87, 88, 89 }, { 86, 88, 89 }, { 86, 87, 89 }, { 86, 87, 88 } ], [ { 83, 91, 92 }, { 90, 91, 92 }, { 83, 90, 92 }, { 83, 90, 91 } ], [ { 94, 95, 96 }, { 93, 95, 96 }, { 93, 94, 96 }, { 93, 94, 95 } ], [ { 81, 97, 98 }, { 78, 81, 98 }, { 78, 81, 97 }, { 78, 97, 98 } ], [ { 99, 100, 101 }, { 78, 100, 101 }, { 78, 99, 101 }, { 78, 99, 100 } ], [ { 6, 102, 103 }, { 5, 6, 103 }, { 5, 6, 102 }, { 5, 102, 103 } ], [ { 2, 3, 4 }, { 3, 4, 104 }, { 2, 4, 104 }, { 2, 3, 104 } ], [ { 104, 106, 107 }, { 105, 106, 107 }, { 104, 105, 107 }, { 104, 105, 106 } ], [ { 107, 108, 109 }, { 104, 107, 109 }, { 104, 107, 108 }, { 104, 108, 109 } ], [ { 111, 112, 113 }, { 110, 112, 113 }, { 110, 111, 113 }, { 110, 111, 112 } ], [ { 6, 7, 103 }, { 5, 6, 7 }, { 5, 7, 103 }, { 5, 6, 103 } ], [ { 103, 115, 116 }, { 114, 115, 116 }, { 103, 114, 116 }, { 103, 114, 115 } ], [ { 103, 116, 117 }, { 106, 116, 117 }, { 103, 106, 116 }, { 103, 106, 117 } ], [ { 111, 119, 120 }, { 118, 119, 120 }, { 111, 118, 120 }, { 111, 118, 119 } ], [ { 3, 4, 121 }, { 3, 4, 104 }, { 4, 104, 121 }, { 3, 104, 121 } ], [ { 113, 122, 123 }, { 104, 113, 123 }, { 104, 113, 122 }, { 104, 122, 123 } ], [ { 113, 123, 124 }, { 111, 113, 124 }, { 111, 123, 124 }, { 111, 113, 123 } ], [ { 126, 127, 128 }, { 125, 127, 128 }, { 125, 126, 128 }, { 125, 126, 127 } ], [ { 130, 131, 132 }, { 129, 131, 132 }, { 129, 130, 132 }, { 129, 130, 131 } ], [ { 134, 135, 136 }, { 133, 134, 136 }, { 133, 134, 135 }, { 133, 136, 137 }, { 135, 136, 137 }, { 133, 135, 137 } ], [ { 127, 128, 136 }, { 128, 133, 136 }, { 127, 133, 136 }, { 127, 128, 133 } ], [ { 131, 133, 138 }, { 129, 131, 138 }, { 129, 133, 138 }, { 129, 131, 133 } ], [ { 133, 138, 140 }, { 133, 138, 139 }, { 138, 139, 141 }, { 133, 140, 141 }, { 133, 139, 141 }, { 138, 140, 141 } ], [ { 143, 144, 145 }, { 142, 144, 145 }, { 142, 143, 145 }, { 142, 143, 144 } ], [ { 10, 11, 111 }, { 9, 10, 11 }, { 9, 11, 111 }, { 9, 10, 111 } ], [ { 10, 14, 146 }, { 10, 13, 146 }, { 13, 14, 146 }, { 10, 13, 14 } ], [ { 10, 146, 147 }, { 13, 146, 147 }, { 10, 13, 146 }, { 10, 13, 147 } ], [ { 149, 150, 151 }, { 148, 150, 151 }, { 148, 149, 151 }, { 148, 149, 150 } ], [ { 16, 18, 153 }, { 16, 18, 152 }, { 16, 152, 153, 154 }, { 18, 152, 154 }, { 18, 153, 154 } ], [ { 16, 18, 19 }, { 18, 19, 111 }, { 16, 19, 111 }, { 16, 18, 111 } ], [ { 16, 20, 152 }, { 16, 22, 152, 155 }, { 20, 152, 155 }, { 20, 22, 155 }, { 16, 20, 22 } ], [ { 16, 21, 156 }, { 20, 21, 156 }, { 16, 20, 21 }, { 16, 20, 156 } ], [ { 21, 24, 156 }, { 16, 21, 156 }, { 16, 21, 24 }, { 16, 24, 156 } ], [ { 157, 159, 161 }, { 157, 158, 161 }, { 157, 158, 159, 160 }, { 159, 160, 161 }, { 158, 160, 161 } ], [ { 26, 27, 28 }, { 27, 28, 162 }, { 26, 28, 162 }, { 26, 27, 162 } ], [ { 26, 28, 29 }, { 25, 28, 29 }, { 25, 26, 28 }, { 25, 26, 29 } ], [ { 26, 163, 164 }, { 26, 32, 164 }, { 32, 163, 164 }, { 26, 32, 163 } ], [ { 29, 33, 163 }, { 29, 32, 33 }, { 32, 33, 163 }, { 29, 32, 163 } ], [ { 25, 26, 29 }, { 26, 29, 32 }, { 25, 29, 32 }, { 25, 26, 32 } ], [ { 34, 35, 36 }, { 35, 36, 165 }, { 34, 36, 165 }, { 34, 35, 165 } ], [ { 36, 37, 38 }, { 35, 36, 37 }, { 35, 37, 38 }, { 35, 36, 38 } ], [ { 35, 40, 167 }, { 40, 166, 167 }, { 35, 166, 167 }, { 35, 40, 166 } ], [ { 38, 40, 42 }, { 38, 42, 166 }, { 40, 42, 166 }, { 38, 40, 166 } ], [ { 37, 38, 40 }, { 35, 37, 38 }, { 35, 37, 40 }, { 35, 38, 40 } ], [ { 169, 170, 171 }, { 168, 170, 171 }, { 168, 169, 170, 172 }, { 169, 171, 172 }, { 168, 171, 172 } ], [ { 174, 175, 176 }, { 173, 175, 176 }, { 173, 174, 176 }, { 173, 174, 175 } ], [ { 176, 177, 178 }, { 174, 176, 178 }, { 174, 177, 178 }, { 174, 176, 177 } ], [ { 44, 45, 47 }, { 43, 45, 47 }, { 43, 44, 45 }, { 43, 44, 47 } ], [ { 47, 179, 180 }, { 43, 179, 180 }, { 43, 47, 180 }, { 43, 47, 179 } ], [ { 44, 49, 179 }, { 43, 44, 179 }, { 43, 49, 179 }, { 43, 44, 49 } ], [ { 52, 53, 55 }, { 51, 53, 55 }, { 51, 52, 53 }, { 51, 52, 55 } ], [ { 52, 57, 181 }, { 51, 57, 181 }, { 51, 52, 181 }, { 51, 52, 57 } ], [ { 59, 60, 183 }, { 60, 182, 183 }, { 59, 62, 182, 183 }, { 60, 62, 182 }, { 59, 60, 62 } ], [ { 185, 186, 187 }, { 184, 186, 187 }, { 184, 185, 187 }, { 184, 185, 186 } ], [ { 187, 188, 189 }, { 184, 187, 189 }, { 184, 188, 189 }, { 184, 187, 188 } ], [ { 187, 188, 190 }, { 185, 187, 190 }, { 185, 188, 190 }, { 185, 187, 188 } ], [ { 64, 66, 68 }, { 63, 64, 66 }, { 63, 66, 68 }, { 63, 64, 68 } ], [ { 70, 72, 74 }, { 69, 70, 72 }, { 69, 72, 74 }, { 69, 70, 74 } ], [ { 72, 74, 75 }, { 69, 72, 75 }, { 69, 72, 74 }, { 69, 74, 75 } ], [ { 66, 68, 76 }, { 63, 66, 76 }, { 63, 66, 68 }, { 63, 68, 76 } ], [ { 192, 193, 194 }, { 191, 193, 194 }, { 191, 192, 194 }, { 191, 192, 193 } ], [ { 195, 196, 197 }, { 191, 196, 197 }, { 191, 195, 197 }, { 191, 195, 196 } ], [ { 198, 199, 200 }, { 191, 199, 200 }, { 191, 198, 200 }, { 191, 198, 199 } ], [ { 198, 202, 203 }, { 201, 202, 203, 204 }, { 198, 201, 202 }, { 198, 203, 204 }, { 198, 201, 204 } ], [ { 206, 207, 208 }, { 205, 207, 208 }, { 205, 206, 208 }, { 205, 206, 207 } ], [ { 83, 210, 211 }, { 209, 210, 211 }, { 83, 209, 211 }, { 83, 209, 210 } ], [ { 206, 212, 213 }, { 78, 206, 213 }, { 78, 212, 213 }, { 78, 206, 212 } ], [ { 207, 209, 215 }, { 207, 209, 214 }, { 207, 214, 215 }, { 209, 214, 215 } ], [ { 79, 81, 98 }, { 78, 79, 81 }, { 78, 81, 98 }, { 78, 79, 98 } ], [ { 188, 217, 218 }, { 216, 217, 218 }, { 188, 216, 218 }, { 188, 216, 217 } ], [ { 218, 219, 220 }, { 216, 218, 220 }, { 216, 219, 220 }, { 216, 218, 219 } ], [ { 221, 222, 223, 224 }, { 78, 222, 223 }, { 78, 79, 221, 222 }, { 78, 79, 223, 224 }, { 79, 221, 224 } ], [ { 83, 84, 90 }, { 82, 83, 84 }, { 82, 84, 90 }, { 82, 83, 90 } ], [ { 87, 88, 143 }, { 86, 88, 143 }, { 86, 87, 88 }, { 86, 87, 143 } ], [ { 83, 92, 225 }, { 90, 92, 225 }, { 83, 90, 92 }, { 83, 90, 225 } ], [ { 93, 94, 95 }, { 94, 95, 149 }, { 93, 95, 149 }, { 93, 94, 149 } ], [ { 95, 226, 227 }, { 95, 149, 227 }, { 149, 226, 227 }, { 95, 149, 226 } ], [ { 97, 98, 99 }, { 78, 97, 98 }, { 78, 98, 99 }, { 78, 97, 99 } ], [ { 95, 99, 226 }, { 95, 226, 228 }, { 95, 99, 228 }, { 99, 226, 228 } ], [ { 78, 99, 100 }, { 99, 100, 229 }, { 78, 100, 229 }, { 78, 99, 229 } ], [ { 231, 232, 233 }, { 230, 232, 233 }, { 230, 231, 233 }, { 230, 231, 232 } ], [ { 102, 103, 231 }, { 5, 103, 231 }, { 5, 102, 103 }, { 5, 102, 231 } ], [ { 102, 103, 235 }, { 103, 234, 235 }, { 102, 234, 235 }, { 102, 103, 234 } ], [ { 235, 236, 237 }, { 234, 235, 237 }, { 234, 236, 237 }, { 234, 235, 236 } ], [ { 103, 111, 238 }, { 103, 118, 238 }, { 111, 118, 238 }, { 103, 111, 118 } ], [ { 2, 104, 106 }, { 2, 105, 106 }, { 2, 104, 105 }, { 104, 105, 106 } ], [ { 2, 4, 239 }, { 2, 4, 104 }, { 4, 104, 239 }, { 2, 104, 239 } ], [ { 106, 107, 109 }, { 104, 107, 109 }, { 104, 106, 107 }, { 104, 106, 109 } ], [ { 109, 240, 241 }, { 104, 109, 241 }, { 104, 240, 241 }, { 104, 109, 240 } ], [ { 111, 112, 113 }, { 104, 112, 113 }, { 104, 111, 113 }, { 104, 111, 112 } ], [ { 111, 112, 241 }, { 110, 112, 241 }, { 110, 111, 112 }, { 110, 111, 241 } ], [ { 7, 103, 117 }, { 7, 106, 117 }, { 7, 103, 106 }, { 103, 106, 117 } ], [ { 7, 103, 231 }, { 5, 7, 103 }, { 5, 7, 231 }, { 5, 103, 231 } ], [ { 103, 106, 116 }, { 103, 114, 116 }, { 106, 114, 116 }, { 103, 106, 114 } ], [ { 103, 242, 243 }, { 103, 114, 243 }, { 114, 242, 243 }, { 103, 114, 242 } ], [ { 119, 120, 242 }, { 111, 119, 120 }, { 111, 120, 242 }, { 111, 119, 242 } ], [ { 103, 111, 119 }, { 103, 118, 119 }, { 111, 118, 119 }, { 103, 111, 118 } ], [ { 239, 245, 246 }, { 239, 244, 246 }, { 244, 245, 246 }, { 239, 244, 245 } ], [ { 4, 121, 239 }, { 4, 104, 121 }, { 4, 104, 239 }, { 104, 121, 239 } ], [ { 111, 113, 123 }, { 104, 113, 123 }, { 104, 111, 113 }, { 104, 111, 123 } ], [ { 121, 247, 248 }, { 104, 121, 248 }, { 104, 247, 248 }, { 104, 121, 247 } ], [ { 247, 248, 250 }, { 247, 248, 249 }, { 248, 249, 250 }, { 247, 249, 250 } ], [ { 126, 127, 128 }, { 127, 128, 133 }, { 126, 128, 133 }, { 126, 127, 133 } ], [ { 130, 131, 133 }, { 129, 131, 133 }, { 129, 130, 131 }, { 129, 130, 133 } ], [ { 111, 127, 251 }, { 127, 152, 251 }, { 111, 152, 251 }, { 111, 127, 152 } ], [ { 127, 134, 136 }, { 127, 133, 136 }, { 133, 134, 136 }, { 127, 133, 134 } ], [ { 111, 131, 253 }, { 131, 252, 253 }, { 111, 252, 253 }, { 111, 131, 252 } ], [ { 131, 138, 139 }, { 133, 138, 139 }, { 131, 133, 138 }, { 131, 133, 139 } ], [ { 143, 144, 145 }, { 144, 145, 254 }, { 143, 145, 254 }, { 143, 144, 254 } ], [ { 143, 144, 247 }, { 143, 144, 255 }, { 144, 247, 255 }, { 143, 247, 255 } ], [ { 143, 247, 256 }, { 86, 143, 247 }, { 86, 143, 256 }, { 86, 247, 256 } ], [ { 10, 111, 252 }, { 9, 10, 111 }, { 9, 10, 252 }, { 9, 111, 252 } ], [ { 10, 14, 146 }, { 10, 111, 146 }, { 14, 111, 146 }, { 10, 14, 111 } ], [ { 147, 247, 252 }, { 86, 147, 247 }, { 86, 147, 252 }, { 86, 247, 252 } ], [ { 10, 146, 147 }, { 146, 147, 252 }, { 10, 146, 252 }, { 10, 147, 252 } ], [ { 94, 149, 257 }, { 94, 234, 257 }, { 149, 234, 257 }, { 94, 149, 234 } ], [ { 149, 234, 258 }, { 148, 149, 258 }, { 148, 234, 258 }, { 148, 149, 234 } ], [ { 149, 150, 259 }, { 148, 149, 150 }, { 148, 150, 259 }, { 148, 149, 259 } ], [ { 20, 94, 234 }, { 94, 152, 234 }, { 20, 94, 152 }, { 20, 152, 234 } ], [ { 156, 234, 260 }, { 20, 156, 234 }, { 20, 234, 260, 261 }, { 156, 260, 261 }, { 20, 156, 261 } ], [ { 16, 18, 111 }, { 16, 18, 152 }, { 18, 111, 152 }, { 16, 111, 152 } ], [ { 16, 20, 156 }, { 16, 152, 156 }, { 20, 152, 156 }, { 16, 20, 152 } ], [ { 16, 24, 156 }, { 24, 111, 156 }, { 16, 111, 156 }, { 16, 24, 111 } ], [ { 156, 236, 260 }, { 156, 234, 260 }, { 156, 234, 236 }, { 234, 236, 260 } ], [ { 157, 161, 262 }, { 161, 262, 263 }, { 157, 158, 262, 263 }, { 157, 158, 161 }, { 158, 161, 263 } ], [ { 26, 28, 29 }, { 28, 29, 162 }, { 26, 28, 162 }, { 26, 29, 162 } ], [ { 26, 29, 163 }, { 26, 29, 32 }, { 29, 32, 163 }, { 26, 32, 163 } ], [ { 38, 166, 264 }, { 38, 165, 264 }, { 38, 165, 166 }, { 165, 166, 264 } ], [ { 35, 36, 38 }, { 36, 38, 165 }, { 35, 36, 165 }, { 35, 38, 165 } ], [ { 35, 38, 40 }, { 38, 40, 166 }, { 35, 38, 166 }, { 35, 40, 166 } ], [ { 266, 267, 268 }, { 265, 267, 268 }, { 265, 266, 268 }, { 265, 266, 267 } ], [ { 270, 271, 272 }, { 269, 271, 272 }, { 269, 270, 272 }, { 269, 270, 271 } ], [ { 271, 274, 275 }, { 271, 273, 275 }, { 273, 274, 275 }, { 271, 273, 274 } ], [ { 277, 278, 279 }, { 276, 278, 279 }, { 276, 277, 279 }, { 276, 277, 278 } ], [ { 281, 282, 283 }, { 280, 282, 283 }, { 280, 281, 283 }, { 280, 281, 282 } ], [ { 278, 283, 284 }, { 281, 283, 284 }, { 278, 281, 284 }, { 278, 281, 283 } ], [ { 171, 281, 285 }, { 168, 171, 285 }, { 168, 171, 281 }, { 168, 281, 285 } ], [ { 170, 171, 287 }, { 170, 171, 286 }, { 171, 286, 287 }, { 170, 286, 287 } ], [ { 168, 171, 281 }, { 171, 281, 287 }, { 168, 170, 281, 287 }, { 170, 171, 287 }, { 168, 170, 171 } ], [ { 280, 287, 289 }, { 287, 288, 289 }, { 280, 288, 289 }, { 280, 287, 288 } ], [ { 289, 290, 291 }, { 287, 289, 291 }, { 287, 289, 290 }, { 287, 290, 291 } ], [ { 290, 292, 293 }, { 230, 290, 293 }, { 230, 292, 293 }, { 230, 290, 292 } ], [ { 52, 174, 175 }, { 52, 173, 175 }, { 173, 174, 175 }, { 52, 173, 174 } ], [ { 174, 176, 177 }, { 173, 176, 177 }, { 173, 174, 176 }, { 173, 174, 177 } ], [ { 44, 47, 179 }, { 43, 47, 179 }, { 43, 44, 179 }, { 43, 44, 47 } ], [ { 44, 179, 294 }, { 49, 179, 294 }, { 44, 49, 294 }, { 44, 49, 179 } ], [ { 52, 55, 181 }, { 51, 55, 181 }, { 51, 52, 181 }, { 51, 52, 55 } ], [ { 57, 181, 294 }, { 52, 181, 294 }, { 52, 57, 294 }, { 52, 57, 181 } ], [ { 57, 294, 295 }, { 52, 294, 295 }, { 52, 57, 294 }, { 52, 57, 295 } ], [ { 60, 182, 296 }, { 182, 183, 294, 296 }, { 60, 182, 183 }, { 60, 294, 296 }, { 60, 183, 294 } ], [ { 44, 294, 297 }, { 49, 294, 297 }, { 44, 49, 294 }, { 44, 49, 297 } ], [ { 44, 185, 186 }, { 44, 184, 186 }, { 184, 185, 186 }, { 44, 184, 185 } ], [ { 185, 187, 188 }, { 184, 187, 188 }, { 184, 185, 187 }, { 184, 185, 188 } ], [ { 183, 298, 299 }, { 183, 259, 299 }, { 183, 259, 298 }, { 259, 298, 299 } ], [ { 188, 297, 300 }, { 44, 297, 300 }, { 44, 188, 297 }, { 44, 188, 300 } ], [ { 63, 174, 302 }, { 63, 301, 302 }, { 174, 301, 302 }, { 63, 174, 301 } ], [ { 47, 303, 304 }, { 44, 303, 304 }, { 44, 47, 304 }, { 44, 47, 303 } ], [ { 55, 305, 306 }, { 47, 55, 306 }, { 47, 55, 303, 305 }, { 303, 305, 306 }, { 47, 303, 306 } ], [ { 55, 305, 307 }, { 52, 305, 307 }, { 52, 55, 307 }, { 52, 55, 305 } ], [ { 308, 309, 310 }, { 63, 309, 310 }, { 63, 308, 310 }, { 63, 308, 309 } ], [ { 309, 311, 312 }, { 69, 311, 312 }, { 69, 309, 312 }, { 69, 309, 311 } ], [ { 63, 64, 68 }, { 64, 68, 301 }, { 63, 64, 301 }, { 63, 68, 301 } ], [ { 69, 70, 74 }, { 70, 74, 191 }, { 69, 70, 191 }, { 69, 74, 191 } ], [ { 63, 69, 75, 76 }, { 63, 68, 69, 74 }, { 68, 74, 75, 76 }, { 63, 68, 76 }, { 69, 74, 75 } ], [ { 74, 191, 313 }, { 191, 301, 313, 314 }, { 68, 74, 191, 301 }, { 68, 74, 313, 314 }, { 68, 301, 314 } ], [ { 69, 185, 315 }, { 69, 191, 315 }, { 185, 191, 315 }, { 69, 185, 191 } ], [ { 193, 198, 200 }, { 191, 193, 200 }, { 191, 198, 200 }, { 191, 193, 198 } ], [ { 185, 193, 194 }, { 191, 193, 194 }, { 185, 191, 194 }, { 185, 191, 193 } ], [ { 185, 193, 198 }, { 185, 193, 316 }, { 193, 198, 316 }, { 185, 198, 316 } ], [ { 185, 198, 222 }, { 185, 222, 316 }, { 198, 222, 316 }, { 185, 198, 316 } ], [ { 78, 222, 223 }, { 198, 222, 223 }, { 78, 198, 223 }, { 78, 198, 222 } ], [ { 196, 197, 317 }, { 191, 196, 197 }, { 191, 197, 317 }, { 191, 196, 317 } ], [ { 197, 198, 199 }, { 191, 197, 199 }, { 191, 197, 198 }, { 191, 198, 199 } ], [ { 197, 198, 318 }, { 197, 317, 318 }, { 198, 317, 318 }, { 197, 198, 317 } ], [ { 198, 318, 319 }, { 317, 318, 319 }, { 198, 317, 319 }, { 198, 317, 318 } ], [ { 83, 319, 320 }, { 198, 319, 320 }, { 83, 198, 320 }, { 83, 198, 319 } ], [ { 78, 198, 205 }, { 78, 201, 205 }, { 198, 201, 205 }, { 78, 198, 201 } ], [ { 78, 205, 207 }, { 201, 205, 207 }, { 78, 201, 207 }, { 78, 201, 205 } ], [ { 83, 198, 204 }, { 83, 204, 215 }, { 198, 204, 215 }, { 83, 198, 215 } ], [ { 198, 204, 207 }, { 201, 204, 207 }, { 198, 201, 207 }, { 198, 201, 204 } ], [ { 83, 204, 207 }, { 204, 207, 215 }, { 83, 207, 215 }, { 83, 204, 215 } ], [ { 205, 206, 207 }, { 78, 206, 207 }, { 78, 205, 207 }, { 78, 205, 206 } ], [ { 78, 83, 210, 212 }, { 78, 83, 206, 209 }, { 78, 206, 212 }, { 206, 209, 210, 212 }, { 83, 209, 210 } ], [ { 83, 207, 209 }, { 83, 207, 215 }, { 207, 209, 215 }, { 83, 209, 215 } ], [ { 321, 322, 323 }, { 254, 322, 323 }, { 254, 321, 323 }, { 254, 321, 322 } ], [ { 321, 323, 325 }, { 323, 324, 325 }, { 321, 323, 324 }, { 321, 324, 325 } ], [ { 259, 326, 327 }, { 216, 326, 327 }, { 216, 259, 327 }, { 216, 259, 326 } ], [ { 188, 217, 326 }, { 188, 216, 217 }, { 216, 217, 326 }, { 188, 216, 326 } ], [ { 78, 79, 98 }, { 79, 98, 216 }, { 78, 79, 216 }, { 78, 98, 216 } ], [ { 188, 218, 219 }, { 216, 218, 219 }, { 188, 216, 218 }, { 188, 216, 219 } ], [ { 188, 219, 221, 222 }, { 78, 79, 188, 219 }, { 78, 79, 221, 222 }, { 78, 188, 222 }, { 79, 219, 221 } ], [ { 83, 90, 254 }, { 82, 83, 90 }, { 82, 83, 254 }, { 82, 90, 254 } ], [ { 87, 90, 328 }, { 87, 254, 328 }, { 90, 254, 328 }, { 87, 90, 254 } ], [ { 87, 143, 328 }, { 143, 254, 328 }, { 87, 143, 254 }, { 87, 254, 328 } ], [ { 87, 143, 252 }, { 86, 143, 252 }, { 86, 87, 143 }, { 86, 87, 252 } ], [ { 83, 87, 225 }, { 87, 90, 225 }, { 83, 90, 225 }, { 83, 87, 90 } ], [ { 94, 95, 149 }, { 94, 95, 152 }, { 95, 149, 152 }, { 94, 149, 152 } ], [ { 95, 149, 226 }, { 95, 226, 259 }, { 95, 149, 259 }, { 149, 226, 259 } ], [ { 78, 98, 99 }, { 98, 99, 259 }, { 78, 98, 259 }, { 78, 99, 259 } ], [ { 95, 99, 226 }, { 95, 226, 259 }, { 95, 99, 259 }, { 99, 226, 259 } ], [ { 78, 95, 99 }, { 95, 99, 229 }, { 78, 95, 229 }, { 78, 99, 229 } ], [ { 230, 231, 232 }, { 231, 232, 234 }, { 230, 232, 234 }, { 230, 231, 234 } ], [ { 102, 103, 231 }, { 103, 231, 234 }, { 102, 103, 234 }, { 102, 231, 234 } ], [ { 103, 235, 236 }, { 234, 235, 236 }, { 103, 234, 235 }, { 103, 234, 236 } ], [ { 103, 236, 238 }, { 111, 236, 238 }, { 103, 111, 238 }, { 103, 111, 236 } ], [ { 2, 106, 239 }, { 2, 104, 239 }, { 2, 104, 106 }, { 104, 106, 239 } ], [ { 106, 109, 241 }, { 104, 109, 241 }, { 104, 106, 241 }, { 104, 106, 109 } ], [ { 111, 112, 241 }, { 104, 112, 241 }, { 104, 111, 112 }, { 104, 111, 241 } ], [ { 7, 103, 231 }, { 7, 103, 106 }, { 7, 106, 231 }, { 103, 106, 231 } ], [ { 103, 106, 242 }, { 103, 114, 242 }, { 103, 106, 114 }, { 106, 114, 242 } ], [ { 103, 119, 242 }, { 103, 111, 119 }, { 111, 119, 242 }, { 103, 111, 242 } ], [ { 239, 246, 247 }, { 239, 244, 246 }, { 244, 246, 247 }, { 239, 244, 247 } ], [ { 121, 239, 247 }, { 104, 121, 239 }, { 104, 121, 247 }, { 104, 239, 247 } ], [ { 111, 123, 250 }, { 104, 111, 123 }, { 104, 123, 250 }, { 104, 111, 250 } ], [ { 247, 248, 250 }, { 104, 247, 248 }, { 104, 248, 250 }, { 104, 247, 250 } ], [ { 126, 127, 133 }, { 126, 127, 152 }, { 127, 133, 152 }, { 126, 133, 152 } ], [ { 130, 252, 329 }, { 126, 130, 152, 252 }, { 152, 252, 329, 330 }, { 126, 130, 329, 330 }, { 126, 152, 330 } ], [ { 130, 131, 133 }, { 131, 133, 252 }, { 130, 131, 252 }, { 130, 133, 252 } ], [ { 111, 127, 134 }, { 127, 134, 152 }, { 111, 127, 152 }, { 111, 134, 152 } ], [ { 127, 133, 134 }, { 127, 134, 152 }, { 127, 133, 152 }, { 133, 134, 152 } ], [ { 111, 131, 139 }, { 131, 139, 252 }, { 111, 139, 252 }, { 111, 131, 252 } ], [ { 131, 133, 139 }, { 131, 139, 252 }, { 133, 139, 252 }, { 131, 133, 252 } ], [ { 143, 144, 247 }, { 143, 144, 254 }, { 144, 247, 254 }, { 143, 247, 254 } ], [ { 143, 247, 252 }, { 86, 143, 247 }, { 86, 143, 252 }, { 86, 247, 252 } ], [ { 10, 111, 146 }, { 10, 146, 252 }, { 111, 146, 252 }, { 10, 111, 252 } ], [ { 146, 147, 247 }, { 146, 147, 252 }, { 146, 247, 252 }, { 147, 247, 252 } ], [ { 111, 146, 247 }, { 146, 247, 250 }, { 111, 146, 250 }, { 111, 247, 250 } ], [ { 94, 149, 234 }, { 94, 149, 152 }, { 94, 152, 234 }, { 149, 152, 234 } ], [ { 149, 234, 259 }, { 148, 149, 259 }, { 148, 149, 234 }, { 148, 234, 259 } ], [ { 20, 156, 234 }, { 152, 156, 234 }, { 20, 152, 156 }, { 20, 152, 234 } ], [ { 16, 111, 156 }, { 16, 152, 156 }, { 111, 152, 156 }, { 16, 111, 152 } ], [ { 111, 156, 236 }, { 156, 234, 236 }, { 111, 156, 234 }, { 111, 234, 236 } ], [ { 161, 165, 262 }, { 161, 165, 266 }, { 165, 262, 263, 266 }, { 161, 262, 263 }, { 161, 263, 266 } ], [ { 26, 331, 332 }, { 26, 162, 332 }, { 26, 162, 331 }, { 162, 331, 332 } ], [ { 35, 262, 331 }, { 165, 262, 331 }, { 35, 165, 262 }, { 35, 165, 331 } ], [ { 26, 29, 163 }, { 26, 29, 162 }, { 29, 162, 163 }, { 26, 162, 163 } ], [ { 35, 38, 166 }, { 35, 38, 165 }, { 38, 165, 166 }, { 35, 165, 166 } ], [ { 266, 268, 271 }, { 265, 268, 271 }, { 265, 266, 268 }, { 265, 266, 271 } ], [ { 271, 273, 274 }, { 269, 271, 273 }, { 269, 272, 273, 274 }, { 269, 271, 272 }, { 271, 272, 274 } ], [ { 281, 287, 334 }, { 281, 287, 333 }, { 287, 333, 335 }, { 287, 334, 335 }, { 333, 335, 336 }, { 281, 334, 336 }, { 281, 333, 336 }, { 334, 335, 336 } ], [ { 278, 279, 281 }, { 276, 278, 279 }, { 276, 279, 281 }, { 276, 278, 281 } ], [ { 278, 281, 283 }, { 278, 280, 283 }, { 280, 281, 283 }, { 278, 280, 281 } ], [ { 171, 281, 287 }, { 171, 286, 287 }, { 281, 285, 286, 287 }, { 171, 285, 286 }, { 171, 281, 285 } ], [ { 287, 289, 290 }, { 280, 289, 290 }, { 280, 287, 289 }, { 280, 287, 290 } ], [ { 287, 290, 292 }, { 230, 290, 292 }, { 230, 287, 290 }, { 230, 287, 292 } ], [ { 52, 174, 177 }, { 52, 173, 177 }, { 173, 174, 177 }, { 52, 173, 174 } ], [ { 47, 179, 294 }, { 44, 179, 294 }, { 44, 47, 294 }, { 44, 47, 179 } ], [ { 55, 181, 294 }, { 52, 181, 294 }, { 52, 55, 294 }, { 52, 55, 181 } ], [ { 294, 295, 337 }, { 52, 294, 295 }, { 52, 294, 337 }, { 52, 295, 337 } ], [ { 60, 183, 294 }, { 183, 294, 337 }, { 60, 183, 337, 338 }, { 60, 294, 338 }, { 294, 337, 338 } ], [ { 183, 294, 297 }, { 44, 294, 297 }, { 44, 183, 294 }, { 44, 183, 297 } ], [ { 44, 185, 188 }, { 44, 184, 188 }, { 184, 185, 188 }, { 44, 184, 185 } ], [ { 183, 188, 298 }, { 183, 188, 259 }, { 183, 259, 298 }, { 188, 259, 298 } ], [ { 183, 188, 297 }, { 44, 183, 297 }, { 44, 188, 297 }, { 44, 183, 188 } ], [ { 52, 63, 174 }, { 52, 63, 301 }, { 52, 174, 301 }, { 63, 174, 301 } ], [ { 303, 305, 339 }, { 303, 309, 339 }, { 305, 309, 339 }, { 303, 305, 309 } ], [ { 52, 55, 305 }, { 44, 52, 303, 305 }, { 44, 47, 52, 55 }, { 47, 55, 303, 305 }, { 44, 47, 303 } ], [ { 69, 309, 312 }, { 63, 69, 310, 312 }, { 63, 69, 309 }, { 309, 310, 312 }, { 63, 309, 310 } ], [ { 68, 74, 191, 301 }, { 63, 69, 191, 301 }, { 63, 68, 69, 74 }, { 69, 74, 191 }, { 63, 68, 301 } ], [ { 44, 69, 185 }, { 44, 69, 191 }, { 69, 185, 191 }, { 44, 185, 191 } ], [ { 185, 193, 198 }, { 185, 191, 193 }, { 191, 193, 198 }, { 185, 191, 198 } ], [ { 78, 185, 222 }, { 78, 198, 222 }, { 185, 198, 222 }, { 78, 185, 198 } ], [ { 197, 198, 317 }, { 191, 197, 198 }, { 191, 197, 317 }, { 191, 198, 317 } ], [ { 83, 198, 319 }, { 83, 317, 319 }, { 198, 317, 319 }, { 83, 198, 317 } ], [ { 78, 198, 207 }, { 78, 201, 207 }, { 198, 201, 207 }, { 78, 198, 201 } ], [ { 83, 204, 207 }, { 198, 204, 207 }, { 83, 198, 207 }, { 83, 198, 204 } ], [ { 83, 207, 209 }, { 78, 83, 207 }, { 78, 83, 206, 209 }, { 206, 207, 209 }, { 78, 206, 207 } ], [ { 83, 319, 324 }, { 83, 317, 319 }, { 317, 319, 324 }, { 83, 317, 324 } ], [ { 321, 323, 324 }, { 254, 321, 323 }, { 254, 323, 324 }, { 254, 321, 324 } ], [ { 83, 254, 323 }, { 82, 83, 323 }, { 82, 254, 323 }, { 82, 83, 254 } ], [ { 78, 188, 222 }, { 185, 188, 222 }, { 78, 185, 222 }, { 78, 185, 188 } ], [ { 78, 98, 259 }, { 78, 98, 216 }, { 98, 216, 259 }, { 78, 216, 259 } ], [ { 188, 259, 326 }, { 188, 216, 326 }, { 188, 216, 259 }, { 216, 259, 326 } ], [ { 78, 79, 188, 219 }, { 188, 216, 219 }, { 78, 188, 216 }, { 79, 216, 219 }, { 78, 79, 216 } ], [ { 83, 87, 90 }, { 83, 87, 254 }, { 87, 90, 254 }, { 83, 90, 254 } ], [ { 87, 143, 252 }, { 143, 252, 254 }, { 87, 143, 254 }, { 87, 252, 254 } ], [ { 87, 225, 252 }, { 83, 225, 252 }, { 83, 87, 225 }, { 83, 87, 252 } ], [ { 78, 229, 340, 341 }, { 78, 152, 340 }, { 78, 152, 229 }, { 152, 229, 341 }, { 152, 340, 341 } ], [ { 95, 149, 259 }, { 95, 149, 152 }, { 95, 152, 259 }, { 149, 152, 259 } ], [ { 78, 95, 229 }, { 78, 95, 152 }, { 95, 152, 229 }, { 78, 152, 229 } ], [ { 78, 95, 99 }, { 95, 99, 259 }, { 78, 95, 259 }, { 78, 99, 259 } ], [ { 230, 232, 342 }, { 230, 232, 234 }, { 232, 234, 342 }, { 230, 234, 342 } ], [ { 103, 230, 231 }, { 103, 231, 234 }, { 103, 230, 234 }, { 230, 231, 234 } ], [ { 103, 111, 236 }, { 103, 234, 236 }, { 111, 234, 236 }, { 103, 111, 234 } ], [ { 104, 106, 239 }, { 106, 239, 244 }, { 104, 239, 244 }, { 104, 106, 244 } ], [ { 106, 111, 241 }, { 104, 111, 241 }, { 104, 106, 241 }, { 104, 106, 111 } ], [ { 103, 230, 231 }, { 103, 106, 231 }, { 103, 106, 230 }, { 106, 230, 231 } ], [ { 103, 111, 242 }, { 103, 106, 242 }, { 103, 106, 111 }, { 106, 111, 242 } ], [ { 246, 247, 343 }, { 244, 246, 343 }, { 244, 246, 247 }, { 244, 247, 343 } ], [ { 104, 239, 247 }, { 239, 244, 247 }, { 104, 239, 244 }, { 104, 244, 247 } ], [ { 111, 247, 250 }, { 104, 111, 247 }, { 104, 247, 250 }, { 104, 111, 250 } ], [ { 130, 133, 252 }, { 133, 152, 252 }, { 126, 130, 152, 252 }, { 126, 133, 152 }, { 126, 130, 133 } ], [ { 111, 133, 134 }, { 133, 134, 152 }, { 111, 134, 152 }, { 111, 133, 152 } ], [ { 111, 133, 139 }, { 133, 139, 252 }, { 111, 139, 252 }, { 111, 133, 252 } ], [ { 143, 247, 252 }, { 143, 247, 254 }, { 143, 252, 254 }, { 247, 252, 254 } ], [ { 111, 146, 247 }, { 146, 247, 252 }, { 111, 146, 252 }, { 111, 247, 252 } ], [ { 149, 234, 259 }, { 149, 152, 259 }, { 149, 152, 234 }, { 152, 234, 259 } ], [ { 111, 156, 234 }, { 111, 152, 156 }, { 152, 156, 234 }, { 111, 152, 234 } ], [ { 165, 262, 331 }, { 165, 262, 263, 266 }, { 165, 266, 331, 344 }, { 262, 263, 331, 344 }, { 263, 266, 344 } ], [ { 35, 165, 331 }, { 162, 165, 331 }, { 26, 35, 162, 165 }, { 26, 162, 331 }, { 26, 35, 331 } ], [ { 26, 35, 162, 165 }, { 35, 165, 166 }, { 162, 163, 165, 166 }, { 26, 35, 163, 166 }, { 26, 162, 163 } ], [ { 266, 271, 273 }, { 269, 271, 273 }, { 266, 268, 269, 273 }, { 268, 269, 271 }, { 266, 268, 271 } ], [ { 269, 287, 333, 345 }, { 269, 273, 281, 287 }, { 281, 287, 333 }, { 273, 281, 333, 345 }, { 269, 273, 345 } ], [ { 278, 280, 281 }, { 276, 278, 281 }, { 276, 278, 280 }, { 276, 280, 281 } ], [ { 280, 281, 287 }, { 281, 285, 286, 287 }, { 280, 286, 287 }, { 280, 281, 285 }, { 280, 285, 286 } ], [ { 230, 287, 290 }, { 280, 287, 290 }, { 230, 280, 290 }, { 230, 280, 287 } ], [ { 52, 174, 177 }, { 52, 177, 301 }, { 174, 177, 301 }, { 52, 174, 301 } ], [ { 52, 177, 337 }, { 177, 337, 346 }, { 52, 337, 346 }, { 52, 177, 346 } ], [ { 52, 55, 294 }, { 44, 52, 294 }, { 44, 47, 52, 55 }, { 47, 55, 294 }, { 44, 47, 294 } ], [ { 52, 294, 337 }, { 294, 337, 346 }, { 52, 294, 346 }, { 52, 337, 346 } ], [ { 294, 337, 346 }, { 259, 294, 346 }, { 183, 259, 337, 346 }, { 183, 294, 337 }, { 183, 259, 294 } ], [ { 44, 183, 294 }, { 183, 259, 294 }, { 44, 259, 294 }, { 44, 183, 259 } ], [ { 44, 185, 188 }, { 44, 188, 191 }, { 185, 188, 191 }, { 44, 185, 191 } ], [ { 44, 183, 188 }, { 183, 188, 259 }, { 44, 183, 259 }, { 44, 188, 259 } ], [ { 52, 63, 309 }, { 52, 301, 309 }, { 63, 301, 309 }, { 52, 63, 301 } ], [ { 52, 305, 309 }, { 44, 52, 303, 305 }, { 44, 52, 309 }, { 44, 303, 309 }, { 303, 305, 309 } ], [ { 63, 301, 309 }, { 191, 301, 309 }, { 63, 69, 191, 301 }, { 69, 191, 309 }, { 63, 69, 309 } ], [ { 44, 69, 309 }, { 69, 191, 309 }, { 44, 191, 309 }, { 44, 69, 191 } ], [ { 78, 185, 198 }, { 78, 185, 191 }, { 78, 191, 198 }, { 185, 191, 198 } ], [ { 83, 198, 317 }, { 83, 191, 198 }, { 83, 191, 317 }, { 191, 198, 317 } ], [ { 78, 83, 207 }, { 83, 198, 207 }, { 78, 198, 207 }, { 78, 83, 198 } ], [ { 83, 317, 324 }, { 83, 191, 324 }, { 83, 191, 317 }, { 191, 317, 324 } ], [ { 83, 323, 324 }, { 83, 254, 323 }, { 254, 323, 324 }, { 83, 254, 324 } ], [ { 78, 185, 188 }, { 78, 188, 191 }, { 185, 188, 191 }, { 78, 185, 191 } ], [ { 78, 188, 259 }, { 78, 188, 216 }, { 188, 216, 259 }, { 78, 216, 259 } ], [ { 83, 87, 252 }, { 87, 252, 254 }, { 83, 252, 254 }, { 83, 87, 254 } ], [ { 78, 83, 340, 347 }, { 78, 83, 152, 252 }, { 78, 152, 340 }, { 152, 252, 340, 347 }, { 83, 252, 347 } ], [ { 78, 95, 259 }, { 78, 95, 152 }, { 95, 152, 259 }, { 78, 152, 259 } ], [ { 230, 259, 342 }, { 230, 234, 342 }, { 230, 234, 259 }, { 234, 259, 342 } ], [ { 103, 111, 230 }, { 103, 111, 234 }, { 103, 230, 234 }, { 111, 230, 234 } ], [ { 104, 106, 111 }, { 106, 111, 244 }, { 104, 111, 244 }, { 104, 106, 244 } ], [ { 103, 111, 230 }, { 103, 106, 111 }, { 103, 106, 230 }, { 106, 111, 230 } ], [ { 244, 247, 343 }, { 247, 254, 343 }, { 244, 254, 343 }, { 244, 247, 254 } ], [ { 104, 111, 247 }, { 111, 244, 247 }, { 104, 244, 247 }, { 104, 111, 244 } ], [ { 111, 133, 252 }, { 111, 133, 152 }, { 133, 152, 252 }, { 111, 152, 252 } ], [ { 111, 247, 252 }, { 111, 247, 254 }, { 247, 252, 254 }, { 111, 252, 254 } ], [ { 111, 234, 259 }, { 111, 152, 259 }, { 111, 152, 234 }, { 152, 234, 259 } ], [ { 162, 165, 331 }, { 165, 266, 331, 344 }, { 162, 165, 266, 348 }, { 162, 331, 344, 348 }, { 266, 344, 348 } ], [ { 162, 163, 165, 166 }, { 162, 165, 349 }, { 165, 166, 349, 350 }, { 162, 163, 349, 350 }, { 163, 166, 350 } ], [ { 266, 268, 281, 287 }, { 269, 273, 281, 287 }, { 266, 268, 269, 273 }, { 266, 273, 281 }, { 268, 269, 287 } ], [ { 230, 280, 287 }, { 230, 276, 281, 287 }, { 230, 276, 280 }, { 280, 281, 287 }, { 276, 280, 281 } ], [ { 52, 177, 346 }, { 52, 177, 301 }, { 177, 301, 346 }, { 52, 301, 346 } ], [ { 44, 259, 294 }, { 259, 294, 346 }, { 44, 52, 259, 346 }, { 52, 294, 346 }, { 44, 52, 294 } ], [ { 44, 188, 259 }, { 44, 188, 191 }, { 188, 191, 259 }, { 44, 191, 259 } ], [ { 44, 191, 309 }, { 191, 301, 309 }, { 44, 52, 191, 301 }, { 44, 52, 309 }, { 52, 301, 309 } ], [ { 78, 83, 198 }, { 78, 83, 191 }, { 83, 191, 198 }, { 78, 191, 198 } ], [ { 83, 254, 324 }, { 83, 191, 324 }, { 83, 191, 254 }, { 191, 254, 324 } ], [ { 78, 188, 259 }, { 78, 188, 191 }, { 188, 191, 259 }, { 78, 191, 259 } ], [ { 78, 83, 254, 259 }, { 78, 152, 259 }, { 152, 252, 254, 259 }, { 78, 83, 152, 252 }, { 83, 252, 254 } ], [ { 111, 230, 259 }, { 111, 230, 234 }, { 111, 234, 259 }, { 230, 234, 259 } ], [ { 106, 111, 230 }, { 111, 230, 244 }, { 106, 111, 244 }, { 106, 230, 244 } ], [ { 111, 244, 247 }, { 111, 247, 254 }, { 244, 247, 254 }, { 111, 244, 254 } ], [ { 111, 254, 259 }, { 111, 152, 259 }, { 152, 252, 254, 259 }, { 111, 252, 254 }, { 111, 152, 252 } ], [ { 162, 165, 349 }, { 162, 165, 266, 348 }, { 348, 351, 352, 356 }, { 266, 348, 351 }, { 162, 349, 353, 356 }, { 351, 352, 354 }, { 266, 268, 351, 354 }, { 352, 353, 354, 355 }, { 349, 353, 355 }, { 165, 268, 349, 355 }, { 352, 353, 356 }, { 162, 348, 356 }, { 268, 354, 355 }, { 165, 266, 268 } ], [ { 230, 266, 268, 276 }, { 230, 276, 281, 287 }, { 266, 268, 281, 287 }, { 266, 276, 281 }, { 230, 268, 287 } ], [ { 44, 52, 191, 301 }, { 191, 259, 301, 346 }, { 44, 191, 259 }, { 44, 52, 259, 346 }, { 52, 301, 346 } ], [ { 78, 83, 254, 259 }, { 78, 191, 259 }, { 191, 254, 259 }, { 83, 191, 254 }, { 78, 83, 191 } ], [ { 111, 254, 259 }, { 111, 244, 254 }, { 230, 244, 254, 259 }, { 111, 230, 244 }, { 111, 230, 259 } ], [ { 230, 266, 268, 276 }, { 165, 244, 266, 276 }, { 230, 244, 276 }, { 165, 230, 244, 268 }, { 165, 266, 268 } ], [ { 230, 301, 346 }, { 191, 230, 301 }, { 191, 259, 301, 346 }, { 191, 230, 259 }, { 230, 259, 346 } ], [ { 230, 244, 254, 259 }, { 191, 254, 259 }, { 191, 244, 254 }, { 191, 230, 259 }, { 191, 230, 244 } ], [ { 191, 230, 244 }, { 191, 230, 301 }, { 230, 276, 301 }, { 230, 244, 276 }, { 191, 244, 357 }, { 244, 276, 357 }, { 276, 301, 357 }, { 191, 301, 357 } ] ] /* Order of PGL_2(O) stabilizers of Voronoi top cells */ [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 12, 1, 1, 1, 1, 3, 1, 1, 3 ] /* GAP id of GL_2(O) stabilizers of Voronoi top cells */ [ <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <24, 3>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <6, 2> ]