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