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