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