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