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