/* Defining polynomial */ x^2 - x + 189 /* Minimal vectors */ [ <-w + 10, -17>, , , <50, -3*w - 27>, <-2*w + 3, w - 24>, <-3*w + 13, w - 41>, <17, -w - 9>, <-3*w + 30, -50>, <-26*w + 193, 2*w - 400>, <-8*w + 197, -8*w - 189>, <-16*w + 442, -19*w - 401>, <5*w + 468, -32*w - 165>, <-32*w + 197, 5*w - 473>, <2*w + 398, -26*w - 167>, <-19*w + 420, -16*w - 426>, <-19*w + 372, -13*w - 403>, <26*w + 398, -39*w + 117>, <24*w, -13*w + 284>, <-12*w + 56, 3*w - 165>, <-w + 58, -3*w - 39>, <-6*w + 69, -w - 102>, <-13*w + 114, -204>, <6*w + 144, -12*w + 1>, <213, -13*w - 101>, <11*w + 38, -8*w + 103>, <-3*w + 96, -4*w - 78>, <17*w + 104, -15*w + 138>, <-8*w + 107, -2*w - 138>, <-11*w + 49, 3*w - 144>, <3*w + 93, -7*w - 11>, <8*w + 99, -10*w + 41>, <-17*w + 121, 2*w - 244>, <-3*w + 14, w - 44>, <16, -w - 9>, <-3*w + 30, -53>, <-5*w + 34, w - 79>, <3*w + 65, -6*w - 1>, <2*w + 30, -3*w + 7>, <3*w + 4, -2*w + 32>, <2*w + 13, -2*w + 15>, <-w + 27, -w - 26>, <6*w + 10, -4*w + 65>, <-2*w + 83, -4*w - 65>, <4*w + 93, -8*w>, <53*w + 342, -51*w + 447>, <-53*w + 419, 4*w - 829>, <-54*w + 27, 27*w - 656>, <-27*w + 69, 10*w - 354>, <-81*w + 96, 37*w - 1010>, <10*w + 344, -27*w - 42>, <27*w + 629, -54*w + 27>, <37*w + 973, -81*w - 15>, <-417*w + 201, 208*w - 5054>, <27*w + 202, -27*w + 227>, <-27*w + 227, -427>, <429, -27*w - 200>, <208*w + 4861, -416*w + 208>, <-209*w + 5062, -208*w - 4846>, <6*w + 28, -5*w + 58>, <-19*w + 36, 8*w - 243>, , <-8*w + 180, -7*w - 181>, <-2*w + 208, -12*w - 123>, <3*w + 6, -2*w + 33>, <-5*w + 43, -80>, <-w + 88, -5*w - 54>, <2*w + 94, -7*w - 21>, <-7*w + 28, 2*w - 96>, <2*w + 31, -3*w + 9>, <-5*w + 59, -w - 87>, <80, -5*w - 38>, <18*w + 4, -10*w + 211>, <13*w + 271, -24*w + 24>, <-5*w + 219, -11*w - 164>, <16*w + 245, -24*w + 72>, <8*w + 442, -32*w - 117>, <31*w + 227, -31*w + 258>, <2*w + 446, -29*w - 190>, <10*w + 201, -18*w + 22>, <-29*w + 219, 2*w - 448>, <24*w + 48, -16*w + 261>, <-32*w + 149, 8*w - 450>, <-11*w + 175, -5*w - 214>, <-2*w + 1, w - 23>, <-7*w + 12, 3*w - 85>, <-6*w + 53, -93>, <100, -6*w - 47>, <7*w + 5, -4*w + 77>, <6*w + 47, -6*w + 46>, <-4*w + 2, 2*w - 47>, <-2*w + 34, -w - 39>, <-2*w + 149, -8*w - 93>, <-6*w + 151, -6*w - 140>, <2*w + 32, -3*w + 8>, <6*w + 145, -12*w + 1>, <2*w + 147, -10*w - 46>, <5*w + 88, -8*w + 16>, <-9*w + 95, -w - 148>, <-7*w + 127, -4*w - 140>, <9*w + 86, -10*w + 63>, <-5*w + 93, -3*w - 101>, <7*w + 120, -11*w + 24>, <6*w + 46, -6*w + 47>, <-6*w + 53, -94>, <99, -6*w - 47>, <6*w + 47, -6*w + 47>, <-6*w + 52, -93>, <99, -6*w - 46>, <-4*w + 84, -3*w - 85>, <-w + 25, -w - 23>, <5*w + 72, -7*w + 24>, <-2*w + 149, -8*w - 92>, <-9*w + 12, 4*w - 109>, <8*w + 13, -5*w + 86>, <10*w + 45, -8*w + 94>, , <-2*w + 116, -6*w - 77>, <6*w + 129, -11*w + 9>, <-5*w + 11, 2*w - 63>, <-4*w + 2, 2*w - 45>, <-2*w + 87, -4*w - 63>, <-6*w + 89, -2*w - 108>, <4*w + 15, -3*w + 37>, <17, -w - 8>, <-5*w + 131, -5*w - 117>, <7*w + 108, -10*w + 26>, <6*w + 83, -8*w + 27>, <2*w + 85, -6*w - 18>, <-4*w + 19, w - 53>, <5*w + 126, -10*w - 4>, <-7*w + 115, -3*w - 131>, <-5*w + 28, w - 68>, <-5*w + 45, -76>, <6*w + 66, -7*w + 35>, <5*w + 23, -4*w + 44>, <-6*w + 72, -w - 100>, <5*w + 40, -5*w + 36>, <-w + 10, -15>, <3*w + 25, -3*w + 18>, <2*w + 35, -3*w + 3>, <4*w + 52, -5*w + 15>, , <-3*w + 28, -43>, <-2*w + 37, -w - 37>, <-4*w + 56, -w - 66>, <-w + 10, -16>, <2*w + 33, -3*w + 5>, , <3*w + 58, -5*w + 3>, <-5*w + 2, 3*w - 61>, <3*w + 2, -2*w + 35>, <-w + 10, -18>, <63, -4*w - 36>, , <-w + 26, -w - 25>, , , <-10*w + 75, w - 154>, <-3*w + 76, -3*w - 73>, <14*w + 132, -16*w + 97>, <-7*w + 145, -5*w - 154>, <8*w + 24, -6*w + 81>, <-2*w + 67, -3*w - 57>, <-3*w + 125, -6*w - 98>, <8*w + 40, -7*w + 73>, <-w + 74, -4*w - 49>, <-9*w + 34, 3*w - 122>, <6*w + 91, -9*w + 24>, <-7*w + 80, -w - 122>, <-w + 90, -5*w - 57>, <4*w + 109, -9*w - 8>, <-3*w + 173, -9*w - 122>, <-13*w + 54, 4*w - 179>, <4*w + 77, -7*w + 8>, <11*w + 94, -12*w + 81>, <9*w + 161, -15*w + 24>, <10*w + 87, -11*w + 73>, <-5*w + 159, -7*w - 138>, <5*w + 246, -18*w - 65>, <16*w + 81, -14*w + 146>, , <16*w + 65, -13*w + 154>, <19*w + 135, -19*w + 154>, <13*w + 141, -16*w + 81>, <-22*w + 249, -3*w - 381>, <-3*w + 384, -22*w - 227>, <27*w + 42, -17*w + 302>, <17*w + 285, -27*w + 69>, <-17*w + 302, -10*w - 344>, <-10*w + 354, -17*w - 285>, <-27*w + 656, -27*w - 629>, <7*w + 52, -7*w + 59>, <-10*w + 243, -10*w - 233>, <-6*w + 3, 3*w - 73>, <190, -12*w - 89>, <3*w + 228, -16*w - 71>, <-3*w + 231, -13*w - 144>, <-3*w + 41, -w - 55>, <-9*w + 234, -10*w - 217>, <3*w + 38, -4*w + 18>, <9*w + 225, -19*w + 2>, <11*w + 129, -14*w + 71>, <-17*w + 143, -270>, <269, -17*w - 126>, <-62*w + 31, 31*w - 755>, <17*w + 126, -17*w + 144>, <-11*w + 140, -3*w - 197>, <15*w + 1, -8*w + 178>, <-7*w + 186, -8*w - 170>, <8*w + 187, -16*w + 8>, <32, -2*w - 15>, <5*w + 53, -6*w + 34>, <-2*w + 17, -32>, <11*w + 144, -15*w + 62>, , <-6*w + 20, 2*w - 81>, <4*w + 45, -5*w + 26>, <-4*w + 82, -3*w - 87>, <2*w + 62, -5*w - 6>, <-2*w + 65, -3*w - 55>, <-2*w + 1, w - 24>, <5*w + 21, -4*w + 49>, <2*w + 79, -6*w - 14>, <-3*w + 90, -4*w - 78>, <-5*w + 11, 2*w - 64>, <-3*w + 58, -2*w - 63>, <3*w + 22, -3*w + 25>, <13*w + 175, -18*w + 70>, <18*w + 52, -13*w + 188>, <-3*w + 10, w - 40>, , <-2*w + 66, -3*w - 55>, <113, -7*w - 54>, <2*w + 15, -2*w + 16>, <-3*w + 26, -47>, <5*w + 38, -5*w + 40>, <-2*w + 50, -2*w - 47>, <4*w + 14, -3*w + 40>, <7*w + 53, -7*w + 57>, <-7*w + 60, -110>, <6*w + 94, -9*w + 26>, <-6*w + 100, -3*w - 117>, <194, -12*w - 91>, <-8*w + 4, 4*w - 95>, <-9*w + 45, 2*w - 126>, <4*w + 63, -6*w + 17>, <81, -5*w - 38>, <-11*w + 30, 4*w - 142>, <7*w + 37, -6*w + 64>, <-4*w + 67, -2*w - 78>, <-7*w + 93, -2*w - 125>, <11*w + 19, -7*w + 119>, <-7*w + 44, w - 102>, <7*w + 86, -9*w + 41>, <3*w + 7, -2*w + 32>, <-w + 57, -3*w - 38>, <2*w + 64, -5*w - 6>, <113, -7*w - 52>, <-2*w + 17, -31>, <3*w + 23, -3*w + 24>, <-5*w + 43, -78>, <2*w + 48, -4*w + 1>, <-4*w + 18, w - 55>, , <-3*w + 58, -2*w - 62>, , <-22*w + 11, 11*w - 260>, <-69*w + 59, 33*w - 827>, <11*w + 280, -23*w - 4>, <-58*w + 339, 10*w - 831>, <-69*w + 10, 36*w - 804>, <58*w + 281, -48*w + 540>, <-11*w + 291, -12*w - 264>, <47*w + 572, -60*w + 276>, <-47*w + 619, -13*w - 835>, <25*w + 12, -14*w + 284>, <14*w + 254, -23*w + 43>, <-25*w + 559, -21*w - 552>, <-50*w + 25, 25*w - 591>, <25*w + 534, -46*w + 39>, <-14*w + 268, -9*w - 288>, <39*w + 788, -69*w + 82>, <-39*w + 827, -30*w - 840>, <-25*w + 37, 11*w - 307>, , <-w + 42, -2*w - 31>, <4*w + 47, -5*w + 24>, <3*w + 105, -8*w - 15>, <-4*w + 51, -w - 70>, <-3*w + 108, -5*w - 85>, <-3*w + 10, w - 39>, <3*w + 7, -2*w + 31>, <5*w + 6, -3*w + 55>, <8*w + 29, -6*w + 79>, <49, -3*w - 23>, , <2*w + 97, -7*w - 23>, <-8*w + 37, 2*w - 110>, <189, -11*w - 89>, <5*w + 6, -3*w + 52>, <-5*w + 11, 2*w - 60>, <7*w + 74, -8*w + 42>, <-7*w + 81, -w - 115>, , <-4*w + 88, -3*w - 85>, <86, -5*w - 40>, <-w + 9, -15>, <2*w + 51, -4*w - 2>, <3*w + 94, -7*w - 11>, <-w + 61, -3*w - 40>, <4*w + 84, -7*w + 4>, <86, -5*w - 41>, , <-2*w + 53, -2*w - 47>, <-3*w + 97, -4*w - 79>, , <-w + 9, -14>, <3*w + 9, -2*w + 27>, <18, -w - 8>, <-w + 46, -2*w - 31>, <-3*w + 29, -47>, <18, -w - 9>, , <47, -3*w - 26>, <1, -1>, <7*w + 1, -4*w + 81>, <6*w + 26, -5*w + 57>, <-8*w + 57, w - 122>, <5*w + 100, -9*w + 8>, <-3*w + 60, -2*w - 65>, <16*w + 211, -22*w + 81>, <-w + 9, -16>, <-7*w + 15, 3*w - 89>, <-4*w + 69, -2*w - 81>, <3*w + 70, -6*w>, <4*w + 61, -6*w + 16>, <7*w + 131, -12*w + 16>, <-6*w + 6, 3*w - 73>, <16, -w - 8>, <3*w + 86, -7*w - 8>, <-3*w + 92, -4*w - 81>, <-5*w + 13, 2*w - 65>, <2*w + 79, -6*w - 16>, <-6*w + 22, 2*w - 81>, <2*w + 63, -5*w - 8>, <-4*w + 85, -3*w - 89>, , <-6*w + 38, w - 89>, <12*w + 4, -7*w + 138>, <-7*w + 59, -111>, <111, -7*w - 52>, <-5*w + 10, 2*w - 64>, <2*w + 47, -4*w + 2>, <-3*w + 57, -2*w - 62>, <27*w + 204, -27*w + 226>, <-27*w + 226, -425>, <430, -27*w - 199>, <4*w + 14, -3*w + 41>, <-5*w + 42, -79>, <-w + 56, -3*w - 38>, <-5*w + 27, w - 72>, <-2*w + 49, -2*w - 47>, , <-3*w + 26, -48>, <-6*w + 68, -w - 104>, <48, -3*w - 23>, <-w + 105, -6*w - 62>, <-14*w + 201, -5*w - 262>, <-5*w + 267, -14*w - 187>, <-w + 41, -2*w - 31>, <-w + 90, -5*w - 54>, <-16*w + 8, 8*w - 191>, <113, -7*w - 53>, , <22*w + 38, -14*w + 237>, <-22*w + 60, 8*w - 283>, <8*w + 14, -5*w + 86>, <-8*w + 22, 3*w - 103>, , <-19*w + 173, -308>, <-12*w + 28, 5*w - 154>, <5*w + 149, -12*w - 16>, <3*w + 70, -6*w + 3>, <-3*w + 73, -3*w - 70>, <3*w + 59, -5*w + 5>, <-3*w + 62, -2*w - 62>, <8*w + 65, -8*w + 57>, <-8*w + 73, -122>, <1, 0>, <308, -19*w - 154>, <-4*w + 18, w - 56>, , <5*w + 101, -9*w + 12>, <-5*w + 106, -4*w - 109>, <2*w + 15, -2*w + 17>, <-w + 24, -w - 23>, , <-w + 8, -16>, <16, -w - 7>, <0, 1> ] /* Voronoi top cells */ [ { 1, 2, 3, 4 }, { 5, 6, 7, 8 }, { 9, 10, 11, 12 }, { 10, 13, 14, 15 }, { 10, 14, 16, 17, 18 }, { 19, 20, 21, 22, 23, 24 }, { 25, 26, 27, 28 }, { 29, 30, 31, 32 }, { 33, 34, 35, 36, 37 }, { 1, 2, 3, 38 }, { 5, 6, 7, 39 }, { 1, 3, 4, 6, 7, 8 }, { 1, 7, 40, 41 }, { 42, 43, 44, 45, 46 }, { 47, 48, 49, 50, 51, 52 }, { 53, 54, 55, 56, 57, 58 }, { 59, 60, 61, 62, 63 }, { 64, 65, 66, 67 }, { 68, 69, 70, 71 }, { 9, 10, 72, 73 }, { 10, 74, 75, 76 }, { 9, 10, 11, 72 }, { 10, 11, 77, 78 }, { 10, 14, 15, 79 }, { 10, 15, 77, 80 }, { 10, 81, 82, 83 }, { 10, 16, 18, 83 }, { 10, 14, 18, 79 }, { 84, 85, 86, 87 }, { 84, 87, 88, 89 }, { 90, 91, 92, 93 }, { 90, 94, 95, 96 }, { 91, 97, 98, 99 }, { 94, 100, 101, 102 }, { 91, 103, 104, 105 }, { 94, 106, 107, 108 }, { 94, 106, 107, 109 }, { 106, 110, 111, 112 }, { 113, 114, 115, 116, 117, 118 }, { 19, 20, 21, 23, 119 }, { 30, 120, 121, 122 }, { 120, 123, 124, 125 }, { 30, 120, 123, 126 }, { 26, 120, 127, 128 }, { 120, 124, 129, 130 }, { 26, 120, 129, 131 }, { 25, 26, 28, 132 }, { 124, 129, 132, 133 }, { 26, 129, 132, 134 }, { 29, 30, 31, 135 }, { 30, 123, 135, 136 }, { 123, 124, 135, 137 }, { 138, 139, 140, 141 }, { 142, 143, 144, 145 }, { 146, 147, 148, 149 }, { 33, 34, 150, 151 }, { 33, 34, 35, 152, 153 }, { 38, 39, 154, 155 }, { 1, 3, 6, 7, 38, 39 }, { 1, 7, 40, 156, 157 }, { 158, 159, 160, 161 }, { 154, 162, 163, 164 }, { 154, 164, 165, 166 }, { 163, 164, 166, 167, 168 }, { 43, 169, 170, 171, 172 }, { 42, 43, 44, 172, 173 }, { 163, 174, 175, 176 }, { 42, 177, 178, 179 }, { 159, 178, 180, 181 }, { 159, 182, 183, 184, 185, 186 }, { 47, 48, 50, 51, 187, 188, 189, 190, 191 }, { 187, 188, 192, 193 }, { 194, 195, 196, 197 }, { 194, 197, 198, 199 }, { 194, 196, 200, 201 }, { 198, 202, 203, 204 }, { 203, 204, 205, 206 }, { 198, 200, 202, 204, 207 }, { 200, 204, 206, 207 }, { 54, 55, 56, 208, 209, 210 }, { 68, 69, 71, 211, 212 }, { 59, 64, 65, 67, 213 }, { 59, 60, 61, 62, 65, 214 }, { 64, 65, 66, 215 }, { 215, 216, 217, 218 }, { 215, 216, 219, 220 }, { 69, 70, 71, 221 }, { 221, 222, 223, 224 }, { 221, 223, 225, 226 }, { 10, 72, 73, 74 }, { 10, 74, 75, 227 }, { 10, 77, 78, 80 }, { 10, 11, 72, 78 }, { 10, 15, 79, 80 }, { 10, 81, 83, 227 }, { 10, 18, 79, 83 }, { 18, 79, 83, 228 }, { 72, 73, 74, 229 }, { 230, 231, 232, 233 }, { 234, 235, 236, 237 }, { 231, 234, 237, 238 }, { 239, 240, 241, 242, 243 }, { 244, 245, 246, 247 }, { 248, 249, 250, 251 }, { 246, 252, 253, 254 }, { 255, 256, 257, 258 }, { 259, 260, 261, 262 }, { 256, 259, 262, 263 }, { 256, 263, 264, 265 }, { 253, 263, 264, 266 }, { 267, 268, 269, 270 }, { 267, 271, 272, 273 }, { 269, 270, 272, 273, 274, 275 }, { 273, 276, 277, 278 }, { 269, 273, 278, 279, 280 }, { 277, 278, 280, 281, 282, 283 }, { 269, 280, 281, 284 }, { 84, 85, 86, 285 }, { 84, 86, 87, 89 }, { 84, 88, 89, 286 }, { 20, 91, 287, 288 }, { 90, 91, 92, 98 }, { 90, 92, 96, 98, 100 }, { 90, 94, 96, 100 }, { 91, 94, 98, 99, 100, 102 }, { 90, 94, 289, 290 }, { 90, 91, 287, 288 }, { 91, 104, 105, 291 }, { 94, 106, 108, 292 }, { 94, 106, 109, 110, 111 }, { 94, 109, 113, 116, 117 }, { 94, 116, 289, 290 }, { 289, 293, 294, 295 }, { 116, 289, 293, 295 }, { 20, 21, 119, 296, 297 }, { 20, 119, 287, 295 }, { 119, 287, 295, 298 }, { 120, 121, 128, 299 }, { 121, 128, 300, 301, 302, 303 }, { 30, 120, 121, 300 }, { 30, 120, 123, 124 }, { 26, 120, 128, 301 }, { 26, 120, 124, 129 }, { 132, 301, 304, 305 }, { 124, 132, 133, 306 }, { 26, 28, 132, 301 }, { 26, 124, 129, 132 }, { 304, 307, 308, 309 }, { 135, 300, 310, 311 }, { 30, 31, 135, 300 }, { 30, 123, 124, 135 }, { 124, 135, 137, 312 }, { 310, 313, 314, 315 }, { 138, 139, 140, 316 }, { 142, 143, 144, 317 }, { 142, 144, 318, 319, 320 }, { 146, 147, 313, 321 }, { 146, 147, 148, 322 }, { 34, 151, 323, 324 }, { 33, 34, 151, 152 }, { 1, 7, 38, 39, 154 }, { 1, 7, 156, 157, 325 }, { 158, 159, 161, 326 }, { 154, 163, 164, 166 }, { 42, 163, 166, 327, 328, 329 }, { 42, 43, 170, 172, 327 }, { 42, 163, 174, 175 }, { 154, 163, 174, 326, 330 }, { 42, 174, 177, 178 }, { 159, 174, 178, 181 }, { 159, 183, 184, 186, 331 }, { 332, 333, 334, 335 }, { 334, 335, 336, 337 }, { 159, 161, 336, 337 }, { 338, 339, 340, 341 }, { 339, 341, 342, 343 }, { 332, 344, 345, 346 }, { 332, 333, 335, 346 }, { 332, 344, 345, 347 }, { 339, 342, 343, 348 }, { 43, 338, 339, 340 }, { 42, 43, 338, 349 }, { 42, 159, 178, 349 }, { 48, 50, 187, 188, 189, 190, 192, 350, 351 }, { 194, 196, 197, 203, 206 }, { 194, 197, 198, 203 }, { 194, 196, 200, 206 }, { 198, 200, 203, 204, 206 }, { 352, 353, 354, 355, 356, 357 }, { 208, 209, 210, 358, 359, 360 }, { 69, 71, 211, 221 }, { 71, 211, 212, 361 }, { 211, 212, 361, 362 }, { 59, 61, 213, 362 }, { 64, 65, 213, 215 }, { 59, 61, 65, 213 }, { 215, 219, 220, 363 }, { 220, 363, 364, 365 }, { 65, 66, 215, 217 }, { 215, 216, 217, 220 }, { 221, 225, 226, 230 }, { 226, 230, 366, 367 }, { 70, 71, 221, 222 }, { 221, 222, 223, 226 }, { 10, 72, 74, 227 }, { 10, 72, 78, 79, 80 }, { 10, 79, 83, 227 }, { 79, 83, 227, 228 }, { 79, 228, 364, 368 }, { 72, 74, 227, 229 }, { 72, 229, 366, 369 }, { 230, 231, 232, 332 }, { 231, 232, 234, 332 }, { 234, 235, 237, 238 }, { 231, 234, 238, 370 }, { 235, 238, 370, 371 }, { 239, 240, 372, 373 }, { 239, 240, 241, 242, 264, 370 }, { 235, 249, 370, 371 }, { 244, 246, 247, 250 }, { 235, 249, 250, 251 }, { 253, 260, 264, 266 }, { 246, 253, 254, 260 }, { 255, 256, 257, 374 }, { 256, 257, 259, 374 }, { 259, 260, 262, 263 }, { 256, 259, 263, 264 }, { 260, 263, 264, 266 }, { 267, 269, 270, 272, 273 }, { 267, 273, 295, 375 }, { 260, 273, 276, 277 }, { 269, 273, 277, 278, 280, 281 }, { 235, 269, 281, 284 }, { 267, 269, 295, 376 }, { 84, 86, 89, 285, 286 }, { 20, 91, 287, 295 }, { 90, 91, 94, 98, 100 }, { 90, 94, 289, 295 }, { 90, 91, 287, 295 }, { 91, 104, 291, 296 }, { 94, 106, 110, 292 }, { 94, 109, 110, 111, 113, 116 }, { 94, 116, 289, 295 }, { 110, 259, 374, 377 }, { 110, 259, 260, 293 }, { 260, 293, 294, 295 }, { 110, 116, 293, 295 }, { 234, 296, 332, 378 }, { 119, 234, 235, 296 }, { 20, 119, 295, 296 }, { 119, 235, 295, 298 }, { 120, 121, 128, 300, 301 }, { 30, 120, 124, 300 }, { 26, 120, 124, 301 }, { 132, 301, 304, 307 }, { 124, 132, 306, 307 }, { 26, 124, 132, 301 }, { 301, 304, 307, 308 }, { 135, 300, 310, 313 }, { 30, 124, 135, 300 }, { 124, 135, 312, 313 }, { 300, 310, 313, 314 }, { 138, 140, 316, 322 }, { 142, 144, 317, 319 }, { 7, 146, 157, 325 }, { 146, 316, 322, 325 }, { 146, 147, 313, 322 }, { 34, 152, 325, 379 }, { 34, 151, 152, 323 }, { 1, 7, 154, 325 }, { 1, 34, 156, 325 }, { 154, 326, 330, 336 }, { 159, 161, 326, 336 }, { 42, 154, 163, 166, 327 }, { 42, 43, 170, 327, 339 }, { 42, 154, 163, 174 }, { 154, 159, 174, 326 }, { 42, 159, 174, 178 }, { 159, 183, 331, 335, 380 }, { 332, 334, 335, 336 }, { 159, 335, 336, 337 }, { 338, 339, 341, 343 }, { 335, 338, 343, 344, 381, 382 }, { 332, 335, 344, 346 }, { 332, 339, 343, 344, 347, 348 }, { 42, 43, 338, 339 }, { 42, 159, 338, 349 }, { 192, 194, 350, 351, 383, 384 }, { 194, 198, 200, 203, 206 }, { 352, 353, 354, 358, 359, 360 }, { 71, 221, 227, 361 }, { 71, 211, 221, 361 }, { 211, 227, 361, 362 }, { 61, 213, 227, 362 }, { 61, 65, 213, 215 }, { 61, 65, 215, 227 }, { 215, 220, 363, 364 }, { 65, 215, 217, 227 }, { 215, 217, 220, 364 }, { 221, 226, 230, 366 }, { 71, 221, 222, 227 }, { 221, 222, 226, 366 }, { 10, 72, 79, 227 }, { 79, 227, 228, 364 }, { 72, 227, 229, 366 }, { 221, 230, 231, 332 }, { 231, 234, 332, 370 }, { 234, 235, 238, 370 }, { 239, 240, 264, 370, 373 }, { 235, 249, 250, 370 }, { 246, 247, 250, 264, 370 }, { 235, 246, 250, 251, 254, 260 }, { 246, 253, 260, 264 }, { 221, 255, 256, 374 }, { 256, 259, 264, 374 }, { 259, 260, 263, 264 }, { 267, 269, 273, 295 }, { 260, 273, 295, 375 }, { 235, 260, 269, 273, 277, 281 }, { 235, 269, 295, 376 }, { 84, 285, 286, 291, 292 }, { 20, 91, 295, 296 }, { 90, 91, 94, 295 }, { 91, 94, 110, 291, 292, 296 }, { 94, 110, 116, 295 }, { 110, 259, 260, 374 }, { 110, 260, 293, 295 }, { 234, 235, 296, 332 }, { 119, 235, 295, 296 }, { 120, 124, 300, 301 }, { 300, 301, 385, 386, 387, 388 }, { 124, 132, 301, 307 }, { 301, 307, 308, 386 }, { 124, 135, 300, 313 }, { 300, 313, 314, 385 }, { 138, 316, 322, 325 }, { 142, 317, 319, 389 }, { 7, 146, 154, 325 }, { 146, 313, 322, 325 }, { 34, 152, 323, 325 }, { 1, 34, 154, 325 }, { 154, 159, 326, 336 }, { 42, 154, 327, 339 }, { 42, 154, 159, 174 }, { 159, 183, 335, 338, 380, 390 }, { 159, 332, 335, 336 }, { 332, 335, 338, 339, 343, 344 }, { 42, 159, 338, 339 }, { 194, 198, 200, 358, 360, 383, 384, 391, 392 }, { 211, 358, 391, 393, 394 }, { 211, 353, 358, 360, 395 }, { 211, 213, 227, 362 }, { 211, 221, 227, 361 }, { 61, 213, 215, 227 }, { 215, 339, 363, 364 }, { 215, 217, 227, 364 }, { 221, 230, 332, 366 }, { 221, 222, 227, 366 }, { 72, 79, 227, 364, 366 }, { 221, 231, 332, 370 }, { 234, 235, 332, 370 }, { 221, 264, 370, 373 }, { 235, 246, 250, 260, 264, 370 }, { 221, 256, 264, 374 }, { 259, 260, 264, 374 }, { 235, 260, 269, 273, 295 }, { 84, 110, 291, 292, 296 }, { 91, 94, 110, 295, 296 }, { 110, 260, 295, 374 }, { 235, 295, 296, 332 }, { 124, 300, 301, 385, 386 }, { 124, 301, 307, 386 }, { 124, 300, 313, 385 }, { 138, 313, 322, 325 }, { 142, 307, 319, 389 }, { 146, 154, 313, 325 }, { 34, 154, 323, 325 }, { 154, 159, 332, 336 }, { 42, 154, 159, 339 }, { 159, 332, 335, 338, 339 }, { 198, 200, 211, 213, 358, 360, 391, 392, 395 }, { 211, 213, 215, 221, 227 }, { 215, 227, 339, 364 }, { 221, 227, 332, 366 }, { 227, 332, 339, 364, 366 }, { 221, 235, 332, 370 }, { 221, 235, 260, 264, 370 }, { 221, 260, 264, 374 }, { 235, 260, 295, 332, 374 }, { 84, 110, 124, 296 }, { 110, 295, 296, 332, 374 }, { 124, 307, 313, 385, 386 }, { 138, 142, 307, 313, 325, 389 }, { 154, 313, 325, 332 }, { 154, 323, 325, 339 }, { 154, 159, 332, 339 }, { 211, 213, 215, 221, 395, 396 }, { 215, 221, 227, 332, 339 }, { 221, 235, 260, 332, 374 }, { 124, 313, 325, 332 }, { 110, 124, 296, 332, 374 }, { 124, 307, 313, 325, 389 }, { 124, 307, 374, 389 }, { 154, 325, 332, 339 }, { 215, 221, 332, 339, 374, 396, 397, 398, 399 }, { 124, 325, 332, 374, 389 }, { 325, 332, 339, 374, 389, 397, 398, 399, 400 } ] /* Faces of top cells */ [ [ { 2, 3, 4 }, { 1, 3, 4 }, { 1, 2, 4 }, { 1, 2, 3 } ], [ { 6, 7, 8 }, { 5, 7, 8 }, { 5, 6, 8 }, { 5, 6, 7 } ], [ { 10, 11, 12 }, { 9, 11, 12 }, { 9, 10, 12 }, { 9, 10, 11 } ], [ { 10, 14, 15 }, { 13, 14, 15 }, { 10, 13, 15 }, { 10, 13, 14 } ], [ { 10, 14, 18 }, { 10, 16, 18 }, { 10, 14, 16, 17 }, { 14, 17, 18 }, { 16, 17, 18 } ], [ { 20, 21, 22, 24 }, { 19, 20, 21, 23 }, { 20, 22, 23 }, { 19, 22, 23, 24 }, { 19, 21, 24 } ], [ { 26, 27, 28 }, { 25, 27, 28 }, { 25, 26, 28 }, { 25, 26, 27 } ], [ { 30, 31, 32 }, { 29, 31, 32 }, { 29, 30, 32 }, { 29, 30, 31 } ], [ { 34, 35, 36, 37 }, { 33, 34, 36 }, { 33, 34, 35 }, { 33, 36, 37 }, { 33, 35, 37 } ], [ { 2, 3, 38 }, { 1, 3, 38 }, { 1, 2, 3 }, { 1, 2, 38 } ], [ { 6, 7, 39 }, { 5, 6, 7 }, { 5, 7, 39 }, { 5, 6, 39 } ], [ { 6, 7, 8 }, { 1, 4, 7, 8 }, { 1, 3, 6, 7 }, { 3, 4, 6, 8 }, { 1, 3, 4 } ], [ { 7, 40, 41 }, { 1, 7, 41 }, { 1, 40, 41 }, { 1, 7, 40 } ], [ { 43, 44, 45, 46 }, { 42, 43, 45 }, { 42, 43, 44 }, { 42, 44, 46 }, { 42, 45, 46 } ], [ { 48, 49, 50, 52 }, { 47, 49, 50 }, { 47, 48, 50, 51 }, { 47, 49, 51, 52 }, { 48, 51, 52 } ], [ { 54, 55, 56 }, { 53, 55, 56, 57 }, { 53, 54, 56, 58 }, { 54, 55, 57, 58 }, { 53, 57, 58 } ], [ { 60, 61, 63 }, { 59, 61, 63 }, { 59, 60, 61, 62 }, { 60, 62, 63 }, { 59, 62, 63 } ], [ { 65, 66, 67 }, { 64, 66, 67 }, { 64, 65, 67 }, { 64, 65, 66 } ], [ { 69, 70, 71 }, { 68, 70, 71 }, { 68, 69, 71 }, { 68, 69, 70 } ], [ { 9, 10, 73 }, { 10, 72, 73 }, { 9, 72, 73 }, { 9, 10, 72 } ], [ { 74, 75, 76 }, { 10, 75, 76 }, { 10, 74, 76 }, { 10, 74, 75 } ], [ { 9, 10, 11 }, { 10, 11, 72 }, { 9, 11, 72 }, { 9, 10, 72 } ], [ { 11, 77, 78 }, { 10, 11, 78 }, { 10, 77, 78 }, { 10, 11, 77 } ], [ { 14, 15, 79 }, { 10, 14, 15 }, { 10, 15, 79 }, { 10, 14, 79 } ], [ { 15, 77, 80 }, { 10, 15, 77 }, { 10, 15, 80 }, { 10, 77, 80 } ], [ { 10, 82, 83 }, { 10, 81, 83 }, { 10, 81, 82 }, { 81, 82, 83 } ], [ { 10, 16, 18 }, { 16, 18, 83 }, { 10, 18, 83 }, { 10, 16, 83 } ], [ { 14, 18, 79 }, { 10, 14, 18 }, { 10, 18, 79 }, { 10, 14, 79 } ], [ { 85, 86, 87 }, { 84, 86, 87 }, { 84, 85, 87 }, { 84, 85, 86 } ], [ { 87, 88, 89 }, { 84, 87, 89 }, { 84, 87, 88 }, { 84, 88, 89 } ], [ { 91, 92, 93 }, { 90, 92, 93 }, { 90, 91, 93 }, { 90, 91, 92 } ], [ { 94, 95, 96 }, { 90, 95, 96 }, { 90, 94, 96 }, { 90, 94, 95 } ], [ { 97, 98, 99 }, { 91, 98, 99 }, { 91, 97, 99 }, { 91, 97, 98 } ], [ { 100, 101, 102 }, { 94, 101, 102 }, { 94, 100, 102 }, { 94, 100, 101 } ], [ { 103, 104, 105 }, { 91, 104, 105 }, { 91, 103, 105 }, { 91, 103, 104 } ], [ { 106, 107, 108 }, { 94, 107, 108 }, { 94, 106, 108 }, { 94, 106, 107 } ], [ { 106, 107, 109 }, { 94, 107, 109 }, { 94, 106, 109 }, { 94, 106, 107 } ], [ { 106, 111, 112 }, { 110, 111, 112 }, { 106, 110, 112 }, { 106, 110, 111 } ], [ { 114, 115, 116, 117 }, { 113, 114, 116, 118 }, { 113, 115, 117, 118 }, { 113, 116, 117 }, { 114, 115, 118 } ], [ { 19, 20, 21, 23 }, { 20, 21, 119 }, { 19, 21, 119 }, { 19, 23, 119 }, { 20, 23, 119 } ], [ { 30, 121, 122 }, { 30, 120, 122 }, { 30, 120, 121 }, { 120, 121, 122 } ], [ { 123, 124, 125 }, { 120, 124, 125 }, { 120, 123, 125 }, { 120, 123, 124 } ], [ { 30, 123, 126 }, { 30, 120, 126 }, { 120, 123, 126 }, { 30, 120, 123 } ], [ { 26, 127, 128 }, { 26, 120, 128 }, { 26, 120, 127 }, { 120, 127, 128 } ], [ { 124, 129, 130 }, { 120, 129, 130 }, { 120, 124, 130 }, { 120, 124, 129 } ], [ { 26, 129, 131 }, { 26, 120, 131 }, { 120, 129, 131 }, { 26, 120, 129 } ], [ { 25, 26, 28 }, { 26, 28, 132 }, { 25, 28, 132 }, { 25, 26, 132 } ], [ { 129, 132, 133 }, { 124, 132, 133 }, { 124, 129, 133 }, { 124, 129, 132 } ], [ { 26, 132, 134 }, { 26, 129, 134 }, { 26, 129, 132 }, { 129, 132, 134 } ], [ { 29, 30, 31 }, { 30, 31, 135 }, { 29, 31, 135 }, { 29, 30, 135 } ], [ { 30, 135, 136 }, { 30, 123, 136 }, { 30, 123, 135 }, { 123, 135, 136 } ], [ { 124, 135, 137 }, { 123, 135, 137 }, { 123, 124, 137 }, { 123, 124, 135 } ], [ { 139, 140, 141 }, { 138, 140, 141 }, { 138, 139, 141 }, { 138, 139, 140 } ], [ { 143, 144, 145 }, { 142, 144, 145 }, { 142, 143, 145 }, { 142, 143, 144 } ], [ { 147, 148, 149 }, { 146, 148, 149 }, { 146, 147, 149 }, { 146, 147, 148 } ], [ { 33, 34, 151 }, { 33, 34, 150 }, { 34, 150, 151 }, { 33, 150, 151 } ], [ { 33, 34, 35 }, { 34, 35, 152, 153 }, { 33, 34, 152 }, { 33, 35, 153 }, { 33, 152, 153 } ], [ { 38, 154, 155 }, { 38, 39, 155 }, { 38, 39, 154 }, { 39, 154, 155 } ], [ { 1, 3, 6, 7 }, { 6, 7, 39 }, { 1, 7, 38, 39 }, { 3, 6, 38, 39 }, { 1, 3, 38 } ], [ { 1, 40, 156 }, { 40, 156, 157 }, { 1, 7, 156, 157 }, { 7, 40, 157 }, { 1, 7, 40 } ], [ { 159, 160, 161 }, { 158, 160, 161 }, { 158, 159, 161 }, { 158, 159, 160 } ], [ { 162, 163, 164 }, { 154, 163, 164 }, { 154, 162, 164 }, { 154, 162, 163 } ], [ { 164, 165, 166 }, { 154, 164, 166 }, { 154, 164, 165 }, { 154, 165, 166 } ], [ { 163, 164, 166 }, { 164, 166, 167 }, { 163, 166, 167, 168 }, { 163, 164, 168 }, { 164, 167, 168 } ], [ { 43, 170, 172 }, { 43, 169, 172 }, { 43, 169, 170, 171 }, { 170, 171, 172 }, { 169, 171, 172 } ], [ { 43, 44, 172, 173 }, { 42, 43, 44 }, { 42, 44, 173 }, { 42, 172, 173 }, { 42, 43, 172 } ], [ { 174, 175, 176 }, { 163, 175, 176 }, { 163, 174, 176 }, { 163, 174, 175 } ], [ { 177, 178, 179 }, { 42, 178, 179 }, { 42, 177, 179 }, { 42, 177, 178 } ], [ { 178, 180, 181 }, { 159, 178, 181 }, { 159, 178, 180 }, { 159, 180, 181 } ], [ { 159, 183, 184, 186 }, { 159, 182, 184 }, { 159, 182, 183, 185 }, { 182, 184, 185, 186 }, { 183, 185, 186 } ], [ { 48, 50, 187, 188, 189, 190 }, { 47, 48, 50, 51 }, { 47, 50, 190 }, { 47, 187, 190, 191 }, { 51, 188, 189, 191 }, { 48, 51, 189 }, { 47, 51, 191 }, { 187, 188, 191 } ], [ { 188, 192, 193 }, { 187, 188, 193 }, { 187, 188, 192 }, { 187, 192, 193 } ], [ { 195, 196, 197 }, { 194, 196, 197 }, { 194, 195, 197 }, { 194, 195, 196 } ], [ { 197, 198, 199 }, { 194, 197, 199 }, { 194, 198, 199 }, { 194, 197, 198 } ], [ { 196, 200, 201 }, { 194, 196, 201 }, { 194, 196, 200 }, { 194, 200, 201 } ], [ { 202, 203, 204 }, { 198, 203, 204 }, { 198, 202, 204 }, { 198, 202, 203 } ], [ { 203, 204, 206 }, { 203, 204, 205 }, { 204, 205, 206 }, { 203, 205, 206 } ], [ { 198, 202, 204 }, { 198, 200, 204 }, { 198, 200, 202, 207 }, { 202, 204, 207 }, { 200, 204, 207 } ], [ { 204, 206, 207 }, { 200, 204, 207 }, { 200, 204, 206 }, { 200, 206, 207 } ], [ { 54, 208, 210 }, { 208, 209, 210 }, { 54, 55, 208 }, { 55, 208, 209 }, { 55, 56, 209 }, { 54, 56, 210 }, { 56, 209, 210 }, { 54, 55, 56 } ], [ { 68, 211, 212 }, { 68, 69, 211 }, { 69, 71, 211 }, { 68, 69, 71 }, { 71, 211, 212 }, { 68, 71, 212 } ], [ { 59, 65, 213 }, { 64, 65, 213 }, { 59, 67, 213 }, { 59, 65, 67 }, { 64, 65, 67 }, { 64, 67, 213 } ], [ { 60, 61, 65, 214 }, { 59, 61, 65 }, { 59, 60, 61, 62 }, { 59, 62, 65, 214 }, { 60, 62, 214 } ], [ { 65, 66, 215 }, { 64, 65, 66 }, { 64, 66, 215 }, { 64, 65, 215 } ], [ { 215, 217, 218 }, { 216, 217, 218 }, { 215, 216, 218 }, { 215, 216, 217 } ], [ { 215, 219, 220 }, { 216, 219, 220 }, { 215, 216, 220 }, { 215, 216, 219 } ], [ { 69, 70, 71 }, { 70, 71, 221 }, { 69, 71, 221 }, { 69, 70, 221 } ], [ { 222, 223, 224 }, { 221, 223, 224 }, { 221, 222, 224 }, { 221, 222, 223 } ], [ { 223, 225, 226 }, { 221, 223, 226 }, { 221, 223, 225 }, { 221, 225, 226 } ], [ { 10, 73, 74 }, { 72, 73, 74 }, { 10, 72, 73 }, { 10, 72, 74 } ], [ { 10, 74, 75 }, { 74, 75, 227 }, { 10, 75, 227 }, { 10, 74, 227 } ], [ { 77, 78, 80 }, { 10, 77, 78 }, { 10, 78, 80 }, { 10, 77, 80 } ], [ { 10, 11, 78 }, { 11, 72, 78 }, { 10, 72, 78 }, { 10, 11, 72 } ], [ { 15, 79, 80 }, { 10, 15, 80 }, { 10, 15, 79 }, { 10, 79, 80 } ], [ { 10, 81, 83 }, { 10, 83, 227 }, { 10, 81, 227 }, { 81, 83, 227 } ], [ { 10, 18, 79 }, { 18, 79, 83 }, { 10, 18, 83 }, { 10, 79, 83 } ], [ { 18, 79, 228 }, { 18, 79, 83 }, { 18, 83, 228 }, { 79, 83, 228 } ], [ { 73, 74, 229 }, { 72, 73, 74 }, { 72, 73, 229 }, { 72, 74, 229 } ], [ { 231, 232, 233 }, { 230, 232, 233 }, { 230, 231, 233 }, { 230, 231, 232 } ], [ { 235, 236, 237 }, { 234, 236, 237 }, { 234, 235, 237 }, { 234, 235, 236 } ], [ { 231, 234, 237 }, { 231, 237, 238 }, { 231, 234, 238 }, { 234, 237, 238 } ], [ { 239, 241, 243 }, { 239, 240, 243 }, { 239, 240, 241, 242 }, { 240, 242, 243 }, { 241, 242, 243 } ], [ { 245, 246, 247 }, { 244, 246, 247 }, { 244, 245, 247 }, { 244, 245, 246 } ], [ { 249, 250, 251 }, { 248, 250, 251 }, { 248, 249, 251 }, { 248, 249, 250 } ], [ { 246, 253, 254 }, { 246, 252, 254 }, { 252, 253, 254 }, { 246, 252, 253 } ], [ { 256, 257, 258 }, { 255, 257, 258 }, { 255, 256, 258 }, { 255, 256, 257 } ], [ { 260, 261, 262 }, { 259, 261, 262 }, { 259, 260, 262 }, { 259, 260, 261 } ], [ { 256, 262, 263 }, { 256, 259, 262 }, { 256, 259, 263 }, { 259, 262, 263 } ], [ { 256, 264, 265 }, { 256, 263, 265 }, { 263, 264, 265 }, { 256, 263, 264 } ], [ { 253, 264, 266 }, { 253, 263, 266 }, { 263, 264, 266 }, { 253, 263, 264 } ], [ { 268, 269, 270 }, { 267, 269, 270 }, { 267, 268, 270 }, { 267, 268, 269 } ], [ { 267, 272, 273 }, { 271, 272, 273 }, { 267, 271, 273 }, { 267, 271, 272 } ], [ { 272, 273, 274 }, { 269, 273, 274, 275 }, { 269, 270, 272, 273 }, { 270, 272, 274, 275 }, { 269, 270, 275 } ], [ { 273, 277, 278 }, { 273, 276, 278 }, { 276, 277, 278 }, { 273, 276, 277 } ], [ { 269, 273, 278, 280 }, { 269, 279, 280 }, { 269, 273, 279 }, { 273, 278, 279 }, { 278, 279, 280 } ], [ { 277, 281, 282, 283 }, { 277, 278, 280, 281 }, { 278, 280, 282, 283 }, { 277, 278, 282 }, { 280, 281, 283 } ], [ { 269, 280, 281 }, { 269, 280, 284 }, { 280, 281, 284 }, { 269, 281, 284 } ], [ { 85, 86, 285 }, { 84, 86, 285 }, { 84, 85, 86 }, { 84, 85, 285 } ], [ { 86, 87, 89 }, { 84, 86, 87 }, { 84, 87, 89 }, { 84, 86, 89 } ], [ { 88, 89, 286 }, { 84, 89, 286 }, { 84, 88, 89 }, { 84, 88, 286 } ], [ { 20, 287, 288 }, { 20, 91, 288 }, { 91, 287, 288 }, { 20, 91, 287 } ], [ { 91, 92, 98 }, { 90, 92, 98 }, { 90, 91, 92 }, { 90, 91, 98 } ], [ { 92, 96, 98, 100 }, { 90, 96, 100 }, { 90, 98, 100 }, { 90, 92, 96 }, { 90, 92, 98 } ], [ { 94, 96, 100 }, { 90, 96, 100 }, { 90, 94, 96 }, { 90, 94, 100 } ], [ { 94, 100, 102 }, { 91, 94, 99, 102 }, { 91, 94, 98, 100 }, { 98, 99, 100, 102 }, { 91, 98, 99 } ], [ { 94, 289, 290 }, { 90, 289, 290 }, { 90, 94, 290 }, { 90, 94, 289 } ], [ { 91, 287, 288 }, { 90, 287, 288 }, { 90, 91, 288 }, { 90, 91, 287 } ], [ { 91, 104, 105 }, { 104, 105, 291 }, { 91, 105, 291 }, { 91, 104, 291 } ], [ { 94, 106, 108 }, { 106, 108, 292 }, { 94, 108, 292 }, { 94, 106, 292 } ], [ { 106, 110, 111 }, { 94, 109, 110, 111 }, { 94, 106, 110 }, { 106, 109, 111 }, { 94, 106, 109 } ], [ { 94, 116, 117 }, { 113, 116, 117 }, { 94, 109, 113, 116 }, { 109, 113, 117 }, { 94, 109, 117 } ], [ { 116, 289, 290 }, { 94, 116, 290 }, { 94, 289, 290 }, { 94, 116, 289 } ], [ { 289, 294, 295 }, { 289, 293, 295 }, { 289, 293, 294 }, { 293, 294, 295 } ], [ { 116, 289, 295 }, { 116, 289, 293 }, { 116, 293, 295 }, { 289, 293, 295 } ], [ { 20, 21, 296, 297 }, { 20, 21, 119 }, { 20, 119, 296 }, { 21, 119, 297 }, { 119, 296, 297 } ], [ { 20, 287, 295 }, { 20, 119, 295 }, { 20, 119, 287 }, { 119, 287, 295 } ], [ { 287, 295, 298 }, { 119, 287, 295 }, { 119, 295, 298 }, { 119, 287, 298 } ], [ { 121, 128, 299 }, { 120, 121, 299 }, { 120, 128, 299 }, { 120, 121, 128 } ], [ { 128, 301, 302 }, { 121, 128, 300, 301 }, { 300, 301, 302, 303 }, { 121, 128, 302, 303 }, { 121, 300, 303 } ], [ { 30, 121, 300 }, { 30, 120, 121 }, { 30, 120, 300 }, { 120, 121, 300 } ], [ { 30, 123, 124 }, { 30, 120, 124 }, { 30, 120, 123 }, { 120, 123, 124 } ], [ { 26, 128, 301 }, { 26, 120, 128 }, { 26, 120, 301 }, { 120, 128, 301 } ], [ { 26, 124, 129 }, { 26, 120, 129 }, { 26, 120, 124 }, { 120, 124, 129 } ], [ { 132, 304, 305 }, { 301, 304, 305 }, { 132, 301, 305 }, { 132, 301, 304 } ], [ { 132, 133, 306 }, { 124, 133, 306 }, { 124, 132, 306 }, { 124, 132, 133 } ], [ { 26, 28, 132 }, { 26, 28, 301 }, { 28, 132, 301 }, { 26, 132, 301 } ], [ { 26, 129, 132 }, { 26, 124, 132 }, { 26, 124, 129 }, { 124, 129, 132 } ], [ { 304, 308, 309 }, { 304, 307, 309 }, { 307, 308, 309 }, { 304, 307, 308 } ], [ { 135, 310, 311 }, { 300, 310, 311 }, { 135, 300, 311 }, { 135, 300, 310 } ], [ { 30, 31, 135 }, { 30, 31, 300 }, { 31, 135, 300 }, { 30, 135, 300 } ], [ { 30, 124, 135 }, { 30, 123, 135 }, { 30, 123, 124 }, { 123, 124, 135 } ], [ { 135, 137, 312 }, { 124, 137, 312 }, { 124, 135, 312 }, { 124, 135, 137 } ], [ { 310, 314, 315 }, { 310, 313, 315 }, { 313, 314, 315 }, { 310, 313, 314 } ], [ { 138, 139, 140 }, { 139, 140, 316 }, { 138, 140, 316 }, { 138, 139, 316 } ], [ { 142, 143, 144 }, { 143, 144, 317 }, { 142, 144, 317 }, { 142, 143, 317 } ], [ { 144, 318, 319 }, { 142, 144, 319 }, { 142, 318, 319, 320 }, { 144, 318, 320 }, { 142, 144, 320 } ], [ { 146, 147, 321 }, { 147, 313, 321 }, { 146, 147, 313 }, { 146, 313, 321 } ], [ { 147, 148, 322 }, { 146, 147, 148 }, { 146, 148, 322 }, { 146, 147, 322 } ], [ { 34, 323, 324 }, { 34, 151, 324 }, { 151, 323, 324 }, { 34, 151, 323 } ], [ { 33, 34, 152 }, { 33, 34, 151 }, { 34, 151, 152 }, { 33, 151, 152 } ], [ { 1, 7, 154 }, { 1, 7, 38, 39 }, { 7, 39, 154 }, { 38, 39, 154 }, { 1, 38, 154 } ], [ { 1, 7, 156, 157 }, { 1, 156, 325 }, { 156, 157, 325 }, { 1, 7, 325 }, { 7, 157, 325 } ], [ { 158, 159, 161 }, { 159, 161, 326 }, { 158, 161, 326 }, { 158, 159, 326 } ], [ { 163, 164, 166 }, { 154, 164, 166 }, { 154, 163, 164 }, { 154, 163, 166 } ], [ { 42, 163, 328 }, { 42, 163, 166, 327 }, { 42, 327, 328, 329 }, { 163, 166, 328, 329 }, { 166, 327, 329 } ], [ { 42, 43, 172 }, { 42, 172, 327 }, { 42, 43, 170, 327 }, { 170, 172, 327 }, { 43, 170, 172 } ], [ { 163, 174, 175 }, { 42, 174, 175 }, { 42, 163, 175 }, { 42, 163, 174 } ], [ { 154, 163, 330 }, { 163, 174, 326, 330 }, { 154, 326, 330 }, { 154, 163, 174 }, { 154, 174, 326 } ], [ { 174, 177, 178 }, { 42, 177, 178 }, { 42, 174, 178 }, { 42, 174, 177 } ], [ { 174, 178, 181 }, { 159, 178, 181 }, { 159, 174, 178 }, { 159, 174, 181 } ], [ { 159, 184, 331 }, { 159, 183, 331 }, { 159, 183, 184, 186 }, { 183, 186, 331 }, { 184, 186, 331 } ], [ { 333, 334, 335 }, { 332, 334, 335 }, { 332, 333, 335 }, { 332, 333, 334 } ], [ { 334, 335, 337 }, { 335, 336, 337 }, { 334, 336, 337 }, { 334, 335, 336 } ], [ { 159, 161, 337 }, { 161, 336, 337 }, { 159, 161, 336 }, { 159, 336, 337 } ], [ { 339, 340, 341 }, { 338, 340, 341 }, { 338, 339, 341 }, { 338, 339, 340 } ], [ { 339, 341, 343 }, { 341, 342, 343 }, { 339, 341, 342 }, { 339, 342, 343 } ], [ { 344, 345, 346 }, { 332, 345, 346 }, { 332, 344, 346 }, { 332, 344, 345 } ], [ { 333, 335, 346 }, { 332, 335, 346 }, { 332, 333, 346 }, { 332, 333, 335 } ], [ { 344, 345, 347 }, { 332, 345, 347 }, { 332, 344, 347 }, { 332, 344, 345 } ], [ { 339, 343, 348 }, { 342, 343, 348 }, { 339, 342, 343 }, { 339, 342, 348 } ], [ { 43, 339, 340 }, { 43, 338, 340 }, { 338, 339, 340 }, { 43, 338, 339 } ], [ { 42, 43, 338 }, { 42, 43, 349 }, { 43, 338, 349 }, { 42, 338, 349 } ], [ { 42, 159, 178 }, { 159, 178, 349 }, { 42, 178, 349 }, { 42, 159, 349 } ], [ { 192, 350, 351 }, { 187, 190, 192, 351 }, { 48, 50, 350, 351 }, { 188, 189, 192, 350 }, { 187, 188, 192 }, { 48, 50, 187, 188, 189, 190 }, { 48, 189, 350 }, { 50, 190, 351 } ], [ { 196, 197, 203, 206 }, { 194, 196, 206 }, { 194, 203, 206 }, { 194, 197, 203 }, { 194, 196, 197 } ], [ { 197, 198, 203 }, { 194, 197, 203 }, { 194, 197, 198 }, { 194, 198, 203 } ], [ { 196, 200, 206 }, { 194, 196, 206 }, { 194, 196, 200 }, { 194, 200, 206 } ], [ { 200, 204, 206 }, { 198, 200, 204 }, { 198, 200, 203, 206 }, { 203, 204, 206 }, { 198, 203, 204 } ], [ { 353, 354, 355, 356 }, { 352, 354, 355, 357 }, { 352, 353, 354 }, { 352, 353, 356, 357 }, { 355, 356, 357 } ], [ { 358, 359, 360 }, { 208, 210, 359, 360 }, { 208, 209, 358, 360 }, { 209, 210, 358, 359 }, { 208, 209, 210 } ], [ { 69, 71, 211 }, { 71, 211, 221 }, { 69, 71, 221 }, { 69, 211, 221 } ], [ { 71, 211, 212 }, { 71, 212, 361 }, { 71, 211, 361 }, { 211, 212, 361 } ], [ { 211, 212, 362 }, { 212, 361, 362 }, { 211, 212, 361 }, { 211, 361, 362 } ], [ { 59, 61, 362 }, { 61, 213, 362 }, { 59, 61, 213 }, { 59, 213, 362 } ], [ { 65, 213, 215 }, { 64, 65, 215 }, { 64, 65, 213 }, { 64, 213, 215 } ], [ { 59, 61, 65 }, { 61, 65, 213 }, { 59, 61, 213 }, { 59, 65, 213 } ], [ { 219, 220, 363 }, { 215, 219, 220 }, { 215, 220, 363 }, { 215, 219, 363 } ], [ { 220, 363, 365 }, { 220, 364, 365 }, { 363, 364, 365 }, { 220, 363, 364 } ], [ { 65, 66, 217 }, { 66, 215, 217 }, { 65, 66, 215 }, { 65, 215, 217 } ], [ { 215, 217, 220 }, { 216, 217, 220 }, { 215, 216, 220 }, { 215, 216, 217 } ], [ { 225, 226, 230 }, { 221, 225, 226 }, { 221, 226, 230 }, { 221, 225, 230 } ], [ { 226, 366, 367 }, { 226, 230, 367 }, { 230, 366, 367 }, { 226, 230, 366 } ], [ { 70, 71, 222 }, { 70, 71, 221 }, { 71, 221, 222 }, { 70, 221, 222 } ], [ { 222, 223, 226 }, { 221, 223, 226 }, { 221, 222, 223 }, { 221, 222, 226 } ], [ { 10, 74, 227 }, { 10, 72, 74 }, { 72, 74, 227 }, { 10, 72, 227 } ], [ { 10, 79, 80 }, { 72, 78, 79, 80 }, { 10, 72, 79 }, { 10, 72, 78 }, { 10, 78, 80 } ], [ { 10, 79, 83 }, { 10, 79, 227 }, { 79, 83, 227 }, { 10, 83, 227 } ], [ { 79, 83, 228 }, { 79, 227, 228 }, { 79, 83, 227 }, { 83, 227, 228 } ], [ { 79, 228, 368 }, { 79, 364, 368 }, { 79, 228, 364 }, { 228, 364, 368 } ], [ { 74, 227, 229 }, { 72, 74, 229 }, { 72, 74, 227 }, { 72, 227, 229 } ], [ { 229, 366, 369 }, { 72, 229, 369 }, { 72, 366, 369 }, { 72, 229, 366 } ], [ { 230, 231, 232 }, { 231, 232, 332 }, { 230, 232, 332 }, { 230, 231, 332 } ], [ { 231, 232, 234 }, { 231, 232, 332 }, { 232, 234, 332 }, { 231, 234, 332 } ], [ { 234, 235, 237 }, { 235, 237, 238 }, { 234, 237, 238 }, { 234, 235, 238 } ], [ { 231, 234, 370 }, { 231, 238, 370 }, { 231, 234, 238 }, { 234, 238, 370 } ], [ { 235, 370, 371 }, { 238, 370, 371 }, { 235, 238, 371 }, { 235, 238, 370 } ], [ { 239, 240, 373 }, { 240, 372, 373 }, { 239, 372, 373 }, { 239, 240, 372 } ], [ { 239, 241, 370 }, { 241, 242, 264, 370 }, { 239, 240, 264, 370 }, { 239, 240, 241, 242 }, { 240, 242, 264 } ], [ { 249, 370, 371 }, { 235, 370, 371 }, { 235, 249, 371 }, { 235, 249, 370 } ], [ { 246, 247, 250 }, { 244, 247, 250 }, { 244, 246, 247 }, { 244, 246, 250 } ], [ { 249, 250, 251 }, { 235, 250, 251 }, { 235, 249, 251 }, { 235, 249, 250 } ], [ { 253, 264, 266 }, { 253, 260, 266 }, { 260, 264, 266 }, { 253, 260, 264 } ], [ { 246, 253, 254 }, { 246, 254, 260 }, { 253, 254, 260 }, { 246, 253, 260 } ], [ { 256, 257, 374 }, { 255, 256, 257 }, { 255, 257, 374 }, { 255, 256, 374 } ], [ { 256, 257, 259 }, { 256, 257, 374 }, { 257, 259, 374 }, { 256, 259, 374 } ], [ { 260, 262, 263 }, { 259, 260, 262 }, { 259, 262, 263 }, { 259, 260, 263 } ], [ { 256, 263, 264 }, { 256, 259, 264 }, { 256, 259, 263 }, { 259, 263, 264 } ], [ { 260, 264, 266 }, { 263, 264, 266 }, { 260, 263, 266 }, { 260, 263, 264 } ], [ { 269, 270, 272, 273 }, { 267, 272, 273 }, { 267, 269, 273 }, { 267, 269, 270 }, { 267, 270, 272 } ], [ { 273, 295, 375 }, { 267, 273, 295 }, { 267, 273, 375 }, { 267, 295, 375 } ], [ { 260, 273, 277 }, { 273, 276, 277 }, { 260, 273, 276 }, { 260, 276, 277 } ], [ { 269, 280, 281 }, { 277, 278, 280, 281 }, { 269, 273, 277, 281 }, { 269, 273, 278, 280 }, { 273, 277, 278 } ], [ { 269, 281, 284 }, { 235, 269, 281 }, { 235, 269, 284 }, { 235, 281, 284 } ], [ { 269, 295, 376 }, { 267, 269, 376 }, { 267, 269, 295 }, { 267, 295, 376 } ], [ { 86, 89, 285, 286 }, { 84, 89, 286 }, { 84, 285, 286 }, { 84, 86, 89 }, { 84, 86, 285 } ], [ { 20, 287, 295 }, { 20, 91, 295 }, { 20, 91, 287 }, { 91, 287, 295 } ], [ { 91, 94, 98, 100 }, { 90, 94, 100 }, { 90, 91, 94 }, { 90, 98, 100 }, { 90, 91, 98 } ], [ { 94, 289, 295 }, { 90, 289, 295 }, { 90, 94, 289 }, { 90, 94, 295 } ], [ { 91, 287, 295 }, { 90, 287, 295 }, { 90, 91, 295 }, { 90, 91, 287 } ], [ { 91, 104, 296 }, { 91, 104, 291 }, { 104, 291, 296 }, { 91, 291, 296 } ], [ { 94, 106, 110 }, { 94, 106, 292 }, { 106, 110, 292 }, { 94, 110, 292 } ], [ { 94, 110, 116 }, { 94, 109, 113, 116 }, { 110, 111, 113, 116 }, { 94, 109, 110, 111 }, { 109, 111, 113 } ], [ { 116, 289, 295 }, { 94, 116, 289 }, { 94, 116, 295 }, { 94, 289, 295 } ], [ { 110, 259, 377 }, { 110, 259, 374 }, { 110, 374, 377 }, { 259, 374, 377 } ], [ { 110, 259, 260 }, { 110, 260, 293 }, { 110, 259, 293 }, { 259, 260, 293 } ], [ { 260, 294, 295 }, { 293, 294, 295 }, { 260, 293, 295 }, { 260, 293, 294 } ], [ { 110, 116, 295 }, { 116, 293, 295 }, { 110, 116, 293 }, { 110, 293, 295 } ], [ { 234, 296, 378 }, { 296, 332, 378 }, { 234, 296, 332 }, { 234, 332, 378 } ], [ { 234, 235, 296 }, { 119, 235, 296 }, { 119, 234, 235 }, { 119, 234, 296 } ], [ { 20, 295, 296 }, { 20, 119, 295 }, { 20, 119, 296 }, { 119, 295, 296 } ], [ { 235, 295, 298 }, { 119, 295, 298 }, { 119, 235, 295 }, { 119, 235, 298 } ], [ { 121, 128, 300, 301 }, { 120, 128, 301 }, { 120, 300, 301 }, { 120, 121, 128 }, { 120, 121, 300 } ], [ { 30, 124, 300 }, { 30, 120, 124 }, { 30, 120, 300 }, { 120, 124, 300 } ], [ { 26, 124, 301 }, { 26, 120, 124 }, { 26, 120, 301 }, { 120, 124, 301 } ], [ { 132, 301, 304 }, { 132, 304, 307 }, { 301, 304, 307 }, { 132, 301, 307 } ], [ { 124, 132, 306 }, { 132, 306, 307 }, { 124, 306, 307 }, { 124, 132, 307 } ], [ { 26, 124, 132 }, { 26, 132, 301 }, { 26, 124, 301 }, { 124, 132, 301 } ], [ { 301, 304, 308 }, { 304, 307, 308 }, { 301, 304, 307 }, { 301, 307, 308 } ], [ { 135, 310, 313 }, { 135, 300, 310 }, { 300, 310, 313 }, { 135, 300, 313 } ], [ { 30, 124, 135 }, { 30, 135, 300 }, { 30, 124, 300 }, { 124, 135, 300 } ], [ { 124, 135, 312 }, { 135, 312, 313 }, { 124, 312, 313 }, { 124, 135, 313 } ], [ { 310, 313, 314 }, { 300, 310, 314 }, { 300, 310, 313 }, { 300, 313, 314 } ], [ { 138, 140, 322 }, { 140, 316, 322 }, { 138, 140, 316 }, { 138, 316, 322 } ], [ { 142, 144, 319 }, { 144, 317, 319 }, { 142, 144, 317 }, { 142, 317, 319 } ], [ { 7, 146, 157 }, { 7, 146, 325 }, { 7, 157, 325 }, { 146, 157, 325 } ], [ { 146, 316, 322 }, { 146, 322, 325 }, { 316, 322, 325 }, { 146, 316, 325 } ], [ { 146, 147, 322 }, { 147, 313, 322 }, { 146, 147, 313 }, { 146, 313, 322 } ], [ { 34, 152, 379 }, { 34, 152, 325 }, { 34, 325, 379 }, { 152, 325, 379 } ], [ { 34, 152, 323 }, { 34, 151, 152 }, { 34, 151, 323 }, { 151, 152, 323 } ], [ { 1, 7, 154 }, { 1, 7, 325 }, { 7, 154, 325 }, { 1, 154, 325 } ], [ { 1, 34, 156 }, { 1, 34, 325 }, { 34, 156, 325 }, { 1, 156, 325 } ], [ { 154, 330, 336 }, { 326, 330, 336 }, { 154, 326, 336 }, { 154, 326, 330 } ], [ { 159, 161, 336 }, { 159, 161, 326 }, { 161, 326, 336 }, { 159, 326, 336 } ], [ { 42, 163, 166, 327 }, { 42, 154, 163 }, { 42, 154, 327 }, { 154, 166, 327 }, { 154, 163, 166 } ], [ { 42, 43, 170, 327 }, { 42, 43, 339 }, { 42, 327, 339 }, { 43, 170, 339 }, { 170, 327, 339 } ], [ { 42, 163, 174 }, { 154, 163, 174 }, { 42, 154, 174 }, { 42, 154, 163 } ], [ { 154, 159, 174 }, { 159, 174, 326 }, { 154, 174, 326 }, { 154, 159, 326 } ], [ { 159, 174, 178 }, { 42, 174, 178 }, { 42, 159, 178 }, { 42, 159, 174 } ], [ { 159, 183, 331 }, { 159, 331, 335 }, { 159, 183, 335, 380 }, { 183, 331, 380 }, { 331, 335, 380 } ], [ { 334, 335, 336 }, { 332, 334, 335 }, { 332, 335, 336 }, { 332, 334, 336 } ], [ { 159, 335, 337 }, { 159, 336, 337 }, { 335, 336, 337 }, { 159, 335, 336 } ], [ { 339, 341, 343 }, { 338, 341, 343 }, { 338, 339, 341 }, { 338, 339, 343 } ], [ { 335, 338, 381, 382 }, { 335, 338, 343, 344 }, { 338, 343, 381 }, { 343, 344, 381, 382 }, { 335, 344, 382 } ], [ { 335, 344, 346 }, { 332, 335, 346 }, { 332, 344, 346 }, { 332, 335, 344 } ], [ { 332, 339, 347, 348 }, { 332, 339, 343, 344 }, { 339, 343, 348 }, { 343, 344, 347, 348 }, { 332, 344, 347 } ], [ { 42, 43, 339 }, { 43, 338, 339 }, { 42, 43, 338 }, { 42, 338, 339 } ], [ { 42, 159, 338 }, { 42, 159, 349 }, { 159, 338, 349 }, { 42, 338, 349 } ], [ { 192, 350, 383, 384 }, { 194, 350, 351, 383 }, { 194, 383, 384 }, { 192, 194, 351, 384 }, { 192, 350, 351 } ], [ { 198, 200, 203, 206 }, { 194, 200, 206 }, { 194, 198, 200 }, { 194, 198, 203 }, { 194, 203, 206 } ], [ { 358, 359, 360 }, { 352, 359, 360 }, { 353, 358, 360 }, { 352, 353, 360 }, { 352, 354, 359 }, { 354, 358, 359 }, { 352, 353, 354 }, { 353, 354, 358 } ], [ { 71, 227, 361 }, { 71, 221, 361 }, { 71, 221, 227 }, { 221, 227, 361 } ], [ { 71, 211, 361 }, { 71, 211, 221 }, { 71, 221, 361 }, { 211, 221, 361 } ], [ { 211, 361, 362 }, { 211, 227, 362 }, { 227, 361, 362 }, { 211, 227, 361 } ], [ { 61, 227, 362 }, { 61, 213, 362 }, { 61, 213, 227 }, { 213, 227, 362 } ], [ { 61, 65, 215 }, { 61, 65, 213 }, { 61, 213, 215 }, { 65, 213, 215 } ], [ { 61, 65, 215 }, { 61, 65, 227 }, { 61, 215, 227 }, { 65, 215, 227 } ], [ { 220, 363, 364 }, { 215, 220, 363 }, { 215, 220, 364 }, { 215, 363, 364 } ], [ { 65, 215, 217 }, { 65, 217, 227 }, { 215, 217, 227 }, { 65, 215, 227 } ], [ { 217, 220, 364 }, { 215, 217, 220 }, { 215, 220, 364 }, { 215, 217, 364 } ], [ { 226, 230, 366 }, { 221, 226, 366 }, { 221, 226, 230 }, { 221, 230, 366 } ], [ { 71, 222, 227 }, { 71, 221, 227 }, { 71, 221, 222 }, { 221, 222, 227 } ], [ { 222, 226, 366 }, { 221, 226, 366 }, { 221, 222, 226 }, { 221, 222, 366 } ], [ { 10, 79, 227 }, { 10, 72, 79 }, { 72, 79, 227 }, { 10, 72, 227 } ], [ { 79, 228, 364 }, { 79, 227, 228 }, { 79, 227, 364 }, { 227, 228, 364 } ], [ { 227, 229, 366 }, { 72, 229, 366 }, { 72, 227, 229 }, { 72, 227, 366 } ], [ { 230, 231, 332 }, { 221, 230, 231 }, { 221, 231, 332 }, { 221, 230, 332 } ], [ { 231, 234, 370 }, { 231, 332, 370 }, { 231, 234, 332 }, { 234, 332, 370 } ], [ { 234, 235, 370 }, { 235, 238, 370 }, { 234, 238, 370 }, { 234, 235, 238 } ], [ { 239, 370, 373 }, { 264, 370, 373 }, { 239, 240, 264, 370 }, { 239, 240, 373 }, { 240, 264, 373 } ], [ { 249, 250, 370 }, { 235, 250, 370 }, { 235, 249, 250 }, { 235, 249, 370 } ], [ { 246, 247, 264 }, { 247, 264, 370 }, { 246, 250, 264, 370 }, { 246, 247, 250 }, { 247, 250, 370 } ], [ { 246, 254, 260 }, { 235, 251, 254, 260 }, { 235, 246, 250, 260 }, { 246, 250, 251, 254 }, { 235, 250, 251 } ], [ { 246, 253, 264 }, { 246, 253, 260 }, { 246, 260, 264 }, { 253, 260, 264 } ], [ { 255, 256, 374 }, { 221, 256, 374 }, { 221, 255, 256 }, { 221, 255, 374 } ], [ { 256, 259, 264 }, { 256, 264, 374 }, { 256, 259, 374 }, { 259, 264, 374 } ], [ { 260, 263, 264 }, { 259, 260, 264 }, { 259, 263, 264 }, { 259, 260, 263 } ], [ { 269, 273, 295 }, { 267, 269, 273 }, { 267, 273, 295 }, { 267, 269, 295 } ], [ { 273, 295, 375 }, { 260, 273, 295 }, { 260, 273, 375 }, { 260, 295, 375 } ], [ { 235, 260, 269, 273 }, { 235, 260, 277, 281 }, { 235, 269, 281 }, { 269, 273, 277, 281 }, { 260, 273, 277 } ], [ { 269, 295, 376 }, { 235, 269, 376 }, { 235, 269, 295 }, { 235, 295, 376 } ], [ { 285, 286, 291, 292 }, { 84, 285, 291 }, { 84, 291, 292 }, { 84, 286, 292 }, { 84, 285, 286 } ], [ { 20, 91, 295 }, { 20, 295, 296 }, { 20, 91, 296 }, { 91, 295, 296 } ], [ { 91, 94, 295 }, { 90, 91, 295 }, { 90, 94, 295 }, { 90, 91, 94 } ], [ { 91, 94, 291, 292 }, { 110, 291, 292, 296 }, { 91, 94, 110, 296 }, { 94, 110, 292 }, { 91, 291, 296 } ], [ { 94, 116, 295 }, { 110, 116, 295 }, { 94, 110, 116 }, { 94, 110, 295 } ], [ { 110, 259, 260 }, { 110, 260, 374 }, { 110, 259, 374 }, { 259, 260, 374 } ], [ { 110, 260, 295 }, { 110, 293, 295 }, { 260, 293, 295 }, { 110, 260, 293 } ], [ { 234, 235, 296 }, { 235, 296, 332 }, { 234, 235, 332 }, { 234, 296, 332 } ], [ { 235, 295, 296 }, { 119, 235, 295 }, { 119, 295, 296 }, { 119, 235, 296 } ], [ { 124, 300, 301 }, { 120, 124, 301 }, { 120, 124, 300 }, { 120, 300, 301 } ], [ { 300, 385, 387 }, { 300, 301, 387, 388 }, { 300, 301, 385, 386 }, { 385, 386, 387, 388 }, { 301, 386, 388 } ], [ { 124, 132, 301 }, { 124, 132, 307 }, { 132, 301, 307 }, { 124, 301, 307 } ], [ { 301, 308, 386 }, { 307, 308, 386 }, { 301, 307, 386 }, { 301, 307, 308 } ], [ { 124, 135, 313 }, { 124, 135, 300 }, { 135, 300, 313 }, { 124, 300, 313 } ], [ { 313, 314, 385 }, { 300, 314, 385 }, { 300, 313, 385 }, { 300, 313, 314 } ], [ { 138, 316, 322 }, { 138, 322, 325 }, { 316, 322, 325 }, { 138, 316, 325 } ], [ { 142, 317, 319 }, { 142, 319, 389 }, { 317, 319, 389 }, { 142, 317, 389 } ], [ { 7, 146, 154 }, { 7, 146, 325 }, { 7, 154, 325 }, { 146, 154, 325 } ], [ { 146, 313, 322 }, { 146, 322, 325 }, { 313, 322, 325 }, { 146, 313, 325 } ], [ { 34, 152, 323 }, { 34, 152, 325 }, { 34, 323, 325 }, { 152, 323, 325 } ], [ { 1, 34, 154 }, { 1, 34, 325 }, { 34, 154, 325 }, { 1, 154, 325 } ], [ { 154, 159, 336 }, { 159, 326, 336 }, { 154, 159, 326 }, { 154, 326, 336 } ], [ { 42, 327, 339 }, { 154, 327, 339 }, { 42, 154, 327 }, { 42, 154, 339 } ], [ { 42, 159, 174 }, { 154, 159, 174 }, { 42, 154, 174 }, { 42, 154, 159 } ], [ { 159, 183, 335, 380 }, { 159, 183, 338, 390 }, { 159, 335, 338 }, { 335, 338, 380, 390 }, { 183, 380, 390 } ], [ { 159, 335, 336 }, { 159, 332, 335 }, { 159, 332, 336 }, { 332, 335, 336 } ], [ { 332, 339, 343, 344 }, { 332, 335, 338, 339 }, { 332, 335, 344 }, { 335, 338, 343, 344 }, { 338, 339, 343 } ], [ { 42, 159, 339 }, { 159, 338, 339 }, { 42, 159, 338 }, { 42, 338, 339 } ], [ { 198, 200, 358, 360, 391, 392 }, { 194, 198, 200 }, { 194, 200, 384, 392 }, { 194, 198, 360, 383 }, { 358, 360, 383 }, { 358, 383, 384, 391 }, { 384, 391, 392 }, { 194, 383, 384 } ], [ { 211, 391, 393 }, { 358, 391, 393, 394 }, { 211, 358, 391 }, { 211, 358, 394 }, { 211, 393, 394 } ], [ { 211, 353, 395 }, { 211, 353, 358 }, { 211, 358, 360, 395 }, { 353, 360, 395 }, { 353, 358, 360 } ], [ { 211, 227, 362 }, { 211, 213, 362 }, { 213, 227, 362 }, { 211, 213, 227 } ], [ { 211, 227, 361 }, { 211, 221, 361 }, { 211, 221, 227 }, { 221, 227, 361 } ], [ { 61, 215, 227 }, { 61, 213, 215 }, { 61, 213, 227 }, { 213, 215, 227 } ], [ { 215, 363, 364 }, { 339, 363, 364 }, { 215, 339, 363 }, { 215, 339, 364 } ], [ { 215, 217, 364 }, { 217, 227, 364 }, { 215, 217, 227 }, { 215, 227, 364 } ], [ { 230, 332, 366 }, { 221, 230, 366 }, { 221, 332, 366 }, { 221, 230, 332 } ], [ { 222, 227, 366 }, { 221, 227, 366 }, { 221, 222, 366 }, { 221, 222, 227 } ], [ { 227, 364, 366 }, { 72, 79, 364, 366 }, { 72, 227, 366 }, { 79, 227, 364 }, { 72, 79, 227 } ], [ { 231, 332, 370 }, { 221, 231, 370 }, { 221, 231, 332 }, { 221, 332, 370 } ], [ { 234, 235, 370 }, { 235, 332, 370 }, { 234, 332, 370 }, { 234, 235, 332 } ], [ { 264, 370, 373 }, { 221, 370, 373 }, { 221, 264, 373 }, { 221, 264, 370 } ], [ { 246, 260, 264 }, { 235, 246, 250, 260 }, { 235, 260, 264, 370 }, { 246, 250, 264, 370 }, { 235, 250, 370 } ], [ { 256, 264, 374 }, { 221, 256, 264 }, { 221, 256, 374 }, { 221, 264, 374 } ], [ { 259, 260, 264 }, { 260, 264, 374 }, { 259, 264, 374 }, { 259, 260, 374 } ], [ { 235, 269, 295 }, { 235, 260, 269, 273 }, { 235, 260, 295 }, { 260, 273, 295 }, { 269, 273, 295 } ], [ { 110, 291, 292, 296 }, { 84, 291, 296 }, { 84, 291, 292 }, { 84, 110, 296 }, { 84, 110, 292 } ], [ { 94, 110, 295 }, { 110, 295, 296 }, { 91, 94, 110, 296 }, { 91, 94, 295 }, { 91, 295, 296 } ], [ { 110, 260, 295 }, { 110, 295, 374 }, { 260, 295, 374 }, { 110, 260, 374 } ], [ { 235, 295, 296 }, { 235, 295, 332 }, { 295, 296, 332 }, { 235, 296, 332 } ], [ { 124, 300, 385 }, { 300, 301, 385, 386 }, { 124, 300, 301 }, { 124, 385, 386 }, { 124, 301, 386 } ], [ { 124, 301, 386 }, { 124, 307, 386 }, { 301, 307, 386 }, { 124, 301, 307 } ], [ { 124, 313, 385 }, { 124, 300, 385 }, { 300, 313, 385 }, { 124, 300, 313 } ], [ { 138, 313, 322 }, { 138, 322, 325 }, { 313, 322, 325 }, { 138, 313, 325 } ], [ { 142, 307, 319 }, { 142, 319, 389 }, { 307, 319, 389 }, { 142, 307, 389 } ], [ { 146, 154, 313 }, { 146, 313, 325 }, { 146, 154, 325 }, { 154, 313, 325 } ], [ { 34, 154, 323 }, { 34, 154, 325 }, { 34, 323, 325 }, { 154, 323, 325 } ], [ { 159, 332, 336 }, { 154, 159, 336 }, { 154, 159, 332 }, { 154, 332, 336 } ], [ { 42, 159, 339 }, { 154, 159, 339 }, { 42, 154, 159 }, { 42, 154, 339 } ], [ { 159, 332, 339 }, { 159, 338, 339 }, { 332, 335, 338, 339 }, { 159, 332, 335 }, { 159, 335, 338 } ], [ { 211, 213, 395 }, { 211, 358, 360, 395 }, { 211, 358, 391 }, { 211, 213, 391, 392 }, { 198, 200, 358, 360, 391, 392 }, { 198, 200, 213, 395 }, { 200, 213, 392 }, { 198, 360, 395 } ], [ { 213, 215, 227 }, { 215, 221, 227 }, { 211, 213, 215, 221 }, { 211, 221, 227 }, { 211, 213, 227 } ], [ { 215, 227, 364 }, { 215, 339, 364 }, { 227, 339, 364 }, { 215, 227, 339 } ], [ { 227, 332, 366 }, { 221, 227, 366 }, { 221, 332, 366 }, { 221, 227, 332 } ], [ { 227, 339, 364 }, { 332, 339, 364, 366 }, { 227, 332, 339 }, { 227, 364, 366 }, { 227, 332, 366 } ], [ { 235, 332, 370 }, { 221, 235, 370 }, { 221, 332, 370 }, { 221, 235, 332 } ], [ { 235, 260, 264, 370 }, { 221, 260, 264 }, { 221, 235, 260 }, { 221, 235, 370 }, { 221, 264, 370 } ], [ { 260, 264, 374 }, { 221, 260, 264 }, { 221, 264, 374 }, { 221, 260, 374 } ], [ { 260, 295, 374 }, { 295, 332, 374 }, { 235, 260, 332, 374 }, { 235, 295, 332 }, { 235, 260, 295 } ], [ { 110, 124, 296 }, { 84, 110, 296 }, { 84, 110, 124 }, { 84, 124, 296 } ], [ { 295, 296, 332 }, { 295, 332, 374 }, { 110, 296, 332, 374 }, { 110, 295, 374 }, { 110, 295, 296 } ], [ { 124, 313, 385 }, { 307, 313, 385, 386 }, { 124, 307, 313 }, { 124, 307, 386 }, { 124, 385, 386 } ], [ { 138, 142, 325, 389 }, { 307, 313, 325, 389 }, { 142, 307, 389 }, { 138, 142, 307, 313 }, { 138, 313, 325 } ], [ { 154, 313, 332 }, { 313, 325, 332 }, { 154, 325, 332 }, { 154, 313, 325 } ], [ { 154, 323, 339 }, { 154, 325, 339 }, { 323, 325, 339 }, { 154, 323, 325 } ], [ { 159, 332, 339 }, { 154, 159, 339 }, { 154, 159, 332 }, { 154, 332, 339 } ], [ { 213, 215, 395, 396 }, { 211, 213, 215, 221 }, { 211, 221, 395, 396 }, { 215, 221, 396 }, { 211, 213, 395 } ], [ { 227, 332, 339 }, { 221, 227, 332 }, { 215, 221, 332, 339 }, { 215, 227, 339 }, { 215, 221, 227 } ], [ { 235, 260, 332, 374 }, { 221, 260, 374 }, { 221, 332, 374 }, { 221, 235, 260 }, { 221, 235, 332 } ], [ { 124, 313, 332 }, { 124, 325, 332 }, { 124, 313, 325 }, { 313, 325, 332 } ], [ { 124, 296, 332 }, { 110, 296, 332, 374 }, { 124, 332, 374 }, { 110, 124, 374 }, { 110, 124, 296 } ], [ { 124, 313, 325 }, { 124, 325, 389 }, { 307, 313, 325, 389 }, { 124, 307, 389 }, { 124, 307, 313 } ], [ { 124, 307, 374 }, { 124, 307, 389 }, { 124, 374, 389 }, { 307, 374, 389 } ], [ { 154, 332, 339 }, { 325, 332, 339 }, { 154, 325, 339 }, { 154, 325, 332 } ], [ { 332, 339, 374, 397, 398, 399 }, { 221, 332, 374 }, { 215, 221, 332, 339 }, { 221, 374, 396, 399 }, { 215, 396, 397, 398 }, { 215, 339, 397 }, { 396, 398, 399 }, { 215, 221, 396 } ], [ { 124, 374, 389 }, { 124, 325, 389 }, { 325, 332, 374, 389 }, { 124, 332, 374 }, { 124, 325, 332 } ], [ { 325, 332, 374, 389 }, { 332, 339, 374, 397, 398, 399 }, { 325, 339, 397, 400 }, { 325, 332, 339 }, { 374, 389, 399 }, { 389, 398, 399, 400 }, { 397, 398, 400 }, { 325, 389, 400 } ] ] /* Order of PGL_2(O) stabilizers of Voronoi top cells */ [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 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, 2, 3, 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, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 3, 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, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 3, 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, 2, 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, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 3, 1, 3 ] /* GAP id of GL_2(O) stabilizers of Voronoi top cells */ [ <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <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>, <6, 2>, <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>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <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>, <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>, <6, 2>, <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>, <4, 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>, <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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <6, 2> ]