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