/* Defining polynomial */ x^2 - x + 391 /* Minimal vectors */ [ <-8*w + 5, 3*w - 126>, <3*w + 121, -6*w + 3>, <-5*w + 126, -3*w - 123>, <23*w + 247, -19*w + 268>, <-4*w + 519, -19*w - 249>, <-w + 10, -19>, <-w + 11, -19>, <-2*w + 21, -38>, <2*w + 31, -2*w + 19>, <-w + 36, -w - 28>, <-4*w + 23, w - 74>, <2*w + 25, -2*w + 21>, <-w + 61, -2*w - 43>, <2*w + 74, -4*w - 1>, <-3*w + 11, w - 53>, <-2*w + 97, -3*w - 75>, <3*w + 38, -3*w + 31>, <2*w + 47, -3*w + 13>, <2*w + 70, -4*w + 3>, <-4*w + 91, -2*w - 108>, <-2*w + 161, -6*w - 105>, <-6*w + 23, 2*w - 110>, <8*w + 48, -6*w + 111>, , <2*w + 71, -4*w + 1>, <-3*w + 11, w - 56>, <-8*w + 22, 3*w - 146>, <8*w + 47, -6*w + 115>, <5*w + 58, -5*w + 59>, <-2*w + 47, -w - 55>, <117, -5*w - 54>, <-5*w + 129, -3*w - 143>, <-2*w + 164, -6*w - 109>, <-7*w + 36, 2*w - 136>, <4*w + 45, -4*w + 47>, <-3*w + 58, -w - 78>, <4*w + 114, -7*w + 15>, <6*w + 21, -4*w + 92>, <23, -w - 11>, , <7*w + 55, -6*w + 93>, <-w + 104, -4*w - 66>, <-4*w + 24, w - 79>, <92, -4*w - 43>, <-5*w + 105, -2*w - 134>, <3*w + 126, -7*w - 8>, <-104*w + 189, 46*w - 1872>, <-27*w + 664, -15*w - 780>, <73*w + 865, -76*w + 837>, <-31*w + 1054, -30*w - 1035>, <104*w + 85, -58*w + 1741>, <27*w + 637, -42*w + 158>, <-73*w + 938, -3*w - 1699>, <31*w + 1023, -61*w + 42>, <111*w + 93, -62*w + 1857>, <50*w + 637, -54*w + 552>, <-18*w + 2748, -111*w - 1622>, <93*w + 2841, -173*w + 235>, <173*w + 62, -93*w + 2934>, <54*w + 498, -50*w + 687>, <-111*w + 1733, -18*w - 2730>, <62*w + 1795, -111*w + 204>, <12*w + 131, -12*w + 143>, <16*w + 266, -20*w + 147>, <-14*w + 509, -15*w - 483>, <2*w + 775, -35*w - 336>, <-8*w + 4, 4*w - 139>, <-20*w + 124, 5*w - 402>, <20*w + 127, -16*w + 282>, <-15*w + 498, -14*w - 495>, <5*w + 625, -30*w - 213>, <-35*w + 371, 2*w - 777>, <-4*w + 93, -2*w - 113>, <16*w + 152, -15*w + 202>, <-17*w + 179, w - 377>, <-7*w + 197, -5*w - 214>, <9*w + 349, -20*w - 12>, <-12*w + 97, 2*w - 252>, <-10*w + 347, -10*w - 337>, <-3*w + 720, -30*w - 395>, <-15*w + 817, -28*w - 647>, <2*w + 250, -12*w - 85>, <-30*w + 425, -3*w - 717>, <-28*w + 675, -15*w - 802>, <-14*w + 7, 7*w - 244>, <22*w + 80, -15*w + 340>, <-22*w + 102, 7*w - 427>, <7*w + 258, -15*w - 3>, <-7*w + 265, -8*w - 247>, <2*w + 22, -2*w + 21>, <-4*w + 53, -91>, <-2*w + 75, -2*w - 70>, , <-w + 12, -21>, <2*w + 25, -2*w + 20>, , <2*w + 50, -3*w + 9>, <-2*w + 24, -43>, <4*w + 49, -4*w + 42>, <2*w + 73, -4*w - 1>, <-w + 85, -3*w - 55>, <-5*w + 15, 2*w - 88>, <-w + 37, -w - 34>, <3*w + 107, -6*w - 3>, <145, -6*w - 70>, , <-3*w + 14, w - 56>, <-6*w + 52, w - 124>, <-3*w + 157, -5*w - 126>, <-3*w + 13, w - 55>, <8*w + 45, -6*w + 109>, <5*w + 58, -5*w + 54>, <120, -5*w - 57>, <3*w + 11, -2*w + 44>, <-w + 12, -22>, <6*w + 46, -5*w + 77>, <3*w + 154, -8*w - 23>, <3*w + 35, -3*w + 32>, <10*w + 44, -7*w + 141>, <-6*w + 75, -133>, <-3*w + 110, -3*w - 101>, <5*w + 10, -3*w + 76>, , <145, -6*w - 69>, <-2*w + 1, w - 33>, <-5*w + 14, 2*w - 88>, <-1100*w + 550, 550*w - 17531>, <829*w + 8864, -787*w + 8759>, <-829*w + 9693, 42*w - 17665>, <550*w + 24559, -1272*w - 3153>, <-550*w + 25109, -722*w - 20684>, <-1132*w + 566, 566*w - 18041>, <1132*w + 5437, -807*w + 15160>, <6003, -241*w - 2881>, <-566*w + 24569, -692*w - 20676>, <279*w + 2862, -260*w + 3006>, <-279*w + 3141, 19*w - 5887>, <1124*w + 17721, -1296*w + 9139>, <-1124*w + 18845, -172*w - 26688>, <845*w + 20862, -1277*w + 3252>, <-845*w + 21707, -432*w - 23682>, <-1132*w + 6569, 325*w - 20922>, <566*w + 24003, -1258*w - 2635>, <-2*w + 3, w - 31>, <-w + 15, -23>, , <53, -2*w - 28>, , <-w + 16, -23>, <27, -w - 15>, , <28, -w - 14>, <-2*w + 29, -42>, , <-w + 43, -w - 35>, <-2*w + 1, w - 28>, , <-6*w + 60, w - 111>, <143, -5*w - 69>, <-w + 15, -21>, <6*w + 54, -5*w + 56>, <5*w + 69, -5*w + 35>, <-5*w + 74, -104>, <2*w + 27, -2*w + 15>, <28, -w - 13>, <-w + 42, -w - 34>, , <3*w + 99, -5*w - 7>, <-3*w + 102, -2*w - 90>, <10*w + 110, -9*w + 83>, <-10*w + 120, w - 194>, <7*w + 212, -11*w - 7>, <-7*w + 219, -4*w - 201>, <-4*w + 2, 2*w - 51>, <5*w + 13, -3*w + 56>, , <4*w + 29, -3*w + 36>, <31, -w - 15>, <-2*w + 64, -w - 56>, <-w + 79, -2*w - 51>, <-2*w + 95, -2*w - 71>, <3*w + 108, -5*w - 15>, <3*w + 15, -2*w + 45>, <2*w + 25, -2*w + 24>, <46, -2*w - 19>, <2*w + 71, -4*w + 5>, , <26, -w - 10>, , <-w + 34, -w - 31>, , <5*w + 63, -5*w + 58>, <4*w + 97, -6*w + 27>, <2*w + 25, -2*w + 22>, <4*w + 26, -3*w + 54>, <48, -2*w - 21>, <-3*w + 82, -2*w - 85>, <47, -2*w - 20>, <-5*w + 55, -107>, <5*w + 62, -5*w + 57>, <-2*w + 69, -2*w - 63>, <-5*w + 102, -2*w - 127>, <3*w + 131, -7*w - 6>, <-5*w + 8, 2*w - 87>, <2*w + 25, -2*w + 23>, <-w + 81, -3*w - 51>, <2*w + 1, -w + 32>, , <121, -5*w - 53>, <2*w + 122, -6*w - 21>, <49, -2*w - 22>, <-8*w + 24, 3*w - 142>, <24, -w - 11>, <-8*w + 48, 2*w - 153>, <-5*w + 251, -8*w - 197>, <-10*w + 48, 3*w - 186>, <3*w + 131, -7*w - 11>, <4*w + 143, -8*w>, <-7*w + 179, -4*w - 197>, <4*w + 24, -3*w + 56>, <4*w + 71, -5*w + 35>, <-5*w + 81, -w - 120>, <-w + 105, -4*w - 64>, <5*w + 36, -4*w + 68>, <-6*w + 45, w - 121>, <-w + 81, -3*w - 53>, , , <-10*w + 21, 4*w - 178>, <116, -5*w - 52>, <-w + 197, -8*w - 105>, <7*w + 13, -4*w + 112>, <4*w + 117, -7*w + 15>, <3*w + 59, -4*w + 23>, <5*w + 59, -5*w + 57>, <-3*w + 128, -4*w - 108>, <3*w + 129, -7*w - 8>, <9*w + 83, -8*w + 113>, <-6*w + 163, -4*w - 174>, <-6*w + 46, w - 121>, <-2*w + 70, -2*w - 65>, <-9*w + 56, 2*w - 179>, <-4*w + 68, -w - 99>, <-w + 80, -3*w - 53>, <-5*w + 148, -4*w - 152>, <-9*w + 148, -2*w - 220>, <7*w + 196, -12*w + 31>, <-5*w + 11, 2*w - 90>, <5*w + 12, -3*w + 80>, <2*w + 69, -4*w + 3>, <7*w + 81, -7*w + 83>, <-4*w + 1, 2*w - 69>, <-3*w + 12, w - 57>, <4*w + 22, -3*w + 58>, <3*w + 125, -7*w - 7>, <-11*w + 83, 2*w - 222>, <5*w + 222, -12*w - 19>, <-3*w + 82, -2*w - 88>, <4*w + 23, -3*w + 56>, <-6*w + 24, 2*w - 111>, <-3*w + 59, -w - 77>, <-9*w + 13, 4*w - 156>, <-5*w + 36, w - 100>, <-7*w + 130, -2*w - 177>, <9*w + 34, -6*w + 135>, <-5*w + 59, -111>, <4*w + 93, -6*w + 24>, <-6*w + 94, -w - 144>, <2*w + 70, -4*w + 1>, <-2*w + 94, -3*w - 77>, <164, -7*w - 76>, <6*w + 44, -5*w + 81>, <-2*w + 70, -2*w - 67>, <-w + 81, -3*w - 55>, <-2*w + 47, -w - 56>, <4*w + 114, -7*w + 14>, <-6*w + 25, 2*w - 113>, <3*w + 57, -4*w + 24>, <3*w + 80, -5*w + 13>, , <-3*w + 105, -3*w - 100>, <-5*w + 35, w - 101>, <115, -5*w - 53>, <7*w + 126, -9*w + 61>, <-5*w + 150, -4*w - 154>, <21*w + 8, -11*w + 353>, <-13*w + 382, -10*w - 398>, <8*w + 390, -21*w - 45>, <-108*w + 1146, 5*w - 2366>, <-15*w + 2385, -96*w - 1361>, <-7*w + 13, 3*w - 125>, <3*w + 103, -6*w + 3>, <-21*w + 108, 6*w - 407>, <-18*w + 211, -404>, <-4*w + 116, -3*w - 122>, <-15*w + 314, -6*w - 401>, <3*w + 34, -3*w + 35>, <6*w + 137, -9*w + 38>, <-8*w + 209, -5*w - 233>, <-w + 127, -5*w - 76>, <2*w + 161, -8*w - 41>, <-13*w + 37, 5*w - 238>, <6*w + 45, -5*w + 81>, <69, -3*w - 32>, <6*w + 114, -8*w + 49>, <3*w + 172, -9*w - 29>, , <161, -7*w - 75>, <-10*w + 71, 2*w - 203>, <-60*w + 38, 29*w - 1038>, <-27*w + 1076, -33*w - 962>, <29*w + 1085, -62*w - 14>, <60*w + 54, -33*w + 995>, <-31*w + 1031, -29*w - 1009>, <33*w + 1038, -62*w + 76>, <-5*w + 13, 2*w - 91>, , <5*w + 33, -4*w + 70>, <-3*w + 81, -2*w - 89>, <-8*w + 140, -2*w - 201>, <7*w + 79, -7*w + 82>, <4*w + 68, -5*w + 36>, <-9*w + 13, 4*w - 158>, <5*w + 57, -5*w + 58>, <-4*w + 70, -w - 100>, <2*w + 185, -9*w - 52>, <-3*w + 34, -66>, <4*w + 47, -4*w + 47>, <69, -3*w - 31>, <-3*w + 103, -3*w - 97>, <5*w + 35, -4*w + 69>, <3*w + 104, -6*w + 4>, <2*w, -w + 34>, <-3*w + 35, -66>, <3*w + 35, -3*w + 34>, <94, -4*w - 43>, <6*w, -3*w + 100>, <-w + 35, -w - 33>, <-w + 105, -4*w - 65>, <3*w + 105, -6*w + 2>, <-195*w + 497, 80*w - 3578>, <214*w + 669, -141*w + 3346>, <42*w + 892, -61*w + 293>, <19*w + 1166, -61*w - 232>, <-115*w + 3196, -80*w - 3498>, <-73*w + 4088, -141*w - 3205>, <-84*w + 567, 19*w - 1710>, <-65*w + 1733, -42*w - 1942>, <145*w + 2016, -164*w + 1520>, <38*w + 2857, -145*w - 715>, <-46*w + 3424, -126*w - 2425>, <103*w + 599, -80*w + 1478>, <-4*w + 1965, -84*w - 1008>, <99*w + 2564, -164*w + 470>, <15*w + 3656, -168*w - 1491>, <164*w + 306, -99*w + 2663>, <-84*w + 1092, -4*w - 1961>, <80*w + 1398, -103*w + 702>, <-168*w + 1659, 15*w - 3671>, <88*w + 1120, -95*w + 972>, <-8*w + 1305, -53*w - 761>, <-31*w + 1579, -53*w - 1286>, <-108*w + 2405, -49*w - 3000>, <-4*w + 390, -15*w - 255>, <-58*w + 942, -11*w - 1444>, <-62*w + 31, 31*w - 1077>, <776, -34*w - 371>, <-27*w + 915, -26*w - 900>, <31*w + 1274, -72*w - 78>, <27*w + 888, -53*w + 38>, <-31*w + 1305, -41*w - 1155>, <4*w + 386, -19*w - 116>, <-88*w + 1208, -7*w - 2085>, <8*w + 1297, -61*w - 483>, <31*w + 1548, -84*w - 209>, <108*w + 2297, -157*w + 752>, <58*w + 884, -69*w + 571>, <-92*w + 297, 35*w - 1718>, <73*w + 363, -54*w + 1077>, <-15*w + 1046, -38*w - 757>, <58*w + 1409, -92*w + 320>, <92*w + 228, -58*w + 1467>, <-38*w + 795, -15*w - 1031>, <54*w + 1023, -73*w + 436>, <35*w + 1683, -92*w - 205>, <-61*w + 544, 8*w - 1305>, <31*w + 772, -50*w + 162>, <81*w + 1409, -104*w + 714>, <-19*w + 135, 4*w - 390>, <58*w + 1158, -81*w + 440>, <-49*w + 1451, -38*w - 1533>, <-119*w + 436, 43*w - 2247>, <-7*w + 2343, -99*w - 1240>, <50*w + 112, -31*w + 803>, <81*w + 359, -58*w + 1216>, <-38*w + 1571, -49*w - 1402>, <104*w + 610, -81*w + 1490>, <16*w + 15, -9*w + 267>, <-19*w + 112, 5*w - 379>, <20*w + 150, -17*w + 271>, , <-10*w + 370, -11*w - 348>, <10*w + 520, -28*w - 77>, <-31*w + 255, 5*w - 653>, <-19*w + 386, -7*w - 510>, <-50*w + 641, -2*w - 1163>, <-7*w + 768, -30*w - 487>, <-54*w + 506, 6*w - 1167>, <13*w + 895, -46*w - 205>, <-74*w + 128, 33*w - 1329>, <-43*w + 124, 17*w - 796>, <4*w + 135, -8*w + 4>, <-12*w + 120, w - 263>, <17*w + 254, -20*w + 170>, <9*w + 258, -16*w + 31>, <5*w + 374, -19*w - 93>, <-28*w + 105, 10*w - 530>, <-11*w + 359, -10*w - 360>, <-3*w + 104, -3*w - 101>, <-w + 331, -14*w - 175>, <10*w + 18, -6*w + 163>, <2*w + 227, -11*w - 74>, <12*w + 245, -17*w + 89>, <-20*w + 101, 6*w - 391>, <14*w + 381, -24*w + 58>, <3*w + 740, -34*w - 302>, <9*w + 7, -5*w + 151>, <6*w + 111, -8*w + 50>, <-8*w + 209, -5*w - 237>, , <-5*w + 105, -2*w - 136>, <12*w + 427, -25*w + 2>, <-5*w + 82, -w - 125>, <7*w + 99, -8*w + 73>, <2*w + 181, -9*w - 52>, <-7*w + 83, -160>, <-6*w + 94, -w - 148>, <-13*w + 177, -w - 308>, , <2*w + 204, -10*w - 63>, <8*w + 87, -8*w + 96>, <6*w + 88, -7*w + 61>, <182, -8*w - 87>, <-7*w + 652, -25*w - 432>, <-w + 740, -32*w - 371>, <26*w + 169, -21*w + 366>, <-13*w + 564, -18*w - 493>, <-26*w + 13, 13*w - 453>, <-26*w + 195, 5*w - 540>, <13*w + 551, -31*w - 40>, <7*w + 645, -32*w - 188>, , <7*w + 76, -7*w + 84>, <-8*w + 95, -183>, <13*w + 164, -14*w + 145>, <-w + 12, -23>, <-7*w + 106, -w - 171>, <-2*w + 183, -7*w - 122>, <5*w + 77, -6*w + 49>, <4*w + 89, -6*w + 26>, <-w + 194, -8*w - 110>, <-2*w + 206, -8*w - 133>, <-6*w + 117, -2*w - 159>, <-9*w + 16, 4*w - 162>, <-10*w + 28, 4*w - 185>, <8*w + 201, -13*w + 41>, <-w + 217, -9*w - 121>, <5*w + 100, -7*w + 38>, <-12*w + 439, -13*w - 416>, <-3*w + 84, -2*w - 89>, <-w + 107, -4*w - 67>, <14*w + 114, -12*w + 177>, <-12*w + 170, -w - 278>, <-4*w + 191, -6*w - 156>, <2*w + 284, -13*w - 101>, <-7*w + 14, 3*w - 122>, <12*w + 91, -10*w + 155>, <5*w + 105, -7*w + 33>, <-2*w + 119, -4*w - 89>, <-8*w + 121, -w - 189>, <2*w + 189, -9*w - 56>, <-5*w + 37, w - 100>, <42*w + 248, -32*w + 577>, <5*w + 839, -38*w - 312>, <3*w + 82, -5*w + 11>, <-29*w + 636, -12*w - 778>, <7*w + 33, -5*w + 100>, , <8*w + 163, -11*w + 55>, <-5*w + 14, 2*w - 91>, <4*w + 91, -6*w + 24>, <8*w + 205, -13*w + 37>, <3*w + 219, -11*w - 54>, <11*w + 76, -9*w + 149>, <-w + 105, -4*w - 67>, <10*w + 181, -13*w + 82>, <-w + 13, -22>, , <49, -2*w - 24>, , <-2*w + 2, w - 33>, , <-w + 38, -w - 35>, <49, -2*w - 25>, <2*w + 71, -4*w - 4>, <24, -w - 12>, <-2*w + 25, -43>, <-w + 37, -w - 33>, , <49, -2*w - 23>, <-w + 62, -2*w - 45>, <2*w, -w + 32>, <-2*w + 73, -2*w - 65>, <4*w + 47, -4*w + 43>, <-4*w + 49, -88>, , <-7*w + 86, -154>, <-3*w + 38, -66>, <-4*w + 51, -88>, , , <-w + 85, -3*w - 57>, <11*w + 103, -10*w + 129>, <9*w + 104, -9*w + 96>, <-9*w + 113, -200>, <-11*w + 114, w - 233>, <10*w + 188, -13*w + 72>, <-10*w + 198, -3*w - 257>, <217, -9*w - 104>, <3*w + 35, -3*w + 31>, <4*w + 47, -4*w + 41>, <-3*w + 63, -w - 78>, <3*w + 60, -4*w + 19>, <5*w + 10, -3*w + 75>, <2*w + 48, -3*w + 9>, <3*w + 10, -2*w + 44>, <-4*w + 51, -90>, <96, -4*w - 47>, <-3*w + 38, -67>, <-5*w + 63, -112>, <120, -5*w - 58>, <-5*w + 63, -113>, <4*w + 21, -3*w + 55>, <-2*w + 25, -45>, <-4*w + 98, -2*w - 113>, <167, -7*w - 81>, <4*w + 69, -5*w + 32>, <-2*w + 73, -2*w - 68>, <5*w + 58, -5*w + 55>, <-4*w + 25, w - 77>, <2*w + 23, -2*w + 22>, <4*w + 94, -6*w + 21>, <167, -7*w - 79>, <2*w + 71, -4*w - 1>, <-4*w + 73, -w - 100>, <96, -4*w - 45>, <550*w + 6002, -527*w + 5753>, <-271*w + 9414, -237*w - 8772>, <-550*w + 6552, 23*w - 11778>, <271*w + 9143, -508*w - 134>, <18557, -745*w - 8906>, <-16*w + 8, 8*w - 255>, <287*w + 2584, -253*w + 3265>, <-16*w + 6011, -233*w - 3136>, <-16*w + 12014, -474*w - 6017>, <-287*w + 2871, 34*w - 5883>, <16*w + 5995, -249*w - 2626>, <16*w + 11998, -490*w - 5507>, <-7*w + 215, -5*w - 213>, <-8*w + 228, -5*w - 235>, <-7*w + 240, -6*w - 225>, <18*w + 16, -10*w + 275>, <-8*w + 253, -6*w - 247>, <-6*w + 227, -6*w - 203>, <-6*w + 252, -7*w - 215>, <-7*w + 265, -7*w - 237>, <10*w + 294, -17*w + 16>, <17*w + 29, -10*w + 253>, <10*w + 269, -16*w + 28>, <-80*w + 886, 6*w - 1681>, <2*w + 1792, -73*w - 828>, , <2*w + 24, -2*w + 17>, <27, -w - 14>, <-2*w + 30, -45>, <2*w + 23, -2*w + 17>, <3*w + 34, -3*w + 26>, <-w + 42, -w - 37>, <-2*w + 57, -w - 60>, <1, -1>, , <28, -w - 15>, <-2*w + 4, w - 31>, <-108*w + 54, 54*w - 1579>, <83*w + 244, -52*w + 1076>, <-83*w + 327, 31*w - 1351>, <54*w + 1251, -74*w + 174>, <-54*w + 1305, -20*w - 1405>, <29*w + 1549, -72*w - 329>, <-29*w + 1578, -43*w - 1177>, <54*w + 1822, -95*w - 101>, <-54*w + 1876, -41*w - 1680>, , <-3*w + 44, -63>, <3*w + 41, -3*w + 22>, <-w + 14, -21>, <-6*w + 3, 3*w - 83>, <230, -8*w - 111>, <29, -w - 14>, <-6*w + 32, 2*w - 97>, <2*w + 114, -5*w - 28>, <-w + 16, -20>, <-5*w + 18, 2*w - 71>, <2*w + 62, -3*w - 5>, <3*w + 77, -4*w>, <-3*w + 80, -w - 76>, <2*w + 93, -4*w - 20>, <-w + 15, -22>, <3*w + 118, -6*w - 18>, <-3*w + 127, -3*w - 109>, <7*w + 3, -4*w + 99>, <4*w + 103, -6*w + 4>, , <-w + 16, -22>, <2*w + 25, -2*w + 15>, <-2*w + 2, w - 30>, , , <-w + 10, -21>, <8*w + 20, -4*w + 117>, <25, -w - 9>, <4*w + 136, -7*w + 13>, <-4*w + 141, -4*w - 113>, <3*w + 146, -7*w - 6>, <1, 0>, <-w + 11, -20>, <2*w + 2, -w + 33>, <-2*w + 23, -43>, <5*w + 14, -3*w + 77>, <-w + 35, -w - 32>, <4*w + 49, -4*w + 45>, <7*w + 62, -6*w + 89>, <-6*w + 115, -2*w - 150>, , <-w + 11, -21>, <-4*w + 21, w - 75>, , <-3*w + 57, -w - 74>, <5*w + 15, -3*w + 76>, <95, -4*w - 41>, <-2*w + 22, -43>, <4*w + 3, -2*w + 66>, <3*w + 37, -3*w + 35>, <-2*w + 45, -w - 53>, , <-w + 36, -w - 32>, <-9*w + 12, 4*w - 153>, <-9*w + 36, 3*w - 164>, <-5*w + 179, -5*w - 164>, <3*w + 179, -9*w - 33>, <4*w + 167, -9*w - 11>, <-6*w + 215, -6*w - 197>, <-18*w + 96, 5*w - 339>, <3*w + 155, -8*w - 22>, <2*w + 167, -8*w - 44>, <-9*w + 84, w - 186>, <-9*w + 60, 2*w - 175>, <9*w + 12, -5*w + 142>, <9*w + 36, -6*w + 131>, <-3*w + 155, -5*w - 120>, <6*w + 191, -11*w + 11>, , <9*w + 60, -7*w + 120>, <-2*w + 167, -6*w - 109>, <-3*w + 11, w - 55>, , , <-2*w + 46, -w - 54>, <3*w + 59, -4*w + 24>, <-3*w + 34, -65>, <-4*w + 69, -w - 97>, <-w + 82, -3*w - 53>, <2*w + 24, -2*w + 23>, <2*w + 71, -4*w + 2>, <-3*w + 104, -3*w - 96>, <6*w + 2, -3*w + 99>, <47, -2*w - 21>, <2*w + 1, -w + 33>, <4*w + 25, -3*w + 56>, <-5*w + 33, w - 98>, <4*w + 1, -2*w + 67>, <-4*w + 22, w - 77>, <6*w + 25, -4*w + 90>, , <23, -w - 10>, <-3*w + 57, -w - 76>, , <7*w + 12, -4*w + 111>, <-4*w + 47, -88>, <-9*w + 82, w - 187>, <7*w + 106, -8*w + 68>, <-2*w + 188, -7*w - 119>, <2*w + 47, -3*w + 12>, <5*w + 106, -7*w + 35>, <-5*w + 129, -3*w - 142>, <-4*w + 23, w - 77>, <5*w + 36, -4*w + 67>, <2*w + 23, -2*w + 24>, , <-3*w + 148, -5*w - 118>, <3*w + 12, -2*w + 46>, <9*w + 13, -5*w + 148>, <-4*w + 22, w - 78>, , <-8*w + 68, w - 167>, <2*w + 115, -6*w - 18>, <-5*w + 57, -111>, <7*w + 58, -6*w + 93>, <-7*w + 57, w - 145>, <-5*w + 58, -113>, <6*w + 67, -6*w + 72>, <-2*w + 23, -45>, <4*w + 68, -5*w + 37>, , <-7*w + 106, -w - 166>, <-w + 59, -2*w - 44>, <9*w + 128, -10*w + 91>, <8*w + 22, -5*w + 123>, <47, -2*w - 22>, <3*w + 58, -4*w + 23>, <-6*w + 95, -w - 144>, <2*w + 164, -8*w - 43>, <-w + 106, -4*w - 66>, <-4*w + 165, -5*w - 143>, <-w + 152, -6*w - 87>, <-5*w + 60, -113>, <139, -6*w - 66>, <-2*w + 24, -45>, <5*w + 11, -3*w + 80>, <161, -7*w - 74>, <-8*w + 70, w - 168>, <5*w + 80, -6*w + 48>, <-w + 219, -9*w - 118>, <-7*w + 35, 2*w - 135>, <-6*w + 24, 2*w - 113>, <14*w + 366, -23*w + 68>, <-21*w + 61, 8*w - 385>, <2*w + 414, -19*w - 158>, <21*w + 77, -14*w + 321>, <11*w + 32, -7*w + 172>, <-4*w + 208, -7*w - 165>, <3*w + 11, -2*w + 46>, <-4*w + 47, -90>, <29*w + 993, -58*w + 29>, <-w + 58, -2*w - 44>, <7*w + 80, -7*w + 81>, <-2*w + 93, -3*w - 77>, <-7*w + 36, 2*w - 135>, <185, -8*w - 86>, <10*w + 91, -9*w + 127>, <-7*w + 105, -w - 167>, , <-5*w + 105, -2*w - 133>, <-7*w + 79, -154>, <3*w + 35, -3*w + 35>, <-7*w + 82, -154>, <70, -3*w - 32>, <3*w + 82, -5*w + 13>, <-4*w + 93, -2*w - 109>, <6*w + 94, -7*w + 58>, <-w + 175, -7*w - 96>, <-6*w + 23, 2*w - 111>, <-3*w + 105, -3*w - 98>, , <-3*w + 175, -6*w - 130>, <4*w + 117, -7*w + 14>, <-84*w + 42, 42*w - 1459>, <19*w + 1691, -84*w - 483>, <-42*w + 1984, -65*w - 1668>, <-126*w + 2026, -23*w - 3127>, <-23*w + 274, -525>, <-107*w + 841, 19*w - 2235>, <42*w + 1417, -84*w + 42>, <-23*w + 3150, -126*w - 1900>, <-107*w + 316, 42*w - 1984>, <-107*w + 1366, -4*w - 2486>, <-61*w + 293, 19*w - 1185>, <525, -23*w - 251>, <-4*w + 2490, -107*w - 1259>, <-351*w + 712, 152*w - 6353>, <80*w + 873, -80*w + 953>, <152*w + 6201, -351*w - 361>, <-54*w + 552, 4*w - 1189>, <46*w + 753, -57*w + 428>, <50*w + 1139, -76*w + 312>, <-50*w + 1189, -26*w - 1425>, <-46*w + 23, 23*w - 799>, <-50*w + 938, -15*w - 1305>, <69*w + 1004, -80*w + 702>, <-23*w + 1050, -34*w - 896>, <-69*w + 1073, -11*w - 1695>, <23*w + 1027, -57*w - 97>, <50*w + 888, -65*w + 432>, <23*w + 251, -23*w + 274>, <-46*w + 799, -11*w - 1170>, <-57*w + 930, -11*w - 1421>, <81*w + 884, -81*w + 965>, <-34*w + 1181, -34*w - 1147>, <-11*w + 1432, -57*w - 873>, <-7*w + 243, -7*w - 236>, <-17*w + 613, -18*w - 584>, <47*w + 262, -36*w + 680>, <-7*w + 517, -19*w - 367>, <40*w + 779, -55*w + 313>, <-18*w + 899, -30*w - 738>, <-6*w + 1030, -42*w - 595>, <12*w + 382, -23*w + 23>, <-15*w + 247, -3*w - 375>, <-134*w + 1503, 4*w - 3014>, <4*w + 3010, -134*w - 1369>, <-3*w + 378, -15*w - 232>, <6*w + 613, -30*w - 190>, <-4*w + 116, -3*w - 124>, <-29*w + 117, 10*w - 553>, <-16*w + 236, -2*w - 387>, <26*w + 489, -35*w + 212>, <-18*w + 602, -17*w - 596>, <8*w + 19, -5*w + 128>, <-11*w + 85, 2*w - 229>, <-2*w + 115, -4*w - 89>, <6*w + 157, -10*w + 28>, <14*w + 153, -14*w + 167>, <-6*w + 231, -7*w - 213>, <-7*w + 220, -6*w - 225>, <5*w + 123, -8*w + 27>, <-11*w + 108, w - 240>, <21*w + 161, -18*w + 283>, <6*w + 385, -20*w - 81>, <-3*w + 127, -4*w - 112>, <13*w + 142, -13*w + 155>, <10*w + 269, -17*w + 43>, <17*w + 26, -10*w + 279>, , <18*w + 265, -21*w + 182>, <-27*w + 344, -w - 627>, <-23*w + 23, 11*w - 406>, <11*w + 188, -14*w + 99>, <-12*w + 6, 6*w - 209>, <31*w + 269, -28*w + 404>, <-31*w + 300, 3*w - 676>, <569, -25*w - 272>, <-2*w + 1, w - 35>, <-5*w + 61, -111>, <2*w + 47, -3*w + 11>, <4*w + 70, -5*w + 33>, <-11*w + 63, 3*w - 211>, <5*w + 200, -11*w - 12>, <-6*w + 2, 3*w - 100>, <-4*w + 25, w - 78>, , <-2*w + 1, w - 34>, <5*w + 9, -3*w + 80>, , <-3*w + 106, -3*w - 101>, <-5*w + 37, w - 102>, <5*w + 35, -4*w + 65>, <-2*w + 25, -44>, <-w + 86, -3*w - 57>, <-2*w + 50, -w - 56>, , <-4*w + 2, 2*w - 65>, <4*w + 71, -5*w + 30>, <73, -3*w - 35>, <-4*w + 75, -w - 100>, <4*w + 72, -5*w + 29>, <-4*w + 76, -w - 100>, <-w + 61, -2*w - 46>, <-w + 60, -2*w - 45>, <-3*w + 61, -w - 78>, , <3*w + 58, -4*w + 21>, , <-w + 84, -3*w - 57>, <5*w + 57, -5*w + 54>, <-5*w + 62, -111>, <8*w + 6273, -256*w - 2885>, <25*w + 273, -23*w + 228>, <-25*w + 298, 2*w - 503>, <571, -21*w - 275>, , <-w + 15, -20>, , <-w + 16, -21>, , <9*w + 39, -6*w + 137>, <-4*w + 158, -5*w - 137>, <-3*w + 170, -6*w - 125>, <8*w + 27, -5*w + 125>, <-3*w + 10, w - 53>, <3*w + 14, -2*w + 43>, , <-2*w + 21, -42>, <-3*w + 32, -63>, <2*w + 49, -3*w + 13>, <-w + 10, -20>, <-2*w + 45, -w - 52>, <-w + 58, -2*w - 41>, <-w + 57, -2*w - 41>, <-2*w + 93, -3*w - 74>, <94, -4*w - 41>, <-5*w + 9, 2*w - 88>, <-5*w + 32, w - 98>, <4*w + 72, -5*w + 36>, <3*w + 13, -2*w + 43>, <-w + 60, -2*w - 43>, <-3*w + 179, -6*w - 131>, <70, -3*w - 31>, <-6*w + 231, -7*w - 203>, <-2*w + 23, -44>, <-5*w + 34, w - 99>, <-4*w + 69, -w - 98>, <5*w + 13, -3*w + 78>, <-2*w + 93, -3*w - 75>, <-3*w + 58, -w - 76>, <3*w + 107, -6*w + 3>, <-w + 104, -4*w - 63>, <-4*w + 45, -88>, <-3*w + 126, -4*w - 107>, <-w + 11, -22>, <-4*w + 24, w - 78>, <6*w + 46, -5*w + 79>, <-12*w + 189, -2*w - 288>, <-3*w + 35, -67>, <9*w + 79, -8*w + 116>, <-10*w + 117, -224>, <5*w + 172, -10*w + 5>, <-w + 196, -8*w - 108>, <8*w + 91, -8*w + 93>, <61*w + 3108, -168*w - 441>, <-168*w + 609, 61*w - 3169>, <-107*w + 3717, -107*w - 3610>, <50*w + 363, -42*w + 683>, <-50*w + 413, 8*w - 1054>, <1826, -80*w - 873>, <12*w + 907, -46*w - 228>, <-46*w + 274, 12*w - 919>, <-54*w + 255, 17*w - 1047>, <36*w + 644, -47*w + 309>, <-30*w + 768, -18*w - 881>, <17*w + 1030, -54*w - 201>, <5*w + 146, -9*w + 16>, <-5*w + 196, -6*w - 179>, <-6*w + 185, -5*w - 191>, <41*w + 379, -38*w + 522>, <-42*w + 431, 3*w - 926>, <-w + 810, -35*w - 404>, <25*w + 363, -29*w + 256>, <-25*w + 388, -4*w - 615>, <6*w + 657, -32*w - 211>, <-6*w + 663, -26*w - 420>, <4*w + 112, -7*w + 15>, <5*w + 58, -5*w + 53>, <-5*w + 63, -111>, <48, -2*w - 23>, <3*w + 34, -3*w + 33>, <-3*w + 37, -67>, <271*w + 3140, -267*w + 2747>, <-271*w + 3411, 4*w - 5891>, <-8*w + 6281, -248*w - 3140>, <12554, -504*w - 6025>, <-8*w + 4, 4*w - 117>, <4*w + 134, -7*w - 7>, <-4*w + 138, -3*w - 124>, <27, -w - 13>, <-8*w + 31, 3*w - 130>, <3*w + 148, -7*w - 28>, <-9*w + 7, 4*w - 157>, <4*w + 139, -8*w + 8>, <-5*w + 146, -4*w - 149>, <23, -w - 9>, <24, -w - 10>, <-w + 81, -3*w - 52>, <-5*w + 155, -4*w - 153>, <3*w + 36, -3*w + 34>, <5*w + 14, -3*w + 78>, <-3*w + 57, -w - 77>, <9*w + 10, -5*w + 148>, <-4*w + 93, -2*w - 111>, <-4*w + 162, -5*w - 143>, <-31*w + 4, 16*w - 533>, <16*w + 517, -31*w + 27>, <23*w, -12*w + 394>, <-11*w + 199, -3*w - 284>, <6*w + 293, -16*w - 37>, <-6*w + 299, -10*w - 246>, <8*w + 270, -15*w - 4>, <-8*w + 278, -7*w - 259>, <5*w + 103, -7*w + 37>, <2*w + 138, -7*w - 30>, <-42*w + 1459, -42*w - 1417>, <611*w + 5709, -569*w + 7737>, <527*w + 5751, -527*w + 6278>, <-527*w + 6278, -12029>, <-611*w + 6320, 42*w - 13488>, <569*w + 7168, -611*w + 6320>, <-569*w + 7737, -42*w - 13446>, <12029, -527*w - 5751>, <42*w + 13446, -611*w - 5709>, <-42*w + 13488, -569*w - 7168>, <-15*w + 521, -15*w - 506>, <25, -w - 12>, <-w + 13, -21>, , <-w + 14, -22>, <-w + 36, -w - 34>, <-4*w + 139, -4*w - 135>, <0, 1> ] /* Voronoi top cells */ [ { 1, 2, 3, 4, 5 }, { 6, 7, 8, 9, 10 }, { 11, 12, 13, 14 }, { 11, 12, 14, 15, 16 }, { 11, 15, 16, 17 }, { 18, 19, 20, 21 }, { 22, 23, 24, 25 }, { 26, 27, 28, 29 }, { 30, 31, 32, 33 }, { 34, 35, 36, 37 }, { 38, 39, 40, 41, 42 }, { 43, 44, 45, 46 }, { 47, 48, 49, 50 }, { 51, 52, 53, 54 }, { 55, 56, 57, 58 }, { 59, 60, 61, 62 }, { 63, 64, 65, 66 }, { 67, 68, 69, 70, 71 }, { 63, 69, 70, 72 }, { 73, 74, 75, 76, 77 }, { 78, 79, 80, 81 }, { 79, 82, 83, 84 }, { 85, 86, 87, 88, 89 }, { 90, 91, 92, 93 }, { 94, 95, 96, 97 }, { 98, 99, 100, 101 }, { 102, 103, 104, 105 }, { 106, 107, 108, 109 }, { 110, 111, 112, 113 }, { 114, 115, 116, 117 }, { 118, 119, 120, 121 }, { 121, 122, 123, 124 }, { 110, 113, 125, 126 }, { 127, 128, 129, 130, 131 }, { 132, 133, 134, 135 }, { 136, 137, 138, 139, 140, 141 }, { 132, 134, 142, 143 }, { 144, 145, 146, 147 }, { 148, 149, 150, 151 }, { 152, 153, 154, 155 }, { 156, 157, 158, 159 }, { 156, 159, 160, 161 }, { 157, 159, 160, 162, 163 }, { 164, 165, 166, 167 }, { 168, 169, 170, 171, 172, 173 }, { 174, 175, 176, 177, 178, 179, 180, 181, 182 }, { 183, 184, 185, 186 }, { 1, 2, 3, 6 }, { 6, 7, 8, 187, 188, 189 }, { 190, 191, 192, 193 }, { 194, 195, 196, 197 }, { 198, 199, 200, 201, 202, 203 }, { 198, 204, 205, 206 }, { 207, 208, 209, 210 }, { 12, 13, 14, 211 }, { 11, 12, 13, 15, 17 }, { 212, 213, 214, 215 }, { 216, 217, 218, 219 }, { 220, 221, 222, 223 }, { 224, 225, 226, 227 }, { 18, 19, 20, 228 }, { 226, 229, 230, 231 }, { 226, 230, 232, 233 }, { 22, 24, 25, 234 }, { 220, 235, 236, 237 }, { 220, 235, 238, 239 }, { 220, 239, 240, 241 }, { 242, 243, 244, 245 }, { 26, 29, 246, 247 }, { 26, 27, 29, 248 }, { 242, 249, 250, 251 }, { 252, 253, 254, 255 }, { 30, 31, 256, 257 }, { 30, 31, 32, 258 }, { 30, 259, 260, 261 }, { 259, 262, 263, 264 }, { 265, 266, 267, 268 }, { 264, 269, 270, 271 }, { 39, 42, 272, 273, 274 }, { 273, 274, 275, 276 }, { 275, 277, 278, 279, 280, 281 }, { 282, 283, 284, 285 }, { 286, 287, 288, 289, 290 }, { 291, 292, 293, 294 }, { 292, 294, 295, 296 }, { 292, 297, 298, 299 }, { 297, 299, 300, 301 }, { 302, 303, 304, 305 }, { 292, 302, 304, 306 }, { 34, 35, 36, 307 }, { 35, 36, 291, 308 }, { 36, 291, 304, 309 }, { 44, 310, 311, 312 }, { 35, 313, 314, 315 }, { 38, 39, 40, 42, 316 }, { 254, 317, 318, 319 }, { 43, 295, 297, 320 }, { 43, 44, 295, 321 }, { 43, 44, 45, 322 }, { 323, 324, 325, 326 }, { 327, 328, 329, 330 }, { 248, 331, 332, 333 }, { 334, 335, 336, 337 }, { 258, 338, 339, 340 }, { 341, 342, 343, 344, 345, 346 }, { 347, 348, 349, 350, 351 }, { 352, 353, 354, 355 }, { 356, 357, 358, 359 }, { 360, 361, 362, 363 }, { 48, 49, 364, 365 }, { 48, 49, 50, 364 }, { 366, 367, 368, 369 }, { 366, 367, 370, 371 }, { 52, 53, 54, 372 }, { 373, 374, 375, 376 }, { 52, 53, 372, 377 }, { 378, 379, 380, 381 }, { 382, 383, 384, 385 }, { 55, 56, 57, 386 }, { 55, 56, 387, 388 }, { 387, 389, 390, 391 }, { 62, 374, 380, 392, 393 }, { 372, 394, 395, 396 }, { 60, 62, 394, 397 }, { 60, 61, 62, 374 }, { 398, 399, 400, 401 }, { 398, 400, 402, 403 }, { 404, 405, 406, 407 }, { 63, 404, 408, 409 }, { 404, 405, 409, 410 }, { 63, 69, 404, 411 }, { 63, 64, 65, 412 }, { 67, 68, 70, 413 }, { 63, 67, 69, 70 }, { 413, 414, 415, 416 }, { 414, 415, 417, 418 }, { 73, 74, 75, 76, 419, 420 }, { 73, 75, 421, 422, 423 }, { 78, 79, 80, 82, 83 }, { 418, 424, 425, 426 }, { 421, 427, 428, 429 }, { 427, 428, 429, 430 }, { 428, 430, 431, 432 }, { 317, 433, 434, 435 }, { 317, 434, 435, 436 }, { 434, 436, 437, 438 }, { 73, 434, 439, 440 }, { 73, 428, 439, 440 }, { 436, 437, 438, 441 }, { 442, 443, 444, 445 }, { 443, 444, 446, 447 }, { 443, 448, 449, 450 }, { 443, 446, 447, 448 }, { 437, 443, 451, 452 }, { 443, 449, 450, 451 }, { 85, 88, 89, 443 }, { 442, 453, 454, 455 }, { 453, 456, 457, 458 }, { 442, 453, 455, 457 }, { 456, 457, 458, 459 }, { 457, 460, 461, 462 }, { 460, 461, 462, 463 }, { 463, 464, 465, 466 }, { 463, 464, 466, 467 }, { 463, 467, 468, 469 }, { 470, 471, 472, 473, 474, 475 }, { 470, 471, 474, 476, 477, 478 }, { 476, 478, 479, 480, 481 }, { 479, 482, 483, 484 }, { 479, 483, 485, 486 }, { 471, 487, 488, 489 }, { 490, 491, 492, 493 }, { 491, 494, 495, 496 }, { 497, 498, 499, 500 }, { 501, 502, 503, 504 }, { 90, 501, 504, 505 }, { 90, 91, 93, 501 }, { 90, 92, 93, 506 }, { 94, 95, 96, 507, 508 }, { 508, 509, 510, 511 }, { 94, 96, 211, 512 }, { 98, 211, 512, 513 }, { 98, 100, 101, 213 }, { 98, 99, 101, 512 }, { 514, 515, 516, 517 }, { 509, 518, 519, 520 }, { 521, 522, 523, 524, 525, 526, 527, 528, 529 }, { 497, 530, 531, 532 }, { 509, 518, 519, 533 }, { 518, 533, 534, 535 }, { 106, 536, 537, 538 }, { 103, 104, 105, 539 }, { 125, 536, 540, 541 }, { 106, 107, 108, 542 }, { 106, 107, 536, 543 }, { 107, 544, 545, 546 }, { 107, 545, 547, 548 }, { 110, 112, 113, 125 }, { 114, 115, 116, 549 }, { 110, 114, 115, 550 }, { 114, 551, 552, 553 }, { 114, 552, 554, 555 }, { 110, 115, 514, 556 }, { 118, 120, 121, 125 }, { 118, 121, 123, 124 }, { 110, 118, 125, 126 }, { 129, 137, 557, 558 }, { 128, 136, 559, 560 }, { 127, 128, 129, 557, 559 }, { 128, 129, 136, 137, 561 }, { 134, 562, 563, 564 }, { 134, 136, 564, 565 }, { 134, 562, 566, 567 }, { 134, 137, 567, 568 }, { 133, 134, 135, 136 }, { 132, 134, 135, 143 }, { 135, 136, 137, 140, 141, 143 }, { 134, 137, 142, 143 }, { 509, 569, 570, 571 }, { 570, 571, 572, 573 }, { 509, 571, 574, 575 }, { 571, 575, 576, 577 }, { 571, 578, 579, 580, 581 }, { 571, 572, 573, 579 }, { 571, 576, 577, 578 }, { 144, 145, 146, 582 }, { 144, 582, 583, 584 }, { 144, 145, 584, 585 }, { 145, 148, 586, 587, 588, 589 }, { 148, 149, 150, 590 }, { 149, 590, 591, 592 }, { 148, 149, 591, 593 }, { 594, 595, 596, 597, 598, 599, 600, 601, 602 }, { 152, 153, 154, 603 }, { 152, 153, 155, 160 }, { 153, 156, 160, 604 }, { 156, 157, 159, 160 }, { 156, 157, 164, 605 }, { 164, 165, 166, 606 }, { 157, 164, 165, 167 }, { 168, 169, 170, 171, 607, 608 }, { 160, 168, 607, 609, 610, 611 }, { 174, 175, 176, 178, 179, 181, 612, 613, 614, 615, 616, 617 }, { 584, 618, 619, 620 }, { 618, 619, 620, 621, 622 }, { 591, 618, 621, 622 }, { 590, 591, 623, 624 }, { 591, 618, 623, 625 }, { 152, 618, 623, 625 }, { 618, 626, 627, 628 }, { 183, 184, 185, 629 }, { 1, 3, 6, 187, 630, 631, 632, 633, 634 }, { 6, 7, 187, 188, 635, 636 }, { 190, 191, 192, 637 }, { 194, 196, 197, 638 }, { 639, 640, 641, 642, 643, 644 }, { 645, 646, 647, 648 }, { 194, 646, 647, 649, 650 }, { 198, 199, 200, 201, 651 }, { 198, 204, 205, 651 }, { 205, 651, 652, 653, 654, 655 }, { 207, 208, 209, 656 }, { 12, 13, 94, 211 }, { 12, 13, 15, 17, 656 }, { 657, 658, 659, 660 }, { 212, 213, 657, 661 }, { 212, 213, 214, 658, 660, 662 }, { 658, 663, 664, 665 }, { 115, 213, 665, 666 }, { 213, 214, 658, 662, 665, 667 }, { 115, 216, 217, 218, 664 }, { 668, 669, 670, 671 }, { 669, 670, 672, 673, 674 }, { 220, 221, 223, 675 }, { 220, 223, 236, 676 }, { 221, 223, 675, 677 }, { 224, 227, 678, 679 }, { 224, 226, 232, 676 }, { 224, 226, 227, 678 }, { 640, 680, 681, 682 }, { 680, 683, 684, 685 }, { 680, 684, 686, 687 }, { 680, 688, 689, 690 }, { 683, 691, 692, 693, 694 }, { 18, 19, 228, 695 }, { 18, 228, 696, 697 }, { 226, 229, 230, 691 }, { 226, 230, 232, 676 }, { 234, 698, 699, 700, 701, 702 }, { 234, 698, 703, 704, 705 }, { 24, 25, 234, 672 }, { 24, 234, 703, 706 }, { 24, 241, 706, 707 }, { 220, 235, 236, 676 }, { 220, 235, 239, 241 }, { 243, 708, 709, 710 }, { 243, 244, 711, 712 }, { 242, 243, 244, 250 }, { 26, 244, 711, 713 }, { 26, 244, 250, 714 }, { 26, 29, 247, 250 }, { 29, 250, 715, 716 }, { 26, 29, 248, 716 }, { 242, 243, 249, 250 }, { 250, 716, 717, 718 }, { 333, 716, 717, 719 }, { 252, 253, 254, 317 }, { 253, 317, 720, 721 }, { 253, 722, 723, 724 }, { 30, 31, 257, 269 }, { 30, 31, 258, 267 }, { 31, 267, 269, 725 }, { 30, 259, 261, 726 }, { 30, 259, 269, 727 }, { 263, 728, 729, 730 }, { 263, 726, 728, 731, 732 }, { 726, 728, 729, 732, 733 }, { 259, 263, 726, 734 }, { 259, 263, 264, 269 }, { 266, 267, 268, 338 }, { 266, 267, 269, 735 }, { 263, 264, 269, 270 }, { 39, 275, 736, 737 }, { 39, 273, 274, 275 }, { 275, 278, 280, 738 }, { 283, 333, 739, 740 }, { 282, 741, 742, 743 }, { 282, 283, 284, 744 }, { 283, 333, 740, 744 }, { 288, 303, 745, 746 }, { 286, 287, 288, 303 }, { 286, 288, 304, 745, 747, 748 }, { 286, 303, 304, 749 }, { 291, 292, 294, 295 }, { 35, 44, 291, 295, 750, 751 }, { 292, 295, 297, 320 }, { 292, 297, 299, 300 }, { 292, 302, 303, 304 }, { 291, 292, 304, 309 }, { 35, 254, 307, 752 }, { 35, 36, 307, 752 }, { 35, 36, 291, 304 }, { 39, 274, 316, 753 }, { 310, 314, 753, 754 }, { 35, 44, 310, 311, 313, 314 }, { 40, 317, 319, 753 }, { 39, 40, 316, 753 }, { 254, 317, 319, 753 }, { 44, 274, 322, 755 }, { 43, 44, 295, 297 }, { 43, 44, 322, 755 }, { 324, 338, 756, 757 }, { 324, 755, 757, 758, 759 }, { 325, 760, 761, 762 }, { 324, 338, 756, 763 }, { 324, 325, 326, 763 }, { 26, 327, 328, 329 }, { 327, 328, 697, 764 }, { 26, 327, 329, 765 }, { 26, 248, 332, 333 }, { 331, 332, 333, 765 }, { 30, 334, 335, 336 }, { 334, 336, 703, 766 }, { 30, 258, 338, 340 }, { 338, 339, 340, 767 }, { 30, 334, 335, 767 }, { 235, 676, 768, 769, 770, 771 }, { 767, 772, 773, 774, 775 }, { 676, 768, 772, 774, 776 }, { 777, 778, 779, 780 }, { 341, 343, 344, 345, 781 }, { 344, 347, 348, 349, 350, 782 }, { 347, 348, 783, 784 }, { 343, 344, 348, 783, 785 }, { 344, 353, 781, 786 }, { 344, 347, 352, 353 }, { 347, 352, 353, 355 }, { 357, 358, 359, 778 }, { 357, 787, 788, 789 }, { 357, 358, 778, 787 }, { 353, 357, 790, 791, 792 }, { 360, 361, 362, 781 }, { 48, 364, 365, 793 }, { 48, 361, 793, 794 }, { 48, 50, 364, 795 }, { 366, 367, 368, 372 }, { 364, 366, 367, 370 }, { 52, 54, 372, 796 }, { 48, 797, 798, 799 }, { 52, 797, 800, 801 }, { 48, 797, 799, 802 }, { 52, 797, 801, 803 }, { 373, 374, 375, 804 }, { 52, 60, 372, 377 }, { 52, 60, 374, 805 }, { 378, 379, 380, 804 }, { 383, 384, 385, 804 }, { 56, 387, 389, 391 }, { 55, 56, 386, 387 }, { 55, 383, 386, 387 }, { 387, 389, 390, 806 }, { 387, 394, 807, 808 }, { 372, 394, 395, 809 }, { 62, 374, 380, 394 }, { 60, 372, 394, 396 }, { 60, 62, 374, 394 }, { 398, 402, 810, 811 }, { 398, 400, 401, 402 }, { 63, 812, 813, 814, 815, 816 }, { 404, 405, 407, 817 }, { 63, 404, 405, 409 }, { 63, 67, 69, 404 }, { 63, 398, 401, 818 }, { 63, 65, 401, 412 }, { 398, 415, 810, 819, 820 }, { 63, 67, 70, 413 }, { 63, 413, 415, 821 }, { 413, 414, 418, 822 }, { 413, 823, 824, 825, 826 }, { 413, 414, 415, 418 }, { 415, 418, 810, 827 }, { 828, 829, 830, 831 }, { 82, 419, 832, 833 }, { 78, 419, 832, 834 }, { 73, 75, 419, 420, 422 }, { 73, 421, 422, 835 }, { 828, 836, 837, 838 }, { 402, 836, 838, 839 }, { 78, 79, 82, 840 }, { 82, 828, 840, 841 }, { 78, 835, 840, 842 }, { 424, 835, 843, 844 }, { 418, 424, 823, 843 }, { 418, 424, 426, 810, 845 }, { 73, 421, 427, 428 }, { 427, 428, 430, 431 }, { 73, 317, 433, 434 }, { 317, 434, 436, 437 }, { 73, 434, 437, 439 }, { 73, 428, 437, 439 }, { 442, 461, 846, 847 }, { 848, 849, 850, 851 }, { 317, 436, 437, 441 }, { 437, 438, 441, 443 }, { 442, 443, 444, 447 }, { 443, 447, 448, 450 }, { 437, 443, 450, 451 }, { 88, 89, 441, 443, 454 }, { 317, 441, 454, 456, 852 }, { 442, 453, 454, 456 }, { 442, 443, 454, 455 }, { 442, 453, 456, 457 }, { 456, 457, 459, 460 }, { 442, 457, 460, 461 }, { 442, 460, 461, 463 }, { 442, 461, 463, 468 }, { 460, 463, 464, 465 }, { 463, 464, 467, 468 }, { 470, 549, 551, 853 }, { 115, 485, 854, 855 }, { 115, 470, 549, 855 }, { 470, 471, 473, 475, 856, 857 }, { 470, 471, 476, 478, 479 }, { 479, 482, 483, 485 }, { 471, 487, 488, 551 }, { 482, 858, 859, 860 }, { 471, 487, 858, 860 }, { 490, 491, 493, 494, 495 }, { 39, 490, 495, 861, 862, 863 }, { 491, 495, 861, 864 }, { 39, 490, 491, 865 }, { 498, 501, 502, 503 }, { 497, 498, 499, 501 }, { 90, 501, 502, 504 }, { 90, 93, 501, 506 }, { 94, 507, 508, 509 }, { 94, 96, 508, 512 }, { 508, 509, 510, 512 }, { 94, 98, 211, 512 }, { 98, 101, 213, 512 }, { 115, 213, 515, 866 }, { 115, 514, 515, 516 }, { 509, 518, 520, 867 }, { 123, 518, 867, 868 }, { 125, 521, 522, 529 }, { 103, 104, 125, 522 }, { 121, 123, 125, 521 }, { 103, 530, 869, 870 }, { 103, 869, 871, 872 }, { 103, 123, 871, 873 }, { 123, 535, 871, 874 }, { 497, 530, 532, 869 }, { 497, 509, 532, 533, 875, 876 }, { 509, 518, 533, 535 }, { 123, 518, 535, 868 }, { 106, 536, 537, 877 }, { 103, 104, 125, 539 }, { 125, 536, 539, 877 }, { 551, 878, 879, 880 }, { 544, 881, 882, 883 }, { 125, 536, 540, 548 }, { 125, 548, 881, 884 }, { 544, 548, 881, 883 }, { 106, 107, 542, 544 }, { 106, 107, 536, 548 }, { 107, 544, 545, 548 }, { 110, 112, 125, 554 }, { 125, 554, 879, 885 }, { 551, 554, 879, 880 }, { 114, 115, 549, 551 }, { 110, 114, 115, 554 }, { 114, 551, 552, 554 }, { 110, 115, 514, 516 }, { 118, 121, 123, 125 }, { 110, 118, 125, 516 }, { 137, 557, 558, 886 }, { 128, 129, 136, 137, 557, 559 }, { 134, 136, 562, 564 }, { 134, 137, 562, 567 }, { 134, 135, 136, 137, 143 }, { 509, 570, 571, 573 }, { 509, 571, 575, 576 }, { 571, 573, 576, 578, 579 }, { 144, 145, 582, 584 }, { 145, 148, 584, 586, 588, 591 }, { 148, 149, 590, 591 }, { 595, 596, 597, 598, 599, 600, 887, 888, 889 }, { 152, 153, 160, 603 }, { 153, 156, 157, 160, 164 }, { 157, 164, 165, 606 }, { 157, 160, 168, 169, 607, 609 }, { 160, 590, 623, 890 }, { 176, 178, 590, 612, 635, 890, 891, 892, 893 }, { 582, 584, 618, 627 }, { 584, 591, 618, 620, 621 }, { 590, 591, 618, 623 }, { 152, 590, 618, 623 }, { 582, 618, 626, 627 }, { 183, 185, 629, 637 }, { 894, 895, 896, 897 }, { 695, 896, 897, 898 }, { 207, 208, 645, 899 }, { 196, 207, 645, 900 }, { 191, 645, 901, 902, 903, 904 }, { 6, 187, 631, 635, 636, 905 }, { 190, 191, 645, 906 }, { 190, 191, 629, 637 }, { 190, 205, 645, 907 }, { 190, 205, 653, 695, 908 }, { 194, 196, 638, 645 }, { 198, 645, 647, 648 }, { 639, 640, 641, 688, 909, 910 }, { 194, 645, 646, 647 }, { 198, 201, 651, 688 }, { 651, 695, 911, 912, 913 }, { 198, 205, 645, 651 }, { 205, 651, 653, 654, 695 }, { 94, 207, 208, 656 }, { 12, 13, 94, 656 }, { 207, 656, 672, 914, 915 }, { 212, 213, 657, 658, 660 }, { 115, 213, 658, 664, 665 }, { 115, 218, 657, 664 }, { 668, 669, 670, 672 }, { 213, 669, 672, 673 }, { 213, 668, 669, 916 }, { 220, 223, 675, 676 }, { 678, 683, 917, 918 }, { 223, 675, 676, 677 }, { 676, 677, 679, 919, 920, 921 }, { 675, 677, 678, 679, 922, 923 }, { 224, 676, 678, 679 }, { 226, 678, 683, 692 }, { 224, 226, 676, 678 }, { 220, 241, 687, 924 }, { 640, 680, 682, 687 }, { 680, 683, 684, 687 }, { 680, 683, 688, 689 }, { 639, 640, 680, 688, 909, 925 }, { 18, 683, 691, 693, 926 }, { 226, 683, 691, 692 }, { 228, 697, 927, 928 }, { 18, 691, 696, 697 }, { 18, 228, 695, 697 }, { 226, 230, 676, 691 }, { 234, 698, 699, 703 }, { 24, 234, 672, 703 }, { 24, 241, 703, 706 }, { 220, 235, 241, 676 }, { 243, 708, 710, 711 }, { 243, 244, 250, 711 }, { 26, 711, 713, 929 }, { 26, 244, 250, 711 }, { 26, 29, 250, 716 }, { 26, 248, 333, 716 }, { 243, 249, 250, 708 }, { 250, 333, 716, 717 }, { 253, 254, 317, 752 }, { 253, 317, 721, 722 }, { 253, 722, 724, 752 }, { 30, 258, 267, 338 }, { 30, 31, 267, 269 }, { 30, 115, 261, 726 }, { 30, 259, 269, 726 }, { 263, 726, 728, 729 }, { 259, 263, 269, 726 }, { 266, 269, 930, 931 }, { 266, 267, 269, 338 }, { 269, 270, 930, 932 }, { 263, 269, 270, 729 }, { 39, 275, 737, 738 }, { 39, 274, 275, 755 }, { 275, 278, 738, 755 }, { 283, 333, 739, 752 }, { 282, 741, 742, 933 }, { 282, 283, 304, 742 }, { 282, 283, 333, 744 }, { 300, 303, 934, 935, 936, 937 }, { 286, 288, 303, 304, 745 }, { 35, 44, 291, 292, 295 }, { 44, 292, 295, 297 }, { 292, 297, 300, 303, 304 }, { 35, 291, 292, 304 }, { 35, 254, 317, 752 }, { 35, 36, 304, 752 }, { 39, 44, 274, 753 }, { 35, 44, 310, 314, 753 }, { 39, 40, 317, 753 }, { 35, 254, 317, 753 }, { 39, 44, 274, 755 }, { 43, 44, 297, 755 }, { 297, 324, 755, 759, 938 }, { 324, 338, 755, 757 }, { 325, 761, 762, 933 }, { 297, 324, 325, 762 }, { 324, 325, 338, 763 }, { 26, 327, 328, 697 }, { 26, 327, 697, 765 }, { 26, 332, 333, 765 }, { 30, 334, 336, 703 }, { 30, 338, 340, 767 }, { 30, 334, 703, 767 }, { 334, 703, 767, 773 }, { 235, 676, 703, 768, 769 }, { 676, 767, 768, 772, 773, 774 }, { 777, 778, 779, 787 }, { 777, 778, 780, 939 }, { 347, 778, 939, 940, 941 }, { 347, 783, 784, 940 }, { 343, 344, 781, 783 }, { 344, 347, 348, 783 }, { 344, 347, 353, 781 }, { 347, 353, 355, 357, 359, 778 }, { 357, 778, 787, 788 }, { 353, 357, 781, 788, 791 }, { 48, 361, 362, 781 }, { 48, 361, 364, 793 }, { 48, 364, 367, 795 }, { 48, 52, 367, 942, 943 }, { 364, 366, 367, 372 }, { 52, 367, 372, 796 }, { 48, 781, 797, 798 }, { 48, 52, 797, 800, 802 }, { 781, 797, 804, 944 }, { 52, 797, 803, 804 }, { 52, 374, 375, 804 }, { 52, 60, 372, 374 }, { 379, 380, 383, 384, 804 }, { 56, 386, 387, 389 }, { 383, 386, 387, 804 }, { 387, 389, 806, 945 }, { 387, 394, 808, 945, 946 }, { 372, 394, 809, 946 }, { 374, 380, 394, 804 }, { 60, 372, 374, 394 }, { 398, 401, 402, 810 }, { 63, 405, 812, 813, 815, 947, 948, 949, 950 }, { 63, 67, 404, 405, 817 }, { 63, 398, 401, 412 }, { 63, 398, 415, 810 }, { 63, 67, 413, 415 }, { 413, 418, 822, 823, 825 }, { 413, 415, 418, 810 }, { 828, 830, 831, 951 }, { 317, 419, 830, 952 }, { 419, 828, 829, 830 }, { 82, 419, 828, 833 }, { 78, 82, 419, 832 }, { 78, 419, 834, 835 }, { 73, 317, 419, 953 }, { 73, 419, 422, 835 }, { 73, 421, 427, 835 }, { 427, 823, 835, 954, 955, 956 }, { 828, 836, 838, 839 }, { 402, 810, 838, 839 }, { 78, 82, 828, 835, 840 }, { 810, 828, 838, 840 }, { 424, 823, 835, 843 }, { 418, 424, 810, 823 }, { 424, 810, 835, 840 }, { 73, 427, 428, 823 }, { 427, 428, 431, 823 }, { 73, 317, 434, 437 }, { 73, 428, 431, 437 }, { 442, 461, 468, 847 }, { 437, 442, 848, 849, 850, 957, 958, 959, 960 }, { 317, 437, 441, 443 }, { 437, 442, 443, 447, 450 }, { 317, 441, 443, 454, 456 }, { 442, 443, 454, 456 }, { 442, 456, 457, 460 }, { 442, 460, 463, 468 }, { 460, 463, 464, 961 }, { 463, 464, 468, 961 }, { 115, 470, 549, 551 }, { 115, 470, 485, 855 }, { 470, 471, 551, 856, 857 }, { 470, 471, 479, 482, 485 }, { 471, 487, 551, 860 }, { 471, 482, 858, 860 }, { 39, 490, 491, 495, 861 }, { 491, 738, 861, 864 }, { 39, 491, 738, 865 }, { 497, 498, 501, 502 }, { 90, 501, 502, 506 }, { 94, 508, 509, 512 }, { 94, 98, 213, 512 }, { 115, 213, 515, 516 }, { 123, 509, 518, 867 }, { 125, 521, 522, 962, 963 }, { 103, 125, 522, 963 }, { 123, 125, 521, 962 }, { 103, 497, 530, 869 }, { 103, 123, 535, 869, 871 }, { 497, 509, 532, 533, 535, 869 }, { 123, 509, 518, 535 }, { 106, 125, 536, 877 }, { 103, 125, 539, 877 }, { 125, 551, 878, 879 }, { 125, 878, 882, 964 }, { 125, 544, 881, 882 }, { 544, 551, 878, 882, 965, 966 }, { 106, 125, 536, 548 }, { 125, 544, 548, 881 }, { 106, 107, 544, 548 }, { 110, 115, 125, 554 }, { 125, 551, 554, 879 }, { 114, 115, 551, 554 }, { 110, 115, 125, 516 }, { 118, 123, 125, 516 }, { 136, 137, 557, 559, 886, 967, 968, 969, 970 }, { 134, 136, 137, 562 }, { 509, 571, 573, 576 }, { 145, 148, 582, 584, 590, 591 }, { 887, 888, 889, 971, 972, 973 }, { 606, 971, 972, 974, 975, 976 }, { 152, 160, 590, 603 }, { 153, 157, 160, 164, 603, 606 }, { 157, 165, 606, 635 }, { 157, 160, 590, 609, 635, 890, 891, 892, 893 }, { 582, 584, 590, 591, 618 }, { 152, 590, 603, 618 }, { 582, 603, 618, 626 }, { 185, 629, 637, 894 }, { 929, 977, 978, 979 }, { 695, 894, 896, 897 }, { 94, 207, 208, 645 }, { 196, 207, 645, 672 }, { 191, 629, 645, 901, 902, 980 }, { 635, 636, 645, 901, 905, 981 }, { 190, 191, 629, 645 }, { 190, 629, 637, 695 }, { 190, 205, 645, 695 }, { 196, 638, 645, 672 }, { 194, 638, 640, 645 }, { 198, 645, 647, 688 }, { 640, 641, 647, 688, 910 }, { 194, 640, 645, 647 }, { 198, 645, 651, 688 }, { 651, 688, 695, 911, 913, 982 }, { 205, 645, 651, 695 }, { 94, 207, 656, 672 }, { 12, 94, 213, 656 }, { 213, 656, 672, 915 }, { 115, 213, 657, 658, 664 }, { 115, 218, 657, 983 }, { 213, 668, 669, 672 }, { 220, 675, 676, 687 }, { 675, 678, 683, 687, 917, 984 }, { 675, 676, 677, 678, 679 }, { 226, 676, 678, 683 }, { 220, 241, 676, 687 }, { 640, 680, 683, 687, 688 }, { 683, 688, 695, 985 }, { 18, 683, 691, 695 }, { 226, 676, 683, 691 }, { 228, 695, 697, 927 }, { 18, 691, 695, 697 }, { 230, 676, 691, 697 }, { 234, 672, 699, 703 }, { 24, 241, 672, 703 }, { 235, 241, 676, 703 }, { 243, 250, 708, 711 }, { 26, 250, 711, 929 }, { 26, 250, 333, 716 }, { 249, 250, 708, 986 }, { 250, 333, 717, 986 }, { 253, 317, 722, 752 }, { 30, 267, 269, 338 }, { 30, 115, 269, 726 }, { 263, 269, 726, 729 }, { 266, 269, 338, 930 }, { 269, 270, 729, 930 }, { 39, 275, 738, 755 }, { 283, 304, 333, 752 }, { 282, 304, 742, 933 }, { 282, 283, 304, 333 }, { 297, 300, 303, 304, 745, 936, 987, 988, 989 }, { 35, 44, 292, 297, 304 }, { 35, 304, 317, 752 }, { 35, 39, 44, 317, 753 }, { 39, 44, 297, 755 }, { 297, 324, 338, 755 }, { 297, 325, 762, 933 }, { 297, 324, 325, 338 }, { 26, 328, 697, 929 }, { 26, 333, 697, 765 }, { 30, 115, 336, 703 }, { 30, 338, 703, 767 }, { 676, 703, 767, 768, 773 }, { 777, 778, 787, 788 }, { 347, 777, 778, 783, 939, 940 }, { 344, 347, 781, 783 }, { 347, 353, 357, 778, 781, 788 }, { 48, 361, 364, 781 }, { 48, 52, 364, 367, 372 }, { 48, 52, 781, 797, 804 }, { 52, 372, 374, 804 }, { 380, 383, 387, 394, 804 }, { 386, 387, 389, 804 }, { 372, 387, 389, 394, 945, 946 }, { 372, 374, 394, 804 }, { 401, 402, 810, 839 }, { 398, 401, 412, 810 }, { 63, 67, 405, 412, 813, 817, 990, 991, 992 }, { 63, 67, 415, 810 }, { 63, 398, 412, 810 }, { 67, 413, 415, 810 }, { 413, 418, 810, 823 }, { 828, 830, 839, 951 }, { 317, 419, 828, 830 }, { 78, 82, 419, 828, 835 }, { 73, 317, 419, 835 }, { 73, 427, 823, 835 }, { 810, 828, 838, 839 }, { 810, 828, 835, 840 }, { 424, 810, 823, 835 }, { 73, 428, 431, 823 }, { 73, 317, 431, 437 }, { 431, 437, 442, 468, 847, 848, 993, 994, 995 }, { 317, 437, 442, 443, 456 }, { 442, 456, 460, 468 }, { 460, 463, 468, 961 }, { 115, 470, 485, 551 }, { 470, 471, 482, 485, 551 }, { 471, 482, 551, 860 }, { 39, 491, 738, 861 }, { 497, 501, 502, 506 }, { 94, 213, 509, 512 }, { 115, 123, 213, 516 }, { 123, 213, 509, 867 }, { 103, 123, 125, 962, 963 }, { 103, 123, 497, 509, 535, 869 }, { 103, 106, 125, 877 }, { 125, 544, 551, 878, 882 }, { 106, 125, 544, 548 }, { 115, 125, 551, 554 }, { 115, 123, 125, 516 }, { 136, 137, 562, 886, 967, 968, 969, 996, 997 }, { 509, 562, 573, 576, 996 }, { 145, 148, 502, 582, 590 }, { 603, 606, 971, 972, 973, 974 }, { 157, 160, 590, 603, 606, 635 }, { 582, 590, 603, 618 }, { 629, 637, 695, 894 }, { 894, 929, 977, 979 }, { 695, 894, 896, 977 }, { 94, 207, 645, 672 }, { 629, 635, 645, 901, 905, 980 }, { 190, 629, 645, 695 }, { 638, 640, 645, 672 }, { 640, 645, 647, 688 }, { 645, 651, 688, 695 }, { 94, 213, 656, 672 }, { 115, 213, 657, 983 }, { 213, 668, 672, 983 }, { 675, 676, 678, 683, 687 }, { 241, 672, 676, 687 }, { 640, 672, 683, 687, 688, 695 }, { 676, 683, 691, 695 }, { 695, 697, 927, 929 }, { 676, 691, 695, 697 }, { 115, 672, 699, 703 }, { 241, 672, 676, 703 }, { 250, 708, 711, 929 }, { 26, 250, 333, 929 }, { 250, 333, 708, 986 }, { 317, 333, 722, 752 }, { 30, 115, 269, 338 }, { 115, 269, 726, 729 }, { 269, 338, 729, 930 }, { 39, 338, 738, 755 }, { 304, 317, 333, 752 }, { 282, 304, 333, 933 }, { 297, 304, 745, 933, 987, 988, 989, 998, 999 }, { 35, 39, 44, 297, 304, 317 }, { 39, 297, 338, 755 }, { 297, 325, 338, 933 }, { 26, 333, 697, 929 }, { 333, 676, 697, 765 }, { 30, 115, 338, 703 }, { 338, 676, 703, 767 }, { 777, 783, 1000, 1001, 1002, 1003, 1004, 1005, 1006, 1007, 1008, 1009 }, { 347, 777, 778, 781, 783, 788 }, { 48, 52, 364, 372, 781, 804 }, { 372, 387, 389, 394, 804 }, { 67, 372, 389, 412, 817, 990, 991, 992, 1010 }, { 401, 412, 810, 839 }, { 63, 67, 412, 810 }, { 67, 413, 810, 823 }, { 317, 828, 830, 839 }, { 317, 419, 828, 835 }, { 73, 317, 823, 835 }, { 810, 823, 828, 835, 839 }, { 73, 317, 431, 823 }, { 317, 431, 437, 442, 456, 468 }, { 456, 460, 468, 961 }, { 115, 482, 485, 551, 860 }, { 39, 729, 738, 861 }, { 497, 502, 506, 590 }, { 103, 106, 497, 506 }, { 94, 213, 509, 635 }, { 115, 123, 213, 509 }, { 103, 123, 125, 497, 509 }, { 103, 106, 125, 497 }, { 106, 115, 125, 544, 551 }, { 115, 123, 125, 509 }, { 497, 509, 562, 996, 997, 1011 }, { 497, 502, 582, 590 }, { 582, 590, 603, 606, 635, 974, 1012, 1013, 1014 }, { 629, 635, 695, 894 }, { 695, 894, 929, 977 }, { 94, 635, 645, 672 }, { 629, 635, 645, 695 }, { 640, 645, 672, 688, 695 }, { 94, 213, 635, 672 }, { 115, 213, 672, 983 }, { 672, 676, 683, 687, 695 }, { 676, 695, 697, 929 }, { 115, 672, 676, 703 }, { 250, 333, 708, 929 }, { 317, 333, 708, 722 }, { 115, 269, 338, 729 }, { 39, 338, 729, 738 }, { 304, 317, 333, 933 }, { 39, 297, 304, 317, 933 }, { 39, 297, 338, 933 }, { 333, 676, 697, 929 }, { 115, 338, 676, 703 }, { 777, 781, 783, 788, 804, 1000 }, { 67, 364, 372, 781, 804 }, { 67, 372, 389, 412, 804 }, { 67, 412, 810, 823, 839 }, { 317, 823, 828, 835, 839 }, { 317, 431, 456, 468, 823, 961 }, { 106, 115, 544, 551, 860, 1015 }, { 39, 115, 729, 860, 861 }, { 106, 497, 506, 590 }, { 115, 213, 509, 635 }, { 106, 115, 125, 497, 509 }, { 497, 509, 582, 590, 635, 1011, 1012, 1013, 1014 }, { 635, 695, 894, 929 }, { 635, 645, 672, 695 }, { 115, 213, 635, 672 }, { 115, 672, 676, 695, 929 }, { 317, 333, 708, 929 }, { 39, 115, 338, 729 }, { 39, 317, 333, 338, 933 }, { 115, 333, 338, 676, 929 }, { 67, 412, 781, 788, 804, 1016 }, { 67, 317, 412, 823, 839 }, { 67, 317, 456, 823, 961 }, { 39, 106, 115, 860, 861, 1015 }, { 106, 115, 497, 509, 590, 635 }, { 115, 635, 672, 695, 929 }, { 39, 115, 317, 333, 338, 929 }, { 39, 67, 317, 412, 456, 1016 }, { 39, 106, 115, 590, 635 }, { 39, 115, 317, 635, 929 }, { 39, 317, 456, 590, 635, 1017 } ] /* Faces of top cells */ [ [ { 1, 3, 4, 5 }, { 1, 2, 4 }, { 1, 2, 3 }, { 2, 4, 5 }, { 2, 3, 5 } ], [ { 7, 8, 9 }, { 6, 8, 9, 10 }, { 6, 7, 8 }, { 7, 9, 10 }, { 6, 7, 10 } ], [ { 12, 13, 14 }, { 11, 13, 14 }, { 11, 12, 14 }, { 11, 12, 13 } ], [ { 11, 12, 14 }, { 12, 14, 15, 16 }, { 11, 12, 15 }, { 11, 14, 16 }, { 11, 15, 16 } ], [ { 11, 16, 17 }, { 15, 16, 17 }, { 11, 15, 16 }, { 11, 15, 17 } ], [ { 19, 20, 21 }, { 18, 20, 21 }, { 18, 19, 21 }, { 18, 19, 20 } ], [ { 23, 24, 25 }, { 22, 24, 25 }, { 22, 23, 25 }, { 22, 23, 24 } ], [ { 27, 28, 29 }, { 26, 28, 29 }, { 26, 27, 29 }, { 26, 27, 28 } ], [ { 31, 32, 33 }, { 30, 32, 33 }, { 30, 31, 33 }, { 30, 31, 32 } ], [ { 35, 36, 37 }, { 34, 36, 37 }, { 34, 35, 37 }, { 34, 35, 36 } ], [ { 39, 40, 41 }, { 38, 40, 41 }, { 38, 39, 40, 42 }, { 38, 41, 42 }, { 39, 41, 42 } ], [ { 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 } ], [ { 56, 57, 58 }, { 55, 57, 58 }, { 55, 56, 58 }, { 55, 56, 57 } ], [ { 60, 61, 62 }, { 59, 61, 62 }, { 59, 60, 62 }, { 59, 60, 61 } ], [ { 64, 65, 66 }, { 63, 65, 66 }, { 63, 64, 66 }, { 63, 64, 65 } ], [ { 67, 69, 70 }, { 67, 68, 70 }, { 67, 68, 69, 71 }, { 68, 70, 71 }, { 69, 70, 71 } ], [ { 63, 70, 72 }, { 69, 70, 72 }, { 63, 69, 70 }, { 63, 69, 72 } ], [ { 74, 75, 77 }, { 73, 75, 77 }, { 73, 74, 75, 76 }, { 74, 76, 77 }, { 73, 76, 77 } ], [ { 79, 80, 81 }, { 78, 80, 81 }, { 78, 79, 81 }, { 78, 79, 80 } ], [ { 79, 83, 84 }, { 82, 83, 84 }, { 79, 82, 84 }, { 79, 82, 83 } ], [ { 86, 87, 88, 89 }, { 85, 87, 88 }, { 85, 86, 87 }, { 85, 86, 89 }, { 85, 88, 89 } ], [ { 91, 92, 93 }, { 90, 92, 93 }, { 90, 91, 93 }, { 90, 91, 92 } ], [ { 95, 96, 97 }, { 94, 96, 97 }, { 94, 95, 97 }, { 94, 95, 96 } ], [ { 99, 100, 101 }, { 98, 100, 101 }, { 98, 99, 101 }, { 98, 99, 100 } ], [ { 103, 104, 105 }, { 102, 104, 105 }, { 102, 103, 105 }, { 102, 103, 104 } ], [ { 107, 108, 109 }, { 106, 108, 109 }, { 106, 107, 109 }, { 106, 107, 108 } ], [ { 111, 112, 113 }, { 110, 112, 113 }, { 110, 111, 113 }, { 110, 111, 112 } ], [ { 115, 116, 117 }, { 114, 116, 117 }, { 114, 115, 117 }, { 114, 115, 116 } ], [ { 119, 120, 121 }, { 118, 120, 121 }, { 118, 119, 121 }, { 118, 119, 120 } ], [ { 121, 123, 124 }, { 121, 122, 124 }, { 122, 123, 124 }, { 121, 122, 123 } ], [ { 110, 113, 126 }, { 113, 125, 126 }, { 110, 113, 125 }, { 110, 125, 126 } ], [ { 128, 129, 130, 131 }, { 127, 128, 130 }, { 127, 128, 129 }, { 127, 129, 131 }, { 127, 130, 131 } ], [ { 133, 134, 135 }, { 132, 134, 135 }, { 132, 133, 135 }, { 132, 133, 134 } ], [ { 136, 138, 140 }, { 136, 137, 140, 141 }, { 136, 137, 138, 139 }, { 138, 139, 140, 141 }, { 137, 139, 141 } ], [ { 134, 142, 143 }, { 132, 142, 143 }, { 132, 134, 143 }, { 132, 134, 142 } ], [ { 145, 146, 147 }, { 144, 146, 147 }, { 144, 145, 147 }, { 144, 145, 146 } ], [ { 149, 150, 151 }, { 148, 150, 151 }, { 148, 149, 151 }, { 148, 149, 150 } ], [ { 153, 154, 155 }, { 152, 154, 155 }, { 152, 153, 155 }, { 152, 153, 154 } ], [ { 157, 158, 159 }, { 156, 158, 159 }, { 156, 157, 159 }, { 156, 157, 158 } ], [ { 159, 160, 161 }, { 156, 159, 161 }, { 156, 159, 160 }, { 156, 160, 161 } ], [ { 159, 160, 162 }, { 157, 159, 160 }, { 157, 160, 162, 163 }, { 159, 162, 163 }, { 157, 159, 163 } ], [ { 165, 166, 167 }, { 164, 166, 167 }, { 164, 165, 167 }, { 164, 165, 166 } ], [ { 169, 170, 172 }, { 168, 169, 172, 173 }, { 168, 169, 170, 171 }, { 170, 171, 172, 173 }, { 168, 171, 173 } ], [ { 174, 175, 176, 178, 179, 181 }, { 176, 177, 178, 180 }, { 174, 177, 178 }, { 175, 179, 180, 182 }, { 176, 179, 180 }, { 174, 177, 181, 182 }, { 175, 181, 182 }, { 177, 180, 182 } ], [ { 184, 185, 186 }, { 183, 185, 186 }, { 183, 184, 186 }, { 183, 184, 185 } ], [ { 2, 3, 6 }, { 1, 2, 3 }, { 1, 3, 6 }, { 1, 2, 6 } ], [ { 6, 8, 187, 189 }, { 6, 7, 8 }, { 6, 7, 187, 188 }, { 7, 8, 188, 189 }, { 187, 188, 189 } ], [ { 191, 192, 193 }, { 190, 192, 193 }, { 190, 191, 193 }, { 190, 191, 192 } ], [ { 195, 196, 197 }, { 194, 196, 197 }, { 194, 195, 197 }, { 194, 195, 196 } ], [ { 199, 200, 202, 203 }, { 198, 199, 202 }, { 198, 199, 200, 201 }, { 198, 201, 202, 203 }, { 200, 201, 203 } ], [ { 198, 205, 206 }, { 198, 204, 206 }, { 204, 205, 206 }, { 198, 204, 205 } ], [ { 208, 209, 210 }, { 207, 209, 210 }, { 207, 208, 210 }, { 207, 208, 209 } ], [ { 13, 14, 211 }, { 12, 13, 14 }, { 12, 14, 211 }, { 12, 13, 211 } ], [ { 12, 13, 15, 17 }, { 11, 15, 17 }, { 11, 12, 15 }, { 11, 13, 17 }, { 11, 12, 13 } ], [ { 213, 214, 215 }, { 212, 214, 215 }, { 212, 213, 215 }, { 212, 213, 214 } ], [ { 217, 218, 219 }, { 216, 218, 219 }, { 216, 217, 219 }, { 216, 217, 218 } ], [ { 221, 222, 223 }, { 220, 222, 223 }, { 220, 221, 223 }, { 220, 221, 222 } ], [ { 225, 226, 227 }, { 224, 226, 227 }, { 224, 225, 227 }, { 224, 225, 226 } ], [ { 19, 20, 228 }, { 18, 20, 228 }, { 18, 19, 20 }, { 18, 19, 228 } ], [ { 226, 230, 231 }, { 229, 230, 231 }, { 226, 229, 231 }, { 226, 229, 230 } ], [ { 226, 230, 233 }, { 230, 232, 233 }, { 226, 232, 233 }, { 226, 230, 232 } ], [ { 24, 25, 234 }, { 22, 25, 234 }, { 22, 24, 25 }, { 22, 24, 234 } ], [ { 235, 236, 237 }, { 220, 236, 237 }, { 220, 235, 237 }, { 220, 235, 236 } ], [ { 235, 238, 239 }, { 220, 238, 239 }, { 220, 235, 239 }, { 220, 235, 238 } ], [ { 239, 240, 241 }, { 220, 239, 241 }, { 220, 239, 240 }, { 220, 240, 241 } ], [ { 243, 244, 245 }, { 242, 244, 245 }, { 242, 243, 245 }, { 242, 243, 244 } ], [ { 29, 246, 247 }, { 26, 246, 247 }, { 26, 29, 247 }, { 26, 29, 246 } ], [ { 26, 27, 29 }, { 27, 29, 248 }, { 26, 29, 248 }, { 26, 27, 248 } ], [ { 242, 250, 251 }, { 249, 250, 251 }, { 242, 249, 251 }, { 242, 249, 250 } ], [ { 253, 254, 255 }, { 252, 254, 255 }, { 252, 253, 255 }, { 252, 253, 254 } ], [ { 31, 256, 257 }, { 30, 31, 257 }, { 30, 256, 257 }, { 30, 31, 256 } ], [ { 31, 32, 258 }, { 30, 31, 32 }, { 30, 32, 258 }, { 30, 31, 258 } ], [ { 30, 260, 261 }, { 30, 259, 261 }, { 259, 260, 261 }, { 30, 259, 260 } ], [ { 259, 263, 264 }, { 262, 263, 264 }, { 259, 262, 264 }, { 259, 262, 263 } ], [ { 266, 267, 268 }, { 265, 267, 268 }, { 265, 266, 268 }, { 265, 266, 267 } ], [ { 264, 270, 271 }, { 264, 269, 271 }, { 269, 270, 271 }, { 264, 269, 270 } ], [ { 272, 273, 274 }, { 39, 273, 274 }, { 39, 42, 272, 273 }, { 39, 42, 274 }, { 42, 272, 274 } ], [ { 273, 274, 276 }, { 274, 275, 276 }, { 273, 275, 276 }, { 273, 274, 275 } ], [ { 275, 278, 279, 281 }, { 275, 277, 279, 280 }, { 277, 278, 280, 281 }, { 275, 278, 280 }, { 277, 279, 281 } ], [ { 283, 284, 285 }, { 282, 284, 285 }, { 282, 283, 285 }, { 282, 283, 284 } ], [ { 287, 288, 289 }, { 286, 288, 289, 290 }, { 286, 287, 288 }, { 286, 287, 290 }, { 287, 289, 290 } ], [ { 292, 293, 294 }, { 291, 293, 294 }, { 291, 292, 294 }, { 291, 292, 293 } ], [ { 294, 295, 296 }, { 292, 294, 296 }, { 292, 295, 296 }, { 292, 294, 295 } ], [ { 292, 298, 299 }, { 297, 298, 299 }, { 292, 297, 299 }, { 292, 297, 298 } ], [ { 299, 300, 301 }, { 297, 299, 301 }, { 297, 299, 300 }, { 297, 300, 301 } ], [ { 303, 304, 305 }, { 302, 304, 305 }, { 302, 303, 305 }, { 302, 303, 304 } ], [ { 292, 304, 306 }, { 292, 302, 306 }, { 302, 304, 306 }, { 292, 302, 304 } ], [ { 35, 36, 307 }, { 34, 36, 307 }, { 34, 35, 307 }, { 34, 35, 36 } ], [ { 35, 36, 308 }, { 36, 291, 308 }, { 35, 291, 308 }, { 35, 36, 291 } ], [ { 36, 304, 309 }, { 291, 304, 309 }, { 36, 291, 309 }, { 36, 291, 304 } ], [ { 44, 311, 312 }, { 310, 311, 312 }, { 44, 310, 312 }, { 44, 310, 311 } ], [ { 313, 314, 315 }, { 35, 314, 315 }, { 35, 313, 315 }, { 35, 313, 314 } ], [ { 38, 39, 40, 42 }, { 39, 40, 316 }, { 38, 40, 316 }, { 39, 42, 316 }, { 38, 42, 316 } ], [ { 254, 318, 319 }, { 317, 318, 319 }, { 254, 317, 319 }, { 254, 317, 318 } ], [ { 295, 297, 320 }, { 43, 295, 320 }, { 43, 297, 320 }, { 43, 295, 297 } ], [ { 44, 295, 321 }, { 43, 44, 295 }, { 43, 295, 321 }, { 43, 44, 321 } ], [ { 44, 45, 322 }, { 43, 44, 45 }, { 43, 45, 322 }, { 43, 44, 322 } ], [ { 324, 325, 326 }, { 323, 325, 326 }, { 323, 324, 326 }, { 323, 324, 325 } ], [ { 328, 329, 330 }, { 327, 329, 330 }, { 327, 328, 330 }, { 327, 328, 329 } ], [ { 331, 332, 333 }, { 248, 332, 333 }, { 248, 331, 333 }, { 248, 331, 332 } ], [ { 335, 336, 337 }, { 334, 336, 337 }, { 334, 335, 337 }, { 334, 335, 336 } ], [ { 258, 339, 340 }, { 338, 339, 340 }, { 258, 338, 340 }, { 258, 338, 339 } ], [ { 342, 343, 344, 346 }, { 341, 343, 344, 345 }, { 341, 342, 344 }, { 341, 342, 345, 346 }, { 343, 345, 346 } ], [ { 348, 349, 351 }, { 347, 348, 351 }, { 347, 348, 349, 350 }, { 349, 350, 351 }, { 347, 350, 351 } ], [ { 353, 354, 355 }, { 352, 354, 355 }, { 352, 353, 355 }, { 352, 353, 354 } ], [ { 357, 358, 359 }, { 356, 358, 359 }, { 356, 357, 359 }, { 356, 357, 358 } ], [ { 361, 362, 363 }, { 360, 362, 363 }, { 360, 361, 363 }, { 360, 361, 362 } ], [ { 48, 49, 365 }, { 49, 364, 365 }, { 48, 364, 365 }, { 48, 49, 364 } ], [ { 48, 49, 50 }, { 49, 50, 364 }, { 48, 50, 364 }, { 48, 49, 364 } ], [ { 367, 368, 369 }, { 366, 368, 369 }, { 366, 367, 369 }, { 366, 367, 368 } ], [ { 367, 370, 371 }, { 366, 370, 371 }, { 366, 367, 371 }, { 366, 367, 370 } ], [ { 52, 53, 54 }, { 53, 54, 372 }, { 52, 54, 372 }, { 52, 53, 372 } ], [ { 374, 375, 376 }, { 373, 375, 376 }, { 373, 374, 376 }, { 373, 374, 375 } ], [ { 52, 53, 377 }, { 53, 372, 377 }, { 52, 53, 372 }, { 52, 372, 377 } ], [ { 379, 380, 381 }, { 378, 380, 381 }, { 378, 379, 381 }, { 378, 379, 380 } ], [ { 383, 384, 385 }, { 382, 384, 385 }, { 382, 383, 385 }, { 382, 383, 384 } ], [ { 56, 57, 386 }, { 55, 56, 57 }, { 55, 57, 386 }, { 55, 56, 386 } ], [ { 56, 387, 388 }, { 55, 387, 388 }, { 55, 56, 388 }, { 55, 56, 387 } ], [ { 387, 390, 391 }, { 389, 390, 391 }, { 387, 389, 391 }, { 387, 389, 390 } ], [ { 62, 374, 380 }, { 62, 374, 392, 393 }, { 62, 380, 392 }, { 380, 392, 393 }, { 374, 380, 393 } ], [ { 372, 395, 396 }, { 372, 394, 396 }, { 394, 395, 396 }, { 372, 394, 395 } ], [ { 60, 62, 397 }, { 62, 394, 397 }, { 60, 62, 394 }, { 60, 394, 397 } ], [ { 61, 62, 374 }, { 60, 61, 62 }, { 60, 62, 374 }, { 60, 61, 374 } ], [ { 399, 400, 401 }, { 398, 400, 401 }, { 398, 399, 401 }, { 398, 399, 400 } ], [ { 400, 402, 403 }, { 398, 402, 403 }, { 398, 400, 403 }, { 398, 400, 402 } ], [ { 405, 406, 407 }, { 404, 406, 407 }, { 404, 405, 407 }, { 404, 405, 406 } ], [ { 404, 408, 409 }, { 63, 408, 409 }, { 63, 404, 409 }, { 63, 404, 408 } ], [ { 404, 405, 409 }, { 405, 409, 410 }, { 404, 409, 410 }, { 404, 405, 410 } ], [ { 63, 69, 404 }, { 63, 404, 411 }, { 69, 404, 411 }, { 63, 69, 411 } ], [ { 64, 65, 412 }, { 63, 64, 65 }, { 63, 65, 412 }, { 63, 64, 412 } ], [ { 68, 70, 413 }, { 67, 68, 70 }, { 67, 70, 413 }, { 67, 68, 413 } ], [ { 63, 69, 70 }, { 63, 67, 70 }, { 67, 69, 70 }, { 63, 67, 69 } ], [ { 414, 415, 416 }, { 413, 415, 416 }, { 413, 414, 416 }, { 413, 414, 415 } ], [ { 414, 415, 418 }, { 415, 417, 418 }, { 414, 417, 418 }, { 414, 415, 417 } ], [ { 73, 74, 75, 76 }, { 73, 75, 419, 420 }, { 74, 76, 419, 420 }, { 73, 76, 419 }, { 74, 75, 420 } ], [ { 73, 75, 422 }, { 73, 421, 422 }, { 73, 75, 421, 423 }, { 75, 422, 423 }, { 421, 422, 423 } ], [ { 79, 82, 83 }, { 78, 80, 82, 83 }, { 78, 79, 82 }, { 78, 79, 80 }, { 79, 80, 83 } ], [ { 418, 425, 426 }, { 424, 425, 426 }, { 418, 424, 426 }, { 418, 424, 425 } ], [ { 421, 428, 429 }, { 427, 428, 429 }, { 421, 427, 429 }, { 421, 427, 428 } ], [ { 428, 429, 430 }, { 427, 429, 430 }, { 427, 428, 430 }, { 427, 428, 429 } ], [ { 428, 430, 432 }, { 430, 431, 432 }, { 428, 431, 432 }, { 428, 430, 431 } ], [ { 433, 434, 435 }, { 317, 434, 435 }, { 317, 433, 435 }, { 317, 433, 434 } ], [ { 434, 435, 436 }, { 317, 434, 435 }, { 317, 435, 436 }, { 317, 434, 436 } ], [ { 434, 437, 438 }, { 434, 436, 438 }, { 436, 437, 438 }, { 434, 436, 437 } ], [ { 434, 439, 440 }, { 73, 439, 440 }, { 73, 434, 440 }, { 73, 434, 439 } ], [ { 428, 439, 440 }, { 73, 439, 440 }, { 73, 428, 440 }, { 73, 428, 439 } ], [ { 437, 438, 441 }, { 436, 437, 438 }, { 436, 438, 441 }, { 436, 437, 441 } ], [ { 443, 444, 445 }, { 442, 444, 445 }, { 442, 443, 445 }, { 442, 443, 444 } ], [ { 443, 444, 447 }, { 444, 446, 447 }, { 443, 444, 446 }, { 443, 446, 447 } ], [ { 443, 449, 450 }, { 448, 449, 450 }, { 443, 448, 450 }, { 443, 448, 449 } ], [ { 443, 446, 447 }, { 443, 447, 448 }, { 446, 447, 448 }, { 443, 446, 448 } ], [ { 443, 451, 452 }, { 437, 451, 452 }, { 437, 443, 452 }, { 437, 443, 451 } ], [ { 449, 450, 451 }, { 443, 450, 451 }, { 443, 449, 451 }, { 443, 449, 450 } ], [ { 88, 89, 443 }, { 85, 88, 89 }, { 85, 89, 443 }, { 85, 88, 443 } ], [ { 442, 454, 455 }, { 453, 454, 455 }, { 442, 453, 455 }, { 442, 453, 454 } ], [ { 453, 457, 458 }, { 456, 457, 458 }, { 453, 456, 458 }, { 453, 456, 457 } ], [ { 442, 455, 457 }, { 453, 455, 457 }, { 442, 453, 455 }, { 442, 453, 457 } ], [ { 457, 458, 459 }, { 456, 457, 458 }, { 456, 458, 459 }, { 456, 457, 459 } ], [ { 457, 461, 462 }, { 460, 461, 462 }, { 457, 460, 462 }, { 457, 460, 461 } ], [ { 461, 462, 463 }, { 460, 461, 462 }, { 460, 462, 463 }, { 460, 461, 463 } ], [ { 463, 465, 466 }, { 463, 464, 466 }, { 464, 465, 466 }, { 463, 464, 465 } ], [ { 463, 466, 467 }, { 464, 466, 467 }, { 463, 464, 467 }, { 463, 464, 466 } ], [ { 463, 467, 469 }, { 467, 468, 469 }, { 463, 468, 469 }, { 463, 467, 468 } ], [ { 471, 472, 473, 474 }, { 470, 471, 473, 475 }, { 470, 471, 474 }, { 470, 472, 474, 475 }, { 472, 473, 475 } ], [ { 476, 477, 478 }, { 470, 471, 476, 478 }, { 470, 474, 476, 477 }, { 471, 474, 477, 478 }, { 470, 471, 474 } ], [ { 478, 479, 480 }, { 476, 478, 480, 481 }, { 476, 478, 479 }, { 479, 480, 481 }, { 476, 479, 481 } ], [ { 479, 483, 484 }, { 482, 483, 484 }, { 479, 482, 484 }, { 479, 482, 483 } ], [ { 479, 483, 486 }, { 483, 485, 486 }, { 479, 485, 486 }, { 479, 483, 485 } ], [ { 471, 488, 489 }, { 487, 488, 489 }, { 471, 487, 489 }, { 471, 487, 488 } ], [ { 491, 492, 493 }, { 490, 492, 493 }, { 490, 491, 493 }, { 490, 491, 492 } ], [ { 491, 495, 496 }, { 494, 495, 496 }, { 491, 494, 496 }, { 491, 494, 495 } ], [ { 498, 499, 500 }, { 497, 499, 500 }, { 497, 498, 500 }, { 497, 498, 499 } ], [ { 502, 503, 504 }, { 501, 503, 504 }, { 501, 502, 504 }, { 501, 502, 503 } ], [ { 90, 504, 505 }, { 501, 504, 505 }, { 90, 501, 505 }, { 90, 501, 504 } ], [ { 90, 91, 93 }, { 91, 93, 501 }, { 90, 93, 501 }, { 90, 91, 501 } ], [ { 92, 93, 506 }, { 90, 92, 93 }, { 90, 93, 506 }, { 90, 92, 506 } ], [ { 95, 96, 507, 508 }, { 94, 507, 508 }, { 94, 95, 507 }, { 94, 96, 508 }, { 94, 95, 96 } ], [ { 508, 510, 511 }, { 509, 510, 511 }, { 508, 509, 511 }, { 508, 509, 510 } ], [ { 96, 211, 512 }, { 94, 211, 512 }, { 94, 96, 512 }, { 94, 96, 211 } ], [ { 211, 512, 513 }, { 98, 512, 513 }, { 98, 211, 512 }, { 98, 211, 513 } ], [ { 100, 101, 213 }, { 98, 100, 101 }, { 98, 101, 213 }, { 98, 100, 213 } ], [ { 99, 101, 512 }, { 98, 101, 512 }, { 98, 99, 512 }, { 98, 99, 101 } ], [ { 515, 516, 517 }, { 514, 516, 517 }, { 514, 515, 517 }, { 514, 515, 516 } ], [ { 518, 519, 520 }, { 509, 519, 520 }, { 509, 518, 520 }, { 509, 518, 519 } ], [ { 522, 523, 524, 529 }, { 521, 522, 524, 525, 527, 528 }, { 521, 525, 526, 529 }, { 525, 526, 527 }, { 523, 526, 527, 528 }, { 523, 524, 528 }, { 523, 526, 529 }, { 521, 522, 529 } ], [ { 530, 531, 532 }, { 497, 531, 532 }, { 497, 530, 532 }, { 497, 530, 531 } ], [ { 518, 519, 533 }, { 509, 519, 533 }, { 509, 518, 533 }, { 509, 518, 519 } ], [ { 518, 533, 535 }, { 533, 534, 535 }, { 518, 533, 534 }, { 518, 534, 535 } ], [ { 106, 537, 538 }, { 536, 537, 538 }, { 106, 536, 538 }, { 106, 536, 537 } ], [ { 104, 105, 539 }, { 103, 104, 105 }, { 103, 105, 539 }, { 103, 104, 539 } ], [ { 536, 540, 541 }, { 125, 540, 541 }, { 125, 536, 541 }, { 125, 536, 540 } ], [ { 107, 108, 542 }, { 106, 108, 542 }, { 106, 107, 542 }, { 106, 107, 108 } ], [ { 106, 107, 543 }, { 107, 536, 543 }, { 106, 536, 543 }, { 106, 107, 536 } ], [ { 544, 545, 546 }, { 107, 545, 546 }, { 107, 544, 546 }, { 107, 544, 545 } ], [ { 545, 547, 548 }, { 107, 545, 548 }, { 107, 545, 547 }, { 107, 547, 548 } ], [ { 110, 112, 113 }, { 112, 113, 125 }, { 110, 113, 125 }, { 110, 112, 125 } ], [ { 115, 116, 549 }, { 114, 116, 549 }, { 114, 115, 549 }, { 114, 115, 116 } ], [ { 110, 115, 550 }, { 110, 114, 550 }, { 114, 115, 550 }, { 110, 114, 115 } ], [ { 551, 552, 553 }, { 114, 552, 553 }, { 114, 551, 553 }, { 114, 551, 552 } ], [ { 552, 554, 555 }, { 114, 552, 555 }, { 114, 552, 554 }, { 114, 554, 555 } ], [ { 110, 514, 556 }, { 115, 514, 556 }, { 110, 115, 556 }, { 110, 115, 514 } ], [ { 118, 120, 121 }, { 120, 121, 125 }, { 118, 121, 125 }, { 118, 120, 125 } ], [ { 121, 123, 124 }, { 118, 121, 124 }, { 118, 123, 124 }, { 118, 121, 123 } ], [ { 110, 118, 126 }, { 118, 125, 126 }, { 110, 118, 125 }, { 110, 125, 126 } ], [ { 129, 557, 558 }, { 129, 137, 558 }, { 129, 137, 557 }, { 137, 557, 558 } ], [ { 128, 559, 560 }, { 128, 136, 560 }, { 136, 559, 560 }, { 128, 136, 559 } ], [ { 128, 129, 557, 559 }, { 127, 128, 559 }, { 127, 557, 559 }, { 127, 129, 557 }, { 127, 128, 129 } ], [ { 128, 136, 561 }, { 136, 137, 561 }, { 128, 129, 136, 137 }, { 129, 137, 561 }, { 128, 129, 561 } ], [ { 134, 563, 564 }, { 134, 562, 564 }, { 562, 563, 564 }, { 134, 562, 563 } ], [ { 134, 564, 565 }, { 136, 564, 565 }, { 134, 136, 565 }, { 134, 136, 564 } ], [ { 134, 566, 567 }, { 134, 562, 567 }, { 134, 562, 566 }, { 562, 566, 567 } ], [ { 134, 567, 568 }, { 134, 137, 568 }, { 137, 567, 568 }, { 134, 137, 567 } ], [ { 133, 134, 135 }, { 134, 135, 136 }, { 133, 135, 136 }, { 133, 134, 136 } ], [ { 134, 135, 143 }, { 132, 135, 143 }, { 132, 134, 135 }, { 132, 134, 143 } ], [ { 135, 136, 137, 143 }, { 136, 137, 140, 141 }, { 135, 140, 141, 143 }, { 137, 141, 143 }, { 135, 136, 140 } ], [ { 134, 142, 143 }, { 137, 142, 143 }, { 134, 137, 143 }, { 134, 137, 142 } ], [ { 569, 570, 571 }, { 509, 570, 571 }, { 509, 569, 571 }, { 509, 569, 570 } ], [ { 570, 571, 573 }, { 571, 572, 573 }, { 570, 572, 573 }, { 570, 571, 572 } ], [ { 571, 574, 575 }, { 509, 571, 575 }, { 509, 574, 575 }, { 509, 571, 574 } ], [ { 575, 576, 577 }, { 571, 576, 577 }, { 571, 575, 577 }, { 571, 575, 576 } ], [ { 578, 579, 580, 581 }, { 571, 578, 580 }, { 571, 578, 579 }, { 571, 579, 581 }, { 571, 580, 581 } ], [ { 571, 573, 579 }, { 572, 573, 579 }, { 571, 572, 579 }, { 571, 572, 573 } ], [ { 571, 576, 577 }, { 576, 577, 578 }, { 571, 577, 578 }, { 571, 576, 578 } ], [ { 145, 146, 582 }, { 144, 145, 146 }, { 144, 146, 582 }, { 144, 145, 582 } ], [ { 582, 583, 584 }, { 144, 583, 584 }, { 144, 582, 584 }, { 144, 582, 583 } ], [ { 145, 584, 585 }, { 144, 584, 585 }, { 144, 145, 585 }, { 144, 145, 584 } ], [ { 145, 586, 587 }, { 145, 148, 587, 589 }, { 145, 148, 586, 588 }, { 586, 587, 588, 589 }, { 148, 588, 589 } ], [ { 148, 149, 150 }, { 149, 150, 590 }, { 148, 150, 590 }, { 148, 149, 590 } ], [ { 149, 591, 592 }, { 149, 590, 592 }, { 590, 591, 592 }, { 149, 590, 591 } ], [ { 148, 149, 591 }, { 149, 591, 593 }, { 148, 149, 593 }, { 148, 591, 593 } ], [ { 595, 596, 597, 598, 599, 600 }, { 594, 597, 598 }, { 594, 597, 599, 602 }, { 594, 598, 600, 601 }, { 595, 600, 601 }, { 595, 596, 601, 602 }, { 596, 599, 602 }, { 594, 601, 602 } ], [ { 152, 153, 154 }, { 153, 154, 603 }, { 152, 154, 603 }, { 152, 153, 603 } ], [ { 152, 153, 155 }, { 153, 155, 160 }, { 152, 155, 160 }, { 152, 153, 160 } ], [ { 153, 160, 604 }, { 153, 156, 604 }, { 156, 160, 604 }, { 153, 156, 160 } ], [ { 157, 159, 160 }, { 156, 159, 160 }, { 156, 157, 159 }, { 156, 157, 160 } ], [ { 157, 164, 605 }, { 156, 164, 605 }, { 156, 157, 605 }, { 156, 157, 164 } ], [ { 164, 165, 166 }, { 165, 166, 606 }, { 164, 166, 606 }, { 164, 165, 606 } ], [ { 164, 165, 167 }, { 157, 165, 167 }, { 157, 164, 167 }, { 157, 164, 165 } ], [ { 168, 169, 170, 171 }, { 169, 170, 607, 608 }, { 168, 169, 607 }, { 168, 171, 607, 608 }, { 170, 171, 608 } ], [ { 160, 609, 610, 611 }, { 607, 609, 610 }, { 160, 168, 607, 609 }, { 168, 607, 610, 611 }, { 160, 168, 611 } ], [ { 174, 175, 176, 178, 179, 181 }, { 174, 178, 612, 613, 614, 617 }, { 176, 178, 612 }, { 176, 179, 612, 614, 615, 616 }, { 175, 181, 613, 615, 616, 617 }, { 175, 179, 615 }, { 613, 614, 616 }, { 174, 181, 617 } ], [ { 584, 619, 620 }, { 618, 619, 620 }, { 584, 618, 620 }, { 584, 618, 619 } ], [ { 618, 619, 622 }, { 619, 620, 621, 622 }, { 618, 621, 622 }, { 618, 619, 620 }, { 618, 620, 621 } ], [ { 591, 618, 622 }, { 618, 621, 622 }, { 591, 621, 622 }, { 591, 618, 621 } ], [ { 591, 623, 624 }, { 590, 623, 624 }, { 590, 591, 624 }, { 590, 591, 623 } ], [ { 618, 623, 625 }, { 591, 618, 625 }, { 591, 623, 625 }, { 591, 618, 623 } ], [ { 152, 618, 625 }, { 152, 623, 625 }, { 152, 618, 623 }, { 618, 623, 625 } ], [ { 618, 627, 628 }, { 626, 627, 628 }, { 618, 626, 628 }, { 618, 626, 627 } ], [ { 183, 184, 185 }, { 184, 185, 629 }, { 183, 185, 629 }, { 183, 184, 629 } ], [ { 6, 187, 631 }, { 1, 6, 631, 634 }, { 187, 630, 631, 633 }, { 1, 3, 6 }, { 1, 3, 630, 632, 633, 634 }, { 3, 6, 187, 632 }, { 187, 630, 632 }, { 631, 633, 634 } ], [ { 7, 188, 635, 636 }, { 6, 7, 635 }, { 6, 187, 635, 636 }, { 6, 7, 187, 188 }, { 187, 188, 636 } ], [ { 190, 191, 192 }, { 191, 192, 637 }, { 190, 192, 637 }, { 190, 191, 637 } ], [ { 194, 196, 197 }, { 196, 197, 638 }, { 194, 197, 638 }, { 194, 196, 638 } ], [ { 640, 641, 642, 643 }, { 639, 640, 642, 644 }, { 639, 640, 641 }, { 639, 641, 643, 644 }, { 642, 643, 644 } ], [ { 646, 647, 648 }, { 645, 647, 648 }, { 645, 646, 648 }, { 645, 646, 647 } ], [ { 194, 646, 647 }, { 194, 647, 649, 650 }, { 646, 647, 649 }, { 646, 649, 650 }, { 194, 646, 650 } ], [ { 198, 199, 200, 201 }, { 199, 200, 651 }, { 198, 199, 651 }, { 200, 201, 651 }, { 198, 201, 651 } ], [ { 198, 205, 651 }, { 198, 204, 205 }, { 198, 204, 651 }, { 204, 205, 651 } ], [ { 205, 651, 653, 654 }, { 205, 652, 653, 655 }, { 205, 651, 652 }, { 651, 652, 654, 655 }, { 653, 654, 655 } ], [ { 208, 209, 656 }, { 207, 208, 209 }, { 207, 209, 656 }, { 207, 208, 656 } ], [ { 12, 13, 211 }, { 13, 94, 211 }, { 12, 13, 94 }, { 12, 94, 211 } ], [ { 15, 17, 656 }, { 12, 13, 15, 17 }, { 12, 15, 656 }, { 13, 17, 656 }, { 12, 13, 656 } ], [ { 658, 659, 660 }, { 657, 659, 660 }, { 657, 658, 660 }, { 657, 658, 659 } ], [ { 212, 213, 661 }, { 213, 657, 661 }, { 212, 657, 661 }, { 212, 213, 657 } ], [ { 213, 214, 658, 662 }, { 212, 213, 214 }, { 212, 213, 658, 660 }, { 212, 214, 660, 662 }, { 658, 660, 662 } ], [ { 663, 664, 665 }, { 658, 664, 665 }, { 658, 663, 665 }, { 658, 663, 664 } ], [ { 213, 665, 666 }, { 115, 665, 666 }, { 115, 213, 665 }, { 115, 213, 666 } ], [ { 213, 214, 665, 667 }, { 213, 214, 658, 662 }, { 658, 662, 665, 667 }, { 213, 658, 665 }, { 214, 662, 667 } ], [ { 216, 217, 218 }, { 115, 217, 218 }, { 115, 216, 217, 664 }, { 216, 218, 664 }, { 115, 218, 664 } ], [ { 669, 670, 671 }, { 668, 670, 671 }, { 668, 669, 671 }, { 668, 669, 670 } ], [ { 669, 670, 673, 674 }, { 669, 670, 672 }, { 669, 672, 673 }, { 670, 672, 674 }, { 672, 673, 674 } ], [ { 220, 221, 223 }, { 221, 223, 675 }, { 220, 223, 675 }, { 220, 221, 675 } ], [ { 223, 236, 676 }, { 220, 223, 236 }, { 220, 236, 676 }, { 220, 223, 676 } ], [ { 221, 223, 677 }, { 223, 675, 677 }, { 221, 223, 675 }, { 221, 675, 677 } ], [ { 227, 678, 679 }, { 224, 227, 679 }, { 224, 227, 678 }, { 224, 678, 679 } ], [ { 224, 226, 676 }, { 224, 226, 232 }, { 226, 232, 676 }, { 224, 232, 676 } ], [ { 226, 227, 678 }, { 224, 226, 227 }, { 224, 227, 678 }, { 224, 226, 678 } ], [ { 640, 681, 682 }, { 680, 681, 682 }, { 640, 680, 682 }, { 640, 680, 681 } ], [ { 680, 684, 685 }, { 683, 684, 685 }, { 680, 683, 685 }, { 680, 683, 684 } ], [ { 680, 684, 687 }, { 684, 686, 687 }, { 680, 684, 686 }, { 680, 686, 687 } ], [ { 680, 689, 690 }, { 680, 688, 690 }, { 680, 688, 689 }, { 688, 689, 690 } ], [ { 683, 692, 693, 694 }, { 683, 691, 693 }, { 683, 691, 692 }, { 691, 693, 694 }, { 691, 692, 694 } ], [ { 18, 19, 228 }, { 19, 228, 695 }, { 18, 228, 695 }, { 18, 19, 695 } ], [ { 228, 696, 697 }, { 18, 228, 697 }, { 18, 228, 696 }, { 18, 696, 697 } ], [ { 226, 229, 230 }, { 226, 230, 691 }, { 229, 230, 691 }, { 226, 229, 691 } ], [ { 226, 230, 676 }, { 226, 230, 232 }, { 230, 232, 676 }, { 226, 232, 676 } ], [ { 234, 699, 700, 701 }, { 234, 698, 700, 702 }, { 234, 698, 699 }, { 698, 699, 701, 702 }, { 700, 701, 702 } ], [ { 234, 703, 704 }, { 234, 698, 704, 705 }, { 234, 698, 703 }, { 698, 703, 705 }, { 703, 704, 705 } ], [ { 24, 25, 234 }, { 25, 234, 672 }, { 24, 25, 672 }, { 24, 234, 672 } ], [ { 24, 234, 703 }, { 24, 234, 706 }, { 234, 703, 706 }, { 24, 703, 706 } ], [ { 24, 241, 707 }, { 24, 241, 706 }, { 241, 706, 707 }, { 24, 706, 707 } ], [ { 235, 236, 676 }, { 220, 235, 236 }, { 220, 236, 676 }, { 220, 235, 676 } ], [ { 235, 239, 241 }, { 220, 239, 241 }, { 220, 235, 239 }, { 220, 235, 241 } ], [ { 243, 709, 710 }, { 708, 709, 710 }, { 243, 708, 710 }, { 243, 708, 709 } ], [ { 243, 244, 712 }, { 243, 244, 711 }, { 244, 711, 712 }, { 243, 711, 712 } ], [ { 243, 244, 250 }, { 242, 244, 250 }, { 242, 243, 244 }, { 242, 243, 250 } ], [ { 244, 711, 713 }, { 26, 244, 713 }, { 26, 244, 711 }, { 26, 711, 713 } ], [ { 244, 250, 714 }, { 26, 244, 714 }, { 26, 250, 714 }, { 26, 244, 250 } ], [ { 29, 247, 250 }, { 26, 247, 250 }, { 26, 29, 247 }, { 26, 29, 250 } ], [ { 250, 715, 716 }, { 29, 250, 716 }, { 29, 715, 716 }, { 29, 250, 715 } ], [ { 26, 29, 716 }, { 29, 248, 716 }, { 26, 248, 716 }, { 26, 29, 248 } ], [ { 242, 243, 250 }, { 243, 249, 250 }, { 242, 249, 250 }, { 242, 243, 249 } ], [ { 250, 716, 718 }, { 250, 716, 717 }, { 716, 717, 718 }, { 250, 717, 718 } ], [ { 333, 716, 717 }, { 333, 716, 719 }, { 333, 717, 719 }, { 716, 717, 719 } ], [ { 253, 254, 317 }, { 252, 253, 254 }, { 252, 254, 317 }, { 252, 253, 317 } ], [ { 253, 720, 721 }, { 317, 720, 721 }, { 253, 317, 721 }, { 253, 317, 720 } ], [ { 722, 723, 724 }, { 253, 723, 724 }, { 253, 722, 724 }, { 253, 722, 723 } ], [ { 31, 257, 269 }, { 30, 31, 257 }, { 30, 257, 269 }, { 30, 31, 269 } ], [ { 31, 258, 267 }, { 30, 31, 267 }, { 30, 31, 258 }, { 30, 258, 267 } ], [ { 31, 267, 725 }, { 31, 269, 725 }, { 31, 267, 269 }, { 267, 269, 725 } ], [ { 30, 261, 726 }, { 259, 261, 726 }, { 30, 259, 726 }, { 30, 259, 261 } ], [ { 30, 269, 727 }, { 259, 269, 727 }, { 30, 259, 727 }, { 30, 259, 269 } ], [ { 263, 729, 730 }, { 728, 729, 730 }, { 263, 728, 730 }, { 263, 728, 729 } ], [ { 263, 726, 731 }, { 263, 728, 731, 732 }, { 263, 726, 728 }, { 726, 731, 732 }, { 726, 728, 732 } ], [ { 726, 729, 733 }, { 728, 729, 732, 733 }, { 726, 728, 729 }, { 726, 732, 733 }, { 726, 728, 732 } ], [ { 263, 726, 734 }, { 259, 726, 734 }, { 259, 263, 734 }, { 259, 263, 726 } ], [ { 263, 264, 269 }, { 259, 264, 269 }, { 259, 263, 264 }, { 259, 263, 269 } ], [ { 266, 267, 268 }, { 267, 268, 338 }, { 266, 268, 338 }, { 266, 267, 338 } ], [ { 267, 269, 735 }, { 266, 267, 735 }, { 266, 269, 735 }, { 266, 267, 269 } ], [ { 264, 269, 270 }, { 263, 264, 270 }, { 263, 264, 269 }, { 263, 269, 270 } ], [ { 275, 736, 737 }, { 39, 736, 737 }, { 39, 275, 737 }, { 39, 275, 736 } ], [ { 273, 274, 275 }, { 39, 273, 274 }, { 39, 274, 275 }, { 39, 273, 275 } ], [ { 275, 278, 280 }, { 278, 280, 738 }, { 275, 280, 738 }, { 275, 278, 738 } ], [ { 283, 333, 740 }, { 333, 739, 740 }, { 283, 333, 739 }, { 283, 739, 740 } ], [ { 741, 742, 743 }, { 282, 742, 743 }, { 282, 741, 743 }, { 282, 741, 742 } ], [ { 282, 283, 284 }, { 283, 284, 744 }, { 282, 284, 744 }, { 282, 283, 744 } ], [ { 283, 333, 740 }, { 333, 740, 744 }, { 283, 333, 744 }, { 283, 740, 744 } ], [ { 288, 303, 746 }, { 288, 745, 746 }, { 288, 303, 745 }, { 303, 745, 746 } ], [ { 287, 288, 303 }, { 286, 287, 288 }, { 286, 288, 303 }, { 286, 287, 303 } ], [ { 304, 745, 747, 748 }, { 286, 288, 304, 745 }, { 288, 745, 747 }, { 286, 288, 747, 748 }, { 286, 304, 748 } ], [ { 303, 304, 749 }, { 286, 304, 749 }, { 286, 303, 749 }, { 286, 303, 304 } ], [ { 292, 294, 295 }, { 291, 294, 295 }, { 291, 292, 294 }, { 291, 292, 295 } ], [ { 35, 44, 750, 751 }, { 35, 44, 291, 295 }, { 35, 291, 750 }, { 291, 295, 750, 751 }, { 44, 295, 751 } ], [ { 292, 295, 320 }, { 295, 297, 320 }, { 292, 297, 320 }, { 292, 295, 297 } ], [ { 292, 299, 300 }, { 297, 299, 300 }, { 292, 297, 299 }, { 292, 297, 300 } ], [ { 292, 303, 304 }, { 292, 302, 304 }, { 292, 302, 303 }, { 302, 303, 304 } ], [ { 292, 304, 309 }, { 291, 292, 309 }, { 291, 292, 304 }, { 291, 304, 309 } ], [ { 35, 254, 307 }, { 35, 307, 752 }, { 254, 307, 752 }, { 35, 254, 752 } ], [ { 35, 36, 307 }, { 36, 307, 752 }, { 35, 307, 752 }, { 35, 36, 752 } ], [ { 35, 36, 304 }, { 36, 291, 304 }, { 35, 291, 304 }, { 35, 36, 291 } ], [ { 39, 274, 753 }, { 274, 316, 753 }, { 39, 274, 316 }, { 39, 316, 753 } ], [ { 314, 753, 754 }, { 310, 314, 754 }, { 310, 314, 753 }, { 310, 753, 754 } ], [ { 35, 44, 311, 313 }, { 35, 44, 310, 314 }, { 35, 313, 314 }, { 310, 311, 313, 314 }, { 44, 310, 311 } ], [ { 40, 319, 753 }, { 317, 319, 753 }, { 40, 317, 319 }, { 40, 317, 753 } ], [ { 39, 40, 753 }, { 40, 316, 753 }, { 39, 316, 753 }, { 39, 40, 316 } ], [ { 254, 319, 753 }, { 317, 319, 753 }, { 254, 317, 319 }, { 254, 317, 753 } ], [ { 44, 274, 322 }, { 44, 274, 755 }, { 44, 322, 755 }, { 274, 322, 755 } ], [ { 44, 295, 297 }, { 43, 44, 295 }, { 43, 295, 297 }, { 43, 44, 297 } ], [ { 44, 322, 755 }, { 43, 44, 322 }, { 43, 44, 755 }, { 43, 322, 755 } ], [ { 324, 756, 757 }, { 338, 756, 757 }, { 324, 338, 757 }, { 324, 338, 756 } ], [ { 324, 755, 757 }, { 755, 757, 758, 759 }, { 324, 757, 758 }, { 324, 755, 759 }, { 324, 758, 759 } ], [ { 760, 761, 762 }, { 325, 761, 762 }, { 325, 760, 762 }, { 325, 760, 761 } ], [ { 324, 756, 763 }, { 338, 756, 763 }, { 324, 338, 763 }, { 324, 338, 756 } ], [ { 325, 326, 763 }, { 324, 326, 763 }, { 324, 325, 326 }, { 324, 325, 763 } ], [ { 327, 328, 329 }, { 26, 328, 329 }, { 26, 327, 329 }, { 26, 327, 328 } ], [ { 328, 697, 764 }, { 327, 697, 764 }, { 327, 328, 764 }, { 327, 328, 697 } ], [ { 327, 329, 765 }, { 26, 329, 765 }, { 26, 327, 329 }, { 26, 327, 765 } ], [ { 26, 332, 333 }, { 248, 332, 333 }, { 26, 248, 333 }, { 26, 248, 332 } ], [ { 331, 332, 333 }, { 332, 333, 765 }, { 331, 333, 765 }, { 331, 332, 765 } ], [ { 30, 335, 336 }, { 30, 334, 336 }, { 334, 335, 336 }, { 30, 334, 335 } ], [ { 336, 703, 766 }, { 334, 336, 766 }, { 334, 336, 703 }, { 334, 703, 766 } ], [ { 30, 258, 340 }, { 258, 338, 340 }, { 30, 338, 340 }, { 30, 258, 338 } ], [ { 339, 340, 767 }, { 338, 339, 340 }, { 338, 340, 767 }, { 338, 339, 767 } ], [ { 30, 335, 767 }, { 30, 334, 767 }, { 334, 335, 767 }, { 30, 334, 335 } ], [ { 676, 768, 770, 771 }, { 235, 676, 770 }, { 235, 676, 768, 769 }, { 235, 769, 770, 771 }, { 768, 769, 771 } ], [ { 767, 773, 775 }, { 772, 773, 775 }, { 767, 772, 773, 774 }, { 772, 774, 775 }, { 767, 774, 775 } ], [ { 676, 768, 776 }, { 768, 772, 776 }, { 676, 768, 772, 774 }, { 772, 774, 776 }, { 676, 774, 776 } ], [ { 778, 779, 780 }, { 777, 779, 780 }, { 777, 778, 780 }, { 777, 778, 779 } ], [ { 341, 343, 344, 345 }, { 343, 344, 781 }, { 341, 344, 781 }, { 341, 345, 781 }, { 343, 345, 781 } ], [ { 344, 348, 349, 782 }, { 344, 347, 348 }, { 344, 347, 350, 782 }, { 347, 348, 349, 350 }, { 349, 350, 782 } ], [ { 348, 783, 784 }, { 347, 348, 784 }, { 347, 783, 784 }, { 347, 348, 783 } ], [ { 343, 344, 783 }, { 343, 783, 785 }, { 343, 344, 348, 785 }, { 348, 783, 785 }, { 344, 348, 783 } ], [ { 344, 353, 786 }, { 353, 781, 786 }, { 344, 353, 781 }, { 344, 781, 786 } ], [ { 344, 352, 353 }, { 344, 347, 353 }, { 347, 352, 353 }, { 344, 347, 352 } ], [ { 352, 353, 355 }, { 347, 353, 355 }, { 347, 352, 355 }, { 347, 352, 353 } ], [ { 358, 359, 778 }, { 357, 359, 778 }, { 357, 358, 778 }, { 357, 358, 359 } ], [ { 357, 788, 789 }, { 357, 787, 789 }, { 787, 788, 789 }, { 357, 787, 788 } ], [ { 357, 358, 778 }, { 358, 778, 787 }, { 357, 778, 787 }, { 357, 358, 787 } ], [ { 353, 357, 791 }, { 353, 357, 790, 792 }, { 357, 790, 791 }, { 353, 791, 792 }, { 790, 791, 792 } ], [ { 360, 361, 362 }, { 361, 362, 781 }, { 360, 362, 781 }, { 360, 361, 781 } ], [ { 48, 365, 793 }, { 48, 364, 365 }, { 364, 365, 793 }, { 48, 364, 793 } ], [ { 48, 361, 794 }, { 361, 793, 794 }, { 48, 361, 793 }, { 48, 793, 794 } ], [ { 48, 50, 795 }, { 50, 364, 795 }, { 48, 364, 795 }, { 48, 50, 364 } ], [ { 367, 368, 372 }, { 366, 367, 368 }, { 366, 368, 372 }, { 366, 367, 372 } ], [ { 364, 367, 370 }, { 366, 367, 370 }, { 364, 366, 370 }, { 364, 366, 367 } ], [ { 52, 54, 796 }, { 54, 372, 796 }, { 52, 372, 796 }, { 52, 54, 372 } ], [ { 48, 798, 799 }, { 797, 798, 799 }, { 48, 797, 799 }, { 48, 797, 798 } ], [ { 52, 800, 801 }, { 797, 800, 801 }, { 52, 797, 801 }, { 52, 797, 800 } ], [ { 48, 799, 802 }, { 797, 799, 802 }, { 48, 797, 802 }, { 48, 797, 799 } ], [ { 52, 801, 803 }, { 797, 801, 803 }, { 52, 797, 801 }, { 52, 797, 803 } ], [ { 373, 374, 375 }, { 374, 375, 804 }, { 373, 375, 804 }, { 373, 374, 804 } ], [ { 52, 60, 377 }, { 52, 372, 377 }, { 60, 372, 377 }, { 52, 60, 372 } ], [ { 52, 374, 805 }, { 60, 374, 805 }, { 52, 60, 374 }, { 52, 60, 805 } ], [ { 378, 379, 380 }, { 379, 380, 804 }, { 378, 380, 804 }, { 378, 379, 804 } ], [ { 383, 384, 385 }, { 384, 385, 804 }, { 383, 385, 804 }, { 383, 384, 804 } ], [ { 56, 387, 391 }, { 387, 389, 391 }, { 56, 389, 391 }, { 56, 387, 389 } ], [ { 56, 386, 387 }, { 55, 56, 387 }, { 55, 386, 387 }, { 55, 56, 386 } ], [ { 383, 386, 387 }, { 55, 383, 387 }, { 55, 383, 386 }, { 55, 386, 387 } ], [ { 387, 390, 806 }, { 389, 390, 806 }, { 387, 389, 390 }, { 387, 389, 806 } ], [ { 387, 807, 808 }, { 394, 807, 808 }, { 387, 394, 808 }, { 387, 394, 807 } ], [ { 372, 395, 809 }, { 372, 394, 809 }, { 394, 395, 809 }, { 372, 394, 395 } ], [ { 62, 374, 380 }, { 62, 374, 394 }, { 62, 380, 394 }, { 374, 380, 394 } ], [ { 60, 372, 396 }, { 60, 394, 396 }, { 372, 394, 396 }, { 60, 372, 394 } ], [ { 60, 62, 374 }, { 62, 374, 394 }, { 60, 62, 394 }, { 60, 374, 394 } ], [ { 402, 810, 811 }, { 398, 402, 811 }, { 398, 810, 811 }, { 398, 402, 810 } ], [ { 400, 401, 402 }, { 398, 401, 402 }, { 398, 400, 402 }, { 398, 400, 401 } ], [ { 812, 813, 814 }, { 63, 813, 814, 816 }, { 63, 812, 813, 815 }, { 812, 814, 815, 816 }, { 63, 815, 816 } ], [ { 405, 407, 817 }, { 404, 405, 407 }, { 404, 407, 817 }, { 404, 405, 817 } ], [ { 404, 405, 409 }, { 63, 405, 409 }, { 63, 404, 409 }, { 63, 404, 405 } ], [ { 63, 69, 404 }, { 63, 67, 404 }, { 67, 69, 404 }, { 63, 67, 69 } ], [ { 63, 401, 818 }, { 398, 401, 818 }, { 63, 398, 401 }, { 63, 398, 818 } ], [ { 65, 401, 412 }, { 63, 65, 401 }, { 63, 65, 412 }, { 63, 401, 412 } ], [ { 398, 415, 819, 820 }, { 398, 810, 819 }, { 398, 415, 810 }, { 810, 819, 820 }, { 415, 810, 820 } ], [ { 63, 70, 413 }, { 63, 67, 70 }, { 67, 70, 413 }, { 63, 67, 413 } ], [ { 63, 415, 821 }, { 413, 415, 821 }, { 63, 413, 821 }, { 63, 413, 415 } ], [ { 414, 418, 822 }, { 413, 418, 822 }, { 413, 414, 822 }, { 413, 414, 418 } ], [ { 413, 823, 825 }, { 823, 824, 825, 826 }, { 413, 823, 824 }, { 413, 824, 826 }, { 413, 825, 826 } ], [ { 414, 415, 418 }, { 413, 415, 418 }, { 413, 414, 418 }, { 413, 414, 415 } ], [ { 415, 418, 827 }, { 418, 810, 827 }, { 415, 810, 827 }, { 415, 418, 810 } ], [ { 829, 830, 831 }, { 828, 830, 831 }, { 828, 829, 831 }, { 828, 829, 830 } ], [ { 82, 832, 833 }, { 82, 419, 833 }, { 82, 419, 832 }, { 419, 832, 833 } ], [ { 419, 832, 834 }, { 78, 832, 834 }, { 78, 419, 834 }, { 78, 419, 832 } ], [ { 73, 75, 422 }, { 73, 419, 422 }, { 73, 75, 419, 420 }, { 75, 420, 422 }, { 419, 420, 422 } ], [ { 73, 422, 835 }, { 421, 422, 835 }, { 73, 421, 422 }, { 73, 421, 835 } ], [ { 836, 837, 838 }, { 828, 837, 838 }, { 828, 836, 838 }, { 828, 836, 837 } ], [ { 402, 838, 839 }, { 402, 836, 838 }, { 836, 838, 839 }, { 402, 836, 839 } ], [ { 79, 82, 840 }, { 78, 79, 82 }, { 78, 79, 840 }, { 78, 82, 840 } ], [ { 82, 840, 841 }, { 82, 828, 841 }, { 828, 840, 841 }, { 82, 828, 840 } ], [ { 78, 835, 840 }, { 835, 840, 842 }, { 78, 840, 842 }, { 78, 835, 842 } ], [ { 835, 843, 844 }, { 424, 843, 844 }, { 424, 835, 844 }, { 424, 835, 843 } ], [ { 418, 823, 843 }, { 418, 424, 843 }, { 418, 424, 823 }, { 424, 823, 843 } ], [ { 418, 426, 810, 845 }, { 418, 424, 810 }, { 424, 810, 845 }, { 418, 424, 426 }, { 424, 426, 845 } ], [ { 73, 421, 428 }, { 73, 427, 428 }, { 421, 427, 428 }, { 73, 421, 427 } ], [ { 428, 430, 431 }, { 427, 428, 430 }, { 427, 430, 431 }, { 427, 428, 431 } ], [ { 73, 433, 434 }, { 73, 317, 434 }, { 317, 433, 434 }, { 73, 317, 433 } ], [ { 434, 436, 437 }, { 317, 434, 437 }, { 317, 434, 436 }, { 317, 436, 437 } ], [ { 434, 437, 439 }, { 73, 434, 439 }, { 73, 437, 439 }, { 73, 434, 437 } ], [ { 428, 437, 439 }, { 73, 428, 439 }, { 73, 437, 439 }, { 73, 428, 437 } ], [ { 442, 461, 847 }, { 461, 846, 847 }, { 442, 461, 846 }, { 442, 846, 847 } ], [ { 849, 850, 851 }, { 848, 850, 851 }, { 848, 849, 851 }, { 848, 849, 850 } ], [ { 436, 437, 441 }, { 317, 437, 441 }, { 317, 436, 437 }, { 317, 436, 441 } ], [ { 437, 438, 443 }, { 438, 441, 443 }, { 437, 441, 443 }, { 437, 438, 441 } ], [ { 443, 444, 447 }, { 442, 444, 447 }, { 442, 443, 444 }, { 442, 443, 447 } ], [ { 443, 447, 450 }, { 447, 448, 450 }, { 443, 447, 448 }, { 443, 448, 450 } ], [ { 443, 450, 451 }, { 437, 450, 451 }, { 437, 443, 451 }, { 437, 443, 450 } ], [ { 88, 443, 454 }, { 88, 89, 441, 454 }, { 441, 443, 454 }, { 89, 441, 443 }, { 88, 89, 443 } ], [ { 317, 441, 454, 456 }, { 317, 441, 852 }, { 317, 456, 852 }, { 441, 454, 852 }, { 454, 456, 852 } ], [ { 442, 453, 454 }, { 442, 454, 456 }, { 453, 454, 456 }, { 442, 453, 456 } ], [ { 443, 454, 455 }, { 442, 443, 455 }, { 442, 443, 454 }, { 442, 454, 455 } ], [ { 442, 453, 457 }, { 442, 456, 457 }, { 453, 456, 457 }, { 442, 453, 456 } ], [ { 457, 459, 460 }, { 456, 457, 460 }, { 456, 457, 459 }, { 456, 459, 460 } ], [ { 457, 460, 461 }, { 442, 457, 461 }, { 442, 460, 461 }, { 442, 457, 460 } ], [ { 460, 461, 463 }, { 442, 461, 463 }, { 442, 460, 461 }, { 442, 460, 463 } ], [ { 461, 463, 468 }, { 442, 461, 463 }, { 442, 461, 468 }, { 442, 463, 468 } ], [ { 460, 463, 465 }, { 460, 463, 464 }, { 463, 464, 465 }, { 460, 464, 465 } ], [ { 463, 467, 468 }, { 463, 464, 467 }, { 464, 467, 468 }, { 463, 464, 468 } ], [ { 470, 549, 853 }, { 470, 551, 853 }, { 470, 549, 551 }, { 549, 551, 853 } ], [ { 485, 854, 855 }, { 115, 485, 855 }, { 115, 485, 854 }, { 115, 854, 855 } ], [ { 470, 549, 855 }, { 115, 470, 855 }, { 115, 470, 549 }, { 115, 549, 855 } ], [ { 470, 471, 473, 475 }, { 470, 471, 856, 857 }, { 471, 473, 857 }, { 473, 475, 856, 857 }, { 470, 475, 856 } ], [ { 476, 478, 479 }, { 470, 476, 479 }, { 470, 471, 476, 478 }, { 471, 478, 479 }, { 470, 471, 479 } ], [ { 479, 483, 485 }, { 479, 482, 483 }, { 482, 483, 485 }, { 479, 482, 485 } ], [ { 471, 487, 488 }, { 471, 488, 551 }, { 487, 488, 551 }, { 471, 487, 551 } ], [ { 482, 859, 860 }, { 482, 858, 860 }, { 482, 858, 859 }, { 858, 859, 860 } ], [ { 471, 487, 860 }, { 471, 858, 860 }, { 471, 487, 858 }, { 487, 858, 860 } ], [ { 491, 494, 495 }, { 490, 491, 495 }, { 490, 493, 494, 495 }, { 491, 493, 494 }, { 490, 491, 493 } ], [ { 39, 490, 862 }, { 39, 490, 495, 861 }, { 39, 861, 862, 863 }, { 490, 495, 862, 863 }, { 495, 861, 863 } ], [ { 491, 495, 864 }, { 495, 861, 864 }, { 491, 861, 864 }, { 491, 495, 861 } ], [ { 39, 491, 865 }, { 490, 491, 865 }, { 39, 490, 491 }, { 39, 490, 865 } ], [ { 498, 502, 503 }, { 498, 501, 503 }, { 501, 502, 503 }, { 498, 501, 502 } ], [ { 497, 498, 499 }, { 498, 499, 501 }, { 497, 499, 501 }, { 497, 498, 501 } ], [ { 90, 502, 504 }, { 90, 501, 504 }, { 501, 502, 504 }, { 90, 501, 502 } ], [ { 90, 93, 506 }, { 93, 501, 506 }, { 90, 93, 501 }, { 90, 501, 506 } ], [ { 507, 508, 509 }, { 94, 507, 508 }, { 94, 508, 509 }, { 94, 507, 509 } ], [ { 96, 508, 512 }, { 94, 96, 512 }, { 94, 508, 512 }, { 94, 96, 508 } ], [ { 508, 510, 512 }, { 509, 510, 512 }, { 508, 509, 512 }, { 508, 509, 510 } ], [ { 98, 211, 512 }, { 94, 211, 512 }, { 94, 98, 512 }, { 94, 98, 211 } ], [ { 101, 213, 512 }, { 98, 101, 512 }, { 98, 213, 512 }, { 98, 101, 213 } ], [ { 213, 515, 866 }, { 115, 515, 866 }, { 115, 213, 515 }, { 115, 213, 866 } ], [ { 514, 515, 516 }, { 115, 515, 516 }, { 115, 514, 516 }, { 115, 514, 515 } ], [ { 518, 520, 867 }, { 509, 518, 520 }, { 509, 520, 867 }, { 509, 518, 867 } ], [ { 123, 518, 868 }, { 518, 867, 868 }, { 123, 867, 868 }, { 123, 518, 867 } ], [ { 521, 522, 529 }, { 125, 522, 529 }, { 125, 521, 529 }, { 125, 521, 522 } ], [ { 103, 104, 522 }, { 104, 125, 522 }, { 103, 104, 125 }, { 103, 125, 522 } ], [ { 121, 123, 521 }, { 121, 125, 521 }, { 121, 123, 125 }, { 123, 125, 521 } ], [ { 103, 869, 870 }, { 530, 869, 870 }, { 103, 530, 870 }, { 103, 530, 869 } ], [ { 103, 869, 872 }, { 869, 871, 872 }, { 103, 871, 872 }, { 103, 869, 871 } ], [ { 103, 123, 873 }, { 103, 871, 873 }, { 123, 871, 873 }, { 103, 123, 871 } ], [ { 123, 535, 874 }, { 535, 871, 874 }, { 123, 871, 874 }, { 123, 535, 871 } ], [ { 530, 532, 869 }, { 497, 532, 869 }, { 497, 530, 532 }, { 497, 530, 869 } ], [ { 509, 533, 875 }, { 497, 509, 875, 876 }, { 497, 509, 532, 533 }, { 532, 533, 875, 876 }, { 497, 532, 876 } ], [ { 518, 533, 535 }, { 509, 533, 535 }, { 509, 518, 533 }, { 509, 518, 535 } ], [ { 518, 535, 868 }, { 123, 535, 868 }, { 123, 518, 868 }, { 123, 518, 535 } ], [ { 106, 537, 877 }, { 536, 537, 877 }, { 106, 536, 877 }, { 106, 536, 537 } ], [ { 103, 104, 539 }, { 104, 125, 539 }, { 103, 104, 125 }, { 103, 125, 539 } ], [ { 536, 539, 877 }, { 125, 539, 877 }, { 125, 536, 877 }, { 125, 536, 539 } ], [ { 878, 879, 880 }, { 551, 879, 880 }, { 551, 878, 880 }, { 551, 878, 879 } ], [ { 881, 882, 883 }, { 544, 882, 883 }, { 544, 881, 883 }, { 544, 881, 882 } ], [ { 536, 540, 548 }, { 125, 540, 548 }, { 125, 536, 548 }, { 125, 536, 540 } ], [ { 548, 881, 884 }, { 125, 548, 881 }, { 125, 548, 884 }, { 125, 881, 884 } ], [ { 548, 881, 883 }, { 544, 548, 883 }, { 544, 881, 883 }, { 544, 548, 881 } ], [ { 107, 542, 544 }, { 106, 542, 544 }, { 106, 107, 542 }, { 106, 107, 544 } ], [ { 106, 107, 548 }, { 107, 536, 548 }, { 106, 536, 548 }, { 106, 107, 536 } ], [ { 544, 545, 548 }, { 107, 545, 548 }, { 107, 544, 545 }, { 107, 544, 548 } ], [ { 110, 112, 554 }, { 112, 125, 554 }, { 110, 125, 554 }, { 110, 112, 125 } ], [ { 554, 879, 885 }, { 125, 554, 885 }, { 125, 554, 879 }, { 125, 879, 885 } ], [ { 554, 879, 880 }, { 551, 554, 880 }, { 551, 879, 880 }, { 551, 554, 879 } ], [ { 115, 549, 551 }, { 114, 549, 551 }, { 114, 115, 549 }, { 114, 115, 551 } ], [ { 110, 115, 554 }, { 110, 114, 554 }, { 114, 115, 554 }, { 110, 114, 115 } ], [ { 551, 552, 554 }, { 114, 552, 554 }, { 114, 551, 552 }, { 114, 551, 554 } ], [ { 110, 514, 516 }, { 115, 514, 516 }, { 110, 115, 516 }, { 110, 115, 514 } ], [ { 118, 121, 123 }, { 121, 123, 125 }, { 118, 121, 125 }, { 118, 123, 125 } ], [ { 110, 118, 516 }, { 118, 125, 516 }, { 110, 125, 516 }, { 110, 118, 125 } ], [ { 557, 558, 886 }, { 137, 558, 886 }, { 137, 557, 558 }, { 137, 557, 886 } ], [ { 128, 129, 136, 137 }, { 136, 137, 557, 559 }, { 128, 129, 557, 559 }, { 128, 136, 559 }, { 129, 137, 557 } ], [ { 134, 136, 564 }, { 134, 562, 564 }, { 136, 562, 564 }, { 134, 136, 562 } ], [ { 134, 137, 567 }, { 134, 562, 567 }, { 134, 137, 562 }, { 137, 562, 567 } ], [ { 134, 137, 143 }, { 135, 136, 137, 143 }, { 134, 136, 137 }, { 134, 135, 143 }, { 134, 135, 136 } ], [ { 570, 571, 573 }, { 509, 571, 573 }, { 509, 570, 573 }, { 509, 570, 571 } ], [ { 571, 575, 576 }, { 509, 575, 576 }, { 509, 571, 576 }, { 509, 571, 575 } ], [ { 571, 573, 576 }, { 573, 576, 578, 579 }, { 571, 576, 578 }, { 571, 573, 579 }, { 571, 578, 579 } ], [ { 145, 582, 584 }, { 144, 145, 584 }, { 144, 582, 584 }, { 144, 145, 582 } ], [ { 145, 148, 586, 588 }, { 145, 148, 584, 591 }, { 145, 584, 586 }, { 584, 586, 588, 591 }, { 148, 588, 591 } ], [ { 148, 149, 591 }, { 149, 590, 591 }, { 148, 149, 590 }, { 148, 590, 591 } ], [ { 887, 888, 889 }, { 595, 600, 887, 889 }, { 596, 599, 888, 889 }, { 595, 596, 889 }, { 597, 598, 887, 888 }, { 595, 596, 597, 598, 599, 600 }, { 597, 599, 888 }, { 598, 600, 887 } ], [ { 152, 153, 160 }, { 152, 153, 603 }, { 153, 160, 603 }, { 152, 160, 603 } ], [ { 153, 157, 160, 164 }, { 156, 157, 164 }, { 156, 157, 160 }, { 153, 156, 160 }, { 153, 156, 164 } ], [ { 157, 164, 165 }, { 164, 165, 606 }, { 157, 165, 606 }, { 157, 164, 606 } ], [ { 157, 160, 609 }, { 160, 168, 607, 609 }, { 157, 169, 607, 609 }, { 157, 160, 168, 169 }, { 168, 169, 607 } ], [ { 160, 623, 890 }, { 160, 590, 890 }, { 160, 590, 623 }, { 590, 623, 890 } ], [ { 176, 590, 890 }, { 176, 590, 612, 635 }, { 590, 635, 890, 891, 892, 893 }, { 176, 178, 890, 893 }, { 612, 635, 891 }, { 178, 612, 891, 892 }, { 176, 178, 612 }, { 178, 892, 893 } ], [ { 584, 618, 627 }, { 582, 584, 627 }, { 582, 618, 627 }, { 582, 584, 618 } ], [ { 584, 591, 618 }, { 584, 591, 620, 621 }, { 591, 618, 621 }, { 618, 620, 621 }, { 584, 618, 620 } ], [ { 591, 618, 623 }, { 590, 618, 623 }, { 590, 591, 618 }, { 590, 591, 623 } ], [ { 152, 618, 623 }, { 152, 590, 618 }, { 152, 590, 623 }, { 590, 618, 623 } ], [ { 582, 618, 627 }, { 618, 626, 627 }, { 582, 626, 627 }, { 582, 618, 626 } ], [ { 183, 185, 629 }, { 183, 185, 637 }, { 185, 629, 637 }, { 183, 629, 637 } ], [ { 895, 896, 897 }, { 894, 896, 897 }, { 894, 895, 897 }, { 894, 895, 896 } ], [ { 896, 897, 898 }, { 695, 896, 897 }, { 695, 897, 898 }, { 695, 896, 898 } ], [ { 208, 645, 899 }, { 207, 208, 645 }, { 207, 208, 899 }, { 207, 645, 899 } ], [ { 196, 645, 900 }, { 196, 207, 900 }, { 196, 207, 645 }, { 207, 645, 900 } ], [ { 901, 902, 903 }, { 645, 901, 903, 904 }, { 191, 645, 901, 902 }, { 191, 902, 903, 904 }, { 191, 645, 904 } ], [ { 6, 187, 635, 636 }, { 635, 636, 905 }, { 6, 631, 635, 905 }, { 187, 631, 636, 905 }, { 6, 187, 631 } ], [ { 190, 191, 906 }, { 191, 645, 906 }, { 190, 645, 906 }, { 190, 191, 645 } ], [ { 190, 191, 629 }, { 190, 191, 637 }, { 191, 629, 637 }, { 190, 629, 637 } ], [ { 190, 205, 907 }, { 190, 645, 907 }, { 205, 645, 907 }, { 190, 205, 645 } ], [ { 190, 205, 653, 908 }, { 205, 653, 695 }, { 190, 205, 695 }, { 653, 695, 908 }, { 190, 695, 908 } ], [ { 194, 196, 638 }, { 194, 196, 645 }, { 196, 638, 645 }, { 194, 638, 645 } ], [ { 198, 647, 648 }, { 198, 645, 648 }, { 645, 647, 648 }, { 198, 645, 647 } ], [ { 639, 640, 641 }, { 640, 641, 688, 910 }, { 639, 640, 688, 909 }, { 639, 641, 909, 910 }, { 688, 909, 910 } ], [ { 194, 646, 647 }, { 194, 645, 647 }, { 645, 646, 647 }, { 194, 645, 646 } ], [ { 198, 201, 651 }, { 198, 201, 688 }, { 201, 651, 688 }, { 198, 651, 688 } ], [ { 651, 695, 912 }, { 695, 911, 912 }, { 651, 695, 911, 913 }, { 911, 912, 913 }, { 651, 912, 913 } ], [ { 198, 205, 651 }, { 198, 205, 645 }, { 198, 645, 651 }, { 205, 645, 651 } ], [ { 205, 653, 695 }, { 205, 651, 653, 654 }, { 205, 651, 695 }, { 653, 654, 695 }, { 651, 654, 695 } ], [ { 94, 208, 656 }, { 207, 208, 656 }, { 94, 207, 208 }, { 94, 207, 656 } ], [ { 12, 13, 656 }, { 13, 94, 656 }, { 12, 13, 94 }, { 12, 94, 656 } ], [ { 207, 656, 914, 915 }, { 207, 656, 672 }, { 207, 672, 914 }, { 672, 914, 915 }, { 656, 672, 915 } ], [ { 212, 213, 658, 660 }, { 213, 657, 658 }, { 212, 213, 657 }, { 212, 657, 660 }, { 657, 658, 660 } ], [ { 213, 658, 665 }, { 115, 213, 665 }, { 115, 213, 658, 664 }, { 658, 664, 665 }, { 115, 664, 665 } ], [ { 115, 218, 664 }, { 218, 657, 664 }, { 115, 657, 664 }, { 115, 218, 657 } ], [ { 668, 669, 670 }, { 669, 670, 672 }, { 668, 670, 672 }, { 668, 669, 672 } ], [ { 213, 669, 673 }, { 669, 672, 673 }, { 213, 672, 673 }, { 213, 669, 672 } ], [ { 213, 669, 916 }, { 668, 669, 916 }, { 213, 668, 916 }, { 213, 668, 669 } ], [ { 220, 223, 676 }, { 223, 675, 676 }, { 220, 223, 675 }, { 220, 675, 676 } ], [ { 678, 917, 918 }, { 683, 917, 918 }, { 678, 683, 918 }, { 678, 683, 917 } ], [ { 223, 676, 677 }, { 223, 675, 677 }, { 223, 675, 676 }, { 675, 676, 677 } ], [ { 676, 679, 919, 921 }, { 676, 677, 919, 920 }, { 677, 679, 920, 921 }, { 919, 920, 921 }, { 676, 677, 679 } ], [ { 678, 679, 922 }, { 675, 677, 678, 679 }, { 675, 678, 922, 923 }, { 677, 679, 922, 923 }, { 675, 677, 923 } ], [ { 224, 678, 679 }, { 676, 678, 679 }, { 224, 676, 679 }, { 224, 676, 678 } ], [ { 226, 678, 683 }, { 226, 678, 692 }, { 226, 683, 692 }, { 678, 683, 692 } ], [ { 224, 226, 678 }, { 226, 676, 678 }, { 224, 226, 676 }, { 224, 676, 678 } ], [ { 241, 687, 924 }, { 220, 241, 924 }, { 220, 241, 687 }, { 220, 687, 924 } ], [ { 640, 682, 687 }, { 680, 682, 687 }, { 640, 680, 682 }, { 640, 680, 687 } ], [ { 680, 684, 687 }, { 683, 684, 687 }, { 680, 683, 684 }, { 680, 683, 687 } ], [ { 680, 683, 689 }, { 680, 688, 689 }, { 680, 683, 688 }, { 683, 688, 689 } ], [ { 639, 640, 680, 925 }, { 640, 680, 688 }, { 639, 640, 688, 909 }, { 680, 688, 909, 925 }, { 639, 909, 925 } ], [ { 18, 683, 693, 926 }, { 18, 683, 691 }, { 683, 691, 693 }, { 18, 691, 926 }, { 691, 693, 926 } ], [ { 226, 683, 692 }, { 226, 683, 691 }, { 226, 691, 692 }, { 683, 691, 692 } ], [ { 228, 697, 928 }, { 228, 927, 928 }, { 697, 927, 928 }, { 228, 697, 927 } ], [ { 18, 696, 697 }, { 691, 696, 697 }, { 18, 691, 697 }, { 18, 691, 696 } ], [ { 18, 228, 697 }, { 228, 695, 697 }, { 18, 228, 695 }, { 18, 695, 697 } ], [ { 226, 230, 676 }, { 226, 230, 691 }, { 230, 676, 691 }, { 226, 676, 691 } ], [ { 234, 699, 703 }, { 234, 698, 703 }, { 234, 698, 699 }, { 698, 699, 703 } ], [ { 24, 234, 703 }, { 24, 234, 672 }, { 234, 672, 703 }, { 24, 672, 703 } ], [ { 24, 241, 703 }, { 24, 241, 706 }, { 241, 703, 706 }, { 24, 703, 706 } ], [ { 235, 241, 676 }, { 220, 235, 241 }, { 220, 241, 676 }, { 220, 235, 676 } ], [ { 243, 708, 710 }, { 243, 710, 711 }, { 708, 710, 711 }, { 243, 708, 711 } ], [ { 243, 244, 250 }, { 244, 250, 711 }, { 243, 244, 711 }, { 243, 250, 711 } ], [ { 711, 713, 929 }, { 26, 711, 713 }, { 26, 713, 929 }, { 26, 711, 929 } ], [ { 244, 250, 711 }, { 26, 244, 250 }, { 26, 244, 711 }, { 26, 250, 711 } ], [ { 29, 250, 716 }, { 26, 250, 716 }, { 26, 29, 716 }, { 26, 29, 250 } ], [ { 26, 333, 716 }, { 248, 333, 716 }, { 26, 248, 333 }, { 26, 248, 716 } ], [ { 243, 250, 708 }, { 243, 249, 250 }, { 249, 250, 708 }, { 243, 249, 708 } ], [ { 250, 333, 716 }, { 333, 716, 717 }, { 250, 333, 717 }, { 250, 716, 717 } ], [ { 253, 254, 752 }, { 253, 254, 317 }, { 254, 317, 752 }, { 253, 317, 752 } ], [ { 253, 721, 722 }, { 317, 721, 722 }, { 253, 317, 721 }, { 253, 317, 722 } ], [ { 253, 722, 724 }, { 722, 724, 752 }, { 253, 724, 752 }, { 253, 722, 752 } ], [ { 30, 258, 267 }, { 258, 267, 338 }, { 30, 267, 338 }, { 30, 258, 338 } ], [ { 31, 267, 269 }, { 30, 31, 267 }, { 30, 31, 269 }, { 30, 267, 269 } ], [ { 30, 261, 726 }, { 115, 261, 726 }, { 30, 115, 726 }, { 30, 115, 261 } ], [ { 30, 269, 726 }, { 259, 269, 726 }, { 30, 259, 269 }, { 30, 259, 726 } ], [ { 263, 726, 729 }, { 726, 728, 729 }, { 263, 726, 728 }, { 263, 728, 729 } ], [ { 263, 269, 726 }, { 259, 269, 726 }, { 259, 263, 269 }, { 259, 263, 726 } ], [ { 266, 269, 931 }, { 266, 269, 930 }, { 269, 930, 931 }, { 266, 930, 931 } ], [ { 266, 267, 269 }, { 267, 269, 338 }, { 266, 267, 338 }, { 266, 269, 338 } ], [ { 269, 270, 932 }, { 270, 930, 932 }, { 269, 930, 932 }, { 269, 270, 930 } ], [ { 269, 270, 729 }, { 263, 269, 270 }, { 263, 270, 729 }, { 263, 269, 729 } ], [ { 275, 737, 738 }, { 39, 275, 737 }, { 39, 737, 738 }, { 39, 275, 738 } ], [ { 274, 275, 755 }, { 39, 274, 755 }, { 39, 274, 275 }, { 39, 275, 755 } ], [ { 275, 278, 755 }, { 278, 738, 755 }, { 275, 738, 755 }, { 275, 278, 738 } ], [ { 283, 333, 739 }, { 283, 333, 752 }, { 333, 739, 752 }, { 283, 739, 752 } ], [ { 741, 742, 933 }, { 282, 741, 742 }, { 282, 742, 933 }, { 282, 741, 933 } ], [ { 283, 304, 742 }, { 282, 283, 742 }, { 282, 283, 304 }, { 282, 304, 742 } ], [ { 282, 283, 333 }, { 283, 333, 744 }, { 282, 333, 744 }, { 282, 283, 744 } ], [ { 300, 934, 935, 936 }, { 300, 303, 934, 937 }, { 303, 935, 936, 937 }, { 300, 303, 936 }, { 934, 935, 937 } ], [ { 303, 304, 745 }, { 286, 303, 304 }, { 286, 288, 304, 745 }, { 286, 288, 303 }, { 288, 303, 745 } ], [ { 35, 44, 292 }, { 35, 291, 292 }, { 35, 44, 291, 295 }, { 44, 292, 295 }, { 291, 292, 295 } ], [ { 44, 292, 295 }, { 292, 295, 297 }, { 44, 295, 297 }, { 44, 292, 297 } ], [ { 292, 303, 304 }, { 292, 297, 304 }, { 297, 300, 303, 304 }, { 292, 300, 303 }, { 292, 297, 300 } ], [ { 35, 292, 304 }, { 291, 292, 304 }, { 35, 291, 292 }, { 35, 291, 304 } ], [ { 35, 254, 752 }, { 35, 254, 317 }, { 35, 317, 752 }, { 254, 317, 752 } ], [ { 35, 36, 304 }, { 36, 304, 752 }, { 35, 304, 752 }, { 35, 36, 752 } ], [ { 44, 274, 753 }, { 39, 44, 274 }, { 39, 44, 753 }, { 39, 274, 753 } ], [ { 35, 44, 753 }, { 44, 310, 753 }, { 35, 44, 310, 314 }, { 310, 314, 753 }, { 35, 314, 753 } ], [ { 39, 40, 753 }, { 40, 317, 753 }, { 39, 317, 753 }, { 39, 40, 317 } ], [ { 35, 254, 753 }, { 35, 317, 753 }, { 254, 317, 753 }, { 35, 254, 317 } ], [ { 44, 274, 755 }, { 39, 44, 274 }, { 39, 44, 755 }, { 39, 274, 755 } ], [ { 44, 297, 755 }, { 43, 44, 755 }, { 43, 44, 297 }, { 43, 297, 755 } ], [ { 297, 755, 759, 938 }, { 297, 324, 938 }, { 297, 324, 755 }, { 324, 759, 938 }, { 324, 755, 759 } ], [ { 324, 755, 757 }, { 338, 755, 757 }, { 324, 338, 757 }, { 324, 338, 755 } ], [ { 325, 761, 762 }, { 761, 762, 933 }, { 325, 762, 933 }, { 325, 761, 933 } ], [ { 324, 325, 762 }, { 297, 325, 762 }, { 297, 324, 762 }, { 297, 324, 325 } ], [ { 324, 325, 763 }, { 325, 338, 763 }, { 324, 338, 763 }, { 324, 325, 338 } ], [ { 327, 328, 697 }, { 26, 328, 697 }, { 26, 327, 697 }, { 26, 327, 328 } ], [ { 327, 697, 765 }, { 26, 697, 765 }, { 26, 327, 697 }, { 26, 327, 765 } ], [ { 332, 333, 765 }, { 26, 332, 333 }, { 26, 333, 765 }, { 26, 332, 765 } ], [ { 30, 336, 703 }, { 334, 336, 703 }, { 30, 334, 336 }, { 30, 334, 703 } ], [ { 30, 340, 767 }, { 338, 340, 767 }, { 30, 338, 340 }, { 30, 338, 767 } ], [ { 30, 703, 767 }, { 334, 703, 767 }, { 30, 334, 767 }, { 30, 334, 703 } ], [ { 703, 767, 773 }, { 334, 767, 773 }, { 334, 703, 773 }, { 334, 703, 767 } ], [ { 235, 676, 768, 769 }, { 676, 703, 768 }, { 235, 676, 703 }, { 703, 768, 769 }, { 235, 703, 769 } ], [ { 676, 767, 768, 773 }, { 676, 768, 772, 774 }, { 768, 772, 773 }, { 767, 772, 773, 774 }, { 676, 767, 774 } ], [ { 778, 779, 787 }, { 777, 778, 779 }, { 777, 779, 787 }, { 777, 778, 787 } ], [ { 778, 780, 939 }, { 777, 780, 939 }, { 777, 778, 939 }, { 777, 778, 780 } ], [ { 347, 778, 941 }, { 347, 940, 941 }, { 347, 778, 939, 940 }, { 939, 940, 941 }, { 778, 939, 941 } ], [ { 783, 784, 940 }, { 347, 783, 784 }, { 347, 784, 940 }, { 347, 783, 940 } ], [ { 343, 344, 783 }, { 344, 781, 783 }, { 343, 781, 783 }, { 343, 344, 781 } ], [ { 344, 348, 783 }, { 347, 348, 783 }, { 344, 347, 348 }, { 344, 347, 783 } ], [ { 344, 347, 353 }, { 344, 353, 781 }, { 347, 353, 781 }, { 344, 347, 781 } ], [ { 357, 359, 778 }, { 347, 355, 359, 778 }, { 347, 353, 357, 778 }, { 353, 355, 357, 359 }, { 347, 353, 355 } ], [ { 357, 778, 788 }, { 357, 778, 787 }, { 778, 787, 788 }, { 357, 787, 788 } ], [ { 357, 788, 791 }, { 353, 357, 781, 788 }, { 781, 788, 791 }, { 353, 357, 791 }, { 353, 781, 791 } ], [ { 48, 361, 362 }, { 361, 362, 781 }, { 48, 362, 781 }, { 48, 361, 781 } ], [ { 48, 361, 793 }, { 48, 361, 364 }, { 361, 364, 793 }, { 48, 364, 793 } ], [ { 48, 367, 795 }, { 364, 367, 795 }, { 48, 364, 795 }, { 48, 364, 367 } ], [ { 52, 367, 943 }, { 367, 942, 943 }, { 48, 52, 942, 943 }, { 48, 367, 942 }, { 48, 52, 367 } ], [ { 364, 367, 372 }, { 364, 366, 367 }, { 366, 367, 372 }, { 364, 366, 372 } ], [ { 52, 367, 796 }, { 367, 372, 796 }, { 52, 372, 796 }, { 52, 367, 372 } ], [ { 48, 781, 798 }, { 48, 797, 798 }, { 781, 797, 798 }, { 48, 781, 797 } ], [ { 48, 52, 800, 802 }, { 48, 797, 802 }, { 48, 52, 797 }, { 52, 797, 800 }, { 797, 800, 802 } ], [ { 781, 804, 944 }, { 781, 797, 944 }, { 797, 804, 944 }, { 781, 797, 804 } ], [ { 52, 803, 804 }, { 52, 797, 803 }, { 797, 803, 804 }, { 52, 797, 804 } ], [ { 52, 374, 375 }, { 374, 375, 804 }, { 52, 375, 804 }, { 52, 374, 804 } ], [ { 52, 60, 374 }, { 52, 372, 374 }, { 60, 372, 374 }, { 52, 60, 372 } ], [ { 379, 380, 383, 384 }, { 383, 384, 804 }, { 379, 384, 804 }, { 379, 380, 804 }, { 380, 383, 804 } ], [ { 56, 386, 387 }, { 56, 387, 389 }, { 386, 387, 389 }, { 56, 386, 389 } ], [ { 383, 386, 387 }, { 383, 387, 804 }, { 383, 386, 804 }, { 386, 387, 804 } ], [ { 387, 806, 945 }, { 389, 806, 945 }, { 387, 389, 806 }, { 387, 389, 945 } ], [ { 387, 394, 808 }, { 394, 808, 946 }, { 387, 394, 945, 946 }, { 808, 945, 946 }, { 387, 808, 945 } ], [ { 372, 809, 946 }, { 372, 394, 809 }, { 394, 809, 946 }, { 372, 394, 946 } ], [ { 374, 380, 804 }, { 374, 380, 394 }, { 374, 394, 804 }, { 380, 394, 804 } ], [ { 60, 372, 374 }, { 60, 374, 394 }, { 372, 374, 394 }, { 60, 372, 394 } ], [ { 401, 402, 810 }, { 398, 401, 402 }, { 398, 402, 810 }, { 398, 401, 810 } ], [ { 812, 813, 947 }, { 63, 812, 813, 815 }, { 405, 813, 947, 950 }, { 63, 405, 813 }, { 812, 815, 947, 948, 949, 950 }, { 63, 405, 948, 949 }, { 63, 815, 949 }, { 405, 948, 950 } ], [ { 67, 404, 817 }, { 63, 67, 405, 817 }, { 63, 67, 404 }, { 63, 404, 405 }, { 404, 405, 817 } ], [ { 63, 401, 412 }, { 398, 401, 412 }, { 63, 398, 401 }, { 63, 398, 412 } ], [ { 63, 415, 810 }, { 398, 415, 810 }, { 63, 398, 415 }, { 63, 398, 810 } ], [ { 63, 413, 415 }, { 63, 67, 415 }, { 67, 413, 415 }, { 63, 67, 413 } ], [ { 418, 822, 823, 825 }, { 413, 418, 823 }, { 413, 823, 825 }, { 413, 418, 822 }, { 413, 822, 825 } ], [ { 415, 418, 810 }, { 413, 415, 418 }, { 413, 418, 810 }, { 413, 415, 810 } ], [ { 830, 831, 951 }, { 828, 831, 951 }, { 828, 830, 831 }, { 828, 830, 951 } ], [ { 419, 830, 952 }, { 317, 830, 952 }, { 317, 419, 952 }, { 317, 419, 830 } ], [ { 419, 829, 830 }, { 419, 828, 830 }, { 828, 829, 830 }, { 419, 828, 829 } ], [ { 82, 419, 833 }, { 82, 828, 833 }, { 82, 419, 828 }, { 419, 828, 833 } ], [ { 82, 419, 832 }, { 78, 82, 832 }, { 78, 82, 419 }, { 78, 419, 832 } ], [ { 419, 834, 835 }, { 78, 834, 835 }, { 78, 419, 834 }, { 78, 419, 835 } ], [ { 73, 419, 953 }, { 317, 419, 953 }, { 73, 317, 953 }, { 73, 317, 419 } ], [ { 419, 422, 835 }, { 73, 422, 835 }, { 73, 419, 422 }, { 73, 419, 835 } ], [ { 73, 421, 835 }, { 73, 427, 835 }, { 421, 427, 835 }, { 73, 421, 427 } ], [ { 823, 835, 954, 955 }, { 427, 823, 954, 956 }, { 427, 823, 835 }, { 427, 835, 955, 956 }, { 954, 955, 956 } ], [ { 836, 838, 839 }, { 828, 838, 839 }, { 828, 836, 838 }, { 828, 836, 839 } ], [ { 402, 810, 838 }, { 402, 838, 839 }, { 810, 838, 839 }, { 402, 810, 839 } ], [ { 78, 835, 840 }, { 828, 835, 840 }, { 78, 82, 828, 835 }, { 82, 828, 840 }, { 78, 82, 840 } ], [ { 810, 838, 840 }, { 810, 828, 838 }, { 828, 838, 840 }, { 810, 828, 840 } ], [ { 823, 835, 843 }, { 424, 835, 843 }, { 424, 823, 843 }, { 424, 823, 835 } ], [ { 418, 810, 823 }, { 418, 424, 810 }, { 418, 424, 823 }, { 424, 810, 823 } ], [ { 810, 835, 840 }, { 424, 810, 840 }, { 424, 810, 835 }, { 424, 835, 840 } ], [ { 73, 428, 823 }, { 427, 428, 823 }, { 73, 427, 823 }, { 73, 427, 428 } ], [ { 428, 431, 823 }, { 427, 428, 823 }, { 427, 431, 823 }, { 427, 428, 431 } ], [ { 73, 434, 437 }, { 317, 434, 437 }, { 73, 317, 434 }, { 73, 317, 437 } ], [ { 428, 431, 437 }, { 73, 428, 431 }, { 73, 428, 437 }, { 73, 431, 437 } ], [ { 461, 468, 847 }, { 442, 461, 847 }, { 442, 461, 468 }, { 442, 468, 847 } ], [ { 437, 848, 849, 960 }, { 437, 442, 848 }, { 848, 849, 850 }, { 442, 848, 850, 959 }, { 437, 442, 957, 958 }, { 849, 850, 957, 958, 959, 960 }, { 442, 957, 959 }, { 437, 958, 960 } ], [ { 437, 441, 443 }, { 317, 437, 443 }, { 317, 441, 443 }, { 317, 437, 441 } ], [ { 437, 443, 450 }, { 437, 442, 447, 450 }, { 437, 442, 443 }, { 443, 447, 450 }, { 442, 443, 447 } ], [ { 317, 441, 443 }, { 317, 443, 456 }, { 317, 441, 454, 456 }, { 441, 443, 454 }, { 443, 454, 456 } ], [ { 442, 443, 454 }, { 443, 454, 456 }, { 442, 443, 456 }, { 442, 454, 456 } ], [ { 442, 457, 460 }, { 456, 457, 460 }, { 442, 456, 457 }, { 442, 456, 460 } ], [ { 460, 463, 468 }, { 442, 463, 468 }, { 442, 460, 463 }, { 442, 460, 468 } ], [ { 460, 463, 961 }, { 463, 464, 961 }, { 460, 463, 464 }, { 460, 464, 961 } ], [ { 463, 468, 961 }, { 463, 464, 961 }, { 463, 464, 468 }, { 464, 468, 961 } ], [ { 470, 549, 551 }, { 115, 470, 549 }, { 115, 470, 551 }, { 115, 549, 551 } ], [ { 470, 485, 855 }, { 115, 470, 485 }, { 115, 470, 855 }, { 115, 485, 855 } ], [ { 470, 471, 856, 857 }, { 470, 471, 551 }, { 470, 551, 856 }, { 551, 856, 857 }, { 471, 551, 857 } ], [ { 470, 479, 485 }, { 479, 482, 485 }, { 470, 471, 482, 485 }, { 471, 479, 482 }, { 470, 471, 479 } ], [ { 471, 487, 860 }, { 471, 551, 860 }, { 471, 487, 551 }, { 487, 551, 860 } ], [ { 471, 482, 860 }, { 471, 482, 858 }, { 471, 858, 860 }, { 482, 858, 860 } ], [ { 39, 490, 491 }, { 39, 491, 861 }, { 39, 490, 495, 861 }, { 491, 495, 861 }, { 490, 491, 495 } ], [ { 491, 738, 864 }, { 491, 861, 864 }, { 738, 861, 864 }, { 491, 738, 861 } ], [ { 491, 738, 865 }, { 39, 491, 865 }, { 39, 491, 738 }, { 39, 738, 865 } ], [ { 497, 498, 502 }, { 497, 498, 501 }, { 498, 501, 502 }, { 497, 501, 502 } ], [ { 90, 502, 506 }, { 90, 501, 506 }, { 501, 502, 506 }, { 90, 501, 502 } ], [ { 508, 509, 512 }, { 94, 508, 512 }, { 94, 509, 512 }, { 94, 508, 509 } ], [ { 98, 213, 512 }, { 94, 213, 512 }, { 94, 98, 512 }, { 94, 98, 213 } ], [ { 213, 515, 516 }, { 115, 515, 516 }, { 115, 213, 516 }, { 115, 213, 515 } ], [ { 123, 518, 867 }, { 123, 509, 518 }, { 509, 518, 867 }, { 123, 509, 867 } ], [ { 521, 522, 962, 963 }, { 125, 521, 962 }, { 125, 962, 963 }, { 125, 522, 963 }, { 125, 521, 522 } ], [ { 103, 522, 963 }, { 125, 522, 963 }, { 103, 125, 522 }, { 103, 125, 963 } ], [ { 123, 521, 962 }, { 125, 521, 962 }, { 123, 125, 521 }, { 123, 125, 962 } ], [ { 103, 530, 869 }, { 103, 497, 869 }, { 497, 530, 869 }, { 103, 497, 530 } ], [ { 103, 123, 535, 869 }, { 123, 535, 871 }, { 103, 123, 871 }, { 103, 869, 871 }, { 535, 869, 871 } ], [ { 509, 533, 535 }, { 497, 509, 532, 533 }, { 497, 509, 535, 869 }, { 532, 533, 535, 869 }, { 497, 532, 869 } ], [ { 123, 518, 535 }, { 509, 518, 535 }, { 123, 509, 535 }, { 123, 509, 518 } ], [ { 106, 536, 877 }, { 106, 125, 877 }, { 125, 536, 877 }, { 106, 125, 536 } ], [ { 103, 539, 877 }, { 125, 539, 877 }, { 103, 125, 877 }, { 103, 125, 539 } ], [ { 551, 878, 879 }, { 125, 878, 879 }, { 125, 551, 879 }, { 125, 551, 878 } ], [ { 878, 882, 964 }, { 125, 878, 882 }, { 125, 878, 964 }, { 125, 882, 964 } ], [ { 544, 881, 882 }, { 125, 881, 882 }, { 125, 544, 882 }, { 125, 544, 881 } ], [ { 544, 882, 965 }, { 544, 551, 878, 882 }, { 544, 551, 965, 966 }, { 878, 882, 965, 966 }, { 551, 878, 966 } ], [ { 106, 536, 548 }, { 106, 125, 548 }, { 125, 536, 548 }, { 106, 125, 536 } ], [ { 544, 548, 881 }, { 125, 548, 881 }, { 125, 544, 548 }, { 125, 544, 881 } ], [ { 107, 544, 548 }, { 106, 544, 548 }, { 106, 107, 548 }, { 106, 107, 544 } ], [ { 110, 115, 554 }, { 110, 125, 554 }, { 115, 125, 554 }, { 110, 115, 125 } ], [ { 551, 554, 879 }, { 125, 554, 879 }, { 125, 551, 554 }, { 125, 551, 879 } ], [ { 115, 551, 554 }, { 114, 551, 554 }, { 114, 115, 554 }, { 114, 115, 551 } ], [ { 110, 115, 516 }, { 110, 125, 516 }, { 115, 125, 516 }, { 110, 115, 125 } ], [ { 118, 123, 516 }, { 123, 125, 516 }, { 118, 125, 516 }, { 118, 123, 125 } ], [ { 136, 137, 557, 559 }, { 136, 137, 886, 967, 968, 969 }, { 137, 557, 886 }, { 557, 886, 967, 970 }, { 559, 968, 969, 970 }, { 136, 559, 969 }, { 967, 968, 970 }, { 557, 559, 970 } ], [ { 134, 136, 137 }, { 134, 137, 562 }, { 134, 136, 562 }, { 136, 137, 562 } ], [ { 571, 573, 576 }, { 509, 573, 576 }, { 509, 571, 576 }, { 509, 571, 573 } ], [ { 582, 584, 590, 591 }, { 145, 148, 582, 590 }, { 148, 590, 591 }, { 145, 148, 584, 591 }, { 145, 582, 584 } ], [ { 887, 888, 972, 973 }, { 887, 889, 971, 973 }, { 971, 972, 973 }, { 888, 889, 971, 972 }, { 887, 888, 889 } ], [ { 606, 974, 975, 976 }, { 606, 971, 972, 974 }, { 971, 972, 975, 976 }, { 606, 972, 975 }, { 971, 974, 976 } ], [ { 152, 160, 603 }, { 152, 160, 590 }, { 152, 590, 603 }, { 160, 590, 603 } ], [ { 157, 164, 606 }, { 153, 164, 603, 606 }, { 157, 160, 603, 606 }, { 153, 157, 160, 164 }, { 153, 160, 603 } ], [ { 157, 165, 606 }, { 157, 165, 635 }, { 165, 606, 635 }, { 157, 606, 635 } ], [ { 157, 160, 590, 635 }, { 590, 635, 890, 891, 892, 893 }, { 160, 590, 890 }, { 157, 635, 891 }, { 157, 609, 891, 892 }, { 160, 609, 890, 893 }, { 609, 892, 893 }, { 157, 160, 609 } ], [ { 582, 590, 618 }, { 590, 591, 618 }, { 582, 584, 590, 591 }, { 584, 591, 618 }, { 582, 584, 618 } ], [ { 152, 603, 618 }, { 152, 590, 618 }, { 152, 590, 603 }, { 590, 603, 618 } ], [ { 582, 603, 618 }, { 603, 618, 626 }, { 582, 618, 626 }, { 582, 603, 626 } ], [ { 185, 629, 894 }, { 185, 637, 894 }, { 185, 629, 637 }, { 629, 637, 894 } ], [ { 929, 978, 979 }, { 977, 978, 979 }, { 929, 977, 979 }, { 929, 977, 978 } ], [ { 695, 896, 897 }, { 894, 896, 897 }, { 695, 894, 897 }, { 695, 894, 896 } ], [ { 94, 208, 645 }, { 94, 207, 208 }, { 207, 208, 645 }, { 94, 207, 645 } ], [ { 196, 645, 672 }, { 196, 207, 672 }, { 196, 207, 645 }, { 207, 645, 672 } ], [ { 191, 645, 901, 902 }, { 629, 645, 901, 980 }, { 901, 902, 980 }, { 191, 629, 902, 980 }, { 191, 629, 645 } ], [ { 635, 636, 645, 981 }, { 635, 636, 905 }, { 635, 645, 901, 905 }, { 636, 901, 905, 981 }, { 645, 901, 981 } ], [ { 190, 191, 645 }, { 190, 191, 629 }, { 191, 629, 645 }, { 190, 629, 645 } ], [ { 190, 629, 695 }, { 190, 637, 695 }, { 190, 629, 637 }, { 629, 637, 695 } ], [ { 190, 205, 695 }, { 190, 205, 645 }, { 190, 645, 695 }, { 205, 645, 695 } ], [ { 196, 638, 672 }, { 196, 638, 645 }, { 196, 645, 672 }, { 638, 645, 672 } ], [ { 194, 638, 640 }, { 194, 640, 645 }, { 638, 640, 645 }, { 194, 638, 645 } ], [ { 198, 645, 647 }, { 198, 647, 688 }, { 198, 645, 688 }, { 645, 647, 688 } ], [ { 640, 641, 647 }, { 640, 641, 688, 910 }, { 640, 647, 688 }, { 641, 647, 910 }, { 647, 688, 910 } ], [ { 194, 640, 647 }, { 640, 645, 647 }, { 194, 645, 647 }, { 194, 640, 645 } ], [ { 198, 645, 651 }, { 198, 651, 688 }, { 198, 645, 688 }, { 645, 651, 688 } ], [ { 651, 695, 911, 913 }, { 651, 688, 695 }, { 688, 695, 911, 982 }, { 651, 688, 913, 982 }, { 911, 913, 982 } ], [ { 205, 651, 695 }, { 205, 645, 695 }, { 205, 645, 651 }, { 645, 651, 695 } ], [ { 94, 656, 672 }, { 207, 656, 672 }, { 94, 207, 656 }, { 94, 207, 672 } ], [ { 12, 213, 656 }, { 12, 94, 656 }, { 94, 213, 656 }, { 12, 94, 213 } ], [ { 213, 656, 915 }, { 656, 672, 915 }, { 213, 672, 915 }, { 213, 656, 672 } ], [ { 115, 213, 658, 664 }, { 213, 657, 658 }, { 115, 213, 657 }, { 657, 658, 664 }, { 115, 657, 664 } ], [ { 115, 218, 983 }, { 218, 657, 983 }, { 115, 657, 983 }, { 115, 218, 657 } ], [ { 213, 668, 669 }, { 213, 669, 672 }, { 668, 669, 672 }, { 213, 668, 672 } ], [ { 220, 676, 687 }, { 675, 676, 687 }, { 220, 675, 687 }, { 220, 675, 676 } ], [ { 675, 678, 917, 984 }, { 675, 678, 683, 687 }, { 683, 687, 917, 984 }, { 675, 687, 984 }, { 678, 683, 917 } ], [ { 676, 678, 679 }, { 675, 677, 678, 679 }, { 675, 676, 678 }, { 676, 677, 679 }, { 675, 676, 677 } ], [ { 226, 676, 678 }, { 226, 678, 683 }, { 226, 676, 683 }, { 676, 678, 683 } ], [ { 241, 676, 687 }, { 220, 241, 687 }, { 220, 241, 676 }, { 220, 676, 687 } ], [ { 640, 680, 688 }, { 640, 683, 687, 688 }, { 680, 683, 688 }, { 680, 683, 687 }, { 640, 680, 687 } ], [ { 683, 695, 985 }, { 683, 688, 695 }, { 683, 688, 985 }, { 688, 695, 985 } ], [ { 18, 683, 695 }, { 18, 683, 691 }, { 18, 691, 695 }, { 683, 691, 695 } ], [ { 226, 676, 683 }, { 226, 676, 691 }, { 226, 683, 691 }, { 676, 683, 691 } ], [ { 228, 697, 927 }, { 228, 695, 697 }, { 228, 695, 927 }, { 695, 697, 927 } ], [ { 18, 695, 697 }, { 18, 691, 697 }, { 691, 695, 697 }, { 18, 691, 695 } ], [ { 230, 676, 697 }, { 230, 691, 697 }, { 230, 676, 691 }, { 676, 691, 697 } ], [ { 234, 699, 703 }, { 234, 672, 703 }, { 234, 672, 699 }, { 672, 699, 703 } ], [ { 24, 241, 703 }, { 24, 241, 672 }, { 241, 672, 703 }, { 24, 672, 703 } ], [ { 235, 241, 703 }, { 235, 241, 676 }, { 241, 676, 703 }, { 235, 676, 703 } ], [ { 243, 250, 708 }, { 243, 250, 711 }, { 250, 708, 711 }, { 243, 708, 711 } ], [ { 250, 711, 929 }, { 26, 250, 711 }, { 26, 250, 929 }, { 26, 711, 929 } ], [ { 250, 333, 716 }, { 26, 333, 716 }, { 26, 250, 333 }, { 26, 250, 716 } ], [ { 250, 708, 986 }, { 249, 250, 986 }, { 249, 250, 708 }, { 249, 708, 986 } ], [ { 250, 333, 986 }, { 250, 333, 717 }, { 333, 717, 986 }, { 250, 717, 986 } ], [ { 253, 722, 752 }, { 253, 317, 722 }, { 317, 722, 752 }, { 253, 317, 752 } ], [ { 30, 267, 269 }, { 267, 269, 338 }, { 30, 267, 338 }, { 30, 269, 338 } ], [ { 30, 269, 726 }, { 115, 269, 726 }, { 30, 115, 269 }, { 30, 115, 726 } ], [ { 269, 726, 729 }, { 263, 269, 726 }, { 263, 269, 729 }, { 263, 726, 729 } ], [ { 266, 269, 338 }, { 266, 269, 930 }, { 269, 338, 930 }, { 266, 338, 930 } ], [ { 269, 270, 729 }, { 269, 270, 930 }, { 270, 729, 930 }, { 269, 729, 930 } ], [ { 275, 738, 755 }, { 39, 275, 755 }, { 39, 738, 755 }, { 39, 275, 738 } ], [ { 283, 304, 333 }, { 283, 333, 752 }, { 304, 333, 752 }, { 283, 304, 752 } ], [ { 304, 742, 933 }, { 282, 304, 742 }, { 282, 742, 933 }, { 282, 304, 933 } ], [ { 283, 304, 333 }, { 282, 283, 333 }, { 282, 304, 333 }, { 282, 283, 304 } ], [ { 297, 304, 745, 987, 988, 989 }, { 297, 300, 303, 304 }, { 303, 304, 745 }, { 297, 300, 988 }, { 300, 936, 987, 988 }, { 303, 745, 936, 989 }, { 936, 987, 989 }, { 300, 303, 936 } ], [ { 35, 292, 304 }, { 292, 297, 304 }, { 35, 44, 297, 304 }, { 44, 292, 297 }, { 35, 44, 292 } ], [ { 35, 304, 752 }, { 35, 304, 317 }, { 304, 317, 752 }, { 35, 317, 752 } ], [ { 35, 317, 753 }, { 39, 317, 753 }, { 35, 39, 44, 317 }, { 35, 44, 753 }, { 39, 44, 753 } ], [ { 44, 297, 755 }, { 39, 44, 755 }, { 39, 44, 297 }, { 39, 297, 755 } ], [ { 324, 338, 755 }, { 297, 324, 755 }, { 297, 338, 755 }, { 297, 324, 338 } ], [ { 325, 762, 933 }, { 297, 325, 762 }, { 297, 762, 933 }, { 297, 325, 933 } ], [ { 324, 325, 338 }, { 297, 324, 325 }, { 297, 325, 338 }, { 297, 324, 338 } ], [ { 328, 697, 929 }, { 26, 328, 697 }, { 26, 697, 929 }, { 26, 328, 929 } ], [ { 333, 697, 765 }, { 26, 333, 697 }, { 26, 333, 765 }, { 26, 697, 765 } ], [ { 30, 336, 703 }, { 115, 336, 703 }, { 30, 115, 336 }, { 30, 115, 703 } ], [ { 30, 703, 767 }, { 338, 703, 767 }, { 30, 338, 767 }, { 30, 338, 703 } ], [ { 676, 767, 768, 773 }, { 676, 703, 768 }, { 676, 703, 767 }, { 703, 768, 773 }, { 703, 767, 773 } ], [ { 778, 787, 788 }, { 777, 778, 788 }, { 777, 778, 787 }, { 777, 787, 788 } ], [ { 347, 783, 940 }, { 777, 783, 939, 940 }, { 347, 777, 778, 783 }, { 347, 778, 939, 940 }, { 777, 778, 939 } ], [ { 344, 347, 783 }, { 344, 781, 783 }, { 347, 781, 783 }, { 344, 347, 781 } ], [ { 353, 357, 781, 788 }, { 347, 778, 781, 788 }, { 357, 778, 788 }, { 347, 353, 357, 778 }, { 347, 353, 781 } ], [ { 48, 361, 364 }, { 48, 361, 781 }, { 361, 364, 781 }, { 48, 364, 781 } ], [ { 52, 367, 372 }, { 364, 367, 372 }, { 48, 52, 364, 372 }, { 48, 52, 367 }, { 48, 364, 367 } ], [ { 48, 52, 781, 804 }, { 52, 797, 804 }, { 781, 797, 804 }, { 48, 52, 797 }, { 48, 781, 797 } ], [ { 52, 372, 374 }, { 52, 374, 804 }, { 372, 374, 804 }, { 52, 372, 804 } ], [ { 383, 387, 804 }, { 380, 383, 387, 394 }, { 387, 394, 804 }, { 380, 383, 804 }, { 380, 394, 804 } ], [ { 386, 387, 804 }, { 386, 387, 389 }, { 387, 389, 804 }, { 386, 389, 804 } ], [ { 372, 389, 945, 946 }, { 372, 394, 946 }, { 372, 387, 389, 394 }, { 387, 394, 945, 946 }, { 387, 389, 945 } ], [ { 372, 374, 804 }, { 372, 374, 394 }, { 374, 394, 804 }, { 372, 394, 804 } ], [ { 401, 402, 810 }, { 401, 402, 839 }, { 402, 810, 839 }, { 401, 810, 839 } ], [ { 401, 412, 810 }, { 398, 401, 810 }, { 398, 401, 412 }, { 398, 412, 810 } ], [ { 63, 67, 412 }, { 67, 412, 817, 990, 991, 992 }, { 63, 67, 405, 817 }, { 405, 817, 990 }, { 63, 405, 813 }, { 63, 412, 813, 992 }, { 405, 813, 990, 991 }, { 813, 991, 992 } ], [ { 63, 415, 810 }, { 67, 415, 810 }, { 63, 67, 415 }, { 63, 67, 810 } ], [ { 63, 412, 810 }, { 398, 412, 810 }, { 63, 398, 810 }, { 63, 398, 412 } ], [ { 413, 415, 810 }, { 67, 415, 810 }, { 67, 413, 415 }, { 67, 413, 810 } ], [ { 413, 418, 810 }, { 418, 810, 823 }, { 413, 418, 823 }, { 413, 810, 823 } ], [ { 830, 839, 951 }, { 828, 839, 951 }, { 828, 830, 951 }, { 828, 830, 839 } ], [ { 419, 828, 830 }, { 317, 419, 830 }, { 317, 828, 830 }, { 317, 419, 828 } ], [ { 78, 419, 835 }, { 419, 828, 835 }, { 78, 82, 828, 835 }, { 78, 82, 419 }, { 82, 419, 828 } ], [ { 73, 419, 835 }, { 317, 419, 835 }, { 73, 317, 835 }, { 73, 317, 419 } ], [ { 73, 823, 835 }, { 427, 823, 835 }, { 73, 427, 835 }, { 73, 427, 823 } ], [ { 810, 838, 839 }, { 810, 828, 838 }, { 828, 838, 839 }, { 810, 828, 839 } ], [ { 810, 835, 840 }, { 810, 828, 840 }, { 810, 828, 835 }, { 828, 835, 840 } ], [ { 810, 823, 835 }, { 424, 810, 835 }, { 424, 810, 823 }, { 424, 823, 835 } ], [ { 428, 431, 823 }, { 73, 428, 823 }, { 73, 431, 823 }, { 73, 428, 431 } ], [ { 73, 431, 437 }, { 317, 431, 437 }, { 73, 317, 431 }, { 73, 317, 437 } ], [ { 431, 437, 442, 468 }, { 437, 442, 848 }, { 442, 468, 847 }, { 442, 847, 848, 995 }, { 431, 468, 847, 993, 994, 995 }, { 437, 848, 993, 994 }, { 431, 437, 993 }, { 848, 994, 995 } ], [ { 442, 443, 456 }, { 317, 443, 456 }, { 317, 437, 442, 456 }, { 437, 442, 443 }, { 317, 437, 443 } ], [ { 442, 460, 468 }, { 456, 460, 468 }, { 442, 456, 468 }, { 442, 456, 460 } ], [ { 463, 468, 961 }, { 460, 463, 961 }, { 460, 463, 468 }, { 460, 468, 961 } ], [ { 470, 485, 551 }, { 115, 470, 485 }, { 115, 470, 551 }, { 115, 485, 551 } ], [ { 470, 471, 482, 485 }, { 470, 485, 551 }, { 482, 485, 551 }, { 470, 471, 551 }, { 471, 482, 551 } ], [ { 471, 482, 860 }, { 471, 482, 551 }, { 471, 551, 860 }, { 482, 551, 860 } ], [ { 39, 491, 738 }, { 491, 738, 861 }, { 39, 491, 861 }, { 39, 738, 861 } ], [ { 497, 502, 506 }, { 497, 501, 506 }, { 501, 502, 506 }, { 497, 501, 502 } ], [ { 213, 509, 512 }, { 94, 213, 512 }, { 94, 509, 512 }, { 94, 213, 509 } ], [ { 123, 213, 516 }, { 115, 123, 516 }, { 115, 213, 516 }, { 115, 123, 213 } ], [ { 123, 213, 867 }, { 123, 509, 867 }, { 123, 213, 509 }, { 213, 509, 867 } ], [ { 103, 123, 962, 963 }, { 123, 125, 962 }, { 103, 123, 125 }, { 103, 125, 963 }, { 125, 962, 963 } ], [ { 123, 509, 535 }, { 497, 509, 535, 869 }, { 103, 123, 497, 509 }, { 103, 123, 535, 869 }, { 103, 497, 869 } ], [ { 103, 106, 877 }, { 103, 125, 877 }, { 106, 125, 877 }, { 103, 106, 125 } ], [ { 544, 551, 878, 882 }, { 125, 544, 882 }, { 125, 544, 551 }, { 125, 878, 882 }, { 125, 551, 878 } ], [ { 106, 544, 548 }, { 125, 544, 548 }, { 106, 125, 548 }, { 106, 125, 544 } ], [ { 115, 551, 554 }, { 125, 551, 554 }, { 115, 125, 554 }, { 115, 125, 551 } ], [ { 115, 123, 516 }, { 123, 125, 516 }, { 115, 125, 516 }, { 115, 123, 125 } ], [ { 136, 562, 969, 997 }, { 562, 996, 997 }, { 967, 968, 996, 997 }, { 136, 137, 562 }, { 137, 562, 886, 996 }, { 136, 137, 886, 967, 968, 969 }, { 886, 967, 996 }, { 968, 969, 997 } ], [ { 509, 573, 576 }, { 562, 573, 576, 996 }, { 509, 562, 573 }, { 509, 562, 996 }, { 509, 576, 996 } ], [ { 502, 582, 590 }, { 145, 148, 582, 590 }, { 148, 502, 590 }, { 145, 502, 582 }, { 145, 148, 502 } ], [ { 603, 606, 974 }, { 606, 971, 972, 974 }, { 603, 971, 973, 974 }, { 603, 606, 972, 973 }, { 971, 972, 973 } ], [ { 157, 160, 590, 635 }, { 590, 603, 606, 635 }, { 157, 606, 635 }, { 157, 160, 603, 606 }, { 160, 590, 603 } ], [ { 582, 603, 618 }, { 590, 603, 618 }, { 582, 590, 618 }, { 582, 590, 603 } ], [ { 629, 695, 894 }, { 637, 695, 894 }, { 629, 637, 695 }, { 629, 637, 894 } ], [ { 894, 929, 979 }, { 894, 977, 979 }, { 929, 977, 979 }, { 894, 929, 977 } ], [ { 695, 894, 896 }, { 695, 896, 977 }, { 894, 896, 977 }, { 695, 894, 977 } ], [ { 94, 645, 672 }, { 94, 207, 672 }, { 207, 645, 672 }, { 94, 207, 645 } ], [ { 635, 645, 901, 905 }, { 629, 635, 645 }, { 629, 635, 905, 980 }, { 629, 645, 901, 980 }, { 901, 905, 980 } ], [ { 190, 645, 695 }, { 190, 629, 695 }, { 190, 629, 645 }, { 629, 645, 695 } ], [ { 638, 640, 672 }, { 638, 640, 645 }, { 640, 645, 672 }, { 638, 645, 672 } ], [ { 640, 645, 647 }, { 640, 647, 688 }, { 645, 647, 688 }, { 640, 645, 688 } ], [ { 645, 651, 695 }, { 651, 688, 695 }, { 645, 688, 695 }, { 645, 651, 688 } ], [ { 213, 656, 672 }, { 94, 213, 656 }, { 94, 656, 672 }, { 94, 213, 672 } ], [ { 115, 213, 983 }, { 213, 657, 983 }, { 115, 657, 983 }, { 115, 213, 657 } ], [ { 213, 668, 983 }, { 213, 672, 983 }, { 668, 672, 983 }, { 213, 668, 672 } ], [ { 676, 678, 683 }, { 675, 676, 678 }, { 675, 678, 683, 687 }, { 676, 683, 687 }, { 675, 676, 687 } ], [ { 241, 676, 687 }, { 241, 672, 687 }, { 241, 672, 676 }, { 672, 676, 687 } ], [ { 672, 683, 687, 695 }, { 683, 688, 695 }, { 640, 672, 688, 695 }, { 640, 683, 687, 688 }, { 640, 672, 687 } ], [ { 676, 683, 695 }, { 676, 683, 691 }, { 676, 691, 695 }, { 683, 691, 695 } ], [ { 695, 697, 927 }, { 697, 927, 929 }, { 695, 697, 929 }, { 695, 927, 929 } ], [ { 676, 695, 697 }, { 676, 691, 697 }, { 691, 695, 697 }, { 676, 691, 695 } ], [ { 672, 699, 703 }, { 115, 699, 703 }, { 115, 672, 703 }, { 115, 672, 699 } ], [ { 241, 676, 703 }, { 241, 672, 703 }, { 241, 672, 676 }, { 672, 676, 703 } ], [ { 250, 708, 711 }, { 250, 708, 929 }, { 250, 711, 929 }, { 708, 711, 929 } ], [ { 250, 333, 929 }, { 26, 250, 333 }, { 26, 333, 929 }, { 26, 250, 929 } ], [ { 250, 333, 986 }, { 250, 333, 708 }, { 333, 708, 986 }, { 250, 708, 986 } ], [ { 333, 722, 752 }, { 317, 333, 722 }, { 317, 333, 752 }, { 317, 722, 752 } ], [ { 30, 269, 338 }, { 30, 115, 269 }, { 115, 269, 338 }, { 30, 115, 338 } ], [ { 269, 726, 729 }, { 115, 269, 726 }, { 115, 269, 729 }, { 115, 726, 729 } ], [ { 269, 338, 729 }, { 269, 729, 930 }, { 269, 338, 930 }, { 338, 729, 930 } ], [ { 338, 738, 755 }, { 39, 338, 755 }, { 39, 738, 755 }, { 39, 338, 738 } ], [ { 304, 333, 752 }, { 304, 317, 333 }, { 317, 333, 752 }, { 304, 317, 752 } ], [ { 304, 333, 933 }, { 282, 304, 333 }, { 282, 333, 933 }, { 282, 304, 933 } ], [ { 297, 304, 745, 987, 988, 989 }, { 304, 745, 933, 999 }, { 297, 304, 933 }, { 297, 933, 988, 998 }, { 987, 988, 998 }, { 933, 998, 999 }, { 987, 989, 998, 999 }, { 745, 989, 999 } ], [ { 35, 39, 44, 317 }, { 39, 297, 304, 317 }, { 35, 304, 317 }, { 35, 44, 297, 304 }, { 39, 44, 297 } ], [ { 297, 338, 755 }, { 39, 338, 755 }, { 39, 297, 755 }, { 39, 297, 338 } ], [ { 325, 338, 933 }, { 297, 325, 338 }, { 297, 325, 933 }, { 297, 338, 933 } ], [ { 333, 697, 929 }, { 26, 333, 697 }, { 26, 333, 929 }, { 26, 697, 929 } ], [ { 333, 697, 765 }, { 333, 676, 697 }, { 333, 676, 765 }, { 676, 697, 765 } ], [ { 30, 338, 703 }, { 30, 115, 703 }, { 115, 338, 703 }, { 30, 115, 338 } ], [ { 676, 703, 767 }, { 338, 703, 767 }, { 338, 676, 767 }, { 338, 676, 703 } ], [ { 777, 1000, 1001, 1002, 1007, 1009 }, { 777, 783, 1000 }, { 783, 1000, 1002, 1003, 1005, 1006 }, { 777, 783, 1003, 1004, 1007, 1008 }, { 1001, 1004, 1005, 1006, 1008, 1009 }, { 1001, 1004, 1007 }, { 1003, 1005, 1008 }, { 1002, 1006, 1009 } ], [ { 347, 778, 781, 788 }, { 777, 781, 783, 788 }, { 347, 781, 783 }, { 347, 777, 778, 783 }, { 777, 778, 788 } ], [ { 52, 372, 804 }, { 48, 52, 781, 804 }, { 364, 372, 781, 804 }, { 48, 52, 364, 372 }, { 48, 364, 781 } ], [ { 372, 389, 804 }, { 372, 394, 804 }, { 372, 387, 389, 394 }, { 387, 389, 804 }, { 387, 394, 804 } ], [ { 67, 372, 389, 412 }, { 67, 412, 817, 990, 991, 992 }, { 67, 372, 817 }, { 372, 817, 990, 1010 }, { 990, 991, 1010 }, { 389, 991, 992, 1010 }, { 372, 389, 1010 }, { 389, 412, 992 } ], [ { 401, 412, 810 }, { 401, 810, 839 }, { 401, 412, 839 }, { 412, 810, 839 } ], [ { 63, 412, 810 }, { 67, 412, 810 }, { 63, 67, 810 }, { 63, 67, 412 } ], [ { 413, 810, 823 }, { 67, 413, 810 }, { 67, 810, 823 }, { 67, 413, 823 } ], [ { 828, 830, 839 }, { 317, 830, 839 }, { 317, 828, 839 }, { 317, 828, 830 } ], [ { 419, 828, 835 }, { 317, 419, 835 }, { 317, 828, 835 }, { 317, 419, 828 } ], [ { 73, 823, 835 }, { 317, 823, 835 }, { 73, 317, 835 }, { 73, 317, 823 } ], [ { 810, 823, 835 }, { 810, 828, 835 }, { 823, 828, 835, 839 }, { 810, 828, 839 }, { 810, 823, 839 } ], [ { 73, 431, 823 }, { 317, 431, 823 }, { 73, 317, 823 }, { 73, 317, 431 } ], [ { 442, 456, 468 }, { 317, 431, 456, 468 }, { 317, 437, 442, 456 }, { 431, 437, 442, 468 }, { 317, 431, 437 } ], [ { 460, 468, 961 }, { 456, 468, 961 }, { 456, 460, 961 }, { 456, 460, 468 } ], [ { 482, 551, 860 }, { 115, 482, 485, 860 }, { 115, 551, 860 }, { 482, 485, 551 }, { 115, 485, 551 } ], [ { 39, 729, 738 }, { 729, 738, 861 }, { 39, 729, 861 }, { 39, 738, 861 } ], [ { 497, 502, 506 }, { 497, 506, 590 }, { 502, 506, 590 }, { 497, 502, 590 } ], [ { 103, 497, 506 }, { 103, 106, 506 }, { 103, 106, 497 }, { 106, 497, 506 } ], [ { 94, 213, 509 }, { 213, 509, 635 }, { 94, 213, 635 }, { 94, 509, 635 } ], [ { 123, 213, 509 }, { 115, 123, 213 }, { 115, 123, 509 }, { 115, 213, 509 } ], [ { 103, 123, 497, 509 }, { 123, 125, 509 }, { 125, 497, 509 }, { 103, 125, 497 }, { 103, 123, 125 } ], [ { 103, 106, 497 }, { 103, 125, 497 }, { 103, 106, 125 }, { 106, 125, 497 } ], [ { 106, 115, 544, 551 }, { 115, 125, 551 }, { 106, 115, 125 }, { 106, 125, 544 }, { 125, 544, 551 } ], [ { 115, 123, 509 }, { 123, 125, 509 }, { 115, 123, 125 }, { 115, 125, 509 } ], [ { 497, 509, 1011 }, { 497, 509, 562 }, { 509, 562, 996 }, { 509, 996, 1011 }, { 497, 562, 997 }, { 562, 996, 997 }, { 996, 997, 1011 }, { 497, 997, 1011 } ], [ { 497, 502, 582 }, { 497, 582, 590 }, { 497, 502, 590 }, { 502, 582, 590 } ], [ { 582, 590, 603 }, { 590, 603, 606, 635 }, { 582, 590, 635, 1012, 1013, 1014 }, { 582, 603, 974, 1014 }, { 606, 635, 1012 }, { 606, 974, 1012, 1013 }, { 603, 606, 974 }, { 974, 1013, 1014 } ], [ { 629, 695, 894 }, { 635, 695, 894 }, { 629, 635, 695 }, { 629, 635, 894 } ], [ { 695, 894, 929 }, { 695, 894, 977 }, { 695, 929, 977 }, { 894, 929, 977 } ], [ { 94, 645, 672 }, { 94, 635, 672 }, { 635, 645, 672 }, { 94, 635, 645 } ], [ { 629, 645, 695 }, { 635, 645, 695 }, { 629, 635, 695 }, { 629, 635, 645 } ], [ { 645, 672, 695 }, { 640, 672, 688, 695 }, { 645, 688, 695 }, { 640, 645, 688 }, { 640, 645, 672 } ], [ { 94, 213, 672 }, { 213, 635, 672 }, { 94, 213, 635 }, { 94, 635, 672 } ], [ { 213, 672, 983 }, { 115, 213, 983 }, { 115, 672, 983 }, { 115, 213, 672 } ], [ { 676, 683, 695 }, { 672, 676, 695 }, { 672, 683, 687, 695 }, { 672, 676, 687 }, { 676, 683, 687 } ], [ { 676, 695, 697 }, { 676, 697, 929 }, { 695, 697, 929 }, { 676, 695, 929 } ], [ { 672, 676, 703 }, { 115, 676, 703 }, { 115, 672, 703 }, { 115, 672, 676 } ], [ { 250, 333, 708 }, { 250, 333, 929 }, { 333, 708, 929 }, { 250, 708, 929 } ], [ { 333, 708, 722 }, { 317, 333, 708 }, { 317, 333, 722 }, { 317, 708, 722 } ], [ { 269, 338, 729 }, { 115, 269, 729 }, { 115, 269, 338 }, { 115, 338, 729 } ], [ { 338, 729, 738 }, { 39, 338, 729 }, { 39, 729, 738 }, { 39, 338, 738 } ], [ { 304, 333, 933 }, { 304, 317, 333 }, { 317, 333, 933 }, { 304, 317, 933 } ], [ { 39, 297, 933 }, { 39, 317, 933 }, { 39, 297, 304, 317 }, { 304, 317, 933 }, { 297, 304, 933 } ], [ { 297, 338, 933 }, { 39, 338, 933 }, { 39, 297, 338 }, { 39, 297, 933 } ], [ { 333, 676, 697 }, { 333, 697, 929 }, { 333, 676, 929 }, { 676, 697, 929 } ], [ { 338, 676, 703 }, { 115, 676, 703 }, { 115, 338, 703 }, { 115, 338, 676 } ], [ { 781, 788, 804 }, { 777, 781, 783, 788 }, { 777, 788, 804, 1000 }, { 781, 783, 804, 1000 }, { 777, 783, 1000 } ], [ { 364, 372, 781, 804 }, { 67, 372, 804 }, { 67, 781, 804 }, { 67, 364, 372 }, { 67, 364, 781 } ], [ { 389, 412, 804 }, { 67, 412, 804 }, { 67, 372, 389, 412 }, { 372, 389, 804 }, { 67, 372, 804 } ], [ { 810, 823, 839 }, { 67, 810, 823 }, { 67, 412, 823, 839 }, { 67, 412, 810 }, { 412, 810, 839 } ], [ { 823, 828, 835, 839 }, { 317, 823, 835 }, { 317, 828, 835 }, { 317, 828, 839 }, { 317, 823, 839 } ], [ { 456, 468, 961 }, { 317, 456, 823, 961 }, { 317, 431, 456, 468 }, { 431, 468, 823, 961 }, { 317, 431, 823 } ], [ { 115, 551, 860 }, { 106, 115, 860, 1015 }, { 106, 115, 544, 551 }, { 544, 551, 860, 1015 }, { 106, 544, 1015 } ], [ { 39, 115, 729 }, { 39, 729, 861 }, { 39, 115, 860, 861 }, { 115, 729, 860 }, { 729, 860, 861 } ], [ { 106, 497, 506 }, { 497, 506, 590 }, { 106, 506, 590 }, { 106, 497, 590 } ], [ { 115, 213, 509 }, { 213, 509, 635 }, { 115, 213, 635 }, { 115, 509, 635 } ], [ { 106, 115, 497, 509 }, { 115, 125, 509 }, { 106, 115, 125 }, { 106, 125, 497 }, { 125, 497, 509 } ], [ { 497, 509, 590, 635 }, { 582, 590, 635, 1012, 1013, 1014 }, { 497, 582, 590 }, { 509, 635, 1012 }, { 509, 1011, 1012, 1013 }, { 497, 582, 1011, 1014 }, { 1011, 1013, 1014 }, { 497, 509, 1011 } ], [ { 695, 894, 929 }, { 635, 695, 894 }, { 635, 695, 929 }, { 635, 894, 929 } ], [ { 645, 672, 695 }, { 635, 672, 695 }, { 635, 645, 695 }, { 635, 645, 672 } ], [ { 115, 213, 672 }, { 213, 635, 672 }, { 115, 213, 635 }, { 115, 635, 672 } ], [ { 115, 672, 676 }, { 115, 676, 929 }, { 115, 672, 695, 929 }, { 676, 695, 929 }, { 672, 676, 695 } ], [ { 317, 333, 708 }, { 333, 708, 929 }, { 317, 333, 929 }, { 317, 708, 929 } ], [ { 39, 338, 729 }, { 115, 338, 729 }, { 39, 115, 729 }, { 39, 115, 338 } ], [ { 39, 338, 933 }, { 39, 317, 333, 338 }, { 39, 317, 933 }, { 317, 333, 933 }, { 333, 338, 933 } ], [ { 115, 338, 676 }, { 115, 676, 929 }, { 115, 333, 338, 929 }, { 333, 676, 929 }, { 333, 338, 676 } ], [ { 67, 412, 804 }, { 67, 412, 1016 }, { 67, 781, 804 }, { 67, 781, 1016 }, { 412, 788, 804 }, { 412, 788, 1016 }, { 781, 788, 1016 }, { 781, 788, 804 } ], [ { 317, 823, 839 }, { 67, 412, 823, 839 }, { 67, 317, 823 }, { 317, 412, 839 }, { 67, 317, 412 } ], [ { 317, 456, 823, 961 }, { 67, 456, 961 }, { 67, 317, 456 }, { 67, 317, 823 }, { 67, 823, 961 } ], [ { 39, 106, 115 }, { 39, 115, 860, 861 }, { 39, 106, 861, 1015 }, { 106, 115, 860, 1015 }, { 860, 861, 1015 } ], [ { 497, 509, 590, 635 }, { 106, 115, 590, 635 }, { 106, 115, 497, 509 }, { 115, 509, 635 }, { 106, 497, 590 } ], [ { 115, 672, 695, 929 }, { 115, 635, 672 }, { 115, 635, 929 }, { 635, 672, 695 }, { 635, 695, 929 } ], [ { 115, 333, 338, 929 }, { 39, 115, 317, 929 }, { 39, 317, 333, 338 }, { 39, 115, 338 }, { 317, 333, 929 } ], [ { 39, 317, 456 }, { 67, 317, 456 }, { 67, 317, 412 }, { 39, 317, 412 }, { 39, 412, 1016 }, { 39, 456, 1016 }, { 67, 412, 1016 }, { 67, 456, 1016 } ], [ { 39, 106, 590 }, { 39, 590, 635 }, { 106, 115, 590, 635 }, { 39, 106, 115 }, { 39, 115, 635 } ], [ { 39, 115, 317, 929 }, { 115, 635, 929 }, { 317, 635, 929 }, { 39, 115, 635 }, { 39, 317, 635 } ], [ { 39, 317, 635 }, { 39, 590, 635 }, { 39, 456, 590 }, { 39, 317, 456 }, { 456, 590, 1017 }, { 317, 456, 1017 }, { 317, 635, 1017 }, { 590, 635, 1017 } ] ] /* 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, 3, 1, 1, 2, 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, 3, 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, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 3, 1, 12, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 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, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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, 3, 1, 1, 1, 3, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 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, 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, 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, 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, 2, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 3, 1, 1, 1, 1, 3, 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, 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, 3, 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, 3, 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, 3, 1, 1, 1, 1, 1, 1, 1, 12, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 2, 1, 1, 1, 3, 1, 1, 3 ] /* GAP id of GL_2(O) stabilizers of Voronoi top cells */ [ <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <4, 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>, <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>, <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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <24, 3>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <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>, <4, 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>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <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>, <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>, <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>, <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>, <4, 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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <24, 3>, <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>, <6, 2>, <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>, <2, 1>, <4, 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>, <6, 2>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <6, 2> ]