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