/* Defining polynomial */ x^2 + 273 /* Minimal vectors */ [ <-47*w + 182, 33*w + 582>, <35*w + 581, 13*w - 791>, <-12*w + 763, 46*w - 209>, <-71*w + 1155, 96*w + 440>, <3*w + 28, -56>, <22*w + 70, -7*w - 345>, <-7*w + 147, 11*w + 28>, <-4*w + 175, 11*w - 28>, <-7*w + 205, 14*w>, <15*w + 275, 7*w - 345>, <11*w + 29, -4*w - 170>, <-11*w + 29, 7*w + 141>, <58, 3*w - 29>, <15*w + 396, 13*w - 410>, <-15*w + 396, 28*w + 14>, <-30*w, 15*w + 424>, <-122*w + 79, 65*w + 1649>, <100*w + 138, -43*w - 1453>, <-35*w + 2515, 145*w - 773>, <65*w + 2653, 102*w - 2226>, <-39*w + 69, 23*w + 506>, <7*w + 128, 3*w - 161>, <21*w + 522, 16*w - 552>, <7*w + 522, 23*w - 358>, <39*w + 69, -16*w - 575>, <-7*w + 128, 10*w + 33>, <-7*w + 522, 30*w - 164>, <-21*w + 522, 37*w + 30>, <-6*w + 40, 5*w + 63>, <7*w + 49, -w - 121>, <-5*w + 109, 8*w + 15>, <3*w + 148, 6*w - 115>, <-2*w + 257, 14*w - 100>, , <-4*w + 119, 8*w - 4>, <-30*w + 279, 29*w + 275>, , <-33*w + 12, 17*w + 449>, <6*w + 59, -112>, <16*w + 494, 17*w - 466>, <-20*w + 1, 10*w + 275>, <-25*w + 31, 14*w + 329>, <8*w + 277, 10*w - 248>, <-12*w + 278, 20*w + 27>, <-17*w + 308, 24*w + 81>, <34*w + 355, w - 645>, <14*w + 356, 11*w - 370>, <9*w + 386, 15*w - 316>, <-3*w + 664, 35*w - 289>, <21*w + 108, -5*w - 343>, <-6*w + 357, 21*w - 95>, <15*w + 465, 16*w - 438>, <6*w + 79, w - 122>, , <-27*w + 249, 26*w + 248>, <2*w + 21, -37>, <8*w + 22, -3*w - 117>, <-8*w + 102, 9*w + 54>, <124, 6*w - 63>, <4*w + 21, -w - 62>, <-4*w + 21, 3*w + 41>, <5*w + 53, -91>, <-5*w + 53, 5*w + 38>, <106, 5*w - 53>, <-6*w + 23, 4*w + 60>, <46, 2*w - 23>, <-2*w + 46, 3*w + 1>, <-6*w + 69, 6*w + 37>, <3*w + 11, -w - 41>, <2*w + 23, -35>, <-6*w + 24, 4*w + 59>, <-4*w + 47, 4*w + 24>, <-3*w + 11, 2*w + 29>, <3*w + 36, -53>, <47, 2*w - 24>, <-2*w, w + 23>, <3*w + 11, -w - 40>, <-3*w + 36, 3*w + 17>, <47, 2*w - 23>, , <-8*w + 181, 12*w>, <-7*w + 193, 12*w - 18>, <7*w + 200, 5*w - 187>, , <-6*w + 39, 5*w + 63>, <5*w + 50, -94>, <-5*w + 69, 6*w + 34>, <-w + 10, w + 8>, <7*w + 12, -3*w - 99>, <-5*w + 71, 6*w + 30>, <2*w + 83, 3*w - 69>, , <-4*w + 102, 7*w + 1>, <-w + 8, w + 9>, <-w + 9, w + 8>, , <-2*w + 17, 2*w + 17>, <20, w - 12>, , <-4*w + 14, 3*w + 49>, <19, w - 11>, <2*w + 22, -41>, <2*w + 41, w - 52>, , <-3*w + 63, 5*w + 7>, <3*w + 31, -58>, <-8*w + 94, 9*w + 62>, <2*w + 99, 4*w - 80>, <5*w + 130, 4*w - 138>, <2*w + 79, 3*w - 70>, <-w + 87, 5*w - 32>, <-8*w + 112, 10*w + 53>, <-6*w + 191, 13*w - 17>, <-8*w + 73, 8*w + 73>, <9*w + 113, w - 186>, , <11*w + 329, 11*w - 329>, <9*w + 15, -4*w - 134>, <-6*w + 55, 6*w + 55>, <6*w + 62, -117>, <117, 6*w - 62>, <-4*w + 134, 9*w - 15>, <13*w + 17, -6*w - 191>, <5*w + 32, -w - 87>, <-10*w + 53, 8*w + 112>, <3*w + 70, 2*w - 79>, <-4*w + 37, 4*w + 36>, <8*w + 83, -155>, <-4*w + 96, 7*w + 5>, <-6*w + 16, 4*w + 75>, <-w + 68, 4*w - 22>, <6*w + 82, w - 127>, <98, 5*w - 52>, <7*w + 92, w - 146>, <-3*w + 27, 3*w + 28>, <58, 3*w - 31>, <-3*w + 85, 6*w - 3>, <-12*w + 89, 11*w + 122>, <16*w + 107, -3*w - 283>, <13*w + 134, -255>, <-15*w + 174, 17*w + 119>, , , <-9*w + 62, 8*w + 94>, , <4*w + 80, 2*w - 99>, <4*w + 138, 5*w - 130>, <-2*w + 18, 2*w + 19>, <19, w - 10>, <6*w + 23, -2*w - 98>, <4*w + 41, -79>, <-3*w + 65, 5*w + 8>, <-3*w + 84, 6*w - 2>, <24*w + 95, -7*w - 391>, <32*w + 114, -10*w - 515>, <56*w + 209, -17*w - 906>, , <-2*w + 534, 29*w - 238>, <-w + 944, 50*w - 457>, <16*w + 76, -4*w - 267>, <4*w + 286, 13*w - 200>, <6*w + 38, -w - 105>, <-7*w + 143, 11*w + 29>, <-w + 181, 10*w - 76>, <19*w + 352, 9*w - 448>, <5*w + 219, 9*w - 181>, <-28*w + 229, 26*w + 287>, <8*w + 57, -w - 143>, <14*w + 95, -2*w - 248>, <-10*w + 267, 19*w + 10>, <22*w + 114, -5*w - 372>, <-9*w + 124, 11*w + 67>, <-18*w + 210, 20*w + 153>, <13*w + 238, 6*w - 305>, <-15*w + 86, 12*w + 172>, <-w + 29, 2*w>, <7*w + 47, -w - 122>, <-6*w + 59, 6*w + 56>, <-3*w + 68, 5*w + 9>, , <5*w + 67, w - 104>, <77, 4*w - 38>, <-6*w + 174, 12*w - 1>, <19*w + 100, -4*w - 317>, <-4*w + 233, 14*w - 56>, <-16*w + 44, 10*w + 205>, <-16*w + 102, 13*w + 177>, <19*w + 177, -354>, <6*w + 249, 10*w - 205>, <3*w + 279, 13*w - 177>, <-10*w + 293, 20*w>, <4*w + 38, -75>, <-2*w + 39, 3*w + 9>, <2*w + 77, 3*w - 66>, <-4*w + 233, 14*w - 58>, <-5*w + 30, 4*w + 56>, <-3*w + 10, 2*w + 38>, <6*w + 37, -w - 104>, <-4*w + 39, 4*w + 38>, <-6*w + 173, 12*w + 1>, <6*w + 75, w - 122>, <-2*w + 77, 5*w - 9>, <115, 6*w - 56>, <-5*w + 11, 3*w + 66>, <4*w + 37, -75>, <-w + 48, 3*w - 9>, <-10*w + 175, 14*w + 58>, , <-10*w + 1, 5*w + 141>, <4*w + 19, -w - 66>, <-6*w + 20, 4*w + 75>, <10*w + 1, -5*w - 142>, <-4*w + 19, 3*w + 47>, <6*w + 20, -2*w - 95>, <-5*w + 67, 6*w + 37>, <-8*w + 96, 9*w + 65>, <-5*w + 125, 9*w + 8>, <-13*w + 221, 18*w + 73>, <10*w + 309, 11*w - 297>, <3*w + 164, 7*w - 125>, <-2*w + 289, 16*w - 117>, <7*w + 10, -3*w - 104>, <3*w + 29, -57>, <11*w + 126, w - 219>, <-11*w + 67, 9*w + 122>, <8*w + 39, -2*w - 133>, <-18*w + 153, 17*w + 178>, <11*w + 203, 5*w - 258>, <-9*w + 9, 5*w + 123>, <-w + 48, 3*w - 10>, <-10*w + 57, 8*w + 113>, <9*w + 126, 2*w - 191>, <-15*w + 182, 17*w + 121>, <-7*w + 221, 15*w - 12>, <14*w + 1, -7*w - 199>, <13*w + 49, -4*w - 209>, <12*w + 97, -w - 219>, , <-3*w + 29, 3*w + 28>, <16*w + 115, -2*w - 284>, <-13*w + 145, 14*w + 112>, <-w + 183, 10*w - 77>, <3*w + 260, 12*w - 172>, <2*w + 154, 7*w - 105>, <-11*w + 299, 21*w + 7>, <-20*w + 58, 13*w + 254>, <10*w + 135, 2*w - 209>, <7*w + 164, 5*w - 181>, <-6*w + 328, 20*w - 79>, <-14*w + 116, 13*w + 140>, <4*w + 193, 8*w - 153>, , <-13*w + 222, 18*w + 73>, <7*w + 222, 8*w - 210>, <-7*w + 222, 15*w - 12>, <-14*w, 7*w + 198>, <2*w + 58, 2*w - 57>, <-7*w + 68, 7*w + 65>, <2*w + 116, 5*w - 86>, <8*w + 135, 3*w - 180>, <23*w + 10, -11*w - 325>, <-5*w + 49, 5*w + 45>, <6*w + 157, 5*w - 162>, , <-16*w + 255, 21*w + 95>, <-2*w + 58, 4*w - 1>, <7*w + 68, -133>, <-2*w + 116, 7*w - 30>, <-8*w + 135, 11*w + 45>, , <-5*w + 12, 3*w + 61>, <41, 2*w - 20>, , <125*w + 424, -41*w - 1942>, <3*w + 503, 24*w - 293>, <19*w + 286, 5*w - 406>, <-19*w + 286, 24*w + 120>, <16*w + 355, 10*w - 399>, <-16*w + 355, 26*w + 44>, <-38*w, 19*w + 526>, <-4*w + 59, 5*w + 26>, <11*w + 69, -2*w - 187>, , <-3*w + 187, 11*w - 52>, <-11*w + 187, 15*w + 59>, <8*w + 256, 9*w - 239>, <-21*w + 128, 17*w + 227>, <28*w + 138, -7*w - 457>, <-14*w, 7*w + 194>, <-10*w + 197, 15*w + 40>, <-3*w + 463, 25*w - 190>, <138, 7*w - 69>, <7*w + 266, 10*w - 230>, <10*w + 197, 5*w - 237>, <-7*w + 266, 17*w - 36>, <21*w + 128, -4*w - 355>, <-28*w + 138, 21*w + 319>, <3*w + 463, 22*w - 273>, <-43*w + 128, 28*w + 532>, <18*w + 197, w - 348>, <25*w + 325, 4*w - 509>, <18*w + 453, 14*w - 476>, <-36*w + 256, 31*w + 371>, <11*w + 325, 11*w - 315>, <11*w + 581, 24*w - 443>, , <-3*w + 49, 4*w + 17>, <11*w + 50, -3*w - 178>, <2*w + 177, 8*w - 117>, <5*w + 49, -94>, <-16*w + 59, 11*w + 193>, <-w + 324, 17*w - 148>, <-10*w, 5*w + 139>, <16*w + 59, -5*w - 252>, , <-w + 10, w + 9>, <3*w + 49, w - 66>, <-11*w + 50, 8*w + 128>, <-2*w + 177, 10*w - 60>, <4*w + 59, w - 85>, <-11*w + 69, 9*w + 118>, <-w + 128, 7*w - 50>, <3*w + 187, 8*w - 135>, <11*w + 187, 4*w - 246>, <-8*w + 256, 17*w - 17>, <-4*w + 79, 6*w + 16>, <-w + 148, 8*w - 60>, <-11*w + 227, 17*w + 39>, <11*w + 266, 8*w - 285>, <-7*w + 10, 4*w + 92>, <-14*w + 158, 15*w + 115>, <15*w + 187, 2*w - 301>, <3*w + 69, 2*w - 76>, , <-4*w + 99, 7*w + 6>, <-5*w + 30, 4*w + 54>, <-10*w + 40, 7*w + 118>, <-15*w + 70, 11*w + 172>, <3*w + 168, 7*w - 125>, <99, 5*w - 49>, <-5*w + 50, 5*w + 44>, <-10*w + 80, 9*w + 98>, <-18*w + 199, 19*w + 149>, <-19*w + 110, 15*w + 207>, <-7*w + 228, 15*w - 17>, <10*w + 39, -3*w - 157>, <-7*w + 12, 4*w + 87>, <7*w + 29, -2*w - 107>, <-6*w + 40, 5*w + 59>, <9*w + 74, -w - 157>, <6*w + 84, w - 122>, <-5*w + 92, 7*w + 19>, , <11*w + 323, 10*w - 310>, <-8*w + 350, 21*w - 73>, <-7*w + 9, 4*w + 88>, <-6*w + 164, 11*w - 4>, <20, w - 10>, <-2*w + 20, 2*w + 17>, <-9*w + 30, 6*w + 107>, <6*w + 121, 3*w - 142>, <-3*w + 151, 9*w - 35>, <-9*w + 10, 5*w + 117>, <-2*w, w + 27>, <8*w + 101, w - 159>, <-2*w + 1, w + 25>, <-w + 11, w + 7>, <-2*w + 22, 2*w + 15>, <43, 2*w - 21>, <2*w + 21, -36>, <2*w + 1, -w - 26>, , <2*w + 22, -37>, <43, 2*w - 22>, <21, w - 11>, , <-2*w + 21, 2*w + 15>, , <-w + 32, 2*w - 3>, <3*w + 53, w - 65>, <-3*w + 53, 4*w + 12>, <-6*w, 3*w + 77>, , <-w + 74, 4*w - 24>, <2*w + 43, w - 47>, <-2*w + 43, 3*w + 4>, <3*w + 54, w - 65>, <-3*w + 54, 4*w + 11>, <86, 4*w - 43>, <-6*w, 3*w + 76>, <-2*w, w + 24>, <-w + 12, w + 6>, <24, w - 12>, <-w + 11, w + 6>, <-w + 12, w + 5>, <-2*w + 23, 2*w + 11>, <2*w + 25, -36>, <14*w + 7, -7*w - 169>, <99, 5*w - 50>, <4*w + 1, -2*w - 55>, <5*w + 31, -w - 84>, <80, 4*w - 41>, <3*w + 11, -w - 47>, <-2*w + 59, 4*w - 3>, , <-2*w + 198, 11*w - 75>, <5*w + 12, -2*w - 73>, <41, 2*w - 21>, <-w + 51, 3*w - 13>, <-2*w + 40, 3*w + 6>, <3*w + 52, w - 67>, <3*w + 93, 3*w - 88>, <-7*w + 29, 5*w + 78>, <7*w + 53, -w - 120>, <4*w + 1, -2*w - 54>, <3*w + 11, -w - 46>, , <2*w + 23, -39>, , <20, w - 11>, <41, 2*w - 23>, <2*w + 2, -w - 27>, <-w + 10, w + 7>, <-w + 31, 2*w - 4>, <2*w + 23, -38>, <2*w + 4, -w - 31>, <-w + 7, w + 10>, , <38, 2*w - 23>, <-w + 27, 2*w - 2>, <1, -1>, <-w + 8, w + 8>, , <2*w + 23, -41>, , <39, 2*w - 23>, , <-2*w + 36, 3*w + 8>, <-w + 8, w + 10>, <4*w + 24, -w - 71>, <-3*w + 25, 3*w + 29>, <-w + 27, 2*w - 1>, <-4*w + 33, 4*w + 39>, <3*w + 51, w - 72>, <-2*w + 17, 2*w + 19>, <3*w + 32, -61>, , <38, 2*w - 21>, <-2*w + 55, 4*w - 2>, <2*w + 2, -w - 30>, <-3*w + 6, 2*w + 40>, <57, 3*w - 32>, <-5*w + 66, 6*w + 35>, <-3*w + 28, 3*w + 27>, <5*w + 71, w - 107>, <-2*w + 97, 6*w - 23>, <8*w + 102, w - 165>, <-3*w + 8, 2*w + 38>, <4*w + 22, -w - 68>, <-2*w + 115, 7*w - 33>, , <-4*w + 17, 3*w + 47>, , <-3*w + 47, 4*w + 17>, <-2*w + 38, 3*w + 8>, <2*w + 21, -39>, <7*w + 33, -2*w - 115>, <-6*w + 35, 5*w + 66>, , <6*w + 23, -2*w - 97>, <31*w + 11, -16*w - 444>, <3*w + 31, -59>, <-16*w + 395, 29*w + 15>, <15*w + 406, 13*w - 429>, <-3*w + 46, 4*w + 18>, <-6*w + 73, 7*w + 46>, <2*w + 117, 5*w - 91>, <-w + 47, 3*w - 11>, <-5*w + 6, 3*w + 68>, <-w + 28, 2*w - 1>, <2*w + 1, -w - 29>, , <-4*w + 56, 5*w + 27>, , <-5*w + 27, 4*w + 56>, <-w + 29, 2*w - 1>, <2*w + 40, w - 49>, <3*w + 50, w - 68>, <3*w + 11, -w - 48>, <4*w + 99, 3*w - 108>, <7*w + 13, -3*w - 105>, <-6*w + 75, 7*w + 45>, <5*w + 51, -97>, <-52*w + 77, 30*w + 706>, <-31*w + 296, 31*w + 296>, <-7*w + 391, 24*w - 95>, <22*w + 629, 22*w - 629>, <-30*w + 706, 52*w + 77>, <8*w + 19, -3*w - 124>, <-85*w + 30, 44*w + 1202>, <-20*w + 191, 20*w + 191>, <-4*w + 267, 16*w - 76>, <41*w + 1172, 41*w - 1172>, <-44*w + 1202, 85*w + 30>, <-12*w + 210, 17*w + 67>, <4*w + 324, 15*w - 219>, <-15*w + 124, 14*w + 153>, <8*w + 95, w - 162>, <11*w + 9, -5*w - 162>, <2*w + 19, -38>, <-9*w + 48, 7*w + 105>, <3*w + 181, 8*w - 133>, <2*w + 57, 2*w - 57>, <-6*w + 229, 15*w - 28>, <38, 2*w - 19>, <-7*w + 105, 9*w + 48>, <8*w + 133, 3*w - 181>, <-5*w + 162, 11*w - 9>, <15*w + 28, -6*w - 229>, <-19*w + 16, 10*w + 261>, <-3*w + 30, 3*w + 28>, <-10*w + 177, 14*w + 56>, <9*w + 219, 7*w - 233>, <16*w + 14, -7*w - 233>, <58, 3*w - 28>, <9*w + 277, 10*w - 261>, <-4*w + 40, 4*w + 37>, <-w + 68, 4*w - 19>, <-4*w + 1, 2*w + 56>, <-2*w + 97, 6*w - 19>, <19, w - 9>, <-3*w + 49, 4*w + 19>, <77, 4*w - 37>, <2*w + 95, 4*w - 75>, <2*w + 57, 2*w - 56>, <-4*w + 78, 6*w + 19>, <2*w + 135, 6*w - 95>, <2*w + 39, w - 48>, <-2*w + 135, 8*w - 40>, <12*w + 20, -5*w - 180>, <4*w + 116, 4*w - 115>, <14*w + 97, -2*w - 247>, <135, 7*w - 68>, <-9*w + 144, 12*w + 55>, <-w + 183, 10*w - 78>, <-4*w + 96, 7*w + 9>, <-2*w + 211, 12*w - 77>, <-6*w + 211, 14*w - 20>, <-4*w, 2*w + 57>, <-13*w + 48, 9*w + 161>, <96, 5*w - 48>, <-13*w + 144, 14*w + 113>, <13*w + 48, -4*w - 209>, <2*w + 211, 10*w - 134>, <11*w + 163, 3*w - 238>, <-w + 87, 5*w - 29>, <6*w + 77, w - 123>, <-5*w + 126, 9*w + 8>, <-7*w + 164, 12*w + 17>, <386, 20*w - 193>, <-10*w + 135, 12*w + 74>, <14*w + 116, -w - 256>, <-4*w + 193, 12*w - 40>, <-14*w + 58, 10*w + 169>, <-3*w + 87, 6*w - 1>, <98, 5*w - 49>, <4*w + 39, -75>, <-7*w + 69, 7*w + 63>, <-3*w + 108, 7*w - 12>, , <-6*w + 77, 7*w + 46>, <5*w + 126, 4*w - 134>, <3*w + 87, 3*w - 86>, , <2*w + 40, w - 46>, <-3*w + 52, 4*w + 15>, <-22*w + 217, 22*w + 196>, <25*w + 286, 2*w - 489>, <-88*w + 1440, 117*w + 498>, <-63*w + 1726, 119*w + 9>, <-119*w + 582, 89*w + 1356>, <-38*w + 2012, 121*w - 480>, <-25*w + 286, 27*w + 203>, <-69*w + 286, 49*w + 812>, <572, 29*w - 286>, <-47*w + 1075, 78*w + 113>, <69*w + 286, -20*w - 1098>, <47*w + 1075, 31*w - 1188>, <-3*w + 69, 5*w + 7>, <7*w + 10, -3*w - 102>, <-18*w + 453, 32*w + 23>, <-29*w + 128, 21*w + 338>, <256, 13*w - 128>, <15*w + 128, -w - 272>, <-18*w + 315, 25*w + 92>, <-15*w + 128, 14*w + 144>, <19*w + 187, -357>, <-19*w + 187, 19*w + 170>, <18*w + 315, 7*w - 407>, <-4*w + 39, 4*w + 36>, <9*w + 10, -4*w - 130>, <5*w + 69, w - 104>, <-11*w + 108, 11*w + 99>, <11*w + 108, -207>, <-9*w + 10, 5*w + 120>, <-5*w + 69, 6*w + 35>, <-6*w + 20, 4*w + 73>, <8*w + 59, -w - 140>, <2*w + 79, 3*w - 67>, <-9*w + 346, 22*w - 48>, <8*w + 39, -2*w - 130>, <-13*w + 50, 9*w + 155>, <2*w + 59, 2*w - 57>, <-5*w + 148, 10*w - 4>, <-10*w + 99, 10*w + 89>, <-2*w + 138, 8*w - 41>, <-w + 30, 2*w - 1>, <-5*w + 10, 3*w + 64>, <-3*w + 109, 7*w - 13>, <13*w + 148, w - 253>, <-4*w + 20, 3*w + 45>, <139, 7*w - 69>, <-w + 31, 2*w - 2>, <3*w + 10, -w - 45>, <-4*w + 21, 3*w + 43>, <-3*w + 31, 3*w + 25>, <3*w + 73, 2*w - 77>, <-3*w + 113, 7*w - 18>, <-8*w + 19, 5*w + 96>, <5*w + 94, 2*w - 114>, <81*w + 523, -16*w - 1337>, <-68*w + 895, 78*w + 442>, <13*w + 1418, 62*w - 895>, <-2*w + 103, 6*w - 26>, <-3*w + 10, 2*w + 35>, <4*w + 21, -w - 64>, <3*w + 31, -56>, , <2*w + 20, -35>, <21, w - 10>, <3*w + 32, -54>, <-2*w + 20, 2*w + 15>, <-3*w + 32, 3*w + 22>, <-2*w, w + 26>, , , <2*w + 23, -34>, <2*w + 1, -w - 25>, <23, w - 12>, , <-w + 89, 5*w - 32>, <-3*w + 29, 3*w + 26>, <4*w + 41, -76>, <3*w + 31, -57>, <2*w + 1, -w - 28>, <-w + 30, 2*w - 2>, <-3*w + 30, 3*w + 25>, <8*w + 4, -4*w - 107>, <3*w + 116, 4*w - 100>, <4*w + 100, 3*w - 116>, <-4*w + 107, 8*w - 4>, <58, 3*w - 33>, , <77, 4*w - 41>, <3*w + 50, w - 69>, <5*w + 90, 2*w - 119>, <-w + 48, 3*w - 11>, <4*w + 40, -77>, <58, 3*w - 30>, <3*w + 30, -58>, <77, 4*w - 40>, <-25*w + 10, 13*w + 353>, <-17*w + 67, 12*w + 210>, <-w + 143, 8*w - 57>, <-13*w + 353, 25*w + 10>, <-6*w, 3*w + 86>, <6*w + 37, -w - 103>, <2*w + 96, 4*w - 75>, <5*w + 66, w - 103>, <-6*w + 21, 4*w + 75>, <-11*w + 10, 6*w + 151>, <-2*w + 77, 5*w - 10>, <-w + 163, 9*w - 67>, <5*w + 48, -95>, <-11*w + 125, 12*w + 94>, <-6*w + 157, 11*w + 5>, <-2*w + 98, 6*w - 21>, <-2*w, w + 28>, <6*w + 39, -w - 103>, <3*w + 29, -55>, <2*w + 59, 2*w - 56>, <-25*w + 148, 20*w + 272>, <-10*w + 59, 8*w + 109>, <10*w + 59, -2*w - 168>, <17*w + 187, w - 328>, <-10*w + 1, 5*w + 138>, <11*w + 108, -206>, <3*w + 30, -55>, <4*w + 63, w - 85>, <-4*w + 82, 6*w + 11>, <1, 0>, <-2*w + 23, 2*w + 12>, <61, 3*w - 31>, <-w + 9, w + 9>, <28*w + 217, -3*w - 496>, <-28*w + 217, 25*w + 279>, <-3*w + 503, 27*w - 210>, <25*w + 720, 24*w - 706>, <-25*w + 720, 49*w - 14>, <-50*w, 25*w + 692>, <2*w + 99, 4*w - 77>, <-4*w, 2*w + 55>, <2*w + 41, w - 47>, <-2*w + 41, 3*w + 6>, <62, 3*w - 31>, <-4*w, 2*w + 53>, <-2*w + 21, 2*w + 16>, <3*w + 31, -55>, <-3*w + 31, 3*w + 24>, , <-w + 52, 3*w - 13>, <22, w - 11>, <2*w + 21, -38>, <6*w + 3, -3*w - 86>, <-5*w + 46, 5*w + 46>, <-3*w + 86, 6*w - 3>, <97, 5*w - 51>, <7*w + 47, -w - 123>, <-4*w + 77, 6*w + 19>, <3*w + 124, 5*w - 104>, <-2*w + 19, 2*w + 19>, <-5*w + 48, 5*w + 47>, <-6*w, 3*w + 83>, <5*w + 10, -2*w - 74>, <-2*w + 99, 6*w - 22>, <-8*w + 19, 5*w + 105>, <5*w + 105, 3*w - 124>, , <-w + 9, w + 10>, <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, 35, 36, 37 }, { 34, 38, 39, 40 }, { 41, 42, 43, 44, 45, 46, 47, 48, 49 }, { 41, 44, 50, 51, 52 }, { 50, 51, 53, 54, 55 }, { 56, 57, 58, 59 }, { 60, 61, 62, 63, 64 }, { 65, 66, 67, 68 }, { 69, 70, 71, 72 }, { 73, 74, 75, 76 }, { 76, 77, 78, 79 }, { 80, 81, 82, 83 }, { 84, 85, 86, 87 }, { 88, 89, 90, 91 }, { 89, 90, 92, 93 }, { 94, 95, 96, 97, 98, 99 }, { 100, 101, 102, 103, 104, 105 }, { 106, 107, 108, 109 }, { 110, 111, 112, 113 }, { 114, 115, 116, 117 }, { 118, 119, 120, 121, 122 }, { 123, 124, 125, 126 }, { 106, 127, 128, 129 }, { 127, 130, 131, 132, 133 }, { 106, 129, 131, 134 }, { 135, 136, 137, 138, 139, 140, 141, 142, 143 }, { 135, 138, 144, 145 }, { 136, 144, 146, 147 }, { 148, 149, 150, 151, 152, 153 }, { 154, 155, 156, 157, 158, 159 }, { 1, 2, 3, 160, 161 }, { 162, 163, 164, 165 }, { 162, 164, 166, 167 }, { 164, 168, 169, 170 }, { 168, 170, 171, 172, 173, 174 }, { 164, 172, 174, 175 }, { 176, 177, 178, 179 }, { 180, 181, 182, 183 }, { 5, 8, 9, 10, 184, 185 }, { 186, 187, 188, 189, 190, 191 }, { 192, 193, 194, 195 }, { 176, 177, 178, 196 }, { 197, 198, 199, 200 }, { 176, 201, 202, 203 }, { 204, 205, 206, 207 }, { 176, 201, 203, 208 }, { 181, 209, 210, 211 }, { 212, 213, 214, 215 }, { 216, 217, 218, 219 }, { 217, 219, 220, 221 }, { 213, 222, 223, 224 }, { 216, 223, 224, 225 }, { 220, 226, 227, 228 }, { 229, 230, 231, 232 }, { 213, 215, 230, 232 }, { 226, 229, 233, 234 }, { 229, 230, 235, 236 }, { 226, 230, 234, 236, 237, 238 }, { 239, 240, 241, 242, 243 }, { 241, 242, 244, 245 }, { 239, 246, 247, 248, 249 }, { 239, 250, 251, 252 }, { 239, 248, 251, 253 }, { 11, 12, 13, 254, 255, 256 }, { 257, 258, 259, 260 }, { 261, 262, 263, 264, 265 }, { 266, 267, 268, 269 }, { 270, 271, 272, 273 }, { 17, 18, 19, 274, 275 }, { 276, 277, 278, 279, 280 }, { 281, 282, 283, 284 }, { 281, 282, 285, 286 }, { 26, 287, 288, 289 }, { 288, 289, 290, 291 }, { 22, 23, 24, 289 }, { 26, 27, 28, 289 }, { 289, 290, 292, 293 }, { 289, 292, 294, 295 }, { 22, 289, 296, 297 }, { 289, 294, 297, 298 }, { 26, 299, 300, 301, 302 }, { 26, 302, 303, 304, 305 }, { 306, 307, 308, 309 }, { 310, 311, 312, 313 }, { 262, 313, 314, 315 }, { 316, 317, 318, 319 }, { 320, 321, 322, 323 }, { 320, 321, 324, 325 }, { 326, 327, 328, 329 }, { 326, 330, 331, 332 }, { 326, 328, 331, 333 }, { 29, 30, 31, 32, 334, 335 }, { 35, 336, 337, 338 }, { 34, 35, 36, 336 }, { 30, 34, 335, 339 }, { 29, 34, 334, 340 }, { 34, 38, 39, 336 }, { 39, 336, 341, 342 }, { 44, 53, 336, 343 }, { 41, 43, 44, 336 }, { 41, 54, 336, 344 }, { 41, 44, 50, 51, 53, 54 }, { 53, 336, 337, 345 }, { 54, 336, 341, 346 }, { 270, 272, 347, 348 }, { 90, 92, 349, 350 }, { 351, 352, 353, 354, 355 }, { 57, 92, 356, 357 }, { 56, 57, 58, 92 }, { 358, 359, 360, 361, 362 }, { 358, 362, 363, 364 }, { 359, 362, 364, 365 }, { 366, 367, 368, 369 }, { 367, 368, 369, 370 }, { 371, 372, 373, 374 }, { 371, 373, 375, 376 }, { 372, 373, 374, 377 }, { 378, 379, 380, 381, 382 }, { 60, 61, 64, 380, 381 }, { 60, 61, 62, 63, 383, 384 }, { 385, 386, 387, 388, 389, 390 }, { 65, 66, 67, 391 }, { 69, 70, 72, 392 }, { 73, 75, 80, 393 }, { 73, 75, 76, 393 }, { 77, 79, 392, 393 }, { 76, 77, 79, 393 }, { 394, 395, 396, 397 }, { 80, 82, 83, 398 }, { 80, 81, 83, 394 }, { 84, 85, 86, 399 }, { 84, 400, 401, 402 }, { 403, 404, 405, 406 }, { 88, 407, 408, 409 }, { 88, 407, 410, 411 }, { 407, 408, 411, 412 }, { 88, 89, 90, 92 }, { 88, 89, 408, 413 }, { 89, 92, 93, 408, 414 }, { 408, 411, 415, 416 }, { 95, 417, 418, 419 }, { 95, 419, 420, 421 }, { 95, 417, 422, 423 }, { 417, 422, 423, 424 }, { 375, 423, 424, 425 }, { 426, 427, 428, 429 }, { 101, 426, 427, 430 }, { 94, 95, 96, 98, 431, 432 }, { 94, 101, 427, 430 }, { 94, 433, 434, 435 }, { 94, 101, 435, 436 }, { 100, 101, 102, 104, 437, 438 }, { 439, 440, 441, 442, 443, 444 }, { 101, 104, 440, 441 }, { 441, 445, 446, 447 }, { 445, 446, 448, 449 }, { 439, 450, 451, 452 }, { 439, 441, 444, 452 }, { 106, 107, 108, 453 }, { 107, 453, 454, 455 }, { 454, 455, 456, 457 }, { 146, 458, 459, 460 }, { 136, 146, 459, 461 }, { 110, 458, 459, 462 }, { 110, 111, 112, 458 }, { 110, 111, 120, 462 }, { 114, 115, 116, 463 }, { 111, 119, 120, 462 }, { 119, 120, 121, 462, 464 }, { 119, 121, 124, 464 }, { 124, 125, 126, 465 }, { 121, 124, 126, 464 }, { 106, 127, 129, 131 }, { 127, 130, 131, 133, 463, 466 }, { 126, 131, 464, 465 }, { 106, 108, 131, 134 }, { 108, 131, 465, 467 }, { 135, 136, 138, 142, 144 }, { 136, 144, 146, 468 }, { 135, 144, 468, 469 }, { 135, 145, 469, 470 }, { 135, 471, 472, 473, 474 }, { 472, 475, 476, 477 }, { 148, 149, 151, 152, 475 }, { 149, 151, 475, 478 }, { 475, 478, 479, 480 }, { 481, 482, 483, 484 }, { 485, 486, 487, 488 }, { 485, 487, 489, 490 }, { 485, 487, 490, 491, 492 }, { 487, 491, 492, 493 }, { 154, 494, 495, 496, 497, 498 }, { 154, 155, 157, 158, 499 }, { 160, 500, 501, 502, 503, 504 }, { 2, 160, 161, 505 }, { 168, 171, 172, 173, 506 }, { 162, 166, 172, 507 }, { 162, 163, 168, 508 }, { 162, 163, 164, 168 }, { 162, 164, 166, 172 }, { 164, 168, 170, 172, 174 }, { 509, 510, 511, 512 }, { 509, 511, 513, 514 }, { 515, 516, 517, 518 }, { 513, 516, 518, 519 }, { 176, 177, 179, 193 }, { 176, 179, 182, 211 }, { 180, 181, 182, 211 }, { 520, 521, 522, 523 }, { 5, 9, 522, 523 }, { 5, 9, 185, 524 }, { 185, 524, 525, 526 }, { 186, 187, 189, 190, 521, 525 }, { 316, 525, 527, 528 }, { 192, 193, 194, 529 }, { 193, 194, 196, 529 }, { 176, 177, 193, 196 }, { 176, 196, 529, 530 }, { 521, 531, 532, 533 }, { 197, 198, 199, 534 }, { 176, 201, 202, 206 }, { 176, 199, 202, 534 }, { 204, 205, 206, 535 }, { 176, 201, 206, 208 }, { 176, 208, 535, 536 }, { 204, 206, 208, 535 }, { 193, 210, 211, 537 }, { 180, 181, 210, 211 }, { 213, 214, 538, 539 }, { 213, 214, 215, 230 }, { 213, 216, 220, 540, 541 }, { 216, 217, 219, 220 }, { 213, 216, 223, 224 }, { 216, 217, 223, 542 }, { 220, 226, 227, 229 }, { 213, 220, 229, 543, 544, 545 }, { 213, 229, 230, 232 }, { 226, 229, 230, 234, 236 }, { 239, 241, 242, 244 }, { 546, 547, 548, 549 }, { 546, 550, 551, 552 }, { 547, 549, 550, 551, 553, 554 }, { 546, 547, 550, 555 }, { 193, 210, 257, 556 }, { 210, 257, 557, 558 }, { 248, 256, 559, 560 }, { 223, 239, 247, 248, 559, 561 }, { 13, 223, 562, 563 }, { 223, 256, 559, 563 }, { 13, 239, 250, 251 }, { 239, 248, 251, 256 }, { 12, 13, 251, 255, 256, 564 }, { 239, 257, 258, 557 }, { 13, 239, 258, 565 }, { 13, 257, 258, 259 }, { 262, 263, 264, 566 }, { 310, 567, 568, 569 }, { 213, 266, 538, 570 }, { 213, 266, 571, 572 }, { 13, 223, 267, 573 }, { 223, 266, 267, 571 }, { 13, 266, 267, 268 }, { 270, 574, 575, 576 }, { 270, 271, 272, 576 }, { 577, 578, 579, 580 }, { 17, 275, 577, 581 }, { 17, 274, 275, 578, 580, 582 }, { 583, 584, 585, 586 }, { 584, 585, 586, 587, 588 }, { 578, 585, 587, 588 }, { 276, 277, 278, 279, 333, 589 }, { 281, 282, 283, 590 }, { 26, 281, 282, 285 }, { 26, 288, 289, 290 }, { 22, 24, 289, 301 }, { 26, 27, 289, 301 }, { 289, 290, 292, 589 }, { 289, 292, 294, 333 }, { 22, 289, 294, 297 }, { 22, 26, 301, 302, 591 }, { 26, 302, 305, 592, 593 }, { 26, 281, 285, 594 }, { 26, 593, 594, 595 }, { 281, 320, 594, 596, 597, 598 }, { 22, 320, 324, 596 }, { 22, 593, 596, 599 }, { 306, 307, 309, 600 }, { 262, 281, 601, 602 }, { 310, 311, 313, 603 }, { 262, 313, 314, 604 }, { 316, 317, 319, 567 }, { 310, 320, 605, 606 }, { 320, 321, 322, 330 }, { 22, 320, 321, 324 }, { 607, 608, 609, 610 }, { 31, 32, 334, 335, 611 }, { 607, 611, 612, 613 }, { 316, 317, 613, 614 }, { 326, 327, 607, 615 }, { 326, 327, 328, 333 }, { 326, 330, 613, 616 }, { 326, 330, 331, 333 }, { 29, 30, 34, 334, 335 }, { 35, 336, 337, 339 }, { 34, 35, 336, 339 }, { 34, 335, 339, 609 }, { 34, 316, 334, 340 }, { 34, 39, 336, 340 }, { 340, 341, 358, 617 }, { 39, 336, 340, 341 }, { 41, 44, 53, 54, 336 }, { 337, 618, 619, 620 }, { 53, 336, 337, 619 }, { 341, 358, 621, 622 }, { 54, 336, 341, 621 }, { 270, 272, 347, 623 }, { 623, 624, 625, 626 }, { 88, 90, 92, 349 }, { 88, 349, 627, 628 }, { 628, 629, 630, 631, 632, 633 }, { 351, 352, 353, 629 }, { 56, 57, 92, 356 }, { 56, 356, 630, 634 }, { 358, 359, 362, 364 }, { 92, 635, 636, 637 }, { 366, 638, 639, 640 }, { 366, 367, 368, 640 }, { 367, 368, 370, 640 }, { 367, 370, 379, 641 }, { 371, 375, 423, 642 }, { 371, 372, 373, 375 }, { 372, 373, 375, 377 }, { 372, 377, 378, 643 }, { 60, 61, 378, 379, 380, 381 }, { 60, 61, 383, 384, 644 }, { 367, 379, 386, 641 }, { 367, 372, 385, 386, 387, 388 }, { 392, 645, 646, 647 }, { 66, 67, 69, 70, 391, 392 }, { 75, 76, 80, 393 }, { 76, 79, 392, 393 }, { 80, 394, 395, 396 }, { 372, 394, 423, 648, 649 }, { 80, 83, 394, 398, 649 }, { 84, 306, 399, 650 }, { 84, 86, 358, 399 }, { 84, 306, 404, 651 }, { 84, 404, 652, 653 }, { 84, 358, 400, 401 }, { 84, 400, 402, 652 }, { 403, 404, 405, 652, 654 }, { 403, 405, 654, 655 }, { 306, 403, 404, 652 }, { 88, 410, 411, 656 }, { 88, 407, 408, 411 }, { 88, 89, 92, 408 }, { 408, 411, 416, 656 }, { 408, 415, 416, 657 }, { 95, 417, 419, 420 }, { 95, 417, 423, 431 }, { 375, 417, 423, 424 }, { 88, 375, 658, 659 }, { 101, 426, 427, 428 }, { 428, 439, 660, 661 }, { 94, 95, 420, 431, 433 }, { 94, 101, 427, 431 }, { 94, 101, 433, 435 }, { 101, 102, 433, 437, 438, 662 }, { 101, 104, 437, 441 }, { 101, 439, 440, 441, 442 }, { 441, 445, 446, 448 }, { 439, 441, 450, 452 }, { 106, 107, 453, 454 }, { 106, 108, 453, 465 }, { 454, 486, 487, 663 }, { 453, 454, 455, 465 }, { 454, 455, 456, 487 }, { 136, 146, 458, 459 }, { 458, 459, 462, 463 }, { 110, 111, 458, 462 }, { 115, 116, 462, 463, 464 }, { 111, 119, 124, 462, 464 }, { 124, 126, 464, 465 }, { 106, 127, 131, 463, 466 }, { 131, 463, 464, 465 }, { 106, 108, 131, 465 }, { 136, 146, 458, 468 }, { 135, 136, 144, 468 }, { 135, 458, 468, 469 }, { 135, 469, 470, 482 }, { 135, 148, 149, 481, 664 }, { 135, 481, 482, 665 }, { 135, 136, 472, 473, 474 }, { 135, 472, 475, 476, 666 }, { 135, 148, 149, 475, 664 }, { 149, 475, 478, 480 }, { 481, 482, 483, 667 }, { 485, 486, 487, 489 }, { 487, 489, 490, 492, 493 }, { 306, 486, 668, 669 }, { 149, 481, 670, 671 }, { 154, 495, 496, 499 }, { 154, 157, 160, 161, 499 }, { 154, 160, 496, 501, 502 }, { 168, 502, 672, 673 }, { 160, 161, 499, 505 }, { 160, 505, 674, 675 }, { 168, 172, 506, 673 }, { 162, 172, 507, 676 }, { 162, 168, 508, 515 }, { 162, 164, 168, 172 }, { 509, 510, 511, 513 }, { 513, 515, 516, 518 }, { 176, 179, 193, 211 }, { 176, 180, 182, 211 }, { 5, 521, 522, 523 }, { 5, 9, 523, 524 }, { 5, 185, 524, 525 }, { 186, 189, 521, 523, 524, 525 }, { 316, 525, 528, 529 }, { 192, 193, 316, 529 }, { 176, 193, 196, 529 }, { 5, 529, 677, 678 }, { 176, 529, 530, 677 }, { 521, 531, 532, 535 }, { 5, 176, 677, 679 }, { 5, 535, 679, 680 }, { 176, 535, 536, 679 }, { 176, 197, 199, 534 }, { 176, 202, 206, 534 }, { 205, 206, 531, 535 }, { 176, 206, 208, 535 }, { 180, 193, 210, 211 }, { 213, 214, 230, 538 }, { 213, 216, 217, 220, 223 }, { 213, 220, 226, 229, 230 }, { 239, 242, 244, 681, 682 }, { 546, 547, 549, 550, 551 }, { 510, 546, 549, 683 }, { 546, 551, 684, 685 }, { 193, 210, 257, 316 }, { 210, 239, 257, 557 }, { 223, 239, 248, 256, 559 }, { 13, 223, 256, 563 }, { 13, 239, 251, 256 }, { 13, 239, 257, 258 }, { 262, 263, 310, 566, 686 }, { 310, 566, 687, 688 }, { 310, 316, 567, 569, 689 }, { 213, 266, 306, 538 }, { 213, 223, 266, 571 }, { 13, 223, 266, 267 }, { 270, 272, 574, 576 }, { 316, 617, 690, 691 }, { 277, 333, 577, 578 }, { 275, 333, 577, 692 }, { 17, 275, 577, 578, 580 }, { 578, 583, 585, 586, 588 }, { 276, 583, 585, 589 }, { 276, 277, 333, 585, 589 }, { 277, 333, 578, 585 }, { 281, 283, 307, 590 }, { 26, 281, 282, 590 }, { 26, 589, 590, 693 }, { 26, 289, 290, 589 }, { 22, 26, 289, 301 }, { 289, 292, 333, 589 }, { 22, 289, 294, 333 }, { 22, 26, 302, 591, 593 }, { 26, 281, 593, 594 }, { 281, 320, 593, 594, 596 }, { 22, 320, 593, 596 }, { 262, 306, 307, 600 }, { 262, 281, 307, 602 }, { 262, 310, 313, 603, 604 }, { 310, 316, 317, 567 }, { 310, 317, 320, 606 }, { 317, 320, 322, 330 }, { 22, 320, 321, 330 }, { 22, 330, 333, 694 }, { 327, 607, 608, 609 }, { 335, 607, 609, 695 }, { 316, 334, 613, 696 }, { 334, 335, 607, 611, 613 }, { 316, 317, 330, 613 }, { 326, 607, 613, 697 }, { 326, 327, 333, 607 }, { 326, 330, 333, 613 }, { 34, 316, 334, 335, 609 }, { 336, 337, 339, 618 }, { 34, 336, 339, 609 }, { 316, 340, 358, 617 }, { 34, 316, 336, 340 }, { 336, 340, 341, 358 }, { 53, 54, 336, 619, 621 }, { 336, 337, 618, 619 }, { 336, 341, 358, 621 }, { 270, 272, 623, 698 }, { 364, 623, 624, 626 }, { 88, 92, 349, 628 }, { 56, 88, 351, 352, 628, 629, 630, 699, 700 }, { 56, 92, 356, 630 }, { 358, 359, 364, 637 }, { 92, 364, 635, 637 }, { 366, 367, 638, 640 }, { 367, 370, 379, 640 }, { 371, 372, 375, 423 }, { 372, 375, 377, 378 }, { 60, 61, 378, 379, 644 }, { 367, 372, 378, 379, 385, 386 }, { 367, 638, 645, 701 }, { 392, 645, 646, 701 }, { 66, 70, 80, 391, 392, 702 }, { 76, 80, 392, 393 }, { 372, 394, 423, 431 }, { 80, 394, 395, 431 }, { 80, 372, 394, 649 }, { 84, 306, 358, 399 }, { 84, 306, 404, 652 }, { 84, 358, 400, 652 }, { 306, 403, 652, 654, 655 }, { 358, 359, 637, 657, 703 }, { 88, 408, 411, 656 }, { 88, 92, 408, 657 }, { 408, 416, 656, 657 }, { 95, 417, 420, 431 }, { 375, 417, 423, 431 }, { 88, 375, 417, 658 }, { 101, 427, 428, 431 }, { 101, 428, 439, 661 }, { 420, 431, 433, 704 }, { 94, 101, 431, 433 }, { 101, 433, 437, 704 }, { 101, 437, 439, 441, 445 }, { 439, 441, 445, 448, 450 }, { 106, 453, 454, 465 }, { 306, 454, 486, 487 }, { 454, 455, 465, 487 }, { 136, 458, 459, 463 }, { 111, 458, 462, 463 }, { 111, 124, 462, 463, 464 }, { 124, 463, 464, 465 }, { 106, 463, 466, 704 }, { 106, 131, 463, 465 }, { 135, 136, 458, 468 }, { 135, 458, 469, 482 }, { 135, 149, 481, 482 }, { 135, 136, 472, 704 }, { 135, 149, 472, 475, 480 }, { 149, 481, 482, 667 }, { 306, 486, 487, 489 }, { 465, 487, 489, 493 }, { 306, 486, 489, 669 }, { 149, 481, 667, 670 }, { 154, 160, 496, 499, 502 }, { 168, 499, 502, 673 }, { 160, 499, 505, 674 }, { 168, 172, 499, 673 }, { 162, 168, 172, 515, 676 }, { 510, 511, 513, 674 }, { 168, 513, 515, 516 }, { 176, 180, 193, 211 }, { 5, 521, 523, 524, 525 }, { 5, 316, 525, 529 }, { 176, 193, 316, 529 }, { 5, 176, 529, 677 }, { 5, 521, 531, 535 }, { 5, 176, 535, 679 }, { 176, 197, 206, 534 }, { 176, 206, 531, 535 }, { 180, 193, 210, 316 }, { 213, 230, 306, 538 }, { 213, 217, 220, 223, 226, 230 }, { 180, 239, 244, 682 }, { 510, 546, 549, 551, 684 }, { 210, 239, 257, 316 }, { 13, 223, 239, 256 }, { 13, 239, 257, 688 }, { 262, 310, 566, 688 }, { 310, 316, 687, 688, 689 }, { 213, 223, 266, 306 }, { 13, 223, 266, 688 }, { 270, 272, 574, 698 }, { 316, 358, 617, 690 }, { 275, 333, 577, 578 }, { 275, 578, 583, 705, 706, 707, 708, 709, 710 }, { 333, 578, 583, 585, 589 }, { 358, 618, 619, 621, 711, 712 }, { 281, 306, 307, 590 }, { 26, 281, 589, 590 }, { 22, 26, 289, 333, 589 }, { 22, 26, 281, 320, 593 }, { 262, 281, 306, 307 }, { 262, 281, 310, 313, 320 }, { 310, 316, 317, 320 }, { 316, 317, 320, 330 }, { 22, 320, 330, 333 }, { 327, 333, 607, 609 }, { 316, 334, 335, 607, 609, 613 }, { 316, 330, 333, 613 }, { 326, 333, 607, 613 }, { 34, 316, 336, 609 }, { 336, 339, 609, 618 }, { 316, 336, 340, 358 }, { 336, 358, 618, 619, 621 }, { 270, 358, 626, 698 }, { 270, 623, 626, 698 }, { 358, 364, 623, 626 }, { 92, 364, 623, 624, 635 }, { 92, 623, 713, 714, 715, 716 }, { 56, 88, 92, 628, 630 }, { 88, 92, 637, 657 }, { 92, 358, 364, 637 }, { 367, 638, 640, 701 }, { 270, 367, 379, 640 }, { 372, 375, 423, 431 }, { 88, 372, 375, 378 }, { 270, 367, 379, 644 }, { 367, 372, 378, 379, 644 }, { 56, 88, 270, 644, 717, 718, 719, 720, 721 }, { 88, 372, 378, 644 }, { 367, 392, 645, 701 }, { 80, 367, 372, 391, 392, 722 }, { 80, 392, 393, 431, 701 }, { 80, 372, 394, 431 }, { 84, 306, 358, 652 }, { 306, 652, 654, 655, 656, 723 }, { 88, 358, 637, 657 }, { 88, 408, 656, 657 }, { 417, 420, 431, 704 }, { 88, 375, 417, 431 }, { 101, 428, 431, 439 }, { 101, 431, 433, 704 }, { 101, 437, 439, 445, 704 }, { 439, 445, 448, 450, 704 }, { 149, 448, 450, 480, 704 }, { 106, 454, 465, 704 }, { 306, 454, 465, 487 }, { 136, 458, 463, 704 }, { 111, 124, 458, 463, 465 }, { 106, 463, 465, 704 }, { 135, 136, 458, 704 }, { 135, 149, 458, 482 }, { 135, 149, 472, 480, 704 }, { 149, 458, 482, 667 }, { 306, 465, 487, 489 }, { 458, 465, 489, 493, 667, 724, 725, 726, 727 }, { 149, 306, 489, 667, 669, 670 }, { 160, 168, 499, 502, 674 }, { 168, 172, 499, 515, 676 }, { 168, 510, 513, 515, 674 }, { 176, 180, 193, 316 }, { 5, 316, 521, 525, 531 }, { 5, 176, 316, 529 }, { 5, 176, 531, 535 }, { 176, 197, 510, 728, 729, 730 }, { 176, 197, 206, 531 }, { 180, 210, 239, 316 }, { 213, 223, 230, 306 }, { 180, 239, 510, 682, 684 }, { 510, 549, 551, 684, 731, 732 }, { 239, 257, 316, 688 }, { 13, 223, 239, 688 }, { 262, 306, 310, 316, 688 }, { 223, 266, 306, 688 }, { 270, 358, 574, 698 }, { 316, 358, 574, 690 }, { 275, 333, 578, 583, 589, 705, 706, 707, 733 }, { 358, 618, 711, 712, 734, 735 }, { 281, 306, 589, 590 }, { 22, 26, 281, 320, 333, 589 }, { 262, 281, 306, 310, 316, 320 }, { 316, 320, 330, 333 }, { 316, 333, 607, 609, 613 }, { 316, 336, 358, 609, 618 }, { 270, 358, 623, 626 }, { 92, 358, 364, 623 }, { 56, 88, 92, 270, 623, 715, 717, 718, 719 }, { 88, 92, 358, 637 }, { 270, 367, 640, 701 }, { 88, 372, 375, 431 }, { 88, 270, 367, 372, 644 }, { 80, 367, 372, 392, 431, 701 }, { 306, 358, 652, 656 }, { 88, 358, 656, 657 }, { 88, 417, 431, 704 }, { 88, 306, 656, 704 }, { 101, 431, 439, 704 }, { 149, 439, 450, 704 }, { 306, 454, 465, 704 }, { 458, 463, 465, 704 }, { 135, 149, 458, 704 }, { 149, 306, 458, 465, 489, 667 }, { 499, 515, 676, 736 }, { 168, 499, 510, 515, 674 }, { 176, 180, 316, 510 }, { 5, 176, 316, 531 }, { 176, 197, 510, 531 }, { 180, 239, 316, 510 }, { 223, 230, 306, 731 }, { 223, 239, 510, 684, 731, 732 }, { 223, 239, 306, 316, 688 }, { 270, 316, 358, 574 }, { 333, 358, 589, 618, 733, 734 }, { 281, 306, 316, 320, 333, 589 }, { 316, 333, 358, 609, 618 }, { 88, 92, 270, 358, 623 }, { 88, 270, 367, 372, 431, 701 }, { 88, 306, 358, 656 }, { 88, 306, 431, 704 }, { 149, 431, 439, 704 }, { 149, 306, 458, 465, 704 }, { 499, 510, 515, 731, 736, 737 }, { 176, 316, 510, 531 }, { 223, 239, 306, 316, 510, 731 }, { 270, 316, 358, 701 }, { 306, 316, 333, 358, 589 }, { 88, 270, 358, 431, 701 }, { 88, 306, 358, 431 }, { 149, 306, 431, 704 }, { 149, 306, 316, 510, 515, 531, 731, 738, 739 }, { 306, 316, 358, 431, 701 }, { 149, 306, 316, 431, 531, 701, 738, 739, 740 } ] /* Faces of top cells */ [ [ { 2, 3, 4 }, { 1, 3, 4 }, { 1, 2, 4 }, { 1, 2, 3 } ], [ { 6, 7, 8, 10 }, { 5, 7, 8 }, { 5, 6, 7, 9 }, { 5, 8, 9, 10 }, { 6, 9, 10 } ], [ { 11, 13, 14 }, { 11, 12, 13 }, { 13, 14, 15 }, { 12, 13, 15 }, { 11, 14, 16 }, { 12, 15, 16 }, { 11, 12, 16 }, { 14, 15, 16 } ], [ { 18, 19, 20 }, { 17, 19, 20 }, { 17, 18, 20 }, { 17, 18, 19 } ], [ { 22, 23, 24 }, { 21, 23, 24 }, { 21, 22, 24 }, { 21, 22, 23 } ], [ { 26, 27, 28 }, { 25, 27, 28 }, { 25, 26, 28 }, { 25, 26, 27 } ], [ { 29, 31, 33 }, { 29, 30, 33 }, { 29, 30, 31, 32 }, { 31, 32, 33 }, { 30, 32, 33 } ], [ { 35, 36, 37 }, { 34, 36, 37 }, { 34, 35, 37 }, { 34, 35, 36 } ], [ { 34, 39, 40 }, { 34, 38, 40 }, { 38, 39, 40 }, { 34, 38, 39 } ], [ { 41, 43, 44 }, { 41, 42, 43, 48 }, { 42, 43, 45 }, { 43, 44, 45, 47 }, { 42, 45, 46, 49 }, { 41, 44, 46, 47, 48, 49 }, { 42, 46, 48 }, { 45, 47, 49 } ], [ { 41, 44, 52 }, { 41, 50, 52 }, { 41, 44, 50, 51 }, { 50, 51, 52 }, { 44, 51, 52 } ], [ { 50, 54, 55 }, { 53, 54, 55 }, { 50, 51, 53, 54 }, { 51, 53, 55 }, { 50, 51, 55 } ], [ { 57, 58, 59 }, { 56, 58, 59 }, { 56, 57, 59 }, { 56, 57, 58 } ], [ { 61, 62, 64 }, { 60, 61, 64 }, { 60, 61, 62, 63 }, { 62, 63, 64 }, { 60, 63, 64 } ], [ { 66, 67, 68 }, { 65, 67, 68 }, { 65, 66, 68 }, { 65, 66, 67 } ], [ { 70, 71, 72 }, { 69, 71, 72 }, { 69, 70, 72 }, { 69, 70, 71 } ], [ { 74, 75, 76 }, { 73, 75, 76 }, { 73, 74, 76 }, { 73, 74, 75 } ], [ { 76, 78, 79 }, { 76, 77, 79 }, { 76, 77, 78 }, { 77, 78, 79 } ], [ { 81, 82, 83 }, { 80, 82, 83 }, { 80, 81, 83 }, { 80, 81, 82 } ], [ { 85, 86, 87 }, { 84, 86, 87 }, { 84, 85, 87 }, { 84, 85, 86 } ], [ { 89, 90, 91 }, { 88, 90, 91 }, { 88, 89, 91 }, { 88, 89, 90 } ], [ { 90, 92, 93 }, { 89, 90, 93 }, { 89, 92, 93 }, { 89, 90, 92 } ], [ { 95, 96, 97, 99 }, { 94, 95, 96, 98 }, { 96, 97, 98 }, { 94, 97, 98, 99 }, { 94, 95, 99 } ], [ { 101, 102, 103 }, { 100, 102, 103, 105 }, { 100, 101, 102, 104 }, { 101, 103, 104, 105 }, { 100, 104, 105 } ], [ { 107, 108, 109 }, { 106, 108, 109 }, { 106, 107, 109 }, { 106, 107, 108 } ], [ { 111, 112, 113 }, { 110, 112, 113 }, { 110, 111, 113 }, { 110, 111, 112 } ], [ { 115, 116, 117 }, { 114, 116, 117 }, { 114, 115, 117 }, { 114, 115, 116 } ], [ { 119, 120, 121 }, { 118, 120, 121, 122 }, { 118, 119, 121 }, { 118, 119, 122 }, { 119, 120, 122 } ], [ { 124, 125, 126 }, { 123, 125, 126 }, { 123, 124, 126 }, { 123, 124, 125 } ], [ { 127, 128, 129 }, { 106, 128, 129 }, { 106, 127, 129 }, { 106, 127, 128 } ], [ { 127, 131, 132 }, { 127, 130, 132 }, { 127, 130, 131, 133 }, { 130, 132, 133 }, { 131, 132, 133 } ], [ { 129, 131, 134 }, { 106, 129, 134 }, { 106, 129, 131 }, { 106, 131, 134 } ], [ { 135, 137, 138, 139, 140, 141 }, { 135, 136, 138, 142 }, { 135, 136, 137 }, { 136, 137, 139, 143 }, { 138, 140, 142 }, { 140, 141, 142, 143 }, { 139, 141, 143 }, { 136, 142, 143 } ], [ { 138, 144, 145 }, { 135, 138, 145 }, { 135, 144, 145 }, { 135, 138, 144 } ], [ { 144, 146, 147 }, { 136, 146, 147 }, { 136, 144, 147 }, { 136, 144, 146 } ], [ { 148, 149, 151, 152 }, { 148, 149, 150, 153 }, { 150, 151, 152, 153 }, { 148, 150, 152 }, { 149, 151, 153 } ], [ { 155, 156, 157 }, { 154, 156, 157, 159 }, { 154, 155, 157, 158 }, { 155, 156, 158, 159 }, { 154, 158, 159 } ], [ { 1, 2, 161 }, { 2, 160, 161 }, { 1, 3, 160, 161 }, { 2, 3, 160 }, { 1, 2, 3 } ], [ { 163, 164, 165 }, { 162, 164, 165 }, { 162, 163, 165 }, { 162, 163, 164 } ], [ { 164, 166, 167 }, { 162, 166, 167 }, { 162, 164, 167 }, { 162, 164, 166 } ], [ { 164, 169, 170 }, { 164, 168, 170 }, { 168, 169, 170 }, { 164, 168, 169 } ], [ { 171, 172, 174 }, { 168, 170, 172, 174 }, { 168, 171, 172, 173 }, { 170, 171, 173, 174 }, { 168, 170, 173 } ], [ { 164, 172, 174 }, { 164, 174, 175 }, { 172, 174, 175 }, { 164, 172, 175 } ], [ { 177, 178, 179 }, { 176, 178, 179 }, { 176, 177, 179 }, { 176, 177, 178 } ], [ { 181, 182, 183 }, { 180, 182, 183 }, { 180, 181, 183 }, { 180, 181, 182 } ], [ { 5, 8, 9, 10 }, { 5, 8, 184, 185 }, { 9, 10, 184, 185 }, { 5, 9, 185 }, { 8, 10, 184 } ], [ { 186, 187, 189, 190 }, { 186, 187, 188, 191 }, { 188, 189, 190, 191 }, { 187, 188, 190 }, { 186, 189, 191 } ], [ { 193, 194, 195 }, { 192, 194, 195 }, { 192, 193, 195 }, { 192, 193, 194 } ], [ { 177, 178, 196 }, { 176, 177, 178 }, { 176, 178, 196 }, { 176, 177, 196 } ], [ { 198, 199, 200 }, { 197, 199, 200 }, { 197, 198, 200 }, { 197, 198, 199 } ], [ { 201, 202, 203 }, { 176, 202, 203 }, { 176, 201, 203 }, { 176, 201, 202 } ], [ { 205, 206, 207 }, { 204, 206, 207 }, { 204, 205, 207 }, { 204, 205, 206 } ], [ { 201, 203, 208 }, { 176, 203, 208 }, { 176, 201, 203 }, { 176, 201, 208 } ], [ { 181, 210, 211 }, { 181, 209, 211 }, { 181, 209, 210 }, { 209, 210, 211 } ], [ { 213, 214, 215 }, { 212, 214, 215 }, { 212, 213, 215 }, { 212, 213, 214 } ], [ { 217, 218, 219 }, { 216, 218, 219 }, { 216, 217, 219 }, { 216, 217, 218 } ], [ { 219, 220, 221 }, { 217, 219, 221 }, { 217, 219, 220 }, { 217, 220, 221 } ], [ { 213, 223, 224 }, { 222, 223, 224 }, { 213, 222, 224 }, { 213, 222, 223 } ], [ { 216, 224, 225 }, { 216, 223, 224 }, { 223, 224, 225 }, { 216, 223, 225 } ], [ { 220, 227, 228 }, { 220, 226, 228 }, { 226, 227, 228 }, { 220, 226, 227 } ], [ { 230, 231, 232 }, { 229, 231, 232 }, { 229, 230, 232 }, { 229, 230, 231 } ], [ { 215, 230, 232 }, { 213, 215, 232 }, { 213, 230, 232 }, { 213, 215, 230 } ], [ { 226, 233, 234 }, { 229, 233, 234 }, { 226, 229, 234 }, { 226, 229, 233 } ], [ { 229, 230, 236 }, { 230, 235, 236 }, { 229, 235, 236 }, { 229, 230, 235 } ], [ { 230, 236, 237 }, { 226, 230, 237, 238 }, { 226, 230, 234, 236 }, { 234, 236, 237, 238 }, { 226, 234, 238 } ], [ { 240, 241, 242 }, { 239, 241, 242 }, { 239, 240, 242, 243 }, { 240, 241, 243 }, { 239, 241, 243 } ], [ { 242, 244, 245 }, { 241, 242, 245 }, { 241, 244, 245 }, { 241, 242, 244 } ], [ { 246, 247, 248, 249 }, { 239, 247, 248 }, { 239, 246, 248 }, { 239, 246, 249 }, { 239, 247, 249 } ], [ { 250, 251, 252 }, { 239, 251, 252 }, { 239, 250, 252 }, { 239, 250, 251 } ], [ { 248, 251, 253 }, { 239, 251, 253 }, { 239, 248, 253 }, { 239, 248, 251 } ], [ { 11, 13, 254, 256 }, { 11, 12, 254, 255 }, { 11, 12, 13 }, { 12, 13, 255, 256 }, { 254, 255, 256 } ], [ { 258, 259, 260 }, { 257, 259, 260 }, { 257, 258, 260 }, { 257, 258, 259 } ], [ { 262, 263, 264 }, { 261, 263, 264, 265 }, { 261, 262, 264 }, { 261, 262, 265 }, { 262, 263, 265 } ], [ { 267, 268, 269 }, { 266, 268, 269 }, { 266, 267, 269 }, { 266, 267, 268 } ], [ { 271, 272, 273 }, { 270, 272, 273 }, { 270, 271, 273 }, { 270, 271, 272 } ], [ { 18, 19, 274, 275 }, { 17, 274, 275 }, { 17, 18, 275 }, { 17, 18, 19 }, { 17, 19, 274 } ], [ { 276, 278, 280 }, { 276, 277, 280 }, { 276, 277, 278, 279 }, { 278, 279, 280 }, { 277, 279, 280 } ], [ { 282, 283, 284 }, { 281, 283, 284 }, { 281, 282, 284 }, { 281, 282, 283 } ], [ { 282, 285, 286 }, { 281, 285, 286 }, { 281, 282, 286 }, { 281, 282, 285 } ], [ { 287, 288, 289 }, { 26, 288, 289 }, { 26, 287, 289 }, { 26, 287, 288 } ], [ { 289, 290, 291 }, { 288, 289, 291 }, { 288, 289, 290 }, { 288, 290, 291 } ], [ { 23, 24, 289 }, { 22, 24, 289 }, { 22, 23, 289 }, { 22, 23, 24 } ], [ { 27, 28, 289 }, { 26, 28, 289 }, { 26, 27, 289 }, { 26, 27, 28 } ], [ { 289, 290, 293 }, { 289, 292, 293 }, { 289, 290, 292 }, { 290, 292, 293 } ], [ { 289, 294, 295 }, { 289, 292, 295 }, { 289, 292, 294 }, { 292, 294, 295 } ], [ { 22, 289, 297 }, { 289, 296, 297 }, { 22, 289, 296 }, { 22, 296, 297 } ], [ { 289, 294, 298 }, { 289, 297, 298 }, { 289, 294, 297 }, { 294, 297, 298 } ], [ { 299, 300, 301 }, { 26, 300, 301 }, { 26, 299, 300, 302 }, { 26, 301, 302 }, { 299, 301, 302 } ], [ { 302, 303, 304 }, { 26, 302, 304 }, { 26, 303, 304, 305 }, { 26, 302, 305 }, { 302, 303, 305 } ], [ { 307, 308, 309 }, { 306, 308, 309 }, { 306, 307, 309 }, { 306, 307, 308 } ], [ { 311, 312, 313 }, { 310, 312, 313 }, { 310, 311, 313 }, { 310, 311, 312 } ], [ { 313, 314, 315 }, { 262, 313, 315 }, { 262, 313, 314 }, { 262, 314, 315 } ], [ { 317, 318, 319 }, { 316, 318, 319 }, { 316, 317, 319 }, { 316, 317, 318 } ], [ { 321, 322, 323 }, { 320, 322, 323 }, { 320, 321, 323 }, { 320, 321, 322 } ], [ { 321, 324, 325 }, { 320, 324, 325 }, { 320, 321, 325 }, { 320, 321, 324 } ], [ { 327, 328, 329 }, { 326, 328, 329 }, { 326, 327, 329 }, { 326, 327, 328 } ], [ { 326, 331, 332 }, { 330, 331, 332 }, { 326, 330, 332 }, { 326, 330, 331 } ], [ { 326, 328, 331 }, { 328, 331, 333 }, { 326, 328, 333 }, { 326, 331, 333 } ], [ { 29, 31, 334 }, { 29, 30, 31, 32 }, { 29, 30, 334, 335 }, { 31, 32, 334, 335 }, { 30, 32, 335 } ], [ { 35, 337, 338 }, { 35, 336, 338 }, { 35, 336, 337 }, { 336, 337, 338 } ], [ { 34, 35, 36 }, { 35, 36, 336 }, { 34, 36, 336 }, { 34, 35, 336 } ], [ { 34, 335, 339 }, { 30, 335, 339 }, { 30, 34, 339 }, { 30, 34, 335 } ], [ { 34, 334, 340 }, { 29, 34, 340 }, { 29, 334, 340 }, { 29, 34, 334 } ], [ { 34, 39, 336 }, { 34, 38, 39 }, { 34, 38, 336 }, { 38, 39, 336 } ], [ { 39, 341, 342 }, { 39, 336, 342 }, { 336, 341, 342 }, { 39, 336, 341 } ], [ { 44, 53, 343 }, { 44, 336, 343 }, { 44, 53, 336 }, { 53, 336, 343 } ], [ { 43, 44, 336 }, { 41, 43, 44 }, { 41, 44, 336 }, { 41, 43, 336 } ], [ { 54, 336, 344 }, { 41, 54, 344 }, { 41, 336, 344 }, { 41, 54, 336 } ], [ { 50, 51, 53, 54 }, { 41, 50, 54 }, { 41, 44, 53, 54 }, { 41, 44, 50, 51 }, { 44, 51, 53 } ], [ { 53, 337, 345 }, { 53, 336, 345 }, { 336, 337, 345 }, { 53, 336, 337 } ], [ { 54, 341, 346 }, { 54, 336, 341 }, { 54, 336, 346 }, { 336, 341, 346 } ], [ { 272, 347, 348 }, { 270, 272, 348 }, { 270, 272, 347 }, { 270, 347, 348 } ], [ { 90, 349, 350 }, { 90, 92, 350 }, { 92, 349, 350 }, { 90, 92, 349 } ], [ { 352, 353, 354 }, { 351, 352, 354, 355 }, { 351, 352, 353 }, { 351, 353, 355 }, { 353, 354, 355 } ], [ { 57, 92, 357 }, { 92, 356, 357 }, { 57, 356, 357 }, { 57, 92, 356 } ], [ { 57, 58, 92 }, { 56, 58, 92 }, { 56, 57, 58 }, { 56, 57, 92 } ], [ { 358, 360, 362 }, { 358, 359, 362 }, { 358, 359, 360, 361 }, { 360, 361, 362 }, { 359, 361, 362 } ], [ { 358, 362, 364 }, { 362, 363, 364 }, { 358, 363, 364 }, { 358, 362, 363 } ], [ { 362, 364, 365 }, { 359, 362, 364 }, { 359, 364, 365 }, { 359, 362, 365 } ], [ { 367, 368, 369 }, { 366, 368, 369 }, { 366, 367, 369 }, { 366, 367, 368 } ], [ { 368, 369, 370 }, { 367, 368, 369 }, { 367, 369, 370 }, { 367, 368, 370 } ], [ { 372, 373, 374 }, { 371, 373, 374 }, { 371, 372, 374 }, { 371, 372, 373 } ], [ { 373, 375, 376 }, { 371, 373, 376 }, { 371, 375, 376 }, { 371, 373, 375 } ], [ { 373, 374, 377 }, { 372, 373, 374 }, { 372, 374, 377 }, { 372, 373, 377 } ], [ { 379, 380, 382 }, { 378, 379, 382 }, { 378, 379, 380, 381 }, { 378, 381, 382 }, { 380, 381, 382 } ], [ { 60, 64, 380 }, { 60, 61, 64 }, { 60, 61, 380, 381 }, { 64, 380, 381 }, { 61, 64, 381 } ], [ { 61, 62, 383 }, { 60, 61, 383, 384 }, { 60, 61, 62, 63 }, { 62, 63, 383, 384 }, { 60, 63, 384 } ], [ { 385, 387, 389, 390 }, { 385, 386, 389 }, { 385, 386, 387, 388 }, { 386, 388, 389, 390 }, { 387, 388, 390 } ], [ { 66, 67, 391 }, { 65, 67, 391 }, { 65, 66, 391 }, { 65, 66, 67 } ], [ { 70, 72, 392 }, { 69, 70, 72 }, { 69, 72, 392 }, { 69, 70, 392 } ], [ { 75, 80, 393 }, { 73, 75, 393 }, { 73, 75, 80 }, { 73, 80, 393 } ], [ { 75, 76, 393 }, { 73, 75, 76 }, { 73, 76, 393 }, { 73, 75, 393 } ], [ { 79, 392, 393 }, { 77, 79, 393 }, { 77, 79, 392 }, { 77, 392, 393 } ], [ { 76, 79, 393 }, { 76, 77, 79 }, { 76, 77, 393 }, { 77, 79, 393 } ], [ { 395, 396, 397 }, { 394, 396, 397 }, { 394, 395, 397 }, { 394, 395, 396 } ], [ { 80, 82, 83 }, { 82, 83, 398 }, { 80, 83, 398 }, { 80, 82, 398 } ], [ { 80, 81, 83 }, { 81, 83, 394 }, { 80, 83, 394 }, { 80, 81, 394 } ], [ { 85, 86, 399 }, { 84, 86, 399 }, { 84, 85, 399 }, { 84, 85, 86 } ], [ { 84, 401, 402 }, { 400, 401, 402 }, { 84, 400, 402 }, { 84, 400, 401 } ], [ { 404, 405, 406 }, { 403, 405, 406 }, { 403, 404, 406 }, { 403, 404, 405 } ], [ { 407, 408, 409 }, { 88, 408, 409 }, { 88, 407, 409 }, { 88, 407, 408 } ], [ { 407, 410, 411 }, { 88, 410, 411 }, { 88, 407, 411 }, { 88, 407, 410 } ], [ { 408, 411, 412 }, { 407, 411, 412 }, { 407, 408, 412 }, { 407, 408, 411 } ], [ { 89, 90, 92 }, { 88, 90, 92 }, { 88, 89, 90 }, { 88, 89, 92 } ], [ { 89, 408, 413 }, { 88, 408, 413 }, { 88, 89, 408 }, { 88, 89, 413 } ], [ { 92, 93, 408, 414 }, { 89, 408, 414 }, { 89, 92, 408 }, { 89, 92, 93 }, { 89, 93, 414 } ], [ { 408, 411, 416 }, { 408, 411, 415 }, { 411, 415, 416 }, { 408, 415, 416 } ], [ { 417, 418, 419 }, { 95, 418, 419 }, { 95, 417, 419 }, { 95, 417, 418 } ], [ { 419, 420, 421 }, { 95, 419, 421 }, { 95, 420, 421 }, { 95, 419, 420 } ], [ { 95, 417, 423 }, { 417, 422, 423 }, { 95, 417, 422 }, { 95, 422, 423 } ], [ { 417, 423, 424 }, { 417, 422, 424 }, { 422, 423, 424 }, { 417, 422, 423 } ], [ { 375, 424, 425 }, { 423, 424, 425 }, { 375, 423, 424 }, { 375, 423, 425 } ], [ { 427, 428, 429 }, { 426, 428, 429 }, { 426, 427, 429 }, { 426, 427, 428 } ], [ { 101, 427, 430 }, { 101, 426, 430 }, { 426, 427, 430 }, { 101, 426, 427 } ], [ { 94, 95, 431 }, { 95, 96, 431, 432 }, { 94, 98, 431, 432 }, { 94, 95, 96, 98 }, { 96, 98, 432 } ], [ { 94, 101, 430 }, { 101, 427, 430 }, { 94, 427, 430 }, { 94, 101, 427 } ], [ { 433, 434, 435 }, { 94, 434, 435 }, { 94, 433, 435 }, { 94, 433, 434 } ], [ { 101, 435, 436 }, { 94, 435, 436 }, { 94, 101, 436 }, { 94, 101, 435 } ], [ { 101, 102, 437, 438 }, { 100, 101, 102, 104 }, { 100, 104, 437, 438 }, { 100, 102, 438 }, { 101, 104, 437 } ], [ { 440, 441, 443, 444 }, { 439, 440, 441, 442 }, { 439, 442, 443, 444 }, { 440, 442, 443 }, { 439, 441, 444 } ], [ { 104, 440, 441 }, { 101, 104, 441 }, { 101, 104, 440 }, { 101, 440, 441 } ], [ { 441, 446, 447 }, { 445, 446, 447 }, { 441, 445, 447 }, { 441, 445, 446 } ], [ { 446, 448, 449 }, { 445, 448, 449 }, { 445, 446, 449 }, { 445, 446, 448 } ], [ { 439, 451, 452 }, { 439, 450, 452 }, { 450, 451, 452 }, { 439, 450, 451 } ], [ { 441, 444, 452 }, { 439, 444, 452 }, { 439, 441, 452 }, { 439, 441, 444 } ], [ { 107, 108, 453 }, { 106, 107, 108 }, { 106, 108, 453 }, { 106, 107, 453 } ], [ { 107, 453, 455 }, { 107, 454, 455 }, { 107, 453, 454 }, { 453, 454, 455 } ], [ { 455, 456, 457 }, { 454, 456, 457 }, { 454, 455, 457 }, { 454, 455, 456 } ], [ { 146, 459, 460 }, { 146, 458, 460 }, { 458, 459, 460 }, { 146, 458, 459 } ], [ { 136, 146, 461 }, { 146, 459, 461 }, { 136, 459, 461 }, { 136, 146, 459 } ], [ { 110, 459, 462 }, { 110, 458, 459 }, { 110, 458, 462 }, { 458, 459, 462 } ], [ { 110, 111, 112 }, { 111, 112, 458 }, { 110, 112, 458 }, { 110, 111, 458 } ], [ { 110, 111, 120 }, { 110, 111, 462 }, { 111, 120, 462 }, { 110, 120, 462 } ], [ { 114, 115, 116 }, { 115, 116, 463 }, { 114, 116, 463 }, { 114, 115, 463 } ], [ { 111, 119, 120 }, { 111, 120, 462 }, { 111, 119, 462 }, { 119, 120, 462 } ], [ { 119, 120, 462 }, { 120, 121, 462, 464 }, { 119, 462, 464 }, { 119, 121, 464 }, { 119, 120, 121 } ], [ { 119, 121, 464 }, { 119, 121, 124 }, { 121, 124, 464 }, { 119, 124, 464 } ], [ { 125, 126, 465 }, { 124, 125, 126 }, { 124, 126, 465 }, { 124, 125, 465 } ], [ { 121, 126, 464 }, { 121, 124, 126 }, { 121, 124, 464 }, { 124, 126, 464 } ], [ { 127, 129, 131 }, { 106, 129, 131 }, { 106, 127, 129 }, { 106, 127, 131 } ], [ { 127, 131, 463, 466 }, { 127, 130, 466 }, { 130, 133, 463, 466 }, { 127, 130, 131, 133 }, { 131, 133, 463 } ], [ { 126, 131, 464 }, { 126, 131, 465 }, { 126, 464, 465 }, { 131, 464, 465 } ], [ { 108, 131, 134 }, { 106, 108, 134 }, { 106, 108, 131 }, { 106, 131, 134 } ], [ { 108, 131, 465 }, { 108, 131, 467 }, { 108, 465, 467 }, { 131, 465, 467 } ], [ { 135, 138, 144 }, { 135, 136, 138, 142 }, { 135, 136, 144 }, { 138, 142, 144 }, { 136, 142, 144 } ], [ { 136, 144, 146 }, { 144, 146, 468 }, { 136, 146, 468 }, { 136, 144, 468 } ], [ { 144, 468, 469 }, { 135, 144, 469 }, { 135, 468, 469 }, { 135, 144, 468 } ], [ { 135, 145, 469 }, { 145, 469, 470 }, { 135, 145, 470 }, { 135, 469, 470 } ], [ { 135, 472, 473, 474 }, { 135, 471, 473 }, { 135, 471, 472 }, { 471, 473, 474 }, { 471, 472, 474 } ], [ { 475, 476, 477 }, { 472, 476, 477 }, { 472, 475, 477 }, { 472, 475, 476 } ], [ { 149, 151, 475 }, { 148, 149, 475 }, { 148, 149, 151, 152 }, { 148, 152, 475 }, { 151, 152, 475 } ], [ { 151, 475, 478 }, { 149, 475, 478 }, { 149, 151, 478 }, { 149, 151, 475 } ], [ { 475, 478, 480 }, { 475, 478, 479 }, { 478, 479, 480 }, { 475, 479, 480 } ], [ { 482, 483, 484 }, { 481, 483, 484 }, { 481, 482, 484 }, { 481, 482, 483 } ], [ { 486, 487, 488 }, { 485, 487, 488 }, { 485, 486, 488 }, { 485, 486, 487 } ], [ { 485, 487, 490 }, { 487, 489, 490 }, { 485, 489, 490 }, { 485, 487, 489 } ], [ { 487, 491, 492 }, { 485, 490, 491, 492 }, { 485, 487, 491 }, { 487, 490, 492 }, { 485, 487, 490 } ], [ { 487, 492, 493 }, { 491, 492, 493 }, { 487, 491, 492 }, { 487, 491, 493 } ], [ { 154, 495, 496 }, { 494, 495, 496, 497 }, { 154, 494, 496, 498 }, { 154, 495, 497, 498 }, { 494, 497, 498 } ], [ { 154, 155, 157, 158 }, { 155, 157, 499 }, { 154, 157, 499 }, { 154, 158, 499 }, { 155, 158, 499 } ], [ { 160, 501, 502 }, { 500, 501, 502, 503 }, { 160, 500, 502, 504 }, { 160, 501, 503, 504 }, { 500, 503, 504 } ], [ { 2, 161, 505 }, { 2, 160, 161 }, { 2, 160, 505 }, { 160, 161, 505 } ], [ { 171, 172, 506 }, { 168, 172, 506 }, { 168, 171, 172, 173 }, { 168, 173, 506 }, { 171, 173, 506 } ], [ { 166, 172, 507 }, { 162, 166, 507 }, { 162, 166, 172 }, { 162, 172, 507 } ], [ { 163, 168, 508 }, { 162, 163, 508 }, { 162, 163, 168 }, { 162, 168, 508 } ], [ { 163, 164, 168 }, { 162, 163, 164 }, { 162, 164, 168 }, { 162, 163, 168 } ], [ { 164, 166, 172 }, { 162, 164, 166 }, { 162, 166, 172 }, { 162, 164, 172 } ], [ { 164, 172, 174 }, { 168, 170, 172, 174 }, { 164, 168, 172 }, { 164, 168, 170 }, { 164, 170, 174 } ], [ { 510, 511, 512 }, { 509, 511, 512 }, { 509, 510, 512 }, { 509, 510, 511 } ], [ { 511, 513, 514 }, { 509, 513, 514 }, { 509, 511, 514 }, { 509, 511, 513 } ], [ { 516, 517, 518 }, { 515, 517, 518 }, { 515, 516, 518 }, { 515, 516, 517 } ], [ { 513, 516, 518 }, { 516, 518, 519 }, { 513, 518, 519 }, { 513, 516, 519 } ], [ { 177, 179, 193 }, { 176, 177, 179 }, { 176, 179, 193 }, { 176, 177, 193 } ], [ { 176, 179, 182 }, { 179, 182, 211 }, { 176, 182, 211 }, { 176, 179, 211 } ], [ { 180, 181, 182 }, { 181, 182, 211 }, { 180, 182, 211 }, { 180, 181, 211 } ], [ { 521, 522, 523 }, { 520, 522, 523 }, { 520, 521, 523 }, { 520, 521, 522 } ], [ { 9, 522, 523 }, { 5, 9, 523 }, { 5, 522, 523 }, { 5, 9, 522 } ], [ { 5, 9, 185 }, { 9, 185, 524 }, { 5, 185, 524 }, { 5, 9, 524 } ], [ { 185, 525, 526 }, { 185, 524, 526 }, { 524, 525, 526 }, { 185, 524, 525 } ], [ { 187, 190, 521, 525 }, { 186, 187, 521 }, { 186, 189, 521, 525 }, { 186, 187, 189, 190 }, { 189, 190, 525 } ], [ { 525, 527, 528 }, { 316, 525, 528 }, { 316, 527, 528 }, { 316, 525, 527 } ], [ { 192, 193, 194 }, { 193, 194, 529 }, { 192, 194, 529 }, { 192, 193, 529 } ], [ { 193, 194, 196 }, { 193, 194, 529 }, { 194, 196, 529 }, { 193, 196, 529 } ], [ { 177, 193, 196 }, { 176, 177, 193 }, { 176, 177, 196 }, { 176, 193, 196 } ], [ { 176, 196, 530 }, { 196, 529, 530 }, { 176, 529, 530 }, { 176, 196, 529 } ], [ { 521, 532, 533 }, { 531, 532, 533 }, { 521, 531, 533 }, { 521, 531, 532 } ], [ { 198, 199, 534 }, { 197, 199, 534 }, { 197, 198, 534 }, { 197, 198, 199 } ], [ { 201, 202, 206 }, { 176, 201, 202 }, { 176, 202, 206 }, { 176, 201, 206 } ], [ { 199, 202, 534 }, { 176, 202, 534 }, { 176, 199, 534 }, { 176, 199, 202 } ], [ { 205, 206, 535 }, { 204, 206, 535 }, { 204, 205, 535 }, { 204, 205, 206 } ], [ { 201, 206, 208 }, { 176, 201, 208 }, { 176, 206, 208 }, { 176, 201, 206 } ], [ { 208, 535, 536 }, { 176, 208, 536 }, { 176, 208, 535 }, { 176, 535, 536 } ], [ { 206, 208, 535 }, { 204, 208, 535 }, { 204, 206, 208 }, { 204, 206, 535 } ], [ { 193, 211, 537 }, { 193, 210, 537 }, { 210, 211, 537 }, { 193, 210, 211 } ], [ { 180, 181, 211 }, { 180, 181, 210 }, { 181, 210, 211 }, { 180, 210, 211 } ], [ { 214, 538, 539 }, { 213, 538, 539 }, { 213, 214, 539 }, { 213, 214, 538 } ], [ { 214, 215, 230 }, { 213, 215, 230 }, { 213, 214, 215 }, { 213, 214, 230 } ], [ { 216, 540, 541 }, { 213, 216, 541 }, { 213, 220, 540, 541 }, { 213, 216, 220 }, { 216, 220, 540 } ], [ { 217, 219, 220 }, { 216, 219, 220 }, { 216, 217, 219 }, { 216, 217, 220 } ], [ { 216, 223, 224 }, { 213, 216, 224 }, { 213, 223, 224 }, { 213, 216, 223 } ], [ { 216, 217, 542 }, { 217, 223, 542 }, { 216, 217, 223 }, { 216, 223, 542 } ], [ { 220, 226, 227 }, { 220, 227, 229 }, { 220, 226, 229 }, { 226, 227, 229 } ], [ { 213, 220, 543, 544 }, { 213, 229, 543, 545 }, { 220, 229, 544, 545 }, { 213, 220, 229 }, { 543, 544, 545 } ], [ { 213, 230, 232 }, { 229, 230, 232 }, { 213, 229, 232 }, { 213, 229, 230 } ], [ { 226, 230, 234, 236 }, { 229, 230, 236 }, { 226, 229, 230 }, { 229, 234, 236 }, { 226, 229, 234 } ], [ { 241, 242, 244 }, { 239, 242, 244 }, { 239, 241, 242 }, { 239, 241, 244 } ], [ { 547, 548, 549 }, { 546, 548, 549 }, { 546, 547, 549 }, { 546, 547, 548 } ], [ { 546, 551, 552 }, { 546, 550, 552 }, { 550, 551, 552 }, { 546, 550, 551 } ], [ { 549, 551, 553, 554 }, { 547, 550, 553, 554 }, { 550, 551, 553 }, { 547, 549, 550, 551 }, { 547, 549, 554 } ], [ { 546, 547, 555 }, { 547, 550, 555 }, { 546, 547, 550 }, { 546, 550, 555 } ], [ { 193, 257, 556 }, { 210, 257, 556 }, { 193, 210, 556 }, { 193, 210, 257 } ], [ { 257, 557, 558 }, { 210, 557, 558 }, { 210, 257, 558 }, { 210, 257, 557 } ], [ { 256, 559, 560 }, { 248, 256, 560 }, { 248, 256, 559 }, { 248, 559, 560 } ], [ { 239, 247, 248 }, { 223, 239, 248, 559 }, { 223, 239, 247, 561 }, { 247, 248, 559, 561 }, { 223, 559, 561 } ], [ { 13, 562, 563 }, { 223, 562, 563 }, { 13, 223, 563 }, { 13, 223, 562 } ], [ { 256, 559, 563 }, { 223, 256, 563 }, { 223, 256, 559 }, { 223, 559, 563 } ], [ { 13, 250, 251 }, { 239, 250, 251 }, { 13, 239, 251 }, { 13, 239, 250 } ], [ { 248, 251, 256 }, { 239, 251, 256 }, { 239, 248, 256 }, { 239, 248, 251 } ], [ { 12, 255, 564 }, { 12, 13, 255, 256 }, { 12, 13, 251, 564 }, { 251, 255, 256, 564 }, { 13, 251, 256 } ], [ { 257, 258, 557 }, { 239, 258, 557 }, { 239, 257, 557 }, { 239, 257, 258 } ], [ { 13, 258, 565 }, { 239, 258, 565 }, { 13, 239, 565 }, { 13, 239, 258 } ], [ { 13, 258, 259 }, { 257, 258, 259 }, { 13, 257, 259 }, { 13, 257, 258 } ], [ { 263, 264, 566 }, { 262, 263, 264 }, { 262, 264, 566 }, { 262, 263, 566 } ], [ { 310, 568, 569 }, { 567, 568, 569 }, { 310, 567, 569 }, { 310, 567, 568 } ], [ { 266, 538, 570 }, { 213, 266, 570 }, { 213, 538, 570 }, { 213, 266, 538 } ], [ { 266, 571, 572 }, { 213, 571, 572 }, { 213, 266, 572 }, { 213, 266, 571 } ], [ { 13, 267, 573 }, { 223, 267, 573 }, { 13, 223, 573 }, { 13, 223, 267 } ], [ { 266, 267, 571 }, { 223, 267, 571 }, { 223, 266, 571 }, { 223, 266, 267 } ], [ { 266, 267, 268 }, { 13, 267, 268 }, { 13, 266, 268 }, { 13, 266, 267 } ], [ { 574, 575, 576 }, { 270, 575, 576 }, { 270, 574, 576 }, { 270, 574, 575 } ], [ { 271, 272, 576 }, { 270, 272, 576 }, { 270, 271, 576 }, { 270, 271, 272 } ], [ { 578, 579, 580 }, { 577, 579, 580 }, { 577, 578, 580 }, { 577, 578, 579 } ], [ { 275, 577, 581 }, { 17, 275, 581 }, { 17, 577, 581 }, { 17, 275, 577 } ], [ { 274, 275, 578, 582 }, { 17, 274, 275 }, { 17, 275, 578, 580 }, { 17, 274, 580, 582 }, { 578, 580, 582 } ], [ { 584, 585, 586 }, { 583, 585, 586 }, { 583, 584, 586 }, { 583, 584, 585 } ], [ { 585, 587, 588 }, { 584, 586, 587, 588 }, { 584, 585, 587 }, { 585, 586, 588 }, { 584, 585, 586 } ], [ { 578, 585, 588 }, { 585, 587, 588 }, { 578, 587, 588 }, { 578, 585, 587 } ], [ { 276, 278, 589 }, { 278, 279, 333, 589 }, { 276, 277, 333, 589 }, { 276, 277, 278, 279 }, { 277, 279, 333 } ], [ { 281, 282, 283 }, { 282, 283, 590 }, { 281, 283, 590 }, { 281, 282, 590 } ], [ { 26, 282, 285 }, { 26, 281, 285 }, { 281, 282, 285 }, { 26, 281, 282 } ], [ { 288, 289, 290 }, { 26, 289, 290 }, { 26, 288, 289 }, { 26, 288, 290 } ], [ { 24, 289, 301 }, { 22, 24, 289 }, { 22, 289, 301 }, { 22, 24, 301 } ], [ { 27, 289, 301 }, { 26, 27, 289 }, { 26, 289, 301 }, { 26, 27, 301 } ], [ { 289, 290, 292 }, { 289, 290, 589 }, { 289, 292, 589 }, { 290, 292, 589 } ], [ { 289, 292, 294 }, { 289, 294, 333 }, { 289, 292, 333 }, { 292, 294, 333 } ], [ { 289, 294, 297 }, { 22, 289, 294 }, { 22, 289, 297 }, { 22, 294, 297 } ], [ { 26, 301, 302 }, { 22, 26, 302, 591 }, { 22, 26, 301 }, { 301, 302, 591 }, { 22, 301, 591 } ], [ { 302, 592, 593 }, { 26, 302, 593 }, { 26, 305, 592, 593 }, { 26, 302, 305 }, { 302, 305, 592 } ], [ { 26, 285, 594 }, { 26, 281, 285 }, { 281, 285, 594 }, { 26, 281, 594 } ], [ { 26, 593, 595 }, { 593, 594, 595 }, { 26, 594, 595 }, { 26, 593, 594 } ], [ { 281, 320, 597, 598 }, { 281, 320, 594, 596 }, { 594, 596, 597, 598 }, { 320, 596, 597 }, { 281, 594, 598 } ], [ { 22, 324, 596 }, { 320, 324, 596 }, { 22, 320, 324 }, { 22, 320, 596 } ], [ { 593, 596, 599 }, { 22, 593, 599 }, { 22, 596, 599 }, { 22, 593, 596 } ], [ { 307, 309, 600 }, { 306, 307, 309 }, { 306, 309, 600 }, { 306, 307, 600 } ], [ { 262, 281, 602 }, { 281, 601, 602 }, { 262, 601, 602 }, { 262, 281, 601 } ], [ { 311, 313, 603 }, { 310, 313, 603 }, { 310, 311, 313 }, { 310, 311, 603 } ], [ { 313, 314, 604 }, { 262, 313, 604 }, { 262, 313, 314 }, { 262, 314, 604 } ], [ { 317, 319, 567 }, { 316, 317, 319 }, { 316, 319, 567 }, { 316, 317, 567 } ], [ { 310, 320, 606 }, { 320, 605, 606 }, { 310, 605, 606 }, { 310, 320, 605 } ], [ { 320, 321, 322 }, { 321, 322, 330 }, { 320, 322, 330 }, { 320, 321, 330 } ], [ { 22, 321, 324 }, { 22, 320, 324 }, { 320, 321, 324 }, { 22, 320, 321 } ], [ { 608, 609, 610 }, { 607, 609, 610 }, { 607, 608, 610 }, { 607, 608, 609 } ], [ { 31, 32, 334, 335 }, { 31, 334, 611 }, { 334, 335, 611 }, { 32, 335, 611 }, { 31, 32, 611 } ], [ { 611, 612, 613 }, { 607, 612, 613 }, { 607, 611, 613 }, { 607, 611, 612 } ], [ { 317, 613, 614 }, { 316, 613, 614 }, { 316, 317, 614 }, { 316, 317, 613 } ], [ { 326, 327, 615 }, { 327, 607, 615 }, { 326, 327, 607 }, { 326, 607, 615 } ], [ { 326, 327, 328 }, { 327, 328, 333 }, { 326, 328, 333 }, { 326, 327, 333 } ], [ { 326, 613, 616 }, { 326, 330, 616 }, { 330, 613, 616 }, { 326, 330, 613 } ], [ { 326, 331, 333 }, { 326, 330, 331 }, { 330, 331, 333 }, { 326, 330, 333 } ], [ { 29, 34, 334 }, { 29, 30, 34 }, { 29, 30, 334, 335 }, { 30, 34, 335 }, { 34, 334, 335 } ], [ { 35, 337, 339 }, { 35, 336, 339 }, { 336, 337, 339 }, { 35, 336, 337 } ], [ { 34, 35, 339 }, { 35, 336, 339 }, { 34, 336, 339 }, { 34, 35, 336 } ], [ { 34, 335, 339 }, { 335, 339, 609 }, { 34, 339, 609 }, { 34, 335, 609 } ], [ { 34, 334, 340 }, { 34, 316, 340 }, { 316, 334, 340 }, { 34, 316, 334 } ], [ { 34, 39, 340 }, { 34, 336, 340 }, { 39, 336, 340 }, { 34, 39, 336 } ], [ { 340, 341, 617 }, { 340, 341, 358 }, { 340, 358, 617 }, { 341, 358, 617 } ], [ { 39, 340, 341 }, { 39, 336, 340 }, { 336, 340, 341 }, { 39, 336, 341 } ], [ { 53, 54, 336 }, { 41, 44, 53, 54 }, { 41, 54, 336 }, { 41, 44, 336 }, { 44, 53, 336 } ], [ { 337, 619, 620 }, { 618, 619, 620 }, { 337, 618, 620 }, { 337, 618, 619 } ], [ { 53, 337, 619 }, { 53, 336, 619 }, { 336, 337, 619 }, { 53, 336, 337 } ], [ { 341, 621, 622 }, { 341, 358, 622 }, { 358, 621, 622 }, { 341, 358, 621 } ], [ { 54, 336, 341 }, { 54, 341, 621 }, { 54, 336, 621 }, { 336, 341, 621 } ], [ { 272, 347, 623 }, { 270, 272, 623 }, { 270, 272, 347 }, { 270, 347, 623 } ], [ { 623, 625, 626 }, { 623, 624, 626 }, { 624, 625, 626 }, { 623, 624, 625 } ], [ { 90, 92, 349 }, { 88, 90, 349 }, { 88, 90, 92 }, { 88, 92, 349 } ], [ { 349, 627, 628 }, { 88, 627, 628 }, { 88, 349, 628 }, { 88, 349, 627 } ], [ { 629, 630, 631 }, { 628, 629, 630 }, { 628, 629, 632 }, { 629, 631, 632 }, { 630, 631, 633 }, { 631, 632, 633 }, { 628, 632, 633 }, { 628, 630, 633 } ], [ { 351, 352, 353 }, { 352, 353, 629 }, { 351, 353, 629 }, { 351, 352, 629 } ], [ { 56, 57, 92 }, { 57, 92, 356 }, { 56, 92, 356 }, { 56, 57, 356 } ], [ { 56, 630, 634 }, { 356, 630, 634 }, { 56, 356, 634 }, { 56, 356, 630 } ], [ { 359, 362, 364 }, { 358, 362, 364 }, { 358, 359, 364 }, { 358, 359, 362 } ], [ { 92, 636, 637 }, { 92, 635, 637 }, { 92, 635, 636 }, { 635, 636, 637 } ], [ { 638, 639, 640 }, { 366, 639, 640 }, { 366, 638, 640 }, { 366, 638, 639 } ], [ { 367, 368, 640 }, { 366, 368, 640 }, { 366, 367, 368 }, { 366, 367, 640 } ], [ { 368, 370, 640 }, { 367, 368, 640 }, { 367, 368, 370 }, { 367, 370, 640 } ], [ { 370, 379, 641 }, { 367, 379, 641 }, { 367, 370, 379 }, { 367, 370, 641 } ], [ { 375, 423, 642 }, { 371, 375, 642 }, { 371, 375, 423 }, { 371, 423, 642 } ], [ { 372, 373, 375 }, { 371, 373, 375 }, { 371, 372, 373 }, { 371, 372, 375 } ], [ { 373, 375, 377 }, { 372, 373, 377 }, { 372, 373, 375 }, { 372, 375, 377 } ], [ { 377, 378, 643 }, { 372, 378, 643 }, { 372, 377, 643 }, { 372, 377, 378 } ], [ { 60, 61, 380, 381 }, { 60, 61, 378, 379 }, { 378, 379, 380, 381 }, { 60, 379, 380 }, { 61, 378, 381 } ], [ { 61, 383, 644 }, { 60, 61, 644 }, { 60, 61, 383, 384 }, { 60, 384, 644 }, { 383, 384, 644 } ], [ { 379, 386, 641 }, { 367, 379, 386 }, { 367, 386, 641 }, { 367, 379, 641 } ], [ { 372, 385, 387 }, { 367, 372, 387, 388 }, { 367, 372, 385, 386 }, { 385, 386, 387, 388 }, { 367, 386, 388 } ], [ { 392, 646, 647 }, { 392, 645, 647 }, { 645, 646, 647 }, { 392, 645, 646 } ], [ { 66, 70, 391, 392 }, { 66, 67, 69, 70 }, { 69, 70, 392 }, { 67, 69, 391, 392 }, { 66, 67, 391 } ], [ { 75, 76, 393 }, { 75, 76, 80 }, { 76, 80, 393 }, { 75, 80, 393 } ], [ { 76, 79, 393 }, { 76, 79, 392 }, { 76, 392, 393 }, { 79, 392, 393 } ], [ { 80, 395, 396 }, { 394, 395, 396 }, { 80, 394, 396 }, { 80, 394, 395 } ], [ { 372, 394, 423 }, { 394, 423, 648, 649 }, { 372, 423, 648 }, { 372, 648, 649 }, { 372, 394, 649 } ], [ { 80, 394, 649 }, { 80, 398, 649 }, { 83, 394, 398, 649 }, { 80, 83, 394 }, { 80, 83, 398 } ], [ { 84, 399, 650 }, { 306, 399, 650 }, { 84, 306, 650 }, { 84, 306, 399 } ], [ { 84, 86, 399 }, { 86, 358, 399 }, { 84, 358, 399 }, { 84, 86, 358 } ], [ { 84, 404, 651 }, { 306, 404, 651 }, { 84, 306, 651 }, { 84, 306, 404 } ], [ { 84, 404, 653 }, { 404, 652, 653 }, { 84, 404, 652 }, { 84, 652, 653 } ], [ { 84, 358, 401 }, { 84, 400, 401 }, { 358, 400, 401 }, { 84, 358, 400 } ], [ { 84, 402, 652 }, { 84, 400, 402 }, { 400, 402, 652 }, { 84, 400, 652 } ], [ { 404, 405, 652, 654 }, { 403, 404, 652 }, { 403, 652, 654 }, { 403, 405, 654 }, { 403, 404, 405 } ], [ { 403, 405, 654 }, { 405, 654, 655 }, { 403, 405, 655 }, { 403, 654, 655 } ], [ { 403, 404, 652 }, { 306, 404, 652 }, { 306, 403, 404 }, { 306, 403, 652 } ], [ { 410, 411, 656 }, { 88, 410, 411 }, { 88, 411, 656 }, { 88, 410, 656 } ], [ { 407, 408, 411 }, { 88, 408, 411 }, { 88, 407, 411 }, { 88, 407, 408 } ], [ { 89, 92, 408 }, { 88, 92, 408 }, { 88, 89, 408 }, { 88, 89, 92 } ], [ { 408, 411, 656 }, { 408, 411, 416 }, { 411, 416, 656 }, { 408, 416, 656 } ], [ { 408, 416, 657 }, { 408, 415, 657 }, { 408, 415, 416 }, { 415, 416, 657 } ], [ { 417, 419, 420 }, { 95, 419, 420 }, { 95, 417, 419 }, { 95, 417, 420 } ], [ { 95, 417, 423 }, { 417, 423, 431 }, { 95, 417, 431 }, { 95, 423, 431 } ], [ { 375, 417, 424 }, { 375, 423, 424 }, { 417, 423, 424 }, { 375, 417, 423 } ], [ { 88, 375, 659 }, { 375, 658, 659 }, { 88, 658, 659 }, { 88, 375, 658 } ], [ { 101, 427, 428 }, { 101, 426, 428 }, { 101, 426, 427 }, { 426, 427, 428 } ], [ { 428, 660, 661 }, { 439, 660, 661 }, { 428, 439, 661 }, { 428, 439, 660 } ], [ { 94, 95, 420, 433 }, { 94, 431, 433 }, { 94, 95, 431 }, { 420, 431, 433 }, { 95, 420, 431 } ], [ { 94, 101, 427 }, { 94, 101, 431 }, { 101, 427, 431 }, { 94, 427, 431 } ], [ { 101, 433, 435 }, { 94, 101, 435 }, { 94, 433, 435 }, { 94, 101, 433 } ], [ { 101, 102, 437, 438 }, { 101, 433, 437 }, { 101, 102, 433, 662 }, { 433, 437, 438, 662 }, { 102, 438, 662 } ], [ { 104, 437, 441 }, { 101, 104, 437 }, { 101, 104, 441 }, { 101, 437, 441 } ], [ { 101, 440, 441 }, { 439, 440, 441, 442 }, { 101, 439, 441 }, { 101, 439, 442 }, { 101, 440, 442 } ], [ { 441, 446, 448 }, { 445, 446, 448 }, { 441, 445, 448 }, { 441, 445, 446 } ], [ { 439, 441, 452 }, { 441, 450, 452 }, { 439, 450, 452 }, { 439, 441, 450 } ], [ { 106, 107, 453 }, { 107, 453, 454 }, { 106, 107, 454 }, { 106, 453, 454 } ], [ { 108, 453, 465 }, { 106, 108, 453 }, { 106, 108, 465 }, { 106, 453, 465 } ], [ { 486, 487, 663 }, { 454, 487, 663 }, { 454, 486, 663 }, { 454, 486, 487 } ], [ { 453, 455, 465 }, { 453, 454, 455 }, { 454, 455, 465 }, { 453, 454, 465 } ], [ { 455, 456, 487 }, { 454, 455, 456 }, { 454, 456, 487 }, { 454, 455, 487 } ], [ { 136, 146, 459 }, { 136, 146, 458 }, { 146, 458, 459 }, { 136, 458, 459 } ], [ { 459, 462, 463 }, { 458, 459, 463 }, { 458, 462, 463 }, { 458, 459, 462 } ], [ { 110, 111, 462 }, { 110, 111, 458 }, { 111, 458, 462 }, { 110, 458, 462 } ], [ { 115, 463, 464 }, { 115, 116, 462, 464 }, { 462, 463, 464 }, { 115, 116, 463 }, { 116, 462, 463 } ], [ { 119, 124, 464 }, { 119, 462, 464 }, { 111, 124, 462, 464 }, { 111, 119, 462 }, { 111, 119, 124 } ], [ { 126, 464, 465 }, { 124, 126, 464 }, { 124, 126, 465 }, { 124, 464, 465 } ], [ { 106, 127, 466 }, { 127, 131, 463, 466 }, { 106, 463, 466 }, { 106, 127, 131 }, { 106, 131, 463 } ], [ { 131, 464, 465 }, { 131, 463, 464 }, { 131, 463, 465 }, { 463, 464, 465 } ], [ { 108, 131, 465 }, { 106, 108, 131 }, { 106, 108, 465 }, { 106, 131, 465 } ], [ { 136, 146, 468 }, { 136, 146, 458 }, { 146, 458, 468 }, { 136, 458, 468 } ], [ { 136, 144, 468 }, { 135, 136, 144 }, { 135, 144, 468 }, { 135, 136, 468 } ], [ { 135, 468, 469 }, { 458, 468, 469 }, { 135, 458, 469 }, { 135, 458, 468 } ], [ { 135, 469, 482 }, { 469, 470, 482 }, { 135, 469, 470 }, { 135, 470, 482 } ], [ { 135, 148, 149, 664 }, { 135, 149, 481 }, { 148, 149, 481 }, { 135, 481, 664 }, { 148, 481, 664 } ], [ { 135, 482, 665 }, { 481, 482, 665 }, { 135, 481, 665 }, { 135, 481, 482 } ], [ { 135, 136, 473 }, { 135, 472, 473, 474 }, { 135, 136, 472 }, { 136, 472, 474 }, { 136, 473, 474 } ], [ { 472, 475, 476 }, { 135, 472, 476, 666 }, { 135, 472, 475 }, { 475, 476, 666 }, { 135, 475, 666 } ], [ { 135, 149, 475 }, { 148, 149, 475 }, { 135, 148, 149, 664 }, { 148, 475, 664 }, { 135, 475, 664 } ], [ { 475, 478, 480 }, { 149, 475, 478 }, { 149, 478, 480 }, { 149, 475, 480 } ], [ { 482, 483, 667 }, { 481, 482, 483 }, { 481, 483, 667 }, { 481, 482, 667 } ], [ { 485, 486, 487 }, { 486, 487, 489 }, { 485, 487, 489 }, { 485, 486, 489 } ], [ { 487, 492, 493 }, { 489, 490, 492, 493 }, { 487, 489, 493 }, { 487, 490, 492 }, { 487, 489, 490 } ], [ { 486, 668, 669 }, { 306, 668, 669 }, { 306, 486, 669 }, { 306, 486, 668 } ], [ { 149, 670, 671 }, { 481, 670, 671 }, { 149, 481, 671 }, { 149, 481, 670 } ], [ { 154, 495, 496 }, { 495, 496, 499 }, { 154, 496, 499 }, { 154, 495, 499 } ], [ { 154, 157, 160, 161 }, { 160, 161, 499 }, { 154, 160, 499 }, { 157, 161, 499 }, { 154, 157, 499 } ], [ { 160, 501, 502 }, { 154, 160, 496, 502 }, { 154, 160, 501 }, { 496, 501, 502 }, { 154, 496, 501 } ], [ { 168, 502, 673 }, { 502, 672, 673 }, { 168, 502, 672 }, { 168, 672, 673 } ], [ { 160, 161, 505 }, { 161, 499, 505 }, { 160, 161, 499 }, { 160, 499, 505 } ], [ { 505, 674, 675 }, { 160, 505, 675 }, { 160, 674, 675 }, { 160, 505, 674 } ], [ { 172, 506, 673 }, { 168, 172, 506 }, { 168, 506, 673 }, { 168, 172, 673 } ], [ { 172, 507, 676 }, { 162, 507, 676 }, { 162, 172, 676 }, { 162, 172, 507 } ], [ { 168, 508, 515 }, { 162, 168, 508 }, { 162, 508, 515 }, { 162, 168, 515 } ], [ { 164, 168, 172 }, { 162, 164, 172 }, { 162, 164, 168 }, { 162, 168, 172 } ], [ { 510, 511, 513 }, { 509, 511, 513 }, { 509, 510, 513 }, { 509, 510, 511 } ], [ { 513, 516, 518 }, { 515, 516, 518 }, { 513, 515, 518 }, { 513, 515, 516 } ], [ { 176, 179, 193 }, { 179, 193, 211 }, { 176, 179, 211 }, { 176, 193, 211 } ], [ { 176, 180, 182 }, { 180, 182, 211 }, { 176, 182, 211 }, { 176, 180, 211 } ], [ { 521, 522, 523 }, { 5, 522, 523 }, { 5, 521, 523 }, { 5, 521, 522 } ], [ { 5, 9, 523 }, { 9, 523, 524 }, { 5, 523, 524 }, { 5, 9, 524 } ], [ { 5, 185, 525 }, { 185, 524, 525 }, { 5, 185, 524 }, { 5, 524, 525 } ], [ { 186, 189, 521, 525 }, { 521, 523, 524, 525 }, { 186, 189, 523, 524 }, { 186, 521, 523 }, { 189, 524, 525 } ], [ { 316, 525, 528 }, { 525, 528, 529 }, { 316, 528, 529 }, { 316, 525, 529 } ], [ { 192, 193, 316 }, { 192, 193, 529 }, { 193, 316, 529 }, { 192, 316, 529 } ], [ { 176, 193, 196 }, { 193, 196, 529 }, { 176, 193, 529 }, { 176, 196, 529 } ], [ { 5, 677, 678 }, { 529, 677, 678 }, { 5, 529, 678 }, { 5, 529, 677 } ], [ { 176, 530, 677 }, { 529, 530, 677 }, { 176, 529, 530 }, { 176, 529, 677 } ], [ { 521, 532, 535 }, { 531, 532, 535 }, { 521, 531, 535 }, { 521, 531, 532 } ], [ { 176, 677, 679 }, { 5, 677, 679 }, { 5, 176, 679 }, { 5, 176, 677 } ], [ { 5, 535, 679 }, { 535, 679, 680 }, { 5, 679, 680 }, { 5, 535, 680 } ], [ { 535, 536, 679 }, { 176, 536, 679 }, { 176, 535, 536 }, { 176, 535, 679 } ], [ { 176, 199, 534 }, { 197, 199, 534 }, { 176, 197, 534 }, { 176, 197, 199 } ], [ { 202, 206, 534 }, { 176, 202, 534 }, { 176, 206, 534 }, { 176, 202, 206 } ], [ { 205, 206, 535 }, { 206, 531, 535 }, { 205, 531, 535 }, { 205, 206, 531 } ], [ { 206, 208, 535 }, { 176, 208, 535 }, { 176, 206, 208 }, { 176, 206, 535 } ], [ { 180, 193, 211 }, { 180, 193, 210 }, { 180, 210, 211 }, { 193, 210, 211 } ], [ { 214, 230, 538 }, { 213, 230, 538 }, { 213, 214, 230 }, { 213, 214, 538 } ], [ { 216, 217, 223 }, { 213, 217, 220, 223 }, { 213, 216, 223 }, { 216, 217, 220 }, { 213, 216, 220 } ], [ { 213, 220, 226, 230 }, { 226, 229, 230 }, { 213, 229, 230 }, { 213, 220, 229 }, { 220, 226, 229 } ], [ { 239, 244, 682 }, { 244, 681, 682 }, { 239, 242, 681, 682 }, { 242, 244, 681 }, { 239, 242, 244 } ], [ { 546, 547, 550 }, { 547, 549, 550, 551 }, { 546, 550, 551 }, { 546, 549, 551 }, { 546, 547, 549 } ], [ { 546, 549, 683 }, { 510, 549, 683 }, { 510, 546, 549 }, { 510, 546, 683 } ], [ { 546, 551, 685 }, { 546, 684, 685 }, { 551, 684, 685 }, { 546, 551, 684 } ], [ { 193, 210, 257 }, { 193, 257, 316 }, { 210, 257, 316 }, { 193, 210, 316 } ], [ { 239, 257, 557 }, { 210, 257, 557 }, { 210, 239, 557 }, { 210, 239, 257 } ], [ { 239, 248, 256 }, { 223, 239, 256 }, { 223, 239, 248, 559 }, { 223, 256, 559 }, { 248, 256, 559 } ], [ { 13, 256, 563 }, { 223, 256, 563 }, { 13, 223, 256 }, { 13, 223, 563 } ], [ { 13, 251, 256 }, { 239, 251, 256 }, { 13, 239, 256 }, { 13, 239, 251 } ], [ { 13, 257, 258 }, { 13, 239, 258 }, { 239, 257, 258 }, { 13, 239, 257 } ], [ { 262, 263, 566 }, { 262, 263, 310, 686 }, { 262, 310, 566 }, { 310, 566, 686 }, { 263, 566, 686 } ], [ { 566, 687, 688 }, { 310, 687, 688 }, { 310, 566, 688 }, { 310, 566, 687 } ], [ { 310, 316, 567 }, { 310, 316, 689 }, { 316, 567, 569, 689 }, { 310, 567, 569 }, { 310, 569, 689 } ], [ { 213, 266, 538 }, { 266, 306, 538 }, { 213, 266, 306 }, { 213, 306, 538 } ], [ { 223, 266, 571 }, { 213, 266, 571 }, { 213, 223, 571 }, { 213, 223, 266 } ], [ { 13, 266, 267 }, { 223, 266, 267 }, { 13, 223, 267 }, { 13, 223, 266 } ], [ { 272, 574, 576 }, { 270, 272, 576 }, { 270, 574, 576 }, { 270, 272, 574 } ], [ { 617, 690, 691 }, { 316, 617, 691 }, { 316, 690, 691 }, { 316, 617, 690 } ], [ { 277, 577, 578 }, { 277, 333, 578 }, { 277, 333, 577 }, { 333, 577, 578 } ], [ { 275, 577, 692 }, { 275, 333, 577 }, { 275, 333, 692 }, { 333, 577, 692 } ], [ { 275, 577, 578 }, { 17, 275, 578, 580 }, { 17, 275, 577 }, { 577, 578, 580 }, { 17, 577, 580 } ], [ { 578, 585, 588 }, { 578, 583, 586, 588 }, { 578, 583, 585 }, { 585, 586, 588 }, { 583, 585, 586 } ], [ { 276, 583, 585 }, { 583, 585, 589 }, { 276, 585, 589 }, { 276, 583, 589 } ], [ { 276, 585, 589 }, { 333, 585, 589 }, { 276, 277, 333, 589 }, { 277, 333, 585 }, { 276, 277, 585 } ], [ { 277, 578, 585 }, { 277, 333, 585 }, { 333, 578, 585 }, { 277, 333, 578 } ], [ { 281, 283, 307 }, { 281, 283, 590 }, { 283, 307, 590 }, { 281, 307, 590 } ], [ { 26, 281, 282 }, { 26, 282, 590 }, { 26, 281, 590 }, { 281, 282, 590 } ], [ { 26, 589, 693 }, { 26, 589, 590 }, { 26, 590, 693 }, { 589, 590, 693 } ], [ { 26, 289, 290 }, { 289, 290, 589 }, { 26, 289, 589 }, { 26, 290, 589 } ], [ { 26, 289, 301 }, { 22, 289, 301 }, { 22, 26, 289 }, { 22, 26, 301 } ], [ { 289, 292, 589 }, { 289, 292, 333 }, { 289, 333, 589 }, { 292, 333, 589 } ], [ { 22, 289, 294 }, { 289, 294, 333 }, { 22, 289, 333 }, { 22, 294, 333 } ], [ { 26, 302, 593 }, { 22, 26, 302, 591 }, { 22, 26, 593 }, { 22, 591, 593 }, { 302, 591, 593 } ], [ { 26, 593, 594 }, { 26, 281, 593 }, { 281, 593, 594 }, { 26, 281, 594 } ], [ { 281, 593, 594 }, { 281, 320, 593 }, { 281, 320, 594, 596 }, { 593, 594, 596 }, { 320, 593, 596 } ], [ { 22, 593, 596 }, { 320, 593, 596 }, { 22, 320, 593 }, { 22, 320, 596 } ], [ { 262, 307, 600 }, { 262, 306, 307 }, { 262, 306, 600 }, { 306, 307, 600 } ], [ { 262, 281, 602 }, { 281, 307, 602 }, { 262, 307, 602 }, { 262, 281, 307 } ], [ { 262, 313, 604 }, { 262, 310, 313 }, { 262, 310, 603, 604 }, { 310, 313, 603 }, { 313, 603, 604 } ], [ { 310, 317, 567 }, { 310, 316, 317 }, { 316, 317, 567 }, { 310, 316, 567 } ], [ { 317, 320, 606 }, { 310, 320, 606 }, { 310, 317, 606 }, { 310, 317, 320 } ], [ { 317, 320, 322 }, { 320, 322, 330 }, { 317, 322, 330 }, { 317, 320, 330 } ], [ { 22, 320, 321 }, { 22, 321, 330 }, { 22, 320, 330 }, { 320, 321, 330 } ], [ { 22, 333, 694 }, { 22, 330, 333 }, { 22, 330, 694 }, { 330, 333, 694 } ], [ { 327, 608, 609 }, { 327, 607, 609 }, { 327, 607, 608 }, { 607, 608, 609 } ], [ { 335, 609, 695 }, { 335, 607, 695 }, { 607, 609, 695 }, { 335, 607, 609 } ], [ { 316, 334, 613 }, { 334, 613, 696 }, { 316, 334, 696 }, { 316, 613, 696 } ], [ { 334, 611, 613 }, { 334, 335, 607, 613 }, { 607, 611, 613 }, { 335, 607, 611 }, { 334, 335, 611 } ], [ { 317, 330, 613 }, { 316, 317, 613 }, { 316, 330, 613 }, { 316, 317, 330 } ], [ { 326, 613, 697 }, { 326, 607, 697 }, { 607, 613, 697 }, { 326, 607, 613 } ], [ { 326, 327, 333 }, { 326, 327, 607 }, { 327, 333, 607 }, { 326, 333, 607 } ], [ { 326, 333, 613 }, { 326, 330, 333 }, { 326, 330, 613 }, { 330, 333, 613 } ], [ { 34, 316, 609 }, { 34, 316, 334 }, { 316, 334, 335, 609 }, { 34, 335, 609 }, { 34, 334, 335 } ], [ { 336, 337, 339 }, { 337, 339, 618 }, { 336, 339, 618 }, { 336, 337, 618 } ], [ { 34, 339, 609 }, { 34, 336, 339 }, { 336, 339, 609 }, { 34, 336, 609 } ], [ { 340, 358, 617 }, { 316, 340, 617 }, { 316, 340, 358 }, { 316, 358, 617 } ], [ { 34, 336, 340 }, { 34, 316, 340 }, { 316, 336, 340 }, { 34, 316, 336 } ], [ { 336, 340, 341 }, { 340, 341, 358 }, { 336, 340, 358 }, { 336, 341, 358 } ], [ { 53, 54, 336 }, { 53, 54, 619, 621 }, { 54, 336, 621 }, { 336, 619, 621 }, { 53, 336, 619 } ], [ { 336, 337, 619 }, { 337, 618, 619 }, { 336, 618, 619 }, { 336, 337, 618 } ], [ { 336, 341, 621 }, { 336, 341, 358 }, { 341, 358, 621 }, { 336, 358, 621 } ], [ { 272, 623, 698 }, { 270, 272, 623 }, { 270, 272, 698 }, { 270, 623, 698 } ], [ { 364, 623, 626 }, { 364, 624, 626 }, { 364, 623, 624 }, { 623, 624, 626 } ], [ { 92, 349, 628 }, { 88, 349, 628 }, { 88, 92, 628 }, { 88, 92, 349 } ], [ { 56, 88, 351, 352, 699, 700 }, { 351, 629, 630, 700 }, { 351, 352, 629 }, { 352, 628, 629, 699 }, { 56, 630, 700 }, { 56, 88, 628, 630 }, { 628, 629, 630 }, { 88, 628, 699 } ], [ { 56, 92, 630 }, { 92, 356, 630 }, { 56, 356, 630 }, { 56, 92, 356 } ], [ { 359, 364, 637 }, { 358, 364, 637 }, { 358, 359, 364 }, { 358, 359, 637 } ], [ { 92, 364, 637 }, { 92, 364, 635 }, { 364, 635, 637 }, { 92, 635, 637 } ], [ { 367, 638, 640 }, { 366, 367, 640 }, { 366, 638, 640 }, { 366, 367, 638 } ], [ { 370, 379, 640 }, { 367, 379, 640 }, { 367, 370, 379 }, { 367, 370, 640 } ], [ { 372, 375, 423 }, { 371, 372, 375 }, { 371, 375, 423 }, { 371, 372, 423 } ], [ { 375, 377, 378 }, { 372, 377, 378 }, { 372, 375, 378 }, { 372, 375, 377 } ], [ { 61, 378, 644 }, { 60, 61, 644 }, { 60, 61, 378, 379 }, { 378, 379, 644 }, { 60, 379, 644 } ], [ { 372, 378, 385 }, { 367, 372, 385, 386 }, { 367, 372, 378, 379 }, { 378, 379, 385, 386 }, { 367, 379, 386 } ], [ { 367, 638, 645 }, { 367, 645, 701 }, { 367, 638, 701 }, { 638, 645, 701 } ], [ { 392, 645, 646 }, { 392, 646, 701 }, { 392, 645, 701 }, { 645, 646, 701 } ], [ { 66, 70, 391, 392 }, { 70, 80, 392, 702 }, { 66, 70, 702 }, { 66, 80, 391, 702 }, { 80, 391, 392 } ], [ { 76, 392, 393 }, { 76, 80, 393 }, { 76, 80, 392 }, { 80, 392, 393 } ], [ { 372, 394, 423 }, { 372, 394, 431 }, { 394, 423, 431 }, { 372, 423, 431 } ], [ { 80, 394, 395 }, { 80, 395, 431 }, { 394, 395, 431 }, { 80, 394, 431 } ], [ { 80, 394, 649 }, { 80, 372, 649 }, { 372, 394, 649 }, { 80, 372, 394 } ], [ { 84, 358, 399 }, { 84, 306, 399 }, { 306, 358, 399 }, { 84, 306, 358 } ], [ { 84, 404, 652 }, { 84, 306, 404 }, { 306, 404, 652 }, { 84, 306, 652 } ], [ { 84, 358, 652 }, { 84, 400, 652 }, { 84, 358, 400 }, { 358, 400, 652 } ], [ { 306, 403, 652 }, { 306, 652, 654, 655 }, { 306, 403, 655 }, { 403, 654, 655 }, { 403, 652, 654 } ], [ { 358, 637, 657 }, { 358, 359, 637 }, { 358, 359, 657, 703 }, { 359, 637, 703 }, { 637, 657, 703 } ], [ { 408, 411, 656 }, { 88, 408, 411 }, { 88, 411, 656 }, { 88, 408, 656 } ], [ { 92, 408, 657 }, { 88, 92, 408 }, { 88, 408, 657 }, { 88, 92, 657 } ], [ { 408, 656, 657 }, { 408, 416, 657 }, { 408, 416, 656 }, { 416, 656, 657 } ], [ { 95, 417, 420 }, { 417, 420, 431 }, { 95, 420, 431 }, { 95, 417, 431 } ], [ { 375, 417, 423 }, { 375, 417, 431 }, { 375, 423, 431 }, { 417, 423, 431 } ], [ { 88, 375, 417 }, { 375, 417, 658 }, { 88, 375, 658 }, { 88, 417, 658 } ], [ { 101, 427, 428 }, { 101, 428, 431 }, { 101, 427, 431 }, { 427, 428, 431 } ], [ { 101, 428, 661 }, { 101, 439, 661 }, { 428, 439, 661 }, { 101, 428, 439 } ], [ { 420, 433, 704 }, { 420, 431, 433 }, { 420, 431, 704 }, { 431, 433, 704 } ], [ { 94, 101, 433 }, { 101, 431, 433 }, { 94, 101, 431 }, { 94, 431, 433 } ], [ { 101, 433, 437 }, { 101, 437, 704 }, { 433, 437, 704 }, { 101, 433, 704 } ], [ { 101, 439, 441 }, { 439, 441, 445 }, { 101, 437, 439, 445 }, { 101, 437, 441 }, { 437, 441, 445 } ], [ { 439, 441, 445 }, { 439, 441, 450 }, { 439, 445, 448, 450 }, { 441, 445, 448 }, { 441, 448, 450 } ], [ { 106, 453, 465 }, { 453, 454, 465 }, { 106, 453, 454 }, { 106, 454, 465 } ], [ { 454, 486, 487 }, { 306, 486, 487 }, { 306, 454, 487 }, { 306, 454, 486 } ], [ { 455, 465, 487 }, { 454, 455, 487 }, { 454, 455, 465 }, { 454, 465, 487 } ], [ { 136, 459, 463 }, { 136, 458, 463 }, { 136, 458, 459 }, { 458, 459, 463 } ], [ { 111, 462, 463 }, { 111, 458, 463 }, { 111, 458, 462 }, { 458, 462, 463 } ], [ { 124, 463, 464 }, { 111, 124, 462, 464 }, { 462, 463, 464 }, { 111, 124, 463 }, { 111, 462, 463 } ], [ { 124, 464, 465 }, { 463, 464, 465 }, { 124, 463, 464 }, { 124, 463, 465 } ], [ { 106, 463, 466 }, { 106, 463, 704 }, { 106, 466, 704 }, { 463, 466, 704 } ], [ { 106, 131, 465 }, { 131, 463, 465 }, { 106, 131, 463 }, { 106, 463, 465 } ], [ { 135, 136, 468 }, { 136, 458, 468 }, { 135, 136, 458 }, { 135, 458, 468 } ], [ { 135, 469, 482 }, { 458, 469, 482 }, { 135, 458, 469 }, { 135, 458, 482 } ], [ { 135, 149, 482 }, { 135, 481, 482 }, { 149, 481, 482 }, { 135, 149, 481 } ], [ { 135, 136, 472 }, { 136, 472, 704 }, { 135, 136, 704 }, { 135, 472, 704 } ], [ { 149, 475, 480 }, { 135, 149, 475 }, { 135, 149, 472, 480 }, { 472, 475, 480 }, { 135, 472, 475 } ], [ { 149, 482, 667 }, { 481, 482, 667 }, { 149, 481, 482 }, { 149, 481, 667 } ], [ { 486, 487, 489 }, { 306, 486, 487 }, { 306, 487, 489 }, { 306, 486, 489 } ], [ { 465, 487, 493 }, { 487, 489, 493 }, { 465, 489, 493 }, { 465, 487, 489 } ], [ { 486, 489, 669 }, { 306, 486, 669 }, { 306, 489, 669 }, { 306, 486, 489 } ], [ { 149, 667, 670 }, { 481, 667, 670 }, { 149, 481, 667 }, { 149, 481, 670 } ], [ { 154, 160, 496, 502 }, { 160, 499, 502 }, { 154, 160, 499 }, { 496, 499, 502 }, { 154, 496, 499 } ], [ { 168, 502, 673 }, { 499, 502, 673 }, { 168, 499, 502 }, { 168, 499, 673 } ], [ { 160, 505, 674 }, { 499, 505, 674 }, { 160, 499, 505 }, { 160, 499, 674 } ], [ { 168, 172, 673 }, { 172, 499, 673 }, { 168, 172, 499 }, { 168, 499, 673 } ], [ { 168, 172, 515, 676 }, { 162, 168, 172 }, { 162, 168, 515 }, { 162, 172, 676 }, { 162, 515, 676 } ], [ { 511, 513, 674 }, { 510, 513, 674 }, { 510, 511, 674 }, { 510, 511, 513 } ], [ { 168, 513, 516 }, { 513, 515, 516 }, { 168, 515, 516 }, { 168, 513, 515 } ], [ { 176, 180, 193 }, { 180, 193, 211 }, { 176, 180, 211 }, { 176, 193, 211 } ], [ { 5, 521, 525 }, { 521, 523, 524, 525 }, { 5, 524, 525 }, { 5, 523, 524 }, { 5, 521, 523 } ], [ { 5, 316, 525 }, { 5, 525, 529 }, { 316, 525, 529 }, { 5, 316, 529 } ], [ { 176, 193, 316 }, { 176, 193, 529 }, { 193, 316, 529 }, { 176, 316, 529 } ], [ { 5, 176, 677 }, { 176, 529, 677 }, { 5, 529, 677 }, { 5, 176, 529 } ], [ { 5, 521, 535 }, { 521, 531, 535 }, { 5, 531, 535 }, { 5, 521, 531 } ], [ { 176, 535, 679 }, { 5, 535, 679 }, { 5, 176, 679 }, { 5, 176, 535 } ], [ { 176, 206, 534 }, { 197, 206, 534 }, { 176, 197, 534 }, { 176, 197, 206 } ], [ { 176, 206, 535 }, { 206, 531, 535 }, { 176, 531, 535 }, { 176, 206, 531 } ], [ { 180, 193, 210 }, { 180, 193, 316 }, { 180, 210, 316 }, { 193, 210, 316 } ], [ { 213, 230, 538 }, { 230, 306, 538 }, { 213, 230, 306 }, { 213, 306, 538 } ], [ { 217, 223, 226, 230 }, { 213, 220, 226, 230 }, { 213, 223, 230 }, { 213, 217, 220, 223 }, { 217, 220, 226 } ], [ { 180, 244, 682 }, { 239, 244, 682 }, { 180, 239, 244 }, { 180, 239, 682 } ], [ { 546, 551, 684 }, { 510, 546, 684 }, { 510, 549, 551, 684 }, { 510, 546, 549 }, { 546, 549, 551 } ], [ { 210, 239, 257 }, { 239, 257, 316 }, { 210, 257, 316 }, { 210, 239, 316 } ], [ { 13, 239, 256 }, { 13, 223, 256 }, { 223, 239, 256 }, { 13, 223, 239 } ], [ { 13, 257, 688 }, { 13, 239, 688 }, { 239, 257, 688 }, { 13, 239, 257 } ], [ { 262, 566, 688 }, { 310, 566, 688 }, { 262, 310, 688 }, { 262, 310, 566 } ], [ { 310, 687, 689 }, { 316, 687, 688, 689 }, { 310, 316, 689 }, { 310, 316, 688 }, { 310, 687, 688 } ], [ { 213, 223, 266 }, { 223, 266, 306 }, { 213, 266, 306 }, { 213, 223, 306 } ], [ { 13, 266, 688 }, { 223, 266, 688 }, { 13, 223, 688 }, { 13, 223, 266 } ], [ { 272, 574, 698 }, { 270, 272, 574 }, { 270, 272, 698 }, { 270, 574, 698 } ], [ { 358, 617, 690 }, { 316, 617, 690 }, { 316, 358, 617 }, { 316, 358, 690 } ], [ { 275, 577, 578 }, { 275, 333, 578 }, { 275, 333, 577 }, { 333, 577, 578 } ], [ { 705, 706, 708, 709 }, { 275, 578, 583, 705, 706, 707 }, { 583, 707, 708, 710 }, { 705, 707, 708 }, { 275, 706, 709 }, { 275, 578, 709, 710 }, { 708, 709, 710 }, { 578, 583, 710 } ], [ { 333, 578, 585 }, { 333, 585, 589 }, { 333, 578, 583, 589 }, { 583, 585, 589 }, { 578, 583, 585 } ], [ { 358, 618, 711, 712 }, { 358, 618, 619, 621 }, { 618, 619, 711 }, { 619, 621, 711, 712 }, { 358, 621, 712 } ], [ { 281, 306, 307 }, { 281, 307, 590 }, { 281, 306, 590 }, { 306, 307, 590 } ], [ { 26, 281, 589 }, { 26, 589, 590 }, { 26, 281, 590 }, { 281, 589, 590 } ], [ { 22, 289, 333 }, { 289, 333, 589 }, { 22, 26, 333, 589 }, { 22, 26, 289 }, { 26, 289, 589 } ], [ { 22, 320, 593 }, { 281, 320, 593 }, { 22, 26, 281, 320 }, { 26, 281, 593 }, { 22, 26, 593 } ], [ { 262, 281, 307 }, { 262, 281, 306 }, { 281, 306, 307 }, { 262, 306, 307 } ], [ { 310, 313, 320 }, { 262, 310, 313 }, { 262, 281, 310, 320 }, { 262, 281, 313 }, { 281, 313, 320 } ], [ { 310, 317, 320 }, { 316, 317, 320 }, { 310, 316, 320 }, { 310, 316, 317 } ], [ { 317, 320, 330 }, { 316, 317, 320 }, { 316, 320, 330 }, { 316, 317, 330 } ], [ { 22, 320, 333 }, { 22, 330, 333 }, { 22, 320, 330 }, { 320, 330, 333 } ], [ { 327, 333, 609 }, { 327, 607, 609 }, { 327, 333, 607 }, { 333, 607, 609 } ], [ { 334, 335, 607, 613 }, { 316, 334, 613 }, { 316, 607, 609, 613 }, { 316, 334, 335, 609 }, { 335, 607, 609 } ], [ { 330, 333, 613 }, { 316, 333, 613 }, { 316, 330, 333 }, { 316, 330, 613 } ], [ { 326, 333, 613 }, { 326, 333, 607 }, { 326, 607, 613 }, { 333, 607, 613 } ], [ { 34, 336, 609 }, { 34, 316, 609 }, { 34, 316, 336 }, { 316, 336, 609 } ], [ { 336, 339, 609 }, { 339, 609, 618 }, { 336, 339, 618 }, { 336, 609, 618 } ], [ { 336, 340, 358 }, { 316, 336, 340 }, { 316, 340, 358 }, { 316, 336, 358 } ], [ { 336, 358, 621 }, { 336, 358, 618 }, { 358, 618, 619, 621 }, { 336, 618, 619 }, { 336, 619, 621 } ], [ { 358, 626, 698 }, { 270, 626, 698 }, { 270, 358, 626 }, { 270, 358, 698 } ], [ { 623, 626, 698 }, { 270, 623, 626 }, { 270, 626, 698 }, { 270, 623, 698 } ], [ { 364, 623, 626 }, { 358, 364, 626 }, { 358, 364, 623 }, { 358, 623, 626 } ], [ { 92, 364, 635 }, { 364, 624, 635 }, { 92, 623, 624, 635 }, { 92, 364, 623 }, { 364, 623, 624 } ], [ { 623, 713, 715, 716 }, { 92, 623, 715 }, { 92, 623, 713, 714 }, { 92, 714, 715, 716 }, { 713, 714, 716 } ], [ { 56, 92, 630 }, { 56, 88, 628, 630 }, { 56, 88, 92 }, { 88, 92, 628 }, { 92, 628, 630 } ], [ { 92, 637, 657 }, { 88, 92, 637 }, { 88, 92, 657 }, { 88, 637, 657 } ], [ { 92, 364, 637 }, { 92, 358, 364 }, { 358, 364, 637 }, { 92, 358, 637 } ], [ { 367, 638, 640 }, { 367, 640, 701 }, { 638, 640, 701 }, { 367, 638, 701 } ], [ { 367, 379, 640 }, { 270, 379, 640 }, { 270, 367, 379 }, { 270, 367, 640 } ], [ { 372, 375, 423 }, { 372, 375, 431 }, { 375, 423, 431 }, { 372, 423, 431 } ], [ { 372, 375, 378 }, { 88, 375, 378 }, { 88, 372, 378 }, { 88, 372, 375 } ], [ { 367, 379, 644 }, { 270, 379, 644 }, { 270, 367, 644 }, { 270, 367, 379 } ], [ { 372, 378, 644 }, { 367, 372, 644 }, { 367, 372, 378, 379 }, { 378, 379, 644 }, { 367, 379, 644 } ], [ { 56, 88, 270, 717, 718, 719 }, { 270, 644, 717, 720 }, { 717, 718, 720 }, { 718, 719, 720, 721 }, { 56, 719, 721 }, { 56, 88, 644, 721 }, { 88, 270, 644 }, { 644, 720, 721 } ], [ { 372, 378, 644 }, { 88, 378, 644 }, { 88, 372, 644 }, { 88, 372, 378 } ], [ { 367, 392, 645 }, { 367, 392, 701 }, { 392, 645, 701 }, { 367, 645, 701 } ], [ { 80, 372, 391, 722 }, { 367, 372, 722 }, { 80, 367, 372, 392 }, { 367, 391, 392, 722 }, { 80, 391, 392 } ], [ { 80, 393, 431 }, { 393, 431, 701 }, { 80, 392, 431, 701 }, { 80, 392, 393 }, { 392, 393, 701 } ], [ { 80, 372, 394 }, { 80, 394, 431 }, { 80, 372, 431 }, { 372, 394, 431 } ], [ { 84, 358, 652 }, { 84, 306, 652 }, { 84, 306, 358 }, { 306, 358, 652 } ], [ { 306, 652, 654, 655 }, { 306, 655, 656, 723 }, { 306, 652, 656 }, { 652, 654, 656, 723 }, { 654, 655, 723 } ], [ { 358, 637, 657 }, { 88, 637, 657 }, { 88, 358, 637 }, { 88, 358, 657 } ], [ { 408, 656, 657 }, { 88, 408, 657 }, { 88, 408, 656 }, { 88, 656, 657 } ], [ { 417, 420, 704 }, { 417, 420, 431 }, { 420, 431, 704 }, { 417, 431, 704 } ], [ { 88, 375, 417 }, { 375, 417, 431 }, { 88, 375, 431 }, { 88, 417, 431 } ], [ { 101, 428, 439 }, { 101, 428, 431 }, { 101, 431, 439 }, { 428, 431, 439 } ], [ { 101, 433, 704 }, { 101, 431, 433 }, { 101, 431, 704 }, { 431, 433, 704 } ], [ { 101, 437, 439, 445 }, { 101, 439, 704 }, { 439, 445, 704 }, { 101, 437, 704 }, { 437, 445, 704 } ], [ { 439, 445, 704 }, { 439, 445, 448, 450 }, { 439, 450, 704 }, { 448, 450, 704 }, { 445, 448, 704 } ], [ { 149, 480, 704 }, { 149, 448, 450, 480 }, { 149, 450, 704 }, { 448, 450, 704 }, { 448, 480, 704 } ], [ { 106, 454, 465 }, { 106, 465, 704 }, { 454, 465, 704 }, { 106, 454, 704 } ], [ { 454, 465, 487 }, { 306, 465, 487 }, { 306, 454, 487 }, { 306, 454, 465 } ], [ { 136, 463, 704 }, { 136, 458, 463 }, { 136, 458, 704 }, { 458, 463, 704 } ], [ { 124, 463, 465 }, { 111, 124, 458, 465 }, { 458, 463, 465 }, { 111, 124, 463 }, { 111, 458, 463 } ], [ { 106, 463, 465 }, { 106, 465, 704 }, { 463, 465, 704 }, { 106, 463, 704 } ], [ { 135, 136, 704 }, { 135, 136, 458 }, { 136, 458, 704 }, { 135, 458, 704 } ], [ { 135, 149, 482 }, { 135, 458, 482 }, { 149, 458, 482 }, { 135, 149, 458 } ], [ { 135, 149, 472, 480 }, { 149, 480, 704 }, { 135, 149, 704 }, { 135, 472, 704 }, { 472, 480, 704 } ], [ { 149, 482, 667 }, { 458, 482, 667 }, { 149, 458, 482 }, { 149, 458, 667 } ], [ { 465, 487, 489 }, { 306, 465, 487 }, { 306, 487, 489 }, { 306, 465, 489 } ], [ { 458, 465, 489, 667 }, { 458, 465, 725 }, { 458, 724, 725, 727 }, { 489, 493, 667, 724, 726, 727 }, { 465, 489, 493 }, { 465, 493, 725, 726 }, { 724, 725, 726 }, { 458, 667, 727 } ], [ { 149, 306, 669, 670 }, { 149, 306, 489, 667 }, { 489, 667, 669, 670 }, { 149, 667, 670 }, { 306, 489, 669 } ], [ { 160, 168, 502, 674 }, { 160, 499, 674 }, { 168, 499, 674 }, { 168, 499, 502 }, { 160, 499, 502 } ], [ { 168, 172, 515, 676 }, { 168, 172, 499 }, { 168, 499, 515 }, { 499, 515, 676 }, { 172, 499, 676 } ], [ { 168, 513, 515 }, { 510, 513, 515 }, { 168, 510, 515, 674 }, { 168, 513, 674 }, { 510, 513, 674 } ], [ { 176, 180, 193 }, { 180, 193, 316 }, { 176, 180, 316 }, { 176, 193, 316 } ], [ { 5, 521, 531 }, { 316, 521, 525, 531 }, { 5, 316, 531 }, { 5, 521, 525 }, { 5, 316, 525 } ], [ { 5, 176, 316 }, { 5, 176, 529 }, { 176, 316, 529 }, { 5, 316, 529 } ], [ { 5, 176, 535 }, { 176, 531, 535 }, { 5, 531, 535 }, { 5, 176, 531 } ], [ { 176, 510, 728, 729 }, { 176, 197, 728, 730 }, { 176, 197, 510 }, { 197, 510, 729, 730 }, { 728, 729, 730 } ], [ { 176, 206, 531 }, { 176, 197, 206 }, { 197, 206, 531 }, { 176, 197, 531 } ], [ { 180, 210, 239 }, { 180, 239, 316 }, { 180, 210, 316 }, { 210, 239, 316 } ], [ { 213, 223, 230 }, { 223, 230, 306 }, { 213, 230, 306 }, { 213, 223, 306 } ], [ { 180, 510, 682, 684 }, { 180, 239, 510 }, { 239, 510, 684 }, { 180, 239, 682 }, { 239, 682, 684 } ], [ { 510, 549, 551, 684 }, { 510, 684, 731, 732 }, { 549, 551, 731, 732 }, { 551, 684, 732 }, { 510, 549, 731 } ], [ { 239, 257, 688 }, { 257, 316, 688 }, { 239, 316, 688 }, { 239, 257, 316 } ], [ { 13, 239, 688 }, { 13, 223, 688 }, { 223, 239, 688 }, { 13, 223, 239 } ], [ { 310, 316, 688 }, { 306, 316, 688 }, { 262, 306, 310, 316 }, { 262, 310, 688 }, { 262, 306, 688 } ], [ { 223, 266, 688 }, { 266, 306, 688 }, { 223, 306, 688 }, { 223, 266, 306 } ], [ { 358, 574, 698 }, { 270, 574, 698 }, { 270, 358, 574 }, { 270, 358, 698 } ], [ { 358, 574, 690 }, { 316, 574, 690 }, { 316, 358, 574 }, { 316, 358, 690 } ], [ { 333, 578, 583, 589 }, { 275, 578, 583, 705, 706, 707 }, { 275, 333, 578 }, { 275, 333, 706, 733 }, { 589, 705, 707, 733 }, { 583, 589, 707 }, { 333, 589, 733 }, { 705, 706, 733 } ], [ { 358, 618, 711, 712 }, { 618, 711, 734, 735 }, { 358, 618, 734 }, { 358, 712, 734, 735 }, { 711, 712, 735 } ], [ { 281, 306, 589 }, { 281, 589, 590 }, { 306, 589, 590 }, { 281, 306, 590 } ], [ { 22, 320, 333 }, { 22, 26, 281, 320 }, { 281, 320, 333, 589 }, { 22, 26, 333, 589 }, { 26, 281, 589 } ], [ { 310, 316, 320 }, { 281, 306, 316, 320 }, { 262, 306, 310, 316 }, { 262, 281, 310, 320 }, { 262, 281, 306 } ], [ { 320, 330, 333 }, { 316, 320, 333 }, { 316, 330, 333 }, { 316, 320, 330 } ], [ { 333, 607, 613 }, { 316, 333, 613 }, { 316, 607, 609, 613 }, { 316, 333, 609 }, { 333, 607, 609 } ], [ { 336, 358, 618 }, { 316, 336, 358 }, { 316, 358, 609, 618 }, { 336, 609, 618 }, { 316, 336, 609 } ], [ { 358, 623, 626 }, { 270, 623, 626 }, { 270, 358, 626 }, { 270, 358, 623 } ], [ { 92, 364, 623 }, { 358, 364, 623 }, { 92, 358, 364 }, { 92, 358, 623 } ], [ { 56, 88, 92 }, { 88, 92, 270, 623 }, { 56, 88, 270, 717, 718, 719 }, { 270, 623, 717 }, { 623, 715, 717, 718 }, { 56, 92, 715, 719 }, { 92, 623, 715 }, { 715, 718, 719 } ], [ { 92, 358, 637 }, { 88, 92, 637 }, { 88, 92, 358 }, { 88, 358, 637 } ], [ { 270, 367, 640 }, { 367, 640, 701 }, { 270, 640, 701 }, { 270, 367, 701 } ], [ { 88, 372, 375 }, { 372, 375, 431 }, { 88, 375, 431 }, { 88, 372, 431 } ], [ { 88, 372, 644 }, { 88, 270, 644 }, { 88, 270, 367, 372 }, { 367, 372, 644 }, { 270, 367, 644 } ], [ { 80, 372, 431 }, { 80, 392, 431, 701 }, { 367, 372, 431, 701 }, { 80, 367, 372, 392 }, { 367, 392, 701 } ], [ { 358, 652, 656 }, { 306, 652, 656 }, { 306, 358, 656 }, { 306, 358, 652 } ], [ { 358, 656, 657 }, { 88, 656, 657 }, { 88, 358, 657 }, { 88, 358, 656 } ], [ { 88, 417, 704 }, { 88, 417, 431 }, { 417, 431, 704 }, { 88, 431, 704 } ], [ { 88, 306, 656 }, { 88, 656, 704 }, { 306, 656, 704 }, { 88, 306, 704 } ], [ { 101, 439, 704 }, { 101, 431, 704 }, { 101, 431, 439 }, { 431, 439, 704 } ], [ { 149, 439, 704 }, { 149, 450, 704 }, { 149, 439, 450 }, { 439, 450, 704 } ], [ { 306, 454, 465 }, { 454, 465, 704 }, { 306, 465, 704 }, { 306, 454, 704 } ], [ { 463, 465, 704 }, { 458, 463, 465 }, { 458, 465, 704 }, { 458, 463, 704 } ], [ { 135, 149, 704 }, { 135, 149, 458 }, { 135, 458, 704 }, { 149, 458, 704 } ], [ { 149, 306, 489, 667 }, { 149, 306, 458, 465 }, { 458, 465, 489, 667 }, { 306, 465, 489 }, { 149, 458, 667 } ], [ { 515, 676, 736 }, { 499, 515, 676 }, { 499, 676, 736 }, { 499, 515, 736 } ], [ { 168, 510, 515, 674 }, { 168, 499, 515 }, { 499, 510, 515 }, { 499, 510, 674 }, { 168, 499, 674 } ], [ { 176, 180, 510 }, { 176, 180, 316 }, { 180, 316, 510 }, { 176, 316, 510 } ], [ { 5, 176, 531 }, { 5, 176, 316 }, { 176, 316, 531 }, { 5, 316, 531 } ], [ { 176, 510, 531 }, { 176, 197, 531 }, { 176, 197, 510 }, { 197, 510, 531 } ], [ { 180, 239, 510 }, { 180, 239, 316 }, { 180, 316, 510 }, { 239, 316, 510 } ], [ { 223, 230, 731 }, { 223, 230, 306 }, { 230, 306, 731 }, { 223, 306, 731 } ], [ { 510, 684, 731, 732 }, { 223, 239, 510, 731 }, { 239, 510, 684 }, { 223, 239, 684, 732 }, { 223, 731, 732 } ], [ { 223, 306, 688 }, { 306, 316, 688 }, { 223, 239, 306, 316 }, { 223, 239, 688 }, { 239, 316, 688 } ], [ { 316, 358, 574 }, { 270, 358, 574 }, { 270, 316, 574 }, { 270, 316, 358 } ], [ { 333, 358, 618 }, { 358, 618, 734 }, { 333, 358, 589 }, { 358, 589, 734 }, { 618, 733, 734 }, { 589, 733, 734 }, { 333, 618, 733 }, { 333, 589, 733 } ], [ { 316, 320, 333 }, { 306, 316, 333, 589 }, { 281, 306, 316, 320 }, { 281, 320, 333, 589 }, { 281, 306, 589 } ], [ { 333, 358, 618 }, { 316, 333, 358 }, { 316, 358, 609, 618 }, { 316, 333, 609 }, { 333, 609, 618 } ], [ { 88, 92, 358 }, { 88, 92, 270, 623 }, { 88, 270, 358 }, { 92, 358, 623 }, { 270, 358, 623 } ], [ { 367, 372, 431, 701 }, { 88, 270, 431, 701 }, { 88, 270, 367, 372 }, { 88, 372, 431 }, { 270, 367, 701 } ], [ { 88, 358, 656 }, { 306, 358, 656 }, { 88, 306, 656 }, { 88, 306, 358 } ], [ { 88, 306, 704 }, { 88, 306, 431 }, { 88, 431, 704 }, { 306, 431, 704 } ], [ { 149, 439, 704 }, { 149, 431, 704 }, { 149, 431, 439 }, { 431, 439, 704 } ], [ { 149, 306, 704 }, { 149, 306, 458, 465 }, { 149, 458, 704 }, { 458, 465, 704 }, { 306, 465, 704 } ], [ { 510, 515, 731 }, { 499, 510, 515 }, { 499, 515, 736 }, { 515, 731, 736 }, { 499, 510, 737 }, { 499, 736, 737 }, { 510, 731, 737 }, { 731, 736, 737 } ], [ { 176, 510, 531 }, { 176, 316, 531 }, { 176, 316, 510 }, { 316, 510, 531 } ], [ { 223, 239, 306, 316 }, { 306, 316, 510, 731 }, { 223, 239, 510, 731 }, { 223, 306, 731 }, { 239, 316, 510 } ], [ { 270, 316, 358 }, { 316, 358, 701 }, { 270, 358, 701 }, { 270, 316, 701 } ], [ { 316, 333, 358 }, { 306, 316, 333, 589 }, { 306, 316, 358 }, { 306, 358, 589 }, { 333, 358, 589 } ], [ { 270, 358, 701 }, { 358, 431, 701 }, { 88, 270, 431, 701 }, { 88, 358, 431 }, { 88, 270, 358 } ], [ { 88, 306, 358 }, { 88, 358, 431 }, { 306, 358, 431 }, { 88, 306, 431 } ], [ { 149, 306, 704 }, { 149, 306, 431 }, { 149, 431, 704 }, { 306, 431, 704 } ], [ { 149, 306, 316, 531, 738, 739 }, { 306, 316, 510, 731 }, { 316, 510, 531 }, { 510, 515, 531, 738 }, { 149, 515, 731, 739 }, { 149, 306, 731 }, { 515, 738, 739 }, { 510, 515, 731 } ], [ { 306, 358, 431 }, { 358, 431, 701 }, { 306, 316, 431, 701 }, { 306, 316, 358 }, { 316, 358, 701 } ], [ { 306, 316, 431, 701 }, { 149, 306, 316, 531, 738, 739 }, { 149, 431, 739, 740 }, { 149, 306, 431 }, { 531, 701, 738, 740 }, { 316, 531, 701 }, { 738, 739, 740 }, { 431, 701, 740 } ] ] /* Order of PGL_2(O) stabilizers of Voronoi top cells */ [ 1, 3, 3, 1, 1, 1, 1, 1, 1, 3, 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, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 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, 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, 2, 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, 2, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 2, 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, 3, 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, 1, 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, 3, 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, 3, 1, 2, 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, 3, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 3, 6, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 2, 1, 1, 3, 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>, <6, 2>, <6, 2>, <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>, <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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <12, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <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>, <4, 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>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 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>, <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>, <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>, <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>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <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>, <6, 2>, <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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <6, 2>, <12, 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>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 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>, <6, 2>, <2, 1>, <6, 2> ]