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