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