/* Defining polynomial */ x^2 + 210 /* Minimal vectors */ [ <-22*w + 33, 13*w + 265>, <7*w + 41, -w - 110>, <-15*w + 156, 17*w + 114>, <2*w + 279, 16*w - 165>, <82, 5*w - 41>, <17*w + 123, -w - 279>, <-8*w + 279, 21*w - 37>, <22*w + 33, -9*w - 298>, <-7*w + 41, 6*w + 69>, <-7*w + 123, 11*w + 28>, <15*w + 156, 2*w - 270>, <8*w + 279, 13*w - 242>, <3*w + 9, -w - 40>, <-3*w + 9, 2*w + 31>, <7*w + 62, -114>, <-7*w + 62, 7*w + 52>, <124, 7*w - 62>, <-6*w, 3*w + 71>, <6*w + 145, 5*w - 142>, <-40*w + 145, 28*w + 391>, <23*w + 299, 5*w - 416>, <-17*w + 444, 33*w - 25>, <-59*w + 281, 45*w + 543>, <142*w + 290, -55*w - 1790>, <89*w + 1568, 42*w - 1815>, <30*w + 1849, 87*w - 1272>, <-41*w + 2130, 138*w - 590>, <101*w + 2420, 83*w - 2380>, <6*w + 127, 4*w - 133>, <-6*w + 127, 10*w + 6>, <254, 14*w - 127>, <13*w + 263, 8*w - 282>, <-13*w + 263, 21*w + 19>, <-14*w + 254, 21*w + 35>, <-14*w, 7*w + 162>, <14*w + 254, 7*w - 289>, <-7*w + 118, 10*w + 22>, <21*w + 136, -3*w - 311>, <-13*w + 245, 20*w + 28>, <7*w + 118, 3*w - 140>, <-21*w + 136, 18*w + 175>, <13*w + 245, 7*w - 273>, <10*w + 271, 9*w - 244>, <-10*w + 271, 19*w - 27>, <1142, 59*w - 571>, <-20*w, 10*w + 217>, <4*w + 19, -w - 57>, <-w + 44, 3*w - 11>, <3*w + 63, 2*w - 68>, <-w + 133, 8*w - 57>, <2*w + 1, -w - 24>, <3*w + 28, -50>, <4*w + 91, 3*w - 95>, <-4*w + 105, 8*w - 8>, <1, -1>, <-w + 7, w + 8>, , <18, w - 11>, <-w + 7, w + 7>, , <-w + 8, w + 7>, <19, w - 11>, , <18, w - 10>, <2*w + 20, -35>, , <35, 2*w - 20>, <17, w - 11>, <8*w + 8, -4*w - 105>, <-w + 24, 2*w - 1>, <50, 3*w - 28>, <3*w + 95, 4*w - 91>, , <4*w + 71, 2*w - 90>, <-7*w + 9, 4*w + 84>, <-4*w + 17, 3*w + 42>, , <-6*w + 34, 5*w + 59>, <-3*w + 42, 4*w + 17>, <-5*w + 59, 6*w + 34>, <-4*w + 84, 7*w + 9>, <-w + 125, 8*w - 49>, <8*w + 49, -w - 125>, <3*w + 8, -w - 42>, <5*w + 41, -84>, <-3*w + 91, 7*w - 7>, <99, 6*w - 49>, <-6*w + 17, 4*w + 68>, <3*w + 74, 3*w - 75>, <-2*w + 132, 9*w - 40>, <-2*w + 33, 3*w + 9>, <10*w + 148, 4*w - 201>, , <-5*w + 58, 6*w + 35>, <10*w + 98, w - 176>, <-w + 74, 5*w - 24>, <-3*w + 8, 2*w + 34>, <-5*w + 41, 5*w + 43>, <3*w + 91, 4*w - 84>, <99, 6*w - 50>, <6*w + 17, -2*w - 85>, <-3*w + 74, 6*w + 1>, <2*w + 132, 7*w - 92>, <2*w + 33, w - 42>, <-10*w + 148, 14*w + 53>, <-w + 41, 3*w - 8>, <5*w + 58, w - 93>, <-10*w + 98, 11*w + 78>, , <39*w + 235, -6*w - 588>, <23*w + 235, 2*w - 395>, <-23*w + 235, 25*w + 160>, <-39*w + 235, 33*w + 353>, <31*w + 322, 3*w - 535>, <-31*w + 322, 34*w + 213>, <470, 27*w - 235>, <8*w + 557, 28*w - 375>, <-8*w + 557, 36*w - 182>, <7*w + 7, -3*w - 87>, <35, 2*w - 17>, <7*w + 42, -w - 104>, <-w + 97, 6*w - 35>, <-5*w + 10, 3*w + 55>, <-7*w + 28, 5*w + 70>, <-3*w + 115, 8*w - 20>, <5*w + 80, 2*w - 99>, <-5*w + 80, 7*w + 19>, <160, 9*w - 80>, <4*w + 53, w - 74>, <-4*w + 53, 5*w + 21>, <2*w + 17, -32>, <2*w + 52, 2*w - 49>, <-4*w + 19, 3*w + 38>, <3*w + 26, -48>, , <-3*w + 63, 5*w + 5>, <-6*w + 145, 11*w - 3>, <-17*w + 154, 17*w + 120>, <-23*w + 299, 28*w + 117>, <17*w + 444, 16*w - 419>, <17*w + 154, -274>, <23*w + 9, -11*w - 271>, <-22*w + 290, 27*w + 110>, <-5*w + 444, 27*w - 164>, <-w + 9, w + 7>, <6*w + 109, 3*w - 124>, <5*w + 118, 4*w - 117>, <71*w + 571, -4*w - 1108>, <12*w + 852, 41*w - 565>, <-47*w + 571, 55*w + 259>, <1142, 63*w - 571>, <-200*w + 1142, 163*w + 1746>, <100*w + 2429, 84*w - 2373>, <53*w + 3000, 139*w - 2114>, <-200*w, 100*w + 2317>, <19*w + 136, -2*w - 288>, <-19*w + 136, 17*w + 152>, , <-6*w + 109, 9*w + 15>, <8*w + 127, 3*w - 156>, <-8*w + 127, 11*w + 29>, <12*w + 36, -4*w - 157>, <-16*w + 109, 14*w + 131>, <-5*w + 136, 10*w - 10>, <-4*w + 145, 10*w - 26>, <-4*w + 127, 9*w - 17>, <-3*w + 136, 9*w - 33>, <8*w + 181, 6*w - 183>, <-5*w + 118, 9*w - 1>, <58, 3*w - 29>, <-w + 9, w + 6>, <19, w - 10>, <2*w + 78, 3*w - 63>, , <6*w + 3, -3*w - 67>, <5*w + 12, -2*w - 61>, <-2*w + 76, 5*w - 18>, <3*w + 88, 3*w - 79>, , <-3*w + 29, 3*w + 18>, <4*w + 39, -63>, , <5*w + 10, -2*w - 59>, <-2*w + 39, 3*w + 2>, <-5*w + 68, 6*w + 20>, <3*w + 29, -47>, <11*w + 68, -2*w - 153>, <5*w + 68, w - 88>, <-11*w + 68, 9*w + 85>, <8*w + 97, w - 135>, <-8*w + 97, 9*w + 38>, <136, 7*w - 68>, <-w + 10, w + 6>, <-4*w + 39, 4*w + 24>, <-w + 68, 4*w - 23>, <-5*w + 10, 3*w + 49>, <2*w + 39, w - 41>, <-3*w + 10, 2*w + 27>, , <-2*w + 59, 4*w - 8>, <1, 0>, , <-w + 11, w + 5>, <20, w - 9>, , , <-w + 12, w + 4>, <21, w - 10>, , , <23, w - 11>, , <20, w - 11>, <-w + 10, w + 4>, <-w + 10, w + 5>, <-2*w + 17, 2*w + 15>, <35, 2*w - 18>, <-2*w + 52, 4*w - 3>, , , <4*w + 54, w - 76>, <4*w + 19, -w - 58>, <-3*w + 25, 3*w + 23>, <-5*w + 42, 5*w + 38>, <-w + 96, 6*w - 38>, <3*w + 10, -w - 41>, <-7*w + 59, 7*w + 53>, <7*w + 64, -117>, <2*w + 71, 3*w - 61>, <-11*w + 40, 8*w + 110>, <8*w + 109, 2*w - 152>, <-3*w + 149, 10*w - 42>, <-3*w + 8, 2*w + 31>, , <-2*w + 53, 4*w - 4>, <18*w + 131, -2*w - 279>, <-w + 295, 17*w - 141>, <-3*w + 26, 3*w + 22>, <4*w + 113, 4*w - 109>, <-5*w + 113, 9*w - 5>, , <-4*w + 105, 8*w - 12>, <-w + 8, w + 8>, <-2*w + 16, 2*w + 15>, <2*w + 19, -34>, , , <89, 5*w - 47>, <2*w + 90, 4*w - 71>, <-2*w + 15, 2*w + 16>, <-w + 25, 2*w - 2>, <2*w + 2, -w - 25>, <-w + 6, w + 9>, <9*w + 5, -5*w - 113>, <4*w + 109, 4*w - 113>, <8*w + 12, -4*w - 105>, <17, w - 10>, <34, 2*w - 19>, <-4*w + 12, 3*w + 44>, <2*w + 19, -36>, <33, 2*w - 19>, <-w + 40, 3*w - 10>, <3*w + 28, -54>, <-5*w + 1, 3*w + 62>, <2*w + 3, -w - 27>, <-2*w + 14, 2*w + 17>, <4*w + 56, w - 83>, <-w + 7, w + 9>, <5*w + 47, -89>, <6*w + 49, -100>, <-3*w + 75, 6*w + 1>, <3*w + 124, 6*w - 99>, <83, 5*w - 41>, <9*w + 7, -4*w - 117>, <-2*w + 17, 2*w + 17>, <-4*w + 117, 9*w - 7>, <5*w + 124, 5*w - 124>, <4*w + 66, 2*w - 83>, <2*w + 83, 4*w - 66>, <6*w + 149, 6*w - 149>, <-6*w + 1, 3*w + 75>, <-w + 42, 3*w - 8>, <6*w + 99, 3*w - 124>, <100, 6*w - 49>, <5*w + 41, -83>, <-11*w + 93, 11*w + 93>, <3*w + 107, 5*w - 91>, <-3*w + 107, 8*w - 16>, <5*w + 8, -2*w - 68>, <-3*w + 41, 4*w + 18>, <12*w + 147, 3*w - 227>, <-5*w + 205, 15*w - 38>, <2*w + 49, 2*w - 50>, <213, 13*w - 106>, <-10*w + 115, 12*w + 71>, <17*w + 41, -6*w - 238>, <-17*w + 41, 11*w + 197>, <12*w + 197, 6*w - 252>, <-12*w + 197, 18*w + 55>, <29*w + 238, -490>, <5*w + 238, 12*w - 183>, <-5*w + 238, 17*w - 55>, <-29*w + 238, 29*w + 252>, <476, 29*w - 238>, <8*w + 115, 3*w - 160>, <3*w + 41, w - 59>, <-2*w + 49, 4*w + 1>, , <-6*w + 229, 17*w - 38>, <-7*w + 8, 4*w + 86>, <4*w + 49, w - 76>, <-3*w + 57, 5*w + 10>, <-17*w + 171, 19*w + 133>, <-6*w + 98, 9*w + 28>, <-5*w + 8, 3*w + 60>, <-4*w + 82, 7*w + 10>, <-12*w + 147, 15*w + 80>, <5*w + 205, 10*w - 167>, <213, 13*w - 107>, <10*w + 115, 2*w - 186>, , <-w + 43, 3*w - 10>, <52, 3*w - 27>, <-w + 60, 4*w - 19>, <-3*w + 8, 2*w + 32>, <2*w + 35, w - 42>, <9*w + 61, -w - 139>, <122, 7*w - 61>, <-10*w + 453, 31*w - 106>, <-38*w, 19*w + 458>, <-9*w + 61, 8*w + 78>, <10*w + 453, 21*w - 347>, <8*w + 87, w - 140>, <-8*w + 87, 9*w + 53>, <-16*w, 8*w + 193>, , <10*w + 87, -164>, , <-8*w + 209, 16*w - 8>, <-w + 26, 2*w - 1>, <6*w + 87, 2*w - 116>, <174, 10*w - 87>, <-30*w, 15*w + 362>, <-6*w + 87, 8*w + 29>, <-10*w + 87, 10*w + 77>, <-w + 148, 9*w - 62>, <-w + 9, w + 8>, , <52, 3*w - 25>, , <3*w + 8, -w - 40>, <-2*w + 35, 3*w + 7>, <-3*w + 80, 6*w - 3>, <-2*w + 18, 2*w + 15>, <4*w + 87, 3*w - 90>, <2*w + 89, 4*w - 68>, <-2*w + 89, 6*w - 21>, <18, w - 9>, <-7*w + 27, 5*w + 69>, <-w + 98, 6*w - 37>, , <-w + 44, 3*w - 10>, <-w + 45, 3*w - 10>, <-w + 44, 3*w - 9>, <-11*w + 9, 6*w + 123>, <-w + 299, 17*w - 138>, <-12*w + 308, 23*w - 15>, <22*w + 290, 5*w - 400>, <-34*w, 17*w + 394>, <11*w + 9, -5*w - 132>, , <12*w + 308, 11*w - 293>, <5*w + 136, 5*w - 126>, <18*w + 127, -2*w - 272>, <-w + 281, 16*w - 129>, <-65*w + 426, 56*w + 540>, <852, 47*w - 426>, <6*w + 997, 52*w - 568>, <-12*w, 6*w + 139>, <47*w + 571, 8*w - 830>, <-100*w + 2429, 184*w - 56>, <272, 15*w - 136>, <-18*w + 127, 16*w + 145>, , <-3*w + 154, 10*w - 42>, <23*w + 27, -10*w - 280>, <18*w + 163, -290>, <-4*w + 19, 3*w + 34>, <-2*w, w + 22>, , <38, 2*w - 19>, <-2*w + 57, 4*w - 6>, <-w + 28, 2*w - 3>, <2*w + 57, 2*w - 51>, <-2*w + 37, 3*w + 4>, <2*w + 56, 2*w - 51>, <2*w + 37, w - 41>, <-2*w + 56, 4*w - 5>, <-3*w + 28, 3*w + 19>, <-4*w + 56, 5*w + 14>, <-3*w + 66, 5*w - 2>, <3*w + 69, 2*w - 69>, <3*w + 29, -48>, , <3*w + 10, -w - 37>, <-w + 49, 3*w - 14>, <5*w + 49, -78>, <-5*w + 49, 5*w + 29>, <2*w + 59, 2*w - 51>, <-4*w, 2*w + 43>, <-w + 11, w + 4>, , <-w + 12, w + 3>, <-4*w + 52, 5*w + 20>, <2*w + 72, 3*w - 61>, <-w + 26, 2*w - 2>, <2*w + 1, -w - 23>, <-w + 27, 2*w - 3>, <37, 2*w - 19>, <37, 2*w - 20>, <54, 3*w - 28>, , , <2*w + 19, -37>, <-w + 23, 2*w - 1>, <2*w + 20, -37>, <2*w + 2, -w - 26>, <3*w + 12, -w - 44>, <-w + 41, 3*w - 11>, <-2*w + 31, 3*w + 8>, <-4*w + 14, 3*w + 42>, <17, w - 9>, , <2*w + 52, 2*w - 53>, <-2*w + 66, 5*w - 11>, , <49, 3*w - 24>, , <33, 2*w - 16>, <-5*w + 42, 5*w + 43>, <-2*w + 50, 4*w + 1>, <17, w - 8>, <3*w + 24, -49>, <2*w + 33, w - 41>, <3*w + 41, w - 57>, <-4*w + 1, 2*w + 50>, <2*w + 16, -33>, <-5*w + 43, 5*w + 42>, <-5*w + 9, 3*w + 59>, <4*w + 49, w - 75>, , <-3*w + 59, 5*w + 9>, <5*w + 91, 3*w - 107>, <5*w + 74, 2*w - 101>, <-4*w + 49, 5*w + 27>, <98, 6*w - 49>, <-22*w, 11*w + 283>, <-6*w, 3*w + 77>, <2*w + 122, 6*w - 85>, <-2*w, w + 24>, <17*w + 148, -279>, <-17*w + 148, 17*w + 131>, <8*w + 209, 8*w - 201>, <-2*w + 122, 8*w - 37>, <2*w + 17, -33>, <3*w + 25, -49>, <2*w + 34, w - 41>, <-w + 43, 3*w - 9>, <-3*w + 9, 2*w + 32>, <3*w + 8, -w - 39>, <-w + 27, 2*w - 1>, <-3*w + 28, 3*w + 22>, <308, 17*w - 154>, <-18*w + 163, 18*w + 127>, <65*w + 426, -9*w - 966>, <-6*w + 997, 58*w - 429>, <-53*w + 426, 50*w + 401>, <53*w + 426, -3*w - 827>, <59*w + 571, 2*w - 969>, <-59*w + 571, 61*w + 398>, <11*w + 27, -4*w - 141>, <19, w - 9>, <37, 2*w - 18>, <-3*w + 29, 3*w + 19>, <20, w - 10>, <-3*w + 23, 3*w + 25>, <2*w + 35, w - 44>, <-3*w + 6, 2*w + 34>, <-4*w, 2*w + 51>, <-w + 8, w + 9>, <2*w + 18, -33>, <-2*w + 17, 2*w + 16>, <-w + 25, 2*w>, <-2*w, w + 25>, <0, 1> ] /* Voronoi top cells */ [ { 1, 2, 3, 4 }, { 3, 5, 6, 7 }, { 8, 9, 10, 11 }, { 5, 10, 11, 12 }, { 13, 14, 15, 16, 17, 18 }, { 19, 20, 21, 22 }, { 23, 24, 25, 26, 27, 28 }, { 29, 30, 31, 32, 33 }, { 29, 31, 34, 35 }, { 30, 31, 35, 36 }, { 30, 37, 38, 39 }, { 30, 35, 36, 39 }, { 29, 40, 41, 42 }, { 29, 34, 35, 42 }, { 43, 44, 45, 46 }, { 47, 48, 49, 50 }, { 51, 52, 53, 54 }, { 55, 56, 57, 58 }, { 55, 58, 59, 60 }, { 55, 60, 61, 62 }, { 63, 64, 65, 66, 67 }, { 55, 56, 57, 68 }, { 69, 70, 71, 72 }, { 69, 70, 73, 74 }, { 75, 76, 77, 78 }, { 77, 79, 80, 81 }, { 76, 77, 78, 82 }, { 77, 79, 80, 83 }, { 84, 85, 86, 87 }, { 85, 88, 89, 90 }, { 85, 89, 91, 92 }, { 88, 93, 94, 95 }, { 88, 89, 90, 94 }, { 89, 93, 94, 96 }, { 97, 98, 99, 100 }, { 98, 101, 102, 103 }, { 98, 102, 104, 105 }, { 101, 106, 107, 108 }, { 101, 102, 103, 107 }, { 102, 106, 107, 109 }, { 2, 3, 4, 5, 6 }, { 5, 9, 10, 11 }, { 110, 111, 112, 113, 114, 115, 116, 117, 118 }, { 119, 120, 121, 122 }, { 119, 120, 123, 124, 125 }, { 13, 14, 126, 127, 128 }, { 13, 14, 15, 16, 129, 130 }, { 120, 122, 131, 132 }, { 133, 134, 135, 136 }, { 137, 138, 139, 140 }, { 19, 21, 22, 141 }, { 19, 141, 142, 143, 144 }, { 29, 145, 146, 147 }, { 23, 24, 27, 148, 149 }, { 150, 151, 152, 153, 154, 155 }, { 29, 30, 32, 33, 156, 157 }, { 30, 158, 159, 160 }, { 29, 30, 31, 35 }, { 30, 35, 37, 39 }, { 29, 35, 40, 42 }, { 29, 145, 146, 161 }, { 162, 163, 164, 165 }, { 158, 162, 165, 166, 167, 168 }, { 30, 158, 159, 169 }, { 158, 164, 166, 169 }, { 43, 44, 46, 170 }, { 171, 172, 173, 174 }, { 172, 175, 176, 177, 178 }, { 179, 180, 181, 182 }, { 179, 182, 183, 184 }, { 180, 182, 184, 185 }, { 180, 185, 186, 187, 188, 189, 190, 191, 192 }, { 186, 193, 194, 195 }, { 193, 195, 196, 197 }, { 186, 188, 195, 197 }, { 197, 198, 199, 200 }, { 201, 202, 203, 204 }, { 203, 205, 206, 207, 208 }, { 201, 203, 205, 206 }, { 201, 206, 207, 209, 210, 211 }, { 55, 171, 212, 213 }, { 55, 212, 214, 215 }, { 216, 217, 218, 219 }, { 216, 218, 220, 221 }, { 220, 221, 222, 223, 224, 225 }, { 216, 221, 224, 226, 227, 228 }, { 223, 224, 226, 229 }, { 216, 226, 230, 231, 232 }, { 233, 234, 235, 236, 237 }, { 47, 48, 49, 238 }, { 61, 64, 239, 240 }, { 64, 239, 241, 242 }, { 64, 243, 244, 245 }, { 55, 61, 171, 246 }, { 51, 247, 248, 249 }, { 51, 52, 54, 247 }, { 63, 243, 250, 251 }, { 64, 243, 244, 252 }, { 63, 64, 65, 67, 251, 252 }, { 55, 56, 58, 60, 61 }, { 56, 61, 63, 64, 66 }, { 55, 56, 68, 253 }, { 56, 63, 254, 255 }, { 63, 255, 256, 257 }, { 63, 243, 250, 258 }, { 259, 260, 261, 262 }, { 70, 259, 260, 262, 263 }, { 257, 264, 265, 266, 267 }, { 70, 262, 263, 268 }, { 69, 70, 71, 73 }, { 70, 73, 74, 269 }, { 84, 270, 271, 272 }, { 75, 77, 78, 273 }, { 274, 275, 276, 277 }, { 274, 276, 278, 279, 280 }, { 281, 282, 283, 284 }, { 77, 80, 81, 285 }, { 77, 78, 80, 82, 83 }, { 78, 80, 278, 279, 286 }, { 84, 85, 87, 88 }, { 84, 87, 88, 287 }, { 85, 88, 89, 91 }, { 88, 89, 93, 94 }, { 89, 91, 93, 96 }, { 97, 98, 100, 101 }, { 97, 100, 101, 288 }, { 98, 101, 102, 104 }, { 101, 102, 106, 107 }, { 102, 104, 106, 109 }, { 91, 93, 96, 289 }, { 289, 290, 291, 292 }, { 289, 291, 293, 294 }, { 290, 291, 293, 295 }, { 296, 297, 298, 299, 300, 301, 302, 303, 304 }, { 2, 4, 5, 6, 296, 302 }, { 5, 9, 10, 305 }, { 306, 307, 308, 309 }, { 310, 311, 312, 313 }, { 306, 308, 310, 311, 314 }, { 104, 109, 315, 316 }, { 104, 106, 109, 315 }, { 306, 315, 317, 318 }, { 307, 315, 317, 319 }, { 306, 307, 317, 320 }, { 321, 322, 323, 324 }, { 217, 322, 323, 325 }, { 217, 322, 325, 326 }, { 327, 328, 329, 330 }, { 328, 330, 331, 332 }, { 111, 112, 116, 333, 334, 335 }, { 331, 336, 337, 338 }, { 331, 333, 338, 339 }, { 334, 340, 341, 342 }, { 333, 334, 342, 343 }, { 336, 340, 341, 342, 344 }, { 333, 336, 342, 344 }, { 327, 340, 345, 346 }, { 347, 348, 349, 350 }, { 120, 348, 349, 351 }, { 120, 348, 351, 352 }, { 119, 120, 122, 131, 353 }, { 119, 120, 124, 354, 355 }, { 13, 14, 126, 127, 356, 357 }, { 14, 356, 358, 359, 360 }, { 13, 14, 129, 130, 361, 362 }, { 133, 134, 135, 363 }, { 120, 131, 132, 364 }, { 131, 134, 135, 136 }, { 137, 365, 366, 367 }, { 137, 138, 367, 368 }, { 137, 138, 140, 369 }, { 19, 22, 137, 140, 369 }, { 19, 22, 141, 369 }, { 19, 370, 371, 372 }, { 19, 141, 143, 372 }, { 29, 145, 147, 373 }, { 29, 137, 374, 375 }, { 148, 149, 376, 377, 378, 379 }, { 23, 148, 149, 378, 379 }, { 150, 151, 153, 155, 380, 381 }, { 29, 30, 156, 157, 382 }, { 30, 37, 158, 160 }, { 29, 30, 35, 37, 40 }, { 29, 40, 145, 161 }, { 19, 30, 383, 384 }, { 158, 165, 167, 168, 385 }, { 158, 162, 164, 165, 166 }, { 164, 370, 386, 387 }, { 30, 158, 164, 169 }, { 43, 44, 170, 180, 186 }, { 179, 180, 181, 388 }, { 170, 180, 388, 389 }, { 389, 390, 391, 392 }, { 389, 391, 393, 394 }, { 145, 393, 395, 396 }, { 158, 390, 397, 398 }, { 389, 393, 394, 399 }, { 171, 179, 400, 401, 402 }, { 171, 172, 173, 175, 402 }, { 172, 175, 177, 179, 401 }, { 172, 179, 403, 404 }, { 179, 393, 399, 403 }, { 179, 184, 405, 406 }, { 184, 197, 198, 200, 405, 407, 408, 409, 410 }, { 179, 180, 182, 184 }, { 180, 184, 185, 186, 188, 197 }, { 186, 193, 195, 197 }, { 193, 197, 198, 199 }, { 201, 202, 203, 205 }, { 55, 201, 209, 411, 412, 413 }, { 201, 205, 206, 207, 209 }, { 55, 171, 212, 215 }, { 216, 217, 218, 220 }, { 216, 220, 221, 223, 224, 226 }, { 216, 226, 231, 232, 247 }, { 48, 49, 216, 238 }, { 52, 233, 234, 235, 414 }, { 52, 234, 247, 414, 415 }, { 47, 48, 234, 238 }, { 61, 64, 239, 241 }, { 64, 243, 245, 416 }, { 55, 61, 171, 241 }, { 145, 241, 417, 418 }, { 145, 172, 417, 419 }, { 172, 241, 417, 420 }, { 51, 247, 248, 416 }, { 51, 145, 233, 421 }, { 51, 52, 233, 247 }, { 253, 257, 422, 423 }, { 268, 422, 424, 425 }, { 257, 265, 268, 425 }, { 257, 422, 425, 426 }, { 63, 64, 243, 251, 252 }, { 55, 56, 61, 63, 64 }, { 55, 56, 253, 257 }, { 56, 63, 255, 257 }, { 63, 243, 258, 427 }, { 63, 257, 427, 428 }, { 70, 260, 261, 262, 268 }, { 257, 261, 265, 266, 268 }, { 70, 257, 427, 428, 429 }, { 70, 263, 268, 430 }, { 70, 71, 73, 430 }, { 70, 73, 269, 427 }, { 431, 432, 433, 434, 435 }, { 93, 436, 437, 438 }, { 275, 439, 440, 441 }, { 442, 443, 444, 445 }, { 275, 446, 447, 448 }, { 84, 275, 449, 450 }, { 84, 93, 287, 450 }, { 93, 275, 440, 450 }, { 84, 270, 272, 275 }, { 84, 270, 271, 278 }, { 77, 78, 84, 273 }, { 78, 84, 273, 278 }, { 275, 444, 448, 451 }, { 275, 282, 451, 452 }, { 282, 444, 451, 453 }, { 274, 275, 276, 278, 279 }, { 275, 282, 283, 284 }, { 279, 281, 282, 284 }, { 77, 80, 282, 285 }, { 77, 78, 80, 278, 279 }, { 80, 279, 282, 285 }, { 84, 85, 88, 91 }, { 84, 88, 93, 287 }, { 88, 89, 91, 93 }, { 97, 98, 101, 104 }, { 97, 101, 106, 288 }, { 101, 102, 104, 106 }, { 91, 93, 289, 293 }, { 289, 290, 291, 293 }, { 2, 5, 9, 296, 297, 298, 299, 301, 302 }, { 5, 9, 305, 306, 454 }, { 311, 455, 456, 457 }, { 306, 311, 314, 456, 458 }, { 306, 307, 308, 310, 311, 312 }, { 104, 306, 315, 316, 454 }, { 104, 106, 307, 315 }, { 306, 307, 315, 317 }, { 217, 321, 322, 323 }, { 217, 322, 326, 340 }, { 331, 336, 337, 459 }, { 327, 328, 330, 331 }, { 328, 331, 459, 460 }, { 327, 334, 340, 346 }, { 327, 331, 333, 334, 335, 339, 461, 462, 463 }, { 331, 333, 336, 338 }, { 333, 334, 336, 340, 342 }, { 327, 340, 345, 464 }, { 327, 328, 460, 464 }, { 347, 465, 466, 467, 468 }, { 336, 347, 348, 467, 469 }, { 120, 347, 348, 349 }, { 120, 336, 348, 352 }, { 119, 120, 131, 353, 354, 355 }, { 13, 14, 356, 357, 358 }, { 13, 14, 361, 362, 460 }, { 363, 470, 471, 472 }, { 134, 135, 363, 471 }, { 120, 131, 347, 364 }, { 131, 134, 135, 471 }, { 137, 138, 365, 367 }, { 19, 137, 138, 141, 369 }, { 138, 141, 365, 370, 473 }, { 19, 141, 370, 372 }, { 137, 365, 373, 474 }, { 29, 137, 145, 373 }, { 29, 137, 374, 379 }, { 376, 377, 378, 379, 475, 476 }, { 19, 23, 378, 379, 477 }, { 19, 137, 150, 151, 380, 477, 478, 479, 480 }, { 29, 30, 379, 382 }, { 29, 30, 37, 40, 145, 158 }, { 19, 30, 379, 383 }, { 158, 165, 358, 385, 481 }, { 158, 164, 165, 370 }, { 19, 164, 370, 387 }, { 19, 30, 158, 164 }, { 158, 390, 482, 483 }, { 193, 390, 482, 484 }, { 170, 180, 186, 389 }, { 179, 180, 388, 389 }, { 389, 390, 391, 393 }, { 145, 158, 390, 393, 395, 397 }, { 179, 389, 393, 399 }, { 171, 172, 175, 179, 401, 402 }, { 145, 172, 393, 419 }, { 172, 179, 393, 403 }, { 179, 184, 405, 485 }, { 184, 197, 198, 405, 485 }, { 179, 180, 184, 186, 193, 197 }, { 193, 197, 198, 485 }, { 193, 201, 202, 205 }, { 55, 201, 205, 209, 215, 411 }, { 55, 171, 179, 215 }, { 216, 217, 220, 321 }, { 216, 220, 223, 226, 247 }, { 48, 216, 238, 247 }, { 52, 233, 234, 247 }, { 48, 234, 238, 247 }, { 55, 61, 64, 241 }, { 64, 241, 243, 416 }, { 55, 171, 172, 241 }, { 145, 172, 241, 417 }, { 51, 241, 243, 416 }, { 51, 243, 247, 416 }, { 51, 145, 233, 247 }, { 55, 253, 257, 422 }, { 257, 268, 422, 425 }, { 55, 63, 64, 243 }, { 55, 56, 63, 257 }, { 63, 243, 257, 427 }, { 70, 257, 260, 261, 266, 268 }, { 70, 243, 257, 427 }, { 70, 73, 268, 430 }, { 70, 73, 243, 427 }, { 73, 432, 433, 486, 487 }, { 243, 431, 432, 433, 488 }, { 73, 243, 427, 488 }, { 93, 436, 437, 439 }, { 93, 275, 439, 440 }, { 442, 443, 444, 447 }, { 275, 444, 447, 448 }, { 84, 93, 275, 450 }, { 84, 270, 275, 278 }, { 77, 78, 84, 278 }, { 275, 282, 444, 451 }, { 77, 275, 278, 279 }, { 275, 279, 282, 284 }, { 77, 80, 279, 282 }, { 84, 88, 91, 93 }, { 97, 101, 104, 106 }, { 91, 93, 293, 436 }, { 91, 289, 290, 293 }, { 2, 5, 9, 91, 104, 489 }, { 5, 9, 104, 306, 454 }, { 290, 306, 311, 455, 456, 458 }, { 104, 106, 307, 490 }, { 306, 307, 311, 312, 490 }, { 104, 306, 307, 315 }, { 217, 321, 322, 340 }, { 331, 336, 459, 460 }, { 327, 328, 331, 460 }, { 327, 331, 333, 334, 336, 340 }, { 327, 340, 460, 464 }, { 336, 347, 465, 467, 468, 469 }, { 120, 336, 347, 348 }, { 216, 217, 321, 491 }, { 13, 361, 460, 491 }, { 120, 131, 347, 354 }, { 13, 14, 358, 460 }, { 14, 354, 362, 460 }, { 158, 363, 470, 471 }, { 134, 358, 363, 471 }, { 131, 347, 364, 471 }, { 131, 134, 358, 471 }, { 19, 137, 138, 141, 365, 370 }, { 137, 145, 365, 373 }, { 29, 137, 145, 379 }, { 19, 137, 378, 379, 476, 477, 478, 479, 480 }, { 29, 30, 145, 158, 379 }, { 19, 30, 158, 379 }, { 158, 165, 358, 370, 481 }, { 19, 158, 164, 370 }, { 193, 201, 202, 482 }, { 158, 193, 390, 482 }, { 158, 193, 389, 390 }, { 179, 180, 186, 193, 389 }, { 145, 158, 389, 390, 393 }, { 145, 179, 389, 393 }, { 55, 171, 172, 179 }, { 145, 172, 179, 393 }, { 179, 184, 193, 197, 485 }, { 193, 201, 205, 485 }, { 55, 201, 205, 215, 485 }, { 55, 179, 215, 485 }, { 216, 220, 247, 321 }, { 216, 238, 247, 358 }, { 145, 233, 234, 247 }, { 234, 238, 247, 358 }, { 55, 64, 241, 243 }, { 55, 145, 172, 241 }, { 51, 145, 241, 243 }, { 51, 145, 243, 247 }, { 55, 257, 268, 422 }, { 55, 63, 243, 257 }, { 70, 243, 257, 268 }, { 70, 73, 243, 268 }, { 73, 243, 432, 433, 488 }, { 93, 275, 436, 439 }, { 275, 442, 444, 447 }, { 84, 93, 275, 436 }, { 77, 84, 275, 278 }, { 275, 282, 442, 444 }, { 77, 275, 279, 282 }, { 84, 91, 93, 436 }, { 97, 104, 106, 490 }, { 91, 290, 293, 436 }, { 5, 91, 104, 290, 306 }, { 290, 306, 311, 436, 455, 490 }, { 104, 306, 307, 490 }, { 217, 321, 340, 460 }, { 327, 331, 336, 340, 460 }, { 321, 336, 340, 347, 465, 492 }, { 120, 336, 347, 460 }, { 216, 321, 358, 491 }, { 217, 321, 460, 491 }, { 13, 358, 460, 491 }, { 131, 347, 354, 358 }, { 120, 347, 354, 460 }, { 14, 354, 358, 460 }, { 158, 358, 363, 471 }, { 131, 347, 358, 471 }, { 19, 137, 358, 365, 370 }, { 137, 145, 358, 365 }, { 19, 137, 145, 158, 379 }, { 19, 158, 358, 370 }, { 158, 193, 201, 482 }, { 145, 158, 179, 193, 389 }, { 55, 145, 172, 179 }, { 55, 179, 193, 201, 485 }, { 216, 247, 321, 358 }, { 145, 234, 247, 358 }, { 55, 145, 241, 243 }, { 145, 243, 247, 321 }, { 55, 243, 257, 268 }, { 73, 243, 268, 432 }, { 275, 436, 439, 442, 447 }, { 77, 84, 275, 436 }, { 77, 275, 282, 442 }, { 77, 84, 91, 436 }, { 97, 104, 490, 493 }, { 91, 104, 290, 306, 436, 490 }, { 321, 336, 340, 347, 460 }, { 321, 358, 460, 491 }, { 347, 354, 358, 460 }, { 158, 347, 358, 471 }, { 19, 137, 145, 158, 358 }, { 55, 145, 158, 179, 193, 201 }, { 145, 247, 321, 358 }, { 55, 145, 243, 321 }, { 55, 243, 268, 432 }, { 77, 275, 436, 442 }, { 77, 91, 104, 436, 490, 493 }, { 321, 347, 358, 460 }, { 158, 201, 347, 358 }, { 55, 145, 158, 201, 358 }, { 55, 145, 321, 358 }, { 55, 243, 321, 432 }, { 77, 321, 347, 432, 436, 442, 490, 493, 494 }, { 55, 201, 321, 347, 358 }, { 55, 201, 321, 347, 432, 436, 442, 490, 495 } ] /* Faces of top cells */ [ [ { 2, 3, 4 }, { 1, 3, 4 }, { 1, 2, 4 }, { 1, 2, 3 } ], [ { 3, 6, 7 }, { 3, 5, 7 }, { 5, 6, 7 }, { 3, 5, 6 } ], [ { 9, 10, 11 }, { 8, 10, 11 }, { 8, 9, 11 }, { 8, 9, 10 } ], [ { 10, 11, 12 }, { 5, 11, 12 }, { 5, 10, 12 }, { 5, 10, 11 } ], [ { 13, 15, 17, 18 }, { 13, 14, 15, 16 }, { 15, 16, 17 }, { 14, 16, 17, 18 }, { 13, 14, 18 } ], [ { 20, 21, 22 }, { 19, 21, 22 }, { 19, 20, 22 }, { 19, 20, 21 } ], [ { 23, 25, 26 }, { 23, 24, 26 }, { 23, 25, 27 }, { 23, 24, 27 }, { 24, 27, 28 }, { 24, 26, 28 }, { 25, 26, 28 }, { 25, 27, 28 } ], [ { 30, 31, 32 }, { 29, 30, 32, 33 }, { 29, 30, 31 }, { 29, 31, 33 }, { 31, 32, 33 } ], [ { 31, 34, 35 }, { 29, 34, 35 }, { 29, 31, 35 }, { 29, 31, 34 } ], [ { 31, 35, 36 }, { 30, 31, 35 }, { 30, 35, 36 }, { 30, 31, 36 } ], [ { 30, 38, 39 }, { 37, 38, 39 }, { 30, 37, 39 }, { 30, 37, 38 } ], [ { 35, 36, 39 }, { 30, 35, 36 }, { 30, 35, 39 }, { 30, 36, 39 } ], [ { 29, 41, 42 }, { 40, 41, 42 }, { 29, 40, 42 }, { 29, 40, 41 } ], [ { 34, 35, 42 }, { 29, 34, 35 }, { 29, 35, 42 }, { 29, 34, 42 } ], [ { 44, 45, 46 }, { 43, 45, 46 }, { 43, 44, 46 }, { 43, 44, 45 } ], [ { 48, 49, 50 }, { 47, 49, 50 }, { 47, 48, 50 }, { 47, 48, 49 } ], [ { 52, 53, 54 }, { 51, 53, 54 }, { 51, 52, 54 }, { 51, 52, 53 } ], [ { 56, 57, 58 }, { 55, 57, 58 }, { 55, 56, 58 }, { 55, 56, 57 } ], [ { 58, 59, 60 }, { 55, 58, 60 }, { 55, 58, 59 }, { 55, 59, 60 } ], [ { 60, 61, 62 }, { 55, 60, 62 }, { 55, 61, 62 }, { 55, 60, 61 } ], [ { 64, 65, 66 }, { 63, 64, 66 }, { 63, 64, 65, 67 }, { 63, 66, 67 }, { 65, 66, 67 } ], [ { 56, 57, 68 }, { 55, 57, 68 }, { 55, 56, 68 }, { 55, 56, 57 } ], [ { 70, 71, 72 }, { 69, 71, 72 }, { 69, 70, 72 }, { 69, 70, 71 } ], [ { 70, 73, 74 }, { 69, 73, 74 }, { 69, 70, 74 }, { 69, 70, 73 } ], [ { 76, 77, 78 }, { 75, 77, 78 }, { 75, 76, 78 }, { 75, 76, 77 } ], [ { 79, 80, 81 }, { 77, 80, 81 }, { 77, 79, 81 }, { 77, 79, 80 } ], [ { 77, 78, 82 }, { 76, 78, 82 }, { 76, 77, 82 }, { 76, 77, 78 } ], [ { 79, 80, 83 }, { 77, 80, 83 }, { 77, 79, 80 }, { 77, 79, 83 } ], [ { 85, 86, 87 }, { 84, 86, 87 }, { 84, 85, 87 }, { 84, 85, 86 } ], [ { 85, 89, 90 }, { 88, 89, 90 }, { 85, 88, 90 }, { 85, 88, 89 } ], [ { 85, 89, 92 }, { 89, 91, 92 }, { 85, 91, 92 }, { 85, 89, 91 } ], [ { 93, 94, 95 }, { 88, 94, 95 }, { 88, 93, 95 }, { 88, 93, 94 } ], [ { 89, 90, 94 }, { 88, 89, 90 }, { 88, 90, 94 }, { 88, 89, 94 } ], [ { 89, 94, 96 }, { 89, 93, 96 }, { 93, 94, 96 }, { 89, 93, 94 } ], [ { 98, 99, 100 }, { 97, 99, 100 }, { 97, 98, 100 }, { 97, 98, 99 } ], [ { 98, 102, 103 }, { 101, 102, 103 }, { 98, 101, 103 }, { 98, 101, 102 } ], [ { 98, 102, 105 }, { 102, 104, 105 }, { 98, 104, 105 }, { 98, 102, 104 } ], [ { 106, 107, 108 }, { 101, 107, 108 }, { 101, 106, 108 }, { 101, 106, 107 } ], [ { 102, 103, 107 }, { 101, 102, 103 }, { 101, 103, 107 }, { 101, 102, 107 } ], [ { 102, 107, 109 }, { 102, 106, 109 }, { 102, 106, 107 }, { 106, 107, 109 } ], [ { 3, 5, 6 }, { 2, 3, 5 }, { 2, 4, 5, 6 }, { 2, 3, 4 }, { 3, 4, 6 } ], [ { 5, 10, 11 }, { 9, 10, 11 }, { 5, 9, 11 }, { 5, 9, 10 } ], [ { 111, 112, 114, 115 }, { 110, 113, 114, 115, 117, 118 }, { 111, 112, 116 }, { 112, 113, 116, 117 }, { 110, 111, 116, 118 }, { 110, 113, 116 }, { 112, 114, 117 }, { 111, 115, 118 } ], [ { 120, 121, 122 }, { 119, 121, 122 }, { 119, 120, 122 }, { 119, 120, 121 } ], [ { 120, 123, 124 }, { 119, 120, 124 }, { 119, 120, 123, 125 }, { 123, 124, 125 }, { 119, 124, 125 } ], [ { 14, 126, 128 }, { 13, 14, 128 }, { 13, 14, 126, 127 }, { 126, 127, 128 }, { 13, 127, 128 } ], [ { 13, 14, 15, 16 }, { 13, 14, 129, 130 }, { 15, 16, 129, 130 }, { 13, 15, 130 }, { 14, 16, 129 } ], [ { 120, 122, 132 }, { 122, 131, 132 }, { 120, 122, 131 }, { 120, 131, 132 } ], [ { 134, 135, 136 }, { 133, 135, 136 }, { 133, 134, 136 }, { 133, 134, 135 } ], [ { 138, 139, 140 }, { 137, 139, 140 }, { 137, 138, 140 }, { 137, 138, 139 } ], [ { 21, 22, 141 }, { 19, 21, 22 }, { 19, 22, 141 }, { 19, 21, 141 } ], [ { 19, 141, 143 }, { 19, 142, 143 }, { 19, 141, 142, 144 }, { 142, 143, 144 }, { 141, 143, 144 } ], [ { 29, 146, 147 }, { 29, 145, 147 }, { 29, 145, 146 }, { 145, 146, 147 } ], [ { 24, 27, 148, 149 }, { 23, 148, 149 }, { 23, 24, 149 }, { 23, 24, 27 }, { 23, 27, 148 } ], [ { 150, 151, 153, 155 }, { 150, 151, 152, 154 }, { 150, 153, 154 }, { 152, 153, 154, 155 }, { 151, 152, 155 } ], [ { 30, 32, 156 }, { 29, 30, 32, 33 }, { 29, 30, 156, 157 }, { 32, 33, 156, 157 }, { 29, 33, 157 } ], [ { 30, 159, 160 }, { 30, 158, 160 }, { 30, 158, 159 }, { 158, 159, 160 } ], [ { 30, 31, 35 }, { 29, 31, 35 }, { 29, 30, 35 }, { 29, 30, 31 } ], [ { 30, 35, 39 }, { 35, 37, 39 }, { 30, 35, 37 }, { 30, 37, 39 } ], [ { 29, 35, 42 }, { 35, 40, 42 }, { 29, 35, 40 }, { 29, 40, 42 } ], [ { 29, 146, 161 }, { 29, 145, 161 }, { 145, 146, 161 }, { 29, 145, 146 } ], [ { 163, 164, 165 }, { 162, 164, 165 }, { 162, 163, 165 }, { 162, 163, 164 } ], [ { 162, 166, 167, 168 }, { 158, 166, 167 }, { 158, 162, 165, 166 }, { 158, 165, 167, 168 }, { 162, 165, 168 } ], [ { 30, 159, 169 }, { 30, 158, 169 }, { 30, 158, 159 }, { 158, 159, 169 } ], [ { 164, 166, 169 }, { 158, 164, 166 }, { 158, 164, 169 }, { 158, 166, 169 } ], [ { 43, 44, 46 }, { 44, 46, 170 }, { 43, 46, 170 }, { 43, 44, 170 } ], [ { 172, 173, 174 }, { 171, 173, 174 }, { 171, 172, 174 }, { 171, 172, 173 } ], [ { 172, 176, 177 }, { 172, 175, 177 }, { 172, 175, 176, 178 }, { 176, 177, 178 }, { 175, 177, 178 } ], [ { 180, 181, 182 }, { 179, 181, 182 }, { 179, 180, 182 }, { 179, 180, 181 } ], [ { 179, 182, 184 }, { 182, 183, 184 }, { 179, 182, 183 }, { 179, 183, 184 } ], [ { 182, 184, 185 }, { 180, 182, 185 }, { 180, 184, 185 }, { 180, 182, 184 } ], [ { 180, 185, 186, 188 }, { 180, 186, 187, 189, 190, 191 }, { 188, 189, 190, 192 }, { 186, 188, 190 }, { 185, 187, 191, 192 }, { 180, 185, 191 }, { 187, 189, 192 }, { 185, 188, 192 } ], [ { 186, 194, 195 }, { 193, 194, 195 }, { 186, 193, 195 }, { 186, 193, 194 } ], [ { 195, 196, 197 }, { 193, 195, 197 }, { 193, 195, 196 }, { 193, 196, 197 } ], [ { 188, 195, 197 }, { 186, 188, 195 }, { 186, 195, 197 }, { 186, 188, 197 } ], [ { 197, 199, 200 }, { 198, 199, 200 }, { 197, 198, 200 }, { 197, 198, 199 } ], [ { 202, 203, 204 }, { 201, 203, 204 }, { 201, 202, 204 }, { 201, 202, 203 } ], [ { 203, 206, 207, 208 }, { 205, 206, 207 }, { 203, 205, 206 }, { 205, 207, 208 }, { 203, 205, 208 } ], [ { 203, 205, 206 }, { 201, 203, 206 }, { 201, 203, 205 }, { 201, 205, 206 } ], [ { 201, 209, 210, 211 }, { 201, 206, 210 }, { 201, 206, 207, 209 }, { 206, 207, 210, 211 }, { 207, 209, 211 } ], [ { 171, 212, 213 }, { 55, 212, 213 }, { 55, 171, 213 }, { 55, 171, 212 } ], [ { 212, 214, 215 }, { 55, 212, 215 }, { 55, 212, 214 }, { 55, 214, 215 } ], [ { 217, 218, 219 }, { 216, 218, 219 }, { 216, 217, 219 }, { 216, 217, 218 } ], [ { 218, 220, 221 }, { 216, 218, 221 }, { 216, 220, 221 }, { 216, 218, 220 } ], [ { 220, 221, 223, 224 }, { 220, 222, 223 }, { 222, 223, 224, 225 }, { 220, 221, 222, 225 }, { 221, 224, 225 } ], [ { 216, 226, 227, 228 }, { 216, 221, 224, 226 }, { 216, 221, 227 }, { 221, 224, 227, 228 }, { 224, 226, 228 } ], [ { 223, 224, 229 }, { 224, 226, 229 }, { 223, 226, 229 }, { 223, 224, 226 } ], [ { 226, 230, 231 }, { 216, 226, 231, 232 }, { 216, 226, 230 }, { 216, 230, 232 }, { 230, 231, 232 } ], [ { 233, 235, 236, 237 }, { 233, 234, 236 }, { 233, 234, 235 }, { 234, 235, 237 }, { 234, 236, 237 } ], [ { 48, 49, 238 }, { 47, 48, 49 }, { 47, 49, 238 }, { 47, 48, 238 } ], [ { 64, 239, 240 }, { 61, 239, 240 }, { 61, 64, 240 }, { 61, 64, 239 } ], [ { 64, 239, 242 }, { 239, 241, 242 }, { 64, 239, 241 }, { 64, 241, 242 } ], [ { 64, 244, 245 }, { 64, 243, 245 }, { 243, 244, 245 }, { 64, 243, 244 } ], [ { 61, 171, 246 }, { 55, 171, 246 }, { 55, 61, 246 }, { 55, 61, 171 } ], [ { 247, 248, 249 }, { 51, 248, 249 }, { 51, 247, 249 }, { 51, 247, 248 } ], [ { 52, 54, 247 }, { 51, 52, 54 }, { 51, 54, 247 }, { 51, 52, 247 } ], [ { 63, 250, 251 }, { 243, 250, 251 }, { 63, 243, 251 }, { 63, 243, 250 } ], [ { 64, 243, 244 }, { 64, 244, 252 }, { 64, 243, 252 }, { 243, 244, 252 } ], [ { 63, 64, 65, 67 }, { 64, 65, 252 }, { 63, 64, 251, 252 }, { 65, 67, 251, 252 }, { 63, 67, 251 } ], [ { 56, 58, 60, 61 }, { 55, 60, 61 }, { 55, 56, 61 }, { 55, 58, 60 }, { 55, 56, 58 } ], [ { 56, 63, 66 }, { 56, 61, 66 }, { 56, 61, 63, 64 }, { 61, 64, 66 }, { 63, 64, 66 } ], [ { 56, 68, 253 }, { 55, 56, 68 }, { 55, 68, 253 }, { 55, 56, 253 } ], [ { 56, 63, 255 }, { 63, 254, 255 }, { 56, 254, 255 }, { 56, 63, 254 } ], [ { 255, 256, 257 }, { 63, 255, 257 }, { 63, 255, 256 }, { 63, 256, 257 } ], [ { 63, 250, 258 }, { 243, 250, 258 }, { 63, 243, 258 }, { 63, 243, 250 } ], [ { 260, 261, 262 }, { 259, 261, 262 }, { 259, 260, 262 }, { 259, 260, 261 } ], [ { 70, 260, 262 }, { 259, 260, 262 }, { 70, 259, 260, 263 }, { 70, 262, 263 }, { 259, 262, 263 } ], [ { 257, 265, 266 }, { 257, 264, 266, 267 }, { 257, 264, 265 }, { 264, 265, 267 }, { 265, 266, 267 } ], [ { 70, 262, 263 }, { 262, 263, 268 }, { 70, 262, 268 }, { 70, 263, 268 } ], [ { 70, 71, 73 }, { 69, 71, 73 }, { 69, 70, 71 }, { 69, 70, 73 } ], [ { 73, 74, 269 }, { 70, 74, 269 }, { 70, 73, 74 }, { 70, 73, 269 } ], [ { 270, 271, 272 }, { 84, 271, 272 }, { 84, 270, 272 }, { 84, 270, 271 } ], [ { 77, 78, 273 }, { 75, 78, 273 }, { 75, 77, 273 }, { 75, 77, 78 } ], [ { 275, 276, 277 }, { 274, 276, 277 }, { 274, 275, 277 }, { 274, 275, 276 } ], [ { 278, 279, 280 }, { 274, 279, 280 }, { 274, 276, 278, 279 }, { 274, 276, 280 }, { 276, 278, 280 } ], [ { 282, 283, 284 }, { 281, 283, 284 }, { 281, 282, 284 }, { 281, 282, 283 } ], [ { 80, 81, 285 }, { 77, 80, 81 }, { 77, 81, 285 }, { 77, 80, 285 } ], [ { 78, 80, 82, 83 }, { 77, 80, 83 }, { 77, 78, 80 }, { 77, 82, 83 }, { 77, 78, 82 } ], [ { 78, 278, 286 }, { 78, 80, 286 }, { 78, 80, 278, 279 }, { 80, 279, 286 }, { 278, 279, 286 } ], [ { 85, 87, 88 }, { 84, 85, 87 }, { 84, 87, 88 }, { 84, 85, 88 } ], [ { 87, 88, 287 }, { 84, 87, 287 }, { 84, 88, 287 }, { 84, 87, 88 } ], [ { 85, 89, 91 }, { 85, 88, 89 }, { 88, 89, 91 }, { 85, 88, 91 } ], [ { 89, 93, 94 }, { 88, 89, 94 }, { 88, 89, 93 }, { 88, 93, 94 } ], [ { 89, 93, 96 }, { 89, 91, 96 }, { 91, 93, 96 }, { 89, 91, 93 } ], [ { 98, 100, 101 }, { 97, 98, 100 }, { 97, 100, 101 }, { 97, 98, 101 } ], [ { 100, 101, 288 }, { 97, 100, 288 }, { 97, 101, 288 }, { 97, 100, 101 } ], [ { 98, 102, 104 }, { 98, 101, 102 }, { 101, 102, 104 }, { 98, 101, 104 } ], [ { 102, 106, 107 }, { 101, 102, 107 }, { 101, 102, 106 }, { 101, 106, 107 } ], [ { 102, 106, 109 }, { 102, 104, 109 }, { 102, 104, 106 }, { 104, 106, 109 } ], [ { 91, 93, 96 }, { 93, 96, 289 }, { 91, 96, 289 }, { 91, 93, 289 } ], [ { 290, 291, 292 }, { 289, 291, 292 }, { 289, 290, 292 }, { 289, 290, 291 } ], [ { 291, 293, 294 }, { 289, 291, 294 }, { 289, 293, 294 }, { 289, 291, 293 } ], [ { 291, 293, 295 }, { 290, 291, 295 }, { 290, 291, 293 }, { 290, 293, 295 } ], [ { 296, 298, 300 }, { 296, 297, 298, 299, 301, 302 }, { 298, 299, 300, 303 }, { 296, 300, 302, 304 }, { 297, 299, 303 }, { 297, 301, 303, 304 }, { 300, 303, 304 }, { 301, 302, 304 } ], [ { 2, 4, 5, 6 }, { 2, 5, 296, 302 }, { 5, 6, 302 }, { 4, 6, 296, 302 }, { 2, 4, 296 } ], [ { 5, 10, 305 }, { 9, 10, 305 }, { 5, 9, 10 }, { 5, 9, 305 } ], [ { 307, 308, 309 }, { 306, 308, 309 }, { 306, 307, 309 }, { 306, 307, 308 } ], [ { 311, 312, 313 }, { 310, 312, 313 }, { 310, 311, 313 }, { 310, 311, 312 } ], [ { 306, 311, 314 }, { 310, 311, 314 }, { 306, 308, 310, 311 }, { 306, 308, 314 }, { 308, 310, 314 } ], [ { 104, 109, 316 }, { 109, 315, 316 }, { 104, 315, 316 }, { 104, 109, 315 } ], [ { 104, 106, 109 }, { 106, 109, 315 }, { 104, 109, 315 }, { 104, 106, 315 } ], [ { 306, 317, 318 }, { 315, 317, 318 }, { 306, 315, 318 }, { 306, 315, 317 } ], [ { 307, 317, 319 }, { 315, 317, 319 }, { 307, 315, 319 }, { 307, 315, 317 } ], [ { 307, 317, 320 }, { 306, 317, 320 }, { 306, 307, 317 }, { 306, 307, 320 } ], [ { 322, 323, 324 }, { 321, 323, 324 }, { 321, 322, 324 }, { 321, 322, 323 } ], [ { 217, 322, 323 }, { 322, 323, 325 }, { 217, 323, 325 }, { 217, 322, 325 } ], [ { 217, 322, 326 }, { 217, 322, 325 }, { 322, 325, 326 }, { 217, 325, 326 } ], [ { 328, 329, 330 }, { 327, 329, 330 }, { 327, 328, 330 }, { 327, 328, 329 } ], [ { 328, 330, 332 }, { 330, 331, 332 }, { 328, 330, 331 }, { 328, 331, 332 } ], [ { 111, 116, 334, 335 }, { 111, 112, 333, 334 }, { 111, 112, 116 }, { 112, 116, 333, 335 }, { 333, 334, 335 } ], [ { 331, 337, 338 }, { 336, 337, 338 }, { 331, 336, 338 }, { 331, 336, 337 } ], [ { 333, 338, 339 }, { 331, 338, 339 }, { 331, 333, 339 }, { 331, 333, 338 } ], [ { 334, 341, 342 }, { 334, 340, 342 }, { 340, 341, 342 }, { 334, 340, 341 } ], [ { 334, 342, 343 }, { 333, 342, 343 }, { 333, 334, 343 }, { 333, 334, 342 } ], [ { 340, 341, 342 }, { 336, 340, 342 }, { 336, 340, 341, 344 }, { 341, 342, 344 }, { 336, 342, 344 } ], [ { 333, 342, 344 }, { 336, 342, 344 }, { 333, 336, 342 }, { 333, 336, 344 } ], [ { 327, 345, 346 }, { 340, 345, 346 }, { 327, 340, 346 }, { 327, 340, 345 } ], [ { 348, 349, 350 }, { 347, 349, 350 }, { 347, 348, 350 }, { 347, 348, 349 } ], [ { 120, 348, 349 }, { 348, 349, 351 }, { 120, 349, 351 }, { 120, 348, 351 } ], [ { 120, 348, 352 }, { 348, 351, 352 }, { 120, 348, 351 }, { 120, 351, 352 } ], [ { 120, 122, 131 }, { 119, 120, 122 }, { 119, 120, 131, 353 }, { 119, 122, 353 }, { 122, 131, 353 } ], [ { 120, 124, 354 }, { 119, 120, 124 }, { 119, 120, 354, 355 }, { 124, 354, 355 }, { 119, 124, 355 } ], [ { 14, 126, 356 }, { 13, 14, 356, 357 }, { 13, 14, 126, 127 }, { 126, 127, 356, 357 }, { 13, 127, 357 } ], [ { 356, 358, 359 }, { 14, 356, 358 }, { 14, 358, 359, 360 }, { 14, 356, 360 }, { 356, 359, 360 } ], [ { 13, 14, 129, 130 }, { 13, 14, 361, 362 }, { 129, 130, 361, 362 }, { 14, 129, 362 }, { 13, 130, 361 } ], [ { 134, 135, 363 }, { 133, 135, 363 }, { 133, 134, 363 }, { 133, 134, 135 } ], [ { 120, 132, 364 }, { 131, 132, 364 }, { 120, 131, 132 }, { 120, 131, 364 } ], [ { 134, 135, 136 }, { 131, 135, 136 }, { 131, 134, 136 }, { 131, 134, 135 } ], [ { 137, 366, 367 }, { 365, 366, 367 }, { 137, 365, 367 }, { 137, 365, 366 } ], [ { 138, 367, 368 }, { 137, 367, 368 }, { 137, 138, 367 }, { 137, 138, 368 } ], [ { 138, 140, 369 }, { 137, 140, 369 }, { 137, 138, 369 }, { 137, 138, 140 } ], [ { 137, 140, 369 }, { 19, 137, 369 }, { 19, 22, 137, 140 }, { 19, 22, 369 }, { 22, 140, 369 } ], [ { 22, 141, 369 }, { 19, 22, 369 }, { 19, 141, 369 }, { 19, 22, 141 } ], [ { 19, 371, 372 }, { 370, 371, 372 }, { 19, 370, 372 }, { 19, 370, 371 } ], [ { 141, 143, 372 }, { 19, 143, 372 }, { 19, 141, 372 }, { 19, 141, 143 } ], [ { 29, 147, 373 }, { 29, 145, 373 }, { 145, 147, 373 }, { 29, 145, 147 } ], [ { 29, 137, 375 }, { 137, 374, 375 }, { 29, 374, 375 }, { 29, 137, 374 } ], [ { 148, 149, 378, 379 }, { 148, 376, 378 }, { 148, 149, 376, 377 }, { 376, 377, 378, 379 }, { 149, 377, 379 } ], [ { 148, 149, 378, 379 }, { 23, 148, 378 }, { 23, 148, 149 }, { 23, 378, 379 }, { 23, 149, 379 } ], [ { 150, 151, 153, 155 }, { 150, 153, 380, 381 }, { 150, 151, 380 }, { 151, 155, 380, 381 }, { 153, 155, 381 } ], [ { 30, 156, 382 }, { 29, 30, 382 }, { 29, 30, 156, 157 }, { 29, 157, 382 }, { 156, 157, 382 } ], [ { 30, 37, 160 }, { 30, 158, 160 }, { 30, 37, 158 }, { 37, 158, 160 } ], [ { 29, 35, 40 }, { 35, 37, 40 }, { 29, 30, 37, 40 }, { 30, 35, 37 }, { 29, 30, 35 } ], [ { 29, 40, 161 }, { 29, 145, 161 }, { 40, 145, 161 }, { 29, 40, 145 } ], [ { 19, 383, 384 }, { 19, 30, 384 }, { 30, 383, 384 }, { 19, 30, 383 } ], [ { 158, 165, 385 }, { 158, 167, 385 }, { 158, 165, 167, 168 }, { 167, 168, 385 }, { 165, 168, 385 } ], [ { 162, 164, 166 }, { 158, 164, 166 }, { 158, 162, 165, 166 }, { 162, 164, 165 }, { 158, 164, 165 } ], [ { 164, 386, 387 }, { 164, 370, 387 }, { 370, 386, 387 }, { 164, 370, 386 } ], [ { 30, 164, 169 }, { 30, 158, 164 }, { 158, 164, 169 }, { 30, 158, 169 } ], [ { 43, 170, 180 }, { 43, 44, 180, 186 }, { 170, 180, 186 }, { 44, 170, 186 }, { 43, 44, 170 } ], [ { 180, 181, 388 }, { 179, 180, 181 }, { 179, 181, 388 }, { 179, 180, 388 } ], [ { 170, 180, 389 }, { 170, 388, 389 }, { 180, 388, 389 }, { 170, 180, 388 } ], [ { 389, 391, 392 }, { 389, 390, 392 }, { 389, 390, 391 }, { 390, 391, 392 } ], [ { 389, 391, 394 }, { 389, 393, 394 }, { 389, 391, 393 }, { 391, 393, 394 } ], [ { 393, 395, 396 }, { 145, 395, 396 }, { 145, 393, 396 }, { 145, 393, 395 } ], [ { 390, 397, 398 }, { 158, 397, 398 }, { 158, 390, 398 }, { 158, 390, 397 } ], [ { 389, 394, 399 }, { 389, 393, 394 }, { 389, 393, 399 }, { 393, 394, 399 } ], [ { 179, 400, 401 }, { 171, 179, 401, 402 }, { 171, 179, 400 }, { 400, 401, 402 }, { 171, 400, 402 } ], [ { 171, 172, 173 }, { 172, 173, 175 }, { 171, 172, 175, 402 }, { 171, 173, 402 }, { 173, 175, 402 } ], [ { 172, 177, 179 }, { 172, 175, 177 }, { 172, 175, 179, 401 }, { 177, 179, 401 }, { 175, 177, 401 } ], [ { 172, 403, 404 }, { 179, 403, 404 }, { 172, 179, 404 }, { 172, 179, 403 } ], [ { 393, 399, 403 }, { 179, 399, 403 }, { 179, 393, 403 }, { 179, 393, 399 } ], [ { 179, 184, 406 }, { 184, 405, 406 }, { 179, 405, 406 }, { 179, 184, 405 } ], [ { 198, 200, 405, 407, 408, 409 }, { 184, 197, 198, 405 }, { 184, 405, 409 }, { 184, 408, 409, 410 }, { 197, 200, 407, 410 }, { 197, 198, 200 }, { 407, 408, 410 }, { 184, 197, 410 } ], [ { 180, 182, 184 }, { 179, 182, 184 }, { 179, 180, 182 }, { 179, 180, 184 } ], [ { 186, 188, 197 }, { 180, 185, 186, 188 }, { 180, 184, 186, 197 }, { 184, 185, 188, 197 }, { 180, 184, 185 } ], [ { 186, 195, 197 }, { 193, 195, 197 }, { 186, 193, 195 }, { 186, 193, 197 } ], [ { 197, 198, 199 }, { 193, 197, 199 }, { 193, 198, 199 }, { 193, 197, 198 } ], [ { 202, 203, 205 }, { 201, 203, 205 }, { 201, 202, 203 }, { 201, 202, 205 } ], [ { 55, 201, 412, 413 }, { 55, 201, 209, 411 }, { 55, 411, 412 }, { 209, 411, 412, 413 }, { 201, 209, 413 } ], [ { 201, 206, 207, 209 }, { 201, 205, 209 }, { 201, 205, 206 }, { 205, 206, 207 }, { 205, 207, 209 } ], [ { 171, 212, 215 }, { 55, 212, 215 }, { 55, 171, 212 }, { 55, 171, 215 } ], [ { 217, 218, 220 }, { 216, 218, 220 }, { 216, 217, 218 }, { 216, 217, 220 } ], [ { 223, 224, 226 }, { 216, 221, 224, 226 }, { 216, 220, 223, 226 }, { 220, 221, 223, 224 }, { 216, 220, 221 } ], [ { 226, 231, 247 }, { 216, 226, 231, 232 }, { 216, 226, 247 }, { 231, 232, 247 }, { 216, 232, 247 } ], [ { 48, 49, 238 }, { 48, 49, 216 }, { 49, 216, 238 }, { 48, 216, 238 } ], [ { 52, 234, 414 }, { 52, 233, 235, 414 }, { 52, 233, 234 }, { 233, 234, 235 }, { 234, 235, 414 } ], [ { 52, 234, 414 }, { 52, 247, 414, 415 }, { 52, 234, 247 }, { 234, 414, 415 }, { 234, 247, 415 } ], [ { 48, 234, 238 }, { 47, 48, 234 }, { 47, 234, 238 }, { 47, 48, 238 } ], [ { 64, 239, 241 }, { 61, 64, 239 }, { 61, 239, 241 }, { 61, 64, 241 } ], [ { 64, 245, 416 }, { 243, 245, 416 }, { 64, 243, 416 }, { 64, 243, 245 } ], [ { 61, 171, 241 }, { 55, 171, 241 }, { 55, 61, 241 }, { 55, 61, 171 } ], [ { 145, 241, 418 }, { 241, 417, 418 }, { 145, 417, 418 }, { 145, 241, 417 } ], [ { 145, 172, 419 }, { 172, 417, 419 }, { 145, 417, 419 }, { 145, 172, 417 } ], [ { 172, 241, 420 }, { 172, 417, 420 }, { 241, 417, 420 }, { 172, 241, 417 } ], [ { 247, 248, 416 }, { 51, 247, 248 }, { 51, 248, 416 }, { 51, 247, 416 } ], [ { 145, 233, 421 }, { 51, 145, 421 }, { 51, 233, 421 }, { 51, 145, 233 } ], [ { 52, 233, 247 }, { 51, 52, 247 }, { 51, 52, 233 }, { 51, 233, 247 } ], [ { 257, 422, 423 }, { 253, 257, 423 }, { 253, 422, 423 }, { 253, 257, 422 } ], [ { 422, 424, 425 }, { 268, 424, 425 }, { 268, 422, 425 }, { 268, 422, 424 } ], [ { 257, 268, 425 }, { 257, 265, 425 }, { 265, 268, 425 }, { 257, 265, 268 } ], [ { 257, 425, 426 }, { 422, 425, 426 }, { 257, 422, 425 }, { 257, 422, 426 } ], [ { 63, 64, 243 }, { 63, 64, 251, 252 }, { 64, 243, 252 }, { 63, 243, 251 }, { 243, 251, 252 } ], [ { 56, 61, 63, 64 }, { 55, 56, 63 }, { 55, 56, 61 }, { 55, 63, 64 }, { 55, 61, 64 } ], [ { 56, 253, 257 }, { 55, 56, 257 }, { 55, 253, 257 }, { 55, 56, 253 } ], [ { 63, 255, 257 }, { 56, 255, 257 }, { 56, 63, 255 }, { 56, 63, 257 } ], [ { 63, 243, 258 }, { 63, 258, 427 }, { 243, 258, 427 }, { 63, 243, 427 } ], [ { 63, 257, 428 }, { 257, 427, 428 }, { 63, 257, 427 }, { 63, 427, 428 } ], [ { 70, 260, 262 }, { 70, 262, 268 }, { 70, 260, 261, 268 }, { 260, 261, 262 }, { 261, 262, 268 } ], [ { 257, 261, 266, 268 }, { 257, 265, 266 }, { 257, 265, 268 }, { 261, 265, 268 }, { 261, 265, 266 } ], [ { 70, 257, 427 }, { 70, 427, 428, 429 }, { 257, 427, 428 }, { 70, 257, 429 }, { 257, 428, 429 } ], [ { 70, 263, 430 }, { 263, 268, 430 }, { 70, 268, 430 }, { 70, 263, 268 } ], [ { 71, 73, 430 }, { 70, 71, 430 }, { 70, 71, 73 }, { 70, 73, 430 } ], [ { 70, 73, 269 }, { 73, 269, 427 }, { 70, 269, 427 }, { 70, 73, 427 } ], [ { 432, 433, 434, 435 }, { 431, 432, 434 }, { 431, 432, 433 }, { 431, 434, 435 }, { 431, 433, 435 } ], [ { 93, 437, 438 }, { 436, 437, 438 }, { 93, 436, 438 }, { 93, 436, 437 } ], [ { 439, 440, 441 }, { 275, 440, 441 }, { 275, 439, 441 }, { 275, 439, 440 } ], [ { 443, 444, 445 }, { 442, 444, 445 }, { 442, 443, 445 }, { 442, 443, 444 } ], [ { 275, 447, 448 }, { 275, 446, 448 }, { 446, 447, 448 }, { 275, 446, 447 } ], [ { 275, 449, 450 }, { 84, 275, 450 }, { 84, 449, 450 }, { 84, 275, 449 } ], [ { 93, 287, 450 }, { 84, 287, 450 }, { 84, 93, 287 }, { 84, 93, 450 } ], [ { 93, 440, 450 }, { 275, 440, 450 }, { 93, 275, 450 }, { 93, 275, 440 } ], [ { 270, 272, 275 }, { 84, 270, 272 }, { 84, 272, 275 }, { 84, 270, 275 } ], [ { 270, 271, 278 }, { 84, 271, 278 }, { 84, 270, 271 }, { 84, 270, 278 } ], [ { 77, 78, 273 }, { 78, 84, 273 }, { 77, 84, 273 }, { 77, 78, 84 } ], [ { 78, 273, 278 }, { 84, 273, 278 }, { 78, 84, 273 }, { 78, 84, 278 } ], [ { 444, 448, 451 }, { 275, 448, 451 }, { 275, 444, 451 }, { 275, 444, 448 } ], [ { 282, 451, 452 }, { 275, 451, 452 }, { 275, 282, 451 }, { 275, 282, 452 } ], [ { 282, 451, 453 }, { 444, 451, 453 }, { 282, 444, 453 }, { 282, 444, 451 } ], [ { 275, 278, 279 }, { 274, 276, 278, 279 }, { 274, 275, 279 }, { 275, 276, 278 }, { 274, 275, 276 } ], [ { 282, 283, 284 }, { 275, 283, 284 }, { 275, 282, 284 }, { 275, 282, 283 } ], [ { 279, 282, 284 }, { 279, 281, 284 }, { 281, 282, 284 }, { 279, 281, 282 } ], [ { 80, 282, 285 }, { 77, 80, 282 }, { 77, 80, 285 }, { 77, 282, 285 } ], [ { 78, 80, 278, 279 }, { 77, 78, 278 }, { 77, 78, 80 }, { 77, 80, 279 }, { 77, 278, 279 } ], [ { 80, 279, 282 }, { 80, 279, 285 }, { 279, 282, 285 }, { 80, 282, 285 } ], [ { 85, 88, 91 }, { 84, 85, 91 }, { 84, 85, 88 }, { 84, 88, 91 } ], [ { 88, 93, 287 }, { 84, 93, 287 }, { 84, 88, 287 }, { 84, 88, 93 } ], [ { 89, 91, 93 }, { 88, 89, 93 }, { 88, 89, 91 }, { 88, 91, 93 } ], [ { 98, 101, 104 }, { 97, 98, 104 }, { 97, 98, 101 }, { 97, 101, 104 } ], [ { 101, 106, 288 }, { 97, 106, 288 }, { 97, 101, 288 }, { 97, 101, 106 } ], [ { 102, 104, 106 }, { 101, 102, 106 }, { 101, 102, 104 }, { 101, 104, 106 } ], [ { 91, 93, 293 }, { 93, 289, 293 }, { 91, 289, 293 }, { 91, 93, 289 } ], [ { 290, 291, 293 }, { 289, 291, 293 }, { 289, 290, 291 }, { 289, 290, 293 } ], [ { 2, 5, 9 }, { 2, 5, 296, 302 }, { 5, 9, 297, 301 }, { 2, 9, 298, 299 }, { 296, 297, 298, 299, 301, 302 }, { 2, 296, 298 }, { 9, 297, 299 }, { 5, 301, 302 } ], [ { 9, 305, 454 }, { 305, 306, 454 }, { 5, 9, 306, 454 }, { 5, 305, 306 }, { 5, 9, 305 } ], [ { 455, 456, 457 }, { 311, 456, 457 }, { 311, 455, 457 }, { 311, 455, 456 } ], [ { 311, 314, 456 }, { 306, 311, 314 }, { 306, 311, 456, 458 }, { 306, 314, 458 }, { 314, 456, 458 } ], [ { 306, 307, 311, 312 }, { 306, 308, 310, 311 }, { 310, 311, 312 }, { 307, 308, 310, 312 }, { 306, 307, 308 } ], [ { 104, 306, 454 }, { 306, 315, 316, 454 }, { 104, 306, 315 }, { 104, 315, 316 }, { 104, 316, 454 } ], [ { 104, 106, 307 }, { 106, 307, 315 }, { 104, 307, 315 }, { 104, 106, 315 } ], [ { 306, 307, 317 }, { 307, 315, 317 }, { 306, 315, 317 }, { 306, 307, 315 } ], [ { 217, 322, 323 }, { 321, 322, 323 }, { 217, 321, 323 }, { 217, 321, 322 } ], [ { 217, 322, 326 }, { 217, 322, 340 }, { 322, 326, 340 }, { 217, 326, 340 } ], [ { 331, 337, 459 }, { 336, 337, 459 }, { 331, 336, 459 }, { 331, 336, 337 } ], [ { 328, 330, 331 }, { 327, 328, 330 }, { 327, 330, 331 }, { 327, 328, 331 } ], [ { 328, 459, 460 }, { 328, 331, 460 }, { 331, 459, 460 }, { 328, 331, 459 } ], [ { 327, 334, 346 }, { 334, 340, 346 }, { 327, 340, 346 }, { 327, 334, 340 } ], [ { 327, 331, 339, 461, 462, 463 }, { 327, 331, 333, 334 }, { 334, 335, 462, 463 }, { 327, 334, 463 }, { 333, 335, 339, 461 }, { 331, 333, 339 }, { 333, 334, 335 }, { 335, 461, 462 } ], [ { 331, 333, 338 }, { 333, 336, 338 }, { 331, 336, 338 }, { 331, 333, 336 } ], [ { 333, 336, 342 }, { 336, 340, 342 }, { 333, 334, 336, 340 }, { 333, 334, 342 }, { 334, 340, 342 } ], [ { 327, 345, 464 }, { 340, 345, 464 }, { 327, 340, 464 }, { 327, 340, 345 } ], [ { 328, 460, 464 }, { 327, 460, 464 }, { 327, 328, 460 }, { 327, 328, 464 } ], [ { 347, 466, 467 }, { 347, 465, 467, 468 }, { 347, 465, 466 }, { 466, 467, 468 }, { 465, 466, 468 } ], [ { 336, 348, 469 }, { 336, 347, 348 }, { 336, 347, 467, 469 }, { 348, 467, 469 }, { 347, 348, 467 } ], [ { 120, 348, 349 }, { 347, 348, 349 }, { 120, 347, 349 }, { 120, 347, 348 } ], [ { 120, 348, 352 }, { 336, 348, 352 }, { 120, 336, 348 }, { 120, 336, 352 } ], [ { 120, 131, 354 }, { 119, 120, 354, 355 }, { 119, 120, 131, 353 }, { 131, 353, 354, 355 }, { 119, 353, 355 } ], [ { 14, 356, 358 }, { 13, 14, 356, 357 }, { 13, 14, 358 }, { 13, 357, 358 }, { 356, 357, 358 } ], [ { 13, 361, 460 }, { 13, 14, 460 }, { 13, 14, 361, 362 }, { 361, 362, 460 }, { 14, 362, 460 } ], [ { 363, 471, 472 }, { 363, 470, 472 }, { 363, 470, 471 }, { 470, 471, 472 } ], [ { 135, 363, 471 }, { 134, 135, 363 }, { 134, 363, 471 }, { 134, 135, 471 } ], [ { 120, 131, 364 }, { 120, 347, 364 }, { 131, 347, 364 }, { 120, 131, 347 } ], [ { 134, 135, 471 }, { 131, 135, 471 }, { 131, 134, 135 }, { 131, 134, 471 } ], [ { 137, 138, 367 }, { 138, 365, 367 }, { 137, 365, 367 }, { 137, 138, 365 } ], [ { 19, 141, 369 }, { 19, 137, 369 }, { 19, 137, 138, 141 }, { 137, 138, 369 }, { 138, 141, 369 } ], [ { 141, 370, 473 }, { 365, 370, 473 }, { 138, 141, 365, 370 }, { 138, 365, 473 }, { 138, 141, 473 } ], [ { 19, 141, 372 }, { 141, 370, 372 }, { 19, 370, 372 }, { 19, 141, 370 } ], [ { 137, 373, 474 }, { 137, 365, 474 }, { 365, 373, 474 }, { 137, 365, 373 } ], [ { 29, 137, 373 }, { 137, 145, 373 }, { 29, 137, 145 }, { 29, 145, 373 } ], [ { 29, 137, 379 }, { 137, 374, 379 }, { 29, 374, 379 }, { 29, 137, 374 } ], [ { 376, 377, 378, 379 }, { 376, 378, 475, 476 }, { 376, 377, 475 }, { 377, 379, 475, 476 }, { 378, 379, 476 } ], [ { 23, 378, 477 }, { 19, 378, 379, 477 }, { 19, 23, 477 }, { 19, 23, 379 }, { 23, 378, 379 } ], [ { 137, 380, 478 }, { 19, 137, 150, 380 }, { 19, 137, 477, 478, 479, 480 }, { 19, 150, 477 }, { 150, 151, 477, 479 }, { 151, 380, 478, 480 }, { 151, 479, 480 }, { 150, 151, 380 } ], [ { 30, 379, 382 }, { 29, 379, 382 }, { 29, 30, 379 }, { 29, 30, 382 } ], [ { 29, 40, 145 }, { 29, 30, 145, 158 }, { 37, 40, 145, 158 }, { 29, 30, 37, 40 }, { 30, 37, 158 } ], [ { 19, 379, 383 }, { 19, 30, 379 }, { 30, 379, 383 }, { 19, 30, 383 } ], [ { 358, 385, 481 }, { 158, 358, 385 }, { 158, 165, 358, 481 }, { 158, 165, 385 }, { 165, 385, 481 } ], [ { 158, 164, 165 }, { 164, 165, 370 }, { 158, 165, 370 }, { 158, 164, 370 } ], [ { 19, 164, 387 }, { 19, 370, 387 }, { 164, 370, 387 }, { 19, 164, 370 } ], [ { 19, 30, 164 }, { 19, 158, 164 }, { 19, 30, 158 }, { 30, 158, 164 } ], [ { 390, 482, 483 }, { 158, 390, 483 }, { 158, 482, 483 }, { 158, 390, 482 } ], [ { 390, 482, 484 }, { 193, 390, 484 }, { 193, 482, 484 }, { 193, 390, 482 } ], [ { 170, 180, 389 }, { 170, 186, 389 }, { 180, 186, 389 }, { 170, 180, 186 } ], [ { 180, 388, 389 }, { 179, 180, 389 }, { 179, 388, 389 }, { 179, 180, 388 } ], [ { 389, 391, 393 }, { 389, 390, 391 }, { 389, 390, 393 }, { 390, 391, 393 } ], [ { 158, 390, 397 }, { 145, 158, 395, 397 }, { 145, 158, 390, 393 }, { 390, 393, 395, 397 }, { 145, 393, 395 } ], [ { 389, 393, 399 }, { 179, 389, 399 }, { 179, 389, 393 }, { 179, 393, 399 } ], [ { 171, 172, 179 }, { 172, 175, 179, 401 }, { 171, 172, 175, 402 }, { 171, 179, 401, 402 }, { 175, 401, 402 } ], [ { 172, 393, 419 }, { 145, 393, 419 }, { 145, 172, 419 }, { 145, 172, 393 } ], [ { 172, 393, 403 }, { 179, 393, 403 }, { 172, 179, 403 }, { 172, 179, 393 } ], [ { 179, 184, 485 }, { 184, 405, 485 }, { 179, 184, 405 }, { 179, 405, 485 } ], [ { 197, 198, 485 }, { 184, 197, 198, 405 }, { 198, 405, 485 }, { 184, 405, 485 }, { 184, 197, 485 } ], [ { 186, 193, 197 }, { 179, 184, 193, 197 }, { 179, 180, 186, 193 }, { 180, 184, 186, 197 }, { 179, 180, 184 } ], [ { 197, 198, 485 }, { 193, 197, 485 }, { 193, 197, 198 }, { 193, 198, 485 } ], [ { 193, 202, 205 }, { 193, 201, 205 }, { 193, 201, 202 }, { 201, 202, 205 } ], [ { 201, 205, 209 }, { 55, 201, 209, 411 }, { 55, 201, 205, 215 }, { 205, 209, 215, 411 }, { 55, 215, 411 } ], [ { 171, 179, 215 }, { 55, 179, 215 }, { 55, 171, 215 }, { 55, 171, 179 } ], [ { 216, 217, 220 }, { 217, 220, 321 }, { 216, 220, 321 }, { 216, 217, 321 } ], [ { 223, 226, 247 }, { 216, 226, 247 }, { 216, 220, 223, 226 }, { 216, 220, 247 }, { 220, 223, 247 } ], [ { 48, 238, 247 }, { 48, 216, 247 }, { 48, 216, 238 }, { 216, 238, 247 } ], [ { 52, 234, 247 }, { 52, 233, 234 }, { 233, 234, 247 }, { 52, 233, 247 } ], [ { 48, 234, 247 }, { 48, 234, 238 }, { 234, 238, 247 }, { 48, 238, 247 } ], [ { 61, 64, 241 }, { 55, 64, 241 }, { 55, 61, 64 }, { 55, 61, 241 } ], [ { 64, 241, 416 }, { 64, 243, 416 }, { 241, 243, 416 }, { 64, 241, 243 } ], [ { 171, 172, 241 }, { 55, 172, 241 }, { 55, 171, 172 }, { 55, 171, 241 } ], [ { 145, 172, 241 }, { 172, 241, 417 }, { 145, 172, 417 }, { 145, 241, 417 } ], [ { 241, 243, 416 }, { 51, 241, 416 }, { 51, 243, 416 }, { 51, 241, 243 } ], [ { 243, 247, 416 }, { 51, 247, 416 }, { 51, 243, 247 }, { 51, 243, 416 } ], [ { 145, 233, 247 }, { 51, 145, 247 }, { 51, 233, 247 }, { 51, 145, 233 } ], [ { 253, 257, 422 }, { 55, 257, 422 }, { 55, 253, 257 }, { 55, 253, 422 } ], [ { 257, 422, 425 }, { 257, 268, 425 }, { 268, 422, 425 }, { 257, 268, 422 } ], [ { 63, 64, 243 }, { 55, 63, 64 }, { 55, 64, 243 }, { 55, 63, 243 } ], [ { 56, 63, 257 }, { 55, 63, 257 }, { 55, 56, 257 }, { 55, 56, 63 } ], [ { 63, 243, 257 }, { 63, 257, 427 }, { 243, 257, 427 }, { 63, 243, 427 } ], [ { 70, 257, 260, 266 }, { 257, 261, 266, 268 }, { 70, 257, 268 }, { 70, 260, 261, 268 }, { 260, 261, 266 } ], [ { 70, 243, 257 }, { 70, 257, 427 }, { 70, 243, 427 }, { 243, 257, 427 } ], [ { 70, 73, 430 }, { 73, 268, 430 }, { 70, 268, 430 }, { 70, 73, 268 } ], [ { 70, 73, 243 }, { 70, 73, 427 }, { 73, 243, 427 }, { 70, 243, 427 } ], [ { 73, 486, 487 }, { 73, 432, 487 }, { 432, 433, 486, 487 }, { 73, 432, 433 }, { 73, 433, 486 } ], [ { 243, 431, 432 }, { 243, 432, 433, 488 }, { 243, 431, 488 }, { 431, 433, 488 }, { 431, 432, 433 } ], [ { 73, 243, 488 }, { 73, 243, 427 }, { 73, 427, 488 }, { 243, 427, 488 } ], [ { 93, 437, 439 }, { 93, 436, 437 }, { 436, 437, 439 }, { 93, 436, 439 } ], [ { 93, 439, 440 }, { 93, 275, 440 }, { 275, 439, 440 }, { 93, 275, 439 } ], [ { 442, 443, 444 }, { 443, 444, 447 }, { 442, 444, 447 }, { 442, 443, 447 } ], [ { 275, 444, 448 }, { 444, 447, 448 }, { 275, 447, 448 }, { 275, 444, 447 } ], [ { 93, 275, 450 }, { 84, 93, 450 }, { 84, 275, 450 }, { 84, 93, 275 } ], [ { 270, 275, 278 }, { 84, 270, 278 }, { 84, 275, 278 }, { 84, 270, 275 } ], [ { 77, 78, 278 }, { 78, 84, 278 }, { 77, 84, 278 }, { 77, 78, 84 } ], [ { 282, 444, 451 }, { 275, 282, 451 }, { 275, 444, 451 }, { 275, 282, 444 } ], [ { 77, 278, 279 }, { 275, 278, 279 }, { 77, 275, 279 }, { 77, 275, 278 } ], [ { 279, 282, 284 }, { 275, 279, 284 }, { 275, 282, 284 }, { 275, 279, 282 } ], [ { 80, 279, 282 }, { 77, 80, 279 }, { 77, 279, 282 }, { 77, 80, 282 } ], [ { 88, 91, 93 }, { 84, 91, 93 }, { 84, 88, 93 }, { 84, 88, 91 } ], [ { 101, 104, 106 }, { 97, 104, 106 }, { 97, 101, 106 }, { 97, 101, 104 } ], [ { 91, 93, 293 }, { 93, 293, 436 }, { 91, 293, 436 }, { 91, 93, 436 } ], [ { 91, 290, 293 }, { 289, 290, 293 }, { 91, 289, 293 }, { 91, 289, 290 } ], [ { 2, 5, 91 }, { 5, 91, 104 }, { 2, 5, 9 }, { 5, 9, 104 }, { 2, 91, 489 }, { 91, 104, 489 }, { 9, 104, 489 }, { 2, 9, 489 } ], [ { 5, 9, 306, 454 }, { 9, 104, 454 }, { 104, 306, 454 }, { 5, 9, 104 }, { 5, 104, 306 } ], [ { 306, 311, 456, 458 }, { 290, 306, 311, 455 }, { 290, 455, 456, 458 }, { 311, 455, 456 }, { 290, 306, 458 } ], [ { 104, 106, 307 }, { 106, 307, 490 }, { 104, 307, 490 }, { 104, 106, 490 } ], [ { 306, 307, 311, 312 }, { 306, 307, 490 }, { 306, 311, 490 }, { 307, 312, 490 }, { 311, 312, 490 } ], [ { 104, 306, 307 }, { 306, 307, 315 }, { 104, 307, 315 }, { 104, 306, 315 } ], [ { 217, 322, 340 }, { 217, 321, 322 }, { 321, 322, 340 }, { 217, 321, 340 } ], [ { 331, 459, 460 }, { 336, 459, 460 }, { 331, 336, 460 }, { 331, 336, 459 } ], [ { 328, 331, 460 }, { 327, 328, 460 }, { 327, 331, 460 }, { 327, 328, 331 } ], [ { 333, 334, 336, 340 }, { 327, 331, 336, 340 }, { 331, 333, 336 }, { 327, 331, 333, 334 }, { 327, 334, 340 } ], [ { 327, 460, 464 }, { 340, 460, 464 }, { 327, 340, 460 }, { 327, 340, 464 } ], [ { 336, 465, 468, 469 }, { 336, 347, 465 }, { 336, 347, 467, 469 }, { 347, 465, 467, 468 }, { 467, 468, 469 } ], [ { 120, 336, 348 }, { 120, 347, 348 }, { 336, 347, 348 }, { 120, 336, 347 } ], [ { 216, 217, 491 }, { 217, 321, 491 }, { 216, 217, 321 }, { 216, 321, 491 } ], [ { 361, 460, 491 }, { 13, 361, 460 }, { 13, 460, 491 }, { 13, 361, 491 } ], [ { 120, 131, 354 }, { 120, 347, 354 }, { 120, 131, 347 }, { 131, 347, 354 } ], [ { 14, 358, 460 }, { 13, 358, 460 }, { 13, 14, 460 }, { 13, 14, 358 } ], [ { 354, 362, 460 }, { 14, 362, 460 }, { 14, 354, 460 }, { 14, 354, 362 } ], [ { 158, 363, 471 }, { 363, 470, 471 }, { 158, 363, 470 }, { 158, 470, 471 } ], [ { 134, 363, 471 }, { 358, 363, 471 }, { 134, 358, 363 }, { 134, 358, 471 } ], [ { 131, 364, 471 }, { 347, 364, 471 }, { 131, 347, 364 }, { 131, 347, 471 } ], [ { 134, 358, 471 }, { 131, 134, 471 }, { 131, 358, 471 }, { 131, 134, 358 } ], [ { 19, 141, 370 }, { 138, 141, 365, 370 }, { 19, 137, 365, 370 }, { 19, 137, 138, 141 }, { 137, 138, 365 } ], [ { 137, 365, 373 }, { 137, 145, 373 }, { 137, 145, 365 }, { 145, 365, 373 } ], [ { 29, 137, 379 }, { 137, 145, 379 }, { 29, 145, 379 }, { 29, 137, 145 } ], [ { 19, 137, 477, 478, 479, 480 }, { 19, 378, 379, 477 }, { 378, 477, 479 }, { 378, 476, 479, 480 }, { 476, 478, 480 }, { 137, 379, 476, 478 }, { 378, 379, 476 }, { 19, 137, 379 } ], [ { 29, 145, 379 }, { 145, 158, 379 }, { 29, 30, 145, 158 }, { 30, 158, 379 }, { 29, 30, 379 } ], [ { 19, 30, 379 }, { 19, 158, 379 }, { 30, 158, 379 }, { 19, 30, 158 } ], [ { 158, 165, 358, 481 }, { 358, 370, 481 }, { 158, 358, 370 }, { 165, 370, 481 }, { 158, 165, 370 } ], [ { 19, 158, 164 }, { 19, 164, 370 }, { 19, 158, 370 }, { 158, 164, 370 } ], [ { 193, 202, 482 }, { 193, 201, 482 }, { 201, 202, 482 }, { 193, 201, 202 } ], [ { 193, 390, 482 }, { 158, 390, 482 }, { 158, 193, 390 }, { 158, 193, 482 } ], [ { 193, 389, 390 }, { 158, 389, 390 }, { 158, 193, 389 }, { 158, 193, 390 } ], [ { 186, 193, 389 }, { 179, 193, 389 }, { 179, 180, 186, 193 }, { 179, 180, 389 }, { 180, 186, 389 } ], [ { 158, 389, 390 }, { 145, 158, 389 }, { 145, 158, 390, 393 }, { 145, 389, 393 }, { 389, 390, 393 } ], [ { 179, 389, 393 }, { 145, 389, 393 }, { 145, 179, 389 }, { 145, 179, 393 } ], [ { 171, 172, 179 }, { 55, 172, 179 }, { 55, 171, 172 }, { 55, 171, 179 } ], [ { 172, 179, 393 }, { 145, 172, 393 }, { 145, 179, 393 }, { 145, 172, 179 } ], [ { 193, 197, 485 }, { 179, 184, 193, 197 }, { 179, 193, 485 }, { 184, 197, 485 }, { 179, 184, 485 } ], [ { 193, 205, 485 }, { 193, 201, 485 }, { 201, 205, 485 }, { 193, 201, 205 } ], [ { 201, 205, 485 }, { 55, 201, 485 }, { 55, 201, 205, 215 }, { 205, 215, 485 }, { 55, 215, 485 } ], [ { 179, 215, 485 }, { 55, 215, 485 }, { 55, 179, 485 }, { 55, 179, 215 } ], [ { 216, 220, 247 }, { 220, 247, 321 }, { 216, 220, 321 }, { 216, 247, 321 } ], [ { 238, 247, 358 }, { 216, 238, 247 }, { 216, 247, 358 }, { 216, 238, 358 } ], [ { 145, 234, 247 }, { 233, 234, 247 }, { 145, 233, 234 }, { 145, 233, 247 } ], [ { 234, 238, 247 }, { 234, 247, 358 }, { 234, 238, 358 }, { 238, 247, 358 } ], [ { 64, 241, 243 }, { 55, 64, 241 }, { 55, 64, 243 }, { 55, 241, 243 } ], [ { 145, 172, 241 }, { 55, 172, 241 }, { 55, 145, 172 }, { 55, 145, 241 } ], [ { 145, 241, 243 }, { 51, 145, 241 }, { 51, 241, 243 }, { 51, 145, 243 } ], [ { 145, 243, 247 }, { 51, 145, 247 }, { 51, 243, 247 }, { 51, 145, 243 } ], [ { 257, 268, 422 }, { 55, 257, 422 }, { 55, 257, 268 }, { 55, 268, 422 } ], [ { 63, 243, 257 }, { 55, 63, 257 }, { 55, 243, 257 }, { 55, 63, 243 } ], [ { 70, 243, 257 }, { 70, 257, 268 }, { 70, 243, 268 }, { 243, 257, 268 } ], [ { 70, 73, 243 }, { 70, 73, 268 }, { 73, 243, 268 }, { 70, 243, 268 } ], [ { 73, 243, 432 }, { 73, 243, 488 }, { 243, 432, 433, 488 }, { 73, 433, 488 }, { 73, 432, 433 } ], [ { 93, 275, 439 }, { 93, 436, 439 }, { 93, 275, 436 }, { 275, 436, 439 } ], [ { 275, 442, 444 }, { 275, 444, 447 }, { 442, 444, 447 }, { 275, 442, 447 } ], [ { 93, 275, 436 }, { 84, 93, 275 }, { 84, 93, 436 }, { 84, 275, 436 } ], [ { 77, 275, 278 }, { 77, 84, 278 }, { 84, 275, 278 }, { 77, 84, 275 } ], [ { 275, 282, 444 }, { 282, 442, 444 }, { 275, 282, 442 }, { 275, 442, 444 } ], [ { 77, 279, 282 }, { 275, 279, 282 }, { 77, 275, 279 }, { 77, 275, 282 } ], [ { 91, 93, 436 }, { 84, 91, 93 }, { 84, 93, 436 }, { 84, 91, 436 } ], [ { 97, 104, 106 }, { 104, 106, 490 }, { 97, 106, 490 }, { 97, 104, 490 } ], [ { 91, 290, 293 }, { 290, 293, 436 }, { 91, 293, 436 }, { 91, 290, 436 } ], [ { 5, 104, 306 }, { 5, 91, 104 }, { 91, 104, 290, 306 }, { 5, 91, 290 }, { 5, 290, 306 } ], [ { 306, 311, 490 }, { 311, 436, 455, 490 }, { 290, 306, 436, 490 }, { 290, 306, 311, 455 }, { 290, 436, 455 } ], [ { 104, 306, 307 }, { 306, 307, 490 }, { 104, 307, 490 }, { 104, 306, 490 } ], [ { 217, 340, 460 }, { 217, 321, 460 }, { 321, 340, 460 }, { 217, 321, 340 } ], [ { 327, 340, 460 }, { 336, 340, 460 }, { 327, 331, 336, 340 }, { 327, 331, 460 }, { 331, 336, 460 } ], [ { 336, 347, 465 }, { 321, 336, 340, 347 }, { 321, 347, 465, 492 }, { 336, 340, 465, 492 }, { 321, 340, 492 } ], [ { 120, 336, 460 }, { 120, 347, 460 }, { 336, 347, 460 }, { 120, 336, 347 } ], [ { 216, 358, 491 }, { 321, 358, 491 }, { 216, 321, 358 }, { 216, 321, 491 } ], [ { 217, 460, 491 }, { 217, 321, 460 }, { 321, 460, 491 }, { 217, 321, 491 } ], [ { 358, 460, 491 }, { 13, 358, 460 }, { 13, 460, 491 }, { 13, 358, 491 } ], [ { 131, 354, 358 }, { 347, 354, 358 }, { 131, 347, 354 }, { 131, 347, 358 } ], [ { 120, 354, 460 }, { 120, 347, 460 }, { 347, 354, 460 }, { 120, 347, 354 } ], [ { 354, 358, 460 }, { 14, 354, 460 }, { 14, 358, 460 }, { 14, 354, 358 } ], [ { 358, 363, 471 }, { 158, 363, 471 }, { 158, 358, 363 }, { 158, 358, 471 } ], [ { 131, 358, 471 }, { 347, 358, 471 }, { 131, 347, 471 }, { 131, 347, 358 } ], [ { 19, 358, 370 }, { 19, 137, 365, 370 }, { 358, 365, 370 }, { 137, 358, 365 }, { 19, 137, 358 } ], [ { 137, 358, 365 }, { 137, 145, 358 }, { 137, 145, 365 }, { 145, 358, 365 } ], [ { 19, 158, 379 }, { 145, 158, 379 }, { 19, 137, 145, 158 }, { 19, 137, 379 }, { 137, 145, 379 } ], [ { 19, 158, 358 }, { 19, 358, 370 }, { 19, 158, 370 }, { 158, 358, 370 } ], [ { 158, 193, 482 }, { 193, 201, 482 }, { 158, 201, 482 }, { 158, 193, 201 } ], [ { 145, 179, 389 }, { 145, 158, 389 }, { 145, 158, 179, 193 }, { 179, 193, 389 }, { 158, 193, 389 } ], [ { 145, 172, 179 }, { 55, 172, 179 }, { 55, 145, 172 }, { 55, 145, 179 } ], [ { 55, 179, 485 }, { 55, 201, 485 }, { 55, 179, 193, 201 }, { 193, 201, 485 }, { 179, 193, 485 } ], [ { 216, 247, 358 }, { 247, 321, 358 }, { 216, 247, 321 }, { 216, 321, 358 } ], [ { 234, 247, 358 }, { 145, 234, 247 }, { 145, 234, 358 }, { 145, 247, 358 } ], [ { 145, 241, 243 }, { 55, 145, 241 }, { 55, 241, 243 }, { 55, 145, 243 } ], [ { 145, 247, 321 }, { 145, 243, 247 }, { 243, 247, 321 }, { 145, 243, 321 } ], [ { 243, 257, 268 }, { 55, 243, 257 }, { 55, 257, 268 }, { 55, 243, 268 } ], [ { 73, 243, 432 }, { 73, 268, 432 }, { 73, 243, 268 }, { 243, 268, 432 } ], [ { 275, 442, 447 }, { 275, 436, 442 }, { 436, 439, 442, 447 }, { 275, 436, 439 }, { 275, 439, 447 } ], [ { 77, 275, 436 }, { 77, 84, 275 }, { 77, 84, 436 }, { 84, 275, 436 } ], [ { 77, 275, 282 }, { 77, 282, 442 }, { 275, 282, 442 }, { 77, 275, 442 } ], [ { 77, 91, 436 }, { 77, 84, 91 }, { 84, 91, 436 }, { 77, 84, 436 } ], [ { 97, 104, 493 }, { 104, 490, 493 }, { 97, 104, 490 }, { 97, 490, 493 } ], [ { 104, 306, 490 }, { 290, 306, 436, 490 }, { 91, 104, 436, 490 }, { 91, 104, 290, 306 }, { 91, 290, 436 } ], [ { 336, 347, 460 }, { 321, 347, 460 }, { 321, 336, 340, 347 }, { 336, 340, 460 }, { 321, 340, 460 } ], [ { 358, 460, 491 }, { 321, 358, 460 }, { 321, 460, 491 }, { 321, 358, 491 } ], [ { 354, 358, 460 }, { 347, 354, 460 }, { 347, 358, 460 }, { 347, 354, 358 } ], [ { 347, 358, 471 }, { 158, 358, 471 }, { 158, 347, 471 }, { 158, 347, 358 } ], [ { 19, 158, 358 }, { 19, 137, 145, 158 }, { 145, 158, 358 }, { 137, 145, 358 }, { 19, 137, 358 } ], [ { 55, 179, 193, 201 }, { 55, 145, 158, 201 }, { 55, 145, 179 }, { 145, 158, 179, 193 }, { 158, 193, 201 } ], [ { 145, 247, 358 }, { 247, 321, 358 }, { 145, 247, 321 }, { 145, 321, 358 } ], [ { 145, 243, 321 }, { 55, 145, 321 }, { 55, 145, 243 }, { 55, 243, 321 } ], [ { 243, 268, 432 }, { 55, 243, 432 }, { 55, 268, 432 }, { 55, 243, 268 } ], [ { 77, 275, 442 }, { 77, 275, 436 }, { 77, 436, 442 }, { 275, 436, 442 } ], [ { 91, 104, 436, 490 }, { 77, 436, 490, 493 }, { 104, 490, 493 }, { 77, 91, 104, 493 }, { 77, 91, 436 } ], [ { 347, 358, 460 }, { 321, 358, 460 }, { 321, 347, 460 }, { 321, 347, 358 } ], [ { 158, 347, 358 }, { 201, 347, 358 }, { 158, 201, 358 }, { 158, 201, 347 } ], [ { 158, 201, 358 }, { 55, 201, 358 }, { 55, 145, 158, 201 }, { 145, 158, 358 }, { 55, 145, 358 } ], [ { 145, 321, 358 }, { 55, 145, 358 }, { 55, 321, 358 }, { 55, 145, 321 } ], [ { 243, 321, 432 }, { 55, 321, 432 }, { 55, 243, 432 }, { 55, 243, 321 } ], [ { 77, 436, 490, 493 }, { 321, 347, 432, 436, 442, 490 }, { 77, 436, 442 }, { 77, 347, 442, 494 }, { 432, 490, 493 }, { 321, 432, 493, 494 }, { 321, 347, 494 }, { 77, 493, 494 } ], [ { 55, 321, 358 }, { 55, 201, 358 }, { 55, 201, 321, 347 }, { 201, 347, 358 }, { 321, 347, 358 } ], [ { 55, 201, 321, 347 }, { 321, 347, 432, 436, 442, 490 }, { 55, 432, 490, 495 }, { 55, 321, 432 }, { 201, 436, 442, 495 }, { 201, 347, 442 }, { 436, 490, 495 }, { 55, 201, 495 } ] ] /* Order of PGL_2(O) stabilizers of Voronoi top cells */ [ 1, 1, 1, 1, 3, 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, 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, 3, 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, 1, 3, 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, 3, 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, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 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, 3, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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, 3, 1, 3 ] /* GAP id of GL_2(O) stabilizers of Voronoi top cells */ [ <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>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <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>, <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>, <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>, <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>, <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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <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>, <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>, <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>, <6, 2>, <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>, <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>, <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>, <6, 2>, <2, 1>, <6, 2> ]