/* Defining polynomial */ x^2 - x + 325 /* Minimal vectors */ [ <-8*w + 87, -159>, <8*w + 87, -8*w + 80>, <174, -8*w - 79>, <-25*w + 794, -24*w - 734>, <50*w, -25*w + 747>, <-18*w + 92, 5*w - 325>, <38*w + 231, -31*w + 484>, <-19*w + 810, -29*w - 682>, <-37*w + 902, -24*w - 1007>, <-5*w + 616, -27*w - 371>, <-w + 718, -34*w - 357>, <67*w + 40, -37*w + 1028>, <-40*w + 1205, -37*w - 1198>, <27*w + 1245, -74*w - 170>, <-547*w + 8212, -108*w - 12452>, <1202*w + 11905, -1202*w + 13107>, <-1749*w + 21319, -108*w - 37464>, <547*w + 32677, -1857*w - 7010>, <547*w + 7665, -655*w + 4895>, <-1202*w + 13107, -25012>, <1749*w + 19570, -1857*w + 18002>, <-547*w + 33224, -1310*w - 24357>, <2951*w + 31475, -3059*w + 31109>, <-2951*w + 34426, -108*w - 62476>, <-1310*w + 655, 655*w - 20772>, <655*w + 4240, -547*w + 8212>, <-655*w + 4895, 108*w - 12560>, <763*w + 16692, -1202*w + 3972>, <-763*w + 17455, -439*w - 20225>, <34147, -1641*w - 16253>, <-49*w + 222, 15*w - 871>, <-3*w + 324, -14*w - 201>, <4*w + 539, -28*w - 194>, , <-14*w + 215, -3*w - 321>, <-28*w + 222, 4*w - 543>, <-42*w + 437, w - 864>, <15*w + 856, -49*w - 173>, <7*w + 7, -4*w + 106>, <12*w + 327, -22*w + 32>, <13*w + 545, -33*w - 56>, <-26*w + 616, -16*w - 699>, <22*w + 10, -12*w + 339>, <-33*w + 89, 13*w - 558>, <4*w + 102, -7*w + 14>, <-16*w + 715, -26*w - 590>, <-21*w + 83, 7*w - 367>, <10*w + 141, -12*w + 89>, <-36*w + 184, 10*w - 649>, <3*w + 509, -26*w - 195>, <20*w + 11, -11*w + 307>, <-3*w + 116, -4*w - 102>, <17*w + 127, -15*w + 205>, <47*w + 258, -37*w + 611>, <-9*w + 327, -11*w - 296>, <-2*w + 334, -15*w - 190>, <-10*w + 879, -37*w - 574>, <2*w + 228, -12*w - 77>, <23*w + 291, -26*w + 221>, <-14*w + 298, -7*w - 360>, <-26*w + 491, -10*w - 639>, , <-8*w + 28, 3*w - 134>, <-w + 98, -4*w - 63>, <108, -5*w - 53>, <2*w + 20, -2*w + 21>, <21, -w - 10>, <-7*w + 78, -145>, <-2*w + 107, -4*w - 82>, <-2*w + 1, w - 31>, <-14*w + 71, 4*w - 247>, <15*w + 110, -13*w + 176>, <128, -6*w - 61>, , <3*w + 180, -10*w - 40>, <-12*w + 198, -3*w - 277>, <-11*w + 16, 5*w - 175>, , <-8*w + 196, -5*w - 215>, <-10*w + 69, 2*w - 185>, <-6*w + 302, -11*w - 235>, <5*w + 30, -4*w + 62>, <-5*w + 34, w - 92>, <6*w + 83, -7*w + 52>, , <-w + 118, -5*w - 71>, <4*w + 148, -9*w - 9>, <-5*w + 35, w - 92>, <2*w + 42, -3*w + 10>, <-3*w + 77, -2*w - 82>, <-9*w + 145, -2*w - 205>, <5*w + 30, -4*w + 61>, <-2*w + 44, -w - 51>, <3*w + 74, -5*w + 10>, <9*w + 136, -11*w + 71>, <151, -7*w - 72>, <-7*w + 13, 3*w - 111>, <5*w + 96, -7*w + 30>, <-w + 98, -4*w - 61>, <-2*w + 109, -4*w - 81>, <-w + 11, -20>, <8*w + 20, -5*w + 111>, , <108, -5*w - 50>, <-2*w + 22, -41>, <7*w + 71, -7*w + 74>, <2*w + 105, -6*w - 19>, <-w + 34, -w - 31>, <-3*w + 35, -61>, <4*w + 86, -6*w + 17>, <-2*w + 90, -3*w - 73>, <3*w + 10, -2*w + 40>, <-3*w + 12, w - 50>, <-4*w + 23, w - 70>, <-w + 77, -3*w - 51>, <2*w + 87, -5*w - 11>, <3*w + 32, -3*w + 29>, , <2*w + 88, -5*w - 12>, <-4*w + 90, -2*w - 101>, <-4*w + 1, 2*w - 59>, <8*w + 20, -5*w + 108>, <5*w + 54, -5*w + 48>, , <-4*w + 112, -3*w - 111>, <4*w + 132, -8*w - 3>, <2*w + 44, -3*w + 9>, <-3*w + 56, -w - 70>, <2*w + 1, -w + 29>, <-3*w + 9, w - 48>, <-w + 10, -19>, <66, -3*w - 28>, <-w + 31, -w - 28>, <3*w + 35, -3*w + 31>, <-2*w + 41, -w - 47>, <-w + 32, -w - 29>, , <65, -3*w - 28>, <-3*w + 74, -2*w - 77>, <2*w + 1, -w + 30>, <-5*w + 8, 2*w - 79>, <3*w + 34, -3*w + 31>, , <3*w + 13, -2*w + 41>, <-2*w + 19, -39>, <42, -2*w - 17>, <-9*w + 6, 4*w - 143>, <4*w + 106, -7*w + 17>, <-5*w + 112, -3*w - 126>, <-15*w + 128, w - 289>, <-w + 10, -20>, <-5*w + 133, -4*w - 135>, <-2*w + 22, -39>, <22, -w - 10>, <2*w + 23, -2*w + 19>, <-w + 55, -2*w - 39>, <-9*w + 11, 4*w - 139>, <4*w + 109, -7*w + 10>, <-5*w + 120, -3*w - 129>, <-15*w + 142, w - 288>, <-14*w + 131, w - 268>, <9*w + 251, -16*w + 20>, <-8*w + 22, 3*w - 129>, <3*w + 120, -7*w - 10>, <-5*w + 142, -4*w - 139>, <-14*w + 175, -w - 288>, <-25*w + 55, 10*w - 397>, <-13*w + 164, -w - 268>, <10*w + 393, -23*w - 30>, <2*w + 43, -3*w + 11>, <-2*w + 64, -2*w - 59>, <3*w + 75, -5*w + 12>, <107, -5*w - 48>, <5*w + 13, -3*w + 71>, <2*w + 22, -2*w + 21>, <-4*w + 62, -w - 88>, <-2*w + 84, -3*w - 67>, <4*w + 1, -2*w + 61>, <-3*w + 52, -w - 69>, , <-14*w + 81, 3*w - 251>, <12*w + 151, -13*w + 118>, <-2*w + 232, -10*w - 133>, <5*w + 54, -5*w + 53>, <2*w + 85, -5*w - 7>, <-3*w + 31, -60>, <-5*w + 52, -100>, <-2*w + 84, -3*w - 68>, <5*w + 117, -8*w + 25>, , <5*w + 96, -7*w + 34>, <7*w + 33, -5*w + 93>, , <-9*w + 76, w - 169>, <2*w, -w + 30>, <-7*w + 98, -w - 149>, <5*w + 11, -3*w + 71>, <-3*w + 32, -60>, <-5*w + 53, -100>, <3*w + 139, -8*w - 17>, <2*w + 128, -7*w - 27>, <-2*w + 128, -5*w - 88>, <3*w + 11, -2*w + 42>, <-4*w + 20, w - 71>, <-w + 73, -3*w - 48>, <2*w + 84, -5*w - 6>, <-3*w + 10, w - 51>, <-4*w + 41, -80>, <-w + 94, -4*w - 57>, <3*w + 53, -4*w + 23>, <15*w + 55, -10*w + 208>, <63, -3*w - 28>, <-5*w + 10, 2*w - 82>, <105, -5*w - 47>, <2*w, -w + 31>, <2*w + 21, -2*w + 22>, <6*w + 42, -5*w + 75>, <-w + 52, -2*w - 39>, <-w + 135, -6*w - 76>, <-3*w + 52, -w - 70>, <2*w + 63, -4*w + 3>, , <-w + 115, -5*w - 67>, <3*w + 32, -3*w + 31>, <-2*w + 43, -w - 50>, , <-5*w + 268, -10*w - 198>, <5*w + 32, -4*w + 61>, <-4*w + 43, -80>, <-w + 32, -w - 30>, <5*w + 53, -5*w + 52>, <-3*w + 75, -2*w - 80>, <-5*w + 11, 2*w - 81>, <-3*w + 54, -w - 70>, <-w + 54, -2*w - 40>, <-2*w + 65, -2*w - 60>, <6*w + 107, -8*w + 41>, <-w + 119, -5*w - 70>, <7*w + 10, -4*w + 101>, <3*w + 75, -5*w + 11>, <2*w + 129, -7*w - 29>, <4*w + 21, -3*w + 51>, <6*w + 42, -5*w + 72>, <3*w + 10, -2*w + 41>, <-4*w + 22, w - 71>, <3*w + 53, -4*w + 21>, <2*w + 64, -4*w + 1>, <43, -2*w - 20>, <7*w + 52, -6*w + 82>, <-w + 118, -5*w - 70>, <2*w + 63, -4*w + 2>, <-9*w + 75, w - 173>, <4*w + 84, -6*w + 23>, <6*w + 147, -10*w + 25>, <8*w + 20, -5*w + 114>, <-w + 95, -4*w - 59>, <5*w + 31, -4*w + 63>, <2*w + 105, -6*w - 17>, <-8*w + 106, -w - 172>, <-3*w + 137, -5*w - 109>, <4*w + 168, -10*w - 15>, <4*w + 64, -5*w + 33>, <6*w + 1, -3*w + 92>, <3*w + 32, -3*w + 32>, <-w + 116, -5*w - 67>, <-9*w + 9, 4*w - 143>, <4*w + 148, -9*w - 4>, <-9*w + 72, w - 171>, <6*w + 43, -5*w + 73>, <-2*w + 63, -2*w - 59>, <-4*w + 84, -2*w - 99>, <2*w + 127, -7*w - 26>, <-6*w + 85, -w - 130>, <-2*w + 85, -3*w - 69>, <-2*w + 149, -6*w - 98>, <4*w, -2*w + 61>, <2*w + 85, -5*w - 8>, <-7*w + 117, -2*w - 160>, <170, -8*w - 77>, <9*w + 32, -6*w + 123>, <7*w + 117, -9*w + 54>, <-6*w + 43, w - 112>, <7*w + 52, -6*w + 84>, <-2*w + 127, -5*w - 89>, <-5*w + 11, 2*w - 82>, <-11*w + 54, 3*w - 194>, <-6*w + 43, w - 111>, <-w + 96, -4*w - 59>, <9*w + 53, -7*w + 113>, <64, -3*w - 29>, <3*w + 96, -6*w + 2>, <-w + 160, -7*w - 88>, <-8*w + 107, -w - 170>, <-5*w + 139, -4*w - 139>, <5*w + 139, -9*w + 13>, , <6*w + 43, -5*w + 72>, <-3*w + 96, -3*w - 89>, <-6*w + 21, 2*w - 101>, <5*w + 96, -7*w + 33>, <-w + 117, -5*w - 68>, <-10*w + 21, 4*w - 162>, <4*w + 64, -5*w + 32>, <5*w + 160, -10*w + 4>, <-5*w + 181, -6*w - 158>, <-10*w + 88, w - 198>, <-8*w + 316, -11*w - 275>, <3*w + 446, -23*w - 165>, <8*w + 38, -6*w + 107>, <-10*w + 67, 2*w - 188>, <-2*w + 105, -4*w - 81>, <9*w + 360, -22*w - 30>, <-69*w + 44, 34*w - 1099>, <23*w + 228, -23*w + 251>, <-16*w + 507, -16*w - 491>, <-41*w + 592, -7*w - 922>, <-25*w + 85, 9*w - 431>, <5*w + 320, -18*w - 74>, <-13*w + 1140, -48*w - 745>, <-29*w + 191, 6*w - 544>, <17*w + 626, -39*w - 32>, <-14*w + 194, -2*w - 311>, <33*w + 847, -58*w + 113>, <-25*w + 293, -w - 530>, <24*w + 425, -33*w + 173>, <-35*w + 173, 10*w - 629>, <-9*w + 306, -10*w - 286>, <27*w + 351, -31*w + 255>, <-8*w + 524, -21*w - 374>, <33*w + 140, -24*w + 449>, <-2*w + 313, -14*w - 180>, <-w + 531, -25*w - 268>, <-14*w + 6, 7*w - 222>, , <-3*w + 74, -2*w - 82>, <-7*w + 221, -7*w - 214>, <-2*w + 84, -3*w - 71>, <7*w + 215, -14*w + 8>, <-13*w + 16, 6*w - 211>, <6*w + 205, -13*w - 3>, <-22*w + 52, 9*w - 369>, <-4*w + 85, -2*w - 103>, <6*w + 101, -8*w + 46>, <2*w + 186, -10*w - 57>, <17*w + 23, -10*w + 255>, <-7*w + 180, -5*w - 195>, <-2*w + 271, -12*w - 160>, <-23*w + 188, 3*w - 449>, , <-11*w + 286, -8*w - 308>, <-108*w + 12560, -547*w - 7665>, <-655*w + 20772, -655*w - 20117>, <-1526*w + 763, 763*w - 24197>, <9135, -439*w - 4348>, <-108*w + 3425, -108*w - 3317>, <439*w + 4348, -439*w + 4787>, <-324*w + 12668, -439*w - 11090>, <-216*w + 108, 108*w - 3425>, <763*w + 815, -439*w + 11529>, <-324*w + 3533, -6742>, <-216*w + 2501, -7*w - 4564>, <-7*w + 4571, -216*w - 2285>, <533*w + 5279, -533*w + 5812>, <-223*w + 7072, -223*w - 6849>, <-230*w + 115, 115*w - 3647>, <115*w + 3095, -209*w + 323>, <-115*w + 3210, -94*w - 3324>, <352*w + 5151, -432*w + 3046>, <-352*w + 5503, -80*w - 8117>, <-115*w + 1254, -2393>, <-345*w + 1369, 115*w - 6040>, <4349, -209*w - 2070>, <345*w + 1024, -230*w + 4901>, <115*w + 1139, -115*w + 1254>, <-1014*w + 611, 502*w - 16128>, <-108*w + 1032, 7*w - 2178>, <-526*w + 11895, -296*w - 13877>, <495*w + 13455, -906*w + 1327>, <906*w + 421, -495*w + 13950>, <7*w + 2171, -108*w - 924>, <387*w + 14487, -899*w - 851>, <-404*w + 15205, -519*w - 13547>, <-899*w + 1750, 387*w - 14874>, <-519*w + 14066, -404*w - 14801>, <-512*w + 16237, -512*w - 15725>, <-296*w + 14173, -526*w - 11369>, <502*w + 15626, -1014*w + 403>, <-115*w + 817, 21*w - 2185>, <-223*w + 1849, 28*w - 4363>, <21*w + 2164, -115*w - 702>, <251*w + 2486, -251*w + 2737>, <-94*w + 2981, -94*w - 2887>, <28*w + 4335, -223*w - 1626>, <-14*w + 7, 7*w - 222>, <-60*w + 134, 25*w - 1001>, <-7*w + 430, -17*w - 314>, <-21*w + 437, -10*w - 536>, <39*w + 95, -25*w + 564>, <60*w + 74, -35*w + 902>, <21*w + 416, -31*w + 130>, <7*w + 423, -24*w - 92>, <-39*w + 134, 14*w - 673>, <14*w + 201, -17*w + 123>, <645, -31*w - 307>, <48*w + 80, -29*w + 712>, <26*w + 91, -18*w + 363>, <208, -10*w - 99>, <-37*w + 840, -21*w - 978>, <-26*w + 117, 8*w - 462>, <-48*w + 128, 19*w - 811>, <37*w + 803, -58*w + 196>, <41*w + 489, -45*w + 408>, <-41*w + 530, -4*w - 893>, <67*w + 580, -63*w + 771>, <15*w + 606, -37*w - 54>, <-15*w + 621, -22*w - 530>, <-67*w + 647, 4*w - 1355>, <1227, -59*w - 584>, <15*w + 398, -27*w + 45>, <11*w + 504, -30*w - 68>, <-35*w + 7, 18*w - 550>, <7*w + 215, -14*w + 7>, <-10*w + 546, -21*w - 416>, <32*w + 317, -32*w + 349>, <18*w + 532, -35*w + 28>, <11*w + 754, -42*w - 187>, <-42*w + 229, 11*w - 765>, <-31*w + 983, -31*w - 952>, <-47*w + 75, 21*w - 770>, <34*w + 337, -34*w + 371>, <-13*w + 412, -13*w - 399>, <21*w + 749, -47*w - 28>, <-35*w + 194, 9*w - 639>, <-5*w + 637, -28*w - 381>, <-8*w + 732, -31*w - 473>, <-28*w + 409, -5*w - 632>, <9*w + 630, -35*w - 159>, <-31*w + 504, -8*w - 724>, <6*w + 18, -4*w + 85>, <-7*w + 368, -14*w - 284>, <-11*w + 224, -5*w - 278>, <19*w + 22, -11*w + 286>, , <20*w + 261, -23*w + 188>, <2*w + 457, -23*w - 186>, <9*w + 464, -27*w - 80>, <-17*w + 664, -23*w - 581>, <11*w + 921, -50*w - 266>, <-23*w + 84, 8*w - 399>, <-19*w + 207, -395>, <-42*w + 291, 8*w - 794>, <24*w + 134, -19*w + 311>, <-26*w + 200, 4*w - 501>, <26*w + 591, -42*w + 125>, <5*w + 341, -19*w - 84>, <14*w + 243, -19*w + 103>, <21*w + 250, -23*w + 209>, <-22*w + 323, -4*w - 497>, <-w + 573, -27*w - 288>, <-5*w + 450, -19*w - 292>, <16*w + 700, -42*w - 83>, <47*w + 841, -65*w + 334>, <-3*w + 907, -42*w - 478>, <71*w + 184, -46*w + 1021>, <-48*w + 523, -998>, <45*w + 384, -42*w + 520>, <-25*w + 1230, -46*w - 975>, <23*w + 707, -46*w + 23>, <18*w + 1157, -65*w - 269>, <27*w + 18, -15*w + 413>, <-12*w + 443, -15*w - 398>, <-29*w + 87, 11*w - 494>, <-15*w + 330, -8*w - 391>, <15*w + 482, -31*w + 5>, <-14*w + 569, -20*w - 489>, <40*w + 43, -23*w + 604>, <18*w + 366, -27*w + 107>, <39*w + 616, -50*w + 316>, <-34*w + 537, -8*w - 786>, <11*w + 130, -12*w + 110>, <-16*w + 70, 5*w - 283>, <21*w + 63, -14*w + 298>, <5*w + 29, -4*w + 61>, <-w + 33, -w - 31>, <4*w + 62, -5*w + 30>, <-2*w + 88, -3*w - 73>, <6*w + 82, -7*w + 50>, <6*w + 60, -6*w + 61>, <-6*w + 26, 2*w - 103>, <3*w + 95, -6*w - 1>, <7*w + 28, -5*w + 94>, , <3*w + 30, -3*w + 31>, <-3*w + 34, -62>, <14*w + 57, -10*w + 186>, <-w + 182, -8*w - 102>, <23*w + 42, -14*w + 330>, <11*w + 112, -11*w + 114>, <13*w + 346, -23*w + 33>, <-2*w + 65, -2*w - 61>, <-4*w + 66, -w - 92>, <3*w + 31, -3*w + 31>, <3*w + 52, -4*w + 21>, <-6*w + 3, 3*w - 92>, <11*w + 113, -11*w + 112>, <-11*w + 124, -225>, <237, -11*w - 113>, <3*w + 9, -2*w + 41>, <12*w + 79, -10*w + 143>, <11*w + 112, -11*w + 112>, <-3*w + 228, -9*w - 155>, <237, -11*w - 114>, <-8*w + 6, 4*w - 123>, <-3*w + 78, -2*w - 83>, <7*w + 49, -6*w + 81>, <-4*w + 68, -w - 93>, <-10*w + 72, 2*w - 185>, <2*w + 107, -6*w - 22>, <-2*w + 23, -41>, , <130, -6*w - 63>, <2*w + 21, -2*w + 20>, <-3*w + 77, -2*w - 81>, <-7*w + 56, w - 131>, <4*w + 64, -5*w + 30>, <3*w + 75, -5*w + 10>, <-5*w + 34, w - 91>, <10*w + 62, -8*w + 121>, <-6*w + 2, 3*w - 91>, <6*w + 128, -9*w + 30>, <130, -6*w - 61>, <-7*w + 143, -3*w - 172>, <-8*w + 2, 4*w - 121>, <2*w + 86, -5*w - 10>, , <6*w + 20, -4*w + 81>, <-4*w + 66, -w - 91>, <-2*w + 195, -8*w - 121>, <-6*w + 88, -w - 131>, <8*w + 106, -9*w + 71>, <-6*w + 66, -121>, <-5*w + 12, 2*w - 81>, <-6*w + 23, 2*w - 101>, <-3*w + 98, -3*w - 91>, <6*w + 63, -6*w + 61>, <3*w + 161, -9*w - 30>, <-7*w + 35, 2*w - 124>, <-w + 117, -5*w - 71>, <-3*w + 33, -61>, <-2*w + 2, w - 30>, , , <-w + 35, -w - 32>, <2*w + 20, -2*w + 19>, <45, -2*w - 23>, <22, -w - 11>, , <4*w + 41, -4*w + 39>, <-4*w + 47, -82>, <-w + 56, -2*w - 42>, <-5*w + 14, 2*w - 80>, <4*w + 20, -3*w + 49>, <5*w + 9, -3*w + 69>, <-4*w + 24, w - 70>, <-6*w + 3, 3*w - 89>, <3*w + 54, -4*w + 18>, <-3*w + 57, -w - 71>, <3*w + 9, -2*w + 40>, <-2*w + 1, w - 30>, <5*w + 52, -5*w + 49>, <-2*w + 67, -2*w - 62>, <-5*w + 57, -101>, <2*w + 65, -4*w - 1>, <-6*w + 67, -121>, <4*w + 43, -4*w + 39>, <-w + 11, -19>, , <-2*w + 23, -39>, <-w + 34, -w - 30>, , <2*w, -w + 29>, <45, -2*w - 20>, <-w + 33, -w - 30>, <-4*w + 45, -80>, <-2*w + 23, -40>, <2*w + 22, -2*w + 19>, <-8*w + 4, 4*w - 105>, <-19*w + 123, 5*w - 304>, <4*w + 124, -7*w - 8>, <23*w + 228, -21*w + 187>, <4*w + 351, -16*w - 117>, , <-w + 13, -19>, <5*w + 86, -6*w + 23>, <-5*w + 91, -w - 108>, <4*w + 99, -6*w + 4>, <-4*w + 103, -2*w - 101>, <1, -1>, , <-w + 14, -19>, <26, -w - 13>, <1, 0>, <-w + 13, -18>, , <26, -w - 12>, , <-w + 15, -19>, , <27, -w - 13>, <29, -w - 14>, <-w + 14, -18>, , <-w + 14, -20>, <25, -w - 13>, , <-6*w + 9, 3*w - 82>, , <-3*w + 93, -2*w - 87>, <-2*w + 2, w - 27>, , <-w + 8, -18>, <-w + 9, -18>, <22, -w - 7>, , <-4*w + 41, -78>, <2*w + 23, -2*w + 20>, <-2*w + 21, -39>, <43, -2*w - 18>, <-2*w + 20, -39>, <-w + 9, -19>, <2*w + 2, -w + 30>, <21, -w - 9>, <-7*w + 90, -w - 148>, <-6*w + 101, -2*w - 137>, <6*w + 107, -8*w + 48>, <5*w + 117, -8*w + 28>, <-4*w + 123, -4*w - 115>, <-8*w + 17, 3*w - 132>, <-8*w + 38, 2*w - 141>, <2*w + 126, -7*w - 23>, <-8*w + 59, w - 150>, <3*w + 116, -7*w - 3>, <4*w + 127, -8*w + 8>, <7*w + 264, -16*w - 4>, <8*w + 4, -4*w + 123>, <-3*w + 134, -5*w - 104>, <4*w + 148, -9*w - 1>, <-16*w + 13, 7*w - 255>, <-w + 33, -w - 29>, <-6*w + 109, -2*w - 139>, <5*w + 98, -7*w + 30>, <4*w + 131, -8*w>, <-8*w + 44, 2*w - 139>, <-8*w + 66, w - 149>, <2*w + 153, -8*w - 40>, <7*w + 273, -16*w - 20>, <3*w + 142, -8*w - 20>, <8*w, -4*w + 119>, <-16*w + 22, 7*w - 248>, <8*w + 22, -5*w + 109>, <-4*w + 131, -4*w - 119>, <5*w + 142, -9*w + 10>, <-9*w + 251, -7*w - 248>, <5*w + 34, -4*w + 62>, <-3*w + 94, -3*w - 88>, <84, -4*w - 37>, <4*w + 106, -7*w + 15>, <6*w, -3*w + 91>, <4*w + 43, -4*w + 41>, <86, -4*w - 39>, <3*w + 118, -7*w - 8>, <5*w + 32, -4*w + 63>, <-2*w + 21, -41>, <-3*w + 31, -61>, , <2*w + 42, -3*w + 11>, <-6*w + 44, w - 112>, <7*w + 73, -7*w + 73>, , <-2*w + 105, -4*w - 78>, <3*w + 137, -8*w - 15>, <-3*w + 53, -w - 70>, <-5*w + 138, -4*w - 139>, <7*w + 11, -4*w + 102>, <-2*w + 21, -40>, <5*w + 32, -4*w + 62>, <6*w + 21, -4*w + 82>, <2*w + 21, -2*w + 21>, , <5*w + 117, -8*w + 23>, <-3*w + 95, -3*w - 92>, <-5*w + 200, -7*w - 173>, <333, -16*w - 158>, <12*w + 119, -12*w + 131>, <-29*w + 170, 7*w - 534>, <-17*w + 289, -5*w - 403>, <28*w + 340, -31*w + 276>, <-20*w + 384, -8*w - 495>, <8*w + 724, -39*w - 219>, <48*w + 143, -32*w + 682>, <-43*w + 177, 14*w - 756>, <9*w + 422, -25*w - 60>, <-34*w + 599, -11*w - 816>, <32*w + 650, -48*w + 191>, <14*w + 742, -43*w - 134>, <-11*w + 827, -34*w - 565>, <22*w + 31, -13*w + 329>, <13*w + 337, -23*w + 43>, <-31*w + 275, 3*w - 615>, <19*w + 126, -16*w + 237>, <17*w + 439, -30*w + 57>, <-14*w + 714, -27*w - 558>, <3*w + 425, -22*w - 155>, <-24*w + 282, -w - 509>, <-5*w + 408, -17*w - 272>, <7*w + 527, -29*w - 141>, <15*w + 24, -9*w + 223>, <-12*w + 89, 2*w - 230>, <-16*w + 174, -333>, <108*w + 12452, -655*w - 4240>, <25012, -1202*w - 11905>, <108*w + 3317, -216*w + 108>, <209*w + 2070, -209*w + 2279>, <2393, -115*w - 1139>, <122*w + 917, -108*w + 1469>, <-129*w + 1261, 7*w - 2615>, <-7*w + 2178, -101*w - 1146>, <-122*w + 1039, 14*w - 2400>, <129*w + 1132, -122*w + 1476>, <-411*w + 13034, -411*w - 12623>, <122*w + 1354, -129*w + 1261>, <-122*w + 602, 35*w - 2192>, <35*w + 2157, -122*w - 480>, <-15*w + 413, -12*w - 431>, <-11*w + 515, -19*w - 417>, <-30*w + 15, 15*w - 476>, <-4*w + 106, -3*w - 113>, <11*w + 109, -11*w + 120>, <-24*w + 303, -2*w - 519>, <-2*w + 521, -24*w - 279>, <13*w + 25, -8*w + 191>, <4*w + 123, -8*w + 4>, <-18*w + 425, -11*w - 483>, <16*w + 471, -31*w + 26>, <-66*w + 157, 27*w - 1105>, <27*w + 830, -54*w + 27>, <-39*w + 987, -27*w - 1078>, <-5*w + 221, -8*w - 183>, <43, -2*w - 21>, <6*w + 17, -4*w + 82>, <-6*w + 69, -124>, <-42*w + 21, 21*w - 649>, <53*w + 91, -32*w + 763>, <-11*w + 123, -226>, <-53*w + 144, 21*w - 875>, <235, -11*w - 112>, <21*w + 641, -41*w + 14>, <-21*w + 662, -20*w - 635>, <32*w + 753, -52*w + 128>, <-32*w + 785, -20*w - 861>, <21*w + 876, -52*w - 98>, <-21*w + 897, -31*w - 747>, <86, -4*w - 41>, <6*w + 61, -6*w + 60>, <-6*w + 4, 3*w - 92>, <-6*w + 46, w - 112>, <65, -3*w - 31>, <-4*w + 2, 2*w - 61>, <6*w + 40, -5*w + 71>, <-4*w + 88, -2*w - 101>, <-w + 12, -20>, , <-w + 78, -3*w - 52>, <-146*w + 73, 73*w - 2107>, <22*w + 218, -21*w + 208>, <-22*w + 240, w - 427>, <458, -20*w - 219>, <73*w + 2242, -136*w - 36>, <-73*w + 2315, -63*w - 2143>, <7*w + 214, -13*w - 3>, <-7*w + 221, -6*w - 205>, <15*w + 439, -27*w + 3>, <-15*w + 454, -12*w - 430>, , <-w + 13, -21>, <-w + 14, -21>, <23, -w - 12>, <24, -w - 13>, <-4*w + 128, -3*w - 113>, <-23*w + 251, 2*w - 417>, <479, -19*w - 230>, <-3*w + 115, -3*w - 94>, , <-2*w + 19, -38>, <21, -w - 8>, <43, -2*w - 19>, <-2*w + 86, -3*w - 68>, <2*w + 43, -3*w + 12>, <-3*w + 32, -61>, <3*w + 53, -4*w + 22>, <-3*w + 74, -2*w - 80>, <11*w + 115, -11*w + 117>, <-11*w + 117, -223>, <232, -11*w - 106>, <-48*w + 44, 23*w - 771>, <-36*w + 163, 11*w - 640>, <31*w + 245, -28*w + 368>, <-8*w + 503, -20*w - 364>, <11*w + 629, -36*w - 127>, <23*w + 748, -48*w + 4>, <-25*w + 792, -25*w - 767>, <-w + 54, -2*w - 41>, <-3*w + 12, w - 51>, <4*w + 41, -4*w + 41>, <-4*w + 45, -82>, <3*w + 31, -3*w + 30>, <-3*w + 34, -61>, <45, -2*w - 21>, <-14*w + 7, 7*w - 202>, <25, -w - 12>, <-4*w + 21, w - 71>, , <4*w + 21, -3*w + 52>, <42, -2*w - 19>, <-w + 74, -3*w - 49>, <16*w + 221, -19*w + 145>, <-21*w + 187, 2*w - 417>, <2*w + 415, -21*w - 166>, <23, -w - 11>, <-w + 12, -19>, , <-w + 13, -20>, <-7*w + 222, -7*w - 215>, <-7*w + 14, 3*w - 116>, <3*w + 113, -7*w - 7>, <-w + 11, -21>, <0, 1> ] /* Voronoi top cells */ [ { 1, 2, 3, 4, 5 }, { 6, 7, 8, 9 }, { 6, 8, 10, 11 }, { 11, 12, 13, 14 }, { 15, 16, 17, 18 }, { 19, 20, 21, 22 }, { 16, 17, 20, 21, 23, 24 }, { 25, 26, 27, 28, 29, 30 }, { 31, 32, 33, 34 }, { 35, 36, 37, 38 }, { 39, 40, 41, 42 }, { 43, 44, 45, 46 }, { 47, 48, 49, 50 }, { 51, 52, 53, 54 }, { 39, 55, 56, 57 }, { 58, 59, 60, 61 }, { 62, 63, 64, 65 }, { 66, 67, 68, 69 }, { 70, 71, 72, 73, 74 }, { 70, 74, 75, 76 }, { 70, 75, 77, 78, 79 }, { 77, 78, 80, 81 }, { 82, 83, 84, 85, 86, 87 }, { 88, 89, 90, 91 }, { 92, 93, 94, 95 }, { 88, 90, 92, 94, 96 }, { 97, 98, 99, 100 }, { 101, 102, 103, 104 }, { 67, 105, 106, 107 }, { 108, 109, 110, 111 }, { 101, 112, 113, 114, 115, 116 }, { 117, 118, 119, 120 }, { 121, 122, 123, 124, 125, 126 }, { 121, 124, 127, 128 }, { 129, 130, 131, 132 }, { 131, 133, 134, 135 }, { 136, 137, 138, 139 }, { 137, 140, 141, 142 }, { 143, 144, 145, 146 }, { 147, 148, 149, 150 }, { 147, 148, 151, 152 }, { 153, 154, 155, 156 }, { 157, 158, 159, 160 }, { 157, 159, 161, 162 }, { 163, 164, 165, 166 }, { 101, 157, 164, 165 }, { 163, 165, 167, 168, 169 }, { 170, 171, 172, 173 }, { 174, 175, 176, 177 }, { 178, 179, 180, 181, 182, 183 }, { 178, 180, 184, 185 }, { 186, 187, 188, 189 }, { 185, 187, 190, 191 }, { 180, 185, 187, 192 }, { 3, 193, 194, 195 }, { 2, 101, 193, 196 }, { 1, 2, 3, 193 }, { 197, 198, 199, 200 }, { 172, 190, 199, 201 }, { 170, 172, 199, 202 }, { 203, 204, 205, 206 }, { 204, 207, 208, 209 }, { 207, 208, 209, 210 }, { 207, 210, 211, 212 }, { 207, 213, 214, 215 }, { 216, 217, 218, 219 }, { 218, 220, 221, 222 }, { 207, 213, 215, 223 }, { 224, 225, 226, 227 }, { 225, 226, 228, 229 }, { 225, 230, 231, 232 }, { 224, 225, 231, 233 }, { 225, 228, 229, 234 }, { 101, 235, 236, 237, 238 }, { 234, 235, 239, 240, 241 }, { 234, 235, 240, 242 }, { 225, 230, 232, 243 }, { 244, 245, 246, 247 }, { 244, 248, 249, 250 }, { 251, 252, 253, 254 }, { 252, 253, 255, 256 }, { 257, 258, 259, 260 }, { 251, 258, 259, 261 }, { 187, 190, 191, 262 }, { 186, 263, 264, 265 }, { 186, 187, 262, 265 }, { 186, 264, 266, 267 }, { 186, 212, 266, 268 }, { 269, 270, 271, 272 }, { 273, 274, 275, 276 }, { 274, 277, 278, 279 }, { 274, 275, 278, 280, 281 }, { 253, 282, 283, 284 }, { 251, 253, 254, 283 }, { 282, 283, 285, 286 }, { 224, 231, 287, 288 }, { 287, 288, 289, 290, 291, 292 }, { 198, 224, 293, 294 }, { 198, 290, 294, 295 }, { 190, 199, 201, 296 }, { 198, 290, 297, 298 }, { 198, 199, 296, 297 }, { 276, 299, 300, 301 }, { 276, 299, 300, 302 }, { 276, 290, 302, 303, 304, 305 }, { 39, 306, 307, 308 }, { 309, 310, 311, 312 }, { 313, 314, 315, 316 }, { 316, 317, 318, 319 }, { 6, 45, 46, 320 }, { 6, 11, 320, 321 }, { 6, 7, 322, 323 }, { 6, 7, 8, 11 }, { 11, 13, 14, 324, 325 }, { 7, 11, 322, 325 }, { 11, 45, 320, 324 }, { 326, 327, 328, 329 }, { 39, 326, 329, 330, 331, 332 }, { 333, 334, 335, 336 }, { 334, 336, 337, 338 }, { 335, 336, 337, 339, 340 }, { 341, 342, 343, 344 }, { 342, 344, 345, 346, 347 }, { 45, 348, 349, 350 }, { 15, 16, 351, 352 }, { 15, 16, 17, 19, 20, 21 }, { 26, 27, 28, 29, 353, 354 }, { 351, 355, 356, 357 }, { 355, 357, 358, 359, 360 }, { 26, 354, 358, 359 }, { 361, 362, 363, 364 }, { 365, 366, 367, 368, 369 }, { 365, 370, 371, 372 }, { 365, 372, 373, 374 }, { 375, 376, 377, 378 }, { 379, 380, 381, 382 }, { 376, 378, 383, 384 }, { 376, 380, 381, 383, 385 }, { 379, 380, 386, 387 }, { 388, 389, 390, 391, 392, 393 }, { 394, 395, 396, 397 }, { 35, 396, 397, 398 }, { 394, 399, 400, 401 }, { 400, 401, 402, 403 }, { 394, 396, 401, 404 }, { 405, 406, 407, 408 }, { 407, 409, 410, 411 }, { 406, 409, 412, 413, 414, 415, 416, 417, 418 }, { 409, 416, 419, 420 }, { 32, 421, 422, 423 }, { 31, 32, 33, 424 }, { 35, 36, 38, 424 }, { 35, 394, 397, 425 }, { 33, 421, 422, 426 }, { 394, 422, 426, 427, 428 }, { 36, 394, 425, 427 }, { 6, 429, 430, 431 }, { 318, 430, 431, 432 }, { 39, 40, 433, 434 }, { 39, 40, 42, 318 }, { 40, 318, 431, 435 }, { 43, 45, 436, 437 }, { 6, 43, 45, 46 }, { 6, 43, 431, 438 }, { 47, 48, 439, 440 }, { 47, 48, 50, 441 }, { 52, 442, 443, 444 }, { 445, 446, 447, 448 }, { 447, 449, 450, 451 }, { 56, 452, 453, 454 }, { 39, 56, 453, 455 }, { 456, 457, 458, 459 }, { 52, 53, 456, 458 }, { 53, 458, 460, 461 }, { 445, 453, 462, 463 }, { 445, 463, 464, 465 }, { 457, 465, 466, 467 }, { 445, 457, 465, 468 }, { 457, 458, 466, 469 }, { 51, 52, 53, 470 }, { 39, 55, 56, 471 }, { 472, 473, 474, 475 }, { 457, 476, 477, 478 }, { 450, 473, 476, 479 }, { 39, 307, 308, 480 }, { 58, 59, 60, 481 }, { 58, 60, 311, 482 }, { 483, 484, 485, 486 }, { 62, 64, 486, 487 }, { 62, 64, 65, 488 }, { 484, 485, 489, 490 }, { 67, 70, 491, 492 }, { 66, 67, 69, 491 }, { 66, 70, 493, 494 }, { 70, 71, 73, 74, 495, 496 }, { 74, 80, 497, 498, 499 }, { 70, 74, 75, 77, 78, 80 }, { 78, 86, 500, 501 }, { 82, 83, 86, 500, 502 }, { 70, 82, 105, 502 }, { 70, 78, 82, 86, 503 }, { 90, 94, 504, 505, 506, 507 }, { 88, 89, 90, 92, 93, 94 }, { 484, 508, 509, 510, 511, 512 }, { 62, 486, 513, 514 }, { 62, 514, 515, 516 }, { 483, 484, 486, 514 }, { 483, 514, 517, 518 }, { 518, 519, 520, 521 }, { 97, 99, 100, 522, 523 }, { 101, 524, 525, 526 }, { 100, 526, 527, 528 }, { 100, 529, 530, 531, 532 }, { 99, 100, 522, 531 }, { 100, 527, 529, 532 }, { 101, 526, 533, 534 }, { 526, 527, 534, 535 }, { 534, 536, 537, 538 }, { 527, 534, 535, 537 }, { 101, 103, 534, 539 }, { 103, 534, 536, 540 }, { 101, 103, 104, 541 }, { 248, 536, 542, 543 }, { 103, 248, 541, 543 }, { 535, 536, 537, 544 }, { 536, 544, 545, 546 }, { 67, 70, 547, 548 }, { 67, 105, 107, 547 }, { 70, 105, 502, 549 }, { 550, 551, 552, 553 }, { 550, 551, 554, 555 }, { 62, 556, 557, 558 }, { 62, 558, 559, 560 }, { 108, 109, 561, 562 }, { 117, 118, 563, 564 }, { 108, 118, 565, 566, 567 }, { 62, 559, 560, 568 }, { 109, 560, 568, 569 }, { 108, 109, 111, 560 }, { 568, 569, 570, 571 }, { 113, 569, 572, 573 }, { 101, 112, 522, 574 }, { 101, 112, 113, 115, 573 }, { 101, 113, 124, 575 }, { 113, 117, 124, 569 }, { 117, 118, 119, 124 }, { 576, 577, 578, 579 }, { 576, 579, 580, 581 }, { 153, 576, 581, 582 }, { 101, 154, 583, 584 }, { 101, 124, 575, 584 }, { 118, 121, 123, 124, 585 }, { 121, 124, 127, 154, 586 }, { 587, 588, 589, 590, 591 }, { 592, 593, 594, 595, 596, 597 }, { 598, 599, 600, 601 }, { 602, 603, 604, 605 }, { 598, 600, 606, 607 }, { 600, 604, 607, 608, 609 }, { 598, 602, 607, 608, 610 }, { 602, 604, 608, 611 }, { 612, 613, 614, 615 }, { 613, 614, 616, 617, 618 }, { 598, 599, 613, 617 }, { 598, 599, 601, 613 }, { 612, 613, 615, 619 }, { 129, 130, 131, 620 }, { 602, 621, 622, 623 }, { 131, 133, 135, 624 }, { 137, 140, 141, 625 }, { 136, 137, 139, 625 }, { 136, 137, 138, 626 }, { 136, 138, 626, 627 }, { 137, 140, 142, 628 }, { 140, 142, 628, 629 }, { 143, 145, 146, 630 }, { 133, 624, 630, 631 }, { 143, 144, 146, 631 }, { 133, 144, 631, 632 }, { 143, 151, 633, 634 }, { 143, 149, 634, 635 }, { 147, 148, 149, 151 }, { 143, 149, 636, 637 }, { 151, 638, 639, 640 }, { 151, 632, 639, 641 }, { 151, 152, 638, 642 }, { 147, 151, 152, 643 }, { 152, 638, 643, 644 }, { 632, 645, 646, 647 }, { 143, 637, 645, 646 }, { 638, 643, 645, 648 }, { 129, 576, 620, 649 }, { 153, 154, 155, 576 }, { 129, 156, 193, 649 }, { 154, 155, 156, 649 }, { 101, 193, 196, 650 }, { 101, 159, 650, 651 }, { 101, 157, 158, 159 }, { 157, 159, 162, 652 }, { 101, 154, 653, 654 }, { 154, 163, 653, 655 }, { 101, 163, 164, 165 }, { 101, 157, 165, 652 }, { 163, 165, 168, 652, 656 }, { 154, 163, 657, 658 }, { 163, 652, 656, 658, 659 }, { 193, 660, 661, 662 }, { 159, 652, 661, 663 }, { 154, 658, 660, 661 }, { 170, 171, 172, 190 }, { 174, 175, 177, 632, 664 }, { 175, 178, 179, 180 }, { 178, 180, 185, 190 }, { 186, 208, 212, 665 }, { 186, 208, 666, 667 }, { 180, 186, 187, 188 }, { 180, 185, 187, 190 }, { 2, 3, 101, 193, 195 }, { 198, 224, 229, 668 }, { 193, 229, 669, 670 }, { 198, 229, 669, 671 }, { 170, 197, 198, 199 }, { 170, 172, 190, 199 }, { 203, 204, 205, 207 }, { 151, 204, 207, 208 }, { 207, 208, 210, 212 }, { 207, 212, 214, 672 }, { 207, 214, 215, 672 }, { 218, 673, 674, 675 }, { 207, 218, 221, 222 }, { 216, 218, 219, 222 }, { 207, 218, 220, 221 }, { 207, 215, 220, 223 }, { 224, 225, 226, 229 }, { 225, 230, 231, 288 }, { 224, 225, 231, 288 }, { 101, 225, 229, 234 }, { 101, 234, 235, 236, 239 }, { 225, 234, 235, 242 }, { 230, 244, 676, 677, 678, 679 }, { 105, 244, 549, 676 }, { 225, 244, 245, 247 }, { 225, 230, 243, 245 }, { 225, 244, 246, 247 }, { 244, 246, 248, 249 }, { 251, 252, 253, 256 }, { 251, 257, 258, 259 }, { 186, 187, 190, 262 }, { 186, 262, 264, 265 }, { 186, 212, 264, 266 }, { 190, 262, 264, 271 }, { 190, 269, 270, 271 }, { 264, 270, 680, 681 }, { 215, 264, 672, 680 }, { 274, 277, 682, 683 }, { 190, 274, 301, 684, 685, 686 }, { 274, 275, 276, 277, 278 }, { 251, 253, 282, 283, 285 }, { 224, 287, 288, 290, 291 }, { 198, 224, 290, 294 }, { 190, 198, 199, 296 }, { 198, 290, 296, 297 }, { 190, 274, 276, 301 }, { 230, 288, 290, 687 }, { 230, 276, 277, 687, 688, 689 }, { 276, 290, 687, 690 }, { 190, 290, 296, 299 }, { 190, 276, 299, 301 }, { 276, 290, 299, 302, 304 }, { 39, 58, 306, 307 }, { 310, 311, 691, 692 }, { 58, 306, 691, 692 }, { 58, 311, 692, 693 }, { 309, 310, 311, 691 }, { 694, 695, 696, 697, 698, 699 }, { 315, 317, 700, 701, 702, 703, 704, 705, 706 }, { 314, 315, 316, 317, 318 }, { 6, 11, 45, 320 }, { 6, 7, 11, 322 }, { 11, 45, 322, 324, 325 }, { 39, 327, 707, 708 }, { 39, 326, 327, 329, 331 }, { 327, 331, 707, 709 }, { 707, 710, 711, 712 }, { 331, 707, 709, 711 }, { 39, 306, 707, 708 }, { 306, 691, 707, 713 }, { 707, 710, 714, 715 }, { 694, 707, 715, 716 }, { 691, 694, 707, 717 }, { 334, 335, 336, 337 }, { 342, 343, 344, 691 }, { 342, 346, 718, 719 }, { 342, 344, 346, 691 }, { 346, 349, 691, 718 }, { 45, 349, 350, 718 }, { 15, 16, 19, 20, 26, 27, 351, 720, 721 }, { 26, 27, 354, 358 }, { 26, 351, 355, 357, 358, 359 }, { 358, 361, 362, 364, 722 }, { 361, 362, 370, 723, 724 }, { 394, 725, 726, 727 }, { 380, 394, 728, 729 }, { 366, 367, 380, 725, 727, 728 }, { 365, 366, 367, 380, 727 }, { 365, 370, 371, 727 }, { 365, 370, 372, 374 }, { 365, 373, 374, 380 }, { 374, 376, 377, 378 }, { 374, 378, 379, 730 }, { 376, 378, 379, 380, 381, 383 }, { 374, 379, 380, 386 }, { 380, 388, 394, 729 }, { 376, 390, 422, 731 }, { 376, 380, 388, 389, 390, 393 }, { 388, 390, 394, 422, 732, 733 }, { 35, 394, 396, 397 }, { 394, 400, 401, 403 }, { 394, 396, 401, 407 }, { 45, 406, 734, 735 }, { 406, 407, 408, 409, 411 }, { 406, 409, 412, 413, 415, 416, 419, 734, 736 }, { 409, 419, 420, 737 }, { 32, 33, 421, 422 }, { 32, 33, 35, 36, 424 }, { 35, 36, 394, 425 }, { 33, 36, 394, 422, 426, 427 }, { 6, 318, 430, 431 }, { 39, 40, 433, 738 }, { 39, 40, 318, 431 }, { 40, 431, 738, 739 }, { 43, 45, 437, 738 }, { 6, 43, 45, 431 }, { 43, 431, 738, 740 }, { 47, 48, 439, 441 }, { 48, 441, 741, 742 }, { 48, 52, 442, 443 }, { 39, 449, 743, 744 }, { 445, 446, 447, 449 }, { 445, 447, 449, 450 }, { 450, 745, 746, 747 }, { 39, 56, 452, 453 }, { 39, 445, 453, 455 }, { 52, 456, 457, 458 }, { 52, 53, 458, 460 }, { 445, 452, 453, 463 }, { 445, 457, 463, 465, 466 }, { 457, 458, 460, 466 }, { 52, 53, 460, 470 }, { 39, 56, 452, 471 }, { 52, 472, 473, 474 }, { 52, 456, 457, 477 }, { 52, 473, 474, 477 }, { 457, 473, 476, 477 }, { 450, 457, 473, 476 }, { 39, 58, 307, 480 }, { 58, 60, 311, 481 }, { 58, 481, 742, 748 }, { 484, 485, 486, 489 }, { 62, 64, 486, 489 }, { 62, 64, 488, 749 }, { 64, 489, 749, 750 }, { 484, 489, 490, 751 }, { 66, 67, 70, 491 }, { 66, 70, 493, 749 }, { 70, 493, 494, 749 }, { 498, 752, 753, 754, 755, 756, 757, 758, 759, 760, 761, 762 }, { 70, 74, 496, 498, 754 }, { 70, 74, 78, 80, 498 }, { 70, 78, 82, 86, 500, 502 }, { 89, 90, 93, 94, 504, 763 }, { 89, 484, 508, 510, 512 }, { 62, 516, 519, 764 }, { 62, 484, 486, 514 }, { 62, 514, 516, 518 }, { 483, 484, 514, 518 }, { 518, 519, 521, 765 }, { 483, 484, 518, 765 }, { 93, 535, 766, 767 }, { 89, 93, 767, 768 }, { 89, 484, 767, 769 }, { 101, 522, 525, 574 }, { 97, 100, 522, 523, 525, 770 }, { 100, 101, 525, 526 }, { 100, 526, 527, 535 }, { 100, 522, 529, 531 }, { 100, 527, 529, 535 }, { 101, 526, 534, 535 }, { 534, 535, 536, 537 }, { 101, 103, 534, 536 }, { 101, 103, 248, 541 }, { 103, 248, 536, 543 }, { 535, 536, 544, 545 }, { 67, 70, 105, 547 }, { 70, 105, 248, 549 }, { 70, 248, 502, 549 }, { 550, 551, 552, 771 }, { 550, 551, 554, 556 }, { 62, 556, 558, 560 }, { 108, 109, 562, 569 }, { 562, 564, 569, 772, 773 }, { 117, 118, 564, 569 }, { 108, 118, 562, 564, 566, 567 }, { 62, 560, 568, 569 }, { 108, 109, 560, 569 }, { 62, 568, 569, 571 }, { 101, 113, 569, 573 }, { 101, 112, 522, 573 }, { 101, 113, 124, 569 }, { 117, 118, 124, 569 }, { 576, 577, 579, 581 }, { 153, 154, 576, 581 }, { 101, 124, 154, 584 }, { 118, 121, 124, 154, 585, 586 }, { 774, 775, 776, 777, 778, 779 }, { 775, 776, 780, 781, 782, 783 }, { 551, 784, 785, 786, 787, 788 }, { 598, 612, 614, 617, 784, 786 }, { 587, 589, 590, 789, 790, 791 }, { 587, 589, 592, 597, 792 }, { 587, 592, 593, 596, 597 }, { 592, 598, 600, 601 }, { 593, 602, 604, 605 }, { 598, 600, 602, 604, 607, 608 }, { 598, 612, 613, 614, 617 }, { 592, 598, 601, 613 }, { 592, 612, 613, 619 }, { 129, 131, 576, 620 }, { 131, 624, 630, 793, 794, 795 }, { 602, 621, 622, 630, 795 }, { 131, 133, 624, 630 }, { 136, 137, 140, 625 }, { 129, 131, 193, 626 }, { 131, 136, 137, 626 }, { 136, 193, 626, 627 }, { 131, 137, 140, 628 }, { 140, 628, 629, 632 }, { 131, 133, 628, 632 }, { 143, 146, 630, 631 }, { 133, 630, 631, 632 }, { 143, 144, 631, 632 }, { 143, 149, 151, 634 }, { 147, 149, 151, 643 }, { 143, 149, 637, 643 }, { 151, 632, 638, 639 }, { 151, 152, 638, 643 }, { 143, 632, 645, 646 }, { 143, 637, 643, 645 }, { 632, 638, 643, 645 }, { 129, 193, 576, 649 }, { 154, 155, 576, 649 }, { 154, 156, 193, 649 }, { 101, 159, 193, 650 }, { 101, 157, 159, 652 }, { 101, 154, 163, 653 }, { 101, 163, 165, 652 }, { 154, 163, 652, 658 }, { 154, 193, 660, 661 }, { 159, 193, 652, 661 }, { 154, 652, 658, 661 }, { 170, 171, 190, 796 }, { 136, 193, 796, 797 }, { 140, 174, 175, 632 }, { 175, 179, 180, 632, 798 }, { 175, 178, 180, 190 }, { 151, 186, 208, 212 }, { 186, 208, 632, 666 }, { 180, 186, 632, 666 }, { 180, 186, 187, 190 }, { 101, 193, 195, 229, 670 }, { 101, 198, 224, 229 }, { 193, 198, 229, 669 }, { 170, 193, 198, 669 }, { 170, 190, 198, 199 }, { 151, 203, 204, 207 }, { 151, 207, 208, 212 }, { 207, 212, 215, 672 }, { 216, 218, 673, 674 }, { 215, 218, 673, 675 }, { 207, 216, 218, 222 }, { 207, 215, 218, 220 }, { 101, 224, 225, 229 }, { 224, 225, 230, 288 }, { 101, 225, 234, 235 }, { 105, 230, 244, 676 }, { 105, 244, 248, 549 }, { 225, 230, 244, 245 }, { 225, 244, 246, 248 }, { 251, 253, 256, 799 }, { 251, 257, 258, 799 }, { 186, 190, 262, 264 }, { 151, 186, 212, 264 }, { 212, 215, 264, 672 }, { 190, 264, 270, 271 }, { 215, 264, 270, 680 }, { 274, 277, 682, 688 }, { 190, 274, 682, 685, 686, 800 }, { 230, 274, 276, 277, 688 }, { 251, 285, 801, 802, 803, 804 }, { 230, 251, 253, 282, 285, 688 }, { 224, 230, 288, 290 }, { 101, 198, 224, 290 }, { 190, 198, 290, 296 }, { 190, 230, 274, 276 }, { 230, 276, 290, 687 }, { 190, 276, 290, 299 }, { 39, 58, 306, 691 }, { 58, 311, 691, 692 }, { 309, 311, 337, 691 }, { 694, 696, 697, 698, 715, 805, 806, 807, 808, 809, 810, 811 }, { 6, 314, 315, 317, 318, 702 }, { 6, 11, 45, 322 }, { 39, 327, 331, 707 }, { 331, 707, 710, 711 }, { 39, 306, 691, 707 }, { 691, 694, 707, 710, 715 }, { 334, 335, 337, 691 }, { 335, 342, 343, 691 }, { 342, 346, 691, 718 }, { 45, 349, 691, 718 }, { 15, 19, 26, 27, 351, 355, 358, 720, 722 }, { 358, 361, 362, 370, 722, 724 }, { 380, 394, 725, 727, 728 }, { 365, 370, 374, 380, 727 }, { 374, 376, 378, 379, 380 }, { 376, 380, 388, 390, 394, 422 }, { 35, 394, 396, 407 }, { 394, 401, 403, 407 }, { 45, 406, 407, 734 }, { 406, 407, 409, 419, 734 }, { 407, 409, 419, 737 }, { 32, 33, 35, 36, 394, 422 }, { 6, 39, 45, 318, 431 }, { 39, 40, 431, 738 }, { 43, 45, 431, 738 }, { 48, 439, 441, 742 }, { 48, 52, 443, 742 }, { 39, 449, 742, 743 }, { 39, 445, 446, 449 }, { 445, 449, 450, 742 }, { 445, 450, 457, 745, 747 }, { 39, 445, 452, 453 }, { 52, 457, 458, 460 }, { 445, 452, 457, 460, 463, 466 }, { 39, 52, 452, 460, 470, 471 }, { 52, 472, 473, 742 }, { 52, 457, 473, 477 }, { 450, 457, 473, 742 }, { 39, 58, 480, 742 }, { 58, 311, 481, 742 }, { 62, 484, 486, 489 }, { 62, 64, 489, 749 }, { 484, 489, 749, 751 }, { 66, 67, 70, 749 }, { 70, 484, 494, 749 }, { 70, 78, 498, 754, 756, 812 }, { 70, 78, 500, 502, 535, 813 }, { 89, 93, 484, 508, 535, 763, 813, 814, 815 }, { 62, 516, 518, 519 }, { 62, 484, 514, 518 }, { 484, 518, 519, 765 }, { 89, 93, 484, 535, 767 }, { 519, 522, 767, 816, 817 }, { 100, 101, 522, 525 }, { 100, 101, 526, 535 }, { 100, 522, 529, 535 }, { 101, 534, 535, 536 }, { 101, 103, 248, 536 }, { 248, 535, 536, 545 }, { 67, 70, 105, 248 }, { 70, 248, 502, 535 }, { 550, 551, 556, 771 }, { 62, 108, 556, 560 }, { 108, 118, 562, 564, 569 }, { 62, 108, 560, 569 }, { 62, 519, 569, 571 }, { 101, 522, 569, 573 }, { 101, 118, 124, 569 }, { 154, 576, 577, 581 }, { 101, 118, 124, 154 }, { 118, 154, 577, 585, 586, 818 }, { 775, 776, 777, 780, 781, 819 }, { 551, 598, 612, 784, 786 }, { 587, 589, 592, 593, 789, 820 }, { 592, 593, 598, 600, 602, 604 }, { 592, 598, 612, 613 }, { 129, 131, 193, 576 }, { 131, 602, 622, 630, 793, 795 }, { 131, 133, 630, 632 }, { 131, 136, 137, 140 }, { 131, 136, 193, 626 }, { 131, 140, 628, 632 }, { 143, 630, 631, 632 }, { 143, 149, 151, 643 }, { 151, 632, 638, 643 }, { 143, 632, 643, 645 }, { 154, 193, 576, 649 }, { 101, 159, 193, 652 }, { 101, 154, 163, 652 }, { 154, 193, 652, 661 }, { 170, 190, 193, 796 }, { 136, 140, 175, 193, 632, 796 }, { 175, 180, 190, 632 }, { 151, 186, 208, 632 }, { 180, 186, 190, 632 }, { 101, 193, 198, 229 }, { 170, 190, 193, 198 }, { 151, 203, 207, 216 }, { 151, 207, 212, 215 }, { 216, 218, 334, 673 }, { 215, 218, 334, 673 }, { 207, 215, 216, 218 }, { 101, 224, 225, 230 }, { 101, 225, 235, 248 }, { 67, 105, 230, 244 }, { 67, 105, 244, 248 }, { 225, 230, 244, 248 }, { 230, 251, 253, 799 }, { 215, 251, 258, 799 }, { 151, 186, 190, 264 }, { 151, 212, 215, 264 }, { 190, 215, 264, 270 }, { 190, 682, 685, 800, 821, 822 }, { 190, 230, 274, 682, 688 }, { 215, 230, 251, 285, 688, 801, 823, 824, 825 }, { 101, 224, 230, 290 }, { 101, 190, 198, 290 }, { 190, 230, 276, 290 }, { 39, 58, 311, 691 }, { 311, 334, 337, 691 }, { 691, 694, 696, 710, 715, 826 }, { 6, 39, 45, 314, 318, 322, 331, 827, 828 }, { 39, 331, 691, 707, 710 }, { 334, 335, 342, 691 }, { 45, 342, 691, 718 }, { 355, 358, 370, 374, 722, 724 }, { 370, 374, 380, 394, 727 }, { 374, 376, 380, 394, 422 }, { 35, 45, 394, 407 }, { 394, 403, 407, 737 }, { 45, 407, 419, 734, 737 }, { 32, 35, 394, 422, 738 }, { 32, 39, 422, 738 }, { 35, 45, 394, 738 }, { 39, 45, 431, 738 }, { 48, 52, 439, 742 }, { 39, 445, 449, 742 }, { 445, 450, 457, 742 }, { 39, 52, 445, 452, 457, 460 }, { 52, 457, 473, 742 }, { 39, 58, 311, 742 }, { 62, 484, 489, 749 }, { 67, 70, 484, 749 }, { 70, 78, 484, 508, 535, 812, 813, 814, 815 }, { 62, 484, 518, 519 }, { 484, 519, 522, 535, 767 }, { 100, 101, 522, 535 }, { 101, 248, 535, 536 }, { 67, 70, 248, 535 }, { 551, 556, 598, 771 }, { 62, 108, 556, 771 }, { 108, 118, 569, 577, 771 }, { 62, 108, 569, 771 }, { 62, 101, 519, 522, 569 }, { 101, 118, 569, 577 }, { 154, 576, 577, 602 }, { 101, 118, 154, 577 }, { 577, 771, 780, 781, 819, 829 }, { 551, 598, 612, 771 }, { 592, 593, 598, 602, 612, 820, 830, 831, 832 }, { 131, 193, 576, 602 }, { 131, 602, 630, 632 }, { 131, 136, 140, 193, 632 }, { 143, 602, 630, 632 }, { 143, 151, 632, 643 }, { 154, 193, 576, 602 }, { 101, 154, 193, 652 }, { 175, 190, 193, 632, 796 }, { 151, 186, 190, 632 }, { 101, 190, 193, 198 }, { 151, 207, 215, 216 }, { 215, 216, 218, 334 }, { 101, 225, 230, 248 }, { 67, 230, 244, 248 }, { 215, 230, 251, 799 }, { 151, 190, 215, 264 }, { 190, 215, 230, 682, 688, 821, 823, 824, 825 }, { 101, 190, 230, 290 }, { 39, 311, 334, 691 }, { 39, 45, 322, 331, 691, 710, 826, 827, 828 }, { 45, 334, 342, 691 }, { 370, 374, 394, 422, 724, 833 }, { 45, 394, 407, 737 }, { 39, 45, 394, 422, 738 }, { 52, 67, 439, 742 }, { 39, 52, 445, 457, 742 }, { 39, 311, 334, 742 }, { 62, 67, 484, 749 }, { 67, 70, 484, 535 }, { 62, 101, 484, 519, 522, 535 }, { 67, 101, 248, 535 }, { 62, 556, 598, 771 }, { 62, 101, 569, 577, 771 }, { 101, 154, 577, 602 }, { 577, 598, 602, 612, 771, 829, 830, 831, 832 }, { 131, 193, 602, 632 }, { 143, 151, 602, 632 }, { 101, 154, 193, 602 }, { 101, 151, 190, 193, 632 }, { 151, 215, 216, 334 }, { 67, 101, 230, 248 }, { 67, 215, 230, 334, 799 }, { 101, 151, 190, 215, 230 }, { 39, 45, 334, 691 }, { 39, 45, 52, 394, 422, 737, 833, 834, 835 }, { 39, 52, 67, 334, 742 }, { 62, 67, 101, 484, 535 }, { 62, 101, 577, 598, 602, 771 }, { 101, 151, 193, 602, 632 }, { 67, 101, 151, 215, 230, 334 }, { 39, 45, 52, 67, 334, 737, 834, 835, 836 }, { 62, 67, 101, 598, 602 }, { 67, 101, 151, 334, 602 }, { 67, 334, 598, 602, 836, 837 } ] /* Faces of top cells */ [ [ { 2, 3, 4, 5 }, { 1, 3, 4 }, { 1, 2, 3 }, { 1, 4, 5 }, { 1, 2, 5 } ], [ { 7, 8, 9 }, { 6, 8, 9 }, { 6, 7, 9 }, { 6, 7, 8 } ], [ { 8, 10, 11 }, { 6, 8, 11 }, { 6, 8, 10 }, { 6, 10, 11 } ], [ { 11, 13, 14 }, { 12, 13, 14 }, { 11, 12, 14 }, { 11, 12, 13 } ], [ { 16, 17, 18 }, { 15, 17, 18 }, { 15, 16, 18 }, { 15, 16, 17 } ], [ { 20, 21, 22 }, { 19, 21, 22 }, { 19, 20, 22 }, { 19, 20, 21 } ], [ { 16, 20, 23, 24 }, { 16, 17, 20, 21 }, { 16, 17, 23 }, { 17, 21, 23, 24 }, { 20, 21, 24 } ], [ { 26, 27, 28, 29 }, { 25, 27, 28, 30 }, { 25, 26, 27 }, { 25, 26, 29, 30 }, { 28, 29, 30 } ], [ { 32, 33, 34 }, { 31, 33, 34 }, { 31, 32, 34 }, { 31, 32, 33 } ], [ { 36, 37, 38 }, { 35, 37, 38 }, { 35, 36, 38 }, { 35, 36, 37 } ], [ { 40, 41, 42 }, { 39, 41, 42 }, { 39, 40, 42 }, { 39, 40, 41 } ], [ { 44, 45, 46 }, { 43, 45, 46 }, { 43, 44, 46 }, { 43, 44, 45 } ], [ { 48, 49, 50 }, { 47, 49, 50 }, { 47, 48, 50 }, { 47, 48, 49 } ], [ { 52, 53, 54 }, { 51, 53, 54 }, { 51, 52, 54 }, { 51, 52, 53 } ], [ { 55, 56, 57 }, { 39, 56, 57 }, { 39, 55, 57 }, { 39, 55, 56 } ], [ { 59, 60, 61 }, { 58, 60, 61 }, { 58, 59, 61 }, { 58, 59, 60 } ], [ { 63, 64, 65 }, { 62, 64, 65 }, { 62, 63, 65 }, { 62, 63, 64 } ], [ { 67, 68, 69 }, { 66, 68, 69 }, { 66, 67, 69 }, { 66, 67, 68 } ], [ { 71, 72, 73 }, { 70, 72, 73 }, { 70, 71, 73, 74 }, { 70, 72, 74 }, { 71, 72, 74 } ], [ { 74, 75, 76 }, { 70, 74, 76 }, { 70, 75, 76 }, { 70, 74, 75 } ], [ { 77, 78, 79 }, { 70, 78, 79 }, { 70, 75, 77, 78 }, { 70, 75, 79 }, { 75, 77, 79 } ], [ { 78, 80, 81 }, { 77, 80, 81 }, { 77, 78, 81 }, { 77, 78, 80 } ], [ { 82, 84, 85, 86 }, { 82, 83, 85, 87 }, { 82, 83, 86 }, { 83, 84, 86, 87 }, { 84, 85, 87 } ], [ { 89, 90, 91 }, { 88, 90, 91 }, { 88, 89, 91 }, { 88, 89, 90 } ], [ { 93, 94, 95 }, { 92, 94, 95 }, { 92, 93, 95 }, { 92, 93, 94 } ], [ { 92, 94, 96 }, { 88, 92, 96 }, { 88, 90, 92, 94 }, { 88, 90, 96 }, { 90, 94, 96 } ], [ { 98, 99, 100 }, { 97, 99, 100 }, { 97, 98, 100 }, { 97, 98, 99 } ], [ { 102, 103, 104 }, { 101, 103, 104 }, { 101, 102, 104 }, { 101, 102, 103 } ], [ { 105, 106, 107 }, { 67, 106, 107 }, { 67, 105, 107 }, { 67, 105, 106 } ], [ { 109, 110, 111 }, { 108, 110, 111 }, { 108, 109, 111 }, { 108, 109, 110 } ], [ { 101, 113, 114 }, { 101, 112, 114, 116 }, { 101, 112, 113, 115 }, { 113, 114, 115, 116 }, { 112, 115, 116 } ], [ { 118, 119, 120 }, { 117, 119, 120 }, { 117, 118, 120 }, { 117, 118, 119 } ], [ { 122, 123, 124, 125 }, { 121, 123, 124 }, { 121, 122, 124, 126 }, { 121, 123, 125, 126 }, { 122, 125, 126 } ], [ { 124, 127, 128 }, { 121, 124, 128 }, { 121, 127, 128 }, { 121, 124, 127 } ], [ { 130, 131, 132 }, { 129, 131, 132 }, { 129, 130, 132 }, { 129, 130, 131 } ], [ { 133, 134, 135 }, { 131, 134, 135 }, { 131, 133, 135 }, { 131, 133, 134 } ], [ { 137, 138, 139 }, { 136, 138, 139 }, { 136, 137, 139 }, { 136, 137, 138 } ], [ { 137, 141, 142 }, { 137, 140, 142 }, { 140, 141, 142 }, { 137, 140, 141 } ], [ { 144, 145, 146 }, { 143, 145, 146 }, { 143, 144, 146 }, { 143, 144, 145 } ], [ { 148, 149, 150 }, { 147, 149, 150 }, { 147, 148, 150 }, { 147, 148, 149 } ], [ { 148, 151, 152 }, { 147, 148, 152 }, { 147, 151, 152 }, { 147, 148, 151 } ], [ { 154, 155, 156 }, { 153, 155, 156 }, { 153, 154, 156 }, { 153, 154, 155 } ], [ { 158, 159, 160 }, { 157, 159, 160 }, { 157, 158, 160 }, { 157, 158, 159 } ], [ { 159, 161, 162 }, { 157, 161, 162 }, { 157, 159, 162 }, { 157, 159, 161 } ], [ { 164, 165, 166 }, { 163, 165, 166 }, { 163, 164, 166 }, { 163, 164, 165 } ], [ { 101, 164, 165 }, { 157, 164, 165 }, { 101, 157, 165 }, { 101, 157, 164 } ], [ { 165, 167, 168, 169 }, { 163, 165, 168 }, { 163, 167, 168 }, { 163, 165, 169 }, { 163, 167, 169 } ], [ { 171, 172, 173 }, { 170, 172, 173 }, { 170, 171, 173 }, { 170, 171, 172 } ], [ { 175, 176, 177 }, { 174, 176, 177 }, { 174, 175, 177 }, { 174, 175, 176 } ], [ { 179, 180, 181, 182 }, { 178, 180, 181, 183 }, { 178, 179, 180 }, { 178, 179, 182, 183 }, { 181, 182, 183 } ], [ { 180, 184, 185 }, { 178, 184, 185 }, { 178, 180, 185 }, { 178, 180, 184 } ], [ { 187, 188, 189 }, { 186, 188, 189 }, { 186, 187, 189 }, { 186, 187, 188 } ], [ { 185, 187, 191 }, { 185, 190, 191 }, { 187, 190, 191 }, { 185, 187, 190 } ], [ { 180, 185, 187 }, { 180, 185, 192 }, { 185, 187, 192 }, { 180, 187, 192 } ], [ { 3, 194, 195 }, { 3, 193, 195 }, { 193, 194, 195 }, { 3, 193, 194 } ], [ { 2, 193, 196 }, { 2, 101, 196 }, { 101, 193, 196 }, { 2, 101, 193 } ], [ { 1, 2, 3 }, { 2, 3, 193 }, { 1, 3, 193 }, { 1, 2, 193 } ], [ { 198, 199, 200 }, { 197, 199, 200 }, { 197, 198, 200 }, { 197, 198, 199 } ], [ { 172, 199, 201 }, { 172, 190, 201 }, { 190, 199, 201 }, { 172, 190, 199 } ], [ { 172, 199, 202 }, { 170, 172, 202 }, { 170, 199, 202 }, { 170, 172, 199 } ], [ { 204, 205, 206 }, { 203, 205, 206 }, { 203, 204, 206 }, { 203, 204, 205 } ], [ { 204, 208, 209 }, { 207, 208, 209 }, { 204, 207, 209 }, { 204, 207, 208 } ], [ { 208, 209, 210 }, { 207, 209, 210 }, { 207, 208, 209 }, { 207, 208, 210 } ], [ { 210, 211, 212 }, { 207, 211, 212 }, { 207, 210, 212 }, { 207, 210, 211 } ], [ { 207, 214, 215 }, { 213, 214, 215 }, { 207, 213, 215 }, { 207, 213, 214 } ], [ { 217, 218, 219 }, { 216, 218, 219 }, { 216, 217, 219 }, { 216, 217, 218 } ], [ { 218, 221, 222 }, { 220, 221, 222 }, { 218, 220, 222 }, { 218, 220, 221 } ], [ { 207, 215, 223 }, { 213, 215, 223 }, { 207, 213, 215 }, { 207, 213, 223 } ], [ { 225, 226, 227 }, { 224, 226, 227 }, { 224, 225, 227 }, { 224, 225, 226 } ], [ { 225, 226, 229 }, { 225, 226, 228 }, { 226, 228, 229 }, { 225, 228, 229 } ], [ { 225, 231, 232 }, { 230, 231, 232 }, { 225, 230, 232 }, { 225, 230, 231 } ], [ { 224, 225, 231 }, { 225, 231, 233 }, { 224, 231, 233 }, { 224, 225, 233 } ], [ { 225, 229, 234 }, { 225, 228, 234 }, { 228, 229, 234 }, { 225, 228, 229 } ], [ { 235, 236, 237 }, { 101, 236, 237, 238 }, { 101, 235, 236 }, { 101, 235, 238 }, { 235, 237, 238 } ], [ { 234, 235, 240 }, { 234, 239, 240, 241 }, { 234, 235, 239 }, { 235, 239, 241 }, { 235, 240, 241 } ], [ { 234, 235, 240 }, { 235, 240, 242 }, { 234, 240, 242 }, { 234, 235, 242 } ], [ { 225, 232, 243 }, { 225, 230, 232 }, { 230, 232, 243 }, { 225, 230, 243 } ], [ { 245, 246, 247 }, { 244, 246, 247 }, { 244, 245, 247 }, { 244, 245, 246 } ], [ { 248, 249, 250 }, { 244, 249, 250 }, { 244, 248, 250 }, { 244, 248, 249 } ], [ { 252, 253, 254 }, { 251, 253, 254 }, { 251, 252, 254 }, { 251, 252, 253 } ], [ { 252, 253, 256 }, { 253, 255, 256 }, { 252, 255, 256 }, { 252, 253, 255 } ], [ { 258, 259, 260 }, { 257, 259, 260 }, { 257, 258, 260 }, { 257, 258, 259 } ], [ { 258, 259, 261 }, { 251, 259, 261 }, { 251, 258, 261 }, { 251, 258, 259 } ], [ { 187, 191, 262 }, { 190, 191, 262 }, { 187, 190, 191 }, { 187, 190, 262 } ], [ { 186, 264, 265 }, { 263, 264, 265 }, { 186, 263, 265 }, { 186, 263, 264 } ], [ { 187, 262, 265 }, { 186, 262, 265 }, { 186, 187, 265 }, { 186, 187, 262 } ], [ { 186, 264, 267 }, { 264, 266, 267 }, { 186, 266, 267 }, { 186, 264, 266 } ], [ { 186, 212, 268 }, { 212, 266, 268 }, { 186, 266, 268 }, { 186, 212, 266 } ], [ { 270, 271, 272 }, { 269, 271, 272 }, { 269, 270, 272 }, { 269, 270, 271 } ], [ { 274, 275, 276 }, { 273, 275, 276 }, { 273, 274, 276 }, { 273, 274, 275 } ], [ { 277, 278, 279 }, { 274, 278, 279 }, { 274, 277, 279 }, { 274, 277, 278 } ], [ { 274, 278, 281 }, { 275, 278, 280, 281 }, { 274, 280, 281 }, { 274, 275, 278 }, { 274, 275, 280 } ], [ { 253, 283, 284 }, { 253, 282, 284 }, { 282, 283, 284 }, { 253, 282, 283 } ], [ { 251, 253, 254 }, { 253, 254, 283 }, { 251, 254, 283 }, { 251, 253, 283 } ], [ { 282, 283, 286 }, { 283, 285, 286 }, { 282, 285, 286 }, { 282, 283, 285 } ], [ { 231, 287, 288 }, { 224, 231, 288 }, { 224, 287, 288 }, { 224, 231, 287 } ], [ { 287, 288, 290, 291 }, { 287, 288, 289, 292 }, { 287, 289, 291 }, { 289, 290, 291, 292 }, { 288, 290, 292 } ], [ { 224, 293, 294 }, { 198, 293, 294 }, { 198, 224, 294 }, { 198, 224, 293 } ], [ { 290, 294, 295 }, { 198, 294, 295 }, { 198, 290, 295 }, { 198, 290, 294 } ], [ { 199, 201, 296 }, { 190, 201, 296 }, { 190, 199, 201 }, { 190, 199, 296 } ], [ { 290, 297, 298 }, { 198, 290, 298 }, { 198, 297, 298 }, { 198, 290, 297 } ], [ { 199, 296, 297 }, { 198, 199, 296 }, { 198, 296, 297 }, { 198, 199, 297 } ], [ { 276, 300, 301 }, { 276, 299, 301 }, { 276, 299, 300 }, { 299, 300, 301 } ], [ { 276, 299, 300 }, { 276, 300, 302 }, { 276, 299, 302 }, { 299, 300, 302 } ], [ { 290, 303, 304, 305 }, { 276, 290, 302, 304 }, { 276, 302, 303, 305 }, { 302, 304, 305 }, { 276, 290, 303 } ], [ { 306, 307, 308 }, { 39, 307, 308 }, { 39, 306, 308 }, { 39, 306, 307 } ], [ { 310, 311, 312 }, { 309, 311, 312 }, { 309, 310, 312 }, { 309, 310, 311 } ], [ { 314, 315, 316 }, { 313, 315, 316 }, { 313, 314, 316 }, { 313, 314, 315 } ], [ { 316, 318, 319 }, { 316, 317, 319 }, { 317, 318, 319 }, { 316, 317, 318 } ], [ { 45, 46, 320 }, { 6, 46, 320 }, { 6, 45, 46 }, { 6, 45, 320 } ], [ { 11, 320, 321 }, { 6, 11, 321 }, { 6, 11, 320 }, { 6, 320, 321 } ], [ { 7, 322, 323 }, { 6, 7, 323 }, { 6, 322, 323 }, { 6, 7, 322 } ], [ { 7, 8, 11 }, { 6, 8, 11 }, { 6, 7, 8 }, { 6, 7, 11 } ], [ { 11, 13, 325 }, { 13, 14, 324, 325 }, { 11, 324, 325 }, { 11, 14, 324 }, { 11, 13, 14 } ], [ { 7, 11, 325 }, { 11, 322, 325 }, { 7, 11, 322 }, { 7, 322, 325 } ], [ { 11, 320, 324 }, { 11, 45, 324 }, { 11, 45, 320 }, { 45, 320, 324 } ], [ { 327, 328, 329 }, { 326, 328, 329 }, { 326, 327, 329 }, { 326, 327, 328 } ], [ { 326, 330, 331 }, { 39, 326, 329, 331 }, { 39, 330, 331, 332 }, { 326, 329, 330, 332 }, { 39, 329, 332 } ], [ { 334, 335, 336 }, { 333, 335, 336 }, { 333, 334, 336 }, { 333, 334, 335 } ], [ { 336, 337, 338 }, { 334, 336, 338 }, { 334, 336, 337 }, { 334, 337, 338 } ], [ { 335, 336, 337 }, { 336, 337, 339 }, { 335, 337, 339, 340 }, { 336, 339, 340 }, { 335, 336, 340 } ], [ { 342, 343, 344 }, { 341, 343, 344 }, { 341, 342, 344 }, { 341, 342, 343 } ], [ { 342, 344, 346 }, { 344, 345, 346 }, { 342, 345, 346, 347 }, { 344, 345, 347 }, { 342, 344, 347 } ], [ { 348, 349, 350 }, { 45, 349, 350 }, { 45, 348, 350 }, { 45, 348, 349 } ], [ { 16, 351, 352 }, { 15, 351, 352 }, { 15, 16, 352 }, { 15, 16, 351 } ], [ { 15, 17, 19, 21 }, { 15, 16, 19, 20 }, { 16, 17, 20, 21 }, { 19, 20, 21 }, { 15, 16, 17 } ], [ { 26, 27, 354 }, { 27, 28, 353, 354 }, { 26, 29, 353, 354 }, { 26, 27, 28, 29 }, { 28, 29, 353 } ], [ { 351, 356, 357 }, { 351, 355, 357 }, { 355, 356, 357 }, { 351, 355, 356 } ], [ { 355, 358, 360 }, { 358, 359, 360 }, { 355, 357, 358, 359 }, { 357, 359, 360 }, { 355, 357, 360 } ], [ { 26, 354, 359 }, { 26, 354, 358 }, { 354, 358, 359 }, { 26, 358, 359 } ], [ { 362, 363, 364 }, { 361, 363, 364 }, { 361, 362, 364 }, { 361, 362, 363 } ], [ { 366, 367, 368, 369 }, { 365, 367, 368 }, { 365, 366, 367 }, { 365, 368, 369 }, { 365, 366, 369 } ], [ { 370, 371, 372 }, { 365, 371, 372 }, { 365, 370, 372 }, { 365, 370, 371 } ], [ { 372, 373, 374 }, { 365, 372, 374 }, { 365, 372, 373 }, { 365, 373, 374 } ], [ { 376, 377, 378 }, { 375, 377, 378 }, { 375, 376, 378 }, { 375, 376, 377 } ], [ { 380, 381, 382 }, { 379, 381, 382 }, { 379, 380, 382 }, { 379, 380, 381 } ], [ { 378, 383, 384 }, { 376, 378, 384 }, { 376, 383, 384 }, { 376, 378, 383 } ], [ { 376, 380, 385 }, { 376, 383, 385 }, { 376, 380, 381, 383 }, { 380, 381, 385 }, { 381, 383, 385 } ], [ { 380, 386, 387 }, { 379, 386, 387 }, { 379, 380, 387 }, { 379, 380, 386 } ], [ { 388, 389, 391, 392 }, { 388, 389, 390, 393 }, { 390, 391, 392, 393 }, { 388, 390, 392 }, { 389, 391, 393 } ], [ { 395, 396, 397 }, { 394, 396, 397 }, { 394, 395, 397 }, { 394, 395, 396 } ], [ { 35, 396, 397 }, { 396, 397, 398 }, { 35, 397, 398 }, { 35, 396, 398 } ], [ { 399, 400, 401 }, { 394, 400, 401 }, { 394, 399, 401 }, { 394, 399, 400 } ], [ { 400, 401, 403 }, { 400, 401, 402 }, { 401, 402, 403 }, { 400, 402, 403 } ], [ { 396, 401, 404 }, { 394, 396, 404 }, { 394, 401, 404 }, { 394, 396, 401 } ], [ { 406, 407, 408 }, { 405, 407, 408 }, { 405, 406, 408 }, { 405, 406, 407 } ], [ { 407, 410, 411 }, { 407, 409, 411 }, { 409, 410, 411 }, { 407, 409, 410 } ], [ { 406, 409, 412, 413, 415, 416 }, { 412, 413, 414, 417 }, { 413, 414, 415 }, { 406, 414, 415, 418 }, { 409, 416, 417, 418 }, { 412, 416, 417 }, { 414, 417, 418 }, { 406, 409, 418 } ], [ { 416, 419, 420 }, { 409, 416, 420 }, { 409, 416, 419 }, { 409, 419, 420 } ], [ { 32, 422, 423 }, { 32, 421, 423 }, { 421, 422, 423 }, { 32, 421, 422 } ], [ { 32, 33, 424 }, { 31, 32, 33 }, { 31, 33, 424 }, { 31, 32, 424 } ], [ { 36, 38, 424 }, { 35, 38, 424 }, { 35, 36, 38 }, { 35, 36, 424 } ], [ { 35, 397, 425 }, { 394, 397, 425 }, { 35, 394, 425 }, { 35, 394, 397 } ], [ { 33, 422, 426 }, { 33, 421, 426 }, { 421, 422, 426 }, { 33, 421, 422 } ], [ { 394, 427, 428 }, { 394, 422, 428 }, { 394, 422, 426, 427 }, { 422, 426, 428 }, { 426, 427, 428 } ], [ { 36, 425, 427 }, { 394, 425, 427 }, { 36, 394, 425 }, { 36, 394, 427 } ], [ { 6, 430, 431 }, { 429, 430, 431 }, { 6, 429, 431 }, { 6, 429, 430 } ], [ { 430, 431, 432 }, { 318, 431, 432 }, { 318, 430, 432 }, { 318, 430, 431 } ], [ { 40, 433, 434 }, { 39, 40, 434 }, { 39, 433, 434 }, { 39, 40, 433 } ], [ { 40, 42, 318 }, { 39, 40, 42 }, { 39, 42, 318 }, { 39, 40, 318 } ], [ { 40, 431, 435 }, { 318, 431, 435 }, { 40, 318, 435 }, { 40, 318, 431 } ], [ { 45, 436, 437 }, { 43, 436, 437 }, { 43, 45, 437 }, { 43, 45, 436 } ], [ { 6, 45, 46 }, { 43, 45, 46 }, { 6, 43, 46 }, { 6, 43, 45 } ], [ { 6, 431, 438 }, { 43, 431, 438 }, { 6, 43, 438 }, { 6, 43, 431 } ], [ { 47, 48, 440 }, { 48, 439, 440 }, { 47, 439, 440 }, { 47, 48, 439 } ], [ { 48, 50, 441 }, { 47, 50, 441 }, { 47, 48, 50 }, { 47, 48, 441 } ], [ { 52, 443, 444 }, { 442, 443, 444 }, { 52, 442, 444 }, { 52, 442, 443 } ], [ { 446, 447, 448 }, { 445, 447, 448 }, { 445, 446, 448 }, { 445, 446, 447 } ], [ { 447, 450, 451 }, { 447, 449, 451 }, { 447, 449, 450 }, { 449, 450, 451 } ], [ { 56, 453, 454 }, { 56, 452, 454 }, { 452, 453, 454 }, { 56, 452, 453 } ], [ { 56, 453, 455 }, { 39, 56, 455 }, { 39, 453, 455 }, { 39, 56, 453 } ], [ { 457, 458, 459 }, { 456, 458, 459 }, { 456, 457, 459 }, { 456, 457, 458 } ], [ { 53, 456, 458 }, { 52, 456, 458 }, { 52, 53, 458 }, { 52, 53, 456 } ], [ { 458, 460, 461 }, { 53, 460, 461 }, { 53, 458, 461 }, { 53, 458, 460 } ], [ { 445, 462, 463 }, { 453, 462, 463 }, { 445, 453, 463 }, { 445, 453, 462 } ], [ { 445, 463, 465 }, { 463, 464, 465 }, { 445, 463, 464 }, { 445, 464, 465 } ], [ { 465, 466, 467 }, { 457, 465, 467 }, { 457, 466, 467 }, { 457, 465, 466 } ], [ { 445, 465, 468 }, { 457, 465, 468 }, { 445, 457, 468 }, { 445, 457, 465 } ], [ { 458, 466, 469 }, { 457, 466, 469 }, { 457, 458, 469 }, { 457, 458, 466 } ], [ { 52, 53, 470 }, { 51, 52, 53 }, { 51, 53, 470 }, { 51, 52, 470 } ], [ { 55, 56, 471 }, { 39, 56, 471 }, { 39, 55, 471 }, { 39, 55, 56 } ], [ { 473, 474, 475 }, { 472, 474, 475 }, { 472, 473, 475 }, { 472, 473, 474 } ], [ { 457, 477, 478 }, { 476, 477, 478 }, { 457, 476, 478 }, { 457, 476, 477 } ], [ { 450, 473, 479 }, { 473, 476, 479 }, { 450, 476, 479 }, { 450, 473, 476 } ], [ { 307, 308, 480 }, { 39, 307, 308 }, { 39, 308, 480 }, { 39, 307, 480 } ], [ { 58, 59, 60 }, { 59, 60, 481 }, { 58, 60, 481 }, { 58, 59, 481 } ], [ { 58, 60, 311 }, { 58, 60, 482 }, { 60, 311, 482 }, { 58, 311, 482 } ], [ { 484, 485, 486 }, { 483, 485, 486 }, { 483, 484, 486 }, { 483, 484, 485 } ], [ { 64, 486, 487 }, { 62, 64, 486 }, { 62, 64, 487 }, { 62, 486, 487 } ], [ { 64, 65, 488 }, { 62, 64, 65 }, { 62, 65, 488 }, { 62, 64, 488 } ], [ { 484, 485, 490 }, { 485, 489, 490 }, { 484, 489, 490 }, { 484, 485, 489 } ], [ { 67, 491, 492 }, { 70, 491, 492 }, { 67, 70, 492 }, { 67, 70, 491 } ], [ { 67, 69, 491 }, { 66, 69, 491 }, { 66, 67, 69 }, { 66, 67, 491 } ], [ { 66, 493, 494 }, { 70, 493, 494 }, { 66, 70, 494 }, { 66, 70, 493 } ], [ { 71, 73, 495 }, { 70, 71, 73, 74 }, { 70, 73, 495, 496 }, { 71, 74, 495, 496 }, { 70, 74, 496 } ], [ { 74, 80, 498 }, { 74, 497, 498 }, { 74, 80, 497, 499 }, { 80, 498, 499 }, { 497, 498, 499 } ], [ { 77, 78, 80 }, { 70, 74, 78, 80 }, { 70, 75, 77, 78 }, { 74, 75, 77, 80 }, { 70, 74, 75 } ], [ { 86, 500, 501 }, { 78, 86, 501 }, { 78, 86, 500 }, { 78, 500, 501 } ], [ { 83, 500, 502 }, { 82, 86, 500, 502 }, { 82, 83, 502 }, { 83, 86, 500 }, { 82, 83, 86 } ], [ { 82, 105, 502 }, { 70, 82, 502 }, { 70, 105, 502 }, { 70, 82, 105 } ], [ { 70, 78, 503 }, { 70, 78, 82, 86 }, { 70, 82, 503 }, { 78, 86, 503 }, { 82, 86, 503 } ], [ { 90, 94, 505, 506 }, { 90, 504, 505, 507 }, { 90, 94, 504 }, { 94, 504, 506, 507 }, { 505, 506, 507 } ], [ { 88, 90, 92, 94 }, { 88, 89, 92, 93 }, { 89, 90, 93, 94 }, { 92, 93, 94 }, { 88, 89, 90 } ], [ { 484, 509, 510 }, { 484, 508, 510, 512 }, { 484, 508, 509, 511 }, { 509, 510, 511, 512 }, { 508, 511, 512 } ], [ { 62, 486, 514 }, { 486, 513, 514 }, { 62, 486, 513 }, { 62, 513, 514 } ], [ { 514, 515, 516 }, { 62, 514, 516 }, { 62, 514, 515 }, { 62, 515, 516 } ], [ { 484, 486, 514 }, { 483, 486, 514 }, { 483, 484, 486 }, { 483, 484, 514 } ], [ { 514, 517, 518 }, { 483, 514, 518 }, { 483, 517, 518 }, { 483, 514, 517 } ], [ { 518, 520, 521 }, { 518, 519, 521 }, { 519, 520, 521 }, { 518, 519, 520 } ], [ { 99, 522, 523 }, { 97, 99, 523 }, { 97, 100, 522, 523 }, { 99, 100, 522 }, { 97, 99, 100 } ], [ { 524, 525, 526 }, { 101, 525, 526 }, { 101, 524, 526 }, { 101, 524, 525 } ], [ { 100, 526, 528 }, { 100, 526, 527 }, { 100, 527, 528 }, { 526, 527, 528 } ], [ { 100, 530, 531, 532 }, { 529, 530, 531 }, { 100, 529, 531 }, { 529, 530, 532 }, { 100, 529, 532 } ], [ { 99, 100, 531 }, { 100, 522, 531 }, { 99, 522, 531 }, { 99, 100, 522 } ], [ { 100, 527, 532 }, { 100, 529, 532 }, { 527, 529, 532 }, { 100, 527, 529 } ], [ { 101, 526, 534 }, { 526, 533, 534 }, { 101, 533, 534 }, { 101, 526, 533 } ], [ { 526, 527, 534 }, { 526, 534, 535 }, { 527, 534, 535 }, { 526, 527, 535 } ], [ { 534, 537, 538 }, { 534, 536, 538 }, { 536, 537, 538 }, { 534, 536, 537 } ], [ { 527, 534, 537 }, { 534, 535, 537 }, { 527, 534, 535 }, { 527, 535, 537 } ], [ { 103, 534, 539 }, { 101, 103, 539 }, { 101, 103, 534 }, { 101, 534, 539 } ], [ { 103, 534, 540 }, { 103, 536, 540 }, { 534, 536, 540 }, { 103, 534, 536 } ], [ { 103, 104, 541 }, { 101, 103, 104 }, { 101, 104, 541 }, { 101, 103, 541 } ], [ { 248, 536, 543 }, { 248, 542, 543 }, { 248, 536, 542 }, { 536, 542, 543 } ], [ { 103, 248, 541 }, { 103, 541, 543 }, { 103, 248, 543 }, { 248, 541, 543 } ], [ { 535, 537, 544 }, { 536, 537, 544 }, { 535, 536, 544 }, { 535, 536, 537 } ], [ { 544, 545, 546 }, { 536, 544, 546 }, { 536, 545, 546 }, { 536, 544, 545 } ], [ { 67, 547, 548 }, { 70, 547, 548 }, { 67, 70, 548 }, { 67, 70, 547 } ], [ { 105, 107, 547 }, { 67, 107, 547 }, { 67, 105, 107 }, { 67, 105, 547 } ], [ { 105, 502, 549 }, { 70, 502, 549 }, { 70, 105, 549 }, { 70, 105, 502 } ], [ { 551, 552, 553 }, { 550, 552, 553 }, { 550, 551, 553 }, { 550, 551, 552 } ], [ { 551, 554, 555 }, { 550, 554, 555 }, { 550, 551, 555 }, { 550, 551, 554 } ], [ { 556, 557, 558 }, { 62, 557, 558 }, { 62, 556, 558 }, { 62, 556, 557 } ], [ { 558, 559, 560 }, { 62, 559, 560 }, { 62, 558, 560 }, { 62, 558, 559 } ], [ { 108, 109, 562 }, { 108, 109, 561 }, { 109, 561, 562 }, { 108, 561, 562 } ], [ { 117, 118, 564 }, { 117, 118, 563 }, { 118, 563, 564 }, { 117, 563, 564 } ], [ { 108, 118, 566, 567 }, { 108, 565, 566 }, { 108, 118, 565 }, { 565, 566, 567 }, { 118, 565, 567 } ], [ { 62, 559, 560 }, { 559, 560, 568 }, { 62, 560, 568 }, { 62, 559, 568 } ], [ { 109, 560, 568 }, { 109, 560, 569 }, { 560, 568, 569 }, { 109, 568, 569 } ], [ { 109, 111, 560 }, { 108, 111, 560 }, { 108, 109, 111 }, { 108, 109, 560 } ], [ { 568, 570, 571 }, { 569, 570, 571 }, { 568, 569, 571 }, { 568, 569, 570 } ], [ { 113, 572, 573 }, { 569, 572, 573 }, { 113, 569, 573 }, { 113, 569, 572 } ], [ { 101, 522, 574 }, { 112, 522, 574 }, { 101, 112, 574 }, { 101, 112, 522 } ], [ { 101, 113, 573 }, { 101, 112, 573 }, { 101, 112, 113, 115 }, { 113, 115, 573 }, { 112, 115, 573 } ], [ { 113, 124, 575 }, { 101, 124, 575 }, { 101, 113, 124 }, { 101, 113, 575 } ], [ { 113, 117, 124 }, { 117, 124, 569 }, { 113, 124, 569 }, { 113, 117, 569 } ], [ { 118, 119, 124 }, { 117, 119, 124 }, { 117, 118, 119 }, { 117, 118, 124 } ], [ { 577, 578, 579 }, { 576, 578, 579 }, { 576, 577, 579 }, { 576, 577, 578 } ], [ { 579, 580, 581 }, { 576, 580, 581 }, { 576, 579, 581 }, { 576, 579, 580 } ], [ { 153, 581, 582 }, { 576, 581, 582 }, { 153, 576, 581 }, { 153, 576, 582 } ], [ { 154, 583, 584 }, { 101, 583, 584 }, { 101, 154, 584 }, { 101, 154, 583 } ], [ { 124, 575, 584 }, { 101, 124, 584 }, { 101, 124, 575 }, { 101, 575, 584 } ], [ { 118, 123, 585 }, { 121, 123, 585 }, { 118, 121, 124, 585 }, { 118, 123, 124 }, { 121, 123, 124 } ], [ { 127, 154, 586 }, { 121, 127, 586 }, { 121, 124, 154, 586 }, { 121, 124, 127 }, { 124, 127, 154 } ], [ { 588, 589, 590 }, { 587, 589, 590 }, { 587, 588, 589, 591 }, { 587, 590, 591 }, { 588, 590, 591 } ], [ { 593, 594, 596 }, { 592, 593, 596, 597 }, { 592, 593, 594, 595 }, { 594, 595, 596, 597 }, { 592, 595, 597 } ], [ { 599, 600, 601 }, { 598, 600, 601 }, { 598, 599, 601 }, { 598, 599, 600 } ], [ { 603, 604, 605 }, { 602, 604, 605 }, { 602, 603, 605 }, { 602, 603, 604 } ], [ { 600, 606, 607 }, { 598, 600, 607 }, { 598, 606, 607 }, { 598, 600, 606 } ], [ { 604, 608, 609 }, { 600, 604, 609 }, { 600, 604, 607, 608 }, { 607, 608, 609 }, { 600, 607, 609 } ], [ { 602, 608, 610 }, { 598, 602, 610 }, { 598, 602, 607, 608 }, { 598, 607, 610 }, { 607, 608, 610 } ], [ { 604, 608, 611 }, { 602, 608, 611 }, { 602, 604, 608 }, { 602, 604, 611 } ], [ { 613, 614, 615 }, { 612, 614, 615 }, { 612, 613, 615 }, { 612, 613, 614 } ], [ { 613, 614, 617 }, { 613, 614, 616 }, { 614, 616, 617, 618 }, { 613, 617, 618 }, { 613, 616, 618 } ], [ { 599, 613, 617 }, { 598, 599, 613 }, { 598, 613, 617 }, { 598, 599, 617 } ], [ { 599, 601, 613 }, { 598, 601, 613 }, { 598, 599, 601 }, { 598, 599, 613 } ], [ { 612, 613, 615 }, { 613, 615, 619 }, { 612, 615, 619 }, { 612, 613, 619 } ], [ { 130, 131, 620 }, { 129, 131, 620 }, { 129, 130, 620 }, { 129, 130, 131 } ], [ { 621, 622, 623 }, { 602, 622, 623 }, { 602, 621, 623 }, { 602, 621, 622 } ], [ { 133, 135, 624 }, { 131, 135, 624 }, { 131, 133, 135 }, { 131, 133, 624 } ], [ { 137, 141, 625 }, { 137, 140, 625 }, { 140, 141, 625 }, { 137, 140, 141 } ], [ { 137, 139, 625 }, { 136, 139, 625 }, { 136, 137, 139 }, { 136, 137, 625 } ], [ { 136, 137, 138 }, { 137, 138, 626 }, { 136, 138, 626 }, { 136, 137, 626 } ], [ { 136, 138, 626 }, { 136, 138, 627 }, { 138, 626, 627 }, { 136, 626, 627 } ], [ { 137, 142, 628 }, { 140, 142, 628 }, { 137, 140, 628 }, { 137, 140, 142 } ], [ { 142, 628, 629 }, { 140, 142, 628 }, { 140, 628, 629 }, { 140, 142, 629 } ], [ { 143, 145, 146 }, { 145, 146, 630 }, { 143, 146, 630 }, { 143, 145, 630 } ], [ { 133, 624, 630 }, { 133, 624, 631 }, { 624, 630, 631 }, { 133, 630, 631 } ], [ { 143, 144, 146 }, { 144, 146, 631 }, { 143, 146, 631 }, { 143, 144, 631 } ], [ { 133, 144, 632 }, { 133, 631, 632 }, { 133, 144, 631 }, { 144, 631, 632 } ], [ { 143, 633, 634 }, { 151, 633, 634 }, { 143, 151, 634 }, { 143, 151, 633 } ], [ { 149, 634, 635 }, { 143, 149, 635 }, { 143, 149, 634 }, { 143, 634, 635 } ], [ { 148, 149, 151 }, { 147, 148, 149 }, { 147, 149, 151 }, { 147, 148, 151 } ], [ { 149, 636, 637 }, { 143, 636, 637 }, { 143, 149, 637 }, { 143, 149, 636 } ], [ { 638, 639, 640 }, { 151, 639, 640 }, { 151, 638, 640 }, { 151, 638, 639 } ], [ { 632, 639, 641 }, { 151, 639, 641 }, { 151, 632, 641 }, { 151, 632, 639 } ], [ { 152, 638, 642 }, { 151, 152, 642 }, { 151, 152, 638 }, { 151, 638, 642 } ], [ { 151, 152, 643 }, { 147, 152, 643 }, { 147, 151, 152 }, { 147, 151, 643 } ], [ { 152, 643, 644 }, { 152, 638, 644 }, { 638, 643, 644 }, { 152, 638, 643 } ], [ { 632, 646, 647 }, { 645, 646, 647 }, { 632, 645, 647 }, { 632, 645, 646 } ], [ { 143, 637, 646 }, { 637, 645, 646 }, { 143, 645, 646 }, { 143, 637, 645 } ], [ { 638, 643, 648 }, { 638, 643, 645 }, { 643, 645, 648 }, { 638, 645, 648 } ], [ { 576, 620, 649 }, { 129, 620, 649 }, { 129, 576, 620 }, { 129, 576, 649 } ], [ { 153, 154, 155 }, { 154, 155, 576 }, { 153, 155, 576 }, { 153, 154, 576 } ], [ { 156, 193, 649 }, { 129, 156, 649 }, { 129, 156, 193 }, { 129, 193, 649 } ], [ { 155, 156, 649 }, { 154, 156, 649 }, { 154, 155, 156 }, { 154, 155, 649 } ], [ { 193, 196, 650 }, { 101, 196, 650 }, { 101, 193, 650 }, { 101, 193, 196 } ], [ { 159, 650, 651 }, { 101, 159, 650 }, { 101, 159, 651 }, { 101, 650, 651 } ], [ { 101, 158, 159 }, { 157, 158, 159 }, { 101, 157, 159 }, { 101, 157, 158 } ], [ { 159, 162, 652 }, { 157, 162, 652 }, { 157, 159, 162 }, { 157, 159, 652 } ], [ { 154, 653, 654 }, { 101, 653, 654 }, { 101, 154, 654 }, { 101, 154, 653 } ], [ { 154, 653, 655 }, { 163, 653, 655 }, { 154, 163, 655 }, { 154, 163, 653 } ], [ { 163, 164, 165 }, { 101, 164, 165 }, { 101, 163, 165 }, { 101, 163, 164 } ], [ { 101, 165, 652 }, { 157, 165, 652 }, { 101, 157, 165 }, { 101, 157, 652 } ], [ { 165, 168, 652, 656 }, { 163, 165, 168 }, { 163, 165, 652 }, { 163, 168, 656 }, { 163, 652, 656 } ], [ { 154, 657, 658 }, { 163, 657, 658 }, { 154, 163, 658 }, { 154, 163, 657 } ], [ { 163, 652, 656 }, { 652, 656, 658, 659 }, { 163, 656, 659 }, { 163, 652, 658 }, { 163, 658, 659 } ], [ { 660, 661, 662 }, { 193, 661, 662 }, { 193, 660, 662 }, { 193, 660, 661 } ], [ { 652, 661, 663 }, { 159, 652, 663 }, { 159, 661, 663 }, { 159, 652, 661 } ], [ { 658, 660, 661 }, { 154, 658, 661 }, { 154, 658, 660 }, { 154, 660, 661 } ], [ { 170, 171, 172 }, { 171, 172, 190 }, { 170, 172, 190 }, { 170, 171, 190 } ], [ { 175, 177, 632, 664 }, { 174, 632, 664 }, { 174, 175, 632 }, { 174, 175, 177 }, { 174, 177, 664 } ], [ { 175, 179, 180 }, { 178, 179, 180 }, { 175, 178, 180 }, { 175, 178, 179 } ], [ { 180, 185, 190 }, { 178, 180, 185 }, { 178, 185, 190 }, { 178, 180, 190 } ], [ { 208, 212, 665 }, { 186, 212, 665 }, { 186, 208, 665 }, { 186, 208, 212 } ], [ { 208, 666, 667 }, { 186, 666, 667 }, { 186, 208, 667 }, { 186, 208, 666 } ], [ { 180, 187, 188 }, { 180, 186, 188 }, { 186, 187, 188 }, { 180, 186, 187 } ], [ { 180, 185, 187 }, { 180, 185, 190 }, { 185, 187, 190 }, { 180, 187, 190 } ], [ { 2, 3, 193 }, { 2, 3, 101, 195 }, { 2, 101, 193 }, { 101, 193, 195 }, { 3, 193, 195 } ], [ { 224, 229, 668 }, { 198, 229, 668 }, { 198, 224, 668 }, { 198, 224, 229 } ], [ { 229, 669, 670 }, { 193, 669, 670 }, { 193, 229, 670 }, { 193, 229, 669 } ], [ { 229, 669, 671 }, { 198, 669, 671 }, { 198, 229, 671 }, { 198, 229, 669 } ], [ { 170, 198, 199 }, { 170, 197, 199 }, { 197, 198, 199 }, { 170, 197, 198 } ], [ { 170, 172, 199 }, { 172, 190, 199 }, { 170, 172, 190 }, { 170, 190, 199 } ], [ { 203, 204, 205 }, { 204, 205, 207 }, { 203, 205, 207 }, { 203, 204, 207 } ], [ { 151, 204, 208 }, { 204, 207, 208 }, { 151, 207, 208 }, { 151, 204, 207 } ], [ { 208, 210, 212 }, { 207, 210, 212 }, { 207, 208, 212 }, { 207, 208, 210 } ], [ { 212, 214, 672 }, { 207, 212, 214 }, { 207, 214, 672 }, { 207, 212, 672 } ], [ { 214, 215, 672 }, { 207, 214, 215 }, { 207, 215, 672 }, { 207, 214, 672 } ], [ { 218, 674, 675 }, { 218, 673, 675 }, { 673, 674, 675 }, { 218, 673, 674 } ], [ { 218, 221, 222 }, { 207, 221, 222 }, { 207, 218, 222 }, { 207, 218, 221 } ], [ { 218, 219, 222 }, { 216, 219, 222 }, { 216, 218, 219 }, { 216, 218, 222 } ], [ { 218, 220, 221 }, { 207, 218, 221 }, { 207, 220, 221 }, { 207, 218, 220 } ], [ { 215, 220, 223 }, { 207, 215, 223 }, { 207, 215, 220 }, { 207, 220, 223 } ], [ { 225, 226, 229 }, { 224, 225, 226 }, { 224, 226, 229 }, { 224, 225, 229 } ], [ { 225, 231, 288 }, { 230, 231, 288 }, { 225, 230, 288 }, { 225, 230, 231 } ], [ { 225, 231, 288 }, { 224, 231, 288 }, { 224, 225, 288 }, { 224, 225, 231 } ], [ { 225, 229, 234 }, { 101, 225, 234 }, { 101, 229, 234 }, { 101, 225, 229 } ], [ { 101, 234, 235 }, { 234, 235, 239 }, { 101, 234, 236, 239 }, { 235, 236, 239 }, { 101, 235, 236 } ], [ { 225, 234, 235 }, { 234, 235, 242 }, { 225, 235, 242 }, { 225, 234, 242 } ], [ { 230, 676, 677, 678 }, { 244, 676, 677, 679 }, { 230, 244, 676 }, { 230, 244, 678, 679 }, { 677, 678, 679 } ], [ { 105, 549, 676 }, { 244, 549, 676 }, { 105, 244, 676 }, { 105, 244, 549 } ], [ { 225, 245, 247 }, { 225, 244, 247 }, { 244, 245, 247 }, { 225, 244, 245 } ], [ { 225, 230, 243 }, { 225, 243, 245 }, { 225, 230, 245 }, { 230, 243, 245 } ], [ { 225, 246, 247 }, { 244, 246, 247 }, { 225, 244, 247 }, { 225, 244, 246 } ], [ { 246, 248, 249 }, { 244, 246, 249 }, { 244, 246, 248 }, { 244, 248, 249 } ], [ { 252, 253, 256 }, { 251, 253, 256 }, { 251, 252, 256 }, { 251, 252, 253 } ], [ { 251, 258, 259 }, { 257, 258, 259 }, { 251, 257, 259 }, { 251, 257, 258 } ], [ { 187, 190, 262 }, { 186, 187, 262 }, { 186, 190, 262 }, { 186, 187, 190 } ], [ { 262, 264, 265 }, { 186, 262, 265 }, { 186, 264, 265 }, { 186, 262, 264 } ], [ { 186, 212, 264 }, { 212, 264, 266 }, { 186, 212, 266 }, { 186, 264, 266 } ], [ { 262, 264, 271 }, { 190, 262, 271 }, { 190, 264, 271 }, { 190, 262, 264 } ], [ { 269, 270, 271 }, { 190, 270, 271 }, { 190, 269, 271 }, { 190, 269, 270 } ], [ { 270, 680, 681 }, { 264, 680, 681 }, { 264, 270, 681 }, { 264, 270, 680 } ], [ { 215, 672, 680 }, { 215, 264, 680 }, { 215, 264, 672 }, { 264, 672, 680 } ], [ { 274, 277, 683 }, { 277, 682, 683 }, { 274, 682, 683 }, { 274, 277, 682 } ], [ { 190, 274, 685, 686 }, { 684, 685, 686 }, { 190, 301, 684, 685 }, { 274, 301, 684, 686 }, { 190, 274, 301 } ], [ { 275, 276, 277, 278 }, { 274, 275, 278 }, { 274, 277, 278 }, { 274, 275, 276 }, { 274, 276, 277 } ], [ { 251, 283, 285 }, { 251, 253, 282, 285 }, { 282, 283, 285 }, { 251, 253, 283 }, { 253, 282, 283 } ], [ { 287, 288, 290, 291 }, { 224, 288, 290 }, { 224, 287, 288 }, { 224, 287, 291 }, { 224, 290, 291 } ], [ { 224, 290, 294 }, { 198, 290, 294 }, { 198, 224, 294 }, { 198, 224, 290 } ], [ { 190, 199, 296 }, { 198, 199, 296 }, { 190, 198, 296 }, { 190, 198, 199 } ], [ { 290, 296, 297 }, { 198, 290, 296 }, { 198, 296, 297 }, { 198, 290, 297 } ], [ { 274, 276, 301 }, { 190, 276, 301 }, { 190, 274, 276 }, { 190, 274, 301 } ], [ { 230, 288, 290 }, { 288, 290, 687 }, { 230, 288, 687 }, { 230, 290, 687 } ], [ { 230, 276, 277, 688 }, { 230, 687, 688, 689 }, { 277, 688, 689 }, { 276, 277, 687, 689 }, { 230, 276, 687 } ], [ { 276, 290, 690 }, { 276, 687, 690 }, { 276, 290, 687 }, { 290, 687, 690 } ], [ { 190, 290, 296 }, { 290, 296, 299 }, { 190, 296, 299 }, { 190, 290, 299 } ], [ { 190, 276, 301 }, { 276, 299, 301 }, { 190, 276, 299 }, { 190, 299, 301 } ], [ { 290, 299, 304 }, { 276, 290, 302, 304 }, { 299, 302, 304 }, { 276, 290, 299 }, { 276, 299, 302 } ], [ { 58, 306, 307 }, { 39, 58, 307 }, { 39, 306, 307 }, { 39, 58, 306 } ], [ { 311, 691, 692 }, { 310, 311, 692 }, { 310, 691, 692 }, { 310, 311, 691 } ], [ { 58, 691, 692 }, { 58, 306, 692 }, { 58, 306, 691 }, { 306, 691, 692 } ], [ { 58, 692, 693 }, { 58, 311, 693 }, { 311, 692, 693 }, { 58, 311, 692 } ], [ { 310, 311, 691 }, { 309, 311, 691 }, { 309, 310, 311 }, { 309, 310, 691 } ], [ { 695, 696, 697, 699 }, { 694, 696, 697, 698 }, { 694, 695, 696 }, { 694, 695, 698, 699 }, { 697, 698, 699 } ], [ { 317, 701, 702, 705 }, { 315, 317, 700, 706 }, { 315, 317, 702 }, { 701, 702, 703 }, { 700, 701, 703, 704, 705, 706 }, { 315, 702, 703, 704 }, { 315, 700, 704 }, { 317, 705, 706 } ], [ { 314, 316, 318 }, { 316, 317, 318 }, { 314, 315, 317, 318 }, { 314, 315, 316 }, { 315, 316, 317 } ], [ { 11, 45, 320 }, { 6, 11, 320 }, { 6, 11, 45 }, { 6, 45, 320 } ], [ { 7, 11, 322 }, { 6, 7, 11 }, { 6, 11, 322 }, { 6, 7, 322 } ], [ { 11, 45, 324 }, { 11, 45, 322 }, { 45, 322, 324, 325 }, { 11, 322, 325 }, { 11, 324, 325 } ], [ { 327, 707, 708 }, { 39, 327, 708 }, { 39, 707, 708 }, { 39, 327, 707 } ], [ { 326, 327, 331 }, { 39, 327, 331 }, { 39, 326, 329, 331 }, { 39, 327, 329 }, { 326, 327, 329 } ], [ { 327, 331, 709 }, { 327, 331, 707 }, { 331, 707, 709 }, { 327, 707, 709 } ], [ { 710, 711, 712 }, { 707, 711, 712 }, { 707, 710, 712 }, { 707, 710, 711 } ], [ { 331, 709, 711 }, { 331, 707, 711 }, { 707, 709, 711 }, { 331, 707, 709 } ], [ { 306, 707, 708 }, { 39, 306, 708 }, { 39, 707, 708 }, { 39, 306, 707 } ], [ { 306, 691, 713 }, { 691, 707, 713 }, { 306, 707, 713 }, { 306, 691, 707 } ], [ { 710, 714, 715 }, { 707, 714, 715 }, { 707, 710, 715 }, { 707, 710, 714 } ], [ { 694, 715, 716 }, { 707, 715, 716 }, { 694, 707, 716 }, { 694, 707, 715 } ], [ { 691, 694, 707 }, { 691, 694, 717 }, { 694, 707, 717 }, { 691, 707, 717 } ], [ { 335, 336, 337 }, { 334, 336, 337 }, { 334, 335, 336 }, { 334, 335, 337 } ], [ { 343, 344, 691 }, { 342, 343, 344 }, { 342, 344, 691 }, { 342, 343, 691 } ], [ { 346, 718, 719 }, { 342, 346, 719 }, { 342, 346, 718 }, { 342, 718, 719 } ], [ { 344, 346, 691 }, { 342, 344, 346 }, { 342, 344, 691 }, { 342, 346, 691 } ], [ { 346, 349, 691 }, { 346, 349, 718 }, { 349, 691, 718 }, { 346, 691, 718 } ], [ { 45, 349, 350 }, { 349, 350, 718 }, { 45, 350, 718 }, { 45, 349, 718 } ], [ { 15, 19, 26, 27, 351, 720 }, { 15, 16, 19, 20 }, { 15, 16, 351 }, { 16, 26, 351, 721 }, { 19, 20, 720 }, { 20, 27, 720, 721 }, { 26, 27, 721 }, { 16, 20, 721 } ], [ { 26, 27, 354 }, { 27, 354, 358 }, { 26, 354, 358 }, { 26, 27, 358 } ], [ { 26, 351, 355, 358 }, { 26, 358, 359 }, { 355, 357, 358, 359 }, { 26, 351, 357, 359 }, { 351, 355, 357 } ], [ { 358, 364, 722 }, { 358, 361, 364 }, { 358, 361, 362, 722 }, { 361, 362, 364 }, { 362, 364, 722 } ], [ { 361, 723, 724 }, { 361, 362, 370, 724 }, { 370, 723, 724 }, { 361, 362, 723 }, { 362, 370, 723 } ], [ { 725, 726, 727 }, { 394, 726, 727 }, { 394, 725, 727 }, { 394, 725, 726 } ], [ { 380, 728, 729 }, { 380, 394, 729 }, { 380, 394, 728 }, { 394, 728, 729 } ], [ { 366, 367, 725, 728 }, { 380, 725, 727, 728 }, { 366, 725, 727 }, { 366, 367, 380, 727 }, { 367, 380, 728 } ], [ { 366, 367, 380, 727 }, { 365, 366, 727 }, { 365, 380, 727 }, { 365, 367, 380 }, { 365, 366, 367 } ], [ { 370, 371, 727 }, { 365, 371, 727 }, { 365, 370, 727 }, { 365, 370, 371 } ], [ { 370, 372, 374 }, { 365, 370, 372 }, { 365, 372, 374 }, { 365, 370, 374 } ], [ { 373, 374, 380 }, { 365, 374, 380 }, { 365, 373, 380 }, { 365, 373, 374 } ], [ { 374, 377, 378 }, { 376, 377, 378 }, { 374, 376, 378 }, { 374, 376, 377 } ], [ { 374, 378, 730 }, { 378, 379, 730 }, { 374, 378, 379 }, { 374, 379, 730 } ], [ { 376, 380, 381, 383 }, { 376, 378, 379, 380 }, { 378, 379, 381, 383 }, { 376, 378, 383 }, { 379, 380, 381 } ], [ { 374, 380, 386 }, { 379, 380, 386 }, { 374, 379, 386 }, { 374, 379, 380 } ], [ { 380, 388, 729 }, { 380, 394, 729 }, { 380, 388, 394 }, { 388, 394, 729 } ], [ { 376, 390, 731 }, { 390, 422, 731 }, { 376, 390, 422 }, { 376, 422, 731 } ], [ { 388, 389, 390, 393 }, { 376, 380, 388, 390 }, { 380, 388, 389 }, { 376, 380, 389, 393 }, { 376, 390, 393 } ], [ { 388, 394, 732 }, { 388, 390, 394, 422 }, { 394, 422, 732, 733 }, { 388, 390, 732, 733 }, { 390, 422, 733 } ], [ { 35, 396, 397 }, { 394, 396, 397 }, { 35, 394, 397 }, { 35, 394, 396 } ], [ { 400, 401, 403 }, { 394, 400, 401 }, { 394, 401, 403 }, { 394, 400, 403 } ], [ { 396, 401, 407 }, { 394, 396, 401 }, { 394, 396, 407 }, { 394, 401, 407 } ], [ { 45, 734, 735 }, { 406, 734, 735 }, { 45, 406, 735 }, { 45, 406, 734 } ], [ { 407, 409, 411 }, { 406, 408, 409, 411 }, { 406, 407, 409 }, { 406, 407, 408 }, { 407, 408, 411 } ], [ { 406, 409, 419, 734 }, { 419, 734, 736 }, { 412, 416, 419, 736 }, { 406, 409, 412, 413, 415, 416 }, { 413, 415, 734, 736 }, { 412, 413, 736 }, { 406, 415, 734 }, { 409, 416, 419 } ], [ { 409, 419, 420 }, { 419, 420, 737 }, { 409, 420, 737 }, { 409, 419, 737 } ], [ { 32, 33, 422 }, { 32, 33, 421 }, { 33, 421, 422 }, { 32, 421, 422 } ], [ { 32, 35, 424 }, { 32, 33, 35, 36 }, { 35, 36, 424 }, { 32, 33, 424 }, { 33, 36, 424 } ], [ { 35, 36, 425 }, { 36, 394, 425 }, { 35, 394, 425 }, { 35, 36, 394 } ], [ { 36, 394, 427 }, { 394, 422, 426, 427 }, { 33, 36, 394, 422 }, { 33, 36, 426, 427 }, { 33, 422, 426 } ], [ { 318, 430, 431 }, { 6, 430, 431 }, { 6, 318, 431 }, { 6, 318, 430 } ], [ { 40, 433, 738 }, { 39, 40, 433 }, { 39, 40, 738 }, { 39, 433, 738 } ], [ { 40, 318, 431 }, { 39, 40, 431 }, { 39, 318, 431 }, { 39, 40, 318 } ], [ { 40, 431, 739 }, { 40, 431, 738 }, { 431, 738, 739 }, { 40, 738, 739 } ], [ { 45, 437, 738 }, { 43, 437, 738 }, { 43, 45, 437 }, { 43, 45, 738 } ], [ { 6, 45, 431 }, { 43, 45, 431 }, { 6, 43, 431 }, { 6, 43, 45 } ], [ { 431, 738, 740 }, { 43, 431, 740 }, { 43, 738, 740 }, { 43, 431, 738 } ], [ { 47, 48, 441 }, { 48, 439, 441 }, { 47, 439, 441 }, { 47, 48, 439 } ], [ { 48, 441, 742 }, { 48, 441, 741 }, { 441, 741, 742 }, { 48, 741, 742 } ], [ { 48, 52, 443 }, { 48, 442, 443 }, { 52, 442, 443 }, { 48, 52, 442 } ], [ { 449, 743, 744 }, { 39, 743, 744 }, { 39, 449, 744 }, { 39, 449, 743 } ], [ { 445, 446, 447 }, { 446, 447, 449 }, { 445, 447, 449 }, { 445, 446, 449 } ], [ { 445, 447, 450 }, { 445, 447, 449 }, { 447, 449, 450 }, { 445, 449, 450 } ], [ { 450, 746, 747 }, { 745, 746, 747 }, { 450, 745, 747 }, { 450, 745, 746 } ], [ { 56, 452, 453 }, { 39, 56, 453 }, { 39, 56, 452 }, { 39, 452, 453 } ], [ { 445, 453, 455 }, { 39, 445, 455 }, { 39, 445, 453 }, { 39, 453, 455 } ], [ { 456, 457, 458 }, { 52, 457, 458 }, { 52, 456, 458 }, { 52, 456, 457 } ], [ { 53, 458, 460 }, { 52, 458, 460 }, { 52, 53, 460 }, { 52, 53, 458 } ], [ { 445, 453, 463 }, { 445, 452, 463 }, { 452, 453, 463 }, { 445, 452, 453 } ], [ { 445, 457, 465 }, { 457, 465, 466 }, { 445, 457, 463, 466 }, { 445, 463, 465 }, { 463, 465, 466 } ], [ { 458, 460, 466 }, { 457, 460, 466 }, { 457, 458, 460 }, { 457, 458, 466 } ], [ { 52, 53, 460 }, { 53, 460, 470 }, { 52, 460, 470 }, { 52, 53, 470 } ], [ { 56, 452, 471 }, { 39, 56, 471 }, { 39, 452, 471 }, { 39, 56, 452 } ], [ { 52, 473, 474 }, { 472, 473, 474 }, { 52, 472, 474 }, { 52, 472, 473 } ], [ { 456, 457, 477 }, { 52, 457, 477 }, { 52, 456, 477 }, { 52, 456, 457 } ], [ { 473, 474, 477 }, { 52, 474, 477 }, { 52, 473, 474 }, { 52, 473, 477 } ], [ { 457, 473, 477 }, { 473, 476, 477 }, { 457, 476, 477 }, { 457, 473, 476 } ], [ { 450, 457, 473 }, { 457, 473, 476 }, { 450, 473, 476 }, { 450, 457, 476 } ], [ { 58, 307, 480 }, { 39, 58, 307 }, { 39, 307, 480 }, { 39, 58, 480 } ], [ { 58, 60, 311 }, { 58, 60, 481 }, { 60, 311, 481 }, { 58, 311, 481 } ], [ { 58, 742, 748 }, { 58, 481, 748 }, { 58, 481, 742 }, { 481, 742, 748 } ], [ { 484, 485, 486 }, { 485, 486, 489 }, { 484, 486, 489 }, { 484, 485, 489 } ], [ { 64, 486, 489 }, { 62, 64, 486 }, { 62, 64, 489 }, { 62, 486, 489 } ], [ { 64, 488, 749 }, { 62, 64, 488 }, { 62, 64, 749 }, { 62, 488, 749 } ], [ { 64, 489, 749 }, { 64, 749, 750 }, { 64, 489, 750 }, { 489, 749, 750 } ], [ { 484, 490, 751 }, { 489, 490, 751 }, { 484, 489, 490 }, { 484, 489, 751 } ], [ { 66, 67, 491 }, { 67, 70, 491 }, { 66, 70, 491 }, { 66, 67, 70 } ], [ { 66, 493, 749 }, { 70, 493, 749 }, { 66, 70, 749 }, { 66, 70, 493 } ], [ { 493, 494, 749 }, { 70, 494, 749 }, { 70, 493, 749 }, { 70, 493, 494 } ], [ { 498, 752, 753, 756, 758, 762 }, { 752, 754, 755, 756, 757, 761 }, { 498, 754, 756 }, { 498, 754, 757, 758, 759, 760 }, { 753, 755, 759, 760, 761, 762 }, { 753, 758, 759 }, { 755, 757, 760 }, { 752, 761, 762 } ], [ { 74, 496, 498, 754 }, { 70, 74, 498 }, { 70, 498, 754 }, { 70, 496, 754 }, { 70, 74, 496 } ], [ { 78, 80, 498 }, { 70, 78, 498 }, { 70, 74, 78, 80 }, { 70, 74, 498 }, { 74, 80, 498 } ], [ { 70, 78, 500, 502 }, { 70, 78, 82, 86 }, { 70, 82, 502 }, { 82, 86, 500, 502 }, { 78, 86, 500 } ], [ { 89, 90, 93, 94 }, { 93, 94, 504, 763 }, { 89, 90, 504, 763 }, { 90, 94, 504 }, { 89, 93, 763 } ], [ { 89, 484, 510 }, { 484, 508, 510, 512 }, { 89, 484, 508 }, { 89, 508, 512 }, { 89, 510, 512 } ], [ { 516, 519, 764 }, { 62, 516, 764 }, { 62, 516, 519 }, { 62, 519, 764 } ], [ { 484, 486, 514 }, { 62, 486, 514 }, { 62, 484, 486 }, { 62, 484, 514 } ], [ { 514, 516, 518 }, { 62, 514, 518 }, { 62, 516, 518 }, { 62, 514, 516 } ], [ { 484, 514, 518 }, { 483, 514, 518 }, { 483, 484, 518 }, { 483, 484, 514 } ], [ { 518, 519, 521 }, { 518, 521, 765 }, { 519, 521, 765 }, { 518, 519, 765 } ], [ { 483, 484, 518 }, { 484, 518, 765 }, { 483, 518, 765 }, { 483, 484, 765 } ], [ { 93, 766, 767 }, { 535, 766, 767 }, { 93, 535, 767 }, { 93, 535, 766 } ], [ { 89, 93, 767 }, { 93, 767, 768 }, { 89, 767, 768 }, { 89, 93, 768 } ], [ { 89, 767, 769 }, { 89, 484, 767 }, { 484, 767, 769 }, { 89, 484, 769 } ], [ { 522, 525, 574 }, { 101, 525, 574 }, { 101, 522, 574 }, { 101, 522, 525 } ], [ { 522, 523, 525, 770 }, { 97, 100, 522, 523 }, { 97, 100, 525, 770 }, { 97, 523, 770 }, { 100, 522, 525 } ], [ { 100, 525, 526 }, { 100, 101, 526 }, { 100, 101, 525 }, { 101, 525, 526 } ], [ { 100, 526, 527 }, { 100, 526, 535 }, { 100, 527, 535 }, { 526, 527, 535 } ], [ { 100, 522, 531 }, { 100, 529, 531 }, { 522, 529, 531 }, { 100, 522, 529 } ], [ { 100, 527, 535 }, { 100, 527, 529 }, { 100, 529, 535 }, { 527, 529, 535 } ], [ { 526, 534, 535 }, { 101, 526, 534 }, { 101, 534, 535 }, { 101, 526, 535 } ], [ { 534, 535, 537 }, { 534, 536, 537 }, { 534, 535, 536 }, { 535, 536, 537 } ], [ { 103, 534, 536 }, { 101, 103, 534 }, { 101, 103, 536 }, { 101, 534, 536 } ], [ { 103, 248, 541 }, { 101, 103, 541 }, { 101, 103, 248 }, { 101, 248, 541 } ], [ { 103, 248, 543 }, { 103, 248, 536 }, { 103, 536, 543 }, { 248, 536, 543 } ], [ { 535, 544, 545 }, { 536, 544, 545 }, { 535, 536, 544 }, { 535, 536, 545 } ], [ { 67, 105, 547 }, { 70, 105, 547 }, { 67, 70, 547 }, { 67, 70, 105 } ], [ { 105, 248, 549 }, { 70, 248, 549 }, { 70, 105, 248 }, { 70, 105, 549 } ], [ { 248, 502, 549 }, { 70, 248, 549 }, { 70, 248, 502 }, { 70, 502, 549 } ], [ { 551, 552, 771 }, { 550, 552, 771 }, { 550, 551, 552 }, { 550, 551, 771 } ], [ { 551, 554, 556 }, { 550, 554, 556 }, { 550, 551, 556 }, { 550, 551, 554 } ], [ { 556, 558, 560 }, { 62, 558, 560 }, { 62, 556, 560 }, { 62, 556, 558 } ], [ { 108, 109, 562 }, { 108, 109, 569 }, { 109, 562, 569 }, { 108, 562, 569 } ], [ { 562, 564, 772, 773 }, { 564, 569, 772 }, { 562, 564, 569 }, { 569, 772, 773 }, { 562, 569, 773 } ], [ { 117, 118, 564 }, { 117, 118, 569 }, { 118, 564, 569 }, { 117, 564, 569 } ], [ { 562, 564, 566, 567 }, { 108, 118, 562, 564 }, { 108, 562, 566 }, { 108, 118, 566, 567 }, { 118, 564, 567 } ], [ { 62, 560, 568 }, { 62, 560, 569 }, { 560, 568, 569 }, { 62, 568, 569 } ], [ { 108, 109, 560 }, { 109, 560, 569 }, { 108, 560, 569 }, { 108, 109, 569 } ], [ { 62, 568, 571 }, { 62, 569, 571 }, { 568, 569, 571 }, { 62, 568, 569 } ], [ { 101, 113, 573 }, { 113, 569, 573 }, { 101, 569, 573 }, { 101, 113, 569 } ], [ { 101, 522, 573 }, { 112, 522, 573 }, { 101, 112, 573 }, { 101, 112, 522 } ], [ { 101, 113, 124 }, { 113, 124, 569 }, { 101, 124, 569 }, { 101, 113, 569 } ], [ { 117, 118, 124 }, { 118, 124, 569 }, { 117, 124, 569 }, { 117, 118, 569 } ], [ { 577, 579, 581 }, { 576, 579, 581 }, { 576, 577, 581 }, { 576, 577, 579 } ], [ { 153, 154, 581 }, { 154, 576, 581 }, { 153, 576, 581 }, { 153, 154, 576 } ], [ { 124, 154, 584 }, { 101, 124, 584 }, { 101, 124, 154 }, { 101, 154, 584 } ], [ { 118, 154, 585, 586 }, { 121, 585, 586 }, { 121, 124, 154, 586 }, { 118, 121, 124, 585 }, { 118, 124, 154 } ], [ { 775, 776, 777 }, { 774, 776, 777, 778 }, { 774, 775, 777, 779 }, { 775, 776, 778, 779 }, { 774, 778, 779 } ], [ { 775, 781, 782 }, { 780, 781, 782, 783 }, { 775, 776, 780, 781 }, { 775, 776, 782, 783 }, { 776, 780, 783 } ], [ { 551, 784, 786 }, { 551, 784, 785 }, { 551, 786, 787 }, { 551, 785, 787 }, { 786, 787, 788 }, { 784, 786, 788 }, { 785, 787, 788 }, { 784, 785, 788 } ], [ { 598, 612, 614, 617 }, { 598, 612, 784, 786 }, { 598, 617, 784 }, { 614, 617, 784, 786 }, { 612, 614, 786 } ], [ { 587, 589, 590 }, { 587, 589, 789 }, { 587, 590, 790 }, { 587, 789, 790 }, { 789, 790, 791 }, { 589, 590, 791 }, { 590, 790, 791 }, { 589, 789, 791 } ], [ { 592, 597, 792 }, { 587, 589, 597, 792 }, { 587, 592, 597 }, { 589, 592, 792 }, { 587, 589, 592 } ], [ { 592, 593, 596, 597 }, { 587, 593, 596 }, { 587, 592, 593 }, { 587, 596, 597 }, { 587, 592, 597 } ], [ { 592, 600, 601 }, { 598, 600, 601 }, { 592, 598, 601 }, { 592, 598, 600 } ], [ { 593, 604, 605 }, { 602, 604, 605 }, { 593, 602, 605 }, { 593, 602, 604 } ], [ { 602, 604, 608 }, { 598, 602, 607, 608 }, { 598, 600, 602, 604 }, { 600, 604, 607, 608 }, { 598, 600, 607 } ], [ { 598, 612, 613 }, { 598, 613, 617 }, { 598, 612, 614, 617 }, { 613, 614, 617 }, { 612, 613, 614 } ], [ { 592, 601, 613 }, { 598, 601, 613 }, { 592, 598, 601 }, { 592, 598, 613 } ], [ { 592, 612, 613 }, { 592, 613, 619 }, { 612, 613, 619 }, { 592, 612, 619 } ], [ { 131, 576, 620 }, { 129, 576, 620 }, { 129, 131, 620 }, { 129, 131, 576 } ], [ { 131, 624, 793, 794 }, { 131, 630, 793, 795 }, { 793, 794, 795 }, { 624, 630, 794, 795 }, { 131, 624, 630 } ], [ { 602, 622, 630, 795 }, { 602, 621, 622 }, { 602, 621, 630 }, { 621, 630, 795 }, { 621, 622, 795 } ], [ { 131, 133, 624 }, { 133, 624, 630 }, { 131, 624, 630 }, { 131, 133, 630 } ], [ { 136, 137, 625 }, { 137, 140, 625 }, { 136, 140, 625 }, { 136, 137, 140 } ], [ { 131, 193, 626 }, { 129, 193, 626 }, { 129, 131, 626 }, { 129, 131, 193 } ], [ { 136, 137, 626 }, { 131, 136, 137 }, { 131, 137, 626 }, { 131, 136, 626 } ], [ { 136, 626, 627 }, { 136, 193, 626 }, { 136, 193, 627 }, { 193, 626, 627 } ], [ { 131, 137, 628 }, { 137, 140, 628 }, { 131, 140, 628 }, { 131, 137, 140 } ], [ { 628, 629, 632 }, { 140, 628, 632 }, { 140, 628, 629 }, { 140, 629, 632 } ], [ { 133, 628, 632 }, { 131, 133, 628 }, { 131, 628, 632 }, { 131, 133, 632 } ], [ { 143, 146, 630 }, { 143, 146, 631 }, { 146, 630, 631 }, { 143, 630, 631 } ], [ { 133, 630, 632 }, { 133, 631, 632 }, { 133, 630, 631 }, { 630, 631, 632 } ], [ { 143, 144, 632 }, { 144, 631, 632 }, { 143, 631, 632 }, { 143, 144, 631 } ], [ { 143, 149, 634 }, { 149, 151, 634 }, { 143, 149, 151 }, { 143, 151, 634 } ], [ { 149, 151, 643 }, { 147, 149, 643 }, { 147, 151, 643 }, { 147, 149, 151 } ], [ { 149, 637, 643 }, { 143, 637, 643 }, { 143, 149, 643 }, { 143, 149, 637 } ], [ { 632, 638, 639 }, { 151, 632, 639 }, { 151, 638, 639 }, { 151, 632, 638 } ], [ { 152, 638, 643 }, { 151, 152, 643 }, { 151, 152, 638 }, { 151, 638, 643 } ], [ { 143, 632, 646 }, { 632, 645, 646 }, { 143, 645, 646 }, { 143, 632, 645 } ], [ { 143, 637, 643 }, { 637, 643, 645 }, { 143, 643, 645 }, { 143, 637, 645 } ], [ { 632, 638, 643 }, { 632, 643, 645 }, { 638, 643, 645 }, { 632, 638, 645 } ], [ { 193, 576, 649 }, { 129, 193, 649 }, { 129, 576, 649 }, { 129, 193, 576 } ], [ { 154, 155, 649 }, { 155, 576, 649 }, { 154, 576, 649 }, { 154, 155, 576 } ], [ { 154, 156, 649 }, { 156, 193, 649 }, { 154, 156, 193 }, { 154, 193, 649 } ], [ { 159, 193, 650 }, { 101, 159, 650 }, { 101, 159, 193 }, { 101, 193, 650 } ], [ { 101, 159, 652 }, { 157, 159, 652 }, { 101, 157, 652 }, { 101, 157, 159 } ], [ { 154, 163, 653 }, { 101, 154, 653 }, { 101, 163, 653 }, { 101, 154, 163 } ], [ { 163, 165, 652 }, { 101, 165, 652 }, { 101, 163, 165 }, { 101, 163, 652 } ], [ { 154, 652, 658 }, { 163, 652, 658 }, { 154, 163, 658 }, { 154, 163, 652 } ], [ { 154, 660, 661 }, { 193, 660, 661 }, { 154, 193, 661 }, { 154, 193, 660 } ], [ { 159, 652, 661 }, { 193, 652, 661 }, { 159, 193, 652 }, { 159, 193, 661 } ], [ { 652, 658, 661 }, { 154, 652, 658 }, { 154, 658, 661 }, { 154, 652, 661 } ], [ { 170, 171, 796 }, { 170, 171, 190 }, { 171, 190, 796 }, { 170, 190, 796 } ], [ { 136, 796, 797 }, { 193, 796, 797 }, { 136, 193, 797 }, { 136, 193, 796 } ], [ { 174, 175, 632 }, { 140, 175, 632 }, { 140, 174, 175 }, { 140, 174, 632 } ], [ { 175, 179, 798 }, { 179, 180, 632, 798 }, { 175, 632, 798 }, { 175, 180, 632 }, { 175, 179, 180 } ], [ { 175, 180, 190 }, { 178, 180, 190 }, { 175, 178, 180 }, { 175, 178, 190 } ], [ { 186, 208, 212 }, { 151, 208, 212 }, { 151, 186, 212 }, { 151, 186, 208 } ], [ { 186, 208, 666 }, { 208, 632, 666 }, { 186, 632, 666 }, { 186, 208, 632 } ], [ { 180, 186, 666 }, { 180, 632, 666 }, { 186, 632, 666 }, { 180, 186, 632 } ], [ { 180, 187, 190 }, { 180, 186, 187 }, { 180, 186, 190 }, { 186, 187, 190 } ], [ { 193, 229, 670 }, { 101, 195, 229, 670 }, { 101, 193, 229 }, { 193, 195, 670 }, { 101, 193, 195 } ], [ { 198, 224, 229 }, { 101, 224, 229 }, { 101, 198, 229 }, { 101, 198, 224 } ], [ { 198, 229, 669 }, { 193, 229, 669 }, { 193, 198, 669 }, { 193, 198, 229 } ], [ { 170, 198, 669 }, { 170, 193, 669 }, { 193, 198, 669 }, { 170, 193, 198 } ], [ { 170, 190, 199 }, { 170, 198, 199 }, { 190, 198, 199 }, { 170, 190, 198 } ], [ { 151, 203, 204 }, { 203, 204, 207 }, { 151, 204, 207 }, { 151, 203, 207 } ], [ { 151, 208, 212 }, { 207, 208, 212 }, { 151, 207, 212 }, { 151, 207, 208 } ], [ { 212, 215, 672 }, { 207, 212, 215 }, { 207, 215, 672 }, { 207, 212, 672 } ], [ { 216, 218, 674 }, { 218, 673, 674 }, { 216, 218, 673 }, { 216, 673, 674 } ], [ { 215, 218, 675 }, { 215, 673, 675 }, { 215, 218, 673 }, { 218, 673, 675 } ], [ { 216, 218, 222 }, { 207, 218, 222 }, { 207, 216, 222 }, { 207, 216, 218 } ], [ { 215, 218, 220 }, { 207, 215, 218 }, { 207, 215, 220 }, { 207, 218, 220 } ], [ { 224, 225, 229 }, { 101, 225, 229 }, { 101, 224, 225 }, { 101, 224, 229 } ], [ { 224, 225, 288 }, { 225, 230, 288 }, { 224, 230, 288 }, { 224, 225, 230 } ], [ { 225, 234, 235 }, { 101, 234, 235 }, { 101, 225, 235 }, { 101, 225, 234 } ], [ { 105, 230, 676 }, { 230, 244, 676 }, { 105, 244, 676 }, { 105, 230, 244 } ], [ { 105, 248, 549 }, { 244, 248, 549 }, { 105, 244, 248 }, { 105, 244, 549 } ], [ { 225, 230, 245 }, { 225, 230, 244 }, { 225, 244, 245 }, { 230, 244, 245 } ], [ { 225, 246, 248 }, { 244, 246, 248 }, { 225, 244, 246 }, { 225, 244, 248 } ], [ { 251, 253, 256 }, { 253, 256, 799 }, { 251, 256, 799 }, { 251, 253, 799 } ], [ { 251, 258, 799 }, { 251, 257, 258 }, { 257, 258, 799 }, { 251, 257, 799 } ], [ { 190, 262, 264 }, { 186, 262, 264 }, { 186, 190, 262 }, { 186, 190, 264 } ], [ { 186, 212, 264 }, { 151, 212, 264 }, { 151, 186, 212 }, { 151, 186, 264 } ], [ { 212, 215, 672 }, { 212, 215, 264 }, { 215, 264, 672 }, { 212, 264, 672 } ], [ { 264, 270, 271 }, { 190, 270, 271 }, { 190, 264, 271 }, { 190, 264, 270 } ], [ { 215, 270, 680 }, { 215, 264, 680 }, { 215, 264, 270 }, { 264, 270, 680 } ], [ { 274, 277, 682 }, { 274, 277, 688 }, { 277, 682, 688 }, { 274, 682, 688 } ], [ { 190, 682, 685, 800 }, { 190, 274, 685, 686 }, { 685, 686, 800 }, { 274, 682, 686, 800 }, { 190, 274, 682 } ], [ { 274, 277, 688 }, { 230, 276, 277, 688 }, { 230, 274, 688 }, { 230, 274, 276 }, { 274, 276, 277 } ], [ { 251, 801, 802, 803 }, { 285, 801, 802, 804 }, { 251, 285, 801 }, { 251, 285, 803, 804 }, { 802, 803, 804 } ], [ { 230, 253, 282, 688 }, { 282, 285, 688 }, { 230, 251, 285, 688 }, { 251, 253, 282, 285 }, { 230, 251, 253 } ], [ { 224, 288, 290 }, { 230, 288, 290 }, { 224, 230, 288 }, { 224, 230, 290 } ], [ { 198, 224, 290 }, { 101, 224, 290 }, { 101, 198, 290 }, { 101, 198, 224 } ], [ { 190, 290, 296 }, { 198, 290, 296 }, { 190, 198, 296 }, { 190, 198, 290 } ], [ { 190, 274, 276 }, { 230, 274, 276 }, { 190, 230, 276 }, { 190, 230, 274 } ], [ { 230, 276, 290 }, { 276, 290, 687 }, { 230, 276, 687 }, { 230, 290, 687 } ], [ { 190, 276, 290 }, { 276, 290, 299 }, { 190, 276, 299 }, { 190, 290, 299 } ], [ { 58, 306, 691 }, { 39, 58, 691 }, { 39, 58, 306 }, { 39, 306, 691 } ], [ { 58, 311, 692 }, { 58, 691, 692 }, { 58, 311, 691 }, { 311, 691, 692 } ], [ { 311, 337, 691 }, { 309, 311, 691 }, { 309, 311, 337 }, { 309, 337, 691 } ], [ { 694, 696, 697, 698 }, { 697, 698, 805 }, { 694, 715, 807, 808 }, { 696, 715, 806, 809 }, { 715, 806, 807 }, { 694, 696, 715 }, { 698, 805, 808, 810 }, { 694, 698, 808 }, { 697, 805, 809, 811 }, { 696, 697, 809 }, { 806, 807, 810, 811 }, { 807, 808, 810 }, { 805, 810, 811 }, { 806, 809, 811 } ], [ { 6, 314, 318 }, { 314, 315, 317, 318 }, { 6, 317, 318, 702 }, { 6, 314, 315, 702 }, { 315, 317, 702 } ], [ { 11, 45, 322 }, { 6, 11, 322 }, { 6, 11, 45 }, { 6, 45, 322 } ], [ { 327, 331, 707 }, { 39, 327, 331 }, { 39, 331, 707 }, { 39, 327, 707 } ], [ { 331, 710, 711 }, { 331, 707, 711 }, { 707, 710, 711 }, { 331, 707, 710 } ], [ { 306, 691, 707 }, { 39, 306, 691 }, { 39, 691, 707 }, { 39, 306, 707 } ], [ { 691, 694, 710, 715 }, { 691, 707, 710 }, { 691, 694, 707 }, { 694, 707, 715 }, { 707, 710, 715 } ], [ { 335, 337, 691 }, { 334, 337, 691 }, { 334, 335, 691 }, { 334, 335, 337 } ], [ { 342, 343, 691 }, { 335, 343, 691 }, { 335, 342, 343 }, { 335, 342, 691 } ], [ { 346, 691, 718 }, { 342, 346, 691 }, { 342, 346, 718 }, { 342, 691, 718 } ], [ { 45, 349, 691 }, { 45, 349, 718 }, { 349, 691, 718 }, { 45, 691, 718 } ], [ { 26, 351, 355, 358 }, { 355, 358, 722 }, { 26, 27, 358 }, { 27, 358, 720, 722 }, { 15, 19, 26, 27, 351, 720 }, { 15, 19, 355, 722 }, { 19, 720, 722 }, { 15, 351, 355 } ], [ { 361, 362, 370, 724 }, { 358, 361, 724 }, { 358, 370, 722, 724 }, { 358, 361, 362, 722 }, { 362, 370, 722 } ], [ { 380, 725, 727, 728 }, { 380, 394, 728 }, { 394, 725, 728 }, { 380, 394, 727 }, { 394, 725, 727 } ], [ { 370, 374, 380, 727 }, { 365, 374, 380 }, { 365, 370, 374 }, { 365, 370, 727 }, { 365, 380, 727 } ], [ { 374, 376, 380 }, { 374, 379, 380 }, { 376, 378, 379, 380 }, { 374, 378, 379 }, { 374, 376, 378 } ], [ { 376, 380, 394, 422 }, { 388, 390, 394, 422 }, { 376, 380, 388, 390 }, { 376, 390, 422 }, { 380, 388, 394 } ], [ { 35, 396, 407 }, { 35, 394, 396 }, { 394, 396, 407 }, { 35, 394, 407 } ], [ { 401, 403, 407 }, { 394, 401, 407 }, { 394, 401, 403 }, { 394, 403, 407 } ], [ { 45, 407, 734 }, { 406, 407, 734 }, { 45, 406, 734 }, { 45, 406, 407 } ], [ { 407, 409, 419 }, { 406, 409, 419, 734 }, { 406, 407, 409 }, { 407, 419, 734 }, { 406, 407, 734 } ], [ { 407, 409, 419 }, { 407, 419, 737 }, { 409, 419, 737 }, { 407, 409, 737 } ], [ { 33, 36, 394, 422 }, { 35, 36, 394 }, { 32, 35, 394, 422 }, { 32, 33, 35, 36 }, { 32, 33, 422 } ], [ { 6, 45, 431 }, { 39, 45, 431 }, { 6, 39, 45, 318 }, { 39, 318, 431 }, { 6, 318, 431 } ], [ { 40, 431, 738 }, { 39, 40, 431 }, { 39, 431, 738 }, { 39, 40, 738 } ], [ { 45, 431, 738 }, { 43, 431, 738 }, { 43, 45, 431 }, { 43, 45, 738 } ], [ { 48, 441, 742 }, { 48, 439, 441 }, { 439, 441, 742 }, { 48, 439, 742 } ], [ { 48, 443, 742 }, { 48, 52, 443 }, { 52, 443, 742 }, { 48, 52, 742 } ], [ { 449, 742, 743 }, { 39, 742, 743 }, { 39, 449, 743 }, { 39, 449, 742 } ], [ { 445, 446, 449 }, { 39, 445, 446 }, { 39, 446, 449 }, { 39, 445, 449 } ], [ { 445, 450, 742 }, { 445, 449, 450 }, { 445, 449, 742 }, { 449, 450, 742 } ], [ { 445, 450, 457 }, { 445, 457, 745, 747 }, { 445, 450, 745 }, { 450, 745, 747 }, { 450, 457, 747 } ], [ { 445, 452, 453 }, { 39, 445, 453 }, { 39, 445, 452 }, { 39, 452, 453 } ], [ { 457, 458, 460 }, { 52, 458, 460 }, { 52, 457, 460 }, { 52, 457, 458 } ], [ { 457, 460, 466 }, { 452, 460, 463, 466 }, { 445, 452, 457, 460 }, { 445, 457, 463, 466 }, { 445, 452, 463 } ], [ { 39, 52, 452, 460 }, { 39, 52, 470, 471 }, { 39, 452, 471 }, { 452, 460, 470, 471 }, { 52, 460, 470 } ], [ { 52, 473, 742 }, { 472, 473, 742 }, { 52, 472, 473 }, { 52, 472, 742 } ], [ { 457, 473, 477 }, { 52, 473, 477 }, { 52, 457, 477 }, { 52, 457, 473 } ], [ { 450, 457, 473 }, { 457, 473, 742 }, { 450, 473, 742 }, { 450, 457, 742 } ], [ { 58, 480, 742 }, { 39, 58, 480 }, { 39, 58, 742 }, { 39, 480, 742 } ], [ { 58, 311, 742 }, { 58, 481, 742 }, { 58, 311, 481 }, { 311, 481, 742 } ], [ { 484, 486, 489 }, { 62, 484, 486 }, { 62, 486, 489 }, { 62, 484, 489 } ], [ { 64, 489, 749 }, { 62, 64, 749 }, { 62, 64, 489 }, { 62, 489, 749 } ], [ { 484, 749, 751 }, { 489, 749, 751 }, { 484, 489, 751 }, { 484, 489, 749 } ], [ { 66, 67, 749 }, { 67, 70, 749 }, { 66, 70, 749 }, { 66, 67, 70 } ], [ { 484, 494, 749 }, { 70, 494, 749 }, { 70, 484, 749 }, { 70, 484, 494 } ], [ { 70, 78, 498 }, { 70, 78, 812 }, { 70, 498, 754 }, { 70, 754, 812 }, { 498, 754, 756 }, { 754, 756, 812 }, { 78, 756, 812 }, { 78, 498, 756 } ], [ { 500, 502, 535, 813 }, { 70, 502, 535 }, { 70, 78, 535, 813 }, { 70, 78, 500, 502 }, { 78, 500, 813 } ], [ { 484, 508, 535, 813, 814, 815 }, { 89, 484, 508 }, { 89, 93, 484, 535 }, { 93, 763, 813, 814 }, { 93, 535, 813 }, { 89, 508, 763, 815 }, { 763, 814, 815 }, { 89, 93, 763 } ], [ { 516, 518, 519 }, { 62, 516, 518 }, { 62, 518, 519 }, { 62, 516, 519 } ], [ { 484, 514, 518 }, { 62, 514, 518 }, { 62, 484, 518 }, { 62, 484, 514 } ], [ { 484, 518, 519 }, { 484, 518, 765 }, { 518, 519, 765 }, { 484, 519, 765 } ], [ { 89, 484, 767 }, { 484, 535, 767 }, { 89, 93, 484, 535 }, { 89, 93, 767 }, { 93, 535, 767 } ], [ { 519, 767, 816 }, { 519, 522, 767 }, { 519, 522, 816, 817 }, { 522, 767, 817 }, { 767, 816, 817 } ], [ { 100, 522, 525 }, { 100, 101, 525 }, { 100, 101, 522 }, { 101, 522, 525 } ], [ { 100, 526, 535 }, { 100, 101, 526 }, { 100, 101, 535 }, { 101, 526, 535 } ], [ { 100, 522, 535 }, { 100, 529, 535 }, { 100, 522, 529 }, { 522, 529, 535 } ], [ { 534, 535, 536 }, { 101, 534, 535 }, { 101, 534, 536 }, { 101, 535, 536 } ], [ { 103, 248, 536 }, { 101, 103, 248 }, { 101, 103, 536 }, { 101, 248, 536 } ], [ { 248, 535, 545 }, { 248, 536, 545 }, { 535, 536, 545 }, { 248, 535, 536 } ], [ { 67, 105, 248 }, { 70, 105, 248 }, { 67, 70, 248 }, { 67, 70, 105 } ], [ { 248, 502, 535 }, { 70, 248, 535 }, { 70, 248, 502 }, { 70, 502, 535 } ], [ { 551, 556, 771 }, { 550, 556, 771 }, { 550, 551, 556 }, { 550, 551, 771 } ], [ { 108, 556, 560 }, { 62, 108, 560 }, { 62, 556, 560 }, { 62, 108, 556 } ], [ { 108, 118, 562, 564 }, { 118, 564, 569 }, { 562, 564, 569 }, { 108, 118, 569 }, { 108, 562, 569 } ], [ { 62, 108, 560 }, { 108, 560, 569 }, { 62, 560, 569 }, { 62, 108, 569 } ], [ { 62, 519, 571 }, { 519, 569, 571 }, { 62, 569, 571 }, { 62, 519, 569 } ], [ { 101, 522, 573 }, { 522, 569, 573 }, { 101, 569, 573 }, { 101, 522, 569 } ], [ { 101, 118, 124 }, { 118, 124, 569 }, { 101, 124, 569 }, { 101, 118, 569 } ], [ { 154, 577, 581 }, { 154, 576, 581 }, { 576, 577, 581 }, { 154, 576, 577 } ], [ { 118, 124, 154 }, { 101, 118, 124 }, { 101, 124, 154 }, { 101, 118, 154 } ], [ { 118, 154, 585, 586 }, { 154, 577, 586, 818 }, { 118, 577, 585, 818 }, { 118, 154, 577 }, { 585, 586, 818 } ], [ { 775, 776, 780, 781 }, { 775, 777, 781, 819 }, { 780, 781, 819 }, { 776, 777, 780, 819 }, { 775, 776, 777 } ], [ { 551, 598, 612 }, { 598, 612, 784, 786 }, { 551, 598, 784 }, { 551, 612, 786 }, { 551, 784, 786 } ], [ { 592, 593, 820 }, { 587, 592, 593 }, { 589, 592, 820 }, { 587, 589, 592 }, { 593, 789, 820 }, { 587, 593, 789 }, { 587, 589, 789 }, { 589, 789, 820 } ], [ { 598, 600, 602, 604 }, { 592, 593, 598, 602 }, { 592, 593, 600, 604 }, { 593, 602, 604 }, { 592, 598, 600 } ], [ { 592, 612, 613 }, { 592, 598, 613 }, { 598, 612, 613 }, { 592, 598, 612 } ], [ { 131, 193, 576 }, { 129, 193, 576 }, { 129, 131, 193 }, { 129, 131, 576 } ], [ { 131, 602, 622, 793 }, { 131, 602, 630 }, { 602, 622, 630, 795 }, { 131, 630, 793, 795 }, { 622, 793, 795 } ], [ { 131, 133, 632 }, { 133, 630, 632 }, { 131, 133, 630 }, { 131, 630, 632 } ], [ { 131, 136, 137 }, { 136, 137, 140 }, { 131, 137, 140 }, { 131, 136, 140 } ], [ { 136, 193, 626 }, { 131, 136, 626 }, { 131, 136, 193 }, { 131, 193, 626 } ], [ { 131, 628, 632 }, { 140, 628, 632 }, { 131, 140, 628 }, { 131, 140, 632 } ], [ { 143, 630, 632 }, { 143, 631, 632 }, { 630, 631, 632 }, { 143, 630, 631 } ], [ { 143, 149, 643 }, { 149, 151, 643 }, { 143, 151, 643 }, { 143, 149, 151 } ], [ { 632, 638, 643 }, { 151, 632, 643 }, { 151, 638, 643 }, { 151, 632, 638 } ], [ { 143, 632, 643 }, { 632, 643, 645 }, { 143, 643, 645 }, { 143, 632, 645 } ], [ { 154, 193, 649 }, { 154, 576, 649 }, { 193, 576, 649 }, { 154, 193, 576 } ], [ { 159, 193, 652 }, { 101, 159, 652 }, { 101, 193, 652 }, { 101, 159, 193 } ], [ { 154, 163, 652 }, { 101, 154, 652 }, { 101, 163, 652 }, { 101, 154, 163 } ], [ { 154, 652, 661 }, { 193, 652, 661 }, { 154, 193, 652 }, { 154, 193, 661 } ], [ { 170, 190, 796 }, { 170, 193, 796 }, { 170, 190, 193 }, { 190, 193, 796 } ], [ { 175, 193, 632, 796 }, { 140, 175, 632 }, { 136, 140, 193, 632 }, { 136, 140, 175, 796 }, { 136, 193, 796 } ], [ { 175, 180, 190 }, { 180, 190, 632 }, { 175, 180, 632 }, { 175, 190, 632 } ], [ { 186, 208, 632 }, { 151, 186, 208 }, { 151, 208, 632 }, { 151, 186, 632 } ], [ { 180, 186, 190 }, { 180, 190, 632 }, { 180, 186, 632 }, { 186, 190, 632 } ], [ { 193, 198, 229 }, { 101, 198, 229 }, { 101, 193, 229 }, { 101, 193, 198 } ], [ { 170, 190, 198 }, { 170, 190, 193 }, { 170, 193, 198 }, { 190, 193, 198 } ], [ { 151, 203, 216 }, { 203, 207, 216 }, { 151, 207, 216 }, { 151, 203, 207 } ], [ { 151, 212, 215 }, { 207, 212, 215 }, { 151, 207, 215 }, { 151, 207, 212 } ], [ { 216, 218, 673 }, { 216, 218, 334 }, { 218, 334, 673 }, { 216, 334, 673 } ], [ { 215, 218, 673 }, { 215, 218, 334 }, { 215, 334, 673 }, { 218, 334, 673 } ], [ { 215, 216, 218 }, { 207, 215, 218 }, { 207, 215, 216 }, { 207, 216, 218 } ], [ { 224, 225, 230 }, { 101, 224, 225 }, { 101, 225, 230 }, { 101, 224, 230 } ], [ { 225, 235, 248 }, { 101, 235, 248 }, { 101, 225, 235 }, { 101, 225, 248 } ], [ { 67, 105, 230 }, { 105, 230, 244 }, { 67, 230, 244 }, { 67, 105, 244 } ], [ { 67, 105, 248 }, { 105, 244, 248 }, { 67, 244, 248 }, { 67, 105, 244 } ], [ { 225, 230, 248 }, { 225, 244, 248 }, { 230, 244, 248 }, { 225, 230, 244 } ], [ { 230, 251, 253 }, { 251, 253, 799 }, { 230, 253, 799 }, { 230, 251, 799 } ], [ { 215, 251, 258 }, { 215, 258, 799 }, { 215, 251, 799 }, { 251, 258, 799 } ], [ { 186, 190, 264 }, { 151, 190, 264 }, { 151, 186, 264 }, { 151, 186, 190 } ], [ { 212, 215, 264 }, { 151, 212, 215 }, { 151, 215, 264 }, { 151, 212, 264 } ], [ { 215, 264, 270 }, { 190, 215, 270 }, { 190, 215, 264 }, { 190, 264, 270 } ], [ { 190, 682, 685, 800 }, { 190, 682, 821 }, { 190, 685, 821, 822 }, { 682, 800, 821, 822 }, { 685, 800, 822 } ], [ { 190, 230, 274 }, { 230, 274, 688 }, { 190, 230, 682, 688 }, { 190, 274, 682 }, { 274, 682, 688 } ], [ { 215, 230, 688, 823, 824, 825 }, { 230, 251, 285, 688 }, { 801, 823, 824 }, { 215, 251, 801, 824 }, { 285, 801, 823, 825 }, { 251, 285, 801 }, { 285, 688, 825 }, { 215, 230, 251 } ], [ { 224, 230, 290 }, { 101, 224, 290 }, { 101, 230, 290 }, { 101, 224, 230 } ], [ { 190, 198, 290 }, { 101, 190, 290 }, { 101, 198, 290 }, { 101, 190, 198 } ], [ { 190, 276, 290 }, { 230, 276, 290 }, { 190, 230, 276 }, { 190, 230, 290 } ], [ { 58, 311, 691 }, { 39, 58, 311 }, { 39, 58, 691 }, { 39, 311, 691 } ], [ { 311, 337, 691 }, { 311, 334, 691 }, { 311, 334, 337 }, { 334, 337, 691 } ], [ { 691, 710, 826 }, { 691, 694, 696, 826 }, { 691, 694, 710, 715 }, { 696, 710, 715, 826 }, { 694, 696, 715 } ], [ { 39, 45, 322, 331, 827, 828 }, { 6, 39, 45, 318 }, { 6, 45, 322 }, { 6, 314, 322, 828 }, { 314, 318, 331, 827 }, { 39, 318, 331 }, { 6, 314, 318 }, { 314, 827, 828 } ], [ { 691, 707, 710 }, { 39, 331, 691, 710 }, { 39, 691, 707 }, { 331, 707, 710 }, { 39, 331, 707 } ], [ { 335, 342, 691 }, { 334, 342, 691 }, { 334, 335, 691 }, { 334, 335, 342 } ], [ { 45, 691, 718 }, { 45, 342, 691 }, { 45, 342, 718 }, { 342, 691, 718 } ], [ { 370, 374, 724 }, { 358, 370, 722, 724 }, { 355, 358, 374, 724 }, { 355, 370, 374, 722 }, { 355, 358, 722 } ], [ { 370, 374, 380, 727 }, { 374, 380, 394 }, { 370, 374, 394 }, { 380, 394, 727 }, { 370, 394, 727 } ], [ { 374, 376, 422 }, { 374, 394, 422 }, { 376, 380, 394, 422 }, { 374, 376, 380 }, { 374, 380, 394 } ], [ { 35, 45, 407 }, { 35, 394, 407 }, { 35, 45, 394 }, { 45, 394, 407 } ], [ { 403, 407, 737 }, { 394, 403, 407 }, { 394, 407, 737 }, { 394, 403, 737 } ], [ { 407, 419, 737 }, { 45, 419, 734, 737 }, { 45, 407, 737 }, { 407, 419, 734 }, { 45, 407, 734 } ], [ { 32, 35, 394, 422 }, { 394, 422, 738 }, { 35, 394, 738 }, { 32, 422, 738 }, { 32, 35, 738 } ], [ { 32, 422, 738 }, { 32, 39, 422 }, { 32, 39, 738 }, { 39, 422, 738 } ], [ { 35, 45, 738 }, { 35, 394, 738 }, { 35, 45, 394 }, { 45, 394, 738 } ], [ { 45, 431, 738 }, { 39, 431, 738 }, { 39, 45, 431 }, { 39, 45, 738 } ], [ { 48, 52, 742 }, { 48, 439, 742 }, { 48, 52, 439 }, { 52, 439, 742 } ], [ { 445, 449, 742 }, { 39, 445, 742 }, { 39, 445, 449 }, { 39, 449, 742 } ], [ { 445, 450, 457 }, { 445, 457, 742 }, { 445, 450, 742 }, { 450, 457, 742 } ], [ { 39, 52, 445, 457 }, { 39, 52, 452, 460 }, { 445, 452, 457, 460 }, { 52, 457, 460 }, { 39, 445, 452 } ], [ { 457, 473, 742 }, { 52, 457, 473 }, { 52, 473, 742 }, { 52, 457, 742 } ], [ { 58, 311, 742 }, { 39, 58, 742 }, { 39, 58, 311 }, { 39, 311, 742 } ], [ { 484, 489, 749 }, { 62, 484, 749 }, { 62, 489, 749 }, { 62, 484, 489 } ], [ { 67, 484, 749 }, { 70, 484, 749 }, { 67, 70, 749 }, { 67, 70, 484 } ], [ { 484, 508, 535, 813, 814, 815 }, { 70, 78, 535, 813 }, { 70, 484, 535 }, { 70, 484, 508, 812 }, { 78, 812, 814, 815 }, { 78, 813, 814 }, { 70, 78, 812 }, { 508, 812, 815 } ], [ { 484, 518, 519 }, { 62, 484, 518 }, { 62, 518, 519 }, { 62, 484, 519 } ], [ { 522, 535, 767 }, { 519, 522, 767 }, { 484, 519, 522, 535 }, { 484, 519, 767 }, { 484, 535, 767 } ], [ { 100, 522, 535 }, { 100, 101, 535 }, { 100, 101, 522 }, { 101, 522, 535 } ], [ { 248, 535, 536 }, { 101, 248, 535 }, { 101, 248, 536 }, { 101, 535, 536 } ], [ { 67, 248, 535 }, { 70, 248, 535 }, { 67, 70, 248 }, { 67, 70, 535 } ], [ { 551, 556, 771 }, { 556, 598, 771 }, { 551, 556, 598 }, { 551, 598, 771 } ], [ { 108, 556, 771 }, { 62, 108, 556 }, { 62, 108, 771 }, { 62, 556, 771 } ], [ { 108, 118, 577, 771 }, { 118, 569, 577 }, { 569, 577, 771 }, { 108, 569, 771 }, { 108, 118, 569 } ], [ { 62, 108, 771 }, { 108, 569, 771 }, { 62, 108, 569 }, { 62, 569, 771 } ], [ { 62, 101, 519, 522 }, { 101, 522, 569 }, { 62, 101, 569 }, { 62, 519, 569 }, { 519, 522, 569 } ], [ { 101, 118, 577 }, { 118, 569, 577 }, { 101, 118, 569 }, { 101, 569, 577 } ], [ { 154, 576, 577 }, { 154, 577, 602 }, { 154, 576, 602 }, { 576, 577, 602 } ], [ { 118, 154, 577 }, { 101, 118, 154 }, { 101, 118, 577 }, { 101, 154, 577 } ], [ { 577, 771, 829 }, { 771, 780, 819, 829 }, { 577, 781, 819, 829 }, { 577, 771, 780, 781 }, { 780, 781, 819 } ], [ { 551, 612, 771 }, { 598, 612, 771 }, { 551, 598, 771 }, { 551, 598, 612 } ], [ { 592, 598, 612 }, { 592, 593, 598, 602 }, { 598, 602, 612, 830, 831, 832 }, { 592, 612, 820, 832 }, { 593, 602, 830 }, { 593, 820, 830, 831 }, { 820, 831, 832 }, { 592, 593, 820 } ], [ { 131, 193, 576 }, { 193, 576, 602 }, { 131, 193, 602 }, { 131, 576, 602 } ], [ { 131, 630, 632 }, { 131, 602, 632 }, { 602, 630, 632 }, { 131, 602, 630 } ], [ { 131, 193, 632 }, { 136, 140, 193, 632 }, { 131, 140, 632 }, { 131, 136, 193 }, { 131, 136, 140 } ], [ { 143, 630, 632 }, { 143, 602, 632 }, { 602, 630, 632 }, { 143, 602, 630 } ], [ { 143, 632, 643 }, { 151, 632, 643 }, { 143, 151, 643 }, { 143, 151, 632 } ], [ { 154, 193, 576 }, { 154, 193, 602 }, { 154, 576, 602 }, { 193, 576, 602 } ], [ { 154, 193, 652 }, { 101, 154, 652 }, { 101, 193, 652 }, { 101, 154, 193 } ], [ { 175, 190, 632 }, { 190, 193, 632 }, { 175, 193, 632, 796 }, { 190, 193, 796 }, { 175, 190, 796 } ], [ { 186, 190, 632 }, { 151, 186, 190 }, { 151, 190, 632 }, { 151, 186, 632 } ], [ { 190, 193, 198 }, { 101, 190, 198 }, { 101, 190, 193 }, { 101, 193, 198 } ], [ { 151, 215, 216 }, { 207, 215, 216 }, { 151, 207, 215 }, { 151, 207, 216 } ], [ { 215, 216, 218 }, { 215, 218, 334 }, { 215, 216, 334 }, { 216, 218, 334 } ], [ { 225, 230, 248 }, { 101, 225, 248 }, { 101, 230, 248 }, { 101, 225, 230 } ], [ { 67, 230, 248 }, { 230, 244, 248 }, { 67, 244, 248 }, { 67, 230, 244 } ], [ { 215, 230, 251 }, { 215, 251, 799 }, { 215, 230, 799 }, { 230, 251, 799 } ], [ { 190, 215, 264 }, { 151, 215, 264 }, { 151, 190, 215 }, { 151, 190, 264 } ], [ { 215, 230, 688, 823, 824, 825 }, { 190, 230, 682, 688 }, { 821, 823, 824 }, { 190, 215, 821, 824 }, { 682, 821, 823, 825 }, { 190, 682, 821 }, { 682, 688, 825 }, { 190, 215, 230 } ], [ { 190, 230, 290 }, { 101, 190, 290 }, { 101, 230, 290 }, { 101, 190, 230 } ], [ { 311, 334, 691 }, { 39, 311, 691 }, { 39, 311, 334 }, { 39, 334, 691 } ], [ { 39, 331, 691, 710 }, { 39, 45, 691 }, { 39, 45, 322, 331, 827, 828 }, { 45, 322, 691, 826 }, { 691, 710, 826 }, { 710, 826, 827, 828 }, { 331, 710, 827 }, { 322, 826, 828 } ], [ { 45, 342, 691 }, { 45, 334, 691 }, { 45, 334, 342 }, { 334, 342, 691 } ], [ { 374, 394, 422 }, { 394, 422, 833 }, { 370, 374, 394 }, { 370, 394, 833 }, { 370, 724, 833 }, { 422, 724, 833 }, { 370, 374, 724 }, { 374, 422, 724 } ], [ { 45, 407, 737 }, { 394, 407, 737 }, { 45, 394, 407 }, { 45, 394, 737 } ], [ { 39, 45, 738 }, { 45, 394, 738 }, { 39, 45, 394, 422 }, { 39, 422, 738 }, { 394, 422, 738 } ], [ { 52, 67, 742 }, { 52, 439, 742 }, { 67, 439, 742 }, { 52, 67, 439 } ], [ { 52, 457, 742 }, { 39, 52, 445, 457 }, { 39, 52, 742 }, { 445, 457, 742 }, { 39, 445, 742 } ], [ { 311, 334, 742 }, { 39, 311, 742 }, { 39, 334, 742 }, { 39, 311, 334 } ], [ { 67, 484, 749 }, { 62, 484, 749 }, { 62, 67, 749 }, { 62, 67, 484 } ], [ { 67, 484, 535 }, { 70, 484, 535 }, { 67, 70, 484 }, { 67, 70, 535 } ], [ { 101, 522, 535 }, { 62, 101, 484, 535 }, { 62, 101, 519, 522 }, { 484, 519, 522, 535 }, { 62, 484, 519 } ], [ { 67, 248, 535 }, { 101, 248, 535 }, { 67, 101, 248 }, { 67, 101, 535 } ], [ { 62, 556, 771 }, { 556, 598, 771 }, { 62, 556, 598 }, { 62, 598, 771 } ], [ { 62, 101, 577, 771 }, { 101, 569, 577 }, { 62, 101, 569 }, { 62, 569, 771 }, { 569, 577, 771 } ], [ { 101, 154, 577 }, { 154, 577, 602 }, { 101, 154, 602 }, { 101, 577, 602 } ], [ { 577, 598, 602, 771 }, { 598, 602, 612, 830, 831, 832 }, { 598, 612, 771 }, { 577, 602, 830 }, { 577, 829, 830, 831 }, { 612, 771, 829, 832 }, { 577, 771, 829 }, { 829, 831, 832 } ], [ { 131, 193, 632 }, { 193, 602, 632 }, { 131, 602, 632 }, { 131, 193, 602 } ], [ { 143, 151, 632 }, { 143, 602, 632 }, { 151, 602, 632 }, { 143, 151, 602 } ], [ { 101, 154, 193 }, { 154, 193, 602 }, { 101, 154, 602 }, { 101, 193, 602 } ], [ { 101, 190, 193 }, { 101, 151, 190 }, { 101, 151, 193, 632 }, { 151, 190, 632 }, { 190, 193, 632 } ], [ { 215, 216, 334 }, { 151, 215, 216 }, { 151, 215, 334 }, { 151, 216, 334 } ], [ { 67, 230, 248 }, { 101, 230, 248 }, { 67, 101, 248 }, { 67, 101, 230 } ], [ { 67, 230, 799 }, { 67, 215, 230, 334 }, { 67, 334, 799 }, { 215, 230, 799 }, { 215, 334, 799 } ], [ { 101, 190, 230 }, { 101, 151, 190 }, { 101, 151, 215, 230 }, { 190, 215, 230 }, { 151, 190, 215 } ], [ { 45, 334, 691 }, { 39, 45, 691 }, { 39, 45, 334 }, { 39, 334, 691 } ], [ { 39, 45, 52, 737, 834, 835 }, { 39, 45, 394, 422 }, { 394, 737, 833, 834 }, { 45, 394, 737 }, { 52, 422, 833, 835 }, { 39, 52, 422 }, { 833, 834, 835 }, { 394, 422, 833 } ], [ { 67, 334, 742 }, { 39, 334, 742 }, { 39, 52, 67, 334 }, { 39, 52, 742 }, { 52, 67, 742 } ], [ { 67, 101, 535 }, { 62, 101, 484, 535 }, { 62, 67, 101 }, { 67, 484, 535 }, { 62, 67, 484 } ], [ { 577, 598, 602, 771 }, { 62, 101, 598, 602 }, { 101, 577, 602 }, { 62, 101, 577, 771 }, { 62, 598, 771 } ], [ { 101, 151, 193, 632 }, { 101, 193, 602 }, { 101, 151, 602 }, { 151, 602, 632 }, { 193, 602, 632 } ], [ { 101, 151, 215, 230 }, { 67, 101, 151, 334 }, { 67, 215, 230, 334 }, { 67, 101, 230 }, { 151, 215, 334 } ], [ { 67, 334, 836 }, { 39, 52, 67, 334 }, { 67, 834, 835, 836 }, { 39, 45, 52, 737, 834, 835 }, { 45, 334, 737, 836 }, { 39, 45, 334 }, { 737, 834, 836 }, { 52, 67, 835 } ], [ { 62, 67, 598 }, { 67, 598, 602 }, { 62, 101, 598, 602 }, { 62, 67, 101 }, { 67, 101, 602 } ], [ { 67, 101, 151, 334 }, { 101, 151, 602 }, { 151, 334, 602 }, { 67, 334, 602 }, { 67, 101, 602 } ], [ { 67, 334, 602 }, { 67, 598, 602 }, { 67, 598, 836 }, { 67, 334, 836 }, { 334, 602, 837 }, { 334, 836, 837 }, { 598, 836, 837 }, { 598, 602, 837 } ] ] /* Order of PGL_2(O) stabilizers of Voronoi top cells */ [ 1, 1, 1, 1, 1, 1, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 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, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 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, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 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, 2, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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, 2, 3, 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, 2, 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, 12, 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, 3, 1, 3, 1, 6, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 12, 3, 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, 3, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 6, 1, 3, 1, 1, 1, 1, 1, 3, 3, 1, 1, 1, 3, 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, 3, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 3, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 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>, <4, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 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>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <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>, <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>, <4, 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>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <4, 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>, <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>, <4, 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>, <24, 3>, <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>, <6, 2>, <2, 1>, <6, 2>, <2, 1>, <12, 4>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <24, 3>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <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>, <12, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <6, 2>, <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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <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>, <6, 2>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <6, 2> ]