/* Defining polynomial */ x^2 - x + 139 /* Minimal vectors */ [ <266*w + 3, -143*w + 2717>, <225*w + 996, -194*w + 1838>, <491*w + 999, -337*w + 4555>, <235*w + 2868, -337*w + 1073>, <-13*w + 13, 6*w - 139>, <3*w + 19, -3*w + 22>, <-8*w + 126, -5*w - 140>, <-5*w + 145, -8*w - 118>, <-8*w + 17, 3*w - 91>, <7*w + 17, -5*w + 65>, <-w + 34, -2*w - 26>, , <25, -2*w - 15>, <2*w + 33, -4*w + 2>, <-4*w + 47, -w - 73>, <2*w + 58, -6*w - 13>, <2*w + 8, -2*w + 17>, <-5*w + 31, w - 74>, <4*w + 41, -6*w + 19>, , <-w + 21, -w - 23>, <7*w + 56, -9*w + 44>, <-6*w + 63, -w - 102>, <6*w + 77, -10*w + 21>, <-5*w + 80, -3*w - 101>, <3*w + 4, -2*w + 29>, , <6*w + 62, -8*w + 31>, <81, -6*w - 40>, <2*w + 25, -3*w + 9>, <-w + 34, -2*w - 27>, <6*w + 35, -6*w + 46>, <2*w + 91, -8*w - 23>, <-9*w + 1, 5*w - 95>, <5*w + 42, -6*w + 32>, <-4*w + 43, -w - 63>, <53, -4*w - 26>, <-w + 87, -6*w - 53>, <-184*w + 92, 92*w - 1923>, <-317*w + 1063, 92*w - 3732>, <276*w + 1739, -276*w + 2015>, <92*w + 1831, -184*w + 92>, <92*w + 3640, -317*w - 746>, <-256*w + 1869, -3482>, <-31*w + 2865, -194*w - 1644>, <368*w + 3842, -480*w + 1981>, <-96*w + 48, 48*w - 1003>, <48*w + 942, -95*w + 54>, <-48*w + 990, -47*w - 949>, <317*w + 1998, -317*w + 2313>, <-317*w + 2315, -4311>, <4313, -317*w - 1998>, , <-9*w + 52, w - 116>, <13*w + 123, -16*w + 76>, <4*w + 175, -15*w - 40>, <19*w + 52, -14*w + 170>, <-8*w + 72, -w - 115>, <11*w + 124, -15*w + 55>, <-5*w + 227, -14*w - 156>, <3*w + 196, -16*w - 60>, <-7*w + 92, -3*w - 114>, <-5*w + 268, -17*w - 175>, <9*w + 84, -11*w + 53>, <-25*w + 237, -4*w - 365>, <28*w + 272, -35*w + 160>, <20*w + 344, -36*w + 45>, <-46*w + 23, 23*w - 480>, <8*w + 105, -12*w + 33>, <-8*w + 113, -4*w - 134>, <218, -16*w - 101>, <3*w + 6, -2*w + 28>, <-2*w + 28, -w - 33>, <-6*w + 29, w - 74>, <5*w + 60, -7*w + 24>, <18*w + 7, -10*w + 182>, <-8*w + 165, -8*w - 157>, <10*w + 172, -18*w + 25>, <51*w + 218, -43*w + 426>, <-56*w + 331, 5*w - 726>, <-38*w + 338, -5*w - 544>, <43*w + 383, -51*w + 269>, <-5*w + 549, -38*w - 300>, <5*w + 721, -56*w - 275>, <-2*w + 1, w - 21>, <-6*w + 16, 2*w - 69>, <-8*w + 17, 3*w - 90>, <-14*w + 33, 5*w - 159>, <-2*w + 82, -5*w - 58>, <-10*w + 18, 4*w - 111>, <-3*w + 8, w - 35>, <2*w + 26, -3*w + 9>, <4*w + 65, -7*w + 12>, <-2*w + 81, -5*w - 58>, <13, -w - 6>, <-3*w + 21, -41>, <-4*w + 28, -55>, <-3*w + 34, -w - 47>, <4*w + 38, -5*w + 25>, <66, -5*w - 30>, <1, -1>, , , , <-w + 11, -20>, <13, -w - 10>, <12, -w - 10>, <-3*w + 3, 2*w - 36>, , <3*w + 9, -3*w + 28>, <12, -w - 8>, <-w + 34, -2*w - 34>, <37, -3*w - 25>, <-w + 21, -w - 24>, <-2*w + 5, w - 25>, <-3*w + 1, 2*w - 34>, <-3*w + 26, -49>, <-w + 34, -2*w - 32>, <3*w + 1, -2*w + 32>, <-5*w + 3, 3*w - 56>, <-2*w + 4, w - 24>, <-w + 34, -2*w - 30>, <-2*w + 55, -3*w - 53>, <8*w + 35, -8*w + 67>, <-7*w + 46, w - 103>, <-8*w + 67, -126>, <102, -8*w - 59>, <9*w + 14, -7*w + 90>, <-2*w + 106, -7*w - 83>, <2*w + 21, -3*w + 9>, <-3*w + 26, -48>, <-w + 47, -3*w - 39>, <3*w + 3, -2*w + 30>, , <2*w + 37, -4*w + 2>, <-2*w + 42, -2*w - 43>, <-4*w + 5, 2*w - 45>, <-w + 34, -2*w - 28>, <-w + 21, -w - 21>, <13*w + 60, -12*w + 106>, <-14*w + 107, -200>, <186, -14*w - 93>, <-2*w + 2, w - 22>, <14*w + 79, -14*w + 107>, <-w + 167, -12*w - 94>, <-3*w + 9, w - 36>, <-4*w + 16, w - 50>, , <2*w + 38, -4*w + 3>, <-2*w + 41, -2*w - 41>, <-5*w + 11, 2*w - 58>, <4*w + 23, -4*w + 31>, <2*w + 51, -5*w - 4>, <-3*w + 62, -3*w - 62>, <-2*w + 29, -w - 35>, , <2*w + 39, -4*w + 1>, , <-7*w + 26, 2*w - 86>, <-3*w + 36, -w - 49>, <-2*w + 55, -3*w - 48>, <4*w + 63, -7*w + 11>, <-3*w + 89, -5*w - 75>, <5*w + 29, -5*w + 38>, <-8*w + 60, -113>, <317*w + 746, -225*w + 2894>, <-92*w + 1923, -92*w - 1831>, <225*w + 2669, -317*w + 1063>, <-225*w + 2894, -92*w - 3640>, <-92*w + 3732, -225*w - 2669>, <133*w + 838, -133*w + 971>, <1809, -133*w - 838>, <133*w + 2647, -266*w + 133>, <-215*w + 876, 51*w - 2603>, <51*w + 1015, -102*w + 51>, <-164*w + 1891, -51*w - 2552>, <-41*w + 993, -51*w - 879>, <92*w + 22, -51*w + 930>, <-w + 21, -w - 20>, <8*w + 64, -9*w + 52>, <7*w + 85, -10*w + 32>, <-3*w + 199, -13*w - 123>, <-9*w + 93, -2*w - 135>, <-w + 157, -11*w - 83>, <-20*w + 364, -16*w - 373>, <29*w + 210, -31*w + 199>, <-29*w + 239, -2*w - 407>, <449, -33*w - 208>, <-10*w + 73, -136>, <11*w + 83, -12*w + 74>, , <7*w + 126, -13*w + 13>, , <5*w + 32, -5*w + 37>, <-2*w + 14, -27>, <-2*w + 41, -2*w - 39>, <-w + 88, -6*w - 50>, <-4*w + 15, w - 48>, <3*w + 46, -5*w + 10>, <11*w + 3, -6*w + 113>, <-7*w + 76, -2*w - 107>, <40, -3*w - 18>, <-5*w + 102, -5*w - 98>, <3*w + 19, -3*w + 23>, <-2*w + 27, -w - 33>, <-4*w + 41, -w - 60>, <3*w + 59, -6*w + 5>, , <12, -w - 9>, <0, 1>, <2*w + 31, -4*w + 2>, <-2*w + 17, -32>, , <13, -w - 8>, , <2*w + 25, -3*w + 8>, <-12*w + 105, -w - 178>, <-13*w + 86, w - 179>, <-2*w + 15, -28>, <-4*w + 17, w - 50>, <4*w + 50, -6*w + 17>, <2*w + 65, -6*w - 11>, <-6*w + 5, 3*w - 65>, <-133*w + 971, -1809>, <-92*w + 114, 41*w - 993>, <-266*w + 269, 123*w - 2843>, <41*w + 952, -92*w - 22>, <-51*w + 930, -41*w - 952>, <82*w + 95, -51*w + 794>, <136, -10*w - 63>, <10*w + 63, -10*w + 73>, <-31*w + 920, -51*w - 743>, <-18*w + 9, 9*w - 188>, <19*w + 147, -21*w + 126>, <-19*w + 166, -2*w - 271>, <313, -23*w - 145>, <9*w + 220, -21*w - 10>, <-9*w + 229, -12*w - 198>, <-w + 7, -13>, , <27, -2*w - 12>, <7*w + 4, -4*w + 70>, <-5*w + 63, -2*w - 80>, <4*w + 66, -7*w + 11>, <2*w + 67, -6*w - 10>, <2*w + 13, -2*w + 15>, <-w + 34, -2*w - 25>, <-w + 61, -4*w - 37>, <-w + 9, -17>, , <51*w + 879, -92*w + 114>, <-3*w + 62, -3*w - 59>, <-5*w + 102, -5*w - 97>, <1, 0> ] /* Voronoi top cells */ [ { 1, 2, 3, 4 }, { 5, 6, 7, 8 }, { 9, 10, 11, 12 }, { 13, 14, 15, 16 }, { 14, 17, 18, 19 }, { 20, 21, 22, 23, 24, 25 }, { 26, 27, 28, 29 }, { 30, 31, 32, 33 }, { 31, 34, 35, 36, 37, 38 }, { 39, 40, 41, 42, 43 }, { 1, 2, 3, 44, 45, 46 }, { 47, 48, 49, 50, 51, 52 }, { 53, 54, 55, 56 }, { 54, 56, 57, 58, 59, 60 }, { 53, 58, 59, 61 }, { 58, 61, 62, 63 }, { 58, 64, 65, 66, 67 }, { 68, 69, 70, 71 }, { 72, 73, 74, 75 }, { 76, 77, 78, 79, 80, 81, 82, 83, 84 }, { 5, 6, 7, 85 }, { 5, 6, 8, 53 }, { 86, 87, 88, 89 }, { 6, 85, 87, 90 }, { 12, 91, 92, 93 }, { 9, 11, 12, 91, 94 }, { 10, 11, 12, 92 }, { 95, 96, 97, 98, 99, 100 }, { 101, 102, 103, 104, 105, 106 }, { 101, 102, 104, 105, 107 }, { 108, 109, 110, 111, 112, 113 }, { 13, 14, 15, 114 }, { 14, 17, 18, 115 }, { 14, 114, 115, 116, 117, 118 }, { 21, 119, 120, 121, 122, 123 }, { 20, 23, 124, 125, 126, 127 }, { 21, 121, 124, 127, 128, 129 }, { 20, 21, 22, 23, 124 }, { 20, 130, 131, 132 }, { 133, 134, 135, 136 }, { 134, 135, 137, 138 }, { 139, 140, 141, 142 }, { 141, 143, 144, 145 }, { 146, 147, 148, 149, 150 }, { 146, 148, 151, 152, 153, 154 }, { 26, 27, 28, 155 }, { 27, 155, 156, 157 }, { 30, 95, 146, 149 }, { 30, 31, 33, 146 }, { 31, 35, 36, 37, 146, 151 }, { 158, 159, 160, 161, 162, 163 }, { 31, 37, 158, 159, 162 }, { 31, 162, 164, 165 }, { 39, 40, 42, 43, 166, 167, 168, 169, 170 }, { 39, 167, 171, 172, 173 }, { 2, 45, 174, 175, 176 }, { 45, 175, 176, 177 }, { 1, 2, 45, 177, 178 }, { 2, 174, 175, 178 }, { 179, 180, 181, 182 }, { 180, 183, 184, 185 }, { 47, 48, 49, 186, 187, 188 }, { 53, 54, 56, 58, 59 }, { 53, 58, 61, 62 }, { 54, 58, 189, 190, 191 }, { 58, 64, 67, 191 }, { 69, 70, 71, 192 }, { 72, 73, 74, 193 }, { 76, 77, 78, 194 }, { 194, 195, 196, 197 }, { 5, 6, 53, 85 }, { 6, 85, 86, 87, 89 }, { 11, 12, 91, 92 }, { 11, 92, 198, 199 }, { 92, 195, 200, 201 }, { 92, 200, 202, 203 }, { 95, 96, 98, 204, 205 }, { 195, 202, 204, 205, 206, 207 }, { 101, 103, 104, 106, 109 }, { 101, 104, 107, 208, 209, 210 }, { 108, 109, 111, 112, 211 }, { 13, 20, 212, 213 }, { 13, 14, 17, 114, 115 }, { 17, 20, 130, 212 }, { 21, 119, 121, 122, 134 }, { 20, 21, 121, 124, 127 }, { 20, 130, 131, 214, 215 }, { 155, 156, 157, 216 }, { 133, 134, 135, 138 }, { 139, 142, 158, 217 }, { 143, 144, 158, 218 }, { 139, 141, 142, 143, 144 }, { 95, 146, 148, 149 }, { 146, 148, 151, 153, 158 }, { 26, 27, 155, 156 }, { 30, 31, 95, 146 }, { 31, 37, 146, 151, 158 }, { 158, 160, 219, 220, 221, 222 }, { 31, 164, 219, 222, 223 }, { 31, 158, 160, 162, 164 }, { 39, 42, 167, 171, 172, 224 }, { 171, 225, 226, 227 }, { 171, 172, 173, 225, 228 }, { 2, 45, 175, 177, 178 }, { 175, 177, 229, 230 }, { 175, 178, 231, 232 }, { 175, 229, 230, 231, 232 }, { 179, 180, 181, 183 }, { 180, 183, 184, 231 }, { 233, 234, 235, 236 }, { 186, 187, 188, 189, 231, 234, 235, 237, 238 }, { 53, 54, 58, 189 }, { 53, 58, 62, 64 }, { 58, 64, 189, 191 }, { 70, 179, 181, 183 }, { 53, 69, 70, 179, 192 }, { 53, 62, 64, 69 }, { 72, 73, 193, 239 }, { 53, 72, 73, 240 }, { 76, 78, 194, 198, 240 }, { 194, 195, 196, 241 }, { 6, 53, 85, 86, 89, 242, 243, 244, 245 }, { 11, 91, 92, 95 }, { 11, 85, 92, 198 }, { 92, 195, 200, 202 }, { 91, 92, 95, 96 }, { 241, 246, 247, 248 }, { 95, 96, 195, 202, 204, 205 }, { 195, 205, 206, 246 }, { 101, 104, 109, 111, 209, 210 }, { 109, 111, 211, 249 }, { 13, 20, 213, 250 }, { 13, 17, 20, 212 }, { 13, 17, 114, 115, 214, 250 }, { 17, 20, 130, 214 }, { 20, 21, 121, 134 }, { 20, 121, 214, 215 }, { 155, 156, 158, 216 }, { 133, 134, 138, 139, 143 }, { 139, 142, 143, 144, 158 }, { 143, 148, 153, 158 }, { 95, 146, 148, 158 }, { 26, 27, 156, 219 }, { 26, 155, 156, 158 }, { 30, 31, 95, 219 }, { 31, 95, 146, 158 }, { 31, 158, 160, 164, 219, 222 }, { 171, 172, 177, 178, 224, 225, 227, 228, 251 }, { 175, 177, 178, 230, 231 }, { 179, 180, 183, 231 }, { 64, 183, 189, 231, 233, 234, 235, 237, 238 }, { 53, 58, 64, 189 }, { 53, 64, 69, 70, 179, 183 }, { 53, 72, 73, 239 }, { 53, 72, 240, 241 }, { 194, 195, 198, 240, 241 }, { 53, 85, 86, 198, 240, 242, 244, 245, 252 }, { 11, 85, 92, 95 }, { 85, 92, 195, 198 }, { 92, 95, 96, 195, 202 }, { 195, 241, 246, 253 }, { 239, 241, 246, 247 }, { 95, 195, 205, 246 }, { 111, 210, 249, 250 }, { 101, 109, 111, 210, 249 }, { 101, 109, 214, 249 }, { 114, 115, 214, 249, 250 }, { 20, 21, 134, 250 }, { 13, 17, 20, 214, 250 }, { 20, 121, 134, 214 }, { 139, 156, 158, 216 }, { 134, 139, 143, 158 }, { 95, 143, 148, 158 }, { 26, 156, 158, 219 }, { 31, 95, 158, 219 }, { 177, 178, 189, 225, 227, 228, 230, 231, 251 }, { 53, 64, 179, 183, 189, 231 }, { 53, 72, 239, 241 }, { 53, 85, 195, 198, 240, 241 }, { 85, 92, 95, 195 }, { 95, 195, 239, 241, 246 }, { 101, 210, 214, 249, 250 }, { 20, 134, 214, 250 }, { 134, 139, 156, 158 }, { 95, 134, 143, 158 }, { 95, 156, 158, 219 }, { 53, 85, 179, 189, 230, 231 }, { 53, 85, 95, 195, 239, 241 }, { 101, 134, 210, 214, 250 }, { 95, 134, 156, 158 }, { 53, 85, 95, 156, 179, 239 }, { 95, 101, 134, 156, 210 }, { 95, 101, 156, 210, 239, 254 } ] /* 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 } ], [ { 14, 18, 19 }, { 14, 17, 19 }, { 17, 18, 19 }, { 14, 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 } ], [ { 31, 35, 36, 37 }, { 34, 35, 36 }, { 31, 34, 36, 38 }, { 34, 35, 37, 38 }, { 31, 37, 38 } ], [ { 40, 41, 42 }, { 39, 41, 42 }, { 39, 40, 42, 43 }, { 40, 41, 43 }, { 39, 41, 43 } ], [ { 2, 3, 44 }, { 1, 2, 3 }, { 1, 2, 45 }, { 2, 44, 45 }, { 1, 45, 46 }, { 3, 44, 46 }, { 1, 3, 46 }, { 44, 45, 46 } ], [ { 48, 49, 50, 51 }, { 47, 49, 50, 52 }, { 47, 48, 49 }, { 47, 48, 51, 52 }, { 50, 51, 52 } ], [ { 54, 55, 56 }, { 53, 55, 56 }, { 53, 54, 56 }, { 53, 54, 55 } ], [ { 57, 58, 59 }, { 54, 56, 58, 59 }, { 54, 57, 58, 60 }, { 56, 57, 59, 60 }, { 54, 56, 60 } ], [ { 58, 59, 61 }, { 53, 59, 61 }, { 53, 58, 61 }, { 53, 58, 59 } ], [ { 61, 62, 63 }, { 58, 61, 63 }, { 58, 62, 63 }, { 58, 61, 62 } ], [ { 64, 65, 67 }, { 58, 64, 67 }, { 58, 64, 65, 66 }, { 58, 66, 67 }, { 65, 66, 67 } ], [ { 69, 70, 71 }, { 68, 70, 71 }, { 68, 69, 71 }, { 68, 69, 70 } ], [ { 73, 74, 75 }, { 72, 74, 75 }, { 72, 73, 75 }, { 72, 73, 74 } ], [ { 76, 77, 79, 83 }, { 76, 77, 78 }, { 76, 78, 80, 81, 83, 84 }, { 77, 78, 81, 82 }, { 77, 79, 82 }, { 79, 80, 82, 84 }, { 79, 80, 83 }, { 81, 82, 84 } ], [ { 5, 6, 7 }, { 6, 7, 85 }, { 5, 7, 85 }, { 5, 6, 85 } ], [ { 6, 8, 53 }, { 5, 8, 53 }, { 5, 6, 8 }, { 5, 6, 53 } ], [ { 87, 88, 89 }, { 86, 88, 89 }, { 86, 87, 89 }, { 86, 87, 88 } ], [ { 6, 87, 90 }, { 6, 85, 90 }, { 6, 85, 87 }, { 85, 87, 90 } ], [ { 12, 92, 93 }, { 12, 91, 93 }, { 12, 91, 92 }, { 91, 92, 93 } ], [ { 9, 11, 12 }, { 11, 12, 91 }, { 9, 11, 91, 94 }, { 9, 12, 94 }, { 12, 91, 94 } ], [ { 11, 12, 92 }, { 10, 11, 12 }, { 10, 12, 92 }, { 10, 11, 92 } ], [ { 95, 97, 98, 99 }, { 95, 96, 98 }, { 95, 96, 97, 100 }, { 96, 98, 99, 100 }, { 97, 99, 100 } ], [ { 101, 103, 104, 106 }, { 101, 102, 104, 105 }, { 101, 102, 103 }, { 102, 103, 105, 106 }, { 104, 105, 106 } ], [ { 101, 104, 107 }, { 101, 102, 107 }, { 101, 102, 104, 105 }, { 102, 105, 107 }, { 104, 105, 107 } ], [ { 109, 110, 111, 113 }, { 108, 110, 111 }, { 108, 109, 111, 112 }, { 108, 110, 112, 113 }, { 109, 112, 113 } ], [ { 13, 14, 15 }, { 14, 15, 114 }, { 13, 15, 114 }, { 13, 14, 114 } ], [ { 14, 17, 18 }, { 14, 18, 115 }, { 14, 17, 115 }, { 17, 18, 115 } ], [ { 14, 114, 116, 117 }, { 114, 115, 116, 118 }, { 14, 114, 115 }, { 14, 115, 117, 118 }, { 116, 117, 118 } ], [ { 21, 120, 121, 123 }, { 21, 119, 121, 122 }, { 21, 119, 120 }, { 119, 120, 122, 123 }, { 121, 122, 123 } ], [ { 20, 23, 125 }, { 20, 23, 124 }, { 23, 124, 126 }, { 23, 125, 126 }, { 20, 125, 127 }, { 124, 126, 127 }, { 125, 126, 127 }, { 20, 124, 127 } ], [ { 21, 121, 124, 127 }, { 21, 121, 128, 129 }, { 124, 127, 128, 129 }, { 121, 127, 128 }, { 21, 124, 129 } ], [ { 21, 22, 124 }, { 20, 21, 22, 23 }, { 20, 21, 124 }, { 20, 23, 124 }, { 22, 23, 124 } ], [ { 130, 131, 132 }, { 20, 131, 132 }, { 20, 130, 132 }, { 20, 130, 131 } ], [ { 134, 135, 136 }, { 133, 135, 136 }, { 133, 134, 136 }, { 133, 134, 135 } ], [ { 134, 135, 138 }, { 135, 137, 138 }, { 134, 135, 137 }, { 134, 137, 138 } ], [ { 140, 141, 142 }, { 139, 141, 142 }, { 139, 140, 142 }, { 139, 140, 141 } ], [ { 141, 144, 145 }, { 141, 143, 145 }, { 143, 144, 145 }, { 141, 143, 144 } ], [ { 147, 148, 149 }, { 146, 148, 149 }, { 146, 147, 149, 150 }, { 147, 148, 150 }, { 146, 148, 150 } ], [ { 146, 148, 152 }, { 146, 148, 151, 153 }, { 146, 151, 152, 154 }, { 148, 152, 153, 154 }, { 151, 153, 154 } ], [ { 27, 28, 155 }, { 26, 27, 28 }, { 26, 28, 155 }, { 26, 27, 155 } ], [ { 27, 155, 157 }, { 27, 156, 157 }, { 155, 156, 157 }, { 27, 155, 156 } ], [ { 30, 95, 149 }, { 30, 146, 149 }, { 95, 146, 149 }, { 30, 95, 146 } ], [ { 30, 31, 33 }, { 31, 33, 146 }, { 30, 33, 146 }, { 30, 31, 146 } ], [ { 35, 36, 146, 151 }, { 31, 37, 146, 151 }, { 31, 36, 146 }, { 31, 35, 36, 37 }, { 35, 37, 151 } ], [ { 158, 160, 161 }, { 158, 159, 161 }, { 158, 159, 162 }, { 158, 160, 162 }, { 159, 161, 163 }, { 160, 161, 163 }, { 160, 162, 163 }, { 159, 162, 163 } ], [ { 31, 37, 159, 162 }, { 31, 37, 158 }, { 37, 158, 159 }, { 158, 159, 162 }, { 31, 158, 162 } ], [ { 31, 162, 165 }, { 162, 164, 165 }, { 31, 162, 164 }, { 31, 164, 165 } ], [ { 39, 40, 42, 43 }, { 39, 166, 167, 170 }, { 39, 42, 167 }, { 166, 167, 168 }, { 42, 167, 168, 169 }, { 40, 43, 166, 168, 169, 170 }, { 40, 42, 169 }, { 39, 43, 170 } ], [ { 171, 172, 173 }, { 39, 172, 173 }, { 39, 167, 171, 172 }, { 39, 167, 173 }, { 167, 171, 173 } ], [ { 174, 175, 176 }, { 2, 45, 174, 176 }, { 2, 174, 175 }, { 2, 45, 175 }, { 45, 175, 176 } ], [ { 45, 175, 176 }, { 45, 176, 177 }, { 45, 175, 177 }, { 175, 176, 177 } ], [ { 2, 45, 177, 178 }, { 1, 2, 178 }, { 1, 177, 178 }, { 1, 2, 45 }, { 1, 45, 177 } ], [ { 2, 174, 175 }, { 2, 175, 178 }, { 174, 175, 178 }, { 2, 174, 178 } ], [ { 180, 181, 182 }, { 179, 181, 182 }, { 179, 180, 182 }, { 179, 180, 181 } ], [ { 183, 184, 185 }, { 180, 184, 185 }, { 180, 183, 185 }, { 180, 183, 184 } ], [ { 186, 187, 188 }, { 47, 48, 187, 188 }, { 47, 49, 186, 188 }, { 48, 49, 186, 187 }, { 47, 48, 49 } ], [ { 54, 56, 58, 59 }, { 53, 58, 59 }, { 53, 54, 58 }, { 53, 54, 56 }, { 53, 56, 59 } ], [ { 58, 61, 62 }, { 53, 61, 62 }, { 53, 58, 61 }, { 53, 58, 62 } ], [ { 54, 189, 190 }, { 54, 58, 190, 191 }, { 54, 58, 189 }, { 58, 189, 191 }, { 189, 190, 191 } ], [ { 64, 67, 191 }, { 58, 67, 191 }, { 58, 64, 67 }, { 58, 64, 191 } ], [ { 70, 71, 192 }, { 69, 71, 192 }, { 69, 70, 71 }, { 69, 70, 192 } ], [ { 73, 74, 193 }, { 72, 74, 193 }, { 72, 73, 193 }, { 72, 73, 74 } ], [ { 77, 78, 194 }, { 76, 77, 78 }, { 76, 78, 194 }, { 76, 77, 194 } ], [ { 194, 196, 197 }, { 195, 196, 197 }, { 194, 195, 197 }, { 194, 195, 196 } ], [ { 5, 6, 53 }, { 6, 53, 85 }, { 5, 53, 85 }, { 5, 6, 85 } ], [ { 6, 85, 87 }, { 6, 85, 86, 89 }, { 85, 86, 87 }, { 6, 87, 89 }, { 86, 87, 89 } ], [ { 11, 12, 92 }, { 11, 12, 91 }, { 12, 91, 92 }, { 11, 91, 92 } ], [ { 11, 92, 199 }, { 11, 198, 199 }, { 92, 198, 199 }, { 11, 92, 198 } ], [ { 92, 195, 201 }, { 92, 200, 201 }, { 195, 200, 201 }, { 92, 195, 200 } ], [ { 92, 202, 203 }, { 200, 202, 203 }, { 92, 200, 203 }, { 92, 200, 202 } ], [ { 96, 98, 204 }, { 95, 96, 98 }, { 95, 96, 204, 205 }, { 98, 204, 205 }, { 95, 98, 205 } ], [ { 204, 205, 206, 207 }, { 195, 205, 206 }, { 195, 202, 204, 205 }, { 195, 202, 206, 207 }, { 202, 204, 207 } ], [ { 101, 104, 109 }, { 101, 103, 109 }, { 101, 103, 104, 106 }, { 103, 106, 109 }, { 104, 106, 109 } ], [ { 104, 107, 208, 209 }, { 101, 104, 107 }, { 101, 107, 208, 210 }, { 101, 104, 209, 210 }, { 208, 209, 210 } ], [ { 109, 111, 211 }, { 108, 111, 211 }, { 108, 109, 111, 112 }, { 109, 112, 211 }, { 108, 112, 211 } ], [ { 13, 20, 213 }, { 13, 212, 213 }, { 20, 212, 213 }, { 13, 20, 212 } ], [ { 14, 114, 115 }, { 14, 17, 115 }, { 13, 17, 114, 115 }, { 13, 14, 114 }, { 13, 14, 17 } ], [ { 20, 130, 212 }, { 17, 20, 130 }, { 17, 130, 212 }, { 17, 20, 212 } ], [ { 21, 121, 134 }, { 21, 119, 134 }, { 21, 119, 121, 122 }, { 119, 122, 134 }, { 121, 122, 134 } ], [ { 20, 21, 124 }, { 21, 121, 124, 127 }, { 20, 21, 121 }, { 20, 121, 127 }, { 20, 124, 127 } ], [ { 20, 130, 131 }, { 130, 131, 214, 215 }, { 20, 130, 214 }, { 20, 131, 215 }, { 20, 214, 215 } ], [ { 155, 157, 216 }, { 155, 156, 157 }, { 156, 157, 216 }, { 155, 156, 216 } ], [ { 134, 135, 138 }, { 133, 135, 138 }, { 133, 134, 135 }, { 133, 134, 138 } ], [ { 139, 142, 217 }, { 142, 158, 217 }, { 139, 142, 158 }, { 139, 158, 217 } ], [ { 144, 158, 218 }, { 143, 144, 218 }, { 143, 158, 218 }, { 143, 144, 158 } ], [ { 141, 143, 144 }, { 139, 141, 143 }, { 139, 142, 143, 144 }, { 141, 142, 144 }, { 139, 141, 142 } ], [ { 95, 148, 149 }, { 146, 148, 149 }, { 95, 146, 149 }, { 95, 146, 148 } ], [ { 146, 148, 158 }, { 146, 148, 151, 153 }, { 146, 151, 158 }, { 151, 153, 158 }, { 148, 153, 158 } ], [ { 27, 155, 156 }, { 26, 27, 155 }, { 26, 27, 156 }, { 26, 155, 156 } ], [ { 30, 31, 95 }, { 30, 31, 146 }, { 31, 95, 146 }, { 30, 95, 146 } ], [ { 31, 146, 158 }, { 31, 37, 146, 151 }, { 146, 151, 158 }, { 37, 151, 158 }, { 31, 37, 158 } ], [ { 158, 160, 220 }, { 158, 160, 219, 222 }, { 158, 219, 220, 221 }, { 160, 220, 221, 222 }, { 219, 221, 222 } ], [ { 31, 164, 219, 222 }, { 31, 164, 223 }, { 31, 219, 223 }, { 219, 222, 223 }, { 164, 222, 223 } ], [ { 31, 162, 164 }, { 31, 158, 162 }, { 31, 158, 160, 164 }, { 160, 162, 164 }, { 158, 160, 162 } ], [ { 171, 172, 224 }, { 39, 42, 172, 224 }, { 39, 167, 171, 172 }, { 42, 167, 171, 224 }, { 39, 42, 167 } ], [ { 171, 226, 227 }, { 171, 225, 227 }, { 225, 226, 227 }, { 171, 225, 226 } ], [ { 173, 225, 228 }, { 171, 173, 225 }, { 171, 172, 225, 228 }, { 172, 173, 228 }, { 171, 172, 173 } ], [ { 2, 175, 178 }, { 175, 177, 178 }, { 2, 45, 177, 178 }, { 45, 175, 177 }, { 2, 45, 175 } ], [ { 175, 177, 230 }, { 175, 177, 229 }, { 175, 229, 230 }, { 177, 229, 230 } ], [ { 175, 231, 232 }, { 175, 178, 232 }, { 175, 178, 231 }, { 178, 231, 232 } ], [ { 175, 229, 230 }, { 175, 230, 231 }, { 229, 230, 231, 232 }, { 175, 231, 232 }, { 175, 229, 232 } ], [ { 180, 181, 183 }, { 179, 181, 183 }, { 179, 180, 183 }, { 179, 180, 181 } ], [ { 180, 183, 184 }, { 183, 184, 231 }, { 180, 184, 231 }, { 180, 183, 231 } ], [ { 234, 235, 236 }, { 233, 235, 236 }, { 233, 234, 236 }, { 233, 234, 235 } ], [ { 186, 187, 189, 231 }, { 189, 231, 234, 235, 237, 238 }, { 186, 189, 238 }, { 186, 188, 234, 238 }, { 187, 188, 235, 237 }, { 187, 231, 237 }, { 188, 234, 235 }, { 186, 187, 188 } ], [ { 54, 58, 189 }, { 53, 58, 189 }, { 53, 54, 189 }, { 53, 54, 58 } ], [ { 58, 62, 64 }, { 53, 62, 64 }, { 53, 58, 62 }, { 53, 58, 64 } ], [ { 64, 189, 191 }, { 58, 64, 191 }, { 58, 189, 191 }, { 58, 64, 189 } ], [ { 70, 181, 183 }, { 70, 179, 183 }, { 70, 179, 181 }, { 179, 181, 183 } ], [ { 53, 69, 192 }, { 53, 179, 192 }, { 53, 69, 70, 179 }, { 69, 70, 192 }, { 70, 179, 192 } ], [ { 62, 64, 69 }, { 53, 62, 69 }, { 53, 64, 69 }, { 53, 62, 64 } ], [ { 73, 193, 239 }, { 72, 73, 193 }, { 72, 193, 239 }, { 72, 73, 239 } ], [ { 53, 73, 240 }, { 72, 73, 240 }, { 53, 72, 240 }, { 53, 72, 73 } ], [ { 194, 198, 240 }, { 76, 194, 240 }, { 76, 78, 198, 240 }, { 76, 78, 194 }, { 78, 194, 198 } ], [ { 194, 196, 241 }, { 194, 195, 196 }, { 195, 196, 241 }, { 194, 195, 241 } ], [ { 6, 85, 86, 89 }, { 53, 85, 86, 242, 244, 245 }, { 6, 53, 85 }, { 6, 53, 243, 245 }, { 89, 242, 243, 244 }, { 242, 243, 245 }, { 86, 89, 244 }, { 6, 89, 243 } ], [ { 11, 92, 95 }, { 11, 91, 92 }, { 11, 91, 95 }, { 91, 92, 95 } ], [ { 11, 92, 198 }, { 11, 85, 92 }, { 11, 85, 198 }, { 85, 92, 198 } ], [ { 92, 195, 202 }, { 92, 200, 202 }, { 195, 200, 202 }, { 92, 195, 200 } ], [ { 92, 95, 96 }, { 91, 92, 96 }, { 91, 92, 95 }, { 91, 95, 96 } ], [ { 241, 247, 248 }, { 246, 247, 248 }, { 241, 246, 248 }, { 241, 246, 247 } ], [ { 95, 96, 204, 205 }, { 95, 96, 195, 202 }, { 195, 202, 204, 205 }, { 95, 195, 205 }, { 96, 202, 204 } ], [ { 195, 205, 206 }, { 205, 206, 246 }, { 195, 206, 246 }, { 195, 205, 246 } ], [ { 104, 109, 111, 209 }, { 101, 104, 209, 210 }, { 101, 104, 109 }, { 101, 109, 111, 210 }, { 111, 209, 210 } ], [ { 111, 211, 249 }, { 109, 111, 211 }, { 109, 211, 249 }, { 109, 111, 249 } ], [ { 13, 20, 213 }, { 13, 213, 250 }, { 20, 213, 250 }, { 13, 20, 250 } ], [ { 13, 20, 212 }, { 13, 17, 20 }, { 13, 17, 212 }, { 17, 20, 212 } ], [ { 17, 115, 214 }, { 13, 17, 214, 250 }, { 114, 115, 214, 250 }, { 13, 17, 114, 115 }, { 13, 114, 250 } ], [ { 20, 130, 214 }, { 17, 20, 130 }, { 17, 130, 214 }, { 17, 20, 214 } ], [ { 20, 21, 134 }, { 20, 21, 121 }, { 21, 121, 134 }, { 20, 121, 134 } ], [ { 20, 214, 215 }, { 20, 121, 215 }, { 121, 214, 215 }, { 20, 121, 214 } ], [ { 155, 158, 216 }, { 155, 156, 216 }, { 155, 156, 158 }, { 156, 158, 216 } ], [ { 133, 134, 139 }, { 134, 139, 143 }, { 133, 138, 139, 143 }, { 134, 138, 143 }, { 133, 134, 138 } ], [ { 139, 142, 143, 144 }, { 143, 144, 158 }, { 139, 143, 158 }, { 142, 144, 158 }, { 139, 142, 158 } ], [ { 148, 153, 158 }, { 143, 148, 153 }, { 143, 153, 158 }, { 143, 148, 158 } ], [ { 95, 148, 158 }, { 146, 148, 158 }, { 95, 146, 148 }, { 95, 146, 158 } ], [ { 27, 156, 219 }, { 26, 27, 219 }, { 26, 27, 156 }, { 26, 156, 219 } ], [ { 155, 156, 158 }, { 26, 155, 158 }, { 26, 155, 156 }, { 26, 156, 158 } ], [ { 30, 31, 219 }, { 30, 31, 95 }, { 31, 95, 219 }, { 30, 95, 219 } ], [ { 31, 95, 158 }, { 31, 146, 158 }, { 31, 95, 146 }, { 95, 146, 158 } ], [ { 31, 158, 160, 164 }, { 31, 164, 219, 222 }, { 31, 158, 219 }, { 158, 160, 219, 222 }, { 160, 164, 222 } ], [ { 177, 178, 225, 227, 228, 251 }, { 171, 172, 225, 228 }, { 171, 225, 227 }, { 172, 178, 224, 251 }, { 171, 177, 224, 227 }, { 177, 178, 224 }, { 171, 172, 224 }, { 172, 228, 251 } ], [ { 175, 230, 231 }, { 175, 178, 231 }, { 177, 178, 230, 231 }, { 175, 177, 230 }, { 175, 177, 178 } ], [ { 180, 183, 231 }, { 179, 180, 183 }, { 179, 183, 231 }, { 179, 180, 231 } ], [ { 64, 183, 189, 231 }, { 64, 183, 233 }, { 64, 233, 234, 238 }, { 189, 231, 234, 235, 237, 238 }, { 183, 233, 235, 237 }, { 233, 234, 235 }, { 183, 231, 237 }, { 64, 189, 238 } ], [ { 58, 64, 189 }, { 53, 64, 189 }, { 53, 58, 64 }, { 53, 58, 189 } ], [ { 53, 64, 69 }, { 53, 69, 70, 179 }, { 53, 64, 179, 183 }, { 64, 69, 70, 183 }, { 70, 179, 183 } ], [ { 53, 73, 239 }, { 53, 72, 73 }, { 72, 73, 239 }, { 53, 72, 239 } ], [ { 53, 240, 241 }, { 72, 240, 241 }, { 53, 72, 240 }, { 53, 72, 241 } ], [ { 194, 195, 241 }, { 194, 195, 198 }, { 195, 198, 240, 241 }, { 194, 198, 240 }, { 194, 240, 241 } ], [ { 85, 86, 198 }, { 53, 85, 86, 242, 244, 245 }, { 53, 85, 198, 240 }, { 198, 240, 252 }, { 240, 242, 245, 252 }, { 86, 198, 244, 252 }, { 242, 244, 252 }, { 53, 240, 245 } ], [ { 11, 92, 95 }, { 11, 85, 92 }, { 11, 85, 95 }, { 85, 92, 95 } ], [ { 92, 195, 198 }, { 85, 92, 198 }, { 85, 92, 195 }, { 85, 195, 198 } ], [ { 92, 95, 96 }, { 92, 95, 195 }, { 95, 96, 195, 202 }, { 92, 195, 202 }, { 92, 96, 202 } ], [ { 195, 241, 253 }, { 241, 246, 253 }, { 195, 246, 253 }, { 195, 241, 246 } ], [ { 241, 246, 247 }, { 239, 241, 247 }, { 239, 246, 247 }, { 239, 241, 246 } ], [ { 195, 205, 246 }, { 95, 195, 205 }, { 95, 205, 246 }, { 95, 195, 246 } ], [ { 111, 210, 249 }, { 111, 210, 250 }, { 210, 249, 250 }, { 111, 249, 250 } ], [ { 109, 111, 249 }, { 101, 109, 111, 210 }, { 101, 109, 249 }, { 101, 210, 249 }, { 111, 210, 249 } ], [ { 109, 214, 249 }, { 101, 214, 249 }, { 101, 109, 214 }, { 101, 109, 249 } ], [ { 115, 214, 249 }, { 214, 249, 250 }, { 114, 115, 214, 250 }, { 114, 249, 250 }, { 114, 115, 249 } ], [ { 20, 21, 134 }, { 20, 21, 250 }, { 21, 134, 250 }, { 20, 134, 250 } ], [ { 17, 20, 214 }, { 20, 214, 250 }, { 13, 17, 214, 250 }, { 13, 17, 20 }, { 13, 20, 250 } ], [ { 20, 134, 214 }, { 20, 121, 214 }, { 20, 121, 134 }, { 121, 134, 214 } ], [ { 139, 158, 216 }, { 139, 156, 216 }, { 156, 158, 216 }, { 139, 156, 158 } ], [ { 134, 139, 158 }, { 139, 143, 158 }, { 134, 139, 143 }, { 134, 143, 158 } ], [ { 95, 148, 158 }, { 143, 148, 158 }, { 95, 143, 148 }, { 95, 143, 158 } ], [ { 156, 158, 219 }, { 26, 158, 219 }, { 26, 156, 158 }, { 26, 156, 219 } ], [ { 31, 158, 219 }, { 31, 95, 158 }, { 31, 95, 219 }, { 95, 158, 219 } ], [ { 189, 230, 231 }, { 177, 178, 230, 231 }, { 189, 225, 227, 230 }, { 189, 228, 231, 251 }, { 177, 178, 225, 227, 228, 251 }, { 178, 231, 251 }, { 189, 225, 228 }, { 177, 227, 230 } ], [ { 53, 64, 179, 183 }, { 53, 179, 189, 231 }, { 53, 64, 189 }, { 64, 183, 189, 231 }, { 179, 183, 231 } ], [ { 53, 239, 241 }, { 53, 72, 241 }, { 72, 239, 241 }, { 53, 72, 239 } ], [ { 53, 85, 198, 240 }, { 53, 85, 195, 241 }, { 85, 195, 198 }, { 195, 198, 240, 241 }, { 53, 240, 241 } ], [ { 92, 95, 195 }, { 85, 92, 195 }, { 85, 92, 95 }, { 85, 95, 195 } ], [ { 95, 195, 246 }, { 95, 195, 239, 241 }, { 95, 239, 246 }, { 239, 241, 246 }, { 195, 241, 246 } ], [ { 214, 249, 250 }, { 101, 214, 249 }, { 101, 210, 214, 250 }, { 101, 210, 249 }, { 210, 249, 250 } ], [ { 20, 134, 214 }, { 20, 214, 250 }, { 20, 134, 250 }, { 134, 214, 250 } ], [ { 139, 156, 158 }, { 134, 139, 158 }, { 134, 139, 156 }, { 134, 156, 158 } ], [ { 95, 134, 158 }, { 95, 143, 158 }, { 134, 143, 158 }, { 95, 134, 143 } ], [ { 95, 158, 219 }, { 156, 158, 219 }, { 95, 156, 158 }, { 95, 156, 219 } ], [ { 53, 179, 189, 231 }, { 85, 179, 230, 231 }, { 53, 85, 179 }, { 53, 85, 189, 230 }, { 189, 230, 231 } ], [ { 95, 195, 239, 241 }, { 85, 95, 195 }, { 53, 85, 95, 239 }, { 53, 85, 195, 241 }, { 53, 239, 241 } ], [ { 134, 214, 250 }, { 101, 134, 214 }, { 101, 210, 214, 250 }, { 101, 134, 210 }, { 134, 210, 250 } ], [ { 95, 156, 158 }, { 95, 134, 158 }, { 134, 156, 158 }, { 95, 134, 156 } ], [ { 95, 156, 239 }, { 53, 85, 95, 239 }, { 85, 95, 156, 179 }, { 53, 156, 179, 239 }, { 53, 85, 179 } ], [ { 95, 134, 156 }, { 95, 101, 156, 210 }, { 101, 134, 156 }, { 95, 134, 210 }, { 101, 134, 210 } ], [ { 95, 101, 156, 210 }, { 101, 156, 239, 254 }, { 95, 156, 239 }, { 95, 210, 239, 254 }, { 101, 210, 254 } ] ] /* Order of PGL_2(O) stabilizers of Voronoi top cells */ [ 2, 1, 1, 1, 1, 3, 1, 1, 2, 1, 3, 3, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 2, 1, 1, 2, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 2, 3, 1, 1, 3, 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, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 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, 3, 1, 1, 3, 1, 1, 1, 1, 1, 3, 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, 3, 1, 1, 1, 3, 1, 3 ] /* GAP id of GL_2(O) stabilizers of Voronoi top cells */ [ <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <6, 2>, <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>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <4, 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>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <6, 2>, <2, 1>, <2, 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>, <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>, <6, 2>, <2, 1>, <2, 1>, <6, 2>, <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>, <6, 2>, <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>, <6, 2>, <2, 1>, <2, 1>, <6, 2>, <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>, <6, 2>, <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>, <6, 2> ]