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