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