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