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