/* Defining polynomial */ x^2 + 318 /* Minimal vectors */ [ <-70*w + 15, 34*w + 1091>, <19*w + 183, -385>, <8*w + 523, 22*w - 374>, <-24*w + 1127, 67*w - 159>, <53*w + 85, -21*w - 872>, <-10*w + 309, 20*w + 10>, <-10*w + 917, 50*w - 279>, <-20*w + 1226, 70*w - 269>, <-20*w + 10, 10*w + 309>, <70*w + 269, -20*w - 1226>, <50*w + 279, -10*w - 917>, <-21*w + 872, 53*w - 85>, <67*w + 159, -24*w - 1127>, <22*w + 374, 8*w - 523>, <385, 19*w - 183>, <-34*w + 1091, 70*w + 15>, <26*w + 103, -8*w - 453>, <9*w + 278, 9*w - 278>, <-59*w + 1740, 114*w + 41>, <28*w + 1771, 72*w - 1318>, <-114*w + 41, 59*w + 1740>, <-8*w + 453, 26*w - 103>, <72*w + 1318, 28*w - 1771>, <-26*w + 103, 18*w + 350>, <-9*w + 278, 18*w>, <-35*w + 381, 36*w + 350>, <59*w + 1740, 55*w - 1781>, <69*w + 175, -26*w - 1153>, <60*w + 453, -8*w - 1153>, <34*w + 556, 10*w - 803>, <35*w + 381, w - 731>, <-69*w + 175, 43*w + 978>, <-60*w + 453, 52*w + 700>, <-34*w + 556, 44*w + 247>, <40, 2*w - 19>, <-10*w + 45, 7*w + 138>, <5*w + 167, 6*w - 159>, <3*w + 188, 8*w - 137>, <-8*w + 2, 4*w + 129>, <39, 2*w - 19>, <3*w + 107, 4*w - 101>, <-2*w + 118, 7*w - 25>, <5*w + 6, -2*w - 77>, <3*w + 8, -w - 48>, , <4*w + 39, -77>, <-2*w + 44, 3*w + 10>, <-4*w + 46, 4*w + 39>, <-6*w + 90, 7*w + 49>, <-w + 96, 5*w - 29>, <-w + 54, 3*w - 10>, <-4*w + 67, 5*w + 29>, <85, 4*w - 39>, <-w + 139, 7*w - 49>, <-2*w + 45, 3*w + 9>, <86, 4*w - 39>, <-4*w + 47, 4*w + 38>, <-2*w + 2, w + 29>, <4*w + 38, -77>, <-4*w + 47, 4*w + 39>, <85, 4*w - 38>, <-w + 54, 3*w - 9>, <2*w + 40, w - 48>, <3*w + 71, 2*w - 77>, <-2*w + 2, w + 30>, <6*w + 14, -2*w - 99>, <4*w + 16, -w - 69>, <-w + 73, 4*w - 17>, <-2*w + 105, 6*w - 16>, <-5*w + 35, 4*w + 61>, <3*w + 49, w - 69>, <-w + 73, 4*w - 18>, <4*w + 79, 2*w - 98>, <-5*w + 13, 3*w + 71>, <-11*w + 78, 9*w + 133>, , <-4*w + 105, 7*w + 12>, <2*w + 19, -40>, <-7*w + 138, 10*w + 45>, <-5*w + 157, 10*w + 5>, <6*w + 159, 5*w - 167>, <8*w + 137, 3*w - 188>, <12*w + 136, w - 253>, <2*w + 222, 10*w - 137>, <-6*w + 307, 18*w - 52>, <-25*w + 448, 34*w + 179>, <18*w + 52, -6*w - 307>, <10*w + 137, 2*w - 222>, <-34*w + 179, 25*w + 448>, , <-56*w + 28, 28*w + 865>, <28*w + 797, 26*w - 818>, <-28*w + 825, 54*w + 47>, <3021, 149*w - 1436>, <-54*w + 47, 28*w + 825>, <26*w + 818, 28*w - 797>, <-28*w + 865, 56*w + 28>, <149*w + 1436, -3021>, <-21*w + 41, 12*w + 310>, <-11*w + 117, 11*w + 117>, <-22*w + 457, 33*w + 128>, <-11*w + 340, 22*w + 11>, <-21*w + 203, 20*w + 233>, <608, 30*w - 289>, <-20*w + 233, 21*w + 203>, <30*w + 289, -608>, <51*w + 410, -4*w - 995>, <-45*w + 499, 46*w + 469>, <-35*w + 575, 45*w + 276>, <10*w + 76, -w - 193>, <40*w + 527, 7*w - 878>, <30*w + 451, 8*w - 685>, <-44*w + 83, 25*w + 651>, <-99*w + 283, 61*w + 1419>, <19*w + 568, 19*w - 568>, <-80*w + 851, 80*w + 851>, <-25*w + 651, 44*w + 83>, <-61*w + 1419, 99*w + 283>, <-45*w + 276, 35*w + 575>, <8*w + 685, 30*w - 451>, <-4*w + 995, 51*w - 410>, <-46*w + 469, 45*w + 499>, <-w + 193, 10*w - 76>, <7*w + 878, 40*w - 527>, <-33*w + 128, 22*w + 457>, <-12*w + 310, 21*w + 41>, <-22*w + 11, 11*w + 340>, <3*w + 9, -w - 51>, <5*w + 49, -101>, <-3*w + 114, 7*w - 8>, <123, 6*w - 59>, <-6*w + 23, 4*w + 82>, , <-5*w + 74, 6*w + 42>, <10*w + 119, w - 212>, <6*w + 18, -2*w - 101>, <-4*w + 43, 4*w + 41>, <-5*w + 54, 5*w + 51>, <2*w + 61, 2*w - 60>, <5*w + 8, -2*w - 81>, <-6*w + 85, 7*w + 52>, <3*w + 112, 4*w - 100>, <2*w + 40, w - 51>, <-7*w + 52, 6*w + 85>, <-2*w + 81, 5*w - 8>, <4*w + 100, 3*w - 112>, <-4*w + 41, 4*w + 43>, <-5*w + 51, 5*w + 54>, <2*w + 60, 2*w - 61>, <-2*w + 101, 6*w - 18>, <-6*w + 42, 5*w + 74>, <-4*w + 82, 6*w + 23>, , <7*w + 8, -3*w - 114>, <-w + 51, 3*w - 9>, <6*w + 59, -123>, <101, 5*w - 49>, <9*w + 7, -4*w - 144>, <13*w + 87, -2*w - 245>, <-13*w + 137, 13*w + 137>, <-4*w + 144, 9*w - 7>, <-2*w + 245, 13*w - 87>, <4*w + 80, 2*w - 101>, <2*w + 101, 4*w - 80>, <6*w + 181, 6*w - 181>, <-23*w + 72, 15*w + 319>, <8*w + 103, w - 175>, <-15*w + 175, 16*w + 144>, <9*w + 340, 12*w - 309>, <9*w + 134, 2*w - 206>, <-6*w + 309, 18*w - 62>, <-13*w + 381, 25*w + 10>, <11*w + 546, 21*w - 443>, <-24*w + 41, 14*w + 350>, <41*w + 196, -11*w - 731>, <26*w + 371, 5*w - 587>, <-55*w + 92, 32*w + 803>, <2*w + 206, 9*w - 134>, <-53*w + 298, 41*w + 669>, <25*w + 917, 32*w - 845>, <-41*w + 669, 53*w + 298>, <-32*w + 803, 55*w + 92>, <32*w + 845, 25*w - 917>, <-16*w + 144, 15*w + 175>, <-14*w + 350, 24*w + 41>, <5*w + 587, 26*w - 371>, <-11*w + 731, 41*w - 196>, , <12*w + 309, 9*w - 340>, <-15*w + 319, 23*w + 72>, <-25*w + 10, 13*w + 381>, <18*w + 62, -6*w - 309>, <21*w + 443, 11*w - 546>, <-62*w + 453, 53*w + 731>, <906, 44*w - 453>, <-204*w + 1359, 168*w + 2471>, <213*w + 2543, 17*w - 4561>, <-204*w + 453, 124*w + 2924>, <213*w + 4355, 105*w - 5467>, <71*w + 3449, 132*w - 2821>, <133*w + 2996, 79*w - 3552>, <-133*w + 2996, 212*w + 556>, <461*w + 3449, -63*w - 8844>, <-461*w + 3449, 398*w + 5395>, <-266*w, 133*w + 4108>, <204*w + 453, -80*w - 3377>, <204*w + 1359, -36*w - 3830>, <-213*w + 4355, 318*w + 1112>, <62*w + 453, -9*w - 1184>, <-213*w + 2543, 230*w + 2018>, <-71*w + 3449, 203*w - 628>, <-97*w + 278, 62*w + 1359>, <44*w + 453, -906>, <-53*w + 731, 62*w + 453>, <17*w + 4561, 213*w - 2543>, <35*w + 2193, 89*w - 1637>, <-62*w + 2471, 151*w - 278>, <97*w + 278, -35*w - 1637>, <-44*w + 453, 44*w + 453>, <53*w + 731, 9*w - 1184>, <-17*w + 4561, 230*w - 2018>, <-35*w + 2193, 124*w - 556>, <62*w + 2471, 89*w - 2193>, <-94*w + 185, 56*w + 1359>, <18*w + 206, w - 381>, <-14*w + 1112, 61*w - 340>, <4*w + 1318, 62*w - 721>, <61*w + 340, -14*w - 1112>, , <62*w + 721, 4*w - 1318>, <-56*w + 1359, 94*w + 185>, <-17*w + 175, 17*w + 175>, <-16*w + 556, 35*w - 31>, <35*w + 587, 11*w - 834>, <-59*w + 628, 60*w + 597>, <-78*w + 247, 51*w + 1081>, <35*w + 31, -16*w - 556>, <-60*w + 597, 59*w + 628>, <11*w + 834, 35*w - 587>, <-43*w + 422, 42*w + 453>, <28*w + 659, 18*w - 762>, <-96*w + 41, 50*w + 1462>, <88*w + 412, -24*w - 1565>, <11*w + 1390, 62*w - 865>, <-51*w + 1081, 78*w + 247>, <-35*w + 937, 63*w + 72>, <-26*w + 659, 45*w + 72>, <95*w + 278, -34*w - 1606>, <95*w + 834, -7*w - 1884>, <-26*w + 1215, 72*w - 206>, <17*w + 2049, 91*w - 1287>, <43*w + 278, -8*w - 803>, <-78*w + 1215, 98*w + 597>, <556, 27*w - 278>, <43*w + 834, 19*w - 1081>, <-78*w + 103, 44*w + 1153>, <69*w + 731, w - 1431>, <-9*w + 834, 45*w - 278>, <-43*w + 278, 35*w + 525>, <26*w + 659, 19*w - 731>, <-17*w + 937, 54*w - 206>, <241*w + 1143, -65*w - 4293>, <44*w + 4407, 192*w - 2883>, <-69*w + 731, 70*w + 700>, <9*w + 834, 36*w - 556>, <35*w + 937, 28*w - 1009>, <-43*w + 834, 62*w + 247>, <78*w + 1215, 20*w - 1812>, <78*w + 103, -34*w - 1256>, <60*w + 103, -25*w - 978>, <17*w + 381, 10*w - 453>, <-77*w + 72, 42*w + 1153>, <-8*w + 659, 36*w - 206>, <44*w + 1421, 47*w - 1390>, <-33*w + 1493, 89*w - 237>, <19*w + 464, 13*w - 525>, <-19*w + 464, 32*w + 61>, <1526, 74*w - 763>, <-38*w, 19*w + 586>, <19*w + 72, -6*w - 329>, <6*w + 103, 2*w - 144>, <5*w + 134, 4*w - 144>, <11*w + 237, 6*w - 288>, <121*w + 1021, -11*w - 2376>, <-127*w + 1186, 121*w + 1365>, <2372, 115*w - 1186>, <-12*w, 6*w + 185>, <-6*w + 165, 11*w + 10>, <115*w + 1186, -2366>, <-121*w + 1351, 126*w + 1190>, <-12*w + 2372, 121*w - 1001>, <-19*w + 72, 13*w + 257>, <-6*w + 103, 8*w + 41>, <-5*w + 134, 9*w + 10>, <-11*w + 237, 17*w + 51>, <-39*w + 1184, 77*w - 11>, <38*w + 1195, 38*w - 1195>, <-223*w + 2255, 223*w + 2255>, <221*w + 2316, -2*w - 4571>, <-185*w + 3450, 261*w + 1060>, <182*w + 3500, 75*w - 4582>, <6*w + 2, -3*w - 93>, <-5*w + 71, 6*w + 40>, , <-40*w + 215, 31*w + 502>, <-34*w + 217, 28*w + 409>, <30*w + 425, 5*w - 679>, <25*w + 496, 11*w - 639>, <-10*w + 640, 36*w - 177>, <-9*w + 713, 39*w - 230>, <41, 2*w - 21>, <2*w + 62, 2*w - 63>, <-8*w + 100, 9*w + 73>, <-6*w + 162, 11*w + 10>, <9*w + 74, -w - 178>, <9*w + 115, w - 199>, <7*w + 53, -w - 136>, <9*w + 33, -3*w - 157>, <-12*w + 140, 13*w + 115>, <4*w + 144, 5*w - 136>, <-8*w + 284, 18*w - 21>, <2*w + 21, -42>, <-5*w + 70, 6*w + 42>, <-3*w + 91, 6*w>, <-10*w + 181, 14*w + 63>, <13*w + 75, -3*w - 241>, <10*w + 166, 3*w - 241>, <-8*w + 202, 14*w + 21>, <-6*w + 223, 14*w - 21>, <-9*w + 8, 5*w + 136>, <6*w + 124, 3*w - 157>, <-w + 255, 13*w - 115>, <-10*w + 263, 18*w + 21>, <-2*w + 20, 2*w + 21>, <6*w + 83, w - 136>, <10*w + 84, -w - 199>, <8*w + 104, w - 178>, <4*w + 1, -2*w - 63>, <-5*w + 172, 11*w - 10>, <-w + 173, 9*w - 73>, <-7*w + 90, 8*w + 63>, <3*w + 174, 7*w - 136>, , <13*w + 34, -5*w - 220>, <3*w + 215, 9*w - 157>, <-7*w + 29, 5*w + 94>, <-12*w + 38, 8*w + 167>, <9*w + 258, 8*w - 272>, <17*w + 14, -8*w - 272>, <2*w + 123, 5*w - 94>, <4*w + 205, 8*w - 167>, <-w + 10, w + 10>, <4*w + 43, -84>, <5*w + 54, -105>, <-2*w + 82, 5*w - 12>, <-7*w + 49, 6*w + 82>, <83, 4*w - 43>, <-w + 93, 5*w - 33>, <-5*w + 29, 4*w + 62>, <-w + 72, 4*w - 22>, <2*w + 166, 7*w - 117>, <-6*w + 39, 5*w + 73>, <5*w + 53, -105>, <-w + 92, 5*w - 32>, <20, w - 10>, <-4*w + 40, 4*w + 43>, <-4*w + 60, 5*w + 33>, , <4*w + 41, -84>, <5*w + 51, -105>, <-3*w + 70, 5*w + 12>, <-9*w + 49, 7*w + 117>, <-3*w + 50, 4*w + 22>, , <5*w + 52, -105>, <-4*w + 60, 5*w + 32>, , <-2*w + 21, 2*w + 22>, <-10*w + 5, 5*w + 157>, <-5*w + 172, 11*w - 2>, <-6*w + 2, 3*w + 94>, , <-5*w + 52, 5*w + 54>, <-2*w + 101, 6*w - 17>, <3*w + 9, -w - 52>, <4*w + 59, w - 92>, <-3*w + 71, 5*w + 13>, , <14*w + 197, 3*w - 318>, <11*w + 268, 8*w - 305>, <-7*w + 12, 4*w + 105>, <-4*w + 21, 3*w + 53>, <-5*w + 31, 4*w + 64>, <6*w + 39, -w - 114>, <2*w + 80, 3*w - 71>, <-12*w + 43, 8*w + 169>, <-8*w + 243, 16*w + 8>, <13*w + 27, -5*w - 219>, <5*w + 49, -103>, <2*w + 120, 5*w - 90>, <4*w + 18, -w - 73>, <2*w + 19, -41>, <3*w + 48, w - 71>, , <-3*w + 11, 2*w + 43>, , <4*w + 97, 3*w - 111>, <3*w + 8, -w - 52>, , <-2*w + 41, 3*w + 13>, , <-w + 10, w + 11>, <3*w + 29, -63>, <-w + 49, 3*w - 8>, <-w + 69, 4*w - 18>, <2*w + 39, w - 51>, <-2*w + 40, 3*w + 13>, <5*w + 67, w - 113>, <-3*w + 30, 3*w + 34>, <59, 3*w - 29>, <-2*w + 1, w + 32>, <4*w + 18, -w - 74>, <-2*w + 20, 2*w + 23>, <2*w + 38, w - 51>, <19, w - 9>, <58, 3*w - 28>, <2*w + 19, -42>, <-7*w + 245, 16*w - 5>, <8*w + 251, 9*w - 253>, , <1, 0>, , <-w + 14, w + 8>, <24, w - 10>, <-2*w + 4, w + 26>, , <-2*w + 27, 2*w + 16>, , <2*w + 19, -36>, <-w + 36, 2*w - 1>, <-2*w + 23, 2*w + 19>, <5*w + 28, -w - 87>, <-w + 76, 4*w - 20>, <4*w + 81, 2*w - 97>, , <3*w + 8, -w - 49>, <7*w + 110, 2*w - 156>, <-8*w + 7, 4*w + 117>, <2*w + 83, 3*w - 68>, <-3*w + 13, 2*w + 39>, <2*w + 41, w - 49>, <9*w + 46, -2*w - 156>, <6*w + 16, -2*w - 97>, <-4*w + 3, 2*w + 59>, <-w + 11, w + 10>, <4*w + 18, -w - 69>, <84, 4*w - 39>, <-5*w + 14, 3*w + 69>, <21, w - 10>, <-6*w + 25, 4*w + 79>, <2*w + 83, 3*w - 69>, <2*w + 104, 4*w - 79>, <2*w + 41, w - 48>, <-w + 33, 2*w>, <-5*w + 80, 6*w + 38>, <3*w + 7, -w - 48>, <-w + 118, 6*w - 38>, <-3*w + 56, 4*w + 20>, <63, 3*w - 29>, <16*w + 5, -7*w - 245>, <2*w + 19, -39>, <42, 2*w - 19>, <9*w + 253, 8*w - 251>, <-2*w + 23, 2*w + 20>, <-16*w + 37, 9*w + 226>, <3*w + 29, -59>, <-3*w + 34, 3*w + 30>, <4*w + 17, -w - 69>, <-w + 53, 3*w - 9>, , <5*w + 89, 2*w - 117>, <-3*w + 13, 2*w + 40>, <-4*w + 66, 5*w + 31>, <3*w + 48, w - 68>, , <2*w + 80, 3*w - 67>, <-w + 52, 3*w - 8>, <82, 4*w - 37>, <-3*w + 13, 2*w + 41>, <20, w - 9>, <2*w + 18, -39>, <-w + 32, 2*w + 1>, , <3*w + 28, -58>, , <-w + 74, 4*w - 18>, <3*w + 49, w - 68>, <2*w + 39, w - 49>, <-3*w + 54, 4*w + 22>, <-2*w + 43, 3*w + 11>, , , , <5*w + 7, -2*w - 80>, <62, 3*w - 29>, , <3*w + 111, 4*w - 97>, <3*w + 8, -w - 50>, <41, 2*w - 19>, <-6*w + 46, 5*w + 72>, , , <-3*w + 53, 4*w + 21>, <-4*w + 64, 5*w + 31>, <3*w + 71, 2*w - 80>, <-w + 114, 6*w - 39>, <-16*w + 8, 8*w + 243>, <3*w + 50, w - 70>, <-8*w + 169, 12*w + 43>, <103, 5*w - 49>, <-5*w + 219, 13*w - 27>, <2*w + 40, w - 50>, <5*w + 90, 2*w - 120>, <8*w + 305, 11*w - 268>, <3*w + 318, 14*w - 197>, <-w + 52, 3*w - 9>, <6*w + 17, -2*w - 101>, <-5*w + 54, 5*w + 52>, <-3*w + 94, 6*w + 2>, <5*w + 69, w - 110>, <3*w + 29, -60>, <-5*w + 34, 4*w + 61>, <-w + 73, 4*w - 19>, <-5*w + 55, 5*w + 51>, <83, 4*w - 39>, <4*w + 39, -80>, <11*w + 2, -5*w - 172>, <-2*w + 22, 2*w + 21>, <4*w + 181, 7*w - 146>, , <12*w + 180, 3*w - 271>, <-5*w + 95, 7*w + 32>, <-8*w + 148, 11*w + 53>, <-9*w + 55, 7*w + 115>, <-8*w + 85, 8*w + 85>, <-7*w + 115, 9*w + 55>, <9*w + 107, w - 192>, <7*w + 108, 2*w - 161>, <8*w + 138, 3*w - 191>, <-w + 254, 13*w - 105>, <-9*w + 116, 10*w + 86>, <13*w + 105, -w - 254>, <2*w + 161, 7*w - 108>, <3*w + 191, 8*w - 138>, , <-10*w + 86, 9*w + 116>, <-30*w + 157, 22*w + 396>, <223, 11*w - 106>, <21*w + 182, -w - 416>, <10*w + 299, 10*w - 299>, <-w + 416, 21*w - 182>, <11*w + 106, -223>, <-22*w + 396, 30*w + 157>, <3*w + 271, 12*w - 180>, <-7*w + 32, 5*w + 95>, <-11*w + 53, 8*w + 148>, <7*w + 28, -2*w - 122>, <3*w + 132, 5*w - 110>, <-10*w + 4, 5*w + 153>, <-2*w + 42, 3*w + 11>, <3*w + 91, 3*w - 90>, <-w + 93, 5*w - 29>, <-7*w + 13, 4*w + 103>, <-6*w + 43, 5*w + 73>, , <-w + 255, 13*w - 107>, <102, 5*w - 49>, <-2*w + 123, 7*w - 28>, <9*w + 516, 21*w - 389>, <3*w + 559, 26*w - 316>, <-7*w + 12, 4*w + 104>, <-2*w + 122, 7*w - 28>, <162, 8*w - 79>, <-3*w + 11, 2*w + 42>, <5*w + 29, -w - 93>, <3*w + 90, 3*w - 91>, <-5*w + 153, 10*w + 4>, <5*w + 110, 3*w - 132>, <5*w + 151, 5*w - 151>, <10*w + 78, -w - 194>, <-7*w + 94, 8*w + 64>, <122, 6*w - 59>, <10*w + 200, 5*w - 253>, <-5*w + 73, 6*w + 43>, <6*w + 79, w - 132>, <-4*w + 103, 7*w + 13>, <13*w + 107, -w - 255>, <-11*w + 116, 11*w + 116>, <7*w + 28, -2*w - 123>, <5*w + 49, -102>, <26*w + 316, 3*w - 559>, <21*w + 389, 9*w - 516>, <25*w + 134, -6*w - 453>, <-15*w + 381, 26*w + 41>, <-7*w + 278, 17*w - 31>, <19*w + 443, 12*w - 515>, <-5*w + 484, 26*w - 165>, <17*w + 31, -7*w - 278>, <26*w + 165, -5*w - 484>, <12*w + 515, 19*w - 443>, <-3*w + 690, 35*w - 299>, <35*w + 299, -3*w - 690>, <-38*w + 391, 38*w + 391>, <-7*w + 72, 7*w + 72>, <-30*w + 1009, 64*w - 42>, <64*w + 42, -30*w - 1009>, <57*w + 114, -23*w - 937>, <34*w + 1051, 34*w - 1051>, <-23*w + 937, 57*w - 114>, <-26*w + 41, 15*w + 381>, <-6*w + 453, 25*w - 134>, <-42*w + 41, 23*w + 628>, <-25*w + 72, 16*w + 350>, <36*w + 618, 12*w - 865>, <60*w + 165, -22*w - 1009>, <-41*w + 422, 41*w + 422>, <-6*w + 659, 35*w - 237>, <35*w + 237, -6*w - 659>, <-22*w + 1009, 60*w - 165>, <19*w + 587, 19*w - 587>, <-16*w + 350, 25*w + 72>, <-23*w + 628, 42*w + 41>, <12*w + 865, 36*w - 618>, <-133*w + 3902, 256*w + 103>, <71*w + 5261, 220*w - 3727>, <-71*w + 5261, 291*w - 1534>, <-142*w, 71*w + 2193>, <133*w + 3902, 123*w - 4005>, <1462, 71*w - 731>, <-53*w + 2193, 133*w - 278>, <53*w + 2193, 80*w - 1915>, <45*w + 690, 11*w - 1040>, <28*w + 865, 28*w - 865>, <-32*w + 906, 60*w + 41>, <-60*w + 41, 32*w + 906>, <11*w + 1040, 45*w - 690>, <-92*w + 947, 92*w + 947>, <-25*w + 278, 26*w + 247>, <-24*w + 1565, 88*w - 412>, <-69*w + 525, 60*w + 803>, <-42*w + 453, 43*w + 422>, <18*w + 762, 28*w - 659>, <-26*w + 247, 25*w + 278>, <-60*w + 803, 69*w + 525>, <-42*w + 103, 26*w + 597>, <59*w + 278, -16*w - 1050>, <25*w + 278, w - 525>, <-51*w + 587, 54*w + 494>, <-17*w + 381, 27*w + 72>, <-26*w + 865, 55*w - 31>, <8*w + 659, 28*w - 453>, <-18*w + 762, 46*w - 103>, <70*w + 556, -8*w - 1359>, <-17*w + 1843, 98*w - 659>, <-70*w + 556, 62*w + 803>, <17*w + 1843, 81*w - 1184>, <42*w + 103, -16*w - 700>, <-75*w + 278, 51*w + 1019>, <-25*w + 484, 36*w + 144>, <17*w + 587, 20*w - 556>, <25*w + 690, 21*w - 731>, <-33*w + 587, 45*w + 216>, <-41*w + 690, 54*w + 288>, <33*w + 793, 22*w - 906>, <33*w + 587, 12*w - 803>, <107*w + 690, -20*w - 1997>, <41*w + 690, 13*w - 978>, <-107*w + 690, 87*w + 1307>, <74*w + 1277, 25*w - 1781>, <-74*w + 1277, 99*w + 504>, <1380, 67*w - 690>, <-8*w + 103, 9*w + 72>, <-33*w + 793, 55*w + 113>, <25*w + 484, 11*w - 628>, <-17*w + 587, 37*w - 31>, <-25*w + 690, 46*w + 41>, <59*w + 690, 4*w - 1256>, <-59*w + 278, 43*w + 772>, <51*w + 587, 3*w - 1081>, <26*w + 865, 29*w - 834>, <19*w + 134, -3*w - 360>, <6*w + 165, 5*w - 175>, <25*w + 299, 2*w - 535>, <-13*w + 629, 37*w - 114>, <-19*w + 134, 16*w + 226>, <-25*w + 299, 27*w + 236>, <13*w + 629, 24*w - 515>, <598, 29*w - 299>, <-13*w + 299, 21*w + 51>, <-32*w + 763, 53*w + 112>, <13*w + 299, 8*w - 350>, <32*w + 763, 21*w - 875>, <866, 42*w - 433>, <-26*w, 13*w + 401>, <-13*w + 31, 8*w + 185>, <-21*w + 196, 20*w + 226>, <26*w + 206, -3*w - 504>, <-7*w + 134, 10*w + 41>, <-8*w + 433, 25*w - 93>, <-115*w + 1186, 115*w + 1180>, <351*w + 10839, 350*w - 10831>, <-351*w + 10839, 701*w - 8>, <-702*w, 351*w + 10823>, <13*w + 31, -5*w - 216>, <21*w + 196, -w - 422>, <-26*w + 206, 23*w + 298>, <7*w + 134, 3*w - 175>, <8*w + 433, 17*w - 340>, <77*w + 11, -39*w - 1184>, <-2*w + 4571, 221*w - 2316>, <-10*w + 59, 8*w + 123>, <-4*w + 61, 5*w + 30>, <6*w + 64, -125>, <2*w + 125, 5*w - 95>, <7*w + 137, 3*w - 178>, <-3*w + 196, 11*w - 55>, <-w + 153, 8*w - 63>, <7*w + 12, -3*w - 115>, <-10*w + 120, 11*w + 94>, <-3*w + 132, 8*w - 21>, <18*w + 25, -8*w - 293>, , <19*w + 301, 5*w - 450>, <-14*w + 119, 13*w + 157>, <24*w + 149, -5*w - 450>, <10*w + 268, 8*w - 293>, <11*w + 54, -3*w - 199>, <-4*w + 244, 14*w - 63>, <8*w + 145, 3*w - 199>, <-5*w + 111, 8*w + 21>, <-26*w + 279, 27*w + 262>, <8*w + 186, 5*w - 220>, <-12*w + 58, 9*w + 157>, <-w + 541, 27*w - 262>, <4*w + 103, 3*w - 115>, <-w + 214, 11*w - 94>, <13*w + 95, -2*w - 251>, <-7*w + 172, 12*w + 21>, <6*w + 23, -2*w - 104>, <62, 3*w - 32>, <-w + 51, 3*w - 11>, <-3*w + 30, 3*w + 31>, <5*w + 135, 4*w - 147>, <3*w + 73, 2*w - 84>, <-5*w + 111, 8*w + 20>, <-4*w + 60, 5*w + 31>, <7*w + 136, 3*w - 179>, <-w + 256, 13*w - 117>, <-3*w + 30, 3*w + 32>, <4*w + 81, 2*w - 104>, <-2*w + 40, 3*w + 11>, <9*w + 12, -4*w - 147>, <61, 3*w - 31>, <5*w + 11, -2*w - 84>, <-3*w + 131, 8*w - 20>, <10*w + 43, -3*w - 179>, <-w + 91, 5*w - 31>, <-12*w + 139, 13*w + 117>, <-5*w + 32, 4*w + 64>, <-2*w + 41, 3*w + 12>, <100, 5*w - 48>, <8*w + 17, -3*w - 135>, , <-4*w + 1, 2*w + 63>, <80, 4*w - 39>, <-w + 50, 3*w - 8>, <3*w + 28, -61>, <-w + 30, 2*w + 2>, <-4*w + 22, 3*w + 54>, <-3*w + 51, 4*w + 24>, <16*w + 149, -330>, <314, 16*w - 149>, <-w + 88, 5*w - 27>, <3*w + 9, -w - 53>, , <-w + 69, 4*w - 17>, <3*w + 48, w - 72>, <-2*w + 39, 3*w + 14>, <23, w - 10>, , , <-5*w + 15, 3*w + 68>, <-4*w + 24, 3*w + 49>, <2*w + 62, 2*w - 59>, , <-3*w + 97, 6*w>, <20*w + 193, -386>, <-20*w + 233, 20*w + 193>, <426, 20*w - 193>, <-22*w + 235, 21*w + 222>, , <-3*w + 14, 2*w + 39>, <5*w + 27, -w - 88>, <7*w + 25, -2*w - 118>, <2*w + 40, w - 49>, <16*w + 149, -314>, <330, 16*w - 149>, <61, 3*w - 28>, <-4*w + 24, 3*w + 51>, <-2*w + 63, 4*w + 1>, <-3*w + 12, 2*w + 41>, <-3*w + 135, 8*w - 17>, <5*w + 48, -100>, <-4*w + 64, 5*w + 32>, , <19*w + 21, -8*w - 308>, <-29*w + 65, 17*w + 424>, <21*w + 243, 2*w - 445>, <-8*w + 308, 19*w - 21>, <12*w + 359, 12*w - 359>, <-17*w + 424, 29*w + 65>, <2*w + 445, 21*w - 243>, <-w + 31, 2*w + 1>, <47*w + 88, -18*w - 779>, <-2*w + 1, w + 31>, <-18*w + 779, 47*w - 88>, <-2*w + 163, 9*w - 46>, <-3*w + 194, 11*w - 45>, <12*w + 14, -5*w - 195>, <11*w + 45, -3*w - 194>, <-5*w + 195, 12*w - 14>, <9*w + 46, -2*w - 163>, <12*w + 75, -2*w - 224>, , <-2*w + 21, 2*w + 21>, <-8*w + 64, 7*w + 94>, , <9*w + 196, 5*w - 237>, <-10*w + 206, 15*w + 51>, <-12*w + 144, 13*w + 113>, <-11*w + 175, 14*w + 82>, <15*w + 93, -3*w - 278>, <4*w + 268, 11*w - 196>, <-8*w + 41, 6*w + 103>, <-15*w + 51, 10*w + 206>, <5*w + 237, 9*w - 196>, <-14*w + 82, 11*w + 175>, <-13*w + 113, 12*w + 144>, <-3*w + 278, 15*w - 93>, <11*w + 196, 4*w - 268>, <15*w + 31, -6*w - 247>, <-6*w + 247, 15*w - 31>, <115*w + 1184, -2368>, <-115*w + 1184, 115*w + 1184>, <53*w + 1637, 53*w - 1637>, <-53*w + 1637, 106*w>, <2368, 115*w - 1184>, <-106*w, 53*w + 1637>, <-9*w + 1184, 62*w - 453>, <168*w + 1359, -18*w - 3274>, <-18*w + 3274, 168*w - 1359>, <3274, 159*w - 1637>, <97*w + 2646, 80*w - 2821>, <-97*w + 2646, 177*w + 175>, <-71*w + 731, 71*w + 731>, <-18*w + 906, 53*w - 175>, <-89*w + 1637, 124*w + 556>, <53*w + 175, -18*w - 906>, <-124*w + 556, 89*w + 1637>, <-33*w + 175, 25*w + 422>, <9*w + 484, 19*w - 381>, <19*w + 381, 9*w - 484>, <-25*w + 422, 33*w + 175>, <20*w + 556, 17*w - 587>, <60*w + 659, 2*w - 1256>, <-60*w + 659, 62*w + 597>, <17*w + 937, 37*w - 731>, <-34*w, 17*w + 525>, <-95*w + 278, 61*w + 1328>, <26*w + 1215, 46*w - 1009>, <69*w + 1493, 38*w - 1812>, <-69*w + 1493, 107*w + 319>, <-70*w, 35*w + 1081>, <268, 13*w - 134>, <-68*w, 34*w + 1049>, <-9*w + 91, 9*w + 91>, <9*w + 96, -187>, <187, 9*w - 96>, <5*w + 12, -2*w - 83>, <-4*w + 123, 8*w - 2>, , <-3*w + 113, 7*w - 12>, <-9*w + 49, 7*w + 115>, <4*w + 22, -w - 73>, <3*w + 51, w - 73>, <5*w + 28, -w - 93>, , <-2*w + 65, 4*w>, <-3*w + 33, 3*w + 31>, <4*w + 60, w - 90>, <-w + 93, 5*w - 28>, <-19*w + 202, 19*w + 202>, , <11*w + 134, w - 237>, <9*w + 1184, 53*w - 731>, <35*w + 1081, 35*w - 1081>, <-18*w, 9*w + 278>, <-w + 31, 2*w>, <11*w + 31, -4*w - 185>, <-11*w + 31, 7*w + 154>, <62, 3*w - 31>, <5*w + 196, 7*w - 175>, <-5*w + 9, 3*w + 72>, <2*w + 63, 2*w - 63>, <-3*w + 72, 5*w + 9>, , <2*w + 164, 7*w - 115>, <11*w + 329, 11*w - 329>, <2*w + 42, w - 52>, <-3*w + 10, 2*w + 41>, <-2*w + 41, 3*w + 10>, <-9*w + 92, 9*w + 92>, <9*w + 94, -186>, <186, 9*w - 94>, <3*w + 11, -w - 52>, <2*w + 39, w - 50>, , <9*w + 72, -w - 175>, <-9*w + 72, 8*w + 103>, <-w + 175, 9*w - 72>, <0, 1>, <-2*w, w + 31>, <1, -1> ] /* Voronoi top cells */ [ { 1, 2, 3, 4 }, { 5, 6, 7, 8 }, { 9, 10, 11, 12 }, { 13, 14, 15, 16 }, { 17, 18, 19, 20 }, { 18, 21, 22, 23 }, { 24, 25, 26, 27 }, { 24, 28, 29, 30 }, { 17, 18, 19, 31 }, { 17, 32, 33, 34 }, { 35, 36, 37, 38 }, { 39, 40, 41, 42 }, { 43, 44, 45, 46 }, { 47, 48, 49, 50 }, { 51, 52, 53, 54 }, { 45, 46, 55, 56 }, { 45, 46, 56, 57 }, { 58, 59, 60, 61 }, { 58, 59, 60, 62 }, { 58, 59, 63, 64 }, { 65, 66, 67, 68, 69 }, { 70, 71, 72, 73 }, { 74, 75, 76, 77 }, { 78, 79, 80, 81 }, { 78, 79, 81, 82 }, { 83, 84, 85, 86 }, { 87, 88, 89, 90 }, { 91, 92, 93, 94 }, { 95, 96, 97, 98 }, { 3, 99, 100, 101 }, { 3, 100, 101, 102 }, { 2, 3, 4, 102 }, { 6, 7, 8, 103 }, { 5, 6, 7, 104 }, { 9, 10, 11, 105 }, { 9, 11, 12, 106 }, { 100, 107, 108, 109 }, { 108, 109, 110, 111 }, { 100, 107, 109, 112 }, { 113, 114, 115, 116 }, { 115, 116, 117, 118 }, { 100, 119, 120, 121 }, { 100, 119, 121, 122 }, { 119, 122, 123, 124 }, { 14, 100, 125, 126 }, { 14, 100, 125, 127 }, { 13, 14, 15, 127 }, { 128, 129, 130, 131 }, { 132, 133, 134, 135 }, { 136, 137, 138, 139 }, { 133, 140, 141, 142 }, { 143, 144, 145, 146 }, { 147, 148, 149, 150 }, { 143, 151, 152, 153 }, { 154, 155, 156, 157 }, { 158, 159, 160, 161, 162 }, { 160, 163, 164, 165 }, { 166, 167, 168, 169 }, { 170, 171, 172, 173 }, { 168, 174, 175, 176 }, { 168, 170, 173, 176 }, { 177, 178, 179, 180 }, { 170, 181, 182, 183 }, { 184, 185, 186, 187 }, { 184, 188, 189, 190 }, { 178, 191, 192, 193 }, { 178, 184, 186, 193 }, { 194, 195, 196, 197 }, { 195, 196, 198, 199 }, { 194, 196, 198, 200 }, { 201, 202, 203, 204, 205 }, { 195, 206, 207, 208 }, { 195, 207, 209, 210 }, { 206, 207, 209, 211 }, { 212, 213, 214, 215 }, { 212, 213, 216, 217 }, { 218, 219, 220, 221 }, { 218, 219, 222, 223 }, { 224, 225, 226, 227 }, { 228, 229, 230, 231 }, { 232, 233, 234, 235 }, { 17, 18, 20, 236 }, { 232, 237, 238, 239 }, { 22, 238, 240, 241 }, { 232, 242, 243, 244 }, { 18, 22, 23, 245 }, { 24, 25, 26, 246 }, { 24, 28, 30, 247 }, { 248, 249, 250, 251 }, { 249, 250, 251, 252, 253 }, { 249, 252, 253, 254 }, { 252, 253, 254, 255 }, { 246, 254, 255, 256 }, { 25, 246, 257, 258 }, { 259, 260, 261, 262, 263 }, { 18, 264, 265, 266 }, { 254, 259, 267, 268 }, { 254, 266, 267, 269 }, { 17, 18, 31, 266 }, { 17, 32, 34, 260 }, { 34, 260, 270, 271 }, { 17, 34, 272, 273, 274, 275 }, { 276, 277, 278, 279 }, { 280, 281, 282, 283 }, { 284, 285, 286, 287 }, { 288, 289, 290, 291 }, { 292, 293, 294, 295 }, { 296, 297, 298, 299, 300, 301 }, { 302, 303, 304, 305, 306, 307, 308, 309, 310 }, { 311, 312, 313, 314 }, { 311, 313, 315, 316 }, { 311, 315, 316, 317 }, { 318, 319, 320, 321 }, { 322, 323, 324, 325 }, { 324, 326, 327, 328, 329 }, { 330, 331, 332, 333 }, { 334, 335, 336, 337 }, { 334, 338, 339, 340 }, { 338, 340, 341, 342 }, { 334, 336, 337, 340 }, { 337, 340, 341, 343 }, { 322, 325, 344, 345 }, { 311, 346, 347, 348 }, { 334, 349, 350, 351 }, { 352, 353, 354, 355 }, { 352, 356, 357, 358 }, { 353, 359, 360, 361 }, { 312, 362, 363, 364 }, { 365, 366, 367, 368 }, { 365, 369, 370, 371 }, { 369, 372, 373, 374 }, { 338, 375, 376, 377 }, { 35, 37, 38, 378 }, { 35, 37, 379, 380 }, { 381, 382, 383, 384 }, { 382, 385, 386, 387 }, { 387, 388, 389, 390 }, { 382, 386, 387, 391 }, { 392, 393, 394, 395 }, { 388, 392, 396, 397 }, { 388, 397, 398, 399 }, { 382, 388, 391, 400 }, { 401, 402, 403, 404 }, { 401, 405, 406, 407 }, { 408, 409, 410, 411 }, { 412, 413, 414, 415 }, { 405, 412, 416, 417 }, { 405, 406, 417, 418 }, { 40, 41, 42, 419 }, { 412, 413, 419, 420 }, { 421, 422, 423, 424 }, { 423, 424, 425, 426 }, { 40, 427, 428, 429 }, { 421, 422, 423, 430 }, { 431, 432, 433, 434 }, { 433, 435, 436, 437 }, { 436, 438, 439, 440 }, { 44, 45, 46, 55 }, { 44, 441, 442, 443 }, { 43, 44, 45, 443 }, { 47, 48, 58, 444 }, { 47, 48, 50, 445 }, { 47, 445, 446, 447 }, { 48, 445, 448, 449 }, { 51, 450, 451, 452 }, { 51, 52, 53, 450 }, { 45, 51, 53, 453 }, { 446, 454, 455, 456, 457 }, { 455, 458, 459, 460, 461, 462 }, { 45, 55, 56, 463 }, { 45, 57, 464, 465 }, { 45, 56, 57, 463 }, { 58, 60, 62, 466 }, { 58, 60, 61, 466 }, { 58, 61, 464, 467 }, { 58, 59, 62, 63 }, { 58, 63, 64, 468 }, { 446, 455, 456, 469 }, { 470, 471, 472, 473 }, { 472, 473, 474, 475 }, { 455, 469, 476, 477 }, { 478, 479, 480, 481 }, { 478, 479, 481, 482, 483 }, { 65, 484, 485, 486 }, { 65, 485, 487, 488 }, { 485, 487, 489, 490 }, { 65, 67, 68, 491 }, { 65, 66, 67, 492 }, { 474, 493, 494, 495 }, { 474, 492, 495, 496 }, { 474, 492, 496, 497 }, { 487, 489, 490, 498 }, { 65, 487, 498, 499 }, { 455, 482, 500, 501 }, { 482, 500, 502, 503 }, { 455, 501, 504, 505, 506 }, { 72, 500, 502, 507 }, { 70, 71, 72, 508 }, { 509, 510, 511, 512 }, { 71, 72, 509, 511 }, { 513, 514, 515, 516 }, { 513, 517, 518, 519 }, { 517, 518, 520, 521 }, { 74, 76, 77, 522 }, { 77, 518, 522, 523 }, { 74, 518, 524, 525 }, { 74, 76, 522, 526 }, { 522, 527, 528, 529 }, { 522, 527, 529, 530 }, { 505, 531, 532, 533 }, { 455, 505, 533, 534, 535 }, { 455, 526, 533, 536 }, { 526, 531, 532, 533, 536 }, { 78, 80, 81, 537 }, { 78, 81, 82, 538 }, { 81, 537, 538, 539 }, { 138, 139, 515, 540 }, { 139, 513, 515, 516 }, { 139, 140, 513, 541 }, { 513, 520, 542, 543 }, { 84, 85, 544, 545 }, { 83, 84, 85, 544 }, { 87, 88, 545, 546 }, { 87, 88, 90, 546 }, { 547, 548, 549, 550 }, { 91, 92, 93, 551 }, { 552, 553, 554, 555 }, { 95, 96, 97, 556 }, { 3, 99, 100, 110 }, { 2, 3, 100, 102 }, { 2, 102, 557, 558 }, { 6, 7, 103, 104 }, { 100, 104, 559, 560 }, { 100, 106, 560, 561 }, { 9, 11, 105, 106 }, { 100, 108, 109, 110 }, { 109, 110, 111, 117 }, { 100, 109, 112, 117 }, { 100, 113, 115, 120 }, { 113, 115, 116, 117 }, { 100, 112, 115, 117 }, { 100, 113, 119, 120 }, { 113, 119, 123, 124 }, { 100, 119, 122, 123 }, { 15, 127, 562, 563 }, { 14, 100, 123, 126 }, { 14, 15, 100, 127 }, { 145, 149, 392, 564 }, { 148, 149, 365, 395 }, { 149, 392, 394, 395 }, { 392, 399, 565, 566 }, { 128, 129, 131, 132 }, { 128, 132, 567, 568 }, { 132, 133, 567, 569 }, { 129, 132, 570, 571 }, { 132, 133, 134, 571 }, { 133, 570, 571, 572 }, { 137, 138, 139, 540 }, { 133, 140, 570, 572 }, { 133, 139, 140, 142 }, { 573, 574, 575, 576 }, { 573, 574, 577, 578 }, { 574, 578, 579, 580 }, { 143, 581, 582, 583 }, { 143, 145, 584, 585 }, { 143, 145, 146, 149 }, { 147, 148, 149, 365 }, { 143, 584, 585, 586 }, { 143, 151, 152, 586 }, { 152, 157, 584, 586 }, { 152, 155, 156, 157 }, { 143, 152, 582, 587 }, { 152, 155, 582, 588 }, { 158, 159, 161, 162, 589 }, { 158, 160, 161, 163, 164 }, { 590, 591, 592, 593 }, { 594, 595, 596, 597 }, { 163, 164, 165, 598 }, { 594, 596, 599, 600 }, { 594, 599, 601, 602 }, { 167, 168, 169, 171 }, { 168, 170, 171, 173 }, { 167, 168, 603, 604 }, { 168, 170, 174, 176 }, { 174, 605, 606, 607 }, { 185, 608, 609, 610 }, { 170, 174, 607, 611 }, { 607, 609, 611, 612, 613 }, { 178, 185, 609, 612 }, { 178, 179, 180, 614 }, { 177, 178, 180, 615 }, { 170, 182, 183, 616 }, { 170, 181, 183, 614 }, { 178, 615, 617, 618 }, { 170, 616, 618, 619 }, { 184, 188, 620, 621 }, { 178, 184, 185, 186 }, { 184, 188, 189, 192 }, { 178, 184, 192, 193 }, { 229, 622, 623, 624 }, { 229, 625, 626, 627 }, { 225, 626, 628, 629 }, { 225, 229, 626, 630 }, { 225, 631, 632, 633 }, { 194, 195, 196, 198 }, { 194, 198, 200, 634 }, { 195, 198, 206, 635, 636, 637 }, { 194, 201, 205, 634 }, { 194, 201, 202, 205, 209 }, { 202, 205, 209, 638 }, { 195, 206, 207, 209 }, { 206, 209, 211, 638 }, { 212, 213, 214, 216 }, { 214, 216, 639, 640 }, { 218, 219, 220, 222 }, { 220, 222, 639, 641 }, { 232, 642, 643, 644 }, { 232, 643, 645, 646 }, { 226, 228, 644, 645, 647 }, { 225, 226, 227, 228, 229, 230 }, { 232, 233, 234, 648 }, { 17, 18, 236, 649 }, { 18, 232, 649, 650 }, { 17, 648, 651, 652 }, { 232, 237, 239, 653 }, { 22, 232, 238, 240 }, { 22, 240, 241, 653 }, { 18, 232, 243, 654 }, { 22, 232, 242, 243 }, { 18, 22, 243, 245 }, { 655, 656, 657, 658 }, { 656, 657, 659, 660 }, { 24, 657, 661, 662 }, { 24, 30, 659, 661 }, { 657, 659, 660, 661 }, { 24, 25, 246, 247 }, { 24, 30, 247, 659 }, { 248, 249, 250, 252, 254 }, { 25, 246, 247, 252 }, { 246, 252, 254, 255 }, { 25, 246, 254, 258 }, { 18, 254, 663, 664 }, { 25, 254, 665, 666 }, { 259, 260, 261, 271 }, { 18, 259, 260, 266 }, { 18, 254, 265, 266 }, { 254, 259, 266, 267 }, { 667, 668, 669, 670 }, { 167, 669, 670, 671 }, { 167, 672, 673, 674 }, { 672, 673, 675, 676, 677, 678, 679, 680, 681 }, { 675, 677, 682, 683 }, { 682, 684, 685, 686 }, { 648, 667, 670, 687 }, { 648, 667, 688, 689 }, { 271, 648, 688, 690 }, { 17, 18, 260, 266 }, { 17, 34, 260, 271 }, { 17, 273, 648, 652 }, { 17, 34, 271, 273 }, { 271, 273, 648, 690 }, { 691, 692, 693, 694 }, { 288, 695, 696, 697 }, { 276, 277, 279, 698 }, { 277, 698, 699, 700 }, { 276, 698, 701, 702 }, { 699, 701, 703, 704 }, { 281, 705, 706, 707 }, { 705, 707, 708, 709 }, { 280, 281, 282, 705 }, { 286, 289, 710, 711, 712, 713 }, { 284, 286, 287, 288, 289, 291 }, { 293, 714, 715, 716 }, { 714, 716, 717, 718 }, { 292, 293, 294, 714 }, { 296, 297, 298, 299, 719, 720 }, { 302, 303, 304, 721, 722, 723, 724, 725, 726 }, { 311, 312, 313, 727 }, { 311, 313, 315, 727 }, { 311, 315, 317, 728 }, { 315, 728, 729, 730 }, { 318, 320, 321, 730 }, { 320, 731, 732, 733 }, { 330, 734, 735, 736 }, { 322, 324, 737, 738 }, { 322, 324, 325, 739 }, { 324, 328, 329, 737, 739 }, { 322, 325, 344, 739 }, { 344, 739, 740, 741 }, { 322, 737, 738, 742 }, { 322, 730, 742, 743 }, { 730, 737, 742, 744 }, { 330, 331, 333, 740 }, { 334, 335, 337, 745 }, { 337, 740, 745, 746 }, { 334, 338, 340, 341 }, { 334, 337, 340, 341 }, { 322, 344, 345, 740 }, { 311, 346, 348, 728 }, { 334, 349, 350, 745 }, { 330, 350, 745, 747, 748 }, { 352, 353, 355, 360 }, { 352, 356, 357, 360 }, { 357, 360, 749, 750 }, { 353, 359, 360, 751 }, { 311, 364, 752, 753 }, { 364, 751, 752, 754 }, { 311, 312, 363, 364 }, { 363, 364, 751, 755 }, { 751, 755, 756, 757 }, { 363, 755, 756, 758 }, { 365, 366, 368, 373 }, { 366, 373, 759, 760 }, { 365, 369, 371, 373 }, { 369, 373, 374, 761 }, { 334, 376, 762, 763 }, { 376, 761, 763, 764 }, { 334, 338, 375, 376 }, { 375, 376, 761, 765 }, { 761, 765, 766, 767 }, { 375, 765, 767, 768 }, { 385, 769, 770, 771 }, { 35, 37, 378, 380 }, { 384, 385, 770, 772 }, { 382, 384, 385, 773 }, { 382, 383, 384, 770 }, { 385, 412, 774, 775 }, { 382, 385, 387, 774 }, { 387, 388, 389, 774 }, { 382, 387, 388, 391 }, { 365, 392, 393, 395 }, { 388, 392, 397, 399 }, { 382, 388, 399, 400 }, { 405, 412, 416, 776 }, { 401, 402, 403, 406 }, { 401, 402, 404, 776 }, { 401, 405, 406, 776 }, { 378, 409, 411, 777 }, { 408, 409, 411, 778 }, { 378, 411, 778, 779 }, { 378, 403, 778, 780 }, { 406, 421, 781, 782 }, { 40, 412, 413, 414 }, { 40, 414, 427, 783 }, { 412, 417, 784, 785 }, { 405, 406, 412, 417 }, { 412, 419, 420, 784 }, { 40, 42, 419, 784 }, { 40, 412, 413, 419 }, { 406, 417, 784, 786 }, { 40, 784, 786, 787 }, { 421, 423, 424, 425 }, { 423, 425, 427, 788 }, { 40, 423, 427, 429 }, { 406, 421, 423, 430 }, { 40, 406, 430, 786 }, { 431, 433, 434, 436 }, { 433, 435, 436, 438 }, { 436, 438, 439, 789 }, { 44, 441, 790, 791 }, { 44, 45, 55, 790 }, { 44, 45, 441, 443 }, { 51, 441, 451, 459 }, { 47, 48, 58, 445 }, { 47, 445, 446, 455 }, { 48, 58, 445, 449 }, { 45, 53, 450, 792 }, { 51, 450, 451, 459 }, { 45, 51, 53, 450 }, { 445, 446, 454, 455 }, { 454, 455, 458, 459, 461, 793, 794, 795, 796 }, { 464, 797, 798, 799 }, { 58, 464, 799, 800 }, { 45, 464, 798, 801 }, { 45, 55, 463, 790 }, { 45, 57, 463, 464 }, { 58, 62, 466, 493 }, { 58, 61, 464, 466 }, { 58, 62, 63, 493 }, { 58, 63, 468, 472 }, { 63, 472, 493, 802 }, { 446, 455, 469, 471 }, { 47, 446, 455, 472 }, { 446, 471, 472, 803 }, { 472, 474, 493, 802 }, { 471, 472, 473, 474 }, { 455, 469, 471, 477 }, { 455, 476, 477, 479 }, { 471, 477, 479, 804 }, { 455, 479, 482, 805 }, { 471, 478, 497, 502 }, { 471, 478, 479, 480 }, { 478, 479, 482, 502 }, { 65, 484, 485, 491 }, { 65, 485, 487, 490 }, { 65, 67, 491, 492 }, { 492, 502, 806, 807 }, { 474, 492, 493, 495 }, { 474, 492, 497, 502 }, { 65, 487, 490, 498 }, { 65, 498, 499, 538 }, { 490, 498, 538, 808 }, { 65, 511, 538, 809 }, { 455, 500, 501, 508 }, { 455, 482, 500, 502 }, { 455, 501, 505, 508 }, { 72, 500, 502, 508 }, { 71, 72, 508, 509 }, { 509, 510, 511, 538 }, { 72, 502, 509, 511 }, { 513, 514, 515, 540 }, { 518, 520, 522, 523 }, { 513, 517, 518, 520 }, { 74, 77, 518, 522 }, { 74, 518, 525, 810 }, { 455, 526, 536, 810 }, { 74, 522, 526, 810 }, { 522, 527, 528, 811 }, { 526, 527, 811, 812 }, { 522, 526, 527, 530 }, { 455, 505, 526, 531, 533 }, { 78, 81, 537, 538 }, { 509, 537, 538, 539 }, { 526, 811, 813, 814 }, { 139, 513, 515, 540 }, { 139, 140, 513, 570 }, { 513, 520, 542, 570 }, { 84, 544, 545, 815 }, { 83, 84, 544, 556 }, { 88, 545, 546, 815 }, { 88, 90, 546, 551 }, { 84, 88, 816, 817, 818, 819, 820, 821, 822 }, { 547, 548, 549, 823 }, { 91, 92, 547, 551 }, { 92, 547, 558, 824 }, { 92, 93, 551, 558 }, { 553, 554, 555, 825 }, { 95, 96, 556, 562 }, { 96, 97, 555, 556 }, { 96, 555, 562, 826 }, { 2, 3, 100, 110 }, { 2, 100, 102, 558 }, { 100, 104, 127, 562 }, { 6, 103, 104, 562 }, { 6, 100, 104, 560 }, { 9, 100, 106, 560 }, { 9, 105, 106, 558 }, { 100, 102, 106, 558 }, { 100, 109, 110, 117 }, { 100, 113, 115, 117 }, { 100, 113, 119, 123 }, { 123, 825, 827, 828 }, { 823, 825, 828, 829, 830, 831 }, { 110, 823, 830, 832 }, { 123, 555, 825, 833 }, { 15, 100, 127, 562 }, { 15, 123, 555, 562 }, { 14, 15, 100, 123 }, { 145, 149, 392, 584 }, { 149, 365, 392, 395 }, { 392, 399, 565, 584 }, { 128, 129, 132, 570 }, { 128, 132, 133, 567 }, { 132, 133, 570, 571 }, { 133, 137, 139, 540 }, { 133, 139, 140, 570 }, { 128, 573, 574, 577 }, { 573, 574, 575, 815 }, { 128, 574, 577, 578 }, { 163, 574, 578, 579 }, { 143, 155, 581, 582 }, { 143, 581, 583, 834 }, { 143, 145, 149, 584 }, { 143, 147, 149, 365 }, { 143, 152, 584, 586 }, { 152, 155, 157, 584 }, { 143, 152, 155, 582 }, { 163, 589, 835, 836 }, { 158, 161, 163, 164, 589 }, { 164, 589, 591, 835 }, { 590, 591, 592, 835 }, { 164, 591, 592, 593 }, { 594, 595, 596, 815 }, { 155, 594, 596, 600 }, { 163, 164, 574, 594, 598 }, { 155, 594, 599, 600 }, { 164, 594, 599, 602 }, { 293, 837, 838, 839 }, { 837, 838, 840, 841 }, { 293, 838, 840, 842 }, { 293, 614, 842, 843 }, { 293, 840, 842, 843 }, { 837, 844, 845, 846 }, { 837, 846, 847, 848 }, { 844, 846, 848, 849 }, { 614, 844, 849, 850 }, { 844, 848, 849, 850 }, { 614, 840, 843, 848, 850 }, { 167, 170, 171, 851 }, { 167, 168, 170, 171 }, { 167, 168, 603, 605 }, { 168, 170, 174, 605 }, { 170, 174, 605, 607 }, { 178, 185, 608, 609 }, { 170, 178, 607, 609, 611, 612 }, { 180, 183, 614, 615, 616 }, { 178, 180, 614, 615 }, { 170, 183, 614, 616 }, { 170, 178, 615, 616, 618 }, { 184, 188, 608, 621 }, { 178, 184, 185, 608 }, { 178, 184, 188, 192 }, { 178, 188, 192, 852 }, { 229, 605, 622, 623 }, { 225, 229, 626, 627, 628 }, { 225, 608, 631, 632 }, { 194, 195, 198, 634 }, { 195, 198, 206, 634, 638 }, { 194, 205, 209, 634, 638 }, { 195, 206, 209, 638 }, { 853, 854, 855, 856, 857, 858 }, { 209, 855, 859, 860, 861 }, { 194, 209, 855, 856, 862 }, { 214, 220, 639, 863, 864 }, { 213, 214, 216, 639 }, { 219, 220, 222, 639 }, { 195, 865, 866, 867 }, { 213, 865, 868, 869 }, { 232, 643, 644, 645 }, { 225, 232, 642, 644 }, { 229, 232, 645, 646 }, { 225, 226, 228, 229, 644, 645 }, { 167, 229, 870, 871 }, { 229, 232, 233, 871 }, { 188, 225, 872, 873 }, { 225, 232, 237, 872 }, { 167, 648, 670, 871 }, { 232, 233, 648, 871 }, { 17, 18, 232, 649 }, { 17, 232, 648, 651 }, { 188, 653, 872, 874 }, { 232, 237, 653, 872 }, { 22, 232, 240, 653 }, { 18, 22, 232, 243 }, { 655, 657, 682, 685 }, { 655, 656, 657, 659 }, { 24, 657, 659, 661 }, { 24, 25, 247, 659 }, { 252, 259, 261, 271, 659, 875, 876, 877, 878 }, { 248, 250, 252, 254, 259, 879, 880, 881, 882 }, { 25, 247, 252, 659 }, { 25, 246, 252, 254 }, { 18, 254, 663, 883 }, { 25, 254, 665, 883 }, { 18, 259, 260, 271 }, { 18, 254, 259, 266 }, { 167, 667, 669, 670 }, { 655, 682, 684, 685 }, { 167, 669, 671, 672 }, { 167, 672, 673, 675, 677, 682 }, { 675, 682, 684, 686 }, { 167, 648, 667, 670 }, { 271, 648, 667, 688 }, { 17, 18, 260, 271 }, { 17, 271, 273, 648 }, { 691, 692, 693, 699 }, { 288, 695, 696, 701 }, { 277, 692, 693, 699 }, { 276, 277, 698, 699, 701 }, { 276, 288, 696, 701 }, { 699, 701, 704, 884 }, { 708, 717, 884, 885 }, { 281, 705, 707, 708 }, { 281, 282, 692, 705 }, { 691, 692, 705, 708 }, { 286, 287, 288, 289, 692, 710 }, { 293, 714, 716, 717 }, { 288, 293, 294, 714 }, { 288, 695, 714, 717 }, { 296, 297, 719, 886, 887, 888 }, { 302, 304, 721, 722, 723, 725, 889, 890, 891 }, { 304, 357, 750, 889 }, { 722, 750, 889, 892 }, { 311, 312, 322, 727 }, { 322, 727, 730, 743 }, { 311, 315, 727, 730 }, { 311, 315, 728, 730 }, { 318, 320, 728, 730 }, { 320, 730, 731, 732 }, { 330, 734, 736, 740 }, { 322, 324, 737, 739 }, { 322, 344, 739, 740 }, { 322, 730, 737, 742 }, { 330, 331, 740, 745 }, { 334, 337, 740, 745 }, { 322, 334, 338, 341 }, { 334, 337, 341, 740 }, { 322, 341, 345, 740 }, { 311, 320, 346, 728 }, { 330, 334, 350, 745 }, { 330, 350, 748, 893 }, { 352, 353, 360, 751 }, { 352, 357, 360, 750 }, { 359, 360, 750, 751 }, { 311, 364, 751, 752 }, { 750, 751, 752, 894 }, { 311, 312, 322, 363 }, { 311, 363, 364, 751 }, { 363, 751, 755, 756 }, { 365, 366, 373, 759 }, { 365, 369, 373, 761 }, { 373, 374, 759, 761 }, { 334, 376, 761, 763 }, { 759, 761, 763, 895 }, { 322, 334, 338, 375 }, { 334, 375, 376, 761 }, { 375, 761, 765, 767 }, { 35, 385, 770, 771 }, { 35, 378, 380, 402 }, { 35, 385, 402, 896 }, { 382, 384, 385, 770 }, { 365, 388, 393, 897 }, { 382, 385, 412, 774 }, { 382, 387, 388, 774 }, { 365, 388, 392, 393 }, { 382, 388, 392, 399 }, { 378, 402, 403, 406 }, { 405, 406, 412, 776 }, { 401, 402, 406, 776 }, { 378, 409, 411, 778 }, { 378, 403, 406, 778 }, { 406, 421, 778, 782 }, { 40, 412, 414, 427 }, { 406, 412, 417, 784 }, { 40, 412, 419, 784 }, { 40, 406, 784, 786 }, { 406, 421, 423, 425 }, { 40, 423, 425, 427 }, { 40, 406, 423, 430 }, { 431, 433, 436, 438 }, { 436, 438, 789, 790 }, { 44, 45, 441, 790 }, { 45, 51, 441, 459 }, { 47, 58, 445, 455 }, { 45, 58, 445, 449, 450, 792 }, { 45, 51, 450, 459 }, { 445, 450, 454, 455, 459, 793, 794, 795, 898 }, { 45, 58, 464, 798, 799 }, { 45, 463, 464, 790 }, { 58, 464, 466, 493 }, { 58, 63, 472, 493 }, { 47, 58, 455, 472 }, { 446, 455, 471, 472 }, { 471, 472, 474, 493 }, { 471, 474, 497, 502 }, { 455, 471, 477, 479 }, { 455, 479, 482, 502 }, { 471, 478, 479, 502 }, { 65, 485, 490, 491 }, { 65, 491, 492, 493 }, { 65, 492, 502, 806 }, { 474, 492, 493, 502 }, { 65, 490, 498, 538 }, { 65, 502, 511, 538 }, { 455, 500, 502, 508 }, { 455, 505, 508, 509, 899 }, { 72, 502, 508, 509 }, { 502, 509, 511, 538 }, { 514, 518, 540, 900 }, { 513, 514, 518, 540 }, { 513, 518, 520, 522 }, { 74, 518, 522, 810 }, { 455, 522, 526, 810 }, { 522, 526, 527, 811 }, { 455, 505, 509, 526, 531, 899 }, { 78, 509, 526, 901 }, { 78, 509, 537, 538 }, { 78, 526, 811, 813 }, { 139, 513, 540, 570 }, { 513, 520, 522, 570 }, { 84, 88, 545, 815 }, { 84, 544, 556, 815 }, { 88, 546, 551, 815 }, { 84, 88, 551, 556, 816, 818, 819, 822, 902 }, { 547, 549, 551, 823 }, { 92, 547, 551, 558 }, { 554, 555, 556, 825 }, { 96, 555, 556, 562 }, { 110, 547, 558, 823 }, { 2, 100, 110, 558 }, { 6, 100, 104, 562 }, { 6, 9, 100, 560 }, { 9, 100, 106, 558 }, { 100, 110, 113, 117, 123 }, { 110, 123, 823, 825, 828, 830 }, { 123, 555, 562, 825 }, { 15, 100, 123, 562 }, { 149, 365, 392, 584 }, { 382, 392, 399, 584 }, { 128, 132, 133, 570 }, { 133, 139, 540, 570 }, { 128, 573, 574, 815 }, { 128, 163, 574, 578 }, { 143, 155, 581, 834 }, { 143, 149, 365, 584 }, { 143, 152, 155, 584 }, { 163, 164, 589, 835 }, { 164, 591, 592, 835 }, { 155, 594, 596, 815 }, { 163, 164, 574, 594, 815 }, { 155, 164, 594, 599 }, { 293, 837, 838, 840 }, { 293, 614, 840, 843 }, { 167, 614, 851, 903 }, { 837, 844, 846, 848 }, { 614, 837, 840, 848 }, { 614, 844, 848, 850 }, { 188, 614, 852, 904 }, { 167, 170, 614, 851 }, { 167, 168, 170, 605 }, { 170, 178, 605, 607, 608, 609 }, { 170, 178, 614, 615, 616 }, { 178, 184, 188, 608 }, { 178, 188, 614, 852 }, { 167, 229, 605, 623 }, { 225, 229, 605, 608, 627, 628 }, { 188, 225, 608, 631 }, { 194, 195, 209, 634, 638 }, { 194, 209, 214, 220, 855, 856, 858, 859, 905 }, { 213, 214, 219, 220, 639 }, { 25, 866, 868, 906, 907 }, { 195, 213, 865, 866, 868 }, { 225, 229, 232, 644, 645 }, { 167, 229, 232, 871 }, { 188, 225, 232, 872 }, { 167, 232, 648, 871 }, { 17, 18, 232, 648 }, { 188, 232, 653, 872 }, { 18, 22, 232, 653 }, { 655, 657, 659, 682 }, { 24, 25, 657, 659 }, { 252, 254, 259, 271, 659 }, { 25, 252, 254, 659 }, { 18, 25, 254, 883 }, { 18, 254, 259, 271 }, { 167, 271, 667, 669 }, { 655, 659, 682, 684 }, { 167, 669, 672, 675, 682, 684 }, { 167, 271, 648, 667 }, { 17, 18, 271, 648 }, { 691, 692, 699, 708 }, { 288, 695, 701, 717 }, { 276, 277, 288, 692, 699, 701 }, { 699, 701, 708, 717, 884 }, { 281, 282, 692, 908 }, { 281, 692, 705, 708 }, { 287, 288, 692, 909, 910, 911 }, { 692, 908, 910, 911, 912 }, { 288, 293, 294, 837 }, { 288, 293, 714, 717 }, { 886, 887, 888, 913, 914, 915 }, { 304, 352, 357, 750 }, { 304, 722, 750, 889 }, { 304, 352, 722, 913, 914, 916 }, { 722, 750, 892, 916 }, { 311, 322, 727, 730 }, { 311, 320, 728, 730 }, { 320, 330, 730, 732, 734, 740 }, { 322, 730, 737, 739, 740 }, { 330, 334, 740, 745 }, { 322, 334, 341, 740 }, { 311, 320, 346, 917 }, { 330, 334, 350, 893 }, { 352, 360, 750, 751 }, { 311, 750, 751, 752 }, { 311, 322, 363, 756 }, { 311, 363, 751, 756 }, { 365, 373, 759, 761 }, { 334, 759, 761, 763 }, { 322, 334, 375, 767 }, { 334, 375, 761, 767 }, { 35, 385, 412, 770 }, { 35, 378, 402, 409 }, { 35, 385, 402, 412 }, { 382, 385, 412, 770 }, { 365, 388, 412, 897 }, { 382, 388, 412, 774 }, { 365, 382, 388, 392 }, { 378, 402, 406, 409 }, { 402, 406, 412, 776 }, { 378, 406, 409, 778 }, { 406, 421, 425, 778 }, { 40, 412, 425, 427 }, { 40, 406, 412, 784 }, { 40, 406, 423, 425 }, { 431, 436, 438, 790 }, { 45, 441, 459, 790 }, { 45, 58, 445, 450, 455, 459 }, { 45, 58, 464, 493, 790 }, { 58, 455, 472, 493 }, { 455, 471, 472, 493 }, { 471, 474, 493, 502 }, { 455, 471, 479, 502 }, { 65, 490, 491, 493 }, { 65, 492, 493, 502 }, { 65, 490, 502, 538 }, { 455, 502, 508, 509 }, { 490, 502, 509, 538 }, { 455, 518, 540, 900 }, { 513, 518, 522, 540 }, { 455, 518, 522, 810 }, { 455, 522, 526, 811 }, { 78, 455, 509, 526 }, { 78, 490, 509, 538 }, { 78, 455, 526, 811 }, { 513, 522, 540, 570 }, { 84, 88, 551, 556, 815 }, { 551, 556, 558, 562, 902, 918 }, { 549, 551, 815, 823 }, { 547, 551, 558, 823 }, { 554, 556, 815, 825 }, { 555, 556, 562, 825 }, { 100, 110, 558, 823 }, { 6, 9, 100, 558, 562 }, { 100, 110, 123, 823, 825 }, { 100, 123, 562, 825 }, { 365, 382, 392, 584 }, { 128, 133, 540, 570 }, { 128, 163, 574, 815 }, { 143, 155, 834, 835 }, { 143, 155, 365, 584 }, { 163, 164, 815, 835 }, { 155, 164, 592, 835 }, { 155, 164, 594, 815 }, { 293, 614, 837, 840 }, { 167, 293, 614, 903 }, { 614, 837, 844, 848 }, { 188, 614, 844, 904 }, { 167, 170, 605, 614 }, { 170, 178, 605, 608, 614 }, { 178, 188, 608, 614 }, { 167, 188, 225, 229, 605, 608 }, { 194, 195, 209, 213, 214, 219, 220, 859, 905 }, { 25, 195, 213, 866, 868, 907 }, { 167, 188, 225, 229, 232 }, { 18, 167, 232, 648 }, { 18, 188, 232, 653 }, { 25, 657, 659, 682 }, { 18, 25, 254, 271, 659 }, { 167, 271, 659, 669, 682, 684 }, { 18, 167, 271, 648 }, { 288, 692, 699, 701, 708, 717 }, { 281, 692, 708, 908 }, { 288, 692, 837, 908, 911 }, { 288, 293, 717, 837 }, { 352, 913, 914, 915, 916, 919 }, { 837, 920, 921, 922, 923, 924 }, { 304, 352, 722, 750, 916 }, { 311, 750, 752, 925 }, { 311, 320, 322, 730 }, { 320, 322, 330, 730, 740 }, { 322, 330, 334, 740 }, { 311, 320, 330, 334, 893, 917 }, { 311, 352, 750, 751 }, { 311, 322, 751, 756 }, { 334, 365, 759, 761 }, { 322, 334, 761, 767 }, { 35, 409, 825, 926 }, { 35, 412, 770, 825 }, { 35, 402, 409, 412 }, { 382, 412, 770, 825 }, { 365, 382, 388, 412 }, { 402, 406, 409, 412 }, { 406, 409, 425, 778 }, { 40, 406, 412, 425 }, { 431, 438, 493, 790 }, { 45, 58, 455, 459, 493, 790 }, { 455, 471, 493, 502 }, { 65, 490, 493, 502 }, { 455, 490, 502, 509 }, { 455, 518, 522, 540 }, { 455, 522, 811, 823 }, { 78, 455, 490, 509 }, { 78, 455, 811, 823 }, { 78, 490, 823, 927 }, { 522, 540, 570, 815 }, { 551, 556, 558, 562, 815 }, { 551, 558, 815, 823 }, { 556, 562, 815, 825 }, { 100, 558, 562, 823, 825 }, { 365, 382, 584, 815 }, { 128, 133, 540, 835 }, { 128, 540, 570, 815 }, { 128, 163, 815, 835 }, { 143, 155, 365, 835 }, { 155, 365, 584, 815 }, { 155, 164, 815, 835 }, { 167, 293, 614, 837 }, { 188, 614, 837, 844 }, { 167, 188, 605, 608, 614 }, { 18, 25, 195, 213, 219, 907 }, { 18, 167, 188, 232 }, { 18, 25, 167, 271, 659, 682 }, { 281, 682, 708, 908 }, { 288, 692, 708, 717, 837, 908 }, { 167, 293, 717, 837 }, { 352, 837, 916, 919, 920, 921 }, { 311, 352, 750, 916, 925 }, { 311, 320, 322, 330, 334 }, { 311, 322, 352, 751 }, { 322, 334, 365, 761 }, { 35, 409, 412, 825 }, { 365, 382, 412, 825 }, { 406, 409, 412, 425 }, { 431, 455, 459, 493, 790 }, { 455, 490, 493, 502 }, { 455, 522, 540, 823 }, { 78, 455, 490, 823 }, { 522, 540, 815, 823 }, { 558, 562, 815, 823, 825 }, { 365, 382, 815, 825 }, { 128, 540, 815, 835 }, { 155, 365, 815, 835 }, { 167, 188, 614, 837 }, { 18, 25, 167, 188, 682, 907, 928, 929, 930 }, { 167, 682, 708, 717, 837, 908 }, { 311, 352, 837, 916, 921, 925 }, { 311, 322, 334, 352, 365 }, { 365, 409, 412, 825 }, { 409, 412, 425, 931 }, { 431, 455, 459, 540 }, { 431, 455, 490, 493 }, { 455, 490, 540, 823 }, { 490, 540, 815, 823 }, { 409, 490, 815, 823, 825 }, { 365, 409, 815, 825 }, { 365, 540, 815, 835 }, { 167, 188, 682, 837, 908, 928, 929, 930, 932 }, { 311, 334, 352, 365, 837, 932 }, { 365, 409, 412, 931 }, { 431, 455, 490, 540 }, { 365, 409, 490, 540, 815 }, { 352, 365, 540, 837, 908, 932 }, { 365, 409, 431, 490, 540, 931 }, { 352, 365, 431, 540, 931, 933 } ] /* Faces of top cells */ [ [ { 2, 3, 4 }, { 1, 3, 4 }, { 1, 2, 4 }, { 1, 2, 3 } ], [ { 6, 7, 8 }, { 5, 7, 8 }, { 5, 6, 8 }, { 5, 6, 7 } ], [ { 10, 11, 12 }, { 9, 11, 12 }, { 9, 10, 12 }, { 9, 10, 11 } ], [ { 14, 15, 16 }, { 13, 15, 16 }, { 13, 14, 16 }, { 13, 14, 15 } ], [ { 18, 19, 20 }, { 17, 19, 20 }, { 17, 18, 20 }, { 17, 18, 19 } ], [ { 18, 22, 23 }, { 21, 22, 23 }, { 18, 21, 23 }, { 18, 21, 22 } ], [ { 25, 26, 27 }, { 24, 26, 27 }, { 24, 25, 27 }, { 24, 25, 26 } ], [ { 28, 29, 30 }, { 24, 29, 30 }, { 24, 28, 30 }, { 24, 28, 29 } ], [ { 18, 19, 31 }, { 17, 19, 31 }, { 17, 18, 19 }, { 17, 18, 31 } ], [ { 32, 33, 34 }, { 17, 33, 34 }, { 17, 32, 34 }, { 17, 32, 33 } ], [ { 36, 37, 38 }, { 35, 37, 38 }, { 35, 36, 38 }, { 35, 36, 37 } ], [ { 40, 41, 42 }, { 39, 41, 42 }, { 39, 40, 42 }, { 39, 40, 41 } ], [ { 44, 45, 46 }, { 43, 45, 46 }, { 43, 44, 46 }, { 43, 44, 45 } ], [ { 48, 49, 50 }, { 47, 49, 50 }, { 47, 48, 50 }, { 47, 48, 49 } ], [ { 52, 53, 54 }, { 51, 53, 54 }, { 51, 52, 54 }, { 51, 52, 53 } ], [ { 46, 55, 56 }, { 45, 55, 56 }, { 45, 46, 56 }, { 45, 46, 55 } ], [ { 46, 56, 57 }, { 45, 56, 57 }, { 45, 46, 56 }, { 45, 46, 57 } ], [ { 59, 60, 61 }, { 58, 60, 61 }, { 58, 59, 61 }, { 58, 59, 60 } ], [ { 59, 60, 62 }, { 58, 60, 62 }, { 58, 59, 62 }, { 58, 59, 60 } ], [ { 59, 63, 64 }, { 58, 63, 64 }, { 58, 59, 64 }, { 58, 59, 63 } ], [ { 66, 67, 68, 69 }, { 65, 67, 68 }, { 65, 66, 67 }, { 65, 68, 69 }, { 65, 66, 69 } ], [ { 71, 72, 73 }, { 70, 72, 73 }, { 70, 71, 73 }, { 70, 71, 72 } ], [ { 75, 76, 77 }, { 74, 76, 77 }, { 74, 75, 77 }, { 74, 75, 76 } ], [ { 79, 80, 81 }, { 78, 80, 81 }, { 78, 79, 81 }, { 78, 79, 80 } ], [ { 79, 81, 82 }, { 78, 79, 81 }, { 78, 81, 82 }, { 78, 79, 82 } ], [ { 84, 85, 86 }, { 83, 85, 86 }, { 83, 84, 86 }, { 83, 84, 85 } ], [ { 88, 89, 90 }, { 87, 89, 90 }, { 87, 88, 90 }, { 87, 88, 89 } ], [ { 92, 93, 94 }, { 91, 93, 94 }, { 91, 92, 94 }, { 91, 92, 93 } ], [ { 96, 97, 98 }, { 95, 97, 98 }, { 95, 96, 98 }, { 95, 96, 97 } ], [ { 3, 100, 101 }, { 3, 99, 101 }, { 3, 99, 100 }, { 99, 100, 101 } ], [ { 3, 101, 102 }, { 3, 100, 101 }, { 3, 100, 102 }, { 100, 101, 102 } ], [ { 3, 4, 102 }, { 2, 3, 4 }, { 2, 4, 102 }, { 2, 3, 102 } ], [ { 6, 7, 8 }, { 7, 8, 103 }, { 6, 8, 103 }, { 6, 7, 103 } ], [ { 6, 7, 104 }, { 5, 7, 104 }, { 5, 6, 7 }, { 5, 6, 104 } ], [ { 10, 11, 105 }, { 9, 10, 11 }, { 9, 11, 105 }, { 9, 10, 105 } ], [ { 11, 12, 106 }, { 9, 12, 106 }, { 9, 11, 12 }, { 9, 11, 106 } ], [ { 107, 108, 109 }, { 100, 108, 109 }, { 100, 107, 109 }, { 100, 107, 108 } ], [ { 108, 109, 111 }, { 109, 110, 111 }, { 108, 109, 110 }, { 108, 110, 111 } ], [ { 107, 109, 112 }, { 100, 109, 112 }, { 100, 107, 109 }, { 100, 107, 112 } ], [ { 114, 115, 116 }, { 113, 115, 116 }, { 113, 114, 116 }, { 113, 114, 115 } ], [ { 116, 117, 118 }, { 115, 116, 118 }, { 115, 117, 118 }, { 115, 116, 117 } ], [ { 119, 120, 121 }, { 100, 120, 121 }, { 100, 119, 121 }, { 100, 119, 120 } ], [ { 119, 121, 122 }, { 100, 121, 122 }, { 100, 119, 121 }, { 100, 119, 122 } ], [ { 119, 122, 124 }, { 122, 123, 124 }, { 119, 123, 124 }, { 119, 122, 123 } ], [ { 14, 125, 126 }, { 14, 100, 126 }, { 14, 100, 125 }, { 100, 125, 126 } ], [ { 14, 100, 125 }, { 14, 125, 127 }, { 14, 100, 127 }, { 100, 125, 127 } ], [ { 13, 14, 15 }, { 14, 15, 127 }, { 13, 15, 127 }, { 13, 14, 127 } ], [ { 129, 130, 131 }, { 128, 130, 131 }, { 128, 129, 131 }, { 128, 129, 130 } ], [ { 133, 134, 135 }, { 132, 134, 135 }, { 132, 133, 135 }, { 132, 133, 134 } ], [ { 137, 138, 139 }, { 136, 138, 139 }, { 136, 137, 139 }, { 136, 137, 138 } ], [ { 133, 141, 142 }, { 140, 141, 142 }, { 133, 140, 142 }, { 133, 140, 141 } ], [ { 144, 145, 146 }, { 143, 145, 146 }, { 143, 144, 146 }, { 143, 144, 145 } ], [ { 148, 149, 150 }, { 147, 149, 150 }, { 147, 148, 150 }, { 147, 148, 149 } ], [ { 151, 152, 153 }, { 143, 152, 153 }, { 143, 151, 153 }, { 143, 151, 152 } ], [ { 155, 156, 157 }, { 154, 156, 157 }, { 154, 155, 157 }, { 154, 155, 156 } ], [ { 159, 160, 161 }, { 158, 160, 161 }, { 158, 159, 161, 162 }, { 159, 160, 162 }, { 158, 160, 162 } ], [ { 160, 164, 165 }, { 160, 163, 165 }, { 163, 164, 165 }, { 160, 163, 164 } ], [ { 167, 168, 169 }, { 166, 168, 169 }, { 166, 167, 169 }, { 166, 167, 168 } ], [ { 171, 172, 173 }, { 170, 172, 173 }, { 170, 171, 173 }, { 170, 171, 172 } ], [ { 168, 175, 176 }, { 174, 175, 176 }, { 168, 174, 176 }, { 168, 174, 175 } ], [ { 168, 173, 176 }, { 170, 173, 176 }, { 168, 170, 173 }, { 168, 170, 176 } ], [ { 178, 179, 180 }, { 177, 179, 180 }, { 177, 178, 180 }, { 177, 178, 179 } ], [ { 181, 182, 183 }, { 170, 182, 183 }, { 170, 181, 183 }, { 170, 181, 182 } ], [ { 185, 186, 187 }, { 184, 186, 187 }, { 184, 185, 187 }, { 184, 185, 186 } ], [ { 188, 189, 190 }, { 184, 189, 190 }, { 184, 188, 190 }, { 184, 188, 189 } ], [ { 178, 192, 193 }, { 178, 191, 193 }, { 191, 192, 193 }, { 178, 191, 192 } ], [ { 178, 186, 193 }, { 184, 186, 193 }, { 178, 184, 186 }, { 178, 184, 193 } ], [ { 195, 196, 197 }, { 194, 196, 197 }, { 194, 195, 197 }, { 194, 195, 196 } ], [ { 195, 196, 199 }, { 196, 198, 199 }, { 195, 198, 199 }, { 195, 196, 198 } ], [ { 196, 198, 200 }, { 194, 196, 200 }, { 194, 198, 200 }, { 194, 196, 198 } ], [ { 202, 203, 205 }, { 201, 202, 205 }, { 201, 202, 203, 204 }, { 201, 204, 205 }, { 203, 204, 205 } ], [ { 195, 207, 208 }, { 206, 207, 208 }, { 195, 206, 208 }, { 195, 206, 207 } ], [ { 195, 207, 210 }, { 207, 209, 210 }, { 195, 209, 210 }, { 195, 207, 209 } ], [ { 207, 209, 211 }, { 206, 207, 211 }, { 206, 209, 211 }, { 206, 207, 209 } ], [ { 213, 214, 215 }, { 212, 214, 215 }, { 212, 213, 215 }, { 212, 213, 214 } ], [ { 213, 216, 217 }, { 212, 216, 217 }, { 212, 213, 217 }, { 212, 213, 216 } ], [ { 219, 220, 221 }, { 218, 220, 221 }, { 218, 219, 221 }, { 218, 219, 220 } ], [ { 219, 222, 223 }, { 218, 222, 223 }, { 218, 219, 223 }, { 218, 219, 222 } ], [ { 225, 226, 227 }, { 224, 226, 227 }, { 224, 225, 227 }, { 224, 225, 226 } ], [ { 229, 230, 231 }, { 228, 230, 231 }, { 228, 229, 231 }, { 228, 229, 230 } ], [ { 233, 234, 235 }, { 232, 234, 235 }, { 232, 233, 235 }, { 232, 233, 234 } ], [ { 18, 20, 236 }, { 17, 18, 20 }, { 17, 20, 236 }, { 17, 18, 236 } ], [ { 232, 238, 239 }, { 237, 238, 239 }, { 232, 237, 239 }, { 232, 237, 238 } ], [ { 22, 238, 241 }, { 238, 240, 241 }, { 22, 240, 241 }, { 22, 238, 240 } ], [ { 232, 243, 244 }, { 242, 243, 244 }, { 232, 242, 244 }, { 232, 242, 243 } ], [ { 22, 23, 245 }, { 18, 23, 245 }, { 18, 22, 23 }, { 18, 22, 245 } ], [ { 25, 26, 246 }, { 24, 26, 246 }, { 24, 25, 246 }, { 24, 25, 26 } ], [ { 28, 30, 247 }, { 24, 30, 247 }, { 24, 28, 247 }, { 24, 28, 30 } ], [ { 249, 250, 251 }, { 248, 250, 251 }, { 248, 249, 251 }, { 248, 249, 250 } ], [ { 250, 251, 252, 253 }, { 249, 252, 253 }, { 249, 250, 252 }, { 249, 251, 253 }, { 249, 250, 251 } ], [ { 249, 253, 254 }, { 249, 252, 253 }, { 252, 253, 254 }, { 249, 252, 254 } ], [ { 253, 254, 255 }, { 252, 253, 255 }, { 252, 253, 254 }, { 252, 254, 255 } ], [ { 246, 254, 255 }, { 246, 255, 256 }, { 246, 254, 256 }, { 254, 255, 256 } ], [ { 246, 257, 258 }, { 25, 246, 258 }, { 25, 246, 257 }, { 25, 257, 258 } ], [ { 259, 261, 262, 263 }, { 259, 260, 262 }, { 259, 260, 261 }, { 260, 262, 263 }, { 260, 261, 263 } ], [ { 264, 265, 266 }, { 18, 265, 266 }, { 18, 264, 266 }, { 18, 264, 265 } ], [ { 254, 267, 268 }, { 259, 267, 268 }, { 254, 259, 268 }, { 254, 259, 267 } ], [ { 254, 266, 267 }, { 266, 267, 269 }, { 254, 266, 269 }, { 254, 267, 269 } ], [ { 18, 31, 266 }, { 17, 31, 266 }, { 17, 18, 266 }, { 17, 18, 31 } ], [ { 32, 34, 260 }, { 17, 34, 260 }, { 17, 32, 260 }, { 17, 32, 34 } ], [ { 34, 260, 271 }, { 34, 260, 270 }, { 260, 270, 271 }, { 34, 270, 271 } ], [ { 17, 34, 273 }, { 34, 272, 273, 274 }, { 17, 272, 273, 275 }, { 17, 34, 274, 275 }, { 272, 274, 275 } ], [ { 277, 278, 279 }, { 276, 278, 279 }, { 276, 277, 279 }, { 276, 277, 278 } ], [ { 281, 282, 283 }, { 280, 282, 283 }, { 280, 281, 283 }, { 280, 281, 282 } ], [ { 285, 286, 287 }, { 284, 286, 287 }, { 284, 285, 287 }, { 284, 285, 286 } ], [ { 289, 290, 291 }, { 288, 290, 291 }, { 288, 289, 291 }, { 288, 289, 290 } ], [ { 293, 294, 295 }, { 292, 294, 295 }, { 292, 293, 295 }, { 292, 293, 294 } ], [ { 297, 298, 300 }, { 296, 297, 300, 301 }, { 296, 297, 298, 299 }, { 298, 299, 300, 301 }, { 296, 299, 301 } ], [ { 302, 304, 305, 306, 309, 310 }, { 302, 303, 304 }, { 303, 304, 306, 308 }, { 302, 303, 307, 309 }, { 303, 307, 308 }, { 305, 307, 308, 310 }, { 305, 307, 309 }, { 306, 308, 310 } ], [ { 312, 313, 314 }, { 311, 313, 314 }, { 311, 312, 314 }, { 311, 312, 313 } ], [ { 313, 315, 316 }, { 311, 313, 316 }, { 311, 315, 316 }, { 311, 313, 315 } ], [ { 315, 316, 317 }, { 311, 315, 316 }, { 311, 316, 317 }, { 311, 315, 317 } ], [ { 319, 320, 321 }, { 318, 320, 321 }, { 318, 319, 321 }, { 318, 319, 320 } ], [ { 323, 324, 325 }, { 322, 324, 325 }, { 322, 323, 325 }, { 322, 323, 324 } ], [ { 324, 327, 328 }, { 326, 327, 328, 329 }, { 324, 326, 327 }, { 324, 326, 329 }, { 324, 328, 329 } ], [ { 331, 332, 333 }, { 330, 332, 333 }, { 330, 331, 333 }, { 330, 331, 332 } ], [ { 335, 336, 337 }, { 334, 336, 337 }, { 334, 335, 337 }, { 334, 335, 336 } ], [ { 334, 339, 340 }, { 338, 339, 340 }, { 334, 338, 340 }, { 334, 338, 339 } ], [ { 340, 341, 342 }, { 338, 340, 342 }, { 338, 341, 342 }, { 338, 340, 341 } ], [ { 336, 337, 340 }, { 334, 337, 340 }, { 334, 336, 340 }, { 334, 336, 337 } ], [ { 337, 340, 343 }, { 340, 341, 343 }, { 337, 341, 343 }, { 337, 340, 341 } ], [ { 325, 344, 345 }, { 322, 325, 345 }, { 322, 344, 345 }, { 322, 325, 344 } ], [ { 311, 347, 348 }, { 311, 346, 348 }, { 346, 347, 348 }, { 311, 346, 347 } ], [ { 334, 350, 351 }, { 349, 350, 351 }, { 334, 349, 351 }, { 334, 349, 350 } ], [ { 353, 354, 355 }, { 352, 354, 355 }, { 352, 353, 355 }, { 352, 353, 354 } ], [ { 356, 357, 358 }, { 352, 357, 358 }, { 352, 356, 358 }, { 352, 356, 357 } ], [ { 353, 360, 361 }, { 359, 360, 361 }, { 353, 359, 361 }, { 353, 359, 360 } ], [ { 312, 363, 364 }, { 312, 362, 364 }, { 362, 363, 364 }, { 312, 362, 363 } ], [ { 366, 367, 368 }, { 365, 367, 368 }, { 365, 366, 368 }, { 365, 366, 367 } ], [ { 369, 370, 371 }, { 365, 370, 371 }, { 365, 369, 371 }, { 365, 369, 370 } ], [ { 372, 373, 374 }, { 369, 373, 374 }, { 369, 372, 374 }, { 369, 372, 373 } ], [ { 375, 376, 377 }, { 338, 376, 377 }, { 338, 375, 377 }, { 338, 375, 376 } ], [ { 35, 37, 38 }, { 37, 38, 378 }, { 35, 38, 378 }, { 35, 37, 378 } ], [ { 35, 37, 380 }, { 37, 379, 380 }, { 35, 379, 380 }, { 35, 37, 379 } ], [ { 382, 383, 384 }, { 381, 383, 384 }, { 381, 382, 384 }, { 381, 382, 383 } ], [ { 382, 386, 387 }, { 385, 386, 387 }, { 382, 385, 387 }, { 382, 385, 386 } ], [ { 387, 389, 390 }, { 388, 389, 390 }, { 387, 388, 390 }, { 387, 388, 389 } ], [ { 382, 386, 387 }, { 386, 387, 391 }, { 382, 387, 391 }, { 382, 386, 391 } ], [ { 393, 394, 395 }, { 392, 394, 395 }, { 392, 393, 395 }, { 392, 393, 394 } ], [ { 388, 396, 397 }, { 388, 392, 397 }, { 392, 396, 397 }, { 388, 392, 396 } ], [ { 388, 397, 399 }, { 388, 397, 398 }, { 397, 398, 399 }, { 388, 398, 399 } ], [ { 382, 388, 400 }, { 388, 391, 400 }, { 382, 391, 400 }, { 382, 388, 391 } ], [ { 402, 403, 404 }, { 401, 403, 404 }, { 401, 402, 404 }, { 401, 402, 403 } ], [ { 401, 406, 407 }, { 405, 406, 407 }, { 401, 405, 407 }, { 401, 405, 406 } ], [ { 409, 410, 411 }, { 408, 410, 411 }, { 408, 409, 411 }, { 408, 409, 410 } ], [ { 413, 414, 415 }, { 412, 414, 415 }, { 412, 413, 415 }, { 412, 413, 414 } ], [ { 405, 416, 417 }, { 412, 416, 417 }, { 405, 412, 417 }, { 405, 412, 416 } ], [ { 406, 417, 418 }, { 405, 417, 418 }, { 405, 406, 418 }, { 405, 406, 417 } ], [ { 40, 41, 42 }, { 41, 42, 419 }, { 40, 42, 419 }, { 40, 41, 419 } ], [ { 413, 419, 420 }, { 412, 419, 420 }, { 412, 413, 420 }, { 412, 413, 419 } ], [ { 422, 423, 424 }, { 421, 423, 424 }, { 421, 422, 424 }, { 421, 422, 423 } ], [ { 423, 424, 426 }, { 424, 425, 426 }, { 423, 425, 426 }, { 423, 424, 425 } ], [ { 40, 428, 429 }, { 427, 428, 429 }, { 40, 427, 429 }, { 40, 427, 428 } ], [ { 422, 423, 430 }, { 421, 423, 430 }, { 421, 422, 430 }, { 421, 422, 423 } ], [ { 432, 433, 434 }, { 431, 433, 434 }, { 431, 432, 434 }, { 431, 432, 433 } ], [ { 433, 436, 437 }, { 433, 435, 437 }, { 435, 436, 437 }, { 433, 435, 436 } ], [ { 436, 439, 440 }, { 438, 439, 440 }, { 436, 438, 440 }, { 436, 438, 439 } ], [ { 45, 46, 55 }, { 44, 46, 55 }, { 44, 45, 55 }, { 44, 45, 46 } ], [ { 441, 442, 443 }, { 44, 442, 443 }, { 44, 441, 443 }, { 44, 441, 442 } ], [ { 44, 45, 443 }, { 43, 45, 443 }, { 43, 44, 443 }, { 43, 44, 45 } ], [ { 47, 48, 444 }, { 48, 58, 444 }, { 47, 58, 444 }, { 47, 48, 58 } ], [ { 48, 50, 445 }, { 47, 50, 445 }, { 47, 48, 50 }, { 47, 48, 445 } ], [ { 47, 445, 447 }, { 445, 446, 447 }, { 47, 446, 447 }, { 47, 445, 446 } ], [ { 48, 445, 449 }, { 445, 448, 449 }, { 48, 448, 449 }, { 48, 445, 448 } ], [ { 51, 451, 452 }, { 51, 450, 452 }, { 51, 450, 451 }, { 450, 451, 452 } ], [ { 51, 52, 53 }, { 52, 53, 450 }, { 51, 53, 450 }, { 51, 52, 450 } ], [ { 45, 51, 53 }, { 51, 53, 453 }, { 45, 53, 453 }, { 45, 51, 453 } ], [ { 446, 455, 456 }, { 454, 455, 456, 457 }, { 446, 454, 455 }, { 446, 454, 457 }, { 446, 456, 457 } ], [ { 455, 459, 460, 462 }, { 455, 458, 460 }, { 455, 458, 459, 461 }, { 458, 460, 461, 462 }, { 459, 461, 462 } ], [ { 55, 56, 463 }, { 45, 55, 56 }, { 45, 56, 463 }, { 45, 55, 463 } ], [ { 57, 464, 465 }, { 45, 57, 465 }, { 45, 464, 465 }, { 45, 57, 464 } ], [ { 56, 57, 463 }, { 45, 56, 57 }, { 45, 56, 463 }, { 45, 57, 463 } ], [ { 60, 62, 466 }, { 58, 60, 62 }, { 58, 62, 466 }, { 58, 60, 466 } ], [ { 60, 61, 466 }, { 58, 60, 61 }, { 58, 61, 466 }, { 58, 60, 466 } ], [ { 61, 464, 467 }, { 58, 61, 467 }, { 58, 464, 467 }, { 58, 61, 464 } ], [ { 59, 62, 63 }, { 58, 62, 63 }, { 58, 59, 62 }, { 58, 59, 63 } ], [ { 63, 64, 468 }, { 58, 64, 468 }, { 58, 63, 64 }, { 58, 63, 468 } ], [ { 455, 456, 469 }, { 446, 456, 469 }, { 446, 455, 469 }, { 446, 455, 456 } ], [ { 471, 472, 473 }, { 470, 472, 473 }, { 470, 471, 473 }, { 470, 471, 472 } ], [ { 472, 473, 475 }, { 472, 473, 474 }, { 473, 474, 475 }, { 472, 474, 475 } ], [ { 469, 476, 477 }, { 455, 469, 477 }, { 455, 469, 476 }, { 455, 476, 477 } ], [ { 479, 480, 481 }, { 478, 480, 481 }, { 478, 479, 481 }, { 478, 479, 480 } ], [ { 479, 482, 483 }, { 478, 481, 482, 483 }, { 478, 479, 482 }, { 478, 479, 481 }, { 479, 481, 483 } ], [ { 484, 485, 486 }, { 65, 485, 486 }, { 65, 484, 486 }, { 65, 484, 485 } ], [ { 485, 487, 488 }, { 65, 487, 488 }, { 65, 485, 488 }, { 65, 485, 487 } ], [ { 485, 487, 490 }, { 485, 487, 489 }, { 487, 489, 490 }, { 485, 489, 490 } ], [ { 67, 68, 491 }, { 65, 68, 491 }, { 65, 67, 68 }, { 65, 67, 491 } ], [ { 66, 67, 492 }, { 65, 67, 492 }, { 65, 66, 492 }, { 65, 66, 67 } ], [ { 474, 494, 495 }, { 493, 494, 495 }, { 474, 493, 495 }, { 474, 493, 494 } ], [ { 492, 495, 496 }, { 474, 495, 496 }, { 474, 492, 496 }, { 474, 492, 495 } ], [ { 492, 496, 497 }, { 474, 496, 497 }, { 474, 492, 496 }, { 474, 492, 497 } ], [ { 487, 490, 498 }, { 487, 489, 498 }, { 487, 489, 490 }, { 489, 490, 498 } ], [ { 487, 498, 499 }, { 65, 487, 499 }, { 65, 498, 499 }, { 65, 487, 498 } ], [ { 482, 500, 501 }, { 455, 500, 501 }, { 455, 482, 501 }, { 455, 482, 500 } ], [ { 500, 502, 503 }, { 482, 500, 503 }, { 482, 502, 503 }, { 482, 500, 502 } ], [ { 455, 501, 505 }, { 501, 504, 505 }, { 455, 504, 505, 506 }, { 455, 501, 506 }, { 501, 504, 506 } ], [ { 72, 500, 507 }, { 72, 502, 507 }, { 500, 502, 507 }, { 72, 500, 502 } ], [ { 70, 71, 72 }, { 71, 72, 508 }, { 70, 72, 508 }, { 70, 71, 508 } ], [ { 510, 511, 512 }, { 509, 511, 512 }, { 509, 510, 512 }, { 509, 510, 511 } ], [ { 71, 72, 511 }, { 72, 509, 511 }, { 71, 72, 509 }, { 71, 509, 511 } ], [ { 514, 515, 516 }, { 513, 515, 516 }, { 513, 514, 516 }, { 513, 514, 515 } ], [ { 513, 518, 519 }, { 513, 517, 519 }, { 517, 518, 519 }, { 513, 517, 518 } ], [ { 518, 520, 521 }, { 517, 520, 521 }, { 517, 518, 521 }, { 517, 518, 520 } ], [ { 76, 77, 522 }, { 74, 76, 77 }, { 74, 77, 522 }, { 74, 76, 522 } ], [ { 77, 518, 523 }, { 77, 522, 523 }, { 77, 518, 522 }, { 518, 522, 523 } ], [ { 518, 524, 525 }, { 74, 524, 525 }, { 74, 518, 525 }, { 74, 518, 524 } ], [ { 76, 522, 526 }, { 74, 76, 526 }, { 74, 76, 522 }, { 74, 522, 526 } ], [ { 522, 528, 529 }, { 527, 528, 529 }, { 522, 527, 529 }, { 522, 527, 528 } ], [ { 522, 529, 530 }, { 527, 529, 530 }, { 522, 527, 529 }, { 522, 527, 530 } ], [ { 505, 532, 533 }, { 505, 531, 533 }, { 531, 532, 533 }, { 505, 531, 532 } ], [ { 505, 533, 534 }, { 455, 505, 533 }, { 455, 505, 534, 535 }, { 455, 533, 535 }, { 533, 534, 535 } ], [ { 526, 533, 536 }, { 455, 526, 533 }, { 455, 533, 536 }, { 455, 526, 536 } ], [ { 532, 533, 536 }, { 531, 532, 533 }, { 526, 531, 532, 536 }, { 526, 531, 533 }, { 526, 533, 536 } ], [ { 78, 80, 81 }, { 80, 81, 537 }, { 78, 81, 537 }, { 78, 80, 537 } ], [ { 81, 82, 538 }, { 78, 81, 82 }, { 78, 81, 538 }, { 78, 82, 538 } ], [ { 81, 538, 539 }, { 81, 537, 539 }, { 537, 538, 539 }, { 81, 537, 538 } ], [ { 138, 139, 515 }, { 139, 515, 540 }, { 138, 515, 540 }, { 138, 139, 540 } ], [ { 139, 515, 516 }, { 513, 515, 516 }, { 139, 513, 516 }, { 139, 513, 515 } ], [ { 139, 513, 541 }, { 139, 140, 541 }, { 140, 513, 541 }, { 139, 140, 513 } ], [ { 520, 542, 543 }, { 513, 520, 543 }, { 513, 542, 543 }, { 513, 520, 542 } ], [ { 84, 85, 545 }, { 84, 85, 544 }, { 85, 544, 545 }, { 84, 544, 545 } ], [ { 83, 84, 85 }, { 84, 85, 544 }, { 83, 85, 544 }, { 83, 84, 544 } ], [ { 88, 545, 546 }, { 87, 88, 546 }, { 87, 88, 545 }, { 87, 545, 546 } ], [ { 88, 90, 546 }, { 87, 88, 90 }, { 87, 90, 546 }, { 87, 88, 546 } ], [ { 548, 549, 550 }, { 547, 549, 550 }, { 547, 548, 550 }, { 547, 548, 549 } ], [ { 92, 93, 551 }, { 91, 92, 93 }, { 91, 93, 551 }, { 91, 92, 551 } ], [ { 553, 554, 555 }, { 552, 554, 555 }, { 552, 553, 555 }, { 552, 553, 554 } ], [ { 96, 97, 556 }, { 95, 96, 97 }, { 95, 97, 556 }, { 95, 96, 556 } ], [ { 3, 100, 110 }, { 3, 99, 100 }, { 3, 99, 110 }, { 99, 100, 110 } ], [ { 2, 3, 102 }, { 3, 100, 102 }, { 2, 3, 100 }, { 2, 100, 102 } ], [ { 2, 102, 558 }, { 102, 557, 558 }, { 2, 102, 557 }, { 2, 557, 558 } ], [ { 6, 7, 104 }, { 7, 103, 104 }, { 6, 7, 103 }, { 6, 103, 104 } ], [ { 104, 559, 560 }, { 100, 104, 560 }, { 100, 104, 559 }, { 100, 559, 560 } ], [ { 106, 560, 561 }, { 100, 560, 561 }, { 100, 106, 561 }, { 100, 106, 560 } ], [ { 11, 105, 106 }, { 9, 11, 106 }, { 9, 105, 106 }, { 9, 11, 105 } ], [ { 100, 108, 109 }, { 108, 109, 110 }, { 100, 109, 110 }, { 100, 108, 110 } ], [ { 109, 111, 117 }, { 109, 110, 117 }, { 110, 111, 117 }, { 109, 110, 111 } ], [ { 109, 112, 117 }, { 100, 109, 117 }, { 100, 112, 117 }, { 100, 109, 112 } ], [ { 100, 115, 120 }, { 113, 115, 120 }, { 100, 113, 120 }, { 100, 113, 115 } ], [ { 115, 116, 117 }, { 113, 116, 117 }, { 113, 115, 116 }, { 113, 115, 117 } ], [ { 112, 115, 117 }, { 100, 115, 117 }, { 100, 112, 117 }, { 100, 112, 115 } ], [ { 100, 119, 120 }, { 113, 119, 120 }, { 100, 113, 120 }, { 100, 113, 119 } ], [ { 119, 123, 124 }, { 113, 119, 124 }, { 113, 123, 124 }, { 113, 119, 123 } ], [ { 119, 122, 123 }, { 100, 119, 122 }, { 100, 122, 123 }, { 100, 119, 123 } ], [ { 15, 562, 563 }, { 15, 127, 563 }, { 127, 562, 563 }, { 15, 127, 562 } ], [ { 14, 123, 126 }, { 14, 100, 126 }, { 14, 100, 123 }, { 100, 123, 126 } ], [ { 14, 15, 100 }, { 14, 15, 127 }, { 15, 100, 127 }, { 14, 100, 127 } ], [ { 145, 149, 564 }, { 145, 392, 564 }, { 149, 392, 564 }, { 145, 149, 392 } ], [ { 148, 149, 395 }, { 149, 365, 395 }, { 148, 365, 395 }, { 148, 149, 365 } ], [ { 149, 394, 395 }, { 149, 392, 395 }, { 392, 394, 395 }, { 149, 392, 394 } ], [ { 399, 565, 566 }, { 392, 399, 566 }, { 392, 565, 566 }, { 392, 399, 565 } ], [ { 129, 131, 132 }, { 128, 129, 131 }, { 128, 131, 132 }, { 128, 129, 132 } ], [ { 132, 567, 568 }, { 128, 567, 568 }, { 128, 132, 568 }, { 128, 132, 567 } ], [ { 132, 133, 567 }, { 133, 567, 569 }, { 132, 133, 569 }, { 132, 567, 569 } ], [ { 129, 570, 571 }, { 129, 132, 571 }, { 132, 570, 571 }, { 129, 132, 570 } ], [ { 133, 134, 571 }, { 132, 134, 571 }, { 132, 133, 571 }, { 132, 133, 134 } ], [ { 133, 571, 572 }, { 570, 571, 572 }, { 133, 570, 572 }, { 133, 570, 571 } ], [ { 137, 138, 139 }, { 138, 139, 540 }, { 137, 139, 540 }, { 137, 138, 540 } ], [ { 133, 570, 572 }, { 133, 140, 572 }, { 140, 570, 572 }, { 133, 140, 570 } ], [ { 133, 139, 142 }, { 139, 140, 142 }, { 133, 140, 142 }, { 133, 139, 140 } ], [ { 574, 575, 576 }, { 573, 575, 576 }, { 573, 574, 576 }, { 573, 574, 575 } ], [ { 574, 577, 578 }, { 573, 577, 578 }, { 573, 574, 578 }, { 573, 574, 577 } ], [ { 578, 579, 580 }, { 574, 579, 580 }, { 574, 578, 580 }, { 574, 578, 579 } ], [ { 143, 582, 583 }, { 581, 582, 583 }, { 143, 581, 583 }, { 143, 581, 582 } ], [ { 143, 145, 585 }, { 143, 145, 584 }, { 145, 584, 585 }, { 143, 584, 585 } ], [ { 145, 146, 149 }, { 143, 145, 146 }, { 143, 146, 149 }, { 143, 145, 149 } ], [ { 147, 148, 149 }, { 148, 149, 365 }, { 147, 149, 365 }, { 147, 148, 365 } ], [ { 143, 585, 586 }, { 143, 584, 586 }, { 584, 585, 586 }, { 143, 584, 585 } ], [ { 151, 152, 586 }, { 143, 152, 586 }, { 143, 151, 586 }, { 143, 151, 152 } ], [ { 152, 157, 586 }, { 157, 584, 586 }, { 152, 157, 584 }, { 152, 584, 586 } ], [ { 152, 156, 157 }, { 152, 155, 157 }, { 155, 156, 157 }, { 152, 155, 156 } ], [ { 152, 582, 587 }, { 143, 582, 587 }, { 143, 152, 587 }, { 143, 152, 582 } ], [ { 152, 582, 588 }, { 155, 582, 588 }, { 152, 155, 582 }, { 152, 155, 588 } ], [ { 159, 161, 589 }, { 158, 161, 589 }, { 158, 159, 161, 162 }, { 159, 162, 589 }, { 158, 162, 589 } ], [ { 160, 163, 164 }, { 158, 160, 164 }, { 158, 161, 163, 164 }, { 158, 160, 161 }, { 160, 161, 163 } ], [ { 591, 592, 593 }, { 590, 592, 593 }, { 590, 591, 593 }, { 590, 591, 592 } ], [ { 595, 596, 597 }, { 594, 596, 597 }, { 594, 595, 597 }, { 594, 595, 596 } ], [ { 164, 165, 598 }, { 163, 165, 598 }, { 163, 164, 165 }, { 163, 164, 598 } ], [ { 594, 596, 600 }, { 594, 596, 599 }, { 596, 599, 600 }, { 594, 599, 600 } ], [ { 594, 601, 602 }, { 599, 601, 602 }, { 594, 599, 602 }, { 594, 599, 601 } ], [ { 168, 169, 171 }, { 167, 169, 171 }, { 167, 168, 169 }, { 167, 168, 171 } ], [ { 168, 171, 173 }, { 170, 171, 173 }, { 168, 170, 173 }, { 168, 170, 171 } ], [ { 168, 603, 604 }, { 167, 168, 604 }, { 167, 603, 604 }, { 167, 168, 603 } ], [ { 168, 170, 176 }, { 168, 174, 176 }, { 170, 174, 176 }, { 168, 170, 174 } ], [ { 605, 606, 607 }, { 174, 606, 607 }, { 174, 605, 607 }, { 174, 605, 606 } ], [ { 185, 609, 610 }, { 185, 608, 610 }, { 608, 609, 610 }, { 185, 608, 609 } ], [ { 170, 607, 611 }, { 174, 607, 611 }, { 170, 174, 611 }, { 170, 174, 607 } ], [ { 607, 609, 613 }, { 607, 609, 611, 612 }, { 609, 612, 613 }, { 611, 612, 613 }, { 607, 611, 613 } ], [ { 178, 185, 612 }, { 185, 609, 612 }, { 178, 185, 609 }, { 178, 609, 612 } ], [ { 178, 179, 180 }, { 179, 180, 614 }, { 178, 180, 614 }, { 178, 179, 614 } ], [ { 178, 180, 615 }, { 177, 180, 615 }, { 177, 178, 615 }, { 177, 178, 180 } ], [ { 170, 182, 183 }, { 182, 183, 616 }, { 170, 183, 616 }, { 170, 182, 616 } ], [ { 170, 181, 183 }, { 181, 183, 614 }, { 170, 183, 614 }, { 170, 181, 614 } ], [ { 178, 615, 618 }, { 615, 617, 618 }, { 178, 617, 618 }, { 178, 615, 617 } ], [ { 170, 618, 619 }, { 616, 618, 619 }, { 170, 616, 618 }, { 170, 616, 619 } ], [ { 184, 188, 621 }, { 188, 620, 621 }, { 184, 620, 621 }, { 184, 188, 620 } ], [ { 178, 185, 186 }, { 184, 185, 186 }, { 178, 184, 186 }, { 178, 184, 185 } ], [ { 184, 188, 189 }, { 188, 189, 192 }, { 184, 189, 192 }, { 184, 188, 192 } ], [ { 178, 184, 193 }, { 178, 192, 193 }, { 184, 192, 193 }, { 178, 184, 192 } ], [ { 229, 623, 624 }, { 229, 622, 624 }, { 622, 623, 624 }, { 229, 622, 623 } ], [ { 229, 626, 627 }, { 625, 626, 627 }, { 229, 625, 627 }, { 229, 625, 626 } ], [ { 626, 628, 629 }, { 225, 626, 629 }, { 225, 628, 629 }, { 225, 626, 628 } ], [ { 229, 626, 630 }, { 225, 626, 630 }, { 225, 229, 630 }, { 225, 229, 626 } ], [ { 631, 632, 633 }, { 225, 632, 633 }, { 225, 631, 633 }, { 225, 631, 632 } ], [ { 195, 196, 198 }, { 194, 195, 196 }, { 194, 196, 198 }, { 194, 195, 198 } ], [ { 198, 200, 634 }, { 194, 200, 634 }, { 194, 198, 634 }, { 194, 198, 200 } ], [ { 195, 198, 635, 637 }, { 198, 206, 635, 636 }, { 195, 198, 206 }, { 195, 206, 636, 637 }, { 635, 636, 637 } ], [ { 201, 205, 634 }, { 194, 205, 634 }, { 194, 201, 205 }, { 194, 201, 634 } ], [ { 194, 201, 205 }, { 194, 205, 209 }, { 194, 201, 202, 209 }, { 202, 205, 209 }, { 201, 202, 205 } ], [ { 202, 205, 638 }, { 205, 209, 638 }, { 202, 205, 209 }, { 202, 209, 638 } ], [ { 195, 207, 209 }, { 195, 206, 207 }, { 206, 207, 209 }, { 195, 206, 209 } ], [ { 209, 211, 638 }, { 206, 211, 638 }, { 206, 209, 638 }, { 206, 209, 211 } ], [ { 213, 214, 216 }, { 212, 214, 216 }, { 212, 213, 216 }, { 212, 213, 214 } ], [ { 216, 639, 640 }, { 214, 216, 640 }, { 214, 639, 640 }, { 214, 216, 639 } ], [ { 219, 220, 222 }, { 218, 220, 222 }, { 218, 219, 222 }, { 218, 219, 220 } ], [ { 222, 639, 641 }, { 220, 222, 641 }, { 220, 222, 639 }, { 220, 639, 641 } ], [ { 642, 643, 644 }, { 232, 643, 644 }, { 232, 642, 644 }, { 232, 642, 643 } ], [ { 232, 643, 646 }, { 643, 645, 646 }, { 232, 645, 646 }, { 232, 643, 645 } ], [ { 644, 645, 647 }, { 228, 645, 647 }, { 226, 228, 644, 645 }, { 226, 644, 647 }, { 226, 228, 647 } ], [ { 228, 229, 230 }, { 225, 227, 229, 230 }, { 225, 226, 228, 229 }, { 226, 227, 228, 230 }, { 225, 226, 227 } ], [ { 233, 234, 648 }, { 232, 233, 234 }, { 232, 234, 648 }, { 232, 233, 648 } ], [ { 18, 236, 649 }, { 17, 18, 649 }, { 17, 236, 649 }, { 17, 18, 236 } ], [ { 18, 649, 650 }, { 232, 649, 650 }, { 18, 232, 649 }, { 18, 232, 650 } ], [ { 648, 651, 652 }, { 17, 651, 652 }, { 17, 648, 652 }, { 17, 648, 651 } ], [ { 232, 239, 653 }, { 237, 239, 653 }, { 232, 237, 239 }, { 232, 237, 653 } ], [ { 22, 238, 240 }, { 22, 232, 238 }, { 232, 238, 240 }, { 22, 232, 240 } ], [ { 22, 240, 241 }, { 22, 241, 653 }, { 240, 241, 653 }, { 22, 240, 653 } ], [ { 18, 243, 654 }, { 232, 243, 654 }, { 18, 232, 654 }, { 18, 232, 243 } ], [ { 22, 232, 243 }, { 22, 242, 243 }, { 22, 232, 242 }, { 232, 242, 243 } ], [ { 22, 243, 245 }, { 18, 22, 245 }, { 18, 243, 245 }, { 18, 22, 243 } ], [ { 656, 657, 658 }, { 655, 657, 658 }, { 655, 656, 658 }, { 655, 656, 657 } ], [ { 657, 659, 660 }, { 656, 659, 660 }, { 656, 657, 660 }, { 656, 657, 659 } ], [ { 657, 661, 662 }, { 24, 661, 662 }, { 24, 657, 662 }, { 24, 657, 661 } ], [ { 30, 659, 661 }, { 24, 30, 661 }, { 24, 659, 661 }, { 24, 30, 659 } ], [ { 659, 660, 661 }, { 657, 660, 661 }, { 657, 659, 660 }, { 657, 659, 661 } ], [ { 25, 246, 247 }, { 24, 246, 247 }, { 24, 25, 246 }, { 24, 25, 247 } ], [ { 30, 247, 659 }, { 24, 30, 247 }, { 24, 247, 659 }, { 24, 30, 659 } ], [ { 249, 252, 254 }, { 248, 249, 254 }, { 248, 250, 252, 254 }, { 249, 250, 252 }, { 248, 249, 250 } ], [ { 25, 246, 247 }, { 246, 247, 252 }, { 25, 246, 252 }, { 25, 247, 252 } ], [ { 246, 254, 255 }, { 246, 252, 255 }, { 246, 252, 254 }, { 252, 254, 255 } ], [ { 246, 254, 258 }, { 25, 246, 258 }, { 25, 246, 254 }, { 25, 254, 258 } ], [ { 254, 663, 664 }, { 18, 254, 664 }, { 18, 663, 664 }, { 18, 254, 663 } ], [ { 254, 665, 666 }, { 25, 665, 666 }, { 25, 254, 666 }, { 25, 254, 665 } ], [ { 260, 261, 271 }, { 259, 260, 261 }, { 259, 261, 271 }, { 259, 260, 271 } ], [ { 259, 260, 266 }, { 18, 260, 266 }, { 18, 259, 266 }, { 18, 259, 260 } ], [ { 254, 265, 266 }, { 18, 265, 266 }, { 18, 254, 266 }, { 18, 254, 265 } ], [ { 254, 266, 267 }, { 259, 266, 267 }, { 254, 259, 266 }, { 254, 259, 267 } ], [ { 668, 669, 670 }, { 667, 669, 670 }, { 667, 668, 670 }, { 667, 668, 669 } ], [ { 669, 670, 671 }, { 167, 670, 671 }, { 167, 669, 671 }, { 167, 669, 670 } ], [ { 672, 673, 674 }, { 167, 673, 674 }, { 167, 672, 674 }, { 167, 672, 673 } ], [ { 672, 673, 675, 677 }, { 672, 675, 676, 678, 679, 680 }, { 675, 677, 679 }, { 677, 678, 679, 681 }, { 673, 676, 680, 681 }, { 672, 673, 680 }, { 673, 677, 681 }, { 676, 678, 681 } ], [ { 675, 677, 683 }, { 677, 682, 683 }, { 675, 682, 683 }, { 675, 677, 682 } ], [ { 684, 685, 686 }, { 682, 685, 686 }, { 682, 684, 686 }, { 682, 684, 685 } ], [ { 648, 670, 687 }, { 667, 670, 687 }, { 648, 667, 687 }, { 648, 667, 670 } ], [ { 648, 688, 689 }, { 667, 688, 689 }, { 648, 667, 689 }, { 648, 667, 688 } ], [ { 271, 688, 690 }, { 271, 648, 690 }, { 648, 688, 690 }, { 271, 648, 688 } ], [ { 18, 260, 266 }, { 17, 260, 266 }, { 17, 18, 266 }, { 17, 18, 260 } ], [ { 34, 260, 271 }, { 17, 34, 260 }, { 17, 260, 271 }, { 17, 34, 271 } ], [ { 273, 648, 652 }, { 17, 273, 652 }, { 17, 648, 652 }, { 17, 273, 648 } ], [ { 34, 271, 273 }, { 17, 34, 273 }, { 17, 271, 273 }, { 17, 34, 271 } ], [ { 271, 273, 690 }, { 273, 648, 690 }, { 271, 648, 690 }, { 271, 273, 648 } ], [ { 692, 693, 694 }, { 691, 693, 694 }, { 691, 692, 694 }, { 691, 692, 693 } ], [ { 288, 696, 697 }, { 695, 696, 697 }, { 288, 695, 697 }, { 288, 695, 696 } ], [ { 277, 279, 698 }, { 276, 279, 698 }, { 276, 277, 279 }, { 276, 277, 698 } ], [ { 277, 698, 700 }, { 698, 699, 700 }, { 277, 699, 700 }, { 277, 698, 699 } ], [ { 276, 698, 702 }, { 698, 701, 702 }, { 276, 701, 702 }, { 276, 698, 701 } ], [ { 699, 703, 704 }, { 701, 703, 704 }, { 699, 701, 704 }, { 699, 701, 703 } ], [ { 281, 706, 707 }, { 705, 706, 707 }, { 281, 705, 707 }, { 281, 705, 706 } ], [ { 707, 708, 709 }, { 705, 707, 709 }, { 705, 708, 709 }, { 705, 707, 708 } ], [ { 280, 281, 282 }, { 281, 282, 705 }, { 280, 282, 705 }, { 280, 281, 705 } ], [ { 286, 710, 711, 713 }, { 289, 710, 711, 712 }, { 286, 289, 710 }, { 286, 289, 712, 713 }, { 711, 712, 713 } ], [ { 284, 286, 289, 291 }, { 286, 287, 288, 289 }, { 284, 287, 288, 291 }, { 288, 289, 291 }, { 284, 286, 287 } ], [ { 293, 715, 716 }, { 714, 715, 716 }, { 293, 714, 716 }, { 293, 714, 715 } ], [ { 716, 717, 718 }, { 714, 716, 718 }, { 714, 717, 718 }, { 714, 716, 717 } ], [ { 292, 293, 294 }, { 293, 294, 714 }, { 292, 294, 714 }, { 292, 293, 714 } ], [ { 296, 297, 298, 299 }, { 297, 298, 719, 720 }, { 296, 297, 719 }, { 296, 299, 719, 720 }, { 298, 299, 720 } ], [ { 302, 304, 721, 722, 723, 725 }, { 302, 303, 304 }, { 303, 304, 722, 724 }, { 722, 723, 724 }, { 721, 723, 724, 726 }, { 302, 303, 725, 726 }, { 303, 724, 726 }, { 721, 725, 726 } ], [ { 312, 313, 727 }, { 311, 313, 727 }, { 311, 312, 727 }, { 311, 312, 313 } ], [ { 313, 315, 727 }, { 311, 313, 727 }, { 311, 315, 727 }, { 311, 313, 315 } ], [ { 311, 315, 317 }, { 315, 317, 728 }, { 311, 315, 728 }, { 311, 317, 728 } ], [ { 315, 729, 730 }, { 728, 729, 730 }, { 315, 728, 730 }, { 315, 728, 729 } ], [ { 320, 321, 730 }, { 318, 320, 321 }, { 318, 321, 730 }, { 318, 320, 730 } ], [ { 320, 732, 733 }, { 731, 732, 733 }, { 320, 731, 733 }, { 320, 731, 732 } ], [ { 734, 735, 736 }, { 330, 735, 736 }, { 330, 734, 736 }, { 330, 734, 735 } ], [ { 324, 737, 738 }, { 322, 324, 738 }, { 322, 737, 738 }, { 322, 324, 737 } ], [ { 324, 325, 739 }, { 322, 325, 739 }, { 322, 324, 325 }, { 322, 324, 739 } ], [ { 324, 328, 739 }, { 328, 329, 737, 739 }, { 324, 737, 739 }, { 324, 328, 329 }, { 324, 329, 737 } ], [ { 325, 344, 739 }, { 322, 325, 739 }, { 322, 325, 344 }, { 322, 344, 739 } ], [ { 739, 740, 741 }, { 344, 739, 741 }, { 344, 740, 741 }, { 344, 739, 740 } ], [ { 737, 738, 742 }, { 322, 738, 742 }, { 322, 737, 738 }, { 322, 737, 742 } ], [ { 730, 742, 743 }, { 322, 730, 742 }, { 322, 742, 743 }, { 322, 730, 743 } ], [ { 730, 742, 744 }, { 737, 742, 744 }, { 730, 737, 744 }, { 730, 737, 742 } ], [ { 331, 333, 740 }, { 330, 331, 333 }, { 330, 333, 740 }, { 330, 331, 740 } ], [ { 335, 337, 745 }, { 334, 337, 745 }, { 334, 335, 337 }, { 334, 335, 745 } ], [ { 337, 740, 746 }, { 740, 745, 746 }, { 337, 745, 746 }, { 337, 740, 745 } ], [ { 334, 340, 341 }, { 338, 340, 341 }, { 334, 338, 340 }, { 334, 338, 341 } ], [ { 337, 340, 341 }, { 334, 337, 340 }, { 334, 340, 341 }, { 334, 337, 341 } ], [ { 344, 345, 740 }, { 322, 345, 740 }, { 322, 344, 345 }, { 322, 344, 740 } ], [ { 311, 346, 348 }, { 311, 348, 728 }, { 346, 348, 728 }, { 311, 346, 728 } ], [ { 334, 350, 745 }, { 349, 350, 745 }, { 334, 349, 350 }, { 334, 349, 745 } ], [ { 350, 745, 747, 748 }, { 330, 350, 745 }, { 330, 745, 747 }, { 330, 350, 748 }, { 330, 747, 748 } ], [ { 353, 355, 360 }, { 352, 355, 360 }, { 352, 353, 355 }, { 352, 353, 360 } ], [ { 356, 357, 360 }, { 352, 357, 360 }, { 352, 356, 357 }, { 352, 356, 360 } ], [ { 357, 360, 750 }, { 357, 360, 749 }, { 357, 749, 750 }, { 360, 749, 750 } ], [ { 353, 360, 751 }, { 359, 360, 751 }, { 353, 359, 360 }, { 353, 359, 751 } ], [ { 311, 364, 753 }, { 364, 752, 753 }, { 311, 752, 753 }, { 311, 364, 752 } ], [ { 364, 751, 754 }, { 364, 752, 754 }, { 364, 751, 752 }, { 751, 752, 754 } ], [ { 312, 363, 364 }, { 311, 312, 364 }, { 311, 363, 364 }, { 311, 312, 363 } ], [ { 363, 364, 755 }, { 364, 751, 755 }, { 363, 751, 755 }, { 363, 364, 751 } ], [ { 755, 756, 757 }, { 751, 755, 757 }, { 751, 756, 757 }, { 751, 755, 756 } ], [ { 755, 756, 758 }, { 363, 755, 758 }, { 363, 756, 758 }, { 363, 755, 756 } ], [ { 366, 368, 373 }, { 365, 368, 373 }, { 365, 366, 368 }, { 365, 366, 373 } ], [ { 366, 373, 760 }, { 373, 759, 760 }, { 366, 759, 760 }, { 366, 373, 759 } ], [ { 369, 371, 373 }, { 365, 371, 373 }, { 365, 369, 371 }, { 365, 369, 373 } ], [ { 369, 373, 374 }, { 373, 374, 761 }, { 369, 374, 761 }, { 369, 373, 761 } ], [ { 334, 376, 763 }, { 376, 762, 763 }, { 334, 762, 763 }, { 334, 376, 762 } ], [ { 376, 761, 763 }, { 376, 763, 764 }, { 761, 763, 764 }, { 376, 761, 764 } ], [ { 334, 375, 376 }, { 338, 375, 376 }, { 334, 338, 376 }, { 334, 338, 375 } ], [ { 375, 376, 765 }, { 376, 761, 765 }, { 375, 761, 765 }, { 375, 376, 761 } ], [ { 765, 766, 767 }, { 761, 765, 767 }, { 761, 765, 766 }, { 761, 766, 767 } ], [ { 765, 767, 768 }, { 375, 765, 768 }, { 375, 767, 768 }, { 375, 765, 767 } ], [ { 769, 770, 771 }, { 385, 770, 771 }, { 385, 769, 771 }, { 385, 769, 770 } ], [ { 35, 37, 380 }, { 37, 378, 380 }, { 35, 378, 380 }, { 35, 37, 378 } ], [ { 384, 770, 772 }, { 384, 385, 770 }, { 384, 385, 772 }, { 385, 770, 772 } ], [ { 382, 384, 773 }, { 384, 385, 773 }, { 382, 385, 773 }, { 382, 384, 385 } ], [ { 382, 383, 384 }, { 383, 384, 770 }, { 382, 384, 770 }, { 382, 383, 770 } ], [ { 385, 412, 775 }, { 412, 774, 775 }, { 385, 774, 775 }, { 385, 412, 774 } ], [ { 382, 385, 387 }, { 382, 387, 774 }, { 385, 387, 774 }, { 382, 385, 774 } ], [ { 387, 388, 389 }, { 387, 389, 774 }, { 388, 389, 774 }, { 387, 388, 774 } ], [ { 382, 387, 388 }, { 387, 388, 391 }, { 382, 387, 391 }, { 382, 388, 391 } ], [ { 392, 393, 395 }, { 365, 393, 395 }, { 365, 392, 395 }, { 365, 392, 393 } ], [ { 388, 397, 399 }, { 388, 392, 397 }, { 392, 397, 399 }, { 388, 392, 399 } ], [ { 382, 388, 400 }, { 388, 399, 400 }, { 382, 399, 400 }, { 382, 388, 399 } ], [ { 405, 416, 776 }, { 412, 416, 776 }, { 405, 412, 776 }, { 405, 412, 416 } ], [ { 402, 403, 406 }, { 401, 403, 406 }, { 401, 402, 403 }, { 401, 402, 406 } ], [ { 402, 404, 776 }, { 401, 404, 776 }, { 401, 402, 404 }, { 401, 402, 776 } ], [ { 401, 406, 776 }, { 405, 406, 776 }, { 401, 405, 776 }, { 401, 405, 406 } ], [ { 378, 411, 777 }, { 409, 411, 777 }, { 378, 409, 411 }, { 378, 409, 777 } ], [ { 409, 411, 778 }, { 408, 411, 778 }, { 408, 409, 411 }, { 408, 409, 778 } ], [ { 411, 778, 779 }, { 378, 411, 778 }, { 378, 411, 779 }, { 378, 778, 779 } ], [ { 403, 778, 780 }, { 378, 403, 780 }, { 378, 778, 780 }, { 378, 403, 778 } ], [ { 406, 781, 782 }, { 421, 781, 782 }, { 406, 421, 782 }, { 406, 421, 781 } ], [ { 40, 413, 414 }, { 40, 412, 414 }, { 412, 413, 414 }, { 40, 412, 413 } ], [ { 40, 414, 783 }, { 414, 427, 783 }, { 40, 427, 783 }, { 40, 414, 427 } ], [ { 412, 417, 785 }, { 417, 784, 785 }, { 412, 784, 785 }, { 412, 417, 784 } ], [ { 405, 406, 417 }, { 406, 412, 417 }, { 405, 412, 417 }, { 405, 406, 412 } ], [ { 412, 419, 420 }, { 419, 420, 784 }, { 412, 420, 784 }, { 412, 419, 784 } ], [ { 40, 42, 419 }, { 40, 42, 784 }, { 42, 419, 784 }, { 40, 419, 784 } ], [ { 40, 413, 419 }, { 40, 412, 419 }, { 40, 412, 413 }, { 412, 413, 419 } ], [ { 406, 417, 786 }, { 417, 784, 786 }, { 406, 784, 786 }, { 406, 417, 784 } ], [ { 40, 786, 787 }, { 784, 786, 787 }, { 40, 784, 786 }, { 40, 784, 787 } ], [ { 423, 424, 425 }, { 421, 423, 424 }, { 421, 424, 425 }, { 421, 423, 425 } ], [ { 423, 425, 788 }, { 423, 427, 788 }, { 425, 427, 788 }, { 423, 425, 427 } ], [ { 40, 423, 429 }, { 40, 427, 429 }, { 423, 427, 429 }, { 40, 423, 427 } ], [ { 406, 423, 430 }, { 406, 421, 430 }, { 421, 423, 430 }, { 406, 421, 423 } ], [ { 40, 430, 786 }, { 406, 430, 786 }, { 40, 406, 786 }, { 40, 406, 430 } ], [ { 433, 434, 436 }, { 431, 433, 434 }, { 431, 434, 436 }, { 431, 433, 436 } ], [ { 433, 436, 438 }, { 433, 435, 436 }, { 433, 435, 438 }, { 435, 436, 438 } ], [ { 436, 439, 789 }, { 438, 439, 789 }, { 436, 438, 789 }, { 436, 438, 439 } ], [ { 441, 790, 791 }, { 44, 441, 791 }, { 44, 790, 791 }, { 44, 441, 790 } ], [ { 45, 55, 790 }, { 44, 45, 55 }, { 44, 55, 790 }, { 44, 45, 790 } ], [ { 45, 441, 443 }, { 44, 45, 443 }, { 44, 441, 443 }, { 44, 45, 441 } ], [ { 51, 441, 451 }, { 51, 451, 459 }, { 51, 441, 459 }, { 441, 451, 459 } ], [ { 47, 48, 445 }, { 48, 58, 445 }, { 47, 58, 445 }, { 47, 48, 58 } ], [ { 47, 445, 455 }, { 47, 445, 446 }, { 445, 446, 455 }, { 47, 446, 455 } ], [ { 48, 445, 449 }, { 58, 445, 449 }, { 48, 58, 449 }, { 48, 58, 445 } ], [ { 45, 53, 792 }, { 45, 53, 450 }, { 53, 450, 792 }, { 45, 450, 792 } ], [ { 51, 451, 459 }, { 51, 450, 451 }, { 51, 450, 459 }, { 450, 451, 459 } ], [ { 45, 51, 53 }, { 51, 53, 450 }, { 45, 53, 450 }, { 45, 51, 450 } ], [ { 445, 446, 455 }, { 445, 454, 455 }, { 445, 446, 454 }, { 446, 454, 455 } ], [ { 455, 458, 459, 461 }, { 454, 455, 459, 793, 794, 795 }, { 454, 455, 458 }, { 454, 458, 795, 796 }, { 459, 461, 794 }, { 461, 793, 794, 796 }, { 458, 461, 796 }, { 793, 795, 796 } ], [ { 797, 798, 799 }, { 464, 798, 799 }, { 464, 797, 799 }, { 464, 797, 798 } ], [ { 464, 799, 800 }, { 58, 799, 800 }, { 58, 464, 799 }, { 58, 464, 800 } ], [ { 464, 798, 801 }, { 45, 798, 801 }, { 45, 464, 801 }, { 45, 464, 798 } ], [ { 45, 55, 463 }, { 55, 463, 790 }, { 45, 55, 790 }, { 45, 463, 790 } ], [ { 57, 463, 464 }, { 45, 57, 463 }, { 45, 57, 464 }, { 45, 463, 464 } ], [ { 62, 466, 493 }, { 58, 62, 493 }, { 58, 62, 466 }, { 58, 466, 493 } ], [ { 61, 464, 466 }, { 58, 61, 464 }, { 58, 61, 466 }, { 58, 464, 466 } ], [ { 62, 63, 493 }, { 58, 62, 63 }, { 58, 62, 493 }, { 58, 63, 493 } ], [ { 63, 468, 472 }, { 58, 468, 472 }, { 58, 63, 468 }, { 58, 63, 472 } ], [ { 63, 472, 802 }, { 63, 472, 493 }, { 472, 493, 802 }, { 63, 493, 802 } ], [ { 455, 469, 471 }, { 446, 469, 471 }, { 446, 455, 469 }, { 446, 455, 471 } ], [ { 47, 455, 472 }, { 47, 446, 472 }, { 47, 446, 455 }, { 446, 455, 472 } ], [ { 471, 472, 803 }, { 446, 472, 803 }, { 446, 471, 472 }, { 446, 471, 803 } ], [ { 472, 474, 802 }, { 472, 474, 493 }, { 472, 493, 802 }, { 474, 493, 802 } ], [ { 472, 473, 474 }, { 471, 472, 473 }, { 471, 473, 474 }, { 471, 472, 474 } ], [ { 469, 471, 477 }, { 455, 469, 477 }, { 455, 469, 471 }, { 455, 471, 477 } ], [ { 476, 477, 479 }, { 455, 477, 479 }, { 455, 476, 479 }, { 455, 476, 477 } ], [ { 477, 479, 804 }, { 471, 477, 479 }, { 471, 479, 804 }, { 471, 477, 804 } ], [ { 479, 482, 805 }, { 455, 479, 805 }, { 455, 479, 482 }, { 455, 482, 805 } ], [ { 471, 497, 502 }, { 478, 497, 502 }, { 471, 478, 497 }, { 471, 478, 502 } ], [ { 471, 479, 480 }, { 478, 479, 480 }, { 471, 478, 480 }, { 471, 478, 479 } ], [ { 478, 479, 502 }, { 479, 482, 502 }, { 478, 479, 482 }, { 478, 482, 502 } ], [ { 484, 485, 491 }, { 65, 484, 485 }, { 65, 485, 491 }, { 65, 484, 491 } ], [ { 485, 487, 490 }, { 65, 485, 487 }, { 65, 487, 490 }, { 65, 485, 490 } ], [ { 67, 491, 492 }, { 65, 491, 492 }, { 65, 67, 492 }, { 65, 67, 491 } ], [ { 492, 806, 807 }, { 502, 806, 807 }, { 492, 502, 807 }, { 492, 502, 806 } ], [ { 474, 492, 495 }, { 492, 493, 495 }, { 474, 493, 495 }, { 474, 492, 493 } ], [ { 492, 497, 502 }, { 474, 492, 497 }, { 474, 497, 502 }, { 474, 492, 502 } ], [ { 487, 490, 498 }, { 65, 487, 498 }, { 65, 487, 490 }, { 65, 490, 498 } ], [ { 498, 499, 538 }, { 65, 498, 499 }, { 65, 499, 538 }, { 65, 498, 538 } ], [ { 498, 538, 808 }, { 490, 498, 808 }, { 490, 538, 808 }, { 490, 498, 538 } ], [ { 511, 538, 809 }, { 65, 511, 809 }, { 65, 511, 538 }, { 65, 538, 809 } ], [ { 455, 500, 501 }, { 500, 501, 508 }, { 455, 501, 508 }, { 455, 500, 508 } ], [ { 482, 500, 502 }, { 455, 500, 502 }, { 455, 482, 500 }, { 455, 482, 502 } ], [ { 455, 501, 505 }, { 501, 505, 508 }, { 455, 505, 508 }, { 455, 501, 508 } ], [ { 72, 500, 502 }, { 72, 500, 508 }, { 72, 502, 508 }, { 500, 502, 508 } ], [ { 71, 72, 509 }, { 71, 72, 508 }, { 72, 508, 509 }, { 71, 508, 509 } ], [ { 509, 510, 511 }, { 510, 511, 538 }, { 509, 511, 538 }, { 509, 510, 538 } ], [ { 72, 509, 511 }, { 72, 502, 511 }, { 72, 502, 509 }, { 502, 509, 511 } ], [ { 513, 514, 515 }, { 514, 515, 540 }, { 513, 515, 540 }, { 513, 514, 540 } ], [ { 518, 520, 523 }, { 520, 522, 523 }, { 518, 520, 522 }, { 518, 522, 523 } ], [ { 513, 518, 520 }, { 513, 517, 520 }, { 517, 518, 520 }, { 513, 517, 518 } ], [ { 77, 518, 522 }, { 74, 77, 518 }, { 74, 77, 522 }, { 74, 518, 522 } ], [ { 518, 525, 810 }, { 74, 525, 810 }, { 74, 518, 525 }, { 74, 518, 810 } ], [ { 526, 536, 810 }, { 455, 526, 810 }, { 455, 536, 810 }, { 455, 526, 536 } ], [ { 522, 526, 810 }, { 74, 526, 810 }, { 74, 522, 810 }, { 74, 522, 526 } ], [ { 522, 527, 528 }, { 522, 528, 811 }, { 527, 528, 811 }, { 522, 527, 811 } ], [ { 526, 527, 812 }, { 526, 811, 812 }, { 527, 811, 812 }, { 526, 527, 811 } ], [ { 522, 526, 530 }, { 526, 527, 530 }, { 522, 527, 530 }, { 522, 526, 527 } ], [ { 526, 531, 533 }, { 455, 526, 533 }, { 455, 505, 526, 531 }, { 455, 505, 533 }, { 505, 531, 533 } ], [ { 78, 81, 538 }, { 81, 537, 538 }, { 78, 81, 537 }, { 78, 537, 538 } ], [ { 509, 538, 539 }, { 509, 537, 539 }, { 537, 538, 539 }, { 509, 537, 538 } ], [ { 526, 813, 814 }, { 526, 811, 814 }, { 811, 813, 814 }, { 526, 811, 813 } ], [ { 139, 513, 515 }, { 139, 515, 540 }, { 513, 515, 540 }, { 139, 513, 540 } ], [ { 139, 513, 570 }, { 139, 140, 513 }, { 139, 140, 570 }, { 140, 513, 570 } ], [ { 513, 520, 542 }, { 520, 542, 570 }, { 513, 520, 570 }, { 513, 542, 570 } ], [ { 84, 544, 545 }, { 84, 545, 815 }, { 84, 544, 815 }, { 544, 545, 815 } ], [ { 83, 84, 556 }, { 83, 84, 544 }, { 84, 544, 556 }, { 83, 544, 556 } ], [ { 88, 545, 546 }, { 88, 546, 815 }, { 88, 545, 815 }, { 545, 546, 815 } ], [ { 88, 90, 551 }, { 88, 90, 546 }, { 90, 546, 551 }, { 88, 546, 551 } ], [ { 84, 88, 816, 818, 819, 822 }, { 817, 818, 819 }, { 84, 817, 819, 820 }, { 84, 88, 820 }, { 88, 816, 820, 821 }, { 817, 818, 821, 822 }, { 817, 820, 821 }, { 816, 821, 822 } ], [ { 547, 548, 549 }, { 548, 549, 823 }, { 547, 549, 823 }, { 547, 548, 823 } ], [ { 92, 547, 551 }, { 91, 92, 551 }, { 91, 92, 547 }, { 91, 547, 551 } ], [ { 92, 547, 558 }, { 92, 558, 824 }, { 92, 547, 824 }, { 547, 558, 824 } ], [ { 92, 93, 558 }, { 92, 93, 551 }, { 93, 551, 558 }, { 92, 551, 558 } ], [ { 553, 554, 555 }, { 554, 555, 825 }, { 553, 555, 825 }, { 553, 554, 825 } ], [ { 96, 556, 562 }, { 95, 96, 562 }, { 95, 96, 556 }, { 95, 556, 562 } ], [ { 96, 97, 555 }, { 96, 97, 556 }, { 97, 555, 556 }, { 96, 555, 556 } ], [ { 96, 555, 826 }, { 96, 562, 826 }, { 96, 555, 562 }, { 555, 562, 826 } ], [ { 2, 3, 100 }, { 2, 3, 110 }, { 3, 100, 110 }, { 2, 100, 110 } ], [ { 2, 102, 558 }, { 100, 102, 558 }, { 2, 100, 102 }, { 2, 100, 558 } ], [ { 100, 104, 562 }, { 100, 104, 127 }, { 104, 127, 562 }, { 100, 127, 562 } ], [ { 6, 103, 104 }, { 6, 104, 562 }, { 103, 104, 562 }, { 6, 103, 562 } ], [ { 6, 104, 560 }, { 6, 100, 104 }, { 100, 104, 560 }, { 6, 100, 560 } ], [ { 100, 106, 560 }, { 9, 106, 560 }, { 9, 100, 560 }, { 9, 100, 106 } ], [ { 105, 106, 558 }, { 9, 105, 106 }, { 9, 106, 558 }, { 9, 105, 558 } ], [ { 102, 106, 558 }, { 100, 102, 106 }, { 100, 102, 558 }, { 100, 106, 558 } ], [ { 100, 109, 117 }, { 109, 110, 117 }, { 100, 110, 117 }, { 100, 109, 110 } ], [ { 100, 115, 117 }, { 113, 115, 117 }, { 100, 113, 117 }, { 100, 113, 115 } ], [ { 100, 119, 123 }, { 113, 119, 123 }, { 100, 113, 119 }, { 100, 113, 123 } ], [ { 123, 827, 828 }, { 123, 825, 828 }, { 825, 827, 828 }, { 123, 825, 827 } ], [ { 823, 829, 830 }, { 823, 825, 828, 830 }, { 823, 825, 829, 831 }, { 828, 829, 830, 831 }, { 825, 828, 831 } ], [ { 110, 830, 832 }, { 110, 823, 832 }, { 110, 823, 830 }, { 823, 830, 832 } ], [ { 123, 555, 833 }, { 123, 555, 825 }, { 123, 825, 833 }, { 555, 825, 833 } ], [ { 15, 100, 562 }, { 15, 100, 127 }, { 15, 127, 562 }, { 100, 127, 562 } ], [ { 15, 123, 555 }, { 15, 123, 562 }, { 15, 555, 562 }, { 123, 555, 562 } ], [ { 14, 15, 123 }, { 14, 15, 100 }, { 15, 100, 123 }, { 14, 100, 123 } ], [ { 145, 149, 392 }, { 145, 149, 584 }, { 145, 392, 584 }, { 149, 392, 584 } ], [ { 149, 392, 395 }, { 149, 365, 395 }, { 365, 392, 395 }, { 149, 365, 392 } ], [ { 392, 399, 565 }, { 399, 565, 584 }, { 392, 399, 584 }, { 392, 565, 584 } ], [ { 129, 132, 570 }, { 128, 129, 570 }, { 128, 129, 132 }, { 128, 132, 570 } ], [ { 132, 133, 567 }, { 128, 133, 567 }, { 128, 132, 133 }, { 128, 132, 567 } ], [ { 133, 570, 571 }, { 132, 133, 571 }, { 132, 570, 571 }, { 132, 133, 570 } ], [ { 133, 137, 139 }, { 133, 139, 540 }, { 137, 139, 540 }, { 133, 137, 540 } ], [ { 133, 139, 570 }, { 133, 139, 140 }, { 139, 140, 570 }, { 133, 140, 570 } ], [ { 573, 574, 577 }, { 128, 574, 577 }, { 128, 573, 577 }, { 128, 573, 574 } ], [ { 574, 575, 815 }, { 573, 574, 575 }, { 573, 575, 815 }, { 573, 574, 815 } ], [ { 574, 577, 578 }, { 128, 577, 578 }, { 128, 574, 578 }, { 128, 574, 577 } ], [ { 163, 578, 579 }, { 574, 578, 579 }, { 163, 574, 579 }, { 163, 574, 578 } ], [ { 143, 155, 582 }, { 155, 581, 582 }, { 143, 581, 582 }, { 143, 155, 581 } ], [ { 143, 583, 834 }, { 581, 583, 834 }, { 143, 581, 583 }, { 143, 581, 834 } ], [ { 143, 145, 149 }, { 145, 149, 584 }, { 143, 145, 584 }, { 143, 149, 584 } ], [ { 143, 147, 149 }, { 147, 149, 365 }, { 143, 149, 365 }, { 143, 147, 365 } ], [ { 143, 152, 586 }, { 152, 584, 586 }, { 143, 584, 586 }, { 143, 152, 584 } ], [ { 152, 155, 157 }, { 152, 157, 584 }, { 155, 157, 584 }, { 152, 155, 584 } ], [ { 152, 155, 582 }, { 143, 152, 582 }, { 143, 155, 582 }, { 143, 152, 155 } ], [ { 163, 589, 836 }, { 163, 589, 835 }, { 589, 835, 836 }, { 163, 835, 836 } ], [ { 163, 164, 589 }, { 158, 164, 589 }, { 158, 161, 163, 164 }, { 161, 163, 589 }, { 158, 161, 589 } ], [ { 164, 589, 591 }, { 164, 589, 835 }, { 589, 591, 835 }, { 164, 591, 835 } ], [ { 590, 591, 592 }, { 591, 592, 835 }, { 590, 592, 835 }, { 590, 591, 835 } ], [ { 164, 592, 593 }, { 591, 592, 593 }, { 164, 591, 593 }, { 164, 591, 592 } ], [ { 594, 595, 596 }, { 595, 596, 815 }, { 594, 596, 815 }, { 594, 595, 815 } ], [ { 155, 594, 596 }, { 594, 596, 600 }, { 155, 596, 600 }, { 155, 594, 600 } ], [ { 163, 574, 598 }, { 574, 594, 598 }, { 163, 164, 574, 594 }, { 163, 164, 598 }, { 164, 594, 598 } ], [ { 155, 594, 600 }, { 155, 594, 599 }, { 594, 599, 600 }, { 155, 599, 600 } ], [ { 164, 594, 602 }, { 164, 599, 602 }, { 594, 599, 602 }, { 164, 594, 599 } ], [ { 293, 838, 839 }, { 837, 838, 839 }, { 293, 837, 839 }, { 293, 837, 838 } ], [ { 838, 840, 841 }, { 837, 838, 841 }, { 837, 838, 840 }, { 837, 840, 841 } ], [ { 293, 838, 840 }, { 838, 840, 842 }, { 293, 838, 842 }, { 293, 840, 842 } ], [ { 293, 842, 843 }, { 293, 614, 843 }, { 614, 842, 843 }, { 293, 614, 842 } ], [ { 293, 840, 843 }, { 840, 842, 843 }, { 293, 842, 843 }, { 293, 840, 842 } ], [ { 844, 845, 846 }, { 837, 845, 846 }, { 837, 844, 846 }, { 837, 844, 845 } ], [ { 846, 847, 848 }, { 837, 846, 848 }, { 837, 846, 847 }, { 837, 847, 848 } ], [ { 846, 848, 849 }, { 844, 846, 849 }, { 844, 848, 849 }, { 844, 846, 848 } ], [ { 614, 849, 850 }, { 844, 849, 850 }, { 614, 844, 849 }, { 614, 844, 850 } ], [ { 848, 849, 850 }, { 844, 849, 850 }, { 844, 848, 849 }, { 844, 848, 850 } ], [ { 840, 843, 848, 850 }, { 614, 848, 850 }, { 614, 840, 848 }, { 614, 843, 850 }, { 614, 840, 843 } ], [ { 167, 170, 171 }, { 170, 171, 851 }, { 167, 171, 851 }, { 167, 170, 851 } ], [ { 168, 170, 171 }, { 167, 168, 171 }, { 167, 170, 171 }, { 167, 168, 170 } ], [ { 168, 603, 605 }, { 167, 168, 605 }, { 167, 603, 605 }, { 167, 168, 603 } ], [ { 168, 170, 605 }, { 168, 174, 605 }, { 170, 174, 605 }, { 168, 170, 174 } ], [ { 170, 605, 607 }, { 174, 605, 607 }, { 170, 174, 607 }, { 170, 174, 605 } ], [ { 178, 185, 609 }, { 178, 185, 608 }, { 185, 608, 609 }, { 178, 608, 609 } ], [ { 178, 609, 612 }, { 170, 178, 611, 612 }, { 170, 178, 607, 609 }, { 607, 609, 611, 612 }, { 170, 607, 611 } ], [ { 180, 183, 614 }, { 180, 183, 615, 616 }, { 183, 614, 616 }, { 614, 615, 616 }, { 180, 614, 615 } ], [ { 178, 180, 615 }, { 180, 614, 615 }, { 178, 614, 615 }, { 178, 180, 614 } ], [ { 170, 183, 614 }, { 170, 183, 616 }, { 183, 614, 616 }, { 170, 614, 616 } ], [ { 170, 178, 618 }, { 170, 616, 618 }, { 170, 178, 615, 616 }, { 615, 616, 618 }, { 178, 615, 618 } ], [ { 184, 188, 621 }, { 188, 608, 621 }, { 184, 608, 621 }, { 184, 188, 608 } ], [ { 178, 184, 185 }, { 178, 185, 608 }, { 184, 185, 608 }, { 178, 184, 608 } ], [ { 178, 184, 188 }, { 178, 188, 192 }, { 178, 184, 192 }, { 184, 188, 192 } ], [ { 178, 188, 852 }, { 178, 192, 852 }, { 188, 192, 852 }, { 178, 188, 192 } ], [ { 229, 605, 623 }, { 229, 605, 622 }, { 229, 622, 623 }, { 605, 622, 623 } ], [ { 225, 229, 626 }, { 225, 626, 628 }, { 225, 229, 627, 628 }, { 229, 626, 627 }, { 626, 627, 628 } ], [ { 225, 631, 632 }, { 608, 631, 632 }, { 225, 608, 632 }, { 225, 608, 631 } ], [ { 195, 198, 634 }, { 194, 195, 634 }, { 194, 198, 634 }, { 194, 195, 198 } ], [ { 195, 206, 638 }, { 198, 206, 634, 638 }, { 195, 198, 206 }, { 195, 634, 638 }, { 195, 198, 634 } ], [ { 205, 209, 638 }, { 194, 205, 209 }, { 194, 209, 634, 638 }, { 194, 205, 634 }, { 205, 634, 638 } ], [ { 195, 209, 638 }, { 195, 206, 638 }, { 206, 209, 638 }, { 195, 206, 209 } ], [ { 854, 855, 857, 858 }, { 853, 854, 857 }, { 853, 854, 855, 856 }, { 853, 856, 857, 858 }, { 855, 856, 858 } ], [ { 855, 859, 860 }, { 209, 855, 859 }, { 209, 859, 860, 861 }, { 209, 855, 861 }, { 855, 860, 861 } ], [ { 209, 855, 862 }, { 194, 209, 862 }, { 194, 209, 855, 856 }, { 855, 856, 862 }, { 194, 856, 862 } ], [ { 214, 639, 863 }, { 214, 220, 863, 864 }, { 214, 220, 639 }, { 639, 863, 864 }, { 220, 639, 864 } ], [ { 214, 216, 639 }, { 213, 216, 639 }, { 213, 214, 216 }, { 213, 214, 639 } ], [ { 220, 222, 639 }, { 219, 222, 639 }, { 219, 220, 222 }, { 219, 220, 639 } ], [ { 195, 866, 867 }, { 865, 866, 867 }, { 195, 865, 867 }, { 195, 865, 866 } ], [ { 213, 865, 869 }, { 865, 868, 869 }, { 213, 865, 868 }, { 213, 868, 869 } ], [ { 232, 643, 644 }, { 643, 644, 645 }, { 232, 644, 645 }, { 232, 643, 645 } ], [ { 225, 642, 644 }, { 232, 642, 644 }, { 225, 232, 644 }, { 225, 232, 642 } ], [ { 229, 232, 646 }, { 229, 645, 646 }, { 232, 645, 646 }, { 229, 232, 645 } ], [ { 225, 226, 228, 229 }, { 228, 229, 645 }, { 225, 229, 644, 645 }, { 226, 228, 644, 645 }, { 225, 226, 644 } ], [ { 229, 870, 871 }, { 167, 229, 871 }, { 167, 870, 871 }, { 167, 229, 870 } ], [ { 229, 233, 871 }, { 232, 233, 871 }, { 229, 232, 233 }, { 229, 232, 871 } ], [ { 225, 872, 873 }, { 188, 872, 873 }, { 188, 225, 873 }, { 188, 225, 872 } ], [ { 225, 232, 872 }, { 225, 237, 872 }, { 232, 237, 872 }, { 225, 232, 237 } ], [ { 648, 670, 871 }, { 167, 670, 871 }, { 167, 648, 670 }, { 167, 648, 871 } ], [ { 233, 648, 871 }, { 232, 233, 871 }, { 232, 233, 648 }, { 232, 648, 871 } ], [ { 18, 232, 649 }, { 17, 18, 649 }, { 17, 232, 649 }, { 17, 18, 232 } ], [ { 232, 648, 651 }, { 17, 648, 651 }, { 17, 232, 651 }, { 17, 232, 648 } ], [ { 653, 872, 874 }, { 188, 872, 874 }, { 188, 653, 874 }, { 188, 653, 872 } ], [ { 232, 653, 872 }, { 237, 653, 872 }, { 232, 237, 872 }, { 232, 237, 653 } ], [ { 22, 240, 653 }, { 22, 232, 240 }, { 22, 232, 653 }, { 232, 240, 653 } ], [ { 18, 22, 243 }, { 22, 232, 243 }, { 18, 22, 232 }, { 18, 232, 243 } ], [ { 655, 657, 685 }, { 657, 682, 685 }, { 655, 682, 685 }, { 655, 657, 682 } ], [ { 656, 657, 659 }, { 655, 657, 659 }, { 655, 656, 659 }, { 655, 656, 657 } ], [ { 657, 659, 661 }, { 24, 659, 661 }, { 24, 657, 661 }, { 24, 657, 659 } ], [ { 25, 247, 659 }, { 24, 247, 659 }, { 24, 25, 247 }, { 24, 25, 659 } ], [ { 252, 259, 261, 875, 876, 877 }, { 252, 259, 271, 659 }, { 252, 659, 877 }, { 659, 876, 877, 878 }, { 261, 271, 875, 878 }, { 259, 261, 271 }, { 875, 876, 878 }, { 271, 659, 878 } ], [ { 252, 254, 259 }, { 248, 250, 252, 254 }, { 254, 259, 879, 880 }, { 248, 254, 879 }, { 250, 252, 259, 880, 881, 882 }, { 248, 250, 881 }, { 248, 879, 881, 882 }, { 879, 880, 882 } ], [ { 25, 247, 659 }, { 247, 252, 659 }, { 25, 247, 252 }, { 25, 252, 659 } ], [ { 25, 246, 254 }, { 246, 252, 254 }, { 25, 246, 252 }, { 25, 252, 254 } ], [ { 254, 663, 883 }, { 18, 254, 883 }, { 18, 663, 883 }, { 18, 254, 663 } ], [ { 254, 665, 883 }, { 25, 665, 883 }, { 25, 254, 883 }, { 25, 254, 665 } ], [ { 259, 260, 271 }, { 18, 260, 271 }, { 18, 259, 260 }, { 18, 259, 271 } ], [ { 254, 259, 266 }, { 18, 254, 266 }, { 18, 259, 266 }, { 18, 254, 259 } ], [ { 167, 669, 670 }, { 667, 669, 670 }, { 167, 667, 670 }, { 167, 667, 669 } ], [ { 655, 684, 685 }, { 682, 684, 685 }, { 655, 682, 685 }, { 655, 682, 684 } ], [ { 669, 671, 672 }, { 167, 671, 672 }, { 167, 669, 671 }, { 167, 669, 672 } ], [ { 675, 677, 682 }, { 167, 673, 677, 682 }, { 167, 672, 675, 682 }, { 672, 673, 675, 677 }, { 167, 672, 673 } ], [ { 675, 684, 686 }, { 675, 682, 686 }, { 682, 684, 686 }, { 675, 682, 684 } ], [ { 167, 648, 670 }, { 648, 667, 670 }, { 167, 667, 670 }, { 167, 648, 667 } ], [ { 271, 648, 688 }, { 271, 667, 688 }, { 271, 648, 667 }, { 648, 667, 688 } ], [ { 18, 260, 271 }, { 17, 260, 271 }, { 17, 18, 260 }, { 17, 18, 271 } ], [ { 271, 273, 648 }, { 17, 271, 273 }, { 17, 273, 648 }, { 17, 271, 648 } ], [ { 692, 693, 699 }, { 691, 693, 699 }, { 691, 692, 699 }, { 691, 692, 693 } ], [ { 288, 696, 701 }, { 695, 696, 701 }, { 288, 695, 696 }, { 288, 695, 701 } ], [ { 277, 693, 699 }, { 277, 692, 699 }, { 277, 692, 693 }, { 692, 693, 699 } ], [ { 276, 698, 701 }, { 698, 699, 701 }, { 276, 277, 699, 701 }, { 277, 698, 699 }, { 276, 277, 698 } ], [ { 276, 696, 701 }, { 276, 288, 696 }, { 276, 288, 701 }, { 288, 696, 701 } ], [ { 699, 701, 704 }, { 699, 704, 884 }, { 701, 704, 884 }, { 699, 701, 884 } ], [ { 708, 884, 885 }, { 717, 884, 885 }, { 708, 717, 885 }, { 708, 717, 884 } ], [ { 281, 707, 708 }, { 705, 707, 708 }, { 281, 705, 707 }, { 281, 705, 708 } ], [ { 281, 282, 692 }, { 282, 692, 705 }, { 281, 692, 705 }, { 281, 282, 705 } ], [ { 691, 692, 708 }, { 692, 705, 708 }, { 691, 692, 705 }, { 691, 705, 708 } ], [ { 286, 287, 288, 289 }, { 288, 289, 692, 710 }, { 286, 287, 692, 710 }, { 286, 289, 710 }, { 287, 288, 692 } ], [ { 293, 716, 717 }, { 714, 716, 717 }, { 293, 714, 716 }, { 293, 714, 717 } ], [ { 288, 293, 294 }, { 288, 294, 714 }, { 288, 293, 714 }, { 293, 294, 714 } ], [ { 288, 695, 717 }, { 288, 695, 714 }, { 288, 714, 717 }, { 695, 714, 717 } ], [ { 886, 887, 888 }, { 719, 886, 887 }, { 296, 886, 888 }, { 296, 719, 886 }, { 297, 887, 888 }, { 296, 297, 719 }, { 297, 719, 887 }, { 296, 297, 888 } ], [ { 302, 304, 721, 722, 723, 725 }, { 722, 723, 889, 890 }, { 302, 304, 889, 891 }, { 304, 722, 889 }, { 721, 723, 890 }, { 721, 725, 890, 891 }, { 889, 890, 891 }, { 302, 725, 891 } ], [ { 304, 357, 750 }, { 304, 357, 889 }, { 357, 750, 889 }, { 304, 750, 889 } ], [ { 722, 750, 892 }, { 750, 889, 892 }, { 722, 889, 892 }, { 722, 750, 889 } ], [ { 311, 312, 727 }, { 312, 322, 727 }, { 311, 322, 727 }, { 311, 312, 322 } ], [ { 727, 730, 743 }, { 322, 727, 730 }, { 322, 727, 743 }, { 322, 730, 743 } ], [ { 315, 727, 730 }, { 311, 727, 730 }, { 311, 315, 727 }, { 311, 315, 730 } ], [ { 311, 315, 730 }, { 315, 728, 730 }, { 311, 728, 730 }, { 311, 315, 728 } ], [ { 318, 320, 730 }, { 320, 728, 730 }, { 318, 320, 728 }, { 318, 728, 730 } ], [ { 320, 730, 732 }, { 320, 731, 732 }, { 730, 731, 732 }, { 320, 730, 731 } ], [ { 734, 736, 740 }, { 330, 734, 736 }, { 330, 736, 740 }, { 330, 734, 740 } ], [ { 324, 737, 739 }, { 322, 324, 739 }, { 322, 737, 739 }, { 322, 324, 737 } ], [ { 344, 739, 740 }, { 322, 739, 740 }, { 322, 344, 739 }, { 322, 344, 740 } ], [ { 730, 737, 742 }, { 322, 730, 742 }, { 322, 737, 742 }, { 322, 730, 737 } ], [ { 331, 740, 745 }, { 330, 331, 740 }, { 330, 331, 745 }, { 330, 740, 745 } ], [ { 337, 740, 745 }, { 334, 337, 740 }, { 334, 740, 745 }, { 334, 337, 745 } ], [ { 322, 334, 341 }, { 322, 338, 341 }, { 334, 338, 341 }, { 322, 334, 338 } ], [ { 337, 341, 740 }, { 334, 337, 740 }, { 334, 341, 740 }, { 334, 337, 341 } ], [ { 341, 345, 740 }, { 322, 345, 740 }, { 322, 341, 345 }, { 322, 341, 740 } ], [ { 311, 320, 346 }, { 311, 320, 728 }, { 320, 346, 728 }, { 311, 346, 728 } ], [ { 334, 350, 745 }, { 330, 350, 745 }, { 330, 334, 350 }, { 330, 334, 745 } ], [ { 350, 748, 893 }, { 330, 350, 748 }, { 330, 748, 893 }, { 330, 350, 893 } ], [ { 353, 360, 751 }, { 352, 360, 751 }, { 352, 353, 360 }, { 352, 353, 751 } ], [ { 357, 360, 750 }, { 352, 357, 360 }, { 352, 357, 750 }, { 352, 360, 750 } ], [ { 360, 750, 751 }, { 359, 360, 750 }, { 359, 360, 751 }, { 359, 750, 751 } ], [ { 311, 364, 751 }, { 364, 751, 752 }, { 311, 364, 752 }, { 311, 751, 752 } ], [ { 750, 751, 752 }, { 750, 751, 894 }, { 750, 752, 894 }, { 751, 752, 894 } ], [ { 311, 312, 363 }, { 312, 322, 363 }, { 311, 312, 322 }, { 311, 322, 363 } ], [ { 363, 364, 751 }, { 311, 363, 364 }, { 311, 364, 751 }, { 311, 363, 751 } ], [ { 363, 755, 756 }, { 751, 755, 756 }, { 363, 751, 755 }, { 363, 751, 756 } ], [ { 366, 373, 759 }, { 365, 366, 373 }, { 365, 373, 759 }, { 365, 366, 759 } ], [ { 369, 373, 761 }, { 365, 369, 373 }, { 365, 373, 761 }, { 365, 369, 761 } ], [ { 373, 374, 761 }, { 373, 374, 759 }, { 374, 759, 761 }, { 373, 759, 761 } ], [ { 376, 761, 763 }, { 334, 376, 763 }, { 334, 761, 763 }, { 334, 376, 761 } ], [ { 761, 763, 895 }, { 759, 763, 895 }, { 759, 761, 763 }, { 759, 761, 895 } ], [ { 322, 334, 375 }, { 322, 338, 375 }, { 334, 338, 375 }, { 322, 334, 338 } ], [ { 375, 376, 761 }, { 334, 375, 376 }, { 334, 376, 761 }, { 334, 375, 761 } ], [ { 375, 765, 767 }, { 761, 765, 767 }, { 375, 761, 765 }, { 375, 761, 767 } ], [ { 35, 770, 771 }, { 385, 770, 771 }, { 35, 385, 771 }, { 35, 385, 770 } ], [ { 35, 378, 380 }, { 35, 380, 402 }, { 378, 380, 402 }, { 35, 378, 402 } ], [ { 35, 402, 896 }, { 35, 385, 896 }, { 35, 385, 402 }, { 385, 402, 896 } ], [ { 382, 384, 770 }, { 382, 384, 385 }, { 384, 385, 770 }, { 382, 385, 770 } ], [ { 388, 393, 897 }, { 365, 388, 897 }, { 365, 393, 897 }, { 365, 388, 393 } ], [ { 382, 385, 412 }, { 382, 412, 774 }, { 382, 385, 774 }, { 385, 412, 774 } ], [ { 382, 387, 388 }, { 387, 388, 774 }, { 382, 387, 774 }, { 382, 388, 774 } ], [ { 388, 392, 393 }, { 365, 388, 393 }, { 365, 388, 392 }, { 365, 392, 393 } ], [ { 382, 388, 399 }, { 382, 388, 392 }, { 388, 392, 399 }, { 382, 392, 399 } ], [ { 378, 403, 406 }, { 402, 403, 406 }, { 378, 402, 403 }, { 378, 402, 406 } ], [ { 405, 406, 776 }, { 406, 412, 776 }, { 405, 412, 776 }, { 405, 406, 412 } ], [ { 402, 406, 776 }, { 401, 406, 776 }, { 401, 402, 776 }, { 401, 402, 406 } ], [ { 378, 411, 778 }, { 409, 411, 778 }, { 378, 409, 411 }, { 378, 409, 778 } ], [ { 403, 406, 778 }, { 378, 403, 778 }, { 378, 403, 406 }, { 378, 406, 778 } ], [ { 406, 778, 782 }, { 421, 778, 782 }, { 406, 421, 782 }, { 406, 421, 778 } ], [ { 40, 414, 427 }, { 40, 412, 414 }, { 412, 414, 427 }, { 40, 412, 427 } ], [ { 406, 412, 417 }, { 406, 417, 784 }, { 412, 417, 784 }, { 406, 412, 784 } ], [ { 40, 412, 419 }, { 40, 419, 784 }, { 40, 412, 784 }, { 412, 419, 784 } ], [ { 40, 406, 786 }, { 40, 784, 786 }, { 406, 784, 786 }, { 40, 406, 784 } ], [ { 406, 423, 425 }, { 406, 421, 423 }, { 406, 421, 425 }, { 421, 423, 425 } ], [ { 40, 423, 425 }, { 40, 423, 427 }, { 40, 425, 427 }, { 423, 425, 427 } ], [ { 40, 406, 430 }, { 40, 423, 430 }, { 406, 423, 430 }, { 40, 406, 423 } ], [ { 433, 436, 438 }, { 431, 433, 436 }, { 431, 433, 438 }, { 431, 436, 438 } ], [ { 436, 789, 790 }, { 436, 438, 789 }, { 438, 789, 790 }, { 436, 438, 790 } ], [ { 45, 441, 790 }, { 44, 45, 441 }, { 44, 45, 790 }, { 44, 441, 790 } ], [ { 45, 51, 441 }, { 45, 51, 459 }, { 51, 441, 459 }, { 45, 441, 459 } ], [ { 47, 445, 455 }, { 47, 58, 445 }, { 58, 445, 455 }, { 47, 58, 455 } ], [ { 45, 450, 792 }, { 45, 58, 449, 792 }, { 45, 58, 445, 450 }, { 445, 449, 450, 792 }, { 58, 445, 449 } ], [ { 45, 51, 459 }, { 45, 51, 450 }, { 51, 450, 459 }, { 45, 450, 459 } ], [ { 445, 450, 455, 459 }, { 454, 455, 459, 793, 794, 795 }, { 445, 454, 455 }, { 450, 459, 794 }, { 450, 793, 794, 898 }, { 445, 454, 795, 898 }, { 445, 450, 898 }, { 793, 795, 898 } ], [ { 45, 464, 798 }, { 45, 58, 798, 799 }, { 45, 58, 464 }, { 58, 464, 799 }, { 464, 798, 799 } ], [ { 45, 463, 464 }, { 463, 464, 790 }, { 45, 463, 790 }, { 45, 464, 790 } ], [ { 464, 466, 493 }, { 58, 464, 493 }, { 58, 464, 466 }, { 58, 466, 493 } ], [ { 63, 472, 493 }, { 58, 63, 472 }, { 58, 472, 493 }, { 58, 63, 493 } ], [ { 47, 455, 472 }, { 47, 58, 472 }, { 47, 58, 455 }, { 58, 455, 472 } ], [ { 455, 471, 472 }, { 446, 471, 472 }, { 446, 455, 472 }, { 446, 455, 471 } ], [ { 471, 472, 474 }, { 472, 474, 493 }, { 471, 472, 493 }, { 471, 474, 493 } ], [ { 474, 497, 502 }, { 471, 497, 502 }, { 471, 474, 497 }, { 471, 474, 502 } ], [ { 471, 477, 479 }, { 455, 477, 479 }, { 455, 471, 479 }, { 455, 471, 477 } ], [ { 479, 482, 502 }, { 455, 479, 502 }, { 455, 479, 482 }, { 455, 482, 502 } ], [ { 471, 479, 502 }, { 478, 479, 502 }, { 471, 478, 479 }, { 471, 478, 502 } ], [ { 485, 490, 491 }, { 65, 485, 490 }, { 65, 485, 491 }, { 65, 490, 491 } ], [ { 491, 492, 493 }, { 65, 491, 492 }, { 65, 492, 493 }, { 65, 491, 493 } ], [ { 492, 502, 806 }, { 65, 492, 806 }, { 65, 502, 806 }, { 65, 492, 502 } ], [ { 474, 492, 502 }, { 492, 493, 502 }, { 474, 492, 493 }, { 474, 493, 502 } ], [ { 490, 498, 538 }, { 65, 498, 538 }, { 65, 490, 498 }, { 65, 490, 538 } ], [ { 502, 511, 538 }, { 65, 502, 511 }, { 65, 511, 538 }, { 65, 502, 538 } ], [ { 455, 500, 502 }, { 500, 502, 508 }, { 455, 500, 508 }, { 455, 502, 508 } ], [ { 455, 505, 509, 899 }, { 508, 509, 899 }, { 455, 508, 509 }, { 505, 508, 899 }, { 455, 505, 508 } ], [ { 72, 502, 509 }, { 72, 508, 509 }, { 72, 502, 508 }, { 502, 508, 509 } ], [ { 502, 509, 511 }, { 509, 511, 538 }, { 502, 511, 538 }, { 502, 509, 538 } ], [ { 514, 518, 900 }, { 514, 540, 900 }, { 514, 518, 540 }, { 518, 540, 900 } ], [ { 513, 514, 518 }, { 513, 514, 540 }, { 514, 518, 540 }, { 513, 518, 540 } ], [ { 513, 518, 520 }, { 513, 520, 522 }, { 518, 520, 522 }, { 513, 518, 522 } ], [ { 518, 522, 810 }, { 74, 518, 810 }, { 74, 522, 810 }, { 74, 518, 522 } ], [ { 522, 526, 810 }, { 455, 526, 810 }, { 455, 522, 810 }, { 455, 522, 526 } ], [ { 522, 526, 527 }, { 522, 526, 811 }, { 526, 527, 811 }, { 522, 527, 811 } ], [ { 509, 526, 531, 899 }, { 455, 505, 509, 899 }, { 455, 509, 526 }, { 455, 505, 526, 531 }, { 505, 531, 899 } ], [ { 509, 526, 901 }, { 78, 526, 901 }, { 78, 509, 901 }, { 78, 509, 526 } ], [ { 78, 509, 538 }, { 509, 537, 538 }, { 78, 509, 537 }, { 78, 537, 538 } ], [ { 78, 526, 813 }, { 526, 811, 813 }, { 78, 526, 811 }, { 78, 811, 813 } ], [ { 139, 513, 570 }, { 139, 513, 540 }, { 139, 540, 570 }, { 513, 540, 570 } ], [ { 513, 520, 570 }, { 513, 520, 522 }, { 520, 522, 570 }, { 513, 522, 570 } ], [ { 84, 88, 545 }, { 84, 88, 815 }, { 84, 545, 815 }, { 88, 545, 815 } ], [ { 84, 544, 556 }, { 84, 556, 815 }, { 84, 544, 815 }, { 544, 556, 815 } ], [ { 88, 546, 551 }, { 88, 551, 815 }, { 88, 546, 815 }, { 546, 551, 815 } ], [ { 84, 88, 551, 556 }, { 88, 551, 816 }, { 551, 556, 902 }, { 551, 816, 822, 902 }, { 84, 88, 816, 818, 819, 822 }, { 556, 818, 819, 902 }, { 84, 556, 819 }, { 818, 822, 902 } ], [ { 547, 549, 551 }, { 549, 551, 823 }, { 547, 549, 823 }, { 547, 551, 823 } ], [ { 92, 551, 558 }, { 92, 547, 558 }, { 92, 547, 551 }, { 547, 551, 558 } ], [ { 554, 555, 556 }, { 554, 555, 825 }, { 555, 556, 825 }, { 554, 556, 825 } ], [ { 96, 555, 562 }, { 96, 555, 556 }, { 96, 556, 562 }, { 555, 556, 562 } ], [ { 110, 547, 558 }, { 547, 558, 823 }, { 110, 558, 823 }, { 110, 547, 823 } ], [ { 2, 100, 558 }, { 2, 110, 558 }, { 100, 110, 558 }, { 2, 100, 110 } ], [ { 6, 100, 104 }, { 6, 104, 562 }, { 100, 104, 562 }, { 6, 100, 562 } ], [ { 6, 100, 560 }, { 6, 9, 560 }, { 6, 9, 100 }, { 9, 100, 560 } ], [ { 100, 106, 558 }, { 9, 106, 558 }, { 9, 100, 106 }, { 9, 100, 558 } ], [ { 100, 113, 123 }, { 100, 110, 123 }, { 110, 113, 117, 123 }, { 100, 113, 117 }, { 100, 110, 117 } ], [ { 110, 823, 830 }, { 110, 123, 823, 825 }, { 823, 825, 828, 830 }, { 110, 123, 828, 830 }, { 123, 825, 828 } ], [ { 123, 555, 562 }, { 123, 555, 825 }, { 123, 562, 825 }, { 555, 562, 825 } ], [ { 15, 100, 123 }, { 15, 123, 562 }, { 15, 100, 562 }, { 100, 123, 562 } ], [ { 149, 365, 392 }, { 149, 392, 584 }, { 149, 365, 584 }, { 365, 392, 584 } ], [ { 382, 392, 399 }, { 382, 399, 584 }, { 382, 392, 584 }, { 392, 399, 584 } ], [ { 132, 133, 570 }, { 128, 133, 570 }, { 128, 132, 133 }, { 128, 132, 570 } ], [ { 133, 139, 570 }, { 133, 139, 540 }, { 139, 540, 570 }, { 133, 540, 570 } ], [ { 573, 574, 815 }, { 128, 574, 815 }, { 128, 573, 574 }, { 128, 573, 815 } ], [ { 163, 574, 578 }, { 128, 163, 578 }, { 128, 574, 578 }, { 128, 163, 574 } ], [ { 143, 155, 834 }, { 155, 581, 834 }, { 143, 581, 834 }, { 143, 155, 581 } ], [ { 143, 149, 365 }, { 143, 149, 584 }, { 149, 365, 584 }, { 143, 365, 584 } ], [ { 143, 152, 155 }, { 152, 155, 584 }, { 143, 152, 584 }, { 143, 155, 584 } ], [ { 163, 164, 589 }, { 164, 589, 835 }, { 163, 589, 835 }, { 163, 164, 835 } ], [ { 164, 591, 592 }, { 164, 592, 835 }, { 591, 592, 835 }, { 164, 591, 835 } ], [ { 155, 594, 596 }, { 594, 596, 815 }, { 155, 596, 815 }, { 155, 594, 815 } ], [ { 163, 164, 574, 594 }, { 163, 574, 815 }, { 574, 594, 815 }, { 164, 594, 815 }, { 163, 164, 815 } ], [ { 155, 164, 594 }, { 164, 594, 599 }, { 155, 164, 599 }, { 155, 594, 599 } ], [ { 293, 838, 840 }, { 837, 838, 840 }, { 293, 837, 838 }, { 293, 837, 840 } ], [ { 293, 840, 843 }, { 614, 840, 843 }, { 293, 614, 843 }, { 293, 614, 840 } ], [ { 167, 614, 903 }, { 167, 851, 903 }, { 614, 851, 903 }, { 167, 614, 851 } ], [ { 844, 846, 848 }, { 837, 846, 848 }, { 837, 844, 846 }, { 837, 844, 848 } ], [ { 614, 840, 848 }, { 837, 840, 848 }, { 614, 837, 840 }, { 614, 837, 848 } ], [ { 614, 848, 850 }, { 844, 848, 850 }, { 614, 844, 850 }, { 614, 844, 848 } ], [ { 188, 852, 904 }, { 188, 614, 852 }, { 614, 852, 904 }, { 188, 614, 904 } ], [ { 167, 170, 614 }, { 167, 170, 851 }, { 170, 614, 851 }, { 167, 614, 851 } ], [ { 168, 170, 605 }, { 167, 168, 605 }, { 167, 170, 605 }, { 167, 168, 170 } ], [ { 170, 178, 607, 609 }, { 178, 608, 609 }, { 170, 178, 605, 608 }, { 605, 607, 608, 609 }, { 170, 605, 607 } ], [ { 170, 178, 614 }, { 170, 178, 615, 616 }, { 170, 614, 616 }, { 178, 614, 615 }, { 614, 615, 616 } ], [ { 178, 184, 188 }, { 178, 188, 608 }, { 178, 184, 608 }, { 184, 188, 608 } ], [ { 178, 188, 852 }, { 178, 614, 852 }, { 188, 614, 852 }, { 178, 188, 614 } ], [ { 167, 229, 605 }, { 229, 605, 623 }, { 167, 229, 623 }, { 167, 605, 623 } ], [ { 605, 608, 627, 628 }, { 225, 229, 605, 608 }, { 225, 608, 628 }, { 225, 229, 627, 628 }, { 229, 605, 627 } ], [ { 188, 225, 631 }, { 225, 608, 631 }, { 188, 608, 631 }, { 188, 225, 608 } ], [ { 195, 209, 638 }, { 194, 209, 634, 638 }, { 194, 195, 209 }, { 195, 634, 638 }, { 194, 195, 634 } ], [ { 194, 209, 855, 856 }, { 194, 209, 214, 220, 859, 905 }, { 209, 855, 859 }, { 214, 855, 858, 859 }, { 220, 856, 858, 905 }, { 194, 856, 905 }, { 214, 220, 858 }, { 855, 856, 858 } ], [ { 219, 220, 639 }, { 213, 219, 639 }, { 213, 214, 219, 220 }, { 213, 214, 639 }, { 214, 220, 639 } ], [ { 866, 868, 906 }, { 25, 868, 906 }, { 25, 866, 868, 907 }, { 25, 906, 907 }, { 866, 906, 907 } ], [ { 195, 213, 865 }, { 195, 213, 866, 868 }, { 213, 865, 868 }, { 865, 866, 868 }, { 195, 865, 866 } ], [ { 225, 229, 232 }, { 225, 229, 644, 645 }, { 229, 232, 645 }, { 225, 232, 644 }, { 232, 644, 645 } ], [ { 229, 232, 871 }, { 167, 229, 871 }, { 167, 232, 871 }, { 167, 229, 232 } ], [ { 225, 232, 872 }, { 188, 225, 872 }, { 188, 232, 872 }, { 188, 225, 232 } ], [ { 232, 648, 871 }, { 167, 648, 871 }, { 167, 232, 871 }, { 167, 232, 648 } ], [ { 18, 232, 648 }, { 17, 18, 648 }, { 17, 232, 648 }, { 17, 18, 232 } ], [ { 232, 653, 872 }, { 188, 653, 872 }, { 188, 232, 872 }, { 188, 232, 653 } ], [ { 18, 22, 653 }, { 18, 22, 232 }, { 22, 232, 653 }, { 18, 232, 653 } ], [ { 655, 657, 659 }, { 657, 659, 682 }, { 655, 659, 682 }, { 655, 657, 682 } ], [ { 25, 657, 659 }, { 24, 25, 659 }, { 24, 657, 659 }, { 24, 25, 657 } ], [ { 254, 259, 271 }, { 252, 254, 259 }, { 252, 259, 271, 659 }, { 254, 271, 659 }, { 252, 254, 659 } ], [ { 25, 254, 659 }, { 252, 254, 659 }, { 25, 252, 254 }, { 25, 252, 659 } ], [ { 25, 254, 883 }, { 18, 254, 883 }, { 18, 25, 883 }, { 18, 25, 254 } ], [ { 254, 259, 271 }, { 18, 254, 271 }, { 18, 254, 259 }, { 18, 259, 271 } ], [ { 167, 271, 669 }, { 271, 667, 669 }, { 167, 667, 669 }, { 167, 271, 667 } ], [ { 655, 659, 684 }, { 659, 682, 684 }, { 655, 682, 684 }, { 655, 659, 682 } ], [ { 675, 682, 684 }, { 167, 672, 675, 682 }, { 167, 669, 682, 684 }, { 669, 672, 675, 684 }, { 167, 669, 672 } ], [ { 167, 271, 648 }, { 271, 648, 667 }, { 167, 271, 667 }, { 167, 648, 667 } ], [ { 18, 271, 648 }, { 17, 271, 648 }, { 17, 18, 271 }, { 17, 18, 648 } ], [ { 692, 699, 708 }, { 691, 692, 699 }, { 691, 699, 708 }, { 691, 692, 708 } ], [ { 288, 695, 701 }, { 288, 701, 717 }, { 695, 701, 717 }, { 288, 695, 717 } ], [ { 276, 288, 701 }, { 276, 277, 288, 692 }, { 288, 692, 699, 701 }, { 276, 277, 699, 701 }, { 277, 692, 699 } ], [ { 701, 717, 884 }, { 699, 701, 708, 717 }, { 708, 717, 884 }, { 699, 708, 884 }, { 699, 701, 884 } ], [ { 281, 282, 692 }, { 282, 692, 908 }, { 281, 692, 908 }, { 281, 282, 908 } ], [ { 281, 692, 708 }, { 692, 705, 708 }, { 281, 692, 705 }, { 281, 705, 708 } ], [ { 692, 910, 911 }, { 909, 910, 911 }, { 288, 909, 911 }, { 288, 692, 911 }, { 287, 692, 910 }, { 287, 288, 692 }, { 287, 288, 909 }, { 287, 909, 910 } ], [ { 692, 910, 911 }, { 692, 908, 911 }, { 908, 910, 911, 912 }, { 692, 908, 912 }, { 692, 910, 912 } ], [ { 288, 293, 294 }, { 288, 294, 837 }, { 288, 293, 837 }, { 293, 294, 837 } ], [ { 288, 293, 717 }, { 288, 714, 717 }, { 288, 293, 714 }, { 293, 714, 717 } ], [ { 886, 887, 914, 915 }, { 886, 888, 913, 914 }, { 913, 914, 915 }, { 887, 888, 913, 915 }, { 886, 887, 888 } ], [ { 304, 357, 750 }, { 304, 352, 357 }, { 352, 357, 750 }, { 304, 352, 750 } ], [ { 304, 722, 750 }, { 304, 750, 889 }, { 304, 722, 889 }, { 722, 750, 889 } ], [ { 304, 352, 722, 916 }, { 722, 913, 916 }, { 352, 913, 914, 916 }, { 304, 722, 913, 914 }, { 304, 352, 914 } ], [ { 722, 750, 892 }, { 750, 892, 916 }, { 722, 892, 916 }, { 722, 750, 916 } ], [ { 311, 727, 730 }, { 322, 727, 730 }, { 311, 322, 727 }, { 311, 322, 730 } ], [ { 311, 320, 730 }, { 320, 728, 730 }, { 311, 320, 728 }, { 311, 728, 730 } ], [ { 730, 732, 734, 740 }, { 320, 330, 730, 740 }, { 330, 734, 740 }, { 320, 330, 732, 734 }, { 320, 730, 732 } ], [ { 730, 737, 739, 740 }, { 322, 730, 740 }, { 322, 730, 737 }, { 322, 739, 740 }, { 322, 737, 739 } ], [ { 334, 740, 745 }, { 330, 740, 745 }, { 330, 334, 740 }, { 330, 334, 745 } ], [ { 322, 341, 740 }, { 334, 341, 740 }, { 322, 334, 740 }, { 322, 334, 341 } ], [ { 311, 320, 917 }, { 320, 346, 917 }, { 311, 346, 917 }, { 311, 320, 346 } ], [ { 334, 350, 893 }, { 330, 350, 893 }, { 330, 334, 350 }, { 330, 334, 893 } ], [ { 360, 750, 751 }, { 352, 360, 750 }, { 352, 360, 751 }, { 352, 750, 751 } ], [ { 311, 750, 751 }, { 750, 751, 752 }, { 311, 750, 752 }, { 311, 751, 752 } ], [ { 311, 363, 756 }, { 322, 363, 756 }, { 311, 322, 756 }, { 311, 322, 363 } ], [ { 363, 751, 756 }, { 311, 363, 756 }, { 311, 751, 756 }, { 311, 363, 751 } ], [ { 373, 759, 761 }, { 365, 373, 761 }, { 365, 373, 759 }, { 365, 759, 761 } ], [ { 759, 761, 763 }, { 334, 761, 763 }, { 334, 759, 763 }, { 334, 759, 761 } ], [ { 322, 375, 767 }, { 334, 375, 767 }, { 322, 334, 767 }, { 322, 334, 375 } ], [ { 375, 761, 767 }, { 334, 375, 767 }, { 334, 761, 767 }, { 334, 375, 761 } ], [ { 35, 412, 770 }, { 35, 385, 770 }, { 385, 412, 770 }, { 35, 385, 412 } ], [ { 35, 378, 402 }, { 35, 378, 409 }, { 35, 402, 409 }, { 378, 402, 409 } ], [ { 35, 402, 412 }, { 35, 385, 402 }, { 35, 385, 412 }, { 385, 402, 412 } ], [ { 382, 412, 770 }, { 382, 385, 770 }, { 382, 385, 412 }, { 385, 412, 770 } ], [ { 365, 388, 897 }, { 388, 412, 897 }, { 365, 412, 897 }, { 365, 388, 412 } ], [ { 382, 388, 412 }, { 382, 388, 774 }, { 388, 412, 774 }, { 382, 412, 774 } ], [ { 382, 388, 392 }, { 365, 382, 388 }, { 365, 388, 392 }, { 365, 382, 392 } ], [ { 378, 402, 406 }, { 378, 406, 409 }, { 402, 406, 409 }, { 378, 402, 409 } ], [ { 402, 406, 776 }, { 406, 412, 776 }, { 402, 412, 776 }, { 402, 406, 412 } ], [ { 378, 406, 778 }, { 406, 409, 778 }, { 378, 409, 778 }, { 378, 406, 409 } ], [ { 406, 425, 778 }, { 406, 421, 778 }, { 421, 425, 778 }, { 406, 421, 425 } ], [ { 40, 425, 427 }, { 40, 412, 425 }, { 40, 412, 427 }, { 412, 425, 427 } ], [ { 40, 406, 412 }, { 40, 406, 784 }, { 40, 412, 784 }, { 406, 412, 784 } ], [ { 40, 406, 423 }, { 40, 406, 425 }, { 40, 423, 425 }, { 406, 423, 425 } ], [ { 436, 438, 790 }, { 431, 436, 790 }, { 431, 436, 438 }, { 431, 438, 790 } ], [ { 45, 441, 459 }, { 45, 441, 790 }, { 45, 459, 790 }, { 441, 459, 790 } ], [ { 445, 450, 455, 459 }, { 45, 58, 455, 459 }, { 45, 450, 459 }, { 45, 58, 445, 450 }, { 58, 445, 455 } ], [ { 464, 493, 790 }, { 58, 464, 493 }, { 45, 58, 493, 790 }, { 45, 464, 790 }, { 45, 58, 464 } ], [ { 455, 472, 493 }, { 58, 455, 472 }, { 58, 472, 493 }, { 58, 455, 493 } ], [ { 455, 471, 472 }, { 471, 472, 493 }, { 455, 472, 493 }, { 455, 471, 493 } ], [ { 471, 474, 502 }, { 474, 493, 502 }, { 471, 493, 502 }, { 471, 474, 493 } ], [ { 471, 479, 502 }, { 455, 479, 502 }, { 455, 471, 479 }, { 455, 471, 502 } ], [ { 490, 491, 493 }, { 65, 490, 491 }, { 65, 490, 493 }, { 65, 491, 493 } ], [ { 492, 493, 502 }, { 65, 492, 502 }, { 65, 492, 493 }, { 65, 493, 502 } ], [ { 490, 502, 538 }, { 65, 502, 538 }, { 65, 490, 502 }, { 65, 490, 538 } ], [ { 455, 502, 509 }, { 502, 508, 509 }, { 455, 508, 509 }, { 455, 502, 508 } ], [ { 502, 509, 538 }, { 490, 502, 509 }, { 490, 509, 538 }, { 490, 502, 538 } ], [ { 455, 518, 900 }, { 518, 540, 900 }, { 455, 540, 900 }, { 455, 518, 540 } ], [ { 513, 518, 522 }, { 513, 518, 540 }, { 513, 522, 540 }, { 518, 522, 540 } ], [ { 518, 522, 810 }, { 455, 518, 810 }, { 455, 522, 810 }, { 455, 518, 522 } ], [ { 522, 526, 811 }, { 455, 522, 526 }, { 455, 526, 811 }, { 455, 522, 811 } ], [ { 78, 509, 526 }, { 455, 509, 526 }, { 78, 455, 526 }, { 78, 455, 509 } ], [ { 490, 509, 538 }, { 78, 509, 538 }, { 78, 490, 509 }, { 78, 490, 538 } ], [ { 78, 526, 811 }, { 78, 455, 526 }, { 455, 526, 811 }, { 78, 455, 811 } ], [ { 513, 522, 570 }, { 513, 540, 570 }, { 513, 522, 540 }, { 522, 540, 570 } ], [ { 84, 88, 551, 556 }, { 88, 551, 815 }, { 551, 556, 815 }, { 84, 556, 815 }, { 84, 88, 815 } ], [ { 551, 556, 902 }, { 556, 562, 902, 918 }, { 551, 556, 558, 562 }, { 551, 558, 902, 918 }, { 558, 562, 918 } ], [ { 549, 551, 823 }, { 549, 551, 815 }, { 549, 815, 823 }, { 551, 815, 823 } ], [ { 547, 551, 558 }, { 551, 558, 823 }, { 547, 558, 823 }, { 547, 551, 823 } ], [ { 554, 556, 815 }, { 554, 556, 825 }, { 554, 815, 825 }, { 556, 815, 825 } ], [ { 555, 556, 562 }, { 555, 562, 825 }, { 555, 556, 825 }, { 556, 562, 825 } ], [ { 100, 110, 558 }, { 100, 558, 823 }, { 110, 558, 823 }, { 100, 110, 823 } ], [ { 100, 558, 562 }, { 9, 100, 558 }, { 6, 9, 558, 562 }, { 6, 9, 100 }, { 6, 100, 562 } ], [ { 100, 110, 823 }, { 100, 823, 825 }, { 110, 123, 823, 825 }, { 100, 123, 825 }, { 100, 110, 123 } ], [ { 100, 123, 562 }, { 100, 123, 825 }, { 123, 562, 825 }, { 100, 562, 825 } ], [ { 365, 382, 392 }, { 382, 392, 584 }, { 365, 382, 584 }, { 365, 392, 584 } ], [ { 133, 540, 570 }, { 128, 133, 570 }, { 128, 133, 540 }, { 128, 540, 570 } ], [ { 163, 574, 815 }, { 128, 163, 574 }, { 128, 163, 815 }, { 128, 574, 815 } ], [ { 143, 155, 834 }, { 155, 834, 835 }, { 143, 834, 835 }, { 143, 155, 835 } ], [ { 143, 155, 365 }, { 143, 155, 584 }, { 155, 365, 584 }, { 143, 365, 584 } ], [ { 163, 164, 815 }, { 163, 164, 835 }, { 164, 815, 835 }, { 163, 815, 835 } ], [ { 155, 164, 592 }, { 164, 592, 835 }, { 155, 592, 835 }, { 155, 164, 835 } ], [ { 155, 164, 594 }, { 164, 594, 815 }, { 155, 164, 815 }, { 155, 594, 815 } ], [ { 293, 614, 840 }, { 293, 837, 840 }, { 614, 837, 840 }, { 293, 614, 837 } ], [ { 167, 293, 903 }, { 293, 614, 903 }, { 167, 614, 903 }, { 167, 293, 614 } ], [ { 614, 844, 848 }, { 614, 837, 848 }, { 837, 844, 848 }, { 614, 837, 844 } ], [ { 188, 614, 904 }, { 188, 844, 904 }, { 188, 614, 844 }, { 614, 844, 904 } ], [ { 167, 170, 605 }, { 170, 605, 614 }, { 167, 605, 614 }, { 167, 170, 614 } ], [ { 170, 178, 614 }, { 170, 178, 605, 608 }, { 178, 608, 614 }, { 605, 608, 614 }, { 170, 605, 614 } ], [ { 178, 188, 614 }, { 178, 188, 608 }, { 178, 608, 614 }, { 188, 608, 614 } ], [ { 167, 188, 225, 229 }, { 188, 225, 608 }, { 167, 188, 605, 608 }, { 225, 229, 605, 608 }, { 167, 229, 605 } ], [ { 213, 214, 219, 220 }, { 194, 209, 214, 220, 859, 905 }, { 194, 195, 219, 905 }, { 195, 213, 219 }, { 194, 195, 209 }, { 195, 209, 213, 859 }, { 219, 220, 905 }, { 213, 214, 859 } ], [ { 25, 195, 213, 907 }, { 195, 213, 866, 868 }, { 25, 213, 868 }, { 25, 866, 868, 907 }, { 195, 866, 907 } ], [ { 188, 225, 232 }, { 167, 188, 225, 229 }, { 167, 188, 232 }, { 167, 229, 232 }, { 225, 229, 232 } ], [ { 18, 232, 648 }, { 18, 167, 648 }, { 167, 232, 648 }, { 18, 167, 232 } ], [ { 18, 232, 653 }, { 18, 188, 653 }, { 18, 188, 232 }, { 188, 232, 653 } ], [ { 25, 657, 659 }, { 25, 659, 682 }, { 657, 659, 682 }, { 25, 657, 682 } ], [ { 18, 254, 271 }, { 18, 25, 254 }, { 18, 25, 271, 659 }, { 25, 254, 659 }, { 254, 271, 659 } ], [ { 167, 669, 682, 684 }, { 167, 271, 659, 682 }, { 271, 659, 669, 684 }, { 659, 682, 684 }, { 167, 271, 669 } ], [ { 18, 271, 648 }, { 167, 271, 648 }, { 18, 167, 271 }, { 18, 167, 648 } ], [ { 699, 701, 708, 717 }, { 288, 692, 708, 717 }, { 288, 692, 699, 701 }, { 288, 701, 717 }, { 692, 699, 708 } ], [ { 281, 692, 708 }, { 692, 708, 908 }, { 281, 692, 908 }, { 281, 708, 908 } ], [ { 692, 908, 911 }, { 288, 692, 837, 908 }, { 837, 908, 911 }, { 288, 837, 911 }, { 288, 692, 911 } ], [ { 288, 293, 717 }, { 288, 717, 837 }, { 288, 293, 837 }, { 293, 717, 837 } ], [ { 352, 916, 919 }, { 913, 915, 916, 919 }, { 352, 913, 914, 916 }, { 352, 914, 915, 919 }, { 913, 914, 915 } ], [ { 837, 921, 922, 923 }, { 837, 920, 922, 924 }, { 837, 920, 921 }, { 920, 921, 923, 924 }, { 922, 923, 924 } ], [ { 722, 750, 916 }, { 352, 750, 916 }, { 304, 352, 722, 916 }, { 304, 722, 750 }, { 304, 352, 750 } ], [ { 311, 750, 752 }, { 311, 750, 925 }, { 750, 752, 925 }, { 311, 752, 925 } ], [ { 311, 320, 730 }, { 320, 322, 730 }, { 311, 320, 322 }, { 311, 322, 730 } ], [ { 322, 730, 740 }, { 320, 330, 730, 740 }, { 322, 330, 740 }, { 320, 322, 330 }, { 320, 322, 730 } ], [ { 322, 334, 740 }, { 322, 330, 740 }, { 330, 334, 740 }, { 322, 330, 334 } ], [ { 311, 334, 893, 917 }, { 330, 334, 893 }, { 311, 320, 330, 334 }, { 320, 330, 893, 917 }, { 311, 320, 917 } ], [ { 311, 750, 751 }, { 352, 750, 751 }, { 311, 352, 750 }, { 311, 352, 751 } ], [ { 311, 751, 756 }, { 322, 751, 756 }, { 311, 322, 756 }, { 311, 322, 751 } ], [ { 334, 759, 761 }, { 365, 759, 761 }, { 334, 365, 761 }, { 334, 365, 759 } ], [ { 322, 761, 767 }, { 334, 761, 767 }, { 322, 334, 767 }, { 322, 334, 761 } ], [ { 35, 409, 926 }, { 35, 825, 926 }, { 35, 409, 825 }, { 409, 825, 926 } ], [ { 35, 412, 770 }, { 35, 770, 825 }, { 412, 770, 825 }, { 35, 412, 825 } ], [ { 35, 402, 412 }, { 35, 402, 409 }, { 35, 409, 412 }, { 402, 409, 412 } ], [ { 382, 412, 770 }, { 382, 770, 825 }, { 382, 412, 825 }, { 412, 770, 825 } ], [ { 365, 382, 388 }, { 382, 388, 412 }, { 365, 388, 412 }, { 365, 382, 412 } ], [ { 402, 406, 412 }, { 402, 406, 409 }, { 406, 409, 412 }, { 402, 409, 412 } ], [ { 406, 425, 778 }, { 406, 409, 778 }, { 409, 425, 778 }, { 406, 409, 425 } ], [ { 40, 406, 425 }, { 40, 406, 412 }, { 40, 412, 425 }, { 406, 412, 425 } ], [ { 438, 493, 790 }, { 431, 438, 790 }, { 431, 493, 790 }, { 431, 438, 493 } ], [ { 455, 459, 493, 790 }, { 58, 455, 493 }, { 45, 58, 493, 790 }, { 45, 58, 455, 459 }, { 45, 459, 790 } ], [ { 455, 471, 502 }, { 471, 493, 502 }, { 455, 493, 502 }, { 455, 471, 493 } ], [ { 490, 493, 502 }, { 65, 490, 502 }, { 65, 493, 502 }, { 65, 490, 493 } ], [ { 490, 502, 509 }, { 455, 502, 509 }, { 455, 490, 509 }, { 455, 490, 502 } ], [ { 455, 518, 522 }, { 518, 522, 540 }, { 455, 518, 540 }, { 455, 522, 540 } ], [ { 522, 811, 823 }, { 455, 522, 823 }, { 455, 522, 811 }, { 455, 811, 823 } ], [ { 78, 490, 509 }, { 455, 490, 509 }, { 78, 455, 509 }, { 78, 455, 490 } ], [ { 78, 811, 823 }, { 78, 455, 823 }, { 455, 811, 823 }, { 78, 455, 811 } ], [ { 490, 823, 927 }, { 78, 823, 927 }, { 78, 490, 927 }, { 78, 490, 823 } ], [ { 522, 570, 815 }, { 522, 540, 570 }, { 540, 570, 815 }, { 522, 540, 815 } ], [ { 551, 556, 558, 562 }, { 551, 556, 815 }, { 556, 562, 815 }, { 558, 562, 815 }, { 551, 558, 815 } ], [ { 551, 558, 823 }, { 551, 558, 815 }, { 558, 815, 823 }, { 551, 815, 823 } ], [ { 556, 562, 815 }, { 556, 562, 825 }, { 562, 815, 825 }, { 556, 815, 825 } ], [ { 100, 562, 825 }, { 100, 823, 825 }, { 558, 562, 823, 825 }, { 100, 558, 562 }, { 100, 558, 823 } ], [ { 365, 382, 815 }, { 382, 584, 815 }, { 365, 382, 584 }, { 365, 584, 815 } ], [ { 133, 540, 835 }, { 128, 133, 835 }, { 128, 133, 540 }, { 128, 540, 835 } ], [ { 540, 570, 815 }, { 128, 570, 815 }, { 128, 540, 570 }, { 128, 540, 815 } ], [ { 163, 815, 835 }, { 128, 163, 815 }, { 128, 163, 835 }, { 128, 815, 835 } ], [ { 143, 155, 835 }, { 143, 155, 365 }, { 155, 365, 835 }, { 143, 365, 835 } ], [ { 155, 365, 815 }, { 155, 584, 815 }, { 155, 365, 584 }, { 365, 584, 815 } ], [ { 155, 164, 815 }, { 155, 164, 835 }, { 164, 815, 835 }, { 155, 815, 835 } ], [ { 167, 293, 614 }, { 167, 293, 837 }, { 293, 614, 837 }, { 167, 614, 837 } ], [ { 188, 614, 844 }, { 188, 614, 837 }, { 188, 837, 844 }, { 614, 837, 844 } ], [ { 167, 188, 614 }, { 167, 188, 605, 608 }, { 188, 608, 614 }, { 605, 608, 614 }, { 167, 605, 614 } ], [ { 25, 195, 213, 907 }, { 18, 25, 213, 219 }, { 18, 195, 219, 907 }, { 195, 213, 219 }, { 18, 25, 907 } ], [ { 18, 188, 232 }, { 18, 167, 232 }, { 18, 167, 188 }, { 167, 188, 232 } ], [ { 18, 167, 271 }, { 167, 271, 659, 682 }, { 18, 25, 167, 682 }, { 18, 25, 271, 659 }, { 25, 659, 682 } ], [ { 281, 682, 708 }, { 682, 708, 908 }, { 281, 708, 908 }, { 281, 682, 908 } ], [ { 288, 692, 837, 908 }, { 708, 717, 837, 908 }, { 692, 708, 908 }, { 288, 692, 708, 717 }, { 288, 717, 837 } ], [ { 167, 293, 717 }, { 293, 717, 837 }, { 167, 717, 837 }, { 167, 293, 837 } ], [ { 837, 920, 921 }, { 352, 837, 916, 921 }, { 352, 837, 919, 920 }, { 916, 919, 920, 921 }, { 352, 916, 919 } ], [ { 311, 750, 925 }, { 311, 352, 750 }, { 311, 352, 916, 925 }, { 750, 916, 925 }, { 352, 750, 916 } ], [ { 311, 322, 334 }, { 311, 320, 330, 334 }, { 322, 330, 334 }, { 320, 322, 330 }, { 311, 320, 322 } ], [ { 311, 322, 751 }, { 311, 352, 751 }, { 322, 352, 751 }, { 311, 322, 352 } ], [ { 322, 334, 761 }, { 322, 365, 761 }, { 334, 365, 761 }, { 322, 334, 365 } ], [ { 35, 409, 412 }, { 35, 412, 825 }, { 35, 409, 825 }, { 409, 412, 825 } ], [ { 365, 382, 412 }, { 365, 382, 825 }, { 382, 412, 825 }, { 365, 412, 825 } ], [ { 406, 412, 425 }, { 406, 409, 425 }, { 406, 409, 412 }, { 409, 412, 425 } ], [ { 455, 459, 493, 790 }, { 431, 455, 493 }, { 431, 493, 790 }, { 431, 459, 790 }, { 431, 455, 459 } ], [ { 455, 490, 502 }, { 490, 493, 502 }, { 455, 493, 502 }, { 455, 490, 493 } ], [ { 455, 522, 823 }, { 522, 540, 823 }, { 455, 522, 540 }, { 455, 540, 823 } ], [ { 78, 490, 823 }, { 455, 490, 823 }, { 78, 455, 823 }, { 78, 455, 490 } ], [ { 522, 815, 823 }, { 522, 540, 823 }, { 522, 540, 815 }, { 540, 815, 823 } ], [ { 558, 562, 823, 825 }, { 562, 815, 825 }, { 815, 823, 825 }, { 558, 815, 823 }, { 558, 562, 815 } ], [ { 365, 382, 815 }, { 382, 815, 825 }, { 365, 382, 825 }, { 365, 815, 825 } ], [ { 540, 815, 835 }, { 128, 815, 835 }, { 128, 540, 815 }, { 128, 540, 835 } ], [ { 155, 815, 835 }, { 155, 365, 815 }, { 155, 365, 835 }, { 365, 815, 835 } ], [ { 167, 188, 614 }, { 167, 188, 837 }, { 188, 614, 837 }, { 167, 614, 837 } ], [ { 167, 188, 682, 928, 929, 930 }, { 18, 25, 167, 682 }, { 18, 188, 907, 929 }, { 18, 167, 188 }, { 25, 682, 930 }, { 25, 907, 928, 930 }, { 18, 25, 907 }, { 907, 928, 929 } ], [ { 167, 717, 837 }, { 708, 717, 837, 908 }, { 167, 682, 837, 908 }, { 167, 682, 708, 717 }, { 682, 708, 908 } ], [ { 311, 837, 921, 925 }, { 311, 352, 837 }, { 311, 352, 916, 925 }, { 352, 837, 916, 921 }, { 916, 921, 925 } ], [ { 322, 334, 365 }, { 322, 352, 365 }, { 311, 334, 352, 365 }, { 311, 322, 352 }, { 311, 322, 334 } ], [ { 365, 409, 412 }, { 365, 412, 825 }, { 365, 409, 825 }, { 409, 412, 825 } ], [ { 412, 425, 931 }, { 409, 425, 931 }, { 409, 412, 931 }, { 409, 412, 425 } ], [ { 455, 459, 540 }, { 431, 455, 459 }, { 431, 459, 540 }, { 431, 455, 540 } ], [ { 455, 490, 493 }, { 431, 455, 490 }, { 431, 490, 493 }, { 431, 455, 493 } ], [ { 455, 490, 823 }, { 490, 540, 823 }, { 455, 540, 823 }, { 455, 490, 540 } ], [ { 490, 815, 823 }, { 540, 815, 823 }, { 490, 540, 823 }, { 490, 540, 815 } ], [ { 409, 490, 815 }, { 409, 815, 825 }, { 409, 490, 823, 825 }, { 490, 815, 823 }, { 815, 823, 825 } ], [ { 365, 409, 815 }, { 365, 815, 825 }, { 409, 815, 825 }, { 365, 409, 825 } ], [ { 365, 815, 835 }, { 540, 815, 835 }, { 365, 540, 815 }, { 365, 540, 835 } ], [ { 167, 682, 837, 908 }, { 167, 188, 682, 928, 929, 930 }, { 167, 188, 837 }, { 188, 837, 929, 932 }, { 908, 928, 930, 932 }, { 682, 908, 930 }, { 837, 908, 932 }, { 928, 929, 932 } ], [ { 352, 365, 837, 932 }, { 311, 334, 352, 365 }, { 311, 352, 837 }, { 311, 334, 837, 932 }, { 334, 365, 932 } ], [ { 365, 412, 931 }, { 365, 409, 931 }, { 409, 412, 931 }, { 365, 409, 412 } ], [ { 455, 490, 540 }, { 431, 455, 490 }, { 431, 490, 540 }, { 431, 455, 540 } ], [ { 365, 540, 815 }, { 365, 409, 815 }, { 365, 409, 490, 540 }, { 409, 490, 815 }, { 490, 540, 815 } ], [ { 352, 365, 837, 932 }, { 352, 540, 837, 908 }, { 352, 365, 540 }, { 365, 540, 908, 932 }, { 837, 908, 932 } ], [ { 365, 409, 490, 540 }, { 365, 431, 540, 931 }, { 431, 490, 540 }, { 409, 431, 490, 931 }, { 365, 409, 931 } ], [ { 365, 431, 540, 931 }, { 352, 431, 540, 933 }, { 352, 365, 540 }, { 352, 365, 931, 933 }, { 431, 931, 933 } ] ] /* 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, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 3, 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, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 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, 3, 1, 1, 1, 3, 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, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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, 1, 1, 1, 1, 1, 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, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 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, 1, 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, 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, 3, 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, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 3, 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>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <6, 2>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <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>, <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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <6, 2> ]