/* Defining polynomial */ x^2 - x + 197 /* Minimal vectors */ [ <50*w + 127, -34*w + 524>, <6*w + 132, -11*w + 8>, <17*w + 135, -17*w + 135>, <-27*w + 410, -10*w - 508>, <23*w + 537, -44*w + 16>, <-55*w + 19, 28*w - 651>, <270, -16*w - 127>, <6*w + 402, -27*w - 119>, <6*w + 672, -43*w - 246>, <-5*w + 129, -5*w - 119>, <52*w + 413, -52*w + 413>, <-54*w + 516, -2*w - 873>, <-2*w + 929, -54*w - 460>, <41*w + 410, -46*w + 286>, <-43*w + 519, -8*w - 746>, <-4*w + 1, 2*w - 46>, <-2*w + 18, -31>, <-2*w + 35, -w - 39>, <-4*w + 53, -w - 70>, <-5*w + 10, 2*w - 62>, <3*w + 25, -3*w + 23>, <4*w + 33, -4*w + 31>, <3*w + 6, -2*w + 32>, <-w + 9, -16>, <-4*w + 20, w - 56>, <51, -3*w - 25>, <2*w + 15, -2*w + 16>, <34, -2*w - 17>, <3*w + 56, -5*w + 7>, <-3*w + 62, -2*w - 66>, <-2*w + 19, -33>, , <7*w + 1, -4*w + 84>, <3*w + 54, -5*w + 9>, , <-5*w + 95, -3*w - 108>, <-2*w + 149, -8*w - 99>, <5*w + 2, -3*w + 59>, <2*w + 14, -2*w + 17>, <-2*w + 19, -34>, <-2*w + 68, -3*w - 59>, <33, -2*w - 17>, <5*w + 35, -5*w + 42>, <82, -5*w - 42>, <-5*w + 31, w - 76>, <-4*w + 5, 2*w - 51>, <-4*w + 54, -w - 76>, <-w + 91, -5*w - 59>, <16, -w - 8>, <-3*w + 28, -51>, <2*w + 30, -3*w + 9>, , <-w + 58, -3*w - 42>, <122*w + 927, -122*w + 1049>, <-122*w + 1049, -1976>, <527*w + 6612, -688*w + 3308>, <-527*w + 7139, -161*w - 9759>, <405*w + 7661, -688*w + 1332>, <-405*w + 8066, -283*w - 8710>, <-2*w + 1, w - 25>, <-12*w + 22, 5*w - 157>, <13*w + 34, -9*w + 143>, <2*w + 144, -10*w - 43>, <12*w + 10, -7*w + 142>, <-13*w + 47, 4*w - 181>, <-2*w + 146, -8*w - 93>, <11*w + 67, -10*w + 103>, <-14*w + 136, -w - 235>, <-22*w + 11, 11*w - 274>, <-11*w + 78, w - 171>, <403, -25*w - 189>, <10*w + 124, -13*w + 64>, <-10*w + 134, -3*w - 185>, <9*w + 181, -16*w + 25>, <-9*w + 190, -7*w - 199>, <371, -23*w - 174>, <-7*w + 44, w - 106>, <13*w + 50, -10*w + 135>, <6*w + 94, -9*w + 29>, <-7*w + 157, -6*w - 159>, <7*w + 37, -6*w + 68>, , <8*w + 93, -10*w + 54>, <7*w + 150, -13*w + 15>, <-13*w + 63, 3*w - 188>, <-6*w + 100, -3*w - 120>, <-12*w + 6, 6*w - 149>, <11*w + 132, -14*w + 72>, <-11*w + 143, -3*w - 201>, <275, -17*w - 129>, <-22*w + 11, 11*w - 273>, <39*w + 296, -39*w + 336>, <-39*w + 335, -632>, <5*w + 38, -5*w + 43>, <-4*w + 99, -4*w - 95>, , <-4*w + 180, -9*w - 133>, <-9*w + 61, w - 138>, <-9*w + 142, -4*w - 176>, <7*w + 5, -4*w + 83>, <-6*w + 19, 2*w - 82>, <8*w + 61, -8*w + 69>, <4*w + 79, -7*w + 12>, <2*w + 80, -6*w - 13>, <9*w + 4, -5*w + 108>, <-3*w + 74, -3*w - 71>, <-4*w + 18, w - 57>, <5*w + 103, -9*w + 13>, <-3*w + 11, w - 40>, <-6*w + 138, -5*w - 135>, <49*w + 338, -46*w + 413>, <-52*w + 465, -826>, <-3*w + 803, -46*w - 413>, <28*w + 121, -22*w + 270>, <-11*w + 267, -10*w - 254>, <-28*w + 149, 6*w - 397>, <39*w + 647, -59*w + 151>, <-39*w + 686, -20*w - 778>, <11*w + 256, -21*w + 8>, <-6*w + 408, -21*w - 262>, <-33*w + 25, 16*w - 397>, <27*w + 383, -37*w + 135>, <-16*w + 143, -254>, <33*w + 262, -33*w + 262>, <-16*w + 413, -16*w - 381>, <16*w + 127, -16*w + 127>, <-33*w + 295, -524>, <16*w + 397, -32*w>, <11*w + 3, -6*w + 127>, <-33*w + 8, 17*w - 389>, <-16*w + 683, -32*w - 508>, <15*w + 1, -8*w + 175>, , <-6*w + 104, -3*w - 119>, <-7*w + 113, -3*w - 135>, <-15*w + 16, 7*w - 183>, <6*w + 98, -9*w + 24>, <7*w + 106, -10*w + 32>, <10*w + 12, -6*w + 111>, <17, -w - 8>, <10*w + 29, -7*w + 103>, <-4*w + 137, -6*w - 111>, <-8*w + 797, -43*w - 468>, <-49*w + 387, 3*w - 754>, <3*w + 800, -49*w - 341>, <2*w + 17, -2*w + 14>, <-2*w + 19, -31>, <3*w + 43, -4*w + 13>, <-3*w + 46, -w - 55>, <89, -5*w - 42>, <-4*w + 2, 2*w - 41>, <3*w + 28, -3*w + 17>, <-3*w + 31, -45>, <2*w + 38, -3*w + 2>, <-2*w + 40, -w - 39>, <59, -3*w - 28>, <-2*w + 21, -30>, , <6*w + 36, -5*w + 43>, , <-w + 11, -15>, <21, -w - 10>, , <-2*w + 1, w - 19>, <-w + 11, -14>, , <-w + 32, -w - 24>, <3*w + 8, -2*w + 31>, <4*w + 16, -3*w + 39>, <51, -3*w - 23>, <2*w + 34, -3*w + 8>, <-3*w + 43, -w - 54>, <2*w, -w + 23>, <-w + 60, -3*w - 39>, <-3*w + 26, -46>, <-w + 43, -2*w - 31>, <2*w + 51, -4*w>, <4*w + 51, -5*w + 23>, <-w + 26, -w - 23>, <-2*w + 69, -3*w - 54>, <5*w + 25, -4*w + 46>, , <2*w + 17, -2*w + 15>, <35, -2*w - 16>, <-3*w + 79, -3*w - 70>, <3*w + 4, -2*w + 34>, , <-3*w + 29, -51>, , <-w + 42, -2*w - 34>, <-w + 26, -w - 25>, <2*w + 47, -4*w>, <-w + 59, -3*w - 42>, <-15*w + 7, 8*w - 182>, <4*w + 29, -4*w + 33>, <-5*w + 63, -w - 91>, <-w + 92, -5*w - 58>, <8*w + 174, -15*w + 8>, <-7*w + 181, -7*w - 174>, <7*w + 1, -4*w + 83>, <6*w + 27, -5*w + 58>, <66, -4*w - 33>, <6*w + 93, -9*w + 25>, <-2*w + 2, w - 25>, <-3*w + 28, -50>, <-4*w + 4, 2*w - 49>, <-3*w + 45, -w - 58>, , <-3*w + 12, w - 41>, <-4*w + 20, w - 57>, <-2*w + 52, -2*w - 49>, <67, -4*w - 33>, <2*w + 96, -7*w - 24>, <-4*w + 37, -67>, <-2*w + 51, -2*w - 50>, <-5*w + 30, w - 76>, <5*w + 35, -5*w + 43>, <65, -4*w - 33>, <-810*w + 405, 405*w - 10042>, <145, -9*w - 68>, <12*w + 268, -23*w + 21>, <-12*w + 280, -11*w - 278>, <-w + 57, -3*w - 39>, <-5*w + 43, -81>, <-w + 138, -8*w - 77>, <-14*w + 7, 7*w - 174>, <113, -7*w - 53>, <6*w + 175, -14*w - 9>, <-6*w + 181, -8*w - 158>, <-14*w + 136, -w - 234>, <-w + 235, -14*w - 122>, <6*w + 62, -7*w + 44>, <-9*w + 239, -10*w - 221>, <-10*w + 231, -9*w - 230>, <3*w + 55, -5*w + 11>, <5*w + 6, -3*w + 58>, <-w + 8, -16>, <-4*w + 17, w - 58>, , <-3*w + 40, -w - 56>, , <-6*w + 49, -98>, <5*w + 6, -3*w + 60>, <2*w + 15, -2*w + 18>, <63, -4*w - 29>, <-7*w + 26, 2*w - 100>, , , <-w + 27, -w - 25>, <2*w + 33, -3*w + 6>, <-2*w + 2, w - 24>, <3*w + 23, -3*w + 23>, <-2*w + 19, -32>, <-3*w + 28, -48>, <2*w + 33, -3*w + 7>, , <-w + 44, -2*w - 33>, <-11*w + 14, 5*w - 135>, <4*w + 133, -10*w - 16>, <-6*w + 155, -6*w - 143>, <9*w + 257, -20*w - 16>, <-10*w + 22, 4*w - 127>, <5*w + 124, -10*w>, <8*w + 789, -51*w - 278>, <43*w + 476, -51*w + 278>, <-32*w + 16, 16*w - 381>, <5*w + 141, -11*w - 8>, <-5*w + 146, -6*w - 127>, <-17*w + 135, w - 262>, <-50*w + 666, -13*w - 897>, <-34*w + 17, 17*w - 405>, <17*w + 118, -16*w + 143>, <6*w + 115, -10*w + 16>, <-7*w + 130, -4*w - 143>, <-6*w + 121, -4*w - 127>, <8*w + 97, -10*w + 48>, <-8*w + 105, -2*w - 143>, <6*w + 149, -12*w>, <-9*w + 266, -11*w - 230>, <11*w + 37, -8*w + 111>, <-3*w + 145, -7*w - 103>, <11*w + 20, -7*w + 119>, <7*w + 123, -11*w + 24>, <-2*w + 1, w - 23>, , <2*w + 122, -8*w - 35>, <123, -7*w - 58>, , <-w + 27, -w - 24>, <2*w + 16, -2*w + 15>, <35, -2*w - 17>, <-w + 62, -3*w - 41>, <3*w + 7, -2*w + 31>, <-2*w + 53, -2*w - 48>, <69, -4*w - 33>, <-3*w + 10, w - 39>, <2*w + 51, -4*w - 1>, <69, -4*w - 32>, , <-w + 10, -15>, <2*w + 19, -2*w + 11>, <-w + 30, -w - 24>, <-4*w + 2, 2*w - 39>, <1, -1>, <1, 0>, <-w + 9, -15>, , <-2*w + 35, -w - 38>, <-w + 44, -2*w - 31>, <-3*w + 9, w - 38>, <2*w + 35, -3*w + 7>, <-w + 26, -w - 26>, <2*w + 30, -3*w + 8>, <5*w + 53, -6*w + 33>, <-5*w + 13, 2*w - 66>, <-7*w + 15, 3*w - 91>, , <-4*w + 37, -66>, <-6*w + 39, w - 91>, <7*w + 51, -7*w + 58>, <2*w + 64, -5*w - 8>, <3*w + 88, -7*w - 8>, , <-4*w + 103, -4*w - 99>, <1976, -122*w - 927>, <405*w + 9637, -810*w + 405>, <-405*w + 10042, -405*w - 9637>, , <-12*w + 6, 6*w - 143>, <253, -15*w - 119>, <-2*w + 1, w - 20>, , <-78*w + 39, 39*w - 967>, <39*w + 928, -78*w + 39>, <-39*w + 967, -39*w - 928>, <81, -5*w - 38>, , <-2*w + 17, -33>, <-w + 24, -w - 24>, <-w + 25, -w - 24>, <32, -2*w - 15>, <16, -w - 7>, <0, 1> ] /* Voronoi top cells */ [ { 1, 2, 3, 4, 5 }, { 6, 7, 8, 9 }, { 10, 11, 12, 13 }, { 10, 13, 14, 15 }, { 16, 17, 18, 19 }, { 18, 20, 21, 22 }, { 23, 24, 25, 26 }, { 27, 28, 29, 30 }, { 28, 29, 31, 32 }, { 33, 34, 35, 36, 37 }, { 38, 39, 40, 41 }, { 38, 39, 42, 43, 44 }, { 38, 40, 42, 45 }, { 39, 40, 46, 47, 48 }, { 49, 50, 51, 52 }, { 40, 50, 51, 53 }, { 54, 55, 56, 57, 58, 59 }, { 60, 61, 62, 63 }, { 60, 64, 65, 66 }, { 64, 66, 67, 68 }, { 67, 69, 70, 71 }, { 72, 73, 74, 75, 76 }, { 77, 78, 79, 80 }, { 81, 82, 83, 84 }, { 81, 84, 85, 86 }, { 87, 88, 89, 90 }, { 88, 89, 91, 92, 93 }, { 94, 95, 96, 97 }, { 94, 95, 98, 99 }, { 100, 101, 102, 103, 104 }, { 82, 103, 105, 106 }, { 100, 106, 107, 108 }, { 24, 25, 26, 109 }, { 110, 111, 112, 113 }, { 7, 8, 114, 115 }, { 7, 114, 116, 117, 118 }, { 7, 116, 119, 120 }, { 110, 120, 121, 122 }, { 7, 123, 124, 125 }, { 7, 126, 127, 128 }, { 2, 3, 4, 5, 129 }, { 7, 125, 130, 131 }, { 2, 4, 8, 130 }, { 6, 7, 8, 130 }, { 132, 133, 134, 135 }, { 24, 136, 137, 138 }, { 139, 140, 141, 142 }, { 10, 11, 12, 143 }, { 2, 11, 144, 145 }, { 10, 11, 13, 15 }, { 2, 11, 15, 144 }, { 146, 147, 148, 149, 150 }, { 151, 152, 153, 154, 155, 156 }, { 151, 154, 157, 158, 159 }, { 160, 161, 162, 163 }, { 160, 162, 164, 165 }, { 162, 165, 166, 167 }, { 133, 168, 169, 170 }, { 168, 170, 171, 172, 173 }, { 133, 168, 169, 174 }, { 168, 175, 176, 177, 178 }, { 175, 176, 178, 179, 180 }, { 176, 179, 180, 181, 182 }, { 17, 183, 184, 185 }, { 16, 17, 18, 183 }, { 18, 21, 22, 140 }, { 40, 186, 187, 188, 189 }, { 40, 50, 187, 190 }, { 42, 191, 192, 193 }, { 194, 195, 196, 197, 198, 199 }, { 200, 201, 202, 203 }, { 191, 200, 204, 205 }, { 191, 195, 197, 200, 201 }, { 31, 191, 206, 207 }, { 23, 24, 26, 28 }, { 28, 31, 208, 209 }, { 27, 28, 29, 31 }, { 27, 210, 211, 212 }, { 33, 34, 35, 36, 204, 213 }, { 35, 39, 214, 215 }, { 40, 42, 189, 208 }, { 38, 39, 40, 42 }, { 39, 49, 51, 216, 217, 218 }, { 39, 40, 46, 51, 53 }, { 40, 49, 50, 51 }, { 54, 55, 58, 59, 219 }, { 67, 70, 220, 221, 222 }, { 60, 61, 62, 82 }, { 60, 61, 63, 70 }, { 60, 64, 65, 223 }, { 60, 64, 66, 67 }, { 67, 69, 70, 72, 73 }, { 72, 73, 74, 75, 82, 223 }, { 81, 86, 94, 96 }, { 77, 79, 224, 225 }, { 77, 79, 80, 223 }, { 81, 82, 84, 86 }, { 80, 82, 84, 223, 226, 227 }, { 86, 89, 94, 228 }, { 79, 86, 87, 88, 89 }, { 88, 89, 91, 94, 224 }, { 79, 88, 224, 229 }, { 94, 95, 96, 101 }, { 95, 101, 104, 230, 231 }, { 94, 95, 98, 104 }, { 104, 107, 232, 233 }, { 81, 82, 101, 234 }, { 100, 104, 106, 107 }, { 100, 101, 103, 104, 106 }, { 82, 101, 103, 106 }, { 82, 105, 106, 235 }, { 106, 107, 108, 236 }, { 237, 238, 239, 240 }, { 238, 240, 241, 242 }, { 238, 243, 244, 245 }, { 238, 241, 243, 246 }, { 247, 248, 249, 250 }, { 24, 26, 109, 251 }, { 109, 248, 251, 252 }, { 140, 253, 254, 255 }, { 109, 248, 252, 256 }, { 248, 254, 256, 257 }, { 258, 259, 260, 261 }, { 140, 259, 260, 262 }, { 112, 258, 263, 264 }, { 110, 112, 113, 258 }, { 110, 112, 263, 265 }, { 123, 126, 266, 267, 268 }, { 2, 7, 8, 115 }, { 7, 114, 115, 116, 119 }, { 7, 110, 119, 120 }, { 110, 121, 122, 258 }, { 7, 121, 128, 258 }, { 7, 110, 120, 121 }, { 7, 123, 125, 129 }, { 7, 126, 128, 258 }, { 2, 4, 129, 130 }, { 7, 125, 129, 130 }, { 2, 7, 8, 130 }, { 2, 115, 269, 270 }, { 115, 119, 269, 271, 272 }, { 24, 263, 273, 274 }, { 133, 134, 135, 275 }, { 24, 133, 135, 138, 276, 277 }, { 24, 137, 138, 273 }, { 129, 142, 278, 279 }, { 139, 140, 142, 278 }, { 133, 142, 280, 281 }, { 140, 141, 142, 281 }, { 10, 129, 142, 279 }, { 10, 133, 142, 282 }, { 10, 11, 129, 143 }, { 2, 11, 129, 145 }, { 2, 10, 11, 15 }, { 10, 133, 275, 283 }, { 284, 285, 286, 287 }, { 184, 284, 285, 288 }, { 146, 147, 148, 149, 285, 289 }, { 284, 290, 291, 292 }, { 284, 290, 293, 294 }, { 140, 290, 293, 295 }, { 247, 253, 290, 291 }, { 140, 253, 255, 290 }, { 17, 184, 284, 288 }, { 17, 284, 296, 297 }, { 17, 140, 296, 298 }, { 151, 154, 155, 157, 158, 299, 300, 301, 302 }, { 161, 162, 166, 303 }, { 160, 161, 162, 304 }, { 160, 162, 165, 304, 305 }, { 162, 165, 166, 305 }, { 133, 168, 170, 173 }, { 168, 173, 175, 179 }, { 179, 306, 307, 308 }, { 133, 168, 174, 176 }, { 168, 175, 176, 179 }, { 21, 140, 174, 176 }, { 21, 176, 179, 182 }, { 17, 183, 184, 306 }, { 17, 18, 140, 183 }, { 183, 184, 306, 309 }, { 179, 306, 308, 309, 310, 311 }, { 18, 21, 140, 183 }, { 21, 179, 182, 183 }, { 28, 208, 209, 251 }, { 24, 26, 28, 251 }, { 187, 208, 312, 313 }, { 40, 187, 189, 208 }, { 40, 49, 50, 187 }, { 42, 191, 192, 204 }, { 191, 195, 196, 197, 201, 314 }, { 202, 204, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324 }, { 191, 200, 201, 202, 204 }, { 31, 191, 206, 317 }, { 23, 24, 27, 28 }, { 27, 28, 31, 208 }, { 24, 27, 210, 211 }, { 39, 42, 192, 204 }, { 34, 35, 39, 204 }, { 35, 39, 49, 215 }, { 39, 40, 42, 208 }, { 39, 40, 49, 51 }, { 54, 55, 219, 325, 326, 327 }, { 60, 67, 70, 220 }, { 60, 61, 70, 82 }, { 60, 64, 67, 223 }, { 67, 70, 72, 73, 82, 223 }, { 81, 82, 86, 94 }, { 77, 79, 223, 224 }, { 79, 80, 82, 84, 86, 223 }, { 79, 86, 88, 89, 94, 224 }, { 94, 95, 101, 104 }, { 94, 104, 107, 232 }, { 81, 82, 94, 101 }, { 82, 101, 104, 106, 107 }, { 60, 82, 106, 235 }, { 106, 107, 236, 328 }, { 237, 238, 240, 241 }, { 238, 241, 243, 244 }, { 247, 248, 249, 251 }, { 24, 109, 248, 251 }, { 140, 248, 253, 254 }, { 24, 109, 248, 256 }, { 140, 248, 254, 256 }, { 140, 258, 259, 260 }, { 24, 258, 259, 263 }, { 110, 112, 258, 263 }, { 129, 140, 268, 278 }, { 123, 126, 129, 258, 267, 268 }, { 140, 258, 260, 267 }, { 2, 7, 110, 115, 119 }, { 7, 110, 121, 258 }, { 7, 123, 126, 129, 258 }, { 2, 7, 129, 130 }, { 269, 272, 329, 330 }, { 2, 110, 115, 119, 269, 272 }, { 24, 110, 263, 273 }, { 24, 133, 135, 138, 273, 275 }, { 129, 140, 142, 278 }, { 133, 140, 142, 281 }, { 10, 129, 133, 142 }, { 2, 10, 11, 129 }, { 2, 10, 133, 275 }, { 247, 284, 289, 291 }, { 284, 285, 287, 289 }, { 184, 284, 285, 306 }, { 146, 147, 247, 285, 289, 306 }, { 247, 284, 290, 291 }, { 140, 284, 290, 293 }, { 140, 247, 253, 290 }, { 17, 184, 284, 306 }, { 17, 140, 284, 296 }, { 157, 158, 161, 166, 299, 300, 301, 302, 331 }, { 161, 162, 166, 304, 305 }, { 133, 168, 173, 179 }, { 173, 179, 306, 307 }, { 133, 140, 174, 176 }, { 133, 168, 176, 179 }, { 21, 140, 176, 179 }, { 17, 140, 183, 306 }, { 179, 183, 306, 309, 310 }, { 21, 140, 179, 183 }, { 208, 247, 249, 251 }, { 24, 28, 208, 251 }, { 187, 208, 312, 332 }, { 40, 49, 187, 208 }, { 42, 191, 204, 208 }, { 191, 201, 202, 204, 314, 317, 318, 319, 323 }, { 31, 191, 208, 317 }, { 24, 27, 28, 208 }, { 27, 31, 208, 317 }, { 24, 27, 210, 317 }, { 39, 42, 204, 208 }, { 35, 39, 49, 204 }, { 39, 40, 49, 208 }, { 54, 55, 325, 333, 334, 335 }, { 60, 67, 70, 82, 223 }, { 79, 82, 86, 94, 223, 224 }, { 82, 94, 101, 104, 107 }, { 60, 82, 106, 107, 328 }, { 237, 238, 241, 244 }, { 24, 247, 248, 251 }, { 140, 247, 248, 253 }, { 24, 140, 248, 256 }, { 24, 140, 258, 259 }, { 24, 110, 258, 263 }, { 129, 140, 258, 267, 268 }, { 2, 7, 110, 129, 258 }, { 2, 110, 269, 272, 329 }, { 24, 110, 273, 329 }, { 24, 133, 273, 275, 329 }, { 2, 133, 275, 329 }, { 129, 133, 140, 142 }, { 2, 10, 129, 133 }, { 247, 284, 285, 289, 306 }, { 140, 247, 284, 290 }, { 17, 140, 284, 306 }, { 161, 166, 299, 300, 304, 305 }, { 133, 173, 179, 306 }, { 133, 140, 176, 179 }, { 140, 179, 183, 306 }, { 24, 208, 247, 251 }, { 49, 187, 208, 332 }, { 191, 204, 208, 317 }, { 24, 27, 208, 317 }, { 39, 49, 204, 208 }, { 94, 224, 333, 334, 335, 336 }, { 60, 82, 94, 223, 224 }, { 60, 82, 94, 107, 328 }, { 237, 241, 244, 337, 338, 339 }, { 24, 140, 247, 248 }, { 24, 110, 140, 258 }, { 2, 110, 129, 140, 258 }, { 2, 24, 110, 133, 329 }, { 2, 129, 133, 140 }, { 140, 247, 284, 306 }, { 247, 299, 300, 304, 305, 306 }, { 133, 140, 179, 306 }, { 24, 208, 247, 304 }, { 49, 208, 304, 332 }, { 24, 49, 204, 208, 317 }, { 60, 94, 224, 328, 336, 340 }, { 60, 237, 244, 337, 338, 341 }, { 24, 140, 247, 304 }, { 2, 24, 110, 133, 140 }, { 140, 247, 304, 305, 306 }, { 133, 140, 305, 306 }, { 24, 49, 208, 304 }, { 24, 49, 60, 133, 237, 328, 337, 340, 342 }, { 24, 133, 140, 304, 305 }, { 24, 49, 133, 237, 304, 305, 337, 342, 343 } ] /* Faces of top cells */ [ [ { 2, 3, 4, 5 }, { 1, 2, 4 }, { 1, 2, 3 }, { 1, 4, 5 }, { 1, 3, 5 } ], [ { 7, 8, 9 }, { 6, 8, 9 }, { 6, 7, 9 }, { 6, 7, 8 } ], [ { 11, 12, 13 }, { 10, 12, 13 }, { 10, 11, 13 }, { 10, 11, 12 } ], [ { 13, 14, 15 }, { 10, 13, 15 }, { 10, 13, 14 }, { 10, 14, 15 } ], [ { 17, 18, 19 }, { 16, 18, 19 }, { 16, 17, 19 }, { 16, 17, 18 } ], [ { 18, 21, 22 }, { 18, 20, 22 }, { 18, 20, 21 }, { 20, 21, 22 } ], [ { 24, 25, 26 }, { 23, 25, 26 }, { 23, 24, 26 }, { 23, 24, 25 } ], [ { 28, 29, 30 }, { 27, 29, 30 }, { 27, 28, 30 }, { 27, 28, 29 } ], [ { 28, 29, 32 }, { 29, 31, 32 }, { 28, 31, 32 }, { 28, 29, 31 } ], [ { 34, 35, 37 }, { 33, 35, 37 }, { 33, 34, 35, 36 }, { 33, 36, 37 }, { 34, 36, 37 } ], [ { 39, 40, 41 }, { 38, 40, 41 }, { 38, 39, 41 }, { 38, 39, 40 } ], [ { 39, 42, 43, 44 }, { 38, 42, 43 }, { 38, 39, 42 }, { 38, 43, 44 }, { 38, 39, 44 } ], [ { 40, 42, 45 }, { 38, 42, 45 }, { 38, 40, 42 }, { 38, 40, 45 } ], [ { 39, 40, 47 }, { 39, 46, 47, 48 }, { 39, 40, 46 }, { 40, 46, 48 }, { 40, 47, 48 } ], [ { 50, 51, 52 }, { 49, 51, 52 }, { 49, 50, 52 }, { 49, 50, 51 } ], [ { 50, 51, 53 }, { 40, 51, 53 }, { 40, 50, 53 }, { 40, 50, 51 } ], [ { 55, 56, 58 }, { 54, 55, 58, 59 }, { 54, 55, 56, 57 }, { 56, 57, 58, 59 }, { 54, 57, 59 } ], [ { 61, 62, 63 }, { 60, 62, 63 }, { 60, 61, 63 }, { 60, 61, 62 } ], [ { 64, 65, 66 }, { 60, 65, 66 }, { 60, 64, 66 }, { 60, 64, 65 } ], [ { 66, 67, 68 }, { 64, 66, 68 }, { 64, 66, 67 }, { 64, 67, 68 } ], [ { 67, 70, 71 }, { 69, 70, 71 }, { 67, 69, 71 }, { 67, 69, 70 } ], [ { 72, 74, 76 }, { 72, 73, 76 }, { 72, 73, 74, 75 }, { 74, 75, 76 }, { 73, 75, 76 } ], [ { 78, 79, 80 }, { 77, 79, 80 }, { 77, 78, 80 }, { 77, 78, 79 } ], [ { 82, 83, 84 }, { 81, 83, 84 }, { 81, 82, 84 }, { 81, 82, 83 } ], [ { 84, 85, 86 }, { 81, 84, 86 }, { 81, 84, 85 }, { 81, 85, 86 } ], [ { 88, 89, 90 }, { 87, 89, 90 }, { 87, 88, 90 }, { 87, 88, 89 } ], [ { 88, 89, 92, 93 }, { 88, 91, 92 }, { 88, 89, 91 }, { 91, 92, 93 }, { 89, 91, 93 } ], [ { 95, 96, 97 }, { 94, 96, 97 }, { 94, 95, 97 }, { 94, 95, 96 } ], [ { 95, 98, 99 }, { 94, 95, 99 }, { 94, 98, 99 }, { 94, 95, 98 } ], [ { 101, 102, 103 }, { 100, 102, 103 }, { 100, 101, 103, 104 }, { 100, 102, 104 }, { 101, 102, 104 } ], [ { 82, 103, 106 }, { 103, 105, 106 }, { 82, 103, 105 }, { 82, 105, 106 } ], [ { 106, 107, 108 }, { 100, 106, 108 }, { 100, 107, 108 }, { 100, 106, 107 } ], [ { 25, 26, 109 }, { 24, 25, 26 }, { 24, 26, 109 }, { 24, 25, 109 } ], [ { 111, 112, 113 }, { 110, 112, 113 }, { 110, 111, 113 }, { 110, 111, 112 } ], [ { 7, 8, 115 }, { 7, 8, 114 }, { 8, 114, 115 }, { 7, 114, 115 } ], [ { 7, 116, 117 }, { 114, 116, 117, 118 }, { 7, 114, 116 }, { 7, 114, 118 }, { 7, 117, 118 } ], [ { 7, 119, 120 }, { 7, 116, 120 }, { 116, 119, 120 }, { 7, 116, 119 } ], [ { 110, 120, 122 }, { 120, 121, 122 }, { 110, 120, 121 }, { 110, 121, 122 } ], [ { 7, 124, 125 }, { 7, 123, 125 }, { 123, 124, 125 }, { 7, 123, 124 } ], [ { 7, 127, 128 }, { 126, 127, 128 }, { 7, 126, 128 }, { 7, 126, 127 } ], [ { 2, 3, 4, 5 }, { 2, 4, 129 }, { 2, 3, 129 }, { 3, 5, 129 }, { 4, 5, 129 } ], [ { 7, 125, 131 }, { 125, 130, 131 }, { 7, 130, 131 }, { 7, 125, 130 } ], [ { 2, 4, 8 }, { 4, 8, 130 }, { 2, 4, 130 }, { 2, 8, 130 } ], [ { 6, 7, 8 }, { 7, 8, 130 }, { 6, 8, 130 }, { 6, 7, 130 } ], [ { 133, 134, 135 }, { 132, 134, 135 }, { 132, 133, 135 }, { 132, 133, 134 } ], [ { 136, 137, 138 }, { 24, 137, 138 }, { 24, 136, 138 }, { 24, 136, 137 } ], [ { 140, 141, 142 }, { 139, 141, 142 }, { 139, 140, 142 }, { 139, 140, 141 } ], [ { 11, 12, 143 }, { 10, 12, 143 }, { 10, 11, 143 }, { 10, 11, 12 } ], [ { 11, 144, 145 }, { 2, 11, 145 }, { 2, 144, 145 }, { 2, 11, 144 } ], [ { 11, 13, 15 }, { 10, 13, 15 }, { 10, 11, 13 }, { 10, 11, 15 } ], [ { 11, 15, 144 }, { 2, 11, 15 }, { 2, 15, 144 }, { 2, 11, 144 } ], [ { 146, 148, 150 }, { 146, 147, 150 }, { 146, 147, 148, 149 }, { 147, 149, 150 }, { 148, 149, 150 } ], [ { 152, 153, 154, 155 }, { 151, 153, 154, 156 }, { 151, 154, 155 }, { 151, 152, 155, 156 }, { 152, 153, 156 } ], [ { 157, 158, 159 }, { 151, 157, 159 }, { 151, 154, 157, 158 }, { 154, 158, 159 }, { 151, 154, 159 } ], [ { 161, 162, 163 }, { 160, 162, 163 }, { 160, 161, 163 }, { 160, 161, 162 } ], [ { 160, 162, 165 }, { 162, 164, 165 }, { 160, 162, 164 }, { 160, 164, 165 } ], [ { 162, 165, 167 }, { 162, 166, 167 }, { 165, 166, 167 }, { 162, 165, 166 } ], [ { 168, 169, 170 }, { 133, 169, 170 }, { 133, 168, 170 }, { 133, 168, 169 } ], [ { 170, 171, 172 }, { 168, 170, 172 }, { 168, 171, 172, 173 }, { 170, 171, 173 }, { 168, 170, 173 } ], [ { 168, 169, 174 }, { 133, 169, 174 }, { 133, 168, 174 }, { 133, 168, 169 } ], [ { 168, 176, 177 }, { 168, 175, 177, 178 }, { 168, 175, 176 }, { 176, 177, 178 }, { 175, 176, 178 } ], [ { 175, 176, 178 }, { 175, 178, 179, 180 }, { 175, 176, 179 }, { 176, 178, 180 }, { 176, 179, 180 } ], [ { 176, 179, 182 }, { 176, 181, 182 }, { 179, 180, 181, 182 }, { 176, 180, 181 }, { 176, 179, 180 } ], [ { 17, 184, 185 }, { 183, 184, 185 }, { 17, 183, 185 }, { 17, 183, 184 } ], [ { 17, 18, 183 }, { 16, 17, 18 }, { 16, 18, 183 }, { 16, 17, 183 } ], [ { 18, 21, 22 }, { 18, 22, 140 }, { 18, 21, 140 }, { 21, 22, 140 } ], [ { 186, 187, 188 }, { 40, 186, 188, 189 }, { 40, 186, 187 }, { 40, 187, 189 }, { 187, 188, 189 } ], [ { 50, 187, 190 }, { 40, 50, 190 }, { 40, 187, 190 }, { 40, 50, 187 } ], [ { 42, 192, 193 }, { 191, 192, 193 }, { 42, 191, 193 }, { 42, 191, 192 } ], [ { 195, 196, 197 }, { 194, 196, 197, 198 }, { 194, 195, 197, 199 }, { 195, 196, 198, 199 }, { 194, 198, 199 } ], [ { 201, 202, 203 }, { 200, 202, 203 }, { 200, 201, 203 }, { 200, 201, 202 } ], [ { 191, 204, 205 }, { 191, 200, 205 }, { 200, 204, 205 }, { 191, 200, 204 } ], [ { 191, 195, 197, 201 }, { 191, 195, 200 }, { 191, 200, 201 }, { 197, 200, 201 }, { 195, 197, 200 } ], [ { 31, 191, 207 }, { 191, 206, 207 }, { 31, 206, 207 }, { 31, 191, 206 } ], [ { 24, 26, 28 }, { 23, 26, 28 }, { 23, 24, 26 }, { 23, 24, 28 } ], [ { 28, 31, 209 }, { 28, 31, 208 }, { 28, 208, 209 }, { 31, 208, 209 } ], [ { 28, 29, 31 }, { 27, 28, 29 }, { 27, 29, 31 }, { 27, 28, 31 } ], [ { 210, 211, 212 }, { 27, 211, 212 }, { 27, 210, 212 }, { 27, 210, 211 } ], [ { 34, 35, 204 }, { 33, 34, 35, 36 }, { 33, 35, 204, 213 }, { 34, 36, 204, 213 }, { 33, 36, 213 } ], [ { 35, 214, 215 }, { 35, 39, 215 }, { 35, 39, 214 }, { 39, 214, 215 } ], [ { 40, 42, 189 }, { 42, 189, 208 }, { 40, 189, 208 }, { 40, 42, 208 } ], [ { 39, 40, 42 }, { 38, 40, 42 }, { 38, 39, 42 }, { 38, 39, 40 } ], [ { 49, 51, 216, 217 }, { 39, 51, 216, 218 }, { 39, 49, 51 }, { 39, 49, 217, 218 }, { 216, 217, 218 } ], [ { 39, 40, 51 }, { 39, 46, 51, 53 }, { 39, 40, 46 }, { 40, 51, 53 }, { 40, 46, 53 } ], [ { 40, 50, 51 }, { 49, 50, 51 }, { 40, 49, 51 }, { 40, 49, 50 } ], [ { 54, 55, 58, 59 }, { 55, 58, 219 }, { 54, 55, 219 }, { 54, 59, 219 }, { 58, 59, 219 } ], [ { 70, 220, 221 }, { 67, 70, 221, 222 }, { 67, 70, 220 }, { 67, 220, 222 }, { 220, 221, 222 } ], [ { 61, 62, 82 }, { 60, 62, 82 }, { 60, 61, 82 }, { 60, 61, 62 } ], [ { 61, 63, 70 }, { 60, 63, 70 }, { 60, 61, 63 }, { 60, 61, 70 } ], [ { 64, 65, 223 }, { 60, 65, 223 }, { 60, 64, 223 }, { 60, 64, 65 } ], [ { 64, 66, 67 }, { 60, 66, 67 }, { 60, 64, 66 }, { 60, 64, 67 } ], [ { 67, 70, 72, 73 }, { 67, 69, 72 }, { 67, 69, 70 }, { 69, 70, 73 }, { 69, 72, 73 } ], [ { 72, 74, 223 }, { 74, 75, 82, 223 }, { 72, 73, 82, 223 }, { 72, 73, 74, 75 }, { 73, 75, 82 } ], [ { 86, 94, 96 }, { 81, 86, 96 }, { 81, 94, 96 }, { 81, 86, 94 } ], [ { 77, 79, 225 }, { 79, 224, 225 }, { 77, 224, 225 }, { 77, 79, 224 } ], [ { 79, 80, 223 }, { 77, 79, 80 }, { 77, 80, 223 }, { 77, 79, 223 } ], [ { 82, 84, 86 }, { 81, 84, 86 }, { 81, 82, 84 }, { 81, 82, 86 } ], [ { 82, 223, 227 }, { 80, 223, 226, 227 }, { 82, 84, 226, 227 }, { 80, 82, 84, 223 }, { 80, 84, 226 } ], [ { 86, 89, 228 }, { 89, 94, 228 }, { 86, 94, 228 }, { 86, 89, 94 } ], [ { 79, 86, 88, 89 }, { 79, 87, 88 }, { 79, 86, 87 }, { 87, 88, 89 }, { 86, 87, 89 } ], [ { 88, 89, 94, 224 }, { 88, 91, 224 }, { 91, 94, 224 }, { 88, 89, 91 }, { 89, 91, 94 } ], [ { 79, 88, 229 }, { 88, 224, 229 }, { 79, 224, 229 }, { 79, 88, 224 } ], [ { 94, 95, 96 }, { 95, 96, 101 }, { 94, 96, 101 }, { 94, 95, 101 } ], [ { 95, 104, 230 }, { 101, 104, 230, 231 }, { 95, 101, 104 }, { 95, 230, 231 }, { 95, 101, 231 } ], [ { 95, 98, 104 }, { 94, 95, 104 }, { 94, 95, 98 }, { 94, 98, 104 } ], [ { 104, 232, 233 }, { 104, 107, 233 }, { 107, 232, 233 }, { 104, 107, 232 } ], [ { 81, 82, 234 }, { 82, 101, 234 }, { 81, 101, 234 }, { 81, 82, 101 } ], [ { 104, 106, 107 }, { 100, 104, 106 }, { 100, 104, 107 }, { 100, 106, 107 } ], [ { 101, 103, 106 }, { 100, 103, 106 }, { 100, 101, 103, 104 }, { 100, 104, 106 }, { 101, 104, 106 } ], [ { 82, 103, 106 }, { 101, 103, 106 }, { 82, 101, 103 }, { 82, 101, 106 } ], [ { 82, 106, 235 }, { 82, 105, 106 }, { 105, 106, 235 }, { 82, 105, 235 } ], [ { 106, 107, 108 }, { 106, 108, 236 }, { 107, 108, 236 }, { 106, 107, 236 } ], [ { 238, 239, 240 }, { 237, 239, 240 }, { 237, 238, 240 }, { 237, 238, 239 } ], [ { 240, 241, 242 }, { 238, 240, 242 }, { 238, 241, 242 }, { 238, 240, 241 } ], [ { 238, 244, 245 }, { 238, 243, 245 }, { 243, 244, 245 }, { 238, 243, 244 } ], [ { 238, 241, 246 }, { 241, 243, 246 }, { 238, 243, 246 }, { 238, 241, 243 } ], [ { 248, 249, 250 }, { 247, 249, 250 }, { 247, 248, 250 }, { 247, 248, 249 } ], [ { 24, 26, 109 }, { 26, 109, 251 }, { 24, 26, 251 }, { 24, 109, 251 } ], [ { 109, 248, 252 }, { 248, 251, 252 }, { 109, 248, 251 }, { 109, 251, 252 } ], [ { 253, 254, 255 }, { 140, 254, 255 }, { 140, 253, 255 }, { 140, 253, 254 } ], [ { 248, 252, 256 }, { 109, 248, 256 }, { 109, 252, 256 }, { 109, 248, 252 } ], [ { 254, 256, 257 }, { 248, 256, 257 }, { 248, 254, 257 }, { 248, 254, 256 } ], [ { 259, 260, 261 }, { 258, 260, 261 }, { 258, 259, 261 }, { 258, 259, 260 } ], [ { 259, 260, 262 }, { 140, 259, 260 }, { 140, 260, 262 }, { 140, 259, 262 } ], [ { 112, 263, 264 }, { 112, 258, 264 }, { 258, 263, 264 }, { 112, 258, 263 } ], [ { 110, 112, 113 }, { 112, 113, 258 }, { 110, 113, 258 }, { 110, 112, 258 } ], [ { 110, 112, 265 }, { 112, 263, 265 }, { 110, 263, 265 }, { 110, 112, 263 } ], [ { 123, 126, 267, 268 }, { 123, 126, 266 }, { 126, 266, 267 }, { 123, 266, 268 }, { 266, 267, 268 } ], [ { 7, 8, 115 }, { 2, 7, 8 }, { 2, 8, 115 }, { 2, 7, 115 } ], [ { 7, 116, 119 }, { 7, 114, 116 }, { 114, 115, 116, 119 }, { 7, 114, 115 }, { 7, 115, 119 } ], [ { 7, 119, 120 }, { 7, 110, 120 }, { 110, 119, 120 }, { 7, 110, 119 } ], [ { 110, 121, 122 }, { 110, 122, 258 }, { 121, 122, 258 }, { 110, 121, 258 } ], [ { 7, 121, 128 }, { 7, 128, 258 }, { 121, 128, 258 }, { 7, 121, 258 } ], [ { 7, 110, 120 }, { 7, 120, 121 }, { 110, 120, 121 }, { 7, 110, 121 } ], [ { 7, 123, 125 }, { 7, 125, 129 }, { 123, 125, 129 }, { 7, 123, 129 } ], [ { 7, 126, 128 }, { 7, 128, 258 }, { 126, 128, 258 }, { 7, 126, 258 } ], [ { 2, 4, 130 }, { 2, 4, 129 }, { 4, 129, 130 }, { 2, 129, 130 } ], [ { 7, 125, 130 }, { 7, 125, 129 }, { 125, 129, 130 }, { 7, 129, 130 } ], [ { 2, 7, 8 }, { 7, 8, 130 }, { 2, 8, 130 }, { 2, 7, 130 } ], [ { 115, 269, 270 }, { 2, 115, 270 }, { 2, 269, 270 }, { 2, 115, 269 } ], [ { 115, 119, 269, 272 }, { 119, 271, 272 }, { 269, 271, 272 }, { 115, 269, 271 }, { 115, 119, 271 } ], [ { 263, 273, 274 }, { 24, 263, 274 }, { 24, 273, 274 }, { 24, 263, 273 } ], [ { 134, 135, 275 }, { 133, 135, 275 }, { 133, 134, 275 }, { 133, 134, 135 } ], [ { 24, 138, 276 }, { 24, 133, 135, 138 }, { 24, 133, 276, 277 }, { 135, 138, 276, 277 }, { 133, 135, 277 } ], [ { 137, 138, 273 }, { 24, 138, 273 }, { 24, 137, 273 }, { 24, 137, 138 } ], [ { 142, 278, 279 }, { 129, 278, 279 }, { 129, 142, 279 }, { 129, 142, 278 } ], [ { 140, 142, 278 }, { 139, 142, 278 }, { 139, 140, 278 }, { 139, 140, 142 } ], [ { 142, 280, 281 }, { 133, 142, 281 }, { 133, 280, 281 }, { 133, 142, 280 } ], [ { 141, 142, 281 }, { 140, 142, 281 }, { 140, 141, 281 }, { 140, 141, 142 } ], [ { 10, 142, 279 }, { 129, 142, 279 }, { 10, 129, 279 }, { 10, 129, 142 } ], [ { 10, 142, 282 }, { 10, 133, 142 }, { 133, 142, 282 }, { 10, 133, 282 } ], [ { 10, 11, 143 }, { 11, 129, 143 }, { 10, 129, 143 }, { 10, 11, 129 } ], [ { 2, 11, 145 }, { 11, 129, 145 }, { 2, 129, 145 }, { 2, 11, 129 } ], [ { 2, 11, 15 }, { 10, 11, 15 }, { 2, 10, 15 }, { 2, 10, 11 } ], [ { 10, 275, 283 }, { 10, 133, 283 }, { 10, 133, 275 }, { 133, 275, 283 } ], [ { 285, 286, 287 }, { 284, 286, 287 }, { 284, 285, 287 }, { 284, 285, 286 } ], [ { 184, 285, 288 }, { 184, 284, 288 }, { 284, 285, 288 }, { 184, 284, 285 } ], [ { 146, 148, 285 }, { 146, 147, 148, 149 }, { 146, 147, 285, 289 }, { 148, 149, 285, 289 }, { 147, 149, 289 } ], [ { 290, 291, 292 }, { 284, 291, 292 }, { 284, 290, 292 }, { 284, 290, 291 } ], [ { 290, 293, 294 }, { 284, 290, 294 }, { 284, 293, 294 }, { 284, 290, 293 } ], [ { 140, 290, 295 }, { 140, 293, 295 }, { 290, 293, 295 }, { 140, 290, 293 } ], [ { 253, 290, 291 }, { 247, 253, 291 }, { 247, 290, 291 }, { 247, 253, 290 } ], [ { 140, 253, 255 }, { 253, 255, 290 }, { 140, 255, 290 }, { 140, 253, 290 } ], [ { 17, 184, 288 }, { 184, 284, 288 }, { 17, 284, 288 }, { 17, 184, 284 } ], [ { 17, 296, 297 }, { 17, 284, 297 }, { 284, 296, 297 }, { 17, 284, 296 } ], [ { 17, 140, 298 }, { 17, 296, 298 }, { 140, 296, 298 }, { 17, 140, 296 } ], [ { 157, 158, 299, 300, 301, 302 }, { 151, 157, 301 }, { 151, 154, 157, 158 }, { 151, 155, 301, 302 }, { 154, 158, 299 }, { 154, 155, 299, 300 }, { 155, 300, 302 }, { 151, 154, 155 } ], [ { 161, 162, 166 }, { 161, 162, 303 }, { 162, 166, 303 }, { 161, 166, 303 } ], [ { 160, 161, 162 }, { 161, 162, 304 }, { 160, 162, 304 }, { 160, 161, 304 } ], [ { 160, 162, 304 }, { 162, 304, 305 }, { 160, 165, 304, 305 }, { 160, 162, 165 }, { 162, 165, 305 } ], [ { 162, 165, 166 }, { 162, 165, 305 }, { 162, 166, 305 }, { 165, 166, 305 } ], [ { 168, 170, 173 }, { 133, 170, 173 }, { 133, 168, 173 }, { 133, 168, 170 } ], [ { 173, 175, 179 }, { 168, 173, 179 }, { 168, 173, 175 }, { 168, 175, 179 } ], [ { 179, 307, 308 }, { 306, 307, 308 }, { 179, 306, 308 }, { 179, 306, 307 } ], [ { 168, 174, 176 }, { 133, 174, 176 }, { 133, 168, 174 }, { 133, 168, 176 } ], [ { 175, 176, 179 }, { 168, 176, 179 }, { 168, 175, 176 }, { 168, 175, 179 } ], [ { 21, 174, 176 }, { 140, 174, 176 }, { 21, 140, 174 }, { 21, 140, 176 } ], [ { 176, 179, 182 }, { 21, 176, 182 }, { 21, 179, 182 }, { 21, 176, 179 } ], [ { 17, 183, 184 }, { 17, 184, 306 }, { 183, 184, 306 }, { 17, 183, 306 } ], [ { 17, 18, 183 }, { 17, 18, 140 }, { 18, 140, 183 }, { 17, 140, 183 } ], [ { 183, 184, 309 }, { 184, 306, 309 }, { 183, 306, 309 }, { 183, 184, 306 } ], [ { 179, 306, 308 }, { 179, 308, 310, 311 }, { 179, 306, 309, 310 }, { 306, 308, 309, 311 }, { 309, 310, 311 } ], [ { 18, 21, 183 }, { 18, 21, 140 }, { 18, 140, 183 }, { 21, 140, 183 } ], [ { 21, 179, 182 }, { 179, 182, 183 }, { 21, 182, 183 }, { 21, 179, 183 } ], [ { 28, 208, 209 }, { 28, 209, 251 }, { 28, 208, 251 }, { 208, 209, 251 } ], [ { 24, 26, 28 }, { 26, 28, 251 }, { 24, 26, 251 }, { 24, 28, 251 } ], [ { 187, 312, 313 }, { 208, 312, 313 }, { 187, 208, 313 }, { 187, 208, 312 } ], [ { 40, 187, 189 }, { 187, 189, 208 }, { 40, 189, 208 }, { 40, 187, 208 } ], [ { 40, 50, 187 }, { 49, 50, 187 }, { 40, 49, 50 }, { 40, 49, 187 } ], [ { 42, 191, 192 }, { 42, 192, 204 }, { 191, 192, 204 }, { 42, 191, 204 } ], [ { 191, 195, 196, 314 }, { 191, 201, 314 }, { 191, 195, 197, 201 }, { 196, 197, 201, 314 }, { 195, 196, 197 } ], [ { 204, 315, 316, 317, 321, 322 }, { 202, 204, 317, 318, 319, 323 }, { 315, 317, 318 }, { 202, 316, 319, 320, 321, 324 }, { 315, 318, 320, 322, 323, 324 }, { 202, 204, 321 }, { 319, 320, 323 }, { 316, 322, 324 } ], [ { 191, 201, 202, 204 }, { 191, 200, 201 }, { 191, 200, 204 }, { 200, 201, 202 }, { 200, 202, 204 } ], [ { 31, 191, 317 }, { 191, 206, 317 }, { 31, 191, 206 }, { 31, 206, 317 } ], [ { 24, 27, 28 }, { 23, 27, 28 }, { 23, 24, 28 }, { 23, 24, 27 } ], [ { 27, 28, 31 }, { 28, 31, 208 }, { 27, 28, 208 }, { 27, 31, 208 } ], [ { 27, 210, 211 }, { 24, 210, 211 }, { 24, 27, 211 }, { 24, 27, 210 } ], [ { 39, 42, 192 }, { 42, 192, 204 }, { 39, 192, 204 }, { 39, 42, 204 } ], [ { 34, 35, 39 }, { 34, 35, 204 }, { 35, 39, 204 }, { 34, 39, 204 } ], [ { 35, 49, 215 }, { 35, 39, 215 }, { 35, 39, 49 }, { 39, 49, 215 } ], [ { 39, 40, 42 }, { 40, 42, 208 }, { 39, 42, 208 }, { 39, 40, 208 } ], [ { 40, 49, 51 }, { 39, 40, 51 }, { 39, 49, 51 }, { 39, 40, 49 } ], [ { 54, 55, 325 }, { 54, 55, 219 }, { 54, 219, 326 }, { 54, 325, 326 }, { 55, 219, 327 }, { 219, 326, 327 }, { 325, 326, 327 }, { 55, 325, 327 } ], [ { 67, 70, 220 }, { 60, 70, 220 }, { 60, 67, 220 }, { 60, 67, 70 } ], [ { 61, 70, 82 }, { 60, 70, 82 }, { 60, 61, 70 }, { 60, 61, 82 } ], [ { 64, 67, 223 }, { 60, 67, 223 }, { 60, 64, 67 }, { 60, 64, 223 } ], [ { 67, 72, 223 }, { 72, 73, 82, 223 }, { 67, 70, 82, 223 }, { 67, 70, 72, 73 }, { 70, 73, 82 } ], [ { 82, 86, 94 }, { 81, 82, 86 }, { 81, 86, 94 }, { 81, 82, 94 } ], [ { 77, 79, 223 }, { 79, 223, 224 }, { 77, 79, 224 }, { 77, 223, 224 } ], [ { 80, 82, 84, 223 }, { 79, 82, 86, 223 }, { 82, 84, 86 }, { 79, 80, 84, 86 }, { 79, 80, 223 } ], [ { 79, 88, 224 }, { 88, 89, 94, 224 }, { 79, 86, 94, 224 }, { 79, 86, 88, 89 }, { 86, 89, 94 } ], [ { 94, 95, 104 }, { 95, 101, 104 }, { 94, 95, 101 }, { 94, 101, 104 } ], [ { 94, 104, 232 }, { 104, 107, 232 }, { 94, 104, 107 }, { 94, 107, 232 } ], [ { 81, 82, 94 }, { 82, 94, 101 }, { 81, 82, 101 }, { 81, 94, 101 } ], [ { 82, 101, 106 }, { 82, 106, 107 }, { 82, 101, 104, 107 }, { 101, 104, 106 }, { 104, 106, 107 } ], [ { 82, 106, 235 }, { 60, 82, 106 }, { 60, 106, 235 }, { 60, 82, 235 } ], [ { 106, 107, 328 }, { 106, 236, 328 }, { 106, 107, 236 }, { 107, 236, 328 } ], [ { 238, 240, 241 }, { 237, 240, 241 }, { 237, 238, 240 }, { 237, 238, 241 } ], [ { 238, 241, 244 }, { 238, 241, 243 }, { 241, 243, 244 }, { 238, 243, 244 } ], [ { 247, 248, 249 }, { 248, 249, 251 }, { 247, 249, 251 }, { 247, 248, 251 } ], [ { 24, 109, 248 }, { 109, 248, 251 }, { 24, 248, 251 }, { 24, 109, 251 } ], [ { 248, 253, 254 }, { 140, 248, 254 }, { 140, 253, 254 }, { 140, 248, 253 } ], [ { 109, 248, 256 }, { 24, 248, 256 }, { 24, 109, 256 }, { 24, 109, 248 } ], [ { 248, 254, 256 }, { 140, 254, 256 }, { 140, 248, 256 }, { 140, 248, 254 } ], [ { 140, 259, 260 }, { 258, 259, 260 }, { 140, 258, 260 }, { 140, 258, 259 } ], [ { 258, 259, 263 }, { 24, 259, 263 }, { 24, 258, 259 }, { 24, 258, 263 } ], [ { 110, 112, 263 }, { 110, 112, 258 }, { 112, 258, 263 }, { 110, 258, 263 } ], [ { 140, 268, 278 }, { 129, 268, 278 }, { 129, 140, 278 }, { 129, 140, 268 } ], [ { 126, 258, 267 }, { 129, 258, 267, 268 }, { 123, 126, 129, 258 }, { 123, 126, 267, 268 }, { 123, 129, 268 } ], [ { 140, 260, 267 }, { 258, 260, 267 }, { 140, 258, 260 }, { 140, 258, 267 } ], [ { 7, 110, 119 }, { 2, 7, 110 }, { 2, 110, 115, 119 }, { 7, 115, 119 }, { 2, 7, 115 } ], [ { 7, 110, 121 }, { 7, 110, 258 }, { 7, 121, 258 }, { 110, 121, 258 } ], [ { 7, 126, 258 }, { 7, 129, 258 }, { 123, 126, 129, 258 }, { 7, 123, 129 }, { 7, 123, 126 } ], [ { 2, 7, 130 }, { 2, 7, 129 }, { 7, 129, 130 }, { 2, 129, 130 } ], [ { 269, 272, 330 }, { 269, 329, 330 }, { 272, 329, 330 }, { 269, 272, 329 } ], [ { 115, 119, 269, 272 }, { 2, 110, 269, 272 }, { 110, 119, 272 }, { 2, 110, 115, 119 }, { 2, 115, 269 } ], [ { 110, 263, 273 }, { 24, 110, 263 }, { 24, 110, 273 }, { 24, 263, 273 } ], [ { 24, 138, 273 }, { 24, 133, 273, 275 }, { 24, 133, 135, 138 }, { 135, 138, 273, 275 }, { 133, 135, 275 } ], [ { 140, 142, 278 }, { 129, 142, 278 }, { 129, 140, 278 }, { 129, 140, 142 } ], [ { 140, 142, 281 }, { 133, 142, 281 }, { 133, 140, 281 }, { 133, 140, 142 } ], [ { 10, 133, 142 }, { 10, 129, 142 }, { 129, 133, 142 }, { 10, 129, 133 } ], [ { 2, 10, 11 }, { 2, 11, 129 }, { 10, 11, 129 }, { 2, 10, 129 } ], [ { 2, 10, 275 }, { 2, 10, 133 }, { 2, 133, 275 }, { 10, 133, 275 } ], [ { 247, 289, 291 }, { 284, 289, 291 }, { 247, 284, 291 }, { 247, 284, 289 } ], [ { 285, 287, 289 }, { 284, 287, 289 }, { 284, 285, 287 }, { 284, 285, 289 } ], [ { 184, 285, 306 }, { 184, 284, 285 }, { 184, 284, 306 }, { 284, 285, 306 } ], [ { 146, 285, 306 }, { 247, 285, 289, 306 }, { 146, 147, 247, 306 }, { 146, 147, 285, 289 }, { 147, 247, 289 } ], [ { 247, 290, 291 }, { 284, 290, 291 }, { 247, 284, 291 }, { 247, 284, 290 } ], [ { 140, 290, 293 }, { 140, 284, 290 }, { 140, 284, 293 }, { 284, 290, 293 } ], [ { 140, 253, 290 }, { 140, 247, 253 }, { 247, 253, 290 }, { 140, 247, 290 } ], [ { 17, 184, 306 }, { 17, 184, 284 }, { 184, 284, 306 }, { 17, 284, 306 } ], [ { 17, 140, 296 }, { 17, 140, 284 }, { 17, 284, 296 }, { 140, 284, 296 } ], [ { 161, 166, 299, 300 }, { 161, 166, 331 }, { 166, 301, 302, 331 }, { 157, 158, 299, 300, 301, 302 }, { 157, 301, 331 }, { 157, 158, 161, 331 }, { 158, 161, 299 }, { 166, 300, 302 } ], [ { 162, 166, 305 }, { 162, 304, 305 }, { 161, 166, 304, 305 }, { 161, 162, 304 }, { 161, 162, 166 } ], [ { 168, 173, 179 }, { 133, 173, 179 }, { 133, 168, 173 }, { 133, 168, 179 } ], [ { 173, 179, 307 }, { 173, 306, 307 }, { 173, 179, 306 }, { 179, 306, 307 } ], [ { 140, 174, 176 }, { 133, 174, 176 }, { 133, 140, 174 }, { 133, 140, 176 } ], [ { 168, 176, 179 }, { 133, 176, 179 }, { 133, 168, 176 }, { 133, 168, 179 } ], [ { 21, 176, 179 }, { 140, 176, 179 }, { 21, 140, 176 }, { 21, 140, 179 } ], [ { 17, 140, 183 }, { 17, 183, 306 }, { 17, 140, 306 }, { 140, 183, 306 } ], [ { 179, 183, 306 }, { 179, 183, 310 }, { 179, 306, 309, 310 }, { 183, 309, 310 }, { 183, 306, 309 } ], [ { 21, 179, 183 }, { 21, 140, 179 }, { 140, 179, 183 }, { 21, 140, 183 } ], [ { 208, 247, 249 }, { 247, 249, 251 }, { 208, 249, 251 }, { 208, 247, 251 } ], [ { 24, 28, 208 }, { 24, 28, 251 }, { 28, 208, 251 }, { 24, 208, 251 } ], [ { 187, 208, 312 }, { 187, 312, 332 }, { 208, 312, 332 }, { 187, 208, 332 } ], [ { 40, 49, 187 }, { 40, 187, 208 }, { 49, 187, 208 }, { 40, 49, 208 } ], [ { 42, 191, 208 }, { 42, 191, 204 }, { 42, 204, 208 }, { 191, 204, 208 } ], [ { 191, 201, 202, 204 }, { 191, 204, 317 }, { 191, 314, 317, 318 }, { 202, 204, 317, 318, 319, 323 }, { 191, 201, 314 }, { 201, 314, 319, 323 }, { 201, 202, 319 }, { 314, 318, 323 } ], [ { 31, 191, 317 }, { 191, 208, 317 }, { 31, 191, 208 }, { 31, 208, 317 } ], [ { 24, 27, 28 }, { 27, 28, 208 }, { 24, 28, 208 }, { 24, 27, 208 } ], [ { 27, 31, 317 }, { 31, 208, 317 }, { 27, 208, 317 }, { 27, 31, 208 } ], [ { 27, 210, 317 }, { 24, 210, 317 }, { 24, 27, 317 }, { 24, 27, 210 } ], [ { 39, 42, 208 }, { 39, 42, 204 }, { 42, 204, 208 }, { 39, 204, 208 } ], [ { 35, 39, 49 }, { 35, 49, 204 }, { 35, 39, 204 }, { 39, 49, 204 } ], [ { 39, 40, 49 }, { 40, 49, 208 }, { 39, 40, 208 }, { 39, 49, 208 } ], [ { 54, 55, 334, 335 }, { 333, 334, 335 }, { 54, 325, 333, 335 }, { 55, 325, 333, 334 }, { 54, 55, 325 } ], [ { 67, 70, 82, 223 }, { 60, 67, 223 }, { 60, 82, 223 }, { 60, 70, 82 }, { 60, 67, 70 } ], [ { 79, 86, 94, 224 }, { 82, 94, 223, 224 }, { 79, 82, 86, 223 }, { 79, 223, 224 }, { 82, 86, 94 } ], [ { 82, 94, 101 }, { 82, 94, 107 }, { 82, 101, 104, 107 }, { 94, 104, 107 }, { 94, 101, 104 } ], [ { 106, 107, 328 }, { 60, 106, 328 }, { 60, 82, 107, 328 }, { 60, 82, 106 }, { 82, 106, 107 } ], [ { 238, 241, 244 }, { 237, 238, 241 }, { 237, 241, 244 }, { 237, 238, 244 } ], [ { 24, 247, 248 }, { 24, 248, 251 }, { 247, 248, 251 }, { 24, 247, 251 } ], [ { 140, 248, 253 }, { 247, 248, 253 }, { 140, 247, 248 }, { 140, 247, 253 } ], [ { 140, 248, 256 }, { 24, 248, 256 }, { 24, 140, 256 }, { 24, 140, 248 } ], [ { 140, 258, 259 }, { 24, 140, 259 }, { 24, 258, 259 }, { 24, 140, 258 } ], [ { 110, 258, 263 }, { 24, 110, 263 }, { 24, 110, 258 }, { 24, 258, 263 } ], [ { 140, 258, 267 }, { 129, 258, 267, 268 }, { 129, 140, 258 }, { 140, 267, 268 }, { 129, 140, 268 } ], [ { 2, 7, 129 }, { 7, 129, 258 }, { 2, 110, 129, 258 }, { 7, 110, 258 }, { 2, 7, 110 } ], [ { 2, 110, 269, 272 }, { 2, 269, 329 }, { 269, 272, 329 }, { 2, 110, 329 }, { 110, 272, 329 } ], [ { 24, 110, 273 }, { 110, 273, 329 }, { 24, 110, 329 }, { 24, 273, 329 } ], [ { 24, 133, 273, 275 }, { 24, 273, 329 }, { 24, 133, 329 }, { 273, 275, 329 }, { 133, 275, 329 } ], [ { 2, 133, 275 }, { 2, 275, 329 }, { 2, 133, 329 }, { 133, 275, 329 } ], [ { 133, 140, 142 }, { 129, 140, 142 }, { 129, 133, 142 }, { 129, 133, 140 } ], [ { 2, 10, 133 }, { 2, 10, 129 }, { 2, 129, 133 }, { 10, 129, 133 } ], [ { 247, 285, 289, 306 }, { 284, 285, 306 }, { 247, 284, 306 }, { 284, 285, 289 }, { 247, 284, 289 } ], [ { 140, 247, 290 }, { 140, 284, 290 }, { 140, 247, 284 }, { 247, 284, 290 } ], [ { 17, 140, 306 }, { 17, 140, 284 }, { 17, 284, 306 }, { 140, 284, 306 } ], [ { 161, 166, 304, 305 }, { 299, 300, 304, 305 }, { 166, 300, 305 }, { 161, 166, 299, 300 }, { 161, 299, 304 } ], [ { 173, 179, 306 }, { 133, 173, 179 }, { 133, 173, 306 }, { 133, 179, 306 } ], [ { 140, 176, 179 }, { 133, 176, 179 }, { 133, 140, 176 }, { 133, 140, 179 } ], [ { 140, 179, 183 }, { 179, 183, 306 }, { 140, 179, 306 }, { 140, 183, 306 } ], [ { 24, 208, 247 }, { 24, 247, 251 }, { 24, 208, 251 }, { 208, 247, 251 } ], [ { 49, 187, 208 }, { 49, 187, 332 }, { 187, 208, 332 }, { 49, 208, 332 } ], [ { 191, 208, 317 }, { 191, 204, 317 }, { 191, 204, 208 }, { 204, 208, 317 } ], [ { 24, 27, 317 }, { 27, 208, 317 }, { 24, 208, 317 }, { 24, 27, 208 } ], [ { 39, 49, 208 }, { 39, 49, 204 }, { 49, 204, 208 }, { 39, 204, 208 } ], [ { 224, 333, 334, 336 }, { 94, 224, 336 }, { 94, 333, 335, 336 }, { 94, 224, 334, 335 }, { 333, 334, 335 } ], [ { 82, 94, 223, 224 }, { 60, 82, 94 }, { 60, 94, 224 }, { 60, 223, 224 }, { 60, 82, 223 } ], [ { 94, 107, 328 }, { 60, 94, 328 }, { 60, 82, 107, 328 }, { 60, 82, 94 }, { 82, 94, 107 } ], [ { 237, 241, 244 }, { 237, 241, 337, 339 }, { 237, 244, 337, 338 }, { 241, 244, 338, 339 }, { 337, 338, 339 } ], [ { 24, 140, 248 }, { 140, 247, 248 }, { 24, 247, 248 }, { 24, 140, 247 } ], [ { 110, 140, 258 }, { 24, 110, 140 }, { 24, 110, 258 }, { 24, 140, 258 } ], [ { 2, 129, 140 }, { 2, 110, 129, 258 }, { 129, 140, 258 }, { 110, 140, 258 }, { 2, 110, 140 } ], [ { 2, 24, 110, 133 }, { 2, 133, 329 }, { 24, 133, 329 }, { 24, 110, 329 }, { 2, 110, 329 } ], [ { 2, 133, 140 }, { 2, 129, 140 }, { 2, 129, 133 }, { 129, 133, 140 } ], [ { 140, 247, 306 }, { 140, 284, 306 }, { 140, 247, 284 }, { 247, 284, 306 } ], [ { 247, 299, 304 }, { 299, 300, 304, 305 }, { 247, 304, 305, 306 }, { 247, 299, 300, 306 }, { 300, 305, 306 } ], [ { 140, 179, 306 }, { 133, 140, 179 }, { 133, 179, 306 }, { 133, 140, 306 } ], [ { 24, 208, 247 }, { 24, 247, 304 }, { 24, 208, 304 }, { 208, 247, 304 } ], [ { 49, 208, 332 }, { 49, 208, 304 }, { 49, 304, 332 }, { 208, 304, 332 } ], [ { 24, 49, 208 }, { 24, 49, 204, 317 }, { 49, 204, 208 }, { 24, 208, 317 }, { 204, 208, 317 } ], [ { 60, 94, 328 }, { 60, 328, 340 }, { 60, 94, 224 }, { 60, 224, 340 }, { 328, 336, 340 }, { 224, 336, 340 }, { 94, 224, 336 }, { 94, 328, 336 } ], [ { 237, 244, 337, 338 }, { 60, 237, 244, 341 }, { 60, 237, 337 }, { 60, 337, 338, 341 }, { 244, 338, 341 } ], [ { 24, 140, 247 }, { 24, 140, 304 }, { 140, 247, 304 }, { 24, 247, 304 } ], [ { 2, 133, 140 }, { 2, 24, 110, 133 }, { 24, 133, 140 }, { 2, 110, 140 }, { 24, 110, 140 } ], [ { 140, 247, 304 }, { 140, 304, 305 }, { 247, 304, 305, 306 }, { 140, 305, 306 }, { 140, 247, 306 } ], [ { 133, 140, 306 }, { 140, 305, 306 }, { 133, 140, 305 }, { 133, 305, 306 } ], [ { 24, 49, 208 }, { 24, 49, 304 }, { 49, 208, 304 }, { 24, 208, 304 } ], [ { 24, 49, 133, 237, 337, 342 }, { 60, 237, 337 }, { 49, 60, 337, 340 }, { 60, 237, 328, 342 }, { 133, 328, 342 }, { 24, 133, 328, 340 }, { 60, 328, 340 }, { 24, 49, 340 } ], [ { 133, 140, 305 }, { 140, 304, 305 }, { 24, 133, 304, 305 }, { 24, 133, 140 }, { 24, 140, 304 } ], [ { 24, 133, 304, 305 }, { 24, 49, 133, 237, 337, 342 }, { 49, 304, 337, 343 }, { 24, 49, 304 }, { 237, 305, 342, 343 }, { 133, 305, 342 }, { 237, 337, 343 }, { 304, 305, 343 } ] ] /* 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, 6, 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, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 12, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 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, 3, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 2, 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>, <12, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <24, 3>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <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>, <6, 2>, <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>, <6, 2>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <6, 2> ]