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