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