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