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