/* Defining polynomial */ x^2 - x + 185 /* Minimal vectors */ [ <5*w + 1, -3*w + 59>, , <-23*w + 132, 5*w - 343>, <19*w + 215, -25*w + 114>, <-7*w + 64, -117>, <9*w + 73, -10*w + 69>, <8*w + 4, -5*w + 93>, <5*w + 16, -4*w + 51>, <-4*w + 37, -67>, <2*w + 75, -6*w - 16>, <-4*w + 83, -3*w - 91>, <-4*w + 52, -w - 75>, <32*w + 691, -65*w + 24>, <-29*w + 760, -33*w - 761>, <-67*w + 983, -25*w - 1346>, <-96*w + 1743, -58*w - 2107>, <81*w + 2088, -187*w - 120>, <-8*w + 208, -9*w - 209>, <73*w + 230, -59*w + 773>, <65*w + 438, -68*w + 564>, <-84*w + 1121, -24*w - 1628>, <57*w + 646, -77*w + 355>, <-19*w + 1559, -92*w - 1064>, <-7*w + 34, 2*w - 101>, <47, -3*w - 25>, <3*w + 50, -5*w + 9>, <4*w + 72, -7*w + 9>, <31, -2*w - 16>, <2*w + 44, -4*w + 1>, <-w + 102, -6*w - 65>, <-w + 133, -8*w - 81>, <-8*w + 26, 3*w - 109>, <-w + 71, -4*w - 49>, <-3*w + 12, w - 42>, <-3*w + 59, -2*w - 67>, <-8*w + 43, 2*w - 118>, <5*w + 78, -8*w + 18>, <10*w + 48, -9*w + 94>, <93, -6*w - 49>, <-3*w + 105, -5*w - 91>, <8*w + 35, -7*w + 77>, <3*w + 81, -7*w - 7>, <-6*w + 86, -2*w - 117>, <3*w + 174, -13*w - 56>, <6*w + 69, -8*w + 35>, <-7*w + 111, -3*w - 142>, <5*w + 47, -6*w + 35>, <-3*w + 74, -3*w - 75>, <2*w + 121, -9*w - 40>, <12*w + 122, -15*w + 79>, <-7*w + 188, -8*w - 183>, <6*w + 7, -4*w + 68>, <-5*w + 46, -84>, <5*w + 32, -5*w + 43>, <-9*w + 20, 4*w - 118>, <-2*w + 111, -6*w - 82>, <3*w + 17, -3*w + 26>, <-2*w + 20, -35>, <31, -2*w - 18>, <-2*w + 51, -2*w - 53>, <-10*w + 20, 5*w - 126>, <-5*w + 131, -5*w - 131>, <-16*w + 161, -274>, <258, -16*w - 145>, <-31*w + 22, 18*w - 368>, <16*w + 113, -17*w + 120>, <6*w + 117, -11*w + 3>, <-19*w + 272, -5*w - 371>, <-3*w + 385, -22*w - 251>, <6*w + 101, -10*w + 12>, <5*w + 111, -10*w - 5>, <242, -15*w - 136>, <-11*w + 14, 6*w - 134>, <-23*w + 38, 12*w - 285>, <17*w + 87, -16*w + 146>, , <-w + 10, -17>, <8*w + 81, -10*w + 46>, <7*w + 91, -10*w + 29>, <-7*w + 103, -2*w - 138>, <-6*w + 109, -3*w - 130>, <-23*w + 22, 13*w - 276>, <-5*w + 115, -4*w - 122>, <-16*w + 129, 2*w - 256>, <2*w + 238, -16*w - 111>, <-10*w + 4, 6*w - 117>, <17*w + 119, -18*w + 128>, <2*w + 254, -17*w - 120>, <-4*w + 121, -5*w - 114>, <6*w + 7, -4*w + 66>, <2*w + 29, -3*w + 8>, <32, -2*w - 17>, <6*w + 39, -6*w + 49>, , <-3*w + 12, w - 41>, <-2*w + 19, -33>, <-5*w + 4, 3*w - 56>, , <3*w + 53, -5*w + 1>, <-2*w + 57, -2*w - 55>, <-w + 11, -17>, <4*w + 42, -5*w + 18>, <5*w + 13, -4*w + 46>, <17, -w - 10>, <-3*w + 15, w - 42>, , <33, -2*w - 19>, <3*w + 19, -3*w + 22>, <-3*w + 32, -51>, <-2*w + 4, w - 24>, , <-2*w + 21, -33>, <3*w + 37, -4*w + 12>, , <-3*w + 1, 2*w - 36>, <-w + 11, -19>, <16, -w - 10>, <-3*w + 17, w - 46>, <1, -1>, , , <-2*w + 4, w - 26>, <2*w + 12, -2*w + 17>, <-4*w + 39, -69>, <3*w + 49, -5*w + 8>, <-2*w + 51, -2*w - 52>, , <-4*w + 7, 2*w - 51>, <2*w + 28, -3*w + 8>, <-w + 41, -2*w - 34>, , <-53*w + 238, 16*w - 777>, <70*w + 468, -73*w + 609>, <9*w + 537, -41*w - 176>, <41*w + 1228, -106*w - 152>, <-61*w + 69, 32*w - 785>, <-20*w + 1297, -74*w - 937>, <-226*w + 1712, 22*w - 3685>, <256*w + 1712, -267*w + 2227>, <30*w + 3424, -245*w - 1458>, <-38*w + 223, 8*w - 585>, <-16*w + 24, 8*w - 209>, <8*w + 169, -16*w + 8>, <-47*w + 425, -803>, <16*w + 685, -55*w - 169>, <-8*w + 193, -8*w - 201>, <47*w + 284, -47*w + 425>, <709, -47*w - 378>, <39*w + 477, -55*w + 224>, <38*w + 124, -31*w + 400>, <-23*w + 223, -w - 401>, <15*w + 347, -32*w - 1>, <362, -24*w - 193>, <-45*w + 75, 22*w - 592>, <-75*w + 120, 37*w - 984>, <22*w + 525, -48*w - 10>, <37*w + 872, -80*w - 11>, <-38*w + 992, -43*w - 995>, <-30*w + 45, 15*w - 392>, <-7*w + 199, -9*w - 192>, <-22*w + 214, -w - 384>, <30*w + 332, -40*w + 191>, <377, -25*w - 201>, <-38*w + 238, 7*w - 593>, <-15*w + 392, -17*w - 393>, <188*w + 1015, -180*w + 1765>, <173*w + 1407, -197*w + 1372>, <-188*w + 1579, 8*w - 3148>, <15*w + 2941, -204*w - 1384>, <203*w + 1362, -212*w + 1764>, <-15*w + 15, 8*w - 192>, <8*w + 546, -41*w - 193>, <23*w + 154, -24*w + 200>, <-68*w + 705, -6*w - 1210>, <-3*w + 1143, -74*w - 646>, <-79*w + 2056, -89*w - 2065>, , <-2*w + 3, w - 25>, <-w + 25, -w - 25>, <10*w + 48, -9*w + 92>, <-2*w + 129, -7*w - 92>, <-10*w + 78, w - 159>, , <9*w + 73, -10*w + 67>, <-7*w + 97, -2*w - 134>, <-8*w + 75, -134>, <2*w + 13, -2*w + 17>, <-2*w + 18, -33>, <8*w + 99, -11*w + 44>, <-7*w + 141, -5*w - 156>, <-13*w + 24, 6*w - 167>, <6*w + 148, -13*w - 5>, <11*w + 25, -8*w + 118>, <-5*w + 154, -7*w - 139>, <-11*w + 6, 6*w - 134>, <16, -w - 8>, <5*w + 18, -4*w + 49>, <-2*w + 50, -2*w - 49>, <-3*w + 59, -2*w - 65>, <2*w + 77, -6*w - 16>, <2*w + 28, -3*w + 9>, <-9*w + 5, 5*w - 110>, <-8*w + 58, w - 126>, <-4*w + 99, -4*w - 100>, <-10*w + 154, -4*w - 201>, <-w + 40, -2*w - 33>, <14*w + 73, -13*w + 129>, <3*w + 34, -4*w + 18>, <4*w + 40, -5*w + 27>, <-2*w + 49, -2*w - 50>, <-3*w + 58, -2*w - 67>, , <7*w + 45, -7*w + 60>, <7*w + 60, -8*w + 52>, <-w + 10, -18>, <3*w + 16, -3*w + 26>, <-w + 26, -w - 27>, <-2*w + 36, -w - 45>, , <2*w + 57, -5*w - 9>, <12*w + 250, -23*w - 3>, <50*w + 303, -50*w + 403>, <-47*w + 425, 3*w - 778>, <3*w + 728, -47*w - 375>, , <-3*w + 127, -6*w - 106>, <2*w + 13, -2*w + 16>, , <-w + 11, -18>, <18, -w - 10>, , <3*w + 15, -3*w + 26>, , <-2*w + 5, w - 26>, <2*w + 11, -2*w + 17>, <3*w + 17, -3*w + 25>, <-3*w + 31, -53>, <16, -w - 9>, <-2*w + 19, -34>, <31, -2*w - 17>, <3*w + 65, -6*w>, , <-4*w + 22, w - 60>, , <46, -3*w - 25>, <3*w + 3, -2*w + 34>, <-5*w + 94, -3*w - 110>, <-2*w + 97, -5*w - 76>, <-7*w + 19, 3*w - 93>, <-6*w + 41, w - 93>, , <-5*w + 63, -w - 93>, <-3*w + 13, w - 42>, <-5*w + 16, 2*w - 67>, <-2*w + 35, -w - 42>, , <-w + 73, -4*w - 51>, <2*w + 60, -5*w - 9>, <5*w + 15, -4*w + 50>, , <17*w + 706, -57*w - 168>, <-15*w + 30, 7*w - 200>, <7*w + 163, -15*w - 1>, <-24*w + 232, -w - 418>, <30*w + 302, -38*w + 207>, <6*w + 534, -39*w - 211>, <-w + 9, -17>, <8*w + 154, -15*w + 16>, <7*w + 178, -16*w - 9>, <15, -w - 8>, <-14*w + 21, 7*w - 183>, <-14*w + 36, 6*w - 191>, <-14*w + 51, 5*w - 199>, <6*w + 172, -15*w - 18>, <5*w + 181, -15*w - 35>, <-9*w + 53, 2*w - 134>, <-11*w + 37, 4*w - 150>, <5*w + 1, -3*w + 58>, , <63, -4*w - 33>, <4*w + 11, -3*w + 41>, <-2*w + 66, -3*w - 57>, <3*w + 20, -3*w + 25>, <-2*w + 34, -w - 41>, <-4*w + 52, -w - 74>, <3*w + 51, -5*w + 9>, <-w + 25, -w - 26>, <-15*w + 151, -257>, <10*w + 12, -7*w + 108>, <2*w + 13, -2*w + 15>, <17, -w - 9>, <-2*w + 20, -33>, <33, -2*w - 18>, <-w + 42, -2*w - 36>, <-353*w + 357, 188*w - 4520>, <-45*w + 407, -769>, <2*w + 721, -49*w - 360>, <-351*w + 1078, 139*w - 4880>, <188*w + 3971, -376*w + 188>, <143*w + 4378, -376*w - 581>, <47*w + 314, -49*w + 409>, <-36*w + 944, -41*w - 945>, <3*w + 4, -2*w + 33>, <-w + 27, -w - 26>, <-165*w + 4328, -188*w - 4332>, <-6*w + 552, -33*w - 368>, <-7*w + 184, -8*w - 184>, , <15, -w - 7>, <0, 1>, <1, 0>, <-w + 8, -16>, <-w + 8, -15>, , <-w + 9, -16>, <16, -w - 7> ] /* Voronoi top cells */ [ { 1, 2, 3, 4 }, { 1, 2, 5, 6 }, { 7, 8, 9, 10 }, { 1, 2, 3, 11 }, { 1, 2, 5, 12 }, { 13, 14, 15, 16, 17 }, { 18, 19, 20, 21 }, { 18, 20, 22, 23 }, { 24, 25, 26, 27 }, { 28, 29, 30, 31 }, { 29, 30, 32, 33 }, { 7, 8, 9, 34 }, { 8, 9, 10, 35 }, { 8, 35, 36, 37 }, { 34, 38, 39, 40 }, { 39, 41, 42, 43, 44 }, { 34, 42, 45, 46 }, { 47, 48, 49, 50, 51 }, { 41, 43, 49, 52, 53 }, { 1, 2, 11, 54 }, { 1, 5, 12, 34 }, { 1, 2, 12, 54 }, { 12, 54, 55, 56 }, { 57, 58, 59, 60 }, { 61, 62, 63, 64 }, { 65, 66, 67, 68, 69 }, { 62, 70, 71, 72 }, { 70, 73, 74, 75 }, { 62, 70, 72, 75 }, { 76, 77, 78, 79, 80, 81 }, { 73, 82, 83, 84 }, { 67, 83, 84, 85 }, { 67, 86, 87, 88 }, { 67, 83, 85, 89 }, { 90, 91, 92, 93 }, { 92, 94, 95, 96 }, { 97, 98, 99, 100 }, { 98, 99, 101, 102 }, { 97, 98, 103, 104 }, { 104, 105, 106, 107 }, { 104, 106, 108, 109 }, { 110, 111, 112, 113 }, { 101, 110, 112, 114 }, { 115, 116, 117, 118 }, { 117, 119, 120, 121 }, { 122, 123, 124, 125, 126, 127 }, { 128, 129, 130, 131 }, { 14, 132, 133, 134, 135 }, { 14, 134, 136, 137 }, { 13, 14, 136, 138, 139, 140 }, { 13, 14, 15, 141 }, { 142, 143, 144, 145 }, { 142, 144, 146, 147, 148 }, { 143, 144, 146, 149 }, { 146, 150, 151, 152 }, { 146, 150, 152, 153 }, { 154, 155, 156, 157, 158 }, { 159, 160, 161, 162 }, { 159, 160, 162, 163 }, { 143, 152, 153, 164 }, { 165, 166, 167, 168, 169 }, { 152, 159, 168, 169, 170 }, { 159, 161, 171, 172 }, { 13, 136, 143, 171, 173 }, { 165, 171, 172, 173 }, { 143, 164, 165, 173 }, { 20, 174, 175, 176 }, { 18, 19, 20, 175 }, { 18, 20, 22, 174 }, { 25, 26, 27, 177 }, { 178, 179, 180, 181 }, { 178, 180, 182, 183 }, { 177, 179, 184, 185 }, { 177, 183, 184, 186 }, { 179, 180, 183, 184 }, { 28, 29, 30, 33 }, { 187, 188, 189, 190 }, { 188, 190, 191, 192 }, { 28, 187, 193, 194 }, { 187, 190, 192, 194 }, { 28, 192, 194, 195 }, { 196, 197, 198, 199, 200 }, { 8, 9, 34, 35 }, { 8, 35, 37, 201 }, { 25, 26, 35, 179 }, { 26, 35, 37, 201 }, { 34, 39, 40, 52 }, { 34, 39, 42, 202, 203 }, { 39, 41, 42, 43, 52, 53 }, { 34, 42, 45, 53 }, { 8, 34, 201, 204 }, { 48, 53, 201, 205 }, { 47, 48, 49, 52, 53 }, { 47, 52, 206, 207 }, { 208, 209, 210, 211, 212 }, { 1, 11, 54, 187, 213 }, { 1, 12, 34, 54 }, { 12, 34, 206, 214 }, { 12, 54, 56, 206 }, { 29, 33, 54, 187 }, { 33, 54, 56, 206 }, { 215, 216, 217, 218 }, { 58, 59, 215, 217 }, { 59, 215, 219, 220 }, { 57, 58, 59, 219 }, { 61, 62, 63, 71 }, { 65, 66, 67, 68, 86, 221 }, { 62, 70, 71, 77 }, { 62, 70, 73, 75 }, { 73, 222, 223, 224 }, { 70, 73, 83, 225 }, { 70, 76, 77, 79, 81, 83 }, { 67, 73, 83, 84 }, { 76, 86, 89, 226 }, { 67, 86, 87, 89 }, { 67, 76, 83, 89 }, { 90, 91, 92, 178 }, { 91, 92, 94, 95 }, { 92, 94, 96, 227 }, { 98, 101, 119, 228 }, { 98, 104, 119, 121 }, { 97, 98, 99, 101, 104 }, { 104, 119, 121, 229 }, { 101, 119, 228, 230 }, { 76, 104, 106, 107 }, { 101, 104, 106, 108, 110 }, { 101, 110, 111, 112 }, { 116, 117, 119, 120 }, { 115, 116, 117, 231 }, { 117, 119, 121, 229 }, { 117, 231, 232, 233 }, { 76, 117, 229, 234 }, { 76, 217, 234, 235, 236, 237 }, { 122, 123, 126, 127, 238 }, { 123, 239, 240, 241 }, { 240, 242, 243, 244, 245 }, { 239, 246, 247, 248 }, { 177, 246, 248, 249, 250, 251 }, { 177, 239, 250, 252 }, { 123, 128, 129, 239 }, { 130, 177, 239, 252 }, { 128, 129, 130, 239 }, { 178, 253, 254, 255, 256, 257 }, { 177, 254, 256, 258 }, { 129, 238, 256, 259, 260 }, { 129, 130, 177, 256 }, { 14, 132, 133, 134, 141, 261 }, { 14, 134, 136, 171 }, { 13, 14, 136, 143, 171 }, { 13, 14, 141, 143 }, { 146, 262, 263, 264, 265, 266 }, { 142, 146, 263, 267, 268 }, { 142, 143, 144, 146 }, { 146, 151, 152, 262 }, { 143, 146, 152, 153 }, { 152, 154, 155, 156, 157, 159 }, { 159, 160, 161, 171 }, { 159, 160, 163, 269 }, { 143, 152, 164, 165 }, { 152, 159, 165, 168, 169 }, { 159, 165, 171, 172 }, { 143, 165, 171, 173 }, { 18, 20, 174, 175 }, { 18, 19, 175, 262 }, { 18, 22, 174, 269 }, { 269, 270, 271, 272 }, { 267, 270, 272, 273, 274, 275 }, { 262, 263, 267, 274 }, { 25, 26, 177, 179 }, { 177, 178, 183, 276 }, { 178, 179, 180, 183 }, { 177, 179, 183, 184 }, { 28, 29, 33, 187 }, { 187, 188, 190, 192 }, { 28, 187, 192, 194 }, { 28, 188, 192, 277 }, { 179, 278, 279, 280 }, { 94, 196, 197, 198, 281, 282 }, { 188, 196, 283, 284 }, { 187, 188, 284, 285 }, { 187, 279, 285, 286 }, { 9, 34, 35, 179 }, { 8, 34, 35, 201 }, { 26, 35, 179, 201 }, { 34, 39, 42, 52, 53 }, { 34, 53, 201, 204 }, { 34, 52, 206, 214 }, { 47, 48, 52, 53, 201, 206 }, { 208, 209, 210, 211, 242, 267 }, { 1, 34, 54, 187 }, { 12, 34, 54, 206 }, { 33, 54, 187, 206 }, { 215, 216, 217, 231 }, { 122, 219, 242, 287 }, { 58, 215, 217, 238 }, { 58, 59, 215, 219 }, { 58, 122, 219, 238 }, { 61, 62, 71, 77 }, { 61, 62, 66, 67, 86, 288 }, { 62, 70, 73, 77 }, { 62, 67, 73, 222, 223 }, { 70, 73, 76, 77, 83 }, { 67, 73, 76, 83 }, { 76, 86, 226, 238, 289 }, { 67, 76, 86, 89 }, { 91, 92, 94, 178 }, { 77, 92, 94, 227 }, { 77, 290, 291, 292, 293 }, { 98, 101, 104, 119 }, { 76, 104, 119, 229 }, { 101, 111, 119, 230 }, { 76, 101, 104, 106, 110, 111 }, { 116, 117, 119, 231 }, { 76, 117, 119, 229 }, { 76, 117, 231, 233, 234 }, { 76, 217, 231, 233, 234, 235 }, { 76, 217, 236, 238, 294 }, { 122, 123, 238, 242 }, { 123, 239, 240, 242 }, { 239, 240, 242, 244 }, { 177, 239, 246, 248, 250 }, { 123, 129, 238, 239 }, { 129, 130, 177, 239 }, { 177, 178, 254, 256 }, { 129, 177, 238, 256 }, { 295, 296, 297, 298, 299, 300 }, { 132, 134, 141, 261, 301, 302 }, { 14, 134, 141, 143, 171 }, { 160, 269, 270, 271 }, { 146, 262, 263, 267 }, { 142, 143, 146, 267 }, { 143, 146, 152, 262 }, { 152, 154, 156, 159, 262, 269 }, { 159, 160, 171, 269 }, { 143, 152, 159, 165, 171 }, { 18, 174, 175, 262, 269 }, { 18, 269, 270, 272 }, { 18, 267, 270, 272, 274 }, { 18, 262, 267, 274 }, { 26, 177, 179, 201 }, { 177, 178, 179, 183 }, { 28, 33, 187, 206 }, { 28, 187, 188, 192 }, { 94, 178, 179, 303 }, { 179, 278, 279, 303 }, { 94, 196, 198, 281, 284, 303 }, { 187, 188, 196, 284 }, { 187, 279, 284, 285 }, { 34, 35, 179, 201 }, { 34, 52, 53, 201, 206 }, { 201, 206, 208, 210, 242, 267 }, { 34, 54, 187, 206 }, { 215, 217, 231, 238 }, { 122, 219, 238, 242 }, { 58, 215, 219, 238 }, { 61, 62, 77, 238 }, { 61, 62, 67, 86, 238 }, { 62, 67, 73, 76, 77 }, { 67, 76, 86, 238 }, { 77, 92, 94, 178 }, { 77, 178, 238, 256 }, { 76, 77, 111, 290, 291, 304 }, { 76, 101, 104, 111, 119 }, { 76, 117, 119, 231 }, { 76, 217, 231, 238 }, { 123, 238, 239, 242 }, { 177, 239, 242, 244, 246 }, { 129, 177, 238, 239 }, { 177, 178, 238, 256 }, { 295, 296, 297, 299, 301, 305 }, { 134, 171, 296, 301, 306 }, { 134, 141, 143, 171, 301 }, { 160, 171, 269, 270 }, { 143, 146, 262, 267 }, { 143, 152, 159, 171, 262, 269 }, { 18, 262, 267, 269, 270 }, { 177, 179, 201, 242 }, { 94, 177, 178, 179 }, { 28, 187, 206, 267 }, { 28, 187, 188, 196 }, { 94, 179, 279, 303 }, { 94, 196, 279, 284, 303 }, { 187, 196, 279, 284 }, { 34, 179, 201, 242 }, { 34, 201, 206, 242, 267 }, { 34, 187, 206, 267 }, { 119, 215, 231, 238 }, { 215, 219, 238, 242 }, { 62, 67, 76, 77, 238 }, { 77, 94, 178, 238 }, { 76, 77, 94, 111, 119, 291 }, { 76, 119, 231, 238 }, { 177, 238, 239, 242 }, { 94, 177, 178, 238 }, { 143, 171, 296, 297, 301, 307 }, { 143, 171, 262, 267, 269, 270 }, { 94, 177, 179, 242 }, { 28, 187, 196, 267 }, { 94, 179, 187, 196, 279 }, { 34, 179, 187, 242, 267 }, { 119, 215, 238, 242 }, { 76, 77, 94, 119, 238 }, { 94, 177, 238, 242 }, { 143, 171, 242, 267, 270, 307 }, { 94, 179, 187, 196, 242, 267 }, { 94, 119, 238, 242 }, { 94, 119, 196, 242, 267, 270, 308, 309, 310 }, { 94, 119, 196, 308, 309, 310, 311, 312, 313, 314, 315, 316 } ] /* Faces of top cells */ [ [ { 2, 3, 4 }, { 1, 3, 4 }, { 1, 2, 4 }, { 1, 2, 3 } ], [ { 2, 5, 6 }, { 1, 2, 6 }, { 1, 2, 5 }, { 1, 5, 6 } ], [ { 8, 9, 10 }, { 7, 9, 10 }, { 7, 8, 10 }, { 7, 8, 9 } ], [ { 2, 3, 11 }, { 1, 2, 3 }, { 1, 3, 11 }, { 1, 2, 11 } ], [ { 2, 5, 12 }, { 1, 2, 5 }, { 1, 2, 12 }, { 1, 5, 12 } ], [ { 14, 15, 16 }, { 13, 14, 16, 17 }, { 13, 14, 15 }, { 13, 15, 17 }, { 15, 16, 17 } ], [ { 19, 20, 21 }, { 18, 20, 21 }, { 18, 19, 21 }, { 18, 19, 20 } ], [ { 20, 22, 23 }, { 18, 22, 23 }, { 18, 20, 23 }, { 18, 20, 22 } ], [ { 25, 26, 27 }, { 24, 26, 27 }, { 24, 25, 27 }, { 24, 25, 26 } ], [ { 29, 30, 31 }, { 28, 30, 31 }, { 28, 29, 31 }, { 28, 29, 30 } ], [ { 29, 30, 33 }, { 30, 32, 33 }, { 29, 30, 32 }, { 29, 32, 33 } ], [ { 8, 9, 34 }, { 7, 8, 9 }, { 7, 9, 34 }, { 7, 8, 34 } ], [ { 9, 10, 35 }, { 8, 10, 35 }, { 8, 9, 10 }, { 8, 9, 35 } ], [ { 35, 36, 37 }, { 8, 35, 37 }, { 8, 36, 37 }, { 8, 35, 36 } ], [ { 38, 39, 40 }, { 34, 39, 40 }, { 34, 38, 40 }, { 34, 38, 39 } ], [ { 41, 43, 44 }, { 41, 42, 44 }, { 39, 41, 42, 43 }, { 39, 42, 44 }, { 39, 43, 44 } ], [ { 42, 45, 46 }, { 34, 42, 46 }, { 34, 45, 46 }, { 34, 42, 45 } ], [ { 48, 49, 50 }, { 47, 48, 50, 51 }, { 47, 48, 49 }, { 49, 50, 51 }, { 47, 49, 51 } ], [ { 41, 49, 53 }, { 49, 52, 53 }, { 41, 43, 52, 53 }, { 41, 43, 49 }, { 43, 49, 52 } ], [ { 2, 11, 54 }, { 1, 2, 11 }, { 1, 2, 54 }, { 1, 11, 54 } ], [ { 5, 12, 34 }, { 1, 5, 12 }, { 1, 5, 34 }, { 1, 12, 34 } ], [ { 2, 12, 54 }, { 1, 2, 12 }, { 1, 2, 54 }, { 1, 12, 54 } ], [ { 12, 54, 56 }, { 12, 55, 56 }, { 54, 55, 56 }, { 12, 54, 55 } ], [ { 58, 59, 60 }, { 57, 59, 60 }, { 57, 58, 60 }, { 57, 58, 59 } ], [ { 62, 63, 64 }, { 61, 63, 64 }, { 61, 62, 64 }, { 61, 62, 63 } ], [ { 66, 67, 69 }, { 65, 67, 69 }, { 65, 66, 67, 68 }, { 66, 68, 69 }, { 65, 68, 69 } ], [ { 62, 71, 72 }, { 62, 70, 72 }, { 70, 71, 72 }, { 62, 70, 71 } ], [ { 70, 74, 75 }, { 70, 73, 75 }, { 70, 73, 74 }, { 73, 74, 75 } ], [ { 62, 70, 72 }, { 62, 72, 75 }, { 70, 72, 75 }, { 62, 70, 75 } ], [ { 77, 78, 79 }, { 76, 77, 79, 81 }, { 76, 77, 78, 80 }, { 78, 79, 80, 81 }, { 76, 80, 81 } ], [ { 82, 83, 84 }, { 73, 83, 84 }, { 73, 82, 84 }, { 73, 82, 83 } ], [ { 67, 84, 85 }, { 83, 84, 85 }, { 67, 83, 85 }, { 67, 83, 84 } ], [ { 67, 87, 88 }, { 86, 87, 88 }, { 67, 86, 88 }, { 67, 86, 87 } ], [ { 67, 85, 89 }, { 83, 85, 89 }, { 67, 83, 85 }, { 67, 83, 89 } ], [ { 91, 92, 93 }, { 90, 92, 93 }, { 90, 91, 93 }, { 90, 91, 92 } ], [ { 92, 95, 96 }, { 92, 94, 96 }, { 92, 94, 95 }, { 94, 95, 96 } ], [ { 98, 99, 100 }, { 97, 99, 100 }, { 97, 98, 100 }, { 97, 98, 99 } ], [ { 99, 101, 102 }, { 98, 99, 102 }, { 98, 99, 101 }, { 98, 101, 102 } ], [ { 98, 103, 104 }, { 97, 103, 104 }, { 97, 98, 104 }, { 97, 98, 103 } ], [ { 104, 106, 107 }, { 105, 106, 107 }, { 104, 105, 107 }, { 104, 105, 106 } ], [ { 106, 108, 109 }, { 104, 106, 109 }, { 104, 108, 109 }, { 104, 106, 108 } ], [ { 111, 112, 113 }, { 110, 112, 113 }, { 110, 111, 113 }, { 110, 111, 112 } ], [ { 101, 112, 114 }, { 110, 112, 114 }, { 101, 110, 114 }, { 101, 110, 112 } ], [ { 116, 117, 118 }, { 115, 117, 118 }, { 115, 116, 118 }, { 115, 116, 117 } ], [ { 117, 120, 121 }, { 117, 119, 121 }, { 117, 119, 120 }, { 119, 120, 121 } ], [ { 123, 124, 126 }, { 122, 123, 126, 127 }, { 122, 123, 124, 125 }, { 124, 125, 126, 127 }, { 122, 125, 127 } ], [ { 129, 130, 131 }, { 128, 130, 131 }, { 128, 129, 131 }, { 128, 129, 130 } ], [ { 132, 134, 135 }, { 132, 133, 135 }, { 14, 132, 133, 134 }, { 14, 134, 135 }, { 14, 133, 135 } ], [ { 14, 134, 137 }, { 14, 136, 137 }, { 134, 136, 137 }, { 14, 134, 136 } ], [ { 13, 14, 138, 139 }, { 13, 136, 138, 140 }, { 13, 14, 136 }, { 14, 136, 139, 140 }, { 138, 139, 140 } ], [ { 13, 14, 15 }, { 14, 15, 141 }, { 13, 15, 141 }, { 13, 14, 141 } ], [ { 143, 144, 145 }, { 142, 144, 145 }, { 142, 143, 145 }, { 142, 143, 144 } ], [ { 144, 146, 147 }, { 142, 144, 146 }, { 142, 146, 147, 148 }, { 142, 144, 148 }, { 144, 147, 148 } ], [ { 144, 146, 149 }, { 143, 144, 149 }, { 143, 146, 149 }, { 143, 144, 146 } ], [ { 146, 151, 152 }, { 150, 151, 152 }, { 146, 150, 152 }, { 146, 150, 151 } ], [ { 146, 152, 153 }, { 150, 152, 153 }, { 146, 150, 153 }, { 146, 150, 152 } ], [ { 154, 156, 158 }, { 154, 155, 158 }, { 154, 155, 156, 157 }, { 156, 157, 158 }, { 155, 157, 158 } ], [ { 160, 161, 162 }, { 159, 161, 162 }, { 159, 160, 162 }, { 159, 160, 161 } ], [ { 160, 162, 163 }, { 159, 162, 163 }, { 159, 160, 163 }, { 159, 160, 162 } ], [ { 152, 153, 164 }, { 143, 152, 153 }, { 143, 153, 164 }, { 143, 152, 164 } ], [ { 166, 167, 168, 169 }, { 165, 166, 168 }, { 165, 166, 167 }, { 165, 168, 169 }, { 165, 167, 169 } ], [ { 159, 168, 170 }, { 152, 159, 168, 169 }, { 152, 159, 170 }, { 152, 169, 170 }, { 168, 169, 170 } ], [ { 159, 161, 172 }, { 161, 171, 172 }, { 159, 171, 172 }, { 159, 161, 171 } ], [ { 143, 171, 173 }, { 13, 136, 143, 171 }, { 136, 171, 173 }, { 13, 143, 173 }, { 13, 136, 173 } ], [ { 165, 172, 173 }, { 165, 171, 172 }, { 171, 172, 173 }, { 165, 171, 173 } ], [ { 143, 164, 165 }, { 164, 165, 173 }, { 143, 165, 173 }, { 143, 164, 173 } ], [ { 174, 175, 176 }, { 20, 175, 176 }, { 20, 174, 176 }, { 20, 174, 175 } ], [ { 19, 20, 175 }, { 18, 20, 175 }, { 18, 19, 175 }, { 18, 19, 20 } ], [ { 20, 22, 174 }, { 18, 22, 174 }, { 18, 20, 174 }, { 18, 20, 22 } ], [ { 25, 26, 27 }, { 26, 27, 177 }, { 25, 27, 177 }, { 25, 26, 177 } ], [ { 179, 180, 181 }, { 178, 180, 181 }, { 178, 179, 181 }, { 178, 179, 180 } ], [ { 180, 182, 183 }, { 178, 182, 183 }, { 178, 180, 183 }, { 178, 180, 182 } ], [ { 179, 184, 185 }, { 177, 184, 185 }, { 177, 179, 185 }, { 177, 179, 184 } ], [ { 183, 184, 186 }, { 177, 183, 186 }, { 177, 183, 184 }, { 177, 184, 186 } ], [ { 180, 183, 184 }, { 179, 183, 184 }, { 179, 180, 183 }, { 179, 180, 184 } ], [ { 29, 30, 33 }, { 28, 30, 33 }, { 28, 29, 30 }, { 28, 29, 33 } ], [ { 188, 189, 190 }, { 187, 189, 190 }, { 187, 188, 190 }, { 187, 188, 189 } ], [ { 190, 191, 192 }, { 188, 190, 192 }, { 188, 191, 192 }, { 188, 190, 191 } ], [ { 28, 193, 194 }, { 28, 187, 194 }, { 187, 193, 194 }, { 28, 187, 193 } ], [ { 190, 192, 194 }, { 187, 192, 194 }, { 187, 190, 194 }, { 187, 190, 192 } ], [ { 28, 192, 194 }, { 192, 194, 195 }, { 28, 194, 195 }, { 28, 192, 195 } ], [ { 196, 198, 199, 200 }, { 196, 197, 199 }, { 196, 197, 198 }, { 197, 199, 200 }, { 197, 198, 200 } ], [ { 8, 9, 35 }, { 9, 34, 35 }, { 8, 34, 35 }, { 8, 9, 34 } ], [ { 35, 37, 201 }, { 8, 35, 37 }, { 8, 37, 201 }, { 8, 35, 201 } ], [ { 25, 26, 35 }, { 26, 35, 179 }, { 25, 35, 179 }, { 25, 26, 179 } ], [ { 26, 35, 37 }, { 35, 37, 201 }, { 26, 37, 201 }, { 26, 35, 201 } ], [ { 34, 39, 40 }, { 39, 40, 52 }, { 34, 40, 52 }, { 34, 39, 52 } ], [ { 34, 42, 203 }, { 39, 42, 202, 203 }, { 34, 202, 203 }, { 34, 39, 42 }, { 34, 39, 202 } ], [ { 41, 42, 53 }, { 39, 42, 52, 53 }, { 41, 43, 52, 53 }, { 39, 41, 42, 43 }, { 39, 43, 52 } ], [ { 42, 45, 53 }, { 34, 42, 45 }, { 34, 42, 53 }, { 34, 45, 53 } ], [ { 8, 201, 204 }, { 34, 201, 204 }, { 8, 34, 204 }, { 8, 34, 201 } ], [ { 48, 53, 205 }, { 48, 201, 205 }, { 53, 201, 205 }, { 48, 53, 201 } ], [ { 47, 49, 52 }, { 49, 52, 53 }, { 47, 48, 52, 53 }, { 48, 49, 53 }, { 47, 48, 49 } ], [ { 47, 206, 207 }, { 47, 52, 207 }, { 52, 206, 207 }, { 47, 52, 206 } ], [ { 208, 210, 212 }, { 208, 209, 212 }, { 208, 209, 210, 211 }, { 209, 211, 212 }, { 210, 211, 212 } ], [ { 54, 187, 213 }, { 1, 11, 187, 213 }, { 1, 54, 187 }, { 1, 11, 54 }, { 11, 54, 213 } ], [ { 12, 34, 54 }, { 1, 12, 54 }, { 1, 12, 34 }, { 1, 34, 54 } ], [ { 12, 206, 214 }, { 12, 34, 214 }, { 34, 206, 214 }, { 12, 34, 206 } ], [ { 12, 56, 206 }, { 12, 54, 56 }, { 54, 56, 206 }, { 12, 54, 206 } ], [ { 29, 33, 54 }, { 29, 33, 187 }, { 33, 54, 187 }, { 29, 54, 187 } ], [ { 33, 56, 206 }, { 33, 54, 56 }, { 54, 56, 206 }, { 33, 54, 206 } ], [ { 216, 217, 218 }, { 215, 217, 218 }, { 215, 216, 218 }, { 215, 216, 217 } ], [ { 58, 59, 217 }, { 59, 215, 217 }, { 58, 59, 215 }, { 58, 215, 217 } ], [ { 59, 219, 220 }, { 59, 215, 220 }, { 215, 219, 220 }, { 59, 215, 219 } ], [ { 58, 59, 219 }, { 57, 59, 219 }, { 57, 58, 59 }, { 57, 58, 219 } ], [ { 62, 63, 71 }, { 61, 62, 63 }, { 61, 63, 71 }, { 61, 62, 71 } ], [ { 65, 66, 67, 68 }, { 66, 67, 86 }, { 65, 67, 86, 221 }, { 66, 68, 86, 221 }, { 65, 68, 221 } ], [ { 62, 70, 71 }, { 62, 71, 77 }, { 62, 70, 77 }, { 70, 71, 77 } ], [ { 62, 70, 75 }, { 62, 70, 73 }, { 62, 73, 75 }, { 70, 73, 75 } ], [ { 222, 223, 224 }, { 73, 223, 224 }, { 73, 222, 224 }, { 73, 222, 223 } ], [ { 70, 83, 225 }, { 73, 83, 225 }, { 70, 73, 225 }, { 70, 73, 83 } ], [ { 70, 77, 79 }, { 70, 76, 77, 83 }, { 76, 77, 79, 81 }, { 70, 79, 81, 83 }, { 76, 81, 83 } ], [ { 67, 83, 84 }, { 67, 73, 84 }, { 73, 83, 84 }, { 67, 73, 83 } ], [ { 76, 89, 226 }, { 86, 89, 226 }, { 76, 86, 226 }, { 76, 86, 89 } ], [ { 67, 87, 89 }, { 86, 87, 89 }, { 67, 86, 89 }, { 67, 86, 87 } ], [ { 67, 83, 89 }, { 67, 76, 89 }, { 76, 83, 89 }, { 67, 76, 83 } ], [ { 90, 91, 92 }, { 91, 92, 178 }, { 90, 92, 178 }, { 90, 91, 178 } ], [ { 91, 92, 95 }, { 91, 92, 94 }, { 92, 94, 95 }, { 91, 94, 95 } ], [ { 92, 96, 227 }, { 92, 94, 96 }, { 92, 94, 227 }, { 94, 96, 227 } ], [ { 98, 101, 228 }, { 101, 119, 228 }, { 98, 101, 119 }, { 98, 119, 228 } ], [ { 98, 104, 121 }, { 98, 104, 119 }, { 104, 119, 121 }, { 98, 119, 121 } ], [ { 98, 101, 104 }, { 97, 99, 101, 104 }, { 97, 98, 104 }, { 98, 99, 101 }, { 97, 98, 99 } ], [ { 104, 121, 229 }, { 104, 119, 229 }, { 104, 119, 121 }, { 119, 121, 229 } ], [ { 101, 228, 230 }, { 101, 119, 230 }, { 119, 228, 230 }, { 101, 119, 228 } ], [ { 104, 106, 107 }, { 76, 106, 107 }, { 76, 104, 107 }, { 76, 104, 106 } ], [ { 101, 104, 108 }, { 101, 108, 110 }, { 101, 104, 106, 110 }, { 106, 108, 110 }, { 104, 106, 108 } ], [ { 101, 111, 112 }, { 101, 110, 112 }, { 110, 111, 112 }, { 101, 110, 111 } ], [ { 116, 117, 120 }, { 116, 117, 119 }, { 117, 119, 120 }, { 116, 119, 120 } ], [ { 116, 117, 231 }, { 115, 116, 117 }, { 115, 117, 231 }, { 115, 116, 231 } ], [ { 117, 121, 229 }, { 117, 119, 229 }, { 117, 119, 121 }, { 119, 121, 229 } ], [ { 117, 232, 233 }, { 117, 231, 233 }, { 231, 232, 233 }, { 117, 231, 232 } ], [ { 76, 117, 229 }, { 117, 229, 234 }, { 76, 117, 234 }, { 76, 229, 234 } ], [ { 76, 234, 236, 237 }, { 76, 217, 234, 235 }, { 76, 217, 236 }, { 217, 235, 236, 237 }, { 234, 235, 237 } ], [ { 123, 126, 238 }, { 122, 123, 126, 127 }, { 122, 123, 238 }, { 126, 127, 238 }, { 122, 127, 238 } ], [ { 239, 240, 241 }, { 123, 240, 241 }, { 123, 239, 241 }, { 123, 239, 240 } ], [ { 240, 243, 244 }, { 240, 242, 244 }, { 242, 243, 244, 245 }, { 240, 243, 245 }, { 240, 242, 245 } ], [ { 239, 247, 248 }, { 246, 247, 248 }, { 239, 246, 248 }, { 239, 246, 247 } ], [ { 177, 249, 250 }, { 177, 246, 248, 250 }, { 177, 246, 249, 251 }, { 248, 249, 250, 251 }, { 246, 248, 251 } ], [ { 177, 250, 252 }, { 239, 250, 252 }, { 177, 239, 252 }, { 177, 239, 250 } ], [ { 123, 129, 239 }, { 128, 129, 239 }, { 123, 128, 129 }, { 123, 128, 239 } ], [ { 130, 177, 252 }, { 130, 239, 252 }, { 177, 239, 252 }, { 130, 177, 239 } ], [ { 129, 130, 239 }, { 128, 129, 130 }, { 128, 130, 239 }, { 128, 129, 239 } ], [ { 178, 254, 255, 257 }, { 178, 253, 255, 256 }, { 178, 254, 256 }, { 253, 254, 256, 257 }, { 253, 255, 257 } ], [ { 177, 256, 258 }, { 254, 256, 258 }, { 177, 254, 258 }, { 177, 254, 256 } ], [ { 129, 238, 256 }, { 129, 256, 259 }, { 129, 238, 259, 260 }, { 238, 256, 260 }, { 256, 259, 260 } ], [ { 129, 130, 256 }, { 130, 177, 256 }, { 129, 130, 177 }, { 129, 177, 256 } ], [ { 14, 132, 133, 134 }, { 132, 134, 141, 261 }, { 132, 133, 261 }, { 14, 133, 141, 261 }, { 14, 134, 141 } ], [ { 14, 134, 136 }, { 14, 134, 171 }, { 14, 136, 171 }, { 134, 136, 171 } ], [ { 14, 143, 171 }, { 14, 136, 171 }, { 13, 136, 143, 171 }, { 13, 14, 143 }, { 13, 14, 136 } ], [ { 13, 14, 141 }, { 13, 14, 143 }, { 14, 141, 143 }, { 13, 141, 143 } ], [ { 146, 263, 264, 265 }, { 262, 263, 264, 266 }, { 146, 262, 263 }, { 146, 262, 265, 266 }, { 264, 265, 266 } ], [ { 142, 146, 263, 268 }, { 263, 267, 268 }, { 142, 267, 268 }, { 146, 263, 267 }, { 142, 146, 267 } ], [ { 143, 144, 146 }, { 142, 144, 146 }, { 142, 143, 144 }, { 142, 143, 146 } ], [ { 146, 151, 152 }, { 151, 152, 262 }, { 146, 152, 262 }, { 146, 151, 262 } ], [ { 146, 152, 153 }, { 143, 152, 153 }, { 143, 146, 153 }, { 143, 146, 152 } ], [ { 152, 154, 155 }, { 152, 155, 157, 159 }, { 152, 154, 156, 159 }, { 154, 155, 156, 157 }, { 156, 157, 159 } ], [ { 159, 160, 161 }, { 160, 161, 171 }, { 159, 161, 171 }, { 159, 160, 171 } ], [ { 160, 163, 269 }, { 159, 160, 163 }, { 159, 163, 269 }, { 159, 160, 269 } ], [ { 152, 164, 165 }, { 143, 152, 165 }, { 143, 164, 165 }, { 143, 152, 164 } ], [ { 159, 165, 168 }, { 152, 159, 168, 169 }, { 152, 159, 165 }, { 152, 165, 169 }, { 165, 168, 169 } ], [ { 159, 165, 172 }, { 165, 171, 172 }, { 159, 171, 172 }, { 159, 165, 171 } ], [ { 143, 165, 173 }, { 143, 165, 171 }, { 165, 171, 173 }, { 143, 171, 173 } ], [ { 20, 174, 175 }, { 18, 174, 175 }, { 18, 20, 175 }, { 18, 20, 174 } ], [ { 18, 19, 175 }, { 19, 175, 262 }, { 18, 175, 262 }, { 18, 19, 262 } ], [ { 18, 22, 174 }, { 22, 174, 269 }, { 18, 174, 269 }, { 18, 22, 269 } ], [ { 269, 271, 272 }, { 269, 270, 272 }, { 269, 270, 271 }, { 270, 271, 272 } ], [ { 270, 272, 273 }, { 267, 270, 273, 275 }, { 267, 270, 272, 274 }, { 272, 273, 274, 275 }, { 267, 274, 275 } ], [ { 262, 263, 274 }, { 263, 267, 274 }, { 262, 267, 274 }, { 262, 263, 267 } ], [ { 25, 26, 179 }, { 25, 26, 177 }, { 26, 177, 179 }, { 25, 177, 179 } ], [ { 177, 183, 276 }, { 178, 183, 276 }, { 177, 178, 183 }, { 177, 178, 276 } ], [ { 179, 180, 183 }, { 178, 180, 183 }, { 178, 179, 183 }, { 178, 179, 180 } ], [ { 179, 183, 184 }, { 177, 183, 184 }, { 177, 179, 183 }, { 177, 179, 184 } ], [ { 28, 29, 33 }, { 29, 33, 187 }, { 28, 33, 187 }, { 28, 29, 187 } ], [ { 188, 190, 192 }, { 187, 190, 192 }, { 187, 188, 192 }, { 187, 188, 190 } ], [ { 28, 192, 194 }, { 187, 192, 194 }, { 28, 187, 194 }, { 28, 187, 192 } ], [ { 28, 192, 277 }, { 188, 192, 277 }, { 28, 188, 192 }, { 28, 188, 277 } ], [ { 179, 279, 280 }, { 278, 279, 280 }, { 179, 278, 280 }, { 179, 278, 279 } ], [ { 94, 196, 197, 282 }, { 94, 196, 198, 281 }, { 196, 197, 198 }, { 197, 198, 281, 282 }, { 94, 281, 282 } ], [ { 188, 283, 284 }, { 196, 283, 284 }, { 188, 196, 284 }, { 188, 196, 283 } ], [ { 188, 284, 285 }, { 187, 284, 285 }, { 187, 188, 285 }, { 187, 188, 284 } ], [ { 279, 285, 286 }, { 187, 285, 286 }, { 187, 279, 285 }, { 187, 279, 286 } ], [ { 9, 35, 179 }, { 9, 34, 35 }, { 34, 35, 179 }, { 9, 34, 179 } ], [ { 8, 35, 201 }, { 34, 35, 201 }, { 8, 34, 35 }, { 8, 34, 201 } ], [ { 26, 35, 201 }, { 26, 35, 179 }, { 35, 179, 201 }, { 26, 179, 201 } ], [ { 34, 42, 53 }, { 39, 42, 52, 53 }, { 34, 52, 53 }, { 34, 39, 42 }, { 34, 39, 52 } ], [ { 53, 201, 204 }, { 34, 53, 204 }, { 34, 201, 204 }, { 34, 53, 201 } ], [ { 34, 206, 214 }, { 52, 206, 214 }, { 34, 52, 214 }, { 34, 52, 206 } ], [ { 47, 48, 201, 206 }, { 47, 52, 206 }, { 52, 53, 201, 206 }, { 47, 48, 52, 53 }, { 48, 53, 201 } ], [ { 208, 209, 242 }, { 209, 211, 242, 267 }, { 208, 210, 242, 267 }, { 208, 209, 210, 211 }, { 210, 211, 267 } ], [ { 34, 54, 187 }, { 1, 54, 187 }, { 1, 34, 54 }, { 1, 34, 187 } ], [ { 12, 54, 206 }, { 12, 34, 206 }, { 12, 34, 54 }, { 34, 54, 206 } ], [ { 33, 54, 206 }, { 33, 187, 206 }, { 33, 54, 187 }, { 54, 187, 206 } ], [ { 215, 216, 217 }, { 216, 217, 231 }, { 215, 217, 231 }, { 215, 216, 231 } ], [ { 219, 242, 287 }, { 122, 219, 287 }, { 122, 242, 287 }, { 122, 219, 242 } ], [ { 58, 217, 238 }, { 58, 215, 217 }, { 215, 217, 238 }, { 58, 215, 238 } ], [ { 58, 59, 219 }, { 59, 215, 219 }, { 58, 59, 215 }, { 58, 215, 219 } ], [ { 58, 219, 238 }, { 58, 122, 219 }, { 122, 219, 238 }, { 58, 122, 238 } ], [ { 61, 62, 71 }, { 62, 71, 77 }, { 61, 62, 77 }, { 61, 71, 77 } ], [ { 66, 67, 86 }, { 61, 62, 67, 86 }, { 61, 66, 86, 288 }, { 62, 66, 67, 288 }, { 61, 62, 288 } ], [ { 62, 70, 73 }, { 62, 70, 77 }, { 62, 73, 77 }, { 70, 73, 77 } ], [ { 62, 67, 222, 223 }, { 62, 73, 222 }, { 62, 67, 73 }, { 73, 222, 223 }, { 67, 73, 223 } ], [ { 70, 73, 77 }, { 70, 76, 77, 83 }, { 73, 76, 77 }, { 73, 76, 83 }, { 70, 73, 83 } ], [ { 67, 73, 83 }, { 67, 76, 83 }, { 67, 73, 76 }, { 73, 76, 83 } ], [ { 76, 226, 238, 289 }, { 86, 238, 289 }, { 76, 86, 238 }, { 76, 86, 226 }, { 86, 226, 289 } ], [ { 67, 76, 89 }, { 67, 86, 89 }, { 76, 86, 89 }, { 67, 76, 86 } ], [ { 91, 92, 94 }, { 91, 92, 178 }, { 92, 94, 178 }, { 91, 94, 178 } ], [ { 77, 92, 227 }, { 92, 94, 227 }, { 77, 92, 94 }, { 77, 94, 227 } ], [ { 290, 291, 292 }, { 77, 291, 292, 293 }, { 77, 290, 291 }, { 77, 290, 293 }, { 290, 292, 293 } ], [ { 98, 101, 104 }, { 101, 104, 119 }, { 98, 104, 119 }, { 98, 101, 119 } ], [ { 76, 104, 229 }, { 104, 119, 229 }, { 76, 104, 119 }, { 76, 119, 229 } ], [ { 101, 111, 230 }, { 101, 119, 230 }, { 111, 119, 230 }, { 101, 111, 119 } ], [ { 76, 101, 104, 111 }, { 101, 110, 111 }, { 76, 106, 110, 111 }, { 101, 104, 106, 110 }, { 76, 104, 106 } ], [ { 116, 117, 231 }, { 116, 117, 119 }, { 117, 119, 231 }, { 116, 119, 231 } ], [ { 76, 117, 229 }, { 117, 119, 229 }, { 76, 117, 119 }, { 76, 119, 229 } ], [ { 76, 117, 231 }, { 76, 117, 234 }, { 76, 231, 233, 234 }, { 117, 233, 234 }, { 117, 231, 233 } ], [ { 76, 217, 234, 235 }, { 76, 231, 233, 234 }, { 233, 234, 235 }, { 217, 231, 233, 235 }, { 76, 217, 231 } ], [ { 76, 217, 236 }, { 76, 217, 238 }, { 76, 236, 238, 294 }, { 217, 236, 294 }, { 217, 238, 294 } ], [ { 123, 238, 242 }, { 122, 123, 238 }, { 122, 238, 242 }, { 122, 123, 242 } ], [ { 123, 239, 240 }, { 239, 240, 242 }, { 123, 240, 242 }, { 123, 239, 242 } ], [ { 239, 240, 244 }, { 240, 242, 244 }, { 239, 242, 244 }, { 239, 240, 242 } ], [ { 177, 239, 250 }, { 177, 246, 248, 250 }, { 177, 239, 246 }, { 239, 248, 250 }, { 239, 246, 248 } ], [ { 129, 238, 239 }, { 123, 129, 239 }, { 123, 129, 238 }, { 123, 238, 239 } ], [ { 129, 130, 177 }, { 129, 130, 239 }, { 130, 177, 239 }, { 129, 177, 239 } ], [ { 177, 254, 256 }, { 177, 178, 256 }, { 178, 254, 256 }, { 177, 178, 254 } ], [ { 129, 177, 256 }, { 129, 238, 256 }, { 177, 238, 256 }, { 129, 177, 238 } ], [ { 296, 297, 298, 300 }, { 295, 296, 297, 299 }, { 296, 298, 299 }, { 295, 298, 299, 300 }, { 295, 297, 300 } ], [ { 132, 134, 301, 302 }, { 134, 141, 301 }, { 132, 134, 141, 261 }, { 141, 261, 301, 302 }, { 132, 261, 302 } ], [ { 14, 141, 143 }, { 14, 143, 171 }, { 134, 141, 143, 171 }, { 14, 134, 171 }, { 14, 134, 141 } ], [ { 160, 269, 271 }, { 160, 269, 270 }, { 160, 270, 271 }, { 269, 270, 271 } ], [ { 146, 262, 263 }, { 146, 263, 267 }, { 146, 262, 267 }, { 262, 263, 267 } ], [ { 142, 143, 146 }, { 143, 146, 267 }, { 142, 146, 267 }, { 142, 143, 267 } ], [ { 143, 146, 152 }, { 146, 152, 262 }, { 143, 152, 262 }, { 143, 146, 262 } ], [ { 154, 156, 262, 269 }, { 152, 159, 262, 269 }, { 152, 154, 262 }, { 152, 154, 156, 159 }, { 156, 159, 269 } ], [ { 159, 160, 269 }, { 160, 171, 269 }, { 159, 160, 171 }, { 159, 171, 269 } ], [ { 143, 165, 171 }, { 159, 165, 171 }, { 143, 152, 159, 171 }, { 152, 159, 165 }, { 143, 152, 165 } ], [ { 18, 174, 269 }, { 174, 175, 262, 269 }, { 18, 262, 269 }, { 18, 175, 262 }, { 18, 174, 175 } ], [ { 18, 269, 272 }, { 18, 269, 270 }, { 18, 270, 272 }, { 269, 270, 272 } ], [ { 18, 270, 272 }, { 18, 267, 270 }, { 267, 270, 272, 274 }, { 18, 267, 274 }, { 18, 272, 274 } ], [ { 18, 262, 274 }, { 18, 267, 274 }, { 18, 262, 267 }, { 262, 267, 274 } ], [ { 26, 179, 201 }, { 26, 177, 201 }, { 26, 177, 179 }, { 177, 179, 201 } ], [ { 177, 179, 183 }, { 178, 179, 183 }, { 177, 178, 183 }, { 177, 178, 179 } ], [ { 28, 33, 206 }, { 33, 187, 206 }, { 28, 33, 187 }, { 28, 187, 206 } ], [ { 28, 188, 192 }, { 28, 187, 192 }, { 187, 188, 192 }, { 28, 187, 188 } ], [ { 94, 179, 303 }, { 94, 178, 179 }, { 178, 179, 303 }, { 94, 178, 303 } ], [ { 179, 279, 303 }, { 179, 278, 279 }, { 278, 279, 303 }, { 179, 278, 303 } ], [ { 94, 196, 198, 281 }, { 94, 196, 284, 303 }, { 94, 281, 303 }, { 198, 281, 284, 303 }, { 196, 198, 284 } ], [ { 188, 196, 284 }, { 187, 188, 284 }, { 187, 196, 284 }, { 187, 188, 196 } ], [ { 279, 284, 285 }, { 187, 279, 285 }, { 187, 284, 285 }, { 187, 279, 284 } ], [ { 35, 179, 201 }, { 34, 35, 201 }, { 34, 35, 179 }, { 34, 179, 201 } ], [ { 34, 201, 206 }, { 52, 53, 201, 206 }, { 34, 52, 206 }, { 34, 53, 201 }, { 34, 52, 53 } ], [ { 201, 208, 242 }, { 208, 210, 242, 267 }, { 201, 206, 242, 267 }, { 201, 206, 208, 210 }, { 206, 210, 267 } ], [ { 54, 187, 206 }, { 34, 54, 206 }, { 34, 187, 206 }, { 34, 54, 187 } ], [ { 215, 217, 238 }, { 217, 231, 238 }, { 215, 217, 231 }, { 215, 231, 238 } ], [ { 219, 238, 242 }, { 122, 219, 238 }, { 122, 219, 242 }, { 122, 238, 242 } ], [ { 58, 219, 238 }, { 58, 215, 219 }, { 215, 219, 238 }, { 58, 215, 238 } ], [ { 61, 62, 238 }, { 61, 62, 77 }, { 62, 77, 238 }, { 61, 77, 238 } ], [ { 61, 62, 67, 86 }, { 67, 86, 238 }, { 61, 86, 238 }, { 62, 67, 238 }, { 61, 62, 238 } ], [ { 67, 73, 76 }, { 62, 67, 76, 77 }, { 73, 76, 77 }, { 62, 67, 73 }, { 62, 73, 77 } ], [ { 67, 76, 238 }, { 67, 86, 238 }, { 67, 76, 86 }, { 76, 86, 238 } ], [ { 77, 92, 94 }, { 77, 92, 178 }, { 92, 94, 178 }, { 77, 94, 178 } ], [ { 77, 238, 256 }, { 178, 238, 256 }, { 77, 178, 256 }, { 77, 178, 238 } ], [ { 76, 77, 290, 304 }, { 76, 77, 111, 291 }, { 111, 290, 291, 304 }, { 77, 290, 291 }, { 76, 111, 304 } ], [ { 76, 101, 104, 111 }, { 101, 111, 119 }, { 76, 111, 119 }, { 76, 104, 119 }, { 101, 104, 119 } ], [ { 76, 117, 231 }, { 76, 117, 119 }, { 117, 119, 231 }, { 76, 119, 231 } ], [ { 76, 217, 238 }, { 217, 231, 238 }, { 76, 217, 231 }, { 76, 231, 238 } ], [ { 123, 238, 239 }, { 238, 239, 242 }, { 123, 239, 242 }, { 123, 238, 242 } ], [ { 177, 239, 242 }, { 177, 239, 246 }, { 177, 242, 244, 246 }, { 239, 242, 244 }, { 239, 244, 246 } ], [ { 129, 177, 239 }, { 129, 177, 238 }, { 129, 238, 239 }, { 177, 238, 239 } ], [ { 177, 238, 256 }, { 177, 178, 256 }, { 178, 238, 256 }, { 177, 178, 238 } ], [ { 295, 296, 297, 299 }, { 296, 297, 301 }, { 295, 297, 301, 305 }, { 296, 299, 301, 305 }, { 295, 299, 305 } ], [ { 134, 296, 301, 306 }, { 134, 171, 301 }, { 171, 296, 301 }, { 134, 171, 306 }, { 171, 296, 306 } ], [ { 141, 143, 301 }, { 143, 171, 301 }, { 134, 141, 143, 171 }, { 134, 171, 301 }, { 134, 141, 301 } ], [ { 160, 269, 270 }, { 160, 171, 269 }, { 160, 171, 270 }, { 171, 269, 270 } ], [ { 143, 146, 262 }, { 143, 146, 267 }, { 146, 262, 267 }, { 143, 262, 267 } ], [ { 143, 152, 159, 171 }, { 143, 171, 262, 269 }, { 159, 171, 269 }, { 152, 159, 262, 269 }, { 143, 152, 262 } ], [ { 18, 262, 267 }, { 18, 267, 270 }, { 262, 267, 269, 270 }, { 18, 269, 270 }, { 18, 262, 269 } ], [ { 177, 179, 201 }, { 179, 201, 242 }, { 177, 201, 242 }, { 177, 179, 242 } ], [ { 94, 177, 179 }, { 177, 178, 179 }, { 94, 178, 179 }, { 94, 177, 178 } ], [ { 28, 187, 206 }, { 28, 206, 267 }, { 187, 206, 267 }, { 28, 187, 267 } ], [ { 28, 188, 196 }, { 28, 187, 188 }, { 28, 187, 196 }, { 187, 188, 196 } ], [ { 94, 179, 279 }, { 179, 279, 303 }, { 94, 279, 303 }, { 94, 179, 303 } ], [ { 94, 196, 279 }, { 94, 279, 303 }, { 94, 196, 284, 303 }, { 279, 284, 303 }, { 196, 279, 284 } ], [ { 196, 279, 284 }, { 187, 279, 284 }, { 187, 196, 279 }, { 187, 196, 284 } ], [ { 34, 179, 201 }, { 179, 201, 242 }, { 34, 201, 242 }, { 34, 179, 242 } ], [ { 34, 201, 242 }, { 201, 206, 242, 267 }, { 34, 242, 267 }, { 34, 201, 206 }, { 34, 206, 267 } ], [ { 34, 187, 206 }, { 187, 206, 267 }, { 34, 206, 267 }, { 34, 187, 267 } ], [ { 215, 231, 238 }, { 119, 215, 238 }, { 119, 231, 238 }, { 119, 215, 231 } ], [ { 215, 219, 238 }, { 219, 238, 242 }, { 215, 219, 242 }, { 215, 238, 242 } ], [ { 67, 76, 238 }, { 62, 67, 76, 77 }, { 76, 77, 238 }, { 62, 67, 238 }, { 62, 77, 238 } ], [ { 77, 94, 238 }, { 77, 178, 238 }, { 94, 178, 238 }, { 77, 94, 178 } ], [ { 94, 111, 119, 291 }, { 76, 77, 94, 119 }, { 76, 111, 119 }, { 76, 77, 111, 291 }, { 77, 94, 291 } ], [ { 76, 231, 238 }, { 76, 119, 238 }, { 119, 231, 238 }, { 76, 119, 231 } ], [ { 177, 238, 239 }, { 177, 239, 242 }, { 177, 238, 242 }, { 238, 239, 242 } ], [ { 94, 177, 238 }, { 177, 178, 238 }, { 94, 177, 178 }, { 94, 178, 238 } ], [ { 143, 171, 301 }, { 143, 171, 307 }, { 171, 296, 307 }, { 171, 296, 301 }, { 143, 297, 307 }, { 143, 297, 301 }, { 296, 297, 301 }, { 296, 297, 307 } ], [ { 262, 267, 269, 270 }, { 143, 171, 267, 270 }, { 143, 171, 262, 269 }, { 143, 262, 267 }, { 171, 269, 270 } ], [ { 94, 177, 179 }, { 177, 179, 242 }, { 94, 179, 242 }, { 94, 177, 242 } ], [ { 28, 187, 196 }, { 28, 196, 267 }, { 28, 187, 267 }, { 187, 196, 267 } ], [ { 187, 196, 279 }, { 94, 196, 279 }, { 94, 179, 187, 196 }, { 179, 187, 279 }, { 94, 179, 279 } ], [ { 34, 187, 267 }, { 179, 187, 242, 267 }, { 34, 242, 267 }, { 34, 179, 242 }, { 34, 179, 187 } ], [ { 215, 238, 242 }, { 119, 215, 238 }, { 119, 238, 242 }, { 119, 215, 242 } ], [ { 94, 119, 238 }, { 76, 119, 238 }, { 76, 77, 94, 119 }, { 77, 94, 238 }, { 76, 77, 238 } ], [ { 94, 177, 238 }, { 177, 238, 242 }, { 94, 177, 242 }, { 94, 238, 242 } ], [ { 143, 171, 267, 270 }, { 171, 242, 270, 307 }, { 242, 267, 270 }, { 143, 242, 267, 307 }, { 143, 171, 307 } ], [ { 179, 187, 242, 267 }, { 94, 196, 242, 267 }, { 94, 179, 187, 196 }, { 187, 196, 267 }, { 94, 179, 242 } ], [ { 94, 238, 242 }, { 94, 119, 238 }, { 119, 238, 242 }, { 94, 119, 242 } ], [ { 94, 119, 196, 308, 309, 310 }, { 94, 119, 242 }, { 94, 196, 242, 267 }, { 267, 270, 308, 309 }, { 119, 242, 270, 310 }, { 242, 267, 270 }, { 196, 267, 308 }, { 270, 309, 310 } ], [ { 94, 119, 196, 308, 309, 310 }, { 94, 119, 311, 313, 314, 315 }, { 309, 310, 311, 312, 313, 316 }, { 196, 308, 312, 314, 315, 316 }, { 308, 309, 312 }, { 94, 196, 315 }, { 313, 314, 316 }, { 119, 310, 311 } ] ] /* Order of PGL_2(O) stabilizers of Voronoi top cells */ [ 2, 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, 2, 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, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 2, 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, 2, 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, 2, 2, 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, 2, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 3, 12 ] /* GAP id of GL_2(O) stabilizers of Voronoi top cells */ [ <4, 2>, <4, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <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>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 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>, <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>, <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>, <4, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <12, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 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>, <6, 2>, <2, 1>, <2, 1>, <6, 2>, <24, 3> ]