/* Defining polynomial */ x^2 - x + 167 /* Minimal vectors */ [ <6*w + 30, -5*w + 52>, <-10*w + 32, 3*w - 123>, <5*w + 53, -6*w + 31>, <-4*w + 62, -2*w - 71>, <8*w + 14, -5*w + 81>, <-7*w + 24, 2*w - 87>, <92, -6*w - 41>, <8*w + 106, -11*w + 40>, <11*w + 8, -6*w + 117>, , <3*w + 23, -3*w + 23>, <-6*w + 137, -6*w - 125>, <2*w + 31, -3*w + 8>, <3*w + 39, -4*w + 15>, <5*w + 70, -7*w + 23>, <-4*w + 78, -3*w - 77>, <78, -5*w - 34>, <4*w, -2*w + 43>, <46, -3*w - 20>, <-5*w + 130, -6*w - 111>, <12*w, -6*w + 131>, <-7*w + 23, 2*w - 86>, <3*w + 54, -5*w + 9>, <4*w + 77, -7*w + 10>, <-3*w + 54, -2*w - 56>, <6*w, -3*w + 65>, <-501*w + 1421, 172*w - 6274>, <172*w + 6102, -501*w - 920>, <-329*w + 7523, -329*w - 7194>, <-1174*w + 9116, 15*w - 17401>, <15*w + 17386, -1174*w - 7942>, <-15*w + 15, 7*w - 175>, <67*w + 436, -65*w + 547>, <-24*w + 519, -22*w - 511>, <-32*w + 687, -29*w - 679>, <-46*w + 38, 22*w - 533>, <-61*w + 53, 29*w - 708>, <-8*w + 168, -7*w - 168>, <-2*w + 985, -65*w - 482>, <-30*w + 15, 15*w - 343>, <83*w + 130, -53*w + 869>, <-15*w + 671, -37*w - 481>, <8*w + 1159, -82*w - 451>, <-83*w + 213, 30*w - 1029>, <15*w + 656, -52*w - 138>, <-8*w + 1167, -74*w - 634>, <-w + 8, -15>, <-16*w + 53, 5*w - 204>, <6*w + 146, -13*w - 1>, <5*w + 154, -13*w - 16>, <8*w + 130, -13*w + 29>, <7*w + 138, -13*w + 14>, <-11*w + 162, -5*w - 199>, <114*w + 62, -65*w + 1248>, <53*w + 115, -36*w + 540>, <21*w + 802, -65*w - 139>, <-89*w + 82, 42*w - 1035>, <21*w + 489, -44*w + 7>, <20*w + 825, -66*w - 161>, <6*w + 504, -37*w - 168>, <5*w + 840, -59*w - 336>, <-68*w + 571, -2*w - 1028>, <-44*w + 37, 21*w - 510>, <7*w + 168, -15*w>, <-66*w + 227, 20*w - 845>, <42*w + 993, -89*w + 7>, <-37*w + 205, 6*w - 510>, <-2*w + 1030, -68*w - 503>, <-59*w + 395, 5*w - 845>, <-w + 8, -14>, <-3*w + 9, w - 36>, <2*w + 31, -3*w + 7>, , <3*w + 23, -3*w + 21>, <-w + 40, -2*w - 29>, <2*w + 14, -2*w + 15>, <31, -2*w - 15>, <2*w + 45, -4*w>, <9*w + 63, -9*w + 67>, <4*w + 13, -3*w + 37>, <-w + 55, -3*w - 37>, <-2*w + 16, -29>, <31, -2*w - 14>, <-2*w + 47, -2*w - 43>, <-9*w + 72, -130>, <-4*w + 17, w - 51>, , <3*w + 6, -2*w + 30>, <-3*w + 9, w - 37>, <5*w + 66, -7*w + 24>, <-5*w + 71, -2*w - 88>, <2*w + 75, -6*w - 13>, <-2*w + 77, -4*w - 58>, <-4*w + 2, 2*w - 45>, <15, -w - 7>, <-w + 84, -5*w - 50>, <3*w + 8, -2*w + 29>, <-2*w + 31, -w - 35>, <5*w + 39, -5*w + 37>, <-6*w + 77, -2*w - 98>, <-6*w + 15, 2*w - 71>, , <3*w + 101, -8*w - 11>, <-6*w + 15, 2*w - 73>, <30, -2*w - 13>, <5*w + 68, -7*w + 26>, <-w + 83, -5*w - 47>, <-3*w + 8, w - 36>, <5*w + 23, -4*w + 44>, <2*w + 15, -2*w + 15>, <2*w + 92, -7*w - 19>, <7*w + 7, -4*w + 73>, <-w + 23, -w - 21>, <-2*w + 77, -4*w - 56>, <-9*w + 70, -129>, , <7*w + 129, -12*w + 19>, <4*w + 76, -7*w + 10>, <-4*w + 123, -6*w - 98>, <12*w + 29, -8*w + 118>, <-6*w + 62, -w - 93>, <153, -10*w - 68>, <14*w + 59, -11*w + 128>, <-2*w + 61, -3*w - 49>, <12*w + 120, -14*w + 79>, <-14*w + 199, -6*w - 242>, <-5*w + 251, -14*w - 166>, <-3*w + 7, w - 36>, <-w + 38, -2*w - 27>, <-4*w + 45, -w - 63>, <2*w + 61, -5*w - 4>, <-5*w + 7, 2*w - 58>, <2*w, -w + 22>, <-5*w + 23, w - 64>, <501*w + 920, -329*w + 5182>, <-172*w + 3933, -172*w - 3761>, <329*w + 4853, -501*w + 1421>, <-1675*w + 11208, 142*w - 23988>, <142*w + 23846, -1675*w - 9533>, <-344*w + 172, 172*w - 3933>, <172*w + 3761, -344*w + 172>, <-15*w + 343, -15*w - 328>, <142*w + 764, -127*w + 1234>, <157*w + 1092, -157*w + 1249>, <127*w + 1107, -142*w + 906>, <-23*w + 183, -343>, <30*w + 313, -37*w + 190>, <22*w + 481, -44*w + 22>, <-w + 992, -66*w - 474>, <67*w + 451, -66*w + 540>, <7*w + 496, -37*w - 153>, <-68*w + 213, 22*w - 861>, <-46*w + 694, -22*w - 839>, <82*w + 451, -74*w + 708>, <-8*w + 839, -52*w - 481>, <60*w + 298, -52*w + 533>, <-16*w + 679, -37*w - 496>, <53*w + 130, -37*w + 533>, <-47*w + 702, -22*w - 854>, <-69*w + 221, 22*w - 876>, <-30*w + 343, -7*w - 496>, <328, -22*w - 153>, <53*w + 473, -60*w + 373>, <-53*w + 526, -7*w - 839>, <-46*w + 23, 23*w - 526>, <54*w + 137, -38*w + 541>, <-54*w + 191, 16*w - 694>, <8*w + 160, -15*w + 15>, <54*w + 465, -60*w + 388>, <-23*w + 496, -21*w - 489>, <-15*w + 656, -36*w - 474>, <23*w + 473, -44*w + 37>, <-54*w + 519, -6*w - 847>, <15*w + 641, -51*w - 131>, <-15*w + 30, 6*w - 182>, <-9*w + 176, -7*w - 183>, <-9*w + 161, -6*w - 176>, <-16*w + 23, 7*w - 190>, <7*w + 153, -14*w + 7>, <97*w + 734, -101*w + 744>, <-93*w + 740, -1387>, <38*w + 130, -29*w + 365>, <-2*w + 1, w - 22>, , <-3*w + 71, -3*w - 65>, <3*w + 7, -2*w + 29>, <47, -3*w - 21>, <2*w + 15, -2*w + 14>, <-2*w + 17, -29>, <3*w + 38, -4*w + 14>, <-3*w + 41, -w - 51>, <79, -5*w - 37>, <3*w + 21, -3*w + 23>, , , <-w + 39, -2*w - 29>, <-3*w + 24, -44>, <-w + 7, -14>, <3*w + 8, -2*w + 30>, <-2*w + 30, -w - 35>, , <-w + 39, -2*w - 28>, <-13*w + 8, 6*w - 146>, <-3*w + 23, -43>, <6*w + 137, -12*w + 6>, <-7*w + 145, -6*w - 140>, <5*w + 7, -3*w + 52>, <3*w + 68, -6*w + 3>, <-15*w + 70, 3*w - 196>, <-12*w + 138, -3*w - 193>, <-3*w + 190, -11*w - 117>, <2*w + 197, -14*w - 65>, <3*w + 7, -2*w + 30>, <4*w + 14, -3*w + 38>, <7*w + 21, -5*w + 68>, <2*w + 60, -5*w - 5>, , <-2*w + 46, -2*w - 43>, <-6*w + 32, w - 81>, <-w + 68, -4*w - 42>, <-2*w + 31, -w - 36>, <-3*w + 39, -w - 51>, , , <-329*w + 5182, -172*w - 6102>, <-172*w + 6274, -329*w - 4853>, <-157*w + 1249, -2341>, <2341, -157*w - 1092>, <-344*w + 2513, 15*w - 5025>, <15*w + 5010, -344*w - 2169>, <15*w + 328, -30*w + 15>, <-127*w + 1234, -15*w - 1998>, <-142*w + 1577, -30*w - 2326>, <142*w + 1435, -172*w + 921>, <29*w + 634, -58*w + 29>, <6*w + 161, -14*w - 8>, <8*w + 145, -14*w + 22>, <-54*w + 221, 14*w - 708>, <13*w + 642, -50*w - 154>, <-2*w + 657, -43*w - 329>, <-336*w + 5, 179*w - 3766>, <45*w + 283, -43*w + 372>, <-47*w + 374, -701>, <-157*w + 3918, -179*w - 3587>, <-55*w + 542, -7*w - 869>, <37*w + 451, -50*w + 204>, <-40*w + 527, -14*w - 694>, <-14*w + 22, 6*w - 167>, <-28*w + 29, 13*w - 327>, <13*w + 344, -30*w - 15>, <-30*w + 45, 13*w - 357>, <13*w + 314, -28*w - 1>, <-13*w + 29, 5*w - 159>, <-14*w + 37, 5*w - 174>, <5*w + 184, -15*w - 30>, <-w + 24, -w - 22>, , <-2*w + 15, -29>, <2*w + 15, -2*w + 16>, <-4*w + 1, 2*w - 45>, , <-w + 53, -3*w - 35>, <-2*w + 91, -5*w - 63>, <5*w + 21, -4*w + 46>, <43*w + 299, -43*w + 342>, <-8*w + 183, -8*w - 175>, <5*w + 169, -14*w - 23>, , <-2*w + 15, -28>, <15, -w - 6>, <-7*w + 175, -8*w - 160>, <15*w, -8*w + 168>, <1, 0>, <-w + 7, -13>, <1, -1>, <0, 1> ] /* Voronoi top cells */ [ { 1, 2, 3, 4 }, { 5, 6, 7, 8 }, { 9, 10, 11, 12 }, { 13, 14, 15, 16, 17, 18 }, { 10, 19, 20, 21 }, { 10, 19, 22, 23, 24 }, { 19, 22, 23, 25, 26 }, { 27, 28, 29, 30, 31 }, { 32, 33, 34, 35 }, { 36, 37, 38, 39 }, { 40, 41, 42, 43 }, { 40, 44, 45, 46 }, { 47, 48, 49, 50 }, { 47, 51, 52, 53 }, { 37, 54, 55, 56 }, { 32, 57, 58, 59 }, { 32, 59, 60, 61 }, { 58, 59, 60, 62 }, { 63, 64, 65, 66 }, { 63, 65, 67, 68 }, { 64, 65, 67, 69 }, { 70, 71, 72, 73 }, { 70, 72, 74, 75 }, { 76, 77, 78, 79 }, { 76, 78, 80, 81 }, { 82, 83, 84, 85 }, { 82, 84, 86, 87 }, { 88, 89, 90, 91, 92, 93 }, { 89, 92, 94, 95, 96 }, { 97, 98, 99, 100 }, { 97, 101, 102, 103 }, { 104, 105, 106, 107 }, { 13, 25, 108, 109 }, { 1, 4, 110, 111 }, { 1, 111, 112, 113 }, { 6, 7, 110, 114 }, { 3, 4, 110, 114 }, { 1, 3, 4, 110 }, { 1, 3, 113, 115 }, { 5, 6, 7, 110 }, { 5, 6, 116, 117 }, { 3, 113, 118, 119 }, { 3, 6, 118, 120, 121 }, { 6, 116, 121, 122 }, { 123, 124, 125, 126, 127 }, { 128, 129, 130, 131 }, { 10, 11, 131, 132 }, { 10, 11, 12, 133 }, { 13, 14, 17, 18, 98 }, { 23, 97, 98, 134 }, { 10, 19, 21, 113 }, { 10, 19, 23, 25 }, { 135, 136, 137, 138, 139 }, { 27, 28, 29, 140, 141 }, { 142, 143, 144, 145 }, { 146, 147, 148, 149 }, { 146, 148, 150, 151 }, { 147, 148, 151, 152, 153 }, { 142, 151, 154, 155 }, { 40, 46, 147, 156 }, { 146, 150, 151, 157 }, { 146, 147, 149, 158 }, { 32, 33, 35, 159 }, { 37, 38, 39, 160 }, { 40, 41, 42, 161 }, { 42, 161, 162, 163 }, { 40, 44, 45, 147 }, { 40, 42, 45, 162 }, { 45, 147, 162, 164 }, { 162, 165, 166, 167 }, { 168, 169, 170, 171 }, { 38, 172, 173, 174 }, { 47, 49, 175, 176 }, { 47, 49, 50, 175 }, { 47, 51, 52, 177 }, { 47, 176, 178, 179 }, { 47, 52, 177, 178 }, { 35, 37, 54, 55, 180, 181 }, { 37, 38, 55, 56, 182 }, { 32, 58, 59, 60 }, { 63, 64, 65, 67 }, { 87, 183, 184, 185 }, { 70, 83, 186, 187 }, { 188, 189, 190, 191, 192 }, { 70, 71, 72, 75 }, { 71, 75, 184, 188, 190 }, { 76, 80, 81, 183 }, { 76, 77, 78, 81 }, { 88, 95, 193, 194 }, { 82, 86, 87, 183 }, { 82, 83, 84, 87 }, { 88, 89, 92, 93, 94, 95 }, { 88, 89, 183, 195, 196 }, { 89, 95, 96, 197 }, { 97, 98, 99, 101, 102 }, { 198, 199, 200, 201 }, { 105, 106, 107, 133 }, { 13, 70, 108, 202 }, { 13, 25, 108, 113 }, { 108, 111, 112, 113 }, { 1, 110, 111, 113 }, { 3, 6, 110, 114 }, { 1, 3, 110, 113 }, { 5, 6, 110, 116 }, { 3, 6, 113, 116, 118, 121 }, { 113, 133, 203, 204, 205, 206 }, { 123, 124, 125, 207, 208, 209, 210, 211, 212 }, { 213, 214, 215, 216, 217 }, { 213, 214, 216, 218 }, { 95, 214, 218, 219, 220 }, { 95, 218, 221, 222, 223 }, { 10, 128, 129, 131 }, { 128, 198, 201, 224 }, { 10, 128, 131, 132 }, { 128, 132, 133, 201 }, { 10, 11, 132, 133 }, { 13, 14, 70, 98 }, { 10, 23, 97, 98 }, { 10, 19, 25, 113 }, { 13, 25, 98, 113 }, { 10, 23, 25, 98 }, { 27, 28, 135, 136, 137, 140, 141, 225, 226 }, { 140, 141, 227, 228, 229, 230 }, { 227, 231, 232, 233 }, { 142, 144, 145, 234 }, { 146, 147, 148, 151 }, { 40, 142, 147, 151, 155, 156 }, { 32, 146, 151, 157 }, { 38, 146, 147, 158 }, { 35, 37, 146, 235 }, { 32, 35, 146, 159 }, { 37, 38, 146, 160 }, { 40, 42, 161, 162 }, { 40, 45, 147, 162 }, { 162, 166, 167, 170, 172 }, { 162, 168, 169, 170 }, { 38, 162, 172, 173 }, { 47, 175, 176, 179 }, { 47, 50, 175, 236 }, { 47, 51, 177, 237 }, { 47, 177, 178, 179 }, { 32, 238, 239, 240 }, { 240, 241, 242, 243, 244 }, { 32, 35, 37, 38, 55 }, { 38, 55, 182, 242, 245 }, { 38, 242, 246, 247 }, { 32, 58, 60, 63, 64, 67 }, { 64, 248, 249, 250 }, { 32, 236, 251, 252 }, { 95, 248, 253, 254, 255 }, { 83, 87, 183, 184 }, { 70, 83, 184, 186 }, { 184, 188, 189, 190, 191, 256 }, { 70, 71, 75, 184, 188 }, { 76, 77, 81, 183 }, { 76, 88, 183, 195 }, { 76, 88, 95, 193 }, { 82, 83, 87, 183 }, { 88, 89, 95, 183 }, { 82, 89, 183, 196 }, { 82, 89, 95, 197 }, { 70, 97, 98, 102, 257 }, { 105, 198, 258, 259 }, { 105, 198, 199, 200 }, { 133, 198, 200, 201 }, { 105, 106, 133, 200 }, { 70, 82, 83, 110 }, { 70, 108, 110, 202 }, { 13, 70, 108, 113 }, { 108, 110, 111, 113 }, { 3, 6, 110, 113, 116 }, { 82, 95, 110, 221 }, { 113, 124, 133, 204, 207, 208 }, { 213, 260, 261, 262 }, { 213, 214, 215, 262, 263 }, { 95, 214, 220, 261, 262, 264 }, { 95, 213, 214, 218 }, { 95, 213, 218, 221 }, { 10, 128, 129, 198 }, { 128, 133, 198, 201 }, { 10, 128, 132, 133 }, { 13, 70, 98, 113 }, { 10, 70, 97, 98 }, { 10, 25, 98, 113 }, { 136, 140, 141, 144, 227, 228 }, { 142, 144, 227, 231, 233, 234 }, { 40, 142, 146, 147, 151 }, { 32, 142, 146, 151 }, { 38, 40, 146, 147 }, { 32, 35, 37, 38, 146 }, { 40, 161, 162, 168 }, { 38, 40, 147, 162 }, { 38, 162, 168, 170, 172 }, { 47, 175, 179, 236 }, { 47, 177, 179, 237 }, { 32, 179, 239, 240 }, { 179, 240, 242, 243 }, { 32, 38, 55, 240, 242 }, { 38, 179, 242, 246 }, { 32, 60, 64, 67, 265 }, { 64, 248, 250, 266 }, { 32, 236, 251, 266 }, { 47, 95, 236, 248, 254, 267 }, { 77, 183, 256, 268 }, { 70, 83, 183, 184 }, { 70, 184, 188, 189, 256, 268 }, { 76, 77, 183, 268 }, { 76, 88, 95, 183 }, { 70, 82, 83, 183 }, { 82, 89, 95, 183 }, { 10, 70, 97, 257, 269 }, { 105, 198, 258, 261 }, { 105, 133, 198, 200 }, { 70, 82, 95, 110 }, { 70, 108, 110, 113 }, { 95, 110, 113, 116, 221 }, { 113, 124, 133, 207, 213 }, { 95, 213, 214, 261, 262 }, { 95, 113, 116, 213, 221 }, { 10, 128, 133, 198 }, { 10, 70, 98, 113 }, { 40, 142, 144, 227, 228, 231 }, { 32, 38, 40, 142, 146 }, { 38, 40, 162, 168 }, { 32, 47, 179, 236 }, { 38, 47, 179, 237 }, { 32, 38, 179, 240, 242 }, { 32, 64, 265, 266 }, { 64, 95, 248, 266 }, { 32, 47, 236, 266 }, { 47, 95, 236, 248, 266 }, { 70, 183, 184, 256, 268 }, { 76, 95, 183, 268 }, { 70, 82, 95, 183 }, { 10, 70, 198, 257, 269, 270 }, { 105, 133, 198, 261 }, { 70, 95, 110, 113 }, { 95, 113, 133, 213, 261 }, { 10, 70, 113, 133, 198 }, { 32, 38, 40, 64, 142, 168, 231, 271, 272 }, { 32, 38, 47, 179 }, { 32, 47, 64, 95, 266 }, { 70, 95, 183, 268 }, { 70, 198, 257, 270, 273, 274 }, { 70, 95, 113, 133, 198, 261 }, { 32, 38, 47, 64, 95, 168, 261, 271, 272 }, { 70, 95, 268, 273, 275 }, { 70, 95, 198, 261, 273 }, { 47, 95, 261, 273, 275, 276 } ] /* Faces of top cells */ [ [ { 2, 3, 4 }, { 1, 3, 4 }, { 1, 2, 4 }, { 1, 2, 3 } ], [ { 6, 7, 8 }, { 5, 7, 8 }, { 5, 6, 8 }, { 5, 6, 7 } ], [ { 10, 11, 12 }, { 9, 11, 12 }, { 9, 10, 12 }, { 9, 10, 11 } ], [ { 14, 15, 16, 17 }, { 13, 15, 16, 18 }, { 13, 14, 16 }, { 13, 14, 17, 18 }, { 15, 17, 18 } ], [ { 19, 20, 21 }, { 10, 20, 21 }, { 10, 19, 21 }, { 10, 19, 20 } ], [ { 10, 19, 23 }, { 19, 22, 23 }, { 10, 19, 22, 24 }, { 22, 23, 24 }, { 10, 23, 24 } ], [ { 19, 23, 25 }, { 19, 22, 23 }, { 19, 22, 25, 26 }, { 23, 25, 26 }, { 22, 23, 26 } ], [ { 27, 29, 30 }, { 27, 28, 30, 31 }, { 27, 28, 29 }, { 29, 30, 31 }, { 28, 29, 31 } ], [ { 33, 34, 35 }, { 32, 34, 35 }, { 32, 33, 35 }, { 32, 33, 34 } ], [ { 37, 38, 39 }, { 36, 38, 39 }, { 36, 37, 39 }, { 36, 37, 38 } ], [ { 41, 42, 43 }, { 40, 42, 43 }, { 40, 41, 43 }, { 40, 41, 42 } ], [ { 44, 45, 46 }, { 40, 45, 46 }, { 40, 44, 46 }, { 40, 44, 45 } ], [ { 48, 49, 50 }, { 47, 49, 50 }, { 47, 48, 50 }, { 47, 48, 49 } ], [ { 51, 52, 53 }, { 47, 52, 53 }, { 47, 51, 53 }, { 47, 51, 52 } ], [ { 54, 55, 56 }, { 37, 55, 56 }, { 37, 54, 56 }, { 37, 54, 55 } ], [ { 57, 58, 59 }, { 32, 58, 59 }, { 32, 57, 59 }, { 32, 57, 58 } ], [ { 59, 60, 61 }, { 32, 59, 61 }, { 32, 60, 61 }, { 32, 59, 60 } ], [ { 59, 60, 62 }, { 58, 59, 62 }, { 58, 59, 60 }, { 58, 60, 62 } ], [ { 64, 65, 66 }, { 63, 65, 66 }, { 63, 64, 66 }, { 63, 64, 65 } ], [ { 65, 67, 68 }, { 63, 65, 68 }, { 63, 67, 68 }, { 63, 65, 67 } ], [ { 65, 67, 69 }, { 64, 65, 69 }, { 64, 67, 69 }, { 64, 65, 67 } ], [ { 71, 72, 73 }, { 70, 72, 73 }, { 70, 71, 73 }, { 70, 71, 72 } ], [ { 72, 74, 75 }, { 70, 72, 75 }, { 70, 74, 75 }, { 70, 72, 74 } ], [ { 77, 78, 79 }, { 76, 78, 79 }, { 76, 77, 79 }, { 76, 77, 78 } ], [ { 76, 78, 81 }, { 78, 80, 81 }, { 76, 80, 81 }, { 76, 78, 80 } ], [ { 83, 84, 85 }, { 82, 84, 85 }, { 82, 83, 85 }, { 82, 83, 84 } ], [ { 84, 86, 87 }, { 82, 84, 87 }, { 82, 86, 87 }, { 82, 84, 86 } ], [ { 88, 89, 92, 93 }, { 88, 89, 90, 91 }, { 89, 91, 92 }, { 90, 91, 92, 93 }, { 88, 90, 93 } ], [ { 89, 95, 96 }, { 94, 95, 96 }, { 89, 92, 94, 95 }, { 89, 92, 96 }, { 92, 94, 96 } ], [ { 98, 99, 100 }, { 97, 99, 100 }, { 97, 98, 100 }, { 97, 98, 99 } ], [ { 101, 102, 103 }, { 97, 102, 103 }, { 97, 101, 103 }, { 97, 101, 102 } ], [ { 105, 106, 107 }, { 104, 106, 107 }, { 104, 105, 107 }, { 104, 105, 106 } ], [ { 13, 25, 109 }, { 13, 25, 108 }, { 25, 108, 109 }, { 13, 108, 109 } ], [ { 1, 4, 111 }, { 4, 110, 111 }, { 1, 110, 111 }, { 1, 4, 110 } ], [ { 1, 111, 113 }, { 1, 111, 112 }, { 111, 112, 113 }, { 1, 112, 113 } ], [ { 6, 7, 114 }, { 7, 110, 114 }, { 6, 7, 110 }, { 6, 110, 114 } ], [ { 3, 4, 114 }, { 4, 110, 114 }, { 3, 110, 114 }, { 3, 4, 110 } ], [ { 1, 3, 4 }, { 3, 4, 110 }, { 1, 4, 110 }, { 1, 3, 110 } ], [ { 1, 3, 115 }, { 3, 113, 115 }, { 1, 113, 115 }, { 1, 3, 113 } ], [ { 6, 7, 110 }, { 5, 6, 7 }, { 5, 7, 110 }, { 5, 6, 110 } ], [ { 6, 116, 117 }, { 5, 116, 117 }, { 5, 6, 117 }, { 5, 6, 116 } ], [ { 3, 118, 119 }, { 113, 118, 119 }, { 3, 113, 119 }, { 3, 113, 118 } ], [ { 3, 6, 118, 121 }, { 6, 120, 121 }, { 3, 6, 120 }, { 118, 120, 121 }, { 3, 118, 120 } ], [ { 116, 121, 122 }, { 6, 121, 122 }, { 6, 116, 122 }, { 6, 116, 121 } ], [ { 124, 125, 126 }, { 123, 125, 126, 127 }, { 123, 124, 125 }, { 124, 126, 127 }, { 123, 124, 127 } ], [ { 129, 130, 131 }, { 128, 130, 131 }, { 128, 129, 131 }, { 128, 129, 130 } ], [ { 10, 11, 131 }, { 11, 131, 132 }, { 10, 131, 132 }, { 10, 11, 132 } ], [ { 11, 12, 133 }, { 10, 12, 133 }, { 10, 11, 133 }, { 10, 11, 12 } ], [ { 13, 14, 17, 18 }, { 14, 17, 98 }, { 13, 14, 98 }, { 17, 18, 98 }, { 13, 18, 98 } ], [ { 23, 98, 134 }, { 23, 97, 98 }, { 23, 97, 134 }, { 97, 98, 134 } ], [ { 10, 19, 21 }, { 19, 21, 113 }, { 10, 21, 113 }, { 10, 19, 113 } ], [ { 19, 23, 25 }, { 10, 23, 25 }, { 10, 19, 23 }, { 10, 19, 25 } ], [ { 136, 137, 138 }, { 135, 137, 138, 139 }, { 135, 136, 137 }, { 135, 136, 139 }, { 136, 138, 139 } ], [ { 27, 29, 141 }, { 29, 140, 141 }, { 27, 28, 140, 141 }, { 28, 29, 140 }, { 27, 28, 29 } ], [ { 143, 144, 145 }, { 142, 144, 145 }, { 142, 143, 145 }, { 142, 143, 144 } ], [ { 147, 148, 149 }, { 146, 148, 149 }, { 146, 147, 149 }, { 146, 147, 148 } ], [ { 148, 150, 151 }, { 146, 148, 151 }, { 146, 150, 151 }, { 146, 148, 150 } ], [ { 147, 148, 151 }, { 148, 151, 152 }, { 147, 151, 152, 153 }, { 147, 148, 153 }, { 148, 152, 153 } ], [ { 151, 154, 155 }, { 142, 151, 155 }, { 142, 154, 155 }, { 142, 151, 154 } ], [ { 46, 147, 156 }, { 40, 46, 147 }, { 40, 46, 156 }, { 40, 147, 156 } ], [ { 150, 151, 157 }, { 146, 151, 157 }, { 146, 150, 157 }, { 146, 150, 151 } ], [ { 146, 147, 149 }, { 147, 149, 158 }, { 146, 149, 158 }, { 146, 147, 158 } ], [ { 33, 35, 159 }, { 32, 35, 159 }, { 32, 33, 159 }, { 32, 33, 35 } ], [ { 38, 39, 160 }, { 37, 39, 160 }, { 37, 38, 39 }, { 37, 38, 160 } ], [ { 41, 42, 161 }, { 40, 42, 161 }, { 40, 41, 42 }, { 40, 41, 161 } ], [ { 42, 161, 163 }, { 42, 162, 163 }, { 42, 161, 162 }, { 161, 162, 163 } ], [ { 44, 45, 147 }, { 40, 45, 147 }, { 40, 44, 45 }, { 40, 44, 147 } ], [ { 42, 45, 162 }, { 40, 42, 45 }, { 40, 42, 162 }, { 40, 45, 162 } ], [ { 45, 162, 164 }, { 45, 147, 164 }, { 45, 147, 162 }, { 147, 162, 164 } ], [ { 162, 166, 167 }, { 162, 165, 167 }, { 162, 165, 166 }, { 165, 166, 167 } ], [ { 169, 170, 171 }, { 168, 170, 171 }, { 168, 169, 171 }, { 168, 169, 170 } ], [ { 172, 173, 174 }, { 38, 173, 174 }, { 38, 172, 174 }, { 38, 172, 173 } ], [ { 49, 175, 176 }, { 47, 49, 176 }, { 47, 175, 176 }, { 47, 49, 175 } ], [ { 49, 50, 175 }, { 47, 49, 50 }, { 47, 50, 175 }, { 47, 49, 175 } ], [ { 51, 52, 177 }, { 47, 52, 177 }, { 47, 51, 177 }, { 47, 51, 52 } ], [ { 176, 178, 179 }, { 47, 176, 179 }, { 47, 176, 178 }, { 47, 178, 179 } ], [ { 52, 177, 178 }, { 47, 52, 177 }, { 47, 177, 178 }, { 47, 52, 178 } ], [ { 35, 37, 55 }, { 37, 54, 55 }, { 54, 55, 180 }, { 35, 55, 180 }, { 54, 180, 181 }, { 35, 180, 181 }, { 37, 54, 181 }, { 35, 37, 181 } ], [ { 38, 55, 182 }, { 37, 38, 56, 182 }, { 37, 38, 55 }, { 37, 55, 56 }, { 55, 56, 182 } ], [ { 58, 59, 60 }, { 32, 59, 60 }, { 32, 58, 59 }, { 32, 58, 60 } ], [ { 64, 65, 67 }, { 63, 65, 67 }, { 63, 64, 65 }, { 63, 64, 67 } ], [ { 87, 184, 185 }, { 87, 183, 185 }, { 183, 184, 185 }, { 87, 183, 184 } ], [ { 70, 83, 187 }, { 83, 186, 187 }, { 70, 186, 187 }, { 70, 83, 186 } ], [ { 188, 190, 192 }, { 188, 189, 192 }, { 188, 189, 190, 191 }, { 189, 191, 192 }, { 190, 191, 192 } ], [ { 71, 72, 75 }, { 70, 72, 75 }, { 70, 71, 75 }, { 70, 71, 72 } ], [ { 184, 188, 190 }, { 71, 184, 190 }, { 71, 75, 184, 188 }, { 71, 75, 190 }, { 75, 188, 190 } ], [ { 76, 80, 81 }, { 76, 81, 183 }, { 80, 81, 183 }, { 76, 80, 183 } ], [ { 77, 78, 81 }, { 76, 78, 81 }, { 76, 77, 81 }, { 76, 77, 78 } ], [ { 95, 193, 194 }, { 88, 193, 194 }, { 88, 95, 194 }, { 88, 95, 193 } ], [ { 82, 86, 87 }, { 86, 87, 183 }, { 82, 87, 183 }, { 82, 86, 183 } ], [ { 83, 84, 87 }, { 82, 84, 87 }, { 82, 83, 87 }, { 82, 83, 84 } ], [ { 88, 89, 95 }, { 89, 92, 94, 95 }, { 88, 93, 94, 95 }, { 88, 89, 92, 93 }, { 92, 93, 94 } ], [ { 88, 89, 195, 196 }, { 88, 183, 195 }, { 88, 89, 183 }, { 183, 195, 196 }, { 89, 183, 196 } ], [ { 95, 96, 197 }, { 89, 96, 197 }, { 89, 95, 96 }, { 89, 95, 197 } ], [ { 98, 99, 101, 102 }, { 97, 98, 102 }, { 97, 101, 102 }, { 97, 99, 101 }, { 97, 98, 99 } ], [ { 199, 200, 201 }, { 198, 200, 201 }, { 198, 199, 201 }, { 198, 199, 200 } ], [ { 106, 107, 133 }, { 105, 107, 133 }, { 105, 106, 133 }, { 105, 106, 107 } ], [ { 13, 70, 202 }, { 13, 108, 202 }, { 70, 108, 202 }, { 13, 70, 108 } ], [ { 13, 25, 113 }, { 13, 25, 108 }, { 25, 108, 113 }, { 13, 108, 113 } ], [ { 108, 111, 113 }, { 111, 112, 113 }, { 108, 111, 112 }, { 108, 112, 113 } ], [ { 1, 111, 113 }, { 1, 110, 111 }, { 110, 111, 113 }, { 1, 110, 113 } ], [ { 3, 6, 114 }, { 3, 110, 114 }, { 6, 110, 114 }, { 3, 6, 110 } ], [ { 1, 3, 113 }, { 1, 3, 110 }, { 3, 110, 113 }, { 1, 110, 113 } ], [ { 6, 110, 116 }, { 5, 6, 116 }, { 5, 110, 116 }, { 5, 6, 110 } ], [ { 6, 116, 121 }, { 113, 116, 118, 121 }, { 3, 6, 113, 116 }, { 3, 6, 118, 121 }, { 3, 113, 118 } ], [ { 113, 204, 206 }, { 203, 204, 206 }, { 113, 205, 206 }, { 203, 205, 206 }, { 133, 203, 205 }, { 113, 133, 204 }, { 133, 203, 204 }, { 113, 133, 205 } ], [ { 124, 207, 208 }, { 123, 124, 207, 211 }, { 207, 208, 209, 212 }, { 124, 125, 208, 210 }, { 123, 125, 209, 210, 211, 212 }, { 123, 124, 125 }, { 208, 209, 210 }, { 207, 211, 212 } ], [ { 214, 215, 216, 217 }, { 213, 214, 216 }, { 213, 214, 215 }, { 213, 216, 217 }, { 213, 215, 217 } ], [ { 214, 216, 218 }, { 213, 216, 218 }, { 213, 214, 216 }, { 213, 214, 218 } ], [ { 95, 218, 219, 220 }, { 214, 218, 219 }, { 95, 214, 218 }, { 214, 219, 220 }, { 95, 214, 220 } ], [ { 95, 218, 222 }, { 95, 218, 221 }, { 95, 221, 222, 223 }, { 218, 222, 223 }, { 218, 221, 223 } ], [ { 10, 129, 131 }, { 128, 129, 131 }, { 10, 128, 131 }, { 10, 128, 129 } ], [ { 198, 201, 224 }, { 128, 201, 224 }, { 128, 198, 224 }, { 128, 198, 201 } ], [ { 10, 128, 131 }, { 10, 131, 132 }, { 128, 131, 132 }, { 10, 128, 132 } ], [ { 128, 133, 201 }, { 132, 133, 201 }, { 128, 132, 133 }, { 128, 132, 201 } ], [ { 10, 11, 133 }, { 11, 132, 133 }, { 10, 132, 133 }, { 10, 11, 132 } ], [ { 13, 14, 98 }, { 13, 14, 70 }, { 14, 70, 98 }, { 13, 70, 98 } ], [ { 10, 23, 98 }, { 23, 97, 98 }, { 10, 23, 97 }, { 10, 97, 98 } ], [ { 10, 19, 25 }, { 19, 25, 113 }, { 10, 25, 113 }, { 10, 19, 113 } ], [ { 13, 25, 98 }, { 13, 25, 113 }, { 25, 98, 113 }, { 13, 98, 113 } ], [ { 23, 25, 98 }, { 10, 23, 25 }, { 10, 23, 98 }, { 10, 25, 98 } ], [ { 27, 28, 140, 141 }, { 135, 136, 140, 226 }, { 136, 140, 141 }, { 27, 28, 135, 137, 225, 226 }, { 135, 136, 137 }, { 136, 137, 141, 225 }, { 27, 141, 225 }, { 28, 140, 226 } ], [ { 227, 228, 229, 230 }, { 140, 228, 229 }, { 140, 141, 227, 228 }, { 140, 141, 229, 230 }, { 141, 227, 230 } ], [ { 227, 232, 233 }, { 227, 231, 233 }, { 231, 232, 233 }, { 227, 231, 232 } ], [ { 144, 145, 234 }, { 142, 145, 234 }, { 142, 144, 234 }, { 142, 144, 145 } ], [ { 147, 148, 151 }, { 146, 148, 151 }, { 146, 147, 151 }, { 146, 147, 148 } ], [ { 40, 142, 147, 151 }, { 40, 142, 155, 156 }, { 40, 147, 156 }, { 147, 151, 155, 156 }, { 142, 151, 155 } ], [ { 146, 151, 157 }, { 32, 151, 157 }, { 32, 146, 157 }, { 32, 146, 151 } ], [ { 38, 146, 147 }, { 146, 147, 158 }, { 38, 147, 158 }, { 38, 146, 158 } ], [ { 35, 146, 235 }, { 35, 37, 235 }, { 35, 37, 146 }, { 37, 146, 235 } ], [ { 35, 146, 159 }, { 32, 35, 159 }, { 32, 146, 159 }, { 32, 35, 146 } ], [ { 38, 146, 160 }, { 37, 146, 160 }, { 37, 38, 160 }, { 37, 38, 146 } ], [ { 42, 161, 162 }, { 40, 42, 161 }, { 40, 42, 162 }, { 40, 161, 162 } ], [ { 45, 147, 162 }, { 40, 45, 162 }, { 40, 45, 147 }, { 40, 147, 162 } ], [ { 162, 167, 172 }, { 166, 167, 170, 172 }, { 162, 166, 167 }, { 162, 166, 170 }, { 162, 170, 172 } ], [ { 162, 169, 170 }, { 168, 169, 170 }, { 162, 168, 170 }, { 162, 168, 169 } ], [ { 162, 172, 173 }, { 38, 172, 173 }, { 38, 162, 173 }, { 38, 162, 172 } ], [ { 175, 176, 179 }, { 47, 176, 179 }, { 47, 175, 176 }, { 47, 175, 179 } ], [ { 50, 175, 236 }, { 47, 50, 236 }, { 47, 175, 236 }, { 47, 50, 175 } ], [ { 51, 177, 237 }, { 47, 177, 237 }, { 47, 51, 177 }, { 47, 51, 237 } ], [ { 177, 178, 179 }, { 47, 177, 179 }, { 47, 177, 178 }, { 47, 178, 179 } ], [ { 238, 239, 240 }, { 32, 239, 240 }, { 32, 238, 240 }, { 32, 238, 239 } ], [ { 240, 242, 243 }, { 240, 241, 242, 244 }, { 241, 242, 243 }, { 240, 243, 244 }, { 241, 243, 244 } ], [ { 37, 38, 55 }, { 32, 38, 55 }, { 32, 35, 37, 38 }, { 32, 35, 55 }, { 35, 37, 55 } ], [ { 38, 182, 242, 245 }, { 38, 55, 242 }, { 38, 55, 182 }, { 55, 242, 245 }, { 55, 182, 245 } ], [ { 242, 246, 247 }, { 38, 246, 247 }, { 38, 242, 247 }, { 38, 242, 246 } ], [ { 63, 64, 67 }, { 32, 60, 64, 67 }, { 32, 58, 63, 64 }, { 58, 60, 63, 67 }, { 32, 58, 60 } ], [ { 64, 249, 250 }, { 64, 248, 250 }, { 248, 249, 250 }, { 64, 248, 249 } ], [ { 236, 251, 252 }, { 32, 236, 252 }, { 32, 251, 252 }, { 32, 236, 251 } ], [ { 95, 253, 254, 255 }, { 95, 248, 254 }, { 95, 248, 253 }, { 248, 253, 255 }, { 248, 254, 255 } ], [ { 83, 87, 184 }, { 83, 87, 183 }, { 87, 183, 184 }, { 83, 183, 184 } ], [ { 70, 83, 184 }, { 83, 184, 186 }, { 70, 83, 186 }, { 70, 184, 186 } ], [ { 184, 188, 190 }, { 188, 189, 190, 191 }, { 184, 188, 189, 256 }, { 184, 190, 191, 256 }, { 189, 191, 256 } ], [ { 71, 75, 184, 188 }, { 70, 184, 188 }, { 70, 71, 184 }, { 70, 71, 75 }, { 70, 75, 188 } ], [ { 76, 77, 81 }, { 77, 81, 183 }, { 76, 81, 183 }, { 76, 77, 183 } ], [ { 76, 88, 195 }, { 76, 183, 195 }, { 88, 183, 195 }, { 76, 88, 183 } ], [ { 76, 95, 193 }, { 88, 95, 193 }, { 76, 88, 193 }, { 76, 88, 95 } ], [ { 82, 83, 87 }, { 83, 87, 183 }, { 82, 87, 183 }, { 82, 83, 183 } ], [ { 88, 89, 95 }, { 89, 95, 183 }, { 88, 95, 183 }, { 88, 89, 183 } ], [ { 82, 89, 196 }, { 82, 183, 196 }, { 89, 183, 196 }, { 82, 89, 183 } ], [ { 82, 95, 197 }, { 82, 89, 197 }, { 89, 95, 197 }, { 82, 89, 95 } ], [ { 70, 97, 98 }, { 70, 98, 102, 257 }, { 70, 97, 257 }, { 97, 102, 257 }, { 97, 98, 102 } ], [ { 105, 258, 259 }, { 105, 198, 259 }, { 105, 198, 258 }, { 198, 258, 259 } ], [ { 105, 199, 200 }, { 105, 198, 200 }, { 105, 198, 199 }, { 198, 199, 200 } ], [ { 133, 200, 201 }, { 133, 198, 201 }, { 133, 198, 200 }, { 198, 200, 201 } ], [ { 105, 106, 133 }, { 106, 133, 200 }, { 105, 133, 200 }, { 105, 106, 200 } ], [ { 82, 83, 110 }, { 70, 82, 83 }, { 70, 83, 110 }, { 70, 82, 110 } ], [ { 70, 110, 202 }, { 108, 110, 202 }, { 70, 108, 202 }, { 70, 108, 110 } ], [ { 13, 70, 113 }, { 13, 108, 113 }, { 13, 70, 108 }, { 70, 108, 113 } ], [ { 110, 111, 113 }, { 108, 111, 113 }, { 108, 110, 111 }, { 108, 110, 113 } ], [ { 3, 6, 113, 116 }, { 6, 110, 116 }, { 110, 113, 116 }, { 3, 110, 113 }, { 3, 6, 110 } ], [ { 82, 110, 221 }, { 82, 95, 221 }, { 95, 110, 221 }, { 82, 95, 110 } ], [ { 113, 124, 204, 208 }, { 113, 124, 133, 207 }, { 124, 207, 208 }, { 133, 204, 207, 208 }, { 113, 133, 204 } ], [ { 213, 261, 262 }, { 213, 260, 262 }, { 260, 261, 262 }, { 213, 260, 261 } ], [ { 214, 215, 262, 263 }, { 213, 214, 262 }, { 213, 214, 215 }, { 213, 215, 263 }, { 213, 262, 263 } ], [ { 95, 220, 261, 264 }, { 95, 214, 261, 262 }, { 214, 220, 262, 264 }, { 261, 262, 264 }, { 95, 214, 220 } ], [ { 95, 214, 218 }, { 95, 213, 218 }, { 213, 214, 218 }, { 95, 213, 214 } ], [ { 95, 218, 221 }, { 213, 218, 221 }, { 95, 213, 218 }, { 95, 213, 221 } ], [ { 10, 129, 198 }, { 10, 128, 129 }, { 128, 129, 198 }, { 10, 128, 198 } ], [ { 133, 198, 201 }, { 128, 133, 201 }, { 128, 133, 198 }, { 128, 198, 201 } ], [ { 10, 128, 133 }, { 10, 132, 133 }, { 128, 132, 133 }, { 10, 128, 132 } ], [ { 13, 98, 113 }, { 13, 70, 98 }, { 13, 70, 113 }, { 70, 98, 113 } ], [ { 10, 97, 98 }, { 10, 70, 98 }, { 70, 97, 98 }, { 10, 70, 97 } ], [ { 10, 25, 98 }, { 25, 98, 113 }, { 10, 25, 113 }, { 10, 98, 113 } ], [ { 144, 227, 228 }, { 140, 141, 227, 228 }, { 136, 140, 144, 228 }, { 136, 141, 144, 227 }, { 136, 140, 141 } ], [ { 142, 144, 234 }, { 142, 231, 233, 234 }, { 142, 144, 227, 231 }, { 144, 227, 233, 234 }, { 227, 231, 233 } ], [ { 40, 142, 147, 151 }, { 40, 142, 146 }, { 40, 146, 147 }, { 146, 147, 151 }, { 142, 146, 151 } ], [ { 142, 146, 151 }, { 32, 142, 151 }, { 32, 146, 151 }, { 32, 142, 146 } ], [ { 38, 146, 147 }, { 40, 146, 147 }, { 38, 40, 147 }, { 38, 40, 146 } ], [ { 37, 38, 146 }, { 32, 38, 146 }, { 32, 35, 37, 38 }, { 32, 35, 146 }, { 35, 37, 146 } ], [ { 161, 162, 168 }, { 40, 161, 162 }, { 40, 161, 168 }, { 40, 162, 168 } ], [ { 38, 147, 162 }, { 40, 147, 162 }, { 38, 40, 162 }, { 38, 40, 147 } ], [ { 38, 162, 172 }, { 38, 168, 170, 172 }, { 38, 162, 168 }, { 162, 168, 170 }, { 162, 170, 172 } ], [ { 175, 179, 236 }, { 47, 179, 236 }, { 47, 175, 236 }, { 47, 175, 179 } ], [ { 177, 179, 237 }, { 47, 177, 179 }, { 47, 177, 237 }, { 47, 179, 237 } ], [ { 179, 239, 240 }, { 32, 239, 240 }, { 32, 179, 240 }, { 32, 179, 239 } ], [ { 240, 242, 243 }, { 179, 240, 243 }, { 179, 240, 242 }, { 179, 242, 243 } ], [ { 38, 55, 242 }, { 32, 38, 240, 242 }, { 32, 38, 55 }, { 32, 55, 240 }, { 55, 240, 242 } ], [ { 38, 242, 246 }, { 179, 242, 246 }, { 38, 179, 246 }, { 38, 179, 242 } ], [ { 64, 67, 265 }, { 32, 64, 265 }, { 32, 60, 64, 67 }, { 60, 67, 265 }, { 32, 60, 265 } ], [ { 64, 250, 266 }, { 248, 250, 266 }, { 64, 248, 250 }, { 64, 248, 266 } ], [ { 236, 251, 266 }, { 32, 236, 266 }, { 32, 251, 266 }, { 32, 236, 251 } ], [ { 95, 248, 254 }, { 47, 95, 254, 267 }, { 47, 95, 236, 248 }, { 236, 248, 254, 267 }, { 47, 236, 267 } ], [ { 77, 256, 268 }, { 77, 183, 256 }, { 77, 183, 268 }, { 183, 256, 268 } ], [ { 70, 83, 184 }, { 83, 183, 184 }, { 70, 83, 183 }, { 70, 183, 184 } ], [ { 70, 184, 188 }, { 70, 184, 256, 268 }, { 70, 188, 189, 268 }, { 184, 188, 189, 256 }, { 189, 256, 268 } ], [ { 76, 77, 268 }, { 76, 77, 183 }, { 77, 183, 268 }, { 76, 183, 268 } ], [ { 76, 88, 95 }, { 76, 95, 183 }, { 88, 95, 183 }, { 76, 88, 183 } ], [ { 70, 82, 83 }, { 82, 83, 183 }, { 70, 83, 183 }, { 70, 82, 183 } ], [ { 82, 89, 95 }, { 82, 95, 183 }, { 82, 89, 183 }, { 89, 95, 183 } ], [ { 97, 257, 269 }, { 10, 70, 257, 269 }, { 70, 97, 257 }, { 10, 70, 97 }, { 10, 97, 269 } ], [ { 105, 258, 261 }, { 105, 198, 258 }, { 105, 198, 261 }, { 198, 258, 261 } ], [ { 105, 133, 200 }, { 105, 133, 198 }, { 133, 198, 200 }, { 105, 198, 200 } ], [ { 82, 95, 110 }, { 70, 82, 110 }, { 70, 82, 95 }, { 70, 95, 110 } ], [ { 70, 110, 113 }, { 108, 110, 113 }, { 70, 108, 113 }, { 70, 108, 110 } ], [ { 95, 113, 116, 221 }, { 95, 110, 221 }, { 95, 110, 113 }, { 110, 116, 221 }, { 110, 113, 116 } ], [ { 113, 124, 133, 207 }, { 113, 124, 213 }, { 124, 207, 213 }, { 113, 133, 213 }, { 133, 207, 213 } ], [ { 95, 213, 214 }, { 95, 214, 261, 262 }, { 95, 213, 261 }, { 213, 214, 262 }, { 213, 261, 262 } ], [ { 95, 113, 116, 221 }, { 95, 213, 221 }, { 95, 113, 213 }, { 113, 116, 213 }, { 116, 213, 221 } ], [ { 10, 133, 198 }, { 10, 128, 133 }, { 128, 133, 198 }, { 10, 128, 198 } ], [ { 10, 98, 113 }, { 10, 70, 98 }, { 70, 98, 113 }, { 10, 70, 113 } ], [ { 142, 144, 227, 231 }, { 40, 142, 144, 228 }, { 40, 142, 231 }, { 40, 227, 228, 231 }, { 144, 227, 228 } ], [ { 32, 38, 146 }, { 38, 40, 146 }, { 32, 38, 40, 142 }, { 32, 142, 146 }, { 40, 142, 146 } ], [ { 38, 162, 168 }, { 38, 40, 162 }, { 40, 162, 168 }, { 38, 40, 168 } ], [ { 32, 179, 236 }, { 47, 179, 236 }, { 32, 47, 236 }, { 32, 47, 179 } ], [ { 38, 179, 237 }, { 38, 47, 179 }, { 38, 47, 237 }, { 47, 179, 237 } ], [ { 38, 179, 242 }, { 32, 38, 240, 242 }, { 32, 38, 179 }, { 179, 240, 242 }, { 32, 179, 240 } ], [ { 64, 265, 266 }, { 32, 265, 266 }, { 32, 64, 265 }, { 32, 64, 266 } ], [ { 64, 248, 266 }, { 64, 95, 266 }, { 95, 248, 266 }, { 64, 95, 248 } ], [ { 32, 236, 266 }, { 47, 236, 266 }, { 32, 47, 266 }, { 32, 47, 236 } ], [ { 95, 248, 266 }, { 47, 95, 266 }, { 47, 95, 236, 248 }, { 47, 236, 266 }, { 236, 248, 266 } ], [ { 70, 184, 256, 268 }, { 70, 183, 184 }, { 70, 183, 268 }, { 183, 184, 256 }, { 183, 256, 268 } ], [ { 76, 95, 268 }, { 76, 95, 183 }, { 95, 183, 268 }, { 76, 183, 268 } ], [ { 70, 82, 95 }, { 82, 95, 183 }, { 70, 82, 183 }, { 70, 95, 183 } ], [ { 10, 70, 257, 269 }, { 70, 198, 257, 270 }, { 257, 269, 270 }, { 10, 198, 269, 270 }, { 10, 70, 198 } ], [ { 105, 133, 261 }, { 105, 133, 198 }, { 133, 198, 261 }, { 105, 198, 261 } ], [ { 95, 110, 113 }, { 70, 110, 113 }, { 70, 95, 113 }, { 70, 95, 110 } ], [ { 95, 113, 213 }, { 95, 113, 133, 261 }, { 95, 213, 261 }, { 113, 133, 213 }, { 133, 213, 261 } ], [ { 10, 70, 113 }, { 10, 70, 198 }, { 70, 113, 133, 198 }, { 10, 133, 198 }, { 10, 113, 133 } ], [ { 32, 38, 64, 168, 271, 272 }, { 38, 40, 168 }, { 32, 38, 40, 142 }, { 40, 168, 231, 272 }, { 64, 142, 231, 271 }, { 32, 64, 142 }, { 40, 142, 231 }, { 231, 271, 272 } ], [ { 32, 38, 179 }, { 38, 47, 179 }, { 32, 38, 47 }, { 32, 47, 179 } ], [ { 47, 95, 266 }, { 32, 47, 266 }, { 32, 47, 64, 95 }, { 64, 95, 266 }, { 32, 64, 266 } ], [ { 70, 95, 268 }, { 70, 95, 183 }, { 95, 183, 268 }, { 70, 183, 268 } ], [ { 70, 257, 273, 274 }, { 70, 198, 273 }, { 198, 270, 273, 274 }, { 70, 198, 257, 270 }, { 257, 270, 274 } ], [ { 70, 113, 133, 198 }, { 70, 95, 198, 261 }, { 95, 113, 133, 261 }, { 70, 95, 113 }, { 133, 198, 261 } ], [ { 32, 47, 64, 95 }, { 47, 95, 261 }, { 38, 47, 168, 261 }, { 32, 38, 47 }, { 32, 38, 64, 168, 271, 272 }, { 95, 261, 271, 272 }, { 64, 95, 271 }, { 168, 261, 272 } ], [ { 95, 268, 275 }, { 95, 273, 275 }, { 70, 268, 273, 275 }, { 70, 95, 268 }, { 70, 95, 273 } ], [ { 70, 95, 198, 261 }, { 70, 198, 273 }, { 198, 261, 273 }, { 95, 261, 273 }, { 70, 95, 273 } ], [ { 95, 261, 273 }, { 95, 273, 275 }, { 47, 95, 261 }, { 47, 95, 275 }, { 47, 275, 276 }, { 47, 261, 276 }, { 261, 273, 276 }, { 273, 275, 276 } ] ] /* Order of PGL_2(O) stabilizers of Voronoi top cells */ [ 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, 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, 3, 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, 3, 3, 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, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 2, 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, 2, 1, 1, 2, 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, 2, 1, 1, 1, 1, 3, 1, 1, 1, 2, 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>, <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>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <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>, <6, 2>, <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>, <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>, <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>, <6, 2>, <2, 1>, <2, 1>, <4, 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>, <4, 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>, <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>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <6, 2> ]