/* Defining polynomial */ x^2 - x + 199 /* Minimal vectors */ [ <110*w + 838, -111*w + 980>, <-110*w + 948, -w - 1817>, <433*w + 4990, -543*w + 3065>, <-433*w + 5423, -110*w - 7945>, <323*w + 5938, -544*w + 1248>, <-323*w + 6261, -221*w - 6965>, <-32*w + 16, 16*w - 407>, <9*w + 131, -13*w + 51>, <32*w + 255, -33*w + 280>, <-16*w + 263, -8*w - 323>, <-9*w + 140, -4*w - 178>, <16*w + 247, -24*w + 84>, <-32*w + 287, -w - 534>, <61*w + 466, -61*w + 527>, <195*w + 692, -146*w + 2059>, <-37*w + 1915, -98*w - 1351>, <-86*w + 2143, -86*w - 2057>, <-25*w + 2609, -147*w - 1530>, <134*w + 226, -85*w + 1532>, <12*w + 694, -49*w - 179>, <36*w + 3075, -208*w - 1003>, <-14*w + 300, -11*w - 312>, <24*w + 346, -34*w + 131>, <99*w + 821, -103*w + 825>, <-94*w + 975, -10*w - 1607>, <5*w + 1796, -113*w - 782>, <-25*w + 37, 11*w - 323>, <49*w + 130, -34*w + 538>, <24*w + 167, -23*w + 215>, <-64*w + 374, 11*w - 958>, <-42*w + 1128, -47*w - 1043>, <35*w + 430, -45*w + 226>, <10*w + 467, -34*w - 97>, <-70*w + 1370, -47*w - 1499>, <11*w + 263, -22*w + 11>, <-54*w + 483, -w - 887>, <47*w + 489, -55*w + 345>, <-4*w + 588, -34*w - 325>, <-14*w + 121, -228>, <-65*w + 220, 21*w - 898>, <-3*w + 384, -22*w - 217>, <-18*w + 709, -34*w - 553>, <-51*w + 99, 21*w - 670>, <36*w + 226, -33*w + 334>, <-15*w + 325, -12*w - 336>, <-29*w + 446, -12*w - 564>, <33*w + 610, -55*w + 117>, <16*w + 8, -9*w + 192>, <14*w + 9, -8*w + 167>, <-20*w + 173, -326>, <-6*w + 182, -8*w - 159>, <-7*w + 207, -9*w - 183>, <9*w + 215, -18*w + 9>, <-27*w + 38, 12*w - 348>, <-41*w + 159, 12*w - 576>, <-16*w + 301, -10*w - 337>, <41*w + 20, -23*w + 492>, <25*w + 321, -33*w + 155>, <-2*w + 359, -21*w - 193>, <9*w + 3, -5*w + 109>, <-6*w + 117, -4*w - 129>, <3*w + 120, -9*w - 20>, <-5*w + 595, -34*w - 343>, <-10*w + 22, 4*w - 133>, <-3*w + 26, -49>, <6*w + 94, -9*w + 29>, <4*w + 95, -8*w + 4>, <8*w + 191, -16*w + 8>, <-23*w + 199, -375>, <-18*w + 42, 7*w - 240>, <6*w + 192, -15*w - 17>, <5*w + 217, -16*w - 41>, <-15*w + 16, 7*w - 191>, <-w + 25, -w - 24>, <-10*w + 39, 3*w - 141>, , <65, -4*w - 31>, , <-9*w + 14, 4*w - 117>, <-5*w + 60, -w - 90>, <-5*w + 125, -5*w - 121>, <4*w + 46, -5*w + 27>, <211, -13*w - 101>, <159*w + 1182, -161*w + 1391>, <-157*w + 1389, -2621>, <-2471*w + 1618, 1259*w - 31372>, <2*w + 2571, -161*w - 1230>, <1259*w + 29348, -2518*w + 1259>, <-1212*w + 30966, -1259*w - 30113>, <-57*w + 38, 29*w - 724>, <-129*w + 675, 29*w - 1926>, <29*w + 676, -58*w + 29>, <30*w + 1857, -132*w - 535>, <-6*w + 5, 3*w - 77>, <-w + 73, -4*w - 48>, <5*w + 84, -8*w + 21>, <-w + 89, -5*w - 56>, <-4*w + 18, w - 58>, <3*w + 71, -6*w + 4>, <-6*w + 83, -2*w - 113>, , <-9*w + 12, 4*w - 117>, <-2*w + 33, -w - 40>, <7*w + 21, -5*w + 77>, <32, -2*w - 15>, <-646*w + 323, 323*w - 8213>, <859*w + 6563, -868*w + 7644>, <-859*w + 7422, -9*w - 14198>, <323*w + 7724, -656*w + 411>, <-323*w + 8047, -333*w - 7802>, <13985, -877*w - 6554>, <-213*w + 7099, -332*w - 5985>, <271, -17*w - 127>, <2*w + 15, -2*w + 18>, <-9*w + 108, -2*w - 163>, <-7*w + 123, -4*w - 145>, <6*w + 252, -19*w - 43>, <26*w + 3, -14*w + 323>, <12*w + 10, -7*w + 145>, <-19*w + 145, w - 305>, <7*w + 148, -13*w + 18>, <14*w + 328, -28*w + 21>, <-5*w + 138, -6*w - 127>, <-12*w + 293, -12*w - 287>, <-2*w + 2, w - 25>, <18*w + 115, -17*w + 158>, <-18*w + 151, w - 291>, <266, -16*w - 133>, , <17*w + 141, -18*w + 133>, <-16*w + 149, -266>, , <3*w + 5, -2*w + 34>, <-10*w + 27, 4*w - 135>, , <-2*w + 166, -9*w - 108>, , <-2*w + 35, -w - 42>, <-9*w + 67, w - 143>, <7*w + 99, -10*w + 35>, <-6*w + 6, 3*w - 76>, <-3*w + 11, w - 42>, <-w + 42, -2*w - 33>, <7*w + 17, -5*w + 76>, <-4*w + 21, w - 59>, <3*w + 38, -4*w + 17>, <-2*w + 134, -7*w - 92>, <3*w + 21, -3*w + 26>, <6*w + 26, -5*w + 60>, <49, -3*w - 25>, <3*w + 6, -2*w + 33>, <-2*w + 35, -w - 41>, , <8*w + 77, -9*w + 58>, <-w + 9, -16>, <50, -3*w - 24>, <-6*w + 22, 2*w - 83>, <-3*w + 44, -w - 58>, <-5*w + 46, -83>, <4*w + 79, -7*w + 9>, <-2*w + 101, -5*w - 74>, <2*w + 31, -3*w + 9>, <9*w + 49, -8*w + 85>, <16, -w - 8>, <-3*w + 27, -50>, <-318*w + 159, 159*w - 3962>, <159*w + 417, -110*w + 1748>, <-159*w + 576, 49*w - 2214>, <110*w + 1638, -159*w + 576>, <-110*w + 1748, -49*w - 2165>, <49*w + 2165, -159*w - 417>, <-49*w + 2214, -110*w - 1638>, <159*w + 3803, -318*w + 159>, <-159*w + 3962, -159*w - 3803>, <993, -61*w - 466>, <159*w + 1410, -171*w + 1282>, <12*w + 2680, -171*w - 1111>, <-49*w + 228, 12*w - 706>, <-122*w + 468, 36*w - 1711>, <36*w + 1675, -122*w - 346>, <-37*w + 515, -12*w - 694>, <61*w + 1459, -122*w + 61>, <-37*w + 1508, -73*w - 1160>, <-147*w + 1270, -2393>, <110*w + 238, -73*w + 1233>, <12*w + 108, -13*w + 96>, , <13*w + 311, -26*w + 13>, <-80*w + 691, -1302>, <-60*w + 95, 26*w - 778>, <-47*w + 406, -765>, <-10*w + 705, -38*w - 453>, <-24*w + 12, 12*w - 299>, <60*w + 491, -62*w + 503>, <36*w + 503, -50*w + 204>, <-23*w + 622, -26*w - 573>, <-12*w + 527, -26*w - 394>, <-36*w + 539, -14*w - 693>, <47*w + 587, -61*w + 299>, <12*w + 515, -38*w - 95>, <-47*w + 634, -14*w - 872>, <-60*w + 551, -2*w - 992>, <23*w + 599, -49*w>, <13*w + 83, -12*w + 120>, <-53*w + 767, -19*w - 1008>, <66*w + 797, -84*w + 433>, <-40*w + 850, -31*w - 888>, <53*w + 714, -72*w + 313>, <40*w + 810, -71*w + 109>, <1660, -102*w - 779>, <-13*w + 96, w - 204>, <66*w + 618, -73*w + 517>, <-66*w + 684, -7*w - 1128>, <-66*w + 863, -18*w - 1212>, <-3*w + 563, -33*w - 301>, <-30*w + 601, -21*w - 649>, <-27*w + 217, w - 432>, <77*w + 295, -59*w + 803>, <38*w + 46, -23*w + 443>, <-15*w + 504, -23*w - 420>, <23*w + 550, -46*w + 23>, <-39*w + 337, -635>, <-w + 383, -23*w - 192>, <-53*w + 637, -11*w - 947>, <-w + 204, -12*w - 108>, <-26*w + 241, -w - 431>, <-18*w + 1116, -59*w - 744>, <61*w + 189, -44*w + 657>, <-5*w + 792, -46*w - 433>, <-26*w + 62, 10*w - 347>, <23*w + 143, -21*w + 214>, <13*w + 34, -9*w + 143>, <-4*w + 181, -9*w - 134>, <-2*w + 180, -10*w - 109>, <-4*w + 539, -31*w - 302>, <-2*w + 34, -w - 41>, <9*w + 34, -7*w + 94>, <7*w + 68, -8*w + 53>, <-5*w + 109, -4*w - 114>, <-2*w + 115, -6*w - 80>, <4*w + 30, -4*w + 35>, <-2*w + 66, -3*w - 56>, <11*w + 131, -14*w + 73>, <-6*w + 133, -5*w - 137>, <2*w + 96, -7*w - 21>, <-11*w + 128, -2*w - 196>, <-2*w + 1, w - 25>, <7*w + 4, -4*w + 84>, <6*w + 29, -5*w + 60>, <-5*w + 92, -3*w - 105>, , <-2*w + 212, -12*w - 125>, <146, -9*w - 69>, <3*w + 6, -2*w + 34>, <11*w + 33, -8*w + 119>, , <4*w + 127, -10*w - 12>, <-6*w + 134, -5*w - 138>, <5*w + 5, -3*w + 59>, <-11*w + 15, 5*w - 142>, <9*w + 116, -12*w + 55>, <-28*w + 714, -29*w - 695>, <-4*w + 3, 2*w - 51>, <8*w + 58, -8*w + 71>, <-2*w + 130, -7*w - 88>, <-5*w + 12, 2*w - 68>, <14*w + 53, -11*w + 148>, <4*w + 61, -6*w + 20>, , <-7*w + 12, 3*w - 92>, <2*w + 31, -3*w + 10>, <-5*w + 43, -82>, <129, -8*w - 61>, <-7*w + 28, 2*w - 100>, <2*w + 63, -5*w - 5>, <6*w + 13, -4*w + 68>, <-6*w + 19, 2*w - 83>, , <-w + 57, -3*w - 39>, <7*w + 69, -8*w + 54>, <5*w + 70, -7*w + 29>, <-5*w + 75, -2*w - 97>, <-7*w + 76, -w - 122>, <145, -9*w - 68>, <-14*w + 7, 7*w - 177>, <4*w + 14, -3*w + 43>, <7*w + 181, -15*w + 2>, <-7*w + 188, -8*w - 175>, <5*w + 38, -5*w + 44>, <-3*w + 90, -4*w - 79>, <7*w + 5, -4*w + 84>, <129, -8*w - 60>, <-2*w + 65, -3*w - 55>, <-12*w + 22, 5*w - 160>, <19*w + 126, -18*w + 178>, <5*w + 133, -11*w>, <-7*w + 155, -6*w - 160>, <19*w + 158, -20*w + 163>, <-12*w + 325, -14*w - 302>, <1786, -112*w - 837>, <-14*w + 7, 7*w - 178>, <7*w + 1631, -106*w - 677>, <-7*w + 1638, -99*w - 855>, <-103*w + 793, 5*w - 1657>, <-40*w + 20, 20*w - 509>, <11*w + 114, -13*w + 84>, <-11*w + 125, -2*w - 196>, <239, -15*w - 112>, <20*w + 452, -39*w + 38>, <-20*w + 472, -19*w - 471>, <-w + 26, -w - 25>, <17*w + 91, -15*w + 158>, <-3*w + 244, -13*w - 158>, <16*w + 117, -16*w + 133>, <-17*w + 125, 2*w - 266>, <2*w + 264, -17*w - 108>, <15*w + 143, -17*w + 108>, <-13*w + 171, -3*w - 241>, <6*w + 10, -4*w + 67>, <4*w + 12, -3*w + 42>, <-3*w + 27, -49>, <-w + 59, -3*w - 41>, <33, -2*w - 16>, <3*w + 39, -4*w + 17>, , <4*w + 13, -3*w + 42>, <-2*w + 18, -33>, <-4*w + 20, w - 58>, <-8*w + 24, 3*w - 108>, <2*w + 81, -6*w - 16>, <3*w + 105, -8*w - 16>, <49, -3*w - 24>, <-61*w + 527, -993>, <-12*w + 299, -12*w - 287>, <-11*w + 502, -25*w - 370>, <2*w + 992, -62*w - 441>, <49*w, -26*w + 599>, <60*w + 84, -37*w + 694>, <36*w + 96, -25*w + 395>, <-36*w + 311, -586>, <-35*w + 921, -38*w - 860>, <48*w + 204, -38*w + 491>, <-23*w + 215, -w - 382>, <47*w + 180, -36*w + 490>, <-47*w + 227, 11*w - 681>, <23*w + 192, -24*w + 191>, <35*w + 300, -37*w + 287>, <-35*w + 335, -2*w - 585>, <-29*w + 1162, -56*w - 900>, <85*w + 177, -56*w + 956>, <12*w + 59, -10*w + 119>, <-40*w + 4, 21*w - 491>, <21*w + 502, -42*w + 21>, <-19*w + 506, -21*w - 470>, <-3*w + 10, w - 42>, <8*w + 27, -6*w + 86>, , <-2*w + 98, -5*w - 71>, <7*w + 20, -5*w + 76>, <13*w + 94, -13*w + 115>, <-13*w + 115, -217>, <209, -13*w - 102>, <6*w + 27, -5*w + 61>, <-2*w + 66, -3*w - 57>, <-2*w + 82, -4*w - 65>, <5*w + 4, -3*w + 60>, <6*w + 11, -4*w + 69>, <-5*w + 27, w - 75>, <194, -12*w - 91>, <2*w + 96, -7*w - 20>, <5*w + 22, -4*w + 52>, <-2*w + 17, -33>, <-19*w + 177, -w - 320>, <7*w + 116, -11*w + 33>, <2*w + 14, -2*w + 17>, <33, -2*w - 17>, <49*w + 179, -37*w + 515>, <37*w + 478, -49*w + 228>, <-12*w + 706, -37*w - 478>, <-98*w + 635, 13*w - 1496>, <13*w + 1483, -98*w - 537>, <36*w + 275, -36*w + 311>, <12*w + 287, -24*w + 12>, <-12*w + 120, -w - 203>, <179, -11*w - 84>, <2*w + 178, -12*w - 59>, <2*w + 357, -23*w - 143>, <-80*w + 40, 40*w - 997>, <40*w + 989, -82*w + 25>, <-40*w + 1029, -42*w - 972>, <-w + 41, -2*w - 32>, <-3*w + 91, -4*w - 80>, <3*w + 70, -6*w + 3>, <3*w + 7, -2*w + 34>, <-w + 8, -16>, <48, -3*w - 22>, , <2*w + 47, -4*w + 2>, <13*w + 96, -13*w + 114>, <-13*w + 114, -215>, <210, -13*w - 101>, <4*w + 13, -3*w + 43>, <-2*w + 50, -2*w - 49>, <-w + 57, -3*w - 40>, , <1, -1>, , <16, -w - 7>, <1, 0>, <0, 1> ] /* Voronoi top cells */ [ { 1, 2, 3, 4, 5, 6 }, { 7, 8, 9, 10 }, { 7, 11, 12, 13 }, { 14, 15, 16, 17, 18 }, { 14, 18, 19, 20, 21 }, { 22, 23, 24, 25, 26 }, { 27, 28, 29, 30, 31 }, { 27, 32, 33, 34 }, { 35, 36, 37, 38 }, { 35, 37, 39, 40, 41, 42 }, { 39, 42, 43, 44 }, { 39, 43, 45, 46, 47 }, { 48, 49, 50, 51, 52, 53 }, { 39, 54, 55, 56 }, { 56, 57, 58, 59 }, { 60, 61, 62, 63 }, { 61, 62, 64, 65, 66, 67 }, { 48, 49, 51, 52, 68, 69 }, { 65, 68, 70, 71, 72 }, { 49, 68, 73, 74 }, { 75, 76, 77, 78 }, { 77, 78, 79, 80, 81 }, { 79, 80, 82, 83 }, { 84, 85, 86, 87, 88, 89 }, { 84, 90, 91, 92, 93 }, { 94, 95, 96, 97 }, { 98, 99, 100, 101 }, { 99, 101, 102, 103 }, { 101, 103, 104, 105 }, { 106, 107, 108, 109, 110, 111 }, { 1, 6, 106, 109, 112 }, { 1, 2, 5, 6, 106 }, { 7, 8, 10, 11, 12 }, { 7, 8, 9, 113 }, { 7, 11, 13, 113 }, { 114, 115, 116, 117 }, { 118, 119, 120, 121, 122 }, { 120, 121, 123, 124 }, { 125, 126, 127, 128 }, { 129, 130, 131, 132 }, { 133, 134, 135, 136, 137 }, { 135, 136, 138, 139, 140 }, { 135, 141, 142, 143 }, { 144, 145, 146, 147 }, { 138, 148, 149, 150 }, { 151, 152, 153, 154 }, { 151, 153, 155, 156 }, { 125, 157, 158, 159, 160, 161 }, { 142, 143, 162, 163 }, { 142, 162, 164, 165 }, { 166, 167, 168, 169, 170, 171, 172, 173, 174 }, { 14, 167, 172, 175, 176, 177 }, { 17, 20, 178, 179, 180 }, { 14, 17, 18, 19, 20 }, { 175, 181, 182, 183 }, { 14, 175, 182, 184 }, { 14, 178, 182, 185 }, { 186, 187, 188, 189 }, { 187, 188, 190, 191, 192 }, { 193, 194, 195, 196 }, { 193, 197, 198, 199 }, { 193, 195, 200, 201 }, { 193, 198, 202, 203 }, { 204, 205, 206, 207 }, { 205, 207, 208, 209, 210 }, { 204, 205, 208, 211, 212, 213 }, { 208, 209, 211, 214 }, { 39, 54, 215, 216 }, { 22, 204, 217, 218 }, { 54, 204, 215, 217 }, { 22, 27, 219, 220, 221 }, { 22, 23, 24, 25, 219 }, { 22, 222, 223, 224 }, { 27, 29, 30, 222 }, { 22, 27, 221, 222 }, { 27, 32, 33, 38, 44 }, { 35, 37, 38, 39, 42, 44 }, { 27, 225, 226, 227 }, { 27, 44, 226, 228, 229 }, { 39, 43, 44, 45 }, { 44, 45, 225, 226 }, { 39, 45, 230, 231 }, { 49, 51, 53, 232, 233 }, { 39, 54, 56, 59 }, { 56, 57, 59, 234, 235 }, { 236, 237, 238, 239, 240 }, { 241, 242, 243, 244 }, { 242, 243, 245, 246 }, { 247, 248, 249, 250, 251 }, { 60, 61, 62, 65, 67 }, { 60, 67, 248, 252 }, { 60, 247, 248, 251 }, { 60, 65, 247, 253 }, { 49, 51, 68, 74, 247 }, { 65, 68, 72, 73, 74 }, { 254, 255, 256, 257, 258 }, { 77, 80, 259, 260, 261 }, { 76, 77, 78, 79, 80, 82 }, { 84, 85, 87, 90, 92, 262 }, { 95, 263, 264, 265 }, { 95, 266, 267, 268 }, { 95, 263, 264, 268 }, { 94, 95, 266, 269 }, { 94, 95, 97, 269 }, { 270, 271, 272, 273 }, { 105, 271, 274, 275 }, { 276, 277, 278, 279, 280, 281, 282, 283, 284 }, { 98, 105, 285, 286, 287, 288 }, { 99, 103, 289, 290 }, { 98, 99, 101, 103, 105 }, { 103, 289, 291, 292 }, { 103, 104, 105, 293 }, { 294, 295, 296, 297 }, { 118, 119, 121, 122, 298, 299 }, { 1, 2, 106, 109, 110, 300 }, { 1, 2, 301, 302, 303 }, { 1, 121, 301, 302, 304 }, { 7, 8, 11, 113 }, { 305, 306, 307, 308, 309, 310 }, { 114, 115, 116, 306 }, { 119, 120, 121, 123 }, { 125, 311, 312, 313 }, { 125, 127, 128, 312 }, { 128, 311, 312, 314 }, { 125, 126, 128, 315 }, { 129, 130, 131, 316 }, { 129, 311, 317, 318 }, { 129, 131, 132, 317 }, { 131, 311, 314, 317 }, { 125, 311, 319, 320 }, { 133, 138, 148, 164 }, { 133, 135, 142, 164 }, { 133, 135, 136, 138 }, { 135, 142, 143, 164 }, { 135, 138, 144, 145, 146 }, { 138, 148, 150, 164 }, { 151, 152, 153, 155 }, { 151, 155, 156, 321 }, { 129, 151, 152, 322 }, { 151, 322, 323, 324 }, { 322, 323, 324, 325 }, { 158, 326, 327, 328 }, { 125, 157, 158, 161, 328 }, { 125, 129, 157, 329, 330, 331 }, { 142, 143, 162, 164 }, { 125, 143, 158, 162 }, { 158, 162, 326, 327 }, { 162, 164, 165, 332 }, { 14, 167, 168, 169, 170, 171, 172, 175, 333 }, { 14, 17, 20, 178 }, { 14, 175, 178, 181, 182 }, { 334, 335, 336, 337 }, { 193, 338, 339, 340, 341 }, { 193, 194, 196, 339 }, { 186, 191, 339, 342 }, { 186, 187, 188, 191 }, { 193, 195, 196, 343 }, { 193, 197, 200, 344, 345 }, { 193, 197, 198, 346 }, { 193, 195, 200, 343 }, { 197, 200, 343, 346, 347, 348 }, { 193, 198, 203, 346 }, { 204, 205, 207, 208, 209, 211 }, { 39, 54, 204, 215 }, { 22, 204, 215, 217 }, { 22, 23, 27, 33, 219, 220 }, { 22, 204, 223, 349 }, { 22, 27, 29, 222, 223 }, { 27, 29, 225, 350 }, { 27, 33, 35, 38, 39, 44 }, { 27, 44, 225, 226 }, { 39, 44, 45, 225 }, { 39, 230, 231, 351 }, { 39, 45, 225, 231 }, { 39, 352, 353, 354 }, { 49, 51, 74, 232, 233, 247 }, { 39, 54, 59, 204 }, { 39, 56, 59, 234 }, { 271, 355, 356, 357 }, { 236, 239, 240, 254 }, { 76, 236, 238, 240 }, { 241, 247, 271, 358 }, { 241, 242, 243, 245 }, { 241, 245, 247, 248, 249, 250 }, { 60, 65, 67, 247, 248 }, { 65, 68, 74, 247 }, { 76, 82, 254, 255, 258 }, { 76, 77, 80, 82, 259 }, { 74, 76, 77, 359 }, { 90, 92, 262, 360, 361, 362 }, { 164, 363, 364, 365 }, { 97, 269, 366, 367 }, { 95, 263, 265, 366 }, { 95, 263, 266, 268, 269 }, { 95, 97, 269, 366 }, { 247, 270, 271, 358 }, { 270, 271, 272, 278 }, { 105, 271, 275, 368 }, { 247, 278, 279, 369 }, { 98, 105, 276, 277, 278, 279, 281, 282, 286 }, { 103, 247, 291, 370 }, { 98, 99, 103, 105, 289 }, { 98, 105, 277, 279, 289 }, { 103, 279, 289, 291 }, { 103, 105, 293, 371 }, { 294, 296, 297, 372 }, { 119, 121, 294, 297, 298, 373 }, { 1, 2, 121, 297, 300, 301 }, { 8, 11, 113, 301 }, { 8, 11, 114, 116, 306, 307, 308, 372, 374 }, { 114, 119, 121, 123 }, { 128, 131, 311, 314 }, { 125, 128, 311, 312 }, { 125, 128, 129, 131, 315, 316 }, { 129, 131, 311, 317 }, { 125, 311, 320, 375, 376 }, { 133, 135, 138, 164 }, { 125, 135, 143, 164 }, { 125, 135, 138, 145, 146, 375 }, { 138, 150, 164, 375 }, { 129, 151, 152, 155 }, { 151, 155, 321, 323 }, { 129, 151, 322, 323 }, { 129, 322, 323, 325 }, { 125, 158, 327, 328 }, { 125, 129, 157, 325, 328, 330 }, { 125, 143, 162, 164 }, { 125, 158, 162, 327 }, { 162, 164, 327, 332 }, { 14, 20, 175, 178, 181, 333, 377, 378, 379 }, { 334, 377, 378, 380, 381 }, { 20, 178, 193, 382, 383 }, { 187, 334, 335, 337 }, { 193, 334, 335, 339, 340 }, { 186, 193, 196, 339 }, { 186, 187, 191, 335, 339 }, { 186, 193, 196, 343 }, { 193, 197, 200, 343, 346 }, { 193, 203, 346, 384 }, { 59, 204, 234, 385 }, { 211, 385, 386, 387 }, { 204, 207, 209, 211, 388 }, { 204, 385, 388, 389 }, { 211, 385, 388, 390 }, { 22, 39, 204, 215 }, { 22, 23, 27, 33, 35, 39 }, { 22, 27, 29, 204, 223, 225 }, { 27, 39, 44, 225 }, { 39, 225, 231, 351 }, { 39, 234, 351, 352, 354 }, { 74, 232, 233, 234, 247, 351 }, { 39, 59, 204, 234 }, { 271, 355, 356, 391 }, { 76, 236, 240, 254 }, { 241, 242, 247, 271 }, { 241, 242, 245, 247, 248 }, { 65, 67, 74, 247, 248, 392 }, { 76, 82, 254, 259 }, { 74, 76, 77, 259 }, { 360, 361, 362, 364, 366, 393 }, { 164, 269, 364, 365, 366, 367 }, { 95, 263, 269, 366 }, { 247, 270, 271, 278 }, { 105, 271, 272, 278 }, { 105, 271, 355, 368 }, { 105, 247, 278, 279 }, { 103, 247, 279, 291 }, { 103, 105, 279, 289 }, { 103, 105, 371, 394 }, { 105, 294, 297, 372 }, { 105, 119, 121, 294, 297 }, { 8, 11, 114, 116, 121, 297, 301, 372, 374 }, { 105, 114, 119, 121 }, { 114, 394, 395, 396 }, { 105, 114, 371, 394 }, { 125, 128, 129, 131, 311 }, { 125, 311, 375, 376, 397 }, { 125, 135, 138, 164, 375 }, { 129, 151, 155, 323 }, { 125, 129, 323, 325, 327, 328 }, { 125, 162, 164, 327 }, { 20, 178, 181, 193, 334, 377, 378, 379, 383 }, { 186, 187, 193, 334, 335, 339 }, { 186, 193, 343, 346, 384 }, { 204, 234, 247, 385 }, { 211, 247, 385, 386 }, { 204, 211, 385, 388 }, { 22, 27, 39, 204, 225 }, { 39, 74, 225, 351 }, { 39, 74, 234, 247, 351 }, { 39, 204, 234, 247 }, { 269, 271, 355, 391 }, { 76, 164, 236, 254 }, { 242, 247, 271, 391 }, { 74, 242, 247, 248, 259, 392 }, { 74, 76, 254, 259 }, { 254, 391, 398, 399, 400, 401 }, { 263, 269, 355, 391 }, { 164, 263, 269, 364, 366, 393, 402, 403, 404 }, { 105, 247, 271, 278 }, { 105, 269, 271, 355 }, { 103, 105, 247, 279 }, { 103, 105, 394, 395 }, { 105, 114, 121, 297, 372 }, { 105, 269, 355, 372 }, { 105, 114, 394, 395 }, { 125, 129, 311, 397 }, { 125, 164, 375, 397 }, { 125, 129, 155, 164, 323, 327 }, { 186, 187, 193, 204, 211, 225, 334, 383, 384 }, { 204, 211, 247, 385 }, { 39, 74, 204, 225, 247 }, { 247, 269, 271, 391 }, { 74, 76, 164, 254 }, { 74, 242, 247, 254, 259, 391 }, { 164, 254, 263, 269, 391, 398, 402, 403, 404 }, { 105, 247, 269, 271 }, { 103, 105, 247, 395 }, { 105, 114, 269, 372, 395 }, { 125, 129, 155, 164, 397 }, { 74, 186, 187, 204, 211, 225, 247, 384, 405 }, { 74, 164, 247, 254, 269, 391 }, { 105, 247, 269, 395 }, { 155, 164, 397, 406 }, { 74, 155, 164, 247, 269, 395, 405, 407, 408 }, { 155, 164, 269, 395, 406, 407, 408, 409, 410 } ] /* Faces of top cells */ [ [ { 2, 3, 5 }, { 1, 2, 5, 6 }, { 1, 2, 3, 4 }, { 3, 4, 5, 6 }, { 1, 4, 6 } ], [ { 8, 9, 10 }, { 7, 9, 10 }, { 7, 8, 10 }, { 7, 8, 9 } ], [ { 11, 12, 13 }, { 7, 12, 13 }, { 7, 11, 13 }, { 7, 11, 12 } ], [ { 15, 16, 17 }, { 14, 16, 17 }, { 14, 15, 16, 18 }, { 14, 17, 18 }, { 15, 17, 18 } ], [ { 14, 20, 21 }, { 19, 20, 21 }, { 14, 18, 19, 20 }, { 14, 18, 21 }, { 18, 19, 21 } ], [ { 23, 24, 26 }, { 22, 23, 26 }, { 22, 23, 24, 25 }, { 22, 25, 26 }, { 24, 25, 26 } ], [ { 27, 29, 30 }, { 27, 28, 30, 31 }, { 27, 28, 29 }, { 28, 29, 31 }, { 29, 30, 31 } ], [ { 32, 33, 34 }, { 27, 33, 34 }, { 27, 32, 34 }, { 27, 32, 33 } ], [ { 36, 37, 38 }, { 35, 37, 38 }, { 35, 36, 38 }, { 35, 36, 37 } ], [ { 35, 37, 40, 41 }, { 35, 39, 41 }, { 39, 40, 41, 42 }, { 35, 37, 39, 42 }, { 37, 40, 42 } ], [ { 39, 42, 44 }, { 42, 43, 44 }, { 39, 42, 43 }, { 39, 43, 44 } ], [ { 39, 45, 46 }, { 43, 45, 46, 47 }, { 39, 43, 45 }, { 39, 46, 47 }, { 39, 43, 47 } ], [ { 48, 50, 51, 53 }, { 48, 49, 51, 52 }, { 48, 50, 52 }, { 49, 50, 52, 53 }, { 49, 51, 53 } ], [ { 39, 55, 56 }, { 54, 55, 56 }, { 39, 54, 56 }, { 39, 54, 55 } ], [ { 56, 58, 59 }, { 57, 58, 59 }, { 56, 57, 59 }, { 56, 57, 58 } ], [ { 61, 62, 63 }, { 60, 62, 63 }, { 60, 61, 63 }, { 60, 61, 62 } ], [ { 61, 62, 64, 66 }, { 64, 65, 66, 67 }, { 61, 64, 67 }, { 61, 62, 65, 67 }, { 62, 65, 66 } ], [ { 49, 51, 68 }, { 48, 51, 68, 69 }, { 48, 49, 51, 52 }, { 49, 52, 68, 69 }, { 48, 52, 69 } ], [ { 68, 70, 71 }, { 65, 68, 71 }, { 65, 70, 71, 72 }, { 68, 70, 72 }, { 65, 68, 72 } ], [ { 68, 73, 74 }, { 49, 68, 74 }, { 49, 68, 73 }, { 49, 73, 74 } ], [ { 76, 77, 78 }, { 75, 77, 78 }, { 75, 76, 78 }, { 75, 76, 77 } ], [ { 77, 80, 81 }, { 79, 80, 81 }, { 77, 78, 79, 80 }, { 78, 79, 81 }, { 77, 78, 81 } ], [ { 80, 82, 83 }, { 79, 80, 83 }, { 79, 82, 83 }, { 79, 80, 82 } ], [ { 85, 86, 87, 88 }, { 84, 86, 87, 89 }, { 84, 85, 87 }, { 84, 85, 88, 89 }, { 86, 88, 89 } ], [ { 84, 91, 92 }, { 84, 90, 92 }, { 90, 91, 92, 93 }, { 84, 91, 93 }, { 84, 90, 93 } ], [ { 95, 96, 97 }, { 94, 96, 97 }, { 94, 95, 97 }, { 94, 95, 96 } ], [ { 99, 100, 101 }, { 98, 100, 101 }, { 98, 99, 101 }, { 98, 99, 100 } ], [ { 99, 101, 103 }, { 99, 101, 102 }, { 101, 102, 103 }, { 99, 102, 103 } ], [ { 101, 103, 105 }, { 101, 103, 104 }, { 101, 104, 105 }, { 103, 104, 105 } ], [ { 107, 108, 109, 110 }, { 106, 108, 109, 111 }, { 106, 109, 110 }, { 106, 107, 110, 111 }, { 107, 108, 111 } ], [ { 1, 6, 112 }, { 6, 106, 109, 112 }, { 1, 6, 106 }, { 1, 109, 112 }, { 1, 106, 109 } ], [ { 1, 2, 5, 6 }, { 2, 5, 106 }, { 1, 2, 106 }, { 1, 6, 106 }, { 5, 6, 106 } ], [ { 8, 10, 11, 12 }, { 7, 11, 12 }, { 7, 8, 11 }, { 7, 8, 10 }, { 7, 10, 12 } ], [ { 8, 9, 113 }, { 7, 9, 113 }, { 7, 8, 113 }, { 7, 8, 9 } ], [ { 11, 13, 113 }, { 7, 13, 113 }, { 7, 11, 13 }, { 7, 11, 113 } ], [ { 115, 116, 117 }, { 114, 116, 117 }, { 114, 115, 117 }, { 114, 115, 116 } ], [ { 119, 120, 121 }, { 118, 120, 121 }, { 118, 119, 121, 122 }, { 118, 120, 122 }, { 119, 120, 122 } ], [ { 120, 121, 124 }, { 121, 123, 124 }, { 120, 123, 124 }, { 120, 121, 123 } ], [ { 126, 127, 128 }, { 125, 127, 128 }, { 125, 126, 128 }, { 125, 126, 127 } ], [ { 130, 131, 132 }, { 129, 131, 132 }, { 129, 130, 132 }, { 129, 130, 131 } ], [ { 134, 135, 136 }, { 133, 135, 136 }, { 133, 134, 135, 137 }, { 133, 136, 137 }, { 134, 136, 137 } ], [ { 135, 136, 139 }, { 135, 136, 138 }, { 135, 138, 139, 140 }, { 136, 138, 140 }, { 136, 139, 140 } ], [ { 135, 142, 143 }, { 135, 141, 143 }, { 141, 142, 143 }, { 135, 141, 142 } ], [ { 145, 146, 147 }, { 144, 146, 147 }, { 144, 145, 147 }, { 144, 145, 146 } ], [ { 138, 149, 150 }, { 138, 148, 150 }, { 148, 149, 150 }, { 138, 148, 149 } ], [ { 152, 153, 154 }, { 151, 153, 154 }, { 151, 152, 154 }, { 151, 152, 153 } ], [ { 153, 155, 156 }, { 151, 153, 156 }, { 151, 155, 156 }, { 151, 153, 155 } ], [ { 125, 158, 159 }, { 125, 157, 159, 160 }, { 125, 157, 158, 161 }, { 158, 159, 160, 161 }, { 157, 160, 161 } ], [ { 143, 162, 163 }, { 142, 143, 163 }, { 142, 162, 163 }, { 142, 143, 162 } ], [ { 162, 164, 165 }, { 142, 162, 165 }, { 142, 162, 164 }, { 142, 164, 165 } ], [ { 167, 168, 169, 170, 171, 172 }, { 166, 168, 171, 173 }, { 166, 171, 172 }, { 166, 167, 172, 174 }, { 168, 170, 173 }, { 169, 170, 173, 174 }, { 166, 173, 174 }, { 167, 169, 174 } ], [ { 14, 175, 176, 177 }, { 14, 167, 172, 175 }, { 167, 172, 176, 177 }, { 172, 175, 176 }, { 14, 167, 177 } ], [ { 17, 20, 179 }, { 17, 20, 178 }, { 20, 178, 179, 180 }, { 17, 179, 180 }, { 17, 178, 180 } ], [ { 14, 17, 20 }, { 17, 19, 20 }, { 14, 18, 19, 20 }, { 14, 17, 18 }, { 17, 18, 19 } ], [ { 175, 182, 183 }, { 181, 182, 183 }, { 175, 181, 183 }, { 175, 181, 182 } ], [ { 175, 182, 184 }, { 14, 182, 184 }, { 14, 175, 182 }, { 14, 175, 184 } ], [ { 14, 182, 185 }, { 14, 178, 182 }, { 178, 182, 185 }, { 14, 178, 185 } ], [ { 187, 188, 189 }, { 186, 188, 189 }, { 186, 187, 189 }, { 186, 187, 188 } ], [ { 187, 188, 191 }, { 188, 190, 191 }, { 187, 188, 190, 192 }, { 187, 191, 192 }, { 190, 191, 192 } ], [ { 194, 195, 196 }, { 193, 195, 196 }, { 193, 194, 196 }, { 193, 194, 195 } ], [ { 197, 198, 199 }, { 193, 198, 199 }, { 193, 197, 199 }, { 193, 197, 198 } ], [ { 195, 200, 201 }, { 193, 200, 201 }, { 193, 195, 201 }, { 193, 195, 200 } ], [ { 198, 202, 203 }, { 193, 202, 203 }, { 193, 198, 203 }, { 193, 198, 202 } ], [ { 205, 206, 207 }, { 204, 206, 207 }, { 204, 205, 207 }, { 204, 205, 206 } ], [ { 208, 209, 210 }, { 205, 208, 210 }, { 205, 207, 208, 209 }, { 205, 207, 210 }, { 207, 209, 210 } ], [ { 208, 211, 212 }, { 204, 205, 208, 211 }, { 204, 211, 212, 213 }, { 205, 208, 212, 213 }, { 204, 205, 213 } ], [ { 208, 209, 214 }, { 209, 211, 214 }, { 208, 211, 214 }, { 208, 209, 211 } ], [ { 39, 215, 216 }, { 54, 215, 216 }, { 39, 54, 216 }, { 39, 54, 215 } ], [ { 22, 217, 218 }, { 22, 204, 218 }, { 22, 204, 217 }, { 204, 217, 218 } ], [ { 204, 215, 217 }, { 54, 215, 217 }, { 54, 204, 215 }, { 54, 204, 217 } ], [ { 22, 219, 221 }, { 22, 27, 221 }, { 22, 27, 219, 220 }, { 27, 220, 221 }, { 219, 220, 221 } ], [ { 22, 23, 24, 25 }, { 23, 24, 219 }, { 22, 23, 219 }, { 22, 25, 219 }, { 24, 25, 219 } ], [ { 222, 223, 224 }, { 22, 223, 224 }, { 22, 222, 224 }, { 22, 222, 223 } ], [ { 29, 30, 222 }, { 27, 30, 222 }, { 27, 29, 30 }, { 27, 29, 222 } ], [ { 22, 221, 222 }, { 27, 221, 222 }, { 22, 27, 221 }, { 22, 27, 222 } ], [ { 27, 32, 33 }, { 27, 33, 38, 44 }, { 27, 32, 44 }, { 32, 33, 38 }, { 32, 38, 44 } ], [ { 35, 37, 39, 42 }, { 35, 38, 39, 44 }, { 35, 37, 38 }, { 37, 38, 42, 44 }, { 39, 42, 44 } ], [ { 225, 226, 227 }, { 27, 226, 227 }, { 27, 225, 227 }, { 27, 225, 226 } ], [ { 27, 44, 226 }, { 27, 226, 228, 229 }, { 27, 44, 228 }, { 44, 228, 229 }, { 44, 226, 229 } ], [ { 39, 44, 45 }, { 43, 44, 45 }, { 39, 43, 45 }, { 39, 43, 44 } ], [ { 44, 45, 226 }, { 45, 225, 226 }, { 44, 45, 225 }, { 44, 225, 226 } ], [ { 39, 45, 231 }, { 45, 230, 231 }, { 39, 45, 230 }, { 39, 230, 231 } ], [ { 53, 232, 233 }, { 49, 53, 232 }, { 49, 51, 232, 233 }, { 49, 51, 53 }, { 51, 53, 233 } ], [ { 39, 56, 59 }, { 54, 56, 59 }, { 39, 54, 59 }, { 39, 54, 56 } ], [ { 56, 59, 234 }, { 56, 57, 59 }, { 56, 57, 234, 235 }, { 57, 59, 235 }, { 59, 234, 235 } ], [ { 237, 238, 239, 240 }, { 236, 237, 239 }, { 236, 237, 238 }, { 236, 239, 240 }, { 236, 238, 240 } ], [ { 242, 243, 244 }, { 241, 243, 244 }, { 241, 242, 244 }, { 241, 242, 243 } ], [ { 243, 245, 246 }, { 242, 243, 246 }, { 242, 243, 245 }, { 242, 245, 246 } ], [ { 247, 249, 251 }, { 247, 248, 251 }, { 247, 248, 249, 250 }, { 249, 250, 251 }, { 248, 250, 251 } ], [ { 61, 62, 65, 67 }, { 60, 61, 67 }, { 60, 65, 67 }, { 60, 62, 65 }, { 60, 61, 62 } ], [ { 67, 248, 252 }, { 60, 67, 252 }, { 60, 248, 252 }, { 60, 67, 248 } ], [ { 60, 248, 251 }, { 247, 248, 251 }, { 60, 247, 251 }, { 60, 247, 248 } ], [ { 60, 65, 253 }, { 65, 247, 253 }, { 60, 247, 253 }, { 60, 65, 247 } ], [ { 49, 68, 74 }, { 68, 74, 247 }, { 49, 51, 74, 247 }, { 49, 51, 68 }, { 51, 68, 247 } ], [ { 65, 68, 74 }, { 68, 73, 74 }, { 65, 72, 73, 74 }, { 65, 68, 72 }, { 68, 72, 73 } ], [ { 255, 256, 257, 258 }, { 254, 256, 257 }, { 254, 255, 257 }, { 254, 256, 258 }, { 254, 255, 258 } ], [ { 77, 80, 260, 261 }, { 77, 80, 259 }, { 77, 259, 260 }, { 80, 259, 261 }, { 259, 260, 261 } ], [ { 76, 77, 80, 82 }, { 79, 80, 82 }, { 76, 78, 79, 82 }, { 77, 78, 79, 80 }, { 76, 77, 78 } ], [ { 84, 90, 92 }, { 90, 92, 262 }, { 85, 90, 262 }, { 84, 85, 90 }, { 84, 87, 92 }, { 84, 85, 87 }, { 87, 92, 262 }, { 85, 87, 262 } ], [ { 95, 264, 265 }, { 95, 263, 265 }, { 263, 264, 265 }, { 95, 263, 264 } ], [ { 95, 267, 268 }, { 95, 266, 268 }, { 95, 266, 267 }, { 266, 267, 268 } ], [ { 95, 264, 268 }, { 95, 263, 268 }, { 95, 263, 264 }, { 263, 264, 268 } ], [ { 95, 266, 269 }, { 94, 95, 266 }, { 94, 95, 269 }, { 94, 266, 269 } ], [ { 95, 97, 269 }, { 94, 95, 97 }, { 94, 97, 269 }, { 94, 95, 269 } ], [ { 271, 272, 273 }, { 270, 272, 273 }, { 270, 271, 273 }, { 270, 271, 272 } ], [ { 105, 271, 275 }, { 105, 274, 275 }, { 271, 274, 275 }, { 105, 271, 274 } ], [ { 276, 278, 280 }, { 276, 277, 278, 279, 281, 282 }, { 278, 279, 280, 283 }, { 276, 280, 282, 284 }, { 277, 281, 283, 284 }, { 277, 279, 283 }, { 281, 282, 284 }, { 280, 283, 284 } ], [ { 98, 105, 286 }, { 98, 105, 285, 287 }, { 105, 285, 286, 288 }, { 98, 286, 287, 288 }, { 285, 287, 288 } ], [ { 99, 289, 290 }, { 99, 103, 290 }, { 103, 289, 290 }, { 99, 103, 289 } ], [ { 101, 103, 105 }, { 98, 101, 105 }, { 98, 99, 103, 105 }, { 99, 101, 103 }, { 98, 99, 101 } ], [ { 103, 289, 292 }, { 289, 291, 292 }, { 103, 291, 292 }, { 103, 289, 291 } ], [ { 103, 105, 293 }, { 103, 104, 293 }, { 104, 105, 293 }, { 103, 104, 105 } ], [ { 295, 296, 297 }, { 294, 296, 297 }, { 294, 295, 297 }, { 294, 295, 296 } ], [ { 119, 121, 298 }, { 118, 121, 298, 299 }, { 118, 119, 121, 122 }, { 119, 122, 298, 299 }, { 118, 122, 299 } ], [ { 1, 2, 300 }, { 1, 2, 106 }, { 1, 109, 300 }, { 1, 106, 109 }, { 106, 109, 110 }, { 109, 110, 300 }, { 2, 106, 110 }, { 2, 110, 300 } ], [ { 1, 2, 302, 303 }, { 1, 301, 302 }, { 1, 2, 301 }, { 2, 301, 303 }, { 301, 302, 303 } ], [ { 1, 121, 304 }, { 1, 121, 301 }, { 121, 301, 302, 304 }, { 1, 302, 304 }, { 1, 301, 302 } ], [ { 8, 11, 113 }, { 7, 11, 113 }, { 7, 8, 113 }, { 7, 8, 11 } ], [ { 306, 307, 308 }, { 305, 307, 308, 309 }, { 305, 306, 308, 310 }, { 306, 307, 309, 310 }, { 305, 309, 310 } ], [ { 115, 116, 306 }, { 114, 116, 306 }, { 114, 115, 116 }, { 114, 115, 306 } ], [ { 120, 121, 123 }, { 119, 120, 121 }, { 119, 121, 123 }, { 119, 120, 123 } ], [ { 311, 312, 313 }, { 125, 312, 313 }, { 125, 311, 313 }, { 125, 311, 312 } ], [ { 127, 128, 312 }, { 125, 127, 128 }, { 125, 128, 312 }, { 125, 127, 312 } ], [ { 128, 312, 314 }, { 128, 311, 314 }, { 128, 311, 312 }, { 311, 312, 314 } ], [ { 126, 128, 315 }, { 125, 128, 315 }, { 125, 126, 128 }, { 125, 126, 315 } ], [ { 130, 131, 316 }, { 129, 131, 316 }, { 129, 130, 316 }, { 129, 130, 131 } ], [ { 311, 317, 318 }, { 129, 317, 318 }, { 129, 311, 318 }, { 129, 311, 317 } ], [ { 131, 132, 317 }, { 129, 131, 132 }, { 129, 132, 317 }, { 129, 131, 317 } ], [ { 131, 314, 317 }, { 131, 311, 317 }, { 131, 311, 314 }, { 311, 314, 317 } ], [ { 311, 319, 320 }, { 125, 311, 320 }, { 125, 311, 319 }, { 125, 319, 320 } ], [ { 138, 148, 164 }, { 133, 138, 148 }, { 133, 138, 164 }, { 133, 148, 164 } ], [ { 135, 142, 164 }, { 133, 135, 164 }, { 133, 135, 142 }, { 133, 142, 164 } ], [ { 135, 136, 138 }, { 133, 135, 136 }, { 133, 136, 138 }, { 133, 135, 138 } ], [ { 135, 143, 164 }, { 135, 142, 143 }, { 142, 143, 164 }, { 135, 142, 164 } ], [ { 135, 138, 145, 146 }, { 144, 145, 146 }, { 138, 144, 145 }, { 135, 144, 146 }, { 135, 138, 144 } ], [ { 138, 148, 150 }, { 138, 150, 164 }, { 148, 150, 164 }, { 138, 148, 164 } ], [ { 152, 153, 155 }, { 151, 152, 153 }, { 151, 153, 155 }, { 151, 152, 155 } ], [ { 155, 156, 321 }, { 151, 156, 321 }, { 151, 155, 156 }, { 151, 155, 321 } ], [ { 129, 152, 322 }, { 151, 152, 322 }, { 129, 151, 322 }, { 129, 151, 152 } ], [ { 322, 323, 324 }, { 151, 322, 324 }, { 151, 322, 323 }, { 151, 323, 324 } ], [ { 322, 324, 325 }, { 322, 323, 325 }, { 322, 323, 324 }, { 323, 324, 325 } ], [ { 158, 327, 328 }, { 158, 326, 328 }, { 158, 326, 327 }, { 326, 327, 328 } ], [ { 125, 157, 158, 161 }, { 125, 158, 328 }, { 125, 157, 328 }, { 157, 161, 328 }, { 158, 161, 328 } ], [ { 125, 129, 329, 331 }, { 125, 129, 157, 330 }, { 125, 157, 329 }, { 157, 329, 330, 331 }, { 129, 330, 331 } ], [ { 143, 162, 164 }, { 142, 143, 162 }, { 142, 143, 164 }, { 142, 162, 164 } ], [ { 143, 158, 162 }, { 125, 143, 158 }, { 125, 158, 162 }, { 125, 143, 162 } ], [ { 158, 162, 327 }, { 158, 162, 326 }, { 158, 326, 327 }, { 162, 326, 327 } ], [ { 162, 165, 332 }, { 162, 164, 332 }, { 164, 165, 332 }, { 162, 164, 165 } ], [ { 14, 175, 333 }, { 14, 167, 172, 175 }, { 168, 171, 175, 333 }, { 14, 167, 169 }, { 167, 168, 169, 170, 171, 172 }, { 14, 169, 170, 333 }, { 168, 170, 333 }, { 171, 172, 175 } ], [ { 14, 17, 20 }, { 17, 20, 178 }, { 14, 17, 178 }, { 14, 20, 178 } ], [ { 178, 181, 182 }, { 14, 178, 182 }, { 14, 175, 178, 181 }, { 14, 175, 182 }, { 175, 181, 182 } ], [ { 335, 336, 337 }, { 334, 336, 337 }, { 334, 335, 337 }, { 334, 335, 336 } ], [ { 193, 339, 340 }, { 193, 338, 340, 341 }, { 193, 338, 339 }, { 339, 340, 341 }, { 338, 339, 341 } ], [ { 194, 196, 339 }, { 193, 194, 196 }, { 193, 196, 339 }, { 193, 194, 339 } ], [ { 186, 191, 342 }, { 191, 339, 342 }, { 186, 191, 339 }, { 186, 339, 342 } ], [ { 187, 188, 191 }, { 186, 188, 191 }, { 186, 187, 191 }, { 186, 187, 188 } ], [ { 195, 196, 343 }, { 193, 195, 196 }, { 193, 196, 343 }, { 193, 195, 343 } ], [ { 197, 200, 344, 345 }, { 193, 200, 345 }, { 193, 344, 345 }, { 193, 197, 200 }, { 193, 197, 344 } ], [ { 197, 198, 346 }, { 193, 197, 198 }, { 193, 198, 346 }, { 193, 197, 346 } ], [ { 195, 200, 343 }, { 193, 195, 200 }, { 193, 200, 343 }, { 193, 195, 343 } ], [ { 200, 343, 347 }, { 197, 200, 343, 346 }, { 343, 346, 347, 348 }, { 197, 200, 347, 348 }, { 197, 346, 348 } ], [ { 198, 203, 346 }, { 193, 198, 203 }, { 193, 203, 346 }, { 193, 198, 346 } ], [ { 208, 209, 211 }, { 204, 207, 209, 211 }, { 204, 205, 208, 211 }, { 205, 207, 208, 209 }, { 204, 205, 207 } ], [ { 39, 204, 215 }, { 39, 54, 215 }, { 54, 204, 215 }, { 39, 54, 204 } ], [ { 22, 215, 217 }, { 22, 204, 215 }, { 204, 215, 217 }, { 22, 204, 217 } ], [ { 22, 23, 219 }, { 22, 23, 27, 33 }, { 22, 27, 219, 220 }, { 23, 33, 219, 220 }, { 27, 33, 220 } ], [ { 22, 223, 349 }, { 204, 223, 349 }, { 22, 204, 349 }, { 22, 204, 223 } ], [ { 22, 27, 222 }, { 27, 29, 222 }, { 22, 27, 29, 223 }, { 29, 222, 223 }, { 22, 222, 223 } ], [ { 29, 225, 350 }, { 27, 225, 350 }, { 27, 29, 225 }, { 27, 29, 350 } ], [ { 35, 38, 39, 44 }, { 27, 33, 35, 39 }, { 27, 39, 44 }, { 27, 33, 38, 44 }, { 33, 35, 38 } ], [ { 44, 225, 226 }, { 27, 44, 226 }, { 27, 225, 226 }, { 27, 44, 225 } ], [ { 44, 45, 225 }, { 39, 44, 45 }, { 39, 45, 225 }, { 39, 44, 225 } ], [ { 39, 230, 231 }, { 39, 231, 351 }, { 230, 231, 351 }, { 39, 230, 351 } ], [ { 45, 225, 231 }, { 39, 45, 225 }, { 39, 45, 231 }, { 39, 225, 231 } ], [ { 39, 353, 354 }, { 352, 353, 354 }, { 39, 352, 354 }, { 39, 352, 353 } ], [ { 49, 74, 232 }, { 74, 232, 233, 247 }, { 49, 51, 74, 247 }, { 49, 51, 232, 233 }, { 51, 233, 247 } ], [ { 39, 59, 204 }, { 39, 54, 59 }, { 54, 59, 204 }, { 39, 54, 204 } ], [ { 56, 59, 234 }, { 39, 56, 59 }, { 39, 59, 234 }, { 39, 56, 234 } ], [ { 271, 356, 357 }, { 271, 355, 357 }, { 355, 356, 357 }, { 271, 355, 356 } ], [ { 236, 239, 240 }, { 239, 240, 254 }, { 236, 240, 254 }, { 236, 239, 254 } ], [ { 76, 238, 240 }, { 236, 238, 240 }, { 76, 236, 240 }, { 76, 236, 238 } ], [ { 241, 271, 358 }, { 247, 271, 358 }, { 241, 247, 358 }, { 241, 247, 271 } ], [ { 242, 243, 245 }, { 241, 243, 245 }, { 241, 242, 243 }, { 241, 242, 245 } ], [ { 241, 247, 249 }, { 241, 245, 247, 248 }, { 247, 248, 249, 250 }, { 241, 245, 249, 250 }, { 245, 248, 250 } ], [ { 65, 67, 247, 248 }, { 60, 65, 247 }, { 60, 247, 248 }, { 60, 67, 248 }, { 60, 65, 67 } ], [ { 65, 68, 74 }, { 65, 68, 247 }, { 68, 74, 247 }, { 65, 74, 247 } ], [ { 76, 82, 255, 258 }, { 76, 82, 254 }, { 82, 254, 255 }, { 76, 254, 258 }, { 254, 255, 258 } ], [ { 76, 77, 80, 82 }, { 80, 82, 259 }, { 76, 82, 259 }, { 76, 77, 259 }, { 77, 80, 259 } ], [ { 74, 76, 77 }, { 76, 77, 359 }, { 74, 77, 359 }, { 74, 76, 359 } ], [ { 360, 361, 362 }, { 90, 360, 361 }, { 92, 360, 362 }, { 90, 92, 360 }, { 92, 262, 362 }, { 90, 262, 361 }, { 90, 92, 262 }, { 262, 361, 362 } ], [ { 363, 364, 365 }, { 164, 364, 365 }, { 164, 363, 365 }, { 164, 363, 364 } ], [ { 97, 269, 367 }, { 97, 366, 367 }, { 97, 269, 366 }, { 269, 366, 367 } ], [ { 95, 265, 366 }, { 95, 263, 265 }, { 263, 265, 366 }, { 95, 263, 366 } ], [ { 95, 266, 269 }, { 95, 263, 269 }, { 263, 266, 268, 269 }, { 95, 263, 268 }, { 95, 266, 268 } ], [ { 95, 97, 269 }, { 95, 97, 366 }, { 97, 269, 366 }, { 95, 269, 366 } ], [ { 270, 271, 358 }, { 247, 271, 358 }, { 247, 270, 358 }, { 247, 270, 271 } ], [ { 271, 272, 278 }, { 270, 272, 278 }, { 270, 271, 278 }, { 270, 271, 272 } ], [ { 105, 271, 275 }, { 105, 275, 368 }, { 271, 275, 368 }, { 105, 271, 368 } ], [ { 278, 279, 369 }, { 247, 279, 369 }, { 247, 278, 369 }, { 247, 278, 279 } ], [ { 98, 105, 286 }, { 105, 276, 278, 286 }, { 98, 105, 277, 279 }, { 276, 277, 278, 279, 281, 282 }, { 105, 278, 279 }, { 98, 277, 281 }, { 98, 281, 282, 286 }, { 276, 282, 286 } ], [ { 103, 291, 370 }, { 103, 247, 370 }, { 247, 291, 370 }, { 103, 247, 291 } ], [ { 103, 105, 289 }, { 98, 105, 289 }, { 98, 99, 103, 105 }, { 98, 99, 289 }, { 99, 103, 289 } ], [ { 98, 105, 289 }, { 98, 277, 289 }, { 98, 105, 277, 279 }, { 105, 279, 289 }, { 277, 279, 289 } ], [ { 103, 279, 289 }, { 279, 289, 291 }, { 103, 279, 291 }, { 103, 289, 291 } ], [ { 103, 105, 293 }, { 103, 293, 371 }, { 105, 293, 371 }, { 103, 105, 371 } ], [ { 294, 296, 297 }, { 296, 297, 372 }, { 294, 297, 372 }, { 294, 296, 372 } ], [ { 119, 121, 298 }, { 119, 294, 298, 373 }, { 119, 121, 294, 297 }, { 121, 297, 298, 373 }, { 294, 297, 373 } ], [ { 1, 121, 301 }, { 121, 297, 301 }, { 2, 297, 301 }, { 1, 2, 301 }, { 1, 121, 300 }, { 1, 2, 300 }, { 2, 297, 300 }, { 121, 297, 300 } ], [ { 8, 11, 113 }, { 11, 113, 301 }, { 8, 113, 301 }, { 8, 11, 301 } ], [ { 8, 11, 114, 116, 372, 374 }, { 114, 306, 307, 372 }, { 114, 116, 306 }, { 307, 372, 374 }, { 8, 116, 306, 308 }, { 11, 307, 308, 374 }, { 306, 307, 308 }, { 8, 11, 308 } ], [ { 114, 121, 123 }, { 119, 121, 123 }, { 114, 119, 121 }, { 114, 119, 123 } ], [ { 128, 131, 314 }, { 128, 131, 311 }, { 128, 311, 314 }, { 131, 311, 314 } ], [ { 128, 311, 312 }, { 125, 128, 312 }, { 125, 128, 311 }, { 125, 311, 312 } ], [ { 125, 128, 129, 131 }, { 125, 129, 315, 316 }, { 129, 131, 316 }, { 128, 131, 315, 316 }, { 125, 128, 315 } ], [ { 131, 311, 317 }, { 129, 131, 317 }, { 129, 131, 311 }, { 129, 311, 317 } ], [ { 125, 311, 375, 376 }, { 125, 311, 320 }, { 125, 320, 375 }, { 311, 320, 376 }, { 320, 375, 376 } ], [ { 135, 138, 164 }, { 133, 135, 138 }, { 133, 135, 164 }, { 133, 138, 164 } ], [ { 135, 143, 164 }, { 125, 135, 143 }, { 125, 143, 164 }, { 125, 135, 164 } ], [ { 138, 145, 375 }, { 125, 135, 138, 375 }, { 125, 145, 146, 375 }, { 135, 138, 145, 146 }, { 125, 135, 146 } ], [ { 138, 150, 164 }, { 138, 150, 375 }, { 150, 164, 375 }, { 138, 164, 375 } ], [ { 129, 152, 155 }, { 129, 151, 152 }, { 151, 152, 155 }, { 129, 151, 155 } ], [ { 155, 321, 323 }, { 151, 321, 323 }, { 151, 155, 323 }, { 151, 155, 321 } ], [ { 129, 322, 323 }, { 151, 322, 323 }, { 129, 151, 322 }, { 129, 151, 323 } ], [ { 322, 323, 325 }, { 129, 322, 325 }, { 129, 322, 323 }, { 129, 323, 325 } ], [ { 158, 327, 328 }, { 125, 158, 328 }, { 125, 158, 327 }, { 125, 327, 328 } ], [ { 125, 129, 157, 330 }, { 125, 129, 325, 328 }, { 125, 157, 328 }, { 157, 325, 328, 330 }, { 129, 325, 330 } ], [ { 143, 162, 164 }, { 125, 143, 162 }, { 125, 143, 164 }, { 125, 162, 164 } ], [ { 158, 162, 327 }, { 125, 158, 162 }, { 125, 158, 327 }, { 125, 162, 327 } ], [ { 162, 327, 332 }, { 162, 164, 332 }, { 164, 327, 332 }, { 162, 164, 327 } ], [ { 20, 178, 181, 377, 378, 379 }, { 14, 175, 178, 181 }, { 175, 333, 377, 378 }, { 14, 20, 178 }, { 14, 20, 333, 379 }, { 333, 377, 379 }, { 14, 175, 333 }, { 175, 181, 378 } ], [ { 334, 378, 380 }, { 377, 378, 380, 381 }, { 334, 377, 378 }, { 334, 377, 381 }, { 334, 380, 381 } ], [ { 178, 382, 383 }, { 193, 382, 383 }, { 20, 178, 193, 383 }, { 20, 178, 382 }, { 20, 193, 382 } ], [ { 334, 335, 337 }, { 187, 335, 337 }, { 187, 334, 337 }, { 187, 334, 335 } ], [ { 193, 334, 340 }, { 193, 339, 340 }, { 193, 334, 335, 339 }, { 335, 339, 340 }, { 334, 335, 340 } ], [ { 186, 196, 339 }, { 186, 193, 196 }, { 193, 196, 339 }, { 186, 193, 339 } ], [ { 186, 187, 191 }, { 186, 191, 339 }, { 186, 187, 335, 339 }, { 187, 191, 335 }, { 191, 335, 339 } ], [ { 186, 196, 343 }, { 193, 196, 343 }, { 186, 193, 196 }, { 186, 193, 343 } ], [ { 197, 200, 343, 346 }, { 193, 200, 343 }, { 193, 343, 346 }, { 193, 197, 346 }, { 193, 197, 200 } ], [ { 203, 346, 384 }, { 193, 203, 346 }, { 193, 203, 384 }, { 193, 346, 384 } ], [ { 59, 234, 385 }, { 59, 204, 234 }, { 59, 204, 385 }, { 204, 234, 385 } ], [ { 385, 386, 387 }, { 211, 385, 387 }, { 211, 386, 387 }, { 211, 385, 386 } ], [ { 204, 207, 209, 211 }, { 209, 211, 388 }, { 204, 211, 388 }, { 204, 207, 388 }, { 207, 209, 388 } ], [ { 204, 385, 389 }, { 385, 388, 389 }, { 204, 388, 389 }, { 204, 385, 388 } ], [ { 211, 385, 390 }, { 385, 388, 390 }, { 211, 388, 390 }, { 211, 385, 388 } ], [ { 22, 39, 215 }, { 22, 204, 215 }, { 39, 204, 215 }, { 22, 39, 204 } ], [ { 22, 23, 35, 39 }, { 22, 27, 39 }, { 27, 33, 35, 39 }, { 22, 23, 27, 33 }, { 23, 33, 35 } ], [ { 29, 204, 223, 225 }, { 27, 29, 225 }, { 22, 27, 204, 225 }, { 22, 27, 29, 223 }, { 22, 204, 223 } ], [ { 39, 44, 225 }, { 27, 44, 225 }, { 27, 39, 44 }, { 27, 39, 225 } ], [ { 39, 225, 231 }, { 225, 231, 351 }, { 39, 225, 351 }, { 39, 231, 351 } ], [ { 39, 234, 351 }, { 39, 234, 352 }, { 234, 351, 352, 354 }, { 39, 352, 354 }, { 39, 351, 354 } ], [ { 74, 232, 351 }, { 74, 234, 247, 351 }, { 74, 232, 233, 247 }, { 232, 233, 234, 351 }, { 233, 234, 247 } ], [ { 39, 59, 234 }, { 59, 204, 234 }, { 39, 59, 204 }, { 39, 204, 234 } ], [ { 271, 356, 391 }, { 271, 355, 391 }, { 355, 356, 391 }, { 271, 355, 356 } ], [ { 76, 236, 240 }, { 76, 240, 254 }, { 236, 240, 254 }, { 76, 236, 254 } ], [ { 241, 242, 271 }, { 242, 247, 271 }, { 241, 242, 247 }, { 241, 247, 271 } ], [ { 241, 242, 247 }, { 242, 247, 248 }, { 241, 245, 247, 248 }, { 242, 245, 248 }, { 241, 242, 245 } ], [ { 65, 74, 247 }, { 65, 67, 247, 248 }, { 74, 247, 248, 392 }, { 65, 67, 74, 392 }, { 67, 248, 392 } ], [ { 76, 82, 254 }, { 76, 82, 259 }, { 82, 254, 259 }, { 76, 254, 259 } ], [ { 74, 76, 77 }, { 76, 77, 259 }, { 74, 77, 259 }, { 74, 76, 259 } ], [ { 360, 361, 364, 393 }, { 360, 362, 364, 366 }, { 364, 366, 393 }, { 361, 362, 366, 393 }, { 360, 361, 362 } ], [ { 164, 269, 365, 367 }, { 164, 269, 364, 366 }, { 269, 366, 367 }, { 364, 365, 366, 367 }, { 164, 364, 365 } ], [ { 95, 269, 366 }, { 95, 263, 269 }, { 95, 263, 366 }, { 263, 269, 366 } ], [ { 270, 271, 278 }, { 247, 271, 278 }, { 247, 270, 278 }, { 247, 270, 271 } ], [ { 105, 272, 278 }, { 271, 272, 278 }, { 105, 271, 278 }, { 105, 271, 272 } ], [ { 105, 271, 368 }, { 105, 271, 355 }, { 105, 355, 368 }, { 271, 355, 368 } ], [ { 105, 278, 279 }, { 247, 278, 279 }, { 105, 247, 279 }, { 105, 247, 278 } ], [ { 103, 279, 291 }, { 103, 247, 279 }, { 247, 279, 291 }, { 103, 247, 291 } ], [ { 103, 279, 289 }, { 105, 279, 289 }, { 103, 105, 279 }, { 103, 105, 289 } ], [ { 103, 105, 371 }, { 103, 105, 394 }, { 103, 371, 394 }, { 105, 371, 394 } ], [ { 105, 294, 297 }, { 105, 297, 372 }, { 294, 297, 372 }, { 105, 294, 372 } ], [ { 105, 119, 121 }, { 119, 121, 294, 297 }, { 105, 119, 294 }, { 105, 121, 297 }, { 105, 294, 297 } ], [ { 8, 11, 114, 116, 372, 374 }, { 8, 116, 121, 301 }, { 11, 297, 301, 374 }, { 8, 11, 301 }, { 114, 121, 297, 372 }, { 114, 116, 121 }, { 297, 372, 374 }, { 121, 297, 301 } ], [ { 105, 114, 121 }, { 105, 119, 121 }, { 114, 119, 121 }, { 105, 114, 119 } ], [ { 114, 395, 396 }, { 114, 394, 396 }, { 394, 395, 396 }, { 114, 394, 395 } ], [ { 105, 114, 371 }, { 105, 371, 394 }, { 105, 114, 394 }, { 114, 371, 394 } ], [ { 129, 131, 311 }, { 125, 128, 129, 131 }, { 125, 129, 311 }, { 125, 128, 311 }, { 128, 131, 311 } ], [ { 125, 311, 375, 376 }, { 125, 311, 397 }, { 125, 375, 397 }, { 311, 376, 397 }, { 375, 376, 397 } ], [ { 138, 164, 375 }, { 125, 135, 138, 375 }, { 125, 164, 375 }, { 125, 135, 164 }, { 135, 138, 164 } ], [ { 129, 155, 323 }, { 129, 151, 323 }, { 151, 155, 323 }, { 129, 151, 155 } ], [ { 125, 129, 325, 328 }, { 125, 129, 323, 327 }, { 125, 327, 328 }, { 323, 325, 327, 328 }, { 129, 323, 325 } ], [ { 162, 164, 327 }, { 125, 162, 327 }, { 125, 162, 164 }, { 125, 164, 327 } ], [ { 20, 178, 193, 383 }, { 193, 334, 383 }, { 193, 334, 377, 379 }, { 181, 334, 378, 383 }, { 334, 377, 378 }, { 20, 178, 181, 377, 378, 379 }, { 178, 181, 383 }, { 20, 193, 379 } ], [ { 186, 187, 335, 339 }, { 186, 187, 193, 334 }, { 186, 193, 339 }, { 193, 334, 335, 339 }, { 187, 334, 335 } ], [ { 186, 343, 346, 384 }, { 193, 346, 384 }, { 186, 193, 384 }, { 193, 343, 346 }, { 186, 193, 343 } ], [ { 204, 234, 385 }, { 234, 247, 385 }, { 204, 234, 247 }, { 204, 247, 385 } ], [ { 211, 385, 386 }, { 247, 385, 386 }, { 211, 247, 385 }, { 211, 247, 386 } ], [ { 204, 211, 385 }, { 211, 385, 388 }, { 204, 385, 388 }, { 204, 211, 388 } ], [ { 39, 204, 225 }, { 27, 39, 225 }, { 22, 27, 204, 225 }, { 22, 27, 39 }, { 22, 39, 204 } ], [ { 39, 225, 351 }, { 39, 74, 225 }, { 74, 225, 351 }, { 39, 74, 351 } ], [ { 39, 74, 351 }, { 39, 74, 247 }, { 74, 234, 247, 351 }, { 39, 234, 351 }, { 39, 234, 247 } ], [ { 39, 204, 234 }, { 39, 234, 247 }, { 204, 234, 247 }, { 39, 204, 247 } ], [ { 271, 355, 391 }, { 269, 271, 391 }, { 269, 355, 391 }, { 269, 271, 355 } ], [ { 76, 164, 236 }, { 76, 236, 254 }, { 76, 164, 254 }, { 164, 236, 254 } ], [ { 242, 271, 391 }, { 242, 247, 391 }, { 242, 247, 271 }, { 247, 271, 391 } ], [ { 74, 242, 247, 259 }, { 74, 247, 248, 392 }, { 242, 247, 248 }, { 242, 248, 259, 392 }, { 74, 259, 392 } ], [ { 74, 76, 254 }, { 74, 76, 259 }, { 76, 254, 259 }, { 74, 254, 259 } ], [ { 391, 398, 399, 400 }, { 254, 391, 399, 401 }, { 254, 391, 398 }, { 254, 398, 400, 401 }, { 399, 400, 401 } ], [ { 269, 355, 391 }, { 263, 355, 391 }, { 263, 269, 391 }, { 263, 269, 355 } ], [ { 164, 263, 269, 402, 403, 404 }, { 263, 269, 366 }, { 164, 269, 364, 366 }, { 263, 366, 393, 404 }, { 164, 364, 403 }, { 364, 393, 402, 403 }, { 393, 402, 404 }, { 364, 366, 393 } ], [ { 105, 271, 278 }, { 105, 247, 278 }, { 247, 271, 278 }, { 105, 247, 271 } ], [ { 105, 271, 355 }, { 105, 269, 271 }, { 105, 269, 355 }, { 269, 271, 355 } ], [ { 103, 105, 279 }, { 103, 247, 279 }, { 105, 247, 279 }, { 103, 105, 247 } ], [ { 103, 105, 395 }, { 103, 105, 394 }, { 103, 394, 395 }, { 105, 394, 395 } ], [ { 105, 114, 121 }, { 114, 121, 297, 372 }, { 105, 114, 372 }, { 105, 121, 297 }, { 105, 297, 372 } ], [ { 105, 355, 372 }, { 105, 269, 372 }, { 105, 269, 355 }, { 269, 355, 372 } ], [ { 105, 114, 395 }, { 105, 114, 394 }, { 105, 394, 395 }, { 114, 394, 395 } ], [ { 129, 311, 397 }, { 125, 129, 311 }, { 125, 311, 397 }, { 125, 129, 397 } ], [ { 164, 375, 397 }, { 125, 164, 375 }, { 125, 164, 397 }, { 125, 375, 397 } ], [ { 155, 164, 323, 327 }, { 125, 164, 327 }, { 125, 129, 155, 164 }, { 125, 129, 323, 327 }, { 129, 155, 323 } ], [ { 186, 187, 204, 211, 225, 384 }, { 186, 193, 384 }, { 186, 187, 193, 334 }, { 193, 225, 383, 384 }, { 204, 211, 334, 383 }, { 204, 225, 383 }, { 193, 334, 383 }, { 187, 211, 334 } ], [ { 204, 211, 385 }, { 211, 247, 385 }, { 204, 247, 385 }, { 204, 211, 247 } ], [ { 39, 204, 247 }, { 39, 74, 247 }, { 74, 204, 225, 247 }, { 39, 74, 225 }, { 39, 204, 225 } ], [ { 269, 271, 391 }, { 247, 271, 391 }, { 247, 269, 391 }, { 247, 269, 271 } ], [ { 74, 76, 164 }, { 74, 76, 254 }, { 76, 164, 254 }, { 74, 164, 254 } ], [ { 74, 254, 259 }, { 74, 247, 254, 391 }, { 74, 242, 247, 259 }, { 242, 254, 259, 391 }, { 242, 247, 391 } ], [ { 164, 263, 269, 402, 403, 404 }, { 164, 254, 269, 391 }, { 263, 269, 391 }, { 254, 398, 402, 403 }, { 263, 391, 398, 404 }, { 254, 391, 398 }, { 164, 254, 403 }, { 398, 402, 404 } ], [ { 105, 269, 271 }, { 105, 247, 271 }, { 105, 247, 269 }, { 247, 269, 271 } ], [ { 103, 105, 395 }, { 103, 105, 247 }, { 103, 247, 395 }, { 105, 247, 395 } ], [ { 105, 114, 395 }, { 105, 269, 395 }, { 114, 269, 372, 395 }, { 105, 269, 372 }, { 105, 114, 372 } ], [ { 155, 164, 397 }, { 125, 129, 155, 164 }, { 125, 164, 397 }, { 125, 129, 397 }, { 129, 155, 397 } ], [ { 74, 204, 225, 247 }, { 74, 247, 405 }, { 204, 211, 247 }, { 187, 211, 247, 405 }, { 186, 187, 204, 211, 225, 384 }, { 74, 186, 384, 405 }, { 186, 187, 405 }, { 74, 225, 384 } ], [ { 164, 254, 269, 391 }, { 74, 164, 247, 269 }, { 74, 247, 254, 391 }, { 74, 164, 254 }, { 247, 269, 391 } ], [ { 105, 269, 395 }, { 105, 247, 395 }, { 105, 247, 269 }, { 247, 269, 395 } ], [ { 155, 164, 397 }, { 155, 164, 406 }, { 164, 397, 406 }, { 155, 397, 406 } ], [ { 155, 164, 269, 395, 407, 408 }, { 247, 269, 395 }, { 74, 164, 247, 269 }, { 247, 395, 405, 408 }, { 74, 155, 405, 407 }, { 405, 407, 408 }, { 74, 247, 405 }, { 74, 155, 164 } ], [ { 155, 406, 407, 409 }, { 155, 164, 269, 395, 407, 408 }, { 155, 164, 406 }, { 164, 269, 406, 410 }, { 395, 408, 409, 410 }, { 407, 408, 409 }, { 269, 395, 410 }, { 406, 409, 410 } ] ] /* Order of PGL_2(O) stabilizers of Voronoi top cells */ [ 2, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 2, 1, 1, 1, 2, 2, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 3, 3, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 3, 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, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 3, 1, 3, 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, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 3, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 3, 1, 1, 1, 3, 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>, <6, 2>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <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>, <4, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <6, 2>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <6, 2> ]