/* Defining polynomial */ x^2 - x + 215 /* Minimal vectors */ [ <12*w + 82, -11*w + 108>, <-12*w + 94, w - 191>, , <-w + 150, -8*w - 83>, <176, -10*w - 83>, <-w + 9, -16>, <5*w + 26, -4*w + 49>, <53, -3*w - 24>, <-w + 62, -3*w - 40>, <129*w + 79, -73*w + 1602>, <-61*w + 276, 16*w - 905>, <68*w + 355, -57*w + 697>, <66*w + 1202, -106*w + 273>, <-114*w + 751, 16*w - 1802>, <-2*w + 847, -49*w - 424>, <-167*w + 1226, 16*w - 2699>, <-53*w + 475, -897>, <-435*w + 1276, 155*w - 6128>, <-437*w + 2123, 106*w - 6552>, <151*w + 5550, -408*w - 693>, <-868*w + 1705, 359*w - 11832>, <204*w + 5075, -408*w + 204>, <-70*w + 492, 8*w - 1121>, <7*w + 631, -41*w - 208>, <-10*w + 648, -33*w - 432>, <75*w + 986, -98*w + 489>, <-80*w + 1140, -25*w - 1553>, <51*w + 372, -49*w + 473>, <-98*w + 1149, -16*w - 1786>, <40*w + 1435, -106*w - 167>, <-151*w + 1624, -16*w - 2683>, <-45*w + 674, -16*w - 889>, <-11*w + 1063, -57*w - 640>, <-56*w + 1737, -73*w - 1529>, <-77*w + 690, -1303>, <127*w + 994, -126*w + 1146>, <-9*w + 1079, -59*w - 622>, <-w + 1718, -101*w - 821>, <68*w + 389, -59*w + 681>, <102*w + 795, -101*w + 922>, <-w + 2141, -126*w - 1020>, <-112*w + 310, 41*w - 1569>, <59*w + 588, -66*w + 473>, <-53*w + 898, -25*w - 1096>, <-3*w + 1702, -99*w - 839>, <-78*w + 276, 25*w - 1121>, <102*w + 761, -99*w + 938>, <7*w + 1054, -66*w - 407>, <-71*w + 1330, -41*w - 1528>, <-26*w + 233, -440>, <-121*w + 526, 33*w - 1785>, <33*w + 821, -66*w + 33>, <-88*w + 1347, -33*w - 1752>, <-83*w + 67, 40*w - 1086>, <8*w + 216, -17*w>, <-75*w + 283, 23*w - 1086>, <-108*w + 308, 39*w - 1517>, <89*w + 1470, -134*w + 439>, <-11*w + 67, 2*w - 166>, <-2*w + 1, w - 25>, <11*w + 56, -9*w + 108>, <2*w + 16, -2*w + 17>, <6*w + 31, -5*w + 59>, <-5*w + 47, -84>, <2*w + 51, -4*w>, <35, -2*w - 17>, <-w + 97, -5*w - 59>, <-2*w + 18, -33>, <-6*w + 37, w - 91>, <5*w + 42, -5*w + 42>, <-2*w + 53, -2*w - 49>, <35, -2*w - 16>, , <-w + 44, -2*w - 33>, <10*w + 48, -8*w + 101>, , <-6*w + 107, -3*w - 124>, <-3*w + 45, -w - 58>, <-3*w + 115, -5*w - 91>, <-5*w + 116, -4*w - 116>, <-9*w + 13, 4*w - 117>, <-10*w + 57, 2*w - 150>, <-4*w + 19, w - 58>, <-3*w + 80, -3*w - 74>, <4*w + 86, -7*w + 9>, <2*w + 34, -3*w + 9>, <-15*w + 66, 4*w - 216>, <-13*w + 100, w - 207>, <12*w + 135, -14*w + 86>, <10*w + 153, -14*w + 53>, <13*w + 39, -9*w + 143>, <52, -3*w - 24>, <6*w + 189, -14*w - 13>, <-13*w + 13, 6*w - 167>, <-9*w + 168, -5*w - 189>, <-4*w + 17, w - 57>, <4*w + 70, -6*w + 19>, <87, -5*w - 38>, <-6*w + 121, -4*w - 127>, <-2*w + 17, -32>, <8*w + 36, -6*w + 83>, <3*w + 44, -4*w + 18>, <-3*w + 78, -3*w - 71>, <122, -7*w - 53>, <-6*w + 34, w - 89>, , <-2*w + 17, -33>, <34, -2*w - 15>, <-2*w + 51, -2*w - 48>, <85, -5*w - 38>, <4*w + 1, -2*w + 50>, <-w + 8, -16>, <3*w + 9, -2*w + 34>, <68, -4*w - 29>, , <4*w + 52, -5*w + 28>, <-6*w + 17, 2*w - 83>, <6*w + 17, -4*w + 68>, <-5*w + 111, -4*w - 112>, <12*w, -6*w + 151>, , <188, -11*w - 83>, <2*w + 34, -3*w + 10>, <3*w + 94, -7*w - 4>, <5*w + 94, -8*w + 21>, <2*w, -w + 25>, <-4*w + 1, 2*w - 50>, <2*w + 17, -2*w + 17>, <5*w + 42, -5*w + 43>, <-3*w + 9, w - 41>, <11*w + 25, -7*w + 124>, <-4*w + 53, -w - 73>, <7*w + 78, -8*w + 51>, <-3*w + 114, -5*w - 88>, <-6*w + 123, -4*w - 129>, <3*w + 26, -3*w + 25>, <-w + 44, -2*w - 32>, <-6*w + 1, 3*w - 74>, <-3*w + 27, -49>, <-w + 79, -4*w - 48>, <4*w + 35, -4*w + 33>, <-2*w + 53, -2*w - 48>, <2*w + 35, -3*w + 9>, , <-9*w + 10, 4*w - 116>, <-4*w + 70, -2*w - 81>, <-2*w + 87, -4*w - 64>, <-6*w + 157, -6*w - 145>, <-w + 26, -w - 24>, , <4*w + 86, -7*w + 11>, <3*w + 112, -8*w - 13>, <5*w + 60, -6*w + 35>, <11*w + 94, -11*w + 94>, <-6*w + 1, 3*w - 76>, <-3*w + 9, w - 42>, <2*w + 85, -6*w - 13>, <-w + 94, -5*w - 55>, <5*w + 42, -5*w + 44>, <-3*w + 43, -w - 57>, <-w + 43, -2*w - 32>, <4*w + 34, -4*w + 35>, <-4*w + 103, -4*w - 96>, <137, -8*w - 61>, <5*w + 8, -3*w + 59>, , <6*w + 85, -8*w + 37>, <5*w + 231, -16*w - 41>, <4*w + 51, -5*w + 27>, <-2*w + 69, -3*w - 56>, <2*w + 120, -8*w - 29>, <11*w + 179, -16*w + 57>, <6*w + 33, -5*w + 60>, <-2*w + 35, -w - 41>, <4*w + 68, -6*w + 19>, <-3*w + 78, -3*w - 73>, <3*w + 8, -2*w + 34>, <86, -5*w - 39>, <-4*w + 18, w - 58>, <-8*w + 1, 4*w - 100>, <8*w + 68, -8*w + 69>, <69, -4*w - 31>, <3*w + 44, -4*w + 17>, <-3*w + 62, -2*w - 64>, <-7*w + 26, 2*w - 98>, <-3*w + 61, -2*w - 64>, <-10*w + 87, -162>, <4*w + 87, -7*w + 11>, <-17*w + 34, 7*w - 232>, <7*w + 208, -16*w - 9>, <-10*w + 242, -9*w - 241>, <-2*w + 1541, -90*w - 751>, <9*w + 173, -15*w + 33>, <8*w + 182, -15*w + 16>, <-10*w + 208, -7*w - 225>, <-2*w + 390, -22*w - 209>, <-19*w + 18, 9*w - 250>, <9*w + 190, -16*w + 25>, <92*w + 698, -90*w + 841>, <-w + 9, -17>, <-18*w + 26, 8*w - 241>, <7*w + 191, -15*w - 1>, <-10*w + 225, -8*w - 233>, <15*w + 830, -57*w - 200>, <43*w + 173, -33*w + 465>, <34*w + 389, -41*w + 249>, <-62*w + 691, -8*w - 1113>, <-19*w + 864, -41*w - 648>, <-28*w + 1080, -49*w - 864>, <77*w + 139, -49*w + 913>, <60*w + 156, -41*w + 689>, <42*w + 588, -57*w + 257>, <-34*w + 17, 17*w - 440>, <246*w + 1383, -212*w + 2475>, <3012, -178*w - 1417>, <-34*w + 3029, -161*w - 1857>, <-246*w + 1629, 34*w - 3892>, <34*w + 2995, -195*w - 977>, <509*w + 9213, -814*w + 2133>, <-509*w + 9722, -305*w - 11041>, <-458*w + 229, 229*w - 5927>, <441*w + 3223, -424*w + 4087>, <-441*w + 3664, 17*w - 7327>, <229*w + 8710, -636*w - 1188>, <-229*w + 8939, -407*w - 7115>, <8*w + 639, -42*w - 199>, <34*w + 406, -42*w + 241>, <-17*w + 17, 8*w - 224>, <-43*w + 250, 8*w - 664>, <32*w + 1253, -91*w - 183>, <-9*w + 216, -8*w - 216>, <-35*w + 449, -8*w - 656>, <59*w + 1011, -91*w + 274>, <-70*w + 915, -17*w - 1320>, <-36*w + 881, -33*w - 872>, <-52*w + 43, 25*w - 681>, <-69*w + 60, 33*w - 905>, <-87*w + 492, 17*w - 1337>, <-60*w + 233, 18*w - 872>, <423, -25*w - 199>, <9*w + 630, -42*w - 182>, <-34*w + 863, -33*w - 838>, <60*w + 173, -42*w + 681>, <-9*w + 639, -33*w - 415>, <34*w + 829, -67*w + 42>, <-42*w + 258, 7*w - 655>, <49*w + 390, -49*w + 439>, <-93*w + 749, 5*w - 1534>, <13*w + 1745, -110*w - 656>, <7*w + 648, -42*w - 216>, <-110*w + 766, 13*w - 1758>, <5*w + 1529, -93*w - 656>, <-50*w + 42, 24*w - 655>, <48*w + 1279, -101*w + 8>, <-2*w + 1321, -77*w - 647>, <-32*w + 33, 15*w - 422>, <-48*w + 58, 22*w - 637>, <-80*w + 91, 37*w - 1059>, <15*w + 441, -34*w - 17>, <-34*w + 51, 15*w - 456>, <15*w + 407, -32*w - 1>, <22*w + 615, -48*w - 10>, <37*w + 1022, -80*w - 11>, <6*w + 200, -15*w - 18>, <5*w + 209, -15*w - 35>, <6*w + 217, -16*w - 26>, <-11*w + 268, -10*w - 266>, <-15*w + 33, 6*w - 206>, <-16*w + 42, 6*w - 223>, <-15*w + 50, 5*w - 214>, <-10*w + 276, -11*w - 257>, , <-10*w + 40, 3*w - 141>, <2*w + 175, -11*w - 58>, <-9*w + 66, w - 141>, <-10*w + 93, -166>, <12*w + 258, -21*w + 25>, <-112*w + 144, 51*w - 1436>, <-61*w + 1465, -51*w - 1436>, <112*w + 32, -61*w + 1353>, <61*w + 1404, -112*w + 83>, <10*w + 83, -10*w + 83>, <-3*w + 151, -7*w - 108>, <13*w + 2, -7*w + 158>, <-w + 27, -w - 25>, <12*w + 29, -8*w + 133>, <10*w + 30, -7*w + 108>, <-4*w + 178, -8*w - 133>, <-12*w + 270, -9*w - 274>, <-2*w + 177, -9*w - 108>, <9*w + 57, -8*w + 83>, <8*w + 84, -9*w + 58>, <-8*w + 92, -w - 141>, <-16*w + 8, 8*w - 199>, <9*w + 110, -11*w + 58>, <-9*w + 119, -2*w - 166>, <8*w + 137, -12*w + 33>, <-8*w + 145, -4*w - 166>, <229, -13*w - 108>, <-7*w + 13, 3*w - 92>, <3*w + 77, -6*w>, , <-3*w + 11, w - 42>, <2*w + 34, -3*w + 8>, <-w + 45, -2*w - 34>, <7*w + 6, -4*w + 83>, , <3*w + 8, -2*w + 33>, <-2*w + 36, -w - 41>, , <-11*w + 29, 4*w - 148>, <6*w + 139, -11*w + 10>, <-5*w + 168, -7*w - 138>, <3*w + 26, -3*w + 24>, <-3*w + 28, -49>, <-w + 45, -2*w - 33>, <-3*w + 10, w - 41>, <2*w + 35, -3*w + 8>, <7*w + 42, -6*w + 65>, <2*w + 106, -7*w - 25>, <-w + 62, -3*w - 42>, <-7*w + 29, 2*w - 100>, <8*w + 49, -7*w + 76>, <122, -7*w - 57>, <-6*w + 20, 2*w - 83>, <4*w + 16, -3*w + 42>, <-3*w + 201, -10*w - 130>, <-8*w + 39, 2*w - 117>, , <9*w + 74, -9*w + 76>, , <-3*w + 27, -50>, <3*w + 42, -4*w + 18>, <69, -4*w - 32>, , <3*w + 9, -2*w + 33>, <-6*w + 69, -w - 104>, <-5*w + 110, -4*w - 112>, <5*w + 110, -9*w + 15>, <-3*w + 26, -50>, , <5*w + 25, -4*w + 52>, <-5*w + 77, -2*w - 97>, <-9*w + 11, 4*w - 116>, <4*w + 121, -9*w - 6>, <-w + 78, -4*w - 48>, <5*w + 43, -5*w + 42>, <6*w + 17, -4*w + 66>, <-6*w + 88, -2*w - 113>, <105, -6*w - 47>, <-7*w + 27, 2*w - 99>, <-3*w + 112, -5*w - 88>, <8*w + 16, -5*w + 93>, <8*w + 199, -16*w + 8>, <-433*w + 429, 204*w - 5704>, <24*w + 1037, -74*w - 183>, <50*w + 804, -74*w + 257>, <229*w + 1823, -229*w + 2052>, <-229*w + 2052, -3875>, <-86*w + 483, 17*w - 1320>, <25*w + 622, -50*w + 25>, <-69*w + 906, -17*w - 1303>, <-18*w + 872, -42*w - 639>, <-131*w + 1174, -2217>, <152*w + 1565, -173*w + 1195>, <21*w + 2739, -173*w - 1022>, <129*w + 96, -74*w + 1594>, <-55*w + 1745, -74*w - 1520>, <9*w + 207, -17*w + 17>, <-34*w + 440, -8*w - 639>, <-44*w + 1139, -44*w - 1095>, <-59*w + 275, 15*w - 879>, <116*w + 331, -81*w + 1318>, <-101*w + 533, 22*w - 1534>, <74*w + 589, -74*w + 663>, <15*w + 864, -59*w - 216>, <-35*w + 906, -35*w - 871>, <-94*w + 1181, -20*w - 1750>, <81*w + 1237, -116*w + 447>, <22*w + 1512, -101*w - 432>, <-20*w + 1770, -94*w - 1087>, <73*w + 1038, -100*w + 439>, <-16*w + 25, 7*w - 215>, <17, -w - 8>, <-18*w + 9, 9*w - 224>, <19*w + 193, -21*w + 141>, <-19*w + 212, -2*w - 332>, <9*w + 286, -21*w - 25>, <-9*w + 295, -12*w - 249>, <2*w + 17, -2*w + 16>, <-9*w + 83, -150>, <157, -9*w - 74>, <-3*w + 10, w - 42>, <-4*w + 19, w - 59>, <-w + 78, -4*w - 49>, <-5*w + 60, -w - 88>, <2*w + 87, -6*w - 13>, <2*w + 17, -2*w + 18>, , <-2*w + 34, -w - 40>, <104, -6*w - 47>, <-2*w + 35, -w - 40>, <-229*w + 5504, -204*w - 5500>, <-424*w + 212, 212*w - 5487>, <3875, -229*w - 1823>, <-424*w + 4087, -17*w - 7310>, <212*w + 5275, -424*w + 212>, <-17*w + 7327, -424*w - 3663>, <17*w + 3435, -212*w - 1400>, <-17*w + 3452, -195*w - 1840>, <-17*w + 440, -17*w - 423>, <-67*w + 59, 32*w - 879>, <24*w + 631, -50*w + 8>, <32*w + 847, -67*w + 8>, <-2*w + 19, -33>, <3*w + 43, -4*w + 16>, <-3*w + 46, -w - 58>, <3*w + 7, -2*w + 34>, <-3*w + 8, w - 41>, <-w + 43, -2*w - 31>, <-212*w + 5487, -212*w - 5275>, <61*w + 181, -43*w + 690>, <-61*w + 242, 18*w - 889>, <26*w + 613, -50*w + 42>, <-26*w + 639, -24*w - 631>, <35*w + 820, -67*w + 59>, <-35*w + 855, -32*w - 847>, <-9*w + 233, -9*w - 224>, <-42*w + 292, 5*w - 671>, <5*w + 666, -42*w - 250>, , <10*w + 69, -9*w + 94>, <-w + 164, -9*w - 85>, <17*w + 423, -34*w + 17>, <17, -w - 7>, <-8*w + 224, -9*w - 207>, <17*w, -9*w + 216>, <1, 0>, <-w + 8, -15>, <1, -1>, <0, 1> ] /* Voronoi top cells */ [ { 1, 2, 3, 4, 5 }, { 6, 7, 8, 9 }, { 10, 11, 12, 13 }, { 13, 14, 15, 16 }, { 17, 18, 19, 20 }, { 18, 20, 21, 22 }, { 23, 24, 25, 26, 27 }, { 28, 29, 30, 31 }, { 30, 32, 33, 34 }, { 35, 36, 37, 38 }, { 35, 39, 40, 41 }, { 42, 43, 44, 45 }, { 46, 47, 48, 49 }, { 50, 51, 52, 53 }, { 54, 55, 56, 57, 58 }, { 1, 3, 5, 59 }, { 3, 4, 5, 60 }, { 2, 4, 5, 61 }, { 62, 63, 64, 65 }, { 64, 65, 66, 67 }, { 68, 69, 70, 71 }, { 70, 71, 72, 73 }, { 74, 75, 76, 77 }, { 60, 78, 79, 80 }, { 74, 78, 81, 82 }, { 60, 83, 84, 85 }, { 68, 86, 87, 88, 89, 90 }, { 86, 91, 92, 93 }, { 68, 92, 94, 95 }, { 96, 97, 98, 99 }, { 100, 101, 102, 103, 104 }, { 102, 103, 105, 106 }, { 107, 108, 109, 110 }, { 111, 112, 113, 114 }, { 111, 113, 115, 116 }, { 117, 118, 119, 120 }, { 117, 118, 121, 122 }, { 123, 124, 125, 126 }, { 68, 127, 128, 129 }, { 130, 131, 132, 133, 134, 135 }, { 6, 8, 9, 136, 137 }, { 72, 136, 137, 138, 139, 140 }, { 6, 137, 141, 142 }, { 137, 142, 143, 144 }, { 145, 146, 147, 148 }, { 149, 150, 151, 152 }, { 146, 147, 153, 154 }, { 155, 156, 157, 158 }, { 123, 157, 159, 160 }, { 155, 157, 159, 161 }, { 123, 162, 163, 164 }, { 165, 166, 167, 168 }, { 169, 170, 171, 172 }, { 173, 174, 175, 176 }, { 175, 176, 177, 178 }, { 150, 175, 178, 179 }, { 150, 180, 181, 182 }, { 6, 142, 183, 184 }, { 185, 186, 187, 188 }, { 189, 190, 191, 192 }, { 193, 194, 195, 196 }, { 195, 197, 198, 199 }, { 194, 200, 201, 202, 203 }, { 11, 12, 15, 24 }, { 11, 13, 14, 204 }, { 11, 12, 13, 15 }, { 13, 14, 15, 204 }, { 17, 18, 20, 22 }, { 28, 205, 206, 207 }, { 205, 207, 208, 209 }, { 23, 25, 210, 211 }, { 15, 23, 24, 25 }, { 28, 32, 33, 206 }, { 28, 29, 30, 212 }, { 28, 30, 32, 33 }, { 29, 30, 32, 212 }, { 213, 214, 215, 216 }, { 213, 215, 217, 218 }, { 214, 215, 217, 219, 220 }, { 221, 222, 223, 224, 225 }, { 35, 37, 38, 226 }, { 35, 39, 40, 227 }, { 50, 228, 229, 230 }, { 50, 231, 232, 233 }, { 50, 228, 230, 234 }, { 43, 50, 230, 234 }, { 43, 44, 45, 235 }, { 43, 50, 51, 52 }, { 46, 231, 236, 237 }, { 46, 47, 48, 237 }, { 48, 50, 52, 53 }, { 50, 231, 233, 238 }, { 46, 48, 231, 238 }, { 48, 50, 233, 238 }, { 239, 240, 241, 242 }, { 240, 243, 244, 245 }, { 246, 247, 248, 249 }, { 247, 250, 251, 252 }, { 54, 55, 56, 253, 254, 255 }, { 256, 257, 258, 259 }, { 260, 261, 262, 263 }, { 264, 265, 266, 267 }, { 268, 269, 270, 271 }, { 59, 272, 273, 274 }, { 272, 274, 275, 276 }, { 3, 5, 59, 60 }, { 5, 59, 276, 277 }, { 5, 276, 278, 279 }, { 5, 278, 279, 280, 281 }, { 5, 280, 281, 282 }, { 4, 60, 61, 283 }, { 60, 283, 284, 285, 286 }, { 61, 285, 286, 287, 288 }, { 4, 5, 60, 61 }, { 5, 61, 282, 289 }, { 61, 285, 287, 290 }, { 282, 285, 290, 291 }, { 282, 285, 291, 292 }, { 272, 275, 276, 293 }, { 294, 295, 296, 297, 298, 299 }, { 60, 285, 300, 301 }, { 302, 303, 304, 305 }, { 60, 84, 272, 306 }, { 84, 272, 306, 307 }, { 6, 308, 309, 310 }, { 6, 8, 308, 310 }, { 72, 139, 308, 311, 312, 313 }, { 272, 307, 308, 309 }, { 6, 314, 315, 316 }, { 6, 310, 317, 318 }, { 6, 314, 316, 318 }, { 316, 317, 318, 319, 320 }, { 6, 309, 310, 317 }, { 62, 64, 65, 66 }, { 64, 66, 67, 321 }, { 68, 70, 71, 72 }, { 70, 72, 73, 307 }, { 76, 86, 322, 323 }, { 74, 76, 77, 322 }, { 74, 76, 78, 324 }, { 60, 78, 83, 325 }, { 60, 74, 78, 79, 81 }, { 60, 83, 84, 307 }, { 68, 70, 83, 307 }, { 68, 86, 87, 89, 326, 327 }, { 60, 328, 329, 330, 331 }, { 68, 92, 332, 333 }, { 68, 86, 92, 93, 95 }, { 86, 92, 332, 334 }, { 96, 97, 98, 335 }, { 100, 101, 103, 336, 337 }, { 100, 102, 103, 105 }, { 107, 108, 338, 339 }, { 107, 156, 340, 341 }, { 107, 108, 110, 342 }, { 111, 112, 113, 115 }, { 108, 117, 118, 119 }, { 118, 121, 123, 343 }, { 117, 118, 121, 126 }, { 121, 123, 124, 126 }, { 68, 128, 344, 345 }, { 68, 174, 332, 333 }, { 68, 128, 129, 346 }, { 130, 132, 133, 134, 137 }, { 6, 8, 72, 136, 137, 139 }, { 72, 128, 137, 140, 347 }, { 130, 137, 143, 348, 349, 350 }, { 6, 137, 142, 143 }, { 128, 145, 146, 147 }, { 149, 150, 151, 153 }, { 146, 147, 149, 153 }, { 147, 150, 153, 351 }, { 155, 156, 157, 161 }, { 123, 157, 159, 161 }, { 123, 162, 165, 166 }, { 123, 126, 162, 163 }, { 165, 166, 167, 352 }, { 169, 170, 171, 353 }, { 174, 175, 176, 177 }, { 150, 175, 177, 178 }, { 149, 150, 180, 182 }, { 150, 169, 170, 182 }, { 6, 142, 143, 183 }, { 185, 186, 188, 335 }, { 189, 200, 202, 203 }, { 189, 200, 202, 264 }, { 189, 190, 191, 264 }, { 193, 194, 195, 200 }, { 193, 195, 197, 198 }, { 200, 201, 203, 354 }, { 194, 195, 200, 201 }, { 11, 15, 24, 228 }, { 11, 13, 15, 204 }, { 15, 17, 20, 22, 355 }, { 28, 205, 206, 231 }, { 205, 208, 231, 356 }, { 28, 205, 207, 208 }, { 25, 211, 228, 357 }, { 15, 24, 25, 228 }, { 15, 23, 25, 211 }, { 28, 32, 206, 231 }, { 28, 30, 32, 212 }, { 213, 214, 215, 217 }, { 221, 222, 223, 358, 359 }, { 50, 227, 360, 361 }, { 50, 226, 361, 362 }, { 35, 37, 39, 226, 227 }, { 50, 228, 229, 363 }, { 50, 231, 232, 243 }, { 52, 235, 237, 364, 365, 366 }, { 43, 50, 228, 234 }, { 43, 44, 228, 235 }, { 43, 50, 52, 235 }, { 211, 228, 235, 357 }, { 208, 211, 235, 237, 367, 368 }, { 208, 231, 237, 356 }, { 46, 48, 231, 237 }, { 48, 50, 52, 237 }, { 48, 50, 231, 238 }, { 239, 240, 241, 369 }, { 239, 240, 242, 370 }, { 231, 240, 243, 244 }, { 227, 240, 243, 245 }, { 246, 247, 248, 371 }, { 247, 250, 252, 371 }, { 246, 250, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381 }, { 55, 56, 246, 253, 255, 382 }, { 256, 257, 259, 383 }, { 190, 260, 261, 262 }, { 200, 264, 265, 266 }, { 268, 269, 270, 384 }, { 59, 272, 274, 276 }, { 5, 59, 60, 276 }, { 5, 276, 279, 281, 282 }, { 60, 61, 283, 285, 286 }, { 5, 60, 61, 282 }, { 61, 282, 285, 290 }, { 282, 285, 292, 296 }, { 276, 282, 295, 296, 385, 386, 387, 388, 389 }, { 272, 276, 293, 295 }, { 272, 285, 295, 296, 297, 298 }, { 60, 285, 301, 321 }, { 285, 302, 303, 304 }, { 66, 285, 303, 321 }, { 60, 84, 272, 307 }, { 6, 272, 308, 309 }, { 6, 8, 72, 139, 308 }, { 72, 272, 307, 308 }, { 6, 315, 316, 390 }, { 6, 316, 317, 318 }, { 6, 272, 309, 317 }, { 62, 64, 66, 321 }, { 68, 70, 72, 307 }, { 74, 76, 86, 322 }, { 60, 74, 76, 78, 83 }, { 60, 68, 83, 307 }, { 68, 76, 83, 86, 326 }, { 60, 74, 329, 330, 391, 392 }, { 68, 86, 92, 332 }, { 332, 384, 393, 394, 395 }, { 97, 98, 335, 336 }, { 97, 98, 103, 105, 336 }, { 100, 103, 105, 336 }, { 97, 100, 105, 335, 396, 397 }, { 107, 108, 338, 398 }, { 107, 156, 340, 399 }, { 107, 108, 156, 342 }, { 108, 112, 113, 398 }, { 112, 113, 115, 400 }, { 108, 117, 118, 126 }, { 118, 121, 123, 126 }, { 68, 72, 128, 344 }, { 68, 174, 332, 384 }, { 68, 128, 174, 346 }, { 128, 130, 132, 137, 347 }, { 6, 72, 128, 137 }, { 6, 130, 137, 143 }, { 128, 150, 174, 346 }, { 128, 146, 147, 149 }, { 128, 147, 150, 401 }, { 147, 149, 150, 153 }, { 123, 156, 157, 161 }, { 123, 161, 165, 166 }, { 123, 126, 162, 165 }, { 161, 165, 166, 352 }, { 169, 170, 177, 353 }, { 150, 174, 175, 177 }, { 150, 169, 170, 177 }, { 149, 150, 170, 182 }, { 6, 143, 183, 402 }, { 149, 186, 188, 335 }, { 189, 200, 203, 354 }, { 189, 190, 200, 264 }, { 193, 195, 198, 200 }, { 195, 200, 201, 354 }, { 11, 15, 204, 228 }, { 15, 17, 22, 28, 355, 403 }, { 28, 205, 208, 231 }, { 15, 25, 211, 228 }, { 28, 32, 212, 231 }, { 359, 404, 405, 406, 407, 408 }, { 213, 214, 217, 409, 410 }, { 221, 358, 359, 409, 410 }, { 50, 226, 227, 361 }, { 37, 39, 213, 226, 227, 411 }, { 50, 226, 228, 363 }, { 50, 227, 231, 243 }, { 50, 52, 235, 237 }, { 43, 50, 228, 235 }, { 208, 211, 228, 231, 235, 237 }, { 48, 50, 231, 237 }, { 239, 240, 369, 370 }, { 227, 231, 240, 243 }, { 246, 247, 250, 371 }, { 55, 228, 246, 250, 253, 377, 412, 413, 414 }, { 55, 256, 259, 383 }, { 190, 228, 260, 261 }, { 190, 200, 264, 266 }, { 268, 269, 383, 384 }, { 59, 60, 272, 276 }, { 5, 60, 276, 282 }, { 60, 61, 282, 285 }, { 272, 276, 282, 285, 295, 296 }, { 60, 66, 285, 321 }, { 66, 285, 302, 303 }, { 60, 72, 272, 307 }, { 6, 72, 272, 308 }, { 272, 285, 390, 415, 416, 417 }, { 6, 272, 316, 317, 390 }, { 60, 62, 66, 321 }, { 60, 68, 72, 307 }, { 60, 68, 74, 76, 83, 86 }, { 60, 74, 329, 384, 393, 418 }, { 68, 86, 332, 384, 393 }, { 97, 100, 105, 335, 336 }, { 107, 108, 112, 398 }, { 107, 108, 156, 399 }, { 108, 112, 113, 400 }, { 112, 115, 126, 400 }, { 108, 117, 126, 400 }, { 108, 123, 156, 399 }, { 108, 118, 123, 126 }, { 6, 68, 72, 128 }, { 68, 128, 174, 384 }, { 6, 128, 130, 137 }, { 6, 130, 143, 149 }, { 128, 130, 146, 149 }, { 128, 150, 174, 384 }, { 128, 147, 149, 150 }, { 123, 156, 161, 399 }, { 123, 126, 161, 165 }, { 161, 165, 170, 177, 352, 353 }, { 150, 174, 177, 384 }, { 149, 150, 170, 177 }, { 112, 335, 419, 420 }, { 6, 143, 149, 402 }, { 6, 335, 336, 402 }, { 149, 186, 335, 402 }, { 189, 190, 200, 354 }, { 195, 198, 200, 354 }, { 15, 204, 228, 354 }, { 15, 17, 28, 354 }, { 15, 28, 208, 211, 228, 231 }, { 28, 212, 231, 354 }, { 358, 359, 404, 405, 407, 421 }, { 213, 358, 359, 409, 410 }, { 50, 213, 226, 227, 411 }, { 50, 226, 228, 411 }, { 50, 213, 227, 231 }, { 50, 228, 231, 235, 237 }, { 213, 240, 369, 370 }, { 213, 227, 231, 240 }, { 231, 240, 369, 422, 423, 424, 425, 426, 427 }, { 55, 228, 246, 247, 250 }, { 55, 259, 383, 428 }, { 190, 228, 260, 428 }, { 190, 383, 428, 429, 430 }, { 190, 200, 266, 269, 383, 384 }, { 60, 272, 276, 282, 285 }, { 60, 66, 285, 302 }, { 6, 60, 72, 272 }, { 6, 272, 285, 302, 390, 415 }, { 60, 62, 66, 302 }, { 6, 60, 68, 72 }, { 60, 68, 74, 86, 384, 393 }, { 6, 100, 335, 336, 431 }, { 107, 108, 112, 399 }, { 108, 112, 126, 400 }, { 108, 123, 126, 399 }, { 6, 68, 128, 384 }, { 6, 128, 130, 149 }, { 128, 149, 150, 384 }, { 123, 126, 161, 399 }, { 126, 149, 161, 165, 170, 177 }, { 149, 150, 177, 384 }, { 112, 126, 335, 419 }, { 126, 149, 335, 432, 433 }, { 6, 149, 335, 402 }, { 190, 200, 228, 354 }, { 198, 200, 231, 354 }, { 15, 28, 228, 231, 354 }, { 213, 358, 359, 405, 411, 434 }, { 50, 213, 228, 231, 411 }, { 213, 231, 240, 369 }, { 55, 228, 247, 428 }, { 55, 383, 384, 428 }, { 190, 200, 228, 428 }, { 190, 200, 383, 384, 428 }, { 6, 60, 272, 285, 302 }, { 60, 62, 302, 384 }, { 6, 60, 68, 384 }, { 6, 100, 112, 335, 431, 435 }, { 108, 112, 126, 399 }, { 6, 128, 149, 384 }, { 126, 149, 161, 177, 384, 399 }, { 6, 112, 126, 149, 335 }, { 200, 228, 231, 354 }, { 55, 213, 228, 231, 369, 411, 434, 436, 437 }, { 55, 200, 228, 384, 428 }, { 6, 60, 302, 384 }, { 6, 112, 431, 435, 438, 439 }, { 6, 112, 126, 149, 384, 399 }, { 55, 200, 228, 231, 369, 384, 399, 436, 437 }, { 6, 302, 384, 438, 440 }, { 6, 112, 384, 399, 438 }, { 200, 384, 399, 438, 440, 441 } ] /* Faces of top cells */ [ [ { 1, 3, 5 }, { 1, 2, 5 }, { 1, 2, 3, 4 }, { 3, 4, 5 }, { 2, 4, 5 } ], [ { 7, 8, 9 }, { 6, 8, 9 }, { 6, 7, 9 }, { 6, 7, 8 } ], [ { 11, 12, 13 }, { 10, 12, 13 }, { 10, 11, 13 }, { 10, 11, 12 } ], [ { 13, 15, 16 }, { 13, 14, 16 }, { 14, 15, 16 }, { 13, 14, 15 } ], [ { 18, 19, 20 }, { 17, 19, 20 }, { 17, 18, 20 }, { 17, 18, 19 } ], [ { 20, 21, 22 }, { 18, 20, 22 }, { 18, 20, 21 }, { 18, 21, 22 } ], [ { 24, 25, 26, 27 }, { 23, 24, 26 }, { 23, 24, 25 }, { 23, 25, 27 }, { 23, 26, 27 } ], [ { 29, 30, 31 }, { 28, 30, 31 }, { 28, 29, 31 }, { 28, 29, 30 } ], [ { 30, 33, 34 }, { 30, 32, 34 }, { 32, 33, 34 }, { 30, 32, 33 } ], [ { 36, 37, 38 }, { 35, 37, 38 }, { 35, 36, 38 }, { 35, 36, 37 } ], [ { 35, 40, 41 }, { 39, 40, 41 }, { 35, 39, 41 }, { 35, 39, 40 } ], [ { 43, 44, 45 }, { 42, 44, 45 }, { 42, 43, 45 }, { 42, 43, 44 } ], [ { 47, 48, 49 }, { 46, 48, 49 }, { 46, 47, 49 }, { 46, 47, 48 } ], [ { 51, 52, 53 }, { 50, 52, 53 }, { 50, 51, 53 }, { 50, 51, 52 } ], [ { 55, 56, 57, 58 }, { 54, 55, 57 }, { 54, 55, 56 }, { 54, 57, 58 }, { 54, 56, 58 } ], [ { 1, 3, 5 }, { 3, 5, 59 }, { 1, 5, 59 }, { 1, 3, 59 } ], [ { 3, 4, 5 }, { 4, 5, 60 }, { 3, 5, 60 }, { 3, 4, 60 } ], [ { 2, 4, 5 }, { 4, 5, 61 }, { 2, 5, 61 }, { 2, 4, 61 } ], [ { 63, 64, 65 }, { 62, 64, 65 }, { 62, 63, 65 }, { 62, 63, 64 } ], [ { 64, 65, 67 }, { 65, 66, 67 }, { 64, 66, 67 }, { 64, 65, 66 } ], [ { 69, 70, 71 }, { 68, 70, 71 }, { 68, 69, 71 }, { 68, 69, 70 } ], [ { 70, 71, 73 }, { 71, 72, 73 }, { 70, 72, 73 }, { 70, 71, 72 } ], [ { 75, 76, 77 }, { 74, 76, 77 }, { 74, 75, 77 }, { 74, 75, 76 } ], [ { 78, 79, 80 }, { 60, 79, 80 }, { 60, 78, 80 }, { 60, 78, 79 } ], [ { 74, 78, 82 }, { 78, 81, 82 }, { 74, 81, 82 }, { 74, 78, 81 } ], [ { 83, 84, 85 }, { 60, 84, 85 }, { 60, 83, 85 }, { 60, 83, 84 } ], [ { 68, 86, 88, 90 }, { 68, 86, 87, 89 }, { 68, 88, 89 }, { 87, 88, 89, 90 }, { 86, 87, 90 } ], [ { 91, 92, 93 }, { 86, 92, 93 }, { 86, 91, 93 }, { 86, 91, 92 } ], [ { 68, 92, 95 }, { 92, 94, 95 }, { 68, 94, 95 }, { 68, 92, 94 } ], [ { 97, 98, 99 }, { 96, 98, 99 }, { 96, 97, 99 }, { 96, 97, 98 } ], [ { 100, 102, 103 }, { 100, 101, 103 }, { 100, 101, 102, 104 }, { 102, 103, 104 }, { 101, 103, 104 } ], [ { 102, 103, 106 }, { 103, 105, 106 }, { 102, 105, 106 }, { 102, 103, 105 } ], [ { 108, 109, 110 }, { 107, 109, 110 }, { 107, 108, 110 }, { 107, 108, 109 } ], [ { 112, 113, 114 }, { 111, 113, 114 }, { 111, 112, 114 }, { 111, 112, 113 } ], [ { 113, 115, 116 }, { 111, 115, 116 }, { 111, 113, 116 }, { 111, 113, 115 } ], [ { 118, 119, 120 }, { 117, 119, 120 }, { 117, 118, 120 }, { 117, 118, 119 } ], [ { 118, 121, 122 }, { 117, 121, 122 }, { 117, 118, 122 }, { 117, 118, 121 } ], [ { 124, 125, 126 }, { 123, 125, 126 }, { 123, 124, 126 }, { 123, 124, 125 } ], [ { 68, 128, 129 }, { 68, 127, 129 }, { 127, 128, 129 }, { 68, 127, 128 } ], [ { 131, 132, 133 }, { 130, 132, 133, 134 }, { 130, 131, 132, 135 }, { 131, 133, 134, 135 }, { 130, 134, 135 } ], [ { 9, 136, 137 }, { 6, 9, 137 }, { 6, 8, 136, 137 }, { 6, 8, 9 }, { 8, 9, 136 } ], [ { 72, 136, 137, 139 }, { 72, 138, 139, 140 }, { 136, 138, 139 }, { 136, 137, 138, 140 }, { 72, 137, 140 } ], [ { 137, 141, 142 }, { 6, 137, 142 }, { 6, 141, 142 }, { 6, 137, 141 } ], [ { 137, 142, 144 }, { 142, 143, 144 }, { 137, 143, 144 }, { 137, 142, 143 } ], [ { 146, 147, 148 }, { 145, 147, 148 }, { 145, 146, 148 }, { 145, 146, 147 } ], [ { 150, 151, 152 }, { 149, 151, 152 }, { 149, 150, 152 }, { 149, 150, 151 } ], [ { 146, 147, 154 }, { 147, 153, 154 }, { 146, 153, 154 }, { 146, 147, 153 } ], [ { 156, 157, 158 }, { 155, 157, 158 }, { 155, 156, 158 }, { 155, 156, 157 } ], [ { 157, 159, 160 }, { 123, 157, 160 }, { 123, 157, 159 }, { 123, 159, 160 } ], [ { 157, 159, 161 }, { 155, 157, 161 }, { 155, 157, 159 }, { 155, 159, 161 } ], [ { 162, 163, 164 }, { 123, 163, 164 }, { 123, 162, 164 }, { 123, 162, 163 } ], [ { 166, 167, 168 }, { 165, 167, 168 }, { 165, 166, 168 }, { 165, 166, 167 } ], [ { 170, 171, 172 }, { 169, 171, 172 }, { 169, 170, 172 }, { 169, 170, 171 } ], [ { 174, 175, 176 }, { 173, 175, 176 }, { 173, 174, 176 }, { 173, 174, 175 } ], [ { 175, 176, 178 }, { 176, 177, 178 }, { 175, 177, 178 }, { 175, 176, 177 } ], [ { 150, 175, 178 }, { 175, 178, 179 }, { 150, 178, 179 }, { 150, 175, 179 } ], [ { 150, 181, 182 }, { 180, 181, 182 }, { 150, 180, 182 }, { 150, 180, 181 } ], [ { 142, 183, 184 }, { 6, 142, 184 }, { 6, 183, 184 }, { 6, 142, 183 } ], [ { 186, 187, 188 }, { 185, 187, 188 }, { 185, 186, 188 }, { 185, 186, 187 } ], [ { 190, 191, 192 }, { 189, 191, 192 }, { 189, 190, 192 }, { 189, 190, 191 } ], [ { 194, 195, 196 }, { 193, 195, 196 }, { 193, 194, 196 }, { 193, 194, 195 } ], [ { 195, 198, 199 }, { 195, 197, 199 }, { 197, 198, 199 }, { 195, 197, 198 } ], [ { 194, 201, 202, 203 }, { 194, 200, 202 }, { 194, 200, 201 }, { 200, 201, 203 }, { 200, 202, 203 } ], [ { 12, 15, 24 }, { 11, 15, 24 }, { 11, 12, 15 }, { 11, 12, 24 } ], [ { 13, 14, 204 }, { 11, 13, 204 }, { 11, 13, 14 }, { 11, 14, 204 } ], [ { 12, 13, 15 }, { 11, 13, 15 }, { 11, 12, 13 }, { 11, 12, 15 } ], [ { 13, 15, 204 }, { 13, 14, 15 }, { 13, 14, 204 }, { 14, 15, 204 } ], [ { 18, 20, 22 }, { 17, 20, 22 }, { 17, 18, 20 }, { 17, 18, 22 } ], [ { 28, 206, 207 }, { 205, 206, 207 }, { 28, 205, 207 }, { 28, 205, 206 } ], [ { 207, 208, 209 }, { 205, 208, 209 }, { 205, 207, 209 }, { 205, 207, 208 } ], [ { 23, 25, 211 }, { 23, 25, 210 }, { 25, 210, 211 }, { 23, 210, 211 } ], [ { 15, 24, 25 }, { 15, 23, 25 }, { 15, 23, 24 }, { 23, 24, 25 } ], [ { 32, 33, 206 }, { 28, 32, 33 }, { 28, 33, 206 }, { 28, 32, 206 } ], [ { 29, 30, 212 }, { 28, 29, 30 }, { 28, 30, 212 }, { 28, 29, 212 } ], [ { 30, 32, 33 }, { 28, 30, 33 }, { 28, 30, 32 }, { 28, 32, 33 } ], [ { 29, 30, 32 }, { 29, 30, 212 }, { 30, 32, 212 }, { 29, 32, 212 } ], [ { 214, 215, 216 }, { 213, 215, 216 }, { 213, 214, 216 }, { 213, 214, 215 } ], [ { 215, 217, 218 }, { 213, 215, 218 }, { 213, 215, 217 }, { 213, 217, 218 } ], [ { 214, 215, 219 }, { 214, 217, 219, 220 }, { 214, 215, 217 }, { 215, 217, 220 }, { 215, 219, 220 } ], [ { 222, 223, 224, 225 }, { 221, 223, 224 }, { 221, 222, 223 }, { 221, 224, 225 }, { 221, 222, 225 } ], [ { 35, 37, 38 }, { 37, 38, 226 }, { 35, 38, 226 }, { 35, 37, 226 } ], [ { 35, 40, 227 }, { 35, 39, 40 }, { 39, 40, 227 }, { 35, 39, 227 } ], [ { 50, 229, 230 }, { 228, 229, 230 }, { 50, 228, 230 }, { 50, 228, 229 } ], [ { 50, 232, 233 }, { 231, 232, 233 }, { 50, 231, 233 }, { 50, 231, 232 } ], [ { 50, 230, 234 }, { 228, 230, 234 }, { 50, 228, 230 }, { 50, 228, 234 } ], [ { 43, 230, 234 }, { 50, 230, 234 }, { 43, 50, 230 }, { 43, 50, 234 } ], [ { 44, 45, 235 }, { 43, 44, 45 }, { 43, 45, 235 }, { 43, 44, 235 } ], [ { 43, 51, 52 }, { 43, 50, 52 }, { 50, 51, 52 }, { 43, 50, 51 } ], [ { 46, 231, 237 }, { 46, 231, 236 }, { 46, 236, 237 }, { 231, 236, 237 } ], [ { 46, 47, 48 }, { 47, 48, 237 }, { 46, 48, 237 }, { 46, 47, 237 } ], [ { 48, 52, 53 }, { 48, 50, 53 }, { 50, 52, 53 }, { 48, 50, 52 } ], [ { 50, 233, 238 }, { 231, 233, 238 }, { 50, 231, 233 }, { 50, 231, 238 } ], [ { 46, 48, 238 }, { 48, 231, 238 }, { 46, 48, 231 }, { 46, 231, 238 } ], [ { 48, 233, 238 }, { 48, 50, 233 }, { 48, 50, 238 }, { 50, 233, 238 } ], [ { 240, 241, 242 }, { 239, 241, 242 }, { 239, 240, 242 }, { 239, 240, 241 } ], [ { 240, 244, 245 }, { 243, 244, 245 }, { 240, 243, 245 }, { 240, 243, 244 } ], [ { 247, 248, 249 }, { 246, 248, 249 }, { 246, 247, 249 }, { 246, 247, 248 } ], [ { 250, 251, 252 }, { 247, 251, 252 }, { 247, 250, 252 }, { 247, 250, 251 } ], [ { 54, 55, 56 }, { 55, 56, 253, 255 }, { 54, 55, 253, 254 }, { 54, 56, 254, 255 }, { 253, 254, 255 } ], [ { 257, 258, 259 }, { 256, 258, 259 }, { 256, 257, 259 }, { 256, 257, 258 } ], [ { 261, 262, 263 }, { 260, 262, 263 }, { 260, 261, 263 }, { 260, 261, 262 } ], [ { 265, 266, 267 }, { 264, 266, 267 }, { 264, 265, 267 }, { 264, 265, 266 } ], [ { 269, 270, 271 }, { 268, 270, 271 }, { 268, 269, 271 }, { 268, 269, 270 } ], [ { 59, 273, 274 }, { 59, 272, 274 }, { 272, 273, 274 }, { 59, 272, 273 } ], [ { 274, 275, 276 }, { 272, 274, 276 }, { 272, 274, 275 }, { 272, 275, 276 } ], [ { 3, 5, 59 }, { 3, 5, 60 }, { 5, 59, 60 }, { 3, 59, 60 } ], [ { 5, 276, 277 }, { 5, 59, 277 }, { 59, 276, 277 }, { 5, 59, 276 } ], [ { 5, 278, 279 }, { 5, 276, 279 }, { 276, 278, 279 }, { 5, 276, 278 } ], [ { 5, 280, 281 }, { 278, 279, 280, 281 }, { 5, 278, 280 }, { 5, 279, 281 }, { 5, 278, 279 } ], [ { 5, 281, 282 }, { 5, 280, 281 }, { 280, 281, 282 }, { 5, 280, 282 } ], [ { 4, 61, 283 }, { 4, 60, 283 }, { 60, 61, 283 }, { 4, 60, 61 } ], [ { 284, 285, 286 }, { 60, 283, 285, 286 }, { 60, 284, 285 }, { 60, 283, 284 }, { 283, 284, 286 } ], [ { 61, 285, 287 }, { 61, 285, 286 }, { 285, 286, 287, 288 }, { 61, 287, 288 }, { 61, 286, 288 } ], [ { 4, 5, 61 }, { 4, 5, 60 }, { 5, 60, 61 }, { 4, 60, 61 } ], [ { 5, 282, 289 }, { 5, 61, 289 }, { 61, 282, 289 }, { 5, 61, 282 } ], [ { 61, 287, 290 }, { 61, 285, 290 }, { 285, 287, 290 }, { 61, 285, 287 } ], [ { 282, 290, 291 }, { 282, 285, 290 }, { 285, 290, 291 }, { 282, 285, 291 } ], [ { 282, 291, 292 }, { 282, 285, 292 }, { 285, 291, 292 }, { 282, 285, 291 } ], [ { 275, 276, 293 }, { 272, 276, 293 }, { 272, 275, 276 }, { 272, 275, 293 } ], [ { 295, 296, 297, 298 }, { 294, 295, 297, 299 }, { 294, 297, 298 }, { 294, 296, 298, 299 }, { 295, 296, 299 } ], [ { 285, 300, 301 }, { 60, 285, 301 }, { 60, 300, 301 }, { 60, 285, 300 } ], [ { 303, 304, 305 }, { 302, 304, 305 }, { 302, 303, 305 }, { 302, 303, 304 } ], [ { 84, 272, 306 }, { 60, 84, 272 }, { 60, 84, 306 }, { 60, 272, 306 } ], [ { 84, 272, 307 }, { 84, 306, 307 }, { 84, 272, 306 }, { 272, 306, 307 } ], [ { 6, 309, 310 }, { 308, 309, 310 }, { 6, 308, 310 }, { 6, 308, 309 } ], [ { 6, 8, 310 }, { 8, 308, 310 }, { 6, 8, 308 }, { 6, 308, 310 } ], [ { 72, 139, 311, 312 }, { 72, 308, 311, 313 }, { 72, 139, 308 }, { 139, 308, 312, 313 }, { 311, 312, 313 } ], [ { 272, 307, 309 }, { 307, 308, 309 }, { 272, 307, 308 }, { 272, 308, 309 } ], [ { 314, 315, 316 }, { 6, 315, 316 }, { 6, 314, 316 }, { 6, 314, 315 } ], [ { 310, 317, 318 }, { 6, 310, 318 }, { 6, 310, 317 }, { 6, 317, 318 } ], [ { 314, 316, 318 }, { 6, 316, 318 }, { 6, 314, 316 }, { 6, 314, 318 } ], [ { 316, 318, 319 }, { 316, 317, 319, 320 }, { 316, 317, 318 }, { 318, 319, 320 }, { 317, 318, 320 } ], [ { 309, 310, 317 }, { 6, 309, 310 }, { 6, 310, 317 }, { 6, 309, 317 } ], [ { 64, 65, 66 }, { 62, 64, 65 }, { 62, 65, 66 }, { 62, 64, 66 } ], [ { 64, 67, 321 }, { 66, 67, 321 }, { 64, 66, 67 }, { 64, 66, 321 } ], [ { 70, 71, 72 }, { 68, 70, 71 }, { 68, 71, 72 }, { 68, 70, 72 } ], [ { 70, 73, 307 }, { 72, 73, 307 }, { 70, 72, 73 }, { 70, 72, 307 } ], [ { 76, 86, 323 }, { 76, 322, 323 }, { 76, 86, 322 }, { 86, 322, 323 } ], [ { 74, 76, 77 }, { 76, 77, 322 }, { 74, 77, 322 }, { 74, 76, 322 } ], [ { 76, 78, 324 }, { 74, 76, 324 }, { 74, 78, 324 }, { 74, 76, 78 } ], [ { 78, 83, 325 }, { 60, 78, 325 }, { 60, 78, 83 }, { 60, 83, 325 } ], [ { 74, 78, 81 }, { 60, 74, 78 }, { 60, 74, 79, 81 }, { 60, 78, 79 }, { 78, 79, 81 } ], [ { 83, 84, 307 }, { 60, 84, 307 }, { 60, 83, 84 }, { 60, 83, 307 } ], [ { 70, 83, 307 }, { 68, 70, 307 }, { 68, 83, 307 }, { 68, 70, 83 } ], [ { 68, 86, 87, 89 }, { 86, 87, 326, 327 }, { 68, 86, 326 }, { 68, 89, 326, 327 }, { 87, 89, 327 } ], [ { 328, 329, 330 }, { 60, 329, 330 }, { 60, 328, 329, 331 }, { 60, 330, 331 }, { 328, 330, 331 } ], [ { 92, 332, 333 }, { 68, 92, 333 }, { 68, 92, 332 }, { 68, 332, 333 } ], [ { 68, 92, 95 }, { 68, 86, 93, 95 }, { 68, 86, 92 }, { 86, 92, 93 }, { 92, 93, 95 } ], [ { 86, 92, 334 }, { 92, 332, 334 }, { 86, 332, 334 }, { 86, 92, 332 } ], [ { 97, 98, 335 }, { 96, 97, 98 }, { 96, 98, 335 }, { 96, 97, 335 } ], [ { 100, 101, 103 }, { 100, 103, 336 }, { 100, 101, 336, 337 }, { 101, 103, 337 }, { 103, 336, 337 } ], [ { 102, 103, 105 }, { 100, 102, 103 }, { 100, 103, 105 }, { 100, 102, 105 } ], [ { 108, 338, 339 }, { 107, 338, 339 }, { 107, 108, 339 }, { 107, 108, 338 } ], [ { 107, 340, 341 }, { 156, 340, 341 }, { 107, 156, 341 }, { 107, 156, 340 } ], [ { 108, 110, 342 }, { 107, 108, 110 }, { 107, 110, 342 }, { 107, 108, 342 } ], [ { 112, 113, 115 }, { 111, 113, 115 }, { 111, 112, 115 }, { 111, 112, 113 } ], [ { 108, 118, 119 }, { 108, 117, 119 }, { 117, 118, 119 }, { 108, 117, 118 } ], [ { 121, 123, 343 }, { 118, 121, 343 }, { 118, 121, 123 }, { 118, 123, 343 } ], [ { 118, 121, 126 }, { 117, 121, 126 }, { 117, 118, 126 }, { 117, 118, 121 } ], [ { 121, 124, 126 }, { 123, 124, 126 }, { 121, 123, 126 }, { 121, 123, 124 } ], [ { 68, 128, 345 }, { 68, 344, 345 }, { 128, 344, 345 }, { 68, 128, 344 } ], [ { 174, 332, 333 }, { 68, 174, 333 }, { 68, 332, 333 }, { 68, 174, 332 } ], [ { 68, 129, 346 }, { 128, 129, 346 }, { 68, 128, 346 }, { 68, 128, 129 } ], [ { 132, 133, 137 }, { 130, 132, 133, 134 }, { 130, 132, 137 }, { 130, 134, 137 }, { 133, 134, 137 } ], [ { 72, 136, 137, 139 }, { 6, 8, 72, 139 }, { 6, 72, 137 }, { 6, 8, 136, 137 }, { 8, 136, 139 } ], [ { 128, 137, 347 }, { 72, 128, 137 }, { 72, 128, 140, 347 }, { 137, 140, 347 }, { 72, 137, 140 } ], [ { 137, 143, 348, 349 }, { 130, 137, 143 }, { 130, 137, 348, 350 }, { 130, 143, 349, 350 }, { 348, 349, 350 } ], [ { 137, 142, 143 }, { 6, 137, 142 }, { 6, 142, 143 }, { 6, 137, 143 } ], [ { 128, 146, 147 }, { 145, 146, 147 }, { 128, 145, 147 }, { 128, 145, 146 } ], [ { 150, 151, 153 }, { 149, 151, 153 }, { 149, 150, 151 }, { 149, 150, 153 } ], [ { 146, 147, 153 }, { 146, 147, 149 }, { 147, 149, 153 }, { 146, 149, 153 } ], [ { 147, 150, 153 }, { 147, 153, 351 }, { 147, 150, 351 }, { 150, 153, 351 } ], [ { 156, 157, 161 }, { 155, 157, 161 }, { 155, 156, 157 }, { 155, 156, 161 } ], [ { 157, 159, 161 }, { 123, 157, 161 }, { 123, 157, 159 }, { 123, 159, 161 } ], [ { 123, 162, 166 }, { 162, 165, 166 }, { 123, 165, 166 }, { 123, 162, 165 } ], [ { 126, 162, 163 }, { 123, 126, 163 }, { 123, 126, 162 }, { 123, 162, 163 } ], [ { 166, 167, 352 }, { 165, 167, 352 }, { 165, 166, 352 }, { 165, 166, 167 } ], [ { 169, 170, 171 }, { 170, 171, 353 }, { 169, 171, 353 }, { 169, 170, 353 } ], [ { 174, 175, 176 }, { 175, 176, 177 }, { 174, 176, 177 }, { 174, 175, 177 } ], [ { 150, 175, 178 }, { 175, 177, 178 }, { 150, 177, 178 }, { 150, 175, 177 } ], [ { 149, 150, 182 }, { 150, 180, 182 }, { 149, 180, 182 }, { 149, 150, 180 } ], [ { 169, 170, 182 }, { 150, 170, 182 }, { 150, 169, 182 }, { 150, 169, 170 } ], [ { 142, 143, 183 }, { 6, 142, 183 }, { 6, 142, 143 }, { 6, 143, 183 } ], [ { 186, 188, 335 }, { 185, 186, 188 }, { 185, 188, 335 }, { 185, 186, 335 } ], [ { 189, 202, 203 }, { 200, 202, 203 }, { 189, 200, 203 }, { 189, 200, 202 } ], [ { 189, 202, 264 }, { 200, 202, 264 }, { 189, 200, 264 }, { 189, 200, 202 } ], [ { 190, 191, 264 }, { 189, 190, 191 }, { 189, 191, 264 }, { 189, 190, 264 } ], [ { 193, 194, 195 }, { 194, 195, 200 }, { 193, 195, 200 }, { 193, 194, 200 } ], [ { 193, 195, 198 }, { 195, 197, 198 }, { 193, 195, 197 }, { 193, 197, 198 } ], [ { 201, 203, 354 }, { 200, 203, 354 }, { 200, 201, 203 }, { 200, 201, 354 } ], [ { 194, 195, 201 }, { 194, 195, 200 }, { 195, 200, 201 }, { 194, 200, 201 } ], [ { 11, 15, 24 }, { 15, 24, 228 }, { 11, 15, 228 }, { 11, 24, 228 } ], [ { 13, 15, 204 }, { 11, 13, 15 }, { 11, 13, 204 }, { 11, 15, 204 } ], [ { 15, 17, 20 }, { 15, 20, 355 }, { 15, 17, 22, 355 }, { 20, 22, 355 }, { 17, 20, 22 } ], [ { 28, 206, 231 }, { 28, 205, 206 }, { 205, 206, 231 }, { 28, 205, 231 } ], [ { 208, 231, 356 }, { 205, 208, 356 }, { 205, 231, 356 }, { 205, 208, 231 } ], [ { 28, 207, 208 }, { 205, 207, 208 }, { 28, 205, 208 }, { 28, 205, 207 } ], [ { 25, 211, 357 }, { 25, 228, 357 }, { 211, 228, 357 }, { 25, 211, 228 } ], [ { 15, 24, 25 }, { 15, 25, 228 }, { 15, 24, 228 }, { 24, 25, 228 } ], [ { 15, 23, 25 }, { 15, 25, 211 }, { 15, 23, 211 }, { 23, 25, 211 } ], [ { 28, 32, 206 }, { 32, 206, 231 }, { 28, 32, 231 }, { 28, 206, 231 } ], [ { 30, 32, 212 }, { 28, 30, 32 }, { 28, 30, 212 }, { 28, 32, 212 } ], [ { 214, 215, 217 }, { 213, 215, 217 }, { 213, 214, 215 }, { 213, 214, 217 } ], [ { 222, 223, 358, 359 }, { 221, 222, 359 }, { 221, 358, 359 }, { 221, 222, 223 }, { 221, 223, 358 } ], [ { 227, 360, 361 }, { 50, 360, 361 }, { 50, 227, 361 }, { 50, 227, 360 } ], [ { 226, 361, 362 }, { 50, 226, 362 }, { 50, 361, 362 }, { 50, 226, 361 } ], [ { 35, 226, 227 }, { 35, 39, 227 }, { 37, 39, 226, 227 }, { 35, 37, 39 }, { 35, 37, 226 } ], [ { 50, 229, 363 }, { 228, 229, 363 }, { 50, 228, 363 }, { 50, 228, 229 } ], [ { 50, 231, 232 }, { 50, 232, 243 }, { 231, 232, 243 }, { 50, 231, 243 } ], [ { 52, 235, 364, 365 }, { 52, 237, 364, 366 }, { 52, 235, 237 }, { 235, 237, 365, 366 }, { 364, 365, 366 } ], [ { 43, 50, 234 }, { 43, 228, 234 }, { 50, 228, 234 }, { 43, 50, 228 } ], [ { 43, 44, 235 }, { 44, 228, 235 }, { 43, 44, 228 }, { 43, 228, 235 } ], [ { 43, 52, 235 }, { 50, 52, 235 }, { 43, 50, 235 }, { 43, 50, 52 } ], [ { 211, 235, 357 }, { 228, 235, 357 }, { 211, 228, 235 }, { 211, 228, 357 } ], [ { 208, 211, 367, 368 }, { 208, 211, 235, 237 }, { 208, 237, 367 }, { 235, 237, 367, 368 }, { 211, 235, 368 } ], [ { 208, 231, 356 }, { 208, 237, 356 }, { 231, 237, 356 }, { 208, 231, 237 } ], [ { 46, 48, 231 }, { 46, 48, 237 }, { 48, 231, 237 }, { 46, 231, 237 } ], [ { 48, 50, 52 }, { 48, 52, 237 }, { 48, 50, 237 }, { 50, 52, 237 } ], [ { 48, 50, 238 }, { 48, 231, 238 }, { 48, 50, 231 }, { 50, 231, 238 } ], [ { 239, 240, 241 }, { 240, 241, 369 }, { 239, 241, 369 }, { 239, 240, 369 } ], [ { 240, 242, 370 }, { 239, 242, 370 }, { 239, 240, 242 }, { 239, 240, 370 } ], [ { 231, 240, 244 }, { 240, 243, 244 }, { 231, 243, 244 }, { 231, 240, 243 } ], [ { 227, 240, 245 }, { 240, 243, 245 }, { 227, 243, 245 }, { 227, 240, 243 } ], [ { 247, 248, 371 }, { 246, 248, 371 }, { 246, 247, 371 }, { 246, 247, 248 } ], [ { 250, 252, 371 }, { 247, 252, 371 }, { 247, 250, 252 }, { 247, 250, 371 } ], [ { 246, 250, 372, 374, 376, 380 }, { 246, 373, 375, 376, 377, 381 }, { 250, 372, 375, 377, 378, 379 }, { 373, 374, 376 }, { 246, 250, 377 }, { 373, 374, 378, 379, 380, 381 }, { 372, 379, 380 }, { 375, 378, 381 } ], [ { 55, 56, 246, 382 }, { 55, 56, 253, 255 }, { 55, 246, 253 }, { 246, 253, 255, 382 }, { 56, 255, 382 } ], [ { 256, 257, 259 }, { 257, 259, 383 }, { 256, 259, 383 }, { 256, 257, 383 } ], [ { 190, 261, 262 }, { 260, 261, 262 }, { 190, 260, 262 }, { 190, 260, 261 } ], [ { 264, 265, 266 }, { 200, 265, 266 }, { 200, 264, 266 }, { 200, 264, 265 } ], [ { 268, 269, 270 }, { 269, 270, 384 }, { 268, 270, 384 }, { 268, 269, 384 } ], [ { 59, 274, 276 }, { 272, 274, 276 }, { 59, 272, 274 }, { 59, 272, 276 } ], [ { 5, 59, 276 }, { 5, 60, 276 }, { 5, 59, 60 }, { 59, 60, 276 } ], [ { 5, 281, 282 }, { 276, 279, 281, 282 }, { 5, 276, 282 }, { 5, 279, 281 }, { 5, 276, 279 } ], [ { 61, 285, 286 }, { 60, 61, 285 }, { 60, 283, 285, 286 }, { 60, 61, 283 }, { 61, 283, 286 } ], [ { 5, 61, 282 }, { 5, 60, 282 }, { 5, 60, 61 }, { 60, 61, 282 } ], [ { 61, 282, 290 }, { 282, 285, 290 }, { 61, 285, 290 }, { 61, 282, 285 } ], [ { 282, 292, 296 }, { 285, 292, 296 }, { 282, 285, 296 }, { 282, 285, 292 } ], [ { 276, 282, 295, 296 }, { 295, 296, 385 }, { 295, 385, 386, 389 }, { 276, 282, 386, 387, 388, 389 }, { 385, 386, 387 }, { 296, 385, 387, 388 }, { 282, 296, 388 }, { 276, 295, 389 } ], [ { 276, 293, 295 }, { 272, 276, 295 }, { 272, 293, 295 }, { 272, 276, 293 } ], [ { 272, 295, 297 }, { 272, 285, 297, 298 }, { 272, 285, 295, 296 }, { 295, 296, 297, 298 }, { 285, 296, 298 } ], [ { 285, 301, 321 }, { 60, 301, 321 }, { 60, 285, 301 }, { 60, 285, 321 } ], [ { 285, 303, 304 }, { 285, 302, 304 }, { 302, 303, 304 }, { 285, 302, 303 } ], [ { 66, 285, 321 }, { 66, 303, 321 }, { 285, 303, 321 }, { 66, 285, 303 } ], [ { 84, 272, 307 }, { 60, 84, 307 }, { 60, 84, 272 }, { 60, 272, 307 } ], [ { 6, 272, 309 }, { 272, 308, 309 }, { 6, 308, 309 }, { 6, 272, 308 } ], [ { 6, 8, 72, 139 }, { 72, 139, 308 }, { 6, 72, 308 }, { 8, 139, 308 }, { 6, 8, 308 } ], [ { 72, 272, 307 }, { 72, 307, 308 }, { 272, 307, 308 }, { 72, 272, 308 } ], [ { 315, 316, 390 }, { 6, 315, 316 }, { 6, 316, 390 }, { 6, 315, 390 } ], [ { 316, 317, 318 }, { 6, 316, 318 }, { 6, 316, 317 }, { 6, 317, 318 } ], [ { 272, 309, 317 }, { 6, 272, 309 }, { 6, 309, 317 }, { 6, 272, 317 } ], [ { 64, 66, 321 }, { 62, 64, 321 }, { 62, 66, 321 }, { 62, 64, 66 } ], [ { 70, 72, 307 }, { 68, 70, 307 }, { 68, 72, 307 }, { 68, 70, 72 } ], [ { 74, 76, 86 }, { 74, 76, 322 }, { 76, 86, 322 }, { 74, 86, 322 } ], [ { 60, 74, 78 }, { 60, 78, 83 }, { 60, 74, 76, 83 }, { 76, 78, 83 }, { 74, 76, 78 } ], [ { 68, 83, 307 }, { 60, 83, 307 }, { 60, 68, 307 }, { 60, 68, 83 } ], [ { 68, 76, 83, 86 }, { 68, 86, 326 }, { 68, 83, 326 }, { 76, 86, 326 }, { 76, 83, 326 } ], [ { 60, 329, 330 }, { 60, 74, 329 }, { 60, 330, 391 }, { 60, 74, 391 }, { 74, 329, 392 }, { 330, 391, 392 }, { 74, 391, 392 }, { 329, 330, 392 } ], [ { 86, 92, 332 }, { 68, 86, 92 }, { 68, 92, 332 }, { 68, 86, 332 } ], [ { 332, 384, 394 }, { 332, 384, 393 }, { 384, 393, 394, 395 }, { 332, 394, 395 }, { 332, 393, 395 } ], [ { 97, 98, 335 }, { 97, 98, 336 }, { 98, 335, 336 }, { 97, 335, 336 } ], [ { 97, 98, 103, 105 }, { 103, 105, 336 }, { 97, 105, 336 }, { 98, 103, 336 }, { 97, 98, 336 } ], [ { 100, 103, 105 }, { 103, 105, 336 }, { 100, 103, 336 }, { 100, 105, 336 } ], [ { 100, 105, 396 }, { 100, 335, 396, 397 }, { 97, 100, 105, 335 }, { 97, 105, 396, 397 }, { 97, 335, 397 } ], [ { 108, 338, 398 }, { 107, 108, 338 }, { 107, 338, 398 }, { 107, 108, 398 } ], [ { 107, 156, 340 }, { 107, 340, 399 }, { 156, 340, 399 }, { 107, 156, 399 } ], [ { 107, 108, 342 }, { 108, 156, 342 }, { 107, 108, 156 }, { 107, 156, 342 } ], [ { 108, 113, 398 }, { 108, 112, 398 }, { 108, 112, 113 }, { 112, 113, 398 } ], [ { 113, 115, 400 }, { 112, 115, 400 }, { 112, 113, 115 }, { 112, 113, 400 } ], [ { 108, 118, 126 }, { 108, 117, 126 }, { 117, 118, 126 }, { 108, 117, 118 } ], [ { 121, 123, 126 }, { 118, 121, 126 }, { 118, 123, 126 }, { 118, 121, 123 } ], [ { 68, 72, 128 }, { 68, 72, 344 }, { 72, 128, 344 }, { 68, 128, 344 } ], [ { 68, 174, 332 }, { 174, 332, 384 }, { 68, 174, 384 }, { 68, 332, 384 } ], [ { 68, 174, 346 }, { 128, 174, 346 }, { 68, 128, 346 }, { 68, 128, 174 } ], [ { 128, 137, 347 }, { 128, 130, 137 }, { 128, 130, 132, 347 }, { 130, 132, 137 }, { 132, 137, 347 } ], [ { 72, 128, 137 }, { 6, 72, 137 }, { 6, 128, 137 }, { 6, 72, 128 } ], [ { 6, 137, 143 }, { 130, 137, 143 }, { 6, 130, 137 }, { 6, 130, 143 } ], [ { 150, 174, 346 }, { 128, 150, 346 }, { 128, 174, 346 }, { 128, 150, 174 } ], [ { 146, 147, 149 }, { 128, 146, 147 }, { 128, 147, 149 }, { 128, 146, 149 } ], [ { 147, 150, 401 }, { 128, 147, 401 }, { 128, 150, 401 }, { 128, 147, 150 } ], [ { 147, 150, 153 }, { 147, 149, 153 }, { 147, 149, 150 }, { 149, 150, 153 } ], [ { 123, 157, 161 }, { 156, 157, 161 }, { 123, 156, 157 }, { 123, 156, 161 } ], [ { 123, 161, 166 }, { 161, 165, 166 }, { 123, 165, 166 }, { 123, 161, 165 } ], [ { 123, 126, 162 }, { 126, 162, 165 }, { 123, 126, 165 }, { 123, 162, 165 } ], [ { 161, 166, 352 }, { 165, 166, 352 }, { 161, 165, 352 }, { 161, 165, 166 } ], [ { 169, 170, 353 }, { 169, 170, 177 }, { 170, 177, 353 }, { 169, 177, 353 } ], [ { 150, 174, 175 }, { 150, 175, 177 }, { 174, 175, 177 }, { 150, 174, 177 } ], [ { 150, 169, 170 }, { 169, 170, 177 }, { 150, 170, 177 }, { 150, 169, 177 } ], [ { 150, 170, 182 }, { 149, 170, 182 }, { 149, 150, 182 }, { 149, 150, 170 } ], [ { 143, 183, 402 }, { 6, 143, 183 }, { 6, 183, 402 }, { 6, 143, 402 } ], [ { 186, 188, 335 }, { 149, 186, 188 }, { 149, 188, 335 }, { 149, 186, 335 } ], [ { 189, 203, 354 }, { 200, 203, 354 }, { 189, 200, 203 }, { 189, 200, 354 } ], [ { 189, 190, 264 }, { 190, 200, 264 }, { 189, 190, 200 }, { 189, 200, 264 } ], [ { 193, 195, 198 }, { 195, 198, 200 }, { 193, 195, 200 }, { 193, 198, 200 } ], [ { 195, 201, 354 }, { 195, 200, 354 }, { 195, 200, 201 }, { 200, 201, 354 } ], [ { 11, 15, 204 }, { 15, 204, 228 }, { 11, 15, 228 }, { 11, 204, 228 } ], [ { 15, 17, 22, 355 }, { 15, 17, 28 }, { 15, 28, 355, 403 }, { 17, 22, 28, 403 }, { 22, 355, 403 } ], [ { 28, 208, 231 }, { 28, 205, 208 }, { 205, 208, 231 }, { 28, 205, 231 } ], [ { 15, 25, 211 }, { 15, 25, 228 }, { 15, 211, 228 }, { 25, 211, 228 } ], [ { 28, 32, 212 }, { 32, 212, 231 }, { 28, 32, 231 }, { 28, 212, 231 } ], [ { 359, 405, 406, 408 }, { 404, 405, 406 }, { 359, 404, 405, 407 }, { 404, 406, 407, 408 }, { 359, 407, 408 } ], [ { 214, 217, 409, 410 }, { 213, 217, 409 }, { 213, 214, 217 }, { 213, 409, 410 }, { 213, 214, 410 } ], [ { 358, 359, 409, 410 }, { 221, 358, 409 }, { 221, 358, 359 }, { 221, 359, 410 }, { 221, 409, 410 } ], [ { 226, 227, 361 }, { 50, 226, 361 }, { 50, 226, 227 }, { 50, 227, 361 } ], [ { 213, 226, 227, 411 }, { 37, 39, 213, 411 }, { 39, 213, 227 }, { 37, 39, 226, 227 }, { 37, 226, 411 } ], [ { 50, 226, 363 }, { 226, 228, 363 }, { 50, 228, 363 }, { 50, 226, 228 } ], [ { 50, 227, 231 }, { 50, 227, 243 }, { 227, 231, 243 }, { 50, 231, 243 } ], [ { 50, 52, 235 }, { 52, 235, 237 }, { 50, 235, 237 }, { 50, 52, 237 } ], [ { 43, 50, 235 }, { 43, 228, 235 }, { 50, 228, 235 }, { 43, 50, 228 } ], [ { 208, 211, 228, 231 }, { 228, 231, 235, 237 }, { 208, 231, 237 }, { 208, 211, 235, 237 }, { 211, 228, 235 } ], [ { 48, 50, 231 }, { 48, 50, 237 }, { 48, 231, 237 }, { 50, 231, 237 } ], [ { 239, 240, 370 }, { 240, 369, 370 }, { 239, 369, 370 }, { 239, 240, 369 } ], [ { 227, 231, 240 }, { 227, 240, 243 }, { 231, 240, 243 }, { 227, 231, 243 } ], [ { 247, 250, 371 }, { 246, 250, 371 }, { 246, 247, 371 }, { 246, 247, 250 } ], [ { 55, 228, 253, 412, 413, 414 }, { 55, 246, 253 }, { 55, 228, 246, 250 }, { 228, 250, 413 }, { 250, 377, 412, 413 }, { 246, 253, 377, 414 }, { 246, 250, 377 }, { 377, 412, 414 } ], [ { 55, 256, 259 }, { 55, 259, 383 }, { 256, 259, 383 }, { 55, 256, 383 } ], [ { 190, 260, 261 }, { 190, 228, 261 }, { 228, 260, 261 }, { 190, 228, 260 } ], [ { 190, 264, 266 }, { 190, 200, 266 }, { 200, 264, 266 }, { 190, 200, 264 } ], [ { 268, 269, 383 }, { 268, 269, 384 }, { 269, 383, 384 }, { 268, 383, 384 } ], [ { 59, 272, 276 }, { 59, 60, 276 }, { 60, 272, 276 }, { 59, 60, 272 } ], [ { 5, 276, 282 }, { 5, 60, 276 }, { 5, 60, 282 }, { 60, 276, 282 } ], [ { 61, 282, 285 }, { 60, 61, 282 }, { 60, 282, 285 }, { 60, 61, 285 } ], [ { 272, 285, 295, 296 }, { 272, 276, 282, 285 }, { 272, 276, 295 }, { 276, 282, 295, 296 }, { 282, 285, 296 } ], [ { 66, 285, 321 }, { 60, 66, 321 }, { 60, 285, 321 }, { 60, 66, 285 } ], [ { 66, 285, 303 }, { 66, 285, 302 }, { 66, 302, 303 }, { 285, 302, 303 } ], [ { 72, 272, 307 }, { 60, 72, 307 }, { 60, 272, 307 }, { 60, 72, 272 } ], [ { 6, 72, 272 }, { 72, 272, 308 }, { 6, 72, 308 }, { 6, 272, 308 } ], [ { 272, 390, 416 }, { 390, 415, 416, 417 }, { 272, 285, 390, 415 }, { 272, 285, 416, 417 }, { 285, 415, 417 } ], [ { 272, 316, 317, 390 }, { 6, 272, 390 }, { 6, 272, 317 }, { 6, 316, 317 }, { 6, 316, 390 } ], [ { 62, 66, 321 }, { 60, 66, 321 }, { 60, 62, 321 }, { 60, 62, 66 } ], [ { 68, 72, 307 }, { 60, 72, 307 }, { 60, 68, 307 }, { 60, 68, 72 } ], [ { 68, 76, 83, 86 }, { 60, 68, 74, 86 }, { 60, 68, 83 }, { 60, 74, 76, 83 }, { 74, 76, 86 } ], [ { 384, 393, 418 }, { 60, 74, 384, 393 }, { 60, 329, 384, 418 }, { 74, 329, 393, 418 }, { 60, 74, 329 } ], [ { 68, 332, 384 }, { 332, 384, 393 }, { 68, 86, 384, 393 }, { 68, 86, 332 }, { 86, 332, 393 } ], [ { 97, 100, 105, 335 }, { 100, 105, 336 }, { 100, 335, 336 }, { 97, 105, 336 }, { 97, 335, 336 } ], [ { 107, 108, 398 }, { 108, 112, 398 }, { 107, 108, 112 }, { 107, 112, 398 } ], [ { 107, 108, 156 }, { 107, 108, 399 }, { 108, 156, 399 }, { 107, 156, 399 } ], [ { 108, 113, 400 }, { 108, 112, 400 }, { 108, 112, 113 }, { 112, 113, 400 } ], [ { 115, 126, 400 }, { 112, 115, 126 }, { 112, 126, 400 }, { 112, 115, 400 } ], [ { 108, 126, 400 }, { 108, 117, 126 }, { 117, 126, 400 }, { 108, 117, 400 } ], [ { 108, 123, 156 }, { 108, 123, 399 }, { 123, 156, 399 }, { 108, 156, 399 } ], [ { 108, 123, 126 }, { 118, 123, 126 }, { 108, 118, 126 }, { 108, 118, 123 } ], [ { 68, 72, 128 }, { 6, 68, 72 }, { 6, 72, 128 }, { 6, 68, 128 } ], [ { 68, 128, 174 }, { 68, 174, 384 }, { 128, 174, 384 }, { 68, 128, 384 } ], [ { 6, 128, 137 }, { 128, 130, 137 }, { 6, 130, 137 }, { 6, 128, 130 } ], [ { 6, 143, 149 }, { 130, 143, 149 }, { 6, 130, 143 }, { 6, 130, 149 } ], [ { 128, 146, 149 }, { 130, 146, 149 }, { 128, 130, 146 }, { 128, 130, 149 } ], [ { 128, 150, 174 }, { 150, 174, 384 }, { 128, 150, 384 }, { 128, 174, 384 } ], [ { 147, 149, 150 }, { 128, 147, 150 }, { 128, 147, 149 }, { 128, 149, 150 } ], [ { 123, 156, 161 }, { 123, 161, 399 }, { 156, 161, 399 }, { 123, 156, 399 } ], [ { 123, 126, 161 }, { 126, 161, 165 }, { 123, 126, 165 }, { 123, 161, 165 } ], [ { 161, 177, 352, 353 }, { 161, 165, 170, 177 }, { 165, 170, 352, 353 }, { 170, 177, 353 }, { 161, 165, 352 } ], [ { 150, 174, 384 }, { 150, 174, 177 }, { 150, 177, 384 }, { 174, 177, 384 } ], [ { 149, 150, 170 }, { 150, 170, 177 }, { 149, 170, 177 }, { 149, 150, 177 } ], [ { 112, 335, 420 }, { 335, 419, 420 }, { 112, 419, 420 }, { 112, 335, 419 } ], [ { 143, 149, 402 }, { 6, 143, 402 }, { 6, 143, 149 }, { 6, 149, 402 } ], [ { 335, 336, 402 }, { 6, 335, 402 }, { 6, 336, 402 }, { 6, 335, 336 } ], [ { 186, 335, 402 }, { 149, 186, 402 }, { 149, 186, 335 }, { 149, 335, 402 } ], [ { 189, 190, 354 }, { 190, 200, 354 }, { 189, 190, 200 }, { 189, 200, 354 } ], [ { 195, 198, 354 }, { 195, 200, 354 }, { 195, 198, 200 }, { 198, 200, 354 } ], [ { 15, 204, 354 }, { 15, 204, 228 }, { 15, 228, 354 }, { 204, 228, 354 } ], [ { 15, 17, 28 }, { 15, 17, 354 }, { 15, 28, 354 }, { 17, 28, 354 } ], [ { 15, 28, 228, 231 }, { 208, 211, 228, 231 }, { 15, 211, 228 }, { 15, 28, 208, 211 }, { 28, 208, 231 } ], [ { 28, 212, 231 }, { 28, 212, 354 }, { 212, 231, 354 }, { 28, 231, 354 } ], [ { 358, 359, 405 }, { 359, 404, 405, 407 }, { 358, 404, 405, 421 }, { 358, 359, 407, 421 }, { 404, 407, 421 } ], [ { 358, 359, 409, 410 }, { 213, 358, 409 }, { 213, 358, 359 }, { 213, 409, 410 }, { 213, 359, 410 } ], [ { 213, 226, 227, 411 }, { 50, 213, 411 }, { 50, 213, 227 }, { 50, 226, 227 }, { 50, 226, 411 } ], [ { 50, 226, 411 }, { 226, 228, 411 }, { 50, 226, 228 }, { 50, 228, 411 } ], [ { 50, 227, 231 }, { 50, 213, 227 }, { 213, 227, 231 }, { 50, 213, 231 } ], [ { 50, 231, 237 }, { 50, 228, 231 }, { 228, 231, 235, 237 }, { 50, 228, 235 }, { 50, 235, 237 } ], [ { 240, 369, 370 }, { 213, 240, 370 }, { 213, 369, 370 }, { 213, 240, 369 } ], [ { 227, 231, 240 }, { 213, 227, 240 }, { 213, 231, 240 }, { 213, 227, 231 } ], [ { 231, 240, 369 }, { 240, 369, 422, 425 }, { 240, 422, 423 }, { 231, 240, 423, 424 }, { 231, 369, 424, 425, 426, 427 }, { 422, 423, 426, 427 }, { 422, 425, 426 }, { 423, 424, 427 } ], [ { 55, 246, 247 }, { 55, 228, 247 }, { 55, 228, 246, 250 }, { 246, 247, 250 }, { 228, 247, 250 } ], [ { 55, 259, 428 }, { 259, 383, 428 }, { 55, 259, 383 }, { 55, 383, 428 } ], [ { 190, 260, 428 }, { 190, 228, 428 }, { 228, 260, 428 }, { 190, 228, 260 } ], [ { 190, 428, 429 }, { 190, 383, 429, 430 }, { 190, 383, 428 }, { 428, 429, 430 }, { 383, 428, 430 } ], [ { 269, 383, 384 }, { 200, 266, 269, 384 }, { 190, 200, 383, 384 }, { 190, 266, 269, 383 }, { 190, 200, 266 } ], [ { 272, 276, 282, 285 }, { 60, 282, 285 }, { 60, 272, 285 }, { 60, 276, 282 }, { 60, 272, 276 } ], [ { 66, 285, 302 }, { 60, 66, 285 }, { 60, 66, 302 }, { 60, 285, 302 } ], [ { 6, 72, 272 }, { 60, 72, 272 }, { 6, 60, 72 }, { 6, 60, 272 } ], [ { 6, 272, 390 }, { 6, 272, 285, 302 }, { 6, 302, 390, 415 }, { 272, 285, 390, 415 }, { 285, 302, 415 } ], [ { 62, 66, 302 }, { 60, 62, 66 }, { 60, 66, 302 }, { 60, 62, 302 } ], [ { 6, 68, 72 }, { 60, 68, 72 }, { 6, 60, 72 }, { 6, 60, 68 } ], [ { 68, 86, 384, 393 }, { 60, 68, 384 }, { 60, 74, 384, 393 }, { 60, 68, 74, 86 }, { 74, 86, 393 } ], [ { 100, 336, 431 }, { 6, 100, 335, 431 }, { 6, 336, 431 }, { 6, 335, 336 }, { 100, 335, 336 } ], [ { 107, 108, 399 }, { 107, 108, 112 }, { 108, 112, 399 }, { 107, 112, 399 } ], [ { 108, 126, 400 }, { 108, 112, 126 }, { 112, 126, 400 }, { 108, 112, 400 } ], [ { 108, 123, 126 }, { 123, 126, 399 }, { 108, 126, 399 }, { 108, 123, 399 } ], [ { 68, 128, 384 }, { 6, 68, 128 }, { 6, 68, 384 }, { 6, 128, 384 } ], [ { 6, 128, 149 }, { 128, 130, 149 }, { 6, 130, 149 }, { 6, 128, 130 } ], [ { 128, 149, 150 }, { 149, 150, 384 }, { 128, 150, 384 }, { 128, 149, 384 } ], [ { 123, 126, 161 }, { 126, 161, 399 }, { 123, 126, 399 }, { 123, 161, 399 } ], [ { 126, 149, 161, 177 }, { 161, 165, 170, 177 }, { 126, 149, 165, 170 }, { 149, 170, 177 }, { 126, 161, 165 } ], [ { 149, 150, 384 }, { 149, 150, 177 }, { 150, 177, 384 }, { 149, 177, 384 } ], [ { 112, 126, 335 }, { 126, 335, 419 }, { 112, 126, 419 }, { 112, 335, 419 } ], [ { 335, 432, 433 }, { 126, 149, 432, 433 }, { 149, 335, 432 }, { 126, 335, 433 }, { 126, 149, 335 } ], [ { 149, 335, 402 }, { 6, 335, 402 }, { 6, 149, 402 }, { 6, 149, 335 } ], [ { 190, 228, 354 }, { 190, 200, 354 }, { 190, 200, 228 }, { 200, 228, 354 } ], [ { 198, 231, 354 }, { 200, 231, 354 }, { 198, 200, 231 }, { 198, 200, 354 } ], [ { 28, 231, 354 }, { 15, 28, 228, 231 }, { 228, 231, 354 }, { 15, 28, 354 }, { 15, 228, 354 } ], [ { 213, 358, 434 }, { 213, 411, 434 }, { 213, 359, 411 }, { 213, 358, 359 }, { 358, 359, 405 }, { 405, 411, 434 }, { 359, 405, 411 }, { 358, 405, 434 } ], [ { 50, 228, 231 }, { 50, 213, 231 }, { 213, 228, 231, 411 }, { 50, 228, 411 }, { 50, 213, 411 } ], [ { 231, 240, 369 }, { 213, 231, 240 }, { 213, 240, 369 }, { 213, 231, 369 } ], [ { 55, 247, 428 }, { 228, 247, 428 }, { 55, 228, 247 }, { 55, 228, 428 } ], [ { 55, 383, 428 }, { 55, 384, 428 }, { 383, 384, 428 }, { 55, 383, 384 } ], [ { 190, 228, 428 }, { 190, 200, 428 }, { 200, 228, 428 }, { 190, 200, 228 } ], [ { 383, 384, 428 }, { 200, 384, 428 }, { 190, 200, 383, 384 }, { 190, 383, 428 }, { 190, 200, 428 } ], [ { 6, 272, 285, 302 }, { 6, 60, 272 }, { 6, 60, 302 }, { 60, 285, 302 }, { 60, 272, 285 } ], [ { 62, 302, 384 }, { 60, 62, 384 }, { 60, 302, 384 }, { 60, 62, 302 } ], [ { 6, 68, 384 }, { 60, 68, 384 }, { 6, 60, 68 }, { 6, 60, 384 } ], [ { 6, 100, 335, 431 }, { 6, 112, 431, 435 }, { 100, 112, 335, 435 }, { 100, 431, 435 }, { 6, 112, 335 } ], [ { 108, 126, 399 }, { 108, 112, 126 }, { 112, 126, 399 }, { 108, 112, 399 } ], [ { 128, 149, 384 }, { 6, 128, 149 }, { 6, 149, 384 }, { 6, 128, 384 } ], [ { 149, 177, 384 }, { 126, 149, 384, 399 }, { 161, 177, 384, 399 }, { 126, 149, 161, 177 }, { 126, 161, 399 } ], [ { 6, 149, 335 }, { 6, 112, 335 }, { 6, 112, 126, 149 }, { 126, 149, 335 }, { 112, 126, 335 } ], [ { 228, 231, 354 }, { 200, 231, 354 }, { 200, 228, 231 }, { 200, 228, 354 } ], [ { 55, 228, 231, 369, 436, 437 }, { 213, 231, 369 }, { 213, 228, 231, 411 }, { 55, 411, 434, 436 }, { 213, 369, 434, 437 }, { 213, 411, 434 }, { 55, 228, 411 }, { 434, 436, 437 } ], [ { 200, 384, 428 }, { 200, 228, 428 }, { 55, 200, 228, 384 }, { 55, 384, 428 }, { 55, 228, 428 } ], [ { 6, 302, 384 }, { 6, 60, 384 }, { 60, 302, 384 }, { 6, 60, 302 } ], [ { 6, 431, 438, 439 }, { 6, 112, 438 }, { 112, 435, 438, 439 }, { 6, 112, 431, 435 }, { 431, 435, 439 } ], [ { 6, 112, 126, 149 }, { 6, 112, 384, 399 }, { 126, 149, 384, 399 }, { 6, 149, 384 }, { 112, 126, 399 } ], [ { 55, 200, 228, 384 }, { 200, 384, 399 }, { 200, 231, 369, 399 }, { 55, 228, 231, 369, 436, 437 }, { 200, 228, 231 }, { 384, 399, 436, 437 }, { 55, 384, 436 }, { 369, 399, 437 } ], [ { 302, 384, 440 }, { 384, 438, 440 }, { 6, 302, 438, 440 }, { 6, 384, 438 }, { 6, 302, 384 } ], [ { 6, 112, 384, 399 }, { 6, 112, 438 }, { 112, 399, 438 }, { 384, 399, 438 }, { 6, 384, 438 } ], [ { 384, 399, 438 }, { 384, 438, 440 }, { 200, 384, 440 }, { 200, 384, 399 }, { 200, 399, 441 }, { 200, 440, 441 }, { 399, 438, 441 }, { 438, 440, 441 } ] ] /* Order of PGL_2(O) stabilizers of Voronoi top cells */ [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 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, 2, 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, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 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, 2, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 12, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 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, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 3, 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, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 3, 1, 1, 2, 1, 3, 1, 1, 3 ] /* GAP id of GL_2(O) stabilizers of Voronoi top cells */ [ <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <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>, <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>, <4, 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>, <4, 1>, <2, 1>, <4, 2>, <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>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <24, 3>, <4, 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>, <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>, <6, 2>, <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>, <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>, <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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <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>, <6, 2>, <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>, <6, 2>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <6, 2> ]