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