/* Defining polynomial */ x^2 - x + 230 /* Minimal vectors */ [ <4*w + 31, -4*w + 39>, <-4*w + 37, -72>, <9*w + 104, -11*w + 71>, <2*w + 237, -15*w - 88>, <5*w + 3, -3*w + 66>, <-10*w + 79, w - 175>, <-5*w + 82, -2*w - 109>, <2*w + 117, -8*w - 32>, <5*w + 88, -8*w + 23>, <10*w + 91, -11*w + 89>, <-3*w + 131, -6*w - 107>, <-3*w + 12, w - 47>, <-2*w + 19, -37>, <-5*w + 31, w - 84>, <3*w + 106, -8*w - 13>, <-4*w + 39, -72>, <70, -4*w - 35>, <13*w + 136, -15*w + 103>, <2*w + 173, -11*w - 60>, <-8*w + 4, 4*w - 109>, <3*w + 7, -2*w + 37>, , <4*w + 101, -8*w + 6>, <-3*w + 10, w - 45>, <-w + 95, -5*w - 58>, <-4*w + 105, -4*w - 103>, <2*w + 49, -4*w + 3>, <-6*w + 56, -109>, <-w + 60, -3*w - 43>, <-4*w + 105, -4*w - 106>, <5*w + 21, -4*w + 59>, <-3*w + 44, -w - 63>, <-2*w + 68, -3*w - 61>, <166, -10*w - 81>, <-7*w + 14, 3*w - 105>, <-2*w + 18, -37>, <5*w + 37, -5*w + 52>, <-2*w + 51, -2*w - 53>, , <15, -w - 9>, <4*w + 81, -8*w + 12>, <-3*w + 91, -4*w - 100>, , <-7*w + 16, 4*w - 104>, <17, -w - 11>, <4*w + 89, -8*w - 4>, <-w + 12, -22>, <16, -w - 11>, <-w + 28, -w - 33>, <65, -4*w - 44>, , <-2*w + 7, w - 34>, <-w + 11, -22>, <4*w + 17, -4*w + 48>, <-w + 10, -19>, <7*w + 99, -10*w + 43>, <7*w + 116, -11*w + 34>, <-8*w + 147, -4*w - 187>, <-12*w + 18, 6*w - 173>, <18*w + 125, -18*w + 179>, <6*w + 143, -12*w + 6>, <30*w + 698, -59*w + 39>, <19*w + 419, -36*w + 37>, <-5*w + 438, -23*w - 300>, <-24*w + 19, 13*w - 337>, <13*w + 276, -24*w + 31>, <-11*w + 295, -11*w - 306>, <56*w + 389, -56*w + 557>, <-4*w + 158, -7*w - 138>, <-3*w + 165, -8*w - 128>, <7*w + 184, -15*w - 2>, <-7*w + 323, -15*w - 266>, <11*w + 9, -7*w + 145>, <11*w + 26, -8*w + 136>, <22*w + 35, -15*w + 281>, <8*w + 174, -15*w + 17>, <-12*w + 52, 4*w - 191>, <3*w + 139, -10*w - 33>, <4*w + 146, -11*w - 23>, <-6*w + 161, -6*w - 167>, <304, -18*w - 161>, <29*w + 708, -59*w + 20>, <28*w + 110, -23*w + 323>, <17*w + 439, -36*w - 1>, <-12*w + 101, w - 205>, <-3*w + 119, -5*w - 98>, <-7*w + 230, -9*w - 205>, <-10*w + 349, -14*w - 303>, <5*w + 129, -10*w>, <27*w + 286, -31*w + 205>, <24*w + 405, -36*w + 107>, <-2*w + 127, -6*w - 89>, <6*w + 137, -11*w + 9>, <-5*w + 246, -11*w - 187>, , <9*w + 36, -7*w + 98>, <-2*w + 109, -5*w - 80>, <-w + 135, -7*w - 80>, <18*w + 18, -11*w + 223>, <-4*w + 111, -4*w - 107>, <2*w + 230, -14*w - 89>, <-11*w + 341, -13*w - 312>, <-6*w + 27, 2*w - 90>, <-5*w + 53, -91>, <2*w + 88, -6*w - 21>, <91, -5*w - 48>, <-5*w + 144, -5*w - 139>, <-3*w + 3, 2*w - 41>, <-w + 13, -22>, <18, -w - 12>, , <-w + 13, -21>, <19, -w - 12>, <-w + 31, -w - 32>, , <37, -2*w - 23>, <-2*w + 21, -38>, , <8*w + 37, -7*w + 86>, <-w + 45, -2*w - 38>, <-4*w + 6, 2*w - 55>, <-2*w + 21, -37>, <89, -5*w - 47>, <-4*w + 95, -3*w - 102>, <-4*w + 23, w - 64>, <3*w + 58, -5*w + 9>, <-w + 81, -4*w - 55>, <-10*w + 137, -2*w - 201>, <-7*w + 2, 4*w - 93>, <-2*w + 3, w - 28>, <-w + 28, -w - 28>, <70, -4*w - 37>, <4*w + 29, -4*w + 37>, <-4*w + 41, -74>, <4*w + 31, -4*w + 37>, <-3*w + 47, -w - 63>, <9*w + 52, -8*w + 92>, <6*w + 99, -9*w + 29>, <-8*w + 9, 4*w - 110>, <4*w + 13, -3*w + 46>, <2*w + 50, -4*w + 1>, <-6*w + 59, -109>, <-5*w + 32, w - 82>, <-w + 45, -2*w - 36>, <2*w + 85, -6*w - 17>, <-6*w + 5, 3*w - 82>, <-5*w + 30, w - 81>, <5*w + 74, -7*w + 30>, , <-4*w + 55, -w - 80>, <-3*w + 80, -3*w - 79>, <9*w + 88, -10*w + 77>, <2*w + 102, -7*w - 23>, <-6*w + 109, -3*w - 132>, <4*w + 119, -9*w - 5>, <-9*w + 120, -2*w - 177>, <7*w + 143, -12*w + 23>, <-2*w + 228, -12*w - 137>, <7*w + 56, -7*w + 64>, <14*w + 59, -11*w + 154>, <88, -5*w - 43>, , <-4*w + 21, w - 63>, <3*w + 41, -4*w + 19>, , <-3*w + 64, -2*w - 71>, <35, -2*w - 17>, , <-4*w + 126, -5*w - 114>, <9*w + 3, -5*w + 119>, <2*w + 16, -2*w + 19>, <2*w + 33, -3*w + 11>, <4*w + 49, -5*w + 30>, <5*w + 40, -5*w + 48>, <5*w + 57, -6*w + 40>, <120, -7*w - 57>, <-3*w + 216, -11*w - 143>, , <-3*w + 45, -w - 62>, , <-2*w + 87, -4*w - 69>, <-3*w + 96, -4*w - 87>, <5*w + 73, -7*w + 32>, <-4*w + 21, w - 64>, <14*w + 107, -14*w + 134>, <-5*w + 151, -6*w - 142>, <-7*w + 256, -11*w - 221>, <-11*w + 2, 6*w - 148>, <18*w + 17, -11*w + 232>, <-3*w + 46, -w - 63>, <241, -14*w - 120>, <-2*w + 2, w - 28>, <8*w + 9, -5*w + 103>, <-9*w + 86, -164>, <-w + 95, -5*w - 61>, <-w + 27, -w - 27>, <6*w + 28, -5*w + 66>, <-9*w + 87, -164>, <-3*w + 115, -5*w - 98>, <-5*w + 31, w - 82>, <7*w + 36, -6*w + 75>, <2*w + 67, -5*w - 7>, <-4*w + 177, -8*w - 142>, <3*w + 5, -2*w + 38>, <15*w + 43, -11*w + 181>, <85, -5*w - 43>, <-w + 61, -3*w - 44>, <7*w + 104, -10*w + 42>, <4*w + 13, -3*w + 47>, <3*w + 143, -10*w - 32>, <-2*w + 36, -w - 46>, <2*w + 48, -4*w + 3>, <84, -5*w - 43>, <-3*w + 29, -56>, <5*w + 36, -5*w + 50>, <2*w + 65, -5*w - 6>, <6*w + 27, -5*w + 68>, <-10*w + 45, 3*w - 159>, <9*w + 66, -9*w + 89>, <-4*w + 72, -2*w - 91>, <-6*w + 125, -4*w - 145>, <2*w + 99, -7*w - 23>, <-25*w + 121, 7*w - 402>, <7*w + 68, -8*w + 61>, <-3*w + 130, -6*w - 107>, <34, -2*w - 17>, <-7*w + 84, -w - 137>, <119, -7*w - 60>, <51, -3*w - 26>, <8*w + 93, -10*w + 61>, <136, -8*w - 69>, <-8*w + 43, 2*w - 130>, <-5*w + 48, -92>, <7*w + 35, -6*w + 77>, <5*w + 37, -5*w + 49>, <-w + 80, -4*w - 53>, <7*w + 2, -4*w + 91>, <2*w + 33, -3*w + 10>, <2*w + 103, -7*w - 25>, <-6*w + 23, 2*w - 91>, <52, -3*w - 26>, <3*w + 58, -5*w + 11>, <-3*w + 81, -3*w - 80>, <-20*w + 285, -6*w - 401>, <10*w + 374, -27*w - 42>, <5*w + 385, -25*w - 114>, <15*w + 759, -52*w - 156>, <4*w + 67, -6*w + 22>, <24*w + 178, -23*w + 237>, <23*w + 256, -27*w + 187>, <-15*w + 274, -8*w - 329>, <25*w + 100, -19*w + 287>, <49*w + 278, -42*w + 524>, <-w + 78, -4*w - 50>, <20*w + 111, -17*w + 215>, <-16*w + 352, -12*w - 379>, <-2*w + 1, w - 27>, <10*w + 30, -7*w + 119>, <-w + 61, -3*w - 42>, <5*w + 110, -9*w + 15>, <-16*w + 77, 4*w - 250>, <6*w + 83, -8*w + 41>, <155, -9*w - 73>, , <15*w + 1, -8*w + 200>, <-10*w + 5, 5*w - 136>, <5*w + 6, -3*w + 64>, , <-4*w + 243, -12*w - 168>, <20*w + 7, -11*w + 264>, <17, -w - 8>, <-4*w + 88, -3*w - 95>, <-9*w + 82, -159>, <10*w + 167, -15*w + 55>, <-16*w + 335, -11*w - 372>, <4*w + 84, -7*w + 14>, <172, -10*w - 81>, <-10*w + 177, -5*w - 217>, <-5*w + 11, 2*w - 72>, <9*w + 73, -9*w + 86>, <-w + 250, -14*w - 131>, <16*w + 319, -27*w + 64>, <5*w + 75, -7*w + 32>, <120, -7*w - 56>, <-3*w + 11, w - 46>, <3*w + 6, -2*w + 38>, <-4*w + 20, w - 64>, <4*w + 48, -5*w + 31>, <68, -4*w - 33>, <3*w + 125, -9*w - 20>, <-4*w + 88, -3*w - 97>, <3*w + 108, -8*w - 12>, <-w + 145, -8*w - 84>, <2*w + 14, -2*w + 21>, <-w + 26, -w - 27>, <33, -2*w - 17>, <2*w + 47, -4*w + 4>, , <4*w + 12, -3*w + 49>, <-2*w + 2, w - 29>, , <33, -2*w - 16>, , <3*w + 4, -2*w + 40>, , <-3*w + 29, -57>, <2*w + 30, -3*w + 12>, , <-2*w + 3, w - 30>, <16, -w - 9>, <2*w + 29, -3*w + 13>, <-w + 42, -2*w - 37>, <-2*w + 19, -38>, <3*w + 4, -2*w + 41>, <-w + 9, -19>, <16, -w - 8>, <32, -2*w - 17>, , <-w + 10, -22>, <0, 1>, <-2*w + 5, w - 32>, , <-w + 26, -w - 30>, <-2*w + 6, w - 33>, <-w + 26, -w - 31>, <15, -w - 10>, <30, -2*w - 19>, <-w + 10, -21>, <-2*w + 7, w - 32>, <-w + 28, -w - 32>, <-w + 12, -21>, <-2*w + 6, w - 31>, , , <-w + 28, -w - 31>, , <-2*w + 7, w - 33>, <32, -2*w - 21>, <2*w + 9, -2*w + 23>, <16, -w - 10>, <-w + 27, -w - 32>, <-w + 27, -w - 29>, <13*w + 82, -13*w + 134>, <12*w + 109, -14*w + 105>, <-12*w + 157, -2*w - 254>, <2*w + 13, -2*w + 21>, <-2*w + 20, -39>, <-2*w + 36, -w - 48>, <-5*w + 1, 3*w - 70>, , <33, -2*w - 18>, , <4*w + 59, -6*w + 23>, <-w + 60, -3*w - 47>, <3*w + 2, -2*w + 39>, <-2*w + 4, w - 29>, <-w + 45, -2*w - 39>, <-w + 28, -w - 29>, , <-3*w + 31, -57>, <2*w + 31, -3*w + 10>, , <8*w + 106, -11*w + 53>, <6*w + 126, -11*w + 15>, <19*w + 115, -18*w + 198>, <-6*w + 144, -5*w - 158>, <-19*w + 172, w - 350>, <8*w + 123, -12*w + 44>, <-6*w + 127, -4*w - 149>, <7*w + 133, -12*w + 25>, <-12*w + 1, 7*w - 164>, <-5*w + 134, -5*w - 139>, <10*w + 2, -6*w + 135>, <17, -w - 9>, <6*w + 160, -13*w - 3>, <-5*w + 168, -7*w - 157>, <-15*w + 166, -w - 292>, <-4*w + 141, -6*w - 129>, <-16*w + 142, w - 293>, <7*w + 150, -13*w + 16>, <10*w + 19, -7*w + 126>, <-3*w + 148, -7*w - 119>, <3*w + 156, -11*w - 42>, <-10*w + 32, 4*w - 153>, <-10*w + 49, 3*w - 162>, <4*w + 163, -12*w - 32>, <5*w + 136, -11*w - 4>, <-11*w + 25, 5*w - 163>, <-23*w + 60, 10*w - 345>, <-18*w + 196, -w - 349>, <-w + 314, -18*w - 180>, <18*w + 716, -53*w - 134>, <6*w + 734, -47*w - 307>, <41*w + 386, -47*w + 354>, <35*w + 547, -53*w + 187>, <11*w + 296, -24*w - 7>, <-10*w + 15, 5*w - 144>, <5*w + 153, -12*w - 13>, <-9*w + 18, 4*w - 125>, <-17*w + 26, 8*w - 232>, <4*w + 121, -9*w - 9>, <-13*w + 147, -w - 241>, <8*w + 224, -17*w - 9>, <-w + 242, -13*w - 134>, <4*w + 514, -31*w - 205>, <8*w + 10, -5*w + 98>, <30*w + 167, -26*w + 303>, <-31*w + 218, 5*w - 508>, <9*w + 18, -6*w + 107>, <6*w + 119, -10*w + 18>, <-3*w + 101, -4*w - 89>, <10*w + 8, -6*w + 125>, <-4*w + 93, -3*w - 98>, , <-2*w + 21, -36>, <37, -2*w - 19>, , , <-3*w + 32, -54>, <-w + 29, -w - 28>, <5*w + 38, -5*w + 43>, <-2*w + 3, w - 27>, , <-3*w + 14, w - 46>, <54, -3*w - 29>, <36, -2*w - 19>, <1, -1>, <2*w + 11, -2*w + 19>, , <2*w + 15, -2*w + 18>, <3*w + 58, -5*w + 8>, <2*w + 14, -2*w + 19>, <35, -2*w - 19>, <2*w + 49, -4*w>, , <-3*w + 66, -2*w - 74>, , <-7*w + 16, 3*w - 100>, <-2*w + 37, -w - 45>, <-2*w + 107, -5*w - 80>, <5*w + 91, -8*w + 20>, <-2*w + 20, -37>, <-w + 62, -3*w - 46>, <-3*w + 65, -2*w - 74>, <-3*w + 13, w - 47>, <-w + 10, -18>, <35, -2*w - 18>, <5*w + 38, -5*w + 46>, <3*w + 5, -2*w + 37>, <-3*w + 30, -55>, <87, -5*w - 45>, <2*w + 15, -2*w + 19>, <-5*w + 49, -91>, , <-w + 79, -4*w - 52>, <4*w + 66, -6*w + 21>, <-9*w + 85, -161>, <2*w + 85, -6*w - 15>, <6*w + 151, -12*w + 6>, <3*w + 41, -4*w + 20>, <5*w + 5, -3*w + 64>, <-8*w + 6, 4*w - 109>, <-2*w + 71, -3*w - 61>, <4*w + 101, -8*w + 4>, <-4*w + 107, -4*w - 105>, <-10*w + 77, w - 170>, <-9*w + 102, -w - 169>, <-7*w + 66, -125>, <5*w + 22, -4*w + 56>, <-4*w + 20, w - 63>, <-2*w + 36, -w - 44>, <-8*w + 109, -2*w - 159>, <3*w + 162, -11*w - 38>, <-5*w + 47, -89>, <6*w + 65, -7*w + 48>, , <10*w + 10, -6*w + 127>, <-3*w + 11, w - 45>, <3*w + 24, -3*w + 28>, <10*w + 45, -8*w + 110>, <10*w + 80, -10*w + 93>, <-10*w + 25, 4*w - 144>, <-10*w + 60, 2*w - 161>, <-3*w + 46, -w - 62>, <8*w + 116, -11*w + 49>, <-6*w + 40, w - 98>, <5*w + 22, -4*w + 55>, <-8*w + 24, 3*w - 117>, <6*w + 65, -7*w + 47>, <-2*w + 54, -2*w - 53>, <-6*w + 75, -w - 116>, <2*w + 68, -5*w - 7>, <-4*w + 3, 2*w - 55>, <-7*w + 48, w - 117>, <-w + 78, -4*w - 51>, <-5*w + 98, -3*w - 114>, <-5*w + 63, -w - 97>, <3*w + 58, -5*w + 12>, <5*w + 39, -5*w + 48>, <5*w + 142, -11*w - 2>, <5*w + 21, -4*w + 57>, <3*w + 23, -3*w + 29>, <-2*w + 87, -4*w - 70>, <-5*w + 13, 2*w - 74>, <3*w + 74, -6*w + 4>, <-3*w + 79, -3*w - 79>, , <-2*w + 53, -2*w - 53>, <-6*w + 5, 3*w - 83>, , <2*w + 67, -5*w - 6>, <-4*w + 72, -2*w - 89>, <-w + 112, -6*w - 69>, <5*w + 55, -6*w + 40>, <3*w + 57, -5*w + 12>, <-8*w + 25, 3*w - 120>, , <-7*w + 118, -3*w - 153>, <9*w + 34, -7*w + 104>, <-4*w + 55, -w - 81>, <-w + 130, -7*w - 78>, <8*w + 44, -7*w + 85>, <7*w + 174, -14*w + 7>, <9*w + 68, -9*w + 87>, <154, -9*w - 77>, <3*w + 40, -4*w + 20>, <-5*w + 100, -3*w - 117>, <155, -9*w - 78>, <9*w + 68, -9*w + 86>, <-10*w + 45, 3*w - 156>, <-2*w + 140, -7*w - 97>, <-w + 79, -4*w - 53>, , <-6*w + 6, 3*w - 83>, <5*w + 21, -4*w + 56>, <-3*w + 98, -4*w - 89>, <3*w + 74, -6*w + 3>, <9*w + 85, -10*w + 78>, , <-3*w + 63, -2*w - 72>, <-3*w + 29, -55>, <-5*w + 14, 2*w - 74>, <-5*w + 48, -93>, <-2*w + 53, -2*w - 54>, <4*w + 80, -7*w + 14>, <3*w + 39, -4*w + 21>, <-w + 111, -6*w - 70>, <-6*w + 6, 3*w - 82>, <6*w + 64, -7*w + 47>, <-4*w + 4, 2*w - 55>, <6*w + 11, -4*w + 74>, <3*w + 75, -6*w + 2>, <-3*w + 64, -2*w - 72>, <-7*w + 29, 2*w - 107>, <4*w + 50, -5*w + 30>, <2*w + 68, -5*w - 5>, <-3*w + 96, -4*w - 85>, <-5*w + 80, -2*w - 104>, <-3*w + 79, -3*w - 77>, <-4*w + 157, -7*w - 127>, , <15*w + 190, -19*w + 111>, <-15*w + 205, -4*w - 297>, <-5*w + 28, w - 80>, <-10*w + 39, 3*w - 152>, <-5*w + 45, -88>, <10*w + 30, -7*w + 120>, <7*w + 40, -6*w + 75>, <2*w + 15, -2*w + 20>, <-w + 43, -2*w - 35>, <5*w + 38, -5*w + 49>, <-5*w + 47, -91>, <-w + 9, -18>, <-w + 26, -w - 26>, <152, -9*w - 72>, <7*w + 20, -5*w + 85>, <3*w + 38, -4*w + 22>, <2*w + 15, -2*w + 21>, <-w + 26, -w - 28>, <3*w + 3, -2*w + 41>, , <15, -w - 8>, , <2*w + 13, -2*w + 20>, <-2*w + 21, -39>, <3*w + 36, -4*w + 21>, <-3*w + 14, w - 49>, <2*w + 30, -3*w + 11>, , <-2*w + 4, w - 30>, <14*w + 55, -12*w + 163>, <216, -13*w - 121>, <-2*w + 220, -12*w - 151>, <-13*w + 134, -255>, <2*w + 29, -3*w + 12>, , <50, -3*w - 27>, <-2*w + 37, -w - 48>, <6*w + 5, -4*w + 78>, <2*w + 30, -3*w + 10>, <34, -2*w - 19>, <-3*w + 15, w - 49>, <-6*w + 29, 2*w - 97>, <-2*w + 38, -w - 48>, <3*w + 3, -2*w + 39>, <-7*w + 137, -4*w - 168>, <-18*w + 162, w - 331>, <-5*w + 151, -6*w - 148>, <-11*w + 8, 6*w - 154>, <-14*w + 139, -264>, <11*w + 43, -9*w + 127>, <-2*w + 172, -9*w - 118>, <-11*w + 42, 4*w - 172>, <-11*w + 59, 3*w - 181>, <-7*w + 205, -8*w - 204>, <16*w + 111, -16*w + 159>, <-17*w + 186, -w - 330>, <-22*w + 33, 11*w - 317>, <-5*w + 139, -5*w - 134>, <9*w, -5*w + 116>, <18, -w - 9>, <-w + 11, -18>, <2*w + 15, -2*w + 17>, <3*w + 23, -3*w + 25>, <-2*w + 40, -w - 46>, , <-3*w + 13, w - 45>, <3*w + 23, -3*w + 26>, <-w + 11, -19>, <18, -w - 10>, <2*w + 13, -2*w + 19>, <-3*w + 48, -w - 64>, <2*w + 68, -5*w - 9>, , <-2*w + 2, w - 27>, <9*w + 71, -9*w + 81>, <87, -5*w - 44>, <3*w + 22, -3*w + 28>, <-2*w + 55, -2*w - 55>, <-2*w + 19, -36>, <6*w + 30, -5*w + 65>, <-w + 96, -5*w - 60>, <-8*w + 58, w - 134>, <3*w + 76, -6*w + 3>, <6*w + 100, -9*w + 31>, <5*w + 39, -5*w + 47>, <87, -5*w - 43>, <4*w + 14, -3*w + 46>, <-w + 61, -3*w - 43>, <86, -5*w - 42>, <-2*w + 18, -35>, <-7*w + 12, 3*w - 99>, <-28*w + 177, 6*w - 475>, <-4*w + 462, -25*w - 299>, <29*w + 134, -25*w + 324>, <-22*w + 320, -6*w - 469>, <22*w + 1, -13*w + 299>, <-9*w + 309, -13*w - 286>, <4*w + 103, -8*w>, <5*w + 111, -9*w + 9>, <-5*w + 121, -4*w - 125>, <-4*w + 5, 2*w - 56>, <52, -3*w - 25>, <2*w + 49, -4*w + 2>, <-w + 44, -2*w - 36>, <-w + 9, -17>, , <35, -2*w - 16>, <-w + 27, -w - 26>, <1, 0> ] /* Voronoi top cells */ [ { 1, 2, 3, 4 }, { 5, 6, 7, 8 }, { 5, 9, 10, 11 }, { 12, 13, 14, 15 }, { 16, 17, 18, 19 }, { 20, 21, 22, 23 }, { 20, 24, 25, 26 }, { 27, 28, 29, 30 }, { 31, 32, 33, 34 }, { 35, 36, 37, 38 }, { 39, 40, 41, 42 }, { 43, 44, 45, 46 }, { 47, 48, 49, 50 }, { 51, 52, 53, 54 }, { 55, 56, 57, 58 }, { 59, 60, 61, 62 }, { 60, 61, 63, 64 }, { 65, 66, 67, 68 }, { 69, 70, 71, 72 }, { 73, 74, 75, 76 }, { 55, 77, 78, 79 }, { 61, 80, 81, 82 }, { 61, 81, 83, 84 }, { 85, 86, 87, 88 }, { 86, 89, 90, 91 }, { 86, 92, 93, 94 }, { 95, 96, 97, 98 }, { 99, 100, 101, 102 }, { 103, 104, 105, 106, 107 }, { 43, 108, 109, 110 }, { 111, 112, 113, 114 }, { 111, 113, 115, 116 }, { 117, 118, 119, 120 }, { 121, 122, 123, 124 }, { 125, 126, 127, 128 }, { 129, 130, 131, 132 }, { 131, 132, 133, 134 }, { 135, 136, 137, 138 }, { 139, 140, 141, 142 }, { 140, 143, 144, 145 }, { 146, 147, 148, 149 }, { 150, 151, 152, 153 }, { 154, 155, 156, 157, 158 }, { 159, 160, 161, 162 }, { 163, 164, 165, 166 }, { 165, 167, 168, 169 }, { 170, 171, 172, 173 }, { 174, 175, 176, 177 }, { 178, 179, 180, 181 }, { 2, 178, 180, 182 }, { 1, 2, 3, 183 }, { 2, 178, 182, 183 }, { 184, 185, 186, 187 }, { 188, 189, 190, 191 }, { 192, 193, 194, 195 }, { 196, 197, 198, 199 }, { 200, 201, 202, 203 }, { 5, 7, 8, 192 }, { 5, 9, 11, 204 }, { 5, 9, 205, 206 }, { 192, 193, 207, 208 }, { 196, 199, 209, 210 }, { 13, 211, 212, 213 }, { 12, 214, 215, 216 }, { 217, 218, 219, 220, 221 }, { 217, 220, 222, 223 }, { 13, 220, 222, 224 }, { 12, 13, 14, 222 }, { 12, 217, 222, 225 }, { 192, 226, 227, 228 }, { 204, 229, 230, 231 }, { 204, 231, 232, 233 }, { 9, 204, 206, 232 }, { 192, 228, 234, 235 }, { 7, 192, 206, 234 }, { 16, 95, 164, 236 }, { 16, 164, 237, 238 }, { 16, 237, 238, 239 }, { 16, 17, 19, 239 }, { 240, 241, 242, 243 }, { 244, 245, 246, 247 }, { 248, 249, 250, 251 }, { 244, 249, 252, 253 }, { 252, 254, 255, 256 }, { 257, 258, 259, 260 }, { 261, 262, 263, 264 }, { 265, 266, 267, 268 }, { 262, 265, 266, 269 }, { 262, 265, 267, 270 }, { 20, 21, 24, 271 }, { 20, 21, 22, 272 }, { 266, 267, 268, 273 }, { 266, 272, 273, 274 }, { 267, 272, 273, 275 }, { 266, 276, 277, 278 }, { 266, 272, 274, 277 }, { 266, 279, 280, 281 }, { 266, 276, 278, 280 }, { 276, 279, 280, 282 }, { 20, 24, 25, 276 }, { 24, 271, 283, 284 }, { 27, 28, 29, 285 }, { 29, 285, 286, 287 }, { 287, 288, 289, 290 }, { 285, 287, 291, 292 }, { 287, 289, 291, 293 }, { 294, 295, 296, 297 }, { 13, 211, 298, 299 }, { 294, 295, 297, 300 }, { 33, 301, 302, 303 }, { 31, 32, 33, 302 }, { 36, 38, 300, 301 }, { 36, 37, 38, 302 }, { 304, 305, 306, 307, 308 }, { 309, 310, 311, 312 }, { 296, 298, 308, 313 }, { 304, 305, 308, 313 }, { 314, 315, 316, 317 }, { 40, 318, 319, 320 }, { 310, 321, 322, 323 }, { 39, 53, 324, 325 }, { 39, 53, 326, 327 }, { 39, 40, 42, 328 }, { 39, 310, 323, 328 }, { 45, 47, 329, 330 }, { 43, 44, 45, 331 }, { 45, 331, 332, 333 }, { 332, 333, 334, 335 }, { 47, 336, 337, 338 }, { 47, 48, 49, 338 }, { 51, 52, 53, 339 }, { 53, 339, 340, 341 }, { 342, 343, 344, 345 }, { 310, 346, 347, 348 }, { 349, 350, 351, 352, 353, 354 }, { 333, 355, 356, 357 }, { 333, 355, 358, 359 }, { 118, 120, 360, 361, 362 }, { 55, 56, 57, 363 }, { 55, 57, 58, 364 }, { 59, 365, 366, 367 }, { 59, 60, 61, 64 }, { 61, 63, 64, 66 }, { 298, 368, 369, 370 }, { 298, 370, 371, 372 }, { 61, 65, 66, 67 }, { 373, 374, 375, 376 }, { 69, 373, 375, 377 }, { 73, 378, 379, 380 }, { 298, 371, 378, 380 }, { 69, 70, 71, 381 }, { 73, 298, 378, 382 }, { 73, 74, 76, 382 }, { 55, 78, 79, 383 }, { 374, 384, 385, 386 }, { 55, 77, 79, 387 }, { 387, 388, 389, 390 }, { 80, 388, 390, 391 }, { 59, 61, 392, 393 }, { 61, 80, 394, 395 }, { 61, 80, 81, 83 }, { 61, 83, 84, 396 }, { 374, 376, 397, 398 }, { 399, 400, 401, 402, 403, 404 }, { 85, 86, 87, 99 }, { 87, 99, 100, 102 }, { 86, 89, 90, 405 }, { 86, 406, 407, 408 }, { 92, 95, 96, 98 }, { 86, 92, 93, 96 }, { 100, 101, 409, 410 }, { 95, 97, 409, 411 }, { 95, 100, 410, 411, 412, 413 }, { 95, 96, 97, 409 }, { 86, 93, 96, 409 }, { 99, 100, 101, 409 }, { 85, 86, 99, 409 }, { 414, 415, 416, 417 }, { 414, 417, 418, 419 }, { 415, 417, 418, 419 }, { 104, 106, 420, 421 }, { 103, 104, 105, 106, 418, 422 }, { 422, 423, 424, 425 }, { 422, 424, 425, 426 }, { 43, 109, 110, 427 }, { 110, 111, 112, 427 }, { 43, 111, 331, 428 }, { 111, 112, 113, 427 }, { 111, 113, 115, 429 }, { 117, 118, 120, 361 }, { 122, 423, 424, 426 }, { 122, 426, 430, 431 }, { 121, 122, 123, 430 }, { 125, 126, 127, 430 }, { 130, 432, 433, 434 }, { 117, 361, 374, 432 }, { 130, 131, 433, 434 }, { 130, 131, 132, 134 }, { 131, 134, 435, 436 }, { 121, 122, 131, 435 }, { 16, 95, 135, 236 }, { 135, 136, 138, 437 }, { 135, 438, 439, 440 }, { 135, 136, 137, 438 }, { 136, 438, 439, 441 }, { 136, 140, 144, 439 }, { 140, 141, 142, 439 }, { 140, 141, 144, 145 }, { 130, 442, 443, 444 }, { 374, 442, 443, 445 }, { 144, 446, 447, 448 }, { 442, 447, 449, 450, 451 }, { 141, 196, 452, 453 }, { 141, 447, 449, 452 }, { 146, 148, 454, 455 }, { 146, 147, 148, 454 }, { 147, 150, 456, 457, 458, 459 }, { 150, 151, 153, 460 }, { 461, 462, 463, 464, 465 }, { 454, 463, 464, 466 }, { 460, 461, 464, 467 }, { 454, 460, 464, 468 }, { 151, 153, 460, 469 }, { 470, 471, 472, 473 }, { 461, 463, 474, 475, 476 }, { 154, 155, 156, 157, 477 }, { 154, 155, 158, 478, 479 }, { 167, 479, 480, 481 }, { 167, 478, 482, 483 }, { 478, 483, 484, 485 }, { 95, 159, 161, 162 }, { 161, 162, 165, 486 }, { 163, 164, 165, 238 }, { 167, 484, 487, 488 }, { 165, 487, 488, 489 }, { 165, 167, 168, 488 }, { 163, 487, 490, 491 }, { 167, 484, 487, 492 }, { 179, 493, 494, 495 }, { 171, 172, 173, 496 }, { 171, 470, 495, 496 }, { 174, 175, 176, 271 }, { 172, 174, 175, 497 }, { 171, 470, 495, 498 }, { 172, 178, 179, 180 }, { 178, 493, 499, 500 }, { 192, 501, 502, 503 }, { 502, 503, 504, 505 }, { 1, 178, 506, 507 }, { 2, 178, 180, 271 }, { 1, 2, 178, 183 }, { 285, 502, 505, 508 }, { 178, 502, 508, 509 }, { 502, 510, 511, 512 }, { 178, 502, 509, 511 }, { 192, 501, 502, 513 }, { 192, 513, 514, 515 }, { 192, 516, 517, 518 }, { 515, 517, 518, 519 }, { 502, 513, 515, 520 }, { 184, 185, 186, 521 }, { 186, 188, 521, 522, 523 }, { 188, 190, 191, 522 }, { 192, 516, 517, 524 }, { 516, 517, 524, 525 }, { 192, 193, 194, 207 }, { 196, 198, 199, 209 }, { 196, 526, 527, 528 }, { 526, 527, 528, 529 }, { 196, 526, 527, 530 }, { 202, 526, 530, 531 }, { 196, 201, 241, 532 }, { 196, 201, 202, 533 }, { 200, 241, 526, 534, 535 }, { 200, 202, 526, 534, 536 }, { 200, 201, 202, 241 }, { 5, 7, 192, 206 }, { 5, 9, 204, 206 }, { 207, 209, 537, 538, 539 }, { 192, 207, 208, 540 }, { 207, 537, 540, 541 }, { 196, 209, 210, 542 }, { 209, 537, 541, 542 }, { 13, 211, 213, 298 }, { 12, 214, 215, 298 }, { 12, 13, 213, 215, 543 }, { 13, 220, 544, 545 }, { 217, 219, 220, 221, 544, 546 }, { 12, 13, 217, 220, 222 }, { 12, 217, 546, 547 }, { 192, 226, 228, 235 }, { 204, 229, 231, 233 }, { 204, 206, 232, 233 }, { 192, 206, 234, 235 }, { 16, 95, 164, 238 }, { 16, 17, 238, 239 }, { 17, 238, 548, 549 }, { 240, 241, 242, 510 }, { 238, 241, 242, 243 }, { 238, 241, 243, 550 }, { 196, 241, 532, 551 }, { 241, 439, 550, 552 }, { 241, 551, 552, 553 }, { 244, 245, 246, 248 }, { 248, 249, 250, 254 }, { 244, 248, 249, 252 }, { 249, 252, 254, 256 }, { 248, 554, 555, 556, 557 }, { 257, 258, 260, 558 }, { 257, 259, 260, 559 }, { 248, 254, 559, 560 }, { 262, 263, 264, 561 }, { 262, 265, 266, 267 }, { 22, 267, 272, 562 }, { 21, 22, 271, 272 }, { 20, 24, 271, 276 }, { 20, 21, 271, 272 }, { 266, 267, 272, 273 }, { 266, 272, 276, 277 }, { 266, 276, 279, 280 }, { 25, 276, 279, 563 }, { 24, 25, 271, 276 }, { 248, 279, 564, 565 }, { 24, 271, 283, 564 }, { 271, 283, 284, 566 }, { 283, 564, 566, 567 }, { 556, 564, 566, 568 }, { 13, 226, 569, 570 }, { 27, 192, 226, 569 }, { 27, 192, 571, 572 }, { 27, 286, 569, 573 }, { 27, 29, 285, 286 }, { 285, 286, 287, 573 }, { 287, 288, 289, 573 }, { 285, 287, 289, 291 }, { 271, 573, 574, 575 }, { 1, 285, 289, 576 }, { 1, 2, 271, 289 }, { 295, 296, 298, 577 }, { 294, 295, 296, 316 }, { 13, 295, 298, 299 }, { 294, 295, 300, 316 }, { 32, 33, 301, 302 }, { 36, 300, 301, 316 }, { 36, 302, 316, 578 }, { 36, 38, 301, 302 }, { 298, 305, 307, 308 }, { 309, 310, 312, 579 }, { 310, 579, 580, 581 }, { 296, 298, 313, 316 }, { 298, 305, 308, 313 }, { 309, 310, 316, 317 }, { 310, 315, 316, 317 }, { 40, 310, 328, 582 }, { 40, 318, 320, 582 }, { 39, 310, 322, 323 }, { 310, 321, 322, 340 }, { 39, 53, 324, 340 }, { 39, 53, 320, 326 }, { 39, 40, 310, 328 }, { 39, 40, 320, 326 }, { 45, 47, 427, 583 }, { 45, 47, 330, 336 }, { 43, 45, 427, 583 }, { 43, 45, 331, 333 }, { 333, 334, 335, 336 }, { 45, 332, 333, 334 }, { 51, 53, 320, 326 }, { 47, 48, 427, 583 }, { 47, 48, 336, 338 }, { 51, 53, 339, 340 }, { 350, 584, 585, 586 }, { 350, 584, 587, 588 }, { 333, 342, 585, 589 }, { 342, 343, 590, 591, 592, 593 }, { 342, 343, 344, 350, 594 }, { 310, 347, 590, 595 }, { 55, 351, 596, 597 }, { 350, 351, 596, 598 }, { 310, 346, 347, 351 }, { 347, 350, 351, 352 }, { 356, 599, 600, 601 }, { 333, 600, 601, 602 }, { 356, 601, 603, 604 }, { 333, 584, 585, 601 }, { 55, 584, 601, 605 }, { 333, 355, 356, 358 }, { 118, 361, 362, 374 }, { 55, 57, 363, 606 }, { 55, 57, 364, 366 }, { 59, 364, 366, 367 }, { 59, 61, 64, 66 }, { 59, 66, 366, 607 }, { 298, 366, 368, 370 }, { 298, 370, 371, 608 }, { 61, 66, 67, 366 }, { 61, 65, 67, 608 }, { 67, 366, 370, 608 }, { 374, 375, 376, 609 }, { 69, 373, 374, 375 }, { 73, 298, 378, 380 }, { 298, 371, 380, 608 }, { 69, 70, 374, 381 }, { 69, 70, 73, 74, 610 }, { 73, 74, 298, 382 }, { 70, 74, 298, 374, 611, 612 }, { 374, 383, 385, 613, 614, 615 }, { 55, 79, 383, 613 }, { 79, 388, 613, 616 }, { 374, 385, 386, 613, 615 }, { 55, 79, 387, 388 }, { 80, 387, 388, 390 }, { 59, 61, 80, 393, 394 }, { 80, 388, 396, 617 }, { 61, 80, 83, 396 }, { 374, 376, 398, 609 }, { 388, 398, 609, 618 }, { 61, 388, 396, 618 }, { 399, 401, 402, 404, 619 }, { 86, 87, 99, 100 }, { 87, 100, 102, 620 }, { 86, 89, 405, 406, 408 }, { 92, 95, 98, 621 }, { 86, 92, 95, 96 }, { 95, 100, 409, 410, 411 }, { 86, 95, 96, 409 }, { 86, 99, 100, 409 }, { 414, 420, 622, 623, 624, 625 }, { 414, 415, 417, 418 }, { 415, 418, 621, 626 }, { 418, 422, 626, 627, 628 }, { 104, 106, 418, 420, 422 }, { 422, 423, 424, 426 }, { 422, 426, 446, 627 }, { 43, 110, 111, 427 }, { 43, 111, 331, 333 }, { 111, 113, 427, 429 }, { 111, 423, 629, 630 }, { 333, 423, 629, 631 }, { 333, 358, 423, 631 }, { 117, 118, 361, 374 }, { 122, 423, 426, 430 }, { 121, 122, 430, 435 }, { 125, 126, 430, 446 }, { 125, 435, 446, 632, 633 }, { 130, 423, 432, 433 }, { 130, 374, 432, 634 }, { 117, 374, 423, 432 }, { 130, 131, 423, 433 }, { 130, 131, 134, 435 }, { 122, 131, 423, 435 }, { 95, 446, 635, 636 }, { 95, 135, 236, 635 }, { 135, 437, 446, 635 }, { 16, 17, 95, 135 }, { 17, 135, 439, 440 }, { 135, 136, 437, 446 }, { 135, 136, 438, 439 }, { 136, 144, 439, 446 }, { 140, 141, 144, 439 }, { 141, 196, 453, 637 }, { 130, 374, 442, 443 }, { 130, 435, 442, 638 }, { 435, 442, 447, 638, 639 }, { 141, 144, 446, 447 }, { 442, 447, 449, 452 }, { 141, 196, 447, 452 }, { 146, 454, 455, 510 }, { 146, 147, 454, 510 }, { 147, 150, 456, 458, 510, 640 }, { 150, 151, 460, 510 }, { 147, 150, 454, 460, 641, 642 }, { 454, 460, 461, 463, 464 }, { 151, 460, 469, 510 }, { 171, 470, 471, 472 }, { 474, 478, 479, 643, 644, 645 }, { 461, 463, 471, 474, 478 }, { 154, 155, 477, 478, 479 }, { 167, 477, 478, 482 }, { 167, 477, 479, 480 }, { 167, 478, 483, 484 }, { 238, 490, 646, 647 }, { 95, 161, 162, 165 }, { 161, 165, 167, 486 }, { 95, 164, 165, 238 }, { 163, 165, 238, 490 }, { 165, 167, 487, 488 }, { 163, 165, 487, 490 }, { 167, 484, 492, 648 }, { 167, 487, 490, 492 }, { 172, 179, 493, 495 }, { 171, 172, 495, 496 }, { 171, 172, 174, 497 }, { 172, 174, 175, 271 }, { 171, 493, 495, 498 }, { 171, 470, 498, 649 }, { 172, 178, 179, 493 }, { 172, 178, 180, 271 }, { 178, 493, 499, 650 }, { 192, 502, 503, 504 }, { 285, 502, 504, 505 }, { 1, 178, 285, 506 }, { 1, 2, 178, 271 }, { 178, 285, 502, 508 }, { 178, 502, 510, 511 }, { 192, 502, 513, 515 }, { 192, 515, 517, 518 }, { 502, 515, 517, 520 }, { 184, 186, 188, 190, 521, 522 }, { 192, 517, 524, 525 }, { 192, 194, 207, 525 }, { 196, 198, 209, 529 }, { 196, 526, 528, 529 }, { 190, 241, 526, 534, 535 }, { 196, 202, 526, 530 }, { 196, 201, 202, 241 }, { 200, 202, 241, 526 }, { 5, 192, 204, 206 }, { 207, 209, 537, 541 }, { 192, 207, 540, 541 }, { 196, 209, 541, 542 }, { 12, 13, 213, 215, 298 }, { 12, 13, 217, 220, 544, 546 }, { 192, 226, 235, 544 }, { 204, 229, 233, 546 }, { 192, 204, 206, 233, 235 }, { 16, 17, 95, 238 }, { 17, 238, 439, 548 }, { 238, 241, 242, 510 }, { 238, 241, 439, 550 }, { 196, 241, 551, 553 }, { 241, 439, 552, 553 }, { 245, 246, 248, 279 }, { 244, 246, 248, 252 }, { 248, 249, 252, 254 }, { 248, 555, 556, 651 }, { 257, 260, 558, 559 }, { 257, 259, 559, 652 }, { 555, 558, 559, 651 }, { 248, 254, 555, 559 }, { 262, 263, 266, 267, 561 }, { 22, 267, 271, 272 }, { 20, 271, 272, 276 }, { 266, 267, 272, 276, 279 }, { 25, 271, 276, 279 }, { 24, 25, 271, 564 }, { 248, 279, 556, 564 }, { 271, 283, 564, 566 }, { 556, 564, 566, 651 }, { 13, 192, 226, 544 }, { 13, 192, 226, 569 }, { 27, 192, 569, 573 }, { 27, 192, 285, 571 }, { 27, 285, 286, 573 }, { 285, 287, 289, 573 }, { 271, 289, 573, 574 }, { 1, 271, 285, 289 }, { 13, 301, 569, 573 }, { 295, 296, 298, 316 }, { 13, 295, 298, 301 }, { 295, 300, 301, 316 }, { 302, 316, 573, 578 }, { 32, 301, 302, 573 }, { 36, 301, 302, 316 }, { 298, 305, 307, 579 }, { 305, 309, 310, 579 }, { 310, 346, 579, 581 }, { 298, 305, 313, 316 }, { 305, 309, 310, 316 }, { 310, 315, 316, 582 }, { 40, 310, 320, 582 }, { 39, 310, 322, 340 }, { 39, 53, 320, 340 }, { 39, 40, 310, 320 }, { 45, 47, 336, 427 }, { 43, 45, 333, 427 }, { 45, 333, 334, 336 }, { 51, 53, 320, 340 }, { 47, 48, 336, 427 }, { 48, 51, 336, 338, 339, 340 }, { 333, 350, 584, 585 }, { 55, 350, 584, 588 }, { 333, 342, 350, 585 }, { 342, 343, 350, 590, 592, 594 }, { 310, 347, 350, 590 }, { 55, 310, 346, 351 }, { 55, 350, 351, 596 }, { 310, 347, 350, 351 }, { 333, 356, 600, 601 }, { 55, 356, 601, 604, 605 }, { 55, 333, 584, 601 }, { 118, 333, 356, 358 }, { 118, 356, 362, 374 }, { 55, 298, 363, 606 }, { 298, 366, 368, 606 }, { 55, 57, 366, 606 }, { 55, 59, 364, 366 }, { 59, 61, 66, 366 }, { 298, 366, 370, 608 }, { 61, 67, 366, 608 }, { 61, 609, 653, 654 }, { 61, 608, 655, 656 }, { 69, 374, 375, 609 }, { 73, 298, 380, 608 }, { 69, 73, 608, 609, 657, 658 }, { 69, 70, 73, 74, 298, 374 }, { 55, 374, 383, 613 }, { 55, 79, 388, 613 }, { 374, 386, 388, 613 }, { 55, 80, 387, 388 }, { 55, 59, 61, 80 }, { 61, 80, 388, 396 }, { 374, 388, 398, 609 }, { 61, 388, 609, 618 }, { 399, 401, 446, 619, 621 }, { 399, 446, 659, 660, 661 }, { 86, 87, 100, 620 }, { 86, 89, 406, 620, 621 }, { 86, 92, 95, 621 }, { 86, 95, 100, 409 }, { 414, 420, 423, 622, 623, 630 }, { 414, 415, 418, 621 }, { 418, 422, 446, 621, 626, 627 }, { 414, 418, 420, 422, 423 }, { 422, 423, 426, 446 }, { 43, 111, 333, 427 }, { 111, 423, 427, 429, 630 }, { 111, 333, 423, 629 }, { 118, 333, 358, 423 }, { 117, 118, 374, 423 }, { 423, 426, 430, 446 }, { 122, 423, 430, 435 }, { 125, 430, 435, 446 }, { 130, 374, 423, 432 }, { 130, 131, 423, 435 }, { 95, 135, 446, 635 }, { 17, 95, 135, 439 }, { 135, 136, 439, 446 }, { 141, 144, 439, 446 }, { 141, 196, 439, 637 }, { 130, 374, 435, 442 }, { 435, 442, 446, 447 }, { 141, 196, 446, 447 }, { 196, 442, 447, 452 }, { 196, 442, 452, 662 }, { 454, 455, 478, 510 }, { 147, 150, 454, 460, 510 }, { 454, 460, 461, 463, 471, 478 }, { 460, 469, 471, 510 }, { 171, 470, 471, 649 }, { 469, 471, 510, 649 }, { 471, 474, 478, 479, 644, 663 }, { 167, 477, 478, 479 }, { 455, 478, 510, 648 }, { 167, 478, 484, 648 }, { 238, 490, 510, 646 }, { 95, 161, 165, 167 }, { 95, 165, 238, 490 }, { 165, 167, 487, 490 }, { 490, 510, 646, 648 }, { 167, 490, 492, 648 }, { 171, 172, 493, 495 }, { 171, 172, 174, 271 }, { 171, 493, 498, 649 }, { 493, 510, 649, 650 }, { 172, 178, 271, 493 }, { 178, 493, 510, 650 }, { 192, 285, 502, 504 }, { 1, 178, 271, 285 }, { 178, 285, 502, 510 }, { 192, 502, 515, 517 }, { 184, 502, 510, 517 }, { 184, 190, 510, 521, 522 }, { 192, 207, 517, 525 }, { 196, 209, 526, 529 }, { 190, 241, 510, 526 }, { 196, 202, 241, 526 }, { 5, 192, 204, 541, 664 }, { 192, 196, 207, 209, 541 }, { 12, 13, 298, 544, 546 }, { 192, 204, 233, 235, 544, 546 }, { 17, 95, 238, 439 }, { 238, 241, 439, 510 }, { 196, 241, 439, 553 }, { 248, 279, 556, 651 }, { 246, 248, 252, 254, 279 }, { 248, 254, 555, 651 }, { 257, 558, 559, 651 }, { 254, 257, 559, 652 }, { 254, 555, 559, 651 }, { 254, 263, 266, 267, 279, 561 }, { 267, 271, 272, 276, 279 }, { 25, 271, 279, 564 }, { 279, 556, 564, 651 }, { 271, 564, 566, 651 }, { 13, 192, 298, 544 }, { 13, 192, 569, 573 }, { 27, 192, 285, 573 }, { 271, 285, 289, 573 }, { 13, 298, 301, 573 }, { 295, 298, 301, 316 }, { 301, 302, 316, 573 }, { 55, 298, 307, 579 }, { 298, 305, 310, 579 }, { 55, 310, 346, 579 }, { 298, 305, 310, 316 }, { 310, 316, 320, 582 }, { 39, 310, 320, 340 }, { 45, 333, 336, 427 }, { 48, 51, 320, 336, 340, 427 }, { 55, 333, 350, 584 }, { 310, 333, 342, 350, 590 }, { 55, 310, 350, 351 }, { 55, 333, 356, 601 }, { 118, 333, 356, 374 }, { 55, 356, 362, 374 }, { 55, 298, 366, 606 }, { 55, 59, 61, 366 }, { 61, 298, 366, 608 }, { 61, 608, 609, 654, 655 }, { 69, 73, 298, 374, 608, 609 }, { 55, 374, 388, 613 }, { 55, 61, 80, 388 }, { 61, 374, 388, 609 }, { 399, 401, 446, 620, 621, 660 }, { 86, 95, 100, 620, 621 }, { 414, 423, 427, 429, 622, 630 }, { 414, 418, 422, 423, 446, 621 }, { 111, 333, 423, 427 }, { 118, 333, 374, 423 }, { 423, 430, 435, 446 }, { 130, 374, 423, 435 }, { 95, 135, 439, 446 }, { 141, 196, 439, 446 }, { 374, 435, 442, 446 }, { 196, 442, 446, 447 }, { 196, 374, 442, 662 }, { 454, 460, 471, 478, 510 }, { 171, 471, 510, 649 }, { 167, 171, 471, 478, 479, 663 }, { 167, 478, 510, 648 }, { 95, 238, 490, 510 }, { 95, 165, 167, 490 }, { 167, 490, 510, 648 }, { 171, 172, 271, 493 }, { 171, 493, 510, 649 }, { 178, 271, 493, 510 }, { 192, 285, 502, 510 }, { 178, 271, 285, 510 }, { 192, 502, 510, 517 }, { 184, 190, 510, 517, 526 }, { 192, 196, 207, 209, 517, 526 }, { 196, 241, 510, 526 }, { 192, 196, 204, 541, 664, 665 }, { 192, 204, 298, 544, 546 }, { 95, 238, 439, 510 }, { 196, 241, 439, 510 }, { 248, 254, 279, 651 }, { 254, 257, 559, 651 }, { 254, 257, 267, 271, 279, 561 }, { 271, 279, 564, 651 }, { 13, 192, 298, 573 }, { 192, 271, 285, 573 }, { 298, 301, 316, 573 }, { 55, 298, 310, 579 }, { 298, 310, 316, 320 }, { 310, 320, 333, 336, 340, 427 }, { 55, 310, 333, 350 }, { 55, 333, 356, 374 }, { 55, 61, 298, 366 }, { 61, 298, 374, 608, 609 }, { 55, 61, 374, 388 }, { 95, 100, 446, 620, 621, 660 }, { 414, 423, 427, 446, 621 }, { 333, 374, 423, 427 }, { 374, 423, 435, 446 }, { 95, 196, 439, 446 }, { 196, 374, 442, 446 }, { 167, 171, 471, 478, 510 }, { 95, 167, 490, 510 }, { 171, 271, 493, 510 }, { 192, 271, 285, 510 }, { 192, 196, 510, 517, 526 }, { 192, 196, 204, 298, 374, 665 }, { 95, 196, 439, 510 }, { 254, 257, 271, 279, 651 }, { 192, 271, 298, 573 }, { 298, 316, 320, 573 }, { 55, 298, 310, 320 }, { 55, 310, 320, 333, 427 }, { 55, 333, 374, 427 }, { 55, 61, 298, 374 }, { 95, 427, 446, 621 }, { 374, 423, 427, 446 }, { 95, 196, 374, 446 }, { 95, 167, 171, 271, 510 }, { 192, 271, 298, 510 }, { 192, 196, 298, 374, 510 }, { 95, 196, 374, 510 }, { 257, 271, 651, 666, 667, 668 }, { 271, 298, 320, 573 }, { 55, 298, 320, 374, 427 }, { 95, 374, 427, 446 }, { 95, 271, 298, 374, 510 }, { 95, 257, 271, 666, 667, 669 }, { 95, 271, 298, 320, 374, 427 }, { 95, 271, 320, 427, 666, 670 } ] /* Faces of top cells */ [ [ { 2, 3, 4 }, { 1, 3, 4 }, { 1, 2, 4 }, { 1, 2, 3 } ], [ { 6, 7, 8 }, { 5, 7, 8 }, { 5, 6, 8 }, { 5, 6, 7 } ], [ { 9, 10, 11 }, { 5, 10, 11 }, { 5, 9, 11 }, { 5, 9, 10 } ], [ { 13, 14, 15 }, { 12, 14, 15 }, { 12, 13, 15 }, { 12, 13, 14 } ], [ { 17, 18, 19 }, { 16, 18, 19 }, { 16, 17, 19 }, { 16, 17, 18 } ], [ { 21, 22, 23 }, { 20, 22, 23 }, { 20, 21, 23 }, { 20, 21, 22 } ], [ { 24, 25, 26 }, { 20, 25, 26 }, { 20, 24, 26 }, { 20, 24, 25 } ], [ { 28, 29, 30 }, { 27, 29, 30 }, { 27, 28, 30 }, { 27, 28, 29 } ], [ { 32, 33, 34 }, { 31, 33, 34 }, { 31, 32, 34 }, { 31, 32, 33 } ], [ { 36, 37, 38 }, { 35, 37, 38 }, { 35, 36, 38 }, { 35, 36, 37 } ], [ { 40, 41, 42 }, { 39, 41, 42 }, { 39, 40, 42 }, { 39, 40, 41 } ], [ { 44, 45, 46 }, { 43, 45, 46 }, { 43, 44, 46 }, { 43, 44, 45 } ], [ { 48, 49, 50 }, { 47, 49, 50 }, { 47, 48, 50 }, { 47, 48, 49 } ], [ { 52, 53, 54 }, { 51, 53, 54 }, { 51, 52, 54 }, { 51, 52, 53 } ], [ { 56, 57, 58 }, { 55, 57, 58 }, { 55, 56, 58 }, { 55, 56, 57 } ], [ { 60, 61, 62 }, { 59, 61, 62 }, { 59, 60, 62 }, { 59, 60, 61 } ], [ { 61, 63, 64 }, { 60, 63, 64 }, { 60, 61, 64 }, { 60, 61, 63 } ], [ { 66, 67, 68 }, { 65, 67, 68 }, { 65, 66, 68 }, { 65, 66, 67 } ], [ { 70, 71, 72 }, { 69, 71, 72 }, { 69, 70, 72 }, { 69, 70, 71 } ], [ { 74, 75, 76 }, { 73, 75, 76 }, { 73, 74, 76 }, { 73, 74, 75 } ], [ { 77, 78, 79 }, { 55, 78, 79 }, { 55, 77, 79 }, { 55, 77, 78 } ], [ { 80, 81, 82 }, { 61, 81, 82 }, { 61, 80, 82 }, { 61, 80, 81 } ], [ { 61, 81, 84 }, { 81, 83, 84 }, { 61, 83, 84 }, { 61, 81, 83 } ], [ { 86, 87, 88 }, { 85, 87, 88 }, { 85, 86, 88 }, { 85, 86, 87 } ], [ { 89, 90, 91 }, { 86, 90, 91 }, { 86, 89, 91 }, { 86, 89, 90 } ], [ { 92, 93, 94 }, { 86, 93, 94 }, { 86, 92, 94 }, { 86, 92, 93 } ], [ { 96, 97, 98 }, { 95, 97, 98 }, { 95, 96, 98 }, { 95, 96, 97 } ], [ { 100, 101, 102 }, { 99, 101, 102 }, { 99, 100, 102 }, { 99, 100, 101 } ], [ { 103, 105, 107 }, { 103, 104, 107 }, { 103, 104, 105, 106 }, { 104, 106, 107 }, { 105, 106, 107 } ], [ { 43, 109, 110 }, { 108, 109, 110 }, { 43, 108, 110 }, { 43, 108, 109 } ], [ { 112, 113, 114 }, { 111, 113, 114 }, { 111, 112, 114 }, { 111, 112, 113 } ], [ { 113, 115, 116 }, { 111, 115, 116 }, { 111, 113, 116 }, { 111, 113, 115 } ], [ { 118, 119, 120 }, { 117, 119, 120 }, { 117, 118, 120 }, { 117, 118, 119 } ], [ { 122, 123, 124 }, { 121, 123, 124 }, { 121, 122, 124 }, { 121, 122, 123 } ], [ { 126, 127, 128 }, { 125, 127, 128 }, { 125, 126, 128 }, { 125, 126, 127 } ], [ { 130, 131, 132 }, { 129, 131, 132 }, { 129, 130, 132 }, { 129, 130, 131 } ], [ { 132, 133, 134 }, { 131, 132, 134 }, { 131, 132, 133 }, { 131, 133, 134 } ], [ { 136, 137, 138 }, { 135, 137, 138 }, { 135, 136, 138 }, { 135, 136, 137 } ], [ { 140, 141, 142 }, { 139, 141, 142 }, { 139, 140, 142 }, { 139, 140, 141 } ], [ { 143, 144, 145 }, { 140, 144, 145 }, { 140, 143, 145 }, { 140, 143, 144 } ], [ { 147, 148, 149 }, { 146, 148, 149 }, { 146, 147, 149 }, { 146, 147, 148 } ], [ { 151, 152, 153 }, { 150, 152, 153 }, { 150, 151, 153 }, { 150, 151, 152 } ], [ { 155, 156, 158 }, { 154, 155, 158 }, { 154, 155, 156, 157 }, { 154, 157, 158 }, { 156, 157, 158 } ], [ { 160, 161, 162 }, { 159, 161, 162 }, { 159, 160, 162 }, { 159, 160, 161 } ], [ { 164, 165, 166 }, { 163, 165, 166 }, { 163, 164, 166 }, { 163, 164, 165 } ], [ { 165, 168, 169 }, { 167, 168, 169 }, { 165, 167, 169 }, { 165, 167, 168 } ], [ { 171, 172, 173 }, { 170, 172, 173 }, { 170, 171, 173 }, { 170, 171, 172 } ], [ { 175, 176, 177 }, { 174, 176, 177 }, { 174, 175, 177 }, { 174, 175, 176 } ], [ { 179, 180, 181 }, { 178, 180, 181 }, { 178, 179, 181 }, { 178, 179, 180 } ], [ { 178, 180, 182 }, { 2, 180, 182 }, { 2, 178, 182 }, { 2, 178, 180 } ], [ { 2, 3, 183 }, { 1, 3, 183 }, { 1, 2, 3 }, { 1, 2, 183 } ], [ { 178, 182, 183 }, { 2, 182, 183 }, { 2, 178, 182 }, { 2, 178, 183 } ], [ { 185, 186, 187 }, { 184, 186, 187 }, { 184, 185, 187 }, { 184, 185, 186 } ], [ { 189, 190, 191 }, { 188, 190, 191 }, { 188, 189, 191 }, { 188, 189, 190 } ], [ { 193, 194, 195 }, { 192, 194, 195 }, { 192, 193, 195 }, { 192, 193, 194 } ], [ { 197, 198, 199 }, { 196, 198, 199 }, { 196, 197, 199 }, { 196, 197, 198 } ], [ { 201, 202, 203 }, { 200, 202, 203 }, { 200, 201, 203 }, { 200, 201, 202 } ], [ { 5, 7, 8 }, { 7, 8, 192 }, { 5, 8, 192 }, { 5, 7, 192 } ], [ { 9, 11, 204 }, { 5, 9, 11 }, { 5, 11, 204 }, { 5, 9, 204 } ], [ { 9, 205, 206 }, { 5, 9, 206 }, { 5, 9, 205 }, { 5, 205, 206 } ], [ { 193, 207, 208 }, { 192, 207, 208 }, { 192, 193, 208 }, { 192, 193, 207 } ], [ { 196, 199, 210 }, { 199, 209, 210 }, { 196, 209, 210 }, { 196, 199, 209 } ], [ { 211, 212, 213 }, { 13, 212, 213 }, { 13, 211, 213 }, { 13, 211, 212 } ], [ { 214, 215, 216 }, { 12, 215, 216 }, { 12, 214, 216 }, { 12, 214, 215 } ], [ { 217, 219, 220, 221 }, { 217, 218, 220 }, { 217, 218, 219 }, { 218, 219, 221 }, { 218, 220, 221 } ], [ { 220, 222, 223 }, { 217, 222, 223 }, { 217, 220, 223 }, { 217, 220, 222 } ], [ { 220, 222, 224 }, { 13, 220, 222 }, { 13, 222, 224 }, { 13, 220, 224 } ], [ { 13, 14, 222 }, { 12, 14, 222 }, { 12, 13, 222 }, { 12, 13, 14 } ], [ { 217, 222, 225 }, { 12, 222, 225 }, { 12, 217, 225 }, { 12, 217, 222 } ], [ { 226, 227, 228 }, { 192, 227, 228 }, { 192, 226, 228 }, { 192, 226, 227 } ], [ { 229, 230, 231 }, { 204, 230, 231 }, { 204, 229, 231 }, { 204, 229, 230 } ], [ { 231, 232, 233 }, { 204, 231, 233 }, { 204, 231, 232 }, { 204, 232, 233 } ], [ { 9, 206, 232 }, { 9, 204, 206 }, { 9, 204, 232 }, { 204, 206, 232 } ], [ { 228, 234, 235 }, { 192, 228, 235 }, { 192, 228, 234 }, { 192, 234, 235 } ], [ { 7, 206, 234 }, { 7, 192, 206 }, { 192, 206, 234 }, { 7, 192, 234 } ], [ { 16, 164, 236 }, { 95, 164, 236 }, { 16, 95, 236 }, { 16, 95, 164 } ], [ { 16, 164, 238 }, { 16, 164, 237 }, { 164, 237, 238 }, { 16, 237, 238 } ], [ { 16, 238, 239 }, { 16, 237, 239 }, { 237, 238, 239 }, { 16, 237, 238 } ], [ { 17, 19, 239 }, { 16, 19, 239 }, { 16, 17, 19 }, { 16, 17, 239 } ], [ { 241, 242, 243 }, { 240, 242, 243 }, { 240, 241, 243 }, { 240, 241, 242 } ], [ { 245, 246, 247 }, { 244, 246, 247 }, { 244, 245, 247 }, { 244, 245, 246 } ], [ { 249, 250, 251 }, { 248, 250, 251 }, { 248, 249, 251 }, { 248, 249, 250 } ], [ { 244, 249, 253 }, { 244, 252, 253 }, { 244, 249, 252 }, { 249, 252, 253 } ], [ { 252, 255, 256 }, { 254, 255, 256 }, { 252, 254, 256 }, { 252, 254, 255 } ], [ { 258, 259, 260 }, { 257, 259, 260 }, { 257, 258, 260 }, { 257, 258, 259 } ], [ { 262, 263, 264 }, { 261, 263, 264 }, { 261, 262, 264 }, { 261, 262, 263 } ], [ { 266, 267, 268 }, { 265, 267, 268 }, { 265, 266, 268 }, { 265, 266, 267 } ], [ { 262, 266, 269 }, { 262, 265, 269 }, { 265, 266, 269 }, { 262, 265, 266 } ], [ { 262, 267, 270 }, { 262, 265, 270 }, { 262, 265, 267 }, { 265, 267, 270 } ], [ { 21, 24, 271 }, { 20, 24, 271 }, { 20, 21, 271 }, { 20, 21, 24 } ], [ { 21, 22, 272 }, { 20, 22, 272 }, { 20, 21, 22 }, { 20, 21, 272 } ], [ { 267, 268, 273 }, { 266, 268, 273 }, { 266, 267, 268 }, { 266, 267, 273 } ], [ { 272, 273, 274 }, { 266, 272, 274 }, { 266, 273, 274 }, { 266, 272, 273 } ], [ { 272, 273, 275 }, { 267, 272, 275 }, { 267, 273, 275 }, { 267, 272, 273 } ], [ { 276, 277, 278 }, { 266, 277, 278 }, { 266, 276, 278 }, { 266, 276, 277 } ], [ { 272, 274, 277 }, { 266, 274, 277 }, { 266, 272, 277 }, { 266, 272, 274 } ], [ { 279, 280, 281 }, { 266, 280, 281 }, { 266, 279, 281 }, { 266, 279, 280 } ], [ { 276, 278, 280 }, { 266, 276, 278 }, { 266, 278, 280 }, { 266, 276, 280 } ], [ { 276, 280, 282 }, { 276, 279, 282 }, { 279, 280, 282 }, { 276, 279, 280 } ], [ { 24, 25, 276 }, { 20, 25, 276 }, { 20, 24, 25 }, { 20, 24, 276 } ], [ { 271, 283, 284 }, { 24, 283, 284 }, { 24, 271, 284 }, { 24, 271, 283 } ], [ { 27, 28, 29 }, { 28, 29, 285 }, { 27, 29, 285 }, { 27, 28, 285 } ], [ { 29, 285, 287 }, { 29, 286, 287 }, { 29, 285, 286 }, { 285, 286, 287 } ], [ { 288, 289, 290 }, { 287, 289, 290 }, { 287, 288, 290 }, { 287, 288, 289 } ], [ { 287, 291, 292 }, { 285, 291, 292 }, { 285, 287, 292 }, { 285, 287, 291 } ], [ { 289, 291, 293 }, { 287, 291, 293 }, { 287, 289, 293 }, { 287, 289, 291 } ], [ { 295, 296, 297 }, { 294, 296, 297 }, { 294, 295, 297 }, { 294, 295, 296 } ], [ { 13, 211, 299 }, { 13, 211, 298 }, { 211, 298, 299 }, { 13, 298, 299 } ], [ { 294, 295, 297 }, { 295, 297, 300 }, { 294, 297, 300 }, { 294, 295, 300 } ], [ { 33, 302, 303 }, { 33, 301, 303 }, { 33, 301, 302 }, { 301, 302, 303 } ], [ { 32, 33, 302 }, { 31, 32, 33 }, { 31, 33, 302 }, { 31, 32, 302 } ], [ { 36, 38, 301 }, { 38, 300, 301 }, { 36, 38, 300 }, { 36, 300, 301 } ], [ { 37, 38, 302 }, { 36, 37, 38 }, { 36, 38, 302 }, { 36, 37, 302 } ], [ { 304, 306, 307 }, { 304, 305, 307 }, { 305, 307, 308 }, { 304, 306, 308 }, { 306, 307, 308 }, { 304, 305, 308 } ], [ { 310, 311, 312 }, { 309, 311, 312 }, { 309, 310, 312 }, { 309, 310, 311 } ], [ { 296, 308, 313 }, { 296, 298, 308 }, { 298, 308, 313 }, { 296, 298, 313 } ], [ { 305, 308, 313 }, { 304, 305, 308 }, { 304, 308, 313 }, { 304, 305, 313 } ], [ { 315, 316, 317 }, { 314, 316, 317 }, { 314, 315, 317 }, { 314, 315, 316 } ], [ { 40, 319, 320 }, { 40, 318, 320 }, { 318, 319, 320 }, { 40, 318, 319 } ], [ { 310, 322, 323 }, { 321, 322, 323 }, { 310, 321, 323 }, { 310, 321, 322 } ], [ { 53, 324, 325 }, { 39, 53, 325 }, { 39, 324, 325 }, { 39, 53, 324 } ], [ { 53, 326, 327 }, { 39, 326, 327 }, { 39, 53, 327 }, { 39, 53, 326 } ], [ { 40, 42, 328 }, { 39, 40, 42 }, { 39, 42, 328 }, { 39, 40, 328 } ], [ { 310, 323, 328 }, { 39, 310, 323 }, { 39, 323, 328 }, { 39, 310, 328 } ], [ { 45, 47, 330 }, { 45, 329, 330 }, { 47, 329, 330 }, { 45, 47, 329 } ], [ { 44, 45, 331 }, { 43, 44, 45 }, { 43, 45, 331 }, { 43, 44, 331 } ], [ { 45, 331, 333 }, { 45, 331, 332 }, { 45, 332, 333 }, { 331, 332, 333 } ], [ { 333, 334, 335 }, { 332, 334, 335 }, { 332, 333, 335 }, { 332, 333, 334 } ], [ { 47, 337, 338 }, { 47, 336, 338 }, { 336, 337, 338 }, { 47, 336, 337 } ], [ { 48, 49, 338 }, { 47, 49, 338 }, { 47, 48, 338 }, { 47, 48, 49 } ], [ { 52, 53, 339 }, { 51, 53, 339 }, { 51, 52, 53 }, { 51, 52, 339 } ], [ { 53, 340, 341 }, { 339, 340, 341 }, { 53, 339, 341 }, { 53, 339, 340 } ], [ { 343, 344, 345 }, { 342, 344, 345 }, { 342, 343, 345 }, { 342, 343, 344 } ], [ { 310, 347, 348 }, { 346, 347, 348 }, { 310, 346, 348 }, { 310, 346, 347 } ], [ { 350, 351, 352 }, { 349, 351, 352, 353 }, { 349, 350, 352, 354 }, { 350, 351, 353, 354 }, { 349, 353, 354 } ], [ { 333, 356, 357 }, { 333, 355, 357 }, { 355, 356, 357 }, { 333, 355, 356 } ], [ { 333, 358, 359 }, { 355, 358, 359 }, { 333, 355, 359 }, { 333, 355, 358 } ], [ { 360, 361, 362 }, { 118, 361, 362 }, { 118, 120, 362 }, { 120, 360, 362 }, { 118, 120, 361 }, { 120, 360, 361 } ], [ { 56, 57, 363 }, { 55, 57, 363 }, { 55, 56, 57 }, { 55, 56, 363 } ], [ { 57, 58, 364 }, { 55, 58, 364 }, { 55, 57, 58 }, { 55, 57, 364 } ], [ { 365, 366, 367 }, { 59, 366, 367 }, { 59, 365, 367 }, { 59, 365, 366 } ], [ { 60, 61, 64 }, { 59, 61, 64 }, { 59, 60, 64 }, { 59, 60, 61 } ], [ { 63, 64, 66 }, { 61, 63, 64 }, { 61, 64, 66 }, { 61, 63, 66 } ], [ { 368, 369, 370 }, { 298, 369, 370 }, { 298, 368, 370 }, { 298, 368, 369 } ], [ { 298, 370, 372 }, { 370, 371, 372 }, { 298, 371, 372 }, { 298, 370, 371 } ], [ { 61, 66, 67 }, { 65, 66, 67 }, { 61, 65, 67 }, { 61, 65, 66 } ], [ { 374, 375, 376 }, { 373, 375, 376 }, { 373, 374, 376 }, { 373, 374, 375 } ], [ { 69, 375, 377 }, { 373, 375, 377 }, { 69, 373, 377 }, { 69, 373, 375 } ], [ { 378, 379, 380 }, { 73, 379, 380 }, { 73, 378, 380 }, { 73, 378, 379 } ], [ { 298, 378, 380 }, { 371, 378, 380 }, { 298, 371, 380 }, { 298, 371, 378 } ], [ { 69, 70, 71 }, { 70, 71, 381 }, { 69, 71, 381 }, { 69, 70, 381 } ], [ { 73, 378, 382 }, { 298, 378, 382 }, { 73, 298, 382 }, { 73, 298, 378 } ], [ { 74, 76, 382 }, { 73, 76, 382 }, { 73, 74, 76 }, { 73, 74, 382 } ], [ { 78, 79, 383 }, { 55, 79, 383 }, { 55, 78, 383 }, { 55, 78, 79 } ], [ { 384, 385, 386 }, { 374, 385, 386 }, { 374, 384, 386 }, { 374, 384, 385 } ], [ { 77, 79, 387 }, { 55, 79, 387 }, { 55, 77, 79 }, { 55, 77, 387 } ], [ { 387, 389, 390 }, { 387, 388, 390 }, { 388, 389, 390 }, { 387, 388, 389 } ], [ { 80, 390, 391 }, { 388, 390, 391 }, { 80, 388, 391 }, { 80, 388, 390 } ], [ { 61, 392, 393 }, { 59, 392, 393 }, { 59, 61, 393 }, { 59, 61, 392 } ], [ { 80, 394, 395 }, { 61, 394, 395 }, { 61, 80, 395 }, { 61, 80, 394 } ], [ { 61, 80, 81 }, { 80, 81, 83 }, { 61, 81, 83 }, { 61, 80, 83 } ], [ { 61, 84, 396 }, { 83, 84, 396 }, { 61, 83, 84 }, { 61, 83, 396 } ], [ { 374, 376, 398 }, { 376, 397, 398 }, { 374, 376, 397 }, { 374, 397, 398 } ], [ { 400, 401, 402 }, { 399, 401, 402, 404 }, { 399, 400, 401, 403 }, { 400, 402, 403, 404 }, { 399, 403, 404 } ], [ { 85, 86, 87 }, { 86, 87, 99 }, { 85, 87, 99 }, { 85, 86, 99 } ], [ { 87, 100, 102 }, { 87, 99, 102 }, { 99, 100, 102 }, { 87, 99, 100 } ], [ { 89, 90, 405 }, { 86, 90, 405 }, { 86, 89, 405 }, { 86, 89, 90 } ], [ { 86, 407, 408 }, { 406, 407, 408 }, { 86, 406, 408 }, { 86, 406, 407 } ], [ { 92, 96, 98 }, { 92, 95, 98 }, { 95, 96, 98 }, { 92, 95, 96 } ], [ { 86, 92, 93 }, { 92, 93, 96 }, { 86, 93, 96 }, { 86, 92, 96 } ], [ { 100, 101, 410 }, { 101, 409, 410 }, { 100, 101, 409 }, { 100, 409, 410 } ], [ { 97, 409, 411 }, { 95, 97, 411 }, { 95, 97, 409 }, { 95, 409, 411 } ], [ { 410, 411, 412, 413 }, { 95, 411, 413 }, { 95, 100, 412, 413 }, { 95, 100, 410, 411 }, { 100, 410, 412 } ], [ { 96, 97, 409 }, { 95, 96, 97 }, { 95, 97, 409 }, { 95, 96, 409 } ], [ { 86, 93, 96 }, { 86, 93, 409 }, { 93, 96, 409 }, { 86, 96, 409 } ], [ { 99, 100, 101 }, { 100, 101, 409 }, { 99, 101, 409 }, { 99, 100, 409 } ], [ { 85, 86, 99 }, { 85, 86, 409 }, { 86, 99, 409 }, { 85, 99, 409 } ], [ { 415, 416, 417 }, { 414, 416, 417 }, { 414, 415, 417 }, { 414, 415, 416 } ], [ { 417, 418, 419 }, { 414, 417, 419 }, { 414, 417, 418 }, { 414, 418, 419 } ], [ { 417, 418, 419 }, { 415, 417, 419 }, { 415, 417, 418 }, { 415, 418, 419 } ], [ { 104, 106, 421 }, { 104, 106, 420 }, { 106, 420, 421 }, { 104, 420, 421 } ], [ { 103, 104, 418 }, { 104, 106, 418, 422 }, { 103, 105, 418, 422 }, { 103, 104, 105, 106 }, { 105, 106, 422 } ], [ { 423, 424, 425 }, { 422, 424, 425 }, { 422, 423, 425 }, { 422, 423, 424 } ], [ { 424, 425, 426 }, { 422, 425, 426 }, { 422, 424, 425 }, { 422, 424, 426 } ], [ { 43, 109, 110 }, { 109, 110, 427 }, { 43, 110, 427 }, { 43, 109, 427 } ], [ { 110, 111, 112 }, { 110, 112, 427 }, { 110, 111, 427 }, { 111, 112, 427 } ], [ { 111, 331, 428 }, { 43, 331, 428 }, { 43, 111, 331 }, { 43, 111, 428 } ], [ { 111, 112, 113 }, { 112, 113, 427 }, { 111, 113, 427 }, { 111, 112, 427 } ], [ { 113, 115, 429 }, { 111, 113, 115 }, { 111, 115, 429 }, { 111, 113, 429 } ], [ { 118, 120, 361 }, { 117, 120, 361 }, { 117, 118, 120 }, { 117, 118, 361 } ], [ { 122, 424, 426 }, { 122, 423, 426 }, { 423, 424, 426 }, { 122, 423, 424 } ], [ { 122, 426, 431 }, { 426, 430, 431 }, { 122, 430, 431 }, { 122, 426, 430 } ], [ { 122, 123, 430 }, { 121, 122, 123 }, { 121, 123, 430 }, { 121, 122, 430 } ], [ { 125, 126, 127 }, { 126, 127, 430 }, { 125, 127, 430 }, { 125, 126, 430 } ], [ { 432, 433, 434 }, { 130, 433, 434 }, { 130, 432, 434 }, { 130, 432, 433 } ], [ { 117, 361, 374 }, { 117, 361, 432 }, { 361, 374, 432 }, { 117, 374, 432 } ], [ { 131, 433, 434 }, { 130, 433, 434 }, { 130, 131, 434 }, { 130, 131, 433 } ], [ { 131, 132, 134 }, { 130, 132, 134 }, { 130, 131, 132 }, { 130, 131, 134 } ], [ { 131, 134, 436 }, { 134, 435, 436 }, { 131, 435, 436 }, { 131, 134, 435 } ], [ { 122, 131, 435 }, { 121, 131, 435 }, { 121, 122, 131 }, { 121, 122, 435 } ], [ { 16, 135, 236 }, { 16, 95, 236 }, { 95, 135, 236 }, { 16, 95, 135 } ], [ { 136, 138, 437 }, { 135, 138, 437 }, { 135, 136, 138 }, { 135, 136, 437 } ], [ { 135, 439, 440 }, { 438, 439, 440 }, { 135, 438, 440 }, { 135, 438, 439 } ], [ { 135, 136, 137 }, { 136, 137, 438 }, { 135, 137, 438 }, { 135, 136, 438 } ], [ { 136, 439, 441 }, { 136, 438, 441 }, { 438, 439, 441 }, { 136, 438, 439 } ], [ { 136, 144, 439 }, { 136, 140, 144 }, { 136, 140, 439 }, { 140, 144, 439 } ], [ { 141, 142, 439 }, { 140, 141, 142 }, { 140, 142, 439 }, { 140, 141, 439 } ], [ { 141, 144, 145 }, { 140, 141, 145 }, { 140, 144, 145 }, { 140, 141, 144 } ], [ { 442, 443, 444 }, { 130, 443, 444 }, { 130, 442, 444 }, { 130, 442, 443 } ], [ { 374, 442, 443 }, { 442, 443, 445 }, { 374, 443, 445 }, { 374, 442, 445 } ], [ { 144, 447, 448 }, { 144, 446, 448 }, { 144, 446, 447 }, { 446, 447, 448 } ], [ { 442, 447, 450, 451 }, { 447, 449, 450 }, { 442, 447, 449 }, { 449, 450, 451 }, { 442, 449, 451 } ], [ { 141, 196, 453 }, { 141, 452, 453 }, { 141, 196, 452 }, { 196, 452, 453 } ], [ { 141, 447, 452 }, { 141, 447, 449 }, { 141, 449, 452 }, { 447, 449, 452 } ], [ { 148, 454, 455 }, { 146, 148, 455 }, { 146, 454, 455 }, { 146, 148, 454 } ], [ { 147, 148, 454 }, { 146, 148, 454 }, { 146, 147, 148 }, { 146, 147, 454 } ], [ { 150, 456, 457, 459 }, { 147, 150, 457 }, { 147, 150, 456, 458 }, { 147, 457, 458, 459 }, { 456, 458, 459 } ], [ { 150, 151, 153 }, { 151, 153, 460 }, { 150, 153, 460 }, { 150, 151, 460 } ], [ { 462, 463, 464 }, { 461, 463, 464 }, { 461, 462, 463, 465 }, { 461, 464, 465 }, { 462, 464, 465 } ], [ { 463, 464, 466 }, { 454, 464, 466 }, { 454, 463, 464 }, { 454, 463, 466 } ], [ { 460, 464, 467 }, { 461, 464, 467 }, { 460, 461, 467 }, { 460, 461, 464 } ], [ { 454, 464, 468 }, { 460, 464, 468 }, { 454, 460, 464 }, { 454, 460, 468 } ], [ { 151, 153, 460 }, { 151, 153, 469 }, { 153, 460, 469 }, { 151, 460, 469 } ], [ { 471, 472, 473 }, { 470, 472, 473 }, { 470, 471, 473 }, { 470, 471, 472 } ], [ { 463, 474, 475 }, { 461, 463, 475, 476 }, { 461, 463, 474 }, { 474, 475, 476 }, { 461, 474, 476 } ], [ { 154, 155, 156, 157 }, { 155, 156, 477 }, { 154, 155, 477 }, { 154, 157, 477 }, { 156, 157, 477 } ], [ { 154, 158, 479 }, { 158, 478, 479 }, { 154, 155, 478, 479 }, { 154, 155, 158 }, { 155, 158, 478 } ], [ { 167, 480, 481 }, { 479, 480, 481 }, { 167, 479, 481 }, { 167, 479, 480 } ], [ { 167, 482, 483 }, { 167, 478, 483 }, { 478, 482, 483 }, { 167, 478, 482 } ], [ { 483, 484, 485 }, { 478, 483, 485 }, { 478, 484, 485 }, { 478, 483, 484 } ], [ { 159, 161, 162 }, { 95, 161, 162 }, { 95, 159, 162 }, { 95, 159, 161 } ], [ { 161, 162, 165 }, { 161, 162, 486 }, { 162, 165, 486 }, { 161, 165, 486 } ], [ { 164, 165, 238 }, { 163, 164, 165 }, { 163, 165, 238 }, { 163, 164, 238 } ], [ { 167, 484, 488 }, { 167, 484, 487 }, { 484, 487, 488 }, { 167, 487, 488 } ], [ { 165, 488, 489 }, { 165, 487, 489 }, { 487, 488, 489 }, { 165, 487, 488 } ], [ { 165, 167, 168 }, { 165, 168, 488 }, { 167, 168, 488 }, { 165, 167, 488 } ], [ { 487, 490, 491 }, { 163, 490, 491 }, { 163, 487, 491 }, { 163, 487, 490 } ], [ { 167, 484, 492 }, { 484, 487, 492 }, { 167, 487, 492 }, { 167, 484, 487 } ], [ { 179, 494, 495 }, { 493, 494, 495 }, { 179, 493, 495 }, { 179, 493, 494 } ], [ { 172, 173, 496 }, { 171, 173, 496 }, { 171, 172, 496 }, { 171, 172, 173 } ], [ { 470, 495, 496 }, { 171, 495, 496 }, { 171, 470, 496 }, { 171, 470, 495 } ], [ { 174, 175, 176 }, { 175, 176, 271 }, { 174, 176, 271 }, { 174, 175, 271 } ], [ { 174, 175, 497 }, { 172, 175, 497 }, { 172, 174, 497 }, { 172, 174, 175 } ], [ { 470, 495, 498 }, { 171, 495, 498 }, { 171, 470, 495 }, { 171, 470, 498 } ], [ { 178, 179, 180 }, { 172, 179, 180 }, { 172, 178, 180 }, { 172, 178, 179 } ], [ { 178, 499, 500 }, { 178, 493, 500 }, { 493, 499, 500 }, { 178, 493, 499 } ], [ { 501, 502, 503 }, { 192, 502, 503 }, { 192, 501, 503 }, { 192, 501, 502 } ], [ { 502, 503, 505 }, { 503, 504, 505 }, { 502, 503, 504 }, { 502, 504, 505 } ], [ { 178, 506, 507 }, { 1, 506, 507 }, { 1, 178, 507 }, { 1, 178, 506 } ], [ { 2, 178, 180 }, { 178, 180, 271 }, { 2, 180, 271 }, { 2, 178, 271 } ], [ { 2, 178, 183 }, { 1, 178, 183 }, { 1, 2, 183 }, { 1, 2, 178 } ], [ { 502, 505, 508 }, { 285, 505, 508 }, { 285, 502, 505 }, { 285, 502, 508 } ], [ { 178, 502, 508 }, { 178, 508, 509 }, { 502, 508, 509 }, { 178, 502, 509 } ], [ { 510, 511, 512 }, { 502, 511, 512 }, { 502, 510, 512 }, { 502, 510, 511 } ], [ { 178, 502, 511 }, { 178, 509, 511 }, { 502, 509, 511 }, { 178, 502, 509 } ], [ { 501, 502, 513 }, { 192, 502, 513 }, { 192, 501, 513 }, { 192, 501, 502 } ], [ { 513, 514, 515 }, { 192, 513, 515 }, { 192, 513, 514 }, { 192, 514, 515 } ], [ { 516, 517, 518 }, { 192, 517, 518 }, { 192, 516, 518 }, { 192, 516, 517 } ], [ { 515, 517, 518 }, { 517, 518, 519 }, { 515, 518, 519 }, { 515, 517, 519 } ], [ { 513, 515, 520 }, { 502, 513, 515 }, { 502, 513, 520 }, { 502, 515, 520 } ], [ { 185, 186, 521 }, { 184, 186, 521 }, { 184, 185, 186 }, { 184, 185, 521 } ], [ { 521, 522, 523 }, { 188, 522, 523 }, { 186, 188, 521, 522 }, { 186, 188, 523 }, { 186, 521, 523 } ], [ { 190, 191, 522 }, { 188, 190, 191 }, { 188, 191, 522 }, { 188, 190, 522 } ], [ { 516, 517, 524 }, { 192, 517, 524 }, { 192, 516, 524 }, { 192, 516, 517 } ], [ { 517, 524, 525 }, { 516, 524, 525 }, { 516, 517, 525 }, { 516, 517, 524 } ], [ { 193, 194, 207 }, { 192, 194, 207 }, { 192, 193, 194 }, { 192, 193, 207 } ], [ { 196, 198, 199 }, { 198, 199, 209 }, { 196, 199, 209 }, { 196, 198, 209 } ], [ { 526, 527, 528 }, { 196, 527, 528 }, { 196, 526, 528 }, { 196, 526, 527 } ], [ { 527, 528, 529 }, { 526, 527, 528 }, { 526, 528, 529 }, { 526, 527, 529 } ], [ { 526, 527, 530 }, { 196, 527, 530 }, { 196, 526, 527 }, { 196, 526, 530 } ], [ { 202, 530, 531 }, { 202, 526, 531 }, { 526, 530, 531 }, { 202, 526, 530 } ], [ { 201, 241, 532 }, { 196, 241, 532 }, { 196, 201, 532 }, { 196, 201, 241 } ], [ { 201, 202, 533 }, { 196, 202, 533 }, { 196, 201, 533 }, { 196, 201, 202 } ], [ { 200, 526, 534 }, { 241, 526, 534, 535 }, { 200, 534, 535 }, { 200, 241, 526 }, { 200, 241, 535 } ], [ { 200, 202, 526 }, { 202, 526, 534, 536 }, { 200, 526, 534 }, { 200, 202, 536 }, { 200, 534, 536 } ], [ { 201, 202, 241 }, { 200, 202, 241 }, { 200, 201, 202 }, { 200, 201, 241 } ], [ { 5, 7, 206 }, { 7, 192, 206 }, { 5, 192, 206 }, { 5, 7, 192 } ], [ { 9, 204, 206 }, { 5, 9, 206 }, { 5, 9, 204 }, { 5, 204, 206 } ], [ { 207, 537, 538 }, { 207, 209, 538, 539 }, { 207, 209, 537 }, { 537, 538, 539 }, { 209, 537, 539 } ], [ { 207, 208, 540 }, { 192, 208, 540 }, { 192, 207, 208 }, { 192, 207, 540 } ], [ { 207, 537, 540 }, { 537, 540, 541 }, { 207, 537, 541 }, { 207, 540, 541 } ], [ { 196, 210, 542 }, { 196, 209, 210 }, { 209, 210, 542 }, { 196, 209, 542 } ], [ { 537, 541, 542 }, { 209, 537, 541 }, { 209, 537, 542 }, { 209, 541, 542 } ], [ { 13, 211, 213 }, { 211, 213, 298 }, { 13, 213, 298 }, { 13, 211, 298 } ], [ { 12, 214, 215 }, { 214, 215, 298 }, { 12, 215, 298 }, { 12, 214, 298 } ], [ { 12, 215, 543 }, { 12, 13, 543 }, { 12, 13, 213, 215 }, { 13, 213, 543 }, { 213, 215, 543 } ], [ { 220, 544, 545 }, { 13, 220, 545 }, { 13, 544, 545 }, { 13, 220, 544 } ], [ { 219, 221, 544, 546 }, { 217, 219, 546 }, { 217, 220, 544, 546 }, { 217, 219, 220, 221 }, { 220, 221, 544 } ], [ { 12, 217, 222 }, { 12, 13, 222 }, { 12, 13, 217, 220 }, { 13, 220, 222 }, { 217, 220, 222 } ], [ { 217, 546, 547 }, { 12, 546, 547 }, { 12, 217, 547 }, { 12, 217, 546 } ], [ { 226, 228, 235 }, { 192, 228, 235 }, { 192, 226, 228 }, { 192, 226, 235 } ], [ { 229, 231, 233 }, { 204, 229, 231 }, { 204, 231, 233 }, { 204, 229, 233 } ], [ { 206, 232, 233 }, { 204, 206, 233 }, { 204, 206, 232 }, { 204, 232, 233 } ], [ { 206, 234, 235 }, { 192, 206, 235 }, { 192, 206, 234 }, { 192, 234, 235 } ], [ { 16, 164, 238 }, { 16, 95, 164 }, { 95, 164, 238 }, { 16, 95, 238 } ], [ { 16, 17, 239 }, { 17, 238, 239 }, { 16, 238, 239 }, { 16, 17, 238 } ], [ { 17, 238, 549 }, { 17, 548, 549 }, { 17, 238, 548 }, { 238, 548, 549 } ], [ { 241, 242, 510 }, { 240, 241, 242 }, { 240, 242, 510 }, { 240, 241, 510 } ], [ { 241, 242, 243 }, { 238, 242, 243 }, { 238, 241, 243 }, { 238, 241, 242 } ], [ { 238, 241, 243 }, { 241, 243, 550 }, { 238, 243, 550 }, { 238, 241, 550 } ], [ { 196, 241, 532 }, { 241, 532, 551 }, { 196, 532, 551 }, { 196, 241, 551 } ], [ { 241, 439, 552 }, { 241, 550, 552 }, { 439, 550, 552 }, { 241, 439, 550 } ], [ { 241, 552, 553 }, { 551, 552, 553 }, { 241, 551, 552 }, { 241, 551, 553 } ], [ { 244, 245, 246 }, { 245, 246, 248 }, { 244, 246, 248 }, { 244, 245, 248 } ], [ { 249, 250, 254 }, { 248, 249, 250 }, { 248, 250, 254 }, { 248, 249, 254 } ], [ { 244, 249, 252 }, { 244, 248, 249 }, { 244, 248, 252 }, { 248, 249, 252 } ], [ { 249, 252, 256 }, { 249, 254, 256 }, { 252, 254, 256 }, { 249, 252, 254 } ], [ { 248, 555, 556 }, { 554, 555, 556, 557 }, { 248, 554, 555 }, { 248, 554, 557 }, { 248, 556, 557 } ], [ { 258, 260, 558 }, { 257, 260, 558 }, { 257, 258, 260 }, { 257, 258, 558 } ], [ { 259, 260, 559 }, { 257, 260, 559 }, { 257, 259, 260 }, { 257, 259, 559 } ], [ { 254, 559, 560 }, { 248, 559, 560 }, { 248, 254, 560 }, { 248, 254, 559 } ], [ { 262, 263, 264 }, { 263, 264, 561 }, { 262, 264, 561 }, { 262, 263, 561 } ], [ { 262, 266, 267 }, { 262, 265, 267 }, { 262, 265, 266 }, { 265, 266, 267 } ], [ { 22, 272, 562 }, { 22, 267, 562 }, { 267, 272, 562 }, { 22, 267, 272 } ], [ { 22, 271, 272 }, { 21, 22, 272 }, { 21, 22, 271 }, { 21, 271, 272 } ], [ { 24, 271, 276 }, { 20, 271, 276 }, { 20, 24, 276 }, { 20, 24, 271 } ], [ { 21, 271, 272 }, { 20, 271, 272 }, { 20, 21, 272 }, { 20, 21, 271 } ], [ { 267, 272, 273 }, { 266, 272, 273 }, { 266, 267, 272 }, { 266, 267, 273 } ], [ { 272, 276, 277 }, { 266, 272, 277 }, { 266, 276, 277 }, { 266, 272, 276 } ], [ { 276, 279, 280 }, { 266, 276, 280 }, { 266, 276, 279 }, { 266, 279, 280 } ], [ { 25, 276, 563 }, { 25, 279, 563 }, { 276, 279, 563 }, { 25, 276, 279 } ], [ { 25, 271, 276 }, { 24, 25, 276 }, { 24, 25, 271 }, { 24, 271, 276 } ], [ { 248, 564, 565 }, { 248, 279, 565 }, { 248, 279, 564 }, { 279, 564, 565 } ], [ { 271, 283, 564 }, { 24, 283, 564 }, { 24, 271, 283 }, { 24, 271, 564 } ], [ { 283, 284, 566 }, { 271, 283, 284 }, { 271, 284, 566 }, { 271, 283, 566 } ], [ { 283, 566, 567 }, { 283, 564, 566 }, { 283, 564, 567 }, { 564, 566, 567 } ], [ { 556, 566, 568 }, { 556, 564, 566 }, { 556, 564, 568 }, { 564, 566, 568 } ], [ { 13, 226, 570 }, { 226, 569, 570 }, { 13, 569, 570 }, { 13, 226, 569 } ], [ { 27, 226, 569 }, { 27, 192, 226 }, { 27, 192, 569 }, { 192, 226, 569 } ], [ { 27, 571, 572 }, { 27, 192, 572 }, { 27, 192, 571 }, { 192, 571, 572 } ], [ { 27, 569, 573 }, { 27, 286, 569 }, { 27, 286, 573 }, { 286, 569, 573 } ], [ { 27, 29, 285 }, { 27, 29, 286 }, { 29, 285, 286 }, { 27, 285, 286 } ], [ { 285, 287, 573 }, { 285, 286, 287 }, { 286, 287, 573 }, { 285, 286, 573 } ], [ { 287, 288, 289 }, { 288, 289, 573 }, { 287, 289, 573 }, { 287, 288, 573 } ], [ { 287, 289, 291 }, { 285, 289, 291 }, { 285, 287, 291 }, { 285, 287, 289 } ], [ { 271, 574, 575 }, { 573, 574, 575 }, { 271, 573, 575 }, { 271, 573, 574 } ], [ { 1, 289, 576 }, { 1, 285, 289 }, { 285, 289, 576 }, { 1, 285, 576 } ], [ { 1, 2, 289 }, { 2, 271, 289 }, { 1, 271, 289 }, { 1, 2, 271 } ], [ { 295, 296, 577 }, { 296, 298, 577 }, { 295, 298, 577 }, { 295, 296, 298 } ], [ { 295, 296, 316 }, { 294, 295, 296 }, { 294, 296, 316 }, { 294, 295, 316 } ], [ { 13, 295, 299 }, { 13, 295, 298 }, { 295, 298, 299 }, { 13, 298, 299 } ], [ { 294, 295, 316 }, { 295, 300, 316 }, { 294, 295, 300 }, { 294, 300, 316 } ], [ { 32, 33, 302 }, { 32, 33, 301 }, { 33, 301, 302 }, { 32, 301, 302 } ], [ { 36, 301, 316 }, { 36, 300, 301 }, { 300, 301, 316 }, { 36, 300, 316 } ], [ { 36, 302, 316 }, { 36, 302, 578 }, { 302, 316, 578 }, { 36, 316, 578 } ], [ { 38, 301, 302 }, { 36, 38, 302 }, { 36, 38, 301 }, { 36, 301, 302 } ], [ { 305, 307, 308 }, { 298, 307, 308 }, { 298, 305, 308 }, { 298, 305, 307 } ], [ { 310, 312, 579 }, { 309, 312, 579 }, { 309, 310, 312 }, { 309, 310, 579 } ], [ { 310, 579, 581 }, { 579, 580, 581 }, { 310, 580, 581 }, { 310, 579, 580 } ], [ { 296, 313, 316 }, { 296, 298, 313 }, { 296, 298, 316 }, { 298, 313, 316 } ], [ { 305, 308, 313 }, { 298, 305, 308 }, { 298, 308, 313 }, { 298, 305, 313 } ], [ { 310, 316, 317 }, { 309, 316, 317 }, { 309, 310, 317 }, { 309, 310, 316 } ], [ { 310, 316, 317 }, { 315, 316, 317 }, { 310, 315, 317 }, { 310, 315, 316 } ], [ { 40, 310, 582 }, { 310, 328, 582 }, { 40, 310, 328 }, { 40, 328, 582 } ], [ { 40, 320, 582 }, { 318, 320, 582 }, { 40, 318, 320 }, { 40, 318, 582 } ], [ { 310, 322, 323 }, { 39, 322, 323 }, { 39, 310, 323 }, { 39, 310, 322 } ], [ { 310, 322, 340 }, { 310, 321, 322 }, { 321, 322, 340 }, { 310, 321, 340 } ], [ { 53, 324, 340 }, { 39, 53, 340 }, { 39, 324, 340 }, { 39, 53, 324 } ], [ { 53, 320, 326 }, { 39, 320, 326 }, { 39, 53, 320 }, { 39, 53, 326 } ], [ { 40, 310, 328 }, { 39, 40, 310 }, { 39, 310, 328 }, { 39, 40, 328 } ], [ { 40, 320, 326 }, { 39, 40, 320 }, { 39, 320, 326 }, { 39, 40, 326 } ], [ { 45, 47, 583 }, { 45, 47, 427 }, { 45, 427, 583 }, { 47, 427, 583 } ], [ { 45, 47, 330 }, { 45, 330, 336 }, { 47, 330, 336 }, { 45, 47, 336 } ], [ { 43, 45, 583 }, { 43, 45, 427 }, { 45, 427, 583 }, { 43, 427, 583 } ], [ { 45, 331, 333 }, { 43, 45, 331 }, { 43, 45, 333 }, { 43, 331, 333 } ], [ { 333, 334, 335 }, { 334, 335, 336 }, { 333, 335, 336 }, { 333, 334, 336 } ], [ { 45, 333, 334 }, { 45, 332, 334 }, { 332, 333, 334 }, { 45, 332, 333 } ], [ { 53, 320, 326 }, { 51, 320, 326 }, { 51, 53, 320 }, { 51, 53, 326 } ], [ { 47, 48, 583 }, { 47, 48, 427 }, { 48, 427, 583 }, { 47, 427, 583 } ], [ { 47, 48, 338 }, { 48, 336, 338 }, { 47, 336, 338 }, { 47, 48, 336 } ], [ { 53, 339, 340 }, { 51, 53, 340 }, { 51, 339, 340 }, { 51, 53, 339 } ], [ { 350, 585, 586 }, { 350, 584, 586 }, { 584, 585, 586 }, { 350, 584, 585 } ], [ { 350, 587, 588 }, { 350, 584, 588 }, { 584, 587, 588 }, { 350, 584, 587 } ], [ { 342, 585, 589 }, { 333, 342, 589 }, { 333, 585, 589 }, { 333, 342, 585 } ], [ { 342, 343, 590, 592 }, { 342, 590, 591, 593 }, { 590, 591, 592 }, { 343, 591, 592, 593 }, { 342, 343, 593 } ], [ { 342, 343, 344 }, { 342, 344, 350 }, { 342, 343, 350, 594 }, { 343, 344, 594 }, { 344, 350, 594 } ], [ { 310, 347, 595 }, { 347, 590, 595 }, { 310, 590, 595 }, { 310, 347, 590 } ], [ { 351, 596, 597 }, { 55, 596, 597 }, { 55, 351, 597 }, { 55, 351, 596 } ], [ { 351, 596, 598 }, { 350, 596, 598 }, { 350, 351, 596 }, { 350, 351, 598 } ], [ { 310, 347, 351 }, { 346, 347, 351 }, { 310, 346, 351 }, { 310, 346, 347 } ], [ { 350, 351, 352 }, { 347, 351, 352 }, { 347, 350, 352 }, { 347, 350, 351 } ], [ { 599, 600, 601 }, { 356, 600, 601 }, { 356, 599, 601 }, { 356, 599, 600 } ], [ { 600, 601, 602 }, { 333, 600, 601 }, { 333, 601, 602 }, { 333, 600, 602 } ], [ { 601, 603, 604 }, { 356, 601, 604 }, { 356, 603, 604 }, { 356, 601, 603 } ], [ { 584, 585, 601 }, { 333, 585, 601 }, { 333, 584, 601 }, { 333, 584, 585 } ], [ { 55, 584, 601 }, { 584, 601, 605 }, { 55, 601, 605 }, { 55, 584, 605 } ], [ { 333, 356, 358 }, { 333, 355, 358 }, { 355, 356, 358 }, { 333, 355, 356 } ], [ { 118, 361, 362 }, { 361, 362, 374 }, { 118, 362, 374 }, { 118, 361, 374 } ], [ { 57, 363, 606 }, { 55, 57, 606 }, { 55, 363, 606 }, { 55, 57, 363 } ], [ { 57, 364, 366 }, { 55, 364, 366 }, { 55, 57, 366 }, { 55, 57, 364 } ], [ { 364, 366, 367 }, { 59, 366, 367 }, { 59, 364, 367 }, { 59, 364, 366 } ], [ { 61, 64, 66 }, { 59, 64, 66 }, { 59, 61, 64 }, { 59, 61, 66 } ], [ { 66, 366, 607 }, { 59, 66, 607 }, { 59, 66, 366 }, { 59, 366, 607 } ], [ { 366, 368, 370 }, { 298, 366, 370 }, { 298, 366, 368 }, { 298, 368, 370 } ], [ { 298, 370, 608 }, { 370, 371, 608 }, { 298, 371, 608 }, { 298, 370, 371 } ], [ { 66, 67, 366 }, { 61, 66, 67 }, { 61, 67, 366 }, { 61, 66, 366 } ], [ { 61, 67, 608 }, { 65, 67, 608 }, { 61, 65, 67 }, { 61, 65, 608 } ], [ { 67, 366, 608 }, { 67, 370, 608 }, { 67, 366, 370 }, { 366, 370, 608 } ], [ { 374, 375, 376 }, { 375, 376, 609 }, { 374, 376, 609 }, { 374, 375, 609 } ], [ { 69, 374, 375 }, { 69, 373, 375 }, { 373, 374, 375 }, { 69, 373, 374 } ], [ { 73, 378, 380 }, { 298, 378, 380 }, { 73, 298, 380 }, { 73, 298, 378 } ], [ { 298, 380, 608 }, { 371, 380, 608 }, { 298, 371, 608 }, { 298, 371, 380 } ], [ { 69, 70, 381 }, { 69, 70, 374 }, { 70, 374, 381 }, { 69, 374, 381 } ], [ { 69, 73, 610 }, { 69, 70, 73, 74 }, { 73, 74, 610 }, { 69, 70, 610 }, { 70, 74, 610 } ], [ { 73, 74, 382 }, { 74, 298, 382 }, { 73, 298, 382 }, { 73, 74, 298 } ], [ { 74, 298, 611 }, { 298, 374, 611, 612 }, { 70, 74, 298, 374 }, { 70, 74, 611, 612 }, { 70, 374, 612 } ], [ { 374, 383, 385, 614 }, { 374, 385, 613, 615 }, { 374, 383, 613 }, { 383, 613, 614, 615 }, { 385, 614, 615 } ], [ { 79, 383, 613 }, { 55, 79, 383 }, { 55, 383, 613 }, { 55, 79, 613 } ], [ { 79, 613, 616 }, { 79, 388, 616 }, { 79, 388, 613 }, { 388, 613, 616 } ], [ { 374, 385, 386 }, { 374, 386, 613 }, { 374, 385, 613, 615 }, { 385, 386, 615 }, { 386, 613, 615 } ], [ { 79, 387, 388 }, { 55, 79, 387 }, { 55, 79, 388 }, { 55, 387, 388 } ], [ { 80, 387, 390 }, { 80, 388, 390 }, { 387, 388, 390 }, { 80, 387, 388 } ], [ { 61, 80, 394 }, { 59, 80, 393, 394 }, { 59, 61, 80 }, { 61, 393, 394 }, { 59, 61, 393 } ], [ { 80, 396, 617 }, { 388, 396, 617 }, { 80, 388, 396 }, { 80, 388, 617 } ], [ { 61, 80, 396 }, { 80, 83, 396 }, { 61, 83, 396 }, { 61, 80, 83 } ], [ { 374, 376, 398 }, { 376, 398, 609 }, { 374, 376, 609 }, { 374, 398, 609 } ], [ { 388, 398, 618 }, { 398, 609, 618 }, { 388, 398, 609 }, { 388, 609, 618 } ], [ { 61, 396, 618 }, { 61, 388, 396 }, { 388, 396, 618 }, { 61, 388, 618 } ], [ { 401, 402, 619 }, { 399, 401, 402, 404 }, { 399, 401, 619 }, { 399, 404, 619 }, { 402, 404, 619 } ], [ { 86, 87, 100 }, { 86, 87, 99 }, { 87, 99, 100 }, { 86, 99, 100 } ], [ { 87, 102, 620 }, { 100, 102, 620 }, { 87, 100, 620 }, { 87, 100, 102 } ], [ { 89, 405, 406, 408 }, { 86, 406, 408 }, { 86, 89, 406 }, { 86, 89, 405 }, { 86, 405, 408 } ], [ { 92, 98, 621 }, { 92, 95, 98 }, { 95, 98, 621 }, { 92, 95, 621 } ], [ { 86, 92, 96 }, { 86, 92, 95 }, { 92, 95, 96 }, { 86, 95, 96 } ], [ { 95, 100, 410, 411 }, { 95, 100, 409 }, { 95, 409, 411 }, { 409, 410, 411 }, { 100, 409, 410 } ], [ { 86, 96, 409 }, { 86, 95, 96 }, { 86, 95, 409 }, { 95, 96, 409 } ], [ { 86, 99, 100 }, { 86, 100, 409 }, { 86, 99, 409 }, { 99, 100, 409 } ], [ { 622, 623, 624 }, { 414, 622, 624, 625 }, { 414, 420, 622, 623 }, { 420, 623, 624, 625 }, { 414, 420, 625 } ], [ { 415, 417, 418 }, { 414, 417, 418 }, { 414, 415, 417 }, { 414, 415, 418 } ], [ { 415, 418, 626 }, { 418, 621, 626 }, { 415, 621, 626 }, { 415, 418, 621 } ], [ { 418, 422, 628 }, { 418, 422, 626, 627 }, { 422, 627, 628 }, { 626, 627, 628 }, { 418, 626, 628 } ], [ { 104, 418, 420 }, { 104, 106, 418, 422 }, { 418, 420, 422 }, { 106, 420, 422 }, { 104, 106, 420 } ], [ { 423, 424, 426 }, { 422, 424, 426 }, { 422, 423, 426 }, { 422, 423, 424 } ], [ { 426, 446, 627 }, { 422, 426, 627 }, { 422, 426, 446 }, { 422, 446, 627 } ], [ { 43, 110, 111 }, { 110, 111, 427 }, { 43, 110, 427 }, { 43, 111, 427 } ], [ { 111, 331, 333 }, { 43, 331, 333 }, { 43, 111, 331 }, { 43, 111, 333 } ], [ { 111, 113, 429 }, { 113, 427, 429 }, { 111, 113, 427 }, { 111, 427, 429 } ], [ { 423, 629, 630 }, { 111, 629, 630 }, { 111, 423, 630 }, { 111, 423, 629 } ], [ { 423, 629, 631 }, { 333, 629, 631 }, { 333, 423, 631 }, { 333, 423, 629 } ], [ { 358, 423, 631 }, { 333, 358, 631 }, { 333, 358, 423 }, { 333, 423, 631 } ], [ { 117, 118, 361 }, { 118, 361, 374 }, { 117, 361, 374 }, { 117, 118, 374 } ], [ { 122, 426, 430 }, { 122, 423, 426 }, { 423, 426, 430 }, { 122, 423, 430 } ], [ { 122, 430, 435 }, { 121, 122, 435 }, { 121, 430, 435 }, { 121, 122, 430 } ], [ { 125, 126, 430 }, { 125, 126, 446 }, { 126, 430, 446 }, { 125, 430, 446 } ], [ { 125, 435, 632 }, { 435, 446, 632, 633 }, { 125, 435, 446 }, { 125, 446, 633 }, { 125, 632, 633 } ], [ { 423, 432, 433 }, { 130, 432, 433 }, { 130, 423, 433 }, { 130, 423, 432 } ], [ { 374, 432, 634 }, { 130, 374, 634 }, { 130, 432, 634 }, { 130, 374, 432 } ], [ { 117, 374, 432 }, { 117, 374, 423 }, { 117, 423, 432 }, { 374, 423, 432 } ], [ { 131, 423, 433 }, { 130, 131, 433 }, { 130, 423, 433 }, { 130, 131, 423 } ], [ { 131, 134, 435 }, { 130, 131, 134 }, { 130, 134, 435 }, { 130, 131, 435 } ], [ { 122, 131, 435 }, { 131, 423, 435 }, { 122, 131, 423 }, { 122, 423, 435 } ], [ { 95, 446, 636 }, { 446, 635, 636 }, { 95, 635, 636 }, { 95, 446, 635 } ], [ { 95, 135, 236 }, { 135, 236, 635 }, { 95, 236, 635 }, { 95, 135, 635 } ], [ { 135, 437, 446 }, { 135, 437, 635 }, { 437, 446, 635 }, { 135, 446, 635 } ], [ { 16, 17, 135 }, { 16, 17, 95 }, { 17, 95, 135 }, { 16, 95, 135 } ], [ { 17, 439, 440 }, { 17, 135, 440 }, { 135, 439, 440 }, { 17, 135, 439 } ], [ { 135, 136, 437 }, { 136, 437, 446 }, { 135, 437, 446 }, { 135, 136, 446 } ], [ { 135, 136, 439 }, { 136, 438, 439 }, { 135, 136, 438 }, { 135, 438, 439 } ], [ { 136, 144, 439 }, { 136, 144, 446 }, { 136, 439, 446 }, { 144, 439, 446 } ], [ { 141, 144, 439 }, { 140, 141, 144 }, { 140, 141, 439 }, { 140, 144, 439 } ], [ { 141, 453, 637 }, { 141, 196, 637 }, { 196, 453, 637 }, { 141, 196, 453 } ], [ { 374, 442, 443 }, { 130, 442, 443 }, { 130, 374, 443 }, { 130, 374, 442 } ], [ { 435, 442, 638 }, { 130, 435, 638 }, { 130, 435, 442 }, { 130, 442, 638 } ], [ { 435, 447, 638, 639 }, { 435, 442, 447 }, { 435, 442, 638 }, { 442, 638, 639 }, { 442, 447, 639 } ], [ { 141, 144, 447 }, { 141, 144, 446 }, { 141, 446, 447 }, { 144, 446, 447 } ], [ { 442, 447, 452 }, { 442, 447, 449 }, { 447, 449, 452 }, { 442, 449, 452 } ], [ { 141, 196, 447 }, { 141, 447, 452 }, { 141, 196, 452 }, { 196, 447, 452 } ], [ { 454, 455, 510 }, { 146, 454, 455 }, { 146, 455, 510 }, { 146, 454, 510 } ], [ { 147, 454, 510 }, { 146, 147, 454 }, { 146, 454, 510 }, { 146, 147, 510 } ], [ { 147, 150, 510 }, { 150, 456, 510, 640 }, { 147, 458, 510, 640 }, { 147, 150, 456, 458 }, { 456, 458, 640 } ], [ { 150, 151, 460 }, { 150, 151, 510 }, { 151, 460, 510 }, { 150, 460, 510 } ], [ { 147, 150, 454, 460 }, { 147, 150, 641, 642 }, { 454, 460, 641, 642 }, { 147, 454, 641 }, { 150, 460, 642 } ], [ { 454, 460, 464 }, { 460, 461, 464 }, { 454, 460, 461, 463 }, { 454, 463, 464 }, { 461, 463, 464 } ], [ { 151, 460, 510 }, { 151, 460, 469 }, { 151, 469, 510 }, { 460, 469, 510 } ], [ { 470, 471, 472 }, { 171, 471, 472 }, { 171, 470, 472 }, { 171, 470, 471 } ], [ { 474, 478, 643 }, { 478, 479, 643, 645 }, { 474, 478, 479, 644 }, { 474, 643, 644, 645 }, { 479, 644, 645 } ], [ { 471, 474, 478 }, { 461, 471, 474 }, { 461, 463, 471, 478 }, { 461, 463, 474 }, { 463, 474, 478 } ], [ { 154, 155, 478, 479 }, { 154, 477, 479 }, { 477, 478, 479 }, { 155, 477, 478 }, { 154, 155, 477 } ], [ { 167, 478, 482 }, { 167, 477, 482 }, { 167, 477, 478 }, { 477, 478, 482 } ], [ { 167, 479, 480 }, { 167, 477, 480 }, { 477, 479, 480 }, { 167, 477, 479 } ], [ { 167, 483, 484 }, { 478, 483, 484 }, { 167, 478, 483 }, { 167, 478, 484 } ], [ { 490, 646, 647 }, { 238, 490, 647 }, { 238, 646, 647 }, { 238, 490, 646 } ], [ { 161, 162, 165 }, { 95, 161, 162 }, { 95, 162, 165 }, { 95, 161, 165 } ], [ { 161, 165, 486 }, { 161, 165, 167 }, { 161, 167, 486 }, { 165, 167, 486 } ], [ { 164, 165, 238 }, { 95, 164, 165 }, { 95, 165, 238 }, { 95, 164, 238 } ], [ { 165, 238, 490 }, { 163, 165, 490 }, { 163, 238, 490 }, { 163, 165, 238 } ], [ { 165, 167, 488 }, { 165, 167, 487 }, { 165, 487, 488 }, { 167, 487, 488 } ], [ { 165, 487, 490 }, { 163, 165, 490 }, { 163, 487, 490 }, { 163, 165, 487 } ], [ { 167, 484, 492 }, { 484, 492, 648 }, { 167, 492, 648 }, { 167, 484, 648 } ], [ { 167, 490, 492 }, { 487, 490, 492 }, { 167, 487, 492 }, { 167, 487, 490 } ], [ { 172, 179, 495 }, { 179, 493, 495 }, { 172, 493, 495 }, { 172, 179, 493 } ], [ { 172, 495, 496 }, { 171, 495, 496 }, { 171, 172, 496 }, { 171, 172, 495 } ], [ { 172, 174, 497 }, { 171, 174, 497 }, { 171, 172, 497 }, { 171, 172, 174 } ], [ { 172, 174, 175 }, { 174, 175, 271 }, { 172, 175, 271 }, { 172, 174, 271 } ], [ { 171, 495, 498 }, { 493, 495, 498 }, { 171, 493, 495 }, { 171, 493, 498 } ], [ { 470, 498, 649 }, { 171, 498, 649 }, { 171, 470, 649 }, { 171, 470, 498 } ], [ { 172, 178, 179 }, { 178, 179, 493 }, { 172, 179, 493 }, { 172, 178, 493 } ], [ { 172, 178, 180 }, { 178, 180, 271 }, { 172, 180, 271 }, { 172, 178, 271 } ], [ { 178, 499, 650 }, { 178, 493, 650 }, { 493, 499, 650 }, { 178, 493, 499 } ], [ { 502, 503, 504 }, { 192, 502, 503 }, { 192, 503, 504 }, { 192, 502, 504 } ], [ { 502, 504, 505 }, { 285, 502, 505 }, { 285, 504, 505 }, { 285, 502, 504 } ], [ { 1, 178, 506 }, { 178, 285, 506 }, { 1, 285, 506 }, { 1, 178, 285 } ], [ { 1, 2, 178 }, { 2, 178, 271 }, { 1, 178, 271 }, { 1, 2, 271 } ], [ { 178, 502, 508 }, { 178, 285, 508 }, { 285, 502, 508 }, { 178, 285, 502 } ], [ { 178, 510, 511 }, { 178, 502, 511 }, { 502, 510, 511 }, { 178, 502, 510 } ], [ { 502, 513, 515 }, { 192, 513, 515 }, { 192, 502, 513 }, { 192, 502, 515 } ], [ { 515, 517, 518 }, { 192, 517, 518 }, { 192, 515, 518 }, { 192, 515, 517 } ], [ { 515, 517, 520 }, { 502, 515, 517 }, { 502, 517, 520 }, { 502, 515, 520 } ], [ { 184, 190, 521, 522 }, { 188, 190, 522 }, { 184, 186, 188, 190 }, { 186, 188, 521, 522 }, { 184, 186, 521 } ], [ { 517, 524, 525 }, { 192, 524, 525 }, { 192, 517, 525 }, { 192, 517, 524 } ], [ { 194, 207, 525 }, { 192, 194, 525 }, { 192, 207, 525 }, { 192, 194, 207 } ], [ { 196, 198, 529 }, { 198, 209, 529 }, { 196, 198, 209 }, { 196, 209, 529 } ], [ { 526, 528, 529 }, { 196, 528, 529 }, { 196, 526, 528 }, { 196, 526, 529 } ], [ { 190, 526, 534 }, { 190, 534, 535 }, { 241, 526, 534, 535 }, { 190, 241, 535 }, { 190, 241, 526 } ], [ { 202, 526, 530 }, { 196, 202, 530 }, { 196, 202, 526 }, { 196, 526, 530 } ], [ { 201, 202, 241 }, { 196, 202, 241 }, { 196, 201, 202 }, { 196, 201, 241 } ], [ { 202, 241, 526 }, { 200, 202, 241 }, { 200, 202, 526 }, { 200, 241, 526 } ], [ { 5, 204, 206 }, { 192, 204, 206 }, { 5, 192, 206 }, { 5, 192, 204 } ], [ { 207, 537, 541 }, { 207, 209, 537 }, { 209, 537, 541 }, { 207, 209, 541 } ], [ { 207, 540, 541 }, { 192, 207, 540 }, { 192, 540, 541 }, { 192, 207, 541 } ], [ { 196, 541, 542 }, { 196, 209, 541 }, { 209, 541, 542 }, { 196, 209, 542 } ], [ { 12, 13, 213, 215 }, { 12, 215, 298 }, { 12, 13, 298 }, { 213, 215, 298 }, { 13, 213, 298 } ], [ { 12, 217, 546 }, { 12, 13, 544, 546 }, { 12, 13, 217, 220 }, { 217, 220, 544, 546 }, { 13, 220, 544 } ], [ { 226, 235, 544 }, { 192, 235, 544 }, { 192, 226, 544 }, { 192, 226, 235 } ], [ { 229, 233, 546 }, { 204, 229, 233 }, { 204, 229, 546 }, { 204, 233, 546 } ], [ { 192, 206, 235 }, { 192, 204, 206 }, { 192, 204, 233, 235 }, { 206, 233, 235 }, { 204, 206, 233 } ], [ { 16, 17, 238 }, { 16, 17, 95 }, { 17, 95, 238 }, { 16, 95, 238 } ], [ { 17, 238, 439 }, { 17, 439, 548 }, { 17, 238, 548 }, { 238, 439, 548 } ], [ { 238, 241, 242 }, { 241, 242, 510 }, { 238, 242, 510 }, { 238, 241, 510 } ], [ { 238, 241, 439 }, { 241, 439, 550 }, { 238, 241, 550 }, { 238, 439, 550 } ], [ { 196, 241, 553 }, { 241, 551, 553 }, { 196, 551, 553 }, { 196, 241, 551 } ], [ { 241, 552, 553 }, { 439, 552, 553 }, { 241, 439, 552 }, { 241, 439, 553 } ], [ { 245, 246, 248 }, { 245, 246, 279 }, { 246, 248, 279 }, { 245, 248, 279 } ], [ { 244, 246, 252 }, { 244, 246, 248 }, { 246, 248, 252 }, { 244, 248, 252 } ], [ { 249, 252, 254 }, { 248, 249, 252 }, { 248, 249, 254 }, { 248, 252, 254 } ], [ { 248, 555, 556 }, { 248, 556, 651 }, { 555, 556, 651 }, { 248, 555, 651 } ], [ { 260, 558, 559 }, { 257, 260, 558 }, { 257, 260, 559 }, { 257, 558, 559 } ], [ { 259, 559, 652 }, { 257, 259, 559 }, { 257, 559, 652 }, { 257, 259, 652 } ], [ { 555, 558, 559 }, { 558, 559, 651 }, { 555, 558, 651 }, { 555, 559, 651 } ], [ { 248, 254, 559 }, { 254, 555, 559 }, { 248, 555, 559 }, { 248, 254, 555 } ], [ { 262, 267, 561 }, { 262, 266, 267 }, { 263, 266, 267, 561 }, { 262, 263, 561 }, { 262, 263, 266 } ], [ { 22, 271, 272 }, { 22, 267, 272 }, { 22, 267, 271 }, { 267, 271, 272 } ], [ { 271, 272, 276 }, { 20, 272, 276 }, { 20, 271, 272 }, { 20, 271, 276 } ], [ { 267, 272, 276, 279 }, { 266, 276, 279 }, { 266, 267, 279 }, { 266, 272, 276 }, { 266, 267, 272 } ], [ { 25, 271, 276 }, { 25, 276, 279 }, { 25, 271, 279 }, { 271, 276, 279 } ], [ { 25, 271, 564 }, { 24, 25, 564 }, { 24, 25, 271 }, { 24, 271, 564 } ], [ { 248, 556, 564 }, { 248, 279, 556 }, { 279, 556, 564 }, { 248, 279, 564 } ], [ { 283, 564, 566 }, { 271, 283, 566 }, { 271, 283, 564 }, { 271, 564, 566 } ], [ { 556, 564, 566 }, { 556, 566, 651 }, { 556, 564, 651 }, { 564, 566, 651 } ], [ { 13, 226, 544 }, { 192, 226, 544 }, { 13, 192, 544 }, { 13, 192, 226 } ], [ { 13, 226, 569 }, { 13, 192, 226 }, { 192, 226, 569 }, { 13, 192, 569 } ], [ { 27, 569, 573 }, { 27, 192, 569 }, { 27, 192, 573 }, { 192, 569, 573 } ], [ { 27, 285, 571 }, { 27, 192, 571 }, { 27, 192, 285 }, { 192, 285, 571 } ], [ { 27, 285, 573 }, { 27, 285, 286 }, { 27, 286, 573 }, { 285, 286, 573 } ], [ { 285, 287, 289 }, { 287, 289, 573 }, { 285, 289, 573 }, { 285, 287, 573 } ], [ { 271, 289, 574 }, { 289, 573, 574 }, { 271, 289, 573 }, { 271, 573, 574 } ], [ { 1, 271, 289 }, { 1, 285, 289 }, { 271, 285, 289 }, { 1, 271, 285 } ], [ { 13, 301, 569 }, { 13, 301, 573 }, { 301, 569, 573 }, { 13, 569, 573 } ], [ { 295, 296, 316 }, { 295, 296, 298 }, { 296, 298, 316 }, { 295, 298, 316 } ], [ { 13, 295, 301 }, { 295, 298, 301 }, { 13, 295, 298 }, { 13, 298, 301 } ], [ { 295, 301, 316 }, { 295, 300, 301 }, { 295, 300, 316 }, { 300, 301, 316 } ], [ { 302, 316, 578 }, { 302, 316, 573 }, { 302, 573, 578 }, { 316, 573, 578 } ], [ { 32, 301, 302 }, { 32, 302, 573 }, { 32, 301, 573 }, { 301, 302, 573 } ], [ { 36, 301, 302 }, { 301, 302, 316 }, { 36, 302, 316 }, { 36, 301, 316 } ], [ { 305, 307, 579 }, { 298, 307, 579 }, { 298, 305, 307 }, { 298, 305, 579 } ], [ { 305, 310, 579 }, { 305, 309, 579 }, { 309, 310, 579 }, { 305, 309, 310 } ], [ { 310, 579, 581 }, { 346, 579, 581 }, { 310, 346, 581 }, { 310, 346, 579 } ], [ { 305, 313, 316 }, { 298, 305, 313 }, { 298, 305, 316 }, { 298, 313, 316 } ], [ { 305, 310, 316 }, { 305, 309, 316 }, { 305, 309, 310 }, { 309, 310, 316 } ], [ { 310, 316, 582 }, { 310, 315, 316 }, { 315, 316, 582 }, { 310, 315, 582 } ], [ { 310, 320, 582 }, { 40, 310, 320 }, { 40, 320, 582 }, { 40, 310, 582 } ], [ { 310, 322, 340 }, { 39, 310, 322 }, { 39, 322, 340 }, { 39, 310, 340 } ], [ { 53, 320, 340 }, { 39, 320, 340 }, { 39, 53, 320 }, { 39, 53, 340 } ], [ { 40, 310, 320 }, { 39, 310, 320 }, { 39, 40, 320 }, { 39, 40, 310 } ], [ { 45, 47, 336 }, { 45, 47, 427 }, { 45, 336, 427 }, { 47, 336, 427 } ], [ { 43, 45, 333 }, { 45, 333, 427 }, { 43, 45, 427 }, { 43, 333, 427 } ], [ { 45, 333, 334 }, { 45, 334, 336 }, { 333, 334, 336 }, { 45, 333, 336 } ], [ { 53, 320, 340 }, { 51, 320, 340 }, { 51, 53, 320 }, { 51, 53, 340 } ], [ { 47, 48, 336 }, { 47, 48, 427 }, { 48, 336, 427 }, { 47, 336, 427 } ], [ { 48, 51, 338, 339 }, { 48, 51, 336, 340 }, { 51, 339, 340 }, { 336, 338, 339, 340 }, { 48, 336, 338 } ], [ { 350, 584, 585 }, { 333, 350, 585 }, { 333, 350, 584 }, { 333, 584, 585 } ], [ { 350, 584, 588 }, { 55, 350, 588 }, { 55, 584, 588 }, { 55, 350, 584 } ], [ { 342, 350, 585 }, { 333, 342, 350 }, { 333, 342, 585 }, { 333, 350, 585 } ], [ { 342, 343, 350, 594 }, { 342, 343, 590, 592 }, { 342, 350, 590 }, { 350, 590, 592, 594 }, { 343, 592, 594 } ], [ { 310, 347, 350 }, { 347, 350, 590 }, { 310, 350, 590 }, { 310, 347, 590 } ], [ { 310, 346, 351 }, { 55, 310, 351 }, { 55, 346, 351 }, { 55, 310, 346 } ], [ { 350, 351, 596 }, { 55, 351, 596 }, { 55, 350, 596 }, { 55, 350, 351 } ], [ { 347, 350, 351 }, { 310, 350, 351 }, { 310, 347, 351 }, { 310, 347, 350 } ], [ { 333, 600, 601 }, { 356, 600, 601 }, { 333, 356, 601 }, { 333, 356, 600 } ], [ { 55, 356, 601 }, { 55, 601, 605 }, { 55, 356, 604, 605 }, { 356, 601, 604 }, { 601, 604, 605 } ], [ { 55, 584, 601 }, { 333, 584, 601 }, { 55, 333, 601 }, { 55, 333, 584 } ], [ { 118, 333, 358 }, { 118, 356, 358 }, { 333, 356, 358 }, { 118, 333, 356 } ], [ { 118, 362, 374 }, { 118, 356, 362 }, { 356, 362, 374 }, { 118, 356, 374 } ], [ { 55, 363, 606 }, { 298, 363, 606 }, { 55, 298, 606 }, { 55, 298, 363 } ], [ { 366, 368, 606 }, { 298, 366, 606 }, { 298, 366, 368 }, { 298, 368, 606 } ], [ { 57, 366, 606 }, { 55, 366, 606 }, { 55, 57, 366 }, { 55, 57, 606 } ], [ { 59, 364, 366 }, { 55, 364, 366 }, { 55, 59, 366 }, { 55, 59, 364 } ], [ { 61, 66, 366 }, { 59, 66, 366 }, { 59, 61, 66 }, { 59, 61, 366 } ], [ { 366, 370, 608 }, { 298, 366, 608 }, { 298, 370, 608 }, { 298, 366, 370 } ], [ { 67, 366, 608 }, { 61, 67, 608 }, { 61, 67, 366 }, { 61, 366, 608 } ], [ { 61, 653, 654 }, { 609, 653, 654 }, { 61, 609, 654 }, { 61, 609, 653 } ], [ { 61, 608, 656 }, { 608, 655, 656 }, { 61, 655, 656 }, { 61, 608, 655 } ], [ { 69, 374, 375 }, { 69, 375, 609 }, { 374, 375, 609 }, { 69, 374, 609 } ], [ { 73, 380, 608 }, { 298, 380, 608 }, { 73, 298, 608 }, { 73, 298, 380 } ], [ { 69, 73, 608, 609 }, { 608, 609, 657, 658 }, { 69, 73, 657, 658 }, { 69, 609, 657 }, { 73, 608, 658 } ], [ { 70, 74, 298, 374 }, { 73, 74, 298 }, { 69, 73, 298, 374 }, { 69, 70, 73, 74 }, { 69, 70, 374 } ], [ { 374, 383, 613 }, { 55, 383, 613 }, { 55, 374, 383 }, { 55, 374, 613 } ], [ { 79, 388, 613 }, { 55, 79, 613 }, { 55, 79, 388 }, { 55, 388, 613 } ], [ { 386, 388, 613 }, { 374, 386, 613 }, { 374, 386, 388 }, { 374, 388, 613 } ], [ { 80, 387, 388 }, { 55, 80, 387 }, { 55, 80, 388 }, { 55, 387, 388 } ], [ { 59, 61, 80 }, { 55, 61, 80 }, { 55, 59, 80 }, { 55, 59, 61 } ], [ { 61, 80, 396 }, { 80, 388, 396 }, { 61, 388, 396 }, { 61, 80, 388 } ], [ { 374, 388, 398 }, { 388, 398, 609 }, { 374, 398, 609 }, { 374, 388, 609 } ], [ { 61, 388, 618 }, { 61, 609, 618 }, { 61, 388, 609 }, { 388, 609, 618 } ], [ { 446, 619, 621 }, { 399, 446, 619 }, { 399, 401, 446, 621 }, { 401, 619, 621 }, { 399, 401, 619 } ], [ { 446, 659, 660, 661 }, { 399, 446, 660 }, { 399, 446, 659 }, { 399, 659, 661 }, { 399, 660, 661 } ], [ { 86, 87, 620 }, { 87, 100, 620 }, { 86, 100, 620 }, { 86, 87, 100 } ], [ { 86, 89, 406 }, { 89, 406, 620, 621 }, { 86, 406, 621 }, { 86, 89, 620 }, { 86, 620, 621 } ], [ { 86, 92, 621 }, { 86, 92, 95 }, { 92, 95, 621 }, { 86, 95, 621 } ], [ { 86, 100, 409 }, { 86, 95, 100 }, { 86, 95, 409 }, { 95, 100, 409 } ], [ { 414, 420, 622, 623 }, { 414, 423, 622, 630 }, { 420, 423, 623, 630 }, { 622, 623, 630 }, { 414, 420, 423 } ], [ { 415, 418, 621 }, { 414, 415, 418 }, { 414, 418, 621 }, { 414, 415, 621 } ], [ { 446, 621, 626, 627 }, { 418, 422, 446, 621 }, { 422, 446, 627 }, { 418, 422, 626, 627 }, { 418, 621, 626 } ], [ { 414, 420, 423 }, { 420, 422, 423 }, { 414, 418, 422, 423 }, { 414, 418, 420 }, { 418, 420, 422 } ], [ { 423, 426, 446 }, { 422, 426, 446 }, { 422, 423, 426 }, { 422, 423, 446 } ], [ { 43, 111, 333 }, { 111, 333, 427 }, { 43, 333, 427 }, { 43, 111, 427 } ], [ { 423, 427, 429, 630 }, { 111, 423, 427 }, { 111, 427, 429 }, { 111, 423, 630 }, { 111, 429, 630 } ], [ { 333, 423, 629 }, { 111, 423, 629 }, { 111, 333, 629 }, { 111, 333, 423 } ], [ { 118, 358, 423 }, { 118, 333, 358 }, { 333, 358, 423 }, { 118, 333, 423 } ], [ { 117, 118, 374 }, { 117, 118, 423 }, { 118, 374, 423 }, { 117, 374, 423 } ], [ { 426, 430, 446 }, { 423, 426, 430 }, { 423, 426, 446 }, { 423, 430, 446 } ], [ { 122, 430, 435 }, { 122, 423, 435 }, { 423, 430, 435 }, { 122, 423, 430 } ], [ { 125, 430, 435 }, { 125, 435, 446 }, { 430, 435, 446 }, { 125, 430, 446 } ], [ { 374, 423, 432 }, { 130, 374, 432 }, { 130, 374, 423 }, { 130, 423, 432 } ], [ { 131, 423, 435 }, { 130, 131, 435 }, { 130, 131, 423 }, { 130, 423, 435 } ], [ { 95, 135, 446 }, { 135, 446, 635 }, { 95, 135, 635 }, { 95, 446, 635 } ], [ { 17, 135, 439 }, { 17, 95, 439 }, { 17, 95, 135 }, { 95, 135, 439 } ], [ { 135, 136, 439 }, { 136, 439, 446 }, { 135, 136, 446 }, { 135, 439, 446 } ], [ { 141, 144, 439 }, { 141, 144, 446 }, { 141, 439, 446 }, { 144, 439, 446 } ], [ { 141, 439, 637 }, { 141, 196, 637 }, { 196, 439, 637 }, { 141, 196, 439 } ], [ { 374, 435, 442 }, { 130, 435, 442 }, { 130, 374, 435 }, { 130, 374, 442 } ], [ { 435, 442, 447 }, { 435, 446, 447 }, { 442, 446, 447 }, { 435, 442, 446 } ], [ { 141, 196, 447 }, { 141, 446, 447 }, { 141, 196, 446 }, { 196, 446, 447 } ], [ { 196, 442, 447 }, { 196, 447, 452 }, { 442, 447, 452 }, { 196, 442, 452 } ], [ { 196, 442, 452 }, { 196, 442, 662 }, { 196, 452, 662 }, { 442, 452, 662 } ], [ { 454, 455, 510 }, { 454, 455, 478 }, { 455, 478, 510 }, { 454, 478, 510 } ], [ { 147, 150, 454, 460 }, { 150, 460, 510 }, { 147, 150, 510 }, { 454, 460, 510 }, { 147, 454, 510 } ], [ { 454, 460, 471, 478 }, { 460, 461, 471 }, { 461, 463, 471, 478 }, { 454, 460, 461, 463 }, { 454, 463, 478 } ], [ { 460, 471, 510 }, { 460, 469, 471 }, { 460, 469, 510 }, { 469, 471, 510 } ], [ { 470, 471, 649 }, { 171, 471, 649 }, { 171, 470, 649 }, { 171, 470, 471 } ], [ { 471, 510, 649 }, { 469, 471, 649 }, { 469, 510, 649 }, { 469, 471, 510 } ], [ { 471, 474, 478 }, { 474, 478, 479, 644 }, { 471, 478, 479, 663 }, { 471, 474, 644, 663 }, { 479, 644, 663 } ], [ { 167, 478, 479 }, { 167, 477, 479 }, { 167, 477, 478 }, { 477, 478, 479 } ], [ { 455, 510, 648 }, { 455, 478, 510 }, { 455, 478, 648 }, { 478, 510, 648 } ], [ { 167, 484, 648 }, { 167, 478, 484 }, { 478, 484, 648 }, { 167, 478, 648 } ], [ { 238, 490, 646 }, { 490, 510, 646 }, { 238, 490, 510 }, { 238, 510, 646 } ], [ { 161, 165, 167 }, { 95, 161, 165 }, { 95, 161, 167 }, { 95, 165, 167 } ], [ { 165, 238, 490 }, { 95, 165, 490 }, { 95, 238, 490 }, { 95, 165, 238 } ], [ { 165, 167, 490 }, { 165, 487, 490 }, { 167, 487, 490 }, { 165, 167, 487 } ], [ { 490, 510, 646 }, { 490, 646, 648 }, { 490, 510, 648 }, { 510, 646, 648 } ], [ { 167, 490, 492 }, { 490, 492, 648 }, { 167, 492, 648 }, { 167, 490, 648 } ], [ { 171, 172, 495 }, { 172, 493, 495 }, { 171, 493, 495 }, { 171, 172, 493 } ], [ { 172, 174, 271 }, { 171, 172, 174 }, { 171, 174, 271 }, { 171, 172, 271 } ], [ { 171, 498, 649 }, { 493, 498, 649 }, { 171, 493, 649 }, { 171, 493, 498 } ], [ { 510, 649, 650 }, { 493, 649, 650 }, { 493, 510, 650 }, { 493, 510, 649 } ], [ { 172, 178, 271 }, { 172, 178, 493 }, { 178, 271, 493 }, { 172, 271, 493 } ], [ { 178, 510, 650 }, { 178, 493, 650 }, { 493, 510, 650 }, { 178, 493, 510 } ], [ { 285, 502, 504 }, { 192, 502, 504 }, { 192, 285, 502 }, { 192, 285, 504 } ], [ { 1, 178, 271 }, { 1, 178, 285 }, { 178, 271, 285 }, { 1, 271, 285 } ], [ { 178, 502, 510 }, { 178, 285, 510 }, { 178, 285, 502 }, { 285, 502, 510 } ], [ { 502, 515, 517 }, { 192, 515, 517 }, { 192, 502, 517 }, { 192, 502, 515 } ], [ { 502, 510, 517 }, { 184, 510, 517 }, { 184, 502, 517 }, { 184, 502, 510 } ], [ { 190, 510, 522 }, { 184, 190, 521, 522 }, { 184, 190, 510 }, { 184, 510, 521 }, { 510, 521, 522 } ], [ { 207, 517, 525 }, { 192, 207, 525 }, { 192, 517, 525 }, { 192, 207, 517 } ], [ { 196, 526, 529 }, { 209, 526, 529 }, { 196, 209, 529 }, { 196, 209, 526 } ], [ { 190, 241, 526 }, { 190, 241, 510 }, { 241, 510, 526 }, { 190, 510, 526 } ], [ { 202, 241, 526 }, { 196, 202, 241 }, { 196, 202, 526 }, { 196, 241, 526 } ], [ { 192, 204, 541, 664 }, { 5, 192, 541 }, { 5, 192, 204 }, { 5, 541, 664 }, { 5, 204, 664 } ], [ { 196, 209, 541 }, { 192, 196, 541 }, { 192, 196, 207, 209 }, { 192, 207, 541 }, { 207, 209, 541 } ], [ { 12, 13, 544, 546 }, { 12, 298, 546 }, { 12, 13, 298 }, { 13, 298, 544 }, { 298, 544, 546 } ], [ { 192, 204, 544, 546 }, { 192, 204, 233, 235 }, { 233, 235, 544, 546 }, { 204, 233, 546 }, { 192, 235, 544 } ], [ { 17, 238, 439 }, { 17, 95, 439 }, { 17, 95, 238 }, { 95, 238, 439 } ], [ { 238, 241, 439 }, { 241, 439, 510 }, { 238, 241, 510 }, { 238, 439, 510 } ], [ { 241, 439, 553 }, { 196, 241, 553 }, { 196, 439, 553 }, { 196, 241, 439 } ], [ { 248, 556, 651 }, { 248, 279, 556 }, { 279, 556, 651 }, { 248, 279, 651 } ], [ { 248, 252, 254 }, { 246, 252, 254, 279 }, { 248, 254, 279 }, { 246, 248, 252 }, { 246, 248, 279 } ], [ { 248, 254, 555 }, { 248, 254, 651 }, { 254, 555, 651 }, { 248, 555, 651 } ], [ { 558, 559, 651 }, { 257, 558, 559 }, { 257, 558, 651 }, { 257, 559, 651 } ], [ { 254, 559, 652 }, { 254, 257, 559 }, { 257, 559, 652 }, { 254, 257, 652 } ], [ { 254, 555, 559 }, { 254, 559, 651 }, { 555, 559, 651 }, { 254, 555, 651 } ], [ { 254, 267, 279, 561 }, { 263, 266, 267, 561 }, { 266, 267, 279 }, { 254, 263, 266, 279 }, { 254, 263, 561 } ], [ { 271, 276, 279 }, { 267, 272, 276, 279 }, { 267, 271, 279 }, { 271, 272, 276 }, { 267, 271, 272 } ], [ { 25, 271, 564 }, { 25, 279, 564 }, { 25, 271, 279 }, { 271, 279, 564 } ], [ { 556, 564, 651 }, { 279, 556, 564 }, { 279, 556, 651 }, { 279, 564, 651 } ], [ { 564, 566, 651 }, { 271, 564, 566 }, { 271, 566, 651 }, { 271, 564, 651 } ], [ { 13, 298, 544 }, { 13, 192, 544 }, { 192, 298, 544 }, { 13, 192, 298 } ], [ { 13, 569, 573 }, { 13, 192, 569 }, { 13, 192, 573 }, { 192, 569, 573 } ], [ { 27, 285, 573 }, { 27, 192, 285 }, { 27, 192, 573 }, { 192, 285, 573 } ], [ { 271, 285, 289 }, { 271, 289, 573 }, { 285, 289, 573 }, { 271, 285, 573 } ], [ { 13, 301, 573 }, { 13, 298, 301 }, { 298, 301, 573 }, { 13, 298, 573 } ], [ { 295, 301, 316 }, { 295, 298, 301 }, { 295, 298, 316 }, { 298, 301, 316 } ], [ { 301, 302, 316 }, { 301, 302, 573 }, { 302, 316, 573 }, { 301, 316, 573 } ], [ { 55, 307, 579 }, { 298, 307, 579 }, { 55, 298, 307 }, { 55, 298, 579 } ], [ { 305, 310, 579 }, { 298, 305, 579 }, { 298, 310, 579 }, { 298, 305, 310 } ], [ { 310, 346, 579 }, { 55, 310, 579 }, { 55, 346, 579 }, { 55, 310, 346 } ], [ { 305, 310, 316 }, { 298, 305, 316 }, { 298, 305, 310 }, { 298, 310, 316 } ], [ { 310, 316, 320 }, { 316, 320, 582 }, { 310, 320, 582 }, { 310, 316, 582 } ], [ { 310, 320, 340 }, { 39, 310, 320 }, { 39, 320, 340 }, { 39, 310, 340 } ], [ { 45, 333, 336 }, { 45, 333, 427 }, { 45, 336, 427 }, { 333, 336, 427 } ], [ { 48, 51, 336, 340 }, { 48, 336, 427 }, { 48, 51, 320, 427 }, { 320, 336, 340, 427 }, { 51, 320, 340 } ], [ { 55, 350, 584 }, { 333, 350, 584 }, { 55, 333, 350 }, { 55, 333, 584 } ], [ { 310, 333, 350 }, { 310, 350, 590 }, { 310, 333, 342, 590 }, { 342, 350, 590 }, { 333, 342, 350 } ], [ { 310, 350, 351 }, { 55, 350, 351 }, { 55, 310, 351 }, { 55, 310, 350 } ], [ { 55, 333, 601 }, { 55, 356, 601 }, { 333, 356, 601 }, { 55, 333, 356 } ], [ { 118, 333, 374 }, { 118, 356, 374 }, { 118, 333, 356 }, { 333, 356, 374 } ], [ { 55, 362, 374 }, { 356, 362, 374 }, { 55, 356, 362 }, { 55, 356, 374 } ], [ { 55, 366, 606 }, { 298, 366, 606 }, { 55, 298, 366 }, { 55, 298, 606 } ], [ { 59, 61, 366 }, { 55, 61, 366 }, { 55, 59, 366 }, { 55, 59, 61 } ], [ { 61, 366, 608 }, { 298, 366, 608 }, { 61, 298, 608 }, { 61, 298, 366 } ], [ { 61, 608, 655 }, { 61, 608, 609 }, { 608, 609, 654, 655 }, { 61, 654, 655 }, { 61, 609, 654 } ], [ { 69, 73, 298, 374 }, { 298, 374, 608, 609 }, { 69, 73, 608, 609 }, { 73, 298, 608 }, { 69, 374, 609 } ], [ { 374, 388, 613 }, { 55, 388, 613 }, { 55, 374, 613 }, { 55, 374, 388 } ], [ { 61, 80, 388 }, { 55, 61, 80 }, { 55, 80, 388 }, { 55, 61, 388 } ], [ { 61, 374, 388 }, { 61, 388, 609 }, { 61, 374, 609 }, { 374, 388, 609 } ], [ { 446, 620, 621, 660 }, { 399, 446, 660 }, { 399, 401, 446, 621 }, { 399, 401, 620, 660 }, { 401, 620, 621 } ], [ { 86, 95, 100 }, { 86, 95, 621 }, { 95, 100, 620, 621 }, { 86, 620, 621 }, { 86, 100, 620 } ], [ { 414, 423, 427 }, { 414, 427, 429, 622 }, { 423, 427, 429, 630 }, { 414, 423, 622, 630 }, { 429, 622, 630 } ], [ { 414, 423, 446, 621 }, { 422, 423, 446 }, { 414, 418, 422, 423 }, { 418, 422, 446, 621 }, { 414, 418, 621 } ], [ { 111, 333, 423 }, { 333, 423, 427 }, { 111, 423, 427 }, { 111, 333, 427 } ], [ { 118, 374, 423 }, { 118, 333, 374 }, { 118, 333, 423 }, { 333, 374, 423 } ], [ { 430, 435, 446 }, { 423, 430, 435 }, { 423, 435, 446 }, { 423, 430, 446 } ], [ { 374, 423, 435 }, { 130, 374, 435 }, { 130, 423, 435 }, { 130, 374, 423 } ], [ { 135, 439, 446 }, { 95, 135, 439 }, { 95, 439, 446 }, { 95, 135, 446 } ], [ { 141, 196, 439 }, { 141, 439, 446 }, { 141, 196, 446 }, { 196, 439, 446 } ], [ { 374, 435, 442 }, { 435, 442, 446 }, { 374, 435, 446 }, { 374, 442, 446 } ], [ { 196, 442, 447 }, { 196, 446, 447 }, { 442, 446, 447 }, { 196, 442, 446 } ], [ { 196, 374, 442 }, { 196, 442, 662 }, { 196, 374, 662 }, { 374, 442, 662 } ], [ { 460, 471, 510 }, { 454, 460, 471, 478 }, { 471, 478, 510 }, { 454, 460, 510 }, { 454, 478, 510 } ], [ { 471, 510, 649 }, { 171, 471, 649 }, { 171, 510, 649 }, { 171, 471, 510 } ], [ { 167, 171, 479, 663 }, { 167, 478, 479 }, { 167, 171, 471, 478 }, { 471, 478, 479, 663 }, { 171, 471, 663 } ], [ { 167, 510, 648 }, { 167, 478, 510 }, { 167, 478, 648 }, { 478, 510, 648 } ], [ { 238, 490, 510 }, { 95, 238, 490 }, { 95, 490, 510 }, { 95, 238, 510 } ], [ { 165, 167, 490 }, { 95, 165, 490 }, { 95, 167, 490 }, { 95, 165, 167 } ], [ { 167, 490, 510 }, { 167, 490, 648 }, { 490, 510, 648 }, { 167, 510, 648 } ], [ { 171, 172, 271 }, { 172, 271, 493 }, { 171, 172, 493 }, { 171, 271, 493 } ], [ { 171, 510, 649 }, { 493, 510, 649 }, { 171, 493, 649 }, { 171, 493, 510 } ], [ { 178, 271, 510 }, { 178, 493, 510 }, { 178, 271, 493 }, { 271, 493, 510 } ], [ { 285, 502, 510 }, { 192, 502, 510 }, { 192, 285, 510 }, { 192, 285, 502 } ], [ { 178, 271, 510 }, { 178, 285, 510 }, { 178, 271, 285 }, { 271, 285, 510 } ], [ { 502, 510, 517 }, { 192, 510, 517 }, { 192, 502, 517 }, { 192, 502, 510 } ], [ { 190, 510, 526 }, { 184, 190, 517, 526 }, { 184, 190, 510 }, { 184, 510, 517 }, { 510, 517, 526 } ], [ { 196, 209, 526 }, { 192, 196, 517, 526 }, { 192, 196, 207, 209 }, { 207, 209, 517, 526 }, { 192, 207, 517 } ], [ { 196, 241, 526 }, { 241, 510, 526 }, { 196, 241, 510 }, { 196, 510, 526 } ], [ { 192, 196, 541 }, { 192, 204, 541, 664 }, { 192, 196, 204, 665 }, { 196, 541, 664, 665 }, { 204, 664, 665 } ], [ { 204, 298, 546 }, { 192, 204, 544, 546 }, { 192, 204, 298 }, { 298, 544, 546 }, { 192, 298, 544 } ], [ { 238, 439, 510 }, { 95, 238, 439 }, { 95, 439, 510 }, { 95, 238, 510 } ], [ { 196, 241, 439 }, { 241, 439, 510 }, { 196, 241, 510 }, { 196, 439, 510 } ], [ { 248, 254, 651 }, { 248, 254, 279 }, { 254, 279, 651 }, { 248, 279, 651 } ], [ { 254, 559, 651 }, { 254, 257, 559 }, { 257, 559, 651 }, { 254, 257, 651 } ], [ { 267, 271, 279 }, { 254, 257, 271, 279 }, { 257, 267, 271, 561 }, { 254, 267, 279, 561 }, { 254, 257, 561 } ], [ { 271, 564, 651 }, { 279, 564, 651 }, { 271, 279, 564 }, { 271, 279, 651 } ], [ { 13, 298, 573 }, { 13, 192, 573 }, { 13, 192, 298 }, { 192, 298, 573 } ], [ { 271, 285, 573 }, { 192, 271, 285 }, { 192, 271, 573 }, { 192, 285, 573 } ], [ { 301, 316, 573 }, { 298, 301, 316 }, { 298, 301, 573 }, { 298, 316, 573 } ], [ { 55, 310, 579 }, { 298, 310, 579 }, { 55, 298, 579 }, { 55, 298, 310 } ], [ { 310, 316, 320 }, { 298, 316, 320 }, { 298, 310, 320 }, { 298, 310, 316 } ], [ { 310, 333, 336, 340 }, { 320, 336, 340, 427 }, { 333, 336, 427 }, { 310, 320, 333, 427 }, { 310, 320, 340 } ], [ { 55, 310, 350 }, { 310, 333, 350 }, { 55, 333, 350 }, { 55, 310, 333 } ], [ { 55, 333, 374 }, { 55, 356, 374 }, { 333, 356, 374 }, { 55, 333, 356 } ], [ { 55, 61, 366 }, { 61, 298, 366 }, { 55, 298, 366 }, { 55, 61, 298 } ], [ { 61, 374, 609 }, { 61, 298, 374 }, { 298, 374, 608, 609 }, { 61, 608, 609 }, { 61, 298, 608 } ], [ { 61, 374, 388 }, { 55, 61, 388 }, { 55, 61, 374 }, { 55, 374, 388 } ], [ { 95, 100, 620, 621 }, { 95, 100, 446, 660 }, { 95, 446, 621 }, { 446, 620, 621, 660 }, { 100, 620, 660 } ], [ { 414, 423, 446, 621 }, { 423, 427, 446 }, { 414, 423, 427 }, { 414, 427, 621 }, { 427, 446, 621 } ], [ { 333, 374, 423 }, { 374, 423, 427 }, { 333, 374, 427 }, { 333, 423, 427 } ], [ { 374, 435, 446 }, { 374, 423, 435 }, { 423, 435, 446 }, { 374, 423, 446 } ], [ { 196, 439, 446 }, { 95, 196, 439 }, { 95, 439, 446 }, { 95, 196, 446 } ], [ { 196, 374, 442 }, { 196, 442, 446 }, { 196, 374, 446 }, { 374, 442, 446 } ], [ { 167, 171, 510 }, { 167, 478, 510 }, { 167, 171, 471, 478 }, { 171, 471, 510 }, { 471, 478, 510 } ], [ { 167, 490, 510 }, { 95, 167, 490 }, { 95, 490, 510 }, { 95, 167, 510 } ], [ { 171, 271, 510 }, { 271, 493, 510 }, { 171, 493, 510 }, { 171, 271, 493 } ], [ { 271, 285, 510 }, { 192, 271, 510 }, { 192, 285, 510 }, { 192, 271, 285 } ], [ { 196, 510, 526 }, { 192, 196, 517, 526 }, { 192, 196, 510 }, { 510, 517, 526 }, { 192, 510, 517 } ], [ { 204, 298, 374, 665 }, { 192, 196, 298, 374 }, { 192, 204, 298 }, { 192, 196, 204, 665 }, { 196, 374, 665 } ], [ { 196, 439, 510 }, { 95, 196, 439 }, { 95, 439, 510 }, { 95, 196, 510 } ], [ { 271, 279, 651 }, { 257, 271, 651 }, { 254, 257, 271, 279 }, { 254, 257, 651 }, { 254, 279, 651 } ], [ { 271, 298, 573 }, { 192, 271, 573 }, { 192, 271, 298 }, { 192, 298, 573 } ], [ { 316, 320, 573 }, { 298, 316, 320 }, { 298, 320, 573 }, { 298, 316, 573 } ], [ { 55, 310, 320 }, { 298, 310, 320 }, { 55, 298, 320 }, { 55, 298, 310 } ], [ { 55, 310, 333 }, { 310, 320, 333, 427 }, { 55, 333, 427 }, { 55, 320, 427 }, { 55, 310, 320 } ], [ { 55, 333, 374 }, { 55, 374, 427 }, { 333, 374, 427 }, { 55, 333, 427 } ], [ { 55, 61, 374 }, { 61, 298, 374 }, { 55, 61, 298 }, { 55, 298, 374 } ], [ { 95, 446, 621 }, { 427, 446, 621 }, { 95, 427, 621 }, { 95, 427, 446 } ], [ { 374, 423, 446 }, { 374, 427, 446 }, { 374, 423, 427 }, { 423, 427, 446 } ], [ { 196, 374, 446 }, { 95, 196, 374 }, { 95, 196, 446 }, { 95, 374, 446 } ], [ { 171, 271, 510 }, { 95, 271, 510 }, { 95, 167, 171, 271 }, { 95, 167, 510 }, { 167, 171, 510 } ], [ { 271, 298, 510 }, { 192, 271, 510 }, { 192, 298, 510 }, { 192, 271, 298 } ], [ { 298, 374, 510 }, { 192, 298, 510 }, { 192, 196, 298, 374 }, { 192, 196, 510 }, { 196, 374, 510 } ], [ { 196, 374, 510 }, { 95, 196, 510 }, { 95, 196, 374 }, { 95, 374, 510 } ], [ { 271, 651, 666, 668 }, { 257, 271, 651 }, { 257, 271, 666, 667 }, { 257, 651, 667, 668 }, { 666, 667, 668 } ], [ { 271, 320, 573 }, { 271, 298, 320 }, { 298, 320, 573 }, { 271, 298, 573 } ], [ { 55, 298, 374 }, { 55, 374, 427 }, { 298, 320, 374, 427 }, { 55, 320, 427 }, { 55, 298, 320 } ], [ { 95, 374, 446 }, { 374, 427, 446 }, { 95, 374, 427 }, { 95, 427, 446 } ], [ { 95, 374, 510 }, { 298, 374, 510 }, { 95, 271, 298, 374 }, { 271, 298, 510 }, { 95, 271, 510 } ], [ { 95, 271, 666 }, { 257, 271, 666, 667 }, { 95, 257, 271, 669 }, { 95, 666, 667, 669 }, { 257, 667, 669 } ], [ { 95, 271, 298, 374 }, { 95, 374, 427 }, { 298, 320, 374, 427 }, { 95, 271, 320, 427 }, { 271, 298, 320 } ], [ { 95, 271, 320, 427 }, { 95, 427, 666, 670 }, { 95, 271, 666 }, { 271, 320, 666, 670 }, { 320, 427, 670 } ] ] /* 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, 2, 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, 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, 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, 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, 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, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 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, 2, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 6, 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>, <4, 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>, <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>, <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>, <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>, <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>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <12, 1>, <2, 1>, <6, 2> ]