/* Defining polynomial */ x^2 - x + 82 /* Minimal vectors */ [ <1, 0>, <-w + 5, -9>, , <12, -w - 4>, <6*w + 3, -3*w + 43>, <11, -w - 4>, <-3*w + 60, -4*w - 44>, <3*w + 63, -7*w - 1>, , <7*w + 9, -4*w + 48>, <-3*w + 49, -3*w - 40>, <4*w + 58, -7*w + 8>, <5*w + 6, -3*w + 35>, <-5*w + 16, w - 44>, <-3*w + 16, -29>, <2*w, -w + 15>, <-w + 16, -w - 14>, <-4*w + 32, -w - 43>, <-2*w + 43, -3*w - 32>, <9*w + 3, -5*w + 67>, <-3*w + 17, -30>, <2*w + 21, -3*w + 6>, <-w + 38, -3*w - 24>, <-7*w + 83, -4*w - 89>, <2*w + 86, -9*w - 22>, <4*w + 19, -4*w + 23>, <10*w + 37, -9*w + 62>, <9*w + 53, -10*w + 47>, <-7*w + 71, -3*w - 87>, <-3*w + 90, -7*w - 64>, <21, -2*w - 10>, , <6*w + 38, -7*w + 29>, , <-2*w + 12, -21>, <7*w + 22, -6*w + 44>, <-2*w + 33, -2*w - 31>, <-4*w + 45, -2*w - 52>, <-4*w + 14, w - 38>, <-w + 27, -2*w - 21>, <-w + 48, -4*w - 31>, <-2*w + 23, -w - 26>, <-4*w + 35, -w - 47>, , <10*w + 6, -6*w + 71>, <-15*w + 80, w - 147>, <-4*w + 80, -5*w - 66>, <6*w + 86, -11*w + 5>, , <-5*w + 75, -4*w - 71>, <11*w, -6*w + 81>, <-w + 6, -10>, <-11*w + 11, 5*w - 86>, <5*w + 70, -9*w + 5>, <4*w + 76, -9*w - 5>, <6*w + 75, -10*w + 10>, <17*w + 75, -16*w + 91>, <-11*w + 167, -9*w - 157>, <-6*w + 81, -4*w - 81>, <-17*w + 92, w - 167>, <11*w + 156, -20*w + 10>, <-5*w + 64, -3*w - 66>, <-6*w + 70, -3*w - 76>, <8*w + 74, -11*w + 25>, <-10*w + 16, 4*w - 81>, <15*w + 65, -14*w + 81>, <-6*w + 92, -5*w - 86>, <5*w + 1, -3*w + 33>, , <12, -w - 6>, <3*w + 40, -5*w>, <-5*w + 6, 2*w - 36>, <-w + 6, -9>, <12, -w - 5>, <-3*w + 43, -2*w - 38>, <-4*w + 2, 2*w - 29>, <2*w + 11, -2*w + 9>, <-2*w + 13, -20>, , <-w + 18, -w - 15>, <35, -3*w - 16>, , <13, -w - 6>, <3*w + 18, -3*w + 10>, <-w + 21, -w - 16>, <3*w + 5, -2*w + 16>, <-3*w + 8, w - 22>, , <-w + 7, -9>, <-3*w + 21, -28>, , <11, -w - 3>, <-7*w + 2, 3*w - 52>, <-4*w + 54, -3*w - 49>, <-3*w + 5, w - 24>, <3*w + 6, -2*w + 20>, <-2*w + 33, -2*w - 28>, <3*w + 49, -6*w + 3>, <-w + 27, -2*w - 18>, <4*w + 1, -2*w + 30>, <-2*w + 21, -w - 23>, <-4*w + 21, -38>, <3*w + 50, -6*w + 3>, <4*w + 10, -3*w + 27>, <-2*w + 11, -20>, <-3*w + 16, -30>, , <-3*w + 6, w - 25>, <4*w + 21, -4*w + 21>, , , <-2*w + 21, -w - 24>, <2*w + 21, -3*w + 7>, <3*w + 26, -4*w + 13>, <42, -4*w - 17>, <-12*w + 6, 6*w - 97>, <6*w + 91, -12*w + 6>, <-6*w + 97, -6*w - 91>, <25*w + 118, -25*w + 143>, <-25*w + 143, -261>, <261, -25*w - 118>, <-7*w + 40, -73>, <73, -7*w - 33>, <-12*w + 79, -w - 130>, <-w + 131, -12*w - 67>, <-6*w + 55, -2*w - 72>, <-2*w + 74, -6*w - 49>, <5*w + 2, -3*w + 38>, , <-2*w + 1, w - 16>, <-4*w + 13, w - 37>, <3*w + 35, -5*w + 7>, <3*w + 14, -3*w + 17>, <2*w + 9, -2*w + 11>, <-5*w + 86, -5*w - 76>, <-22*w + 11, 11*w - 167>, <5*w + 81, -10*w>, <-12*w + 6, 6*w - 91>, <59*w + 277, -57*w + 308>, <-59*w + 336, 2*w - 587>, <613, -55*w - 279>, <-w + 7, -10>, , <-2*w + 1, w - 14>, <24, -2*w - 11>, <3*w + 16, -3*w + 14>, <-3*w + 19, -30>, <2*w + 22, -3*w + 4>, <-2*w + 24, -w - 25>, <-2*w + 26, -w - 25>, <-w + 32, -2*w - 21>, <2*w + 24, -3*w + 2>, , <1, -1>, , <-w + 8, -9>, <-w + 4, -9>, , <11, -w - 5>, <-w + 5, -10>, , <4*w, -2*w + 31>, <-w + 37, -3*w - 23>, <7*w + 33, -7*w + 40>, <-6*w + 24, w - 58>, , <-16*w + 259, -16*w - 243>, <-w + 16, -w - 15>, <-w + 6, -11>, <-10*w + 5, 5*w - 76>, <6*w + 64, -9*w + 15>, <7*w + 69, -10*w + 20>, <-7*w + 76, -3*w - 86>, <3*w + 17, -3*w + 12>, <-3*w + 20, -29>, , <6*w + 18, -5*w + 39>, <5*w + 34, -6*w + 24>, <-5*w + 39, -w - 57>, <-w + 58, -5*w - 34>, <7*w + 2, -4*w + 54>, <-3*w + 59, -4*w - 50>, <0, 1> ] /* Voronoi top cells */ [ { 1, 2, 3, 4 }, { 5, 6, 7, 8 }, { 9, 10, 11, 12 }, { 13, 14, 15, 16 }, { 15, 17, 18, 19 }, { 20, 21, 22, 23, 24, 25 }, { 26, 27, 28, 29, 30 }, { 31, 32, 33, 34 }, { 35, 36, 37, 38 }, { 31, 39, 40, 41 }, { 35, 42, 43, 44 }, { 45, 46, 47, 48 }, { 47, 49, 50, 51 }, { 52, 53, 54, 55 }, { 51, 56, 57, 58 }, { 53, 59, 60, 61 }, { 49, 50, 62, 63, 64 }, { 55, 65, 66, 67 }, { 68, 69, 70, 71 }, { 72, 73, 74, 75 }, { 76, 77, 78, 79, 80, 81 }, { 82, 83, 84, 85 }, { 83, 85, 86, 87, 88 }, { 83, 88, 89, 90 }, { 1, 2, 4, 91 }, { 1, 2, 3, 92 }, { 6, 7, 8, 93 }, { 9, 10, 12, 94 }, { 9, 95, 96, 97 }, { 15, 16, 17, 98 }, { 13, 15, 16, 96 }, { 15, 17, 19, 99 }, { 6, 99, 100, 101 }, { 96, 99, 102, 103 }, { 104, 105, 106, 107 }, { 21, 22, 23, 105 }, { 108, 109, 110, 111 }, { 112, 113, 114, 115 }, { 116, 117, 118, 119, 120, 121 }, { 116, 117, 122, 123, 124, 125 }, { 26, 27, 28, 126, 127 }, { 32, 37, 128, 129 }, { 31, 32, 33, 37 }, { 37, 130, 131, 132 }, { 35, 36, 37, 131 }, { 37, 130, 132, 133 }, { 37, 128, 129, 133 }, { 31, 39, 40, 134 }, { 35, 42, 44, 134 }, { 45, 47, 48, 49 }, { 49, 50, 51, 56 }, { 52, 53, 54, 59 }, { 51, 56, 58, 135 }, { 58, 61, 135, 136, 137 }, { 53, 59, 61, 137 }, { 56, 59, 138, 139, 140, 141 }, { 49, 50, 56, 63 }, { 52, 55, 65, 67 }, { 69, 70, 71, 142 }, { 73, 74, 75, 143 }, { 77, 78, 79, 80, 144, 145 }, { 49, 52, 79, 80, 81, 146, 147, 148, 149 }, { 83, 143, 150, 151 }, { 83, 142, 152, 153 }, { 82, 83, 85, 88, 89 }, { 1, 82, 89, 154, 155, 156 }, { 1, 2, 73, 91 }, { 1, 2, 92, 157 }, { 6, 7, 9, 10, 93, 94 }, { 9, 16, 96, 97 }, { 15, 16, 17, 96, 99 }, { 6, 17, 99, 100 }, { 6, 9, 96, 99, 102 }, { 105, 106, 107, 158 }, { 21, 22, 105, 159 }, { 52, 108, 110, 111 }, { 21, 110, 111, 159 }, { 112, 113, 114, 160 }, { 112, 113, 161, 162 }, { 106, 113, 114, 158 }, { 106, 113, 161, 163 }, { 116, 117, 118, 122, 123, 164 }, { 164, 165, 166, 167 }, { 26, 126, 127, 168 }, { 31, 32, 37, 129 }, { 35, 37, 130, 131 }, { 37, 129, 130, 133 }, { 31, 40, 134, 169 }, { 35, 42, 134, 159 }, { 45, 48, 49, 135 }, { 45, 135, 159, 170 }, { 49, 51, 56, 135 }, { 52, 53, 59, 137 }, { 56, 58, 59, 61, 135, 137 }, { 49, 52, 56, 59, 63, 138, 171, 172, 173 }, { 52, 65, 67, 137 }, { 65, 137, 159, 170 }, { 69, 70, 142, 154 }, { 49, 70, 79, 142 }, { 1, 73, 74, 143 }, { 52, 74, 80, 143 }, { 142, 143, 144, 174, 175 }, { 49, 79, 142, 144 }, { 49, 52, 79, 80, 144 }, { 52, 80, 143, 144 }, { 82, 83, 142, 154 }, { 83, 142, 143, 150, 152 }, { 1, 82, 83, 89, 154 }, { 1, 83, 89, 143 }, { 1, 6, 157, 176 }, { 1, 2, 9, 73 }, { 1, 2, 6, 157 }, { 2, 6, 9, 93, 94 }, { 1, 9, 73, 74 }, { 6, 9, 16, 17, 96, 99 }, { 105, 106, 158, 161 }, { 21, 105, 159, 161 }, { 52, 110, 111, 159 }, { 52, 108, 110, 161 }, { 21, 110, 159, 161 }, { 113, 114, 158, 160 }, { 112, 113, 160, 161 }, { 106, 113, 158, 161 }, { 16, 52, 108, 161 }, { 17, 112, 160, 161 }, { 122, 123, 164, 165, 166, 177, 178, 179, 180 }, { 126, 127, 168, 177, 178 }, { 130, 168, 177, 180, 181, 182 }, { 31, 35, 37, 129, 130 }, { 31, 35, 134, 159, 169 }, { 45, 49, 135, 159 }, { 135, 137, 159, 170 }, { 49, 52, 56, 59, 135, 137 }, { 52, 65, 137, 159 }, { 49, 70, 142, 154 }, { 1, 52, 74, 143 }, { 49, 52, 142, 143, 144 }, { 1, 83, 142, 143, 154 }, { 1, 6, 160, 176 }, { 1, 2, 6, 9 }, { 1, 9, 52, 74 }, { 6, 9, 16, 17, 52, 160 }, { 105, 158, 159, 161 }, { 52, 110, 159, 161 }, { 113, 158, 160, 161 }, { 16, 17, 52, 160, 161 }, { 129, 130, 165, 166, 168, 177, 178, 179, 180 }, { 31, 35, 129, 130, 159, 169 }, { 49, 52, 135, 137, 159 }, { 1, 49, 52, 142, 143, 154 }, { 1, 6, 9, 52, 160 }, { 52, 158, 159, 160, 161 }, { 129, 130, 158, 159, 168, 169 }, { 1, 49, 52, 154, 159 }, { 1, 52, 158, 159, 160 }, { 1, 154, 158, 159, 169, 183 } ] /* 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 }, { 13, 15, 16 }, { 13, 14, 16 }, { 13, 14, 15 } ], [ { 17, 18, 19 }, { 15, 18, 19 }, { 15, 17, 19 }, { 15, 17, 18 } ], [ { 21, 22, 23 }, { 20, 22, 23, 24 }, { 20, 21, 23, 25 }, { 21, 22, 24, 25 }, { 20, 24, 25 } ], [ { 27, 28, 29, 30 }, { 26, 28, 29 }, { 26, 27, 28 }, { 26, 29, 30 }, { 26, 27, 30 } ], [ { 32, 33, 34 }, { 31, 33, 34 }, { 31, 32, 34 }, { 31, 32, 33 } ], [ { 36, 37, 38 }, { 35, 37, 38 }, { 35, 36, 38 }, { 35, 36, 37 } ], [ { 31, 40, 41 }, { 39, 40, 41 }, { 31, 39, 41 }, { 31, 39, 40 } ], [ { 42, 43, 44 }, { 35, 43, 44 }, { 35, 42, 44 }, { 35, 42, 43 } ], [ { 46, 47, 48 }, { 45, 47, 48 }, { 45, 46, 48 }, { 45, 46, 47 } ], [ { 47, 50, 51 }, { 47, 49, 51 }, { 49, 50, 51 }, { 47, 49, 50 } ], [ { 53, 54, 55 }, { 52, 54, 55 }, { 52, 53, 55 }, { 52, 53, 54 } ], [ { 51, 57, 58 }, { 51, 56, 58 }, { 51, 56, 57 }, { 56, 57, 58 } ], [ { 59, 60, 61 }, { 53, 60, 61 }, { 53, 59, 61 }, { 53, 59, 60 } ], [ { 49, 50, 63 }, { 49, 50, 62 }, { 49, 62, 63, 64 }, { 50, 63, 64 }, { 50, 62, 64 } ], [ { 55, 66, 67 }, { 55, 65, 67 }, { 65, 66, 67 }, { 55, 65, 66 } ], [ { 69, 70, 71 }, { 68, 70, 71 }, { 68, 69, 71 }, { 68, 69, 70 } ], [ { 73, 74, 75 }, { 72, 74, 75 }, { 72, 73, 75 }, { 72, 73, 74 } ], [ { 77, 78, 79, 80 }, { 76, 78, 79, 81 }, { 76, 77, 78 }, { 76, 77, 80, 81 }, { 79, 80, 81 } ], [ { 83, 84, 85 }, { 82, 84, 85 }, { 82, 83, 85 }, { 82, 83, 84 } ], [ { 83, 87, 88 }, { 85, 86, 87, 88 }, { 83, 86, 87 }, { 83, 85, 86 }, { 83, 85, 88 } ], [ { 83, 88, 90 }, { 88, 89, 90 }, { 83, 89, 90 }, { 83, 88, 89 } ], [ { 2, 4, 91 }, { 1, 4, 91 }, { 1, 2, 4 }, { 1, 2, 91 } ], [ { 2, 3, 92 }, { 1, 3, 92 }, { 1, 2, 92 }, { 1, 2, 3 } ], [ { 6, 7, 8 }, { 7, 8, 93 }, { 6, 8, 93 }, { 6, 7, 93 } ], [ { 10, 12, 94 }, { 9, 12, 94 }, { 9, 10, 12 }, { 9, 10, 94 } ], [ { 9, 96, 97 }, { 95, 96, 97 }, { 9, 95, 97 }, { 9, 95, 96 } ], [ { 16, 17, 98 }, { 15, 16, 98 }, { 15, 16, 17 }, { 15, 17, 98 } ], [ { 13, 15, 16 }, { 15, 16, 96 }, { 13, 16, 96 }, { 13, 15, 96 } ], [ { 17, 19, 99 }, { 15, 19, 99 }, { 15, 17, 19 }, { 15, 17, 99 } ], [ { 6, 99, 101 }, { 99, 100, 101 }, { 6, 99, 100 }, { 6, 100, 101 } ], [ { 99, 102, 103 }, { 96, 99, 103 }, { 96, 102, 103 }, { 96, 99, 102 } ], [ { 105, 106, 107 }, { 104, 106, 107 }, { 104, 105, 107 }, { 104, 105, 106 } ], [ { 21, 22, 23 }, { 22, 23, 105 }, { 21, 23, 105 }, { 21, 22, 105 } ], [ { 109, 110, 111 }, { 108, 110, 111 }, { 108, 109, 111 }, { 108, 109, 110 } ], [ { 113, 114, 115 }, { 112, 114, 115 }, { 112, 113, 115 }, { 112, 113, 114 } ], [ { 117, 118, 119, 120 }, { 116, 118, 119, 121 }, { 116, 117, 118 }, { 116, 117, 120, 121 }, { 119, 120, 121 } ], [ { 122, 123, 124, 125 }, { 116, 123, 124 }, { 116, 117, 122, 123 }, { 116, 117, 124, 125 }, { 117, 122, 125 } ], [ { 27, 28, 126, 127 }, { 26, 28, 126 }, { 26, 27, 28 }, { 26, 126, 127 }, { 26, 27, 127 } ], [ { 32, 37, 129 }, { 32, 37, 128 }, { 32, 128, 129 }, { 37, 128, 129 } ], [ { 32, 33, 37 }, { 31, 32, 33 }, { 31, 33, 37 }, { 31, 32, 37 } ], [ { 37, 131, 132 }, { 37, 130, 132 }, { 130, 131, 132 }, { 37, 130, 131 } ], [ { 36, 37, 131 }, { 35, 36, 37 }, { 35, 37, 131 }, { 35, 36, 131 } ], [ { 37, 132, 133 }, { 37, 130, 132 }, { 130, 132, 133 }, { 37, 130, 133 } ], [ { 37, 129, 133 }, { 37, 128, 129 }, { 37, 128, 133 }, { 128, 129, 133 } ], [ { 31, 39, 40 }, { 31, 40, 134 }, { 39, 40, 134 }, { 31, 39, 134 } ], [ { 35, 42, 44 }, { 42, 44, 134 }, { 35, 44, 134 }, { 35, 42, 134 } ], [ { 45, 47, 48 }, { 47, 48, 49 }, { 45, 48, 49 }, { 45, 47, 49 } ], [ { 50, 51, 56 }, { 49, 51, 56 }, { 49, 50, 51 }, { 49, 50, 56 } ], [ { 53, 54, 59 }, { 52, 54, 59 }, { 52, 53, 59 }, { 52, 53, 54 } ], [ { 51, 58, 135 }, { 51, 56, 58 }, { 51, 56, 135 }, { 56, 58, 135 } ], [ { 58, 61, 135, 137 }, { 61, 136, 137 }, { 135, 136, 137 }, { 58, 135, 136 }, { 58, 61, 136 } ], [ { 59, 61, 137 }, { 53, 61, 137 }, { 53, 59, 61 }, { 53, 59, 137 } ], [ { 56, 138, 139 }, { 56, 59, 138 }, { 138, 139, 140 }, { 59, 138, 140 }, { 56, 139, 141 }, { 139, 140, 141 }, { 59, 140, 141 }, { 56, 59, 141 } ], [ { 50, 56, 63 }, { 49, 50, 56 }, { 49, 56, 63 }, { 49, 50, 63 } ], [ { 55, 65, 67 }, { 52, 55, 67 }, { 52, 65, 67 }, { 52, 55, 65 } ], [ { 70, 71, 142 }, { 69, 70, 71 }, { 69, 71, 142 }, { 69, 70, 142 } ], [ { 74, 75, 143 }, { 73, 74, 75 }, { 73, 75, 143 }, { 73, 74, 143 } ], [ { 77, 78, 79, 80 }, { 78, 79, 144, 145 }, { 77, 80, 144, 145 }, { 79, 80, 144 }, { 77, 78, 145 } ], [ { 49, 52, 79, 80 }, { 49, 52, 146, 147, 148, 149 }, { 49, 79, 148 }, { 79, 81, 147, 148 }, { 80, 81, 146, 149 }, { 52, 80, 149 }, { 81, 146, 147 }, { 79, 80, 81 } ], [ { 83, 150, 151 }, { 143, 150, 151 }, { 83, 143, 151 }, { 83, 143, 150 } ], [ { 83, 152, 153 }, { 142, 152, 153 }, { 83, 142, 153 }, { 83, 142, 152 } ], [ { 83, 88, 89 }, { 82, 85, 88, 89 }, { 82, 83, 89 }, { 83, 85, 88 }, { 82, 83, 85 } ], [ { 82, 154, 155 }, { 1, 154, 155, 156 }, { 1, 82, 89, 154 }, { 82, 89, 155, 156 }, { 1, 89, 156 } ], [ { 2, 73, 91 }, { 1, 73, 91 }, { 1, 2, 91 }, { 1, 2, 73 } ], [ { 2, 92, 157 }, { 1, 2, 92 }, { 1, 92, 157 }, { 1, 2, 157 } ], [ { 6, 7, 9, 10 }, { 6, 9, 93, 94 }, { 9, 10, 94 }, { 7, 10, 93, 94 }, { 6, 7, 93 } ], [ { 16, 96, 97 }, { 9, 16, 97 }, { 9, 16, 96 }, { 9, 96, 97 } ], [ { 15, 17, 99 }, { 16, 17, 96, 99 }, { 15, 96, 99 }, { 15, 16, 96 }, { 15, 16, 17 } ], [ { 6, 17, 99 }, { 17, 99, 100 }, { 6, 99, 100 }, { 6, 17, 100 } ], [ { 6, 9, 102 }, { 9, 96, 102 }, { 6, 9, 96, 99 }, { 6, 99, 102 }, { 96, 99, 102 } ], [ { 105, 106, 107 }, { 106, 107, 158 }, { 105, 107, 158 }, { 105, 106, 158 } ], [ { 21, 22, 159 }, { 21, 22, 105 }, { 22, 105, 159 }, { 21, 105, 159 } ], [ { 52, 110, 111 }, { 108, 110, 111 }, { 52, 108, 111 }, { 52, 108, 110 } ], [ { 21, 110, 111 }, { 110, 111, 159 }, { 21, 111, 159 }, { 21, 110, 159 } ], [ { 112, 113, 114 }, { 113, 114, 160 }, { 112, 114, 160 }, { 112, 113, 160 } ], [ { 112, 113, 162 }, { 113, 161, 162 }, { 112, 161, 162 }, { 112, 113, 161 } ], [ { 106, 113, 114 }, { 113, 114, 158 }, { 106, 114, 158 }, { 106, 113, 158 } ], [ { 113, 161, 163 }, { 106, 113, 163 }, { 106, 161, 163 }, { 106, 113, 161 } ], [ { 122, 123, 164 }, { 116, 117, 122, 123 }, { 116, 118, 123, 164 }, { 117, 118, 122, 164 }, { 116, 117, 118 } ], [ { 164, 166, 167 }, { 165, 166, 167 }, { 164, 165, 167 }, { 164, 165, 166 } ], [ { 26, 126, 127 }, { 126, 127, 168 }, { 26, 127, 168 }, { 26, 126, 168 } ], [ { 31, 32, 37 }, { 32, 37, 129 }, { 31, 32, 129 }, { 31, 37, 129 } ], [ { 35, 37, 131 }, { 37, 130, 131 }, { 35, 37, 130 }, { 35, 130, 131 } ], [ { 37, 129, 133 }, { 37, 129, 130 }, { 37, 130, 133 }, { 129, 130, 133 } ], [ { 31, 40, 134 }, { 31, 40, 169 }, { 40, 134, 169 }, { 31, 134, 169 } ], [ { 35, 42, 159 }, { 35, 42, 134 }, { 42, 134, 159 }, { 35, 134, 159 } ], [ { 45, 48, 135 }, { 48, 49, 135 }, { 45, 48, 49 }, { 45, 49, 135 } ], [ { 45, 135, 159 }, { 135, 159, 170 }, { 45, 135, 170 }, { 45, 159, 170 } ], [ { 51, 56, 135 }, { 49, 51, 135 }, { 49, 51, 56 }, { 49, 56, 135 } ], [ { 53, 59, 137 }, { 52, 59, 137 }, { 52, 53, 137 }, { 52, 53, 59 } ], [ { 59, 61, 137 }, { 56, 58, 59, 61 }, { 56, 59, 135, 137 }, { 58, 61, 135, 137 }, { 56, 58, 135 } ], [ { 49, 52, 63, 171, 172, 173 }, { 56, 63, 138, 172 }, { 49, 52, 56, 59 }, { 49, 56, 63 }, { 138, 172, 173 }, { 59, 138, 171, 173 }, { 52, 59, 171 }, { 56, 59, 138 } ], [ { 65, 67, 137 }, { 52, 67, 137 }, { 52, 65, 67 }, { 52, 65, 137 } ], [ { 65, 137, 159 }, { 65, 137, 170 }, { 137, 159, 170 }, { 65, 159, 170 } ], [ { 69, 70, 142 }, { 70, 142, 154 }, { 69, 70, 154 }, { 69, 142, 154 } ], [ { 70, 79, 142 }, { 49, 70, 79 }, { 49, 79, 142 }, { 49, 70, 142 } ], [ { 73, 74, 143 }, { 1, 74, 143 }, { 1, 73, 74 }, { 1, 73, 143 } ], [ { 74, 80, 143 }, { 52, 74, 80 }, { 52, 80, 143 }, { 52, 74, 143 } ], [ { 142, 143, 174, 175 }, { 142, 144, 174 }, { 142, 143, 144 }, { 143, 144, 175 }, { 144, 174, 175 } ], [ { 49, 79, 142 }, { 79, 142, 144 }, { 49, 79, 144 }, { 49, 142, 144 } ], [ { 49, 52, 79, 80 }, { 49, 79, 144 }, { 49, 52, 144 }, { 79, 80, 144 }, { 52, 80, 144 } ], [ { 52, 80, 143 }, { 80, 143, 144 }, { 52, 80, 144 }, { 52, 143, 144 } ], [ { 82, 83, 142 }, { 83, 142, 154 }, { 82, 83, 154 }, { 82, 142, 154 } ], [ { 83, 142, 152 }, { 142, 143, 150, 152 }, { 83, 142, 143 }, { 83, 143, 150 }, { 83, 150, 152 } ], [ { 82, 83, 154 }, { 1, 83, 154 }, { 1, 82, 89, 154 }, { 1, 83, 89 }, { 82, 83, 89 } ], [ { 83, 89, 143 }, { 1, 83, 89 }, { 1, 83, 143 }, { 1, 89, 143 } ], [ { 6, 157, 176 }, { 1, 6, 176 }, { 1, 6, 157 }, { 1, 157, 176 } ], [ { 2, 9, 73 }, { 1, 9, 73 }, { 1, 2, 9 }, { 1, 2, 73 } ], [ { 2, 6, 157 }, { 1, 2, 6 }, { 1, 6, 157 }, { 1, 2, 157 } ], [ { 2, 6, 9 }, { 6, 9, 93, 94 }, { 2, 6, 93 }, { 2, 93, 94 }, { 2, 9, 94 } ], [ { 9, 73, 74 }, { 1, 9, 74 }, { 1, 73, 74 }, { 1, 9, 73 } ], [ { 6, 9, 16, 17 }, { 6, 9, 96, 99 }, { 6, 17, 99 }, { 16, 17, 96, 99 }, { 9, 16, 96 } ], [ { 105, 106, 161 }, { 106, 158, 161 }, { 105, 158, 161 }, { 105, 106, 158 } ], [ { 21, 159, 161 }, { 21, 105, 161 }, { 21, 105, 159 }, { 105, 159, 161 } ], [ { 110, 111, 159 }, { 52, 110, 111 }, { 52, 111, 159 }, { 52, 110, 159 } ], [ { 52, 110, 161 }, { 108, 110, 161 }, { 52, 108, 110 }, { 52, 108, 161 } ], [ { 21, 110, 161 }, { 21, 110, 159 }, { 110, 159, 161 }, { 21, 159, 161 } ], [ { 113, 114, 158 }, { 113, 114, 160 }, { 114, 158, 160 }, { 113, 158, 160 } ], [ { 112, 113, 161 }, { 112, 113, 160 }, { 113, 160, 161 }, { 112, 160, 161 } ], [ { 106, 113, 161 }, { 113, 158, 161 }, { 106, 113, 158 }, { 106, 158, 161 } ], [ { 16, 52, 161 }, { 16, 108, 161 }, { 16, 52, 108 }, { 52, 108, 161 } ], [ { 17, 112, 161 }, { 112, 160, 161 }, { 17, 112, 160 }, { 17, 160, 161 } ], [ { 165, 166, 177, 178, 179, 180 }, { 123, 164, 165, 179 }, { 122, 123, 177, 178 }, { 164, 165, 166 }, { 122, 164, 166, 180 }, { 122, 177, 180 }, { 123, 178, 179 }, { 122, 123, 164 } ], [ { 126, 127, 177, 178 }, { 126, 168, 178 }, { 168, 177, 178 }, { 127, 168, 177 }, { 126, 127, 168 } ], [ { 168, 177, 181 }, { 130, 168, 177, 180 }, { 130, 168, 181, 182 }, { 177, 180, 181, 182 }, { 130, 180, 182 } ], [ { 37, 129, 130 }, { 35, 37, 130 }, { 31, 35, 129, 130 }, { 31, 35, 37 }, { 31, 37, 129 } ], [ { 35, 134, 159 }, { 31, 35, 159, 169 }, { 134, 159, 169 }, { 31, 35, 134 }, { 31, 134, 169 } ], [ { 45, 135, 159 }, { 49, 135, 159 }, { 45, 49, 135 }, { 45, 49, 159 } ], [ { 135, 137, 159 }, { 135, 137, 170 }, { 135, 159, 170 }, { 137, 159, 170 } ], [ { 49, 52, 135, 137 }, { 49, 52, 56, 59 }, { 56, 59, 135, 137 }, { 52, 59, 137 }, { 49, 56, 135 } ], [ { 65, 137, 159 }, { 52, 65, 137 }, { 52, 137, 159 }, { 52, 65, 159 } ], [ { 49, 70, 142 }, { 70, 142, 154 }, { 49, 70, 154 }, { 49, 142, 154 } ], [ { 52, 74, 143 }, { 1, 74, 143 }, { 1, 52, 74 }, { 1, 52, 143 } ], [ { 49, 52, 142, 143 }, { 52, 143, 144 }, { 49, 52, 144 }, { 49, 142, 144 }, { 142, 143, 144 } ], [ { 1, 83, 143 }, { 1, 83, 154 }, { 1, 142, 143, 154 }, { 83, 142, 143 }, { 83, 142, 154 } ], [ { 6, 160, 176 }, { 1, 6, 176 }, { 1, 6, 160 }, { 1, 160, 176 } ], [ { 2, 6, 9 }, { 1, 6, 9 }, { 1, 2, 6 }, { 1, 2, 9 } ], [ { 9, 52, 74 }, { 1, 9, 74 }, { 1, 52, 74 }, { 1, 9, 52 } ], [ { 16, 17, 52, 160 }, { 6, 9, 52, 160 }, { 6, 17, 160 }, { 6, 9, 16, 17 }, { 9, 16, 52 } ], [ { 105, 159, 161 }, { 158, 159, 161 }, { 105, 158, 161 }, { 105, 158, 159 } ], [ { 110, 159, 161 }, { 52, 110, 161 }, { 52, 110, 159 }, { 52, 159, 161 } ], [ { 113, 158, 161 }, { 113, 160, 161 }, { 113, 158, 160 }, { 158, 160, 161 } ], [ { 17, 160, 161 }, { 52, 160, 161 }, { 16, 17, 52, 160 }, { 16, 52, 161 }, { 16, 17, 161 } ], [ { 130, 168, 177, 180 }, { 129, 130, 168 }, { 129, 130, 165, 166 }, { 129, 168, 178, 179 }, { 168, 177, 178 }, { 165, 166, 177, 178, 179, 180 }, { 129, 165, 179 }, { 130, 166, 180 } ], [ { 31, 35, 159, 169 }, { 35, 130, 159 }, { 129, 130, 159, 169 }, { 31, 35, 129, 130 }, { 31, 129, 169 } ], [ { 52, 137, 159 }, { 49, 52, 135, 137 }, { 49, 52, 159 }, { 135, 137, 159 }, { 49, 135, 159 } ], [ { 1, 142, 143, 154 }, { 1, 49, 52, 154 }, { 49, 52, 142, 143 }, { 1, 52, 143 }, { 49, 142, 154 } ], [ { 6, 9, 52, 160 }, { 1, 9, 52 }, { 1, 52, 160 }, { 1, 6, 9 }, { 1, 6, 160 } ], [ { 52, 160, 161 }, { 158, 160, 161 }, { 52, 158, 159, 160 }, { 52, 159, 161 }, { 158, 159, 161 } ], [ { 158, 159, 169 }, { 129, 130, 159, 169 }, { 130, 158, 159, 168 }, { 129, 158, 168, 169 }, { 129, 130, 168 } ], [ { 49, 154, 159 }, { 1, 154, 159 }, { 1, 49, 52, 154 }, { 1, 52, 159 }, { 49, 52, 159 } ], [ { 52, 158, 159, 160 }, { 1, 52, 160 }, { 1, 158, 160 }, { 1, 52, 159 }, { 1, 158, 159 } ], [ { 1, 158, 159 }, { 1, 154, 159 }, { 158, 159, 169 }, { 154, 159, 169 }, { 158, 169, 183 }, { 1, 158, 183 }, { 154, 169, 183 }, { 1, 154, 183 } ] ] /* Order of PGL_2(O) stabilizers of Voronoi top cells */ [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 2, 3, 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, 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, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 3, 1, 1, 3 ] /* GAP id of GL_2(O) stabilizers of Voronoi top cells */ [ <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <12, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <12, 4>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 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>, <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>, <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>, <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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <6, 2> ]