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