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