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