/* Defining polynomial */ x^2 - x + 341 /* Minimal vectors */ [ <-8*w + 17, 4*w - 144>, <3*w + 24, -3*w + 37>, <-3*w + 57, -w - 82>, <5*w + 101, -8*w + 28>, <-3*w + 118, -4*w - 116>, <-459*w + 432, 220*w - 7549>, <-404*w + 1758, 129*w - 7301>, <-863*w + 2190, 349*w - 14850>, <275*w + 7035, -474*w + 1047>, <-514*w + 4520, 57*w - 10377>, <5819, -273*w - 2773>, <-110*w + 5874, -218*w - 4559>, <349*w + 14373, -857*w - 1266>, <514*w + 4006, -457*w + 6314>, <110*w + 5764, -328*w - 987>, <-349*w + 14722, -508*w - 12599>, <-459*w + 27, 239*w - 7356>, <863*w + 1327, -514*w + 13174>, <404*w + 1354, -275*w + 5818>, <-275*w + 7310, -199*w - 7883>, <59*w + 109, -36*w + 892>, <-40*w + 766, -15*w - 1005>, <57*w + 856, -70*w + 504>, <17*w + 1622, -85*w - 501>, <-80*w + 445, 21*w - 1492>, <-59*w + 168, 23*w - 1024>, <40*w + 726, -55*w + 294>, <-57*w + 913, -13*w - 1347>, <-17*w + 1639, -68*w - 1053>, <80*w + 365, -59*w + 1106>, <-53*w + 506, 4*w - 1089>, <-17*w + 552, -17*w - 535>, <59*w + 642, -61*w + 638>, <6*w + 1148, -57*w - 451>, <-57*w + 508, 6*w - 1154>, <61*w + 577, -59*w + 701>, <4*w + 1085, -53*w - 453>, <27*w + 189, -23*w + 342>, <56*w + 718, -63*w + 554>, <-15*w + 764, -28*w - 604>, <-36*w + 1190, -37*w - 1143>, <6*w + 338, -19*w - 65>, <16*w + 674, -40*w - 65>, <-7*w + 760, -32*w - 474>, <22*w + 1012, -59*w - 130>, <-19*w + 84, 6*w - 344>, <-40*w + 105, 16*w - 690>, <-59*w + 189, 22*w - 1034>, <-32*w + 506, -7*w - 753>, <23*w + 319, -27*w + 216>, <63*w + 491, -56*w + 774>, <-28*w + 632, -15*w - 749>, <-37*w + 1180, -36*w - 1154>, <-169*w + 79, 84*w - 2749>, <38*w + 1366, -84*w - 35>, <-38*w + 1418, -47*w - 1279>, <2784, -131*w - 1314>, <17*w + 174, -17*w + 191>, <-17*w + 187, -361>, <13*w + 303, -21*w + 66>, <-4*w + 575, -25*w - 335>, <21*w + 45, -13*w + 316>, <-25*w + 360, -4*w - 571>, <361, -17*w - 170>, <-21*w + 146, 4*w - 406>, <4*w + 232, -13*w - 45>, <4*w + 317, -17*w - 85>, <-13*w + 58, 4*w - 236>, <-17*w + 102, 4*w - 321>, <4*w + 402, -21*w - 125>, <13*w + 69, -10*w + 176>, <-11*w + 164, -2*w - 254>, <-17*w + 464, -13*w - 492>, <21*w + 512, -35*w + 95>, <35*w + 60, -21*w + 533>, <10*w + 166, -13*w + 82>, <-2*w + 256, -11*w - 153>, <-13*w + 505, -17*w - 447>, <-16*w + 113, 3*w - 310>, <14*w + 143, -14*w + 157>, <-13*w + 420, -13*w - 407>, , <-27*w + 277, w - 564>, <3*w + 307, -16*w - 97>, <19*w + 194, -19*w + 213>, <-19*w + 210, -404>, <22*w + 501, -35*w + 116>, <-4*w + 23, w - 75>, , <-3*w + 97, -3*w - 94>, <23*w + 171, -20*w + 288>, <-23*w + 233, w - 479>, <20*w + 268, -23*w + 194>, <404, -19*w - 191>, , <35*w + 81, -22*w + 523>, , <-w + 52, -2*w - 43>, <-2*w + 84, -3*w - 76>, <3*w + 109, -7*w - 5>, <-w + 11, -22>, <4*w + 37, -4*w + 49>, <-4*w + 44, -89>, , <-2*w + 63, -2*w - 65>, <21*w + 274, -25*w + 215>, <-21*w + 316, -4*w - 510>, <590, -29*w - 295>, <2*w + 59, -4*w + 4>, <5*w + 66, -6*w + 51>, <-5*w + 76, -w - 122>, <-7*w + 139, -3*w - 187>, <3*w + 6, -2*w + 47>, <-3*w + 55, -w - 79>, <-w + 93, -4*w - 65>, , <-w + 12, -24>, <5*w + 59, -6*w + 54>, <4*w + 71, -6*w + 30>, <3*w + 83, -6*w + 6>, <-4*w + 87, -2*w - 117>, <-3*w + 95, -3*w - 104>, , <-w + 14, -27>, <3*w + 35, -4*w + 29>, <-2*w + 67, -2*w - 81>, <-4*w + 18, 2*w - 83>, <19, -w - 13>, , , <-2*w + 8, w - 41>, <38, -2*w - 25>, <2*w + 11, -2*w + 27>, <20, -w - 13>, <-w + 34, -w - 40>, , , <21, -w - 14>, , <3*w + 2, -2*w + 50>, <-5*w + 3, 3*w - 87>, <-2*w + 5, w - 37>, <5*w + 37, -5*w + 64>, <3*w + 42, -4*w + 27>, <-5*w + 63, -122>, <-2*w + 65, -2*w - 72>, <3*w + 102, -7*w - 8>, <-2*w + 105, -4*w - 95>, <-6*w + 33, 2*w - 119>, <8*w + 44, -7*w + 110>, <-6*w + 94, -w - 153>, <5*w + 162, -11*w - 6>, <-w + 195, -9*w - 125>, <81, -4*w - 45>, <-3*w + 37, -71>, <19*w + 416, -32*w + 87>, <-15*w + 510, -16*w - 536>, <20, -w - 11>, <3*w + 44, -4*w + 26>, <3*w + 64, -5*w + 15>, <-2*w + 65, -2*w - 70>, <-5*w + 1, 3*w - 85>, , <-w + 93, -4*w - 69>, <-4*w + 29, w - 82>, <-3*w + 37, -70>, <2*w + 58, -4*w + 1>, <-3*w + 99, -3*w - 104>, <3*w + 4, -2*w + 47>, , <2*w + 17, -2*w + 23>, <42, -2*w - 23>, <12*w + 81, -11*w + 150>, <-3*w + 185, -7*w - 150>, <-12*w + 3, 7*w - 196>, <-2*w + 25, -46>, <7*w + 165, -12*w + 23>, <5*w + 190, -12*w - 23>, <21, -w - 11>, <5*w + 23, -4*w + 69>, <-4*w + 28, w - 80>, <-w + 54, -2*w - 45>, <-8*w + 12, 4*w - 139>, <-4*w + 47, -91>, <9*w + 79, -9*w + 108>, <-9*w + 106, -205>, <-4*w + 48, -91>, <-9*w + 108, -205>, <-4*w + 131, -4*w - 135>, <187, -9*w - 99>, <12*w + 2, -7*w + 197>, <-5*w + 18, 2*w - 92>, <7*w + 20, -5*w + 105>, <-3*w + 77, -2*w - 90>, <-2*w + 127, -5*w - 100>, <-5*w + 204, -7*w - 190>, , <7*w + 26, -5*w + 98>, <-4*w + 68, -w - 97>, <-3*w + 78, -2*w - 86>, <-2*w + 45, -w - 54>, <-9*w + 62, 2*w - 173>, <5*w + 71, -6*w + 44>, <3*w + 116, -7*w - 10>, <-8*w + 7, 4*w - 130>, <-2*w + 88, -3*w - 75>, <5*w + 93, -7*w + 33>, <-w + 98, -4*w - 64>, <-7*w + 17, 3*w - 119>, <6*w + 38, -5*w + 76>, <-w + 55, -2*w - 43>, <2*w + 171, -9*w - 53>, <4*w + 126, -8*w + 1>, , , <2*w + 19, -2*w + 19>, , <1, -1>, <-w + 14, -23>, <22, -w - 13>, <-2*w + 5, w - 34>, , <2*w + 17, -2*w + 21>, <22, -w - 12>, , <2*w + 19, -2*w + 21>, <-2*w + 25, -44>, <-3*w + 82, -2*w - 89>, <-5*w + 107, -2*w - 133>, , , <4*w + 39, -4*w + 41>, <-w + 57, -2*w - 45>, <44, -2*w - 23>, <-2*w + 91, -3*w - 79>, <-2*w + 135, -5*w - 102>, <-w + 13, -24>, <21, -w - 12>, <2*w + 99, -6*w - 24>, , <-6*w + 36, 2*w - 119>, <3*w + 86, -6*w>, <5*w + 43, -5*w + 57>, <-w + 55, -2*w - 46>, <106, -5*w - 58>, <-w + 12, -22>, <2*w + 40, -3*w + 11>, <-4*w + 49, -89>, <86, -4*w - 45>, <-2*w + 46, -w - 56>, <-w + 55, -2*w - 45>, <-3*w + 101, -3*w - 101>, , <-6*w + 52, w - 123>, <-10*w + 58, 3*w - 190>, <2*w + 61, -4*w>, , <3*w + 6, -2*w + 45>, <-4*w + 49, -90>, <3*w + 91, -6*w>, <2*w + 167, -9*w - 56>, <-4*w + 6, 2*w - 67>, <-25*w + 219, 4*w - 514>, <29*w + 266, -29*w + 324>, <4*w + 485, -25*w - 190>, <-2*w + 67, -2*w - 67>, <25*w + 272, -27*w + 257>, <-21*w + 341, -4*w - 514>, <5*w + 3, -3*w + 79>, <4*w + 100, -7*w + 12>, <-3*w + 15, w - 56>, <-7*w + 21, 3*w - 123>, <-5*w + 82, -w - 123>, <5*w + 67, -6*w + 45>, <3*w + 155, -9*w - 33>, <-7*w + 149, -3*w - 190>, <55*w + 4843, -256*w - 1428>, <-201*w + 6527, -201*w - 6326>, <-603*w + 6728, -12853>, <-146*w + 11370, -457*w - 7754>, <-402*w + 201, 201*w - 6527>, <603*w + 3013, -457*w + 8211>, <201*w + 3214, -256*w + 1684>, <402*w + 16169, -969*w - 1274>, <16370, -768*w - 7801>, <-201*w + 3415, -55*w - 4843>, <-402*w + 16571, -567*w - 14328>, <-622*w + 311, 311*w - 10099>, <622*w + 2801, -457*w + 8616>, <3112, -146*w - 1483>, <-55*w + 11122, -493*w - 6180>, <-622*w + 3423, 165*w - 11582>, <55*w + 11067, -548*w - 4394>, <-256*w + 1279, 74*w - 4705>, <55*w + 1731, -110*w + 55>, <19*w + 3305, -165*w - 1271>, <220*w + 3407, -275*w + 1896>, <165*w + 1676, -165*w + 1841>, <-110*w + 55, 55*w - 1786>, <-165*w + 1436, 19*w - 3324>, <275*w + 1621, -220*w + 3627>, <74*w + 4631, -256*w - 1023>, <55*w + 1326, -91*w + 248>, <-349*w + 3084, 38*w - 7053>, <349*w + 2735, -311*w + 4280>, <-55*w + 1381, -36*w - 1538>, <-48*w + 88, 21*w - 810>, <25*w + 126, -19*w + 340>, <-2*w + 342, -15*w - 195>, <19*w + 747, -45*w - 52>, <48*w + 40, -27*w + 749>, <-25*w + 151, 6*w - 472>, <2*w + 340, -17*w - 130>, <-19*w + 766, -26*w - 669>, <-19*w + 212, -405>, <-2*w + 747, -34*w - 388>, <44*w + 319, -38*w + 552>, <-44*w + 363, 6*w - 877>, <23*w + 468, -34*w + 145>, <-23*w + 491, -11*w - 602>, <67*w + 787, -72*w + 697>, <-67*w + 854, -5*w - 1479>, <-21*w + 554, -15*w - 600>, <-38*w + 19, 19*w - 617>, <93*w + 902, -91*w + 1058>, <-93*w + 995, 2*w - 1962>, <19*w + 2090, -108*w - 692>, <-19*w + 2109, -89*w - 1309>, <19*w + 193, -19*w + 212>, <21*w + 533, -36*w + 82>, <2*w + 745, -36*w - 323>, <-99*w + 529, 27*w - 1836>, <6*w + 2512, -121*w - 1101>, <-80*w + 317, 27*w - 1431>, <-38*w + 701, -13*w - 942>, <44*w + 724, -57*w + 359>, <-17*w + 1234, -49*w - 860>, <57*w + 302, -44*w + 768>, <40*w + 449, -42*w + 426>, <-13*w + 955, -38*w - 663>, <27*w + 1404, -80*w - 237>, <-17*w + 147, 2*w - 342>, <-87*w + 800, 8*w - 1773>, <-74*w + 250, 27*w - 1303>, <23*w + 596, -40*w + 84>, <-51*w + 846, -13*w - 1219>, <44*w + 852, -63*w + 298>, <-36*w + 359, 2*w - 747>, <40*w + 44, -23*w + 619>, <63*w + 235, -44*w + 896>, <-13*w + 1232, -51*w - 795>, <27*w + 1276, -74*w - 176>, <42*w + 384, -40*w + 489>, <8*w + 1765, -87*w - 713>, <29*w + 529, -40*w + 212>, <-40*w + 233, 10*w - 751>, <25*w + 254, -25*w + 279>, <-15*w + 487, -15*w - 472>, <8*w + 678, -36*w - 195>, <-36*w + 231, 8*w - 686>, <12*w + 804, -44*w - 191>, <-24*w + 1035, -36*w - 877>, <-32*w + 634, -13*w - 814>, <10*w + 741, -40*w - 193>, <-42*w + 170, 14*w - 753>, <56*w + 569, -56*w + 625>, , <-55*w + 592, w - 1162>, <14*w + 739, -42*w - 128>, <-13*w + 422, -13*w - 409>, <40*w + 172, -29*w + 558>, <-10*w + 26, 4*w - 173>, <8*w + 81, -8*w + 90>, <-2*w + 86, -3*w - 73>, <-2*w + 107, -4*w - 83>, , <-12*w + 133, -256>, <5*w + 72, -6*w + 46>, <6*w + 167, -11*w + 17>, <11*w + 6, -6*w + 173>, <-5*w + 34, w - 96>, <6*w + 40, -5*w + 77>, <4*w + 169, -10*w - 16>, <-4*w + 87, -2*w - 105>, <256, -12*w - 121>, <-3*w + 76, -2*w - 84>, <8*w + 82, -8*w + 89>, <-2*w + 129, -5*w - 93>, <-5*w + 13, 2*w - 86>, <-6*w + 24, 2*w - 107>, <7*w + 29, -5*w + 98>, <171, -8*w - 81>, <-12*w + 48, 4*w - 215>, <16*w + 163, -16*w + 179>, <-37*w + 517, -5*w - 838>, <-9*w + 1079, -46*w - 656>, <4*w + 211, -12*w - 36>, <-46*w + 702, -9*w - 1070>, <-5*w + 843, -37*w - 480>, <-8*w + 25, 3*w - 140>, <-28*w + 98, 10*w - 495>, <-36*w + 123, 13*w - 635>, <-33*w + 260, 5*w - 652>, <30*w + 412, -35*w + 285>, <2*w + 510, -25*w - 210>, <19*w + 66, -13*w + 273>, <-7*w + 99, -w - 159>, <8*w + 188, -13*w + 39>, <-11*w + 335, -10*w - 335>, <-51*w + 502, 3*w - 1055>, <-43*w + 690, -10*w - 1016>, <-16*w + 71, 5*w - 290>, <-3*w + 310, -13*w - 195>, <-28*w + 119, 9*w - 505>, <45*w + 118, -29*w + 665>, <-8*w + 259, -8*w - 251>, <37*w + 377, -37*w + 414>, <-8*w + 706, -29*w - 463>, <9*w + 262, -17*w + 20>, <-21*w + 20, 10*w - 346>, <5*w + 51, -5*w + 56>, <10*w + 336, -21*w + 1>, <-11*w + 356, -11*w - 345>, <-55*w + 11, 28*w - 888>, <26*w + 181, -22*w + 332>, <-29*w + 192, 6*w - 556>, <22*w + 310, -26*w + 207>, <-20*w + 369, -7*w - 495>, <-7*w + 502, -20*w - 349>, <6*w + 550, -29*w - 163>, <28*w + 860, -55*w + 44>, <-27*w + 871, -27*w - 844>, <85*w + 40, -46*w + 1345>, <9*w + 92, -9*w + 101>, <-39*w + 1259, -39*w - 1220>, <46*w + 1299, -85*w + 125>, <-84*w + 119, 38*w - 1404>, <-47*w + 1326, -38*w - 1380>, <84*w + 2665, -169*w + 90>, <-85*w + 2744, -85*w - 2659>, <-4*w + 129, -4*w - 125>, <-4*w + 44, -85>, <-29*w + 128, 9*w - 526>, <-4*w + 405, -17*w - 255>, <-17*w + 548, -17*w - 531>, <85, -4*w - 40>, <-17*w + 272, -4*w - 401>, <9*w + 517, -29*w - 99>, <2*w + 233, -12*w - 78>, <-12*w + 90, 2*w - 235>, <-4*w + 4, 2*w - 69>, <-2*w + 43, -w - 55>, <-6*w + 47, w - 124>, , <-10*w + 51, 3*w - 193>, <3*w + 7, -2*w + 47>, <-7*w + 38, 2*w - 137>, <-4*w + 45, -90>, <81, -4*w - 41>, <3*w + 27, -3*w + 37>, <20, -w - 10>, <-3*w + 54, -w - 78>, <3*w + 88, -6*w + 6>, <-3*w + 13, w - 57>, <7*w + 84, -8*w + 76>, <4*w + 97, -7*w + 19>, <-6*w + 6, 3*w - 104>, <-3*w + 135, -5*w - 118>, <81, -4*w - 40>, <2*w + 39, -3*w + 14>, <25*w + 270, -27*w + 284>, <-2*w + 3, w - 35>, <2*w + 17, -2*w + 25>, <-2*w + 23, -46>, <-w + 52, -2*w - 44>, <-3*w + 75, -2*w - 90>, <7*w + 160, -12*w + 35>, <-5*w + 198, -7*w - 189>, <10*w + 25, -7*w + 157>, <40, -2*w - 21>, <-w + 12, -23>, <-w + 32, -w - 34>, <-2*w + 44, -w - 57>, <3*w + 46, -4*w + 26>, <-6*w + 10, 3*w - 107>, <-3*w + 15, w - 59>, <5*w + 22, -4*w + 73>, <4*w + 54, -5*w + 39>, <3*w + 45, -4*w + 27>, <-w + 52, -2*w - 45>, , <3*w + 6, -2*w + 48>, <100, -5*w - 52>, , <-2*w + 25, -49>, <-w + 32, -w - 35>, <60, -3*w - 34>, <2*w + 95, -6*w - 18>, <19, -w - 12>, , <19, -w - 11>, <0, 1>, <-2*w + 5, w - 36>, <3*w + 23, -3*w + 37>, <3*w + 23, -3*w + 38>, <-3*w + 37, -72>, <-2*w + 25, -48>, <-2*w + 65, -2*w - 71>, <-w + 33, -w - 36>, <-3*w + 38, -73>, <-w + 53, -2*w - 48>, <2*w + 55, -4*w + 2>, <-3*w + 38, -72>, <61, -3*w - 35>, <6*w + 28, -5*w + 85>, <9*w + 32, -7*w + 133>, <-7*w + 86, -165>, <-w + 114, -5*w - 80>, <-2*w + 167, -7*w - 126>, <7*w + 199, -14*w + 7>, <-2*w + 4, w - 36>, <2*w + 16, -2*w + 25>, <2*w + 97, -6*w - 20>, <-6*w + 153, -4*w - 186>, <-31*w + 57, 16*w - 552>, <61, -3*w - 34>, <5*w + 19, -4*w + 73>, , <-4*w + 9, 2*w - 72>, <-3*w + 17, w - 60>, <-2*w + 45, -w - 59>, <-2*w + 24, -47>, <-3*w + 36, -70>, <3*w + 45, -4*w + 26>, <81, -4*w - 44>, <-2*w + 4, w - 35>, <62, -3*w - 34>, <-6*w + 95, -w - 151>, <-2*w + 46, -w - 58>, <-4*w + 50, -93>, , <-w + 96, -4*w - 69>, <-3*w + 100, -3*w - 104>, <5*w + 63, -6*w + 47>, <-3*w + 16, w - 58>, , , <3*w + 25, -3*w + 35>, <-w + 33, -w - 34>, <3*w + 5, -2*w + 46>, <-5*w + 20, 2*w - 92>, <2*w + 38, -3*w + 12>, <4*w + 35, -4*w + 48>, <3*w + 68, -5*w + 13>, <-4*w + 69, -w - 102>, <-4*w + 90, -2*w - 113>, <83, -4*w - 44>, <-9*w + 4, 5*w - 150>, , <2*w + 59, -4*w + 2>, <-15*w + 178, -341>, <17*w + 191, -19*w + 180>, <2*w + 369, -19*w - 161>, <-17*w + 119, 4*w - 343>, <-13*w + 237, -4*w - 339>, <-5*w + 39, w - 103>, , <12*w + 1, -7*w + 198>, <2*w + 38, -3*w + 13>, <-5*w + 204, -7*w - 191>, <-w + 14, -22>, <-w + 13, -22>, <3*w + 28, -3*w + 30>, <2*w + 41, -3*w + 8>, <3*w + 5, -2*w + 43>, <-w + 36, -w - 35>, <3*w + 27, -3*w + 31>, <-w + 13, -23>, , <-3*w + 60, -w - 80>, <-2*w + 69, -2*w - 69>, <-w + 78, -3*w - 58>, <-4*w + 8, 2*w - 67>, <-3*w + 61, -w - 77>, <-2*w + 71, -2*w - 67>, <23, -w - 12>, <-w + 81, -3*w - 57>, <2*w + 65, -4*w - 4>, <-2*w + 3, w - 33>, <-2*w + 47, -w - 56>, <4*w + 73, -6*w + 24>, <-w + 35, -w - 36>, <-2*w + 4, w - 34>, , <4*w + 37, -4*w + 44>, <-4*w + 28, w - 79>, <4*w + 36, -4*w + 45>, <64, -3*w - 34>, <-5*w + 104, -2*w - 135>, <3*w + 113, -7*w - 12>, <8*w + 9, -5*w + 123>, <85, -4*w - 45>, , <6*w + 34, -5*w + 78>, <2*w + 552, -27*w - 257>, <457*w + 4642, -457*w + 5099>, <-457*w + 5099, -9741>, <201*w + 6326, -402*w + 201>, <9741, -457*w - 4642>, <256*w + 1428, -201*w + 3415>, <-256*w + 1684, 55*w - 4898>, <-292*w + 146, 146*w - 4741>, <-55*w + 1786, -55*w - 1731>, <91*w + 3269, -201*w - 102>, <3517, -165*w - 1676>, <146*w + 1483, -146*w + 1629>, <-347*w + 1932, 91*w - 6472>, <6629, -311*w - 3159>, <347*w + 1585, -256*w + 4796>, <-146*w + 1629, -3112>, <-91*w + 3360, -110*w - 3057>, <-36*w + 1574, -55*w - 1326>, <-91*w + 2955, -91*w - 2864>, <-127*w + 4529, -146*w - 4190>, <-146*w + 4336, -127*w - 4402>, <404*w + 9880, -675*w + 1755>, <-404*w + 10284, -271*w - 11364>, <294*w + 4116, -347*w + 2742>, <239*w + 5497, -383*w + 1204>, <-4*w + 2, 2*w - 65>, <4*w + 275, -15*w - 67>, <277, -13*w - 132>, <-35*w + 369, w - 736>, <-4*w + 279, -11*w - 197>, <35*w + 334, -34*w + 401>, <-27*w + 216, 4*w - 535>, <48*w + 594, -53*w + 485>, <-48*w + 642, -5*w - 1074>, <38*w + 663, -51*w + 292>, <-44*w + 768, -13*w - 1070>, <-23*w + 896, -30*w - 795>, <63*w + 107, -38*w + 957>, <682, -32*w - 325>, <-63*w + 170, 25*w - 1089>, <23*w + 873, -53*w - 48>, <59*w + 514, -55*w + 699>, <1087, -51*w - 518>, <-21*w + 1641, -66*w - 1118>, <-80*w + 40, 40*w - 1299>, <80*w + 1047, -91*w + 781>, <-80*w + 1127, -11*w - 1817>, <-59*w + 573, 4*w - 1217>, <21*w + 1620, -87*w - 436>, <27*w + 999, -61*w - 44>, <78*w + 153, -48*w + 1175>, <-61*w + 105, 27*w - 1026>, <48*w + 1127, -78*w + 231>, <10*w + 336, -21*w>, <-44*w + 235, 12*w - 816>, <31*w + 592, -44*w + 214>, <44*w + 170, -31*w + 623>, <-53*w + 655, -3*w - 1160>, <-28*w + 909, -28*w - 881>, <-3*w + 1163, -53*w - 602>, <-25*w + 23, 12*w - 411>, <12*w + 399, -25*w + 2>, <-59*w + 466, 9*w - 1166>, <-21*w + 21, 10*w - 346>, <2*w + 63, -4*w + 2>, <-15*w + 82, 4*w - 279>, <-3*w + 12, w - 54>, <-18*w + 178, w - 374>, <-7*w + 35, 2*w - 129>, <2*w + 127, -7*w - 28>, , , <2*w + 42, -3*w + 12>, <-w + 373, -17*w - 193>, <15*w + 536, -33*w - 14>, <-17*w + 210, -w - 372>, <-33*w + 47, 15*w - 551>, <-21*w + 680, -21*w - 659>, <-20*w + 73, 7*w - 355>, <-32*w + 121, 11*w - 570>, <-4*w + 236, -9*w - 176>, <-5*w + 609, -26*w - 369>, <17*w + 3, -9*w + 271>, <5*w + 285, -16*w - 55>, <-41*w + 327, 6*w - 812>, <6*w + 806, -41*w - 286>, <-12*w + 27, 5*w - 205>, <6*w + 61, -6*w + 67>, <-7*w + 227, -7*w - 220>, <-w + 288, -13*w - 153>, <-13*w + 166, -w - 287>, <5*w + 200, -12*w - 15>, <7*w + 263, -16*w - 13>, <9*w + 326, -20*w - 11>, <-16*w + 29, 7*w - 270>, <-20*w + 31, 9*w - 335>, <-9*w + 420, -15*w - 344>, <-15*w + 359, -9*w - 411>, <13*w + 48, -9*w + 186>, <9*w + 177, -13*w + 61>, <-8*w + 67, w - 160>, , <-12*w + 111, w - 245>, <-16*w + 155, w - 330>, <-5*w + 56, -112>, , <-w + 11, -23>, <19, -w - 10>, , <20, -w - 12>, <3*w + 4, -2*w + 48>, <-4*w + 90, -2*w - 117>, <-3*w + 16, w - 59>, , <4*w + 13, -3*w + 59>, <3*w + 25, -3*w + 36>, <3*w + 47, -4*w + 25>, <-w + 115, -5*w - 77>, <6*w + 32, -5*w + 82>, <3*w + 8, -2*w + 43>, <22, -w - 11>, <-4*w + 47, -86>, <-2*w + 67, -2*w - 65>, <41*w + 403, -41*w + 444>, <-41*w + 485, -888>, <888, -41*w - 444>, <-5*w + 61, -112>, <-55*w + 4898, -201*w - 3214>, <74*w + 1114, -91*w + 653>, <-74*w + 1188, -17*w - 1750>, <-54*w + 27, 27*w - 877>, <6*w + 743, -38*w - 258>, <-38*w + 296, 6*w - 749>, <63*w + 640, -63*w + 703>, <61, -3*w - 33>, <2*w + 63, -4*w>, <-4*w + 4, 2*w - 65>, <2*w + 41, -3*w + 11>, <17*w + 173, -17*w + 190>, <-6*w + 88, -w - 138>, <-3*w + 225, -9*w - 155>, <-w + 139, -6*w - 82>, <2*w + 37, -3*w + 13>, <-w + 11, -21>, <21, -w - 10>, <-4*w + 6, 2*w - 69>, <-2*w + 65, -2*w - 67>, <405, -19*w - 193>, <-2*w + 65, -2*w - 63>, <1, 0> ] /* Voronoi top cells */ [ { 1, 2, 3, 4, 5 }, { 6, 7, 8, 9 }, { 10, 11, 12, 13 }, { 11, 14, 15, 16 }, { 17, 18, 19, 20 }, { 21, 22, 23, 24 }, { 21, 22, 24, 25 }, { 26, 27, 28, 29 }, { 26, 27, 29, 30 }, { 31, 32, 33, 34 }, { 32, 35, 36, 37 }, { 38, 39, 40, 41 }, { 42, 43, 44, 45 }, { 46, 47, 48, 49 }, { 50, 51, 52, 53 }, { 54, 55, 56, 57 }, { 58, 59, 60, 61 }, { 58, 62, 63, 64 }, { 64, 65, 66, 67 }, { 59, 68, 69, 70 }, { 71, 72, 73, 74 }, { 75, 76, 77, 78 }, { 79, 80, 81, 82 }, { 80, 81, 83, 84 }, { 84, 85, 86, 87 }, { 86, 88, 89, 90, 91, 92, 93, 94, 95 }, { 79, 85, 94, 96 }, { 97, 98, 99, 100 }, { 101, 102, 103, 104 }, { 105, 106, 107, 108 }, { 109, 110, 111, 112 }, { 97, 113, 114, 115 }, { 116, 117, 118, 119 }, { 117, 119, 120, 121 }, { 116, 119, 120, 122 }, { 123, 124, 125, 126 }, { 124, 127, 128, 129 }, { 128, 130, 131, 132 }, { 123, 133, 134, 135 }, { 136, 137, 138, 139 }, { 140, 141, 142, 143, 144, 145, 146, 147, 148 }, { 149, 150, 151, 152, 153 }, { 2, 3, 4, 5, 150, 151 }, { 1, 2, 3, 154 }, { 2, 155, 156, 157 }, { 158, 159, 160, 161 }, { 159, 162, 163, 164 }, { 165, 166, 167, 168 }, { 165, 167, 169, 170 }, { 171, 172, 173, 174 }, { 175, 176, 177, 178 }, { 179, 180, 181, 182 }, { 183, 184, 185, 186 }, { 187, 188, 189, 190 }, { 191, 192, 193, 194, 195, 196 }, { 197, 198, 199, 200 }, { 201, 202, 203, 204 }, { 200, 203, 204, 205 }, { 197, 206, 207, 208 }, { 209, 210, 211, 212 }, { 206, 209, 210, 213 }, { 214, 215, 216, 217 }, { 214, 218, 219, 220 }, { 214, 221, 222, 223 }, { 214, 221, 224, 225 }, { 226, 227, 228, 229 }, { 230, 231, 232, 233 }, { 226, 234, 235, 236 }, { 237, 238, 239, 240 }, { 237, 239, 241, 242 }, { 171, 243, 244, 245 }, { 246, 247, 248, 249 }, { 250, 251, 252, 253 }, { 254, 255, 256, 257 }, { 258, 259, 260, 261 }, { 262, 263, 264, 265 }, { 256, 266, 267, 268 }, { 179, 258, 269, 270 }, { 266, 271, 272, 273 }, { 271, 273, 274, 275 }, { 266, 273, 274, 276 }, { 277, 278, 279, 280 }, { 279, 281, 282, 283 }, { 281, 283, 284, 285 }, { 281, 285, 286, 287 }, { 288, 289, 290, 291 }, { 288, 290, 292, 293 }, { 294, 295, 296, 297 }, { 294, 295, 297, 298 }, { 299, 300, 301, 302 }, { 298, 299, 301, 302 }, { 6, 7, 9, 303 }, { 7, 14, 15, 304 }, { 10, 11, 12, 305 }, { 11, 14, 15, 304 }, { 17, 19, 20, 306 }, { 10, 12, 19, 305 }, { 307, 308, 309, 310 }, { 311, 312, 313, 314 }, { 21, 23, 315, 316 }, { 317, 318, 319, 320, 321, 322 }, { 21, 22, 23, 315 }, { 21, 22, 25, 323 }, { 324, 325, 326, 327, 328 }, { 26, 27, 28, 329 }, { 26, 27, 30, 330 }, { 26, 28, 329, 331 }, { 26, 330, 332, 333 }, { 334, 335, 336, 337 }, { 338, 339, 340, 341 }, { 338, 339, 342, 343 }, { 344, 345, 346, 347 }, { 31, 32, 329, 348 }, { 31, 32, 34, 345 }, { 32, 35, 37, 349 }, { 32, 37, 329, 331 }, { 349, 350, 351, 352 }, { 313, 336, 353, 354 }, { 334, 335, 336, 353 }, { 38, 39, 40, 355 }, { 356, 357, 358, 359 }, { 342, 360, 361, 362 }, { 342, 358, 360, 363 }, { 357, 358, 360, 364 }, { 42, 365, 366, 367 }, { 46, 366, 368, 369 }, { 42, 43, 44, 370 }, { 46, 47, 49, 370 }, { 50, 51, 52, 371 }, { 372, 373, 374, 375 }, { 372, 375, 376, 377 }, { 372, 376, 378, 379 }, { 380, 381, 382, 383 }, { 381, 383, 384, 385 }, { 383, 384, 386, 387 }, { 384, 386, 387, 388 }, { 389, 390, 391, 392 }, { 393, 394, 395, 396 }, { 394, 397, 398, 399 }, { 400, 401, 402, 403, 404, 405 }, { 406, 407, 408, 409 }, { 393, 408, 410, 411 }, { 88, 408, 412, 413 }, { 393, 408, 412, 414 }, { 415, 416, 417, 418 }, { 393, 412, 414, 419 }, { 88, 89, 420, 421, 422, 423 }, { 424, 425, 426, 427, 428, 429, 430, 431, 432 }, { 433, 434, 435, 436 }, { 54, 55, 56, 433, 436, 437, 438, 439, 440 }, { 58, 59, 60, 441 }, { 58, 62, 64, 441 }, { 441, 442, 443, 444 }, { 64, 66, 67, 442 }, { 59, 64, 67, 69, 445 }, { 59, 68, 69, 446 }, { 441, 446, 447, 448 }, { 71, 72, 74, 449 }, { 75, 76, 77, 450 }, { 79, 80, 81, 84 }, { 84, 85, 86, 89 }, { 85, 86, 88, 89, 94 }, { 79, 85, 88, 94 }, { 451, 452, 453, 454 }, { 109, 451, 454, 455 }, { 456, 457, 458, 459 }, { 456, 457, 459, 460 }, { 459, 460, 461, 462 }, { 98, 456, 458, 463 }, { 97, 98, 100, 452 }, { 456, 464, 465, 466 }, { 110, 456, 464, 467 }, { 109, 110, 456, 468 }, { 101, 102, 461, 469 }, { 101, 102, 104, 464 }, { 101, 104, 105, 470 }, { 105, 107, 108, 109, 471 }, { 109, 110, 111, 464 }, { 105, 109, 111, 112 }, { 97, 113, 114, 472 }, { 473, 474, 475, 476 }, { 473, 474, 477, 478 }, { 473, 478, 479, 480 }, { 481, 482, 483, 484 }, { 482, 485, 486, 487 }, { 473, 482, 487, 488 }, { 158, 486, 489, 490 }, { 97, 474, 475, 491 }, { 461, 474, 491, 492 }, { 474, 480, 492, 493 }, { 142, 144, 494, 495 }, { 117, 158, 496, 497 }, { 116, 117, 119, 120 }, { 116, 120, 122, 158 }, { 117, 120, 158, 498 }, { 128, 130, 132, 499 }, { 499, 500, 501, 502 }, { 123, 133, 134, 136 }, { 123, 124, 126, 127, 128 }, { 124, 128, 130, 131 }, { 123, 124, 134, 135 }, { 136, 137, 138, 218 }, { 170, 237, 503, 504 }, { 142, 158, 497, 505 }, { 158, 163, 505, 506 }, { 142, 163, 507, 508 }, { 140, 142, 509, 510, 511, 512 }, { 140, 142, 144, 146, 494 }, { 163, 170, 513, 514 }, { 170, 504, 509, 514 }, { 515, 516, 517, 518, 519, 520 }, { 2, 3, 149, 150, 151 }, { 3, 521, 522, 523 }, { 2, 3, 154, 522 }, { 158, 521, 522, 524 }, { 2, 158, 161, 522 }, { 2, 155, 157, 525, 526 }, { 163, 170, 527, 528 }, { 170, 526, 528, 529 }, { 163, 526, 528, 530 }, { 2, 158, 159, 161 }, { 158, 159, 163, 164 }, { 2, 159, 163, 531 }, { 158, 521, 532, 533, 534, 535 }, { 167, 536, 537, 538 }, { 166, 167, 168, 537 }, { 165, 166, 167, 170 }, { 167, 169, 170, 536 }, { 169, 536, 539, 540 }, { 169, 170, 539, 541 }, { 536, 539, 542, 543 }, { 172, 539, 542, 544 }, { 481, 536, 545, 546 }, { 172, 536, 542, 547 }, { 170, 539, 541, 548 }, { 171, 175, 176, 177 }, { 171, 172, 174, 175 }, { 172, 175, 176, 178 }, { 179, 181, 182, 549 }, { 172, 176, 550, 551 }, { 172, 550, 551, 552 }, { 183, 184, 186, 553 }, { 179, 549, 554, 555, 556 }, { 187, 188, 189, 557 }, { 189, 557, 558, 559 }, { 560, 561, 562, 563 }, { 192, 560, 563, 564 }, { 194, 560, 562, 565 }, { 557, 559, 566, 567 }, { 481, 567, 568, 569, 570 }, { 192, 193, 194, 195, 567, 569 }, { 197, 198, 200, 201 }, { 200, 201, 203, 204 }, { 197, 206, 207, 211 }, { 206, 209, 210, 211 }, { 214, 215, 218, 571 }, { 214, 215, 217, 572 }, { 214, 218, 220, 222 }, { 214, 221, 222, 224 }, { 214, 572, 573, 574 }, { 214, 574, 575, 576 }, { 214, 224, 575, 577 }, { 221, 222, 224, 578 }, { 578, 579, 580, 581 }, { 224, 579, 581, 582 }, { 224, 578, 581, 583 }, { 230, 572, 584, 585 }, { 230, 585, 586, 587 }, { 572, 585, 586, 588 }, { 226, 227, 228, 233 }, { 227, 230, 231, 233 }, { 234, 579, 589, 590 }, { 226, 234, 235, 590 }, { 170, 237, 242, 591 }, { 237, 238, 239, 242 }, { 222, 238, 578, 592 }, { 171, 578, 579, 593 }, { 171, 176, 243, 244 }, { 176, 244, 579, 594 }, { 176, 179, 550, 594 }, { 246, 249, 579, 595 }, { 246, 247, 249, 250 }, { 254, 255, 256, 262 }, { 579, 594, 596, 597 }, { 579, 596, 597, 598 }, { 251, 597, 598, 599 }, { 251, 259, 597, 599 }, { 250, 251, 253, 600 }, { 250, 251, 252, 257 }, { 250, 254, 256, 257 }, { 251, 256, 257, 601 }, { 179, 258, 259, 602 }, { 251, 258, 259, 260 }, { 246, 247, 262, 603 }, { 262, 266, 603, 604 }, { 256, 262, 263, 264, 605 }, { 256, 266, 267, 605 }, { 179, 258, 270, 271 }, { 266, 271, 273, 274 }, { 256, 266, 274, 276 }, { 278, 281, 606, 607, 608, 609 }, { 277, 278, 279, 281, 283 }, { 281, 283, 285, 286 }, { 288, 290, 291, 610 }, { 288, 290, 293, 611 }, { 612, 613, 614, 615 }, { 286, 612, 616, 617 }, { 283, 286, 612, 618 }, { 283, 612, 619, 620 }, { 295, 612, 615, 621 }, { 294, 295, 296, 622 }, { 294, 622, 623, 624 }, { 294, 295, 298, 623 }, { 299, 300, 302, 306 }, { 298, 299, 302, 623 }, { 302, 306, 623, 625 }, { 7, 9, 299, 303 }, { 7, 15, 299, 304 }, { 11, 12, 299, 305 }, { 11, 15, 299, 304 }, { 11, 304, 305, 626, 627 }, { 19, 20, 299, 306 }, { 12, 19, 299, 305 }, { 303, 306, 628, 629 }, { 630, 631, 632, 633 }, { 630, 632, 634, 635 }, { 308, 309, 310, 636 }, { 308, 312, 319, 320, 637, 638 }, { 38, 312, 313, 314 }, { 21, 315, 316, 639 }, { 309, 323, 640, 641 }, { 309, 641, 642, 643 }, { 313, 317, 320, 643 }, { 317, 318, 319, 320, 643 }, { 309, 318, 319, 643 }, { 313, 643, 644, 645 }, { 21, 22, 315, 323 }, { 22, 315, 646, 647 }, { 22, 323, 647, 648 }, { 330, 647, 649, 650 }, { 323, 647, 649, 651 }, { 315, 324, 325, 326, 329 }, { 324, 329, 647, 652 }, { 315, 324, 646, 647 }, { 27, 329, 647, 652 }, { 27, 330, 647, 653 }, { 26, 27, 329, 330 }, { 26, 329, 331, 335 }, { 26, 330, 333, 335 }, { 313, 330, 336, 645 }, { 330, 335, 336, 337 }, { 338, 339, 340, 342 }, { 31, 329, 339, 340 }, { 339, 342, 343, 347 }, { 342, 345, 347, 654 }, { 339, 344, 345, 347 }, { 31, 32, 329, 339 }, { 31, 32, 339, 345 }, { 342, 345, 654, 655 }, { 313, 349, 656, 657 }, { 32, 37, 349, 353 }, { 32, 37, 329, 353 }, { 313, 349, 350, 656 }, { 349, 350, 352, 353 }, { 313, 350, 353, 354 }, { 37, 329, 335, 353 }, { 313, 335, 336, 353 }, { 42, 630, 631, 658 }, { 38, 40, 42, 355 }, { 42, 313, 355, 659 }, { 42, 357, 359, 660 }, { 42, 313, 359, 659 }, { 313, 357, 358, 359 }, { 46, 342, 360, 361 }, { 46, 357, 360, 661 }, { 342, 357, 358, 360 }, { 46, 357, 662, 663 }, { 42, 357, 663, 664 }, { 42, 46, 366, 367, 368 }, { 42, 630, 658, 665 }, { 42, 43, 370, 665 }, { 370, 665, 666, 667 }, { 46, 666, 668, 669 }, { 46, 47, 370, 666 }, { 46, 668, 669, 670 }, { 46, 342, 361, 371 }, { 46, 50, 52, 371 }, { 375, 376, 671, 672 }, { 372, 374, 375, 376 }, { 89, 376, 378, 673 }, { 372, 374, 376, 378 }, { 88, 381, 382, 674 }, { 381, 382, 383, 386 }, { 381, 384, 675, 676 }, { 381, 383, 384, 386 }, { 384, 386, 388, 675 }, { 389, 390, 391, 677 }, { 393, 394, 678, 679 }, { 394, 400, 678, 680 }, { 394, 397, 680, 681 }, { 393, 394, 395, 682 }, { 394, 397, 399, 682 }, { 400, 401, 405, 678, 683 }, { 393, 678, 683, 684, 685, 686 }, { 407, 408, 409, 685 }, { 393, 408, 411, 685 }, { 88, 393, 408, 412 }, { 89, 397, 687, 688 }, { 393, 416, 417, 418 }, { 88, 393, 412, 419 }, { 393, 414, 416, 419 }, { 416, 419, 687, 689, 690 }, { 88, 89, 419, 420, 422, 687 }, { 691, 692, 693, 694 }, { 692, 693, 695, 696 }, { 669, 692, 697, 698 }, { 692, 695, 696, 697 }, { 630, 692, 699, 700 }, { 691, 692, 694, 699 }, { 666, 669, 692, 701 }, { 665, 666, 692, 701, 702 }, { 630, 665, 692, 702 }, { 425, 426, 427, 428, 429, 430, 441, 703, 704 }, { 55, 56, 433, 434, 436, 437, 438, 705, 706 }, { 441, 442, 704, 707, 708 }, { 58, 59, 64, 441 }, { 64, 441, 442, 444 }, { 59, 64, 67, 69, 442, 446 }, { 59, 441, 446, 447 }, { 71, 72, 89, 449 }, { 76, 77, 88, 450 }, { 72, 84, 89, 449 }, { 79, 80, 84, 449, 450 }, { 79, 84, 85, 88, 89 }, { 77, 79, 88, 450 }, { 109, 451, 452, 454 }, { 97, 456, 458, 459 }, { 456, 459, 460, 461 }, { 97, 459, 461, 491 }, { 97, 98, 456, 458 }, { 98, 109, 456, 709 }, { 97, 98, 109, 452 }, { 456, 461, 464, 466 }, { 109, 110, 456, 464 }, { 101, 102, 461, 464 }, { 101, 104, 105, 464 }, { 101, 105, 451, 470 }, { 105, 109, 451, 471 }, { 105, 109, 111, 464 }, { 97, 114, 472, 475 }, { 97, 473, 474, 475 }, { 473, 474, 478, 480 }, { 481, 482, 484, 710 }, { 473, 482, 488, 710 }, { 473, 482, 486, 487 }, { 158, 482, 486, 490 }, { 97, 461, 474, 491 }, { 461, 474, 480, 492 }, { 116, 502, 711, 712 }, { 117, 142, 494, 495 }, { 117, 142, 158, 497 }, { 117, 494, 501, 713 }, { 116, 117, 120, 158 }, { 116, 117, 501, 502 }, { 128, 130, 499, 502 }, { 494, 499, 501, 502 }, { 123, 134, 136, 218 }, { 123, 124, 128, 218, 502 }, { 124, 128, 130, 502 }, { 123, 124, 134, 218 }, { 136, 137, 218, 714 }, { 170, 237, 504, 509 }, { 142, 158, 163, 505 }, { 142, 163, 507, 509 }, { 140, 142, 494, 509, 511, 714 }, { 163, 170, 509, 514 }, { 515, 516, 518, 519, 715 }, { 2, 149, 518, 715 }, { 515, 526, 715, 716 }, { 2, 3, 149, 715 }, { 2, 3, 158, 521, 522 }, { 2, 155, 163, 526 }, { 163, 170, 526, 528 }, { 2, 158, 159, 163 }, { 158, 521, 533, 534, 717, 718 }, { 166, 167, 170, 536, 537 }, { 481, 536, 537, 719, 720 }, { 169, 170, 536, 539 }, { 172, 536, 539, 542 }, { 481, 536, 546, 552 }, { 172, 536, 547, 552 }, { 170, 172, 539, 548 }, { 171, 172, 175, 176 }, { 481, 546, 549, 552 }, { 179, 181, 549, 550 }, { 172, 176, 179, 550 }, { 172, 549, 550, 552 }, { 184, 472, 481, 553 }, { 183, 184, 553, 721 }, { 481, 553, 569, 721 }, { 192, 569, 721, 722 }, { 179, 187, 549, 554, 555 }, { 187, 481, 549, 557 }, { 187, 189, 557, 559 }, { 192, 194, 560, 562, 563 }, { 481, 557, 559, 567 }, { 192, 194, 481, 567, 569 }, { 194, 559, 567, 723 }, { 197, 200, 201, 204 }, { 197, 206, 209, 211 }, { 211, 724, 725, 726 }, { 727, 728, 729, 730 }, { 214, 215, 218, 572 }, { 214, 218, 222, 224 }, { 214, 224, 572, 574, 575 }, { 218, 222, 224, 578 }, { 224, 578, 579, 581 }, { 215, 218, 572, 586 }, { 230, 572, 585, 586 }, { 226, 227, 230, 233 }, { 227, 230, 231, 725 }, { 234, 246, 579, 589 }, { 226, 234, 579, 590 }, { 137, 218, 237, 238 }, { 170, 237, 238, 242 }, { 218, 222, 238, 578 }, { 171, 238, 578, 579 }, { 171, 176, 244, 579 }, { 176, 179, 579, 594 }, { 246, 247, 250, 262 }, { 246, 249, 250, 579 }, { 250, 254, 256, 262 }, { 179, 579, 594, 597 }, { 251, 579, 597, 598 }, { 179, 251, 259, 597 }, { 250, 251, 579, 600 }, { 250, 251, 256, 257 }, { 179, 251, 258, 259 }, { 251, 256, 258, 731 }, { 246, 266, 271, 603 }, { 246, 262, 266, 603 }, { 256, 262, 266, 605 }, { 179, 256, 258, 271 }, { 256, 266, 271, 274 }, { 277, 278, 281, 283, 286, 608, 610, 611, 732 }, { 288, 290, 610, 611 }, { 295, 612, 613, 615 }, { 612, 613, 614, 616 }, { 283, 286, 612, 616, 620 }, { 295, 612, 620, 621 }, { 295, 298, 299, 623 }, { 294, 295, 622, 623 }, { 299, 302, 306, 623 }, { 7, 299, 303, 304 }, { 11, 299, 304, 305 }, { 19, 299, 305, 306 }, { 303, 304, 305, 306, 628 }, { 315, 325, 326, 329, 733, 734 }, { 38, 630, 631, 632 }, { 630, 632, 634, 636 }, { 308, 309, 632, 636 }, { 308, 312, 632, 735 }, { 308, 309, 312, 313, 319, 320 }, { 38, 312, 313, 632 }, { 21, 315, 323, 639 }, { 309, 323, 639, 640 }, { 309, 323, 641, 643 }, { 309, 313, 319, 320, 643 }, { 313, 330, 643, 645 }, { 22, 315, 323, 647 }, { 323, 330, 647, 649 }, { 315, 324, 329, 647 }, { 27, 329, 330, 647 }, { 26, 329, 330, 335 }, { 313, 330, 335, 336 }, { 329, 339, 340, 342 }, { 339, 342, 345, 347 }, { 32, 329, 339, 345 }, { 342, 345, 655, 736 }, { 345, 349, 736, 737, 738 }, { 313, 349, 657, 737 }, { 313, 342, 358, 736, 737 }, { 32, 329, 349, 353 }, { 313, 349, 350, 353 }, { 313, 329, 335, 353 }, { 38, 42, 630, 631 }, { 38, 42, 313, 355 }, { 42, 313, 357, 359 }, { 313, 342, 357, 358 }, { 46, 342, 357, 360 }, { 42, 46, 357, 663 }, { 42, 46, 367, 368, 370 }, { 42, 370, 630, 665 }, { 370, 630, 665, 666, 669 }, { 46, 370, 666, 669 }, { 46, 50, 669, 670 }, { 46, 50, 342, 371 }, { 374, 375, 376, 671 }, { 89, 374, 376, 378 }, { 88, 381, 382, 386 }, { 381, 384, 386, 675 }, { 386, 388, 389, 391, 675, 677 }, { 393, 394, 400, 678 }, { 394, 397, 400, 680 }, { 393, 394, 397, 682 }, { 393, 400, 678, 683, 685 }, { 88, 393, 407, 408, 685 }, { 89, 397, 416, 687 }, { 393, 397, 416, 417 }, { 88, 393, 416, 419 }, { 88, 89, 416, 419, 687 }, { 691, 692, 693, 696 }, { 669, 692, 696, 697 }, { 630, 691, 692, 699 }, { 630, 665, 666, 669, 692 }, { 88, 382, 386, 407 }, { 434, 441, 703, 704, 705, 706 }, { 441, 442, 704, 705, 707 }, { 59, 64, 441, 442, 446 }, { 71, 89, 449, 705 }, { 76, 88, 450, 706 }, { 79, 84, 88, 89, 449, 450 }, { 97, 109, 451, 452 }, { 97, 456, 459, 461 }, { 97, 98, 109, 456 }, { 109, 456, 461, 464 }, { 101, 105, 461, 464 }, { 101, 105, 109, 451 }, { 105, 109, 461, 464 }, { 97, 472, 473, 475 }, { 472, 473, 481, 710 }, { 97, 473, 474, 480 }, { 473, 481, 482, 710 }, { 158, 473, 482, 486 }, { 97, 461, 474, 480 }, { 116, 461, 502, 711 }, { 117, 142, 158, 494 }, { 117, 494, 501, 502 }, { 116, 117, 158, 502 }, { 130, 494, 499, 502 }, { 134, 136, 218, 714 }, { 124, 130, 134, 218, 502 }, { 137, 218, 237, 714 }, { 170, 237, 509, 714 }, { 142, 158, 163, 494 }, { 142, 163, 494, 509, 714 }, { 163, 170, 509, 714 }, { 2, 515, 518, 526, 715 }, { 2, 3, 158, 521, 715 }, { 2, 158, 163, 170, 526 }, { 158, 521, 715, 717, 718 }, { 158, 481, 533, 718, 739 }, { 166, 170, 481, 536, 537, 720 }, { 170, 172, 536, 539 }, { 172, 481, 536, 552 }, { 170, 171, 172, 548 }, { 171, 172, 176, 179 }, { 172, 481, 549, 552 }, { 172, 179, 549, 550 }, { 97, 184, 472, 481 }, { 184, 481, 553, 721 }, { 192, 481, 569, 721 }, { 179, 187, 481, 549 }, { 187, 481, 557, 559 }, { 192, 194, 481, 560 }, { 194, 481, 559, 567 }, { 197, 201, 204, 209, 211 }, { 197, 211, 725, 726 }, { 211, 724, 725, 740 }, { 201, 246, 741, 742 }, { 727, 729, 730, 740, 741 }, { 214, 218, 224, 572 }, { 218, 224, 578, 579 }, { 218, 230, 572, 586 }, { 226, 227, 230, 725 }, { 224, 226, 230, 572, 579 }, { 226, 234, 246, 579 }, { 170, 218, 237, 238 }, { 218, 238, 578, 579 }, { 170, 171, 238, 579 }, { 171, 176, 179, 579 }, { 246, 250, 262, 579 }, { 250, 256, 262, 579 }, { 179, 251, 579, 597 }, { 250, 251, 256, 579 }, { 179, 251, 256, 258 }, { 179, 246, 266, 271 }, { 246, 256, 262, 266 }, { 179, 256, 266, 271 }, { 277, 283, 286, 290, 610, 611, 616, 620, 732 }, { 295, 612, 613, 616, 620 }, { 295, 299, 306, 622, 623 }, { 299, 303, 304, 305, 306 }, { 303, 306, 315, 329, 733, 734 }, { 38, 313, 630, 632 }, { 309, 630, 632, 636 }, { 308, 309, 312, 313, 632 }, { 309, 315, 323, 639 }, { 309, 313, 323, 330, 643 }, { 315, 323, 329, 330, 647 }, { 313, 329, 330, 335 }, { 32, 329, 345, 349 }, { 329, 339, 342, 345 }, { 313, 342, 345, 349, 736, 737 }, { 313, 329, 349, 353 }, { 38, 42, 313, 630 }, { 42, 46, 313, 342, 357 }, { 42, 46, 370, 630, 669 }, { 46, 50, 342, 669 }, { 89, 374, 376, 671 }, { 88, 381, 386, 675 }, { 386, 389, 669, 675, 677 }, { 393, 394, 397, 400 }, { 88, 393, 400, 407, 685 }, { 88, 89, 393, 397, 416 }, { 400, 691, 696, 743 }, { 400, 630, 691, 744, 745 }, { 630, 669, 691, 692, 696 }, { 88, 386, 400, 407 }, { 386, 400, 669, 746 }, { 441, 442, 446, 705, 706 }, { 88, 89, 449, 450, 705, 706 }, { 97, 101, 109, 451 }, { 97, 109, 456, 461 }, { 101, 105, 109, 461 }, { 97, 472, 473, 481 }, { 97, 158, 473, 480 }, { 158, 473, 481, 482 }, { 97, 158, 461, 480 }, { 116, 158, 461, 502 }, { 117, 158, 494, 502 }, { 130, 134, 218, 494, 502, 714 }, { 170, 218, 237, 714 }, { 158, 163, 170, 494, 714 }, { 170, 481, 715, 747 }, { 2, 158, 170, 526, 715 }, { 158, 481, 715, 718 }, { 170, 172, 481, 536 }, { 170, 171, 172, 179 }, { 172, 179, 481, 549 }, { 97, 184, 481, 721 }, { 192, 481, 560, 721 }, { 179, 187, 481, 559 }, { 194, 481, 559, 560 }, { 197, 201, 211, 740, 741 }, { 197, 211, 725, 740 }, { 197, 201, 246, 741 }, { 246, 725, 727, 740, 741 }, { 218, 224, 230, 572, 579 }, { 226, 230, 246, 579, 725 }, { 170, 218, 238, 579 }, { 170, 171, 179, 579 }, { 246, 256, 262, 579 }, { 179, 251, 256, 579 }, { 179, 246, 256, 266 }, { 290, 295, 299, 613, 616, 620 }, { 295, 299, 306, 329, 622 }, { 299, 303, 306, 315, 329 }, { 309, 313, 630, 632 }, { 309, 313, 315, 323, 329, 330 }, { 313, 329, 342, 345, 349 }, { 42, 46, 313, 342, 630, 669 }, { 89, 374, 630, 671 }, { 669, 675, 677, 748 }, { 88, 386, 669, 675 }, { 88, 89, 393, 397, 400 }, { 89, 374, 400, 630 }, { 400, 630, 669, 691, 696 }, { 88, 386, 400, 669 }, { 88, 446, 675, 748 }, { 88, 89, 442, 446, 705, 706 }, { 89, 442, 671, 749 }, { 97, 101, 109, 461 }, { 97, 158, 473, 481 }, { 97, 158, 461, 502 }, { 158, 170, 218, 494, 502, 714 }, { 158, 170, 481, 715 }, { 170, 172, 179, 481 }, { 97, 481, 560, 721 }, { 97, 179, 560, 750, 751 }, { 179, 481, 559, 560 }, { 197, 246, 725, 740, 741 }, { 218, 230, 246, 579, 725 }, { 170, 179, 218, 579 }, { 179, 246, 256, 579 }, { 295, 299, 315, 329, 613, 752 }, { 309, 313, 315, 329, 630 }, { 313, 329, 342, 630, 669 }, { 89, 630, 671, 749 }, { 88, 669, 675, 748 }, { 88, 89, 400, 630, 669 }, { 88, 89, 442, 446, 748, 749 }, { 97, 101, 461, 502 }, { 97, 158, 481, 502 }, { 158, 170, 218, 481, 502 }, { 170, 179, 218, 481 }, { 97, 179, 481, 560 }, { 197, 218, 246, 725 }, { 179, 218, 246, 579 }, { 315, 329, 630, 669, 752, 753 }, { 88, 89, 630, 669, 748, 749 }, { 97, 101, 502, 749 }, { 97, 179, 218, 481, 502 }, { 179, 197, 218, 246 }, { 197, 630, 669, 748, 749, 753 }, { 97, 179, 197, 218, 502, 749 }, { 197, 218, 502, 748, 749, 754 } ] /* Faces of top cells */ [ [ { 2, 3, 4, 5 }, { 1, 3, 4 }, { 1, 2, 3 }, { 1, 2, 5 }, { 1, 4, 5 } ], [ { 7, 8, 9 }, { 6, 8, 9 }, { 6, 7, 9 }, { 6, 7, 8 } ], [ { 11, 12, 13 }, { 10, 12, 13 }, { 10, 11, 13 }, { 10, 11, 12 } ], [ { 11, 15, 16 }, { 11, 14, 16 }, { 14, 15, 16 }, { 11, 14, 15 } ], [ { 18, 19, 20 }, { 17, 19, 20 }, { 17, 18, 20 }, { 17, 18, 19 } ], [ { 22, 23, 24 }, { 21, 23, 24 }, { 21, 22, 24 }, { 21, 22, 23 } ], [ { 22, 24, 25 }, { 21, 22, 24 }, { 21, 24, 25 }, { 21, 22, 25 } ], [ { 27, 28, 29 }, { 26, 28, 29 }, { 26, 27, 29 }, { 26, 27, 28 } ], [ { 27, 29, 30 }, { 26, 27, 29 }, { 26, 29, 30 }, { 26, 27, 30 } ], [ { 32, 33, 34 }, { 31, 33, 34 }, { 31, 32, 34 }, { 31, 32, 33 } ], [ { 32, 36, 37 }, { 35, 36, 37 }, { 32, 35, 37 }, { 32, 35, 36 } ], [ { 39, 40, 41 }, { 38, 40, 41 }, { 38, 39, 41 }, { 38, 39, 40 } ], [ { 43, 44, 45 }, { 42, 44, 45 }, { 42, 43, 45 }, { 42, 43, 44 } ], [ { 47, 48, 49 }, { 46, 48, 49 }, { 46, 47, 49 }, { 46, 47, 48 } ], [ { 51, 52, 53 }, { 50, 52, 53 }, { 50, 51, 53 }, { 50, 51, 52 } ], [ { 55, 56, 57 }, { 54, 56, 57 }, { 54, 55, 57 }, { 54, 55, 56 } ], [ { 59, 60, 61 }, { 58, 60, 61 }, { 58, 59, 61 }, { 58, 59, 60 } ], [ { 58, 63, 64 }, { 62, 63, 64 }, { 58, 62, 64 }, { 58, 62, 63 } ], [ { 64, 66, 67 }, { 64, 65, 67 }, { 64, 65, 66 }, { 65, 66, 67 } ], [ { 59, 69, 70 }, { 59, 68, 70 }, { 68, 69, 70 }, { 59, 68, 69 } ], [ { 72, 73, 74 }, { 71, 73, 74 }, { 71, 72, 74 }, { 71, 72, 73 } ], [ { 76, 77, 78 }, { 75, 77, 78 }, { 75, 76, 78 }, { 75, 76, 77 } ], [ { 80, 81, 82 }, { 79, 81, 82 }, { 79, 80, 82 }, { 79, 80, 81 } ], [ { 81, 83, 84 }, { 80, 81, 84 }, { 80, 81, 83 }, { 80, 83, 84 } ], [ { 84, 86, 87 }, { 84, 85, 87 }, { 85, 86, 87 }, { 84, 85, 86 } ], [ { 89, 90, 91, 95 }, { 88, 89, 90 }, { 86, 88, 89, 94 }, { 86, 89, 91 }, { 86, 91, 92, 93, 94, 95 }, { 88, 90, 92, 93 }, { 88, 93, 94 }, { 90, 92, 95 } ], [ { 79, 85, 94 }, { 85, 94, 96 }, { 79, 94, 96 }, { 79, 85, 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 } ], [ { 106, 107, 108 }, { 105, 107, 108 }, { 105, 106, 108 }, { 105, 106, 107 } ], [ { 110, 111, 112 }, { 109, 111, 112 }, { 109, 110, 112 }, { 109, 110, 111 } ], [ { 97, 114, 115 }, { 113, 114, 115 }, { 97, 113, 115 }, { 97, 113, 114 } ], [ { 117, 118, 119 }, { 116, 118, 119 }, { 116, 117, 119 }, { 116, 117, 118 } ], [ { 119, 120, 121 }, { 117, 120, 121 }, { 117, 119, 121 }, { 117, 119, 120 } ], [ { 119, 120, 122 }, { 116, 120, 122 }, { 116, 119, 122 }, { 116, 119, 120 } ], [ { 124, 125, 126 }, { 123, 125, 126 }, { 123, 124, 126 }, { 123, 124, 125 } ], [ { 127, 128, 129 }, { 124, 128, 129 }, { 124, 127, 129 }, { 124, 127, 128 } ], [ { 128, 131, 132 }, { 128, 130, 132 }, { 130, 131, 132 }, { 128, 130, 131 } ], [ { 133, 134, 135 }, { 123, 134, 135 }, { 123, 133, 135 }, { 123, 133, 134 } ], [ { 137, 138, 139 }, { 136, 138, 139 }, { 136, 137, 139 }, { 136, 137, 138 } ], [ { 141, 142, 143, 148 }, { 140, 141, 142 }, { 140, 142, 144, 146 }, { 142, 143, 144 }, { 143, 144, 145, 146, 147, 148 }, { 140, 141, 145, 147 }, { 140, 145, 146 }, { 141, 147, 148 } ], [ { 150, 151, 152, 153 }, { 149, 151, 152 }, { 149, 150, 151 }, { 149, 152, 153 }, { 149, 150, 153 } ], [ { 3, 4, 150 }, { 2, 3, 4, 5 }, { 2, 3, 150, 151 }, { 4, 5, 150, 151 }, { 2, 5, 151 } ], [ { 2, 3, 154 }, { 1, 3, 154 }, { 1, 2, 154 }, { 1, 2, 3 } ], [ { 155, 156, 157 }, { 2, 156, 157 }, { 2, 155, 157 }, { 2, 155, 156 } ], [ { 159, 160, 161 }, { 158, 160, 161 }, { 158, 159, 161 }, { 158, 159, 160 } ], [ { 159, 163, 164 }, { 159, 162, 164 }, { 162, 163, 164 }, { 159, 162, 163 } ], [ { 166, 167, 168 }, { 165, 167, 168 }, { 165, 166, 168 }, { 165, 166, 167 } ], [ { 165, 167, 170 }, { 165, 167, 169 }, { 167, 169, 170 }, { 165, 169, 170 } ], [ { 172, 173, 174 }, { 171, 173, 174 }, { 171, 172, 174 }, { 171, 172, 173 } ], [ { 176, 177, 178 }, { 175, 177, 178 }, { 175, 176, 178 }, { 175, 176, 177 } ], [ { 180, 181, 182 }, { 179, 181, 182 }, { 179, 180, 182 }, { 179, 180, 181 } ], [ { 184, 185, 186 }, { 183, 185, 186 }, { 183, 184, 186 }, { 183, 184, 185 } ], [ { 188, 189, 190 }, { 187, 189, 190 }, { 187, 188, 190 }, { 187, 188, 189 } ], [ { 192, 193, 194, 195 }, { 191, 193, 194 }, { 191, 192, 194, 196 }, { 191, 193, 195, 196 }, { 192, 195, 196 } ], [ { 198, 199, 200 }, { 197, 199, 200 }, { 197, 198, 200 }, { 197, 198, 199 } ], [ { 202, 203, 204 }, { 201, 203, 204 }, { 201, 202, 204 }, { 201, 202, 203 } ], [ { 200, 203, 204 }, { 200, 204, 205 }, { 203, 204, 205 }, { 200, 203, 205 } ], [ { 206, 207, 208 }, { 197, 207, 208 }, { 197, 206, 208 }, { 197, 206, 207 } ], [ { 210, 211, 212 }, { 209, 211, 212 }, { 209, 210, 212 }, { 209, 210, 211 } ], [ { 206, 210, 213 }, { 206, 209, 213 }, { 209, 210, 213 }, { 206, 209, 210 } ], [ { 215, 216, 217 }, { 214, 216, 217 }, { 214, 215, 217 }, { 214, 215, 216 } ], [ { 214, 219, 220 }, { 218, 219, 220 }, { 214, 218, 220 }, { 214, 218, 219 } ], [ { 214, 222, 223 }, { 214, 221, 223 }, { 221, 222, 223 }, { 214, 221, 222 } ], [ { 214, 224, 225 }, { 221, 224, 225 }, { 214, 221, 225 }, { 214, 221, 224 } ], [ { 227, 228, 229 }, { 226, 228, 229 }, { 226, 227, 229 }, { 226, 227, 228 } ], [ { 231, 232, 233 }, { 230, 232, 233 }, { 230, 231, 233 }, { 230, 231, 232 } ], [ { 234, 235, 236 }, { 226, 235, 236 }, { 226, 234, 236 }, { 226, 234, 235 } ], [ { 238, 239, 240 }, { 237, 239, 240 }, { 237, 238, 240 }, { 237, 238, 239 } ], [ { 239, 241, 242 }, { 237, 239, 242 }, { 237, 239, 241 }, { 237, 241, 242 } ], [ { 243, 244, 245 }, { 171, 244, 245 }, { 171, 243, 245 }, { 171, 243, 244 } ], [ { 247, 248, 249 }, { 246, 248, 249 }, { 246, 247, 249 }, { 246, 247, 248 } ], [ { 251, 252, 253 }, { 250, 252, 253 }, { 250, 251, 253 }, { 250, 251, 252 } ], [ { 255, 256, 257 }, { 254, 256, 257 }, { 254, 255, 257 }, { 254, 255, 256 } ], [ { 259, 260, 261 }, { 258, 260, 261 }, { 258, 259, 261 }, { 258, 259, 260 } ], [ { 263, 264, 265 }, { 262, 264, 265 }, { 262, 263, 265 }, { 262, 263, 264 } ], [ { 266, 267, 268 }, { 256, 267, 268 }, { 256, 266, 268 }, { 256, 266, 267 } ], [ { 179, 258, 270 }, { 179, 269, 270 }, { 258, 269, 270 }, { 179, 258, 269 } ], [ { 266, 272, 273 }, { 266, 271, 273 }, { 271, 272, 273 }, { 266, 271, 272 } ], [ { 273, 274, 275 }, { 271, 273, 275 }, { 271, 274, 275 }, { 271, 273, 274 } ], [ { 273, 274, 276 }, { 266, 273, 276 }, { 266, 274, 276 }, { 266, 273, 274 } ], [ { 278, 279, 280 }, { 277, 279, 280 }, { 277, 278, 280 }, { 277, 278, 279 } ], [ { 279, 282, 283 }, { 279, 281, 283 }, { 279, 281, 282 }, { 281, 282, 283 } ], [ { 283, 284, 285 }, { 281, 284, 285 }, { 281, 283, 285 }, { 281, 283, 284 } ], [ { 285, 286, 287 }, { 281, 285, 287 }, { 281, 286, 287 }, { 281, 285, 286 } ], [ { 289, 290, 291 }, { 288, 290, 291 }, { 288, 289, 291 }, { 288, 289, 290 } ], [ { 290, 292, 293 }, { 288, 292, 293 }, { 288, 290, 293 }, { 288, 290, 292 } ], [ { 295, 296, 297 }, { 294, 296, 297 }, { 294, 295, 297 }, { 294, 295, 296 } ], [ { 295, 297, 298 }, { 294, 295, 297 }, { 294, 297, 298 }, { 294, 295, 298 } ], [ { 300, 301, 302 }, { 299, 301, 302 }, { 299, 300, 302 }, { 299, 300, 301 } ], [ { 298, 301, 302 }, { 298, 299, 302 }, { 299, 301, 302 }, { 298, 299, 301 } ], [ { 7, 9, 303 }, { 6, 7, 9 }, { 6, 9, 303 }, { 6, 7, 303 } ], [ { 14, 15, 304 }, { 7, 14, 15 }, { 7, 15, 304 }, { 7, 14, 304 } ], [ { 10, 11, 12 }, { 11, 12, 305 }, { 10, 12, 305 }, { 10, 11, 305 } ], [ { 11, 14, 15 }, { 11, 15, 304 }, { 11, 14, 304 }, { 14, 15, 304 } ], [ { 19, 20, 306 }, { 17, 20, 306 }, { 17, 19, 20 }, { 17, 19, 306 } ], [ { 10, 12, 305 }, { 10, 12, 19 }, { 12, 19, 305 }, { 10, 19, 305 } ], [ { 308, 309, 310 }, { 307, 309, 310 }, { 307, 308, 310 }, { 307, 308, 309 } ], [ { 312, 313, 314 }, { 311, 313, 314 }, { 311, 312, 314 }, { 311, 312, 313 } ], [ { 23, 315, 316 }, { 21, 23, 316 }, { 21, 23, 315 }, { 21, 315, 316 } ], [ { 318, 319, 321 }, { 317, 318, 321, 322 }, { 317, 318, 319, 320 }, { 319, 320, 321, 322 }, { 317, 320, 322 } ], [ { 22, 23, 315 }, { 21, 22, 23 }, { 21, 23, 315 }, { 21, 22, 315 } ], [ { 22, 25, 323 }, { 21, 22, 323 }, { 21, 22, 25 }, { 21, 25, 323 } ], [ { 325, 326, 327, 328 }, { 324, 326, 327 }, { 324, 325, 326 }, { 324, 325, 328 }, { 324, 327, 328 } ], [ { 27, 28, 329 }, { 26, 27, 28 }, { 26, 28, 329 }, { 26, 27, 329 } ], [ { 27, 30, 330 }, { 26, 27, 330 }, { 26, 27, 30 }, { 26, 30, 330 } ], [ { 28, 329, 331 }, { 26, 28, 331 }, { 26, 28, 329 }, { 26, 329, 331 } ], [ { 330, 332, 333 }, { 26, 330, 333 }, { 26, 332, 333 }, { 26, 330, 332 } ], [ { 335, 336, 337 }, { 334, 336, 337 }, { 334, 335, 337 }, { 334, 335, 336 } ], [ { 339, 340, 341 }, { 338, 340, 341 }, { 338, 339, 341 }, { 338, 339, 340 } ], [ { 338, 339, 343 }, { 339, 342, 343 }, { 338, 342, 343 }, { 338, 339, 342 } ], [ { 345, 346, 347 }, { 344, 346, 347 }, { 344, 345, 347 }, { 344, 345, 346 } ], [ { 31, 32, 348 }, { 31, 32, 329 }, { 32, 329, 348 }, { 31, 329, 348 } ], [ { 32, 34, 345 }, { 31, 34, 345 }, { 31, 32, 34 }, { 31, 32, 345 } ], [ { 32, 35, 37 }, { 32, 37, 349 }, { 35, 37, 349 }, { 32, 35, 349 } ], [ { 32, 37, 331 }, { 37, 329, 331 }, { 32, 37, 329 }, { 32, 329, 331 } ], [ { 350, 351, 352 }, { 349, 351, 352 }, { 349, 350, 352 }, { 349, 350, 351 } ], [ { 336, 353, 354 }, { 313, 336, 354 }, { 313, 353, 354 }, { 313, 336, 353 } ], [ { 335, 336, 353 }, { 334, 335, 336 }, { 334, 336, 353 }, { 334, 335, 353 } ], [ { 39, 40, 355 }, { 38, 39, 40 }, { 38, 40, 355 }, { 38, 39, 355 } ], [ { 357, 358, 359 }, { 356, 358, 359 }, { 356, 357, 359 }, { 356, 357, 358 } ], [ { 360, 361, 362 }, { 342, 361, 362 }, { 342, 360, 362 }, { 342, 360, 361 } ], [ { 358, 360, 363 }, { 342, 358, 363 }, { 342, 360, 363 }, { 342, 358, 360 } ], [ { 357, 358, 364 }, { 358, 360, 364 }, { 357, 360, 364 }, { 357, 358, 360 } ], [ { 42, 366, 367 }, { 365, 366, 367 }, { 42, 365, 367 }, { 42, 365, 366 } ], [ { 366, 368, 369 }, { 46, 368, 369 }, { 46, 366, 369 }, { 46, 366, 368 } ], [ { 43, 44, 370 }, { 42, 43, 44 }, { 42, 44, 370 }, { 42, 43, 370 } ], [ { 47, 49, 370 }, { 46, 49, 370 }, { 46, 47, 49 }, { 46, 47, 370 } ], [ { 50, 51, 52 }, { 51, 52, 371 }, { 50, 52, 371 }, { 50, 51, 371 } ], [ { 373, 374, 375 }, { 372, 374, 375 }, { 372, 373, 375 }, { 372, 373, 374 } ], [ { 375, 376, 377 }, { 372, 375, 377 }, { 372, 376, 377 }, { 372, 375, 376 } ], [ { 376, 378, 379 }, { 372, 376, 379 }, { 372, 378, 379 }, { 372, 376, 378 } ], [ { 381, 382, 383 }, { 380, 382, 383 }, { 380, 381, 383 }, { 380, 381, 382 } ], [ { 383, 384, 385 }, { 381, 383, 385 }, { 381, 384, 385 }, { 381, 383, 384 } ], [ { 383, 384, 387 }, { 383, 384, 386 }, { 383, 386, 387 }, { 384, 386, 387 } ], [ { 384, 387, 388 }, { 384, 386, 388 }, { 386, 387, 388 }, { 384, 386, 387 } ], [ { 390, 391, 392 }, { 389, 391, 392 }, { 389, 390, 392 }, { 389, 390, 391 } ], [ { 394, 395, 396 }, { 393, 395, 396 }, { 393, 394, 396 }, { 393, 394, 395 } ], [ { 397, 398, 399 }, { 394, 398, 399 }, { 394, 397, 399 }, { 394, 397, 398 } ], [ { 400, 402, 403 }, { 400, 401, 402 }, { 401, 402, 404 }, { 402, 403, 404 }, { 400, 403, 405 }, { 403, 404, 405 }, { 401, 404, 405 }, { 400, 401, 405 } ], [ { 407, 408, 409 }, { 406, 408, 409 }, { 406, 407, 409 }, { 406, 407, 408 } ], [ { 408, 410, 411 }, { 393, 410, 411 }, { 393, 408, 411 }, { 393, 408, 410 } ], [ { 408, 412, 413 }, { 88, 408, 413 }, { 88, 412, 413 }, { 88, 408, 412 } ], [ { 408, 412, 414 }, { 393, 408, 414 }, { 393, 408, 412 }, { 393, 412, 414 } ], [ { 416, 417, 418 }, { 415, 417, 418 }, { 415, 416, 418 }, { 415, 416, 417 } ], [ { 412, 414, 419 }, { 393, 414, 419 }, { 393, 412, 419 }, { 393, 412, 414 } ], [ { 88, 89, 421 }, { 88, 89, 420, 422 }, { 88, 420, 421, 423 }, { 89, 421, 422, 423 }, { 420, 422, 423 } ], [ { 425, 426, 427, 428, 429, 430 }, { 424, 425, 426 }, { 424, 425, 429, 432 }, { 424, 426, 430, 431 }, { 427, 430, 431 }, { 427, 428, 431, 432 }, { 428, 429, 432 }, { 424, 431, 432 } ], [ { 434, 435, 436 }, { 433, 435, 436 }, { 433, 434, 436 }, { 433, 434, 435 } ], [ { 55, 56, 433, 436, 437, 438 }, { 54, 55, 437, 439 }, { 54, 56, 433, 440 }, { 54, 55, 56 }, { 437, 438, 439 }, { 436, 438, 439, 440 }, { 54, 439, 440 }, { 433, 436, 440 } ], [ { 58, 59, 60 }, { 59, 60, 441 }, { 58, 60, 441 }, { 58, 59, 441 } ], [ { 58, 64, 441 }, { 58, 62, 64 }, { 62, 64, 441 }, { 58, 62, 441 } ], [ { 441, 443, 444 }, { 441, 442, 444 }, { 442, 443, 444 }, { 441, 442, 443 } ], [ { 64, 66, 67 }, { 64, 67, 442 }, { 64, 66, 442 }, { 66, 67, 442 } ], [ { 67, 69, 445 }, { 59, 69, 445 }, { 59, 64, 67, 69 }, { 59, 64, 445 }, { 64, 67, 445 } ], [ { 59, 69, 446 }, { 59, 68, 69 }, { 59, 68, 446 }, { 68, 69, 446 } ], [ { 441, 447, 448 }, { 446, 447, 448 }, { 441, 446, 448 }, { 441, 446, 447 } ], [ { 72, 74, 449 }, { 71, 74, 449 }, { 71, 72, 74 }, { 71, 72, 449 } ], [ { 76, 77, 450 }, { 75, 76, 77 }, { 75, 77, 450 }, { 75, 76, 450 } ], [ { 80, 81, 84 }, { 79, 81, 84 }, { 79, 80, 81 }, { 79, 80, 84 } ], [ { 84, 85, 86 }, { 84, 86, 89 }, { 84, 85, 89 }, { 85, 86, 89 } ], [ { 85, 86, 89 }, { 86, 88, 89, 94 }, { 85, 88, 89 }, { 85, 88, 94 }, { 85, 86, 94 } ], [ { 79, 85, 94 }, { 85, 88, 94 }, { 79, 88, 94 }, { 79, 85, 88 } ], [ { 452, 453, 454 }, { 451, 453, 454 }, { 451, 452, 454 }, { 451, 452, 453 } ], [ { 109, 454, 455 }, { 109, 451, 454 }, { 451, 454, 455 }, { 109, 451, 455 } ], [ { 457, 458, 459 }, { 456, 458, 459 }, { 456, 457, 459 }, { 456, 457, 458 } ], [ { 457, 459, 460 }, { 456, 457, 459 }, { 456, 459, 460 }, { 456, 457, 460 } ], [ { 459, 460, 462 }, { 459, 461, 462 }, { 459, 460, 461 }, { 460, 461, 462 } ], [ { 98, 458, 463 }, { 98, 456, 463 }, { 456, 458, 463 }, { 98, 456, 458 } ], [ { 98, 100, 452 }, { 97, 98, 100 }, { 97, 100, 452 }, { 97, 98, 452 } ], [ { 464, 465, 466 }, { 456, 465, 466 }, { 456, 464, 466 }, { 456, 464, 465 } ], [ { 110, 456, 464 }, { 110, 464, 467 }, { 110, 456, 467 }, { 456, 464, 467 } ], [ { 109, 110, 468 }, { 110, 456, 468 }, { 109, 456, 468 }, { 109, 110, 456 } ], [ { 102, 461, 469 }, { 101, 102, 469 }, { 101, 461, 469 }, { 101, 102, 461 } ], [ { 102, 104, 464 }, { 101, 102, 104 }, { 101, 104, 464 }, { 101, 102, 464 } ], [ { 104, 105, 470 }, { 101, 104, 105 }, { 101, 105, 470 }, { 101, 104, 470 } ], [ { 107, 109, 471 }, { 105, 107, 109 }, { 105, 109, 471 }, { 107, 108, 471 }, { 105, 108, 471 }, { 105, 107, 108 } ], [ { 109, 110, 111 }, { 110, 111, 464 }, { 109, 111, 464 }, { 109, 110, 464 } ], [ { 105, 111, 112 }, { 109, 111, 112 }, { 105, 109, 112 }, { 105, 109, 111 } ], [ { 97, 113, 114 }, { 97, 114, 472 }, { 113, 114, 472 }, { 97, 113, 472 } ], [ { 474, 475, 476 }, { 473, 475, 476 }, { 473, 474, 476 }, { 473, 474, 475 } ], [ { 474, 477, 478 }, { 473, 477, 478 }, { 473, 474, 478 }, { 473, 474, 477 } ], [ { 478, 479, 480 }, { 473, 478, 480 }, { 473, 478, 479 }, { 473, 479, 480 } ], [ { 482, 483, 484 }, { 481, 483, 484 }, { 481, 482, 484 }, { 481, 482, 483 } ], [ { 482, 486, 487 }, { 482, 485, 487 }, { 482, 485, 486 }, { 485, 486, 487 } ], [ { 482, 487, 488 }, { 473, 482, 488 }, { 473, 487, 488 }, { 473, 482, 487 } ], [ { 158, 489, 490 }, { 486, 489, 490 }, { 158, 486, 490 }, { 158, 486, 489 } ], [ { 474, 475, 491 }, { 97, 475, 491 }, { 97, 474, 475 }, { 97, 474, 491 } ], [ { 461, 474, 491 }, { 474, 491, 492 }, { 461, 491, 492 }, { 461, 474, 492 } ], [ { 474, 480, 493 }, { 480, 492, 493 }, { 474, 492, 493 }, { 474, 480, 492 } ], [ { 144, 494, 495 }, { 142, 144, 495 }, { 142, 144, 494 }, { 142, 494, 495 } ], [ { 158, 496, 497 }, { 117, 496, 497 }, { 117, 158, 497 }, { 117, 158, 496 } ], [ { 117, 119, 120 }, { 116, 119, 120 }, { 116, 117, 120 }, { 116, 117, 119 } ], [ { 120, 122, 158 }, { 116, 120, 122 }, { 116, 122, 158 }, { 116, 120, 158 } ], [ { 120, 158, 498 }, { 117, 120, 498 }, { 117, 158, 498 }, { 117, 120, 158 } ], [ { 128, 132, 499 }, { 130, 132, 499 }, { 128, 130, 132 }, { 128, 130, 499 } ], [ { 499, 501, 502 }, { 500, 501, 502 }, { 499, 500, 502 }, { 499, 500, 501 } ], [ { 133, 134, 136 }, { 123, 133, 134 }, { 123, 134, 136 }, { 123, 133, 136 } ], [ { 124, 127, 128 }, { 123, 126, 127, 128 }, { 123, 124, 128 }, { 123, 124, 126 }, { 124, 126, 127 } ], [ { 124, 128, 131 }, { 124, 128, 130 }, { 128, 130, 131 }, { 124, 130, 131 } ], [ { 124, 134, 135 }, { 123, 134, 135 }, { 123, 124, 135 }, { 123, 124, 134 } ], [ { 136, 137, 138 }, { 137, 138, 218 }, { 136, 138, 218 }, { 136, 137, 218 } ], [ { 170, 237, 504 }, { 237, 503, 504 }, { 170, 503, 504 }, { 170, 237, 503 } ], [ { 158, 497, 505 }, { 142, 497, 505 }, { 142, 158, 497 }, { 142, 158, 505 } ], [ { 163, 505, 506 }, { 158, 163, 506 }, { 158, 505, 506 }, { 158, 163, 505 } ], [ { 163, 507, 508 }, { 142, 163, 508 }, { 142, 507, 508 }, { 142, 163, 507 } ], [ { 142, 509, 510 }, { 140, 142, 510, 512 }, { 140, 142, 509, 511 }, { 509, 510, 511, 512 }, { 140, 511, 512 } ], [ { 142, 144, 494 }, { 140, 142, 144, 146 }, { 140, 142, 494 }, { 140, 146, 494 }, { 144, 146, 494 } ], [ { 163, 513, 514 }, { 170, 513, 514 }, { 163, 170, 514 }, { 163, 170, 513 } ], [ { 504, 509, 514 }, { 170, 509, 514 }, { 170, 504, 514 }, { 170, 504, 509 } ], [ { 515, 517, 518 }, { 515, 516, 518, 519 }, { 515, 516, 517, 520 }, { 517, 518, 519, 520 }, { 516, 519, 520 } ], [ { 3, 149, 150 }, { 2, 3, 150, 151 }, { 2, 3, 149 }, { 2, 149, 151 }, { 149, 150, 151 } ], [ { 3, 522, 523 }, { 3, 521, 523 }, { 521, 522, 523 }, { 3, 521, 522 } ], [ { 2, 3, 154 }, { 3, 154, 522 }, { 2, 154, 522 }, { 2, 3, 522 } ], [ { 158, 522, 524 }, { 158, 521, 524 }, { 521, 522, 524 }, { 158, 521, 522 } ], [ { 2, 158, 161 }, { 2, 161, 522 }, { 158, 161, 522 }, { 2, 158, 522 } ], [ { 155, 525, 526 }, { 2, 157, 525, 526 }, { 2, 155, 526 }, { 155, 157, 525 }, { 2, 155, 157 } ], [ { 163, 527, 528 }, { 163, 170, 528 }, { 170, 527, 528 }, { 163, 170, 527 } ], [ { 526, 528, 529 }, { 170, 526, 528 }, { 170, 528, 529 }, { 170, 526, 529 } ], [ { 163, 526, 528 }, { 526, 528, 530 }, { 163, 528, 530 }, { 163, 526, 530 } ], [ { 2, 159, 161 }, { 158, 159, 161 }, { 2, 158, 161 }, { 2, 158, 159 } ], [ { 159, 163, 164 }, { 158, 159, 164 }, { 158, 163, 164 }, { 158, 159, 163 } ], [ { 159, 163, 531 }, { 2, 159, 531 }, { 2, 163, 531 }, { 2, 159, 163 } ], [ { 158, 532, 533, 535 }, { 158, 521, 533, 534 }, { 158, 521, 532 }, { 521, 532, 534, 535 }, { 533, 534, 535 } ], [ { 167, 537, 538 }, { 536, 537, 538 }, { 167, 536, 538 }, { 167, 536, 537 } ], [ { 167, 168, 537 }, { 166, 168, 537 }, { 166, 167, 168 }, { 166, 167, 537 } ], [ { 165, 166, 167 }, { 166, 167, 170 }, { 165, 167, 170 }, { 165, 166, 170 } ], [ { 167, 169, 170 }, { 167, 170, 536 }, { 167, 169, 536 }, { 169, 170, 536 } ], [ { 169, 539, 540 }, { 536, 539, 540 }, { 169, 536, 540 }, { 169, 536, 539 } ], [ { 170, 539, 541 }, { 169, 539, 541 }, { 169, 170, 541 }, { 169, 170, 539 } ], [ { 539, 542, 543 }, { 536, 542, 543 }, { 536, 539, 543 }, { 536, 539, 542 } ], [ { 539, 542, 544 }, { 172, 542, 544 }, { 172, 539, 542 }, { 172, 539, 544 } ], [ { 481, 545, 546 }, { 536, 545, 546 }, { 481, 536, 546 }, { 481, 536, 545 } ], [ { 172, 542, 547 }, { 536, 542, 547 }, { 172, 536, 542 }, { 172, 536, 547 } ], [ { 539, 541, 548 }, { 170, 539, 541 }, { 170, 541, 548 }, { 170, 539, 548 } ], [ { 171, 176, 177 }, { 175, 176, 177 }, { 171, 175, 177 }, { 171, 175, 176 } ], [ { 171, 172, 174 }, { 172, 174, 175 }, { 171, 174, 175 }, { 171, 172, 175 } ], [ { 172, 176, 178 }, { 172, 175, 178 }, { 175, 176, 178 }, { 172, 175, 176 } ], [ { 181, 182, 549 }, { 179, 182, 549 }, { 179, 181, 182 }, { 179, 181, 549 } ], [ { 172, 176, 551 }, { 172, 176, 550 }, { 172, 550, 551 }, { 176, 550, 551 } ], [ { 172, 551, 552 }, { 172, 550, 552 }, { 172, 550, 551 }, { 550, 551, 552 } ], [ { 184, 186, 553 }, { 183, 184, 186 }, { 183, 186, 553 }, { 183, 184, 553 } ], [ { 549, 554, 556 }, { 179, 549, 556 }, { 179, 549, 554, 555 }, { 179, 555, 556 }, { 554, 555, 556 } ], [ { 188, 189, 557 }, { 187, 188, 189 }, { 187, 189, 557 }, { 187, 188, 557 } ], [ { 189, 557, 559 }, { 189, 557, 558 }, { 189, 558, 559 }, { 557, 558, 559 } ], [ { 561, 562, 563 }, { 560, 562, 563 }, { 560, 561, 563 }, { 560, 561, 562 } ], [ { 560, 563, 564 }, { 192, 563, 564 }, { 192, 560, 563 }, { 192, 560, 564 } ], [ { 194, 562, 565 }, { 560, 562, 565 }, { 194, 560, 565 }, { 194, 560, 562 } ], [ { 557, 559, 567 }, { 557, 559, 566 }, { 557, 566, 567 }, { 559, 566, 567 } ], [ { 481, 567, 569 }, { 567, 568, 569, 570 }, { 481, 568, 569 }, { 481, 567, 570 }, { 481, 568, 570 } ], [ { 193, 195, 567, 569 }, { 192, 194, 567, 569 }, { 192, 193, 194, 195 }, { 193, 194, 567 }, { 192, 195, 569 } ], [ { 198, 200, 201 }, { 197, 200, 201 }, { 197, 198, 200 }, { 197, 198, 201 } ], [ { 200, 203, 204 }, { 200, 201, 204 }, { 201, 203, 204 }, { 200, 201, 203 } ], [ { 206, 207, 211 }, { 197, 206, 207 }, { 197, 207, 211 }, { 197, 206, 211 } ], [ { 206, 210, 211 }, { 206, 209, 211 }, { 206, 209, 210 }, { 209, 210, 211 } ], [ { 214, 215, 571 }, { 215, 218, 571 }, { 214, 218, 571 }, { 214, 215, 218 } ], [ { 215, 217, 572 }, { 214, 217, 572 }, { 214, 215, 217 }, { 214, 215, 572 } ], [ { 214, 220, 222 }, { 214, 218, 220 }, { 218, 220, 222 }, { 214, 218, 222 } ], [ { 214, 222, 224 }, { 214, 221, 224 }, { 221, 222, 224 }, { 214, 221, 222 } ], [ { 572, 573, 574 }, { 214, 573, 574 }, { 214, 572, 574 }, { 214, 572, 573 } ], [ { 214, 574, 576 }, { 574, 575, 576 }, { 214, 574, 575 }, { 214, 575, 576 } ], [ { 214, 224, 577 }, { 224, 575, 577 }, { 214, 575, 577 }, { 214, 224, 575 } ], [ { 222, 224, 578 }, { 221, 224, 578 }, { 221, 222, 224 }, { 221, 222, 578 } ], [ { 578, 580, 581 }, { 579, 580, 581 }, { 578, 579, 581 }, { 578, 579, 580 } ], [ { 224, 581, 582 }, { 579, 581, 582 }, { 224, 579, 582 }, { 224, 579, 581 } ], [ { 224, 578, 581 }, { 224, 581, 583 }, { 578, 581, 583 }, { 224, 578, 583 } ], [ { 572, 584, 585 }, { 230, 584, 585 }, { 230, 572, 585 }, { 230, 572, 584 } ], [ { 585, 586, 587 }, { 230, 585, 587 }, { 230, 586, 587 }, { 230, 585, 586 } ], [ { 585, 586, 588 }, { 572, 585, 588 }, { 572, 585, 586 }, { 572, 586, 588 } ], [ { 227, 228, 233 }, { 226, 228, 233 }, { 226, 227, 228 }, { 226, 227, 233 } ], [ { 227, 231, 233 }, { 230, 231, 233 }, { 227, 230, 233 }, { 227, 230, 231 } ], [ { 234, 579, 590 }, { 234, 589, 590 }, { 579, 589, 590 }, { 234, 579, 589 } ], [ { 234, 235, 590 }, { 226, 235, 590 }, { 226, 234, 235 }, { 226, 234, 590 } ], [ { 237, 242, 591 }, { 170, 242, 591 }, { 170, 237, 242 }, { 170, 237, 591 } ], [ { 238, 239, 242 }, { 237, 239, 242 }, { 237, 238, 239 }, { 237, 238, 242 } ], [ { 238, 578, 592 }, { 222, 238, 592 }, { 222, 578, 592 }, { 222, 238, 578 } ], [ { 171, 578, 579 }, { 171, 578, 593 }, { 171, 579, 593 }, { 578, 579, 593 } ], [ { 176, 243, 244 }, { 171, 243, 244 }, { 171, 176, 244 }, { 171, 176, 243 } ], [ { 176, 244, 594 }, { 244, 579, 594 }, { 176, 244, 579 }, { 176, 579, 594 } ], [ { 176, 179, 594 }, { 176, 550, 594 }, { 179, 550, 594 }, { 176, 179, 550 } ], [ { 246, 249, 595 }, { 249, 579, 595 }, { 246, 249, 579 }, { 246, 579, 595 } ], [ { 247, 249, 250 }, { 246, 249, 250 }, { 246, 247, 249 }, { 246, 247, 250 } ], [ { 254, 255, 256 }, { 255, 256, 262 }, { 254, 256, 262 }, { 254, 255, 262 } ], [ { 594, 596, 597 }, { 579, 594, 597 }, { 579, 596, 597 }, { 579, 594, 596 } ], [ { 596, 597, 598 }, { 579, 597, 598 }, { 579, 596, 598 }, { 579, 596, 597 } ], [ { 251, 598, 599 }, { 597, 598, 599 }, { 251, 597, 599 }, { 251, 597, 598 } ], [ { 251, 259, 599 }, { 251, 597, 599 }, { 259, 597, 599 }, { 251, 259, 597 } ], [ { 251, 253, 600 }, { 250, 253, 600 }, { 250, 251, 253 }, { 250, 251, 600 } ], [ { 251, 252, 257 }, { 250, 252, 257 }, { 250, 251, 257 }, { 250, 251, 252 } ], [ { 254, 256, 257 }, { 250, 256, 257 }, { 250, 254, 257 }, { 250, 254, 256 } ], [ { 251, 256, 257 }, { 256, 257, 601 }, { 251, 257, 601 }, { 251, 256, 601 } ], [ { 179, 259, 602 }, { 258, 259, 602 }, { 179, 258, 602 }, { 179, 258, 259 } ], [ { 251, 259, 260 }, { 251, 258, 260 }, { 258, 259, 260 }, { 251, 258, 259 } ], [ { 246, 247, 603 }, { 247, 262, 603 }, { 246, 262, 603 }, { 246, 247, 262 } ], [ { 266, 603, 604 }, { 262, 266, 603 }, { 262, 266, 604 }, { 262, 603, 604 } ], [ { 262, 263, 264 }, { 256, 262, 263 }, { 263, 264, 605 }, { 256, 262, 605 }, { 262, 264, 605 }, { 256, 263, 605 } ], [ { 266, 267, 605 }, { 256, 267, 605 }, { 256, 266, 605 }, { 256, 266, 267 } ], [ { 179, 270, 271 }, { 179, 258, 270 }, { 258, 270, 271 }, { 179, 258, 271 } ], [ { 266, 273, 274 }, { 271, 273, 274 }, { 266, 271, 273 }, { 266, 271, 274 } ], [ { 266, 274, 276 }, { 256, 274, 276 }, { 256, 266, 276 }, { 256, 266, 274 } ], [ { 278, 606, 607, 608 }, { 281, 607, 608, 609 }, { 278, 281, 608 }, { 278, 281, 606, 609 }, { 606, 607, 609 } ], [ { 277, 279, 283 }, { 279, 281, 283 }, { 277, 278, 281, 283 }, { 278, 279, 281 }, { 277, 278, 279 } ], [ { 283, 285, 286 }, { 281, 285, 286 }, { 281, 283, 285 }, { 281, 283, 286 } ], [ { 290, 291, 610 }, { 288, 290, 291 }, { 288, 291, 610 }, { 288, 290, 610 } ], [ { 290, 293, 611 }, { 288, 290, 293 }, { 288, 293, 611 }, { 288, 290, 611 } ], [ { 613, 614, 615 }, { 612, 614, 615 }, { 612, 613, 615 }, { 612, 613, 614 } ], [ { 286, 616, 617 }, { 286, 612, 617 }, { 286, 612, 616 }, { 612, 616, 617 } ], [ { 283, 286, 618 }, { 286, 612, 618 }, { 283, 612, 618 }, { 283, 286, 612 } ], [ { 283, 619, 620 }, { 283, 612, 620 }, { 283, 612, 619 }, { 612, 619, 620 } ], [ { 295, 615, 621 }, { 612, 615, 621 }, { 295, 612, 615 }, { 295, 612, 621 } ], [ { 295, 296, 622 }, { 294, 295, 296 }, { 294, 296, 622 }, { 294, 295, 622 } ], [ { 622, 623, 624 }, { 294, 623, 624 }, { 294, 622, 624 }, { 294, 622, 623 } ], [ { 295, 298, 623 }, { 294, 295, 623 }, { 294, 298, 623 }, { 294, 295, 298 } ], [ { 300, 302, 306 }, { 299, 300, 302 }, { 299, 302, 306 }, { 299, 300, 306 } ], [ { 298, 302, 623 }, { 299, 302, 623 }, { 298, 299, 302 }, { 298, 299, 623 } ], [ { 302, 623, 625 }, { 302, 306, 625 }, { 302, 306, 623 }, { 306, 623, 625 } ], [ { 7, 9, 303 }, { 7, 9, 299 }, { 9, 299, 303 }, { 7, 299, 303 } ], [ { 7, 15, 304 }, { 15, 299, 304 }, { 7, 15, 299 }, { 7, 299, 304 } ], [ { 11, 12, 305 }, { 11, 12, 299 }, { 12, 299, 305 }, { 11, 299, 305 } ], [ { 11, 15, 304 }, { 11, 15, 299 }, { 11, 299, 304 }, { 15, 299, 304 } ], [ { 11, 304, 626 }, { 304, 305, 626, 627 }, { 11, 304, 305 }, { 11, 626, 627 }, { 11, 305, 627 } ], [ { 19, 20, 306 }, { 20, 299, 306 }, { 19, 20, 299 }, { 19, 299, 306 } ], [ { 12, 19, 305 }, { 12, 299, 305 }, { 12, 19, 299 }, { 19, 299, 305 } ], [ { 306, 628, 629 }, { 303, 628, 629 }, { 303, 306, 629 }, { 303, 306, 628 } ], [ { 631, 632, 633 }, { 630, 632, 633 }, { 630, 631, 633 }, { 630, 631, 632 } ], [ { 632, 634, 635 }, { 630, 634, 635 }, { 630, 632, 635 }, { 630, 632, 634 } ], [ { 309, 310, 636 }, { 308, 309, 310 }, { 308, 310, 636 }, { 308, 309, 636 } ], [ { 308, 319, 637 }, { 308, 312, 637, 638 }, { 308, 312, 319, 320 }, { 319, 320, 637, 638 }, { 312, 320, 638 } ], [ { 38, 313, 314 }, { 312, 313, 314 }, { 38, 312, 314 }, { 38, 312, 313 } ], [ { 315, 316, 639 }, { 21, 316, 639 }, { 21, 315, 316 }, { 21, 315, 639 } ], [ { 323, 640, 641 }, { 309, 640, 641 }, { 309, 323, 641 }, { 309, 323, 640 } ], [ { 309, 641, 643 }, { 641, 642, 643 }, { 309, 641, 642 }, { 309, 642, 643 } ], [ { 313, 320, 643 }, { 317, 320, 643 }, { 313, 317, 643 }, { 313, 317, 320 } ], [ { 318, 319, 643 }, { 317, 318, 643 }, { 317, 318, 319, 320 }, { 317, 320, 643 }, { 319, 320, 643 } ], [ { 318, 319, 643 }, { 309, 319, 643 }, { 309, 318, 643 }, { 309, 318, 319 } ], [ { 313, 643, 645 }, { 643, 644, 645 }, { 313, 644, 645 }, { 313, 643, 644 } ], [ { 22, 315, 323 }, { 21, 22, 323 }, { 21, 22, 315 }, { 21, 315, 323 } ], [ { 22, 646, 647 }, { 22, 315, 647 }, { 315, 646, 647 }, { 22, 315, 646 } ], [ { 22, 647, 648 }, { 323, 647, 648 }, { 22, 323, 648 }, { 22, 323, 647 } ], [ { 330, 647, 650 }, { 647, 649, 650 }, { 330, 647, 649 }, { 330, 649, 650 } ], [ { 323, 647, 651 }, { 647, 649, 651 }, { 323, 649, 651 }, { 323, 647, 649 } ], [ { 315, 325, 326, 329 }, { 315, 324, 325 }, { 315, 324, 329 }, { 324, 326, 329 }, { 324, 325, 326 } ], [ { 329, 647, 652 }, { 324, 647, 652 }, { 324, 329, 647 }, { 324, 329, 652 } ], [ { 315, 646, 647 }, { 324, 646, 647 }, { 315, 324, 647 }, { 315, 324, 646 } ], [ { 27, 647, 652 }, { 27, 329, 647 }, { 329, 647, 652 }, { 27, 329, 652 } ], [ { 27, 647, 653 }, { 330, 647, 653 }, { 27, 330, 653 }, { 27, 330, 647 } ], [ { 27, 329, 330 }, { 26, 27, 330 }, { 26, 27, 329 }, { 26, 329, 330 } ], [ { 329, 331, 335 }, { 26, 331, 335 }, { 26, 329, 331 }, { 26, 329, 335 } ], [ { 330, 333, 335 }, { 26, 333, 335 }, { 26, 330, 333 }, { 26, 330, 335 } ], [ { 330, 336, 645 }, { 313, 336, 645 }, { 313, 330, 645 }, { 313, 330, 336 } ], [ { 335, 336, 337 }, { 330, 336, 337 }, { 330, 335, 337 }, { 330, 335, 336 } ], [ { 338, 339, 340 }, { 339, 340, 342 }, { 338, 340, 342 }, { 338, 339, 342 } ], [ { 31, 339, 340 }, { 31, 329, 340 }, { 329, 339, 340 }, { 31, 329, 339 } ], [ { 339, 343, 347 }, { 342, 343, 347 }, { 339, 342, 347 }, { 339, 342, 343 } ], [ { 345, 347, 654 }, { 342, 347, 654 }, { 342, 345, 654 }, { 342, 345, 347 } ], [ { 339, 345, 347 }, { 344, 345, 347 }, { 339, 344, 347 }, { 339, 344, 345 } ], [ { 31, 32, 339 }, { 31, 32, 329 }, { 32, 329, 339 }, { 31, 329, 339 } ], [ { 31, 32, 345 }, { 32, 339, 345 }, { 31, 339, 345 }, { 31, 32, 339 } ], [ { 345, 654, 655 }, { 342, 345, 654 }, { 342, 654, 655 }, { 342, 345, 655 } ], [ { 313, 656, 657 }, { 313, 349, 657 }, { 349, 656, 657 }, { 313, 349, 656 } ], [ { 32, 37, 353 }, { 32, 37, 349 }, { 37, 349, 353 }, { 32, 349, 353 } ], [ { 32, 37, 353 }, { 32, 37, 329 }, { 37, 329, 353 }, { 32, 329, 353 } ], [ { 313, 350, 656 }, { 313, 349, 350 }, { 313, 349, 656 }, { 349, 350, 656 } ], [ { 350, 352, 353 }, { 349, 352, 353 }, { 349, 350, 352 }, { 349, 350, 353 } ], [ { 313, 353, 354 }, { 350, 353, 354 }, { 313, 350, 354 }, { 313, 350, 353 } ], [ { 37, 335, 353 }, { 37, 329, 335 }, { 37, 329, 353 }, { 329, 335, 353 } ], [ { 335, 336, 353 }, { 313, 335, 336 }, { 313, 336, 353 }, { 313, 335, 353 } ], [ { 42, 631, 658 }, { 42, 630, 658 }, { 42, 630, 631 }, { 630, 631, 658 } ], [ { 40, 42, 355 }, { 38, 40, 355 }, { 38, 40, 42 }, { 38, 42, 355 } ], [ { 42, 313, 355 }, { 313, 355, 659 }, { 42, 355, 659 }, { 42, 313, 659 } ], [ { 42, 359, 660 }, { 357, 359, 660 }, { 42, 357, 359 }, { 42, 357, 660 } ], [ { 42, 313, 359 }, { 313, 359, 659 }, { 42, 359, 659 }, { 42, 313, 659 } ], [ { 313, 358, 359 }, { 357, 358, 359 }, { 313, 357, 359 }, { 313, 357, 358 } ], [ { 342, 360, 361 }, { 46, 360, 361 }, { 46, 342, 361 }, { 46, 342, 360 } ], [ { 357, 360, 661 }, { 46, 357, 360 }, { 46, 357, 661 }, { 46, 360, 661 } ], [ { 357, 358, 360 }, { 342, 357, 358 }, { 342, 358, 360 }, { 342, 357, 360 } ], [ { 357, 662, 663 }, { 46, 662, 663 }, { 46, 357, 663 }, { 46, 357, 662 } ], [ { 42, 663, 664 }, { 357, 663, 664 }, { 42, 357, 664 }, { 42, 357, 663 } ], [ { 46, 366, 368 }, { 42, 46, 367, 368 }, { 42, 46, 366 }, { 366, 367, 368 }, { 42, 366, 367 } ], [ { 42, 658, 665 }, { 42, 630, 658 }, { 42, 630, 665 }, { 630, 658, 665 } ], [ { 42, 43, 370 }, { 43, 370, 665 }, { 42, 43, 665 }, { 42, 370, 665 } ], [ { 370, 666, 667 }, { 370, 665, 667 }, { 665, 666, 667 }, { 370, 665, 666 } ], [ { 46, 666, 669 }, { 46, 666, 668 }, { 666, 668, 669 }, { 46, 668, 669 } ], [ { 47, 370, 666 }, { 46, 370, 666 }, { 46, 47, 370 }, { 46, 47, 666 } ], [ { 46, 669, 670 }, { 46, 668, 670 }, { 46, 668, 669 }, { 668, 669, 670 } ], [ { 342, 361, 371 }, { 46, 361, 371 }, { 46, 342, 361 }, { 46, 342, 371 } ], [ { 50, 52, 371 }, { 46, 50, 52 }, { 46, 52, 371 }, { 46, 50, 371 } ], [ { 375, 376, 672 }, { 375, 671, 672 }, { 376, 671, 672 }, { 375, 376, 671 } ], [ { 374, 375, 376 }, { 372, 375, 376 }, { 372, 374, 375 }, { 372, 374, 376 } ], [ { 89, 376, 378 }, { 89, 376, 673 }, { 376, 378, 673 }, { 89, 378, 673 } ], [ { 374, 376, 378 }, { 372, 374, 376 }, { 372, 376, 378 }, { 372, 374, 378 } ], [ { 381, 382, 674 }, { 88, 382, 674 }, { 88, 381, 674 }, { 88, 381, 382 } ], [ { 382, 383, 386 }, { 381, 383, 386 }, { 381, 382, 383 }, { 381, 382, 386 } ], [ { 384, 675, 676 }, { 381, 384, 676 }, { 381, 675, 676 }, { 381, 384, 675 } ], [ { 383, 384, 386 }, { 381, 383, 384 }, { 381, 383, 386 }, { 381, 384, 386 } ], [ { 384, 386, 388 }, { 384, 388, 675 }, { 386, 388, 675 }, { 384, 386, 675 } ], [ { 390, 391, 677 }, { 389, 391, 677 }, { 389, 390, 677 }, { 389, 390, 391 } ], [ { 394, 678, 679 }, { 393, 678, 679 }, { 393, 394, 679 }, { 393, 394, 678 } ], [ { 394, 678, 680 }, { 400, 678, 680 }, { 394, 400, 678 }, { 394, 400, 680 } ], [ { 394, 397, 680 }, { 397, 680, 681 }, { 394, 397, 681 }, { 394, 680, 681 } ], [ { 394, 395, 682 }, { 393, 395, 682 }, { 393, 394, 682 }, { 393, 394, 395 } ], [ { 397, 399, 682 }, { 394, 399, 682 }, { 394, 397, 399 }, { 394, 397, 682 } ], [ { 401, 405, 678, 683 }, { 400, 678, 683 }, { 400, 401, 683 }, { 400, 405, 678 }, { 400, 401, 405 } ], [ { 393, 684, 685, 686 }, { 393, 678, 683, 685 }, { 393, 678, 684 }, { 678, 683, 684, 686 }, { 683, 685, 686 } ], [ { 408, 409, 685 }, { 407, 409, 685 }, { 407, 408, 409 }, { 407, 408, 685 } ], [ { 408, 411, 685 }, { 393, 411, 685 }, { 393, 408, 411 }, { 393, 408, 685 } ], [ { 393, 408, 412 }, { 88, 408, 412 }, { 88, 393, 408 }, { 88, 393, 412 } ], [ { 89, 397, 688 }, { 397, 687, 688 }, { 89, 687, 688 }, { 89, 397, 687 } ], [ { 416, 417, 418 }, { 393, 417, 418 }, { 393, 416, 418 }, { 393, 416, 417 } ], [ { 393, 412, 419 }, { 88, 412, 419 }, { 88, 393, 419 }, { 88, 393, 412 } ], [ { 414, 416, 419 }, { 393, 416, 419 }, { 393, 414, 419 }, { 393, 414, 416 } ], [ { 419, 687, 689, 690 }, { 416, 687, 689 }, { 416, 419, 687 }, { 416, 419, 690 }, { 416, 689, 690 } ], [ { 88, 89, 420, 422 }, { 88, 89, 419, 687 }, { 88, 419, 420 }, { 419, 420, 422, 687 }, { 89, 422, 687 } ], [ { 692, 693, 694 }, { 691, 693, 694 }, { 691, 692, 694 }, { 691, 692, 693 } ], [ { 693, 695, 696 }, { 692, 693, 696 }, { 692, 693, 695 }, { 692, 695, 696 } ], [ { 669, 697, 698 }, { 692, 697, 698 }, { 669, 692, 698 }, { 669, 692, 697 } ], [ { 695, 696, 697 }, { 692, 696, 697 }, { 692, 695, 697 }, { 692, 695, 696 } ], [ { 692, 699, 700 }, { 630, 692, 700 }, { 630, 692, 699 }, { 630, 699, 700 } ], [ { 692, 694, 699 }, { 691, 692, 694 }, { 691, 694, 699 }, { 691, 692, 699 } ], [ { 666, 669, 701 }, { 666, 692, 701 }, { 669, 692, 701 }, { 666, 669, 692 } ], [ { 665, 666, 701, 702 }, { 665, 666, 692 }, { 665, 692, 702 }, { 692, 701, 702 }, { 666, 692, 701 } ], [ { 665, 692, 702 }, { 630, 692, 702 }, { 630, 665, 702 }, { 630, 665, 692 } ], [ { 425, 429, 441, 703 }, { 441, 703, 704 }, { 426, 430, 703, 704 }, { 425, 426, 703 }, { 425, 426, 427, 428, 429, 430 }, { 427, 428, 441, 704 }, { 428, 429, 441 }, { 427, 430, 704 } ], [ { 434, 705, 706 }, { 56, 433, 434, 706 }, { 55, 437, 705, 706 }, { 55, 56, 433, 436, 437, 438 }, { 434, 436, 438, 705 }, { 433, 434, 436 }, { 437, 438, 705 }, { 55, 56, 706 } ], [ { 441, 442, 708 }, { 442, 707, 708 }, { 441, 442, 704, 707 }, { 441, 704, 708 }, { 704, 707, 708 } ], [ { 58, 59, 64 }, { 59, 64, 441 }, { 58, 64, 441 }, { 58, 59, 441 } ], [ { 64, 441, 444 }, { 64, 442, 444 }, { 441, 442, 444 }, { 64, 441, 442 } ], [ { 59, 69, 446 }, { 59, 64, 442, 446 }, { 67, 69, 442, 446 }, { 59, 64, 67, 69 }, { 64, 67, 442 } ], [ { 59, 441, 447 }, { 59, 446, 447 }, { 441, 446, 447 }, { 59, 441, 446 } ], [ { 72, 89, 449 }, { 71, 72, 449 }, { 71, 89, 449 }, { 71, 72, 89 } ], [ { 76, 77, 450 }, { 76, 77, 88 }, { 77, 88, 450 }, { 76, 88, 450 } ], [ { 72, 84, 449 }, { 84, 89, 449 }, { 72, 84, 89 }, { 72, 89, 449 } ], [ { 80, 449, 450 }, { 79, 84, 449, 450 }, { 79, 80, 450 }, { 79, 80, 84 }, { 80, 84, 449 } ], [ { 79, 85, 88 }, { 85, 88, 89 }, { 79, 84, 88, 89 }, { 79, 84, 85 }, { 84, 85, 89 } ], [ { 77, 79, 450 }, { 77, 79, 88 }, { 77, 88, 450 }, { 79, 88, 450 } ], [ { 109, 452, 454 }, { 109, 451, 454 }, { 451, 452, 454 }, { 109, 451, 452 } ], [ { 97, 458, 459 }, { 456, 458, 459 }, { 97, 456, 459 }, { 97, 456, 458 } ], [ { 459, 460, 461 }, { 456, 459, 460 }, { 456, 459, 461 }, { 456, 460, 461 } ], [ { 459, 461, 491 }, { 97, 459, 491 }, { 97, 459, 461 }, { 97, 461, 491 } ], [ { 97, 98, 458 }, { 98, 456, 458 }, { 97, 98, 456 }, { 97, 456, 458 } ], [ { 98, 109, 709 }, { 109, 456, 709 }, { 98, 109, 456 }, { 98, 456, 709 } ], [ { 98, 109, 452 }, { 97, 98, 109 }, { 97, 109, 452 }, { 97, 98, 452 } ], [ { 461, 464, 466 }, { 456, 461, 466 }, { 456, 464, 466 }, { 456, 461, 464 } ], [ { 109, 110, 464 }, { 109, 110, 456 }, { 110, 456, 464 }, { 109, 456, 464 } ], [ { 102, 461, 464 }, { 101, 102, 461 }, { 101, 102, 464 }, { 101, 461, 464 } ], [ { 104, 105, 464 }, { 101, 104, 105 }, { 101, 105, 464 }, { 101, 104, 464 } ], [ { 101, 105, 470 }, { 105, 451, 470 }, { 101, 105, 451 }, { 101, 451, 470 } ], [ { 105, 109, 471 }, { 105, 451, 471 }, { 109, 451, 471 }, { 105, 109, 451 } ], [ { 105, 109, 111 }, { 105, 111, 464 }, { 109, 111, 464 }, { 105, 109, 464 } ], [ { 97, 114, 475 }, { 114, 472, 475 }, { 97, 114, 472 }, { 97, 472, 475 } ], [ { 473, 474, 475 }, { 97, 474, 475 }, { 97, 473, 475 }, { 97, 473, 474 } ], [ { 474, 478, 480 }, { 473, 478, 480 }, { 473, 474, 478 }, { 473, 474, 480 } ], [ { 482, 484, 710 }, { 481, 484, 710 }, { 481, 482, 710 }, { 481, 482, 484 } ], [ { 482, 488, 710 }, { 473, 488, 710 }, { 473, 482, 488 }, { 473, 482, 710 } ], [ { 473, 482, 487 }, { 482, 486, 487 }, { 473, 482, 486 }, { 473, 486, 487 } ], [ { 158, 482, 490 }, { 482, 486, 490 }, { 158, 486, 490 }, { 158, 482, 486 } ], [ { 461, 474, 491 }, { 97, 474, 491 }, { 97, 461, 491 }, { 97, 461, 474 } ], [ { 461, 474, 480 }, { 474, 480, 492 }, { 461, 480, 492 }, { 461, 474, 492 } ], [ { 502, 711, 712 }, { 116, 502, 712 }, { 116, 502, 711 }, { 116, 711, 712 } ], [ { 117, 494, 495 }, { 117, 142, 495 }, { 142, 494, 495 }, { 117, 142, 494 } ], [ { 117, 158, 497 }, { 142, 158, 497 }, { 117, 142, 497 }, { 117, 142, 158 } ], [ { 117, 501, 713 }, { 494, 501, 713 }, { 117, 494, 713 }, { 117, 494, 501 } ], [ { 117, 120, 158 }, { 116, 120, 158 }, { 116, 117, 120 }, { 116, 117, 158 } ], [ { 117, 501, 502 }, { 116, 501, 502 }, { 116, 117, 502 }, { 116, 117, 501 } ], [ { 128, 499, 502 }, { 130, 499, 502 }, { 128, 130, 502 }, { 128, 130, 499 } ], [ { 499, 501, 502 }, { 494, 501, 502 }, { 494, 499, 502 }, { 494, 499, 501 } ], [ { 123, 134, 136 }, { 134, 136, 218 }, { 123, 134, 218 }, { 123, 136, 218 } ], [ { 123, 124, 128 }, { 123, 128, 218, 502 }, { 123, 124, 218 }, { 124, 218, 502 }, { 124, 128, 502 } ], [ { 124, 128, 502 }, { 128, 130, 502 }, { 124, 130, 502 }, { 124, 128, 130 } ], [ { 123, 124, 134 }, { 124, 134, 218 }, { 123, 134, 218 }, { 123, 124, 218 } ], [ { 136, 137, 714 }, { 137, 218, 714 }, { 136, 218, 714 }, { 136, 137, 218 } ], [ { 237, 504, 509 }, { 170, 504, 509 }, { 170, 237, 509 }, { 170, 237, 504 } ], [ { 158, 163, 505 }, { 142, 163, 505 }, { 142, 158, 163 }, { 142, 158, 505 } ], [ { 163, 507, 509 }, { 142, 163, 509 }, { 142, 507, 509 }, { 142, 163, 507 } ], [ { 142, 494, 509, 714 }, { 140, 494, 511, 714 }, { 140, 142, 494 }, { 140, 142, 509, 511 }, { 509, 511, 714 } ], [ { 163, 509, 514 }, { 170, 509, 514 }, { 163, 170, 514 }, { 163, 170, 509 } ], [ { 515, 516, 518, 519 }, { 515, 518, 715 }, { 515, 516, 715 }, { 516, 519, 715 }, { 518, 519, 715 } ], [ { 2, 149, 518 }, { 149, 518, 715 }, { 2, 518, 715 }, { 2, 149, 715 } ], [ { 515, 526, 716 }, { 526, 715, 716 }, { 515, 715, 716 }, { 515, 526, 715 } ], [ { 2, 3, 149 }, { 3, 149, 715 }, { 2, 3, 715 }, { 2, 149, 715 } ], [ { 2, 158, 522 }, { 2, 3, 158, 521 }, { 158, 521, 522 }, { 2, 3, 522 }, { 3, 521, 522 } ], [ { 155, 163, 526 }, { 2, 155, 526 }, { 2, 163, 526 }, { 2, 155, 163 } ], [ { 163, 526, 528 }, { 170, 526, 528 }, { 163, 170, 528 }, { 163, 170, 526 } ], [ { 2, 159, 163 }, { 158, 159, 163 }, { 2, 158, 159 }, { 2, 158, 163 } ], [ { 158, 521, 533, 534 }, { 158, 521, 717, 718 }, { 521, 534, 717 }, { 533, 534, 717, 718 }, { 158, 533, 718 } ], [ { 166, 167, 170 }, { 167, 170, 536 }, { 166, 170, 536, 537 }, { 166, 167, 537 }, { 167, 536, 537 } ], [ { 481, 719, 720 }, { 481, 536, 537, 720 }, { 481, 536, 719 }, { 537, 719, 720 }, { 536, 537, 719 } ], [ { 169, 170, 539 }, { 170, 536, 539 }, { 169, 536, 539 }, { 169, 170, 536 } ], [ { 172, 539, 542 }, { 536, 539, 542 }, { 172, 536, 542 }, { 172, 536, 539 } ], [ { 481, 546, 552 }, { 536, 546, 552 }, { 481, 536, 546 }, { 481, 536, 552 } ], [ { 172, 547, 552 }, { 172, 536, 547 }, { 536, 547, 552 }, { 172, 536, 552 } ], [ { 172, 539, 548 }, { 170, 172, 539 }, { 170, 539, 548 }, { 170, 172, 548 } ], [ { 171, 172, 176 }, { 172, 175, 176 }, { 171, 172, 175 }, { 171, 175, 176 } ], [ { 546, 549, 552 }, { 481, 546, 552 }, { 481, 546, 549 }, { 481, 549, 552 } ], [ { 179, 181, 549 }, { 181, 549, 550 }, { 179, 549, 550 }, { 179, 181, 550 } ], [ { 172, 176, 179 }, { 172, 176, 550 }, { 172, 179, 550 }, { 176, 179, 550 } ], [ { 172, 549, 552 }, { 172, 550, 552 }, { 172, 549, 550 }, { 549, 550, 552 } ], [ { 184, 481, 553 }, { 184, 472, 553 }, { 184, 472, 481 }, { 472, 481, 553 } ], [ { 184, 553, 721 }, { 183, 184, 721 }, { 183, 553, 721 }, { 183, 184, 553 } ], [ { 553, 569, 721 }, { 481, 569, 721 }, { 481, 553, 721 }, { 481, 553, 569 } ], [ { 569, 721, 722 }, { 192, 721, 722 }, { 192, 569, 722 }, { 192, 569, 721 } ], [ { 187, 549, 554 }, { 179, 549, 554, 555 }, { 179, 187, 549 }, { 179, 187, 555 }, { 187, 554, 555 } ], [ { 187, 549, 557 }, { 187, 481, 557 }, { 481, 549, 557 }, { 187, 481, 549 } ], [ { 189, 557, 559 }, { 187, 189, 557 }, { 187, 189, 559 }, { 187, 557, 559 } ], [ { 194, 560, 562 }, { 192, 194, 562, 563 }, { 192, 194, 560 }, { 192, 560, 563 }, { 560, 562, 563 } ], [ { 557, 559, 567 }, { 481, 557, 559 }, { 481, 557, 567 }, { 481, 559, 567 } ], [ { 192, 194, 567, 569 }, { 481, 567, 569 }, { 192, 481, 569 }, { 194, 481, 567 }, { 192, 194, 481 } ], [ { 194, 559, 567 }, { 194, 559, 723 }, { 194, 567, 723 }, { 559, 567, 723 } ], [ { 200, 201, 204 }, { 197, 200, 204 }, { 197, 201, 204 }, { 197, 200, 201 } ], [ { 206, 209, 211 }, { 197, 206, 211 }, { 197, 206, 209 }, { 197, 209, 211 } ], [ { 211, 725, 726 }, { 211, 724, 726 }, { 211, 724, 725 }, { 724, 725, 726 } ], [ { 728, 729, 730 }, { 727, 729, 730 }, { 727, 728, 730 }, { 727, 728, 729 } ], [ { 214, 215, 572 }, { 215, 218, 572 }, { 214, 218, 572 }, { 214, 215, 218 } ], [ { 214, 222, 224 }, { 214, 218, 224 }, { 218, 222, 224 }, { 214, 218, 222 } ], [ { 214, 224, 572 }, { 224, 572, 574, 575 }, { 214, 224, 575 }, { 214, 574, 575 }, { 214, 572, 574 } ], [ { 222, 224, 578 }, { 218, 224, 578 }, { 218, 222, 224 }, { 218, 222, 578 } ], [ { 224, 578, 581 }, { 224, 579, 581 }, { 578, 579, 581 }, { 224, 578, 579 } ], [ { 215, 572, 586 }, { 218, 572, 586 }, { 215, 218, 586 }, { 215, 218, 572 } ], [ { 572, 585, 586 }, { 230, 585, 586 }, { 230, 572, 585 }, { 230, 572, 586 } ], [ { 226, 227, 233 }, { 227, 230, 233 }, { 226, 230, 233 }, { 226, 227, 230 } ], [ { 227, 231, 725 }, { 227, 230, 231 }, { 230, 231, 725 }, { 227, 230, 725 } ], [ { 234, 246, 579 }, { 234, 246, 589 }, { 234, 579, 589 }, { 246, 579, 589 } ], [ { 226, 234, 590 }, { 234, 579, 590 }, { 226, 579, 590 }, { 226, 234, 579 } ], [ { 137, 237, 238 }, { 218, 237, 238 }, { 137, 218, 238 }, { 137, 218, 237 } ], [ { 237, 238, 242 }, { 170, 238, 242 }, { 170, 237, 242 }, { 170, 237, 238 } ], [ { 222, 238, 578 }, { 218, 238, 578 }, { 218, 222, 238 }, { 218, 222, 578 } ], [ { 171, 238, 578 }, { 171, 238, 579 }, { 238, 578, 579 }, { 171, 578, 579 } ], [ { 171, 176, 244 }, { 176, 244, 579 }, { 171, 244, 579 }, { 171, 176, 579 } ], [ { 176, 179, 594 }, { 176, 579, 594 }, { 179, 579, 594 }, { 176, 179, 579 } ], [ { 246, 247, 250 }, { 247, 250, 262 }, { 246, 250, 262 }, { 246, 247, 262 } ], [ { 246, 249, 250 }, { 249, 250, 579 }, { 246, 249, 579 }, { 246, 250, 579 } ], [ { 250, 254, 256 }, { 254, 256, 262 }, { 250, 256, 262 }, { 250, 254, 262 } ], [ { 179, 594, 597 }, { 579, 594, 597 }, { 179, 579, 597 }, { 179, 579, 594 } ], [ { 251, 597, 598 }, { 251, 579, 598 }, { 579, 597, 598 }, { 251, 579, 597 } ], [ { 251, 259, 597 }, { 179, 251, 259 }, { 179, 251, 597 }, { 179, 259, 597 } ], [ { 250, 251, 600 }, { 251, 579, 600 }, { 250, 579, 600 }, { 250, 251, 579 } ], [ { 251, 256, 257 }, { 250, 256, 257 }, { 250, 251, 257 }, { 250, 251, 256 } ], [ { 179, 251, 259 }, { 251, 258, 259 }, { 179, 251, 258 }, { 179, 258, 259 } ], [ { 251, 256, 731 }, { 256, 258, 731 }, { 251, 256, 258 }, { 251, 258, 731 } ], [ { 266, 271, 603 }, { 246, 266, 603 }, { 246, 266, 271 }, { 246, 271, 603 } ], [ { 246, 266, 603 }, { 262, 266, 603 }, { 246, 262, 266 }, { 246, 262, 603 } ], [ { 256, 266, 605 }, { 262, 266, 605 }, { 256, 262, 605 }, { 256, 262, 266 } ], [ { 179, 256, 271 }, { 179, 256, 258 }, { 256, 258, 271 }, { 179, 258, 271 } ], [ { 256, 266, 274 }, { 266, 271, 274 }, { 256, 271, 274 }, { 256, 266, 271 } ], [ { 277, 283, 286, 610, 611, 732 }, { 281, 283, 286 }, { 277, 278, 281, 283 }, { 281, 286, 608, 732 }, { 278, 608, 610, 611 }, { 608, 610, 732 }, { 278, 281, 608 }, { 277, 278, 611 } ], [ { 290, 610, 611 }, { 288, 290, 611 }, { 288, 290, 610 }, { 288, 610, 611 } ], [ { 295, 613, 615 }, { 612, 613, 615 }, { 295, 612, 615 }, { 295, 612, 613 } ], [ { 613, 614, 616 }, { 612, 613, 614 }, { 612, 614, 616 }, { 612, 613, 616 } ], [ { 283, 286, 616, 620 }, { 283, 612, 620 }, { 612, 616, 620 }, { 283, 286, 612 }, { 286, 612, 616 } ], [ { 295, 620, 621 }, { 295, 612, 621 }, { 612, 620, 621 }, { 295, 612, 620 } ], [ { 295, 298, 623 }, { 295, 299, 623 }, { 298, 299, 623 }, { 295, 298, 299 } ], [ { 295, 622, 623 }, { 294, 295, 623 }, { 294, 622, 623 }, { 294, 295, 622 } ], [ { 302, 306, 623 }, { 299, 302, 623 }, { 299, 302, 306 }, { 299, 306, 623 } ], [ { 7, 303, 304 }, { 7, 299, 304 }, { 299, 303, 304 }, { 7, 299, 303 } ], [ { 11, 304, 305 }, { 11, 299, 304 }, { 11, 299, 305 }, { 299, 304, 305 } ], [ { 19, 305, 306 }, { 299, 305, 306 }, { 19, 299, 305 }, { 19, 299, 306 } ], [ { 305, 306, 628 }, { 303, 306, 628 }, { 303, 304, 305, 306 }, { 304, 305, 628 }, { 303, 304, 628 } ], [ { 315, 325, 733 }, { 315, 329, 733, 734 }, { 315, 325, 326, 329 }, { 325, 326, 733, 734 }, { 326, 329, 734 } ], [ { 38, 631, 632 }, { 630, 631, 632 }, { 38, 630, 632 }, { 38, 630, 631 } ], [ { 632, 634, 636 }, { 630, 632, 634 }, { 630, 634, 636 }, { 630, 632, 636 } ], [ { 309, 632, 636 }, { 308, 309, 632 }, { 308, 309, 636 }, { 308, 632, 636 } ], [ { 308, 312, 632 }, { 312, 632, 735 }, { 308, 632, 735 }, { 308, 312, 735 } ], [ { 308, 312, 319, 320 }, { 308, 309, 312, 313 }, { 309, 313, 319, 320 }, { 308, 309, 319 }, { 312, 313, 320 } ], [ { 38, 313, 632 }, { 312, 313, 632 }, { 38, 312, 313 }, { 38, 312, 632 } ], [ { 315, 323, 639 }, { 21, 323, 639 }, { 21, 315, 639 }, { 21, 315, 323 } ], [ { 323, 639, 640 }, { 309, 639, 640 }, { 309, 323, 640 }, { 309, 323, 639 } ], [ { 323, 641, 643 }, { 309, 641, 643 }, { 309, 323, 641 }, { 309, 323, 643 } ], [ { 309, 319, 643 }, { 309, 313, 643 }, { 309, 313, 319, 320 }, { 319, 320, 643 }, { 313, 320, 643 } ], [ { 330, 643, 645 }, { 313, 643, 645 }, { 313, 330, 645 }, { 313, 330, 643 } ], [ { 22, 323, 647 }, { 22, 315, 647 }, { 315, 323, 647 }, { 22, 315, 323 } ], [ { 323, 330, 647 }, { 323, 647, 649 }, { 330, 647, 649 }, { 323, 330, 649 } ], [ { 315, 329, 647 }, { 315, 324, 647 }, { 324, 329, 647 }, { 315, 324, 329 } ], [ { 27, 330, 647 }, { 27, 329, 647 }, { 329, 330, 647 }, { 27, 329, 330 } ], [ { 329, 330, 335 }, { 26, 330, 335 }, { 26, 329, 335 }, { 26, 329, 330 } ], [ { 330, 335, 336 }, { 313, 335, 336 }, { 313, 330, 336 }, { 313, 330, 335 } ], [ { 329, 339, 340 }, { 339, 340, 342 }, { 329, 340, 342 }, { 329, 339, 342 } ], [ { 339, 345, 347 }, { 342, 345, 347 }, { 339, 342, 347 }, { 339, 342, 345 } ], [ { 32, 339, 345 }, { 32, 329, 345 }, { 329, 339, 345 }, { 32, 329, 339 } ], [ { 345, 655, 736 }, { 342, 345, 736 }, { 342, 655, 736 }, { 342, 345, 655 } ], [ { 345, 349, 738 }, { 349, 737, 738 }, { 345, 349, 736, 737 }, { 736, 737, 738 }, { 345, 736, 738 } ], [ { 313, 657, 737 }, { 313, 349, 657 }, { 349, 657, 737 }, { 313, 349, 737 } ], [ { 313, 358, 737 }, { 313, 342, 358 }, { 313, 342, 736, 737 }, { 342, 358, 736 }, { 358, 736, 737 } ], [ { 32, 329, 353 }, { 32, 349, 353 }, { 32, 329, 349 }, { 329, 349, 353 } ], [ { 313, 350, 353 }, { 313, 349, 353 }, { 349, 350, 353 }, { 313, 349, 350 } ], [ { 313, 335, 353 }, { 329, 335, 353 }, { 313, 329, 335 }, { 313, 329, 353 } ], [ { 38, 42, 631 }, { 42, 630, 631 }, { 38, 42, 630 }, { 38, 630, 631 } ], [ { 42, 313, 355 }, { 38, 313, 355 }, { 38, 42, 355 }, { 38, 42, 313 } ], [ { 42, 313, 359 }, { 313, 357, 359 }, { 42, 357, 359 }, { 42, 313, 357 } ], [ { 313, 357, 358 }, { 313, 342, 358 }, { 342, 357, 358 }, { 313, 342, 357 } ], [ { 342, 357, 360 }, { 46, 357, 360 }, { 46, 342, 357 }, { 46, 342, 360 } ], [ { 42, 357, 663 }, { 42, 46, 663 }, { 46, 357, 663 }, { 42, 46, 357 } ], [ { 46, 368, 370 }, { 42, 46, 367, 368 }, { 42, 46, 370 }, { 42, 367, 370 }, { 367, 368, 370 } ], [ { 42, 370, 665 }, { 42, 370, 630 }, { 370, 630, 665 }, { 42, 630, 665 } ], [ { 370, 630, 669 }, { 370, 630, 665 }, { 630, 665, 666, 669 }, { 370, 666, 669 }, { 370, 665, 666 } ], [ { 46, 370, 666 }, { 370, 666, 669 }, { 46, 370, 669 }, { 46, 666, 669 } ], [ { 46, 50, 670 }, { 46, 50, 669 }, { 50, 669, 670 }, { 46, 669, 670 } ], [ { 50, 342, 371 }, { 46, 50, 371 }, { 46, 50, 342 }, { 46, 342, 371 } ], [ { 374, 375, 376 }, { 375, 376, 671 }, { 374, 375, 671 }, { 374, 376, 671 } ], [ { 89, 374, 376 }, { 374, 376, 378 }, { 89, 376, 378 }, { 89, 374, 378 } ], [ { 381, 382, 386 }, { 88, 382, 386 }, { 88, 381, 386 }, { 88, 381, 382 } ], [ { 384, 386, 675 }, { 381, 384, 386 }, { 381, 384, 675 }, { 381, 386, 675 } ], [ { 388, 391, 675, 677 }, { 386, 389, 675, 677 }, { 389, 391, 677 }, { 386, 388, 389, 391 }, { 386, 388, 675 } ], [ { 393, 394, 678 }, { 394, 400, 678 }, { 393, 400, 678 }, { 393, 394, 400 } ], [ { 394, 397, 680 }, { 397, 400, 680 }, { 394, 397, 400 }, { 394, 400, 680 } ], [ { 394, 397, 682 }, { 393, 397, 682 }, { 393, 394, 682 }, { 393, 394, 397 } ], [ { 393, 678, 683, 685 }, { 400, 683, 685 }, { 393, 400, 685 }, { 400, 678, 683 }, { 393, 400, 678 } ], [ { 88, 407, 408 }, { 88, 393, 408 }, { 88, 393, 407, 685 }, { 393, 408, 685 }, { 407, 408, 685 } ], [ { 89, 397, 416 }, { 397, 416, 687 }, { 89, 416, 687 }, { 89, 397, 687 } ], [ { 397, 416, 417 }, { 393, 416, 417 }, { 393, 397, 417 }, { 393, 397, 416 } ], [ { 393, 416, 419 }, { 88, 416, 419 }, { 88, 393, 419 }, { 88, 393, 416 } ], [ { 88, 89, 416 }, { 89, 416, 687 }, { 88, 89, 419, 687 }, { 88, 416, 419 }, { 416, 419, 687 } ], [ { 692, 693, 696 }, { 691, 693, 696 }, { 691, 692, 693 }, { 691, 692, 696 } ], [ { 669, 696, 697 }, { 692, 696, 697 }, { 669, 692, 697 }, { 669, 692, 696 } ], [ { 691, 692, 699 }, { 630, 692, 699 }, { 630, 691, 692 }, { 630, 691, 699 } ], [ { 630, 669, 692 }, { 630, 665, 666, 669 }, { 630, 665, 692 }, { 665, 666, 692 }, { 666, 669, 692 } ], [ { 382, 386, 407 }, { 88, 386, 407 }, { 88, 382, 407 }, { 88, 382, 386 } ], [ { 434, 705, 706 }, { 434, 703, 706 }, { 441, 703, 706 }, { 441, 705, 706 }, { 441, 703, 704 }, { 434, 704, 705 }, { 441, 704, 705 }, { 434, 703, 704 } ], [ { 441, 442, 704, 707 }, { 441, 442, 705 }, { 442, 705, 707 }, { 441, 704, 705 }, { 704, 705, 707 } ], [ { 59, 441, 446 }, { 59, 64, 442, 446 }, { 441, 442, 446 }, { 64, 441, 442 }, { 59, 64, 441 } ], [ { 71, 89, 449 }, { 89, 449, 705 }, { 71, 449, 705 }, { 71, 89, 705 } ], [ { 76, 450, 706 }, { 76, 88, 706 }, { 76, 88, 450 }, { 88, 450, 706 } ], [ { 79, 88, 450 }, { 79, 84, 88, 89 }, { 88, 89, 449, 450 }, { 79, 84, 449, 450 }, { 84, 89, 449 } ], [ { 97, 109, 452 }, { 109, 451, 452 }, { 97, 109, 451 }, { 97, 451, 452 } ], [ { 97, 459, 461 }, { 456, 459, 461 }, { 97, 456, 459 }, { 97, 456, 461 } ], [ { 97, 98, 109 }, { 98, 109, 456 }, { 97, 109, 456 }, { 97, 98, 456 } ], [ { 109, 461, 464 }, { 109, 456, 461 }, { 109, 456, 464 }, { 456, 461, 464 } ], [ { 105, 461, 464 }, { 101, 105, 461 }, { 101, 105, 464 }, { 101, 461, 464 } ], [ { 101, 105, 109 }, { 105, 109, 451 }, { 101, 105, 451 }, { 101, 109, 451 } ], [ { 105, 109, 461 }, { 105, 109, 464 }, { 105, 461, 464 }, { 109, 461, 464 } ], [ { 97, 473, 475 }, { 472, 473, 475 }, { 97, 472, 475 }, { 97, 472, 473 } ], [ { 473, 481, 710 }, { 472, 473, 710 }, { 472, 481, 710 }, { 472, 473, 481 } ], [ { 473, 474, 480 }, { 97, 474, 480 }, { 97, 473, 480 }, { 97, 473, 474 } ], [ { 473, 482, 710 }, { 481, 482, 710 }, { 473, 481, 710 }, { 473, 481, 482 } ], [ { 158, 473, 482 }, { 158, 482, 486 }, { 473, 482, 486 }, { 158, 473, 486 } ], [ { 461, 474, 480 }, { 97, 474, 480 }, { 97, 461, 480 }, { 97, 461, 474 } ], [ { 461, 502, 711 }, { 116, 461, 502 }, { 116, 502, 711 }, { 116, 461, 711 } ], [ { 117, 158, 494 }, { 117, 142, 158 }, { 142, 158, 494 }, { 117, 142, 494 } ], [ { 117, 501, 502 }, { 494, 501, 502 }, { 117, 494, 502 }, { 117, 494, 501 } ], [ { 117, 158, 502 }, { 116, 158, 502 }, { 116, 117, 502 }, { 116, 117, 158 } ], [ { 494, 499, 502 }, { 130, 499, 502 }, { 130, 494, 502 }, { 130, 494, 499 } ], [ { 134, 136, 714 }, { 134, 218, 714 }, { 136, 218, 714 }, { 134, 136, 218 } ], [ { 124, 130, 134 }, { 124, 134, 218 }, { 130, 134, 218, 502 }, { 124, 130, 502 }, { 124, 218, 502 } ], [ { 137, 237, 714 }, { 218, 237, 714 }, { 137, 218, 714 }, { 137, 218, 237 } ], [ { 237, 509, 714 }, { 170, 509, 714 }, { 170, 237, 509 }, { 170, 237, 714 } ], [ { 158, 163, 494 }, { 142, 158, 163 }, { 142, 163, 494 }, { 142, 158, 494 } ], [ { 163, 494, 714 }, { 142, 163, 494 }, { 142, 494, 509, 714 }, { 163, 509, 714 }, { 142, 163, 509 } ], [ { 163, 509, 714 }, { 163, 170, 509 }, { 170, 509, 714 }, { 163, 170, 714 } ], [ { 2, 515, 518, 526 }, { 515, 526, 715 }, { 2, 526, 715 }, { 2, 518, 715 }, { 515, 518, 715 } ], [ { 2, 158, 715 }, { 2, 3, 158, 521 }, { 158, 521, 715 }, { 3, 521, 715 }, { 2, 3, 715 } ], [ { 2, 158, 163 }, { 158, 163, 170 }, { 2, 158, 170, 526 }, { 163, 170, 526 }, { 2, 163, 526 } ], [ { 158, 521, 717, 718 }, { 158, 521, 715 }, { 521, 715, 717 }, { 158, 715, 718 }, { 715, 717, 718 } ], [ { 158, 533, 718 }, { 158, 481, 718 }, { 158, 481, 533, 739 }, { 481, 718, 739 }, { 533, 718, 739 } ], [ { 166, 170, 481, 720 }, { 481, 536, 537, 720 }, { 170, 481, 536 }, { 166, 170, 536, 537 }, { 166, 537, 720 } ], [ { 170, 172, 539 }, { 172, 536, 539 }, { 170, 536, 539 }, { 170, 172, 536 } ], [ { 172, 481, 552 }, { 172, 536, 552 }, { 172, 481, 536 }, { 481, 536, 552 } ], [ { 171, 172, 548 }, { 170, 172, 548 }, { 170, 171, 172 }, { 170, 171, 548 } ], [ { 172, 176, 179 }, { 171, 172, 176 }, { 171, 172, 179 }, { 171, 176, 179 } ], [ { 172, 549, 552 }, { 172, 481, 552 }, { 172, 481, 549 }, { 481, 549, 552 } ], [ { 172, 179, 549 }, { 172, 549, 550 }, { 172, 179, 550 }, { 179, 549, 550 } ], [ { 97, 184, 481 }, { 184, 472, 481 }, { 97, 184, 472 }, { 97, 472, 481 } ], [ { 184, 553, 721 }, { 184, 481, 721 }, { 481, 553, 721 }, { 184, 481, 553 } ], [ { 192, 569, 721 }, { 481, 569, 721 }, { 192, 481, 721 }, { 192, 481, 569 } ], [ { 179, 187, 549 }, { 187, 481, 549 }, { 179, 187, 481 }, { 179, 481, 549 } ], [ { 187, 557, 559 }, { 481, 557, 559 }, { 187, 481, 557 }, { 187, 481, 559 } ], [ { 192, 194, 560 }, { 194, 481, 560 }, { 192, 194, 481 }, { 192, 481, 560 } ], [ { 194, 559, 567 }, { 194, 481, 559 }, { 194, 481, 567 }, { 481, 559, 567 } ], [ { 201, 204, 209, 211 }, { 197, 201, 211 }, { 197, 209, 211 }, { 197, 204, 209 }, { 197, 201, 204 } ], [ { 211, 725, 726 }, { 197, 211, 726 }, { 197, 211, 725 }, { 197, 725, 726 } ], [ { 211, 725, 740 }, { 211, 724, 740 }, { 724, 725, 740 }, { 211, 724, 725 } ], [ { 201, 246, 742 }, { 201, 741, 742 }, { 201, 246, 741 }, { 246, 741, 742 } ], [ { 727, 729, 740 }, { 729, 730, 740, 741 }, { 727, 740, 741 }, { 727, 730, 741 }, { 727, 729, 730 } ], [ { 214, 224, 572 }, { 218, 224, 572 }, { 214, 218, 224 }, { 214, 218, 572 } ], [ { 224, 578, 579 }, { 218, 224, 578 }, { 218, 224, 579 }, { 218, 578, 579 } ], [ { 230, 572, 586 }, { 218, 572, 586 }, { 218, 230, 586 }, { 218, 230, 572 } ], [ { 226, 227, 725 }, { 227, 230, 725 }, { 226, 227, 230 }, { 226, 230, 725 } ], [ { 226, 230, 572 }, { 226, 230, 579 }, { 224, 230, 572, 579 }, { 224, 226, 572 }, { 224, 226, 579 } ], [ { 226, 234, 246 }, { 226, 234, 579 }, { 234, 246, 579 }, { 226, 246, 579 } ], [ { 170, 237, 238 }, { 218, 237, 238 }, { 170, 218, 238 }, { 170, 218, 237 } ], [ { 238, 578, 579 }, { 218, 238, 578 }, { 218, 238, 579 }, { 218, 578, 579 } ], [ { 171, 238, 579 }, { 170, 171, 238 }, { 170, 238, 579 }, { 170, 171, 579 } ], [ { 171, 176, 179 }, { 176, 179, 579 }, { 171, 176, 579 }, { 171, 179, 579 } ], [ { 246, 250, 579 }, { 246, 250, 262 }, { 250, 262, 579 }, { 246, 262, 579 } ], [ { 250, 256, 579 }, { 250, 256, 262 }, { 256, 262, 579 }, { 250, 262, 579 } ], [ { 179, 251, 597 }, { 251, 579, 597 }, { 179, 251, 579 }, { 179, 579, 597 } ], [ { 250, 251, 256 }, { 251, 256, 579 }, { 250, 256, 579 }, { 250, 251, 579 } ], [ { 179, 251, 256 }, { 251, 256, 258 }, { 179, 256, 258 }, { 179, 251, 258 } ], [ { 179, 266, 271 }, { 179, 246, 266 }, { 246, 266, 271 }, { 179, 246, 271 } ], [ { 246, 256, 266 }, { 256, 262, 266 }, { 246, 262, 266 }, { 246, 256, 262 } ], [ { 179, 256, 266 }, { 256, 266, 271 }, { 179, 266, 271 }, { 179, 256, 271 } ], [ { 290, 616, 620 }, { 290, 610, 616, 732 }, { 290, 610, 611 }, { 277, 290, 611, 620 }, { 277, 283, 286, 610, 611, 732 }, { 283, 286, 616, 620 }, { 277, 283, 620 }, { 286, 616, 732 } ], [ { 295, 613, 616, 620 }, { 295, 612, 620 }, { 612, 616, 620 }, { 612, 613, 616 }, { 295, 612, 613 } ], [ { 306, 622, 623 }, { 299, 306, 623 }, { 295, 299, 306, 622 }, { 295, 622, 623 }, { 295, 299, 623 } ], [ { 303, 304, 305, 306 }, { 299, 305, 306 }, { 299, 303, 306 }, { 299, 304, 305 }, { 299, 303, 304 } ], [ { 303, 315, 733 }, { 303, 306, 315, 329 }, { 315, 329, 733, 734 }, { 303, 306, 733, 734 }, { 306, 329, 734 } ], [ { 38, 313, 632 }, { 313, 630, 632 }, { 38, 313, 630 }, { 38, 630, 632 } ], [ { 309, 632, 636 }, { 309, 630, 632 }, { 309, 630, 636 }, { 630, 632, 636 } ], [ { 312, 313, 632 }, { 308, 309, 312, 313 }, { 308, 312, 632 }, { 308, 309, 632 }, { 309, 313, 632 } ], [ { 309, 323, 639 }, { 315, 323, 639 }, { 309, 315, 639 }, { 309, 315, 323 } ], [ { 313, 330, 643 }, { 309, 313, 643 }, { 309, 313, 323, 330 }, { 323, 330, 643 }, { 309, 323, 643 } ], [ { 329, 330, 647 }, { 315, 329, 647 }, { 315, 323, 329, 330 }, { 323, 330, 647 }, { 315, 323, 647 } ], [ { 313, 330, 335 }, { 329, 330, 335 }, { 313, 329, 335 }, { 313, 329, 330 } ], [ { 32, 329, 345 }, { 32, 345, 349 }, { 329, 345, 349 }, { 32, 329, 349 } ], [ { 329, 339, 345 }, { 339, 342, 345 }, { 329, 342, 345 }, { 329, 339, 342 } ], [ { 313, 342, 736, 737 }, { 313, 349, 737 }, { 313, 342, 345, 349 }, { 345, 349, 736, 737 }, { 342, 345, 736 } ], [ { 313, 329, 353 }, { 313, 349, 353 }, { 329, 349, 353 }, { 313, 329, 349 } ], [ { 38, 42, 313 }, { 42, 313, 630 }, { 38, 313, 630 }, { 38, 42, 630 } ], [ { 42, 46, 357 }, { 42, 46, 313, 342 }, { 46, 342, 357 }, { 313, 342, 357 }, { 42, 313, 357 } ], [ { 46, 370, 669 }, { 370, 630, 669 }, { 42, 46, 630, 669 }, { 42, 370, 630 }, { 42, 46, 370 } ], [ { 46, 50, 342 }, { 50, 342, 669 }, { 46, 50, 669 }, { 46, 342, 669 } ], [ { 89, 374, 376 }, { 374, 376, 671 }, { 89, 376, 671 }, { 89, 374, 671 } ], [ { 381, 386, 675 }, { 88, 386, 675 }, { 88, 381, 386 }, { 88, 381, 675 } ], [ { 669, 675, 677 }, { 389, 669, 677 }, { 386, 389, 675, 677 }, { 386, 389, 669 }, { 386, 669, 675 } ], [ { 393, 394, 397 }, { 394, 397, 400 }, { 393, 397, 400 }, { 393, 394, 400 } ], [ { 88, 393, 407, 685 }, { 88, 400, 407 }, { 88, 393, 400 }, { 400, 407, 685 }, { 393, 400, 685 } ], [ { 88, 89, 416 }, { 88, 393, 416 }, { 88, 89, 393, 397 }, { 393, 397, 416 }, { 89, 397, 416 } ], [ { 691, 696, 743 }, { 400, 696, 743 }, { 400, 691, 696 }, { 400, 691, 743 } ], [ { 630, 691, 744, 745 }, { 400, 630, 744 }, { 400, 630, 691 }, { 400, 744, 745 }, { 400, 691, 745 } ], [ { 630, 669, 692 }, { 630, 669, 691, 696 }, { 630, 691, 692 }, { 669, 692, 696 }, { 691, 692, 696 } ], [ { 386, 400, 407 }, { 88, 386, 407 }, { 88, 400, 407 }, { 88, 386, 400 } ], [ { 386, 669, 746 }, { 386, 400, 746 }, { 400, 669, 746 }, { 386, 400, 669 } ], [ { 441, 442, 446 }, { 441, 442, 705 }, { 442, 446, 705, 706 }, { 441, 446, 706 }, { 441, 705, 706 } ], [ { 88, 89, 449, 450 }, { 88, 89, 705, 706 }, { 449, 450, 705, 706 }, { 88, 450, 706 }, { 89, 449, 705 } ], [ { 97, 101, 109 }, { 101, 109, 451 }, { 97, 109, 451 }, { 97, 101, 451 } ], [ { 97, 109, 461 }, { 109, 456, 461 }, { 97, 109, 456 }, { 97, 456, 461 } ], [ { 105, 109, 461 }, { 101, 105, 109 }, { 101, 105, 461 }, { 101, 109, 461 } ], [ { 97, 473, 481 }, { 472, 473, 481 }, { 97, 472, 473 }, { 97, 472, 481 } ], [ { 158, 473, 480 }, { 97, 158, 480 }, { 97, 473, 480 }, { 97, 158, 473 } ], [ { 158, 473, 482 }, { 158, 481, 482 }, { 473, 481, 482 }, { 158, 473, 481 } ], [ { 158, 461, 480 }, { 97, 461, 480 }, { 97, 158, 480 }, { 97, 158, 461 } ], [ { 158, 461, 502 }, { 116, 461, 502 }, { 116, 158, 502 }, { 116, 158, 461 } ], [ { 117, 158, 502 }, { 158, 494, 502 }, { 117, 494, 502 }, { 117, 158, 494 } ], [ { 130, 134, 494, 714 }, { 130, 134, 218, 502 }, { 134, 218, 714 }, { 218, 494, 502, 714 }, { 130, 494, 502 } ], [ { 170, 237, 714 }, { 218, 237, 714 }, { 170, 218, 714 }, { 170, 218, 237 } ], [ { 163, 170, 714 }, { 163, 494, 714 }, { 158, 170, 494, 714 }, { 158, 163, 494 }, { 158, 163, 170 } ], [ { 170, 481, 747 }, { 481, 715, 747 }, { 170, 715, 747 }, { 170, 481, 715 } ], [ { 2, 158, 170, 526 }, { 2, 158, 715 }, { 158, 170, 715 }, { 170, 526, 715 }, { 2, 526, 715 } ], [ { 158, 481, 718 }, { 158, 715, 718 }, { 481, 715, 718 }, { 158, 481, 715 } ], [ { 170, 172, 481 }, { 172, 481, 536 }, { 170, 172, 536 }, { 170, 481, 536 } ], [ { 171, 172, 179 }, { 170, 172, 179 }, { 170, 171, 172 }, { 170, 171, 179 } ], [ { 172, 179, 549 }, { 172, 481, 549 }, { 172, 179, 481 }, { 179, 481, 549 } ], [ { 184, 481, 721 }, { 97, 184, 721 }, { 97, 481, 721 }, { 97, 184, 481 } ], [ { 192, 560, 721 }, { 481, 560, 721 }, { 192, 481, 560 }, { 192, 481, 721 } ], [ { 179, 187, 559 }, { 187, 481, 559 }, { 179, 481, 559 }, { 179, 187, 481 } ], [ { 194, 559, 560 }, { 194, 481, 559 }, { 194, 481, 560 }, { 481, 559, 560 } ], [ { 197, 201, 211 }, { 201, 211, 740, 741 }, { 197, 201, 741 }, { 197, 211, 740 }, { 197, 740, 741 } ], [ { 211, 725, 740 }, { 197, 211, 740 }, { 197, 725, 740 }, { 197, 211, 725 } ], [ { 197, 201, 246 }, { 201, 246, 741 }, { 197, 201, 741 }, { 197, 246, 741 } ], [ { 246, 725, 727 }, { 246, 727, 741 }, { 246, 725, 740, 741 }, { 725, 727, 740 }, { 727, 740, 741 } ], [ { 224, 230, 572, 579 }, { 218, 230, 572 }, { 218, 230, 579 }, { 218, 224, 579 }, { 218, 224, 572 } ], [ { 226, 246, 579 }, { 226, 230, 579 }, { 230, 246, 579, 725 }, { 226, 230, 725 }, { 226, 246, 725 } ], [ { 170, 238, 579 }, { 218, 238, 579 }, { 170, 218, 238 }, { 170, 218, 579 } ], [ { 171, 179, 579 }, { 170, 171, 179 }, { 170, 179, 579 }, { 170, 171, 579 } ], [ { 246, 256, 579 }, { 246, 256, 262 }, { 256, 262, 579 }, { 246, 262, 579 } ], [ { 179, 251, 256 }, { 251, 256, 579 }, { 179, 256, 579 }, { 179, 251, 579 } ], [ { 179, 256, 266 }, { 246, 256, 266 }, { 179, 246, 266 }, { 179, 246, 256 } ], [ { 295, 613, 616, 620 }, { 290, 295, 299, 620 }, { 295, 299, 613 }, { 290, 299, 613, 616 }, { 290, 616, 620 } ], [ { 306, 329, 622 }, { 295, 299, 306, 622 }, { 299, 306, 329 }, { 295, 329, 622 }, { 295, 299, 329 } ], [ { 303, 306, 315, 329 }, { 299, 303, 315 }, { 299, 315, 329 }, { 299, 303, 306 }, { 299, 306, 329 } ], [ { 309, 313, 632 }, { 309, 313, 630 }, { 309, 630, 632 }, { 313, 630, 632 } ], [ { 313, 329, 330 }, { 315, 323, 329, 330 }, { 309, 313, 315, 329 }, { 309, 313, 323, 330 }, { 309, 315, 323 } ], [ { 313, 329, 342 }, { 313, 329, 349 }, { 313, 342, 345, 349 }, { 329, 342, 345 }, { 329, 345, 349 } ], [ { 46, 342, 669 }, { 313, 342, 630, 669 }, { 42, 46, 630, 669 }, { 42, 46, 313, 342 }, { 42, 313, 630 } ], [ { 89, 374, 671 }, { 89, 374, 630 }, { 374, 630, 671 }, { 89, 630, 671 } ], [ { 669, 675, 677 }, { 669, 675, 748 }, { 669, 677, 748 }, { 675, 677, 748 } ], [ { 386, 669, 675 }, { 88, 386, 669 }, { 88, 386, 675 }, { 88, 669, 675 } ], [ { 88, 89, 393, 397 }, { 88, 89, 400 }, { 88, 393, 400 }, { 393, 397, 400 }, { 89, 397, 400 } ], [ { 89, 374, 400 }, { 89, 374, 630 }, { 374, 400, 630 }, { 89, 400, 630 } ], [ { 630, 669, 691, 696 }, { 400, 630, 669 }, { 400, 630, 691 }, { 400, 669, 696 }, { 400, 691, 696 } ], [ { 386, 400, 669 }, { 88, 386, 669 }, { 88, 386, 400 }, { 88, 400, 669 } ], [ { 88, 446, 675 }, { 446, 675, 748 }, { 88, 446, 748 }, { 88, 675, 748 } ], [ { 89, 442, 705 }, { 88, 89, 705, 706 }, { 88, 89, 442, 446 }, { 442, 446, 705, 706 }, { 88, 446, 706 } ], [ { 89, 442, 749 }, { 89, 442, 671 }, { 89, 671, 749 }, { 442, 671, 749 } ], [ { 101, 109, 461 }, { 97, 109, 461 }, { 97, 101, 109 }, { 97, 101, 461 } ], [ { 158, 473, 481 }, { 97, 158, 473 }, { 97, 158, 481 }, { 97, 473, 481 } ], [ { 158, 461, 502 }, { 97, 461, 502 }, { 97, 158, 502 }, { 97, 158, 461 } ], [ { 158, 170, 494, 714 }, { 170, 218, 714 }, { 218, 494, 502, 714 }, { 158, 170, 218, 502 }, { 158, 494, 502 } ], [ { 158, 170, 481 }, { 158, 481, 715 }, { 158, 170, 715 }, { 170, 481, 715 } ], [ { 172, 179, 481 }, { 170, 172, 179 }, { 170, 172, 481 }, { 170, 179, 481 } ], [ { 481, 560, 721 }, { 97, 560, 721 }, { 97, 481, 560 }, { 97, 481, 721 } ], [ { 97, 179, 560 }, { 179, 560, 750 }, { 97, 179, 750, 751 }, { 560, 750, 751 }, { 97, 560, 751 } ], [ { 179, 559, 560 }, { 481, 559, 560 }, { 179, 481, 559 }, { 179, 481, 560 } ], [ { 197, 246, 725 }, { 246, 725, 740, 741 }, { 197, 246, 741 }, { 197, 725, 740 }, { 197, 740, 741 } ], [ { 230, 246, 579, 725 }, { 218, 246, 579 }, { 218, 230, 579 }, { 218, 246, 725 }, { 218, 230, 725 } ], [ { 170, 179, 579 }, { 179, 218, 579 }, { 170, 179, 218 }, { 170, 218, 579 } ], [ { 179, 246, 256 }, { 179, 256, 579 }, { 246, 256, 579 }, { 179, 246, 579 } ], [ { 315, 329, 752 }, { 299, 315, 329 }, { 295, 329, 752 }, { 295, 299, 329 }, { 315, 613, 752 }, { 295, 299, 613 }, { 299, 315, 613 }, { 295, 613, 752 } ], [ { 309, 313, 315, 329 }, { 313, 329, 630 }, { 315, 329, 630 }, { 309, 313, 630 }, { 309, 315, 630 } ], [ { 329, 342, 669 }, { 329, 630, 669 }, { 313, 342, 630, 669 }, { 313, 329, 342 }, { 313, 329, 630 } ], [ { 89, 671, 749 }, { 89, 630, 749 }, { 89, 630, 671 }, { 630, 671, 749 } ], [ { 88, 669, 675 }, { 669, 675, 748 }, { 88, 669, 748 }, { 88, 675, 748 } ], [ { 88, 400, 669 }, { 400, 630, 669 }, { 88, 89, 630, 669 }, { 89, 400, 630 }, { 88, 89, 400 } ], [ { 442, 446, 748, 749 }, { 88, 89, 748, 749 }, { 89, 442, 749 }, { 88, 89, 442, 446 }, { 88, 446, 748 } ], [ { 101, 461, 502 }, { 97, 461, 502 }, { 97, 101, 502 }, { 97, 101, 461 } ], [ { 158, 481, 502 }, { 97, 158, 502 }, { 97, 481, 502 }, { 97, 158, 481 } ], [ { 158, 170, 481 }, { 158, 170, 218, 502 }, { 170, 218, 481 }, { 158, 481, 502 }, { 218, 481, 502 } ], [ { 170, 179, 481 }, { 179, 218, 481 }, { 170, 179, 218 }, { 170, 218, 481 } ], [ { 179, 481, 560 }, { 97, 179, 560 }, { 97, 481, 560 }, { 97, 179, 481 } ], [ { 197, 246, 725 }, { 218, 246, 725 }, { 197, 218, 725 }, { 197, 218, 246 } ], [ { 179, 246, 579 }, { 179, 218, 246 }, { 179, 218, 579 }, { 218, 246, 579 } ], [ { 329, 630, 669 }, { 630, 669, 753 }, { 315, 329, 630 }, { 315, 630, 753 }, { 669, 752, 753 }, { 329, 669, 752 }, { 315, 752, 753 }, { 315, 329, 752 } ], [ { 88, 89, 748, 749 }, { 630, 669, 748, 749 }, { 88, 89, 630, 669 }, { 88, 669, 748 }, { 89, 630, 749 } ], [ { 101, 502, 749 }, { 97, 502, 749 }, { 97, 101, 502 }, { 97, 101, 749 } ], [ { 97, 179, 481 }, { 179, 218, 481 }, { 97, 179, 218, 502 }, { 218, 481, 502 }, { 97, 481, 502 } ], [ { 179, 197, 246 }, { 179, 218, 246 }, { 179, 197, 218 }, { 197, 218, 246 } ], [ { 197, 748, 749 }, { 630, 669, 748, 749 }, { 197, 630, 749, 753 }, { 197, 669, 748, 753 }, { 630, 669, 753 } ], [ { 97, 179, 197, 749 }, { 179, 197, 218 }, { 97, 179, 218, 502 }, { 197, 218, 502, 749 }, { 97, 502, 749 } ], [ { 197, 218, 502, 749 }, { 197, 218, 748, 754 }, { 502, 748, 749, 754 }, { 197, 748, 749 }, { 218, 502, 754 } ] ] /* Order of PGL_2(O) stabilizers of Voronoi top cells */ [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 3, 3, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 3, 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, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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, 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, 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, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 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, 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, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 3, 1, 3 ] /* GAP id of GL_2(O) stabilizers of Voronoi top cells */ [ <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <6, 2>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <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>, <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>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <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>, <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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <6, 2> ]