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