/* Defining polynomial */ x^2 - x + 100 /* Minimal vectors */ [ <4*w + 63, -8*w + 4>, <12*w + 66, -13*w + 74>, <-17*w + 68, 4*w - 186>, <-13*w + 131, -4*w - 182>, , <-8*w + 4, 4*w - 73>, <4*w + 43, -6*w + 16>, <-4*w + 47, -2*w - 57>, <7*w + 47, -8*w + 41>, <-7*w + 54, -w - 87>, <101, -9*w - 46>, , <-5*w + 94, -5*w - 89>, <-4*w + 99, -6*w - 83>, <12*w, -7*w + 101>, , , <2*w + 22, -3*w + 4>, <-2*w + 28, -w - 31>, <3*w + 1, -2*w + 24>, <-2*w + 3, w - 18>, , <-w + 32, -2*w - 26>, <-5*w + 2, 3*w - 42>, <-w + 20, -w - 19>, <2*w + 21, -3*w + 5>, <8*w + 2, -5*w + 67>, <-w + 7, -12>, <2*w + 21, -3*w + 6>, , <-4*w + 52, -2*w - 61>, <4*w + 54, -7*w + 6>, <2*w + 9, -2*w + 13>, <5*w + 11, -4*w + 38>, <23, -2*w - 12>, <-3*w + 55, -3*w - 55>, <11*w + 16, -8*w + 89>, <-8*w + 77, -2*w - 110>, <-6*w + 86, -4*w - 97>, <-9*w + 95, -3*w - 128>, <2*w + 111, -11*w - 39>, <-w + 18, -w - 18>, <10*w + 34, -9*w + 71>, <11, -w - 6>, <-2*w + 14, -25>, <3*w + 24, -4*w + 14>, <-2*w + 25, -w - 31>, <-4*w + 5, 2*w - 38>, <3*w + 13, -3*w + 20>, <-4*w + 16, w - 44>, , <-3*w + 43, -2*w - 49>, <5*w + 11, -4*w + 39>, <-w + 29, -2*w - 24>, <-3*w + 20, -37>, <-4*w + 38, -w - 55>, <-3*w + 65, -4*w - 60>, <4*w + 29, -5*w + 21>, <-2*w + 47, -3*w - 42>, <-7*w + 2, 4*w - 64>, <-2*w + 2, w - 19>, <-5*w + 22, w - 56>, , <5*w, -3*w + 45>, <6*w + 5, -4*w + 51>, <-2*w + 58, -4*w - 47>, <3*w + 2, -2*w + 26>, <2*w + 20, -3*w + 8>, <-3*w + 31, -w - 43>, <-w + 51, -4*w - 35>, <-5*w + 11, 2*w - 51>, <33, -3*w - 17>, , <8*w + 26, -7*w + 58>, <-4*w + 49, -2*w - 60>, <5*w + 57, -8*w + 16>, <-3*w + 65, -4*w - 59>, <-7*w + 24, 2*w - 74>, <34, -3*w - 17>, <-7*w + 58, -w - 91>, <3*w + 59, -7*w - 3>, <2*w + 77, -8*w - 21>, <-9*w + 10, 4*w - 84>, <-w + 40, -3*w - 27>, <-3*w + 41, -2*w - 45>, <-10*w + 50, w - 111>, <7*w + 59, -9*w + 35>, <8*w + 30, -7*w + 57>, <68, -6*w - 31>, <-2*w + 69, -5*w - 49>, <-5*w + 8, 2*w - 48>, <-5*w + 19, w - 53>, <7*w + 25, -6*w + 51>, <4*w + 32, -5*w + 21>, <2*w + 44, -5*w - 2>, <3*w + 4, -2*w + 25>, <-3*w + 7, w - 30>, <8*w + 63, -10*w + 43>, <5*w + 70, -9*w + 13>, <-8*w + 71, -2*w - 104>, <-5*w + 75, -4*w - 79>, , <5*w + 82, -10*w + 7>, <-5*w + 87, -5*w - 84>, <22, -2*w - 11>, , <-3*w + 9, w - 32>, <-2*w + 13, -25>, <3*w + 3, -2*w + 26>, <-w + 6, -12>, <2*w + 9, -2*w + 14>, <-4*w + 25, -49>, <2*w + 20, -3*w + 9>, , <-2*w + 34, -2*w - 35>, , <21, -2*w - 10>, <-2*w + 23, -w - 30>, <-2*w + 2, w - 20>, <10, -w - 5>, <-2*w + 12, -25>, <2*w + 9, -2*w + 15>, <-4*w + 14, w - 45>, <-5*w + 106, -6*w - 95>, <7*w + 106, -13*w + 6>, <7*w + 94, -12*w + 12>, <-13*w + 7, 7*w - 113>, <-6*w + 101, -5*w - 101>, , , <14, -w - 8>, <24, -2*w - 13>, <3*w + 2, -2*w + 24>, <-2*w + 27, -w - 31>, <2*w + 9, -2*w + 12>, <-2*w + 15, -25>, , <-3*w + 34, -w - 44>, <3*w + 14, -3*w + 18>, <-4*w + 29, -49>, <-3*w + 10, w - 31>, <-2*w + 3, w - 19>, <2*w + 8, -2*w + 13>, <-w + 19, -w - 19>, <-4*w + 28, -49>, <-4*w + 5, 2*w - 37>, <5*w + 24, -5*w + 31>, <-3*w + 32, -w - 42>, <58, -5*w - 29>, <-3*w + 9, w - 31>, <-2*w + 25, -w - 30>, <4*w + 30, -5*w + 20>, , <-w + 30, -2*w - 24>, <3*w + 14, -3*w + 19>, <4*w + 19, -4*w + 25>, , <6*w + 18, -5*w + 45>, <2*w + 21, -3*w + 8>, <-w + 40, -3*w - 28>, <-4*w + 70, -4*w - 69>, <-2*w + 91, -7*w - 61>, <-3*w + 8, w - 31>, <-4*w + 14, w - 43>, <4*w + 19, -4*w + 27>, , <11, -w - 5>, , <-6*w + 17, 2*w - 62>, <-5*w + 33, -61>, <2*w + 54, -6*w - 9>, <-5*w + 89, -5*w - 89>, <-9*w + 37, 2*w - 99>, <56, -5*w - 28>, <5*w + 23, -5*w + 33>, <-8*w + 53, -98>, <-10*w + 10, 5*w - 94>, <4*w + 41, -6*w + 15>, <-4*w + 5, 2*w - 39>, <4*w + 6, -3*w + 33>, <7*w + 8, -5*w + 59>, <11*w + 14, -8*w + 92>, <-2*w + 69, -5*w - 54>, <-3*w + 109, -8*w - 84>, <3*w + 35, -5*w + 9>, <2*w + 75, -8*w - 21>, <5*w + 10, -4*w + 40>, <-6*w + 30, w - 70>, <-2*w + 36, -2*w - 37>, <-2*w + 47, -3*w - 43>, <2*w + 21, -3*w + 7>, <3*w + 26, -4*w + 13>, <46, -4*w - 23>, <7*w + 10, -5*w + 57>, <-4*w + 4, 2*w - 37>, <-2*w + 1, w - 18>, <-4*w + 70, -4*w - 67>, <2*w + 33, -4*w + 3>, <-10*w + 5, 5*w - 92>, <33, -3*w - 16>, <-w + 17, -w - 18>, <11*w + 7, -7*w + 89>, <12, -w - 6>, <-11*w + 5, 6*w - 95>, <6*w + 101, -12*w>, <-12*w + 12, 6*w - 107>, <6*w + 89, -11*w + 6>, <1, -1>, <-2*w + 15, -24>, <-3*w + 19, -36>, <-9*w + 1, 5*w - 81>, <3*w + 48, -6*w + 4>, <-6*w + 49, -w - 77>, <2*w + 88, -9*w - 24>, <4*w + 8, -3*w + 32>, <-2*w + 13, -24>, <-w + 29, -2*w - 23>, <-5*w + 32, -60>, <3*w + 37, -5*w + 9>, <56, -5*w - 27>, <6*w + 7, -4*w + 50>, <2*w + 10, -2*w + 13>, <6*w + 95, -12*w + 6>, <-3*w + 20, -36>, <-w + 41, -3*w - 29>, <5*w + 25, -5*w + 33>, <56, -5*w - 26>, <-2*w + 12, -23>, <0, 1>, <23, -2*w - 11>, <-w + 6, -11>, , <23, -2*w - 10>, <-w + 18, -w - 17>, <1, 0> ] /* Voronoi top cells */ [ { 1, 2, 3, 4, 5 }, { 6, 7, 8, 9, 10, 11 }, { 12, 13, 14, 15 }, { 16, 17, 18, 19 }, { 20, 21, 22, 23 }, { 20, 21, 24, 25 }, { 21, 22, 23, 26 }, { 27, 28, 29, 30, 31, 32 }, { 33, 34, 35, 36 }, { 33, 37, 38, 39, 40, 41 }, { 33, 37, 39, 42, 43 }, { 44, 45, 46, 47 }, { 33, 45, 47, 48 }, { 49, 50, 51, 52 }, { 50, 51, 53, 54 }, { 42, 55, 56, 57 }, { 42, 57, 58, 59 }, { 55, 60, 61, 62 }, { 60, 61, 63, 64 }, { 1, 2, 5, 65, 66 }, { 67, 68, 69, 70 }, { 68, 69, 71, 72 }, { 73, 74, 75, 76, 77 }, { 42, 78, 79, 80, 81, 82 }, { 83, 84, 85, 86, 87 }, { 83, 84, 88, 89, 90 }, { 91, 92, 93, 94, 95 }, { 96, 97, 98, 99, 100, 101 }, { 7, 8, 84, 102, 103, 104 }, { 7, 8, 9, 10, 96, 97 }, { 68, 71, 72, 105 }, { 105, 106, 107, 108 }, { 109, 110, 111, 112 }, { 110, 111, 112, 113 }, { 111, 113, 114, 115 }, { 110, 113, 114, 116 }, { 114, 116, 117, 118 }, { 114, 119, 120, 121 }, { 117, 120, 121, 122 }, { 114, 117, 121, 123 }, { 12, 15, 124, 125 }, { 12, 13, 15, 126 }, { 12, 126, 127, 128 }, { 16, 129, 130, 131 }, { 16, 17, 18, 25 }, { 20, 21, 22, 25 }, { 21, 22, 26, 132 }, { 21, 28, 132, 133, 134 }, { 28, 132, 133, 135 }, { 22, 132, 135, 136 }, { 135, 136, 137, 138 }, { 28, 29, 135, 139, 140 }, { 29, 135, 137, 141 }, { 22, 142, 143, 144 }, { 22, 136, 137, 144 }, { 28, 29, 30, 137 }, { 28, 30, 35, 145 }, { 30, 35, 137, 146 }, { 12, 147, 148, 149 }, { 42, 150, 151, 152, 153 }, { 28, 35, 145, 154 }, { 33, 35, 36, 45 }, { 28, 154, 155, 156 }, { 33, 37, 41, 42, 150 }, { 33, 44, 45, 47 }, { 33, 47, 48, 49, 157 }, { 33, 49, 51, 52 }, { 158, 159, 160, 161, 162 }, { 163, 164, 165, 166 }, { 164, 166, 167, 168 }, { 169, 170, 171, 172 }, { 61, 66, 173, 174 }, { 65, 66, 174, 175, 176 }, { 75, 170, 177, 178 }, { 170, 175, 177, 178 }, { 49, 50, 51, 54 }, { 42, 51, 54, 59 }, { 42, 55, 57, 58 }, { 42, 54, 58, 59 }, { 61, 63, 64, 67 }, { 55, 60, 61, 63 }, { 1, 42, 61, 65, 66 }, { 61, 64, 67, 68 }, { 67, 68, 69, 72 }, { 72, 106, 107, 179 }, { 180, 181, 182, 183, 184 }, { 67, 180, 181, 185, 186 }, { 44, 180, 187, 188, 189, 190 }, { 12, 148, 191, 192 }, { 148, 151, 191, 193 }, { 73, 75, 77, 178, 194 }, { 42, 78, 79, 81, 178, 194 }, { 42, 79, 151, 152, 195 }, { 85, 90, 196, 197 }, { 83, 84, 85, 87, 90 }, { 84, 91, 95, 97 }, { 84, 91, 92, 94, 95 }, { 84, 92, 94, 198 }, { 96, 97, 99, 101, 167, 199 }, { 7, 8, 84, 96, 97, 102 }, { 61, 68, 72, 105 }, { 72, 105, 106, 107 }, { 105, 109, 110, 200 }, { 105, 106, 108, 111 }, { 105, 109, 110, 111 }, { 110, 163, 164, 200 }, { 110, 111, 113, 114 }, { 114, 119, 120, 201 }, { 110, 117, 120, 122 }, { 110, 114, 116, 117 }, { 114, 117, 120, 121 }, { 12, 15, 124, 126, 128 }, { 12, 124, 202, 203 }, { 124, 203, 204, 205 }, { 28, 128, 206, 207 }, { 16, 129, 130, 208 }, { 16, 17, 203, 209 }, { 16, 17, 21, 22, 25 }, { 21, 22, 28, 132 }, { 22, 28, 132, 135 }, { 22, 135, 136, 137 }, { 28, 29, 135, 137 }, { 22, 44, 142, 143 }, { 22, 137, 142, 144 }, { 28, 30, 35, 137 }, { 12, 28, 147, 148 }, { 28, 148, 151, 155 }, { 42, 150, 151, 153, 155 }, { 28, 33, 35, 154 }, { 33, 35, 44, 45 }, { 28, 33, 154, 155 }, { 33, 42, 150, 155 }, { 33, 44, 47, 49 }, { 33, 42, 49, 51 }, { 159, 167, 168, 210 }, { 158, 159, 160, 161, 210, 211, 212, 213, 214 }, { 73, 160, 210, 215, 216, 217, 218, 219, 220 }, { 159, 160, 221, 222 }, { 163, 164, 166, 167 }, { 166, 167, 168, 210 }, { 73, 169, 170, 171 }, { 170, 174, 175, 223 }, { 61, 170, 171, 174 }, { 42, 61, 65, 66, 174, 175 }, { 73, 75, 170, 178 }, { 42, 170, 175, 178 }, { 42, 49, 51, 54 }, { 42, 54, 55, 58 }, { 55, 61, 63, 67 }, { 1, 42, 55, 61 }, { 61, 67, 68, 72 }, { 67, 72, 106, 179, 185 }, { 54, 67, 180, 181, 183 }, { 67, 106, 179, 180, 185 }, { 44, 106, 180, 187 }, { 12, 191, 192, 224 }, { 73, 191, 224, 225 }, { 12, 148, 151, 191 }, { 42, 73, 79, 178, 194 }, { 42, 79, 151, 191, 195 }, { 84, 85, 90, 196 }, { 84, 92, 95, 97, 198 }, { 84, 96, 97, 102, 167 }, { 61, 72, 105, 106 }, { 61, 105, 110, 200 }, { 105, 106, 110, 111 }, { 61, 110, 163, 200 }, { 110, 163, 164, 167 }, { 106, 110, 111, 114 }, { 106, 114, 120, 201 }, { 110, 114, 117, 120 }, { 12, 124, 128, 205, 206 }, { 12, 124, 203, 205 }, { 12, 28, 128, 206 }, { 16, 22, 129, 208 }, { 16, 17, 21, 22, 28, 203 }, { 22, 28, 135, 137 }, { 22, 44, 137, 142 }, { 28, 35, 44, 137 }, { 12, 28, 148, 151 }, { 28, 42, 151, 155 }, { 28, 33, 35, 44 }, { 28, 33, 42, 155 }, { 33, 42, 44, 49 }, { 73, 159, 167, 210 }, { 73, 159, 160, 210, 216 }, { 159, 167, 222, 226, 227 }, { 159, 160, 216, 222 }, { 61, 163, 166, 167 }, { 73, 166, 167, 210 }, { 61, 73, 170, 171 }, { 42, 61, 170, 174, 175 }, { 42, 73, 170, 178 }, { 42, 44, 49, 54 }, { 42, 54, 55, 61, 67 }, { 61, 67, 72, 106 }, { 44, 54, 67, 106, 180 }, { 12, 73, 191, 224 }, { 12, 42, 151, 191 }, { 42, 73, 79, 191 }, { 84, 85, 196, 228 }, { 84, 97, 167, 198, 228 }, { 61, 105, 106, 110 }, { 61, 110, 163, 167 }, { 106, 110, 114, 120 }, { 12, 28, 203, 205, 206 }, { 16, 22, 28, 203, 208 }, { 22, 28, 44, 137 }, { 12, 28, 42, 151 }, { 28, 33, 42, 44 }, { 73, 159, 167, 216, 222 }, { 61, 73, 166, 167 }, { 42, 61, 73, 170 }, { 42, 44, 54, 61, 67, 106 }, { 12, 42, 73, 191 }, { 84, 167, 196, 228 }, { 61, 106, 110, 167 }, { 106, 110, 120, 229 }, { 12, 28, 203, 208 }, { 22, 28, 44, 208 }, { 12, 28, 42, 44 }, { 12, 73, 167, 216, 222, 230 }, { 61, 73, 106, 167 }, { 42, 44, 61, 73, 106 }, { 12, 42, 44, 73 }, { 167, 196, 228, 231, 232, 233 }, { 106, 110, 167, 229 }, { 12, 28, 44, 208 }, { 12, 44, 73, 106, 167 }, { 12, 167, 196, 231, 232, 234 }, { 12, 44, 106, 167, 208, 229 }, { 12, 167, 208, 229, 231, 235 } ] /* Faces of top cells */ [ [ { 2, 3, 4, 5 }, { 1, 3, 4 }, { 1, 2, 4 }, { 1, 3, 5 }, { 1, 2, 5 } ], [ { 7, 8, 9, 10 }, { 6, 7, 9, 11 }, { 6, 7, 8 }, { 6, 8, 10, 11 }, { 9, 10, 11 } ], [ { 13, 14, 15 }, { 12, 14, 15 }, { 12, 13, 15 }, { 12, 13, 14 } ], [ { 17, 18, 19 }, { 16, 18, 19 }, { 16, 17, 19 }, { 16, 17, 18 } ], [ { 21, 22, 23 }, { 20, 22, 23 }, { 20, 21, 23 }, { 20, 21, 22 } ], [ { 21, 24, 25 }, { 20, 21, 25 }, { 20, 24, 25 }, { 20, 21, 24 } ], [ { 22, 23, 26 }, { 21, 23, 26 }, { 21, 22, 23 }, { 21, 22, 26 } ], [ { 28, 29, 30 }, { 27, 29, 30, 31 }, { 27, 28, 30, 32 }, { 28, 29, 31, 32 }, { 27, 31, 32 } ], [ { 34, 35, 36 }, { 33, 35, 36 }, { 33, 34, 36 }, { 33, 34, 35 } ], [ { 33, 38, 39 }, { 33, 37, 39 }, { 38, 39, 40 }, { 37, 39, 40 }, { 37, 40, 41 }, { 33, 37, 41 }, { 38, 40, 41 }, { 33, 38, 41 } ], [ { 37, 42, 43 }, { 33, 39, 42, 43 }, { 33, 37, 42 }, { 37, 39, 43 }, { 33, 37, 39 } ], [ { 45, 46, 47 }, { 44, 46, 47 }, { 44, 45, 47 }, { 44, 45, 46 } ], [ { 33, 45, 47 }, { 45, 47, 48 }, { 33, 47, 48 }, { 33, 45, 48 } ], [ { 50, 51, 52 }, { 49, 51, 52 }, { 49, 50, 52 }, { 49, 50, 51 } ], [ { 50, 51, 54 }, { 51, 53, 54 }, { 50, 53, 54 }, { 50, 51, 53 } ], [ { 55, 56, 57 }, { 42, 56, 57 }, { 42, 55, 57 }, { 42, 55, 56 } ], [ { 57, 58, 59 }, { 42, 57, 59 }, { 42, 57, 58 }, { 42, 58, 59 } ], [ { 55, 61, 62 }, { 55, 60, 62 }, { 60, 61, 62 }, { 55, 60, 61 } ], [ { 61, 63, 64 }, { 60, 63, 64 }, { 60, 61, 64 }, { 60, 61, 63 } ], [ { 1, 2, 66 }, { 2, 5, 65, 66 }, { 1, 65, 66 }, { 1, 2, 5 }, { 1, 5, 65 } ], [ { 68, 69, 70 }, { 67, 69, 70 }, { 67, 68, 70 }, { 67, 68, 69 } ], [ { 68, 69, 72 }, { 69, 71, 72 }, { 68, 71, 72 }, { 68, 69, 71 } ], [ { 74, 75, 76, 77 }, { 73, 75, 76 }, { 73, 74, 76 }, { 73, 75, 77 }, { 73, 74, 77 } ], [ { 78, 79, 80 }, { 42, 79, 80, 82 }, { 42, 78, 79, 81 }, { 78, 80, 81, 82 }, { 42, 81, 82 } ], [ { 84, 85, 86 }, { 83, 84, 86 }, { 83, 84, 85, 87 }, { 83, 86, 87 }, { 85, 86, 87 } ], [ { 84, 88, 89 }, { 83, 88, 89, 90 }, { 83, 84, 88 }, { 84, 89, 90 }, { 83, 84, 90 } ], [ { 92, 93, 94 }, { 91, 93, 94 }, { 91, 92, 94, 95 }, { 92, 93, 95 }, { 91, 93, 95 } ], [ { 97, 98, 99 }, { 96, 97, 99, 101 }, { 96, 97, 98, 100 }, { 98, 99, 100, 101 }, { 96, 100, 101 } ], [ { 84, 102, 103, 104 }, { 7, 8, 84, 102 }, { 8, 102, 103 }, { 7, 8, 103, 104 }, { 7, 84, 104 } ], [ { 7, 9, 97 }, { 9, 10, 96, 97 }, { 7, 8, 96, 97 }, { 7, 8, 9, 10 }, { 8, 10, 96 } ], [ { 68, 72, 105 }, { 71, 72, 105 }, { 68, 71, 72 }, { 68, 71, 105 } ], [ { 105, 107, 108 }, { 105, 106, 108 }, { 105, 106, 107 }, { 106, 107, 108 } ], [ { 110, 111, 112 }, { 109, 111, 112 }, { 109, 110, 112 }, { 109, 110, 111 } ], [ { 111, 112, 113 }, { 110, 112, 113 }, { 110, 111, 112 }, { 110, 111, 113 } ], [ { 113, 114, 115 }, { 111, 113, 115 }, { 111, 114, 115 }, { 111, 113, 114 } ], [ { 113, 114, 116 }, { 110, 113, 116 }, { 110, 114, 116 }, { 110, 113, 114 } ], [ { 116, 117, 118 }, { 114, 116, 118 }, { 114, 116, 117 }, { 114, 117, 118 } ], [ { 114, 120, 121 }, { 114, 119, 121 }, { 114, 119, 120 }, { 119, 120, 121 } ], [ { 117, 120, 121 }, { 117, 121, 122 }, { 117, 120, 122 }, { 120, 121, 122 } ], [ { 114, 117, 123 }, { 114, 117, 121 }, { 117, 121, 123 }, { 114, 121, 123 } ], [ { 15, 124, 125 }, { 12, 15, 125 }, { 12, 15, 124 }, { 12, 124, 125 } ], [ { 13, 15, 126 }, { 12, 15, 126 }, { 12, 13, 15 }, { 12, 13, 126 } ], [ { 126, 127, 128 }, { 12, 126, 128 }, { 12, 127, 128 }, { 12, 126, 127 } ], [ { 16, 130, 131 }, { 16, 129, 131 }, { 129, 130, 131 }, { 16, 129, 130 } ], [ { 17, 18, 25 }, { 16, 18, 25 }, { 16, 17, 18 }, { 16, 17, 25 } ], [ { 21, 22, 25 }, { 20, 22, 25 }, { 20, 21, 25 }, { 20, 21, 22 } ], [ { 22, 26, 132 }, { 21, 26, 132 }, { 21, 22, 132 }, { 21, 22, 26 } ], [ { 21, 28, 132 }, { 28, 132, 133 }, { 21, 28, 133, 134 }, { 132, 133, 134 }, { 21, 132, 134 } ], [ { 28, 132, 135 }, { 132, 133, 135 }, { 28, 132, 133 }, { 28, 133, 135 } ], [ { 132, 135, 136 }, { 22, 132, 136 }, { 22, 132, 135 }, { 22, 135, 136 } ], [ { 136, 137, 138 }, { 135, 137, 138 }, { 135, 136, 138 }, { 135, 136, 137 } ], [ { 28, 29, 139 }, { 28, 29, 135 }, { 28, 135, 139, 140 }, { 29, 139, 140 }, { 29, 135, 140 } ], [ { 29, 137, 141 }, { 29, 135, 137 }, { 29, 135, 141 }, { 135, 137, 141 } ], [ { 22, 143, 144 }, { 142, 143, 144 }, { 22, 142, 144 }, { 22, 142, 143 } ], [ { 136, 137, 144 }, { 22, 137, 144 }, { 22, 136, 144 }, { 22, 136, 137 } ], [ { 29, 30, 137 }, { 28, 29, 30 }, { 28, 30, 137 }, { 28, 29, 137 } ], [ { 30, 35, 145 }, { 28, 30, 145 }, { 28, 30, 35 }, { 28, 35, 145 } ], [ { 30, 35, 137 }, { 30, 35, 146 }, { 30, 137, 146 }, { 35, 137, 146 } ], [ { 147, 148, 149 }, { 12, 148, 149 }, { 12, 147, 149 }, { 12, 147, 148 } ], [ { 42, 151, 152 }, { 42, 150, 152 }, { 42, 150, 151, 153 }, { 151, 152, 153 }, { 150, 152, 153 } ], [ { 35, 145, 154 }, { 28, 145, 154 }, { 28, 35, 154 }, { 28, 35, 145 } ], [ { 35, 36, 45 }, { 33, 35, 36 }, { 33, 36, 45 }, { 33, 35, 45 } ], [ { 154, 155, 156 }, { 28, 154, 156 }, { 28, 154, 155 }, { 28, 155, 156 } ], [ { 33, 37, 42 }, { 37, 41, 42, 150 }, { 33, 42, 150 }, { 33, 37, 41 }, { 33, 41, 150 } ], [ { 44, 45, 47 }, { 33, 45, 47 }, { 33, 44, 47 }, { 33, 44, 45 } ], [ { 33, 47, 49 }, { 33, 47, 48 }, { 33, 48, 49, 157 }, { 47, 49, 157 }, { 47, 48, 157 } ], [ { 49, 51, 52 }, { 33, 51, 52 }, { 33, 49, 52 }, { 33, 49, 51 } ], [ { 159, 160, 162 }, { 158, 160, 162 }, { 158, 159, 160, 161 }, { 159, 161, 162 }, { 158, 161, 162 } ], [ { 164, 165, 166 }, { 163, 165, 166 }, { 163, 164, 166 }, { 163, 164, 165 } ], [ { 164, 166, 168 }, { 166, 167, 168 }, { 164, 167, 168 }, { 164, 166, 167 } ], [ { 170, 171, 172 }, { 169, 171, 172 }, { 169, 170, 172 }, { 169, 170, 171 } ], [ { 66, 173, 174 }, { 61, 66, 174 }, { 61, 66, 173 }, { 61, 173, 174 } ], [ { 174, 175, 176 }, { 65, 66, 174, 175 }, { 65, 175, 176 }, { 65, 66, 176 }, { 66, 174, 176 } ], [ { 75, 170, 178 }, { 75, 177, 178 }, { 75, 170, 177 }, { 170, 177, 178 } ], [ { 170, 175, 178 }, { 170, 177, 178 }, { 175, 177, 178 }, { 170, 175, 177 } ], [ { 50, 51, 54 }, { 49, 51, 54 }, { 49, 50, 54 }, { 49, 50, 51 } ], [ { 51, 54, 59 }, { 42, 54, 59 }, { 42, 51, 59 }, { 42, 51, 54 } ], [ { 55, 57, 58 }, { 42, 57, 58 }, { 42, 55, 57 }, { 42, 55, 58 } ], [ { 54, 58, 59 }, { 42, 58, 59 }, { 42, 54, 59 }, { 42, 54, 58 } ], [ { 63, 64, 67 }, { 61, 63, 64 }, { 61, 64, 67 }, { 61, 63, 67 } ], [ { 55, 61, 63 }, { 55, 60, 63 }, { 60, 61, 63 }, { 55, 60, 61 } ], [ { 1, 42, 65 }, { 1, 42, 61 }, { 42, 61, 65, 66 }, { 1, 65, 66 }, { 1, 61, 66 } ], [ { 64, 67, 68 }, { 61, 64, 68 }, { 61, 64, 67 }, { 61, 67, 68 } ], [ { 68, 69, 72 }, { 67, 69, 72 }, { 67, 68, 72 }, { 67, 68, 69 } ], [ { 72, 107, 179 }, { 72, 106, 107 }, { 72, 106, 179 }, { 106, 107, 179 } ], [ { 181, 182, 183, 184 }, { 180, 181, 183 }, { 180, 181, 182 }, { 180, 182, 184 }, { 180, 183, 184 } ], [ { 67, 181, 185, 186 }, { 67, 180, 185 }, { 67, 180, 181 }, { 180, 181, 186 }, { 180, 185, 186 } ], [ { 180, 187, 188 }, { 44, 180, 187 }, { 44, 180, 189 }, { 180, 188, 189 }, { 187, 188, 190 }, { 44, 187, 190 }, { 188, 189, 190 }, { 44, 189, 190 } ], [ { 148, 191, 192 }, { 12, 148, 192 }, { 12, 148, 191 }, { 12, 191, 192 } ], [ { 148, 151, 193 }, { 148, 191, 193 }, { 151, 191, 193 }, { 148, 151, 191 } ], [ { 73, 75, 178 }, { 75, 77, 178, 194 }, { 73, 178, 194 }, { 73, 75, 77 }, { 73, 77, 194 } ], [ { 42, 78, 79, 81 }, { 78, 79, 194 }, { 42, 79, 178, 194 }, { 78, 81, 178, 194 }, { 42, 81, 178 } ], [ { 42, 151, 152 }, { 151, 152, 195 }, { 42, 79, 151, 195 }, { 79, 152, 195 }, { 42, 79, 152 } ], [ { 85, 90, 197 }, { 90, 196, 197 }, { 85, 196, 197 }, { 85, 90, 196 } ], [ { 84, 85, 90 }, { 83, 84, 90 }, { 83, 84, 85, 87 }, { 83, 87, 90 }, { 85, 87, 90 } ], [ { 84, 91, 95 }, { 84, 95, 97 }, { 91, 95, 97 }, { 84, 91, 97 } ], [ { 84, 92, 94 }, { 84, 91, 94 }, { 91, 92, 94, 95 }, { 84, 91, 95 }, { 84, 92, 95 } ], [ { 84, 94, 198 }, { 84, 92, 198 }, { 84, 92, 94 }, { 92, 94, 198 } ], [ { 97, 99, 167, 199 }, { 96, 97, 167 }, { 96, 101, 167, 199 }, { 96, 97, 99, 101 }, { 99, 101, 199 } ], [ { 7, 8, 96, 97 }, { 84, 96, 97, 102 }, { 7, 8, 84, 102 }, { 7, 84, 97 }, { 8, 96, 102 } ], [ { 68, 72, 105 }, { 61, 72, 105 }, { 61, 68, 72 }, { 61, 68, 105 } ], [ { 72, 105, 107 }, { 72, 105, 106 }, { 72, 106, 107 }, { 105, 106, 107 } ], [ { 105, 110, 200 }, { 105, 109, 200 }, { 109, 110, 200 }, { 105, 109, 110 } ], [ { 105, 108, 111 }, { 105, 106, 108 }, { 105, 106, 111 }, { 106, 108, 111 } ], [ { 105, 110, 111 }, { 105, 109, 111 }, { 105, 109, 110 }, { 109, 110, 111 } ], [ { 163, 164, 200 }, { 110, 164, 200 }, { 110, 163, 200 }, { 110, 163, 164 } ], [ { 111, 113, 114 }, { 110, 113, 114 }, { 110, 111, 113 }, { 110, 111, 114 } ], [ { 114, 120, 201 }, { 114, 119, 201 }, { 119, 120, 201 }, { 114, 119, 120 } ], [ { 117, 120, 122 }, { 110, 117, 120 }, { 110, 117, 122 }, { 110, 120, 122 } ], [ { 114, 116, 117 }, { 110, 116, 117 }, { 110, 114, 116 }, { 110, 114, 117 } ], [ { 114, 117, 121 }, { 114, 117, 120 }, { 117, 120, 121 }, { 114, 120, 121 } ], [ { 15, 124, 126, 128 }, { 12, 124, 128 }, { 12, 126, 128 }, { 12, 15, 126 }, { 12, 15, 124 } ], [ { 124, 202, 203 }, { 12, 124, 203 }, { 12, 124, 202 }, { 12, 202, 203 } ], [ { 124, 203, 205 }, { 124, 204, 205 }, { 124, 203, 204 }, { 203, 204, 205 } ], [ { 128, 206, 207 }, { 28, 128, 207 }, { 28, 128, 206 }, { 28, 206, 207 } ], [ { 16, 129, 130 }, { 16, 130, 208 }, { 16, 129, 208 }, { 129, 130, 208 } ], [ { 17, 203, 209 }, { 16, 17, 209 }, { 16, 17, 203 }, { 16, 203, 209 } ], [ { 16, 22, 25 }, { 21, 22, 25 }, { 16, 17, 21, 22 }, { 17, 21, 25 }, { 16, 17, 25 } ], [ { 22, 28, 132 }, { 21, 28, 132 }, { 21, 22, 132 }, { 21, 22, 28 } ], [ { 28, 132, 135 }, { 22, 132, 135 }, { 22, 28, 132 }, { 22, 28, 135 } ], [ { 135, 136, 137 }, { 22, 136, 137 }, { 22, 135, 137 }, { 22, 135, 136 } ], [ { 29, 135, 137 }, { 28, 29, 137 }, { 28, 29, 135 }, { 28, 135, 137 } ], [ { 22, 44, 143 }, { 44, 142, 143 }, { 22, 44, 142 }, { 22, 142, 143 } ], [ { 22, 137, 144 }, { 137, 142, 144 }, { 22, 142, 144 }, { 22, 137, 142 } ], [ { 30, 35, 137 }, { 28, 30, 35 }, { 28, 30, 137 }, { 28, 35, 137 } ], [ { 28, 147, 148 }, { 12, 147, 148 }, { 12, 28, 148 }, { 12, 28, 147 } ], [ { 148, 151, 155 }, { 28, 148, 151 }, { 28, 148, 155 }, { 28, 151, 155 } ], [ { 42, 151, 155 }, { 42, 150, 151, 153 }, { 42, 150, 155 }, { 151, 153, 155 }, { 150, 153, 155 } ], [ { 33, 35, 154 }, { 28, 35, 154 }, { 28, 33, 154 }, { 28, 33, 35 } ], [ { 35, 44, 45 }, { 33, 35, 45 }, { 33, 35, 44 }, { 33, 44, 45 } ], [ { 33, 154, 155 }, { 28, 154, 155 }, { 28, 33, 154 }, { 28, 33, 155 } ], [ { 33, 42, 155 }, { 42, 150, 155 }, { 33, 42, 150 }, { 33, 150, 155 } ], [ { 44, 47, 49 }, { 33, 47, 49 }, { 33, 44, 47 }, { 33, 44, 49 } ], [ { 42, 49, 51 }, { 33, 42, 51 }, { 33, 49, 51 }, { 33, 42, 49 } ], [ { 159, 168, 210 }, { 159, 167, 168 }, { 167, 168, 210 }, { 159, 167, 210 } ], [ { 158, 160, 210, 211, 212, 214 }, { 158, 159, 160, 161 }, { 159, 160, 210 }, { 159, 210, 212, 213 }, { 211, 212, 213 }, { 161, 211, 213, 214 }, { 159, 161, 213 }, { 158, 161, 214 } ], [ { 73, 160, 210, 216 }, { 73, 210, 215 }, { 73, 216, 217 }, { 73, 215, 217, 220 }, { 160, 210, 215, 218, 219, 220 }, { 216, 217, 218, 219 }, { 160, 216, 219 }, { 217, 218, 220 } ], [ { 159, 160, 222 }, { 159, 160, 221 }, { 160, 221, 222 }, { 159, 221, 222 } ], [ { 164, 166, 167 }, { 163, 164, 166 }, { 163, 166, 167 }, { 163, 164, 167 } ], [ { 166, 168, 210 }, { 166, 167, 168 }, { 167, 168, 210 }, { 166, 167, 210 } ], [ { 169, 170, 171 }, { 73, 170, 171 }, { 73, 169, 171 }, { 73, 169, 170 } ], [ { 170, 174, 223 }, { 174, 175, 223 }, { 170, 175, 223 }, { 170, 174, 175 } ], [ { 170, 171, 174 }, { 61, 171, 174 }, { 61, 170, 174 }, { 61, 170, 171 } ], [ { 42, 65, 175 }, { 42, 61, 174, 175 }, { 42, 61, 65, 66 }, { 65, 66, 174, 175 }, { 61, 66, 174 } ], [ { 75, 170, 178 }, { 73, 75, 178 }, { 73, 75, 170 }, { 73, 170, 178 } ], [ { 170, 175, 178 }, { 42, 170, 178 }, { 42, 175, 178 }, { 42, 170, 175 } ], [ { 42, 51, 54 }, { 49, 51, 54 }, { 42, 49, 54 }, { 42, 49, 51 } ], [ { 54, 55, 58 }, { 42, 54, 58 }, { 42, 55, 58 }, { 42, 54, 55 } ], [ { 55, 63, 67 }, { 55, 61, 63 }, { 61, 63, 67 }, { 55, 61, 67 } ], [ { 1, 42, 55 }, { 1, 55, 61 }, { 1, 42, 61 }, { 42, 55, 61 } ], [ { 67, 68, 72 }, { 61, 68, 72 }, { 61, 67, 72 }, { 61, 67, 68 } ], [ { 72, 106, 179 }, { 67, 72, 106 }, { 67, 106, 179, 185 }, { 72, 179, 185 }, { 67, 72, 185 } ], [ { 54, 67, 181, 183 }, { 54, 67, 180 }, { 67, 180, 181 }, { 54, 180, 183 }, { 180, 181, 183 } ], [ { 106, 179, 180 }, { 67, 106, 180 }, { 67, 106, 179, 185 }, { 179, 180, 185 }, { 67, 180, 185 } ], [ { 44, 180, 187 }, { 44, 106, 187 }, { 44, 106, 180 }, { 106, 180, 187 } ], [ { 191, 192, 224 }, { 12, 191, 192 }, { 12, 192, 224 }, { 12, 191, 224 } ], [ { 191, 224, 225 }, { 73, 191, 225 }, { 73, 224, 225 }, { 73, 191, 224 } ], [ { 148, 151, 191 }, { 12, 148, 151 }, { 12, 148, 191 }, { 12, 151, 191 } ], [ { 42, 73, 79 }, { 42, 79, 178, 194 }, { 73, 79, 194 }, { 73, 178, 194 }, { 42, 73, 178 } ], [ { 42, 151, 191 }, { 151, 191, 195 }, { 42, 79, 151, 195 }, { 42, 79, 191 }, { 79, 191, 195 } ], [ { 84, 85, 90 }, { 85, 90, 196 }, { 84, 90, 196 }, { 84, 85, 196 } ], [ { 84, 92, 198 }, { 84, 97, 198 }, { 92, 95, 97, 198 }, { 84, 92, 95 }, { 84, 95, 97 } ], [ { 96, 102, 167 }, { 84, 96, 97, 102 }, { 96, 97, 167 }, { 84, 97, 167 }, { 84, 102, 167 } ], [ { 72, 105, 106 }, { 61, 72, 105 }, { 61, 72, 106 }, { 61, 105, 106 } ], [ { 105, 110, 200 }, { 61, 105, 200 }, { 61, 110, 200 }, { 61, 105, 110 } ], [ { 105, 110, 111 }, { 105, 106, 111 }, { 105, 106, 110 }, { 106, 110, 111 } ], [ { 110, 163, 200 }, { 61, 163, 200 }, { 61, 110, 200 }, { 61, 110, 163 } ], [ { 163, 164, 167 }, { 110, 164, 167 }, { 110, 163, 164 }, { 110, 163, 167 } ], [ { 110, 111, 114 }, { 106, 111, 114 }, { 106, 110, 114 }, { 106, 110, 111 } ], [ { 114, 120, 201 }, { 106, 114, 201 }, { 106, 120, 201 }, { 106, 114, 120 } ], [ { 114, 117, 120 }, { 110, 114, 117 }, { 110, 117, 120 }, { 110, 114, 120 } ], [ { 124, 128, 205, 206 }, { 12, 205, 206 }, { 12, 128, 206 }, { 12, 124, 128 }, { 12, 124, 205 } ], [ { 124, 203, 205 }, { 12, 124, 205 }, { 12, 124, 203 }, { 12, 203, 205 } ], [ { 28, 128, 206 }, { 12, 128, 206 }, { 12, 28, 128 }, { 12, 28, 206 } ], [ { 16, 22, 129 }, { 16, 22, 208 }, { 16, 129, 208 }, { 22, 129, 208 } ], [ { 16, 22, 28, 203 }, { 21, 22, 28 }, { 16, 17, 21, 22 }, { 17, 21, 28, 203 }, { 16, 17, 203 } ], [ { 28, 135, 137 }, { 22, 135, 137 }, { 22, 28, 137 }, { 22, 28, 135 } ], [ { 22, 44, 137 }, { 44, 137, 142 }, { 22, 137, 142 }, { 22, 44, 142 } ], [ { 35, 44, 137 }, { 28, 35, 137 }, { 28, 35, 44 }, { 28, 44, 137 } ], [ { 28, 148, 151 }, { 12, 148, 151 }, { 12, 28, 148 }, { 12, 28, 151 } ], [ { 42, 151, 155 }, { 28, 42, 151 }, { 28, 151, 155 }, { 28, 42, 155 } ], [ { 33, 35, 44 }, { 28, 35, 44 }, { 28, 33, 35 }, { 28, 33, 44 } ], [ { 33, 42, 155 }, { 28, 42, 155 }, { 28, 33, 42 }, { 28, 33, 155 } ], [ { 42, 44, 49 }, { 33, 42, 49 }, { 33, 42, 44 }, { 33, 44, 49 } ], [ { 73, 159, 210 }, { 159, 167, 210 }, { 73, 159, 167 }, { 73, 167, 210 } ], [ { 73, 159, 210 }, { 73, 159, 216 }, { 73, 160, 210, 216 }, { 159, 160, 210 }, { 159, 160, 216 } ], [ { 159, 222, 226 }, { 167, 222, 226, 227 }, { 159, 167, 222 }, { 159, 167, 227 }, { 159, 226, 227 } ], [ { 159, 160, 216 }, { 159, 160, 222 }, { 160, 216, 222 }, { 159, 216, 222 } ], [ { 163, 166, 167 }, { 61, 166, 167 }, { 61, 163, 166 }, { 61, 163, 167 } ], [ { 73, 166, 210 }, { 166, 167, 210 }, { 73, 166, 167 }, { 73, 167, 210 } ], [ { 73, 170, 171 }, { 61, 170, 171 }, { 61, 73, 171 }, { 61, 73, 170 } ], [ { 42, 170, 175 }, { 42, 61, 170 }, { 42, 61, 174, 175 }, { 61, 170, 174 }, { 170, 174, 175 } ], [ { 42, 170, 178 }, { 73, 170, 178 }, { 42, 73, 178 }, { 42, 73, 170 } ], [ { 42, 49, 54 }, { 42, 44, 54 }, { 44, 49, 54 }, { 42, 44, 49 } ], [ { 42, 55, 61 }, { 55, 61, 67 }, { 42, 54, 61, 67 }, { 54, 55, 67 }, { 42, 54, 55 } ], [ { 67, 72, 106 }, { 61, 72, 106 }, { 61, 67, 72 }, { 61, 67, 106 } ], [ { 44, 106, 180 }, { 44, 54, 67, 106 }, { 67, 106, 180 }, { 54, 67, 180 }, { 44, 54, 180 } ], [ { 73, 191, 224 }, { 12, 191, 224 }, { 12, 73, 191 }, { 12, 73, 224 } ], [ { 42, 151, 191 }, { 12, 151, 191 }, { 12, 42, 151 }, { 12, 42, 191 } ], [ { 42, 79, 191 }, { 73, 79, 191 }, { 42, 73, 79 }, { 42, 73, 191 } ], [ { 84, 85, 228 }, { 84, 85, 196 }, { 85, 196, 228 }, { 84, 196, 228 } ], [ { 84, 167, 228 }, { 84, 97, 167 }, { 97, 167, 198, 228 }, { 84, 198, 228 }, { 84, 97, 198 } ], [ { 105, 106, 110 }, { 61, 105, 110 }, { 61, 105, 106 }, { 61, 106, 110 } ], [ { 110, 163, 167 }, { 61, 163, 167 }, { 61, 110, 167 }, { 61, 110, 163 } ], [ { 110, 114, 120 }, { 106, 114, 120 }, { 106, 110, 114 }, { 106, 110, 120 } ], [ { 28, 203, 205, 206 }, { 12, 28, 203 }, { 12, 28, 206 }, { 12, 203, 205 }, { 12, 205, 206 } ], [ { 16, 22, 28, 203 }, { 22, 28, 208 }, { 16, 22, 208 }, { 16, 203, 208 }, { 28, 203, 208 } ], [ { 28, 44, 137 }, { 22, 44, 137 }, { 22, 28, 137 }, { 22, 28, 44 } ], [ { 28, 42, 151 }, { 12, 42, 151 }, { 12, 28, 151 }, { 12, 28, 42 } ], [ { 33, 42, 44 }, { 28, 42, 44 }, { 28, 33, 42 }, { 28, 33, 44 } ], [ { 159, 216, 222 }, { 159, 167, 222 }, { 73, 167, 216, 222 }, { 73, 159, 216 }, { 73, 159, 167 } ], [ { 73, 166, 167 }, { 61, 73, 166 }, { 61, 166, 167 }, { 61, 73, 167 } ], [ { 42, 73, 170 }, { 42, 61, 170 }, { 61, 73, 170 }, { 42, 61, 73 } ], [ { 44, 54, 67, 106 }, { 42, 44, 61, 106 }, { 61, 67, 106 }, { 42, 54, 61, 67 }, { 42, 44, 54 } ], [ { 42, 73, 191 }, { 12, 42, 191 }, { 12, 73, 191 }, { 12, 42, 73 } ], [ { 84, 167, 228 }, { 84, 196, 228 }, { 84, 167, 196 }, { 167, 196, 228 } ], [ { 106, 110, 167 }, { 61, 110, 167 }, { 61, 106, 167 }, { 61, 106, 110 } ], [ { 110, 120, 229 }, { 106, 120, 229 }, { 106, 110, 229 }, { 106, 110, 120 } ], [ { 12, 28, 203 }, { 28, 203, 208 }, { 12, 203, 208 }, { 12, 28, 208 } ], [ { 22, 28, 44 }, { 28, 44, 208 }, { 22, 44, 208 }, { 22, 28, 208 } ], [ { 28, 42, 44 }, { 12, 42, 44 }, { 12, 28, 42 }, { 12, 28, 44 } ], [ { 73, 167, 216, 222 }, { 12, 167, 222, 230 }, { 12, 73, 167 }, { 12, 73, 216, 230 }, { 216, 222, 230 } ], [ { 73, 106, 167 }, { 61, 73, 167 }, { 61, 73, 106 }, { 61, 106, 167 } ], [ { 44, 73, 106 }, { 61, 73, 106 }, { 42, 44, 61, 106 }, { 42, 44, 73 }, { 42, 61, 73 } ], [ { 42, 44, 73 }, { 12, 42, 73 }, { 12, 42, 44 }, { 12, 44, 73 } ], [ { 167, 228, 231, 233 }, { 167, 196, 228 }, { 167, 196, 231, 232 }, { 196, 228, 232, 233 }, { 231, 232, 233 } ], [ { 110, 167, 229 }, { 106, 167, 229 }, { 106, 110, 229 }, { 106, 110, 167 } ], [ { 12, 28, 44 }, { 28, 44, 208 }, { 12, 44, 208 }, { 12, 28, 208 } ], [ { 12, 44, 73 }, { 44, 73, 106 }, { 12, 44, 106, 167 }, { 73, 106, 167 }, { 12, 73, 167 } ], [ { 12, 167, 231 }, { 167, 196, 231, 232 }, { 12, 167, 196, 234 }, { 12, 231, 232, 234 }, { 196, 232, 234 } ], [ { 12, 44, 106, 167 }, { 12, 44, 208 }, { 44, 106, 208, 229 }, { 12, 167, 208, 229 }, { 106, 167, 229 } ], [ { 12, 167, 208, 229 }, { 12, 208, 231, 235 }, { 167, 229, 231, 235 }, { 12, 167, 231 }, { 208, 229, 235 } ] ] /* Order of PGL_2(O) stabilizers of Voronoi top cells */ [ 1, 6, 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, 6, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 2, 1, 1, 1, 3, 1, 3 ] /* GAP id of GL_2(O) stabilizers of Voronoi top cells */ [ <2, 1>, <12, 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>, <12, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <6, 2> ]