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