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