/* Defining polynomial */ x^2 - x + 395 /* Minimal vectors */ [ <-790*w + 122, 407*w - 13659>, <423*w + 3768, -385*w + 5480>, <-367*w + 3890, 22*w - 8179>, <-327*w + 5453, -67*w - 8238>, <29*w + 9335, -422*w - 3966>, <-298*w + 14788, -489*w - 12204>, <-67*w + 114, 30*w - 1208>, <226*w + 2479, -226*w + 2705>, <33*w + 4033, -193*w - 1361>, <-34*w + 4147, -163*w - 2569>, <30*w + 1178, -67*w - 47>, <-193*w + 1554, 33*w - 4066>, <-163*w + 2732, -34*w - 4113>, <7*w + 103, -8*w + 72>, <-4*w + 116, -3*w - 122>, <-7*w + 128, -2*w - 179>, <3*w + 219, -11*w - 50>, <-9*w + 37, 3*w - 171>, <-5*w + 59, -113>, <-8*w + 187, -4*w - 224>, <5*w + 311, -16*w - 60>, <-7*w + 13, 3*w - 125>, , <-9*w + 60, 2*w - 181>, <-6*w + 71, -135>, <8*w + 161, -11*w + 61>, , <17*w + 101, -13*w + 242>, <-w + 337, -14*w - 174>, <-2*w + 24, -45>, <-13*w + 109, 2*w - 270>, <2*w + 234, -11*w - 76>, <305, -13*w - 143>, <-13*w + 62, 4*w - 248>, <15*w + 172, -15*w + 172>, <4*w + 257, -13*w - 53>, <-11*w + 38, 4*w - 203>, <47, -2*w - 22>, <2*w + 281, -13*w - 98>, <23, -w - 11>, <-3*w + 36, -68>, <-4*w + 48, -91>, <4*w + 68, -5*w + 36>, <2*w + 23, -2*w + 23>, <7*w + 81, -7*w + 80>, <-6*w + 95, -w - 145>, , <-w + 82, -3*w - 55>, , <-14*w + 143, w - 303>, <-3*w + 293, -11*w - 187>, <-7*w + 57, w - 145>, , <3*w + 151, -8*w - 17>, <4*w + 209, -11*w - 26>, <-6*w + 71, -133>, <9*w + 106, -9*w + 102>, <3*w + 177, -9*w - 31>, <4*w, -2*w + 67>, <2*w + 47, -3*w + 12>, <-6*w + 94, -w - 144>, <5*w + 129, -8*w + 25>, <7*w + 176, -11*w + 37>, <3*w + 12, -2*w + 45>, <-8*w + 23, 3*w - 145>, <-5*w + 35, w - 100>, <10*w + 71, -8*w + 136>, <-23*w + 46, 10*w - 418>, <-69*w + 161, 29*w - 1265>, <-4*w + 805, -33*w - 454>, <-17*w + 1236, -45*w - 884>, <62*w + 290, -45*w + 929>, <37*w + 314, -33*w + 487>, <-13*w + 385, -10*w - 408>, <-40*w + 1144, -29*w - 1236>, <-723*w + 718, 346*w - 12792>, <1136*w + 13287, -1172*w + 13205>, <344*w + 13294, -759*w - 435>, <-1173*w + 15580, -67*w - 27648>, <415*w + 12444, -759*w + 1194>, <-377*w + 12451, -346*w - 12446>, <-1240*w + 13308, 67*w - 27715>, <36*w + 26456, -1172*w - 12033>, <58*w + 338, -45*w + 837>, <46*w + 734, -56*w + 441>, <-141*w + 908, 34*w - 2862>, <-109*w + 3599, -100*w - 3598>, <-83*w + 1246, -11*w - 2025>, <32*w + 2691, -134*w - 736>, <-94*w + 873, 11*w - 2036>, <10*w + 1165, -56*w - 385>, <102*w + 1853, -134*w + 870>, <-107*w + 2061, -34*w - 2828>, <-209*w + 208, 100*w - 3698>, <-13*w + 1188, -45*w - 792>, <-3641*w + 23558, 873*w - 73954>, <1631*w + 26061, -1987*w + 15619>, <1631*w + 34756, -2366*w + 11461>, <-2010*w + 49619, -1114*w - 58335>, <-35*w + 419, -803>, <57*w + 1130, -79*w + 441>, <-106*w + 2049, -34*w - 2805>, <-49*w + 3179, -113*w - 2364>, <162*w + 653, -113*w + 2477>, <-140*w + 896, 34*w - 2839>, <22*w + 1549, -79*w - 362>, <-46*w + 23, 23*w - 803>, <-69*w + 1606, -34*w - 1956>, <-115*w + 1629, -11*w - 2759>, <81*w + 2724, -161*w + 92>, <219*w + 292, -127*w + 3631>, <58*w + 4307, -218*w - 1061>, <127*w + 338, -81*w + 2025>, <-173*w + 465, 70*w - 3201>, <-46*w + 803, -11*w - 1176>, <58*w + 1944, -115*w + 69>, <115*w + 1514, -126*w + 1256>, <69*w + 1537, -103*w + 453>, <-81*w + 2805, -80*w - 2736>, <-219*w + 511, 92*w - 4015>, <-58*w + 4365, -160*w - 3086>, <173*w + 292, -103*w + 2839>, <-127*w + 465, 46*w - 2409>, <46*w + 757, -57*w + 430>, <-58*w + 2002, -57*w - 1956>, <-47*w + 1572, -44*w - 1561>, <164*w + 2235, -183*w + 1755>, <-141*w + 2399, -31*w - 3575>, <-12*w + 3493, -146*w - 1877>, <47*w + 1525, -91*w + 80>, <141*w + 2258, -172*w + 1348>, <-164*w + 2399, -19*w - 3971>, <12*w + 3481, -158*w - 1458>, <112*w + 1481, -123*w + 1220>, <-116*w + 1710, -14*w - 2815>, <9*w + 1980, -91*w - 792>, <-4*w + 3191, -137*w - 1595>, <214*w + 994, -155*w + 3209>, <-59*w + 2060, -59*w - 2001>, <155*w + 3054, -214*w + 1208>, <-607*w + 5799, 64*w - 13224>, <64*w + 13160, -607*w - 5192>, <10*w + 1188, -57*w - 396>, <-70*w + 1664, -36*w - 2001>, <-37*w + 2829, -104*w - 1990>, <-27*w + 4017, -161*w - 2386>, <261*w + 156, -143*w + 4419>, <-80*w + 476, 21*w - 1605>, <181*w + 632, -122*w + 2814>, <-91*w + 883, 9*w - 1989>, <123*w + 1097, -112*w + 1593>, <-137*w + 1732, -4*w - 3187>, <-14*w + 2829, -116*w - 1594>, <-380*w + 604, 172*w - 6831>, <-216*w + 6051, -151*w - 6613>, <172*w + 6659, -380*w - 224>, <-151*w + 6764, -216*w - 5835>, <-367*w + 12815, -367*w - 12448>, <-208*w + 7263, -208*w - 7055>, <1039*w + 11397, -1039*w + 12436>, <-57*w + 499, 8*w - 1220>, <8*w + 1212, -57*w - 442>, <-315*w + 1317, 107*w - 6053>, <107*w + 5946, -315*w - 1002>, <-67*w + 91, 31*w - 1197>, <100*w + 271, -64*w + 1592>, <-12*w + 419, -12*w - 407>, <-93*w + 1756, -28*w - 2441>, <-89*w + 125, 41*w - 1592>, <-36*w + 1280, -37*w - 1232>, <41*w + 1574, -90*w - 47>, <40*w + 1563, -89*w - 59>, <-102*w + 579, 28*w - 2033>, <18*w + 1597, -79*w - 454>, <-17*w + 2062, -81*w - 1279>, , <31*w + 1166, -67*w - 24>, <64*w + 1528, -100*w + 371>, <-28*w + 2469, -93*w - 1663>, <-90*w + 137, 41*w - 1615>, <-37*w + 1269, -36*w - 1244>, <41*w + 1551, -89*w - 36>, <10*w + 385, -22*w - 12>, <-35*w + 465, -2*w - 825>, <53*w + 1132, -77*w + 371>, <-12*w + 442, -13*w - 418>, <19*w + 805, -45*w - 58>, <-3*w + 839, -35*w - 453>, <-15*w + 1281, -48*w - 871>, <-37*w + 1292, -37*w - 1255>, <-230*w + 2846, -4*w - 5321>, <-4*w + 5325, -230*w - 2616>, <-45*w + 103, 19*w - 824>, <-13*w + 431, -12*w - 430>, <-35*w + 488, -3*w - 836>, <-48*w + 919, -15*w - 1266>, <-5*w + 15, 2*w - 91>, <-3*w + 61, -w - 80>, , <-w + 83, -3*w - 57>, , <-13*w + 89, 3*w - 260>, <-12*w + 124, w - 260>, <17*w + 287, -21*w + 147>, <-10*w + 123, -226>, <-11*w + 159, -w - 260>, <-w + 36, -w - 34>, <13*w + 76, -10*w + 181>, <12*w + 112, -11*w + 147>, <-17*w + 304, -4*w - 430>, <10*w + 113, -10*w + 113>, <11*w + 148, -12*w + 113>, <-6*w + 26, 2*w - 113>, <2*w + 117, -6*w - 22>, <-4*w + 143, -4*w - 135>, <-27*w + 329, -609>, <-5*w + 37, w - 101>, <-2*w + 48, -w - 56>, <-w + 83, -3*w - 56>, <7*w + 104, -8*w + 68>, <-3*w + 131, -4*w - 112>, <2*w + 141, -7*w - 33>, <5*w + 10, -3*w + 79>, <3*w + 58, -4*w + 23>, , <-6*w + 2, 3*w - 100>, <3*w + 35, -3*w + 33>, <-3*w + 37, -67>, <5*w + 82, -6*w + 44>, <-w + 60, -2*w - 45>, <-4*w + 97, -2*w - 112>, <-3*w + 13, w - 56>, <-5*w + 61, -112>, <3*w + 106, -6*w>, , <-w + 107, -4*w - 67>, <-11*w + 19, 5*w - 194>, <4*w + 21, -3*w + 57>, <-7*w + 275, -8*w - 251>, <-w + 130, -5*w - 80>, <-2*w + 213, -8*w - 137>, <11*w + 28, -7*w + 173>, <3*w + 33, -3*w + 35>, <-8*w + 75, w - 172>, <3*w + 103, -6*w + 1>, <13*w + 149, -13*w + 149>, <-13*w + 156, -292>, <-2*w + 71, -2*w - 67>, <-13*w + 203, -2*w - 314>, <11*w + 220, -15*w + 82>, <11*w + 8, -6*w + 181>, <-4*w + 25, w - 79>, <7*w + 268, -15*w - 9>, , <2*w + 211, -10*w - 66>, <-11*w + 39, 4*w - 205>, <8*w + 67, -7*w + 104>, <-3*w + 106, -3*w - 101>, <11*w + 13, -6*w + 180>, <7*w + 36, -5*w + 102>, <-2*w + 140, -5*w - 97>, <-16*w + 185, -354>, <-5*w + 198, -6*w - 174>, <-6*w + 46, w - 122>, <4*w + 94, -6*w + 25>, <-6*w + 163, -4*w - 175>, , <2*w + 23, -2*w + 24>, <12*w + 23, -7*w + 196>, <12*w + 69, -9*w + 175>, <-3*w + 218, -8*w - 151>, , <-4*w + 24, w - 80>, <-3*w + 35, -68>, , <3*w + 12, -2*w + 46>, <5*w + 35, -4*w + 70>, <8*w + 47, -6*w + 116>, <-2*w + 161, -6*w - 107>, <46, -2*w - 21>, <-7*w + 57, w - 146>, <161, -7*w - 73>, <-2*w + 92, -3*w - 76>, <-2*w + 138, -5*w - 97>, <4*w + 70, -5*w + 37>, <2*w + 139, -7*w - 28>, <9*w + 82, -8*w + 117>, <7*w + 128, -9*w + 62>, <-4*w + 161, -5*w - 141>, <-4*w + 23, w - 79>, <7*w + 35, -5*w + 104>, <-4*w + 69, -w - 100>, , <5*w + 127, -8*w + 28>, <4*w + 23, -3*w + 58>, <-7*w + 35, 2*w - 136>, <4*w + 69, -5*w + 37>, <-w + 196, -8*w - 107>, <14*w + 92, -11*w + 198>, <-5*w + 127, -3*w - 144>, <-7*w + 265, -8*w - 241>, <14*w, -7*w + 240>, <14*w + 46, -9*w + 219>, <-3*w + 12, w - 57>, <2*w + 46, -3*w + 13>, <7*w + 149, -10*w + 51>, <4*w + 161, -9*w - 6>, <-20*w + 26, 9*w - 354>, <8*w + 45, -6*w + 116>, <231, -10*w - 107>, <-5*w + 13, 2*w - 92>, <92, -4*w - 43>, <-3*w + 128, -4*w - 111>, <14*w + 43, -9*w + 219>, <2*w + 69, -4*w + 2>, <3*w + 219, -11*w - 51>, <7*w + 10, -4*w + 115>, <13*w + 101, -11*w + 175>, <8*w + 160, -11*w + 62>, <-12*w + 257, -5*w - 325>, <-5*w + 267, -9*w - 210>, <-12*w + 49, 4*w - 228>, <-6*w + 140, -3*w - 168>, <4*w + 22, -3*w + 58>, <-12*w + 119, w - 261>, , <5*w + 195, -11*w - 6>, <-w + 81, -3*w - 55>, <7*w + 102, -8*w + 72>, <-11*w + 153, -w - 260>, <6*w + 183, -11*w + 17>, <10*w + 114, -10*w + 117>, <-2*w + 163, -6*w - 110>, <-11*w + 339, -9*w - 345>, <-2*w + 47, -w - 56>, <5*w + 150, -9*w + 15>, <3*w + 197, -10*w - 41>, <7*w + 103, -8*w + 71>, <-8*w + 118, -w - 191>, <9*w + 56, -7*w + 127>, <-5*w + 152, -4*w - 156>, , <-8*w + 164, -3*w - 212>, <2*w + 209, -10*w - 63>, <4*w + 69, -5*w + 36>, <5*w + 127, -8*w + 26>, <-6*w + 187, -5*w - 189>, <8*w + 45, -6*w + 115>, <-2*w + 256, -10*w - 153>, <11*w + 56, -8*w + 161>, <12*w + 114, -11*w + 151>, <5*w + 243, -13*w - 28>, <-3*w + 198, -7*w - 143>, <11*w + 56, -8*w + 159>, <-5*w + 224, -7*w - 189>, <-3*w + 247, -9*w - 166>, <-13*w + 15, 6*w - 226>, <-7*w + 248, -7*w - 234>, <6*w + 233, -13*w - 8>, <4*w + 210, -11*w - 31>, <-26*w + 171, 6*w - 518>, <-3*w + 59, -w - 79>, <4*w + 45, -4*w + 47>, <-3*w + 82, -2*w - 90>, <3*w + 34, -3*w + 35>, , <-8*w + 1, 4*w - 135>, <5*w + 11, -3*w + 79>, <-3*w + 12, w - 56>, <4*w + 117, -7*w + 13>, <7*w + 34, -5*w + 102>, <8*w + 46, -6*w + 113>, <-w + 59, -2*w - 44>, <-w + 106, -4*w - 66>, <-2*w + 165, -6*w - 110>, <-12*w + 142, -267>, <2*w + 188, -9*w - 53>, <-w + 200, -8*w - 109>, <9*w + 11, -5*w + 146>, , <5*w + 106, -7*w + 35>, <-5*w + 36, w - 101>, <-2*w + 141, -5*w - 99>, <3*w + 152, -8*w - 20>, <-3*w + 59, -w - 78>, <8*w + 116, -9*w + 81>, <10*w + 21, -6*w + 160>, <-11*w + 84, 2*w - 226>, <-w + 105, -4*w - 66>, <-8*w + 25, 3*w - 147>, <-5*w + 106, -2*w - 134>, <9*w + 80, -8*w + 115>, <-7*w + 247, -7*w - 233>, <-5*w + 270, -9*w - 210>, <15*w + 9, -8*w + 249>, <-w + 58, -2*w - 43>, <-14*w + 67, 4*w - 268>, <-4*w + 69, -w - 99>, <5*w + 245, -13*w - 25>, <4*w + 1, -2*w + 68>, <-6*w + 68, -133>, <-3*w + 11, w - 56>, <-12*w + 21, 5*w - 214>, <-11*w + 79, 2*w - 223>, <2*w + 93, -5*w - 8>, , <3*w + 35, -3*w + 35>, <-8*w + 139, -2*w - 199>, <4*w + 163, -9*w - 6>, <-w + 291, -12*w - 150>, <29*w + 291, -27*w + 359>, <-15*w + 454, -12*w - 462>, <-31*w + 617, -11*w - 808>, <18*w + 163, -16*w + 231>, <256, -11*w - 117>, <2*w + 256, -12*w - 83>, , <11*w + 128, -11*w + 128>, <10*w + 163, -12*w + 95>, <12*w + 163, -13*w + 129>, <-2*w + 396, -16*w - 215>, <-27*w + 35, 12*w - 474>, <13*w + 128, -12*w + 162>, <-42*w + 233, 11*w - 819>, <-2*w + 652, -27*w - 332>, <13*w + 454, -26*w + 13>, <-59*w + 687, -1315>, <68*w + 1001, -77*w + 696>, <9*w + 1688, -77*w - 619>, <-2*w + 71, -2*w - 66>, <-2*w + 47, -w - 55>, <-9*w + 153, -2*w - 221>, <-7*w + 200, -5*w - 209>, <3*w + 82, -5*w + 13>, <-6*w + 70, -133>, <-2*w + 117, -4*w - 87>, <3*w + 129, -7*w - 8>, , <8*w + 24, -5*w + 124>, <2*w + 94, -5*w - 9>, <-10*w + 211, -4*w - 264>, <8*w + 212, -13*w + 38>, <7*w + 59, -6*w + 91>, <4*w + 47, -4*w + 46>, <-10*w + 70, 2*w - 201>, <70, -3*w - 32>, <5*w + 152, -9*w + 15>, <-3*w + 82, -2*w - 88>, <94, -4*w - 43>, <6*w + 94, -7*w + 58>, <6*w, -3*w + 101>, , <16*w + 352, -23*w + 109>, <33*w + 316, -31*w + 417>, <10*w + 362, -21*w - 1>, <9*w + 374, -21*w - 24>, <-94*w + 988, 6*w - 2091>, <98*w + 1006, -95*w + 1206>, <4*w + 1994, -89*w - 885>, <-25*w + 24, 12*w - 442>, <12*w + 338, -21*w + 45>, <-2*w + 735, -31*w - 386>, <85*w + 1024, -89*w + 974>, <-88*w + 1191, -6*w - 2085>, <-3*w + 2215, -95*w - 1111>, <11*w + 350, -21*w + 22>, <-379*w + 14012, -413*w - 13227>, <-792*w + 7, 413*w - 13640>, <721*w + 843, -413*w + 12011>, <-2*w + 1561, -67*w - 781>, <69*w + 711, -67*w + 848>, <-308*w + 13162, -413*w - 11598>, <185*w + 1387, -157*w + 2522>, <102*w + 2633, -168*w + 497>, <66*w + 3064, -168*w - 329>, <-28*w + 3937, -157*w - 2365>, <2366*w + 9095, -1631*w + 36387>, <402*w + 13633, -804*w + 402>, <-1539*w + 27646, -402*w - 39718>, <827*w + 36741, -2033*w - 3331>, <-2343*w + 9075, 827*w - 44680>, <23*w + 18170, -804*w - 8293>, <448*w + 41278, -2033*w - 12026>, <-3193*w + 9500, 1252*w - 59518>, <1206*w + 13231, -1206*w + 14437>, <-1183*w + 13634, 23*w - 26888>, <23*w + 26865, -1183*w - 12451>, <1252*w + 58266, -3193*w - 6307>, <-804*w + 402, 402*w - 14035>, <2033*w + 3331, -1206*w + 33410>, <-2033*w + 5364, 827*w - 37568>, <8695, -379*w - 4158>, <-402*w + 40120, -1539*w - 26107>, <-1206*w + 40522, -1137*w - 40142>, <-804*w + 9097, 23*w - 18193>, <2435*w + 25659, -2389*w + 29654>, <-2033*w + 14059, 448*w - 41726>, <827*w + 43853, -2343*w - 6732>, <-758*w + 379, 379*w - 13232>, <1137*w + 3779, -758*w + 17769>, <379*w + 4158, -379*w + 4537>, <-402*w + 24313, -850*w - 18548>, <-781*w + 28850, -850*w - 27243>, <-379*w + 4537, -8695>, <-1137*w + 4916, 379*w - 21927>, <781*w + 28069, -1631*w + 24>, <402*w + 23911, -1252*w - 4513>, <-115*w + 69, 57*w - 2013>, <11*w + 1176, -57*w - 373>, <103*w + 1910, -137*w + 860>, <-70*w + 3201, -103*w - 2736>, <-104*w + 1245, -2386>, <57*w + 1933, -114*w + 57>, <-47*w + 3178, -114*w - 2329>, <161*w + 688, -114*w + 2443>, <34*w + 2736, -137*w - 723>, <45*w + 1526, -90*w + 45>, <-317*w + 3795, -7273>, <75*w + 6581, -326*w - 1856>, <-18*w + 6662, -281*w - 3496>, <299*w + 2867, -281*w + 3777>, <251*w + 4474, -326*w + 2182>, <80*w + 1107, -90*w + 848>, <-163*w + 919, 45*w - 3246>, <102*w + 2656, -169*w + 486>, <-118*w + 2445, -45*w - 3201>, <67*w + 3075, -169*w - 317>, <10*w + 1945, -90*w - 758>, <-46*w + 2386, -80*w - 1933>, <46*w + 2340, -126*w - 327>, <-70*w + 35, 35*w - 1222>, <780, -34*w - 373>, <-152*w + 1246, 25*w - 3213>, <35*w + 2701, -136*w - 689>, <152*w + 1094, -127*w + 2094>, <-35*w + 2736, -101*w - 1911>, <-164*w + 82, 82*w - 2863>, <-82*w + 431, 24*w - 1618>, <-246*w + 513, 106*w - 4481>, <82*w + 3446, -193*w - 236>, <246*w + 267, -140*w + 4108>, <82*w + 349, -58*w + 1245>, <-82*w + 3528, -111*w - 3099>, <35*w + 1141, -68*w + 57>, <-106*w + 3540, -99*w - 3518>, <270*w + 2572, -253*w + 3419>, <-317*w + 4414, -27*w - 7569>, <-47*w + 6986, -280*w - 4150>, <-94*w + 47, 47*w - 1641>, <-317*w + 1317, 108*w - 6088>, <141*w + 6892, -374*w - 868>, <47*w + 6939, -327*w - 2509>, <-270*w + 2842, 17*w - 6008>, <317*w + 4097, -344*w + 3499>, <8511, -371*w - 4070>, <587*w + 15180, -968*w + 2848>, <-587*w + 15767, -381*w - 17647>, <-35*w + 1176, -33*w - 1165>, <106*w + 3434, -205*w + 183>, <283*w + 122, -153*w + 4814>, <-216*w + 613, 86*w - 4012>, <-275*w + 2673, 27*w - 6013>, <8*w + 2795, -126*w - 1199>, <-61*w + 3667, -128*w - 2804>, <67*w + 735, -67*w + 802>, <291*w + 2917, -279*w + 3615>, <-128*w + 2932, -61*w - 3606>, <-267*w + 5468, -99*w - 7212>, <-57*w + 453, 10*w - 1198>, <55*w + 328, -43*w + 790>, <88*w + 690, -76*w + 1185>, <-195*w + 2312, w - 4463>, <17*w + 2412, -114*w - 861>, <72*w + 2740, -157*w - 71>, <-157*w + 228, 72*w - 2812>, <-114*w + 975, 17*w - 2429>, <229*w + 2512, -229*w + 2741>, <43*w + 747, -55*w + 383>, <98*w + 1075, -98*w + 1173>, , <76*w + 1109, -88*w + 778>, <65*w + 713, -65*w + 778>, <-112*w + 171, 51*w - 2010>, <-69*w + 918, -4*w - 1627>, <-4*w + 1631, -69*w - 849>, <51*w + 1959, -112*w - 59>, <-14*w + 1246, -47*w - 837>, <-22*w + 34, 10*w - 395>, <77*w + 294, -53*w + 1185>, <-79*w + 533, 18*w - 1615>, <-27*w + 1677, -59*w - 1267>, <-47*w + 884, -14*w - 1232>, <-21*w + 45, 9*w - 383>, <-43*w + 79, 19*w - 778>, <31*w + 363, -32*w + 360>, <-66*w + 125, 29*w - 1196>, <9*w + 397, -22*w - 35>, <-25*w + 896, -26*w - 859>, <54*w + 317, -42*w + 778>, <32*w + 351, -32*w + 383>, <29*w + 1190, -67*w - 70>, <52*w + 1144, -77*w + 348>, <-89*w + 148, 40*w - 1603>, <77*w + 271, -52*w + 1196>, <42*w + 736, -54*w + 371>, <-67*w + 137, 29*w - 1219>, <32*w + 328, -31*w + 394>, <19*w + 759, -43*w - 36>, <-22*w + 57, 9*w - 406>, <-26*w + 885, -25*w - 871>, <29*w + 1167, -66*w - 59>, <6*w + 20, -4*w + 91>, <-2*w + 119, -4*w - 91>, <-3*w + 202, -7*w - 148>, <-3*w + 14, w - 57>, <47, -2*w - 23>, <-8*w + 53, 2*w - 160>, <2*w + 140, -7*w - 35>, <-2*w + 1, w - 34>, <16*w + 39, -10*w + 249>, <-8*w + 311, -9*w - 283>, <15*w + 75, -11*w + 215>, <14*w + 111, -12*w + 181>, <-4*w + 309, -11*w - 215>, <-6*w + 617, -23*w - 396>, <-14*w + 125, 2*w - 294>, <13*w + 147, -13*w + 147>, <-13*w + 160, -294>, <27*w + 329, -28*w + 294>, <-27*w + 356, -w - 622>, <14*w + 489, -28*w>, <-14*w + 503, -14*w - 475>, <-28*w + 14, 14*w - 475>, <-w + 650, -27*w - 328>, , <307, -13*w - 147>, <-28*w + 321, w - 622>, <-13*w + 467, -13*w - 441>, <-26*w + 13, 13*w - 441>, <12*w + 183, -14*w + 113>, <-12*w + 195, -2*w - 294>, <13*w + 525, -29*w - 34>, <-13*w + 538, -16*w - 475>, <685, -29*w - 328>, <-13*w + 231, -3*w - 328>, <13*w + 454, -26*w>, <3*w + 199, -10*w - 44>, <7*w + 9, -4*w + 113>, <3*w + 152, -8*w - 22>, <9*w + 8, -5*w + 147>, <3*w + 34, -3*w + 34>, <-6*w + 144, -3*w - 169>, <3*w + 11, -2*w + 45>, <8*w + 45, -6*w + 113>, <-2*w + 142, -5*w - 100>, <-2*w + 25, -45>, <-w + 84, -3*w - 57>, <-5*w + 86, -w - 124>, <-3*w + 109, -3*w - 102>, <2*w + 23, -2*w + 22>, <5*w + 81, -6*w + 44>, , <3*w + 106, -6*w - 1>, <2*w + 47, -3*w + 11>, <4*w + 22, -3*w + 56>, <5*w + 105, -7*w + 33>, <-7*w + 134, -2*w - 180>, <7*w + 8, -4*w + 114>, <3*w + 57, -4*w + 23>, , <8*w + 66, -7*w + 103>, <-3*w + 37, -69>, <70, -3*w - 34>, <-3*w + 130, -4*w - 114>, <6*w + 44, -5*w + 80>, <-6*w + 50, w - 125>, <94, -4*w - 45>, <-w + 59, -2*w - 45>, <5*w + 103, -7*w + 35>, <-5*w + 108, -2*w - 136>, <-3*w + 13, w - 57>, <2*w + 46, -3*w + 12>, <-8*w + 50, 2*w - 159>, <-6*w + 96, -w - 147>, <-3*w + 60, -w - 79>, <4*w + 116, -7*w + 12>, <-7*w + 15, 3*w - 125>, <4*w + 139, -8*w + 1>, <-8*w + 74, w - 170>, , <-4*w + 119, -3*w - 124>, <4*w + 22, -3*w + 57>, <6*w + 115, -8*w + 47>, <-w + 176, -7*w - 100>, <-4*w + 189, -6*w - 157>, <70, -3*w - 33>, <-4*w + 71, -w - 101>, <3*w + 104, -6*w + 2>, <3*w + 127, -7*w - 9>, <9*w + 32, -6*w + 137>, <4*w + 139, -8*w + 2>, <2*w + 163, -8*w - 43>, <-w + 82, -3*w - 54>, <-5*w + 105, -2*w - 132>, <-4*w + 23, w - 78>, <-3*w + 58, -w - 77>, <3*w + 59, -4*w + 24>, <11*w + 83, -9*w + 147>, <9*w + 130, -10*w + 92>, <-15*w + 152, w - 321>, <12*w + 1, -6*w + 201>, <-11*w + 58, 3*w - 211>, , <11*w + 248, -16*w + 72>, <6*w + 118, -8*w + 47>, <7*w + 177, -11*w + 37>, <-8*w + 70, w - 166>, <-10*w + 117, -221>, <-7*w + 218, -6*w - 220>, <7*w + 218, -13*w + 21>, <69, -3*w - 32>, <-w + 11, -22>, <-3*w + 57, -w - 77>, <69, -3*w - 31>, <-5*w + 34, w - 101>, <-2*w + 46, -w - 55>, <-9*w + 195, -4*w - 242>, <3*w + 127, -7*w - 6>, , <-10*w + 91, w - 212>, <5*w + 34, -4*w + 70>, <-4*w + 185, -6*w - 154>, <-5*w + 35, w - 102>, <2*w + 92, -5*w - 8>, <-w + 150, -6*w - 86>, , <-5*w + 104, -2*w - 133>, <-w + 81, -3*w - 54>, , <-9*w + 13, 4*w - 160>, <-w + 58, -2*w - 44>, <-4*w + 1, 2*w - 69>, <13*w + 148, -13*w + 153>, <-13*w + 153, -293>, <-11*w + 222, -4*w - 291>, <-15*w + 84, 4*w - 295>, <301, -13*w - 140>, <29*w + 6, -15*w + 492>, <-14*w + 512, -15*w - 477>, <3*w + 11, -2*w + 46>, <3*w + 312, -15*w - 94>, <6*w + 323, -17*w - 48>, <12*w + 206, -15*w + 109>, <11*w + 264, -17*w + 65>, <7*w + 125, -9*w + 61>, <3*w + 103, -6*w + 3>, <-5*w + 244, -8*w - 200>, <-3*w + 151, -5*w - 122>, <-4*w + 394, -15*w - 253>, <8*w + 21, -5*w + 127>, <19*w + 122, -15*w + 268>, <2*w + 184, -9*w - 52>, <13*w + 31, -8*w + 208>, <-2*w + 70, -2*w - 67>, <-9*w + 13, 4*w - 159>, <4*w + 185, -10*w - 18>, <6*w + 186, -11*w + 14>, <-7*w + 201, -5*w - 212>, <-6*w + 95, -w - 146>, <-w + 152, -6*w - 88>, <-13*w + 60, 4*w - 246>, <-4*w + 71, -w - 100>, <-w + 12, -22>, <-4*w + 24, w - 78>, <3*w + 35, -3*w + 34>, <-9*w + 130, -w - 211>, <3*w + 59, -4*w + 23>, <3*w + 81, -5*w + 13>, <4*w + 23, -3*w + 57>, <-7*w + 36, 2*w - 135>, <3*w + 58, -4*w + 24>, <7*w + 57, -6*w + 92>, <93, -4*w - 42>, <-w + 151, -6*w - 85>, <-2*w + 69, -2*w - 65>, <4*w + 47, -4*w + 47>, <-7*w + 11, 3*w - 124>, , <-5*w + 11, 2*w - 90>, <-4*w + 139, -4*w - 131>, <2*w, -w + 34>, <-14*w + 163, -312>, <326, -14*w - 149>, <12*w + 489, -27*w - 20>, <12*w + 815, -41*w - 169>, <30*w, -15*w + 509>, <-17*w + 128, 3*w - 347>, <-2*w + 256, -10*w - 151>, <-w + 35, -w - 33>, <12*w + 93, -10*w + 161>, <-14*w + 233, -3*w - 344>, <-15*w + 524, -15*w - 494>, <27*w + 291, -26*w + 325>, <-29*w + 361, -w - 657>, <-29*w + 35, 13*w - 508>, <-16*w + 489, -13*w - 495>, <-w + 617, -26*w - 299>, <-44*w + 815, -13*w - 1119>, <-30*w + 326, w - 658>, <14*w + 163, -14*w + 163>, <15*w + 454, -27*w + 47>, <29*w + 617, -41*w + 210>, <5*w + 12, -3*w + 79>, <5*w + 82, -6*w + 47>, <-7*w + 105, -w - 166>, <-4*w + 117, -3*w - 121>, <8*w, -4*w + 135>, <-5*w + 129, -3*w - 143>, <4*w + 141, -8*w + 3>, <-w + 12, -23>, <12*w + 361, -22*w + 34>, <1207*w + 12437, -1172*w + 14834>, <-35*w + 27306, -1172*w - 13662>, <-71*w + 850, -1629>, <486*w + 11594, -759*w + 2823>, <-446*w + 11740, -279*w - 13294>, <413*w + 14005, -826*w + 413>, <-25*w + 1584, -56*w - 1188>, <81*w + 315, -56*w + 1244>, <356*w + 4961, -402*w + 3757>, <-356*w + 5317, -46*w - 8672>, <379*w + 14436, -827*w - 378>, <-379*w + 14815, -448*w - 13610>, <735*w + 19397, -1229*w + 3379>, <-735*w + 20132, -494*w - 22282>, <-781*w + 9877, -23*w - 18170>, <781*w + 9096, -804*w + 9097>, <-12*w + 1979, -80*w - 1153>, <92*w + 734, -80*w + 1233>, <217*w + 7359, -434*w + 217>, <-93*w + 81, 45*w - 1640>, <-48*w + 1607, -45*w - 1595>, <-26*w + 3156, -124*w - 1957>, <150*w + 1049, -124*w + 2081>, <-23*w + 1583, -57*w - 1153>, <23*w + 1560, -80*w - 350>, <2363, -103*w - 1130>, <199*w + 1839, -184*w + 2547>, <-199*w + 2038, 15*w - 4401>, <-82*w + 1211, -10*w - 1991>, <105*w + 1886, -137*w + 906>, <-12*w + 396, -11*w - 396>, <82*w + 1129, -92*w + 872>, <-105*w + 1991, -32*w - 2760>, <12*w + 384, -23*w + 23>, <-23*w + 23, 11*w - 407>, <90*w + 712, -78*w + 1209>, <-91*w + 80, 44*w - 1605>, <-47*w + 1641, -47*w - 1594>, <101*w + 1108, -101*w + 1209>, <44*w + 1561, -91*w + 11>, <-104*w + 2094, -37*w - 2792>, <11*w + 396, -23*w>, <75*w + 1098, -87*w + 766>, <-44*w + 91, 19*w - 801>, <19*w + 782, -44*w - 47>, <-25*w + 873, -25*w - 848>, <-57*w + 545, 6*w - 1242>, <6*w + 1236, -57*w - 488>, , <2*w + 46, -3*w + 11>, <-w + 60, -2*w - 46>, <3*w + 33, -3*w + 34>, <71, -3*w - 35>, <-3*w + 38, -69>, <-3*w + 36, -67>, <71, -3*w - 33>, <3*w + 58, -4*w + 22>, <-3*w + 61, -w - 79>, <8*w + 139, -10*w + 66>, <-8*w + 147, -2*w - 203>, <2*w + 22, -2*w + 23>, <-4*w + 26, w - 80>, <-2*w + 48, -w - 57>, <-6*w + 121, -2*w - 160>, <-w + 106, -4*w - 68>, <-9*w + 41, 3*w - 172>, <-4*w + 143, -4*w - 137>, <-9*w + 111, -206>, <3*w + 10, -2*w + 46>, <7*w + 80, -7*w + 80>, <9*w + 102, -9*w + 104>, , <-2*w + 188, -7*w - 119>, <-2*w + 23, -45>, <5*w + 10, -3*w + 81>, <6*w + 21, -4*w + 93>, <-2*w + 93, -3*w - 78>, <-2*w + 116, -4*w - 89>, <9*w + 55, -7*w + 128>, , <-4*w + 163, -5*w - 145>, <-5*w + 82, -w - 123>, <93, -4*w - 43>, <16*w + 93, -12*w + 229>, <-3*w + 291, -11*w - 184>, <14*w + 93, -11*w + 195>, <-4*w + 326, -12*w - 217>, <-13*w + 408, -11*w - 419>, <-24*w + 35, 11*w - 430>, <11*w + 373, -22*w + 11>, <-82*w + 477, 22*w - 1640>, <-60*w + 1223, -22*w - 1618>, <-1183*w + 4939, 402*w - 22730>, <402*w + 22328, -1183*w - 3756>, <-781*w + 27267, -781*w - 26486>, <-23*w + 803, -23*w - 780>, <138*w + 711, -103*w + 2036>, <-35*w + 2782, -103*w - 1933>, <-94*w + 1653, -23*w - 2409>, <-117*w + 873, 23*w - 2432>, <-13*w + 1211, -46*w - 803>, <21*w + 1584, -80*w - 396>, <-46*w + 849, -13*w - 1198>, <-15*w + 90, 4*w - 294>, <-4*w + 26, w - 79>, <-2*w + 23, -44>, <5*w + 11, -3*w + 80>, <21*w + 1538, -78*w - 374>, <57*w + 1107, -78*w + 452>, <1183*w + 3756, -781*w + 18572>, <-402*w + 14035, -402*w - 13633>, <1585*w + 17389, -1585*w + 18974>, <781*w + 17791, -1183*w + 4939>, <-781*w + 18572, -402*w - 22328>, <-1585*w + 18974, -36363>, <-402*w + 22730, -781*w - 17791>, <36363, -1585*w - 17389>, <23*w + 780, -46*w + 23>, <333*w + 5764, -425*w + 2977>, <-333*w + 6097, -92*w - 8649>, <47*w + 1548, -92*w + 69>, <-47*w + 1595, -45*w - 1572>, <-44*w + 45, 21*w - 779>, <21*w + 804, -46*w - 23>, <-46*w + 69, 21*w - 825>, <21*w + 758, -44*w - 1>, , <-4*w + 47, -90>, <-2*w + 93, -3*w - 77>, <3*w + 104, -6*w + 3>, <-69*w + 872, -2*w - 1605>, <-2*w + 1607, -69*w - 803>, <23, -w - 10>, <-11*w + 407, -12*w - 384>, <23*w, -12*w + 396>, <1, 0>, <-w + 11, -21>, <1, -1>, <0, 1> ] /* Voronoi top cells */ [ { 1, 2, 3, 4, 5, 6 }, { 7, 8, 9, 10 }, { 8, 11, 12, 13 }, { 14, 15, 16, 17 }, { 18, 19, 20, 21 }, { 22, 23, 24, 25 }, { 22, 24, 26, 27 }, { 24, 26, 27, 28, 29 }, { 30, 31, 32, 33 }, { 31, 34, 35, 36 }, { 31, 37, 38, 39 }, { 40, 41, 42, 43 }, { 44, 45, 46, 47 }, { 48, 49, 50, 51 }, { 52, 53, 54, 55 }, { 56, 57, 58, 59 }, { 60, 61, 62, 63 }, { 64, 65, 66, 67 }, { 68, 69, 70, 71 }, { 72, 73, 74, 75 }, { 76, 77, 78, 79 }, { 80, 81, 82, 83 }, { 84, 85, 86, 87 }, { 85, 86, 88, 89 }, { 90, 91, 92, 93 }, { 91, 93, 94, 95 }, { 96, 97, 98, 99 }, { 100, 101, 102, 103 }, { 100, 104, 105, 106 }, { 107, 108, 109, 110 }, { 107, 108, 111, 112 }, { 113, 114, 115, 116 }, { 107, 117, 118, 119 }, { 107, 118, 120, 121 }, { 122, 123, 124, 125 }, { 126, 127, 128, 129 }, { 130, 131, 132, 133 }, { 134, 135, 136, 137 }, { 138, 139, 140, 141, 142 }, { 143, 144, 145, 146 }, { 144, 147, 148, 149 }, { 150, 151, 152, 153 }, { 154, 155, 156, 157, 158 }, { 154, 156, 159, 160 }, { 159, 161, 162, 163, 164 }, { 165, 166, 167, 168 }, { 165, 169, 170, 171 }, { 2, 3, 4, 5, 172 }, { 173, 174, 175, 176 }, { 167, 177, 178, 179 }, { 177, 180, 181, 182 }, { 174, 183, 184, 185 }, { 186, 187, 188, 189 }, { 7, 8, 9, 11, 12 }, { 7, 8, 190, 191 }, { 8, 11, 190, 192 }, { 193, 194, 195, 196 }, { 197, 198, 199, 200 }, { 201, 202, 203, 204 }, { 201, 203, 205, 206 }, { 207, 208, 209, 210 }, { 207, 209, 211, 212 }, { 213, 214, 215, 216 }, { 217, 218, 219, 220, 221, 222 }, { 219, 223, 224, 225 }, { 226, 227, 228, 229 }, { 228, 229, 230, 231 }, { 218, 232, 233, 234 }, { 218, 234, 235, 236 }, { 200, 237, 238, 239 }, { 200, 237, 240, 241 }, { 242, 243, 244, 245 }, { 30, 33, 246, 247 }, { 38, 246, 247, 248, 249, 250 }, { 225, 251, 252, 253 }, { 225, 251, 254, 255 }, { 41, 256, 257, 258 }, { 259, 260, 261, 262, 263 }, { 260, 264, 265, 266, 267 }, { 268, 269, 270, 271 }, { 272, 273, 274, 275 }, { 276, 277, 278, 279 }, { 277, 280, 281, 282 }, { 280, 281, 283, 284 }, { 53, 276, 285, 286 }, { 276, 287, 288, 289 }, { 290, 291, 292, 293 }, { 280, 291, 292, 294 }, { 295, 296, 297, 298 }, { 280, 295, 297, 299 }, { 280, 296, 297, 300 }, { 290, 295, 301, 302 }, { 280, 295, 302, 303 }, { 304, 305, 306, 307 }, { 14, 15, 16, 305 }, { 14, 308, 309, 310 }, { 272, 273, 311, 312 }, { 18, 19, 20, 313 }, { 313, 314, 315, 316 }, { 19, 317, 318, 319, 320 }, { 315, 317, 319, 321 }, { 19, 315, 316, 319 }, { 19, 317, 322, 323 }, { 324, 325, 326, 327 }, { 328, 329, 330, 331 }, { 27, 332, 333, 334 }, { 22, 23, 24, 27 }, { 24, 27, 29, 333 }, { 23, 335, 336, 337 }, { 335, 336, 338, 339 }, { 335, 338, 340, 341 }, { 23, 342, 343, 344 }, { 23, 343, 345, 346 }, { 22, 23, 27, 347 }, { 23, 347, 348, 349 }, { 347, 349, 350, 351, 352 }, { 345, 350, 351, 353 }, { 23, 345, 346, 349, 351 }, { 38, 354, 355, 356 }, { 34, 36, 357, 358 }, { 36, 37, 357, 358, 359 }, { 37, 38, 357, 359 }, { 30, 31, 32, 360 }, { 31, 34, 360, 361 }, { 30, 31, 38, 247 }, { 31, 34, 36, 37, 38 }, { 40, 41, 43, 362 }, { 40, 362, 363, 364 }, { 362, 363, 365, 366 }, { 367, 368, 369, 370 }, { 44, 46, 368, 371 }, { 372, 373, 374, 375 }, { 44, 45, 46, 374 }, { 369, 376, 377, 378 }, { 373, 377, 378, 379 }, { 60, 373, 380, 381 }, { 44, 382, 383, 384 }, { 382, 383, 385, 386 }, { 335, 387, 388, 389 }, { 44, 48, 49, 51 }, { 44, 49, 390, 391 }, { 48, 49, 391, 392 }, { 44, 48, 393, 394 }, { 48, 385, 393, 395 }, { 396, 397, 398, 399 }, { 53, 286, 400, 401 }, { 53, 402, 403, 404 }, { 52, 53, 54, 405 }, { 406, 407, 408, 409 }, { 410, 411, 412, 413 }, { 414, 415, 416, 417 }, { 418, 419, 420, 421 }, { 422, 423, 424, 425 }, { 426, 427, 428, 429 }, { 56, 60, 381, 430 }, { 56, 58, 59, 430 }, { 60, 431, 432, 433 }, { 60, 61, 62, 434 }, { 435, 436, 437, 438 }, { 64, 435, 437, 439, 440 }, { 64, 66, 441, 442 }, { 64, 66, 67, 443 }, { 64, 435, 443, 444 }, { 406, 445, 446, 447 }, { 448, 449, 450, 451 }, { 444, 448, 452, 453 }, { 68, 454, 455, 456 }, { 68, 70, 454, 456 }, { 68, 70, 71, 194 }, { 68, 457, 458, 459 }, { 72, 73, 74, 460 }, { 73, 74, 461, 462 }, { 74, 463, 464, 465 }, { 74, 461, 462, 466 }, { 76, 77, 78, 467 }, { 80, 81, 83, 468 }, { 76, 467, 469, 470 }, { 81, 468, 471, 472 }, { 84, 85, 86, 88 }, { 84, 88, 473, 474 }, { 90, 95, 475, 476 }, { 90, 91, 93, 95 }, { 477, 478, 479, 480 }, { 477, 481, 482, 483 }, { 484, 485, 486, 487, 488 }, { 489, 490, 491, 492 }, { 98, 489, 491, 493 }, { 98, 489, 493, 494 }, { 97, 98, 99, 495, 496 }, { 98, 495, 497, 498 }, { 499, 500, 501, 502 }, { 499, 500, 501, 503 }, { 499, 504, 505, 506 }, { 499, 504, 505, 507 }, { 508, 509, 510, 511 }, { 124, 512, 513, 514 }, { 509, 512, 513, 515 }, { 122, 124, 125, 516 }, { 517, 518, 519, 520 }, { 517, 518, 521, 522 }, { 100, 102, 103, 523 }, { 100, 102, 524, 525 }, { 100, 524, 525, 526, 527 }, { 100, 104, 105, 528 }, { 100, 105, 526, 527 }, { 107, 108, 110, 116 }, { 107, 108, 111, 529 }, { 108, 113, 115, 116 }, { 107, 118, 119, 125 }, { 107, 118, 120, 530 }, { 118, 123, 124, 125 }, { 531, 532, 533, 534 }, { 531, 532, 535, 536 }, { 537, 538, 539, 540 }, { 537, 541, 542, 543 }, { 126, 128, 129, 538 }, { 126, 128, 544, 545 }, { 126, 546, 547, 548 }, { 130, 549, 550, 551, 552 }, { 130, 552, 553, 554 }, { 547, 554, 555, 556, 557 }, { 130, 131, 133, 542 }, { 130, 131, 558, 559 }, { 134, 135, 136, 143 }, { 140, 560, 561, 562, 563, 564 }, { 563, 564, 565, 566 }, { 138, 139, 140, 564, 565, 567 }, { 139, 140, 563, 568 }, { 143, 144, 145, 148, 149 }, { 150, 151, 153, 569 }, { 167, 168, 570, 571 }, { 570, 572, 573, 574 }, { 573, 574, 575, 576, 577 }, { 570, 574, 575, 578, 579 }, { 575, 576, 578, 580 }, { 167, 179, 578, 581 }, { 154, 155, 156, 157, 582 }, { 154, 156, 159, 161, 162 }, { 582, 583, 584, 585, 586 }, { 165, 167, 168, 570 }, { 165, 170, 171, 570 }, { 170, 171, 570, 587 }, { 587, 588, 589, 590 }, { 2, 5, 7, 172, 591 }, { 173, 174, 175, 183, 184 }, { 167, 177, 179, 578 }, { 177, 180, 181, 578 }, { 174, 183, 185, 592 }, { 180, 181, 578, 592 }, { 186, 593, 594, 595 }, { 186, 188, 189, 596 }, { 186, 595, 597, 598 }, { 186, 187, 188, 598 }, { 588, 599, 600, 601 }, { 7, 8, 11, 190 }, { 588, 599, 600, 602 }, { 11, 588, 602, 603 }, { 11, 190, 600, 602 }, { 7, 190, 600, 604 }, { 7, 172, 183, 604 }, { 183, 600, 604, 605 }, { 183, 600, 605, 606 }, { 194, 456, 607, 608 }, { 194, 607, 609, 610 }, { 193, 194, 195, 610 }, { 194, 195, 196, 611 }, { 238, 612, 613, 614 }, { 615, 616, 617, 618 }, { 199, 200, 207, 613 }, { 198, 199, 200, 616 }, { 207, 619, 620, 621 }, { 622, 623, 624, 625 }, { 201, 202, 203, 626 }, { 627, 628, 629, 630, 631, 632 }, { 627, 632, 633, 634 }, { 628, 631, 633, 635 }, { 633, 635, 636, 637 }, { 628, 635, 636, 638 }, { 201, 203, 206, 628 }, { 639, 640, 641, 642, 643 }, { 627, 628, 629, 630, 639, 644 }, { 627, 639, 640, 643 }, { 212, 627, 640, 645 }, { 207, 208, 209, 623 }, { 207, 209, 212, 627 }, { 627, 634, 636, 646 }, { 213, 214, 252, 647 }, { 201, 214, 648, 649 }, { 201, 619, 649, 650, 651, 652 }, { 213, 214, 215, 619, 650 }, { 38, 653, 654, 655 }, { 217, 218, 219, 222, 653 }, { 38, 224, 653, 654 }, { 219, 222, 224, 653 }, { 201, 214, 219, 225 }, { 38, 219, 224, 225 }, { 656, 657, 658, 659 }, { 660, 661, 662, 663 }, { 232, 234, 235, 664 }, { 227, 229, 230, 664 }, { 227, 228, 229, 230 }, { 218, 232, 234, 235 }, { 662, 665, 666, 667 }, { 200, 237, 238, 240 }, { 198, 200, 240, 616 }, { 668, 669, 670, 671 }, { 243, 672, 673, 674 }, { 243, 244, 245, 673 }, { 30, 38, 246, 247, 248 }, { 225, 251, 252, 254 }, { 38, 224, 225, 254 }, { 619, 675, 676, 677 }, { 619, 668, 670, 676 }, { 670, 675, 676, 678, 679, 680 }, { 681, 682, 683, 684 }, { 213, 619, 685, 686 }, { 619, 675, 678, 687 }, { 619, 685, 687, 688 }, { 678, 685, 687, 689 }, { 678, 685, 690, 691 }, { 682, 692, 693, 694 }, { 682, 690, 692, 695 }, { 365, 696, 697, 698 }, { 41, 365, 696, 699 }, { 41, 257, 258, 696 }, { 30, 700, 701, 702 }, { 64, 437, 439, 440, 703, 704 }, { 259, 260, 261, 263, 705, 706 }, { 260, 264, 265, 705, 707 }, { 431, 708, 709, 710 }, { 711, 712, 713, 714 }, { 431, 709, 715, 716 }, { 712, 713, 717, 718 }, { 268, 269, 270, 280 }, { 268, 269, 719, 720 }, { 272, 273, 274, 721 }, { 273, 304, 312, 721 }, { 276, 722, 723, 724 }, { 276, 277, 279, 725 }, { 276, 725, 726, 727 }, { 277, 725, 726, 728 }, { 268, 276, 277, 724 }, { 268, 277, 280, 282 }, { 277, 283, 726, 728 }, { 277, 280, 281, 283 }, { 276, 400, 722, 729 }, { 53, 276, 286, 400 }, { 276, 287, 288, 726 }, { 53, 276, 288, 730 }, { 280, 290, 291, 292 }, { 280, 283, 291, 726 }, { 304, 305, 731, 732 }, { 305, 731, 733, 734 }, { 280, 295, 296, 297 }, { 295, 296, 305, 735 }, { 280, 296, 305, 734 }, { 280, 290, 295, 302 }, { 290, 295, 736, 737 }, { 290, 736, 737, 738 }, { 304, 305, 307, 739 }, { 16, 305, 309, 739 }, { 304, 309, 739, 740 }, { 14, 16, 305, 309 }, { 14, 309, 310, 741 }, { 272, 273, 304, 312 }, { 272, 311, 312, 742 }, { 18, 19, 313, 324 }, { 19, 313, 315, 316 }, { 19, 315, 317, 319 }, { 19, 317, 323, 328 }, { 315, 743, 744, 745 }, { 315, 744, 746, 747 }, { 743, 744, 747, 748, 749 }, { 315, 750, 751, 752 }, { 315, 746, 747, 751 }, { 315, 741, 753, 754 }, { 315, 743, 745, 753 }, { 324, 325, 326, 755 }, { 326, 755, 756, 757 }, { 324, 326, 758, 759 }, { 328, 329, 760, 761 }, { 328, 329, 330, 762 }, { 329, 756, 762, 763 }, { 40, 363, 364, 764 }, { 27, 332, 333, 750 }, { 23, 24, 27, 333 }, { 23, 335, 336, 338 }, { 333, 335, 338, 341 }, { 23, 24, 333, 338 }, { 23, 342, 343, 345, 765 }, { 27, 347, 350, 750, 766 }, { 23, 27, 347, 750 }, { 345, 350, 750, 766 }, { 23, 345, 347, 349, 350, 351 }, { 30, 357, 767, 768 }, { 44, 355, 357, 768 }, { 38, 355, 357, 359 }, { 38, 44, 355, 356 }, { 30, 357, 360, 767 }, { 34, 36, 37, 38, 357 }, { 30, 31, 34, 38, 360 }, { 40, 41, 362, 365 }, { 40, 335, 362, 363 }, { 335, 362, 363, 365 }, { 30, 697, 769, 770 }, { 368, 369, 370, 374 }, { 44, 46, 368, 374 }, { 369, 373, 771, 772 }, { 369, 370, 374, 772 }, { 372, 373, 374, 772 }, { 373, 773, 774, 775 }, { 38, 44, 45, 374 }, { 38, 373, 374, 775 }, { 369, 373, 377, 378 }, { 60, 373, 377, 776 }, { 373, 430, 773, 777 }, { 60, 373, 381, 430 }, { 44, 368, 369, 383 }, { 44, 382, 383, 385 }, { 44, 697, 770, 778 }, { 23, 335, 387, 389 }, { 23, 389, 697, 778 }, { 385, 779, 780, 781 }, { 23, 44, 391, 778 }, { 44, 48, 49, 391 }, { 23, 48, 391, 782 }, { 44, 48, 385, 393 }, { 48, 385, 780, 781 }, { 396, 397, 398, 402 }, { 396, 398, 783, 784 }, { 53, 400, 401, 785 }, { 53, 402, 403, 786 }, { 52, 53, 405, 786 }, { 406, 783, 787, 788 }, { 405, 787, 789, 790 }, { 406, 407, 409, 791 }, { 792, 793, 794, 795 }, { 410, 411, 412, 792 }, { 410, 412, 417, 796 }, { 410, 415, 417, 797 }, { 410, 415, 791, 798 }, { 415, 416, 417, 791 }, { 418, 423, 799, 800 }, { 418, 419, 420, 799 }, { 418, 420, 423, 801 }, { 422, 423, 425, 792 }, { 420, 422, 423, 802 }, { 420, 422, 792, 794 }, { 423, 425, 792, 803 }, { 423, 426, 803, 804 }, { 426, 428, 429, 805, 806 }, { 410, 411, 792, 807 }, { 426, 792, 807, 808 }, { 410, 426, 807, 809 }, { 792, 810, 811, 812 }, { 412, 417, 792, 811 }, { 56, 59, 60, 430 }, { 60, 431, 433, 449 }, { 60, 61, 434, 449 }, { 64, 435, 436, 437, 444 }, { 406, 436, 444, 813, 814, 815 }, { 64, 66, 431, 441 }, { 64, 66, 443, 444 }, { 406, 446, 447, 799 }, { 434, 448, 816, 817 }, { 431, 448, 449, 450, 818 }, { 434, 448, 449, 451 }, { 406, 444, 814, 816 }, { 66, 431, 448, 818, 819 }, { 66, 444, 448, 452, 819 }, { 68, 455, 456, 820 }, { 68, 70, 194, 456 }, { 68, 183, 457, 458 }, { 73, 74, 460, 461 }, { 74, 464, 465, 821 }, { 74, 461, 466, 820 }, { 76, 78, 467, 470 }, { 78, 80, 467, 468, 822, 823 }, { 80, 81, 468, 471 }, { 80, 471, 824, 825, 826 }, { 467, 469, 470, 827 }, { 468, 471, 472, 827 }, { 469, 470, 471, 472, 827 }, { 84, 85, 88, 471 }, { 84, 88, 474, 828 }, { 90, 95, 475, 829 }, { 90, 91, 95, 470 }, { 477, 478, 480, 504 }, { 477, 482, 483, 504 }, { 482, 485, 486, 487, 495 }, { 98, 489, 491, 492 }, { 98, 489, 494, 495, 496 }, { 98, 492, 495, 497 }, { 830, 831, 832, 833, 834, 835 }, { 499, 501, 502, 833 }, { 499, 501, 503, 836 }, { 499, 504, 506, 837 }, { 499, 504, 507, 832 }, { 508, 509, 510, 838 }, { 509, 512, 515, 838 }, { 512, 838, 839, 840 }, { 124, 512, 514, 839 }, { 124, 509, 512, 513 }, { 124, 125, 516, 839 }, { 517, 518, 520, 521 }, { 517, 519, 520, 841 }, { 517, 521, 522, 842 }, { 100, 102, 523, 525 }, { 517, 523, 525, 843 }, { 100, 517, 525, 527 }, { 100, 105, 527, 528 }, { 517, 527, 528, 844 }, { 107, 108, 115, 116 }, { 107, 108, 529, 845 }, { 108, 113, 115, 845 }, { 107, 118, 124, 125 }, { 107, 118, 530, 846 }, { 118, 123, 124, 846 }, { 107, 845, 846, 847 }, { 531, 532, 534, 536 }, { 126, 537, 538, 540 }, { 537, 538, 542, 848, 849 }, { 130, 537, 542, 543 }, { 532, 538, 850, 851 }, { 538, 544, 850, 852 }, { 126, 128, 538, 544 }, { 547, 548, 549, 552, 554 }, { 126, 547, 548, 549 }, { 130, 549, 552, 554 }, { 126, 130, 547, 554, 555 }, { 532, 542, 853, 854 }, { 542, 558, 853, 855 }, { 130, 131, 542, 558 }, { 134, 136, 143, 856 }, { 139, 140, 563, 564, 565 }, { 143, 148, 563, 857 }, { 143, 145, 858, 859 }, { 143, 145, 148, 149, 859, 860 }, { 569, 859, 861, 862 }, { 150, 151, 569, 863 }, { 167, 570, 571, 573 }, { 167, 571, 573, 576, 581 }, { 570, 573, 574, 575, 576, 578 }, { 167, 576, 578, 581 }, { 154, 156, 161, 162, 582 }, { 162, 570, 582, 584 }, { 570, 578, 582, 584, 585 }, { 161, 578, 582, 585 }, { 165, 167, 170, 570 }, { 170, 570, 587, 588 }, { 162, 587, 588, 590 }, { 162, 570, 584, 587 }, { 7, 172, 173, 183, 591 }, { 161, 173, 174, 183, 864 }, { 167, 177, 181, 578 }, { 161, 174, 183, 592 }, { 181, 183, 578, 592 }, { 161, 578, 585, 592 }, { 186, 593, 595, 597 }, { 186, 188, 588, 596 }, { 186, 188, 597, 598 }, { 188, 588, 600, 601 }, { 188, 195, 600, 865, 866, 867 }, { 188, 195, 597, 609, 868, 869 }, { 7, 11, 190, 600 }, { 11, 588, 600, 602 }, { 7, 183, 600, 604 }, { 183, 195, 600, 606 }, { 194, 456, 607, 609 }, { 194, 195, 609, 610 }, { 183, 194, 195, 611 }, { 238, 612, 613, 619 }, { 200, 207, 238, 613 }, { 615, 870, 871, 872 }, { 615, 870, 873, 874 }, { 616, 870, 873, 875 }, { 615, 616, 618, 873 }, { 199, 207, 615, 871 }, { 198, 199, 615, 616 }, { 199, 200, 207, 616 }, { 207, 619, 620, 622 }, { 207, 622, 623, 624 }, { 201, 203, 626, 628 }, { 626, 628, 636, 638 }, { 627, 628, 631, 632, 633 }, { 627, 633, 634, 636 }, { 628, 633, 635, 636 }, { 201, 206, 628, 641 }, { 627, 628, 639, 640, 641 }, { 207, 212, 627, 640 }, { 207, 209, 623, 627 }, { 623, 627, 636, 646 }, { 213, 214, 252, 619 }, { 201, 214, 619, 649, 650 }, { 201, 214, 225, 252 }, { 218, 235, 653, 773 }, { 653, 773, 876, 877 }, { 38, 653, 655, 876 }, { 38, 773, 775, 876 }, { 201, 218, 219, 653 }, { 38, 219, 224, 653 }, { 38, 201, 219, 225 }, { 656, 657, 658, 878 }, { 658, 661, 878, 879, 880, 881 }, { 660, 661, 662, 879 }, { 232, 235, 664, 773 }, { 227, 230, 664, 773 }, { 227, 228, 230, 773 }, { 218, 232, 235, 773 }, { 230, 232, 662, 665, 666 }, { 200, 238, 240, 616 }, { 238, 612, 619, 669 }, { 882, 883, 884, 885 }, { 669, 883, 884, 886 }, { 619, 668, 669, 670 }, { 882, 884, 887, 888 }, { 673, 884, 887, 889 }, { 40, 243, 884, 890 }, { 40, 243, 672, 673 }, { 243, 245, 673, 884 }, { 30, 38, 248, 254, 891 }, { 38, 225, 252, 254 }, { 619, 670, 675, 676, 678 }, { 678, 681, 682, 684 }, { 213, 252, 619, 685 }, { 619, 678, 685, 687 }, { 678, 682, 685, 690 }, { 30, 682, 692, 693 }, { 682, 685, 690, 692 }, { 30, 365, 696, 697 }, { 40, 41, 681, 682 }, { 40, 41, 365, 696 }, { 41, 258, 682, 696 }, { 30, 682, 700, 701 }, { 30, 696, 700, 702 }, { 682, 696, 700, 892 }, { 64, 437, 703, 704, 705 }, { 260, 261, 705, 706, 707, 893 }, { 64, 431, 708, 709 }, { 64, 709, 712, 894 }, { 64, 711, 712, 713 }, { 431, 709, 712, 713, 716, 718 }, { 268, 269, 280, 719 }, { 272, 273, 304, 721 }, { 304, 721, 733, 895 }, { 268, 276, 722, 724 }, { 276, 277, 725, 726 }, { 268, 276, 277, 280 }, { 277, 280, 283, 726 }, { 53, 276, 400, 722 }, { 53, 276, 288, 726 }, { 280, 290, 291, 726 }, { 304, 305, 731, 733 }, { 280, 305, 733, 734 }, { 280, 295, 296, 305 }, { 280, 290, 295, 736 }, { 280, 290, 736, 738 }, { 304, 305, 309, 739 }, { 304, 309, 740, 741 }, { 14, 305, 309, 741 }, { 272, 304, 312, 742 }, { 272, 311, 742, 896 }, { 19, 313, 315, 324 }, { 19, 324, 328, 758, 760 }, { 19, 315, 317, 328 }, { 315, 743, 744, 747 }, { 315, 747, 750, 751 }, { 315, 741, 743, 753 }, { 324, 326, 755, 756 }, { 324, 326, 328, 329, 758, 760 }, { 328, 329, 756, 762 }, { 40, 272, 896, 897, 898, 899 }, { 324, 756, 898, 900, 901 }, { 324, 764, 898, 900, 902 }, { 40, 364, 764, 898 }, { 40, 335, 363, 764 }, { 333, 335, 341, 750 }, { 23, 27, 333, 750 }, { 23, 333, 335, 338 }, { 23, 342, 345, 765, 903, 904 }, { 23, 345, 347, 350, 750 }, { 30, 44, 357, 768 }, { 38, 44, 355, 357 }, { 30, 34, 38, 357, 360 }, { 40, 335, 362, 365 }, { 30, 44, 697, 770 }, { 30, 335, 365, 697 }, { 44, 368, 369, 374 }, { 369, 373, 374, 772 }, { 38, 373, 773, 775 }, { 38, 44, 373, 374 }, { 60, 369, 373, 377 }, { 60, 373, 430, 773 }, { 44, 369, 383, 385 }, { 23, 44, 697, 778 }, { 23, 335, 389, 697 }, { 44, 385, 779, 781 }, { 23, 44, 48, 391 }, { 44, 48, 385, 781 }, { 396, 398, 402, 783 }, { 53, 400, 722, 785 }, { 53, 402, 405, 786 }, { 398, 402, 783, 789 }, { 402, 405, 786, 789 }, { 406, 783, 787, 789 }, { 405, 787, 789, 791 }, { 406, 409, 787, 791 }, { 420, 792, 793, 794 }, { 410, 412, 417, 792 }, { 410, 415, 417, 791 }, { 418, 420, 423, 799 }, { 420, 422, 423, 792 }, { 410, 791, 905, 906 }, { 423, 799, 907, 908 }, { 423, 426, 792, 803 }, { 410, 423, 426, 805, 806 }, { 410, 426, 792, 807 }, { 417, 792, 810, 811 }, { 59, 60, 430, 773 }, { 60, 431, 434, 449 }, { 64, 406, 436, 437, 444, 813 }, { 64, 66, 431, 444 }, { 406, 447, 799, 816 }, { 434, 448, 799, 816 }, { 431, 434, 448, 449 }, { 406, 444, 448, 816 }, { 66, 431, 444, 448 }, { 68, 455, 820, 909 }, { 68, 194, 456, 820 }, { 68, 183, 194, 458 }, { 74, 460, 461, 820 }, { 74, 460, 465, 821 }, { 820, 909, 910, 911 }, { 74, 466, 820, 910 }, { 91, 470, 856, 912 }, { 78, 467, 470, 824 }, { 78, 80, 467, 468, 824 }, { 80, 468, 471, 824 }, { 467, 468, 470, 471, 827 }, { 84, 85, 471, 852 }, { 84, 88, 471, 828 }, { 91, 95, 470, 856 }, { 90, 95, 470, 829 }, { 85, 471, 852, 913 }, { 478, 485, 489, 914, 915, 916 }, { 477, 478, 482, 504 }, { 478, 482, 485, 489, 495 }, { 98, 489, 492, 495 }, { 499, 830, 831, 832, 833 }, { 499, 501, 831, 833 }, { 499, 501, 504, 836, 837 }, { 499, 504, 830, 832 }, { 508, 509, 838, 917 }, { 124, 509, 512, 838, 839 }, { 107, 124, 125, 839 }, { 107, 838, 839, 917, 918, 919 }, { 517, 520, 521, 841, 842 }, { 100, 523, 856, 920 }, { 517, 523, 842, 856 }, { 100, 517, 523, 525 }, { 100, 528, 852, 921 }, { 517, 528, 841, 852 }, { 100, 517, 527, 528 }, { 107, 108, 115, 845 }, { 107, 118, 124, 846 }, { 107, 532, 845, 846 }, { 532, 534, 536, 538, 542 }, { 126, 130, 537, 538, 542 }, { 532, 538, 850, 852 }, { 126, 538, 544, 852 }, { 126, 130, 547, 549, 554 }, { 532, 542, 853, 855 }, { 130, 542, 558, 855 }, { 134, 143, 856, 922 }, { 139, 143, 148, 563, 565 }, { 143, 856, 858, 859 }, { 143, 148, 569, 859, 860, 923 }, { 569, 859, 861, 863 }, { 151, 569, 863, 924 }, { 167, 570, 573, 576, 578 }, { 161, 162, 570, 578, 582 }, { 167, 170, 570, 588 }, { 162, 570, 587, 588 }, { 7, 161, 173, 183, 591, 864 }, { 167, 181, 183, 578 }, { 161, 183, 578, 592 }, { 40, 186, 593, 597 }, { 186, 188, 588, 597 }, { 188, 588, 597, 600 }, { 188, 195, 597, 600, 609 }, { 7, 11, 183, 588, 600 }, { 183, 195, 600, 609 }, { 194, 456, 609, 820 }, { 183, 194, 195, 609 }, { 207, 238, 613, 619 }, { 200, 207, 238, 616 }, { 207, 615, 870, 871 }, { 615, 616, 870, 873 }, { 199, 207, 615, 616 }, { 201, 619, 626, 925 }, { 207, 619, 622, 623 }, { 201, 626, 628, 636 }, { 627, 628, 633, 636 }, { 201, 207, 627, 628, 640, 641 }, { 207, 623, 627, 636 }, { 201, 214, 252, 619 }, { 38, 201, 225, 252 }, { 201, 218, 653, 773 }, { 38, 653, 773, 876 }, { 38, 201, 219, 653 }, { 207, 656, 657, 878, 926 }, { 656, 658, 660, 661, 878, 879 }, { 230, 232, 664, 773 }, { 228, 230, 660, 773 }, { 201, 218, 232, 773 }, { 201, 230, 232, 660, 662, 665 }, { 238, 240, 616, 882 }, { 238, 619, 669, 882 }, { 669, 882, 883, 884 }, { 619, 669, 670, 884 }, { 40, 670, 884, 890 }, { 40, 672, 673, 882 }, { 673, 882, 884, 887 }, { 40, 243, 673, 884 }, { 30, 38, 252, 254 }, { 40, 619, 670, 678 }, { 40, 678, 681, 682 }, { 30, 252, 619, 685 }, { 619, 678, 682, 685 }, { 30, 682, 685, 692 }, { 30, 40, 365, 696 }, { 40, 41, 682, 696 }, { 30, 682, 696, 700 }, { 64, 703, 705, 707 }, { 64, 406, 437, 705, 813 }, { 406, 705, 706, 707, 893, 927 }, { 64, 431, 709, 712, 713 }, { 268, 280, 719, 895 }, { 272, 304, 721, 895 }, { 280, 304, 733, 895 }, { 268, 276, 280, 722 }, { 276, 277, 280, 726 }, { 53, 276, 722, 726 }, { 280, 290, 726, 738 }, { 280, 304, 305, 733 }, { 280, 295, 305, 736 }, { 280, 736, 738, 791 }, { 304, 305, 309, 741 }, { 272, 304, 741, 742 }, { 272, 328, 742, 896 }, { 19, 315, 324, 328 }, { 315, 741, 743, 747, 750 }, { 324, 326, 328, 329, 756 }, { 272, 328, 756, 896 }, { 40, 272, 756, 896, 898 }, { 40, 324, 756, 898 }, { 40, 324, 764, 898 }, { 40, 335, 750, 764 }, { 23, 333, 335, 750 }, { 23, 345, 750, 903, 904, 928 }, { 30, 38, 44, 357 }, { 30, 40, 335, 365 }, { 30, 44, 335, 697 }, { 44, 369, 373, 374 }, { 38, 44, 373, 773 }, { 60, 369, 373, 773 }, { 44, 369, 385, 779 }, { 23, 44, 335, 697 }, { 44, 779, 781, 799 }, { 23, 44, 48, 781 }, { 396, 402, 406, 783 }, { 53, 402, 722, 785 }, { 53, 402, 405, 791 }, { 402, 406, 783, 789 }, { 402, 405, 789, 791 }, { 406, 787, 789, 791 }, { 420, 792, 793, 799 }, { 410, 417, 791, 792 }, { 420, 423, 792, 799 }, { 410, 423, 791, 799, 906, 907 }, { 410, 423, 426, 792 }, { 417, 791, 792, 810 }, { 59, 60, 431, 773 }, { 60, 431, 434, 799 }, { 64, 406, 431, 444 }, { 406, 448, 799, 816 }, { 431, 434, 448, 799 }, { 406, 431, 444, 448 }, { 68, 820, 909, 911 }, { 68, 183, 194, 820 }, { 74, 460, 820, 821 }, { 74, 820, 910, 911 }, { 470, 856, 912, 929 }, { 467, 468, 470, 471, 824 }, { 84, 471, 828, 852 }, { 95, 470, 829, 856 }, { 828, 829, 841, 842, 852, 856 }, { 471, 852, 913, 930 }, { 478, 489, 914, 915, 931, 932, 933, 934, 935, 936, 937, 938 }, { 478, 482, 489, 492, 495, 504 }, { 499, 501, 504, 830, 831 }, { 830, 831, 917, 939, 940, 941 }, { 107, 124, 509, 838, 839, 917 }, { 517, 841, 842, 852, 856 }, { 100, 517, 523, 856 }, { 100, 517, 528, 852 }, { 107, 115, 532, 845 }, { 115, 532, 855, 942 }, { 107, 124, 532, 846 }, { 124, 532, 852, 943 }, { 126, 130, 532, 538, 542 }, { 126, 532, 538, 852 }, { 126, 130, 549, 852, 855 }, { 130, 532, 542, 855 }, { 143, 565, 856, 922 }, { 139, 143, 148, 565, 569, 923 }, { 143, 569, 856, 859, 863 }, { 565, 569, 863, 924 }, { 167, 588, 944, 945 }, { 167, 183, 946, 947 }, { 161, 162, 167, 570, 578 }, { 162, 167, 570, 588 }, { 7, 11, 161, 162, 183, 588 }, { 161, 167, 183, 578 }, { 40, 186, 588, 597 }, { 183, 588, 597, 600, 609 }, { 183, 194, 609, 820 }, { 207, 238, 616, 619 }, { 207, 615, 616, 870 }, { 201, 619, 626, 636 }, { 207, 619, 623, 636 }, { 201, 207, 627, 628, 636 }, { 38, 201, 252, 619 }, { 38, 201, 653, 773 }, { 201, 207, 656, 660, 878, 879 }, { 201, 230, 232, 660, 773 }, { 238, 616, 619, 882 }, { 619, 669, 882, 884 }, { 40, 619, 670, 884 }, { 40, 673, 882, 884 }, { 30, 38, 252, 619 }, { 40, 619, 678, 682 }, { 30, 619, 682, 685 }, { 30, 40, 682, 696 }, { 64, 406, 705, 707, 927 }, { 64, 431, 713, 773, 948 }, { 268, 280, 722, 895 }, { 272, 280, 304, 895 }, { 276, 280, 722, 726 }, { 53, 722, 726, 791 }, { 280, 726, 738, 791 }, { 272, 280, 304, 305 }, { 280, 305, 736, 791 }, { 272, 304, 305, 741 }, { 741, 750, 928, 949, 950, 951 }, { 272, 328, 741, 742 }, { 315, 324, 328, 741, 750 }, { 40, 272, 324, 328, 756 }, { 40, 324, 750, 764 }, { 23, 40, 335, 750 }, { 23, 750, 799, 904, 928 }, { 30, 38, 44, 773 }, { 30, 40, 44, 335 }, { 44, 369, 373, 773 }, { 60, 369, 773, 799 }, { 44, 369, 779, 799 }, { 23, 40, 44, 335 }, { 23, 44, 781, 799 }, { 396, 402, 406, 722 }, { 53, 402, 722, 791 }, { 402, 406, 789, 791 }, { 406, 792, 793, 799 }, { 410, 423, 791, 792, 799 }, { 406, 791, 792, 810 }, { 60, 431, 773, 799 }, { 64, 406, 431, 773 }, { 406, 431, 448, 799 }, { 68, 183, 820, 911 }, { 74, 820, 821, 911 }, { 470, 856, 911, 929 }, { 470, 471, 824, 911 }, { 470, 471, 828, 829, 852, 856 }, { 471, 852, 911, 930 }, { 478, 489, 492, 501, 504, 932 }, { 501, 504, 830, 831, 917, 939 }, { 100, 509, 856, 917 }, { 100, 107, 124, 509, 917 }, { 100, 107, 124, 852 }, { 100, 517, 852, 856 }, { 107, 115, 532, 855 }, { 107, 124, 532, 852 }, { 126, 130, 532, 852, 855 }, { 143, 565, 569, 856, 863 }, { 167, 565, 856, 952 }, { 167, 565, 863, 953 }, { 167, 588, 863, 944 }, { 167, 183, 856, 947 }, { 161, 162, 167, 183, 588 }, { 40, 183, 588, 597, 609, 820 }, { 207, 616, 619, 870 }, { 201, 207, 619, 636 }, { 38, 201, 619, 773 }, { 201, 207, 656, 660, 773, 870 }, { 616, 619, 870, 882 }, { 40, 619, 882, 884 }, { 30, 38, 619, 773 }, { 30, 40, 619, 682 }, { 64, 406, 773, 927, 948 }, { 272, 280, 722, 895 }, { 280, 722, 726, 791 }, { 272, 280, 305, 791 }, { 272, 305, 741, 791 }, { 741, 750, 791, 799, 928, 950 }, { 40, 272, 324, 328, 741, 750 }, { 23, 40, 750, 799 }, { 30, 40, 44, 773 }, { 44, 369, 773, 799 }, { 23, 40, 44, 799 }, { 402, 406, 722, 791 }, { 406, 791, 792, 799 }, { 406, 431, 773, 799 }, { 183, 820, 856, 911 }, { 820, 821, 852, 911 }, { 470, 471, 852, 856, 911 }, { 107, 492, 501, 504, 917, 939 }, { 100, 107, 852, 856, 917 }, { 107, 532, 852, 855 }, { 167, 565, 856, 863 }, { 40, 167, 588, 863 }, { 167, 183, 820, 856 }, { 40, 167, 183, 588, 820 }, { 201, 207, 619, 773, 870 }, { 40, 619, 870, 882 }, { 30, 40, 619, 773 }, { 406, 722, 773, 927, 948, 954 }, { 272, 280, 722, 791 }, { 40, 272, 741, 750, 791, 799 }, { 40, 44, 773, 799 }, { 406, 722, 773, 791, 799 }, { 820, 852, 856, 911 }, { 107, 852, 855, 856, 863, 917, 939, 955, 956 }, { 40, 167, 820, 856, 863 }, { 40, 619, 773, 870 }, { 722, 773, 948, 954, 957, 958 }, { 40, 272, 722, 773, 791, 799 }, { 40, 272, 820, 852, 855, 856, 863, 955, 956 }, { 40, 773, 870, 957, 959 }, { 40, 272, 722, 773, 957 }, { 40, 272, 820, 957, 959, 960 } ] /* Faces of top cells */ [ [ { 2, 3, 4, 5 }, { 1, 3, 4, 6 }, { 1, 2, 3 }, { 1, 2, 5, 6 }, { 4, 5, 6 } ], [ { 8, 9, 10 }, { 7, 9, 10 }, { 7, 8, 10 }, { 7, 8, 9 } ], [ { 8, 12, 13 }, { 8, 11, 13 }, { 11, 12, 13 }, { 8, 11, 12 } ], [ { 15, 16, 17 }, { 14, 16, 17 }, { 14, 15, 17 }, { 14, 15, 16 } ], [ { 19, 20, 21 }, { 18, 20, 21 }, { 18, 19, 21 }, { 18, 19, 20 } ], [ { 23, 24, 25 }, { 22, 24, 25 }, { 22, 23, 25 }, { 22, 23, 24 } ], [ { 24, 26, 27 }, { 22, 26, 27 }, { 22, 24, 27 }, { 22, 24, 26 } ], [ { 26, 27, 28, 29 }, { 24, 26, 27 }, { 24, 26, 28 }, { 24, 27, 29 }, { 24, 28, 29 } ], [ { 31, 32, 33 }, { 30, 32, 33 }, { 30, 31, 33 }, { 30, 31, 32 } ], [ { 31, 35, 36 }, { 34, 35, 36 }, { 31, 34, 36 }, { 31, 34, 35 } ], [ { 31, 38, 39 }, { 31, 37, 39 }, { 37, 38, 39 }, { 31, 37, 38 } ], [ { 41, 42, 43 }, { 40, 42, 43 }, { 40, 41, 43 }, { 40, 41, 42 } ], [ { 45, 46, 47 }, { 44, 46, 47 }, { 44, 45, 47 }, { 44, 45, 46 } ], [ { 49, 50, 51 }, { 48, 50, 51 }, { 48, 49, 51 }, { 48, 49, 50 } ], [ { 53, 54, 55 }, { 52, 54, 55 }, { 52, 53, 55 }, { 52, 53, 54 } ], [ { 57, 58, 59 }, { 56, 58, 59 }, { 56, 57, 59 }, { 56, 57, 58 } ], [ { 61, 62, 63 }, { 60, 62, 63 }, { 60, 61, 63 }, { 60, 61, 62 } ], [ { 65, 66, 67 }, { 64, 66, 67 }, { 64, 65, 67 }, { 64, 65, 66 } ], [ { 69, 70, 71 }, { 68, 70, 71 }, { 68, 69, 71 }, { 68, 69, 70 } ], [ { 73, 74, 75 }, { 72, 74, 75 }, { 72, 73, 75 }, { 72, 73, 74 } ], [ { 77, 78, 79 }, { 76, 78, 79 }, { 76, 77, 79 }, { 76, 77, 78 } ], [ { 81, 82, 83 }, { 80, 82, 83 }, { 80, 81, 83 }, { 80, 81, 82 } ], [ { 85, 86, 87 }, { 84, 86, 87 }, { 84, 85, 87 }, { 84, 85, 86 } ], [ { 86, 88, 89 }, { 85, 88, 89 }, { 85, 86, 89 }, { 85, 86, 88 } ], [ { 91, 92, 93 }, { 90, 92, 93 }, { 90, 91, 93 }, { 90, 91, 92 } ], [ { 91, 93, 95 }, { 93, 94, 95 }, { 91, 93, 94 }, { 91, 94, 95 } ], [ { 97, 98, 99 }, { 96, 98, 99 }, { 96, 97, 99 }, { 96, 97, 98 } ], [ { 101, 102, 103 }, { 100, 102, 103 }, { 100, 101, 103 }, { 100, 101, 102 } ], [ { 104, 105, 106 }, { 100, 105, 106 }, { 100, 104, 106 }, { 100, 104, 105 } ], [ { 108, 109, 110 }, { 107, 109, 110 }, { 107, 108, 110 }, { 107, 108, 109 } ], [ { 108, 111, 112 }, { 107, 108, 112 }, { 107, 111, 112 }, { 107, 108, 111 } ], [ { 114, 115, 116 }, { 113, 115, 116 }, { 113, 114, 116 }, { 113, 114, 115 } ], [ { 117, 118, 119 }, { 107, 118, 119 }, { 107, 117, 119 }, { 107, 117, 118 } ], [ { 118, 120, 121 }, { 107, 118, 121 }, { 107, 120, 121 }, { 107, 118, 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 } ], [ { 135, 136, 137 }, { 134, 136, 137 }, { 134, 135, 137 }, { 134, 135, 136 } ], [ { 138, 140, 141, 142 }, { 138, 139, 141 }, { 138, 139, 140 }, { 139, 140, 142 }, { 139, 141, 142 } ], [ { 144, 145, 146 }, { 143, 145, 146 }, { 143, 144, 146 }, { 143, 144, 145 } ], [ { 144, 148, 149 }, { 144, 147, 149 }, { 144, 147, 148 }, { 147, 148, 149 } ], [ { 151, 152, 153 }, { 150, 152, 153 }, { 150, 151, 153 }, { 150, 151, 152 } ], [ { 154, 156, 158 }, { 154, 155, 158 }, { 154, 155, 156, 157 }, { 155, 157, 158 }, { 156, 157, 158 } ], [ { 156, 159, 160 }, { 154, 159, 160 }, { 154, 156, 160 }, { 154, 156, 159 } ], [ { 159, 162, 163 }, { 159, 161, 162 }, { 161, 162, 163, 164 }, { 159, 161, 164 }, { 159, 163, 164 } ], [ { 166, 167, 168 }, { 165, 167, 168 }, { 165, 166, 168 }, { 165, 166, 167 } ], [ { 169, 170, 171 }, { 165, 170, 171 }, { 165, 169, 171 }, { 165, 169, 170 } ], [ { 2, 3, 4, 5 }, { 3, 4, 172 }, { 2, 3, 172 }, { 2, 5, 172 }, { 4, 5, 172 } ], [ { 174, 175, 176 }, { 173, 175, 176 }, { 173, 174, 176 }, { 173, 174, 175 } ], [ { 177, 178, 179 }, { 167, 178, 179 }, { 167, 177, 179 }, { 167, 177, 178 } ], [ { 177, 181, 182 }, { 180, 181, 182 }, { 177, 180, 182 }, { 177, 180, 181 } ], [ { 174, 184, 185 }, { 174, 183, 185 }, { 174, 183, 184 }, { 183, 184, 185 } ], [ { 187, 188, 189 }, { 186, 188, 189 }, { 186, 187, 189 }, { 186, 187, 188 } ], [ { 8, 11, 12 }, { 7, 8, 11 }, { 7, 9, 11, 12 }, { 7, 8, 9 }, { 8, 9, 12 } ], [ { 8, 190, 191 }, { 7, 8, 191 }, { 7, 190, 191 }, { 7, 8, 190 } ], [ { 8, 190, 192 }, { 8, 11, 192 }, { 11, 190, 192 }, { 8, 11, 190 } ], [ { 194, 195, 196 }, { 193, 195, 196 }, { 193, 194, 196 }, { 193, 194, 195 } ], [ { 198, 199, 200 }, { 197, 199, 200 }, { 197, 198, 200 }, { 197, 198, 199 } ], [ { 202, 203, 204 }, { 201, 203, 204 }, { 201, 202, 204 }, { 201, 202, 203 } ], [ { 203, 205, 206 }, { 201, 203, 206 }, { 201, 205, 206 }, { 201, 203, 205 } ], [ { 208, 209, 210 }, { 207, 209, 210 }, { 207, 208, 210 }, { 207, 208, 209 } ], [ { 209, 211, 212 }, { 207, 211, 212 }, { 207, 209, 212 }, { 207, 209, 211 } ], [ { 214, 215, 216 }, { 213, 215, 216 }, { 213, 214, 216 }, { 213, 214, 215 } ], [ { 217, 218, 220, 221 }, { 217, 218, 219, 222 }, { 219, 220, 221, 222 }, { 218, 219, 221 }, { 217, 220, 222 } ], [ { 219, 224, 225 }, { 219, 223, 225 }, { 219, 223, 224 }, { 223, 224, 225 } ], [ { 227, 228, 229 }, { 226, 228, 229 }, { 226, 227, 229 }, { 226, 227, 228 } ], [ { 229, 230, 231 }, { 228, 229, 231 }, { 228, 230, 231 }, { 228, 229, 230 } ], [ { 218, 233, 234 }, { 232, 233, 234 }, { 218, 232, 234 }, { 218, 232, 233 } ], [ { 234, 235, 236 }, { 218, 234, 236 }, { 218, 235, 236 }, { 218, 234, 235 } ], [ { 200, 238, 239 }, { 200, 237, 239 }, { 237, 238, 239 }, { 200, 237, 238 } ], [ { 200, 240, 241 }, { 237, 240, 241 }, { 200, 237, 241 }, { 200, 237, 240 } ], [ { 243, 244, 245 }, { 242, 244, 245 }, { 242, 243, 245 }, { 242, 243, 244 } ], [ { 33, 246, 247 }, { 30, 33, 247 }, { 30, 33, 246 }, { 30, 246, 247 } ], [ { 246, 248, 249 }, { 38, 248, 249, 250 }, { 38, 246, 247, 248 }, { 246, 247, 249, 250 }, { 38, 247, 250 } ], [ { 225, 252, 253 }, { 225, 251, 253 }, { 251, 252, 253 }, { 225, 251, 252 } ], [ { 225, 254, 255 }, { 251, 254, 255 }, { 225, 251, 255 }, { 225, 251, 254 } ], [ { 256, 257, 258 }, { 41, 257, 258 }, { 41, 256, 258 }, { 41, 256, 257 } ], [ { 260, 261, 262 }, { 259, 260, 262 }, { 259, 260, 261, 263 }, { 261, 262, 263 }, { 259, 262, 263 } ], [ { 264, 265, 266, 267 }, { 260, 265, 266 }, { 260, 264, 265 }, { 260, 266, 267 }, { 260, 264, 267 } ], [ { 269, 270, 271 }, { 268, 270, 271 }, { 268, 269, 271 }, { 268, 269, 270 } ], [ { 273, 274, 275 }, { 272, 274, 275 }, { 272, 273, 275 }, { 272, 273, 274 } ], [ { 277, 278, 279 }, { 276, 278, 279 }, { 276, 277, 279 }, { 276, 277, 278 } ], [ { 280, 281, 282 }, { 277, 281, 282 }, { 277, 280, 282 }, { 277, 280, 281 } ], [ { 281, 283, 284 }, { 280, 283, 284 }, { 280, 281, 284 }, { 280, 281, 283 } ], [ { 53, 285, 286 }, { 276, 285, 286 }, { 53, 276, 286 }, { 53, 276, 285 } ], [ { 287, 288, 289 }, { 276, 288, 289 }, { 276, 287, 289 }, { 276, 287, 288 } ], [ { 291, 292, 293 }, { 290, 292, 293 }, { 290, 291, 293 }, { 290, 291, 292 } ], [ { 280, 292, 294 }, { 291, 292, 294 }, { 280, 291, 294 }, { 280, 291, 292 } ], [ { 296, 297, 298 }, { 295, 297, 298 }, { 295, 296, 298 }, { 295, 296, 297 } ], [ { 280, 297, 299 }, { 295, 297, 299 }, { 280, 295, 299 }, { 280, 295, 297 } ], [ { 280, 297, 300 }, { 296, 297, 300 }, { 280, 296, 300 }, { 280, 296, 297 } ], [ { 295, 301, 302 }, { 290, 301, 302 }, { 290, 295, 302 }, { 290, 295, 301 } ], [ { 280, 302, 303 }, { 295, 302, 303 }, { 280, 295, 302 }, { 280, 295, 303 } ], [ { 305, 306, 307 }, { 304, 306, 307 }, { 304, 305, 307 }, { 304, 305, 306 } ], [ { 14, 15, 16 }, { 15, 16, 305 }, { 14, 16, 305 }, { 14, 15, 305 } ], [ { 14, 309, 310 }, { 14, 308, 310 }, { 308, 309, 310 }, { 14, 308, 309 } ], [ { 273, 311, 312 }, { 272, 273, 312 }, { 272, 311, 312 }, { 272, 273, 311 } ], [ { 19, 20, 313 }, { 18, 20, 313 }, { 18, 19, 20 }, { 18, 19, 313 } ], [ { 313, 315, 316 }, { 313, 314, 316 }, { 314, 315, 316 }, { 313, 314, 315 } ], [ { 19, 318, 319 }, { 19, 317, 319 }, { 19, 317, 318, 320 }, { 317, 319, 320 }, { 318, 319, 320 } ], [ { 315, 319, 321 }, { 317, 319, 321 }, { 315, 317, 321 }, { 315, 317, 319 } ], [ { 315, 316, 319 }, { 19, 316, 319 }, { 19, 315, 316 }, { 19, 315, 319 } ], [ { 19, 322, 323 }, { 19, 317, 323 }, { 317, 322, 323 }, { 19, 317, 322 } ], [ { 325, 326, 327 }, { 324, 326, 327 }, { 324, 325, 327 }, { 324, 325, 326 } ], [ { 329, 330, 331 }, { 328, 330, 331 }, { 328, 329, 331 }, { 328, 329, 330 } ], [ { 27, 333, 334 }, { 27, 332, 334 }, { 332, 333, 334 }, { 27, 332, 333 } ], [ { 23, 24, 27 }, { 22, 24, 27 }, { 22, 23, 27 }, { 22, 23, 24 } ], [ { 27, 29, 333 }, { 24, 27, 29 }, { 24, 29, 333 }, { 24, 27, 333 } ], [ { 23, 336, 337 }, { 335, 336, 337 }, { 23, 335, 337 }, { 23, 335, 336 } ], [ { 336, 338, 339 }, { 335, 336, 339 }, { 335, 336, 338 }, { 335, 338, 339 } ], [ { 338, 340, 341 }, { 335, 338, 341 }, { 335, 340, 341 }, { 335, 338, 340 } ], [ { 342, 343, 344 }, { 23, 343, 344 }, { 23, 342, 344 }, { 23, 342, 343 } ], [ { 343, 345, 346 }, { 23, 343, 346 }, { 23, 343, 345 }, { 23, 345, 346 } ], [ { 23, 27, 347 }, { 22, 27, 347 }, { 22, 23, 347 }, { 22, 23, 27 } ], [ { 23, 347, 349 }, { 347, 348, 349 }, { 23, 348, 349 }, { 23, 347, 348 } ], [ { 347, 350, 352 }, { 350, 351, 352 }, { 347, 349, 350, 351 }, { 349, 351, 352 }, { 347, 349, 352 } ], [ { 345, 351, 353 }, { 350, 351, 353 }, { 345, 350, 353 }, { 345, 350, 351 } ], [ { 345, 346, 351 }, { 23, 345, 346 }, { 23, 345, 349, 351 }, { 23, 346, 349 }, { 346, 349, 351 } ], [ { 354, 355, 356 }, { 38, 355, 356 }, { 38, 354, 356 }, { 38, 354, 355 } ], [ { 34, 36, 358 }, { 36, 357, 358 }, { 34, 36, 357 }, { 34, 357, 358 } ], [ { 36, 37, 358, 359 }, { 357, 358, 359 }, { 37, 357, 359 }, { 36, 357, 358 }, { 36, 37, 357 } ], [ { 37, 38, 359 }, { 38, 357, 359 }, { 37, 357, 359 }, { 37, 38, 357 } ], [ { 31, 32, 360 }, { 30, 32, 360 }, { 30, 31, 32 }, { 30, 31, 360 } ], [ { 31, 360, 361 }, { 34, 360, 361 }, { 31, 34, 360 }, { 31, 34, 361 } ], [ { 31, 38, 247 }, { 30, 31, 247 }, { 30, 38, 247 }, { 30, 31, 38 } ], [ { 31, 34, 38 }, { 31, 37, 38 }, { 34, 36, 37, 38 }, { 31, 36, 37 }, { 31, 34, 36 } ], [ { 41, 43, 362 }, { 40, 43, 362 }, { 40, 41, 43 }, { 40, 41, 362 } ], [ { 362, 363, 364 }, { 40, 362, 364 }, { 40, 363, 364 }, { 40, 362, 363 } ], [ { 362, 363, 366 }, { 362, 365, 366 }, { 363, 365, 366 }, { 362, 363, 365 } ], [ { 368, 369, 370 }, { 367, 369, 370 }, { 367, 368, 370 }, { 367, 368, 369 } ], [ { 44, 46, 371 }, { 46, 368, 371 }, { 44, 46, 368 }, { 44, 368, 371 } ], [ { 373, 374, 375 }, { 372, 374, 375 }, { 372, 373, 375 }, { 372, 373, 374 } ], [ { 45, 46, 374 }, { 44, 46, 374 }, { 44, 45, 374 }, { 44, 45, 46 } ], [ { 376, 377, 378 }, { 369, 377, 378 }, { 369, 376, 378 }, { 369, 376, 377 } ], [ { 373, 377, 378 }, { 377, 378, 379 }, { 373, 378, 379 }, { 373, 377, 379 } ], [ { 373, 380, 381 }, { 60, 380, 381 }, { 60, 373, 381 }, { 60, 373, 380 } ], [ { 382, 383, 384 }, { 44, 383, 384 }, { 44, 382, 384 }, { 44, 382, 383 } ], [ { 383, 385, 386 }, { 382, 383, 386 }, { 382, 383, 385 }, { 382, 385, 386 } ], [ { 335, 388, 389 }, { 387, 388, 389 }, { 335, 387, 389 }, { 335, 387, 388 } ], [ { 48, 49, 51 }, { 44, 49, 51 }, { 44, 48, 51 }, { 44, 48, 49 } ], [ { 49, 390, 391 }, { 44, 49, 391 }, { 44, 390, 391 }, { 44, 49, 390 } ], [ { 48, 49, 391 }, { 49, 391, 392 }, { 48, 391, 392 }, { 48, 49, 392 } ], [ { 48, 393, 394 }, { 44, 393, 394 }, { 44, 48, 394 }, { 44, 48, 393 } ], [ { 48, 385, 393 }, { 48, 393, 395 }, { 385, 393, 395 }, { 48, 385, 395 } ], [ { 397, 398, 399 }, { 396, 398, 399 }, { 396, 397, 399 }, { 396, 397, 398 } ], [ { 53, 286, 401 }, { 286, 400, 401 }, { 53, 286, 400 }, { 53, 400, 401 } ], [ { 53, 403, 404 }, { 53, 402, 404 }, { 402, 403, 404 }, { 53, 402, 403 } ], [ { 53, 54, 405 }, { 52, 54, 405 }, { 52, 53, 54 }, { 52, 53, 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 } ], [ { 419, 420, 421 }, { 418, 420, 421 }, { 418, 419, 421 }, { 418, 419, 420 } ], [ { 423, 424, 425 }, { 422, 424, 425 }, { 422, 423, 425 }, { 422, 423, 424 } ], [ { 427, 428, 429 }, { 426, 428, 429 }, { 426, 427, 429 }, { 426, 427, 428 } ], [ { 56, 381, 430 }, { 60, 381, 430 }, { 56, 60, 381 }, { 56, 60, 430 } ], [ { 58, 59, 430 }, { 56, 58, 59 }, { 56, 59, 430 }, { 56, 58, 430 } ], [ { 60, 432, 433 }, { 431, 432, 433 }, { 60, 431, 433 }, { 60, 431, 432 } ], [ { 61, 62, 434 }, { 60, 61, 62 }, { 60, 62, 434 }, { 60, 61, 434 } ], [ { 436, 437, 438 }, { 435, 437, 438 }, { 435, 436, 438 }, { 435, 436, 437 } ], [ { 435, 439, 440 }, { 64, 435, 440 }, { 64, 437, 439, 440 }, { 435, 437, 439 }, { 64, 435, 437 } ], [ { 66, 441, 442 }, { 64, 441, 442 }, { 64, 66, 442 }, { 64, 66, 441 } ], [ { 66, 67, 443 }, { 64, 67, 443 }, { 64, 66, 67 }, { 64, 66, 443 } ], [ { 435, 443, 444 }, { 64, 435, 443 }, { 64, 435, 444 }, { 64, 443, 444 } ], [ { 445, 446, 447 }, { 406, 446, 447 }, { 406, 445, 447 }, { 406, 445, 446 } ], [ { 449, 450, 451 }, { 448, 450, 451 }, { 448, 449, 451 }, { 448, 449, 450 } ], [ { 448, 452, 453 }, { 444, 452, 453 }, { 444, 448, 453 }, { 444, 448, 452 } ], [ { 454, 455, 456 }, { 68, 455, 456 }, { 68, 454, 456 }, { 68, 454, 455 } ], [ { 70, 454, 456 }, { 68, 70, 456 }, { 68, 70, 454 }, { 68, 454, 456 } ], [ { 70, 71, 194 }, { 68, 70, 71 }, { 68, 71, 194 }, { 68, 70, 194 } ], [ { 457, 458, 459 }, { 68, 458, 459 }, { 68, 457, 459 }, { 68, 457, 458 } ], [ { 72, 73, 74 }, { 73, 74, 460 }, { 72, 74, 460 }, { 72, 73, 460 } ], [ { 74, 461, 462 }, { 73, 74, 462 }, { 73, 461, 462 }, { 73, 74, 461 } ], [ { 463, 464, 465 }, { 74, 464, 465 }, { 74, 463, 465 }, { 74, 463, 464 } ], [ { 74, 462, 466 }, { 74, 461, 462 }, { 461, 462, 466 }, { 74, 461, 466 } ], [ { 77, 78, 467 }, { 76, 78, 467 }, { 76, 77, 467 }, { 76, 77, 78 } ], [ { 80, 81, 83 }, { 81, 83, 468 }, { 80, 83, 468 }, { 80, 81, 468 } ], [ { 467, 469, 470 }, { 76, 467, 470 }, { 76, 467, 469 }, { 76, 469, 470 } ], [ { 81, 471, 472 }, { 81, 468, 472 }, { 468, 471, 472 }, { 81, 468, 471 } ], [ { 85, 86, 88 }, { 84, 86, 88 }, { 84, 85, 88 }, { 84, 85, 86 } ], [ { 88, 473, 474 }, { 84, 473, 474 }, { 84, 88, 474 }, { 84, 88, 473 } ], [ { 95, 475, 476 }, { 90, 475, 476 }, { 90, 95, 476 }, { 90, 95, 475 } ], [ { 91, 93, 95 }, { 90, 93, 95 }, { 90, 91, 93 }, { 90, 91, 95 } ], [ { 478, 479, 480 }, { 477, 479, 480 }, { 477, 478, 480 }, { 477, 478, 479 } ], [ { 477, 482, 483 }, { 481, 482, 483 }, { 477, 481, 483 }, { 477, 481, 482 } ], [ { 485, 486, 487 }, { 484, 486, 487, 488 }, { 484, 485, 487 }, { 485, 486, 488 }, { 484, 485, 488 } ], [ { 490, 491, 492 }, { 489, 491, 492 }, { 489, 490, 492 }, { 489, 490, 491 } ], [ { 98, 491, 493 }, { 98, 489, 493 }, { 489, 491, 493 }, { 98, 489, 491 } ], [ { 98, 493, 494 }, { 489, 493, 494 }, { 98, 489, 494 }, { 98, 489, 493 } ], [ { 97, 98, 495 }, { 98, 495, 496 }, { 97, 99, 495, 496 }, { 98, 99, 496 }, { 97, 98, 99 } ], [ { 98, 497, 498 }, { 98, 495, 498 }, { 495, 497, 498 }, { 98, 495, 497 } ], [ { 500, 501, 502 }, { 499, 501, 502 }, { 499, 500, 502 }, { 499, 500, 501 } ], [ { 500, 501, 503 }, { 499, 501, 503 }, { 499, 500, 503 }, { 499, 500, 501 } ], [ { 504, 505, 506 }, { 499, 505, 506 }, { 499, 504, 506 }, { 499, 504, 505 } ], [ { 504, 505, 507 }, { 499, 505, 507 }, { 499, 504, 507 }, { 499, 504, 505 } ], [ { 509, 510, 511 }, { 508, 510, 511 }, { 508, 509, 511 }, { 508, 509, 510 } ], [ { 512, 513, 514 }, { 124, 513, 514 }, { 124, 512, 514 }, { 124, 512, 513 } ], [ { 509, 512, 513 }, { 512, 513, 515 }, { 509, 513, 515 }, { 509, 512, 515 } ], [ { 124, 125, 516 }, { 122, 125, 516 }, { 122, 124, 516 }, { 122, 124, 125 } ], [ { 518, 519, 520 }, { 517, 519, 520 }, { 517, 518, 520 }, { 517, 518, 519 } ], [ { 518, 521, 522 }, { 517, 518, 522 }, { 517, 521, 522 }, { 517, 518, 521 } ], [ { 102, 103, 523 }, { 100, 102, 103 }, { 100, 103, 523 }, { 100, 102, 523 } ], [ { 102, 524, 525 }, { 100, 102, 525 }, { 100, 524, 525 }, { 100, 102, 524 } ], [ { 524, 525, 526, 527 }, { 100, 524, 525 }, { 100, 524, 526 }, { 100, 526, 527 }, { 100, 525, 527 } ], [ { 104, 105, 528 }, { 100, 105, 528 }, { 100, 104, 528 }, { 100, 104, 105 } ], [ { 105, 526, 527 }, { 100, 526, 527 }, { 100, 105, 527 }, { 100, 105, 526 } ], [ { 108, 110, 116 }, { 107, 110, 116 }, { 107, 108, 110 }, { 107, 108, 116 } ], [ { 108, 111, 529 }, { 107, 108, 529 }, { 107, 111, 529 }, { 107, 108, 111 } ], [ { 108, 115, 116 }, { 108, 113, 116 }, { 113, 115, 116 }, { 108, 113, 115 } ], [ { 118, 119, 125 }, { 107, 119, 125 }, { 107, 118, 119 }, { 107, 118, 125 } ], [ { 118, 120, 530 }, { 107, 118, 530 }, { 107, 120, 530 }, { 107, 118, 120 } ], [ { 118, 124, 125 }, { 118, 123, 125 }, { 123, 124, 125 }, { 118, 123, 124 } ], [ { 532, 533, 534 }, { 531, 533, 534 }, { 531, 532, 534 }, { 531, 532, 533 } ], [ { 532, 535, 536 }, { 531, 535, 536 }, { 531, 532, 536 }, { 531, 532, 535 } ], [ { 538, 539, 540 }, { 537, 539, 540 }, { 537, 538, 540 }, { 537, 538, 539 } ], [ { 541, 542, 543 }, { 537, 542, 543 }, { 537, 541, 543 }, { 537, 541, 542 } ], [ { 126, 128, 129 }, { 128, 129, 538 }, { 126, 129, 538 }, { 126, 128, 538 } ], [ { 126, 128, 545 }, { 128, 544, 545 }, { 126, 544, 545 }, { 126, 128, 544 } ], [ { 546, 547, 548 }, { 126, 547, 548 }, { 126, 546, 548 }, { 126, 546, 547 } ], [ { 130, 550, 552 }, { 130, 549, 552 }, { 130, 549, 550, 551 }, { 550, 551, 552 }, { 549, 551, 552 } ], [ { 552, 553, 554 }, { 130, 552, 554 }, { 130, 552, 553 }, { 130, 553, 554 } ], [ { 547, 555, 556 }, { 547, 554, 556, 557 }, { 547, 554, 555 }, { 555, 556, 557 }, { 554, 555, 557 } ], [ { 130, 131, 133 }, { 131, 133, 542 }, { 130, 133, 542 }, { 130, 131, 542 } ], [ { 130, 131, 559 }, { 131, 558, 559 }, { 130, 558, 559 }, { 130, 131, 558 } ], [ { 134, 135, 136 }, { 135, 136, 143 }, { 134, 136, 143 }, { 134, 135, 143 } ], [ { 140, 561, 562, 563 }, { 560, 561, 563, 564 }, { 560, 561, 562 }, { 140, 560, 562, 564 }, { 140, 563, 564 } ], [ { 563, 564, 566 }, { 564, 565, 566 }, { 563, 564, 565 }, { 563, 565, 566 } ], [ { 138, 139, 140 }, { 139, 140, 564, 565 }, { 138, 139, 565, 567 }, { 138, 140, 564, 567 }, { 564, 565, 567 } ], [ { 140, 563, 568 }, { 139, 140, 568 }, { 139, 563, 568 }, { 139, 140, 563 } ], [ { 143, 144, 148 }, { 144, 148, 149 }, { 143, 145, 148, 149 }, { 144, 145, 149 }, { 143, 144, 145 } ], [ { 150, 151, 153 }, { 151, 153, 569 }, { 150, 153, 569 }, { 150, 151, 569 } ], [ { 167, 168, 571 }, { 168, 570, 571 }, { 167, 168, 570 }, { 167, 570, 571 } ], [ { 572, 573, 574 }, { 570, 573, 574 }, { 570, 572, 574 }, { 570, 572, 573 } ], [ { 573, 576, 577 }, { 575, 576, 577 }, { 573, 574, 575, 576 }, { 574, 575, 577 }, { 573, 574, 577 } ], [ { 570, 578, 579 }, { 575, 578, 579 }, { 570, 574, 575, 578 }, { 570, 574, 579 }, { 574, 575, 579 } ], [ { 576, 578, 580 }, { 575, 576, 580 }, { 575, 578, 580 }, { 575, 576, 578 } ], [ { 179, 578, 581 }, { 167, 179, 581 }, { 167, 179, 578 }, { 167, 578, 581 } ], [ { 154, 155, 156, 157 }, { 154, 156, 582 }, { 154, 155, 582 }, { 156, 157, 582 }, { 155, 157, 582 } ], [ { 159, 161, 162 }, { 154, 159, 161 }, { 154, 156, 161, 162 }, { 156, 159, 162 }, { 154, 156, 159 } ], [ { 582, 584, 585 }, { 583, 584, 585, 586 }, { 582, 583, 585 }, { 582, 584, 586 }, { 582, 583, 586 } ], [ { 167, 168, 570 }, { 165, 167, 168 }, { 165, 168, 570 }, { 165, 167, 570 } ], [ { 170, 171, 570 }, { 165, 170, 171 }, { 165, 171, 570 }, { 165, 170, 570 } ], [ { 170, 171, 587 }, { 170, 171, 570 }, { 171, 570, 587 }, { 170, 570, 587 } ], [ { 587, 589, 590 }, { 587, 588, 590 }, { 587, 588, 589 }, { 588, 589, 590 } ], [ { 2, 5, 7, 591 }, { 2, 7, 172 }, { 7, 172, 591 }, { 5, 172, 591 }, { 2, 5, 172 } ], [ { 173, 174, 183 }, { 174, 183, 184 }, { 173, 175, 183, 184 }, { 173, 174, 175 }, { 174, 175, 184 } ], [ { 177, 179, 578 }, { 167, 177, 179 }, { 167, 179, 578 }, { 167, 177, 578 } ], [ { 177, 181, 578 }, { 177, 180, 181 }, { 180, 181, 578 }, { 177, 180, 578 } ], [ { 174, 185, 592 }, { 174, 183, 185 }, { 174, 183, 592 }, { 183, 185, 592 } ], [ { 181, 578, 592 }, { 180, 181, 592 }, { 180, 181, 578 }, { 180, 578, 592 } ], [ { 186, 594, 595 }, { 186, 593, 595 }, { 186, 593, 594 }, { 593, 594, 595 } ], [ { 186, 188, 189 }, { 188, 189, 596 }, { 186, 189, 596 }, { 186, 188, 596 } ], [ { 186, 597, 598 }, { 186, 595, 598 }, { 595, 597, 598 }, { 186, 595, 597 } ], [ { 187, 188, 598 }, { 186, 188, 598 }, { 186, 187, 598 }, { 186, 187, 188 } ], [ { 599, 600, 601 }, { 588, 600, 601 }, { 588, 599, 601 }, { 588, 599, 600 } ], [ { 8, 11, 190 }, { 7, 8, 190 }, { 7, 8, 11 }, { 7, 11, 190 } ], [ { 599, 600, 602 }, { 588, 600, 602 }, { 588, 599, 602 }, { 588, 599, 600 } ], [ { 11, 602, 603 }, { 11, 588, 602 }, { 11, 588, 603 }, { 588, 602, 603 } ], [ { 11, 190, 602 }, { 11, 190, 600 }, { 190, 600, 602 }, { 11, 600, 602 } ], [ { 190, 600, 604 }, { 7, 190, 600 }, { 7, 190, 604 }, { 7, 600, 604 } ], [ { 172, 183, 604 }, { 7, 172, 183 }, { 7, 172, 604 }, { 7, 183, 604 } ], [ { 183, 600, 605 }, { 183, 604, 605 }, { 600, 604, 605 }, { 183, 600, 604 } ], [ { 183, 600, 605 }, { 183, 605, 606 }, { 600, 605, 606 }, { 183, 600, 606 } ], [ { 194, 456, 608 }, { 194, 607, 608 }, { 456, 607, 608 }, { 194, 456, 607 } ], [ { 194, 607, 610 }, { 194, 609, 610 }, { 607, 609, 610 }, { 194, 607, 609 } ], [ { 194, 195, 610 }, { 193, 195, 610 }, { 193, 194, 610 }, { 193, 194, 195 } ], [ { 195, 196, 611 }, { 194, 196, 611 }, { 194, 195, 611 }, { 194, 195, 196 } ], [ { 238, 613, 614 }, { 612, 613, 614 }, { 238, 612, 614 }, { 238, 612, 613 } ], [ { 616, 617, 618 }, { 615, 617, 618 }, { 615, 616, 618 }, { 615, 616, 617 } ], [ { 199, 200, 613 }, { 200, 207, 613 }, { 199, 207, 613 }, { 199, 200, 207 } ], [ { 198, 199, 200 }, { 199, 200, 616 }, { 198, 200, 616 }, { 198, 199, 616 } ], [ { 207, 620, 621 }, { 619, 620, 621 }, { 207, 619, 621 }, { 207, 619, 620 } ], [ { 623, 624, 625 }, { 622, 624, 625 }, { 622, 623, 625 }, { 622, 623, 624 } ], [ { 202, 203, 626 }, { 201, 203, 626 }, { 201, 202, 626 }, { 201, 202, 203 } ], [ { 628, 629, 631 }, { 627, 628, 631, 632 }, { 627, 628, 629, 630 }, { 629, 630, 631, 632 }, { 627, 630, 632 } ], [ { 627, 632, 634 }, { 632, 633, 634 }, { 627, 633, 634 }, { 627, 632, 633 } ], [ { 628, 631, 635 }, { 631, 633, 635 }, { 628, 633, 635 }, { 628, 631, 633 } ], [ { 635, 636, 637 }, { 633, 635, 637 }, { 633, 635, 636 }, { 633, 636, 637 } ], [ { 635, 636, 638 }, { 628, 635, 638 }, { 628, 635, 636 }, { 628, 636, 638 } ], [ { 203, 206, 628 }, { 201, 206, 628 }, { 201, 203, 628 }, { 201, 203, 206 } ], [ { 640, 641, 642, 643 }, { 639, 641, 642 }, { 639, 640, 641 }, { 639, 642, 643 }, { 639, 640, 643 } ], [ { 627, 628, 629, 630 }, { 628, 629, 639, 644 }, { 627, 628, 639 }, { 627, 630, 639, 644 }, { 629, 630, 644 } ], [ { 627, 640, 643 }, { 639, 640, 643 }, { 627, 639, 643 }, { 627, 639, 640 } ], [ { 212, 640, 645 }, { 627, 640, 645 }, { 212, 627, 645 }, { 212, 627, 640 } ], [ { 208, 209, 623 }, { 207, 209, 623 }, { 207, 208, 209 }, { 207, 208, 623 } ], [ { 209, 212, 627 }, { 207, 212, 627 }, { 207, 209, 212 }, { 207, 209, 627 } ], [ { 634, 636, 646 }, { 627, 634, 646 }, { 627, 634, 636 }, { 627, 636, 646 } ], [ { 213, 214, 647 }, { 214, 252, 647 }, { 213, 252, 647 }, { 213, 214, 252 } ], [ { 201, 214, 649 }, { 214, 648, 649 }, { 201, 648, 649 }, { 201, 214, 648 } ], [ { 201, 619, 651 }, { 201, 619, 649, 650 }, { 619, 650, 651, 652 }, { 201, 649, 651, 652 }, { 649, 650, 652 } ], [ { 213, 214, 619 }, { 214, 619, 650 }, { 213, 215, 619, 650 }, { 214, 215, 650 }, { 213, 214, 215 } ], [ { 38, 654, 655 }, { 38, 653, 655 }, { 653, 654, 655 }, { 38, 653, 654 } ], [ { 217, 218, 219, 222 }, { 218, 219, 653 }, { 217, 218, 653 }, { 217, 222, 653 }, { 219, 222, 653 } ], [ { 38, 224, 654 }, { 38, 224, 653 }, { 224, 653, 654 }, { 38, 653, 654 } ], [ { 219, 222, 224 }, { 219, 222, 653 }, { 222, 224, 653 }, { 219, 224, 653 } ], [ { 214, 219, 225 }, { 201, 214, 219 }, { 201, 214, 225 }, { 201, 219, 225 } ], [ { 219, 224, 225 }, { 38, 219, 225 }, { 38, 219, 224 }, { 38, 224, 225 } ], [ { 657, 658, 659 }, { 656, 658, 659 }, { 656, 657, 659 }, { 656, 657, 658 } ], [ { 661, 662, 663 }, { 660, 662, 663 }, { 660, 661, 663 }, { 660, 661, 662 } ], [ { 234, 235, 664 }, { 232, 234, 235 }, { 232, 234, 664 }, { 232, 235, 664 } ], [ { 229, 230, 664 }, { 227, 229, 230 }, { 227, 229, 664 }, { 227, 230, 664 } ], [ { 228, 229, 230 }, { 227, 229, 230 }, { 227, 228, 229 }, { 227, 228, 230 } ], [ { 218, 234, 235 }, { 232, 234, 235 }, { 218, 232, 234 }, { 218, 232, 235 } ], [ { 662, 666, 667 }, { 665, 666, 667 }, { 662, 665, 667 }, { 662, 665, 666 } ], [ { 200, 238, 240 }, { 200, 237, 240 }, { 237, 238, 240 }, { 200, 237, 238 } ], [ { 198, 200, 240 }, { 200, 240, 616 }, { 198, 240, 616 }, { 198, 200, 616 } ], [ { 669, 670, 671 }, { 668, 670, 671 }, { 668, 669, 671 }, { 668, 669, 670 } ], [ { 672, 673, 674 }, { 243, 673, 674 }, { 243, 672, 674 }, { 243, 672, 673 } ], [ { 244, 245, 673 }, { 243, 244, 245 }, { 243, 245, 673 }, { 243, 244, 673 } ], [ { 38, 246, 247, 248 }, { 30, 246, 248 }, { 30, 38, 248 }, { 30, 38, 247 }, { 30, 246, 247 } ], [ { 225, 252, 254 }, { 225, 251, 254 }, { 251, 252, 254 }, { 225, 251, 252 } ], [ { 224, 225, 254 }, { 38, 225, 254 }, { 38, 224, 254 }, { 38, 224, 225 } ], [ { 675, 676, 677 }, { 619, 676, 677 }, { 619, 675, 677 }, { 619, 675, 676 } ], [ { 668, 670, 676 }, { 619, 670, 676 }, { 619, 668, 670 }, { 619, 668, 676 } ], [ { 675, 676, 679, 680 }, { 670, 675, 676, 678 }, { 675, 678, 679 }, { 670, 678, 679, 680 }, { 670, 676, 680 } ], [ { 682, 683, 684 }, { 681, 683, 684 }, { 681, 682, 684 }, { 681, 682, 683 } ], [ { 213, 685, 686 }, { 619, 685, 686 }, { 213, 619, 686 }, { 213, 619, 685 } ], [ { 675, 678, 687 }, { 619, 675, 678 }, { 619, 678, 687 }, { 619, 675, 687 } ], [ { 685, 687, 688 }, { 619, 685, 688 }, { 619, 687, 688 }, { 619, 685, 687 } ], [ { 678, 685, 689 }, { 685, 687, 689 }, { 678, 687, 689 }, { 678, 685, 687 } ], [ { 685, 690, 691 }, { 678, 690, 691 }, { 678, 685, 691 }, { 678, 685, 690 } ], [ { 682, 693, 694 }, { 692, 693, 694 }, { 682, 692, 694 }, { 682, 692, 693 } ], [ { 682, 690, 695 }, { 690, 692, 695 }, { 682, 692, 695 }, { 682, 690, 692 } ], [ { 696, 697, 698 }, { 365, 697, 698 }, { 365, 696, 698 }, { 365, 696, 697 } ], [ { 41, 696, 699 }, { 365, 696, 699 }, { 41, 365, 699 }, { 41, 365, 696 } ], [ { 257, 258, 696 }, { 41, 258, 696 }, { 41, 257, 258 }, { 41, 257, 696 } ], [ { 700, 701, 702 }, { 30, 701, 702 }, { 30, 700, 702 }, { 30, 700, 701 } ], [ { 439, 440, 703, 704 }, { 64, 440, 703 }, { 64, 437, 439, 440 }, { 64, 437, 703, 704 }, { 437, 439, 704 } ], [ { 260, 261, 705, 706 }, { 259, 263, 705, 706 }, { 259, 260, 705 }, { 259, 260, 261, 263 }, { 261, 263, 706 } ], [ { 260, 264, 707 }, { 264, 265, 705, 707 }, { 260, 705, 707 }, { 260, 264, 265 }, { 260, 265, 705 } ], [ { 708, 709, 710 }, { 431, 709, 710 }, { 431, 708, 710 }, { 431, 708, 709 } ], [ { 712, 713, 714 }, { 711, 713, 714 }, { 711, 712, 714 }, { 711, 712, 713 } ], [ { 709, 715, 716 }, { 431, 709, 716 }, { 431, 715, 716 }, { 431, 709, 715 } ], [ { 713, 717, 718 }, { 712, 717, 718 }, { 712, 713, 718 }, { 712, 713, 717 } ], [ { 269, 270, 280 }, { 268, 270, 280 }, { 268, 269, 270 }, { 268, 269, 280 } ], [ { 269, 719, 720 }, { 268, 719, 720 }, { 268, 269, 720 }, { 268, 269, 719 } ], [ { 273, 274, 721 }, { 272, 274, 721 }, { 272, 273, 721 }, { 272, 273, 274 } ], [ { 273, 312, 721 }, { 304, 312, 721 }, { 273, 304, 312 }, { 273, 304, 721 } ], [ { 276, 723, 724 }, { 722, 723, 724 }, { 276, 722, 724 }, { 276, 722, 723 } ], [ { 277, 279, 725 }, { 276, 277, 279 }, { 276, 279, 725 }, { 276, 277, 725 } ], [ { 725, 726, 727 }, { 276, 726, 727 }, { 276, 725, 727 }, { 276, 725, 726 } ], [ { 277, 726, 728 }, { 725, 726, 728 }, { 277, 725, 728 }, { 277, 725, 726 } ], [ { 268, 277, 724 }, { 276, 277, 724 }, { 268, 276, 724 }, { 268, 276, 277 } ], [ { 277, 280, 282 }, { 268, 280, 282 }, { 268, 277, 282 }, { 268, 277, 280 } ], [ { 283, 726, 728 }, { 277, 283, 728 }, { 277, 726, 728 }, { 277, 283, 726 } ], [ { 280, 281, 283 }, { 277, 281, 283 }, { 277, 280, 283 }, { 277, 280, 281 } ], [ { 276, 722, 729 }, { 276, 400, 729 }, { 400, 722, 729 }, { 276, 400, 722 } ], [ { 53, 276, 286 }, { 53, 286, 400 }, { 276, 286, 400 }, { 53, 276, 400 } ], [ { 287, 288, 726 }, { 276, 287, 288 }, { 276, 288, 726 }, { 276, 287, 726 } ], [ { 53, 288, 730 }, { 276, 288, 730 }, { 53, 276, 288 }, { 53, 276, 730 } ], [ { 280, 291, 292 }, { 280, 290, 292 }, { 290, 291, 292 }, { 280, 290, 291 } ], [ { 280, 283, 726 }, { 280, 283, 291 }, { 283, 291, 726 }, { 280, 291, 726 } ], [ { 305, 731, 732 }, { 304, 305, 732 }, { 304, 731, 732 }, { 304, 305, 731 } ], [ { 305, 733, 734 }, { 305, 731, 734 }, { 731, 733, 734 }, { 305, 731, 733 } ], [ { 280, 296, 297 }, { 280, 295, 297 }, { 295, 296, 297 }, { 280, 295, 296 } ], [ { 296, 305, 735 }, { 295, 305, 735 }, { 295, 296, 735 }, { 295, 296, 305 } ], [ { 280, 305, 734 }, { 296, 305, 734 }, { 280, 296, 734 }, { 280, 296, 305 } ], [ { 280, 295, 302 }, { 280, 290, 302 }, { 290, 295, 302 }, { 280, 290, 295 } ], [ { 295, 736, 737 }, { 290, 736, 737 }, { 290, 295, 737 }, { 290, 295, 736 } ], [ { 736, 737, 738 }, { 290, 736, 737 }, { 290, 737, 738 }, { 290, 736, 738 } ], [ { 305, 307, 739 }, { 304, 307, 739 }, { 304, 305, 739 }, { 304, 305, 307 } ], [ { 16, 305, 739 }, { 16, 309, 739 }, { 305, 309, 739 }, { 16, 305, 309 } ], [ { 309, 739, 740 }, { 304, 309, 739 }, { 304, 739, 740 }, { 304, 309, 740 } ], [ { 14, 16, 305 }, { 14, 16, 309 }, { 16, 305, 309 }, { 14, 305, 309 } ], [ { 14, 310, 741 }, { 14, 309, 310 }, { 309, 310, 741 }, { 14, 309, 741 } ], [ { 273, 304, 312 }, { 272, 273, 312 }, { 272, 304, 312 }, { 272, 273, 304 } ], [ { 272, 311, 312 }, { 311, 312, 742 }, { 272, 312, 742 }, { 272, 311, 742 } ], [ { 18, 19, 313 }, { 19, 313, 324 }, { 18, 313, 324 }, { 18, 19, 324 } ], [ { 313, 315, 316 }, { 19, 313, 316 }, { 19, 315, 316 }, { 19, 313, 315 } ], [ { 19, 315, 319 }, { 315, 317, 319 }, { 19, 317, 319 }, { 19, 315, 317 } ], [ { 19, 323, 328 }, { 317, 323, 328 }, { 19, 317, 323 }, { 19, 317, 328 } ], [ { 743, 744, 745 }, { 315, 744, 745 }, { 315, 743, 745 }, { 315, 743, 744 } ], [ { 744, 746, 747 }, { 315, 744, 747 }, { 315, 746, 747 }, { 315, 744, 746 } ], [ { 743, 744, 747 }, { 744, 747, 748 }, { 743, 747, 748, 749 }, { 743, 744, 749 }, { 744, 748, 749 } ], [ { 315, 751, 752 }, { 750, 751, 752 }, { 315, 750, 752 }, { 315, 750, 751 } ], [ { 746, 747, 751 }, { 315, 747, 751 }, { 315, 746, 751 }, { 315, 746, 747 } ], [ { 315, 753, 754 }, { 741, 753, 754 }, { 315, 741, 754 }, { 315, 741, 753 } ], [ { 743, 745, 753 }, { 315, 745, 753 }, { 315, 743, 745 }, { 315, 743, 753 } ], [ { 325, 326, 755 }, { 324, 326, 755 }, { 324, 325, 326 }, { 324, 325, 755 } ], [ { 326, 755, 757 }, { 326, 756, 757 }, { 755, 756, 757 }, { 326, 755, 756 } ], [ { 326, 758, 759 }, { 324, 326, 759 }, { 324, 758, 759 }, { 324, 326, 758 } ], [ { 328, 329, 761 }, { 329, 760, 761 }, { 328, 760, 761 }, { 328, 329, 760 } ], [ { 329, 330, 762 }, { 328, 330, 762 }, { 328, 329, 762 }, { 328, 329, 330 } ], [ { 329, 756, 762 }, { 756, 762, 763 }, { 329, 762, 763 }, { 329, 756, 763 } ], [ { 363, 364, 764 }, { 40, 364, 764 }, { 40, 363, 364 }, { 40, 363, 764 } ], [ { 27, 332, 333 }, { 27, 333, 750 }, { 27, 332, 750 }, { 332, 333, 750 } ], [ { 24, 27, 333 }, { 23, 27, 333 }, { 23, 24, 27 }, { 23, 24, 333 } ], [ { 23, 336, 338 }, { 335, 336, 338 }, { 23, 335, 336 }, { 23, 335, 338 } ], [ { 333, 338, 341 }, { 333, 335, 341 }, { 333, 335, 338 }, { 335, 338, 341 } ], [ { 24, 333, 338 }, { 23, 333, 338 }, { 23, 24, 333 }, { 23, 24, 338 } ], [ { 23, 343, 345 }, { 343, 345, 765 }, { 23, 342, 345, 765 }, { 23, 342, 343 }, { 342, 343, 765 } ], [ { 27, 347, 350, 766 }, { 27, 750, 766 }, { 350, 750, 766 }, { 347, 350, 750 }, { 27, 347, 750 } ], [ { 23, 27, 347 }, { 27, 347, 750 }, { 23, 347, 750 }, { 23, 27, 750 } ], [ { 345, 350, 766 }, { 345, 750, 766 }, { 350, 750, 766 }, { 345, 350, 750 } ], [ { 23, 345, 349, 351 }, { 345, 350, 351 }, { 23, 345, 347, 350 }, { 347, 349, 350, 351 }, { 23, 347, 349 } ], [ { 30, 767, 768 }, { 357, 767, 768 }, { 30, 357, 768 }, { 30, 357, 767 } ], [ { 44, 355, 768 }, { 355, 357, 768 }, { 44, 355, 357 }, { 44, 357, 768 } ], [ { 38, 355, 359 }, { 355, 357, 359 }, { 38, 357, 359 }, { 38, 355, 357 } ], [ { 38, 355, 356 }, { 44, 355, 356 }, { 38, 44, 356 }, { 38, 44, 355 } ], [ { 30, 360, 767 }, { 357, 360, 767 }, { 30, 357, 360 }, { 30, 357, 767 } ], [ { 34, 36, 37, 38 }, { 34, 38, 357 }, { 37, 38, 357 }, { 36, 37, 357 }, { 34, 36, 357 } ], [ { 31, 34, 38 }, { 30, 31, 38 }, { 30, 34, 38, 360 }, { 31, 34, 360 }, { 30, 31, 360 } ], [ { 41, 362, 365 }, { 40, 41, 362 }, { 40, 362, 365 }, { 40, 41, 365 } ], [ { 335, 362, 363 }, { 40, 335, 362 }, { 40, 362, 363 }, { 40, 335, 363 } ], [ { 335, 362, 363 }, { 335, 362, 365 }, { 362, 363, 365 }, { 335, 363, 365 } ], [ { 697, 769, 770 }, { 30, 769, 770 }, { 30, 697, 770 }, { 30, 697, 769 } ], [ { 369, 370, 374 }, { 368, 370, 374 }, { 368, 369, 370 }, { 368, 369, 374 } ], [ { 44, 46, 374 }, { 46, 368, 374 }, { 44, 368, 374 }, { 44, 46, 368 } ], [ { 373, 771, 772 }, { 369, 771, 772 }, { 369, 373, 772 }, { 369, 373, 771 } ], [ { 370, 374, 772 }, { 369, 370, 374 }, { 369, 370, 772 }, { 369, 374, 772 } ], [ { 373, 374, 772 }, { 372, 374, 772 }, { 372, 373, 374 }, { 372, 373, 772 } ], [ { 373, 774, 775 }, { 373, 773, 775 }, { 373, 773, 774 }, { 773, 774, 775 } ], [ { 38, 45, 374 }, { 44, 45, 374 }, { 38, 44, 374 }, { 38, 44, 45 } ], [ { 38, 373, 374 }, { 373, 374, 775 }, { 38, 374, 775 }, { 38, 373, 775 } ], [ { 373, 377, 378 }, { 369, 377, 378 }, { 369, 373, 378 }, { 369, 373, 377 } ], [ { 373, 377, 776 }, { 60, 377, 776 }, { 60, 373, 377 }, { 60, 373, 776 } ], [ { 373, 430, 777 }, { 430, 773, 777 }, { 373, 430, 773 }, { 373, 773, 777 } ], [ { 373, 381, 430 }, { 60, 381, 430 }, { 60, 373, 381 }, { 60, 373, 430 } ], [ { 44, 369, 383 }, { 44, 368, 383 }, { 368, 369, 383 }, { 44, 368, 369 } ], [ { 382, 383, 385 }, { 44, 383, 385 }, { 44, 382, 383 }, { 44, 382, 385 } ], [ { 697, 770, 778 }, { 44, 770, 778 }, { 44, 697, 770 }, { 44, 697, 778 } ], [ { 23, 335, 389 }, { 23, 387, 389 }, { 335, 387, 389 }, { 23, 335, 387 } ], [ { 389, 697, 778 }, { 23, 389, 778 }, { 23, 389, 697 }, { 23, 697, 778 } ], [ { 385, 780, 781 }, { 385, 779, 781 }, { 385, 779, 780 }, { 779, 780, 781 } ], [ { 23, 391, 778 }, { 44, 391, 778 }, { 23, 44, 391 }, { 23, 44, 778 } ], [ { 48, 49, 391 }, { 44, 49, 391 }, { 44, 48, 391 }, { 44, 48, 49 } ], [ { 23, 48, 391 }, { 48, 391, 782 }, { 23, 391, 782 }, { 23, 48, 782 } ], [ { 48, 385, 393 }, { 44, 48, 393 }, { 44, 385, 393 }, { 44, 48, 385 } ], [ { 48, 385, 781 }, { 48, 385, 780 }, { 48, 780, 781 }, { 385, 780, 781 } ], [ { 396, 397, 398 }, { 397, 398, 402 }, { 396, 398, 402 }, { 396, 397, 402 } ], [ { 398, 783, 784 }, { 396, 783, 784 }, { 396, 398, 784 }, { 396, 398, 783 } ], [ { 53, 401, 785 }, { 400, 401, 785 }, { 53, 400, 785 }, { 53, 400, 401 } ], [ { 53, 403, 786 }, { 53, 402, 786 }, { 53, 402, 403 }, { 402, 403, 786 } ], [ { 52, 53, 405 }, { 53, 405, 786 }, { 52, 405, 786 }, { 52, 53, 786 } ], [ { 406, 783, 788 }, { 783, 787, 788 }, { 406, 787, 788 }, { 406, 783, 787 } ], [ { 405, 789, 790 }, { 405, 787, 790 }, { 787, 789, 790 }, { 405, 787, 789 } ], [ { 407, 409, 791 }, { 406, 409, 791 }, { 406, 407, 791 }, { 406, 407, 409 } ], [ { 793, 794, 795 }, { 792, 794, 795 }, { 792, 793, 795 }, { 792, 793, 794 } ], [ { 410, 411, 412 }, { 411, 412, 792 }, { 410, 412, 792 }, { 410, 411, 792 } ], [ { 412, 417, 796 }, { 410, 412, 796 }, { 410, 417, 796 }, { 410, 412, 417 } ], [ { 410, 415, 417 }, { 410, 417, 797 }, { 415, 417, 797 }, { 410, 415, 797 } ], [ { 410, 415, 791 }, { 410, 791, 798 }, { 415, 791, 798 }, { 410, 415, 798 } ], [ { 416, 417, 791 }, { 415, 417, 791 }, { 415, 416, 791 }, { 415, 416, 417 } ], [ { 418, 423, 800 }, { 418, 423, 799 }, { 423, 799, 800 }, { 418, 799, 800 } ], [ { 418, 419, 420 }, { 419, 420, 799 }, { 418, 420, 799 }, { 418, 419, 799 } ], [ { 420, 423, 801 }, { 418, 420, 801 }, { 418, 423, 801 }, { 418, 420, 423 } ], [ { 423, 425, 792 }, { 422, 425, 792 }, { 422, 423, 425 }, { 422, 423, 792 } ], [ { 420, 423, 802 }, { 420, 422, 802 }, { 422, 423, 802 }, { 420, 422, 423 } ], [ { 420, 792, 794 }, { 420, 422, 794 }, { 422, 792, 794 }, { 420, 422, 792 } ], [ { 425, 792, 803 }, { 423, 425, 803 }, { 423, 425, 792 }, { 423, 792, 803 } ], [ { 426, 803, 804 }, { 423, 426, 804 }, { 423, 426, 803 }, { 423, 803, 804 } ], [ { 426, 428, 806 }, { 428, 429, 805, 806 }, { 426, 805, 806 }, { 426, 428, 429 }, { 426, 429, 805 } ], [ { 410, 411, 807 }, { 411, 792, 807 }, { 410, 792, 807 }, { 410, 411, 792 } ], [ { 426, 807, 808 }, { 792, 807, 808 }, { 426, 792, 808 }, { 426, 792, 807 } ], [ { 426, 807, 809 }, { 410, 426, 807 }, { 410, 807, 809 }, { 410, 426, 809 } ], [ { 810, 811, 812 }, { 792, 811, 812 }, { 792, 810, 812 }, { 792, 810, 811 } ], [ { 412, 417, 811 }, { 412, 792, 811 }, { 417, 792, 811 }, { 412, 417, 792 } ], [ { 56, 59, 430 }, { 59, 60, 430 }, { 56, 59, 60 }, { 56, 60, 430 } ], [ { 60, 433, 449 }, { 431, 433, 449 }, { 60, 431, 433 }, { 60, 431, 449 } ], [ { 61, 434, 449 }, { 60, 61, 449 }, { 60, 434, 449 }, { 60, 61, 434 } ], [ { 435, 436, 444 }, { 64, 436, 437, 444 }, { 64, 435, 444 }, { 64, 435, 437 }, { 435, 436, 437 } ], [ { 406, 444, 814 }, { 406, 813, 814, 815 }, { 406, 436, 444, 813 }, { 436, 444, 814, 815 }, { 436, 813, 815 } ], [ { 66, 431, 441 }, { 64, 431, 441 }, { 64, 66, 441 }, { 64, 66, 431 } ], [ { 66, 443, 444 }, { 64, 443, 444 }, { 64, 66, 443 }, { 64, 66, 444 } ], [ { 406, 446, 447 }, { 446, 447, 799 }, { 406, 447, 799 }, { 406, 446, 799 } ], [ { 434, 816, 817 }, { 448, 816, 817 }, { 434, 448, 817 }, { 434, 448, 816 } ], [ { 448, 449, 450 }, { 431, 449, 450, 818 }, { 431, 448, 449 }, { 448, 450, 818 }, { 431, 448, 818 } ], [ { 434, 449, 451 }, { 448, 449, 451 }, { 434, 448, 451 }, { 434, 448, 449 } ], [ { 444, 814, 816 }, { 406, 814, 816 }, { 406, 444, 816 }, { 406, 444, 814 } ], [ { 431, 448, 818 }, { 66, 431, 818, 819 }, { 66, 431, 448 }, { 66, 448, 819 }, { 448, 818, 819 } ], [ { 444, 448, 452 }, { 66, 444, 452, 819 }, { 66, 444, 448 }, { 448, 452, 819 }, { 66, 448, 819 } ], [ { 68, 455, 456 }, { 455, 456, 820 }, { 68, 456, 820 }, { 68, 455, 820 } ], [ { 70, 194, 456 }, { 68, 70, 194 }, { 68, 70, 456 }, { 68, 194, 456 } ], [ { 183, 457, 458 }, { 68, 457, 458 }, { 68, 183, 458 }, { 68, 183, 457 } ], [ { 73, 74, 461 }, { 74, 460, 461 }, { 73, 74, 460 }, { 73, 460, 461 } ], [ { 74, 464, 465 }, { 464, 465, 821 }, { 74, 465, 821 }, { 74, 464, 821 } ], [ { 74, 461, 466 }, { 74, 466, 820 }, { 74, 461, 820 }, { 461, 466, 820 } ], [ { 78, 467, 470 }, { 76, 78, 467 }, { 76, 467, 470 }, { 76, 78, 470 } ], [ { 78, 80, 822, 823 }, { 78, 80, 467, 468 }, { 80, 468, 822 }, { 467, 468, 822, 823 }, { 78, 467, 823 } ], [ { 80, 81, 471 }, { 80, 81, 468 }, { 81, 468, 471 }, { 80, 468, 471 } ], [ { 80, 824, 825 }, { 80, 471, 824 }, { 471, 824, 825, 826 }, { 80, 825, 826 }, { 80, 471, 826 } ], [ { 467, 470, 827 }, { 467, 469, 827 }, { 467, 469, 470 }, { 469, 470, 827 } ], [ { 471, 472, 827 }, { 468, 472, 827 }, { 468, 471, 827 }, { 468, 471, 472 } ], [ { 469, 470, 827 }, { 470, 471, 827 }, { 469, 470, 471, 472 }, { 471, 472, 827 }, { 469, 472, 827 } ], [ { 85, 88, 471 }, { 84, 85, 88 }, { 84, 88, 471 }, { 84, 85, 471 } ], [ { 88, 474, 828 }, { 84, 474, 828 }, { 84, 88, 474 }, { 84, 88, 828 } ], [ { 90, 95, 475 }, { 95, 475, 829 }, { 90, 475, 829 }, { 90, 95, 829 } ], [ { 91, 95, 470 }, { 90, 95, 470 }, { 90, 91, 470 }, { 90, 91, 95 } ], [ { 477, 478, 480 }, { 478, 480, 504 }, { 477, 480, 504 }, { 477, 478, 504 } ], [ { 477, 482, 483 }, { 482, 483, 504 }, { 477, 483, 504 }, { 477, 482, 504 } ], [ { 482, 485, 486 }, { 482, 486, 487, 495 }, { 482, 485, 495 }, { 485, 486, 487 }, { 485, 487, 495 } ], [ { 98, 491, 492 }, { 98, 489, 492 }, { 98, 489, 491 }, { 489, 491, 492 } ], [ { 98, 495, 496 }, { 98, 489, 495 }, { 489, 494, 495, 496 }, { 98, 494, 496 }, { 98, 489, 494 } ], [ { 98, 495, 497 }, { 98, 492, 497 }, { 98, 492, 495 }, { 492, 495, 497 } ], [ { 830, 832, 834 }, { 830, 831, 834, 835 }, { 830, 831, 832, 833 }, { 832, 833, 834, 835 }, { 831, 833, 835 } ], [ { 501, 502, 833 }, { 499, 502, 833 }, { 499, 501, 502 }, { 499, 501, 833 } ], [ { 501, 503, 836 }, { 499, 503, 836 }, { 499, 501, 503 }, { 499, 501, 836 } ], [ { 504, 506, 837 }, { 499, 506, 837 }, { 499, 504, 506 }, { 499, 504, 837 } ], [ { 504, 507, 832 }, { 499, 507, 832 }, { 499, 504, 507 }, { 499, 504, 832 } ], [ { 509, 510, 838 }, { 508, 510, 838 }, { 508, 509, 838 }, { 508, 509, 510 } ], [ { 509, 512, 838 }, { 512, 515, 838 }, { 509, 515, 838 }, { 509, 512, 515 } ], [ { 512, 838, 840 }, { 838, 839, 840 }, { 512, 839, 840 }, { 512, 838, 839 } ], [ { 124, 512, 514 }, { 512, 514, 839 }, { 124, 514, 839 }, { 124, 512, 839 } ], [ { 509, 512, 513 }, { 124, 512, 513 }, { 124, 509, 513 }, { 124, 509, 512 } ], [ { 124, 125, 516 }, { 125, 516, 839 }, { 124, 516, 839 }, { 124, 125, 839 } ], [ { 518, 520, 521 }, { 517, 518, 520 }, { 517, 520, 521 }, { 517, 518, 521 } ], [ { 517, 519, 520 }, { 519, 520, 841 }, { 517, 520, 841 }, { 517, 519, 841 } ], [ { 521, 522, 842 }, { 517, 521, 522 }, { 517, 522, 842 }, { 517, 521, 842 } ], [ { 102, 523, 525 }, { 100, 102, 525 }, { 100, 523, 525 }, { 100, 102, 523 } ], [ { 517, 525, 843 }, { 523, 525, 843 }, { 517, 523, 843 }, { 517, 523, 525 } ], [ { 517, 525, 527 }, { 100, 525, 527 }, { 100, 517, 527 }, { 100, 517, 525 } ], [ { 105, 527, 528 }, { 100, 527, 528 }, { 100, 105, 527 }, { 100, 105, 528 } ], [ { 517, 527, 528 }, { 527, 528, 844 }, { 517, 527, 844 }, { 517, 528, 844 } ], [ { 108, 115, 116 }, { 107, 108, 116 }, { 107, 115, 116 }, { 107, 108, 115 } ], [ { 108, 529, 845 }, { 107, 108, 529 }, { 107, 529, 845 }, { 107, 108, 845 } ], [ { 108, 115, 845 }, { 108, 113, 845 }, { 108, 113, 115 }, { 113, 115, 845 } ], [ { 118, 124, 125 }, { 107, 118, 125 }, { 107, 124, 125 }, { 107, 118, 124 } ], [ { 118, 530, 846 }, { 107, 530, 846 }, { 107, 118, 530 }, { 107, 118, 846 } ], [ { 118, 124, 846 }, { 118, 123, 846 }, { 123, 124, 846 }, { 118, 123, 124 } ], [ { 845, 846, 847 }, { 107, 845, 847 }, { 107, 846, 847 }, { 107, 845, 846 } ], [ { 532, 534, 536 }, { 531, 534, 536 }, { 531, 532, 536 }, { 531, 532, 534 } ], [ { 126, 538, 540 }, { 126, 537, 540 }, { 537, 538, 540 }, { 126, 537, 538 } ], [ { 538, 542, 848, 849 }, { 537, 538, 848 }, { 537, 538, 542 }, { 537, 848, 849 }, { 537, 542, 849 } ], [ { 130, 542, 543 }, { 130, 537, 543 }, { 537, 542, 543 }, { 130, 537, 542 } ], [ { 532, 850, 851 }, { 538, 850, 851 }, { 532, 538, 851 }, { 532, 538, 850 } ], [ { 538, 544, 850 }, { 544, 850, 852 }, { 538, 850, 852 }, { 538, 544, 852 } ], [ { 126, 128, 544 }, { 126, 128, 538 }, { 128, 538, 544 }, { 126, 538, 544 } ], [ { 547, 548, 552, 554 }, { 549, 552, 554 }, { 547, 549, 554 }, { 547, 548, 549 }, { 548, 549, 552 } ], [ { 126, 547, 548 }, { 547, 548, 549 }, { 126, 548, 549 }, { 126, 547, 549 } ], [ { 130, 552, 554 }, { 549, 552, 554 }, { 130, 549, 552 }, { 130, 549, 554 } ], [ { 130, 554, 555 }, { 126, 130, 555 }, { 126, 130, 547, 554 }, { 126, 547, 555 }, { 547, 554, 555 } ], [ { 532, 853, 854 }, { 542, 853, 854 }, { 532, 542, 854 }, { 532, 542, 853 } ], [ { 558, 853, 855 }, { 542, 558, 853 }, { 542, 558, 855 }, { 542, 853, 855 } ], [ { 130, 131, 558 }, { 130, 131, 542 }, { 131, 542, 558 }, { 130, 542, 558 } ], [ { 134, 136, 143 }, { 134, 136, 856 }, { 136, 143, 856 }, { 134, 143, 856 } ], [ { 139, 140, 563 }, { 139, 140, 564, 565 }, { 139, 563, 565 }, { 563, 564, 565 }, { 140, 563, 564 } ], [ { 143, 563, 857 }, { 143, 148, 563 }, { 148, 563, 857 }, { 143, 148, 857 } ], [ { 143, 145, 859 }, { 145, 858, 859 }, { 143, 145, 858 }, { 143, 858, 859 } ], [ { 143, 148, 859, 860 }, { 143, 145, 148, 149 }, { 148, 149, 860 }, { 145, 149, 859, 860 }, { 143, 145, 859 } ], [ { 859, 861, 862 }, { 569, 859, 862 }, { 569, 861, 862 }, { 569, 859, 861 } ], [ { 150, 151, 569 }, { 150, 151, 863 }, { 151, 569, 863 }, { 150, 569, 863 } ], [ { 167, 571, 573 }, { 570, 571, 573 }, { 167, 570, 573 }, { 167, 570, 571 } ], [ { 571, 573, 576, 581 }, { 167, 576, 581 }, { 167, 571, 581 }, { 167, 573, 576 }, { 167, 571, 573 } ], [ { 570, 573, 576, 578 }, { 575, 576, 578 }, { 570, 574, 575, 578 }, { 573, 574, 575, 576 }, { 570, 573, 574 } ], [ { 576, 578, 581 }, { 167, 576, 581 }, { 167, 578, 581 }, { 167, 576, 578 } ], [ { 161, 162, 582 }, { 154, 156, 161, 162 }, { 154, 161, 582 }, { 154, 156, 582 }, { 156, 162, 582 } ], [ { 162, 582, 584 }, { 162, 570, 584 }, { 162, 570, 582 }, { 570, 582, 584 } ], [ { 570, 578, 584, 585 }, { 570, 582, 584 }, { 570, 578, 582 }, { 582, 584, 585 }, { 578, 582, 585 } ], [ { 578, 582, 585 }, { 161, 578, 585 }, { 161, 582, 585 }, { 161, 578, 582 } ], [ { 167, 170, 570 }, { 165, 167, 170 }, { 165, 170, 570 }, { 165, 167, 570 } ], [ { 170, 570, 587 }, { 170, 587, 588 }, { 170, 570, 588 }, { 570, 587, 588 } ], [ { 162, 587, 590 }, { 162, 587, 588 }, { 587, 588, 590 }, { 162, 588, 590 } ], [ { 162, 584, 587 }, { 162, 570, 587 }, { 570, 584, 587 }, { 162, 570, 584 } ], [ { 172, 173, 183 }, { 7, 172, 183 }, { 7, 173, 183, 591 }, { 172, 173, 591 }, { 7, 172, 591 } ], [ { 173, 174, 183 }, { 161, 174, 183 }, { 161, 173, 183, 864 }, { 173, 174, 864 }, { 161, 174, 864 } ], [ { 177, 181, 578 }, { 167, 177, 181 }, { 167, 181, 578 }, { 167, 177, 578 } ], [ { 161, 174, 592 }, { 174, 183, 592 }, { 161, 174, 183 }, { 161, 183, 592 } ], [ { 181, 578, 592 }, { 181, 183, 592 }, { 181, 183, 578 }, { 183, 578, 592 } ], [ { 578, 585, 592 }, { 161, 585, 592 }, { 161, 578, 585 }, { 161, 578, 592 } ], [ { 186, 595, 597 }, { 186, 593, 597 }, { 186, 593, 595 }, { 593, 595, 597 } ], [ { 186, 188, 596 }, { 186, 188, 588 }, { 188, 588, 596 }, { 186, 588, 596 } ], [ { 186, 188, 598 }, { 188, 597, 598 }, { 186, 597, 598 }, { 186, 188, 597 } ], [ { 188, 600, 601 }, { 188, 588, 601 }, { 588, 600, 601 }, { 188, 588, 600 } ], [ { 195, 600, 866, 867 }, { 188, 195, 865, 866 }, { 188, 600, 865, 867 }, { 188, 195, 600 }, { 865, 866, 867 } ], [ { 195, 609, 868 }, { 597, 609, 868, 869 }, { 188, 195, 597, 609 }, { 188, 195, 868, 869 }, { 188, 597, 869 } ], [ { 11, 190, 600 }, { 7, 11, 190 }, { 7, 190, 600 }, { 7, 11, 600 } ], [ { 11, 600, 602 }, { 11, 588, 602 }, { 11, 588, 600 }, { 588, 600, 602 } ], [ { 183, 600, 604 }, { 7, 183, 600 }, { 7, 183, 604 }, { 7, 600, 604 } ], [ { 183, 195, 600 }, { 183, 195, 606 }, { 195, 600, 606 }, { 183, 600, 606 } ], [ { 194, 456, 607 }, { 194, 456, 609 }, { 194, 607, 609 }, { 456, 607, 609 } ], [ { 194, 195, 610 }, { 195, 609, 610 }, { 194, 609, 610 }, { 194, 195, 609 } ], [ { 194, 195, 611 }, { 183, 195, 611 }, { 183, 194, 611 }, { 183, 194, 195 } ], [ { 238, 612, 613 }, { 238, 613, 619 }, { 612, 613, 619 }, { 238, 612, 619 } ], [ { 200, 207, 613 }, { 200, 238, 613 }, { 207, 238, 613 }, { 200, 207, 238 } ], [ { 615, 871, 872 }, { 870, 871, 872 }, { 615, 870, 872 }, { 615, 870, 871 } ], [ { 615, 873, 874 }, { 870, 873, 874 }, { 615, 870, 874 }, { 615, 870, 873 } ], [ { 616, 873, 875 }, { 616, 870, 875 }, { 616, 870, 873 }, { 870, 873, 875 } ], [ { 616, 618, 873 }, { 615, 616, 618 }, { 615, 618, 873 }, { 615, 616, 873 } ], [ { 199, 207, 871 }, { 199, 615, 871 }, { 199, 207, 615 }, { 207, 615, 871 } ], [ { 198, 199, 616 }, { 198, 199, 615 }, { 199, 615, 616 }, { 198, 615, 616 } ], [ { 199, 200, 616 }, { 199, 200, 207 }, { 200, 207, 616 }, { 199, 207, 616 } ], [ { 207, 620, 622 }, { 619, 620, 622 }, { 207, 619, 622 }, { 207, 619, 620 } ], [ { 622, 623, 624 }, { 207, 623, 624 }, { 207, 622, 624 }, { 207, 622, 623 } ], [ { 203, 626, 628 }, { 201, 626, 628 }, { 201, 203, 628 }, { 201, 203, 626 } ], [ { 628, 636, 638 }, { 626, 636, 638 }, { 626, 628, 638 }, { 626, 628, 636 } ], [ { 627, 628, 631, 632 }, { 628, 631, 633 }, { 627, 628, 633 }, { 631, 632, 633 }, { 627, 632, 633 } ], [ { 627, 634, 636 }, { 633, 634, 636 }, { 627, 633, 634 }, { 627, 633, 636 } ], [ { 628, 635, 636 }, { 633, 635, 636 }, { 628, 633, 635 }, { 628, 633, 636 } ], [ { 206, 628, 641 }, { 201, 628, 641 }, { 201, 206, 641 }, { 201, 206, 628 } ], [ { 627, 628, 640, 641 }, { 627, 639, 640 }, { 627, 628, 639 }, { 639, 640, 641 }, { 628, 639, 641 } ], [ { 212, 627, 640 }, { 207, 212, 640 }, { 207, 627, 640 }, { 207, 212, 627 } ], [ { 209, 623, 627 }, { 207, 209, 627 }, { 207, 623, 627 }, { 207, 209, 623 } ], [ { 627, 636, 646 }, { 623, 636, 646 }, { 623, 627, 646 }, { 623, 627, 636 } ], [ { 213, 214, 252 }, { 213, 214, 619 }, { 214, 252, 619 }, { 213, 252, 619 } ], [ { 201, 214, 619 }, { 214, 619, 650 }, { 201, 619, 649, 650 }, { 201, 214, 649 }, { 214, 649, 650 } ], [ { 201, 214, 225 }, { 214, 225, 252 }, { 201, 214, 252 }, { 201, 225, 252 } ], [ { 218, 235, 773 }, { 218, 235, 653 }, { 235, 653, 773 }, { 218, 653, 773 } ], [ { 773, 876, 877 }, { 653, 876, 877 }, { 653, 773, 877 }, { 653, 773, 876 } ], [ { 38, 655, 876 }, { 38, 653, 655 }, { 653, 655, 876 }, { 38, 653, 876 } ], [ { 38, 775, 876 }, { 38, 773, 876 }, { 38, 773, 775 }, { 773, 775, 876 } ], [ { 201, 218, 219 }, { 218, 219, 653 }, { 201, 219, 653 }, { 201, 218, 653 } ], [ { 38, 219, 224 }, { 219, 224, 653 }, { 38, 219, 653 }, { 38, 224, 653 } ], [ { 38, 219, 225 }, { 201, 219, 225 }, { 38, 201, 219 }, { 38, 201, 225 } ], [ { 657, 658, 878 }, { 656, 657, 658 }, { 656, 658, 878 }, { 656, 657, 878 } ], [ { 878, 879, 880, 881 }, { 658, 661, 878, 879 }, { 658, 878, 880 }, { 658, 661, 880, 881 }, { 661, 879, 881 } ], [ { 661, 662, 879 }, { 660, 661, 662 }, { 660, 662, 879 }, { 660, 661, 879 } ], [ { 232, 235, 664 }, { 235, 664, 773 }, { 232, 235, 773 }, { 232, 664, 773 } ], [ { 227, 230, 664 }, { 230, 664, 773 }, { 227, 230, 773 }, { 227, 664, 773 } ], [ { 227, 228, 230 }, { 228, 230, 773 }, { 227, 230, 773 }, { 227, 228, 773 } ], [ { 218, 232, 235 }, { 218, 235, 773 }, { 232, 235, 773 }, { 218, 232, 773 } ], [ { 230, 232, 666 }, { 232, 665, 666 }, { 230, 232, 662, 665 }, { 662, 665, 666 }, { 230, 662, 666 } ], [ { 200, 240, 616 }, { 200, 238, 240 }, { 238, 240, 616 }, { 200, 238, 616 } ], [ { 238, 612, 669 }, { 238, 619, 669 }, { 612, 619, 669 }, { 238, 612, 619 } ], [ { 883, 884, 885 }, { 882, 884, 885 }, { 882, 883, 885 }, { 882, 883, 884 } ], [ { 669, 884, 886 }, { 669, 883, 886 }, { 883, 884, 886 }, { 669, 883, 884 } ], [ { 668, 669, 670 }, { 619, 669, 670 }, { 619, 668, 670 }, { 619, 668, 669 } ], [ { 884, 887, 888 }, { 882, 884, 888 }, { 882, 887, 888 }, { 882, 884, 887 } ], [ { 673, 884, 889 }, { 673, 887, 889 }, { 884, 887, 889 }, { 673, 884, 887 } ], [ { 40, 243, 884 }, { 243, 884, 890 }, { 40, 884, 890 }, { 40, 243, 890 } ], [ { 243, 672, 673 }, { 40, 672, 673 }, { 40, 243, 673 }, { 40, 243, 672 } ], [ { 245, 673, 884 }, { 243, 245, 673 }, { 243, 245, 884 }, { 243, 673, 884 } ], [ { 38, 248, 254, 891 }, { 30, 248, 891 }, { 30, 38, 248 }, { 30, 38, 254 }, { 30, 254, 891 } ], [ { 38, 225, 254 }, { 225, 252, 254 }, { 38, 252, 254 }, { 38, 225, 252 } ], [ { 670, 675, 676, 678 }, { 619, 670, 676 }, { 619, 675, 676 }, { 619, 670, 678 }, { 619, 675, 678 } ], [ { 678, 682, 684 }, { 678, 681, 684 }, { 681, 682, 684 }, { 678, 681, 682 } ], [ { 213, 252, 685 }, { 213, 619, 685 }, { 252, 619, 685 }, { 213, 252, 619 } ], [ { 678, 685, 687 }, { 619, 678, 685 }, { 619, 685, 687 }, { 619, 678, 687 } ], [ { 678, 685, 690 }, { 682, 685, 690 }, { 678, 682, 690 }, { 678, 682, 685 } ], [ { 30, 682, 693 }, { 682, 692, 693 }, { 30, 692, 693 }, { 30, 682, 692 } ], [ { 682, 685, 690 }, { 685, 690, 692 }, { 682, 690, 692 }, { 682, 685, 692 } ], [ { 365, 696, 697 }, { 30, 696, 697 }, { 30, 365, 697 }, { 30, 365, 696 } ], [ { 40, 41, 682 }, { 41, 681, 682 }, { 40, 681, 682 }, { 40, 41, 681 } ], [ { 41, 365, 696 }, { 40, 41, 696 }, { 40, 365, 696 }, { 40, 41, 365 } ], [ { 258, 682, 696 }, { 41, 258, 696 }, { 41, 258, 682 }, { 41, 682, 696 } ], [ { 682, 700, 701 }, { 30, 682, 701 }, { 30, 700, 701 }, { 30, 682, 700 } ], [ { 696, 700, 702 }, { 30, 696, 702 }, { 30, 700, 702 }, { 30, 696, 700 } ], [ { 682, 696, 892 }, { 696, 700, 892 }, { 682, 700, 892 }, { 682, 696, 700 } ], [ { 703, 704, 705 }, { 64, 437, 703, 704 }, { 64, 703, 705 }, { 64, 437, 705 }, { 437, 704, 705 } ], [ { 705, 706, 707, 893 }, { 260, 705, 707 }, { 260, 261, 705, 706 }, { 260, 261, 707, 893 }, { 261, 706, 893 } ], [ { 431, 708, 709 }, { 64, 708, 709 }, { 64, 431, 709 }, { 64, 431, 708 } ], [ { 709, 712, 894 }, { 64, 709, 894 }, { 64, 712, 894 }, { 64, 709, 712 } ], [ { 64, 712, 713 }, { 711, 712, 713 }, { 64, 711, 713 }, { 64, 711, 712 } ], [ { 712, 713, 718 }, { 431, 713, 716, 718 }, { 431, 709, 712, 713 }, { 709, 712, 716, 718 }, { 431, 709, 716 } ], [ { 269, 280, 719 }, { 268, 280, 719 }, { 268, 269, 719 }, { 268, 269, 280 } ], [ { 273, 304, 721 }, { 272, 273, 721 }, { 272, 304, 721 }, { 272, 273, 304 } ], [ { 721, 733, 895 }, { 304, 721, 733 }, { 304, 721, 895 }, { 304, 733, 895 } ], [ { 268, 276, 724 }, { 268, 722, 724 }, { 276, 722, 724 }, { 268, 276, 722 } ], [ { 277, 725, 726 }, { 276, 277, 726 }, { 276, 725, 726 }, { 276, 277, 725 } ], [ { 268, 277, 280 }, { 276, 277, 280 }, { 268, 276, 280 }, { 268, 276, 277 } ], [ { 280, 283, 726 }, { 277, 280, 283 }, { 277, 283, 726 }, { 277, 280, 726 } ], [ { 53, 276, 722 }, { 53, 276, 400 }, { 53, 400, 722 }, { 276, 400, 722 } ], [ { 53, 288, 726 }, { 53, 276, 288 }, { 276, 288, 726 }, { 53, 276, 726 } ], [ { 280, 291, 726 }, { 280, 290, 726 }, { 280, 290, 291 }, { 290, 291, 726 } ], [ { 305, 731, 733 }, { 304, 305, 733 }, { 304, 305, 731 }, { 304, 731, 733 } ], [ { 280, 305, 734 }, { 305, 733, 734 }, { 280, 733, 734 }, { 280, 305, 733 } ], [ { 280, 296, 305 }, { 280, 295, 305 }, { 295, 296, 305 }, { 280, 295, 296 } ], [ { 280, 295, 736 }, { 280, 290, 736 }, { 290, 295, 736 }, { 280, 290, 295 } ], [ { 280, 736, 738 }, { 290, 736, 738 }, { 280, 290, 736 }, { 280, 290, 738 } ], [ { 305, 309, 739 }, { 304, 305, 739 }, { 304, 309, 739 }, { 304, 305, 309 } ], [ { 309, 740, 741 }, { 304, 309, 741 }, { 304, 740, 741 }, { 304, 309, 740 } ], [ { 14, 305, 741 }, { 14, 309, 741 }, { 14, 305, 309 }, { 305, 309, 741 } ], [ { 272, 304, 312 }, { 304, 312, 742 }, { 272, 312, 742 }, { 272, 304, 742 } ], [ { 272, 311, 896 }, { 272, 311, 742 }, { 311, 742, 896 }, { 272, 742, 896 } ], [ { 19, 313, 315 }, { 313, 315, 324 }, { 19, 313, 324 }, { 19, 315, 324 } ], [ { 19, 324, 328 }, { 19, 328, 760 }, { 324, 328, 758, 760 }, { 19, 758, 760 }, { 19, 324, 758 } ], [ { 19, 315, 328 }, { 315, 317, 328 }, { 19, 317, 328 }, { 19, 315, 317 } ], [ { 743, 744, 747 }, { 315, 744, 747 }, { 315, 743, 747 }, { 315, 743, 744 } ], [ { 315, 747, 751 }, { 747, 750, 751 }, { 315, 750, 751 }, { 315, 747, 750 } ], [ { 315, 743, 753 }, { 741, 743, 753 }, { 315, 741, 753 }, { 315, 741, 743 } ], [ { 326, 755, 756 }, { 324, 326, 755 }, { 324, 326, 756 }, { 324, 755, 756 } ], [ { 324, 326, 328, 329 }, { 328, 329, 760 }, { 324, 328, 758, 760 }, { 326, 329, 758, 760 }, { 324, 326, 758 } ], [ { 329, 756, 762 }, { 328, 756, 762 }, { 328, 329, 762 }, { 328, 329, 756 } ], [ { 40, 272, 897, 899 }, { 40, 272, 896, 898 }, { 272, 896, 897 }, { 896, 897, 898, 899 }, { 40, 898, 899 } ], [ { 324, 756, 898 }, { 324, 756, 900, 901 }, { 324, 898, 900 }, { 756, 898, 901 }, { 898, 900, 901 } ], [ { 324, 764, 898 }, { 324, 898, 900 }, { 324, 764, 900, 902 }, { 764, 898, 902 }, { 898, 900, 902 } ], [ { 364, 764, 898 }, { 40, 364, 898 }, { 40, 764, 898 }, { 40, 364, 764 } ], [ { 335, 363, 764 }, { 40, 335, 764 }, { 40, 363, 764 }, { 40, 335, 363 } ], [ { 333, 335, 341 }, { 333, 341, 750 }, { 333, 335, 750 }, { 335, 341, 750 } ], [ { 23, 27, 333 }, { 27, 333, 750 }, { 23, 27, 750 }, { 23, 333, 750 } ], [ { 23, 333, 338 }, { 333, 335, 338 }, { 23, 333, 335 }, { 23, 335, 338 } ], [ { 23, 345, 903, 904 }, { 345, 765, 903 }, { 23, 342, 345, 765 }, { 342, 765, 903, 904 }, { 23, 342, 904 } ], [ { 23, 345, 347, 350 }, { 23, 345, 750 }, { 345, 350, 750 }, { 23, 347, 750 }, { 347, 350, 750 } ], [ { 30, 44, 768 }, { 30, 357, 768 }, { 44, 357, 768 }, { 30, 44, 357 } ], [ { 38, 44, 355 }, { 38, 355, 357 }, { 44, 355, 357 }, { 38, 44, 357 } ], [ { 30, 34, 38, 360 }, { 34, 38, 357 }, { 30, 38, 357 }, { 30, 357, 360 }, { 34, 357, 360 } ], [ { 335, 362, 365 }, { 40, 335, 362 }, { 40, 362, 365 }, { 40, 335, 365 } ], [ { 30, 697, 770 }, { 44, 697, 770 }, { 30, 44, 770 }, { 30, 44, 697 } ], [ { 335, 365, 697 }, { 30, 335, 697 }, { 30, 365, 697 }, { 30, 335, 365 } ], [ { 44, 369, 374 }, { 44, 368, 374 }, { 368, 369, 374 }, { 44, 368, 369 } ], [ { 373, 374, 772 }, { 369, 374, 772 }, { 369, 373, 374 }, { 369, 373, 772 } ], [ { 38, 373, 775 }, { 38, 373, 773 }, { 373, 773, 775 }, { 38, 773, 775 } ], [ { 38, 373, 374 }, { 44, 373, 374 }, { 38, 44, 374 }, { 38, 44, 373 } ], [ { 60, 373, 377 }, { 369, 373, 377 }, { 60, 369, 377 }, { 60, 369, 373 } ], [ { 60, 373, 430 }, { 373, 430, 773 }, { 60, 430, 773 }, { 60, 373, 773 } ], [ { 44, 383, 385 }, { 369, 383, 385 }, { 44, 369, 383 }, { 44, 369, 385 } ], [ { 23, 697, 778 }, { 44, 697, 778 }, { 23, 44, 778 }, { 23, 44, 697 } ], [ { 23, 389, 697 }, { 335, 389, 697 }, { 23, 335, 389 }, { 23, 335, 697 } ], [ { 385, 779, 781 }, { 44, 385, 781 }, { 44, 385, 779 }, { 44, 779, 781 } ], [ { 23, 48, 391 }, { 44, 48, 391 }, { 23, 44, 391 }, { 23, 44, 48 } ], [ { 48, 385, 781 }, { 44, 48, 385 }, { 44, 48, 781 }, { 44, 385, 781 } ], [ { 396, 398, 783 }, { 398, 402, 783 }, { 396, 402, 783 }, { 396, 398, 402 } ], [ { 53, 722, 785 }, { 53, 400, 785 }, { 400, 722, 785 }, { 53, 400, 722 } ], [ { 53, 405, 786 }, { 53, 402, 405 }, { 402, 405, 786 }, { 53, 402, 786 } ], [ { 398, 402, 783 }, { 398, 783, 789 }, { 402, 783, 789 }, { 398, 402, 789 } ], [ { 402, 405, 786 }, { 405, 786, 789 }, { 402, 405, 789 }, { 402, 786, 789 } ], [ { 406, 783, 789 }, { 406, 783, 787 }, { 783, 787, 789 }, { 406, 787, 789 } ], [ { 405, 789, 791 }, { 405, 787, 791 }, { 787, 789, 791 }, { 405, 787, 789 } ], [ { 406, 409, 791 }, { 409, 787, 791 }, { 406, 787, 791 }, { 406, 409, 787 } ], [ { 420, 793, 794 }, { 792, 793, 794 }, { 420, 792, 794 }, { 420, 792, 793 } ], [ { 410, 412, 417 }, { 412, 417, 792 }, { 410, 412, 792 }, { 410, 417, 792 } ], [ { 410, 417, 791 }, { 415, 417, 791 }, { 410, 415, 791 }, { 410, 415, 417 } ], [ { 418, 420, 423 }, { 420, 423, 799 }, { 418, 420, 799 }, { 418, 423, 799 } ], [ { 420, 423, 792 }, { 420, 422, 792 }, { 420, 422, 423 }, { 422, 423, 792 } ], [ { 410, 791, 906 }, { 410, 791, 905 }, { 791, 905, 906 }, { 410, 905, 906 } ], [ { 423, 907, 908 }, { 423, 799, 908 }, { 799, 907, 908 }, { 423, 799, 907 } ], [ { 426, 792, 803 }, { 423, 426, 803 }, { 423, 426, 792 }, { 423, 792, 803 } ], [ { 410, 423, 426 }, { 410, 426, 805 }, { 410, 423, 805, 806 }, { 426, 805, 806 }, { 423, 426, 806 } ], [ { 410, 426, 807 }, { 426, 792, 807 }, { 410, 792, 807 }, { 410, 426, 792 } ], [ { 417, 810, 811 }, { 417, 792, 811 }, { 792, 810, 811 }, { 417, 792, 810 } ], [ { 59, 60, 430 }, { 59, 430, 773 }, { 59, 60, 773 }, { 60, 430, 773 } ], [ { 60, 434, 449 }, { 431, 434, 449 }, { 60, 431, 449 }, { 60, 431, 434 } ], [ { 406, 436, 444, 813 }, { 64, 406, 444 }, { 64, 406, 437, 813 }, { 64, 436, 437, 444 }, { 436, 437, 813 } ], [ { 66, 431, 444 }, { 64, 431, 444 }, { 64, 66, 444 }, { 64, 66, 431 } ], [ { 406, 447, 816 }, { 447, 799, 816 }, { 406, 447, 799 }, { 406, 799, 816 } ], [ { 434, 448, 816 }, { 434, 799, 816 }, { 448, 799, 816 }, { 434, 448, 799 } ], [ { 434, 448, 449 }, { 431, 434, 449 }, { 431, 448, 449 }, { 431, 434, 448 } ], [ { 444, 448, 816 }, { 406, 448, 816 }, { 406, 444, 816 }, { 406, 444, 448 } ], [ { 431, 444, 448 }, { 66, 444, 448 }, { 66, 431, 448 }, { 66, 431, 444 } ], [ { 68, 455, 909 }, { 455, 820, 909 }, { 68, 820, 909 }, { 68, 455, 820 } ], [ { 68, 194, 456 }, { 194, 456, 820 }, { 68, 194, 820 }, { 68, 456, 820 } ], [ { 183, 194, 458 }, { 68, 194, 458 }, { 68, 183, 458 }, { 68, 183, 194 } ], [ { 74, 460, 461 }, { 74, 461, 820 }, { 74, 460, 820 }, { 460, 461, 820 } ], [ { 74, 465, 821 }, { 74, 460, 465 }, { 460, 465, 821 }, { 74, 460, 821 } ], [ { 909, 910, 911 }, { 820, 909, 911 }, { 820, 909, 910 }, { 820, 910, 911 } ], [ { 74, 466, 910 }, { 74, 466, 820 }, { 74, 820, 910 }, { 466, 820, 910 } ], [ { 91, 470, 912 }, { 91, 470, 856 }, { 470, 856, 912 }, { 91, 856, 912 } ], [ { 78, 467, 470 }, { 78, 467, 824 }, { 467, 470, 824 }, { 78, 470, 824 } ], [ { 78, 80, 824 }, { 78, 80, 467, 468 }, { 80, 468, 824 }, { 78, 467, 824 }, { 467, 468, 824 } ], [ { 80, 471, 824 }, { 80, 468, 824 }, { 80, 468, 471 }, { 468, 471, 824 } ], [ { 470, 471, 827 }, { 468, 471, 827 }, { 467, 468, 470, 471 }, { 467, 470, 827 }, { 467, 468, 827 } ], [ { 85, 471, 852 }, { 84, 85, 471 }, { 84, 85, 852 }, { 84, 471, 852 } ], [ { 88, 471, 828 }, { 84, 88, 828 }, { 84, 471, 828 }, { 84, 88, 471 } ], [ { 91, 95, 470 }, { 95, 470, 856 }, { 91, 470, 856 }, { 91, 95, 856 } ], [ { 90, 95, 470 }, { 95, 470, 829 }, { 90, 470, 829 }, { 90, 95, 829 } ], [ { 85, 471, 913 }, { 85, 852, 913 }, { 471, 852, 913 }, { 85, 471, 852 } ], [ { 478, 485, 914, 916 }, { 478, 485, 489 }, { 478, 489, 914, 915 }, { 485, 489, 915, 916 }, { 914, 915, 916 } ], [ { 477, 478, 482 }, { 478, 482, 504 }, { 477, 482, 504 }, { 477, 478, 504 } ], [ { 478, 485, 489 }, { 478, 482, 489, 495 }, { 485, 489, 495 }, { 482, 485, 495 }, { 478, 482, 485 } ], [ { 98, 492, 495 }, { 98, 489, 495 }, { 98, 489, 492 }, { 489, 492, 495 } ], [ { 830, 831, 832, 833 }, { 499, 830, 832 }, { 499, 830, 831 }, { 499, 831, 833 }, { 499, 832, 833 } ], [ { 501, 831, 833 }, { 499, 831, 833 }, { 499, 501, 833 }, { 499, 501, 831 } ], [ { 501, 504, 836, 837 }, { 499, 504, 837 }, { 499, 501, 504 }, { 499, 501, 836 }, { 499, 836, 837 } ], [ { 504, 830, 832 }, { 499, 830, 832 }, { 499, 504, 832 }, { 499, 504, 830 } ], [ { 509, 838, 917 }, { 508, 509, 838 }, { 508, 838, 917 }, { 508, 509, 917 } ], [ { 124, 509, 512 }, { 124, 512, 839 }, { 124, 509, 838, 839 }, { 512, 838, 839 }, { 509, 512, 838 } ], [ { 124, 125, 839 }, { 107, 124, 125 }, { 107, 125, 839 }, { 107, 124, 839 } ], [ { 107, 838, 839, 917 }, { 107, 917, 918, 919 }, { 107, 839, 918 }, { 838, 839, 918, 919 }, { 838, 917, 919 } ], [ { 517, 521, 842 }, { 520, 521, 841, 842 }, { 517, 841, 842 }, { 517, 520, 841 }, { 517, 520, 521 } ], [ { 100, 523, 920 }, { 523, 856, 920 }, { 100, 856, 920 }, { 100, 523, 856 } ], [ { 517, 523, 842 }, { 517, 842, 856 }, { 523, 842, 856 }, { 517, 523, 856 } ], [ { 517, 523, 525 }, { 100, 517, 525 }, { 100, 523, 525 }, { 100, 517, 523 } ], [ { 100, 528, 921 }, { 528, 852, 921 }, { 100, 528, 852 }, { 100, 852, 921 } ], [ { 517, 528, 852 }, { 517, 528, 841 }, { 528, 841, 852 }, { 517, 841, 852 } ], [ { 517, 527, 528 }, { 100, 527, 528 }, { 100, 517, 527 }, { 100, 517, 528 } ], [ { 108, 115, 845 }, { 107, 108, 845 }, { 107, 108, 115 }, { 107, 115, 845 } ], [ { 118, 124, 846 }, { 107, 118, 846 }, { 107, 124, 846 }, { 107, 118, 124 } ], [ { 532, 845, 846 }, { 107, 845, 846 }, { 107, 532, 845 }, { 107, 532, 846 } ], [ { 532, 534, 538 }, { 534, 536, 538, 542 }, { 532, 538, 542 }, { 532, 534, 536 }, { 532, 536, 542 } ], [ { 126, 130, 538, 542 }, { 130, 537, 542 }, { 537, 538, 542 }, { 126, 130, 537 }, { 126, 537, 538 } ], [ { 532, 538, 850 }, { 532, 850, 852 }, { 538, 850, 852 }, { 532, 538, 852 } ], [ { 126, 538, 544 }, { 126, 544, 852 }, { 126, 538, 852 }, { 538, 544, 852 } ], [ { 126, 130, 547, 554 }, { 130, 549, 554 }, { 126, 130, 549 }, { 126, 547, 549 }, { 547, 549, 554 } ], [ { 532, 853, 855 }, { 532, 542, 853 }, { 542, 853, 855 }, { 532, 542, 855 } ], [ { 130, 558, 855 }, { 130, 542, 558 }, { 130, 542, 855 }, { 542, 558, 855 } ], [ { 134, 143, 922 }, { 134, 856, 922 }, { 134, 143, 856 }, { 143, 856, 922 } ], [ { 143, 563, 565 }, { 143, 148, 563 }, { 139, 143, 148, 565 }, { 139, 148, 563 }, { 139, 563, 565 } ], [ { 143, 858, 859 }, { 143, 856, 859 }, { 856, 858, 859 }, { 143, 856, 858 } ], [ { 143, 148, 859, 860 }, { 143, 148, 569, 923 }, { 569, 859, 860, 923 }, { 148, 860, 923 }, { 143, 569, 859 } ], [ { 569, 859, 861 }, { 859, 861, 863 }, { 569, 859, 863 }, { 569, 861, 863 } ], [ { 151, 569, 924 }, { 151, 863, 924 }, { 151, 569, 863 }, { 569, 863, 924 } ], [ { 167, 576, 578 }, { 570, 573, 576, 578 }, { 167, 570, 578 }, { 167, 573, 576 }, { 167, 570, 573 } ], [ { 161, 578, 582 }, { 570, 578, 582 }, { 161, 162, 570, 578 }, { 162, 570, 582 }, { 161, 162, 582 } ], [ { 167, 170, 570 }, { 167, 170, 588 }, { 170, 570, 588 }, { 167, 570, 588 } ], [ { 162, 570, 587 }, { 162, 587, 588 }, { 570, 587, 588 }, { 162, 570, 588 } ], [ { 161, 173, 183, 864 }, { 7, 173, 183, 591 }, { 7, 161, 183 }, { 7, 161, 591, 864 }, { 173, 591, 864 } ], [ { 167, 181, 578 }, { 181, 183, 578 }, { 167, 181, 183 }, { 167, 183, 578 } ], [ { 161, 578, 592 }, { 183, 578, 592 }, { 161, 183, 592 }, { 161, 183, 578 } ], [ { 186, 593, 597 }, { 40, 186, 597 }, { 40, 186, 593 }, { 40, 593, 597 } ], [ { 186, 188, 597 }, { 186, 188, 588 }, { 188, 588, 597 }, { 186, 588, 597 } ], [ { 188, 597, 600 }, { 188, 588, 597 }, { 188, 588, 600 }, { 588, 597, 600 } ], [ { 188, 195, 597, 609 }, { 195, 600, 609 }, { 597, 600, 609 }, { 188, 195, 600 }, { 188, 597, 600 } ], [ { 7, 183, 600 }, { 183, 588, 600 }, { 7, 11, 183, 588 }, { 11, 588, 600 }, { 7, 11, 600 } ], [ { 183, 195, 600 }, { 183, 195, 609 }, { 195, 600, 609 }, { 183, 600, 609 } ], [ { 194, 456, 609 }, { 194, 456, 820 }, { 194, 609, 820 }, { 456, 609, 820 } ], [ { 183, 194, 195 }, { 194, 195, 609 }, { 183, 195, 609 }, { 183, 194, 609 } ], [ { 207, 238, 613 }, { 207, 613, 619 }, { 238, 613, 619 }, { 207, 238, 619 } ], [ { 200, 207, 616 }, { 200, 238, 616 }, { 200, 207, 238 }, { 207, 238, 616 } ], [ { 207, 615, 871 }, { 207, 870, 871 }, { 615, 870, 871 }, { 207, 615, 870 } ], [ { 615, 616, 873 }, { 616, 870, 873 }, { 615, 616, 870 }, { 615, 870, 873 } ], [ { 199, 207, 616 }, { 199, 615, 616 }, { 199, 207, 615 }, { 207, 615, 616 } ], [ { 201, 626, 925 }, { 619, 626, 925 }, { 201, 619, 626 }, { 201, 619, 925 } ], [ { 207, 622, 623 }, { 619, 622, 623 }, { 207, 619, 623 }, { 207, 619, 622 } ], [ { 626, 628, 636 }, { 201, 628, 636 }, { 201, 626, 636 }, { 201, 626, 628 } ], [ { 627, 628, 636 }, { 628, 633, 636 }, { 627, 633, 636 }, { 627, 628, 633 } ], [ { 207, 627, 640 }, { 201, 207, 640, 641 }, { 201, 207, 627, 628 }, { 627, 628, 640, 641 }, { 201, 628, 641 } ], [ { 623, 627, 636 }, { 207, 627, 636 }, { 207, 623, 636 }, { 207, 623, 627 } ], [ { 201, 214, 252 }, { 201, 214, 619 }, { 214, 252, 619 }, { 201, 252, 619 } ], [ { 38, 201, 225 }, { 38, 225, 252 }, { 201, 225, 252 }, { 38, 201, 252 } ], [ { 201, 218, 773 }, { 201, 218, 653 }, { 218, 653, 773 }, { 201, 653, 773 } ], [ { 38, 773, 876 }, { 38, 653, 876 }, { 38, 653, 773 }, { 653, 773, 876 } ], [ { 38, 201, 219 }, { 38, 219, 653 }, { 201, 219, 653 }, { 38, 201, 653 } ], [ { 207, 878, 926 }, { 207, 656, 878 }, { 207, 656, 657, 926 }, { 656, 657, 878 }, { 657, 878, 926 } ], [ { 656, 658, 660, 661 }, { 656, 660, 878, 879 }, { 660, 661, 879 }, { 658, 661, 878, 879 }, { 656, 658, 878 } ], [ { 230, 232, 664 }, { 230, 664, 773 }, { 230, 232, 773 }, { 232, 664, 773 } ], [ { 228, 230, 660 }, { 228, 230, 773 }, { 230, 660, 773 }, { 228, 660, 773 } ], [ { 201, 218, 232 }, { 201, 218, 773 }, { 218, 232, 773 }, { 201, 232, 773 } ], [ { 201, 660, 662, 665 }, { 201, 230, 232, 660 }, { 201, 232, 665 }, { 230, 232, 662, 665 }, { 230, 660, 662 } ], [ { 240, 616, 882 }, { 238, 240, 616 }, { 238, 240, 882 }, { 238, 616, 882 } ], [ { 238, 669, 882 }, { 619, 669, 882 }, { 238, 619, 669 }, { 238, 619, 882 } ], [ { 669, 883, 884 }, { 669, 882, 884 }, { 669, 882, 883 }, { 882, 883, 884 } ], [ { 669, 670, 884 }, { 619, 669, 670 }, { 619, 670, 884 }, { 619, 669, 884 } ], [ { 40, 670, 884 }, { 670, 884, 890 }, { 40, 670, 890 }, { 40, 884, 890 } ], [ { 40, 672, 673 }, { 672, 673, 882 }, { 40, 673, 882 }, { 40, 672, 882 } ], [ { 673, 884, 887 }, { 673, 882, 884 }, { 673, 882, 887 }, { 882, 884, 887 } ], [ { 243, 673, 884 }, { 40, 673, 884 }, { 40, 243, 673 }, { 40, 243, 884 } ], [ { 38, 252, 254 }, { 30, 38, 254 }, { 30, 252, 254 }, { 30, 38, 252 } ], [ { 40, 670, 678 }, { 619, 670, 678 }, { 40, 619, 678 }, { 40, 619, 670 } ], [ { 40, 678, 682 }, { 678, 681, 682 }, { 40, 678, 681 }, { 40, 681, 682 } ], [ { 30, 252, 685 }, { 252, 619, 685 }, { 30, 619, 685 }, { 30, 252, 619 } ], [ { 678, 682, 685 }, { 619, 678, 685 }, { 619, 682, 685 }, { 619, 678, 682 } ], [ { 30, 682, 685 }, { 682, 685, 692 }, { 30, 685, 692 }, { 30, 682, 692 } ], [ { 30, 365, 696 }, { 40, 365, 696 }, { 30, 40, 696 }, { 30, 40, 365 } ], [ { 41, 682, 696 }, { 40, 682, 696 }, { 40, 41, 696 }, { 40, 41, 682 } ], [ { 682, 696, 700 }, { 30, 682, 696 }, { 30, 696, 700 }, { 30, 682, 700 } ], [ { 703, 705, 707 }, { 64, 703, 707 }, { 64, 703, 705 }, { 64, 705, 707 } ], [ { 406, 705, 813 }, { 64, 406, 705 }, { 64, 406, 437, 813 }, { 437, 705, 813 }, { 64, 437, 705 } ], [ { 406, 706, 893, 927 }, { 406, 705, 706 }, { 406, 705, 707, 927 }, { 705, 706, 707, 893 }, { 707, 893, 927 } ], [ { 431, 709, 712, 713 }, { 64, 712, 713 }, { 64, 431, 713 }, { 64, 709, 712 }, { 64, 431, 709 } ], [ { 268, 280, 719 }, { 280, 719, 895 }, { 268, 719, 895 }, { 268, 280, 895 } ], [ { 304, 721, 895 }, { 272, 721, 895 }, { 272, 304, 721 }, { 272, 304, 895 } ], [ { 280, 733, 895 }, { 280, 304, 733 }, { 280, 304, 895 }, { 304, 733, 895 } ], [ { 268, 276, 280 }, { 268, 280, 722 }, { 276, 280, 722 }, { 268, 276, 722 } ], [ { 277, 280, 726 }, { 276, 280, 726 }, { 276, 277, 280 }, { 276, 277, 726 } ], [ { 53, 276, 726 }, { 53, 722, 726 }, { 53, 276, 722 }, { 276, 722, 726 } ], [ { 280, 726, 738 }, { 280, 290, 738 }, { 290, 726, 738 }, { 280, 290, 726 } ], [ { 280, 305, 733 }, { 280, 304, 305 }, { 304, 305, 733 }, { 280, 304, 733 } ], [ { 280, 305, 736 }, { 295, 305, 736 }, { 280, 295, 736 }, { 280, 295, 305 } ], [ { 736, 738, 791 }, { 280, 736, 791 }, { 280, 738, 791 }, { 280, 736, 738 } ], [ { 305, 309, 741 }, { 304, 305, 741 }, { 304, 309, 741 }, { 304, 305, 309 } ], [ { 272, 304, 741 }, { 304, 741, 742 }, { 272, 741, 742 }, { 272, 304, 742 } ], [ { 272, 328, 896 }, { 272, 328, 742 }, { 328, 742, 896 }, { 272, 742, 896 } ], [ { 19, 315, 328 }, { 315, 324, 328 }, { 19, 324, 328 }, { 19, 315, 324 } ], [ { 315, 741, 743 }, { 741, 743, 747, 750 }, { 315, 741, 750 }, { 315, 747, 750 }, { 315, 743, 747 } ], [ { 328, 329, 756 }, { 324, 328, 756 }, { 324, 326, 328, 329 }, { 324, 326, 756 }, { 326, 329, 756 } ], [ { 272, 328, 756 }, { 328, 756, 896 }, { 272, 756, 896 }, { 272, 328, 896 } ], [ { 40, 272, 756 }, { 272, 756, 896 }, { 40, 272, 896, 898 }, { 756, 896, 898 }, { 40, 756, 898 } ], [ { 40, 756, 898 }, { 324, 756, 898 }, { 40, 324, 756 }, { 40, 324, 898 } ], [ { 40, 764, 898 }, { 324, 764, 898 }, { 40, 324, 898 }, { 40, 324, 764 } ], [ { 40, 335, 764 }, { 335, 750, 764 }, { 40, 750, 764 }, { 40, 335, 750 } ], [ { 23, 333, 335 }, { 23, 333, 750 }, { 333, 335, 750 }, { 23, 335, 750 } ], [ { 23, 345, 750 }, { 345, 750, 903, 928 }, { 23, 750, 904, 928 }, { 23, 345, 903, 904 }, { 903, 904, 928 } ], [ { 30, 38, 44 }, { 30, 38, 357 }, { 38, 44, 357 }, { 30, 44, 357 } ], [ { 30, 335, 365 }, { 40, 335, 365 }, { 30, 40, 335 }, { 30, 40, 365 } ], [ { 30, 335, 697 }, { 44, 335, 697 }, { 30, 44, 697 }, { 30, 44, 335 } ], [ { 44, 373, 374 }, { 369, 373, 374 }, { 44, 369, 374 }, { 44, 369, 373 } ], [ { 38, 44, 373 }, { 38, 373, 773 }, { 44, 373, 773 }, { 38, 44, 773 } ], [ { 60, 373, 773 }, { 60, 369, 373 }, { 369, 373, 773 }, { 60, 369, 773 } ], [ { 44, 385, 779 }, { 369, 385, 779 }, { 44, 369, 385 }, { 44, 369, 779 } ], [ { 23, 335, 697 }, { 23, 44, 697 }, { 44, 335, 697 }, { 23, 44, 335 } ], [ { 779, 781, 799 }, { 44, 781, 799 }, { 44, 779, 781 }, { 44, 779, 799 } ], [ { 23, 48, 781 }, { 44, 48, 781 }, { 23, 44, 48 }, { 23, 44, 781 } ], [ { 396, 406, 783 }, { 396, 402, 783 }, { 402, 406, 783 }, { 396, 402, 406 } ], [ { 53, 722, 785 }, { 53, 402, 785 }, { 402, 722, 785 }, { 53, 402, 722 } ], [ { 53, 405, 791 }, { 402, 405, 791 }, { 53, 402, 791 }, { 53, 402, 405 } ], [ { 402, 406, 783 }, { 406, 783, 789 }, { 402, 783, 789 }, { 402, 406, 789 } ], [ { 402, 405, 791 }, { 405, 789, 791 }, { 402, 789, 791 }, { 402, 405, 789 } ], [ { 406, 789, 791 }, { 406, 787, 791 }, { 787, 789, 791 }, { 406, 787, 789 } ], [ { 420, 792, 793 }, { 420, 793, 799 }, { 792, 793, 799 }, { 420, 792, 799 } ], [ { 410, 417, 791 }, { 417, 791, 792 }, { 410, 791, 792 }, { 410, 417, 792 } ], [ { 420, 423, 792 }, { 420, 792, 799 }, { 420, 423, 799 }, { 423, 792, 799 } ], [ { 410, 423, 906, 907 }, { 791, 799, 906, 907 }, { 423, 799, 907 }, { 410, 423, 791, 799 }, { 410, 791, 906 } ], [ { 410, 426, 792 }, { 410, 423, 426 }, { 423, 426, 792 }, { 410, 423, 792 } ], [ { 417, 791, 810 }, { 417, 791, 792 }, { 791, 792, 810 }, { 417, 792, 810 } ], [ { 59, 60, 431 }, { 59, 60, 773 }, { 59, 431, 773 }, { 60, 431, 773 } ], [ { 60, 431, 434 }, { 60, 434, 799 }, { 431, 434, 799 }, { 60, 431, 799 } ], [ { 406, 431, 444 }, { 64, 431, 444 }, { 64, 406, 444 }, { 64, 406, 431 } ], [ { 406, 448, 816 }, { 448, 799, 816 }, { 406, 799, 816 }, { 406, 448, 799 } ], [ { 431, 434, 448 }, { 434, 448, 799 }, { 431, 434, 799 }, { 431, 448, 799 } ], [ { 431, 444, 448 }, { 406, 444, 448 }, { 406, 431, 448 }, { 406, 431, 444 } ], [ { 68, 909, 911 }, { 820, 909, 911 }, { 68, 820, 909 }, { 68, 820, 911 } ], [ { 68, 183, 194 }, { 183, 194, 820 }, { 68, 194, 820 }, { 68, 183, 820 } ], [ { 74, 460, 821 }, { 74, 820, 821 }, { 74, 460, 820 }, { 460, 820, 821 } ], [ { 74, 910, 911 }, { 74, 820, 911 }, { 74, 820, 910 }, { 820, 910, 911 } ], [ { 470, 912, 929 }, { 470, 856, 929 }, { 470, 856, 912 }, { 856, 912, 929 } ], [ { 470, 471, 824 }, { 467, 468, 470, 471 }, { 468, 471, 824 }, { 467, 468, 824 }, { 467, 470, 824 } ], [ { 471, 828, 852 }, { 84, 471, 828 }, { 84, 828, 852 }, { 84, 471, 852 } ], [ { 95, 470, 829 }, { 95, 470, 856 }, { 470, 829, 856 }, { 95, 829, 856 } ], [ { 828, 829, 852, 856 }, { 841, 842, 852, 856 }, { 828, 829, 841, 842 }, { 828, 841, 852 }, { 829, 842, 856 } ], [ { 471, 913, 930 }, { 852, 913, 930 }, { 471, 852, 913 }, { 471, 852, 930 } ], [ { 478, 489, 914, 915 }, { 478, 489, 932 }, { 489, 931, 932, 937 }, { 478, 932, 934, 935 }, { 931, 932, 934 }, { 914, 933, 935, 938 }, { 478, 914, 935 }, { 931, 934, 936, 938 }, { 914, 915, 933 }, { 915, 933, 936, 937 }, { 489, 915, 937 }, { 931, 936, 937 }, { 934, 935, 938 }, { 933, 936, 938 } ], [ { 482, 492, 495, 504 }, { 489, 492, 495 }, { 478, 489, 492, 504 }, { 478, 482, 489, 495 }, { 478, 482, 504 } ], [ { 501, 504, 830, 831 }, { 499, 504, 830 }, { 499, 501, 504 }, { 499, 501, 831 }, { 499, 830, 831 } ], [ { 830, 939, 940 }, { 917, 939, 940, 941 }, { 830, 831, 917, 939 }, { 830, 831, 940, 941 }, { 831, 917, 941 } ], [ { 107, 124, 509, 917 }, { 107, 838, 839, 917 }, { 107, 124, 839 }, { 124, 509, 838, 839 }, { 509, 838, 917 } ], [ { 517, 841, 852 }, { 517, 852, 856 }, { 841, 842, 852, 856 }, { 517, 842, 856 }, { 517, 841, 842 } ], [ { 100, 517, 523 }, { 517, 523, 856 }, { 100, 517, 856 }, { 100, 523, 856 } ], [ { 100, 517, 528 }, { 517, 528, 852 }, { 100, 528, 852 }, { 100, 517, 852 } ], [ { 115, 532, 845 }, { 107, 115, 845 }, { 107, 532, 845 }, { 107, 115, 532 } ], [ { 115, 532, 942 }, { 115, 855, 942 }, { 532, 855, 942 }, { 115, 532, 855 } ], [ { 124, 532, 846 }, { 107, 532, 846 }, { 107, 124, 846 }, { 107, 124, 532 } ], [ { 124, 532, 943 }, { 532, 852, 943 }, { 124, 852, 943 }, { 124, 532, 852 } ], [ { 130, 532, 542 }, { 126, 130, 538, 542 }, { 532, 538, 542 }, { 126, 130, 532 }, { 126, 532, 538 } ], [ { 126, 532, 538 }, { 126, 532, 852 }, { 126, 538, 852 }, { 532, 538, 852 } ], [ { 126, 130, 852, 855 }, { 130, 549, 855 }, { 549, 852, 855 }, { 126, 549, 852 }, { 126, 130, 549 } ], [ { 130, 532, 855 }, { 130, 532, 542 }, { 130, 542, 855 }, { 532, 542, 855 } ], [ { 143, 565, 922 }, { 143, 856, 922 }, { 565, 856, 922 }, { 143, 565, 856 } ], [ { 139, 143, 148, 565 }, { 143, 565, 569 }, { 143, 148, 569, 923 }, { 139, 565, 569, 923 }, { 139, 148, 923 } ], [ { 569, 859, 863 }, { 856, 859, 863 }, { 143, 569, 856, 863 }, { 143, 569, 859 }, { 143, 856, 859 } ], [ { 565, 569, 924 }, { 565, 863, 924 }, { 569, 863, 924 }, { 565, 569, 863 } ], [ { 167, 944, 945 }, { 167, 588, 945 }, { 588, 944, 945 }, { 167, 588, 944 } ], [ { 167, 183, 947 }, { 167, 946, 947 }, { 183, 946, 947 }, { 167, 183, 946 } ], [ { 161, 167, 578 }, { 161, 162, 570, 578 }, { 167, 570, 578 }, { 162, 167, 570 }, { 161, 162, 167 } ], [ { 162, 167, 570 }, { 162, 167, 588 }, { 162, 570, 588 }, { 167, 570, 588 } ], [ { 7, 161, 183 }, { 161, 162, 183, 588 }, { 7, 11, 183, 588 }, { 7, 11, 161, 162 }, { 11, 162, 588 } ], [ { 161, 167, 578 }, { 161, 183, 578 }, { 167, 183, 578 }, { 161, 167, 183 } ], [ { 186, 588, 597 }, { 40, 186, 597 }, { 40, 186, 588 }, { 40, 588, 597 } ], [ { 183, 600, 609 }, { 183, 588, 600 }, { 183, 588, 597, 609 }, { 597, 600, 609 }, { 588, 597, 600 } ], [ { 183, 194, 609 }, { 183, 194, 820 }, { 194, 609, 820 }, { 183, 609, 820 } ], [ { 207, 238, 616 }, { 207, 616, 619 }, { 238, 616, 619 }, { 207, 238, 619 } ], [ { 207, 615, 616 }, { 207, 616, 870 }, { 615, 616, 870 }, { 207, 615, 870 } ], [ { 201, 626, 636 }, { 619, 626, 636 }, { 201, 619, 636 }, { 201, 619, 626 } ], [ { 207, 623, 636 }, { 619, 623, 636 }, { 207, 619, 636 }, { 207, 619, 623 } ], [ { 207, 627, 636 }, { 201, 207, 636 }, { 201, 207, 627, 628 }, { 627, 628, 636 }, { 201, 628, 636 } ], [ { 38, 201, 252 }, { 38, 201, 619 }, { 38, 252, 619 }, { 201, 252, 619 } ], [ { 38, 201, 773 }, { 38, 201, 653 }, { 38, 653, 773 }, { 201, 653, 773 } ], [ { 656, 660, 878, 879 }, { 201, 207, 656, 660 }, { 207, 656, 878 }, { 201, 207, 878, 879 }, { 201, 660, 879 } ], [ { 201, 230, 232, 660 }, { 201, 660, 773 }, { 201, 232, 773 }, { 230, 660, 773 }, { 230, 232, 773 } ], [ { 238, 616, 882 }, { 616, 619, 882 }, { 238, 616, 619 }, { 238, 619, 882 } ], [ { 669, 882, 884 }, { 619, 669, 884 }, { 619, 669, 882 }, { 619, 882, 884 } ], [ { 40, 670, 884 }, { 619, 670, 884 }, { 40, 619, 670 }, { 40, 619, 884 } ], [ { 40, 673, 884 }, { 673, 882, 884 }, { 40, 673, 882 }, { 40, 882, 884 } ], [ { 30, 38, 252 }, { 38, 252, 619 }, { 30, 38, 619 }, { 30, 252, 619 } ], [ { 40, 678, 682 }, { 619, 678, 682 }, { 40, 619, 678 }, { 40, 619, 682 } ], [ { 30, 682, 685 }, { 619, 682, 685 }, { 30, 619, 685 }, { 30, 619, 682 } ], [ { 30, 682, 696 }, { 40, 682, 696 }, { 30, 40, 696 }, { 30, 40, 682 } ], [ { 406, 705, 707, 927 }, { 64, 406, 927 }, { 64, 406, 705 }, { 64, 707, 927 }, { 64, 705, 707 } ], [ { 64, 431, 773 }, { 431, 713, 773, 948 }, { 64, 773, 948 }, { 64, 713, 948 }, { 64, 431, 713 } ], [ { 268, 280, 895 }, { 268, 280, 722 }, { 280, 722, 895 }, { 268, 722, 895 } ], [ { 280, 304, 895 }, { 272, 280, 895 }, { 272, 280, 304 }, { 272, 304, 895 } ], [ { 276, 280, 726 }, { 280, 722, 726 }, { 276, 280, 722 }, { 276, 722, 726 } ], [ { 53, 726, 791 }, { 53, 722, 791 }, { 722, 726, 791 }, { 53, 722, 726 } ], [ { 280, 738, 791 }, { 726, 738, 791 }, { 280, 726, 791 }, { 280, 726, 738 } ], [ { 280, 304, 305 }, { 272, 280, 305 }, { 272, 304, 305 }, { 272, 280, 304 } ], [ { 305, 736, 791 }, { 280, 736, 791 }, { 280, 305, 791 }, { 280, 305, 736 } ], [ { 304, 305, 741 }, { 272, 305, 741 }, { 272, 304, 741 }, { 272, 304, 305 } ], [ { 741, 750, 949 }, { 741, 750, 928, 950 }, { 750, 928, 949, 951 }, { 741, 949, 950, 951 }, { 928, 950, 951 } ], [ { 272, 328, 741 }, { 328, 741, 742 }, { 272, 328, 742 }, { 272, 741, 742 } ], [ { 315, 741, 750 }, { 315, 324, 750 }, { 324, 328, 741, 750 }, { 315, 328, 741 }, { 315, 324, 328 } ], [ { 40, 324, 756 }, { 40, 272, 756 }, { 40, 272, 324, 328 }, { 272, 328, 756 }, { 324, 328, 756 } ], [ { 40, 324, 764 }, { 40, 750, 764 }, { 324, 750, 764 }, { 40, 324, 750 } ], [ { 23, 40, 335 }, { 23, 335, 750 }, { 23, 40, 750 }, { 40, 335, 750 } ], [ { 23, 750, 799 }, { 23, 750, 904, 928 }, { 750, 799, 928 }, { 799, 904, 928 }, { 23, 799, 904 } ], [ { 30, 38, 44 }, { 30, 38, 773 }, { 38, 44, 773 }, { 30, 44, 773 } ], [ { 30, 44, 335 }, { 30, 40, 335 }, { 40, 44, 335 }, { 30, 40, 44 } ], [ { 44, 373, 773 }, { 44, 369, 373 }, { 369, 373, 773 }, { 44, 369, 773 } ], [ { 60, 773, 799 }, { 60, 369, 799 }, { 60, 369, 773 }, { 369, 773, 799 } ], [ { 44, 779, 799 }, { 369, 779, 799 }, { 44, 369, 799 }, { 44, 369, 779 } ], [ { 23, 44, 335 }, { 23, 40, 335 }, { 23, 40, 44 }, { 40, 44, 335 } ], [ { 23, 781, 799 }, { 23, 44, 781 }, { 44, 781, 799 }, { 23, 44, 799 } ], [ { 396, 406, 722 }, { 396, 402, 406 }, { 396, 402, 722 }, { 402, 406, 722 } ], [ { 53, 722, 791 }, { 53, 402, 791 }, { 402, 722, 791 }, { 53, 402, 722 } ], [ { 402, 406, 791 }, { 406, 789, 791 }, { 402, 789, 791 }, { 402, 406, 789 } ], [ { 406, 792, 793 }, { 792, 793, 799 }, { 406, 793, 799 }, { 406, 792, 799 } ], [ { 410, 423, 792 }, { 410, 423, 791, 799 }, { 423, 792, 799 }, { 791, 792, 799 }, { 410, 791, 792 } ], [ { 791, 792, 810 }, { 406, 791, 810 }, { 406, 791, 792 }, { 406, 792, 810 } ], [ { 60, 431, 799 }, { 60, 431, 773 }, { 60, 773, 799 }, { 431, 773, 799 } ], [ { 64, 406, 431 }, { 406, 431, 773 }, { 64, 431, 773 }, { 64, 406, 773 } ], [ { 406, 431, 448 }, { 431, 448, 799 }, { 406, 448, 799 }, { 406, 431, 799 } ], [ { 68, 183, 911 }, { 183, 820, 911 }, { 68, 183, 820 }, { 68, 820, 911 } ], [ { 74, 821, 911 }, { 74, 820, 911 }, { 74, 820, 821 }, { 820, 821, 911 } ], [ { 470, 911, 929 }, { 470, 856, 929 }, { 470, 856, 911 }, { 856, 911, 929 } ], [ { 470, 471, 824 }, { 470, 824, 911 }, { 470, 471, 911 }, { 471, 824, 911 } ], [ { 470, 471, 852, 856 }, { 828, 829, 852, 856 }, { 470, 471, 828, 829 }, { 470, 829, 856 }, { 471, 828, 852 } ], [ { 471, 852, 930 }, { 471, 911, 930 }, { 852, 911, 930 }, { 471, 852, 911 } ], [ { 492, 501, 504 }, { 478, 489, 492, 504 }, { 489, 492, 501, 932 }, { 478, 501, 504, 932 }, { 478, 489, 932 } ], [ { 830, 831, 917, 939 }, { 501, 504, 917, 939 }, { 501, 504, 830, 831 }, { 504, 830, 939 }, { 501, 831, 917 } ], [ { 100, 509, 917 }, { 509, 856, 917 }, { 100, 509, 856 }, { 100, 856, 917 } ], [ { 107, 124, 509, 917 }, { 100, 107, 917 }, { 100, 107, 124 }, { 100, 509, 917 }, { 100, 124, 509 } ], [ { 100, 124, 852 }, { 100, 107, 124 }, { 107, 124, 852 }, { 100, 107, 852 } ], [ { 100, 517, 852 }, { 100, 517, 856 }, { 517, 852, 856 }, { 100, 852, 856 } ], [ { 115, 532, 855 }, { 107, 115, 532 }, { 107, 115, 855 }, { 107, 532, 855 } ], [ { 124, 532, 852 }, { 107, 124, 532 }, { 107, 532, 852 }, { 107, 124, 852 } ], [ { 130, 532, 855 }, { 126, 130, 852, 855 }, { 532, 852, 855 }, { 126, 532, 852 }, { 126, 130, 532 } ], [ { 565, 569, 863 }, { 565, 856, 863 }, { 143, 569, 856, 863 }, { 143, 565, 569 }, { 143, 565, 856 } ], [ { 167, 565, 952 }, { 565, 856, 952 }, { 167, 856, 952 }, { 167, 565, 856 } ], [ { 167, 565, 953 }, { 565, 863, 953 }, { 167, 863, 953 }, { 167, 565, 863 } ], [ { 167, 863, 944 }, { 167, 588, 863 }, { 167, 588, 944 }, { 588, 863, 944 } ], [ { 167, 183, 947 }, { 167, 856, 947 }, { 183, 856, 947 }, { 167, 183, 856 } ], [ { 161, 167, 183 }, { 161, 162, 183, 588 }, { 167, 183, 588 }, { 162, 167, 588 }, { 161, 162, 167 } ], [ { 40, 597, 609, 820 }, { 40, 183, 588, 820 }, { 183, 609, 820 }, { 183, 588, 597, 609 }, { 40, 588, 597 } ], [ { 207, 616, 870 }, { 207, 616, 619 }, { 616, 619, 870 }, { 207, 619, 870 } ], [ { 201, 207, 636 }, { 207, 619, 636 }, { 201, 619, 636 }, { 201, 207, 619 } ], [ { 38, 201, 773 }, { 38, 201, 619 }, { 38, 619, 773 }, { 201, 619, 773 } ], [ { 201, 660, 773 }, { 201, 207, 773, 870 }, { 656, 660, 773, 870 }, { 201, 207, 656, 660 }, { 207, 656, 870 } ], [ { 616, 870, 882 }, { 616, 619, 882 }, { 616, 619, 870 }, { 619, 870, 882 } ], [ { 40, 882, 884 }, { 40, 619, 884 }, { 619, 882, 884 }, { 40, 619, 882 } ], [ { 30, 38, 773 }, { 30, 38, 619 }, { 38, 619, 773 }, { 30, 619, 773 } ], [ { 30, 40, 682 }, { 30, 619, 682 }, { 40, 619, 682 }, { 30, 40, 619 } ], [ { 64, 927, 948 }, { 406, 773, 927, 948 }, { 64, 773, 948 }, { 64, 406, 773 }, { 64, 406, 927 } ], [ { 272, 280, 895 }, { 280, 722, 895 }, { 272, 280, 722 }, { 272, 722, 895 } ], [ { 280, 726, 791 }, { 280, 722, 791 }, { 722, 726, 791 }, { 280, 722, 726 } ], [ { 280, 305, 791 }, { 272, 305, 791 }, { 272, 280, 791 }, { 272, 280, 305 } ], [ { 305, 741, 791 }, { 272, 741, 791 }, { 272, 305, 791 }, { 272, 305, 741 } ], [ { 741, 750, 791, 799 }, { 741, 750, 928, 950 }, { 750, 799, 928 }, { 791, 799, 928, 950 }, { 741, 791, 950 } ], [ { 40, 324, 750 }, { 40, 272, 324, 328 }, { 40, 272, 741, 750 }, { 324, 328, 741, 750 }, { 272, 328, 741 } ], [ { 23, 40, 799 }, { 23, 750, 799 }, { 23, 40, 750 }, { 40, 750, 799 } ], [ { 30, 40, 44 }, { 30, 44, 773 }, { 30, 40, 773 }, { 40, 44, 773 } ], [ { 44, 773, 799 }, { 44, 369, 799 }, { 369, 773, 799 }, { 44, 369, 773 } ], [ { 23, 44, 799 }, { 23, 40, 799 }, { 23, 40, 44 }, { 40, 44, 799 } ], [ { 406, 722, 791 }, { 402, 406, 791 }, { 402, 722, 791 }, { 402, 406, 722 } ], [ { 406, 791, 792 }, { 791, 792, 799 }, { 406, 791, 799 }, { 406, 792, 799 } ], [ { 406, 431, 799 }, { 406, 431, 773 }, { 431, 773, 799 }, { 406, 773, 799 } ], [ { 183, 856, 911 }, { 183, 820, 911 }, { 183, 820, 856 }, { 820, 856, 911 } ], [ { 821, 852, 911 }, { 820, 852, 911 }, { 820, 821, 852 }, { 820, 821, 911 } ], [ { 471, 852, 911 }, { 470, 471, 852, 856 }, { 852, 856, 911 }, { 470, 471, 911 }, { 470, 856, 911 } ], [ { 501, 504, 917, 939 }, { 107, 492, 501, 917 }, { 107, 917, 939 }, { 107, 492, 504, 939 }, { 492, 501, 504 } ], [ { 100, 852, 856 }, { 100, 107, 852 }, { 107, 852, 856, 917 }, { 100, 107, 917 }, { 100, 856, 917 } ], [ { 532, 852, 855 }, { 107, 532, 852 }, { 107, 532, 855 }, { 107, 852, 855 } ], [ { 167, 565, 863 }, { 167, 565, 856 }, { 565, 856, 863 }, { 167, 856, 863 } ], [ { 167, 588, 863 }, { 40, 167, 863 }, { 40, 167, 588 }, { 40, 588, 863 } ], [ { 167, 183, 856 }, { 167, 183, 820 }, { 167, 820, 856 }, { 183, 820, 856 } ], [ { 40, 167, 588 }, { 40, 167, 820 }, { 40, 183, 588, 820 }, { 167, 183, 588 }, { 167, 183, 820 } ], [ { 201, 207, 773, 870 }, { 201, 619, 773 }, { 619, 773, 870 }, { 201, 207, 619 }, { 207, 619, 870 } ], [ { 40, 870, 882 }, { 40, 619, 882 }, { 40, 619, 870 }, { 619, 870, 882 } ], [ { 30, 40, 773 }, { 30, 40, 619 }, { 30, 619, 773 }, { 40, 619, 773 } ], [ { 406, 773, 927, 948 }, { 722, 773, 948, 954 }, { 927, 948, 954 }, { 406, 722, 927, 954 }, { 406, 722, 773 } ], [ { 272, 280, 791 }, { 280, 722, 791 }, { 272, 722, 791 }, { 272, 280, 722 } ], [ { 40, 750, 799 }, { 40, 272, 791, 799 }, { 40, 272, 741, 750 }, { 741, 750, 791, 799 }, { 272, 741, 791 } ], [ { 40, 44, 799 }, { 44, 773, 799 }, { 40, 773, 799 }, { 40, 44, 773 } ], [ { 406, 773, 799 }, { 406, 722, 773 }, { 722, 773, 791, 799 }, { 406, 791, 799 }, { 406, 722, 791 } ], [ { 852, 856, 911 }, { 820, 852, 911 }, { 820, 852, 856 }, { 820, 856, 911 } ], [ { 852, 855, 856, 863, 955, 956 }, { 107, 852, 855 }, { 107, 852, 856, 917 }, { 107, 855, 939, 956 }, { 863, 917, 939, 955 }, { 856, 863, 917 }, { 107, 917, 939 }, { 939, 955, 956 } ], [ { 40, 167, 820 }, { 167, 820, 856 }, { 40, 820, 856, 863 }, { 40, 167, 863 }, { 167, 856, 863 } ], [ { 40, 773, 870 }, { 40, 619, 773 }, { 40, 619, 870 }, { 619, 773, 870 } ], [ { 773, 948, 957, 958 }, { 722, 773, 957 }, { 722, 954, 957, 958 }, { 722, 773, 948, 954 }, { 948, 954, 958 } ], [ { 722, 773, 791, 799 }, { 40, 272, 722, 773 }, { 40, 773, 799 }, { 40, 272, 791, 799 }, { 272, 722, 791 } ], [ { 40, 820, 856, 863 }, { 40, 272, 820 }, { 272, 820, 852, 855 }, { 852, 855, 856, 863, 955, 956 }, { 820, 852, 856 }, { 40, 863, 955 }, { 40, 272, 955, 956 }, { 272, 855, 956 } ], [ { 40, 870, 959 }, { 40, 957, 959 }, { 773, 870, 957, 959 }, { 40, 773, 870 }, { 40, 773, 957 } ], [ { 40, 272, 722, 773 }, { 722, 773, 957 }, { 272, 722, 957 }, { 40, 272, 957 }, { 40, 773, 957 } ], [ { 40, 272, 957 }, { 40, 957, 959 }, { 40, 820, 959 }, { 40, 272, 820 }, { 820, 959, 960 }, { 272, 820, 960 }, { 272, 957, 960 }, { 957, 959, 960 } ] ] /* Order of PGL_2(O) stabilizers of Voronoi top cells */ [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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, 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, 2, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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, 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, 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, 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, 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, 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, 2, 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, 12, 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, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 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, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 3, 1, 1, 2, 1, 3, 1, 1, 3 ] /* GAP id of GL_2(O) stabilizers of Voronoi top cells */ [ <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <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>, <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>, <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>, <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>, <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>, <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>, <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>, <24, 3>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <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>, <12, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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, 2>, <2, 1>, <4, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <6, 2> ]