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