/* Defining polynomial */ x^2 - x + 175 /* Minimal vectors */ [ <5*w + 112, -10*w + 5>, <-38*w + 202, 7*w - 530>, <2*w + 289, -20*w - 112>, <7*w + 401, -30*w - 107>, <-10*w + 5, 5*w - 117>, <15*w + 107, -15*w + 122>, <17*w + 396, -35*w + 10>, <-13*w + 533, -28*w - 398>, <-35*w + 25, 17*w - 413>, <-28*w + 426, -13*w - 520>, <11*w + 17, -7*w + 118>, <-13*w + 30, 5*w - 163>, <168, -11*w - 79>, <-13*w + 198, -6*w - 242>, <16*w + 68, -13*w + 151>, <-11*w + 90, -168>, , <5*w + 158, -13*w - 17>, <7*w + 111, -11*w + 28>, <-6*w + 248, -13*w - 185>, , <-w + 24, -w - 26>, <-3*w + 28, -52>, <-2*w + 33, -w - 43>, <-2*w + 4, w - 27>, <-3*w + 13, w - 44>, <14, -w - 8>, <-3*w + 27, -52>, <-w + 9, -16>, <3*w + 20, -3*w + 24>, <-5*w + 44, -79>, <-2*w + 64, -3*w - 55>, <3*w + 5, -2*w + 31>, <-7*w + 14, 3*w - 85>, <-4*w + 35, -62>, <-w + 40, -2*w - 31>, <3*w + 68, -6*w>, <3*w + 21, -3*w + 23>, <-6*w + 37, w - 85>, <-3*w + 58, -2*w - 62>, <2*w + 61, -5*w - 8>, <16, -w - 8>, <79, -5*w - 39>, <-2*w + 4, w - 25>, , <2*w + 11, -2*w + 17>, <-w + 40, -2*w - 34>, <3*w + 17, -3*w + 25>, , <4*w + 23, -4*w + 33>, <61, -4*w - 34>, <-2*w + 19, -34>, <-2*w + 34, -w - 42>, <2*w + 43, -4*w>, <5*w + 77, -8*w + 16>, <-5*w + 92, -3*w - 106>, <92, -6*w - 49>, <-2*w + 49, -2*w - 49>, <10*w + 77, -11*w + 73>, <-2*w + 3, w - 24>, <-4*w + 37, -65>, <2*w + 59, -5*w - 9>, <4*w + 25, -4*w + 32>, <4*w + 24, -4*w + 33>, <-4*w + 37, -66>, <61, -4*w - 33>, <-3*w + 12, w - 41>, <15, -w - 8>, <-4*w + 21, w - 57>, <-4*w + 36, -65>, <-w + 8, -16>, <5*w + 17, -4*w + 52>, <4*w + 25, -4*w + 36>, <-6*w + 49, -97>, , , <-2*w + 31, -w - 40>, <-4*w + 33, -65>, <-3*w + 39, -w - 56>, <5*w + 32, -5*w + 42>, <-5*w + 43, -80>, <75, -5*w - 38>, <7*w + 165, -15*w - 2>, <-2*w + 2, w - 25>, <-3*w + 40, -w - 56>, <44, -3*w - 22>, <-2*w + 46, -2*w - 47>, <3*w + 63, -6*w + 4>, <3*w + 19, -3*w + 26>, <-w + 38, -2*w - 31>, <103, -7*w - 52>, <5*w + 32, -5*w + 43>, <-5*w + 42, -80>, <74, -5*w - 37>, <8*w + 155, -15*w + 17>, <-8*w + 23, 3*w - 106>, <8*w + 51, -8*w + 69>, <-3*w + 55, -2*w - 63>, <8*w + 19, -6*w + 85>, <-7*w + 46, w - 107>, , <12*w + 235, -23*w + 20>, <-7*w + 282, -15*w - 230>, <7*w + 13, -5*w + 76>, <-3*w + 26, -49>, <4*w + 39, -5*w + 27>, <5*w + 60, -7*w + 28>, <-6*w + 67, -w - 106>, <-2*w + 62, -3*w - 56>, <-6*w + 23, 2*w - 83>, <-3*w + 41, -w - 57>, <7*w + 72, -9*w + 45>, <6*w + 7, -4*w + 67>, , , <2*w + 27, -3*w + 10>, <59, -4*w - 30>, <-4*w + 78, -3*w - 87>, <3*w + 4, -2*w + 33>, <-7*w + 16, 3*w - 90>, <-4*w + 20, w - 57>, <4*w + 25, -4*w + 34>, <-5*w + 28, w - 73>, <-2*w + 62, -3*w - 55>, , <-7*w + 90, -2*w - 128>, <-6*w + 7, 3*w - 74>, <-3*w + 11, w - 41>, <4*w + 55, -6*w + 19>, <6*w + 23, -5*w + 59>, <-2*w + 32, -w - 40>, <7*w + 44, -7*w + 60>, <-4*w + 49, -w - 72>, <-7*w + 60, -113>, <2*w + 72, -6*w - 13>, <-w + 83, -5*w - 54>, <104, -7*w - 53>, <-2290*w + 1145, 1145*w - 26789>, <1889*w + 2116, -1145*w + 20668>, <-1889*w + 4005, 744*w - 23528>, <1145*w + 19523, -1889*w + 4005>, <-1145*w + 20668, -744*w - 22784>, <3034*w + 21639, -3034*w + 24673>, <744*w + 22784, -1889*w - 2116>, <-744*w + 23528, -1145*w - 19523>, <-3034*w + 24673, -46312>, <1145*w + 25644, -2290*w + 1145>, <-1145*w + 26789, -1145*w - 25644>, <46312, -3034*w - 21639>, <401*w + 2860, -401*w + 3261>, <-401*w + 3261, -6121>, <58*w + 4764, -343*w - 1561>, <-58*w + 4822, -285*w - 2918>, <459*w + 7624, -744*w + 1700>, <-459*w + 8083, -285*w - 9039>, <860*w + 898, -517*w + 9440>, <-343*w + 1904, 58*w - 4822>, <-343*w + 8025, -343*w - 7682>, <517*w + 8923, -860*w + 1758>, <-116*w + 58, 58*w - 1357>, <-401*w + 605, 174*w - 4880>, <58*w + 1299, -116*w + 58>, <174*w + 4706, -401*w - 204>, <-43*w + 426, -5*w - 692>, <-48*w + 543, -10*w - 804>, <53*w + 607, -68*w + 324>, <5*w + 1150, -78*w - 480>, <-106*w + 53, 53*w - 1240>, <-101*w + 974, -10*w - 1613>, <53*w + 1416, -121*w - 54>, <101*w + 64, -58*w + 1128>, <-53*w + 431, -809>, <48*w + 495, -58*w + 319>, <1038, -68*w - 485>, <-53*w + 1469, -68*w - 1294>, <101*w + 873, -111*w + 750>, <-101*w + 165, 43*w - 1235>, <53*w + 378, -53*w + 431>, <43*w + 383, -48*w + 314>, <-53*w + 660, -15*w - 916>, <-5*w + 1155, -73*w - 597>, <-8*w + 20, 3*w - 101>, <-2*w + 47, -2*w - 45>, <5*w + 66, -7*w + 26>, <-9*w + 74, -138>, <-7*w + 42, w - 100>, <7*w + 126, -12*w + 21>, <23*w + 26, -14*w + 251>, <-16*w + 85, 3*w - 223>, <-46*w + 208, 11*w - 624>, <34*w + 456, -48*w + 175>, <-12*w + 664, -37*w - 449>, <7*w + 19, -5*w + 71>, <-14*w + 161, -3*w - 236>, <-3*w + 239, -14*w - 147>, <3*w + 98, -8*w - 12>, <138, -9*w - 65>, <-w + 146, -9*w - 80>, <12*w + 9, -7*w + 133>, , <-w + 8, -17>, <13, -w - 7>, <0, 1>, <-w + 9, -18>, <13, -w - 8>, <-2*w + 5, w - 28>, <-2*w + 19, -36>, , <-w + 24, -w - 27>, <3*w + 28, -4*w + 20>, , <-3*w + 1, 2*w - 38>, , <14, -w - 9>, <-w + 38, -2*w - 36>, <-w + 9, -17>, <3*w + 16, -3*w + 27>, <2*w + 25, -3*w + 10>, <-w + 38, -2*w - 34>, <-4*w + 8, 2*w - 53>, <72, -5*w - 41>, <3*w + 1, -2*w + 36>, <5*w + 26, -5*w + 46>, <2*w + 39, -4*w + 2>, <-5*w + 46, -87>, , <-2*w + 47, -2*w - 51>, <6*w + 3, -4*w + 71>, <3*w + 45, -5*w + 11>, <2*w + 54, -5*w - 6>, <-2*w + 76, -4*w - 67>, <-4*w + 23, w - 62>, <-3*w + 42, -w - 61>, <3*w + 15, -3*w + 28>, <-3*w + 28, -53>, <43, -3*w - 25>, <43, -3*w - 24>, <-w + 38, -2*w - 32>, <-2*w + 61, -3*w - 56>, <3*w + 76, -7*w - 4>, <3*w + 3, -2*w + 34>, <5*w + 15, -4*w + 51>, <2*w + 86, -7*w - 22>, <5*w, -3*w + 59>, <-3*w + 12, w - 42>, <7*w + 56, -8*w + 53>, <4*w + 68, -7*w + 11>, <-6*w + 6, 3*w - 71>, <-3*w + 26, -47>, <2*w + 29, -3*w + 8>, <-2*w + 33, -w - 39>, <47, -3*w - 23>, <1, -1>, , <-w + 10, -18>, <15, -w - 9>, , <-w + 10, -17>, <3*w + 34, -4*w + 16>, <-5*w + 15, 2*w - 65>, <2*w + 28, -3*w + 8>, <-4*w + 52, -w - 73>, <-w + 86, -5*w - 57>, <8*w + 3, -5*w + 90>, <4*w + 9, -3*w + 41>, <-3*w + 104, -5*w - 90>, <3*w + 3, -2*w + 33>, <-4*w + 6, 2*w - 49>, <2*w + 58, -5*w - 8>, <-2*w + 64, -3*w - 57>, <-4*w + 52, -w - 74>, <-w + 55, -3*w - 41>, , <61, -4*w - 32>, <-w + 24, -w - 24>, <4*w + 25, -4*w + 33>, <58, -4*w - 29>, <3*w + 33, -4*w + 20>, <-5*w + 13, 2*w - 65>, <120, -8*w - 61>, <30, -2*w - 15>, <2*w + 13, -2*w + 17>, <7*w + 45, -7*w + 60>, <2*w + 86, -7*w - 21>, <-2*w + 106, -6*w - 79>, <3*w + 18, -3*w + 26>, <-2*w + 17, -32>, <3*w + 34, -4*w + 18>, , <6121, -401*w - 2860>, <-43*w + 655, -20*w - 799>, <43*w + 612, -63*w + 207>, <91*w + 1107, -121*w + 526>, <-91*w + 1198, -30*w - 1603>, <-5*w + 117, -5*w - 112>, <-25*w + 20, 12*w - 296>, <-20*w + 132, 2*w - 291>, <12*w + 284, -25*w + 5>, <-18*w + 421, -18*w - 403>, <-w + 54, -3*w - 37>, <-3*w + 86, -4*w - 75>, <5*w + 5, -3*w + 55>, <9*w + 64, -9*w + 73>, <16*w + 175, -20*w + 101>, <-3*w + 208, -12*w - 132>, <-19*w + 293, -9*w - 355>, <-10*w + 357, -18*w - 282>, <13*w + 383, -32*w - 31>, <-4*w + 79, -3*w - 83>, <-3*w + 40, -w - 53>, <-5*w + 87, -3*w - 98>, <13*w + 16, -8*w + 141>, <8*w + 103, -11*w + 43>, <3*w + 52, -5*w + 10>, <14, -w - 7>, <-2*w + 32, -w - 41>, <4*w + 9, -3*w + 43>, <-4*w + 35, -66>, <-w + 53, -3*w - 40>, <3*w + 62, -6*w + 3>, <-3*w + 71, -3*w - 73>, <-4*w + 6, 2*w - 51>, <2*w + 41, -4*w + 2>, <-2*w + 47, -2*w - 49>, <-4*w + 4, 2*w - 47>, <2*w + 45, -4*w>, , <-3*w + 11, w - 39>, , <-2*w + 49, -2*w - 47>, <2*w + 13, -2*w + 15>, <-w + 25, -w - 24>, , , <3*w + 34, -4*w + 19>, , <2*w + 28, -3*w + 9>, <-7*w + 59, -112>, <-4*w + 20, w - 58>, <-58*w + 1357, -58*w - 1299>, <-5*w + 10, 2*w - 62>, <7*w + 50, -7*w + 57>, <-3*w + 177, -10*w - 117>, <4*w + 227, -17*w - 60>, <-15*w + 15, 7*w - 179>, <-10*w + 127, -3*w - 174>, <7*w + 172, -15*w>, <-13*w + 304, -13*w - 291>, <2*w + 60, -5*w - 5>, <-17*w + 77, 4*w - 231>, <13*w + 123, -15*w + 91>, <28, -2*w - 15>, <-5*w + 44, -83>, <4*w + 24, -4*w + 35>, <44, -3*w - 23>, <59, -4*w - 31>, <809, -53*w - 378>, <15, -w - 7>, <-3*w + 55, -2*w - 60>, <-2*w + 62, -3*w - 52>, <-w + 8, -15>, <1, 0> ] /* Voronoi top cells */ [ { 1, 2, 3, 4 }, { 5, 6, 7, 8 }, { 1, 6, 9, 10 }, { 11, 12, 13, 14 }, { 15, 16, 17, 18 }, { 16, 18, 19, 20 }, { 21, 22, 23, 24 }, { 25, 26, 27, 28 }, { 29, 30, 31, 32 }, { 33, 34, 35, 36, 37 }, { 33, 38, 39, 40, 41 }, { 38, 40, 42, 43 }, { 44, 45, 46, 47 }, { 45, 47, 48, 49, 50, 51 }, { 48, 49, 52, 53 }, { 54, 55, 56, 57 }, { 56, 57, 58, 59 }, { 45, 60, 61, 62 }, { 29, 60, 61, 63 }, { 45, 49, 64, 65, 66 }, { 67, 68, 69, 70 }, { 71, 72, 73, 74, 75 }, { 76, 77, 78, 79 }, { 80, 81, 82, 83 }, { 84, 85, 86, 87, 88 }, { 85, 88, 89, 90, 91 }, { 92, 93, 94, 95 }, { 92, 96, 97, 98 }, { 99, 100, 101, 102, 103 }, { 104, 105, 106, 107, 108 }, { 104, 105, 106, 109 }, { 109, 110, 111, 112 }, { 109, 113, 114, 115 }, { 85, 114, 116, 117 }, { 85, 90, 117, 118 }, { 119, 120, 121, 122 }, { 114, 115, 121, 122 }, { 123, 124, 125, 126 }, { 114, 119, 122, 125 }, { 114, 123, 125, 127, 128, 129 }, { 114, 123, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137 }, { 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149 }, { 150, 151, 152, 153, 154, 155 }, { 150, 152, 156, 157, 158, 159 }, { 152, 157, 160, 161, 162, 163 }, { 164, 165, 166, 167 }, { 165, 168, 169, 170 }, { 165, 169, 171, 172 }, { 168, 173, 174, 175 }, { 165, 168, 170, 174 }, { 168, 173, 175, 176 }, { 173, 176, 177, 178 }, { 173, 179, 180, 181 }, { 1, 3, 4, 9 }, { 1, 5, 6, 7, 9 }, { 182, 183, 184, 185 }, { 11, 13, 186, 187 }, { 11, 12, 13, 186 }, { 19, 188, 189, 190, 191, 192 }, { 183, 184, 193, 194, 195 }, { 183, 193, 196, 197 }, { 15, 17, 18, 183, 198 }, { 16, 17, 18, 19 }, { 16, 17, 19, 199 }, { 200, 201, 202, 203 }, { 200, 203, 204, 205 }, { 206, 207, 208, 209, 210, 211 }, { 206, 209, 212, 213, 214, 215 }, { 23, 216, 217, 218 }, { 21, 23, 24, 218 }, { 21, 22, 24, 219 }, { 24, 218, 219, 220 }, { 218, 219, 220, 221 }, { 219, 221, 222, 223, 224, 225 }, { 222, 223, 226, 227 }, { 216, 228, 229, 230, 231 }, { 216, 226, 230, 231 }, { 216, 218, 228, 229 }, { 21, 22, 219, 232 }, { 25, 27, 222, 233 }, { 208, 234, 235, 236 }, { 25, 26, 27, 222 }, { 26, 222, 226, 227 }, { 28, 216, 226, 237 }, { 26, 27, 28, 226 }, { 76, 238, 239, 240 }, { 68, 241, 242, 243, 244 }, { 241, 245, 246, 247 }, { 68, 241, 244, 247 }, { 248, 249, 250, 251 }, { 29, 30, 32, 250 }, { 30, 248, 249, 250 }, { 33, 36, 37, 252 }, { 33, 38, 40, 42 }, { 33, 37, 38, 252 }, { 253, 254, 255, 256 }, { 253, 256, 257, 258 }, { 45, 46, 47, 48, 49, 52 }, { 54, 55, 56, 259 }, { 54, 56, 57, 58 }, { 29, 45, 60, 61 }, { 29, 61, 63, 259 }, { 54, 55, 259, 260 }, { 29, 63, 259, 261 }, { 259, 260, 261, 262, 263 }, { 58, 264, 265, 266 }, { 67, 68, 267, 268, 269, 270 }, { 45, 64, 66, 265 }, { 45, 49, 64, 68 }, { 64, 68, 265, 267, 271, 272 }, { 67, 68, 69, 268, 270 }, { 68, 69, 70, 273 }, { 29, 70, 273, 274 }, { 70, 274, 275, 276 }, { 71, 72, 73, 84 }, { 73, 78, 84, 277 }, { 76, 78, 79, 278 }, { 71, 73, 78, 278 }, { 82, 119, 279, 280 }, { 80, 81, 82, 281 }, { 84, 85, 86, 88, 89, 90 }, { 92, 93, 282, 283 }, { 92, 93, 94, 282 }, { 90, 92, 97, 98 }, { 99, 100, 101, 105, 106, 107, 108, 284, 285 }, { 105, 106, 109, 111, 114 }, { 109, 110, 111, 286 }, { 68, 109, 114, 115 }, { 76, 85, 114, 116 }, { 85, 90, 114, 117 }, { 114, 119, 121, 122 }, { 68, 114, 115, 121 }, { 114, 119, 123, 124, 125 }, { 114, 123, 133, 287, 288, 289 }, { 139, 140, 141, 142, 144, 145, 150, 151, 290 }, { 150, 151, 152, 153, 160 }, { 150, 152, 157, 160, 162 }, { 1, 164, 165, 167 }, { 164, 165, 166, 172 }, { 165, 168, 169, 172 }, { 165, 168, 173, 174 }, { 168, 173, 176, 178 }, { 1, 165, 167, 291 }, { 165, 173, 291, 292, 293, 294 }, { 173, 181, 292, 295 }, { 173, 179, 181, 295 }, { 173, 178, 179, 180 }, { 1, 3, 5, 7, 9, 296, 297, 298, 299 }, { 182, 183, 185, 300 }, { 182, 183, 184, 301 }, { 11, 186, 187, 302 }, { 11, 12, 183, 186 }, { 19, 188, 189, 303, 304, 305, 306, 307, 308 }, { 183, 184, 193, 301, 309 }, { 183, 196, 197, 310 }, { 183, 193, 196, 309 }, { 183, 197, 310, 311 }, { 17, 183, 198, 311, 312, 313 }, { 17, 18, 19, 183 }, { 17, 19, 199, 314 }, { 200, 201, 203, 315 }, { 27, 204, 206, 213 }, { 203, 204, 205, 213 }, { 27, 200, 203, 204 }, { 214, 253, 254, 255 }, { 21, 209, 214, 255 }, { 27, 206, 208, 213 }, { 206, 208, 209, 213, 214 }, { 21, 208, 209, 214 }, { 21, 23, 216, 218 }, { 21, 24, 218, 219 }, { 218, 219, 221, 222, 223, 226 }, { 216, 218, 226, 228, 231 }, { 21, 219, 232, 236 }, { 27, 222, 233, 234 }, { 21, 27, 208, 234, 236 }, { 26, 27, 222, 226 }, { 27, 28, 216, 226 }, { 76, 238, 240, 316 }, { 238, 241, 317, 318, 319, 320 }, { 68, 241, 242, 243, 286, 321 }, { 216, 322, 323, 324 }, { 68, 241, 245, 247 }, { 33, 36, 250, 251, 325, 326 }, { 249, 250, 251, 327 }, { 29, 30, 249, 250 }, { 33, 36, 252, 327 }, { 33, 38, 42, 252 }, { 33, 250, 328, 329, 330 }, { 29, 42, 331, 332 }, { 42, 331, 333, 334 }, { 29, 45, 60, 331 }, { 21, 253, 255, 256 }, { 45, 253, 256, 258 }, { 45, 46, 49, 52, 68 }, { 54, 56, 58, 259 }, { 29, 45, 61, 259 }, { 29, 54, 259, 260, 261 }, { 58, 264, 265, 268 }, { 68, 265, 267, 268, 269, 272 }, { 45, 64, 68, 265 }, { 68, 69, 268, 273 }, { 29, 68, 70, 273 }, { 29, 70, 274, 275 }, { 71, 73, 78, 84 }, { 71, 76, 78, 278 }, { 71, 84, 335, 336 }, { 68, 119, 121, 275 }, { 119, 275, 281, 337 }, { 82, 119, 279, 287 }, { 80, 82, 119, 281 }, { 76, 84, 85, 90 }, { 84, 90, 282, 336 }, { 92, 282, 283, 287, 338 }, { 90, 92, 94, 282 }, { 90, 92, 98, 287 }, { 101, 105, 106, 111, 114, 339 }, { 68, 109, 111, 114, 286 }, { 76, 85, 90, 114 }, { 68, 114, 119, 121 }, { 114, 119, 123, 124, 287, 288 }, { 150, 151, 160, 162, 290, 340 }, { 1, 164, 165, 172 }, { 165, 168, 172, 173, 178 }, { 1, 165, 173, 291, 292, 295 }, { 173, 178, 179, 295 }, { 341, 342, 343, 344 }, { 342, 343, 345, 346, 347 }, { 1, 3, 5, 296, 297, 298, 343, 346, 348 }, { 342, 346, 349, 350 }, { 182, 183, 300, 301 }, { 11, 183, 186, 302 }, { 19, 183, 189, 303, 305, 351 }, { 183, 301, 309, 327 }, { 183, 196, 309, 310 }, { 17, 183, 310, 311, 313 }, { 17, 19, 183, 314 }, { 27, 76, 315, 352 }, { 27, 200, 203, 315 }, { 27, 203, 204, 213 }, { 21, 214, 253, 255 }, { 21, 27, 208, 213, 214 }, { 21, 216, 218, 219 }, { 216, 218, 219, 222, 226 }, { 21, 27, 219, 222, 234, 236 }, { 27, 216, 222, 226 }, { 216, 316, 322, 323 }, { 238, 241, 323, 353 }, { 76, 238, 316, 323 }, { 68, 76, 238, 241, 286, 318, 354, 355, 356 }, { 216, 245, 323, 324 }, { 68, 241, 245, 323 }, { 33, 36, 250, 251, 327 }, { 29, 249, 250, 327 }, { 33, 42, 252, 327 }, { 29, 33, 42, 250, 328, 329 }, { 29, 42, 45, 331, 333 }, { 21, 45, 253, 256 }, { 21, 45, 46, 68 }, { 29, 45, 54, 58, 259 }, { 45, 58, 68, 265, 268 }, { 29, 54, 68, 268, 273 }, { 29, 68, 70, 275 }, { 29, 275, 281, 337 }, { 71, 76, 78, 84 }, { 71, 84, 282, 336 }, { 68, 119, 275, 281 }, { 82, 119, 281, 287 }, { 76, 84, 90, 282 }, { 90, 92, 282, 287 }, { 68, 76, 111, 114, 286, 339, 354, 355, 356 }, { 76, 90, 114, 287 }, { 68, 114, 119, 287 }, { 160, 162, 172, 178, 340, 357 }, { 1, 165, 172, 173, 178, 295 }, { 1, 341, 342, 343 }, { 1, 5, 342, 343, 346 }, { 5, 342, 346, 349 }, { 183, 186, 300, 302 }, { 183, 300, 301, 327 }, { 11, 183, 302, 303 }, { 19, 183, 303, 314 }, { 183, 309, 310, 327 }, { 17, 183, 310, 314 }, { 27, 76, 203, 315 }, { 21, 27, 203, 213, 214, 253 }, { 21, 27, 216, 219, 222 }, { 76, 216, 316, 323 }, { 68, 76, 238, 241, 323 }, { 68, 216, 245, 323 }, { 29, 33, 42, 250, 327 }, { 29, 42, 45, 253, 333 }, { 21, 45, 68, 253 }, { 29, 45, 54, 58, 68, 268 }, { 29, 68, 275, 281 }, { 71, 76, 84, 282 }, { 68, 119, 281, 287 }, { 76, 90, 282, 287 }, { 68, 76, 114, 287 }, { 1, 5, 172, 178, 295, 357 }, { 1, 5, 341, 342, 349 }, { 183, 300, 302, 327 }, { 183, 302, 303, 314 }, { 183, 310, 314, 327 }, { 71, 76, 203, 315 }, { 27, 76, 203, 216 }, { 21, 27, 203, 216, 253 }, { 21, 68, 216, 253 }, { 68, 76, 216, 323 }, { 29, 42, 253, 327 }, { 29, 45, 68, 253 }, { 29, 68, 281, 327 }, { 71, 76, 282, 358 }, { 68, 76, 281, 282, 287 }, { 1, 5, 295, 302, 314, 341, 349, 359, 360 }, { 183, 302, 314, 327 }, { 71, 76, 203, 358 }, { 68, 76, 203, 216, 253 }, { 29, 68, 253, 327 }, { 68, 76, 281, 282, 327, 358 }, { 302, 314, 327, 341, 349, 358, 359, 360, 361 }, { 68, 76, 203, 253, 327, 358 }, { 203, 253, 327, 358, 361, 362 } ] /* Faces of top cells */ [ [ { 2, 3, 4 }, { 1, 3, 4 }, { 1, 2, 4 }, { 1, 2, 3 } ], [ { 6, 7, 8 }, { 5, 7, 8 }, { 5, 6, 8 }, { 5, 6, 7 } ], [ { 1, 6, 10 }, { 1, 9, 10 }, { 6, 9, 10 }, { 1, 6, 9 } ], [ { 12, 13, 14 }, { 11, 13, 14 }, { 11, 12, 14 }, { 11, 12, 13 } ], [ { 16, 17, 18 }, { 15, 17, 18 }, { 15, 16, 18 }, { 15, 16, 17 } ], [ { 18, 19, 20 }, { 16, 18, 20 }, { 16, 19, 20 }, { 16, 18, 19 } ], [ { 22, 23, 24 }, { 21, 23, 24 }, { 21, 22, 24 }, { 21, 22, 23 } ], [ { 26, 27, 28 }, { 25, 27, 28 }, { 25, 26, 28 }, { 25, 26, 27 } ], [ { 30, 31, 32 }, { 29, 31, 32 }, { 29, 30, 32 }, { 29, 30, 31 } ], [ { 34, 35, 36 }, { 33, 35, 36 }, { 33, 34, 35, 37 }, { 33, 36, 37 }, { 34, 36, 37 } ], [ { 38, 39, 40 }, { 33, 38, 40 }, { 33, 38, 39, 41 }, { 39, 40, 41 }, { 33, 40, 41 } ], [ { 38, 40, 43 }, { 40, 42, 43 }, { 38, 42, 43 }, { 38, 40, 42 } ], [ { 45, 46, 47 }, { 44, 46, 47 }, { 44, 45, 47 }, { 44, 45, 46 } ], [ { 45, 49, 50, 51 }, { 45, 47, 48, 49 }, { 45, 47, 50 }, { 47, 48, 50, 51 }, { 48, 49, 51 } ], [ { 49, 52, 53 }, { 48, 49, 53 }, { 48, 52, 53 }, { 48, 49, 52 } ], [ { 55, 56, 57 }, { 54, 56, 57 }, { 54, 55, 57 }, { 54, 55, 56 } ], [ { 56, 57, 59 }, { 56, 57, 58 }, { 57, 58, 59 }, { 56, 58, 59 } ], [ { 45, 61, 62 }, { 60, 61, 62 }, { 45, 60, 62 }, { 45, 60, 61 } ], [ { 29, 61, 63 }, { 60, 61, 63 }, { 29, 60, 61 }, { 29, 60, 63 } ], [ { 49, 64, 65 }, { 45, 49, 65, 66 }, { 45, 49, 64 }, { 45, 64, 66 }, { 64, 65, 66 } ], [ { 68, 69, 70 }, { 67, 69, 70 }, { 67, 68, 70 }, { 67, 68, 69 } ], [ { 72, 73, 74, 75 }, { 71, 73, 74 }, { 71, 72, 73 }, { 71, 74, 75 }, { 71, 72, 75 } ], [ { 77, 78, 79 }, { 76, 78, 79 }, { 76, 77, 79 }, { 76, 77, 78 } ], [ { 81, 82, 83 }, { 80, 82, 83 }, { 80, 81, 83 }, { 80, 81, 82 } ], [ { 84, 86, 87 }, { 84, 85, 87 }, { 84, 85, 86, 88 }, { 85, 87, 88 }, { 86, 87, 88 } ], [ { 85, 90, 91 }, { 89, 90, 91 }, { 85, 88, 89, 90 }, { 88, 89, 91 }, { 85, 88, 91 } ], [ { 93, 94, 95 }, { 92, 94, 95 }, { 92, 93, 95 }, { 92, 93, 94 } ], [ { 92, 97, 98 }, { 96, 97, 98 }, { 92, 96, 98 }, { 92, 96, 97 } ], [ { 100, 101, 102 }, { 99, 100, 102, 103 }, { 99, 100, 101 }, { 101, 102, 103 }, { 99, 101, 103 } ], [ { 105, 106, 107, 108 }, { 104, 105, 107 }, { 104, 105, 106 }, { 104, 106, 108 }, { 104, 107, 108 } ], [ { 105, 106, 109 }, { 104, 106, 109 }, { 104, 105, 109 }, { 104, 105, 106 } ], [ { 109, 111, 112 }, { 109, 110, 112 }, { 110, 111, 112 }, { 109, 110, 111 } ], [ { 109, 114, 115 }, { 109, 113, 115 }, { 109, 113, 114 }, { 113, 114, 115 } ], [ { 85, 116, 117 }, { 85, 114, 117 }, { 114, 116, 117 }, { 85, 114, 116 } ], [ { 85, 117, 118 }, { 90, 117, 118 }, { 85, 90, 118 }, { 85, 90, 117 } ], [ { 120, 121, 122 }, { 119, 121, 122 }, { 119, 120, 122 }, { 119, 120, 121 } ], [ { 114, 115, 122 }, { 115, 121, 122 }, { 114, 115, 121 }, { 114, 121, 122 } ], [ { 124, 125, 126 }, { 123, 125, 126 }, { 123, 124, 126 }, { 123, 124, 125 } ], [ { 114, 122, 125 }, { 119, 122, 125 }, { 114, 119, 125 }, { 114, 119, 122 } ], [ { 114, 123, 128, 129 }, { 114, 125, 127, 128 }, { 127, 128, 129 }, { 123, 125, 127, 129 }, { 114, 123, 125 } ], [ { 114, 123, 128, 129 }, { 114, 128, 131 }, { 128, 131, 132, 137 }, { 114, 131, 133, 135 }, { 123, 130, 133, 136 }, { 114, 123, 133 }, { 128, 129, 132 }, { 129, 132, 134, 136 }, { 130, 133, 135 }, { 130, 134, 135, 137 }, { 123, 129, 136 }, { 130, 134, 136 }, { 132, 134, 137 }, { 131, 135, 137 } ], [ { 139, 140, 141, 142, 144, 145 }, { 138, 141, 142 }, { 139, 140, 143, 146, 147, 148 }, { 138, 141, 143, 144, 148, 149 }, { 138, 142, 145, 146, 147, 149 }, { 139, 145, 147 }, { 140, 144, 148 }, { 143, 146, 149 } ], [ { 150, 152, 154 }, { 150, 151, 154, 155 }, { 150, 151, 152, 153 }, { 152, 153, 154, 155 }, { 151, 153, 155 } ], [ { 150, 152, 157 }, { 150, 152, 156, 158 }, { 152, 156, 157, 159 }, { 150, 157, 158, 159 }, { 156, 158, 159 } ], [ { 157, 161, 162 }, { 152, 157, 160, 162 }, { 160, 161, 162, 163 }, { 152, 157, 161, 163 }, { 152, 160, 163 } ], [ { 165, 166, 167 }, { 164, 166, 167 }, { 164, 165, 167 }, { 164, 165, 166 } ], [ { 165, 169, 170 }, { 168, 169, 170 }, { 165, 168, 170 }, { 165, 168, 169 } ], [ { 165, 169, 172 }, { 165, 169, 171 }, { 169, 171, 172 }, { 165, 171, 172 } ], [ { 173, 174, 175 }, { 168, 174, 175 }, { 168, 173, 175 }, { 168, 173, 174 } ], [ { 165, 170, 174 }, { 168, 170, 174 }, { 165, 168, 170 }, { 165, 168, 174 } ], [ { 173, 175, 176 }, { 168, 175, 176 }, { 168, 173, 175 }, { 168, 173, 176 } ], [ { 173, 176, 178 }, { 173, 176, 177 }, { 176, 177, 178 }, { 173, 177, 178 } ], [ { 173, 180, 181 }, { 179, 180, 181 }, { 173, 179, 181 }, { 173, 179, 180 } ], [ { 1, 3, 4 }, { 3, 4, 9 }, { 1, 4, 9 }, { 1, 3, 9 } ], [ { 1, 6, 9 }, { 1, 5, 6 }, { 1, 5, 7, 9 }, { 6, 7, 9 }, { 5, 6, 7 } ], [ { 183, 184, 185 }, { 182, 184, 185 }, { 182, 183, 185 }, { 182, 183, 184 } ], [ { 13, 186, 187 }, { 11, 13, 187 }, { 11, 13, 186 }, { 11, 186, 187 } ], [ { 12, 13, 186 }, { 11, 13, 186 }, { 11, 12, 13 }, { 11, 12, 186 } ], [ { 19, 189, 190, 191 }, { 19, 188, 190, 192 }, { 19, 188, 189 }, { 188, 189, 191, 192 }, { 190, 191, 192 } ], [ { 183, 184, 194 }, { 184, 193, 194, 195 }, { 183, 184, 193 }, { 183, 193, 195 }, { 183, 194, 195 } ], [ { 183, 196, 197 }, { 193, 196, 197 }, { 183, 193, 197 }, { 183, 193, 196 } ], [ { 15, 17, 198 }, { 17, 183, 198 }, { 15, 18, 183, 198 }, { 15, 17, 18 }, { 17, 18, 183 } ], [ { 17, 18, 19 }, { 16, 18, 19 }, { 16, 17, 18 }, { 16, 17, 19 } ], [ { 16, 17, 19 }, { 17, 19, 199 }, { 16, 19, 199 }, { 16, 17, 199 } ], [ { 201, 202, 203 }, { 200, 202, 203 }, { 200, 201, 203 }, { 200, 201, 202 } ], [ { 203, 204, 205 }, { 200, 203, 205 }, { 200, 203, 204 }, { 200, 204, 205 } ], [ { 207, 208, 209, 210 }, { 206, 208, 209 }, { 206, 207, 208, 211 }, { 206, 209, 210, 211 }, { 207, 210, 211 } ], [ { 206, 209, 213, 214 }, { 212, 213, 214, 215 }, { 206, 212, 213 }, { 206, 209, 212, 215 }, { 209, 214, 215 } ], [ { 23, 217, 218 }, { 23, 216, 218 }, { 23, 216, 217 }, { 216, 217, 218 } ], [ { 23, 24, 218 }, { 21, 23, 24 }, { 21, 24, 218 }, { 21, 23, 218 } ], [ { 22, 24, 219 }, { 21, 24, 219 }, { 21, 22, 219 }, { 21, 22, 24 } ], [ { 24, 218, 219 }, { 24, 219, 220 }, { 218, 219, 220 }, { 24, 218, 220 } ], [ { 218, 219, 221 }, { 219, 220, 221 }, { 218, 220, 221 }, { 218, 219, 220 } ], [ { 219, 222, 224 }, { 222, 223, 224, 225 }, { 219, 221, 222, 223 }, { 219, 221, 224, 225 }, { 221, 223, 225 } ], [ { 223, 226, 227 }, { 222, 226, 227 }, { 222, 223, 227 }, { 222, 223, 226 } ], [ { 216, 229, 230 }, { 228, 229, 230, 231 }, { 216, 228, 229 }, { 216, 228, 231 }, { 216, 230, 231 } ], [ { 226, 230, 231 }, { 216, 230, 231 }, { 216, 226, 231 }, { 216, 226, 230 } ], [ { 216, 218, 229 }, { 218, 228, 229 }, { 216, 228, 229 }, { 216, 218, 228 } ], [ { 22, 219, 232 }, { 21, 22, 219 }, { 21, 219, 232 }, { 21, 22, 232 } ], [ { 25, 27, 233 }, { 27, 222, 233 }, { 25, 222, 233 }, { 25, 27, 222 } ], [ { 208, 235, 236 }, { 234, 235, 236 }, { 208, 234, 236 }, { 208, 234, 235 } ], [ { 25, 26, 27 }, { 26, 27, 222 }, { 25, 27, 222 }, { 25, 26, 222 } ], [ { 26, 226, 227 }, { 222, 226, 227 }, { 26, 222, 227 }, { 26, 222, 226 } ], [ { 28, 226, 237 }, { 216, 226, 237 }, { 28, 216, 237 }, { 28, 216, 226 } ], [ { 27, 28, 226 }, { 26, 28, 226 }, { 26, 27, 226 }, { 26, 27, 28 } ], [ { 238, 239, 240 }, { 76, 239, 240 }, { 76, 238, 240 }, { 76, 238, 239 } ], [ { 68, 242, 244 }, { 68, 241, 244 }, { 68, 241, 242, 243 }, { 241, 243, 244 }, { 242, 243, 244 } ], [ { 245, 246, 247 }, { 241, 246, 247 }, { 241, 245, 247 }, { 241, 245, 246 } ], [ { 68, 244, 247 }, { 241, 244, 247 }, { 68, 241, 244 }, { 68, 241, 247 } ], [ { 249, 250, 251 }, { 248, 250, 251 }, { 248, 249, 251 }, { 248, 249, 250 } ], [ { 30, 32, 250 }, { 29, 32, 250 }, { 29, 30, 32 }, { 29, 30, 250 } ], [ { 30, 249, 250 }, { 248, 249, 250 }, { 30, 248, 250 }, { 30, 248, 249 } ], [ { 36, 37, 252 }, { 33, 37, 252 }, { 33, 36, 37 }, { 33, 36, 252 } ], [ { 38, 40, 42 }, { 33, 38, 40 }, { 33, 40, 42 }, { 33, 38, 42 } ], [ { 37, 38, 252 }, { 33, 37, 252 }, { 33, 37, 38 }, { 33, 38, 252 } ], [ { 254, 255, 256 }, { 253, 255, 256 }, { 253, 254, 256 }, { 253, 254, 255 } ], [ { 256, 257, 258 }, { 253, 256, 258 }, { 253, 256, 257 }, { 253, 257, 258 } ], [ { 46, 47, 48, 52 }, { 45, 46, 49, 52 }, { 48, 49, 52 }, { 45, 47, 48, 49 }, { 45, 46, 47 } ], [ { 54, 55, 56 }, { 55, 56, 259 }, { 54, 56, 259 }, { 54, 55, 259 } ], [ { 56, 57, 58 }, { 54, 56, 57 }, { 54, 57, 58 }, { 54, 56, 58 } ], [ { 29, 45, 61 }, { 29, 60, 61 }, { 45, 60, 61 }, { 29, 45, 60 } ], [ { 61, 63, 259 }, { 29, 61, 259 }, { 29, 61, 63 }, { 29, 63, 259 } ], [ { 54, 55, 259 }, { 54, 55, 260 }, { 55, 259, 260 }, { 54, 259, 260 } ], [ { 63, 259, 261 }, { 29, 259, 261 }, { 29, 63, 259 }, { 29, 63, 261 } ], [ { 259, 261, 262 }, { 260, 261, 262, 263 }, { 259, 260, 261 }, { 259, 262, 263 }, { 259, 260, 263 } ], [ { 58, 265, 266 }, { 58, 264, 266 }, { 264, 265, 266 }, { 58, 264, 265 } ], [ { 67, 68, 268, 270 }, { 67, 68, 267 }, { 68, 267, 268, 269 }, { 67, 267, 269, 270 }, { 268, 269, 270 } ], [ { 64, 66, 265 }, { 45, 64, 66 }, { 45, 66, 265 }, { 45, 64, 265 } ], [ { 49, 64, 68 }, { 45, 49, 64 }, { 45, 64, 68 }, { 45, 49, 68 } ], [ { 64, 68, 265 }, { 64, 68, 267, 271 }, { 68, 265, 267, 272 }, { 64, 265, 271, 272 }, { 267, 271, 272 } ], [ { 67, 68, 69 }, { 68, 69, 268 }, { 67, 68, 268, 270 }, { 67, 69, 270 }, { 69, 268, 270 } ], [ { 69, 70, 273 }, { 68, 70, 273 }, { 68, 69, 273 }, { 68, 69, 70 } ], [ { 70, 273, 274 }, { 29, 273, 274 }, { 29, 70, 274 }, { 29, 70, 273 } ], [ { 70, 274, 276 }, { 70, 274, 275 }, { 274, 275, 276 }, { 70, 275, 276 } ], [ { 71, 72, 73 }, { 72, 73, 84 }, { 71, 73, 84 }, { 71, 72, 84 } ], [ { 73, 78, 277 }, { 78, 84, 277 }, { 73, 84, 277 }, { 73, 78, 84 } ], [ { 78, 79, 278 }, { 76, 79, 278 }, { 76, 78, 79 }, { 76, 78, 278 } ], [ { 73, 78, 278 }, { 71, 78, 278 }, { 71, 73, 278 }, { 71, 73, 78 } ], [ { 82, 279, 280 }, { 82, 119, 280 }, { 119, 279, 280 }, { 82, 119, 279 } ], [ { 80, 81, 82 }, { 81, 82, 281 }, { 80, 82, 281 }, { 80, 81, 281 } ], [ { 85, 88, 89, 90 }, { 84, 85, 90 }, { 84, 86, 89, 90 }, { 84, 85, 86, 88 }, { 86, 88, 89 } ], [ { 92, 93, 283 }, { 93, 282, 283 }, { 92, 282, 283 }, { 92, 93, 282 } ], [ { 92, 93, 94 }, { 93, 94, 282 }, { 92, 94, 282 }, { 92, 93, 282 } ], [ { 90, 97, 98 }, { 92, 97, 98 }, { 90, 92, 98 }, { 90, 92, 97 } ], [ { 105, 106, 107, 108 }, { 99, 100, 107, 108, 284, 285 }, { 100, 101, 105, 284 }, { 99, 101, 106, 285 }, { 101, 105, 106 }, { 99, 100, 101 }, { 105, 107, 284 }, { 106, 108, 285 } ], [ { 105, 106, 109 }, { 105, 109, 114 }, { 105, 106, 111, 114 }, { 109, 111, 114 }, { 106, 109, 111 } ], [ { 109, 110, 111 }, { 109, 111, 286 }, { 109, 110, 286 }, { 110, 111, 286 } ], [ { 109, 114, 115 }, { 68, 109, 115 }, { 68, 109, 114 }, { 68, 114, 115 } ], [ { 85, 114, 116 }, { 76, 85, 116 }, { 76, 85, 114 }, { 76, 114, 116 } ], [ { 85, 90, 117 }, { 85, 114, 117 }, { 90, 114, 117 }, { 85, 90, 114 } ], [ { 114, 121, 122 }, { 114, 119, 122 }, { 119, 121, 122 }, { 114, 119, 121 } ], [ { 114, 115, 121 }, { 68, 114, 115 }, { 68, 115, 121 }, { 68, 114, 121 } ], [ { 114, 123, 125 }, { 114, 119, 125 }, { 114, 119, 123, 124 }, { 123, 124, 125 }, { 119, 124, 125 } ], [ { 114, 123, 133 }, { 114, 133, 287, 289 }, { 114, 123, 287, 288 }, { 123, 133, 288, 289 }, { 287, 288, 289 } ], [ { 150, 151, 290 }, { 139, 145, 150, 290 }, { 139, 140, 290 }, { 140, 144, 151, 290 }, { 139, 140, 141, 142, 144, 145 }, { 141, 142, 150, 151 }, { 141, 144, 151 }, { 142, 145, 150 } ], [ { 150, 151, 152, 153 }, { 150, 152, 160 }, { 150, 151, 160 }, { 152, 153, 160 }, { 151, 153, 160 } ], [ { 150, 157, 162 }, { 150, 160, 162 }, { 152, 157, 160, 162 }, { 150, 152, 157 }, { 150, 152, 160 } ], [ { 164, 165, 167 }, { 1, 165, 167 }, { 1, 164, 167 }, { 1, 164, 165 } ], [ { 165, 166, 172 }, { 164, 165, 166 }, { 164, 166, 172 }, { 164, 165, 172 } ], [ { 165, 169, 172 }, { 165, 168, 169 }, { 168, 169, 172 }, { 165, 168, 172 } ], [ { 165, 173, 174 }, { 165, 168, 174 }, { 168, 173, 174 }, { 165, 168, 173 } ], [ { 173, 176, 178 }, { 168, 173, 176 }, { 168, 176, 178 }, { 168, 173, 178 } ], [ { 165, 167, 291 }, { 1, 167, 291 }, { 1, 165, 167 }, { 1, 165, 291 } ], [ { 173, 292, 293 }, { 165, 173, 293, 294 }, { 165, 173, 291, 292 }, { 291, 292, 293, 294 }, { 165, 291, 294 } ], [ { 173, 181, 292 }, { 181, 292, 295 }, { 173, 181, 295 }, { 173, 292, 295 } ], [ { 173, 179, 181 }, { 173, 181, 295 }, { 179, 181, 295 }, { 173, 179, 295 } ], [ { 173, 179, 180 }, { 173, 178, 180 }, { 178, 179, 180 }, { 173, 178, 179 } ], [ { 1, 5, 7, 9 }, { 1, 3, 5, 296, 297, 298 }, { 3, 9, 296, 299 }, { 1, 3, 9 }, { 7, 297, 298, 299 }, { 5, 7, 297 }, { 296, 298, 299 }, { 7, 9, 299 } ], [ { 183, 185, 300 }, { 182, 185, 300 }, { 182, 183, 185 }, { 182, 183, 300 } ], [ { 183, 184, 301 }, { 182, 184, 301 }, { 182, 183, 301 }, { 182, 183, 184 } ], [ { 11, 186, 187 }, { 186, 187, 302 }, { 11, 187, 302 }, { 11, 186, 302 } ], [ { 12, 183, 186 }, { 11, 183, 186 }, { 11, 12, 183 }, { 11, 12, 186 } ], [ { 19, 189, 303, 305 }, { 19, 188, 189 }, { 19, 303, 304 }, { 19, 188, 304, 307 }, { 303, 304, 305, 306, 307, 308 }, { 189, 305, 306 }, { 188, 189, 306, 308 }, { 188, 307, 308 } ], [ { 184, 193, 301, 309 }, { 183, 193, 309 }, { 183, 184, 193 }, { 183, 301, 309 }, { 183, 184, 301 } ], [ { 183, 196, 197 }, { 196, 197, 310 }, { 183, 197, 310 }, { 183, 196, 310 } ], [ { 183, 196, 309 }, { 193, 196, 309 }, { 183, 193, 196 }, { 183, 193, 309 } ], [ { 183, 197, 311 }, { 197, 310, 311 }, { 183, 197, 310 }, { 183, 310, 311 } ], [ { 17, 183, 311, 313 }, { 183, 198, 311, 312 }, { 17, 198, 312, 313 }, { 311, 312, 313 }, { 17, 183, 198 } ], [ { 17, 18, 19 }, { 18, 19, 183 }, { 17, 18, 183 }, { 17, 19, 183 } ], [ { 17, 19, 314 }, { 17, 19, 199 }, { 19, 199, 314 }, { 17, 199, 314 } ], [ { 201, 203, 315 }, { 200, 203, 315 }, { 200, 201, 203 }, { 200, 201, 315 } ], [ { 27, 204, 206 }, { 27, 204, 213 }, { 27, 206, 213 }, { 204, 206, 213 } ], [ { 203, 204, 205 }, { 203, 205, 213 }, { 203, 204, 213 }, { 204, 205, 213 } ], [ { 27, 203, 204 }, { 27, 200, 203 }, { 200, 203, 204 }, { 27, 200, 204 } ], [ { 214, 254, 255 }, { 214, 253, 255 }, { 214, 253, 254 }, { 253, 254, 255 } ], [ { 209, 214, 255 }, { 21, 209, 214 }, { 21, 209, 255 }, { 21, 214, 255 } ], [ { 27, 206, 208 }, { 27, 208, 213 }, { 206, 208, 213 }, { 27, 206, 213 } ], [ { 208, 213, 214 }, { 206, 208, 213 }, { 206, 209, 213, 214 }, { 206, 208, 209 }, { 208, 209, 214 } ], [ { 208, 209, 214 }, { 21, 208, 209 }, { 21, 209, 214 }, { 21, 208, 214 } ], [ { 23, 216, 218 }, { 21, 23, 218 }, { 21, 23, 216 }, { 21, 216, 218 } ], [ { 24, 218, 219 }, { 21, 24, 219 }, { 21, 218, 219 }, { 21, 24, 218 } ], [ { 218, 221, 223, 226 }, { 222, 223, 226 }, { 218, 219, 222, 226 }, { 219, 221, 222, 223 }, { 218, 219, 221 } ], [ { 216, 218, 226 }, { 218, 226, 228, 231 }, { 216, 218, 228 }, { 216, 226, 231 }, { 216, 228, 231 } ], [ { 219, 232, 236 }, { 21, 219, 236 }, { 21, 232, 236 }, { 21, 219, 232 } ], [ { 27, 233, 234 }, { 222, 233, 234 }, { 27, 222, 233 }, { 27, 222, 234 } ], [ { 27, 208, 234 }, { 21, 27, 208 }, { 21, 27, 234, 236 }, { 21, 208, 236 }, { 208, 234, 236 } ], [ { 26, 27, 226 }, { 27, 222, 226 }, { 26, 222, 226 }, { 26, 27, 222 } ], [ { 27, 28, 226 }, { 28, 216, 226 }, { 27, 216, 226 }, { 27, 28, 216 } ], [ { 238, 240, 316 }, { 76, 238, 240 }, { 76, 240, 316 }, { 76, 238, 316 } ], [ { 238, 317, 318, 320 }, { 238, 241, 318 }, { 238, 241, 317, 319 }, { 241, 318, 319, 320 }, { 317, 319, 320 } ], [ { 68, 242, 286, 321 }, { 68, 241, 286 }, { 68, 241, 242, 243 }, { 241, 243, 286, 321 }, { 242, 243, 321 } ], [ { 216, 323, 324 }, { 322, 323, 324 }, { 216, 322, 324 }, { 216, 322, 323 } ], [ { 68, 245, 247 }, { 68, 241, 247 }, { 241, 245, 247 }, { 68, 241, 245 } ], [ { 33, 36, 250, 251 }, { 250, 251, 325 }, { 33, 250, 325, 326 }, { 36, 251, 325, 326 }, { 33, 36, 326 } ], [ { 249, 250, 251 }, { 250, 251, 327 }, { 249, 251, 327 }, { 249, 250, 327 } ], [ { 30, 249, 250 }, { 29, 249, 250 }, { 29, 30, 250 }, { 29, 30, 249 } ], [ { 36, 252, 327 }, { 33, 36, 252 }, { 33, 252, 327 }, { 33, 36, 327 } ], [ { 38, 42, 252 }, { 33, 38, 252 }, { 33, 42, 252 }, { 33, 38, 42 } ], [ { 33, 250, 330 }, { 33, 328, 330 }, { 33, 250, 328, 329 }, { 250, 329, 330 }, { 328, 329, 330 } ], [ { 42, 331, 332 }, { 29, 42, 332 }, { 29, 331, 332 }, { 29, 42, 331 } ], [ { 42, 331, 334 }, { 42, 333, 334 }, { 331, 333, 334 }, { 42, 331, 333 } ], [ { 29, 45, 331 }, { 29, 60, 331 }, { 45, 60, 331 }, { 29, 45, 60 } ], [ { 21, 255, 256 }, { 253, 255, 256 }, { 21, 253, 256 }, { 21, 253, 255 } ], [ { 45, 256, 258 }, { 253, 256, 258 }, { 45, 253, 256 }, { 45, 253, 258 } ], [ { 46, 52, 68 }, { 45, 46, 49, 52 }, { 45, 46, 68 }, { 45, 49, 68 }, { 49, 52, 68 } ], [ { 54, 56, 58 }, { 56, 58, 259 }, { 54, 56, 259 }, { 54, 58, 259 } ], [ { 29, 61, 259 }, { 45, 61, 259 }, { 29, 45, 61 }, { 29, 45, 259 } ], [ { 259, 260, 261 }, { 29, 259, 261 }, { 29, 54, 260, 261 }, { 54, 259, 260 }, { 29, 54, 259 } ], [ { 58, 265, 268 }, { 58, 264, 265 }, { 58, 264, 268 }, { 264, 265, 268 } ], [ { 68, 265, 268 }, { 68, 265, 267, 272 }, { 68, 267, 268, 269 }, { 265, 268, 269, 272 }, { 267, 269, 272 } ], [ { 64, 68, 265 }, { 45, 64, 68 }, { 45, 64, 265 }, { 45, 68, 265 } ], [ { 68, 69, 273 }, { 69, 268, 273 }, { 68, 268, 273 }, { 68, 69, 268 } ], [ { 68, 70, 273 }, { 29, 70, 273 }, { 29, 68, 273 }, { 29, 68, 70 } ], [ { 70, 274, 275 }, { 29, 70, 274 }, { 29, 274, 275 }, { 29, 70, 275 } ], [ { 71, 73, 78 }, { 73, 78, 84 }, { 71, 78, 84 }, { 71, 73, 84 } ], [ { 71, 78, 278 }, { 76, 78, 278 }, { 71, 76, 278 }, { 71, 76, 78 } ], [ { 71, 335, 336 }, { 84, 335, 336 }, { 71, 84, 336 }, { 71, 84, 335 } ], [ { 68, 121, 275 }, { 119, 121, 275 }, { 68, 119, 275 }, { 68, 119, 121 } ], [ { 275, 281, 337 }, { 119, 281, 337 }, { 119, 275, 281 }, { 119, 275, 337 } ], [ { 82, 279, 287 }, { 82, 119, 287 }, { 82, 119, 279 }, { 119, 279, 287 } ], [ { 80, 82, 281 }, { 80, 82, 119 }, { 82, 119, 281 }, { 80, 119, 281 } ], [ { 76, 85, 90 }, { 84, 85, 90 }, { 76, 84, 85 }, { 76, 84, 90 } ], [ { 90, 282, 336 }, { 84, 90, 336 }, { 84, 90, 282 }, { 84, 282, 336 } ], [ { 92, 282, 283 }, { 282, 283, 287, 338 }, { 92, 282, 287 }, { 92, 283, 338 }, { 92, 287, 338 } ], [ { 90, 92, 94 }, { 90, 94, 282 }, { 92, 94, 282 }, { 90, 92, 282 } ], [ { 90, 92, 98 }, { 90, 98, 287 }, { 92, 98, 287 }, { 90, 92, 287 } ], [ { 105, 106, 111, 114 }, { 101, 105, 114, 339 }, { 111, 114, 339 }, { 101, 106, 111, 339 }, { 101, 105, 106 } ], [ { 68, 109, 114 }, { 68, 109, 286 }, { 68, 111, 114, 286 }, { 109, 111, 286 }, { 109, 111, 114 } ], [ { 85, 90, 114 }, { 76, 85, 90 }, { 76, 85, 114 }, { 76, 90, 114 } ], [ { 68, 114, 121 }, { 114, 119, 121 }, { 68, 114, 119 }, { 68, 119, 121 } ], [ { 114, 123, 287, 288 }, { 114, 119, 123, 124 }, { 114, 119, 287 }, { 119, 124, 287, 288 }, { 123, 124, 288 } ], [ { 150, 160, 162 }, { 160, 162, 340 }, { 150, 151, 160 }, { 151, 160, 340 }, { 150, 162, 290 }, { 162, 290, 340 }, { 150, 151, 290 }, { 151, 290, 340 } ], [ { 164, 165, 172 }, { 1, 165, 172 }, { 1, 164, 165 }, { 1, 164, 172 } ], [ { 165, 172, 173, 178 }, { 168, 173, 178 }, { 168, 172, 178 }, { 165, 168, 173 }, { 165, 168, 172 } ], [ { 173, 292, 295 }, { 1, 291, 292, 295 }, { 1, 165, 173, 295 }, { 165, 173, 291, 292 }, { 1, 165, 291 } ], [ { 173, 178, 179 }, { 173, 179, 295 }, { 173, 178, 295 }, { 178, 179, 295 } ], [ { 342, 343, 344 }, { 341, 343, 344 }, { 341, 342, 344 }, { 341, 342, 343 } ], [ { 342, 346, 347 }, { 343, 345, 346, 347 }, { 342, 345, 347 }, { 342, 343, 345 }, { 342, 343, 346 } ], [ { 1, 5, 343, 346 }, { 1, 3, 5, 296, 297, 298 }, { 5, 297, 346 }, { 297, 298, 346, 348 }, { 3, 296, 343, 348 }, { 1, 3, 343 }, { 296, 298, 348 }, { 343, 346, 348 } ], [ { 346, 349, 350 }, { 342, 346, 350 }, { 342, 346, 349 }, { 342, 349, 350 } ], [ { 183, 300, 301 }, { 182, 300, 301 }, { 182, 183, 301 }, { 182, 183, 300 } ], [ { 11, 183, 186 }, { 183, 186, 302 }, { 11, 183, 302 }, { 11, 186, 302 } ], [ { 19, 189, 303, 305 }, { 19, 183, 189, 351 }, { 19, 183, 303 }, { 183, 303, 305, 351 }, { 189, 305, 351 } ], [ { 183, 301, 309 }, { 301, 309, 327 }, { 183, 301, 327 }, { 183, 309, 327 } ], [ { 183, 196, 309 }, { 196, 309, 310 }, { 183, 196, 310 }, { 183, 309, 310 } ], [ { 17, 183, 311, 313 }, { 17, 183, 310 }, { 183, 310, 311 }, { 310, 311, 313 }, { 17, 310, 313 } ], [ { 17, 19, 314 }, { 17, 19, 183 }, { 19, 183, 314 }, { 17, 183, 314 } ], [ { 27, 315, 352 }, { 76, 315, 352 }, { 27, 76, 352 }, { 27, 76, 315 } ], [ { 27, 203, 315 }, { 200, 203, 315 }, { 27, 200, 203 }, { 27, 200, 315 } ], [ { 27, 203, 204 }, { 27, 203, 213 }, { 203, 204, 213 }, { 27, 204, 213 } ], [ { 21, 214, 255 }, { 214, 253, 255 }, { 21, 214, 253 }, { 21, 253, 255 } ], [ { 21, 208, 214 }, { 208, 213, 214 }, { 21, 27, 213, 214 }, { 21, 27, 208 }, { 27, 208, 213 } ], [ { 216, 218, 219 }, { 21, 218, 219 }, { 21, 216, 219 }, { 21, 216, 218 } ], [ { 216, 218, 226 }, { 218, 219, 222, 226 }, { 216, 222, 226 }, { 216, 218, 219 }, { 216, 219, 222 } ], [ { 21, 27, 234, 236 }, { 27, 222, 234 }, { 21, 27, 219, 222 }, { 219, 222, 234, 236 }, { 21, 219, 236 } ], [ { 27, 216, 226 }, { 27, 222, 226 }, { 216, 222, 226 }, { 27, 216, 222 } ], [ { 216, 316, 323 }, { 316, 322, 323 }, { 216, 322, 323 }, { 216, 316, 322 } ], [ { 238, 323, 353 }, { 241, 323, 353 }, { 238, 241, 353 }, { 238, 241, 323 } ], [ { 238, 316, 323 }, { 76, 238, 323 }, { 76, 316, 323 }, { 76, 238, 316 } ], [ { 68, 76, 286, 354, 355, 356 }, { 68, 241, 286 }, { 68, 76, 238, 241 }, { 241, 286, 318, 356 }, { 238, 241, 318 }, { 238, 318, 354, 355 }, { 76, 238, 355 }, { 318, 354, 356 } ], [ { 245, 323, 324 }, { 216, 323, 324 }, { 216, 245, 324 }, { 216, 245, 323 } ], [ { 68, 245, 323 }, { 68, 241, 323 }, { 241, 245, 323 }, { 68, 241, 245 } ], [ { 250, 251, 327 }, { 33, 36, 250, 251 }, { 33, 250, 327 }, { 33, 36, 327 }, { 36, 251, 327 } ], [ { 29, 249, 250 }, { 249, 250, 327 }, { 29, 250, 327 }, { 29, 249, 327 } ], [ { 42, 252, 327 }, { 33, 42, 252 }, { 33, 252, 327 }, { 33, 42, 327 } ], [ { 29, 42, 328, 329 }, { 33, 42, 328 }, { 29, 33, 42, 250 }, { 33, 250, 328, 329 }, { 29, 250, 329 } ], [ { 29, 45, 331 }, { 45, 331, 333 }, { 29, 42, 45, 333 }, { 42, 331, 333 }, { 29, 42, 331 } ], [ { 21, 45, 256 }, { 45, 253, 256 }, { 21, 253, 256 }, { 21, 45, 253 } ], [ { 45, 46, 68 }, { 21, 46, 68 }, { 21, 45, 68 }, { 21, 45, 46 } ], [ { 29, 54, 259 }, { 29, 45, 54, 58 }, { 29, 45, 259 }, { 54, 58, 259 }, { 45, 58, 259 } ], [ { 45, 68, 265 }, { 68, 265, 268 }, { 45, 58, 68, 268 }, { 45, 58, 265 }, { 58, 265, 268 } ], [ { 29, 68, 273 }, { 68, 268, 273 }, { 29, 54, 68, 268 }, { 29, 54, 273 }, { 54, 268, 273 } ], [ { 68, 70, 275 }, { 29, 70, 275 }, { 29, 68, 70 }, { 29, 68, 275 } ], [ { 275, 281, 337 }, { 29, 281, 337 }, { 29, 275, 281 }, { 29, 275, 337 } ], [ { 71, 76, 78 }, { 71, 78, 84 }, { 76, 78, 84 }, { 71, 76, 84 } ], [ { 71, 282, 336 }, { 84, 282, 336 }, { 71, 84, 336 }, { 71, 84, 282 } ], [ { 68, 275, 281 }, { 119, 275, 281 }, { 68, 119, 281 }, { 68, 119, 275 } ], [ { 82, 281, 287 }, { 82, 119, 281 }, { 82, 119, 287 }, { 119, 281, 287 } ], [ { 76, 90, 282 }, { 84, 90, 282 }, { 76, 84, 90 }, { 76, 84, 282 } ], [ { 90, 92, 287 }, { 90, 92, 282 }, { 90, 282, 287 }, { 92, 282, 287 } ], [ { 68, 76, 286, 354, 355, 356 }, { 68, 111, 114, 286 }, { 76, 114, 339, 355 }, { 68, 76, 114 }, { 111, 114, 339 }, { 111, 339, 354, 356 }, { 339, 354, 355 }, { 111, 286, 356 } ], [ { 90, 114, 287 }, { 76, 90, 114 }, { 76, 90, 287 }, { 76, 114, 287 } ], [ { 68, 114, 287 }, { 114, 119, 287 }, { 68, 114, 119 }, { 68, 119, 287 } ], [ { 172, 178, 357 }, { 160, 162, 172, 357 }, { 160, 178, 340, 357 }, { 162, 172, 178, 340 }, { 160, 162, 340 } ], [ { 173, 178, 295 }, { 1, 165, 173, 295 }, { 1, 172, 178, 295 }, { 165, 172, 173, 178 }, { 1, 165, 172 } ], [ { 1, 342, 343 }, { 1, 341, 343 }, { 341, 342, 343 }, { 1, 341, 342 } ], [ { 1, 5, 343, 346 }, { 5, 342, 346 }, { 1, 5, 342 }, { 1, 342, 343 }, { 342, 343, 346 } ], [ { 342, 346, 349 }, { 5, 346, 349 }, { 5, 342, 346 }, { 5, 342, 349 } ], [ { 183, 186, 300 }, { 183, 300, 302 }, { 186, 300, 302 }, { 183, 186, 302 } ], [ { 183, 300, 301 }, { 300, 301, 327 }, { 183, 301, 327 }, { 183, 300, 327 } ], [ { 11, 183, 303 }, { 183, 302, 303 }, { 11, 302, 303 }, { 11, 183, 302 } ], [ { 19, 303, 314 }, { 19, 183, 303 }, { 19, 183, 314 }, { 183, 303, 314 } ], [ { 183, 309, 310 }, { 183, 309, 327 }, { 309, 310, 327 }, { 183, 310, 327 } ], [ { 17, 183, 314 }, { 17, 310, 314 }, { 17, 183, 310 }, { 183, 310, 314 } ], [ { 27, 203, 315 }, { 76, 203, 315 }, { 27, 76, 203 }, { 27, 76, 315 } ], [ { 21, 27, 213, 214 }, { 21, 214, 253 }, { 203, 213, 214, 253 }, { 21, 27, 203, 253 }, { 27, 203, 213 } ], [ { 21, 27, 216 }, { 27, 216, 222 }, { 21, 27, 219, 222 }, { 216, 219, 222 }, { 21, 216, 219 } ], [ { 216, 316, 323 }, { 76, 316, 323 }, { 76, 216, 323 }, { 76, 216, 316 } ], [ { 68, 76, 323 }, { 68, 241, 323 }, { 68, 76, 238, 241 }, { 76, 238, 323 }, { 238, 241, 323 } ], [ { 68, 245, 323 }, { 68, 216, 323 }, { 216, 245, 323 }, { 68, 216, 245 } ], [ { 29, 42, 327 }, { 29, 33, 42, 250 }, { 33, 42, 327 }, { 29, 250, 327 }, { 33, 250, 327 } ], [ { 29, 42, 45, 333 }, { 29, 45, 253 }, { 45, 253, 333 }, { 29, 42, 253 }, { 42, 253, 333 } ], [ { 21, 45, 68 }, { 45, 68, 253 }, { 21, 68, 253 }, { 21, 45, 253 } ], [ { 29, 45, 68 }, { 29, 54, 68, 268 }, { 45, 58, 68, 268 }, { 29, 45, 54, 58 }, { 54, 58, 268 } ], [ { 68, 275, 281 }, { 29, 275, 281 }, { 29, 68, 281 }, { 29, 68, 275 } ], [ { 71, 76, 282 }, { 71, 84, 282 }, { 76, 84, 282 }, { 71, 76, 84 } ], [ { 68, 281, 287 }, { 119, 281, 287 }, { 68, 119, 281 }, { 68, 119, 287 } ], [ { 90, 282, 287 }, { 76, 90, 287 }, { 76, 90, 282 }, { 76, 282, 287 } ], [ { 68, 114, 287 }, { 76, 114, 287 }, { 68, 76, 114 }, { 68, 76, 287 } ], [ { 1, 172, 178, 295 }, { 5, 178, 295, 357 }, { 1, 5, 295 }, { 1, 5, 172, 357 }, { 172, 178, 357 } ], [ { 341, 342, 349 }, { 5, 342, 349 }, { 1, 5, 341, 349 }, { 1, 5, 342 }, { 1, 341, 342 } ], [ { 183, 300, 327 }, { 183, 300, 302 }, { 300, 302, 327 }, { 183, 302, 327 } ], [ { 183, 303, 314 }, { 302, 303, 314 }, { 183, 302, 303 }, { 183, 302, 314 } ], [ { 183, 310, 314 }, { 183, 314, 327 }, { 310, 314, 327 }, { 183, 310, 327 } ], [ { 71, 203, 315 }, { 76, 203, 315 }, { 71, 76, 203 }, { 71, 76, 315 } ], [ { 27, 203, 216 }, { 27, 76, 203 }, { 76, 203, 216 }, { 27, 76, 216 } ], [ { 21, 27, 216 }, { 21, 27, 203, 253 }, { 21, 216, 253 }, { 27, 203, 216 }, { 203, 216, 253 } ], [ { 21, 68, 216 }, { 68, 216, 253 }, { 21, 68, 253 }, { 21, 216, 253 } ], [ { 68, 216, 323 }, { 68, 76, 323 }, { 76, 216, 323 }, { 68, 76, 216 } ], [ { 29, 42, 327 }, { 29, 42, 253 }, { 42, 253, 327 }, { 29, 253, 327 } ], [ { 29, 45, 68 }, { 29, 68, 253 }, { 45, 68, 253 }, { 29, 45, 253 } ], [ { 29, 68, 281 }, { 68, 281, 327 }, { 29, 281, 327 }, { 29, 68, 327 } ], [ { 71, 282, 358 }, { 76, 282, 358 }, { 71, 76, 358 }, { 71, 76, 282 } ], [ { 68, 76, 287 }, { 76, 282, 287 }, { 68, 76, 281, 282 }, { 68, 281, 287 }, { 281, 282, 287 } ], [ { 302, 314, 341, 349, 359, 360 }, { 1, 5, 341, 349 }, { 5, 295, 302, 360 }, { 5, 349, 360 }, { 1, 295, 314, 359 }, { 1, 341, 359 }, { 1, 5, 295 }, { 295, 302, 314 } ], [ { 183, 314, 327 }, { 183, 302, 314 }, { 302, 314, 327 }, { 183, 302, 327 } ], [ { 71, 203, 358 }, { 76, 203, 358 }, { 71, 76, 203 }, { 71, 76, 358 } ], [ { 68, 76, 216 }, { 68, 216, 253 }, { 68, 76, 203, 253 }, { 203, 216, 253 }, { 76, 203, 216 } ], [ { 29, 68, 327 }, { 29, 68, 253 }, { 68, 253, 327 }, { 29, 253, 327 } ], [ { 68, 76, 281, 282 }, { 68, 76, 327, 358 }, { 76, 282, 358 }, { 281, 282, 327, 358 }, { 68, 281, 327 } ], [ { 327, 358, 361 }, { 302, 327, 358, 360 }, { 341, 349, 358, 361 }, { 302, 314, 327 }, { 314, 327, 359, 361 }, { 302, 314, 341, 349, 359, 360 }, { 341, 359, 361 }, { 349, 358, 360 } ], [ { 68, 76, 327, 358 }, { 68, 253, 327 }, { 68, 76, 203, 253 }, { 203, 253, 327, 358 }, { 76, 203, 358 } ], [ { 203, 253, 327, 358 }, { 253, 327, 361, 362 }, { 327, 358, 361 }, { 203, 358, 361, 362 }, { 203, 253, 362 } ] ] /* Order of PGL_2(O) stabilizers of Voronoi top cells */ [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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, 12, 12, 1, 2, 1, 1, 1, 1, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 2, 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, 2, 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, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 3, 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, 3, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 3, 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, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 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, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 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>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <24, 3>, <24, 3>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 2>, <4, 2>, <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>, <4, 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>, <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>, <6, 2>, <2, 1>, <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>, <2, 1>, <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>, <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>, <6, 2>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <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>, <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>, <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>, <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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <6, 2> ]