/* Defining polynomial */ x^2 - x + 321 /* Minimal vectors */ [ <-3*w + 33, -62>, <7*w + 48, -6*w + 85>, <-3*w + 137, -5*w - 112>, <-6*w + 170, -5*w - 174>, <104, -5*w - 50>, <125, -6*w - 60>, <12*w + 37, -8*w + 162>, <-5*w + 99, -2*w - 122>, <7*w + 136, -10*w + 40>, <31*w + 403, -35*w + 272>, <-12*w + 49, 4*w - 203>, <5*w + 94, -7*w + 30>, <-7*w + 143, -3*w - 173>, <-31*w + 434, -4*w - 671>, <4*w + 4, -2*w + 59>, <-2*w + 19, -38>, <-3*w + 29, -57>, <2*w + 87, -5*w - 5>, <-4*w + 22, w - 69>, , <-13*w + 77, 3*w - 227>, <-w + 272, -12*w - 139>, <-3*w + 98, -3*w - 89>, <-12*w + 153, -w - 247>, <22, -w - 10>, <5*w + 98, -7*w + 29>, <-2*w + 109, -4*w - 79>, <-2*w + 21, -40>, <7*w + 74, -7*w + 73>, <-5*w + 95, -2*w - 119>, <-7*w + 116, -2*w - 159>, <-3*w + 10, w - 51>, <4*w + 42, -4*w + 43>, <6*w + 42, -5*w + 74>, <2*w, -w + 31>, <2*w + 84, -5*w - 7>, <2*w + 126, -7*w - 26>, <-3*w + 136, -5*w - 107>, <4*w + 210, -12*w - 33>, <-7*w + 31, 2*w - 121>, <-9*w + 52, 2*w - 161>, <147, -7*w - 66>, <496*w + 269, -273*w + 7571>, <1488*w + 290, -794*w + 22959>, <273*w + 8332, -546*w + 273>, <-694*w + 24977, -844*w - 22657>, <1538*w + 265, -819*w + 23747>, <794*w + 8330, -819*w + 8361>, <819*w + 24479, -1613*w + 1065>, <1538*w + 782, -844*w + 23501>, <-223*w + 8063, -273*w - 7298>, <-694*w + 23943, -794*w - 22165>, <-31*w + 212, 6*w - 582>, <-29*w + 666, -17*w - 767>, <-60*w + 878, -11*w - 1349>, <1303, -63*w - 620>, <31*w + 181, -25*w + 395>, <29*w + 637, -46*w + 147>, <60*w + 818, -71*w + 542>, <-79*w + 298, 27*w - 1368>, <-2*w + 973, -46*w - 494>, <-27*w + 1244, -46*w - 1011>, <-29*w + 2217, -92*w - 1505>, <79*w + 219, -52*w + 1122>, <27*w + 700, -48*w + 86>, <106*w + 919, -100*w + 1208>, <-52*w + 998, -21*w - 1282>, <-27*w + 727, -21*w - 765>, <-106*w + 1025, 6*w - 2133>, <133*w + 1619, -148*w + 1294>, <-133*w + 1752, -15*w - 2898>, <52*w + 946, -73*w + 357>, <2*w + 971, -48*w - 431>, <27*w + 1217, -73*w - 160>, <29*w + 2188, -121*w - 591>, <15*w + 23, -9*w + 221>, <-7*w + 35, 2*w - 125>, <8*w + 58, -7*w + 96>, <-6*w + 107, -2*w - 144>, , <-17*w + 165, w - 342>, <-11*w + 16, 5*w - 178>, <-6*w + 86, -w - 134>, <-4*w + 147, -5*w - 132>, <5*w + 215, -13*w - 25>, <14*w + 96, -12*w + 171>, <-10*w + 109, -207>, <228, -11*w - 109>, <-14*w + 132, w - 280>, <4*w + 205, -12*w - 36>, <-47*w + 98, 20*w - 775>, <-4*w + 23, w - 73>, <-12*w + 48, 4*w - 209>, <12*w + 159, -14*w + 110>, , <-11*w + 120, -228>, <207, -10*w - 99>, <20*w + 755, -47*w - 51>, <5*w + 49, -5*w + 54>, <8*w + 182, -13*w + 37>, <-4*w + 230, -9*w - 172>, <13*w + 24, -8*w + 190>, <-9*w + 181, -4*w - 226>, <-4*w + 2, 2*w - 63>, <3*w + 278, -15*w - 86>, <-11*w + 223, -5*w - 277>, <-23*w + 250, -476>, <7*w + 255, -16*w - 13>, <19*w + 704, -44*w - 41>, <-46*w + 24, 23*w - 725>, <23*w + 226, -23*w + 249>, <-16*w + 29, 7*w - 262>, <476, -23*w - 227>, <23*w + 702, -46*w + 22>, <-44*w + 85, 19*w - 723>, <-5*w + 282, -11*w - 212>, <2*w + 123, -7*w - 28>, <-2*w + 146, -6*w - 101>, , <7*w + 89, -8*w + 66>, <9*w + 212, -15*w + 38>, <2*w + 61, -4*w + 2>, <-15*w + 101, 3*w - 281>, <-w + 135, -6*w - 80>, <-5*w + 137, -4*w - 143>, <-13*w + 38, 5*w - 220>, <5*w + 173, -11*w - 5>, , <62, -3*w - 30>, <6*w + 79, -7*w + 55>, <-5*w + 179, -6*w - 164>, <-5*w + 55, -104>, <-5*w + 117, -3*w - 134>, <-3*w + 12, w - 52>, <5*w + 7, -3*w + 74>, <5*w + 69, -6*w + 44>, <-7*w + 98, -w - 156>, <-6*w + 4, 3*w - 95>, <6*w + 38, -5*w + 74>, <3*w + 71, -5*w + 12>, <-w + 157, -7*w - 91>, <3*w + 92, -6*w + 2>, <4*w + 191, -11*w - 31>, <-3*w + 248, -10*w - 163>, <-4*w + 195, -7*w - 153>, <3*w + 245, -13*w - 72>, <-w + 54, -2*w - 41>, <-7*w + 79, -143>, <8*w + 81, -8*w + 81>, <-3*w + 98, -3*w - 92>, <-2*w + 44, -w - 51>, <2*w + 106, -6*w - 21>, <150, -7*w - 72>, , <7*w + 72, -7*w + 71>, <-8*w + 89, -162>, <3*w + 95, -6*w>, <2*w + 42, -3*w + 10>, <-2*w + 108, -4*w - 81>, <150, -7*w - 71>, <-9*w + 37, 3*w - 153>, <2*w + 63, -4*w>, <10*w + 80, -9*w + 112>, <-3*w + 119, -4*w - 102>, <-17*w + 20, 8*w - 265>, , <3*w + 9, -2*w + 41>, <-4*w + 45, -82>, <-8*w + 111, -w - 174>, <-5*w + 120, -3*w - 133>, <9*w + 28, -6*w + 122>, <-2*w + 65, -2*w - 61>, <-10*w + 90, w - 193>, <3*w + 116, -7*w - 10>, <17*w + 3, -9*w + 254>, <-w + 118, -5*w - 71>, <-6*w + 3, 3*w - 92>, <5*w + 72, -6*w + 41>, <-5*w + 77, -w - 112>, <149, -7*w - 71>, <-3*w + 12, w - 51>, <170, -8*w - 81>, <4*w + 41, -4*w + 41>, <8*w + 103, -9*w + 72>, <5*w + 115, -8*w + 21>, <-10*w + 5, 5*w - 148>, <44, -2*w - 21>, <5*w + 207, -12*w - 26>, <-5*w + 212, -7*w - 174>, <-24*w + 12, 12*w - 355>, <12*w + 16, -7*w + 167>, <-12*w + 28, 5*w - 188>, <17*w + 179, -17*w + 162>, <-17*w + 196, -341>, <12*w + 391, -24*w - 12>, <-12*w + 403, -12*w - 367>, <-2*w + 2, w - 29>, <3*w + 32, -3*w + 26>, , <-2*w + 71, -2*w - 63>, <-w + 12, -20>, <23, -w - 11>, <-w + 35, -w - 31>, <6*w + 65, -6*w + 53>, <-3*w + 35, -58>, <-w + 35, -w - 30>, <2*w + 69, -4*w - 4>, <2*w, -w + 28>, , , <-6*w + 71, -118>, <-w + 9, -19>, , <-3*w + 28, -58>, <62, -3*w - 25>, <6*w + 24, -4*w + 83>, <-3*w + 50, -w - 68>, <-2*w + 61, -2*w - 57>, <6*w + 3, -3*w + 92>, <2*w + 63, -4*w + 4>, <-w + 11, -19>, , <23, -w - 10>, , <1, 0>, <-w + 11, -18>, , <-w + 34, -w - 28>, <7*w + 15, -4*w + 92>, <-4*w + 112, -3*w - 105>, , <20, -w - 7>, , <-w + 8, -18>, <2*w + 4, -w + 29>, <21, -w - 8>, <-3*w + 110, -4*w - 88>, <7*w, -3*w + 108>, <2*w + 23, -2*w + 21>, <42, -2*w - 17>, <3*w + 98, -6*w + 6>, <2*w + 1, -w + 29>, <-w + 10, -19>, <-3*w + 31, -57>, <44, -2*w - 19>, , <-2*w + 43, -w - 48>, <-w + 31, -w - 28>, <-3*w + 8, w - 49>, <21, -w - 9>, <3*w + 12, -2*w + 40>, <-w + 53, -2*w - 38>, <12*w + 112, -11*w + 132>, <-13*w + 133, -253>, <-w + 245, -11*w - 121>, <2*w + 65, -4*w + 2>, <2*w + 257, -13*w - 81>, <11*w + 165, -13*w + 94>, <-2*w + 21, -38>, <2*w + 23, -2*w + 19>, <3*w + 101, -6*w>, <-3*w + 33, -58>, <3*w + 34, -3*w + 28>, <-6*w + 22, 2*w - 99>, <2*w + 43, -3*w + 10>, <-4*w + 65, -w - 89>, <-5*w + 76, -w - 109>, <5*w + 97, -7*w + 30>, <6*w + 22, -4*w + 79>, <-2*w + 43, -w - 49>, <-3*w + 54, -w - 69>, <4*w + 65, -5*w + 30>, <4*w, -2*w + 59>, <2*w + 65, -4*w>, <-w + 53, -2*w - 39>, <5*w + 53, -5*w + 52>, <-3*w + 74, -2*w - 79>, <2*w + 127, -7*w - 27>, <5*w + 32, -4*w + 61>, <-4*w + 85, -2*w - 99>, <4*w + 85, -6*w + 22>, , <106, -5*w - 48>, <2*w + 21, -2*w + 21>, <7*w + 116, -9*w + 54>, <9*w + 137, -11*w + 75>, <5*w + 95, -7*w + 33>, <-5*w + 12, 2*w - 81>, <4*w + 20, -3*w + 51>, <-w + 32, -w - 30>, <2*w + 127, -7*w - 29>, <-w + 11, -20>, <-2*w + 43, -w - 50>, <21, -w - 10>, <4*w + 41, -4*w + 42>, <-w + 53, -2*w - 40>, <13*w + 410, -26*w + 13>, <-45*w + 431, 2*w - 882>, <-15*w + 431, -13*w - 424>, <-60*w + 862, -11*w - 1306>, <-28*w + 21, 13*w - 437>, <-43*w + 494, -2*w - 880>, <-71*w + 515, 11*w - 1317>, <39*w + 410, -39*w + 410>, <13*w + 452, -28*w - 6>, <-15*w + 473, -15*w - 443>, <-26*w + 42, 11*w - 416>, <42, -2*w - 19>, <26*w, -13*w + 397>, <-13*w + 452, -15*w - 403>, <3658, -174*w - 1655>, <28*w + 21, -15*w + 418>, <-13*w + 410, -13*w - 384>, <15*w + 431, -28*w + 34>, <174*w + 1829, -174*w + 1829>, <820, -39*w - 371>, <30*w, -15*w + 458>, <69*w + 410, -54*w + 868>, <41*w + 431, -41*w + 431>, <862, -41*w - 390>, <-15*w + 1293, -54*w - 814>, <54*w + 21, -28*w + 815>, <41*w + 473, -43*w + 412>, <-26*w + 862, -28*w - 787>, <2*w + 883, -43*w - 369>, <-11*w + 431, -15*w - 363>, <26*w + 42, -15*w + 378>, <15*w + 473, -30*w + 15>, <84*w + 1051, -92*w + 807>, <8*w + 1850, -92*w - 715>, <26*w + 84, -17*w + 359>, <-9*w + 452, -17*w - 342>, , <2*w + 41, -3*w + 12>, <4*w + 41, -4*w + 43>, <-3*w + 73, -2*w - 80>, , <-5*w + 32, w - 92>, <-w + 73, -3*w - 49>, <-2*w + 42, -w - 50>, <-6*w + 84, -w - 131>, <7*w + 31, -5*w + 93>, <9*w + 52, -7*w + 114>, <-2*w + 126, -5*w - 88>, <-2*w + 168, -7*w - 107>, <-5*w + 12, 2*w - 83>, <-5*w + 74, -w - 112>, <2*w + 103, -6*w - 17>, <-6*w + 44, w - 113>, <-3*w + 74, -2*w - 81>, <4*w + 82, -6*w + 23>, <-3*w + 11, w - 51>, <-4*w + 43, -81>, <-7*w + 54, w - 132>, <84, -4*w - 39>, <4*w + 20, -3*w + 52>, <-4*w + 64, -w - 91>, , <-3*w + 72, -2*w - 79>, <-w + 72, -3*w - 48>, <5*w + 93, -7*w + 36>, <-4*w + 42, -81>, <3*w + 10, -2*w + 42>, <83, -4*w - 38>, <3*w + 31, -3*w + 32>, <-w + 10, -20>, <-4*w + 41, -80>, <-5*w + 10, 2*w - 81>, <3*w + 11, -2*w + 41>, <5*w + 95, -7*w + 34>, <105, -5*w - 47>, <-6*w + 20, 2*w - 101>, <2*w + 42, -3*w + 12>, <5*w + 53, -5*w + 53>, <-w + 94, -4*w - 57>, <2*w + 105, -6*w - 16>, <2*w + 168, -9*w - 45>, <2*w + 210, -11*w - 64>, <-7*w + 73, -140>, <5*w + 12, -3*w + 72>, <-w + 31, -w - 29>, <4*w + 43, -4*w + 43>, <83, -4*w - 36>, <-4*w + 20, w - 70>, <3*w + 95, -6*w + 4>, <-w + 115, -5*w - 66>, , <2*w + 43, -3*w + 11>, <-3*w + 53, -w - 69>, <85, -4*w - 38>, <4*w + 128, -8*w + 3>, <3*w + 53, -4*w + 22>, , <3*w + 95, -6*w + 3>, <4*w + 43, -4*w + 42>, <4*w + 127, -8*w + 5>, , <3*w + 54, -4*w + 20>, <-2*w + 108, -4*w - 79>, <-4*w + 43, -79>, <2*w + 108, -6*w - 19>, <4*w + 43, -4*w + 40>, <-2*w + 86, -3*w - 69>, <86, -4*w - 39>, <2*w, -w + 30>, <6*w + 43, -5*w + 71>, <3*w + 96, -6*w + 2>, <1811*w + 7046, -1290*w + 24758>, <15903, -769*w - 7567>, <-521*w + 48228, -2059*w - 31035>, <-1563*w + 48749, -1538*w - 47457>, <-1811*w + 8857, 521*w - 32325>, <1563*w + 47186, -3101*w + 1809>, <521*w + 47707, -2580*w - 14613>, <-3101*w + 1809, 1538*w - 48995>, <769*w + 7567, -769*w + 8336>, <-521*w + 32325, -1290*w - 23468>, <248*w + 39892, -2059*w - 15132>, <1811*w + 22949, -2059*w + 17191>, <-1563*w + 16943, -32323>, <769*w + 23470, -1538*w + 769>, <25*w + 16666, -819*w - 7542>, <-248*w + 8334, -273*w - 7815>, <-719*w + 24731, -819*w - 22928>, <-521*w + 2, 273*w - 8088>, <-719*w + 24214, -794*w - 22682>, <25*w + 16149, -794*w - 7296>, <-744*w + 8065, -15386>, <-496*w + 16151, -521*w - 15384>, <-694*w + 56266, -2357*w - 37545>, <-1017*w + 250, 521*w - 15905>, <769*w + 8084, -794*w + 8090>, <3051*w + 15670, -2357*w + 39902>, <1513*w + 19, -794*w + 23476>, <4*w + 391, -21*w - 124>, <393, -19*w - 187>, <2*w + 723, -36*w - 313>, <-4*w + 395, -17*w - 250>, <-2*w + 725, -34*w - 376>, <-66*w + 33, 33*w - 1040>, <-2*w + 1242, -59*w - 622>, <2*w + 1240, -61*w - 559>, <-25*w + 271, -517>, <77*w + 675, -73*w + 874>, <1944, -94*w - 925>, <-104*w + 52, 52*w - 1639>, <77*w + 1192, -98*w + 628>, <-77*w + 1269, -21*w - 1799>, <2461, -119*w - 1171>, <25*w + 246, -25*w + 271>, <-77*w + 752, 4*w - 1553>, <27*w + 307, -29*w + 273>, <-48*w + 479, 2*w - 973>, <4*w + 515, -27*w - 183>, <-19*w + 1240, -50*w - 885>, <-23*w + 725, -23*w - 702>, <-27*w + 210, 4*w - 519>, <-50*w + 935, -19*w - 1221>, <29*w + 244, -27*w + 334>, <-25*w + 147, 6*w - 458>, <-54*w + 296, 14*w - 979>, <6*w + 452, -25*w - 122>, <14*w + 965, -54*w - 242>, <-40*w + 1261, -40*w - 1221>, <8*w + 389, -23*w - 61>, <10*w + 450, -27*w - 59>, <-25*w + 540, -13*w - 645>, <-19*w + 599, -19*w - 580>, <68*w + 669, -68*w + 737>, <-27*w + 86, 10*w - 460>, <37*w + 364, -37*w + 401>, <43*w + 423, -43*w + 466>, <-17*w + 536, -17*w - 519>, <-33*w + 27, 16*w - 525>, <16*w + 509, -33*w + 6>, <-23*w + 84, 8*w - 397>, <-13*w + 658, -25*w - 515>, <-21*w + 145, 4*w - 395>, , <-10*w + 26, 4*w - 167>, <-2*w + 84, -3*w - 71>, <-w + 156, -7*w - 90>, <9*w + 47, -7*w + 117>, <3*w + 133, -8*w - 17>, <-15*w + 267, -5*w - 360>, <-5*w + 158, -5*w - 153>, <35*w + 240, -30*w + 428>, <30*w + 398, -35*w + 275>, <-32*w + 452, -5*w - 712>, <-5*w + 717, -32*w - 420>, <-35*w + 319, 3*w - 695>, <65*w + 638, -65*w + 703>, <3*w + 692, -35*w - 284>, <7*w + 338, -20*w - 53>, <-8*w + 25, 3*w - 136>, <-20*w + 73, 7*w - 345>, <-10*w + 88, w - 197>, <-41*w + 53, 19*w - 661>, <19*w + 642, -41*w - 12>, <-22*w + 695, -22*w - 673>, <-12*w + 27, 5*w - 199>, <5*w + 194, -12*w - 15>, <6*w + 59, -6*w + 65>, <-7*w + 97, -w - 155>, <7*w + 110, -9*w + 56>, <-5*w + 365, -15*w - 252>, <25*w + 121, -19*w + 330>, <9*w + 378, -23*w - 41>, <-9*w + 160, -3*w - 216>, , <-w + 11, -21>, <-8*w + 67, w - 157>, <2*w + 81, -5*w - 8>, <4*w + 121, -8*w + 4>, <3*w + 132, -8*w - 17>, <-6*w + 148, -4*w - 165>, <-5*w + 34, w - 94>, <-3*w + 74, -2*w - 82>, <10*w + 15, -6*w + 148>, <4*w + 163, -10*w - 16>, <-14*w + 70, 4*w - 251>, <2*w + 143, -8*w - 38>, <9*w + 25, -6*w + 128>, <-3*w + 157, -6*w - 122>, <9*w + 5, -5*w + 137>, <-3*w + 178, -7*w - 132>, <6*w + 183, -12*w + 5>, <38*w + 309, -35*w + 440>, <-36*w + 436, -2*w - 767>, <2*w + 745, -37*w - 327>, <-8*w + 25, 3*w - 135>, <-8*w + 46, 2*w - 145>, <6*w + 122, -9*w + 34>, <-6*w + 128, -3*w - 154>, <83, -4*w - 40>, <4*w + 39, -4*w + 43>, <21*w + 101, -16*w + 276>, <-9*w + 369, -13*w - 317>, <25*w + 57, -16*w + 359>, <-13*w + 330, -9*w - 360>, <16*w + 343, -25*w + 82>, <-4*w + 44, -83>, <16*w + 260, -21*w + 122>, <-21*w + 65, 8*w - 356>, <8*w + 348, -21*w - 44>, <-13*w + 413, -13*w - 400>, <-9*w + 15, 4*w - 142>, <11*w + 27, -7*w + 152>, <-3*w + 162, -6*w - 122>, <-4*w + 2, 2*w - 61>, <6*w + 147, -10*w + 20>, <13*w + 4, -7*w + 193>, <107, -5*w - 51>, <-6*w + 153, -4*w - 163>, <7*w + 50, -6*w + 81>, <7*w + 157, -11*w + 30>, <-13*w + 17, 6*w - 203>, <-7*w + 57, w - 132>, <-7*w + 164, -4*w - 183>, <9*w + 6, -5*w + 132>, <-11*w + 38, 4*w - 183>, <3*w + 159, -9*w - 31>, <-6*w + 46, w - 112>, <6*w + 40, -5*w + 71>, <6*w + 18, -4*w + 81>, <4*w + 62, -5*w + 30>, <-4*w + 67, -w - 92>, <-6*w + 24, 2*w - 101>, <4*w + 63, -5*w + 30>, <-4*w + 66, -w - 91>, <5*w + 136, -9*w + 10>, <-5*w + 141, -4*w - 142>, <15*w + 110, -13*w + 173>, <-13*w + 188, -2*w - 285>, <-2*w + 300, -13*w - 173>, <-15*w + 125, 2*w - 285>, <13*w + 175, -15*w + 112>, <2*w + 298, -15*w - 112>, <9*w + 177, -13*w + 51>, <-9*w + 186, -4*w - 224>, <11*w + 240, -17*w + 51>, <-11*w + 251, -6*w - 285>, <363, -17*w - 173>, <-5*w + 13, 2*w - 82>, <-4*w + 108, -3*w - 112>, <5*w + 8, -3*w + 72>, <4*w + 104, -7*w + 11>, <5*w + 51, -5*w + 51>, <-6*w + 88, -w - 132>, <-3*w + 14, w - 50>, <22, -w - 11>, <-3*w + 36, -61>, <-3*w + 13, w - 50>, <4*w + 19, -3*w + 49>, , <3*w + 31, -3*w + 28>, <-4*w + 3, 2*w - 59>, <-w + 34, -w - 31>, <2*w + 65, -4*w - 3>, <2*w + 21, -2*w + 19>, <5*w + 30, -4*w + 58>, <-w + 56, -2*w - 42>, <7*w + 184, -12*w + 14>, <-7*w + 191, -5*w - 193>, <375, -17*w - 179>, <-14*w + 7, 7*w - 207>, <26*w + 340, -29*w + 216>, <-26*w + 366, -3*w - 553>, <-2*w + 1, w - 30>, <2*w + 43, -3*w + 9>, , , <-2*w + 45, -w - 51>, <-w + 77, -3*w - 52>, <3*w + 11, -2*w + 38>, <3*w + 33, -3*w + 28>, <-w + 33, -w - 30>, <3*w + 10, -2*w + 39>, <-4*w + 23, w - 69>, <-2*w + 23, -40>, <-3*w + 34, -59>, <-4*w + 1, 2*w - 58>, , <-2*w + 67, -2*w - 60>, , <-5*w + 35, w - 89>, , , <-w + 13, -20>, <-w + 36, -w - 32>, <-3*w + 37, -60>, <-6*w + 3, 3*w - 86>, <-3*w + 81, -2*w - 81>, <-9*w + 84, w - 167>, <-2*w + 92, -3*w - 72>, <5*w + 100, -7*w + 23>, <6*w + 43, -5*w + 64>, <6*w + 66, -6*w + 53>, <9*w + 75, -8*w + 91>, <3*w + 78, -5*w + 5>, <2*w + 90, -5*w - 15>, <-5*w + 105, -2*w - 121>, <-6*w + 49, w - 108>, <-6*w + 72, -119>, <-2*w + 1, w - 28>, <-w + 36, -w - 31>, <47, -2*w - 23>, <-w + 12, -19>, , <47, -2*w - 22>, <3*w + 34, -3*w + 26>, <2*w + 2, -w + 30>, <-3*w + 28, -57>, <4*w + 43, -4*w + 44>, <3*w + 53, -4*w + 24>, <-2*w + 102, -4*w - 75>, <-6*w + 18, 2*w - 101>, <8*w + 45, -6*w + 105>, <3*w + 34, -3*w + 30>, <-2*w + 64, -2*w - 57>, <-2*w + 42, -w - 48>, <2*w + 44, -3*w + 11>, <-3*w + 117, -4*w - 95>, <-3*w + 9, w - 49>, <7*w + 15, -4*w + 99>, , <64, -3*w - 27>, <4*w + 3, -2*w + 59>, <-3*w + 95, -3*w - 86>, <6*w + 3, -3*w + 89>, <-w + 33, -w - 29>, <-3*w + 32, -57>, <8*w + 43, -6*w + 99>, <6*w + 21, -4*w + 79>, <87, -4*w - 40>, <-4*w + 87, -2*w - 99>, <-2*w + 152, -6*w - 99>, <-2*w + 65, -2*w - 59>, <6*w, -3*w + 91>, <-3*w + 11, w - 50>, <-5*w + 97, -2*w - 119>, <3*w + 74, -5*w + 12>, <-4*w + 43, -80>, <-5*w + 32, w - 91>, <63, -3*w - 29>, <3*w + 10, -2*w + 41>, <-19*w + 347, -7*w - 447>, <-17*w + 368, -9*w - 426>, <-32*w + 21, 15*w - 498>, <15*w + 389, -26*w + 53>, <-15*w + 389, -11*w - 405>, <11*w + 431, -26*w - 27>, <-26*w + 84, 9*w - 435>, <-26*w + 126, 7*w - 454>, <-17*w + 494, -15*w - 483>, <-41*w + 431, -821>, <-39*w + 410, -781>, <5*w + 10, -3*w + 72>, <-2*w + 84, -3*w - 69>, <105, -5*w - 48>, <-4*w + 63, -w - 90>, <-w + 52, -2*w - 39>, <-3*w + 94, -3*w - 88>, <-7*w + 29, 2*w - 121>, <-2*w + 41, -w - 49>, <-w + 93, -4*w - 56>, <-6*w + 60, -119>, <-4*w + 40, -79>, <5*w + 32, -4*w + 60>, <-6*w + 65, -119>, <521*w + 515, -298*w + 7842>, <-248*w + 7817, -248*w - 7569>, <273*w + 7815, -521*w + 519>, <-2853*w + 23730, 348*w - 55576>, <-2580*w + 31545, -173*w - 55057>, <348*w + 55228, -2853*w - 20877>, <-173*w + 55230, -2580*w - 28965>, <298*w + 7544, -521*w + 1036>, <-273*w + 7571, -223*w - 7840>, <-1563*w + 1040, 769*w - 24756>, <-273*w + 8088, -248*w - 8086>, <-521*w + 519, 248*w - 8334>, <-794*w + 24510, -769*w - 23987>, <1290*w + 7048, -1017*w + 16670>, <496*w + 15655, -1017*w + 250>, <-1017*w + 767, 496*w - 16151>, <248*w + 8086, -521*w + 2>, <1017*w + 15653, -1290*w + 8338>, <33*w + 242, -29*w + 397>, <-33*w + 275, 4*w - 643>, <-2*w + 456, -21*w - 248>, <2*w + 454, -23*w - 185>, <-29*w + 273, 2*w - 580>, <52*w + 1463, -98*w + 111>, <-52*w + 1515, -46*w - 1528>, <-23*w + 208, 2*w - 456>, <31*w + 305, -31*w + 336>, <35*w + 820, -58*w + 153>, <58*w + 95, -35*w + 855>, <29*w + 368, -33*w + 275>, <11*w + 108, -11*w + 119>, <2*w + 40, -3*w + 12>, <5*w + 110, -8*w + 25>, <5*w + 28, -4*w + 64>, <-3*w + 95, -3*w - 92>, <38*w + 310, -35*w + 440>, <-37*w + 363, 2*w - 747>, <35*w + 405, -38*w + 348>, <-36*w + 435, -2*w - 766>, <2*w + 745, -37*w - 326>, <-2*w + 768, -36*w - 399>, <-8*w + 67, w - 156>, <-12*w + 90, 2*w - 229>, <4*w + 60, -5*w + 33>, <9*w + 46, -7*w + 117>, <12*w + 387, -25*w - 1>, <-25*w + 26, 12*w - 399>, <7*w + 110, -9*w + 55>, <-12*w + 70, 3*w - 213>, <12*w + 58, -9*w + 152>, <-3*w + 34, -61>, <86, -4*w - 41>, <4*w + 127, -8*w - 1>, <3*w + 31, -3*w + 30>, <-4*w + 131, -4*w - 122>, <3*w + 74, -5*w + 9>, , <-w + 76, -3*w - 51>, <-3*w + 77, -2*w - 81>, <4*w + 40, -4*w + 41>, <235, -11*w - 112>, <-4*w + 44, -81>, <-w + 139, -6*w - 81>, <2*w + 43, -3*w + 7>, <87, -4*w - 43>, <-2*w + 45, -w - 49>, <1, -1>, <4*w + 2, -2*w + 61>, , <3*w + 53, -4*w + 21>, <7*w + 51, -6*w + 84>, <-w + 136, -6*w - 78>, <-4*w + 43, -82>, <-4*w + 41, -81>, <82, -4*w - 37>, <4*w + 41, -4*w + 44>, , <3*w + 33, -3*w + 31>, <64, -3*w - 28>, <2407*w + 23685, -2407*w + 26092>, <-769*w + 8336, -15903>, <1290*w + 23468, -1811*w + 8857>, <-1290*w + 24758, -521*w - 31804>, <521*w + 31804, -1811*w - 7046>, <517, -25*w - 246>, <-5*w + 13, 2*w - 84>, <13*w + 65, -10*w + 170>, <9*w + 88, -9*w + 97>, , <10*w + 160, -13*w + 78>, <-11*w + 162, -2*w - 248>, <2*w + 227, -12*w - 78>, <-2*w + 250, -11*w - 151>, <-2*w + 63, -2*w - 61>, <0, 1> ] /* Voronoi top cells */ [ { 1, 2, 3, 4 }, { 1, 3, 5, 6 }, { 7, 8, 9, 10 }, { 11, 12, 13, 14 }, { 15, 16, 17, 18 }, { 19, 20, 21, 22 }, { 20, 22, 23, 24 }, { 19, 25, 26, 27 }, { 28, 29, 30, 31 }, { 32, 33, 34, 35 }, { 36, 37, 38, 39 }, { 28, 40, 41, 42 }, { 43, 44, 45, 46 }, { 45, 47, 48, 49 }, { 45, 50, 51, 52 }, { 45, 48, 50, 52 }, { 53, 54, 55, 56 }, { 56, 57, 58, 59 }, { 60, 61, 62, 63 }, { 64, 65, 66, 67 }, { 65, 66, 68, 69, 70, 71 }, { 60, 68, 69, 72 }, { 64, 73, 74, 75 }, { 76, 77, 78, 79 }, { 77, 79, 80, 81 }, { 82, 83, 84, 85 }, { 80, 86, 87, 88 }, { 80, 86, 89, 90 }, { 86, 87, 90, 91 }, { 92, 93, 94, 95 }, { 92, 94, 96, 97 }, { 93, 94, 97, 98 }, { 92, 93, 95, 99 }, { 93, 99, 100, 101 }, { 90, 99, 102, 103 }, { 80, 89, 90, 99 }, { 83, 84, 104, 105 }, { 106, 107, 108, 109 }, { 107, 108, 110, 111 }, { 111, 112, 113, 114 }, { 112, 113, 115, 116 }, { 92, 117, 118, 119 }, { 117, 118, 120, 121 }, { 122, 123, 124, 125 }, { 124, 125, 126, 127 }, { 128, 129, 130, 131 }, { 129, 130, 132, 133 }, { 1, 2, 4, 134 }, { 1, 2, 3, 5 }, { 129, 135, 136, 137 }, { 129, 132, 135, 138 }, { 1, 139, 140, 141 }, { 1, 5, 140, 142 }, { 7, 8, 9, 143 }, { 7, 8, 143, 144 }, { 11, 12, 13, 145 }, { 11, 12, 145, 146 }, { 147, 148, 149, 150 }, { 149, 151, 152, 153 }, { 154, 155, 156, 157 }, { 156, 158, 159, 160 }, { 161, 162, 163, 164 }, { 161, 163, 165, 166 }, { 167, 168, 169, 170 }, { 171, 172, 173, 174 }, { 171, 173, 175, 176 }, { 177, 178, 179, 180 }, { 167, 177, 181, 182 }, { 181, 183, 184, 185 }, { 186, 187, 188, 189 }, { 188, 189, 190, 191, 192, 193, 194, 195, 196 }, { 197, 198, 199, 200 }, { 201, 202, 203, 204 }, { 205, 206, 207, 208 }, { 202, 209, 210, 211 }, { 212, 213, 214, 215 }, { 213, 216, 217, 218 }, { 217, 218, 219, 220 }, { 221, 222, 223, 224 }, { 222, 223, 225, 226 }, { 223, 226, 227, 228 }, { 223, 227, 229, 230 }, { 212, 231, 232, 233 }, { 225, 231, 232, 234 }, { 231, 234, 235, 236 }, { 231, 236, 237, 238 }, { 15, 16, 17, 239 }, { 16, 239, 240, 241 }, { 242, 243, 244, 245 }, { 242, 245, 246, 247 }, { 17, 239, 243, 248 }, { 239, 248, 249, 250 }, { 251, 252, 253, 254, 255 }, { 251, 254, 256, 257 }, { 252, 254, 256, 258 }, { 245, 259, 260, 261 }, { 25, 221, 262, 263 }, { 264, 265, 266, 267, 268 }, { 19, 20, 22, 23 }, { 246, 269, 270, 271, 272 }, { 19, 25, 27, 273 }, { 19, 23, 273, 274 }, { 275, 276, 277, 278 }, { 275, 279, 280, 281 }, { 275, 280, 282, 283 }, { 28, 284, 285, 286 }, { 28, 30, 285, 287 }, { 28, 29, 30, 277 }, { 288, 289, 290, 291 }, { 288, 290, 292, 293 }, { 290, 294, 295, 296 }, { 297, 298, 299, 300 }, { 297, 301, 302, 303 }, { 301, 304, 305, 306 }, { 305, 306, 307, 308 }, { 305, 307, 308, 309 }, { 305, 309, 310, 311 }, { 312, 313, 314, 315 }, { 299, 314, 316, 317 }, { 299, 301, 318, 319, 320, 321 }, { 310, 312, 322, 323, 324, 325 }, { 284, 312, 313, 326 }, { 326, 327, 328, 329, 330 }, { 284, 308, 326, 327, 331, 332 }, { 333, 334, 335, 336 }, { 334, 335, 337, 338 }, { 335, 337, 338, 339 }, { 335, 339, 340, 341 }, { 284, 308, 342, 343, 344, 345 }, { 333, 346, 347, 348 }, { 333, 334, 337, 348 }, { 294, 349, 350, 351 }, { 352, 353, 354, 355 }, { 352, 354, 355, 356 }, { 337, 355, 356, 357 }, { 294, 337, 351, 358 }, { 337, 355, 357, 358 }, { 35, 359, 360, 361 }, { 335, 340, 341, 362 }, { 35, 333, 363, 364 }, { 340, 341, 362, 365 }, { 32, 35, 359, 366 }, { 32, 33, 35, 367 }, { 368, 369, 370, 371 }, { 28, 42, 368, 371 }, { 369, 372, 373, 374 }, { 369, 372, 375, 376 }, { 28, 308, 377, 378 }, { 28, 37, 40, 377 }, { 36, 37, 39, 40 }, { 36, 37, 38, 379 }, { 28, 40, 42, 368 }, { 36, 39, 40, 368 }, { 380, 381, 382, 383 }, { 381, 384, 385, 386 }, { 387, 388, 389, 390 }, { 275, 389, 390, 391 }, { 28, 392, 393, 394 }, { 369, 384, 395, 396 }, { 384, 387, 395, 397 }, { 265, 266, 292, 398, 399 }, { 246, 271, 400, 401 }, { 402, 403, 404, 405 }, { 389, 405, 406, 407 }, { 408, 409, 410, 411 }, { 409, 412, 413, 414 }, { 415, 416, 417, 418 }, { 408, 409, 411, 419 }, { 418, 419, 420, 421 }, { 43, 44, 45, 422 }, { 45, 422, 423, 424 }, { 45, 47, 425, 426 }, { 47, 425, 426, 427 }, { 45, 426, 427, 428 }, { 425, 427, 429, 430 }, { 423, 431, 432, 433 }, { 45, 428, 432, 434 }, { 423, 424, 432, 434 }, { 45, 423, 424, 434 }, { 45, 47, 48, 425 }, { 45, 48, 51, 52 }, { 104, 435, 436, 437 }, { 104, 436, 438, 439 }, { 57, 436, 440, 441 }, { 53, 436, 440, 442 }, { 53, 54, 56, 57, 58 }, { 61, 62, 443, 444 }, { 60, 61, 62, 68 }, { 64, 65, 67, 74 }, { 65, 66, 67, 445 }, { 65, 66, 68, 69, 445 }, { 68, 69, 72, 445 }, { 60, 62, 68, 72 }, { 446, 447, 448, 449 }, { 73, 74, 450, 451 }, { 64, 65, 73, 74 }, { 452, 453, 454, 455 }, { 453, 454, 455, 456 }, { 73, 456, 457, 458 }, { 73, 457, 458, 459 }, { 460, 461, 462, 463, 464 }, { 104, 465, 466, 467 }, { 104, 435, 462, 467 }, { 460, 462, 468, 469 }, { 466, 468, 470, 471 }, { 466, 470, 472, 473 }, { 104, 122, 473, 474, 475 }, { 122, 470, 476, 477 }, { 122, 460, 477, 478 }, { 77, 78, 134, 479 }, { 78, 134, 479, 480 }, { 77, 78, 79, 80 }, { 79, 80, 481, 482 }, { 82, 83, 84, 104 }, { 80, 87, 482, 483 }, { 87, 483, 484, 485 }, { 486, 487, 488, 489, 490 }, { 487, 488, 491, 492, 493 }, { 80, 86, 87, 90 }, { 87, 90, 484, 494 }, { 90, 102, 486, 494 }, { 92, 93, 94, 97 }, { 93, 97, 495, 496 }, { 93, 100, 486, 496 }, { 92, 93, 99, 100 }, { 80, 90, 99, 102 }, { 83, 104, 105, 497 }, { 484, 495, 498, 499, 500 }, { 106, 107, 108, 501 }, { 107, 108, 111, 501 }, { 107, 111, 113, 501, 502 }, { 111, 112, 113, 502 }, { 112, 113, 116, 502 }, { 104, 122, 474, 475, 503 }, { 92, 97, 504, 505 }, { 97, 495, 505, 506 }, { 495, 505, 507, 508 }, { 124, 501, 509, 510 }, { 122, 123, 124, 510 }, { 511, 512, 513, 514, 515, 516 }, { 117, 120, 128, 517 }, { 92, 118, 504, 518 }, { 92, 117, 118, 120 }, { 118, 120, 518, 519 }, { 120, 128, 517, 520 }, { 120, 518, 520, 521 }, { 122, 124, 125, 127 }, { 128, 511, 515, 522 }, { 128, 129, 522, 523 }, { 128, 129, 130, 132 }, { 92, 117, 128, 524 }, { 525, 526, 527, 528, 529, 530 }, { 134, 294, 531, 532 }, { 1, 134, 532, 533 }, { 1, 2, 5, 134 }, { 77, 80, 134, 534 }, { 129, 135, 136, 511 }, { 129, 132, 135, 535 }, { 535, 536, 537, 538 }, { 536, 538, 539, 540, 541 }, { 536, 540, 542, 543 }, { 535, 542, 544, 545, 546 }, { 1, 139, 140, 294 }, { 1, 5, 140, 542 }, { 158, 547, 548, 549 }, { 547, 549, 550, 551 }, { 550, 552, 553, 554 }, { 553, 554, 555, 556 }, { 550, 551, 553, 557 }, { 551, 553, 558, 559 }, { 151, 560, 561, 562 }, { 550, 554, 560, 562 }, { 8, 9, 143, 158 }, { 8, 143, 144, 558 }, { 12, 13, 145, 151 }, { 12, 145, 146, 555 }, { 151, 550, 562, 563 }, { 147, 149, 150, 151 }, { 150, 151, 166, 563 }, { 147, 149, 151, 152 }, { 158, 549, 550, 564 }, { 154, 156, 157, 158 }, { 157, 158, 176, 564 }, { 154, 156, 158, 159 }, { 151, 565, 566, 567 }, { 158, 568, 569, 570 }, { 147, 161, 162, 571 }, { 161, 162, 163, 166 }, { 147, 167, 168, 170 }, { 154, 171, 172, 572 }, { 171, 172, 173, 176 }, { 172, 573, 574, 575 }, { 162, 576, 577, 578 }, { 162, 172, 574, 577, 579, 580, 581, 582, 583 }, { 181, 294, 584, 585 }, { 167, 294, 586, 587 }, { 167, 177, 178, 179, 181 }, { 154, 181, 183, 185 }, { 154, 172, 572, 588, 589 }, { 201, 590, 591, 592 }, { 591, 593, 594, 595 }, { 201, 591, 592, 596 }, { 201, 596, 597, 598 }, { 591, 596, 598, 599 }, { 593, 598, 600, 601 }, { 591, 593, 598, 602 }, { 187, 188, 189, 191, 192 }, { 190, 191, 192, 603, 604, 605 }, { 603, 604, 606, 607, 608 }, { 292, 609, 610, 611 }, { 595, 612, 613, 614 }, { 593, 595, 600, 613 }, { 609, 612, 613, 614 }, { 25, 209, 615, 616 }, { 292, 610, 611, 617 }, { 25, 617, 618, 619 }, { 610, 617, 618, 620 }, { 25, 209, 616, 621 }, { 209, 621, 622, 623 }, { 25, 621, 623, 624 }, { 25, 618, 623, 625 }, { 618, 620, 623, 626 }, { 627, 628, 629, 630 }, { 197, 199, 628, 630 }, { 197, 198, 199, 201 }, { 201, 202, 203, 631 }, { 198, 199, 201, 631 }, { 632, 633, 634, 635 }, { 209, 633, 635, 636 }, { 202, 209, 637, 638 }, { 632, 639, 640, 641 }, { 201, 640, 641, 642 }, { 201, 202, 643, 644 }, { 628, 645, 646, 647 }, { 645, 648, 649, 650 }, { 221, 222, 224, 648 }, { 205, 206, 208, 209 }, { 206, 208, 224, 648 }, { 202, 209, 210, 651 }, { 205, 206, 209, 651 }, { 212, 213, 215, 652 }, { 212, 240, 652, 653 }, { 366, 654, 655, 656 }, { 220, 655, 657, 658 }, { 213, 217, 654, 655 }, { 217, 219, 220, 655 }, { 213, 217, 218, 220 }, { 221, 222, 223, 225 }, { 223, 225, 226, 227 }, { 221, 223, 227, 230 }, { 243, 244, 245, 259 }, { 212, 225, 231, 232 }, { 225, 231, 234, 236 }, { 212, 231, 236, 238 }, { 16, 17, 239, 243 }, { 16, 239, 240, 250 }, { 242, 243, 245, 246 }, { 242, 243, 659, 660 }, { 659, 661, 662, 663 }, { 664, 665, 666, 667 }, { 239, 243, 248, 250 }, { 243, 248, 667, 668 }, { 252, 256, 661, 669 }, { 251, 252, 254, 256 }, { 251, 256, 664, 670 }, { 245, 246, 259, 260 }, { 25, 221, 263, 671 }, { 221, 260, 671, 672 }, { 264, 265, 266, 292, 398 }, { 264, 274, 398, 673 }, { 20, 292, 674, 675 }, { 264, 274, 292, 676 }, { 20, 274, 676, 677 }, { 19, 20, 25, 675 }, { 19, 20, 23, 274 }, { 246, 269, 271, 678 }, { 19, 25, 273, 274 }, { 28, 275, 276, 277 }, { 275, 277, 282, 679 }, { 275, 279, 280, 282 }, { 292, 405, 680, 681 }, { 28, 284, 285, 287 }, { 28, 30, 287, 682 }, { 28, 30, 277, 682 }, { 277, 282, 679, 682 }, { 288, 289, 290, 292 }, { 290, 292, 293, 683 }, { 290, 294, 295, 353 }, { 284, 352, 684, 685 }, { 290, 352, 353, 685 }, { 284, 290, 685, 686 }, { 28, 284, 687, 688 }, { 28, 688, 689, 690 }, { 284, 688, 690, 691 }, { 297, 298, 299, 690 }, { 284, 317, 690, 691 }, { 297, 301, 302, 692 }, { 306, 307, 308, 692 }, { 28, 308, 693, 694 }, { 28, 692, 693, 695 }, { 307, 308, 692, 693 }, { 301, 305, 306, 308 }, { 301, 305, 310, 319 }, { 305, 308, 309, 310 }, { 284, 312, 313, 314 }, { 284, 299, 314, 317 }, { 299, 312, 314, 320 }, { 310, 312, 322, 324, 696 }, { 301, 310, 319, 696 }, { 299, 301, 319, 320, 696 }, { 299, 312, 320, 696 }, { 308, 310, 327, 328 }, { 310, 312, 323, 325, 328, 697 }, { 284, 312, 326, 328 }, { 284, 308, 326, 327, 328 }, { 333, 334, 335, 337 }, { 335, 337, 339, 340 }, { 284, 308, 342, 344, 698, 699 }, { 284, 352, 684, 698, 700 }, { 333, 337, 346, 348 }, { 294, 337, 350, 351 }, { 294, 352, 353, 355 }, { 337, 352, 355, 356 }, { 294, 337, 355, 358 }, { 35, 359, 360, 366 }, { 333, 335, 340, 362 }, { 35, 333, 362, 364 }, { 308, 340, 365, 701 }, { 35, 340, 362, 365 }, { 35, 308, 365, 702 }, { 32, 35, 366, 367 }, { 33, 35, 367, 373 }, { 28, 368, 369, 371 }, { 368, 369, 373, 703 }, { 369, 372, 373, 375 }, { 28, 37, 308, 377 }, { 28, 36, 37, 40 }, { 36, 37, 308, 379 }, { 28, 36, 40, 368 }, { 36, 368, 373, 703 }, { 366, 381, 704, 705 }, { 366, 381, 704, 706 }, { 366, 383, 706, 707 }, { 380, 381, 383, 706 }, { 381, 382, 383, 708 }, { 369, 381, 384, 385 }, { 246, 387, 388, 389 }, { 275, 387, 389, 390 }, { 28, 387, 392, 393 }, { 369, 384, 387, 395 }, { 250, 384, 387, 397 }, { 292, 398, 399, 402 }, { 292, 402, 709, 710 }, { 292, 405, 681, 709 }, { 402, 403, 405, 709 }, { 246, 271, 400, 402 }, { 400, 402, 404, 405 }, { 275, 389, 405, 407 }, { 51, 450, 711, 712 }, { 425, 713, 714, 715, 716, 717 }, { 450, 712, 718, 719 }, { 408, 409, 410, 412, 414 }, { 408, 409, 416, 417, 418, 419 }, { 409, 416, 418, 419, 421 }, { 409, 421, 720, 721 }, { 416, 421, 722, 723 }, { 416, 722, 724, 725 }, { 416, 726, 727, 728 }, { 43, 45, 422, 423 }, { 45, 425, 426, 427 }, { 45, 427, 428, 432 }, { 423, 425, 427, 429, 431, 432 }, { 45, 423, 432, 434 }, { 45, 48, 51, 425 }, { 104, 435, 436, 729 }, { 104, 436, 438, 730 }, { 57, 436, 730, 731 }, { 53, 57, 436, 440 }, { 53, 54, 57, 58, 731, 732 }, { 53, 436, 729, 732 }, { 61, 62, 68, 443 }, { 61, 68, 731, 733 }, { 65, 67, 74, 450 }, { 65, 67, 68, 72, 445 }, { 62, 68, 72, 443 }, { 67, 72, 443, 446, 447, 448, 450, 734, 735 }, { 65, 73, 74, 450 }, { 65, 73, 459, 732 }, { 452, 453, 454, 736 }, { 450, 453, 454, 456 }, { 454, 736, 737, 738 }, { 457, 732, 737, 739 }, { 73, 450, 456, 457 }, { 73, 457, 459, 732 }, { 104, 435, 462, 729 }, { 460, 462, 464, 737 }, { 104, 462, 466, 467 }, { 460, 462, 466, 468, 470 }, { 104, 122, 466, 470, 473 }, { 122, 460, 470, 477 }, { 122, 460, 478, 740 }, { 77, 78, 80, 134 }, { 78, 134, 480, 481 }, { 78, 79, 80, 481 }, { 82, 83, 104, 481 }, { 80, 83, 481, 483 }, { 80, 87, 483, 484 }, { 486, 487, 488, 491, 493 }, { 484, 486, 488, 493 }, { 486, 487, 491, 495 }, { 80, 87, 90, 484 }, { 80, 90, 102, 486 }, { 90, 484, 486, 494 }, { 92, 93, 97, 495 }, { 92, 93, 100, 486 }, { 93, 486, 495, 496 }, { 92, 99, 100, 486 }, { 80, 99, 102, 486 }, { 83, 104, 497, 502 }, { 484, 495, 498, 499, 741 }, { 106, 108, 122, 501 }, { 108, 111, 112, 501, 502 }, { 104, 112, 116, 502 }, { 104, 108, 112, 122, 503 }, { 92, 97, 495, 505 }, { 124, 495, 505, 507 }, { 124, 495, 501, 509 }, { 122, 124, 501, 510 }, { 511, 514, 742, 743 }, { 128, 511, 514, 515 }, { 92, 117, 120, 128 }, { 92, 118, 120, 518 }, { 120, 128, 518, 520 }, { 92, 124, 505, 518 }, { 122, 124, 127, 518 }, { 128, 129, 511, 522 }, { 128, 129, 132, 535 }, { 92, 128, 524, 744 }, { 128, 132, 535, 744 }, { 80, 92, 745, 746, 747, 748, 749, 750, 751 }, { 92, 525, 526, 527, 752, 753 }, { 1, 134, 294, 532 }, { 1, 5, 134, 542 }, { 5, 134, 542, 754 }, { 80, 134, 534, 754 }, { 129, 135, 511, 535 }, { 135, 535, 536, 755 }, { 535, 536, 538, 756 }, { 536, 538, 540, 756, 757 }, { 536, 540, 542, 757 }, { 535, 542, 546, 756, 757 }, { 1, 140, 294, 542 }, { 140, 536, 542, 758 }, { 158, 547, 549, 550 }, { 547, 550, 551, 558 }, { 158, 547, 558, 759 }, { 550, 553, 554, 555 }, { 550, 551, 553, 558 }, { 151, 550, 560, 562 }, { 550, 554, 555, 560 }, { 151, 555, 560, 760 }, { 8, 143, 158, 558 }, { 12, 145, 151, 555 }, { 151, 166, 550, 563 }, { 147, 150, 151, 166 }, { 147, 151, 152, 566 }, { 158, 176, 550, 564 }, { 154, 157, 158, 176 }, { 154, 158, 159, 570 }, { 151, 566, 567, 612 }, { 151, 565, 567, 761 }, { 151, 761, 762, 763 }, { 8, 12, 151, 158, 762 }, { 158, 762, 764, 765 }, { 609, 612, 761, 766 }, { 609, 761, 764, 767, 768 }, { 292, 609, 764, 769 }, { 158, 292, 569, 570 }, { 158, 568, 569, 764 }, { 147, 161, 162, 166 }, { 147, 168, 612, 770 }, { 147, 167, 168, 294 }, { 154, 171, 172, 176 }, { 550, 573, 576, 771 }, { 162, 172, 573, 574, 576, 577 }, { 167, 181, 294, 585, 587 }, { 162, 167, 172, 178, 179, 181 }, { 154, 183, 292, 772 }, { 154, 181, 183, 294 }, { 154, 172, 181, 588, 589, 773 }, { 201, 590, 591, 774 }, { 591, 595, 612, 775 }, { 591, 593, 595, 600 }, { 201, 591, 596, 598 }, { 591, 593, 598, 600 }, { 187, 191, 192, 603, 604 }, { 187, 192, 604, 620 }, { 600, 603, 604, 606, 620 }, { 187, 191, 600, 603 }, { 187, 292, 609, 610 }, { 595, 600, 612, 613 }, { 187, 609, 612, 613 }, { 25, 209, 615, 776 }, { 25, 292, 617, 675 }, { 292, 610, 617, 620 }, { 25, 617, 618, 620 }, { 25, 209, 621, 623 }, { 25, 618, 620, 623 }, { 627, 628, 629, 777 }, { 197, 199, 201, 628 }, { 199, 202, 628, 647 }, { 199, 201, 202, 631 }, { 209, 632, 633, 635 }, { 202, 209, 635, 637 }, { 201, 632, 640, 641 }, { 201, 202, 641, 643 }, { 628, 645, 646, 648, 649 }, { 202, 628, 645, 647 }, { 202, 645, 648, 650 }, { 221, 222, 225, 648 }, { 206, 208, 209, 648 }, { 202, 206, 209, 651 }, { 202, 206, 648, 650 }, { 212, 213, 240, 652 }, { 213, 366, 654, 655 }, { 220, 366, 655, 657 }, { 213, 217, 220, 655 }, { 213, 218, 220, 778 }, { 221, 223, 225, 227 }, { 221, 227, 243, 259 }, { 243, 245, 246, 259 }, { 212, 225, 231, 236 }, { 16, 212, 236, 243 }, { 16, 212, 240, 250 }, { 16, 239, 243, 250 }, { 243, 662, 666, 779 }, { 242, 243, 246, 659 }, { 243, 659, 661, 662 }, { 243, 664, 666, 667 }, { 243, 248, 250, 667 }, { 251, 252, 256, 661, 664 }, { 221, 246, 259, 260 }, { 25, 221, 260, 671 }, { 264, 274, 292, 398 }, { 20, 25, 292, 675 }, { 20, 274, 292, 676 }, { 19, 20, 25, 274 }, { 246, 271, 274, 678 }, { 25, 273, 274, 678 }, { 28, 275, 277, 282 }, { 275, 279, 282, 405 }, { 282, 292, 683, 780 }, { 292, 405, 680, 780 }, { 28, 284, 287, 682 }, { 28, 277, 282, 682 }, { 289, 290, 292, 772 }, { 282, 290, 292, 683 }, { 290, 294, 352, 353 }, { 284, 290, 352, 685 }, { 28, 284, 688, 690 }, { 28, 297, 299, 690 }, { 284, 299, 317, 690 }, { 28, 297, 301, 692 }, { 301, 306, 308, 692 }, { 28, 308, 692, 693 }, { 301, 305, 308, 310 }, { 284, 299, 312, 314 }, { 299, 301, 310, 312, 696 }, { 284, 308, 310, 312, 328 }, { 333, 335, 337, 340 }, { 284, 308, 340, 352, 698, 699 }, { 337, 340, 352, 781, 782 }, { 333, 337, 346, 783 }, { 294, 337, 350, 783 }, { 294, 337, 352, 355 }, { 333, 366, 784, 785 }, { 35, 360, 366, 784 }, { 35, 333, 784, 786 }, { 35, 333, 340, 362 }, { 35, 308, 340, 365 }, { 35, 366, 367, 373 }, { 28, 368, 369, 373 }, { 369, 373, 375, 381 }, { 28, 36, 37, 308 }, { 28, 36, 368, 373 }, { 366, 381, 705, 787 }, { 366, 367, 373, 787 }, { 366, 381, 383, 706 }, { 250, 381, 383, 708 }, { 250, 369, 381, 384 }, { 246, 275, 387, 389 }, { 28, 275, 387, 393 }, { 246, 250, 251, 252, 788, 789 }, { 28, 369, 387, 392 }, { 250, 369, 384, 387 }, { 246, 271, 292, 398, 402 }, { 292, 402, 405, 709 }, { 246, 400, 402, 405 }, { 246, 275, 389, 405 }, { 51, 425, 450, 712 }, { 425, 712, 713, 715, 717, 790 }, { 450, 712, 713, 719 }, { 408, 409, 412, 416, 417, 791, 792, 793, 794 }, { 409, 416, 421, 721, 722 }, { 416, 722, 725, 726, 727 }, { 43, 45, 423, 795 }, { 45, 423, 425, 427, 432 }, { 45, 51, 425, 450 }, { 104, 436, 729, 732 }, { 104, 436, 730, 731 }, { 53, 57, 436, 731, 732 }, { 61, 68, 443, 731 }, { 65, 67, 68, 72, 443, 450 }, { 65, 73, 450, 732 }, { 450, 453, 454, 736 }, { 450, 454, 456, 457 }, { 454, 457, 732, 736, 737 }, { 73, 450, 457, 732 }, { 104, 462, 729, 732 }, { 460, 462, 732, 736, 737 }, { 104, 122, 460, 462, 466, 470 }, { 122, 460, 736, 740 }, { 78, 80, 134, 481 }, { 80, 83, 104, 481 }, { 80, 83, 483, 484 }, { 484, 486, 491, 493, 495 }, { 80, 90, 484, 486 }, { 92, 93, 486, 495 }, { 80, 92, 99, 486 }, { 83, 104, 484, 502 }, { 484, 495, 501, 502, 741 }, { 104, 108, 112, 122, 501, 502 }, { 92, 124, 495, 505 }, { 122, 124, 495, 501 }, { 128, 511, 514, 742 }, { 92, 120, 128, 518 }, { 92, 122, 124, 518 }, { 122, 128, 518, 742, 796 }, { 128, 129, 511, 535 }, { 92, 128, 535, 744 }, { 80, 92, 745, 752, 753, 797, 798, 799, 800, 801, 802, 803 }, { 1, 134, 294, 542 }, { 80, 134, 542, 754 }, { 135, 511, 535, 536 }, { 535, 536, 542, 756, 757 }, { 140, 294, 536, 542 }, { 158, 547, 550, 558 }, { 550, 553, 555, 558 }, { 151, 550, 555, 560 }, { 8, 12, 151, 158, 555, 558 }, { 147, 151, 166, 550 }, { 147, 151, 566, 612 }, { 154, 158, 176, 550 }, { 154, 158, 292, 570 }, { 151, 567, 612, 761 }, { 151, 158, 761, 762, 764 }, { 292, 609, 612, 761, 764 }, { 158, 292, 569, 764 }, { 147, 162, 166, 550 }, { 147, 168, 294, 612 }, { 147, 162, 167, 294 }, { 154, 172, 176, 550 }, { 162, 172, 550, 573, 576 }, { 162, 167, 172, 181, 294 }, { 154, 183, 292, 294 }, { 154, 172, 181, 294 }, { 201, 591, 627, 774 }, { 591, 595, 600, 612 }, { 201, 591, 598, 600 }, { 187, 600, 603, 604, 620 }, { 187, 292, 610, 620 }, { 187, 292, 609, 612 }, { 187, 600, 612, 613 }, { 25, 209, 221, 776 }, { 25, 292, 617, 620 }, { 25, 209, 620, 623 }, { 201, 627, 628, 777 }, { 199, 201, 202, 628 }, { 201, 209, 632, 633, 640 }, { 202, 209, 632, 635 }, { 201, 202, 632, 641 }, { 202, 628, 645, 648 }, { 209, 221, 225, 648 }, { 202, 206, 209, 648 }, { 212, 213, 240, 250 }, { 213, 220, 366, 655 }, { 213, 220, 250, 778 }, { 221, 225, 227, 243 }, { 221, 243, 246, 259 }, { 212, 225, 236, 243 }, { 16, 212, 243, 250 }, { 243, 661, 662, 664, 666 }, { 243, 246, 659, 661 }, { 243, 250, 664, 667 }, { 246, 250, 251, 252, 661, 664 }, { 25, 221, 246, 260 }, { 246, 271, 274, 292, 398 }, { 20, 25, 274, 292 }, { 25, 246, 274, 678 }, { 28, 275, 282, 405 }, { 282, 292, 405, 780 }, { 28, 282, 284, 682 }, { 290, 292, 294, 772 }, { 282, 284, 290, 292 }, { 284, 290, 294, 352 }, { 28, 297, 299, 301 }, { 28, 284, 299, 690 }, { 28, 301, 308, 692 }, { 284, 299, 301, 308, 310, 312 }, { 308, 333, 337, 340 }, { 284, 308, 337, 340, 352 }, { 294, 333, 337, 783 }, { 284, 294, 337, 352 }, { 35, 333, 366, 784 }, { 35, 308, 333, 340 }, { 35, 308, 366, 373 }, { 28, 369, 373, 381 }, { 28, 36, 308, 373 }, { 366, 373, 381, 787 }, { 250, 366, 381, 383 }, { 28, 250, 369, 381 }, { 28, 246, 275, 387 }, { 246, 250, 387, 788, 789 }, { 28, 250, 369, 387 }, { 246, 292, 402, 405 }, { 28, 246, 275, 405 }, { 425, 450, 712, 713 }, { 409, 416, 423, 425, 713, 721, 722, 727, 791 }, { 45, 423, 425, 450, 795 }, { 104, 436, 731, 732 }, { 65, 68, 443, 450, 731, 732 }, { 450, 454, 457, 732, 736 }, { 104, 122, 460, 462, 732, 736 }, { 80, 104, 134, 481 }, { 80, 83, 104, 484 }, { 80, 92, 484, 486, 495 }, { 104, 122, 484, 495, 501, 502 }, { 92, 122, 124, 495 }, { 122, 128, 511, 742 }, { 92, 122, 128, 518 }, { 92, 128, 511, 535 }, { 80, 92, 535, 542, 752, 799 }, { 80, 134, 294, 542 }, { 294, 511, 535, 536, 542 }, { 151, 158, 550, 555, 558 }, { 147, 151, 550, 612 }, { 154, 158, 292, 550 }, { 151, 158, 292, 612, 761, 764 }, { 147, 162, 550, 612 }, { 147, 162, 294, 612 }, { 154, 172, 292, 550 }, { 162, 172, 294, 550 }, { 154, 172, 292, 294 }, { 201, 591, 627, 777 }, { 201, 591, 600, 612 }, { 187, 292, 600, 612, 620 }, { 25, 209, 221, 225 }, { 25, 209, 292, 620 }, { 201, 202, 628, 777 }, { 201, 202, 209, 632 }, { 202, 225, 628, 648, 777 }, { 202, 209, 225, 648 }, { 212, 213, 225, 250 }, { 213, 220, 250, 366 }, { 221, 225, 243, 246 }, { 212, 225, 243, 250 }, { 243, 246, 250, 661, 664 }, { 25, 221, 225, 246 }, { 25, 246, 274, 292 }, { 28, 282, 284, 292, 405 }, { 284, 290, 292, 294 }, { 28, 284, 299, 301, 308 }, { 284, 294, 308, 333, 337 }, { 35, 308, 333, 366 }, { 28, 308, 366, 373, 381 }, { 28, 250, 366, 381 }, { 28, 246, 250, 387 }, { 28, 246, 292, 405 }, { 423, 425, 443, 450, 713, 721, 722, 727, 795 }, { 104, 443, 450, 731, 732 }, { 104, 122, 450, 732, 736 }, { 80, 104, 134, 294 }, { 80, 92, 104, 122, 484, 495 }, { 92, 122, 128, 511 }, { 80, 92, 294, 511, 535, 542 }, { 151, 158, 292, 550, 612 }, { 162, 294, 550, 612 }, { 172, 292, 294, 550 }, { 201, 591, 612, 777 }, { 201, 209, 292, 600, 612, 620 }, { 25, 209, 225, 292 }, { 201, 202, 209, 225, 777 }, { 213, 225, 250, 366 }, { 225, 243, 246, 250 }, { 25, 225, 246, 292 }, { 28, 284, 292, 294 }, { 28, 284, 294, 308, 333 }, { 28, 308, 333, 366 }, { 28, 246, 250, 292, 366 }, { 104, 122, 443, 450, 795, 804 }, { 80, 92, 104, 122, 294, 511 }, { 292, 294, 550, 612 }, { 201, 209, 225, 292, 612, 777 }, { 225, 246, 250, 292, 366 }, { 28, 292, 294, 333, 366 }, { 104, 122, 294, 333, 511, 804 }, { 225, 292, 294, 612, 777 }, { 225, 292, 294, 333, 366 }, { 225, 294, 333, 511, 777, 805 } ] /* Faces of top cells */ [ [ { 2, 3, 4 }, { 1, 3, 4 }, { 1, 2, 4 }, { 1, 2, 3 } ], [ { 3, 5, 6 }, { 1, 3, 6 }, { 1, 3, 5 }, { 1, 5, 6 } ], [ { 8, 9, 10 }, { 7, 9, 10 }, { 7, 8, 10 }, { 7, 8, 9 } ], [ { 12, 13, 14 }, { 11, 13, 14 }, { 11, 12, 14 }, { 11, 12, 13 } ], [ { 16, 17, 18 }, { 15, 17, 18 }, { 15, 16, 18 }, { 15, 16, 17 } ], [ { 20, 21, 22 }, { 19, 21, 22 }, { 19, 20, 22 }, { 19, 20, 21 } ], [ { 22, 23, 24 }, { 20, 22, 24 }, { 20, 22, 23 }, { 20, 23, 24 } ], [ { 25, 26, 27 }, { 19, 26, 27 }, { 19, 25, 27 }, { 19, 25, 26 } ], [ { 29, 30, 31 }, { 28, 30, 31 }, { 28, 29, 31 }, { 28, 29, 30 } ], [ { 33, 34, 35 }, { 32, 34, 35 }, { 32, 33, 35 }, { 32, 33, 34 } ], [ { 37, 38, 39 }, { 36, 38, 39 }, { 36, 37, 39 }, { 36, 37, 38 } ], [ { 40, 41, 42 }, { 28, 41, 42 }, { 28, 40, 42 }, { 28, 40, 41 } ], [ { 44, 45, 46 }, { 43, 45, 46 }, { 43, 44, 46 }, { 43, 44, 45 } ], [ { 45, 48, 49 }, { 45, 47, 49 }, { 47, 48, 49 }, { 45, 47, 48 } ], [ { 45, 51, 52 }, { 45, 50, 52 }, { 50, 51, 52 }, { 45, 50, 51 } ], [ { 45, 48, 52 }, { 45, 50, 52 }, { 48, 50, 52 }, { 45, 48, 50 } ], [ { 54, 55, 56 }, { 53, 55, 56 }, { 53, 54, 56 }, { 53, 54, 55 } ], [ { 56, 58, 59 }, { 56, 57, 59 }, { 56, 57, 58 }, { 57, 58, 59 } ], [ { 61, 62, 63 }, { 60, 62, 63 }, { 60, 61, 63 }, { 60, 61, 62 } ], [ { 65, 66, 67 }, { 64, 66, 67 }, { 64, 65, 67 }, { 64, 65, 66 } ], [ { 65, 66, 70 }, { 65, 68, 70, 71 }, { 65, 66, 68, 69 }, { 66, 69, 70, 71 }, { 68, 69, 71 } ], [ { 68, 69, 72 }, { 60, 69, 72 }, { 60, 68, 69 }, { 60, 68, 72 } ], [ { 73, 74, 75 }, { 64, 74, 75 }, { 64, 73, 75 }, { 64, 73, 74 } ], [ { 77, 78, 79 }, { 76, 78, 79 }, { 76, 77, 79 }, { 76, 77, 78 } ], [ { 79, 80, 81 }, { 77, 79, 81 }, { 77, 80, 81 }, { 77, 79, 80 } ], [ { 83, 84, 85 }, { 82, 84, 85 }, { 82, 83, 85 }, { 82, 83, 84 } ], [ { 86, 87, 88 }, { 80, 87, 88 }, { 80, 86, 88 }, { 80, 86, 87 } ], [ { 86, 89, 90 }, { 80, 89, 90 }, { 80, 86, 90 }, { 80, 86, 89 } ], [ { 87, 90, 91 }, { 86, 87, 90 }, { 86, 90, 91 }, { 86, 87, 91 } ], [ { 93, 94, 95 }, { 92, 94, 95 }, { 92, 93, 95 }, { 92, 93, 94 } ], [ { 94, 96, 97 }, { 92, 94, 97 }, { 92, 96, 97 }, { 92, 94, 96 } ], [ { 94, 97, 98 }, { 93, 97, 98 }, { 93, 94, 98 }, { 93, 94, 97 } ], [ { 93, 95, 99 }, { 92, 95, 99 }, { 92, 93, 95 }, { 92, 93, 99 } ], [ { 99, 100, 101 }, { 93, 100, 101 }, { 93, 99, 101 }, { 93, 99, 100 } ], [ { 90, 99, 103 }, { 90, 102, 103 }, { 90, 99, 102 }, { 99, 102, 103 } ], [ { 80, 89, 90 }, { 89, 90, 99 }, { 80, 90, 99 }, { 80, 89, 99 } ], [ { 83, 84, 105 }, { 84, 104, 105 }, { 83, 104, 105 }, { 83, 84, 104 } ], [ { 107, 108, 109 }, { 106, 108, 109 }, { 106, 107, 109 }, { 106, 107, 108 } ], [ { 107, 108, 111 }, { 107, 108, 110 }, { 108, 110, 111 }, { 107, 110, 111 } ], [ { 111, 113, 114 }, { 112, 113, 114 }, { 111, 112, 114 }, { 111, 112, 113 } ], [ { 113, 115, 116 }, { 112, 113, 116 }, { 112, 113, 115 }, { 112, 115, 116 } ], [ { 117, 118, 119 }, { 92, 118, 119 }, { 92, 117, 119 }, { 92, 117, 118 } ], [ { 117, 118, 121 }, { 118, 120, 121 }, { 117, 120, 121 }, { 117, 118, 120 } ], [ { 123, 124, 125 }, { 122, 124, 125 }, { 122, 123, 125 }, { 122, 123, 124 } ], [ { 124, 125, 127 }, { 125, 126, 127 }, { 124, 126, 127 }, { 124, 125, 126 } ], [ { 129, 130, 131 }, { 128, 130, 131 }, { 128, 129, 131 }, { 128, 129, 130 } ], [ { 129, 130, 133 }, { 130, 132, 133 }, { 129, 132, 133 }, { 129, 130, 132 } ], [ { 1, 2, 4 }, { 2, 4, 134 }, { 1, 4, 134 }, { 1, 2, 134 } ], [ { 2, 3, 5 }, { 1, 3, 5 }, { 1, 2, 3 }, { 1, 2, 5 } ], [ { 129, 136, 137 }, { 135, 136, 137 }, { 129, 135, 137 }, { 129, 135, 136 } ], [ { 129, 132, 135 }, { 129, 132, 138 }, { 129, 135, 138 }, { 132, 135, 138 } ], [ { 139, 140, 141 }, { 1, 140, 141 }, { 1, 139, 141 }, { 1, 139, 140 } ], [ { 5, 140, 142 }, { 1, 5, 142 }, { 1, 5, 140 }, { 1, 140, 142 } ], [ { 8, 9, 143 }, { 7, 9, 143 }, { 7, 8, 143 }, { 7, 8, 9 } ], [ { 8, 143, 144 }, { 7, 143, 144 }, { 7, 8, 144 }, { 7, 8, 143 } ], [ { 12, 13, 145 }, { 11, 13, 145 }, { 11, 12, 145 }, { 11, 12, 13 } ], [ { 12, 145, 146 }, { 11, 145, 146 }, { 11, 12, 146 }, { 11, 12, 145 } ], [ { 148, 149, 150 }, { 147, 149, 150 }, { 147, 148, 150 }, { 147, 148, 149 } ], [ { 149, 152, 153 }, { 151, 152, 153 }, { 149, 151, 153 }, { 149, 151, 152 } ], [ { 155, 156, 157 }, { 154, 156, 157 }, { 154, 155, 157 }, { 154, 155, 156 } ], [ { 156, 159, 160 }, { 158, 159, 160 }, { 156, 158, 160 }, { 156, 158, 159 } ], [ { 162, 163, 164 }, { 161, 163, 164 }, { 161, 162, 164 }, { 161, 162, 163 } ], [ { 161, 163, 166 }, { 163, 165, 166 }, { 161, 165, 166 }, { 161, 163, 165 } ], [ { 168, 169, 170 }, { 167, 169, 170 }, { 167, 168, 170 }, { 167, 168, 169 } ], [ { 172, 173, 174 }, { 171, 173, 174 }, { 171, 172, 174 }, { 171, 172, 173 } ], [ { 171, 173, 176 }, { 173, 175, 176 }, { 171, 175, 176 }, { 171, 173, 175 } ], [ { 178, 179, 180 }, { 177, 179, 180 }, { 177, 178, 180 }, { 177, 178, 179 } ], [ { 167, 181, 182 }, { 177, 181, 182 }, { 167, 177, 182 }, { 167, 177, 181 } ], [ { 183, 184, 185 }, { 181, 184, 185 }, { 181, 183, 185 }, { 181, 183, 184 } ], [ { 187, 188, 189 }, { 186, 188, 189 }, { 186, 187, 189 }, { 186, 187, 188 } ], [ { 190, 192, 193, 196 }, { 190, 191, 192 }, { 190, 191, 194, 195 }, { 188, 189, 191, 192 }, { 188, 189, 193, 194, 195, 196 }, { 188, 192, 193 }, { 189, 191, 194 }, { 190, 195, 196 } ], [ { 198, 199, 200 }, { 197, 199, 200 }, { 197, 198, 200 }, { 197, 198, 199 } ], [ { 202, 203, 204 }, { 201, 203, 204 }, { 201, 202, 204 }, { 201, 202, 203 } ], [ { 206, 207, 208 }, { 205, 207, 208 }, { 205, 206, 208 }, { 205, 206, 207 } ], [ { 202, 210, 211 }, { 209, 210, 211 }, { 202, 209, 211 }, { 202, 209, 210 } ], [ { 213, 214, 215 }, { 212, 214, 215 }, { 212, 213, 215 }, { 212, 213, 214 } ], [ { 216, 217, 218 }, { 213, 217, 218 }, { 213, 216, 218 }, { 213, 216, 217 } ], [ { 217, 218, 220 }, { 218, 219, 220 }, { 217, 219, 220 }, { 217, 218, 219 } ], [ { 222, 223, 224 }, { 221, 223, 224 }, { 221, 222, 224 }, { 221, 222, 223 } ], [ { 222, 223, 226 }, { 222, 223, 225 }, { 223, 225, 226 }, { 222, 225, 226 } ], [ { 223, 227, 228 }, { 223, 226, 228 }, { 226, 227, 228 }, { 223, 226, 227 } ], [ { 223, 229, 230 }, { 223, 227, 230 }, { 227, 229, 230 }, { 223, 227, 229 } ], [ { 231, 232, 233 }, { 212, 232, 233 }, { 212, 231, 233 }, { 212, 231, 232 } ], [ { 231, 232, 234 }, { 225, 231, 232 }, { 225, 232, 234 }, { 225, 231, 234 } ], [ { 231, 234, 236 }, { 231, 235, 236 }, { 234, 235, 236 }, { 231, 234, 235 } ], [ { 236, 237, 238 }, { 231, 237, 238 }, { 231, 236, 238 }, { 231, 236, 237 } ], [ { 16, 17, 239 }, { 15, 17, 239 }, { 15, 16, 17 }, { 15, 16, 239 } ], [ { 239, 240, 241 }, { 16, 240, 241 }, { 16, 239, 241 }, { 16, 239, 240 } ], [ { 243, 244, 245 }, { 242, 244, 245 }, { 242, 243, 245 }, { 242, 243, 244 } ], [ { 245, 246, 247 }, { 242, 245, 247 }, { 242, 245, 246 }, { 242, 246, 247 } ], [ { 17, 239, 248 }, { 17, 243, 248 }, { 239, 243, 248 }, { 17, 239, 243 } ], [ { 239, 248, 250 }, { 239, 248, 249 }, { 248, 249, 250 }, { 239, 249, 250 } ], [ { 252, 253, 254 }, { 251, 252, 254 }, { 251, 252, 253, 255 }, { 251, 254, 255 }, { 253, 254, 255 } ], [ { 254, 256, 257 }, { 251, 254, 257 }, { 251, 256, 257 }, { 251, 254, 256 } ], [ { 254, 256, 258 }, { 252, 254, 258 }, { 252, 256, 258 }, { 252, 254, 256 } ], [ { 245, 260, 261 }, { 245, 259, 261 }, { 259, 260, 261 }, { 245, 259, 260 } ], [ { 25, 262, 263 }, { 221, 262, 263 }, { 25, 221, 263 }, { 25, 221, 262 } ], [ { 265, 266, 267, 268 }, { 264, 265, 267 }, { 264, 265, 266 }, { 264, 266, 268 }, { 264, 267, 268 } ], [ { 20, 22, 23 }, { 19, 22, 23 }, { 19, 20, 22 }, { 19, 20, 23 } ], [ { 246, 270, 271, 272 }, { 246, 269, 271 }, { 246, 269, 270 }, { 269, 270, 272 }, { 269, 271, 272 } ], [ { 25, 27, 273 }, { 19, 27, 273 }, { 19, 25, 273 }, { 19, 25, 27 } ], [ { 23, 273, 274 }, { 19, 23, 273 }, { 19, 273, 274 }, { 19, 23, 274 } ], [ { 276, 277, 278 }, { 275, 277, 278 }, { 275, 276, 278 }, { 275, 276, 277 } ], [ { 275, 280, 281 }, { 279, 280, 281 }, { 275, 279, 281 }, { 275, 279, 280 } ], [ { 280, 282, 283 }, { 275, 280, 283 }, { 275, 282, 283 }, { 275, 280, 282 } ], [ { 284, 285, 286 }, { 28, 285, 286 }, { 28, 284, 286 }, { 28, 284, 285 } ], [ { 30, 285, 287 }, { 28, 285, 287 }, { 28, 30, 285 }, { 28, 30, 287 } ], [ { 29, 30, 277 }, { 28, 29, 30 }, { 28, 30, 277 }, { 28, 29, 277 } ], [ { 289, 290, 291 }, { 288, 290, 291 }, { 288, 289, 291 }, { 288, 289, 290 } ], [ { 288, 290, 293 }, { 290, 292, 293 }, { 288, 292, 293 }, { 288, 290, 292 } ], [ { 290, 295, 296 }, { 294, 295, 296 }, { 290, 294, 296 }, { 290, 294, 295 } ], [ { 298, 299, 300 }, { 297, 299, 300 }, { 297, 298, 300 }, { 297, 298, 299 } ], [ { 297, 302, 303 }, { 301, 302, 303 }, { 297, 301, 303 }, { 297, 301, 302 } ], [ { 304, 305, 306 }, { 301, 305, 306 }, { 301, 304, 306 }, { 301, 304, 305 } ], [ { 305, 306, 308 }, { 305, 306, 307 }, { 306, 307, 308 }, { 305, 307, 308 } ], [ { 305, 308, 309 }, { 305, 307, 309 }, { 307, 308, 309 }, { 305, 307, 308 } ], [ { 305, 309, 311 }, { 309, 310, 311 }, { 305, 309, 310 }, { 305, 310, 311 } ], [ { 313, 314, 315 }, { 312, 314, 315 }, { 312, 313, 315 }, { 312, 313, 314 } ], [ { 314, 316, 317 }, { 299, 316, 317 }, { 299, 314, 317 }, { 299, 314, 316 } ], [ { 299, 301, 319, 320 }, { 301, 318, 319 }, { 299, 301, 318, 321 }, { 318, 319, 320, 321 }, { 299, 320, 321 } ], [ { 310, 322, 323 }, { 310, 312, 323, 325 }, { 310, 312, 322, 324 }, { 322, 323, 324, 325 }, { 312, 324, 325 } ], [ { 312, 313, 326 }, { 284, 313, 326 }, { 284, 312, 326 }, { 284, 312, 313 } ], [ { 326, 328, 329 }, { 326, 327, 329, 330 }, { 326, 327, 328 }, { 328, 329, 330 }, { 327, 328, 330 } ], [ { 308, 327, 331 }, { 284, 308, 331, 332 }, { 284, 308, 326, 327 }, { 326, 327, 331, 332 }, { 284, 326, 332 } ], [ { 334, 335, 336 }, { 333, 335, 336 }, { 333, 334, 336 }, { 333, 334, 335 } ], [ { 334, 335, 338 }, { 334, 335, 337 }, { 335, 337, 338 }, { 334, 337, 338 } ], [ { 335, 338, 339 }, { 335, 337, 339 }, { 337, 338, 339 }, { 335, 337, 338 } ], [ { 339, 340, 341 }, { 335, 339, 341 }, { 335, 340, 341 }, { 335, 339, 340 } ], [ { 284, 308, 343, 345 }, { 284, 308, 342, 344 }, { 342, 343, 344, 345 }, { 284, 343, 344 }, { 308, 342, 345 } ], [ { 346, 347, 348 }, { 333, 347, 348 }, { 333, 346, 348 }, { 333, 346, 347 } ], [ { 334, 337, 348 }, { 333, 334, 348 }, { 333, 337, 348 }, { 333, 334, 337 } ], [ { 349, 350, 351 }, { 294, 350, 351 }, { 294, 349, 351 }, { 294, 349, 350 } ], [ { 353, 354, 355 }, { 352, 354, 355 }, { 352, 353, 355 }, { 352, 353, 354 } ], [ { 354, 355, 356 }, { 352, 354, 355 }, { 352, 355, 356 }, { 352, 354, 356 } ], [ { 337, 355, 357 }, { 355, 356, 357 }, { 337, 355, 356 }, { 337, 356, 357 } ], [ { 337, 351, 358 }, { 294, 351, 358 }, { 294, 337, 351 }, { 294, 337, 358 } ], [ { 355, 357, 358 }, { 337, 355, 357 }, { 337, 355, 358 }, { 337, 357, 358 } ], [ { 35, 360, 361 }, { 35, 359, 361 }, { 35, 359, 360 }, { 359, 360, 361 } ], [ { 340, 341, 362 }, { 335, 340, 341 }, { 335, 341, 362 }, { 335, 340, 362 } ], [ { 35, 363, 364 }, { 35, 333, 364 }, { 35, 333, 363 }, { 333, 363, 364 } ], [ { 340, 341, 362 }, { 340, 341, 365 }, { 341, 362, 365 }, { 340, 362, 365 } ], [ { 35, 359, 366 }, { 32, 35, 359 }, { 32, 35, 366 }, { 32, 359, 366 } ], [ { 33, 35, 367 }, { 32, 33, 35 }, { 32, 35, 367 }, { 32, 33, 367 } ], [ { 369, 370, 371 }, { 368, 370, 371 }, { 368, 369, 371 }, { 368, 369, 370 } ], [ { 28, 42, 371 }, { 42, 368, 371 }, { 28, 42, 368 }, { 28, 368, 371 } ], [ { 372, 373, 374 }, { 369, 373, 374 }, { 369, 372, 374 }, { 369, 372, 373 } ], [ { 372, 375, 376 }, { 369, 375, 376 }, { 369, 372, 376 }, { 369, 372, 375 } ], [ { 308, 377, 378 }, { 28, 377, 378 }, { 28, 308, 378 }, { 28, 308, 377 } ], [ { 37, 40, 377 }, { 28, 37, 377 }, { 28, 40, 377 }, { 28, 37, 40 } ], [ { 36, 37, 39 }, { 37, 39, 40 }, { 36, 39, 40 }, { 36, 37, 40 } ], [ { 36, 37, 38 }, { 37, 38, 379 }, { 36, 38, 379 }, { 36, 37, 379 } ], [ { 28, 40, 42 }, { 40, 42, 368 }, { 28, 42, 368 }, { 28, 40, 368 } ], [ { 36, 39, 40 }, { 36, 39, 368 }, { 39, 40, 368 }, { 36, 40, 368 } ], [ { 381, 382, 383 }, { 380, 382, 383 }, { 380, 381, 383 }, { 380, 381, 382 } ], [ { 381, 385, 386 }, { 384, 385, 386 }, { 381, 384, 386 }, { 381, 384, 385 } ], [ { 388, 389, 390 }, { 387, 389, 390 }, { 387, 388, 390 }, { 387, 388, 389 } ], [ { 275, 390, 391 }, { 389, 390, 391 }, { 275, 389, 391 }, { 275, 389, 390 } ], [ { 392, 393, 394 }, { 28, 393, 394 }, { 28, 392, 394 }, { 28, 392, 393 } ], [ { 384, 395, 396 }, { 369, 395, 396 }, { 369, 384, 396 }, { 369, 384, 395 } ], [ { 387, 395, 397 }, { 384, 395, 397 }, { 384, 387, 397 }, { 384, 387, 395 } ], [ { 292, 398, 399 }, { 265, 292, 399 }, { 265, 266, 292, 398 }, { 266, 398, 399 }, { 265, 266, 399 } ], [ { 271, 400, 401 }, { 246, 271, 401 }, { 246, 400, 401 }, { 246, 271, 400 } ], [ { 403, 404, 405 }, { 402, 404, 405 }, { 402, 403, 405 }, { 402, 403, 404 } ], [ { 389, 405, 407 }, { 405, 406, 407 }, { 389, 405, 406 }, { 389, 406, 407 } ], [ { 409, 410, 411 }, { 408, 410, 411 }, { 408, 409, 411 }, { 408, 409, 410 } ], [ { 409, 413, 414 }, { 412, 413, 414 }, { 409, 412, 414 }, { 409, 412, 413 } ], [ { 416, 417, 418 }, { 415, 417, 418 }, { 415, 416, 418 }, { 415, 416, 417 } ], [ { 409, 411, 419 }, { 408, 411, 419 }, { 408, 409, 411 }, { 408, 409, 419 } ], [ { 418, 419, 421 }, { 418, 420, 421 }, { 418, 419, 420 }, { 419, 420, 421 } ], [ { 44, 45, 422 }, { 43, 45, 422 }, { 43, 44, 422 }, { 43, 44, 45 } ], [ { 422, 423, 424 }, { 45, 422, 424 }, { 45, 423, 424 }, { 45, 422, 423 } ], [ { 45, 47, 426 }, { 45, 425, 426 }, { 47, 425, 426 }, { 45, 47, 425 } ], [ { 47, 426, 427 }, { 425, 426, 427 }, { 47, 425, 426 }, { 47, 425, 427 } ], [ { 45, 426, 427 }, { 426, 427, 428 }, { 45, 426, 428 }, { 45, 427, 428 } ], [ { 427, 429, 430 }, { 425, 429, 430 }, { 425, 427, 430 }, { 425, 427, 429 } ], [ { 423, 432, 433 }, { 423, 431, 433 }, { 431, 432, 433 }, { 423, 431, 432 } ], [ { 45, 428, 432 }, { 45, 432, 434 }, { 45, 428, 434 }, { 428, 432, 434 } ], [ { 423, 424, 432 }, { 423, 424, 434 }, { 424, 432, 434 }, { 423, 432, 434 } ], [ { 45, 423, 424 }, { 423, 424, 434 }, { 45, 424, 434 }, { 45, 423, 434 } ], [ { 45, 47, 48 }, { 45, 48, 425 }, { 45, 47, 425 }, { 47, 48, 425 } ], [ { 45, 48, 52 }, { 45, 51, 52 }, { 48, 51, 52 }, { 45, 48, 51 } ], [ { 435, 436, 437 }, { 104, 436, 437 }, { 104, 435, 437 }, { 104, 435, 436 } ], [ { 436, 438, 439 }, { 104, 438, 439 }, { 104, 436, 439 }, { 104, 436, 438 } ], [ { 57, 436, 441 }, { 436, 440, 441 }, { 57, 440, 441 }, { 57, 436, 440 } ], [ { 53, 436, 442 }, { 436, 440, 442 }, { 53, 440, 442 }, { 53, 436, 440 } ], [ { 56, 57, 58 }, { 53, 56, 57 }, { 53, 54, 57, 58 }, { 53, 54, 56 }, { 54, 56, 58 } ], [ { 61, 62, 444 }, { 61, 62, 443 }, { 62, 443, 444 }, { 61, 443, 444 } ], [ { 61, 62, 68 }, { 60, 61, 62 }, { 60, 62, 68 }, { 60, 61, 68 } ], [ { 65, 67, 74 }, { 64, 67, 74 }, { 64, 65, 74 }, { 64, 65, 67 } ], [ { 66, 67, 445 }, { 65, 67, 445 }, { 65, 66, 445 }, { 65, 66, 67 } ], [ { 65, 66, 445 }, { 65, 68, 445 }, { 65, 66, 68, 69 }, { 66, 69, 445 }, { 68, 69, 445 } ], [ { 69, 72, 445 }, { 68, 69, 445 }, { 68, 72, 445 }, { 68, 69, 72 } ], [ { 62, 68, 72 }, { 60, 62, 72 }, { 60, 62, 68 }, { 60, 68, 72 } ], [ { 447, 448, 449 }, { 446, 448, 449 }, { 446, 447, 449 }, { 446, 447, 448 } ], [ { 73, 74, 451 }, { 73, 74, 450 }, { 74, 450, 451 }, { 73, 450, 451 } ], [ { 65, 73, 74 }, { 64, 73, 74 }, { 64, 65, 74 }, { 64, 65, 73 } ], [ { 453, 454, 455 }, { 452, 454, 455 }, { 452, 453, 455 }, { 452, 453, 454 } ], [ { 454, 455, 456 }, { 453, 455, 456 }, { 453, 454, 455 }, { 453, 454, 456 } ], [ { 73, 456, 458 }, { 73, 457, 458 }, { 73, 456, 457 }, { 456, 457, 458 } ], [ { 73, 458, 459 }, { 73, 457, 458 }, { 73, 457, 459 }, { 457, 458, 459 } ], [ { 461, 462, 464 }, { 460, 462, 464 }, { 460, 461, 462, 463 }, { 460, 463, 464 }, { 461, 463, 464 } ], [ { 465, 466, 467 }, { 104, 466, 467 }, { 104, 465, 467 }, { 104, 465, 466 } ], [ { 435, 462, 467 }, { 104, 462, 467 }, { 104, 435, 467 }, { 104, 435, 462 } ], [ { 462, 468, 469 }, { 460, 468, 469 }, { 460, 462, 469 }, { 460, 462, 468 } ], [ { 466, 468, 471 }, { 466, 468, 470 }, { 468, 470, 471 }, { 466, 470, 471 } ], [ { 466, 472, 473 }, { 466, 470, 473 }, { 470, 472, 473 }, { 466, 470, 472 } ], [ { 104, 122, 473 }, { 104, 473, 474 }, { 104, 122, 474, 475 }, { 122, 473, 475 }, { 473, 474, 475 } ], [ { 470, 476, 477 }, { 122, 470, 477 }, { 122, 476, 477 }, { 122, 470, 476 } ], [ { 460, 477, 478 }, { 122, 460, 477 }, { 122, 477, 478 }, { 122, 460, 478 } ], [ { 77, 78, 479 }, { 78, 134, 479 }, { 77, 134, 479 }, { 77, 78, 134 } ], [ { 78, 479, 480 }, { 78, 134, 479 }, { 134, 479, 480 }, { 78, 134, 480 } ], [ { 78, 79, 80 }, { 77, 79, 80 }, { 77, 78, 79 }, { 77, 78, 80 } ], [ { 79, 481, 482 }, { 79, 80, 482 }, { 80, 481, 482 }, { 79, 80, 481 } ], [ { 82, 83, 84 }, { 83, 84, 104 }, { 82, 84, 104 }, { 82, 83, 104 } ], [ { 80, 87, 482 }, { 87, 482, 483 }, { 80, 482, 483 }, { 80, 87, 483 } ], [ { 87, 484, 485 }, { 483, 484, 485 }, { 87, 483, 485 }, { 87, 483, 484 } ], [ { 487, 488, 489, 490 }, { 486, 488, 489 }, { 486, 487, 488 }, { 486, 489, 490 }, { 486, 487, 490 } ], [ { 487, 488, 492 }, { 487, 491, 492 }, { 487, 488, 491, 493 }, { 491, 492, 493 }, { 488, 492, 493 } ], [ { 86, 87, 90 }, { 80, 87, 90 }, { 80, 86, 90 }, { 80, 86, 87 } ], [ { 90, 484, 494 }, { 87, 90, 494 }, { 87, 484, 494 }, { 87, 90, 484 } ], [ { 90, 486, 494 }, { 90, 102, 494 }, { 102, 486, 494 }, { 90, 102, 486 } ], [ { 93, 94, 97 }, { 92, 94, 97 }, { 92, 93, 97 }, { 92, 93, 94 } ], [ { 93, 97, 496 }, { 97, 495, 496 }, { 93, 97, 495 }, { 93, 495, 496 } ], [ { 100, 486, 496 }, { 93, 100, 486 }, { 93, 100, 496 }, { 93, 486, 496 } ], [ { 93, 99, 100 }, { 92, 99, 100 }, { 92, 93, 100 }, { 92, 93, 99 } ], [ { 80, 90, 99 }, { 80, 90, 102 }, { 90, 99, 102 }, { 80, 99, 102 } ], [ { 83, 105, 497 }, { 104, 105, 497 }, { 83, 104, 105 }, { 83, 104, 497 } ], [ { 484, 495, 500 }, { 495, 498, 500 }, { 484, 495, 498, 499 }, { 498, 499, 500 }, { 484, 499, 500 } ], [ { 106, 107, 108 }, { 107, 108, 501 }, { 106, 108, 501 }, { 106, 107, 501 } ], [ { 107, 108, 111 }, { 107, 108, 501 }, { 108, 111, 501 }, { 107, 111, 501 } ], [ { 107, 111, 501 }, { 107, 113, 501, 502 }, { 111, 501, 502 }, { 107, 111, 113 }, { 111, 113, 502 } ], [ { 111, 113, 502 }, { 111, 112, 113 }, { 112, 113, 502 }, { 111, 112, 502 } ], [ { 113, 116, 502 }, { 112, 113, 116 }, { 112, 113, 502 }, { 112, 116, 502 } ], [ { 104, 122, 503 }, { 104, 122, 474, 475 }, { 104, 474, 503 }, { 474, 475, 503 }, { 122, 475, 503 } ], [ { 97, 504, 505 }, { 92, 97, 505 }, { 92, 97, 504 }, { 92, 504, 505 } ], [ { 97, 505, 506 }, { 97, 495, 506 }, { 495, 505, 506 }, { 97, 495, 505 } ], [ { 505, 507, 508 }, { 495, 507, 508 }, { 495, 505, 508 }, { 495, 505, 507 } ], [ { 124, 509, 510 }, { 501, 509, 510 }, { 124, 501, 510 }, { 124, 501, 509 } ], [ { 123, 124, 510 }, { 122, 124, 510 }, { 122, 123, 510 }, { 122, 123, 124 } ], [ { 511, 513, 514, 516 }, { 511, 512, 513, 515 }, { 511, 514, 515 }, { 512, 514, 515, 516 }, { 512, 513, 516 } ], [ { 117, 120, 128 }, { 117, 120, 517 }, { 117, 128, 517 }, { 120, 128, 517 } ], [ { 118, 504, 518 }, { 92, 118, 504 }, { 92, 118, 518 }, { 92, 504, 518 } ], [ { 117, 118, 120 }, { 92, 117, 118 }, { 92, 118, 120 }, { 92, 117, 120 } ], [ { 118, 120, 518 }, { 118, 120, 519 }, { 118, 518, 519 }, { 120, 518, 519 } ], [ { 120, 128, 520 }, { 120, 517, 520 }, { 128, 517, 520 }, { 120, 128, 517 } ], [ { 120, 518, 520 }, { 120, 520, 521 }, { 518, 520, 521 }, { 120, 518, 521 } ], [ { 124, 125, 127 }, { 122, 125, 127 }, { 122, 124, 127 }, { 122, 124, 125 } ], [ { 128, 515, 522 }, { 511, 515, 522 }, { 128, 511, 522 }, { 128, 511, 515 } ], [ { 128, 129, 522 }, { 129, 522, 523 }, { 128, 522, 523 }, { 128, 129, 523 } ], [ { 129, 130, 132 }, { 128, 129, 130 }, { 128, 130, 132 }, { 128, 129, 132 } ], [ { 117, 128, 524 }, { 92, 117, 524 }, { 92, 128, 524 }, { 92, 117, 128 } ], [ { 526, 527, 528, 529 }, { 525, 526, 528, 530 }, { 525, 526, 527 }, { 525, 527, 529, 530 }, { 528, 529, 530 } ], [ { 294, 531, 532 }, { 134, 531, 532 }, { 134, 294, 532 }, { 134, 294, 531 } ], [ { 1, 532, 533 }, { 134, 532, 533 }, { 1, 134, 533 }, { 1, 134, 532 } ], [ { 1, 2, 5 }, { 2, 5, 134 }, { 1, 5, 134 }, { 1, 2, 134 } ], [ { 77, 80, 534 }, { 80, 134, 534 }, { 77, 134, 534 }, { 77, 80, 134 } ], [ { 129, 136, 511 }, { 129, 135, 136 }, { 135, 136, 511 }, { 129, 135, 511 } ], [ { 129, 132, 535 }, { 129, 135, 535 }, { 132, 135, 535 }, { 129, 132, 135 } ], [ { 535, 537, 538 }, { 536, 537, 538 }, { 535, 536, 538 }, { 535, 536, 537 } ], [ { 538, 539, 540, 541 }, { 536, 540, 541 }, { 536, 539, 541 }, { 536, 538, 540 }, { 536, 538, 539 } ], [ { 540, 542, 543 }, { 536, 540, 543 }, { 536, 540, 542 }, { 536, 542, 543 } ], [ { 535, 544, 546 }, { 535, 542, 546 }, { 535, 542, 544, 545 }, { 542, 545, 546 }, { 544, 545, 546 } ], [ { 1, 139, 140 }, { 139, 140, 294 }, { 1, 140, 294 }, { 1, 139, 294 } ], [ { 5, 140, 542 }, { 1, 5, 140 }, { 1, 5, 542 }, { 1, 140, 542 } ], [ { 158, 548, 549 }, { 158, 547, 549 }, { 547, 548, 549 }, { 158, 547, 548 } ], [ { 547, 549, 551 }, { 549, 550, 551 }, { 547, 549, 550 }, { 547, 550, 551 } ], [ { 552, 553, 554 }, { 550, 553, 554 }, { 550, 552, 554 }, { 550, 552, 553 } ], [ { 553, 554, 556 }, { 554, 555, 556 }, { 553, 555, 556 }, { 553, 554, 555 } ], [ { 551, 553, 557 }, { 550, 551, 553 }, { 550, 551, 557 }, { 550, 553, 557 } ], [ { 551, 553, 559 }, { 551, 558, 559 }, { 553, 558, 559 }, { 551, 553, 558 } ], [ { 151, 561, 562 }, { 151, 560, 562 }, { 560, 561, 562 }, { 151, 560, 561 } ], [ { 554, 560, 562 }, { 550, 554, 562 }, { 550, 560, 562 }, { 550, 554, 560 } ], [ { 8, 9, 143 }, { 9, 143, 158 }, { 8, 143, 158 }, { 8, 9, 158 } ], [ { 8, 143, 144 }, { 143, 144, 558 }, { 8, 144, 558 }, { 8, 143, 558 } ], [ { 12, 13, 145 }, { 13, 145, 151 }, { 12, 145, 151 }, { 12, 13, 151 } ], [ { 12, 145, 146 }, { 145, 146, 555 }, { 12, 146, 555 }, { 12, 145, 555 } ], [ { 151, 562, 563 }, { 550, 562, 563 }, { 151, 550, 562 }, { 151, 550, 563 } ], [ { 147, 149, 150 }, { 149, 150, 151 }, { 147, 150, 151 }, { 147, 149, 151 } ], [ { 150, 166, 563 }, { 150, 151, 166 }, { 151, 166, 563 }, { 150, 151, 563 } ], [ { 147, 149, 152 }, { 149, 151, 152 }, { 147, 151, 152 }, { 147, 149, 151 } ], [ { 158, 549, 564 }, { 158, 549, 550 }, { 549, 550, 564 }, { 158, 550, 564 } ], [ { 154, 156, 157 }, { 156, 157, 158 }, { 154, 157, 158 }, { 154, 156, 158 } ], [ { 157, 158, 176 }, { 157, 176, 564 }, { 158, 176, 564 }, { 157, 158, 564 } ], [ { 154, 156, 159 }, { 156, 158, 159 }, { 154, 158, 159 }, { 154, 156, 158 } ], [ { 151, 566, 567 }, { 565, 566, 567 }, { 151, 565, 567 }, { 151, 565, 566 } ], [ { 158, 569, 570 }, { 568, 569, 570 }, { 158, 568, 570 }, { 158, 568, 569 } ], [ { 147, 162, 571 }, { 161, 162, 571 }, { 147, 161, 571 }, { 147, 161, 162 } ], [ { 162, 163, 166 }, { 161, 163, 166 }, { 161, 162, 166 }, { 161, 162, 163 } ], [ { 147, 168, 170 }, { 147, 167, 170 }, { 167, 168, 170 }, { 147, 167, 168 } ], [ { 154, 172, 572 }, { 171, 172, 572 }, { 154, 171, 572 }, { 154, 171, 172 } ], [ { 172, 173, 176 }, { 171, 173, 176 }, { 171, 172, 176 }, { 171, 172, 173 } ], [ { 573, 574, 575 }, { 172, 574, 575 }, { 172, 573, 575 }, { 172, 573, 574 } ], [ { 576, 577, 578 }, { 162, 577, 578 }, { 162, 576, 578 }, { 162, 576, 577 } ], [ { 162, 172, 579, 580, 581, 582 }, { 162, 172, 574, 577 }, { 162, 577, 580 }, { 172, 574, 579 }, { 577, 580, 581, 583 }, { 574, 579, 582, 583 }, { 574, 577, 583 }, { 581, 582, 583 } ], [ { 294, 584, 585 }, { 181, 294, 585 }, { 181, 584, 585 }, { 181, 294, 584 } ], [ { 167, 294, 587 }, { 294, 586, 587 }, { 167, 586, 587 }, { 167, 294, 586 } ], [ { 167, 178, 179, 181 }, { 167, 177, 178 }, { 167, 177, 181 }, { 177, 179, 181 }, { 177, 178, 179 } ], [ { 154, 183, 185 }, { 154, 181, 185 }, { 181, 183, 185 }, { 154, 181, 183 } ], [ { 154, 172, 572 }, { 172, 572, 588 }, { 154, 172, 588, 589 }, { 572, 588, 589 }, { 154, 572, 589 } ], [ { 590, 591, 592 }, { 201, 591, 592 }, { 201, 590, 592 }, { 201, 590, 591 } ], [ { 591, 594, 595 }, { 591, 593, 595 }, { 593, 594, 595 }, { 591, 593, 594 } ], [ { 591, 592, 596 }, { 201, 592, 596 }, { 201, 591, 592 }, { 201, 591, 596 } ], [ { 201, 596, 598 }, { 596, 597, 598 }, { 201, 597, 598 }, { 201, 596, 597 } ], [ { 596, 598, 599 }, { 591, 598, 599 }, { 591, 596, 599 }, { 591, 596, 598 } ], [ { 598, 600, 601 }, { 593, 598, 601 }, { 593, 598, 600 }, { 593, 600, 601 } ], [ { 591, 598, 602 }, { 593, 598, 602 }, { 591, 593, 602 }, { 591, 593, 598 } ], [ { 187, 188, 192 }, { 188, 189, 191, 192 }, { 187, 191, 192 }, { 187, 189, 191 }, { 187, 188, 189 } ], [ { 191, 192, 603, 604 }, { 190, 191, 603, 605 }, { 190, 191, 192 }, { 190, 192, 604, 605 }, { 603, 604, 605 } ], [ { 603, 604, 607, 608 }, { 604, 606, 607 }, { 603, 604, 606 }, { 603, 606, 608 }, { 606, 607, 608 } ], [ { 292, 610, 611 }, { 609, 610, 611 }, { 292, 609, 611 }, { 292, 609, 610 } ], [ { 595, 613, 614 }, { 612, 613, 614 }, { 595, 612, 614 }, { 595, 612, 613 } ], [ { 595, 600, 613 }, { 593, 595, 613 }, { 593, 600, 613 }, { 593, 595, 600 } ], [ { 612, 613, 614 }, { 609, 613, 614 }, { 609, 612, 614 }, { 609, 612, 613 } ], [ { 25, 615, 616 }, { 25, 209, 616 }, { 209, 615, 616 }, { 25, 209, 615 } ], [ { 610, 611, 617 }, { 292, 610, 611 }, { 292, 611, 617 }, { 292, 610, 617 } ], [ { 25, 617, 619 }, { 617, 618, 619 }, { 25, 617, 618 }, { 25, 618, 619 } ], [ { 610, 617, 620 }, { 610, 617, 618 }, { 610, 618, 620 }, { 617, 618, 620 } ], [ { 25, 616, 621 }, { 209, 616, 621 }, { 25, 209, 621 }, { 25, 209, 616 } ], [ { 209, 621, 623 }, { 621, 622, 623 }, { 209, 621, 622 }, { 209, 622, 623 } ], [ { 621, 623, 624 }, { 25, 621, 624 }, { 25, 623, 624 }, { 25, 621, 623 } ], [ { 25, 623, 625 }, { 618, 623, 625 }, { 25, 618, 625 }, { 25, 618, 623 } ], [ { 620, 623, 626 }, { 618, 623, 626 }, { 618, 620, 626 }, { 618, 620, 623 } ], [ { 628, 629, 630 }, { 627, 629, 630 }, { 627, 628, 630 }, { 627, 628, 629 } ], [ { 199, 628, 630 }, { 197, 199, 630 }, { 197, 628, 630 }, { 197, 199, 628 } ], [ { 198, 199, 201 }, { 197, 198, 199 }, { 197, 199, 201 }, { 197, 198, 201 } ], [ { 202, 203, 631 }, { 201, 203, 631 }, { 201, 202, 631 }, { 201, 202, 203 } ], [ { 198, 199, 631 }, { 199, 201, 631 }, { 198, 201, 631 }, { 198, 199, 201 } ], [ { 633, 634, 635 }, { 632, 634, 635 }, { 632, 633, 635 }, { 632, 633, 634 } ], [ { 633, 635, 636 }, { 209, 635, 636 }, { 209, 633, 636 }, { 209, 633, 635 } ], [ { 202, 637, 638 }, { 209, 637, 638 }, { 202, 209, 638 }, { 202, 209, 637 } ], [ { 639, 640, 641 }, { 632, 640, 641 }, { 632, 639, 641 }, { 632, 639, 640 } ], [ { 640, 641, 642 }, { 201, 641, 642 }, { 201, 640, 642 }, { 201, 640, 641 } ], [ { 202, 643, 644 }, { 201, 643, 644 }, { 201, 202, 644 }, { 201, 202, 643 } ], [ { 628, 646, 647 }, { 645, 646, 647 }, { 628, 645, 647 }, { 628, 645, 646 } ], [ { 648, 649, 650 }, { 645, 649, 650 }, { 645, 648, 650 }, { 645, 648, 649 } ], [ { 222, 224, 648 }, { 221, 222, 224 }, { 221, 224, 648 }, { 221, 222, 648 } ], [ { 205, 206, 208 }, { 206, 208, 209 }, { 205, 208, 209 }, { 205, 206, 209 } ], [ { 206, 208, 224 }, { 208, 224, 648 }, { 206, 208, 648 }, { 206, 224, 648 } ], [ { 202, 210, 651 }, { 209, 210, 651 }, { 202, 209, 651 }, { 202, 209, 210 } ], [ { 205, 206, 651 }, { 205, 206, 209 }, { 206, 209, 651 }, { 205, 209, 651 } ], [ { 212, 213, 215 }, { 213, 215, 652 }, { 212, 215, 652 }, { 212, 213, 652 } ], [ { 212, 240, 653 }, { 240, 652, 653 }, { 212, 240, 652 }, { 212, 652, 653 } ], [ { 654, 655, 656 }, { 366, 655, 656 }, { 366, 654, 656 }, { 366, 654, 655 } ], [ { 220, 655, 658 }, { 220, 655, 657 }, { 220, 657, 658 }, { 655, 657, 658 } ], [ { 217, 654, 655 }, { 213, 217, 655 }, { 213, 654, 655 }, { 213, 217, 654 } ], [ { 217, 220, 655 }, { 219, 220, 655 }, { 217, 219, 220 }, { 217, 219, 655 } ], [ { 217, 218, 220 }, { 213, 218, 220 }, { 213, 217, 220 }, { 213, 217, 218 } ], [ { 221, 222, 223 }, { 222, 223, 225 }, { 221, 223, 225 }, { 221, 222, 225 } ], [ { 223, 226, 227 }, { 223, 225, 227 }, { 223, 225, 226 }, { 225, 226, 227 } ], [ { 223, 227, 230 }, { 221, 223, 230 }, { 221, 227, 230 }, { 221, 223, 227 } ], [ { 244, 245, 259 }, { 243, 244, 245 }, { 243, 245, 259 }, { 243, 244, 259 } ], [ { 212, 231, 232 }, { 225, 231, 232 }, { 212, 225, 232 }, { 212, 225, 231 } ], [ { 231, 234, 236 }, { 225, 231, 236 }, { 225, 234, 236 }, { 225, 231, 234 } ], [ { 231, 236, 238 }, { 212, 236, 238 }, { 212, 231, 238 }, { 212, 231, 236 } ], [ { 16, 17, 239 }, { 17, 239, 243 }, { 16, 17, 243 }, { 16, 239, 243 } ], [ { 239, 240, 250 }, { 16, 239, 240 }, { 16, 240, 250 }, { 16, 239, 250 } ], [ { 243, 245, 246 }, { 242, 245, 246 }, { 242, 243, 245 }, { 242, 243, 246 } ], [ { 243, 659, 660 }, { 242, 659, 660 }, { 242, 243, 660 }, { 242, 243, 659 } ], [ { 661, 662, 663 }, { 659, 662, 663 }, { 659, 661, 663 }, { 659, 661, 662 } ], [ { 665, 666, 667 }, { 664, 666, 667 }, { 664, 665, 667 }, { 664, 665, 666 } ], [ { 239, 248, 250 }, { 239, 243, 248 }, { 243, 248, 250 }, { 239, 243, 250 } ], [ { 243, 248, 667 }, { 248, 667, 668 }, { 243, 667, 668 }, { 243, 248, 668 } ], [ { 252, 256, 669 }, { 256, 661, 669 }, { 252, 661, 669 }, { 252, 256, 661 } ], [ { 252, 254, 256 }, { 251, 254, 256 }, { 251, 252, 254 }, { 251, 252, 256 } ], [ { 251, 256, 664 }, { 251, 256, 670 }, { 256, 664, 670 }, { 251, 664, 670 } ], [ { 245, 259, 260 }, { 245, 246, 260 }, { 245, 246, 259 }, { 246, 259, 260 } ], [ { 25, 263, 671 }, { 221, 263, 671 }, { 25, 221, 263 }, { 25, 221, 671 } ], [ { 260, 671, 672 }, { 221, 671, 672 }, { 221, 260, 671 }, { 221, 260, 672 } ], [ { 265, 266, 292, 398 }, { 264, 292, 398 }, { 264, 265, 292 }, { 264, 266, 398 }, { 264, 265, 266 } ], [ { 274, 398, 673 }, { 264, 274, 398 }, { 264, 274, 673 }, { 264, 398, 673 } ], [ { 20, 674, 675 }, { 20, 292, 675 }, { 292, 674, 675 }, { 20, 292, 674 } ], [ { 264, 274, 676 }, { 274, 292, 676 }, { 264, 292, 676 }, { 264, 274, 292 } ], [ { 20, 676, 677 }, { 274, 676, 677 }, { 20, 274, 677 }, { 20, 274, 676 } ], [ { 20, 25, 675 }, { 19, 20, 675 }, { 19, 25, 675 }, { 19, 20, 25 } ], [ { 20, 23, 274 }, { 19, 20, 23 }, { 19, 23, 274 }, { 19, 20, 274 } ], [ { 269, 271, 678 }, { 246, 271, 678 }, { 246, 269, 678 }, { 246, 269, 271 } ], [ { 25, 273, 274 }, { 19, 273, 274 }, { 19, 25, 273 }, { 19, 25, 274 } ], [ { 275, 276, 277 }, { 28, 276, 277 }, { 28, 275, 277 }, { 28, 275, 276 } ], [ { 277, 282, 679 }, { 275, 277, 679 }, { 275, 282, 679 }, { 275, 277, 282 } ], [ { 275, 280, 282 }, { 279, 280, 282 }, { 275, 279, 280 }, { 275, 279, 282 } ], [ { 292, 405, 681 }, { 405, 680, 681 }, { 292, 405, 680 }, { 292, 680, 681 } ], [ { 284, 285, 287 }, { 28, 285, 287 }, { 28, 284, 285 }, { 28, 284, 287 } ], [ { 30, 287, 682 }, { 28, 30, 287 }, { 28, 287, 682 }, { 28, 30, 682 } ], [ { 30, 277, 682 }, { 28, 30, 682 }, { 28, 30, 277 }, { 28, 277, 682 } ], [ { 277, 679, 682 }, { 282, 679, 682 }, { 277, 282, 679 }, { 277, 282, 682 } ], [ { 288, 289, 290 }, { 289, 290, 292 }, { 288, 290, 292 }, { 288, 289, 292 } ], [ { 290, 293, 683 }, { 292, 293, 683 }, { 290, 292, 293 }, { 290, 292, 683 } ], [ { 290, 295, 353 }, { 294, 295, 353 }, { 290, 294, 353 }, { 290, 294, 295 } ], [ { 284, 684, 685 }, { 352, 684, 685 }, { 284, 352, 685 }, { 284, 352, 684 } ], [ { 290, 353, 685 }, { 352, 353, 685 }, { 290, 352, 685 }, { 290, 352, 353 } ], [ { 284, 290, 685 }, { 290, 685, 686 }, { 284, 685, 686 }, { 284, 290, 686 } ], [ { 284, 687, 688 }, { 28, 687, 688 }, { 28, 284, 688 }, { 28, 284, 687 } ], [ { 28, 688, 690 }, { 688, 689, 690 }, { 28, 689, 690 }, { 28, 688, 689 } ], [ { 688, 690, 691 }, { 284, 690, 691 }, { 284, 688, 690 }, { 284, 688, 691 } ], [ { 297, 298, 299 }, { 298, 299, 690 }, { 297, 299, 690 }, { 297, 298, 690 } ], [ { 317, 690, 691 }, { 284, 317, 690 }, { 284, 317, 691 }, { 284, 690, 691 } ], [ { 297, 302, 692 }, { 301, 302, 692 }, { 297, 301, 302 }, { 297, 301, 692 } ], [ { 306, 308, 692 }, { 306, 307, 692 }, { 306, 307, 308 }, { 307, 308, 692 } ], [ { 308, 693, 694 }, { 28, 693, 694 }, { 28, 308, 694 }, { 28, 308, 693 } ], [ { 692, 693, 695 }, { 28, 692, 695 }, { 28, 693, 695 }, { 28, 692, 693 } ], [ { 308, 692, 693 }, { 307, 692, 693 }, { 307, 308, 692 }, { 307, 308, 693 } ], [ { 305, 306, 308 }, { 301, 305, 306 }, { 301, 306, 308 }, { 301, 305, 308 } ], [ { 305, 310, 319 }, { 301, 305, 310 }, { 301, 305, 319 }, { 301, 310, 319 } ], [ { 305, 309, 310 }, { 305, 308, 309 }, { 308, 309, 310 }, { 305, 308, 310 } ], [ { 312, 313, 314 }, { 284, 313, 314 }, { 284, 312, 314 }, { 284, 312, 313 } ], [ { 299, 314, 317 }, { 284, 314, 317 }, { 284, 299, 317 }, { 284, 299, 314 } ], [ { 299, 314, 320 }, { 312, 314, 320 }, { 299, 312, 320 }, { 299, 312, 314 } ], [ { 310, 322, 696 }, { 310, 312, 696 }, { 310, 312, 322, 324 }, { 312, 324, 696 }, { 322, 324, 696 } ], [ { 310, 319, 696 }, { 301, 310, 319 }, { 301, 310, 696 }, { 301, 319, 696 } ], [ { 299, 301, 319, 320 }, { 301, 319, 696 }, { 299, 301, 696 }, { 319, 320, 696 }, { 299, 320, 696 } ], [ { 299, 320, 696 }, { 299, 312, 320 }, { 312, 320, 696 }, { 299, 312, 696 } ], [ { 310, 327, 328 }, { 308, 310, 328 }, { 308, 327, 328 }, { 308, 310, 327 } ], [ { 310, 323, 328, 697 }, { 310, 312, 328 }, { 312, 325, 328, 697 }, { 310, 312, 323, 325 }, { 323, 325, 697 } ], [ { 312, 326, 328 }, { 284, 326, 328 }, { 284, 312, 328 }, { 284, 312, 326 } ], [ { 308, 327, 328 }, { 284, 308, 328 }, { 284, 308, 326, 327 }, { 284, 326, 328 }, { 326, 327, 328 } ], [ { 334, 335, 337 }, { 333, 334, 335 }, { 333, 335, 337 }, { 333, 334, 337 } ], [ { 335, 339, 340 }, { 337, 339, 340 }, { 335, 337, 339 }, { 335, 337, 340 } ], [ { 284, 308, 342, 344 }, { 284, 308, 698, 699 }, { 308, 342, 699 }, { 342, 344, 698, 699 }, { 284, 344, 698 } ], [ { 284, 352, 684 }, { 284, 684, 698, 700 }, { 284, 352, 698 }, { 352, 698, 700 }, { 352, 684, 700 } ], [ { 337, 346, 348 }, { 333, 337, 348 }, { 333, 346, 348 }, { 333, 337, 346 } ], [ { 337, 350, 351 }, { 294, 350, 351 }, { 294, 337, 351 }, { 294, 337, 350 } ], [ { 294, 353, 355 }, { 352, 353, 355 }, { 294, 352, 355 }, { 294, 352, 353 } ], [ { 337, 355, 356 }, { 337, 352, 355 }, { 352, 355, 356 }, { 337, 352, 356 } ], [ { 337, 355, 358 }, { 294, 355, 358 }, { 294, 337, 355 }, { 294, 337, 358 } ], [ { 35, 359, 360 }, { 35, 360, 366 }, { 35, 359, 366 }, { 359, 360, 366 } ], [ { 335, 340, 362 }, { 333, 340, 362 }, { 333, 335, 340 }, { 333, 335, 362 } ], [ { 35, 362, 364 }, { 35, 333, 364 }, { 35, 333, 362 }, { 333, 362, 364 } ], [ { 308, 340, 701 }, { 308, 365, 701 }, { 340, 365, 701 }, { 308, 340, 365 } ], [ { 35, 340, 362 }, { 35, 340, 365 }, { 35, 362, 365 }, { 340, 362, 365 } ], [ { 35, 308, 702 }, { 35, 365, 702 }, { 35, 308, 365 }, { 308, 365, 702 } ], [ { 35, 366, 367 }, { 32, 35, 367 }, { 32, 35, 366 }, { 32, 366, 367 } ], [ { 33, 35, 373 }, { 33, 35, 367 }, { 35, 367, 373 }, { 33, 367, 373 } ], [ { 28, 369, 371 }, { 28, 368, 371 }, { 368, 369, 371 }, { 28, 368, 369 } ], [ { 369, 373, 703 }, { 368, 373, 703 }, { 368, 369, 703 }, { 368, 369, 373 } ], [ { 372, 373, 375 }, { 369, 373, 375 }, { 369, 372, 375 }, { 369, 372, 373 } ], [ { 37, 308, 377 }, { 28, 37, 377 }, { 28, 308, 377 }, { 28, 37, 308 } ], [ { 36, 37, 40 }, { 28, 36, 37 }, { 28, 37, 40 }, { 28, 36, 40 } ], [ { 36, 37, 379 }, { 36, 37, 308 }, { 37, 308, 379 }, { 36, 308, 379 } ], [ { 28, 36, 40 }, { 36, 40, 368 }, { 28, 36, 368 }, { 28, 40, 368 } ], [ { 36, 373, 703 }, { 36, 368, 703 }, { 368, 373, 703 }, { 36, 368, 373 } ], [ { 381, 704, 705 }, { 366, 381, 705 }, { 366, 704, 705 }, { 366, 381, 704 } ], [ { 381, 704, 706 }, { 366, 381, 706 }, { 366, 704, 706 }, { 366, 381, 704 } ], [ { 383, 706, 707 }, { 366, 383, 706 }, { 366, 706, 707 }, { 366, 383, 707 } ], [ { 381, 383, 706 }, { 380, 383, 706 }, { 380, 381, 706 }, { 380, 381, 383 } ], [ { 382, 383, 708 }, { 381, 382, 383 }, { 381, 383, 708 }, { 381, 382, 708 } ], [ { 381, 384, 385 }, { 369, 381, 385 }, { 369, 384, 385 }, { 369, 381, 384 } ], [ { 387, 388, 389 }, { 246, 388, 389 }, { 246, 387, 389 }, { 246, 387, 388 } ], [ { 275, 389, 390 }, { 275, 387, 390 }, { 387, 389, 390 }, { 275, 387, 389 } ], [ { 387, 392, 393 }, { 28, 392, 393 }, { 28, 387, 393 }, { 28, 387, 392 } ], [ { 384, 387, 395 }, { 369, 387, 395 }, { 369, 384, 395 }, { 369, 384, 387 } ], [ { 250, 387, 397 }, { 384, 387, 397 }, { 250, 384, 397 }, { 250, 384, 387 } ], [ { 398, 399, 402 }, { 292, 398, 399 }, { 292, 399, 402 }, { 292, 398, 402 } ], [ { 402, 709, 710 }, { 292, 402, 710 }, { 292, 709, 710 }, { 292, 402, 709 } ], [ { 405, 681, 709 }, { 292, 405, 681 }, { 292, 405, 709 }, { 292, 681, 709 } ], [ { 402, 403, 405 }, { 403, 405, 709 }, { 402, 405, 709 }, { 402, 403, 709 } ], [ { 271, 400, 402 }, { 246, 271, 402 }, { 246, 271, 400 }, { 246, 400, 402 } ], [ { 402, 404, 405 }, { 400, 404, 405 }, { 400, 402, 405 }, { 400, 402, 404 } ], [ { 275, 405, 407 }, { 389, 405, 407 }, { 275, 389, 405 }, { 275, 389, 407 } ], [ { 51, 711, 712 }, { 51, 450, 712 }, { 51, 450, 711 }, { 450, 711, 712 } ], [ { 425, 713, 715, 717 }, { 425, 713, 714, 716 }, { 713, 715, 716 }, { 714, 715, 716, 717 }, { 425, 714, 717 } ], [ { 712, 718, 719 }, { 450, 712, 719 }, { 450, 712, 718 }, { 450, 718, 719 } ], [ { 409, 412, 414 }, { 408, 410, 412, 414 }, { 408, 409, 412 }, { 408, 409, 410 }, { 409, 410, 414 } ], [ { 409, 416, 418, 419 }, { 408, 409, 419 }, { 408, 409, 416, 417 }, { 408, 417, 418, 419 }, { 416, 417, 418 } ], [ { 409, 419, 421 }, { 409, 416, 421 }, { 409, 416, 418, 419 }, { 418, 419, 421 }, { 416, 418, 421 } ], [ { 409, 421, 721 }, { 409, 421, 720 }, { 421, 720, 721 }, { 409, 720, 721 } ], [ { 416, 421, 723 }, { 421, 722, 723 }, { 416, 722, 723 }, { 416, 421, 722 } ], [ { 416, 724, 725 }, { 416, 722, 725 }, { 722, 724, 725 }, { 416, 722, 724 } ], [ { 416, 727, 728 }, { 726, 727, 728 }, { 416, 726, 728 }, { 416, 726, 727 } ], [ { 45, 422, 423 }, { 43, 422, 423 }, { 43, 45, 422 }, { 43, 45, 423 } ], [ { 45, 426, 427 }, { 425, 426, 427 }, { 45, 425, 426 }, { 45, 425, 427 } ], [ { 45, 427, 432 }, { 45, 427, 428 }, { 427, 428, 432 }, { 45, 428, 432 } ], [ { 423, 431, 432 }, { 423, 425, 427, 432 }, { 423, 425, 429, 431 }, { 427, 429, 431, 432 }, { 425, 427, 429 } ], [ { 45, 423, 432 }, { 45, 423, 434 }, { 423, 432, 434 }, { 45, 432, 434 } ], [ { 45, 48, 51 }, { 45, 48, 425 }, { 45, 51, 425 }, { 48, 51, 425 } ], [ { 435, 436, 729 }, { 104, 435, 436 }, { 104, 436, 729 }, { 104, 435, 729 } ], [ { 436, 438, 730 }, { 104, 436, 438 }, { 104, 438, 730 }, { 104, 436, 730 } ], [ { 436, 730, 731 }, { 57, 436, 731 }, { 57, 730, 731 }, { 57, 436, 730 } ], [ { 53, 57, 436 }, { 53, 436, 440 }, { 57, 436, 440 }, { 53, 57, 440 } ], [ { 53, 54, 57, 58 }, { 53, 57, 731, 732 }, { 57, 58, 731 }, { 54, 58, 731, 732 }, { 53, 54, 732 } ], [ { 436, 729, 732 }, { 53, 436, 732 }, { 53, 729, 732 }, { 53, 436, 729 } ], [ { 61, 62, 68 }, { 61, 62, 443 }, { 62, 68, 443 }, { 61, 68, 443 } ], [ { 61, 68, 731 }, { 61, 68, 733 }, { 61, 731, 733 }, { 68, 731, 733 } ], [ { 65, 67, 74 }, { 67, 74, 450 }, { 65, 74, 450 }, { 65, 67, 450 } ], [ { 68, 72, 445 }, { 65, 68, 445 }, { 65, 67, 68, 72 }, { 65, 67, 445 }, { 67, 72, 445 } ], [ { 62, 68, 72 }, { 62, 72, 443 }, { 62, 68, 443 }, { 68, 72, 443 } ], [ { 67, 72, 443, 450 }, { 67, 72, 446 }, { 443, 447, 448, 450, 734, 735 }, { 72, 446, 447, 735 }, { 67, 446, 448, 734 }, { 446, 447, 448 }, { 67, 450, 734 }, { 72, 443, 735 } ], [ { 65, 73, 74 }, { 73, 74, 450 }, { 65, 74, 450 }, { 65, 73, 450 } ], [ { 65, 73, 732 }, { 65, 73, 459 }, { 73, 459, 732 }, { 65, 459, 732 } ], [ { 452, 453, 454 }, { 453, 454, 736 }, { 452, 454, 736 }, { 452, 453, 736 } ], [ { 453, 454, 456 }, { 450, 454, 456 }, { 450, 453, 456 }, { 450, 453, 454 } ], [ { 454, 737, 738 }, { 454, 736, 738 }, { 736, 737, 738 }, { 454, 736, 737 } ], [ { 457, 732, 737 }, { 732, 737, 739 }, { 457, 732, 739 }, { 457, 737, 739 } ], [ { 73, 450, 456 }, { 73, 456, 457 }, { 73, 450, 457 }, { 450, 456, 457 } ], [ { 73, 459, 732 }, { 73, 457, 732 }, { 73, 457, 459 }, { 457, 459, 732 } ], [ { 435, 462, 729 }, { 104, 435, 462 }, { 104, 462, 729 }, { 104, 435, 729 } ], [ { 462, 464, 737 }, { 460, 462, 464 }, { 460, 464, 737 }, { 460, 462, 737 } ], [ { 462, 466, 467 }, { 104, 462, 467 }, { 104, 466, 467 }, { 104, 462, 466 } ], [ { 466, 468, 470 }, { 460, 468, 470 }, { 460, 462, 466, 470 }, { 460, 462, 468 }, { 462, 466, 468 } ], [ { 122, 470, 473 }, { 104, 122, 473 }, { 104, 122, 466, 470 }, { 104, 466, 473 }, { 466, 470, 473 } ], [ { 460, 470, 477 }, { 122, 460, 477 }, { 122, 470, 477 }, { 122, 460, 470 } ], [ { 460, 478, 740 }, { 122, 460, 740 }, { 122, 478, 740 }, { 122, 460, 478 } ], [ { 77, 78, 80 }, { 78, 80, 134 }, { 77, 80, 134 }, { 77, 78, 134 } ], [ { 78, 480, 481 }, { 78, 134, 481 }, { 134, 480, 481 }, { 78, 134, 480 } ], [ { 79, 80, 481 }, { 78, 79, 481 }, { 78, 79, 80 }, { 78, 80, 481 } ], [ { 82, 83, 481 }, { 83, 104, 481 }, { 82, 83, 104 }, { 82, 104, 481 } ], [ { 80, 83, 481 }, { 83, 481, 483 }, { 80, 83, 483 }, { 80, 481, 483 } ], [ { 80, 87, 484 }, { 87, 483, 484 }, { 80, 483, 484 }, { 80, 87, 483 } ], [ { 487, 488, 491, 493 }, { 486, 487, 488 }, { 486, 487, 491 }, { 486, 491, 493 }, { 486, 488, 493 } ], [ { 486, 488, 493 }, { 484, 488, 493 }, { 484, 486, 493 }, { 484, 486, 488 } ], [ { 486, 487, 491 }, { 487, 491, 495 }, { 486, 491, 495 }, { 486, 487, 495 } ], [ { 87, 90, 484 }, { 80, 90, 484 }, { 80, 87, 90 }, { 80, 87, 484 } ], [ { 80, 90, 486 }, { 90, 102, 486 }, { 80, 90, 102 }, { 80, 102, 486 } ], [ { 90, 486, 494 }, { 90, 484, 494 }, { 484, 486, 494 }, { 90, 484, 486 } ], [ { 93, 97, 495 }, { 92, 93, 97 }, { 92, 97, 495 }, { 92, 93, 495 } ], [ { 93, 100, 486 }, { 92, 100, 486 }, { 92, 93, 100 }, { 92, 93, 486 } ], [ { 93, 486, 496 }, { 486, 495, 496 }, { 93, 486, 495 }, { 93, 495, 496 } ], [ { 99, 100, 486 }, { 92, 100, 486 }, { 92, 99, 100 }, { 92, 99, 486 } ], [ { 80, 99, 486 }, { 80, 102, 486 }, { 99, 102, 486 }, { 80, 99, 102 } ], [ { 83, 497, 502 }, { 104, 497, 502 }, { 83, 104, 502 }, { 83, 104, 497 } ], [ { 484, 495, 741 }, { 484, 495, 498, 499 }, { 495, 498, 741 }, { 484, 499, 741 }, { 498, 499, 741 } ], [ { 106, 108, 122 }, { 106, 108, 501 }, { 108, 122, 501 }, { 106, 122, 501 } ], [ { 111, 112, 502 }, { 111, 501, 502 }, { 108, 112, 501, 502 }, { 108, 111, 501 }, { 108, 111, 112 } ], [ { 112, 116, 502 }, { 104, 116, 502 }, { 104, 112, 116 }, { 104, 112, 502 } ], [ { 104, 122, 503 }, { 104, 108, 112, 122 }, { 104, 112, 503 }, { 108, 122, 503 }, { 108, 112, 503 } ], [ { 97, 495, 505 }, { 92, 97, 505 }, { 92, 97, 495 }, { 92, 495, 505 } ], [ { 124, 505, 507 }, { 124, 495, 507 }, { 124, 495, 505 }, { 495, 505, 507 } ], [ { 124, 501, 509 }, { 124, 495, 509 }, { 495, 501, 509 }, { 124, 495, 501 } ], [ { 122, 124, 510 }, { 124, 501, 510 }, { 122, 501, 510 }, { 122, 124, 501 } ], [ { 514, 742, 743 }, { 511, 514, 743 }, { 511, 514, 742 }, { 511, 742, 743 } ], [ { 128, 514, 515 }, { 511, 514, 515 }, { 128, 511, 515 }, { 128, 511, 514 } ], [ { 117, 120, 128 }, { 92, 117, 120 }, { 92, 117, 128 }, { 92, 120, 128 } ], [ { 118, 120, 518 }, { 92, 118, 120 }, { 92, 118, 518 }, { 92, 120, 518 } ], [ { 120, 518, 520 }, { 120, 128, 520 }, { 128, 518, 520 }, { 120, 128, 518 } ], [ { 124, 505, 518 }, { 92, 124, 505 }, { 92, 124, 518 }, { 92, 505, 518 } ], [ { 124, 127, 518 }, { 122, 124, 127 }, { 122, 127, 518 }, { 122, 124, 518 } ], [ { 128, 129, 522 }, { 129, 511, 522 }, { 128, 511, 522 }, { 128, 129, 511 } ], [ { 129, 132, 535 }, { 128, 129, 535 }, { 128, 132, 535 }, { 128, 129, 132 } ], [ { 128, 524, 744 }, { 92, 128, 524 }, { 92, 524, 744 }, { 92, 128, 744 } ], [ { 128, 132, 535 }, { 132, 535, 744 }, { 128, 535, 744 }, { 128, 132, 744 } ], [ { 92, 745, 746, 751 }, { 80, 92, 745 }, { 92, 746, 747 }, { 80, 92, 747, 750 }, { 80, 745, 748, 749 }, { 746, 747, 748, 749, 750, 751 }, { 80, 748, 750 }, { 745, 749, 751 } ], [ { 92, 752, 753 }, { 92, 525, 527, 753 }, { 92, 525, 526, 752 }, { 526, 527, 752, 753 }, { 525, 526, 527 } ], [ { 1, 294, 532 }, { 1, 134, 532 }, { 134, 294, 532 }, { 1, 134, 294 } ], [ { 1, 5, 542 }, { 5, 134, 542 }, { 1, 5, 134 }, { 1, 134, 542 } ], [ { 5, 542, 754 }, { 5, 134, 754 }, { 5, 134, 542 }, { 134, 542, 754 } ], [ { 80, 534, 754 }, { 80, 134, 534 }, { 134, 534, 754 }, { 80, 134, 754 } ], [ { 129, 511, 535 }, { 129, 135, 535 }, { 135, 511, 535 }, { 129, 135, 511 } ], [ { 535, 536, 755 }, { 135, 535, 755 }, { 135, 535, 536 }, { 135, 536, 755 } ], [ { 535, 538, 756 }, { 536, 538, 756 }, { 535, 536, 756 }, { 535, 536, 538 } ], [ { 536, 538, 540 }, { 538, 540, 756, 757 }, { 536, 540, 757 }, { 536, 756, 757 }, { 536, 538, 756 } ], [ { 536, 540, 542 }, { 540, 542, 757 }, { 536, 540, 757 }, { 536, 542, 757 } ], [ { 535, 542, 546 }, { 542, 546, 757 }, { 535, 542, 756, 757 }, { 546, 756, 757 }, { 535, 546, 756 } ], [ { 1, 140, 542 }, { 140, 294, 542 }, { 1, 140, 294 }, { 1, 294, 542 } ], [ { 140, 542, 758 }, { 140, 536, 758 }, { 536, 542, 758 }, { 140, 536, 542 } ], [ { 158, 547, 549 }, { 158, 549, 550 }, { 547, 549, 550 }, { 158, 547, 550 } ], [ { 547, 551, 558 }, { 550, 551, 558 }, { 547, 550, 551 }, { 547, 550, 558 } ], [ { 158, 558, 759 }, { 547, 558, 759 }, { 158, 547, 759 }, { 158, 547, 558 } ], [ { 553, 554, 555 }, { 550, 553, 554 }, { 550, 554, 555 }, { 550, 553, 555 } ], [ { 551, 553, 558 }, { 550, 551, 553 }, { 550, 551, 558 }, { 550, 553, 558 } ], [ { 151, 560, 562 }, { 151, 550, 562 }, { 550, 560, 562 }, { 151, 550, 560 } ], [ { 554, 555, 560 }, { 550, 554, 555 }, { 550, 554, 560 }, { 550, 555, 560 } ], [ { 151, 555, 760 }, { 555, 560, 760 }, { 151, 560, 760 }, { 151, 555, 560 } ], [ { 8, 143, 558 }, { 8, 143, 158 }, { 143, 158, 558 }, { 8, 158, 558 } ], [ { 12, 145, 555 }, { 12, 145, 151 }, { 145, 151, 555 }, { 12, 151, 555 } ], [ { 151, 166, 563 }, { 166, 550, 563 }, { 151, 166, 550 }, { 151, 550, 563 } ], [ { 147, 150, 166 }, { 150, 151, 166 }, { 147, 151, 166 }, { 147, 150, 151 } ], [ { 147, 152, 566 }, { 151, 152, 566 }, { 147, 151, 152 }, { 147, 151, 566 } ], [ { 158, 176, 564 }, { 158, 176, 550 }, { 176, 550, 564 }, { 158, 550, 564 } ], [ { 154, 157, 176 }, { 157, 158, 176 }, { 154, 158, 176 }, { 154, 157, 158 } ], [ { 154, 159, 570 }, { 158, 159, 570 }, { 154, 158, 159 }, { 154, 158, 570 } ], [ { 151, 566, 567 }, { 566, 567, 612 }, { 151, 567, 612 }, { 151, 566, 612 } ], [ { 151, 567, 761 }, { 151, 565, 567 }, { 565, 567, 761 }, { 151, 565, 761 } ], [ { 151, 762, 763 }, { 761, 762, 763 }, { 151, 761, 763 }, { 151, 761, 762 } ], [ { 12, 151, 762 }, { 8, 12, 151, 158 }, { 151, 158, 762 }, { 8, 158, 762 }, { 8, 12, 762 } ], [ { 158, 762, 765 }, { 762, 764, 765 }, { 158, 764, 765 }, { 158, 762, 764 } ], [ { 612, 761, 766 }, { 609, 761, 766 }, { 609, 612, 766 }, { 609, 612, 761 } ], [ { 761, 764, 767, 768 }, { 609, 761, 767 }, { 609, 761, 764 }, { 609, 767, 768 }, { 609, 764, 768 } ], [ { 292, 764, 769 }, { 609, 764, 769 }, { 292, 609, 769 }, { 292, 609, 764 } ], [ { 158, 569, 570 }, { 292, 569, 570 }, { 158, 292, 570 }, { 158, 292, 569 } ], [ { 158, 569, 764 }, { 158, 568, 569 }, { 568, 569, 764 }, { 158, 568, 764 } ], [ { 147, 162, 166 }, { 161, 162, 166 }, { 147, 161, 166 }, { 147, 161, 162 } ], [ { 147, 168, 770 }, { 147, 168, 612 }, { 147, 612, 770 }, { 168, 612, 770 } ], [ { 147, 168, 294 }, { 147, 167, 168 }, { 147, 167, 294 }, { 167, 168, 294 } ], [ { 154, 172, 176 }, { 171, 172, 176 }, { 154, 171, 176 }, { 154, 171, 172 } ], [ { 573, 576, 771 }, { 550, 576, 771 }, { 550, 573, 771 }, { 550, 573, 576 } ], [ { 162, 172, 574, 577 }, { 162, 172, 573, 576 }, { 162, 576, 577 }, { 573, 574, 576, 577 }, { 172, 573, 574 } ], [ { 167, 294, 587 }, { 167, 181, 585, 587 }, { 167, 181, 294 }, { 294, 585, 587 }, { 181, 294, 585 } ], [ { 162, 167, 178 }, { 167, 178, 179, 181 }, { 162, 167, 172, 181 }, { 162, 172, 178, 179 }, { 172, 179, 181 } ], [ { 154, 183, 772 }, { 154, 292, 772 }, { 154, 183, 292 }, { 183, 292, 772 } ], [ { 154, 183, 294 }, { 154, 181, 183 }, { 154, 181, 294 }, { 181, 183, 294 } ], [ { 154, 172, 588, 589 }, { 154, 172, 181 }, { 172, 181, 588, 773 }, { 154, 181, 589, 773 }, { 588, 589, 773 } ], [ { 590, 591, 774 }, { 201, 591, 774 }, { 201, 590, 774 }, { 201, 590, 591 } ], [ { 591, 595, 775 }, { 595, 612, 775 }, { 591, 612, 775 }, { 591, 595, 612 } ], [ { 591, 595, 600 }, { 591, 593, 595 }, { 593, 595, 600 }, { 591, 593, 600 } ], [ { 591, 596, 598 }, { 201, 596, 598 }, { 201, 591, 598 }, { 201, 591, 596 } ], [ { 591, 598, 600 }, { 591, 593, 598 }, { 593, 598, 600 }, { 591, 593, 600 } ], [ { 187, 191, 603 }, { 191, 192, 603, 604 }, { 187, 191, 192 }, { 187, 192, 604 }, { 187, 603, 604 } ], [ { 187, 192, 604 }, { 187, 604, 620 }, { 192, 604, 620 }, { 187, 192, 620 } ], [ { 600, 603, 604, 620 }, { 600, 603, 606 }, { 600, 606, 620 }, { 604, 606, 620 }, { 603, 604, 606 } ], [ { 187, 600, 603 }, { 187, 191, 603 }, { 191, 600, 603 }, { 187, 191, 600 } ], [ { 187, 292, 610 }, { 187, 609, 610 }, { 187, 292, 609 }, { 292, 609, 610 } ], [ { 595, 600, 613 }, { 595, 612, 613 }, { 600, 612, 613 }, { 595, 600, 612 } ], [ { 187, 612, 613 }, { 187, 609, 613 }, { 609, 612, 613 }, { 187, 609, 612 } ], [ { 25, 615, 776 }, { 25, 209, 776 }, { 209, 615, 776 }, { 25, 209, 615 } ], [ { 25, 617, 675 }, { 292, 617, 675 }, { 25, 292, 675 }, { 25, 292, 617 } ], [ { 610, 617, 620 }, { 292, 610, 617 }, { 292, 610, 620 }, { 292, 617, 620 } ], [ { 25, 617, 620 }, { 617, 618, 620 }, { 25, 617, 618 }, { 25, 618, 620 } ], [ { 25, 621, 623 }, { 209, 621, 623 }, { 25, 209, 621 }, { 25, 209, 623 } ], [ { 25, 620, 623 }, { 618, 620, 623 }, { 25, 618, 623 }, { 25, 618, 620 } ], [ { 627, 628, 629 }, { 628, 629, 777 }, { 627, 629, 777 }, { 627, 628, 777 } ], [ { 199, 201, 628 }, { 197, 199, 201 }, { 197, 199, 628 }, { 197, 201, 628 } ], [ { 199, 202, 647 }, { 199, 628, 647 }, { 202, 628, 647 }, { 199, 202, 628 } ], [ { 199, 202, 631 }, { 199, 201, 631 }, { 201, 202, 631 }, { 199, 201, 202 } ], [ { 209, 633, 635 }, { 632, 633, 635 }, { 209, 632, 635 }, { 209, 632, 633 } ], [ { 202, 635, 637 }, { 209, 635, 637 }, { 202, 209, 635 }, { 202, 209, 637 } ], [ { 201, 640, 641 }, { 632, 640, 641 }, { 201, 632, 641 }, { 201, 632, 640 } ], [ { 202, 641, 643 }, { 201, 641, 643 }, { 201, 202, 641 }, { 201, 202, 643 } ], [ { 628, 646, 648, 649 }, { 645, 648, 649 }, { 628, 645, 648 }, { 628, 645, 646 }, { 645, 646, 649 } ], [ { 202, 628, 647 }, { 202, 645, 647 }, { 628, 645, 647 }, { 202, 628, 645 } ], [ { 202, 648, 650 }, { 202, 645, 650 }, { 645, 648, 650 }, { 202, 645, 648 } ], [ { 221, 222, 648 }, { 222, 225, 648 }, { 221, 222, 225 }, { 221, 225, 648 } ], [ { 206, 208, 648 }, { 206, 208, 209 }, { 208, 209, 648 }, { 206, 209, 648 } ], [ { 202, 206, 651 }, { 206, 209, 651 }, { 202, 206, 209 }, { 202, 209, 651 } ], [ { 202, 206, 650 }, { 206, 648, 650 }, { 202, 648, 650 }, { 202, 206, 648 } ], [ { 212, 213, 240 }, { 213, 240, 652 }, { 212, 240, 652 }, { 212, 213, 652 } ], [ { 213, 654, 655 }, { 366, 654, 655 }, { 213, 366, 655 }, { 213, 366, 654 } ], [ { 220, 655, 657 }, { 220, 366, 655 }, { 220, 366, 657 }, { 366, 655, 657 } ], [ { 217, 220, 655 }, { 213, 220, 655 }, { 213, 217, 220 }, { 213, 217, 655 } ], [ { 213, 218, 220 }, { 218, 220, 778 }, { 213, 220, 778 }, { 213, 218, 778 } ], [ { 221, 223, 227 }, { 223, 225, 227 }, { 221, 223, 225 }, { 221, 225, 227 } ], [ { 221, 227, 259 }, { 227, 243, 259 }, { 221, 243, 259 }, { 221, 227, 243 } ], [ { 245, 246, 259 }, { 243, 245, 259 }, { 243, 245, 246 }, { 243, 246, 259 } ], [ { 212, 231, 236 }, { 225, 231, 236 }, { 212, 225, 236 }, { 212, 225, 231 } ], [ { 16, 236, 243 }, { 16, 212, 236 }, { 212, 236, 243 }, { 16, 212, 243 } ], [ { 16, 240, 250 }, { 212, 240, 250 }, { 16, 212, 240 }, { 16, 212, 250 } ], [ { 16, 239, 250 }, { 239, 243, 250 }, { 16, 239, 243 }, { 16, 243, 250 } ], [ { 662, 666, 779 }, { 243, 662, 666 }, { 243, 666, 779 }, { 243, 662, 779 } ], [ { 243, 246, 659 }, { 242, 246, 659 }, { 242, 243, 659 }, { 242, 243, 246 } ], [ { 659, 661, 662 }, { 243, 661, 662 }, { 243, 659, 662 }, { 243, 659, 661 } ], [ { 243, 666, 667 }, { 664, 666, 667 }, { 243, 664, 667 }, { 243, 664, 666 } ], [ { 248, 250, 667 }, { 243, 248, 667 }, { 243, 250, 667 }, { 243, 248, 250 } ], [ { 256, 661, 664 }, { 251, 256, 664 }, { 251, 252, 661, 664 }, { 251, 252, 256 }, { 252, 256, 661 } ], [ { 246, 259, 260 }, { 221, 259, 260 }, { 221, 246, 260 }, { 221, 246, 259 } ], [ { 25, 260, 671 }, { 221, 260, 671 }, { 25, 221, 671 }, { 25, 221, 260 } ], [ { 264, 274, 398 }, { 274, 292, 398 }, { 264, 274, 292 }, { 264, 292, 398 } ], [ { 20, 25, 675 }, { 20, 292, 675 }, { 25, 292, 675 }, { 20, 25, 292 } ], [ { 20, 274, 676 }, { 20, 292, 676 }, { 274, 292, 676 }, { 20, 274, 292 } ], [ { 20, 25, 274 }, { 19, 20, 274 }, { 19, 20, 25 }, { 19, 25, 274 } ], [ { 271, 274, 678 }, { 246, 274, 678 }, { 246, 271, 274 }, { 246, 271, 678 } ], [ { 273, 274, 678 }, { 25, 273, 274 }, { 25, 273, 678 }, { 25, 274, 678 } ], [ { 275, 277, 282 }, { 28, 277, 282 }, { 28, 275, 277 }, { 28, 275, 282 } ], [ { 275, 282, 405 }, { 279, 282, 405 }, { 275, 279, 405 }, { 275, 279, 282 } ], [ { 282, 683, 780 }, { 282, 292, 780 }, { 292, 683, 780 }, { 282, 292, 683 } ], [ { 292, 405, 780 }, { 405, 680, 780 }, { 292, 405, 680 }, { 292, 680, 780 } ], [ { 284, 287, 682 }, { 28, 287, 682 }, { 28, 284, 287 }, { 28, 284, 682 } ], [ { 277, 282, 682 }, { 28, 277, 682 }, { 28, 282, 682 }, { 28, 277, 282 } ], [ { 289, 290, 772 }, { 290, 292, 772 }, { 289, 292, 772 }, { 289, 290, 292 } ], [ { 282, 290, 683 }, { 282, 292, 683 }, { 282, 290, 292 }, { 290, 292, 683 } ], [ { 290, 294, 353 }, { 290, 352, 353 }, { 294, 352, 353 }, { 290, 294, 352 } ], [ { 284, 290, 685 }, { 290, 352, 685 }, { 284, 352, 685 }, { 284, 290, 352 } ], [ { 284, 688, 690 }, { 28, 688, 690 }, { 28, 284, 690 }, { 28, 284, 688 } ], [ { 297, 299, 690 }, { 28, 297, 299 }, { 28, 299, 690 }, { 28, 297, 690 } ], [ { 299, 317, 690 }, { 284, 299, 317 }, { 284, 317, 690 }, { 284, 299, 690 } ], [ { 28, 297, 692 }, { 297, 301, 692 }, { 28, 301, 692 }, { 28, 297, 301 } ], [ { 306, 308, 692 }, { 301, 306, 692 }, { 301, 306, 308 }, { 301, 308, 692 } ], [ { 308, 692, 693 }, { 28, 692, 693 }, { 28, 308, 692 }, { 28, 308, 693 } ], [ { 305, 308, 310 }, { 301, 305, 310 }, { 301, 305, 308 }, { 301, 308, 310 } ], [ { 299, 312, 314 }, { 284, 299, 314 }, { 284, 312, 314 }, { 284, 299, 312 } ], [ { 299, 312, 696 }, { 299, 301, 696 }, { 299, 301, 310, 312 }, { 301, 310, 696 }, { 310, 312, 696 } ], [ { 284, 308, 328 }, { 284, 312, 328 }, { 284, 308, 310, 312 }, { 310, 312, 328 }, { 308, 310, 328 } ], [ { 335, 337, 340 }, { 333, 335, 340 }, { 333, 337, 340 }, { 333, 335, 337 } ], [ { 284, 308, 340, 352 }, { 340, 352, 698, 699 }, { 284, 352, 698 }, { 284, 308, 698, 699 }, { 308, 340, 699 } ], [ { 340, 352, 781, 782 }, { 337, 352, 781 }, { 337, 340, 352 }, { 337, 781, 782 }, { 337, 340, 782 } ], [ { 337, 346, 783 }, { 333, 337, 783 }, { 333, 346, 783 }, { 333, 337, 346 } ], [ { 337, 350, 783 }, { 294, 350, 783 }, { 294, 337, 350 }, { 294, 337, 783 } ], [ { 294, 337, 355 }, { 337, 352, 355 }, { 294, 352, 355 }, { 294, 337, 352 } ], [ { 333, 784, 785 }, { 366, 784, 785 }, { 333, 366, 785 }, { 333, 366, 784 } ], [ { 35, 360, 784 }, { 35, 360, 366 }, { 35, 366, 784 }, { 360, 366, 784 } ], [ { 35, 784, 786 }, { 35, 333, 786 }, { 35, 333, 784 }, { 333, 784, 786 } ], [ { 35, 340, 362 }, { 35, 333, 340 }, { 35, 333, 362 }, { 333, 340, 362 } ], [ { 35, 308, 340 }, { 35, 308, 365 }, { 35, 340, 365 }, { 308, 340, 365 } ], [ { 35, 367, 373 }, { 35, 366, 373 }, { 35, 366, 367 }, { 366, 367, 373 } ], [ { 28, 369, 373 }, { 28, 368, 373 }, { 368, 369, 373 }, { 28, 368, 369 } ], [ { 373, 375, 381 }, { 369, 373, 375 }, { 369, 375, 381 }, { 369, 373, 381 } ], [ { 36, 37, 308 }, { 28, 36, 37 }, { 28, 37, 308 }, { 28, 36, 308 } ], [ { 28, 36, 373 }, { 36, 368, 373 }, { 28, 36, 368 }, { 28, 368, 373 } ], [ { 381, 705, 787 }, { 366, 705, 787 }, { 366, 381, 787 }, { 366, 381, 705 } ], [ { 367, 373, 787 }, { 366, 373, 787 }, { 366, 367, 787 }, { 366, 367, 373 } ], [ { 381, 383, 706 }, { 366, 383, 706 }, { 366, 381, 706 }, { 366, 381, 383 } ], [ { 381, 383, 708 }, { 250, 383, 708 }, { 250, 381, 383 }, { 250, 381, 708 } ], [ { 250, 381, 384 }, { 250, 369, 381 }, { 369, 381, 384 }, { 250, 369, 384 } ], [ { 275, 387, 389 }, { 246, 275, 389 }, { 246, 275, 387 }, { 246, 387, 389 } ], [ { 275, 387, 393 }, { 28, 275, 393 }, { 28, 387, 393 }, { 28, 275, 387 } ], [ { 250, 251, 788 }, { 246, 250, 788, 789 }, { 246, 250, 251, 252 }, { 251, 252, 788, 789 }, { 246, 252, 789 } ], [ { 28, 387, 392 }, { 369, 387, 392 }, { 28, 369, 392 }, { 28, 369, 387 } ], [ { 250, 384, 387 }, { 250, 369, 387 }, { 369, 384, 387 }, { 250, 369, 384 } ], [ { 246, 271, 402 }, { 246, 271, 292, 398 }, { 246, 292, 402 }, { 271, 398, 402 }, { 292, 398, 402 } ], [ { 402, 405, 709 }, { 292, 402, 405 }, { 292, 405, 709 }, { 292, 402, 709 } ], [ { 400, 402, 405 }, { 246, 402, 405 }, { 246, 400, 405 }, { 246, 400, 402 } ], [ { 275, 389, 405 }, { 246, 275, 405 }, { 246, 389, 405 }, { 246, 275, 389 } ], [ { 51, 450, 712 }, { 51, 425, 712 }, { 51, 425, 450 }, { 425, 450, 712 } ], [ { 712, 713, 715, 790 }, { 425, 712, 717, 790 }, { 425, 712, 713 }, { 425, 713, 715, 717 }, { 715, 717, 790 } ], [ { 712, 713, 719 }, { 450, 712, 713 }, { 450, 712, 719 }, { 450, 713, 719 } ], [ { 409, 416, 791 }, { 408, 409, 416, 417 }, { 408, 409, 412 }, { 409, 412, 791, 794 }, { 416, 791, 792, 793 }, { 408, 412, 417, 792, 793, 794 }, { 791, 792, 794 }, { 416, 417, 793 } ], [ { 421, 721, 722 }, { 416, 421, 722 }, { 409, 416, 721, 722 }, { 409, 421, 721 }, { 409, 416, 421 } ], [ { 416, 726, 727 }, { 416, 722, 727 }, { 722, 725, 726, 727 }, { 416, 725, 726 }, { 416, 722, 725 } ], [ { 45, 423, 795 }, { 43, 45, 423 }, { 43, 423, 795 }, { 43, 45, 795 } ], [ { 45, 423, 432 }, { 45, 423, 425 }, { 423, 425, 427, 432 }, { 45, 427, 432 }, { 45, 425, 427 } ], [ { 45, 51, 450 }, { 45, 51, 425 }, { 45, 425, 450 }, { 51, 425, 450 } ], [ { 436, 729, 732 }, { 104, 436, 732 }, { 104, 729, 732 }, { 104, 436, 729 } ], [ { 436, 730, 731 }, { 104, 436, 731 }, { 104, 730, 731 }, { 104, 436, 730 } ], [ { 53, 436, 732 }, { 53, 57, 731, 732 }, { 53, 57, 436 }, { 57, 436, 731 }, { 436, 731, 732 } ], [ { 61, 68, 731 }, { 61, 68, 443 }, { 61, 443, 731 }, { 68, 443, 731 } ], [ { 67, 72, 443, 450 }, { 65, 68, 443, 450 }, { 68, 72, 443 }, { 65, 67, 68, 72 }, { 65, 67, 450 } ], [ { 65, 73, 732 }, { 65, 73, 450 }, { 73, 450, 732 }, { 65, 450, 732 } ], [ { 450, 453, 454 }, { 453, 454, 736 }, { 450, 454, 736 }, { 450, 453, 736 } ], [ { 450, 454, 456 }, { 454, 456, 457 }, { 450, 456, 457 }, { 450, 454, 457 } ], [ { 457, 732, 737 }, { 732, 736, 737 }, { 454, 457, 732, 736 }, { 454, 736, 737 }, { 454, 457, 737 } ], [ { 73, 450, 732 }, { 73, 457, 732 }, { 73, 450, 457 }, { 450, 457, 732 } ], [ { 462, 729, 732 }, { 104, 462, 732 }, { 104, 729, 732 }, { 104, 462, 729 } ], [ { 460, 462, 737 }, { 460, 462, 732, 736 }, { 460, 736, 737 }, { 462, 732, 737 }, { 732, 736, 737 } ], [ { 122, 460, 470 }, { 104, 122, 460, 462 }, { 104, 122, 466, 470 }, { 460, 462, 466, 470 }, { 104, 462, 466 } ], [ { 460, 736, 740 }, { 122, 736, 740 }, { 122, 460, 740 }, { 122, 460, 736 } ], [ { 78, 80, 481 }, { 80, 134, 481 }, { 78, 134, 481 }, { 78, 80, 134 } ], [ { 80, 83, 481 }, { 83, 104, 481 }, { 80, 83, 104 }, { 80, 104, 481 } ], [ { 80, 83, 484 }, { 83, 483, 484 }, { 80, 483, 484 }, { 80, 83, 483 } ], [ { 486, 491, 495 }, { 484, 491, 493, 495 }, { 484, 486, 495 }, { 484, 486, 493 }, { 486, 491, 493 } ], [ { 90, 484, 486 }, { 80, 90, 486 }, { 80, 90, 484 }, { 80, 484, 486 } ], [ { 93, 486, 495 }, { 92, 93, 486 }, { 92, 486, 495 }, { 92, 93, 495 } ], [ { 80, 99, 486 }, { 80, 92, 486 }, { 92, 99, 486 }, { 80, 92, 99 } ], [ { 83, 484, 502 }, { 104, 484, 502 }, { 83, 104, 502 }, { 83, 104, 484 } ], [ { 484, 495, 741 }, { 484, 495, 501, 502 }, { 495, 501, 741 }, { 484, 502, 741 }, { 501, 502, 741 } ], [ { 104, 108, 112, 122 }, { 104, 122, 501, 502 }, { 104, 112, 502 }, { 108, 112, 501, 502 }, { 108, 122, 501 } ], [ { 124, 495, 505 }, { 92, 124, 505 }, { 92, 124, 495 }, { 92, 495, 505 } ], [ { 122, 124, 501 }, { 122, 124, 495 }, { 124, 495, 501 }, { 122, 495, 501 } ], [ { 128, 514, 742 }, { 128, 511, 514 }, { 511, 514, 742 }, { 128, 511, 742 } ], [ { 120, 128, 518 }, { 92, 120, 518 }, { 92, 120, 128 }, { 92, 128, 518 } ], [ { 122, 124, 518 }, { 92, 124, 518 }, { 92, 122, 124 }, { 92, 122, 518 } ], [ { 122, 128, 742 }, { 122, 742, 796 }, { 128, 518, 742, 796 }, { 122, 128, 518 }, { 122, 518, 796 } ], [ { 128, 129, 535 }, { 129, 511, 535 }, { 128, 511, 535 }, { 128, 129, 511 } ], [ { 128, 535, 744 }, { 92, 128, 535 }, { 92, 535, 744 }, { 92, 128, 744 } ], [ { 80, 92, 752, 799 }, { 92, 752, 753 }, { 752, 753, 798, 803 }, { 80, 745, 797, 802 }, { 80, 92, 745 }, { 92, 745, 753, 800 }, { 752, 798, 799 }, { 745, 797, 800 }, { 797, 800, 801, 803 }, { 798, 799, 801, 802 }, { 797, 801, 802 }, { 80, 799, 802 }, { 753, 800, 803 }, { 798, 801, 803 } ], [ { 1, 294, 542 }, { 1, 134, 542 }, { 134, 294, 542 }, { 1, 134, 294 } ], [ { 80, 542, 754 }, { 80, 134, 754 }, { 80, 134, 542 }, { 134, 542, 754 } ], [ { 511, 535, 536 }, { 135, 535, 536 }, { 135, 511, 535 }, { 135, 511, 536 } ], [ { 535, 536, 542 }, { 535, 542, 756, 757 }, { 536, 542, 757 }, { 536, 756, 757 }, { 535, 536, 756 } ], [ { 140, 536, 542 }, { 140, 294, 542 }, { 140, 294, 536 }, { 294, 536, 542 } ], [ { 158, 547, 558 }, { 158, 550, 558 }, { 547, 550, 558 }, { 158, 547, 550 } ], [ { 553, 555, 558 }, { 550, 553, 558 }, { 550, 553, 555 }, { 550, 555, 558 } ], [ { 151, 555, 560 }, { 151, 550, 555 }, { 550, 555, 560 }, { 151, 550, 560 } ], [ { 12, 151, 555 }, { 8, 12, 151, 158 }, { 151, 158, 555, 558 }, { 8, 12, 555, 558 }, { 8, 158, 558 } ], [ { 147, 151, 166 }, { 147, 166, 550 }, { 151, 166, 550 }, { 147, 151, 550 } ], [ { 147, 151, 566 }, { 147, 566, 612 }, { 151, 566, 612 }, { 147, 151, 612 } ], [ { 154, 158, 176 }, { 154, 176, 550 }, { 158, 176, 550 }, { 154, 158, 550 } ], [ { 154, 158, 570 }, { 154, 292, 570 }, { 158, 292, 570 }, { 154, 158, 292 } ], [ { 151, 567, 761 }, { 151, 567, 612 }, { 567, 612, 761 }, { 151, 612, 761 } ], [ { 158, 762, 764 }, { 761, 762, 764 }, { 151, 158, 761, 764 }, { 151, 158, 762 }, { 151, 761, 762 } ], [ { 292, 612, 761, 764 }, { 292, 609, 764 }, { 292, 609, 612 }, { 609, 761, 764 }, { 609, 612, 761 } ], [ { 158, 569, 764 }, { 158, 292, 569 }, { 292, 569, 764 }, { 158, 292, 764 } ], [ { 147, 162, 166 }, { 162, 166, 550 }, { 147, 166, 550 }, { 147, 162, 550 } ], [ { 147, 168, 294 }, { 147, 168, 612 }, { 147, 294, 612 }, { 168, 294, 612 } ], [ { 147, 162, 294 }, { 147, 162, 167 }, { 162, 167, 294 }, { 147, 167, 294 } ], [ { 154, 172, 176 }, { 172, 176, 550 }, { 154, 176, 550 }, { 154, 172, 550 } ], [ { 162, 172, 573, 576 }, { 172, 550, 573 }, { 162, 172, 550 }, { 550, 573, 576 }, { 162, 550, 576 } ], [ { 162, 167, 294 }, { 162, 167, 172, 181 }, { 167, 181, 294 }, { 162, 172, 294 }, { 172, 181, 294 } ], [ { 154, 183, 294 }, { 154, 183, 292 }, { 154, 292, 294 }, { 183, 292, 294 } ], [ { 154, 172, 294 }, { 154, 172, 181 }, { 172, 181, 294 }, { 154, 181, 294 } ], [ { 201, 591, 774 }, { 591, 627, 774 }, { 201, 627, 774 }, { 201, 591, 627 } ], [ { 591, 595, 600 }, { 591, 595, 612 }, { 595, 600, 612 }, { 591, 600, 612 } ], [ { 591, 598, 600 }, { 201, 591, 598 }, { 201, 598, 600 }, { 201, 591, 600 } ], [ { 187, 600, 603 }, { 600, 603, 604, 620 }, { 187, 600, 620 }, { 187, 604, 620 }, { 187, 603, 604 } ], [ { 187, 610, 620 }, { 187, 292, 610 }, { 187, 292, 620 }, { 292, 610, 620 } ], [ { 187, 292, 612 }, { 187, 292, 609 }, { 187, 609, 612 }, { 292, 609, 612 } ], [ { 187, 600, 613 }, { 187, 612, 613 }, { 600, 612, 613 }, { 187, 600, 612 } ], [ { 25, 209, 776 }, { 25, 221, 776 }, { 209, 221, 776 }, { 25, 209, 221 } ], [ { 25, 617, 620 }, { 292, 617, 620 }, { 25, 292, 617 }, { 25, 292, 620 } ], [ { 25, 620, 623 }, { 209, 620, 623 }, { 25, 209, 623 }, { 25, 209, 620 } ], [ { 201, 627, 628 }, { 201, 628, 777 }, { 201, 627, 777 }, { 627, 628, 777 } ], [ { 199, 201, 202 }, { 199, 202, 628 }, { 199, 201, 628 }, { 201, 202, 628 } ], [ { 201, 209, 633, 640 }, { 201, 632, 640 }, { 201, 209, 632 }, { 632, 633, 640 }, { 209, 632, 633 } ], [ { 202, 209, 635 }, { 202, 632, 635 }, { 209, 632, 635 }, { 202, 209, 632 } ], [ { 201, 202, 641 }, { 202, 632, 641 }, { 201, 632, 641 }, { 201, 202, 632 } ], [ { 202, 628, 648 }, { 202, 645, 648 }, { 202, 628, 645 }, { 628, 645, 648 } ], [ { 209, 221, 648 }, { 209, 225, 648 }, { 221, 225, 648 }, { 209, 221, 225 } ], [ { 202, 206, 648 }, { 202, 206, 209 }, { 206, 209, 648 }, { 202, 209, 648 } ], [ { 213, 240, 250 }, { 212, 240, 250 }, { 212, 213, 240 }, { 212, 213, 250 } ], [ { 213, 220, 655 }, { 220, 366, 655 }, { 213, 220, 366 }, { 213, 366, 655 } ], [ { 213, 220, 250 }, { 220, 250, 778 }, { 213, 220, 778 }, { 213, 250, 778 } ], [ { 221, 227, 243 }, { 221, 225, 227 }, { 225, 227, 243 }, { 221, 225, 243 } ], [ { 221, 246, 259 }, { 243, 246, 259 }, { 221, 243, 259 }, { 221, 243, 246 } ], [ { 212, 236, 243 }, { 225, 236, 243 }, { 212, 225, 236 }, { 212, 225, 243 } ], [ { 16, 243, 250 }, { 16, 212, 250 }, { 212, 243, 250 }, { 16, 212, 243 } ], [ { 243, 661, 662 }, { 661, 662, 664, 666 }, { 243, 661, 664 }, { 243, 662, 666 }, { 243, 664, 666 } ], [ { 246, 659, 661 }, { 243, 659, 661 }, { 243, 246, 661 }, { 243, 246, 659 } ], [ { 243, 250, 667 }, { 250, 664, 667 }, { 243, 664, 667 }, { 243, 250, 664 } ], [ { 246, 250, 251, 252 }, { 250, 251, 664 }, { 246, 250, 661, 664 }, { 251, 252, 661, 664 }, { 246, 252, 661 } ], [ { 25, 246, 260 }, { 25, 221, 260 }, { 221, 246, 260 }, { 25, 221, 246 } ], [ { 246, 271, 274 }, { 246, 274, 292 }, { 246, 271, 292, 398 }, { 274, 292, 398 }, { 271, 274, 398 } ], [ { 20, 25, 274 }, { 20, 274, 292 }, { 20, 25, 292 }, { 25, 274, 292 } ], [ { 25, 274, 678 }, { 246, 274, 678 }, { 25, 246, 274 }, { 25, 246, 678 } ], [ { 275, 282, 405 }, { 28, 282, 405 }, { 28, 275, 405 }, { 28, 275, 282 } ], [ { 282, 405, 780 }, { 292, 405, 780 }, { 282, 292, 405 }, { 282, 292, 780 } ], [ { 282, 284, 682 }, { 28, 282, 682 }, { 28, 284, 682 }, { 28, 282, 284 } ], [ { 290, 294, 772 }, { 290, 292, 772 }, { 292, 294, 772 }, { 290, 292, 294 } ], [ { 282, 284, 290 }, { 282, 290, 292 }, { 282, 284, 292 }, { 284, 290, 292 } ], [ { 284, 290, 294 }, { 284, 290, 352 }, { 290, 294, 352 }, { 284, 294, 352 } ], [ { 28, 297, 299 }, { 297, 299, 301 }, { 28, 299, 301 }, { 28, 297, 301 } ], [ { 284, 299, 690 }, { 28, 299, 690 }, { 28, 284, 299 }, { 28, 284, 690 } ], [ { 28, 308, 692 }, { 301, 308, 692 }, { 28, 301, 692 }, { 28, 301, 308 } ], [ { 284, 308, 310, 312 }, { 284, 299, 301, 308 }, { 299, 301, 310, 312 }, { 284, 299, 312 }, { 301, 308, 310 } ], [ { 308, 337, 340 }, { 308, 333, 340 }, { 308, 333, 337 }, { 333, 337, 340 } ], [ { 337, 340, 352 }, { 284, 308, 340, 352 }, { 284, 337, 352 }, { 308, 337, 340 }, { 284, 308, 337 } ], [ { 294, 337, 783 }, { 333, 337, 783 }, { 294, 333, 783 }, { 294, 333, 337 } ], [ { 284, 294, 337 }, { 284, 337, 352 }, { 294, 337, 352 }, { 284, 294, 352 } ], [ { 35, 333, 784 }, { 35, 366, 784 }, { 35, 333, 366 }, { 333, 366, 784 } ], [ { 35, 308, 340 }, { 35, 308, 333 }, { 35, 333, 340 }, { 308, 333, 340 } ], [ { 35, 308, 373 }, { 35, 366, 373 }, { 35, 308, 366 }, { 308, 366, 373 } ], [ { 28, 373, 381 }, { 369, 373, 381 }, { 28, 369, 373 }, { 28, 369, 381 } ], [ { 36, 308, 373 }, { 28, 36, 373 }, { 28, 36, 308 }, { 28, 308, 373 } ], [ { 373, 381, 787 }, { 366, 373, 787 }, { 366, 381, 787 }, { 366, 373, 381 } ], [ { 250, 381, 383 }, { 366, 381, 383 }, { 250, 366, 383 }, { 250, 366, 381 } ], [ { 28, 250, 381 }, { 250, 369, 381 }, { 28, 369, 381 }, { 28, 250, 369 } ], [ { 28, 275, 387 }, { 246, 275, 387 }, { 28, 246, 275 }, { 28, 246, 387 } ], [ { 250, 387, 788 }, { 246, 250, 788, 789 }, { 246, 250, 387 }, { 246, 387, 789 }, { 387, 788, 789 } ], [ { 28, 250, 387 }, { 250, 369, 387 }, { 28, 369, 387 }, { 28, 250, 369 } ], [ { 246, 402, 405 }, { 292, 402, 405 }, { 246, 292, 405 }, { 246, 292, 402 } ], [ { 28, 275, 405 }, { 246, 275, 405 }, { 28, 246, 405 }, { 28, 246, 275 } ], [ { 450, 712, 713 }, { 425, 712, 713 }, { 425, 450, 712 }, { 425, 450, 713 } ], [ { 423, 425, 713, 721, 722, 727 }, { 416, 722, 727 }, { 409, 416, 721, 722 }, { 416, 423, 727, 791 }, { 423, 425, 791 }, { 409, 425, 713, 791 }, { 409, 713, 721 }, { 409, 416, 791 } ], [ { 45, 450, 795 }, { 45, 425, 450 }, { 423, 425, 450, 795 }, { 45, 423, 425 }, { 45, 423, 795 } ], [ { 436, 731, 732 }, { 104, 731, 732 }, { 104, 436, 731 }, { 104, 436, 732 } ], [ { 65, 450, 732 }, { 65, 68, 443, 450 }, { 443, 450, 731, 732 }, { 65, 68, 731, 732 }, { 68, 443, 731 } ], [ { 450, 457, 732 }, { 450, 732, 736 }, { 454, 457, 732, 736 }, { 450, 454, 457 }, { 450, 454, 736 } ], [ { 122, 460, 736 }, { 104, 122, 732, 736 }, { 104, 122, 460, 462 }, { 460, 462, 732, 736 }, { 104, 462, 732 } ], [ { 80, 134, 481 }, { 80, 104, 481 }, { 104, 134, 481 }, { 80, 104, 134 } ], [ { 80, 83, 484 }, { 83, 104, 484 }, { 80, 104, 484 }, { 80, 83, 104 } ], [ { 80, 92, 486 }, { 92, 486, 495 }, { 80, 92, 484, 495 }, { 80, 484, 486 }, { 484, 486, 495 } ], [ { 122, 495, 501 }, { 104, 122, 501, 502 }, { 104, 122, 484, 495 }, { 484, 495, 501, 502 }, { 104, 484, 502 } ], [ { 122, 124, 495 }, { 92, 122, 124 }, { 92, 124, 495 }, { 92, 122, 495 } ], [ { 122, 128, 742 }, { 122, 128, 511 }, { 122, 511, 742 }, { 128, 511, 742 } ], [ { 122, 128, 518 }, { 92, 122, 518 }, { 92, 128, 518 }, { 92, 122, 128 } ], [ { 92, 128, 535 }, { 128, 511, 535 }, { 92, 511, 535 }, { 92, 128, 511 } ], [ { 80, 92, 752, 799 }, { 80, 92, 535, 542 }, { 92, 535, 752 }, { 535, 542, 752, 799 }, { 80, 542, 799 } ], [ { 80, 294, 542 }, { 80, 134, 542 }, { 80, 134, 294 }, { 134, 294, 542 } ], [ { 294, 536, 542 }, { 294, 511, 535, 542 }, { 294, 511, 536 }, { 535, 536, 542 }, { 511, 535, 536 } ], [ { 151, 158, 555, 558 }, { 151, 550, 555 }, { 151, 158, 550 }, { 550, 555, 558 }, { 158, 550, 558 } ], [ { 147, 151, 612 }, { 147, 151, 550 }, { 147, 550, 612 }, { 151, 550, 612 } ], [ { 154, 158, 292 }, { 154, 158, 550 }, { 154, 292, 550 }, { 158, 292, 550 } ], [ { 158, 292, 764 }, { 151, 158, 292, 612 }, { 292, 612, 761, 764 }, { 151, 158, 761, 764 }, { 151, 612, 761 } ], [ { 147, 162, 612 }, { 147, 162, 550 }, { 162, 550, 612 }, { 147, 550, 612 } ], [ { 147, 162, 294 }, { 147, 162, 612 }, { 162, 294, 612 }, { 147, 294, 612 } ], [ { 154, 172, 292 }, { 154, 172, 550 }, { 172, 292, 550 }, { 154, 292, 550 } ], [ { 162, 172, 294 }, { 162, 172, 550 }, { 172, 294, 550 }, { 162, 294, 550 } ], [ { 154, 172, 294 }, { 154, 172, 292 }, { 172, 292, 294 }, { 154, 292, 294 } ], [ { 201, 591, 627 }, { 201, 591, 777 }, { 591, 627, 777 }, { 201, 627, 777 } ], [ { 201, 591, 600 }, { 591, 600, 612 }, { 201, 591, 612 }, { 201, 600, 612 } ], [ { 187, 600, 612 }, { 187, 292, 612 }, { 292, 600, 612, 620 }, { 187, 292, 620 }, { 187, 600, 620 } ], [ { 25, 209, 221 }, { 25, 209, 225 }, { 25, 221, 225 }, { 209, 221, 225 } ], [ { 25, 209, 620 }, { 25, 292, 620 }, { 209, 292, 620 }, { 25, 209, 292 } ], [ { 201, 202, 628 }, { 201, 202, 777 }, { 202, 628, 777 }, { 201, 628, 777 } ], [ { 201, 202, 209 }, { 201, 202, 632 }, { 202, 209, 632 }, { 201, 209, 632 } ], [ { 202, 628, 777 }, { 202, 225, 777 }, { 225, 628, 648, 777 }, { 202, 628, 648 }, { 202, 225, 648 } ], [ { 202, 209, 648 }, { 202, 225, 648 }, { 202, 209, 225 }, { 209, 225, 648 } ], [ { 212, 213, 250 }, { 213, 225, 250 }, { 212, 225, 250 }, { 212, 213, 225 } ], [ { 213, 220, 250 }, { 220, 250, 366 }, { 213, 220, 366 }, { 213, 250, 366 } ], [ { 221, 243, 246 }, { 221, 225, 246 }, { 225, 243, 246 }, { 221, 225, 243 } ], [ { 212, 243, 250 }, { 225, 243, 250 }, { 212, 225, 250 }, { 212, 225, 243 } ], [ { 243, 246, 250 }, { 246, 250, 661, 664 }, { 243, 250, 664 }, { 243, 246, 661 }, { 243, 661, 664 } ], [ { 25, 221, 246 }, { 25, 225, 246 }, { 25, 221, 225 }, { 221, 225, 246 } ], [ { 25, 246, 274 }, { 25, 274, 292 }, { 246, 274, 292 }, { 25, 246, 292 } ], [ { 28, 282, 284 }, { 282, 284, 292 }, { 28, 284, 292 }, { 28, 292, 405 }, { 282, 292, 405 }, { 28, 282, 405 } ], [ { 284, 290, 294 }, { 284, 290, 292 }, { 290, 292, 294 }, { 284, 292, 294 } ], [ { 28, 284, 308 }, { 284, 299, 301, 308 }, { 28, 301, 308 }, { 28, 284, 299 }, { 28, 299, 301 } ], [ { 284, 294, 337 }, { 294, 333, 337 }, { 284, 294, 308, 333 }, { 284, 308, 337 }, { 308, 333, 337 } ], [ { 35, 308, 333 }, { 35, 308, 366 }, { 35, 333, 366 }, { 308, 333, 366 } ], [ { 28, 308, 366 }, { 28, 366, 381 }, { 366, 373, 381 }, { 28, 308, 373 }, { 28, 373, 381 }, { 308, 366, 373 } ], [ { 28, 250, 381 }, { 250, 366, 381 }, { 28, 366, 381 }, { 28, 250, 366 } ], [ { 28, 250, 387 }, { 246, 250, 387 }, { 28, 246, 387 }, { 28, 246, 250 } ], [ { 28, 246, 405 }, { 28, 292, 405 }, { 246, 292, 405 }, { 28, 246, 292 } ], [ { 443, 450, 795 }, { 423, 425, 450, 795 }, { 443, 722, 727, 795 }, { 423, 425, 713, 721, 722, 727 }, { 425, 450, 713 }, { 443, 450, 713, 721 }, { 443, 721, 722 }, { 423, 727, 795 } ], [ { 443, 450, 731, 732 }, { 104, 450, 732 }, { 104, 443, 450 }, { 104, 731, 732 }, { 104, 443, 731 } ], [ { 122, 450, 736 }, { 104, 122, 450 }, { 104, 122, 732, 736 }, { 104, 450, 732 }, { 450, 732, 736 } ], [ { 80, 134, 294 }, { 80, 104, 294 }, { 80, 104, 134 }, { 104, 134, 294 } ], [ { 92, 122, 495 }, { 104, 122, 484, 495 }, { 80, 92, 104, 122 }, { 80, 92, 484, 495 }, { 80, 104, 484 } ], [ { 92, 122, 128 }, { 122, 128, 511 }, { 92, 122, 511 }, { 92, 128, 511 } ], [ { 294, 511, 535, 542 }, { 80, 92, 294, 511 }, { 80, 294, 542 }, { 80, 92, 535, 542 }, { 92, 511, 535 } ], [ { 151, 158, 292, 612 }, { 158, 292, 550 }, { 292, 550, 612 }, { 151, 550, 612 }, { 151, 158, 550 } ], [ { 162, 294, 612 }, { 162, 294, 550 }, { 162, 550, 612 }, { 294, 550, 612 } ], [ { 172, 292, 294 }, { 172, 294, 550 }, { 172, 292, 550 }, { 292, 294, 550 } ], [ { 201, 591, 612 }, { 201, 591, 777 }, { 591, 612, 777 }, { 201, 612, 777 } ], [ { 292, 600, 612, 620 }, { 201, 209, 292, 612 }, { 201, 209, 600, 620 }, { 201, 600, 612 }, { 209, 292, 620 } ], [ { 25, 209, 292 }, { 25, 209, 225 }, { 25, 225, 292 }, { 209, 225, 292 } ], [ { 202, 209, 225 }, { 202, 225, 777 }, { 201, 209, 225, 777 }, { 201, 202, 209 }, { 201, 202, 777 } ], [ { 213, 250, 366 }, { 213, 225, 250 }, { 225, 250, 366 }, { 213, 225, 366 } ], [ { 243, 246, 250 }, { 225, 246, 250 }, { 225, 243, 250 }, { 225, 243, 246 } ], [ { 25, 246, 292 }, { 25, 225, 246 }, { 25, 225, 292 }, { 225, 246, 292 } ], [ { 28, 284, 294 }, { 284, 292, 294 }, { 28, 284, 292 }, { 28, 292, 294 } ], [ { 28, 284, 294 }, { 284, 294, 308, 333 }, { 28, 294, 333 }, { 28, 284, 308 }, { 28, 308, 333 } ], [ { 28, 308, 333 }, { 28, 308, 366 }, { 308, 333, 366 }, { 28, 333, 366 } ], [ { 28, 246, 292 }, { 28, 292, 366 }, { 246, 250, 292, 366 }, { 28, 246, 250 }, { 28, 250, 366 } ], [ { 104, 122, 450 }, { 104, 122, 804 }, { 104, 443, 450 }, { 104, 443, 804 }, { 122, 795, 804 }, { 443, 795, 804 }, { 122, 450, 795 }, { 443, 450, 795 } ], [ { 80, 92, 294, 511 }, { 104, 122, 294, 511 }, { 92, 122, 511 }, { 80, 92, 104, 122 }, { 80, 104, 294 } ], [ { 292, 294, 612 }, { 292, 294, 550 }, { 294, 550, 612 }, { 292, 550, 612 } ], [ { 201, 209, 225, 777 }, { 225, 292, 612, 777 }, { 209, 225, 292 }, { 201, 209, 292, 612 }, { 201, 612, 777 } ], [ { 246, 250, 292, 366 }, { 225, 246, 292 }, { 225, 292, 366 }, { 225, 246, 250 }, { 225, 250, 366 } ], [ { 28, 292, 366 }, { 28, 333, 366 }, { 292, 294, 333, 366 }, { 28, 294, 333 }, { 28, 292, 294 } ], [ { 294, 333, 511 }, { 104, 122, 294, 511 }, { 104, 294, 333, 804 }, { 122, 333, 511, 804 }, { 104, 122, 804 } ], [ { 294, 612, 777 }, { 225, 294, 777 }, { 225, 292, 612, 777 }, { 292, 294, 612 }, { 225, 292, 294 } ], [ { 292, 294, 333, 366 }, { 225, 292, 366 }, { 225, 333, 366 }, { 225, 294, 333 }, { 225, 292, 294 } ], [ { 225, 294, 333 }, { 225, 294, 777 }, { 294, 511, 777 }, { 294, 333, 511 }, { 511, 777, 805 }, { 333, 511, 805 }, { 225, 333, 805 }, { 225, 777, 805 } ] ] /* 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, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 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, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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, 2, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 12, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 3, 1, 1, 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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <4, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <6, 2> ]