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