/* Defining polynomial */ x^2 - x + 437 /* Minimal vectors */ [ <24, -w - 13>, <9*w + 90, -9*w + 116>, <-9*w + 125, -232>, <215, -9*w - 116>, <-23*w + 76, 9*w - 454>, <2*w + 95, -5*w - 10>, <-21*w + 171, 4*w - 464>, <19*w + 457, -29*w + 122>, <6*w + 44, -5*w + 88>, <-11*w + 67, 3*w - 233>, <72, -3*w - 35>, <6*w + 116, -8*w + 53>, <3*w + 82, -5*w + 15>, <-17*w + 310, -4*w - 460>, <-14*w + 392, -9*w - 445>, <10*w + 569, -29*w - 93>, <-23*w + 146, 6*w - 490>, <17*w + 409, -26*w + 112>, <-6*w + 555, -20*w - 378>, <-21*w + 2, 11*w - 383>, <-123*w + 46, 63*w - 2260>, <-10*w + 391, -11*w - 372>, <-31*w + 393, -755>, <63*w + 2228, -126*w + 63>, <-60*w + 2274, -63*w - 2197>, <27*w + 66, -17*w + 459>, <-37*w + 253, 9*w - 796>, <-13*w + 285, -5*w - 375>, <-10*w + 319, -8*w - 337>, <3*w + 34, -3*w + 38>, <17*w + 241, -19*w + 192>, <-16*w + 251, -2*w - 413>, , <92*w + 347, -63*w + 1505>, <-18*w + 2270, -85*w - 1431>, <-39*w + 2272, -74*w - 1814>, <113*w + 345, -74*w + 1888>, <103*w + 736, -85*w + 1516>, <-29*w + 1881, -63*w - 1442>, <3*w + 11, -2*w + 50>, <2*w + 23, -2*w + 26>, <7*w + 81, -7*w + 91>, <-7*w + 85, -169>, <-8*w + 74, w - 182>, <3*w + 106, -6*w + 5>, <-5*w + 85, -w - 132>, <-2*w + 96, -3*w - 82>, <-14*w + 102, 3*w - 306>, <-5*w + 157, -4*w - 167>, <8*w + 234, -14*w + 35>, <-19*w + 259, -w - 473>, <14*w + 88, -11*w + 215>, <5*w + 152, -9*w + 19>, <19*w + 240, -20*w + 234>, <-8*w + 242, -6*w - 263>, <-3*w + 14, w - 62>, <-2*w + 25, -49>, <7*w + 78, -7*w + 91>, <-7*w + 88, -172>, <8*w + 66, -7*w + 115>, <-3*w + 109, -3*w - 108>, <5*w + 80, -6*w + 53>, <2*w + 94, -5*w - 9>, <-5*w + 108, -2*w - 143>, <-w + 12, -24>, <4*w + 70, -5*w + 41>, <-w + 178, -7*w - 102>, <6*w + 93, -7*w + 67>, <-4*w + 96, -2*w - 119>, <-3*w + 131, -4*w - 117>, <-4*w + 2, 2*w - 75>, <11*w + 30, -7*w + 189>, <4*w + 69, -5*w + 41>, <-9*w + 158, -2*w - 242>, <-11*w + 41, 4*w - 223>, <-4*w + 73, -w - 109>, <9*w + 149, -11*w + 95>, <71, -3*w - 34>, <-11*w + 112, w - 257>, <5*w + 222, -12*w - 14>, <5*w + 103, -7*w + 42>, , <-4*w + 74, -w - 110>, , <-6*w + 99, -w - 159>, <4*w + 92, -6*w + 29>, <3*w + 128, -7*w - 7>, <7*w + 9, -4*w + 119>, <-2*w + 398, -15*w - 226>, <5*w + 407, -19*w - 107>, <-32*w + 487, -3*w - 797>, <-19*w + 245, -452>, <-21*w + 643, -15*w - 678>, <-8*w + 153, -2*w - 214>, <-2*w + 175, -6*w - 119>, <3*w + 185, -9*w - 36>, , <6*w + 22, -4*w + 95>, <13*w + 379, -22*w + 47>, <-6*w + 3, 3*w - 107>, <11*w + 7, -6*w + 190>, <-11*w + 18, 5*w - 202>, <3*w + 160, -8*w - 24>, <-3*w + 163, -5*w - 131>, <14*w + 167, -14*w + 166>, <8*w + 170, -11*w + 59>, <-8*w + 178, -3*w - 226>, <-14*w + 181, -333>, <-3*w + 188, -6*w - 143>, <348, -14*w - 167>, <12*w + 19, -7*w + 202>, <-7*w + 16, 3*w - 131>, <2*w + 396, -17*w - 155>, <-5*w + 412, -14*w - 286>, <32*w + 455, -35*w + 345>, <19*w + 226, -19*w + 226>, <21*w + 622, -36*w + 71>, <22*w + 237, -21*w + 274>, <248, -10*w - 119>, <-29*w + 250, 5*w - 631>, <-7*w + 487, -16*w - 357>, <-11*w + 365, -9*w - 369>, <15*w + 724, -37*w - 83>, <29*w + 221, -24*w + 405>, <-22*w + 259, w - 512>, <7*w + 480, -23*w - 107>, <11*w + 354, -20*w + 24>, <-15*w + 739, -22*w - 619>, <12*w + 316, -19*w + 60>, <4*w + 320, -15*w - 83>, <-26*w + 459, -5*w - 679>, <16*w + 636, -34*w - 23>, <-17*w + 21, 8*w - 310>, <29*w + 295, -27*w + 370>, <-14*w + 775, -24*w - 619>, <-4*w + 324, -11*w - 226>, <-12*w + 328, -7*w - 369>, <26*w + 433, -31*w + 251>, <-16*w + 652, -18*w - 595>, <17*w + 4, -9*w + 298>, <-29*w + 324, 2*w - 667>, <14*w + 761, -38*w - 118>, <-9*w + 215, -4*w - 262>, <-53*w + 237, 18*w - 1049>, <421, -17*w - 202>, <-31*w + 1167, -31*w - 1107>, <53*w + 184, -35*w + 847>, <9*w + 206, -13*w + 60>, <31*w + 1136, -62*w + 2>, <-12*w + 6, 6*w - 215>, <5*w + 84, -6*w + 48>, <-6*w + 275, -8*w - 238>, <-w + 359, -14*w - 190>, <-5*w + 89, -w - 131>, <6*w + 269, -14*w - 23>, , <6*w + 24, -4*w + 91>, <-4*w + 78, -w - 105>, <43*w + 770, -52*w + 370>, <-18*w + 1107, -34*w - 829>, <2*w + 102, -5*w - 14>, <-55*w + 361, 14*w - 1108>, <-6*w + 1155, -42*w - 647>, <-4*w + 129, -3*w - 129>, <3*w + 217, -10*w - 51>, <2*w + 153, -7*w - 38>, <-7*w + 194, -4*w - 211>, <-5*w + 14, 2*w - 92>, <51, -2*w - 24>, <-5*w + 65, -116>, <-4*w + 231, -7*w - 177>, , <-2*w + 410, -15*w - 227>, <5*w + 37, -4*w + 68>, <5*w + 88, -6*w + 44>, <2*w + 255, -11*w - 86>, <-3*w + 116, -3*w - 106>, <-4*w + 436, -15*w - 274>, <5*w + 10, -3*w + 82>, <-5*w + 15, 2*w - 94>, , <-w + 114, -4*w - 72>, <6*w + 123, -8*w + 45>, <-6*w + 129, -2*w - 166>, , <2*w + 24, -2*w + 21>, <-2*w + 29, -48>, <53, -2*w - 27>, <-w + 13, -22>, <-2*w + 26, -45>, <2*w + 27, -2*w + 21>, <53, -2*w - 24>, <-4*w + 4, 2*w - 61>, , <-w + 16, -23>, <30, -w - 15>, <64*w + 426, -49*w + 833>, <-64*w + 490, 15*w - 1274>, <916, -34*w - 441>, <77*w + 1807, -107*w + 379>, <-77*w + 1884, -30*w - 2156>, <-10*w + 5, 5*w - 158>, <38*w + 318, -31*w + 438>, <-38*w + 356, 7*w - 763>, <674, -24*w - 325>, <43*w + 133, -27*w + 605>, <-5*w + 185, -4*w - 167>, <-5*w + 859, -28*w - 492>, <-15*w + 864, -23*w - 650>, <1, -1>, , <-w + 16, -22>, <1, 0>, <-w + 15, -21>, , <30, -w - 14>, <-w + 15, -22>, <-2*w + 31, -44>, <2*w + 29, -2*w + 15>, <3*w + 44, -3*w + 22>, <-3*w + 47, -66>, , <4*w, -2*w + 59>, <-w + 14, -22>, , <9*w + 295, -15*w + 3>, <18*w, -9*w + 280>, <17*w + 14, -9*w + 258>, <28, -w - 13>, <9*w + 323, -16*w - 10>, <-6*w + 1, 3*w - 105>, <-3*w + 38, -70>, <14*w + 73, -10*w + 210>, <-2*w + 251, -9*w - 152>, <-8*w + 252, -6*w - 257>, <3*w + 12, -2*w + 46>, <-w + 89, -3*w - 59>, <-8*w + 103, -186>, <4*w + 126, -7*w + 10>, <-4*w + 26, w - 81>, <8*w + 100, -8*w + 91>, , <-5*w + 115, -2*w - 140>, <2*w + 76, -4*w - 1>, <-2*w + 102, -3*w - 82>, <11*w + 189, -13*w + 101>, <-12*w + 205, -2*w - 302>, <-12*w + 53, 4*w - 231>, <3*w + 63, -4*w + 22>, , <-7*w + 14, 3*w - 127>, <-6*w + 179, -4*w - 187>, <10*w + 74, -8*w + 137>, <2*w + 203, -9*w - 61>, <-5*w + 192, -5*w - 176>, <7*w + 13, -4*w + 114>, <-4*w + 51, -92>, <2*w + 51, -3*w + 11>, <2*w + 153, -7*w - 36>, <-3*w + 38, -69>, <-7*w + 89, -161>, <102, -4*w - 47>, <6*w + 102, -7*w + 56>, <7*w + 37, -5*w + 103>, <-5*w + 39, w - 104>, <-5*w + 90, -w - 128>, <-w + 13, -23>, <-3*w + 64, -w - 81>, <-2*w + 77, -2*w - 70>, <4*w + 102, -6*w + 21>, <4*w + 25, -3*w + 57>, <3*w + 89, -5*w + 10>, <153, -6*w - 71>, <6*w + 25, -4*w + 91>, <-w + 64, -2*w - 47>, <-6*w + 26, 2*w - 115>, <-2*w + 51, -w - 58>, <6*w + 127, -8*w + 44>, <-2*w + 3, w - 35>, , <-w + 14, -24>, <52, -2*w - 27>, <3*w + 9, -2*w + 45>, , <-2*w + 3, w - 36>, , <51, -2*w - 26>, <25, -w - 13>, <-2*w + 28, -49>, <3*w + 9, -2*w + 47>, <-w + 39, -w - 37>, <-7*w + 20, 3*w - 130>, <4*w + 47, -4*w + 45>, <-2*w + 53, -w - 61>, <-3*w + 67, -w - 85>, <-w + 65, -2*w - 50>, <2*w + 74, -4*w - 3>, <-3*w + 41, -73>, <-5*w + 43, w - 109>, <75, -3*w - 38>, <5*w + 82, -6*w + 46>, <9*w + 2, -5*w + 156>, <3*w + 34, -3*w + 35>, <-2*w + 5, w - 39>, , <2*w + 43, -3*w + 12>, <48, -2*w - 27>, , <5*w + 129, -8*w + 21>, <-4*w + 130, -3*w - 138>, <4*w + 143, -8*w - 4>, , <-w + 15, -25>, <2*w + 21, -2*w + 23>, <25, -w - 14>, <-w + 40, -w - 39>, <-2*w + 4, w - 37>, , <-2*w + 29, -52>, , <-2*w + 29, -51>, , <-w + 39, -w - 39>, , , <4*w + 41, -4*w + 51>, <-w + 62, -2*w - 51>, <-w + 86, -3*w - 64>, <3*w + 127, -7*w - 13>, <-w + 14, -25>, <3*w + 32, -3*w + 37>, <4*w + 43, -4*w + 49>, <-2*w + 52, -w - 63>, <-2*w + 4, w - 38>, <-2*w + 28, -51>, <49, -2*w - 26>, <-w + 38, -w - 38>, <2*w + 45, -3*w + 12>, <-4*w + 7, 2*w - 76>, <-2*w + 52, -w - 64>, <6*w + 40, -5*w + 87>, <-3*w + 41, -75>, <73, -3*w - 38>, , <5*w + 151, -9*w + 11>, <7*w + 4, -4*w + 122>, <5*w + 31, -4*w + 73>, <-w + 38, -w - 37>, <6*w + 42, -5*w + 85>, <10*w + 87, -9*w + 133>, <2*w + 121, -6*w - 26>, <-7*w + 144, -2*w - 197>, <3*w + 231, -11*w - 64>, <2*w + 46, -3*w + 12>, <-5*w + 68, -125>, <-3*w + 16, w - 62>, <4*w + 19, -3*w + 62>, , <-3*w + 162, -5*w - 137>, <4*w + 69, -5*w + 36>, <5*w + 80, -6*w + 48>, <4*w + 118, -7*w + 11>, <6*w + 17, -4*w + 98>, <-w + 112, -4*w - 75>, <5*w + 129, -8*w + 23>, <-15*w + 228, -w - 383>, <-6*w + 32, 2*w - 123>, <4*w + 167, -9*w - 14>, <-13*w + 176, -321>, <3*w + 328, -15*w - 114>, <-6*w + 81, -148>, <3*w + 156, -8*w - 26>, <-3*w + 188, -6*w - 149>, <-9*w + 269, -6*w - 297>, <7*w + 274, -15*w - 15>, <-11*w + 26, 5*w - 209>, <49, -2*w - 25>, <-11*w + 75, 3*w - 234>, <9*w + 124, -10*w + 97>, <-2*w + 199, -7*w - 137>, <-6*w + 3, 3*w - 110>, <20*w + 135, -16*w + 297>, <-20*w + 155, 4*w - 436>, <290, -12*w - 139>, <-11*w + 90, 2*w - 242>, <-8*w + 149, -2*w - 216>, <17*w + 197, -17*w + 213>, <-16*w + 8, 8*w - 293>, <8*w + 141, -10*w + 77>, <11*w + 200, -14*w + 103>, <-11*w + 211, -3*w - 300>, <11*w + 79, -9*w + 161>, <-17*w + 214, -410>, <-10*w + 5, 5*w - 184>, <-24*w + 36, 11*w - 453>, <-19*w + 190, 2*w - 436>, <361, -15*w - 173>, <24*w + 12, -13*w + 430>, <19*w + 171, -17*w + 263>, <-38*w + 19, 19*w - 699>, <14*w + 330, -21*w + 96>, <-14*w + 344, -7*w - 419>, <-8*w + 4, 4*w - 147>, <4*w + 22, -3*w + 62>, <-13*w + 115, 2*w - 291>, <-9*w + 137, -w - 229>, <-4*w + 26, w - 85>, <13*w + 102, -11*w + 187>, <9*w + 128, -10*w + 102>, <-5*w + 159, -4*w - 167>, <-15*w + 164, w - 351>, <-w + 181, -7*w - 105>, <-6*w + 340, -11*w - 272>, <4*w + 383, -18*w - 111>, <15*w + 149, -14*w + 201>, <5*w + 154, -9*w + 17>, , <6*w + 334, -17*w - 51>, <-4*w + 387, -14*w - 258>, <-5*w + 207, -6*w - 190>, <-9*w + 594, -20*w - 448>, <6*w + 21, -4*w + 99>, <-6*w + 27, 2*w - 122>, <48, -2*w - 23>, <5*w + 202, -11*w - 6>, <-10*w + 53, 3*w - 207>, <7*w + 153, -10*w + 54>, <-11*w + 18, 5*w - 208>, <-w + 85, -3*w - 59>, <4*w + 263, -13*w - 54>, <-7*w + 281, -8*w - 262>, <15*w + 4, -8*w + 270>, <9*w + 200, -13*w + 67>, <24*w + 204, -21*w + 337>, <-3*w + 544, -21*w - 316>, <-6*w + 196, -5*w - 203>, <-5*w + 15, 2*w - 98>, <-5*w + 63, -121>, <2*w + 71, -4*w + 2>, <-3*w + 86, -2*w - 96>, <6*w + 93, -7*w + 64>, , <-7*w + 64, w - 158>, <4*w + 70, -5*w + 39>, <-3*w + 134, -4*w - 119>, <-8*w + 5, 4*w - 148>, <5*w + 33, -4*w + 75>, <-8*w + 197, -4*w - 241>, <-3*w + 350, -13*w - 224>, <5*w + 153, -9*w + 17>, <20*w + 180, -18*w + 277>, <2*w + 431, -19*w - 172>, <-5*w + 87, -w - 133>, <-13*w + 332, -7*w - 397>, <-8*w + 365, -11*w - 322>, <-12*w + 56, 4*w - 245>, <-w + 109, -4*w - 71>, <16*w + 110, -13*w + 237>, <-4*w + 147, -4*w - 144>, <4*w + 166, -9*w - 8>, <17*w + 242, -19*w + 191>, <-2*w + 459, -18*w - 259>, <19*w + 24, -11*w + 333>, <-6*w + 52, w - 134>, <-20*w + 85, 7*w - 404>, <-w + 133, -5*w - 83>, <-8*w + 174, -3*w - 230>, <-w + 61, -2*w - 48>, <6*w + 92, -7*w + 64>, <9*w + 150, -11*w + 90>, <5*w + 153, -9*w + 16>, <6*w + 20, -4*w + 99>, <-4*w + 75, -w - 109>, <17*w + 362, -24*w + 132>, <-19*w + 266, -w - 474>, <-6*w + 4, 3*w - 111>, <-3*w + 38, -73>, <5*w + 129, -8*w + 28>, <-7*w + 113, -w - 182>, <10*w + 186, -13*w + 91>, , <3*w + 10, -2*w + 50>, , <4*w + 165, -9*w - 7>, <2*w + 238, -11*w - 79>, <-5*w + 39, w - 110>, <-20*w + 228, w - 475>, <-2*w + 121, -4*w - 95>, <7*w + 487, -24*w - 108>, <-8*w + 77, w - 183>, <8*w + 115, -9*w + 90>, <3*w + 274, -13*w - 78>, <-3*w + 110, -3*w - 108>, <20*w + 251, -21*w + 242>, <8*w + 43, -6*w + 125>, <-13*w + 116, 2*w - 293>, <-5*w + 231, -7*w - 203>, <3*w + 154, -8*w - 20>, <50*w + 279, -38*w + 774>, <8*w + 355, -19*w - 27>, <-23*w + 820, -22*w - 817>, <-2*w + 746, -30*w - 399>, <6*w + 1101, -49*w - 426>, <-42*w + 76, 19*w - 801>, <32*w + 315, -30*w + 429>, <-23*w + 748, -19*w - 782>, <-65*w + 824, -1583>, <30*w + 1061, -60*w + 30>, <53*w + 313, -41*w + 812>, <-33*w + 1139, -30*w - 1154>, <-63*w + 78, 30*w - 1184>, <-45*w + 42, 22*w - 839>, <11*w + 317, -19*w + 46>, <-12*w + 1065, -38*w - 736>, <43*w + 632, -49*w + 475>, <-30*w + 188, 8*w - 637>, <11*w + 245, -16*w + 81>, <8*w + 283, -16*w + 8>, <-27*w + 78, 11*w - 529>, <5*w + 321, -16*w - 65>, <-22*w + 471, -8*w - 629>, <-16*w + 467, -11*w - 518>, <-13*w + 357, -8*w - 410>, <-21*w + 74, 8*w - 418>, <32*w + 243, -27*w + 464>, <-5*w + 712, -27*w - 437>, <19*w + 672, -38*w + 19>, <2*w + 431, -19*w - 173>, <-21*w + 146, 5*w - 453>, <5*w + 393, -19*w - 100>, <26*w + 247, -24*w + 353>, <-18*w + 108, 5*w - 380>, <-18*w + 36, 8*w - 345>, <-10*w + 535, -17*w - 442>, <-2*w + 818, -33*w - 434>, <-20*w + 854, -25*w - 779>, <-31*w + 465, -3*w - 790>, <35*w + 349, -33*w + 467>, <-34*w + 359, 3*w - 793>, <45*w + 30, -25*w + 804>, <14*w + 279, -19*w + 119>, <-16*w + 323, -5*w - 448>, <-2*w + 602, -24*w - 329>, <18*w + 36, -11*w + 310>, <-28*w + 427, -3*w - 717>, <11*w + 389, -22*w + 11>, <29*w + 425, -33*w + 321>, <22*w + 850, -47*w - 13>, <-27*w + 1207, -36*w - 1078>, <-31*w + 321, 3*w - 720>, <-7*w + 353, -11*w - 299>, <4*w + 742, -33*w - 288>, <63*w + 66, -36*w + 1114>, <25*w + 812, -47*w + 60>, <-3*w + 13, w - 61>, <7*w + 81, -7*w + 90>, <-3*w + 180, -6*w - 140>, , <-6*w + 169, -4*w - 190>, <4*w + 22, -3*w + 63>, <-6*w + 50, w - 134>, <-w + 60, -2*w - 47>, <-2*w + 72, -2*w - 71>, <-16*w + 8, 8*w - 297>, <16*w + 159, -15*w + 217>, <167, -7*w - 80>, <8*w + 640, -31*w - 160>, <-16*w + 175, w - 377>, <-8*w + 648, -23*w - 457>, <-7*w + 87, -170>, <17*w + 218, -18*w + 207>, <-6*w + 217, -6*w - 214>, <119, -5*w - 57>, <-8*w + 4, 4*w - 149>, <-4*w + 97, -2*w - 120>, <-9*w + 254, -6*w - 287>, , <6*w + 211, -12*w + 9>, <4*w + 93, -6*w + 29>, <9*w + 245, -15*w + 48>, <-3*w + 156, -5*w - 130>, <31*w + 186, -24*w + 481>, <-24*w + 535, -10*w - 698>, <7*w + 721, -34*w - 217>, <-7*w + 63, w - 159>, <784, -33*w - 376>, <-20*w + 628, -16*w - 669>, <-11*w + 279, -6*w - 336>, <5*w + 33, -4*w + 76>, <15*w + 4, -8*w + 274>, <-4*w + 501, -19*w - 314>, <8*w + 67, -7*w + 115>, <2*w + 189, -9*w - 54>, <7*w + 79, -7*w + 90>, <-w + 84, -3*w - 59>, <-7*w + 88, -171>, <3*w + 177, -9*w - 31>, <6*w + 163, -10*w + 31>, <-4*w + 26, w - 86>, <6*w + 44, -5*w + 89>, <2*w + 70, -4*w + 3>, <7*w + 8, -4*w + 125>, <-2*w + 96, -3*w - 83>, <-6*w + 122, -2*w - 169>, <3*w + 34, -3*w + 39>, <-8*w + 241, -6*w - 263>, <-5*w + 275, -9*w - 224>, <20*w + 369, -26*w + 192>, <-11*w + 278, -6*w - 336>, <30*w + 293, -28*w + 413>, <-8*w + 312, -9*w - 297>, <-19*w + 590, -15*w - 633>, <11*w + 267, -17*w + 75>, <8*w + 304, -17*w + 2>, <-30*w + 323, 2*w - 708>, <19*w + 571, -34*w + 77>, <-11*w + 207, -3*w - 302>, <-14*w + 244, -3*w - 375>, <3*w + 508, -23*w - 188>, <-3*w + 37, -73>, <11*w + 196, -14*w + 109>, <14*w + 230, -17*w + 148>, <-3*w + 511, -20*w - 300>, <8*w + 233, -14*w + 36>, <5*w + 270, -14*w - 37>, <-20*w + 389, -6*w - 555>, , <-6*w + 49, w - 134>, <-5*w + 84, -w - 132>, <-2*w + 48, -w - 60>, <-6*w + 50, w - 135>, <-w + 83, -3*w - 58>, , <6*w + 44, -5*w + 90>, <2*w + 46, -3*w + 15>, , <-w + 36, -w - 36>, <6*w + 43, -5*w + 90>, <5*w + 79, -6*w + 54>, <-w + 107, -4*w - 70>, <-6*w + 28, 2*w - 119>, <-12*w + 31, 5*w - 226>, <-10*w + 179, -2*w - 262>, <5*w + 10, -3*w + 83>, <-5*w + 15, 2*w - 95>, <25, -w - 12>, <10*w + 169, -12*w + 95>, <-4*w + 126, -3*w - 131>, <-4*w + 374, -13*w - 250>, <-14*w + 7, 7*w - 250>, <7*w + 753, -34*w - 238>, <-7*w + 760, -27*w - 488>, <-14*w + 255, -3*w - 369>, <25*w + 620, -38*w + 143>, <4*w + 122, -7*w + 12>, <4*w + 370, -17*w - 107>, <29*w + 494, -35*w + 274>, <25*w + 124, -18*w + 381>, <11*w + 379, -21*w + 12>, <-74*w + 384, 23*w - 1488>, <61*w + 875, -67*w + 655>, <11*w + 131, -11*w + 131>, <-21*w + 246, w - 488>, <3*w + 110, -6*w>, <12*w + 465, -25*w - 12>, <5*w + 481, -22*w - 143>, <-19*w + 171, 3*w - 417>, <-23*w + 297, -548>, <-2*w + 497, -19*w - 274>, <-116*w + 10, 60*w - 2049>, <21*w + 200, -19*w + 274>, <-16*w + 281, -3*w - 417>, <17*w + 326, -22*w + 143>, <30*w + 233, -25*w + 417>, <-22*w + 482, -8*w - 619>, <-18*w + 604, -15*w - 607>, <19*w + 598, -34*w + 48>, <45*w + 709, -52*w + 453>, <-30*w + 263, 5*w - 655>, <22*w + 460, -30*w + 167>, <18*w + 586, -33*w + 36>, <-19*w + 617, -15*w - 631>, <-45*w + 754, -7*w - 1155>, <-8*w + 4, 4*w - 143>, <20*w + 312, -23*w + 203>, <-13*w + 564, -16*w - 500>, <12*w + 93, -10*w + 167>, <-5*w + 337, -11*w - 250>, <21*w + 101, -15*w + 322>, <-21*w + 122, 6*w - 429>, <17*w + 425, -26*w + 96>, <-17*w + 442, -9*w - 512>, <-94*w + 22, 48*w - 1669>, <13*w + 105, -11*w + 179>, <-17*w + 219, -405>, <-94*w + 72, 46*w - 1693>, <-13*w + 118, 2*w - 286>, <17*w + 202, -17*w + 203>, <223, -9*w - 107>, <21*w + 324, -24*w + 215>, , <-4*w + 76, -w - 107>, <-6*w + 77, -143>, <173, -7*w - 83>, <-w + 13, -24>, <6*w + 71, -6*w + 72>, <4*w + 72, -5*w + 36>, <-20*w + 332, -3*w - 512>, <13*w + 551, -29*w - 35>, <-12*w + 105, 2*w - 262>, <5*w + 332, -16*w - 71>, <-3*w + 113, -3*w - 107>, <-12*w + 477, -13*w - 440>, <-5*w + 486, -17*w - 321>, <19*w + 152, -16*w + 262>, <23*w + 274, -23*w + 274>, <2*w + 495, -21*w - 202>, <-116*w + 106, 56*w - 2095>, <-21*w + 221, 2*w - 476>, <16*w + 265, -19*w + 155>, <-17*w + 343, -5*w - 464>, <-8*w + 32, 3*w - 155>, <3*w + 35, -3*w + 35>, <-2*w + 77, -2*w - 73>, <-4*w + 104, -2*w - 121>, , <6*w + 45, -5*w + 82>, <4*w + 72, -5*w + 34>, <-6*w + 5, 3*w - 107>, <-3*w + 40, -72>, <2*w + 249, -11*w - 88>, <7*w + 107, -8*w + 69>, <-9*w + 15, 4*w - 161>, <6*w + 203, -11*w + 7>, <9*w + 36, -6*w + 137>, <-8*w + 181, -3*w - 222>, <128, -5*w - 60>, , <-2*w + 154, -5*w - 107>, , <-3*w + 65, -w - 82>, <-7*w + 16, 3*w - 129>, <4*w + 99, -6*w + 22>, <-w + 139, -5*w - 84>, <-2*w + 1, w - 35>, <-2*w + 2, w - 34>, , <-w + 41, -w - 37>, <-w + 14, -23>, <53, -2*w - 26>, <26, -w - 13>, <-2*w + 28, -47>, <2*w + 25, -2*w + 21>, <-3*w + 15, w - 57>, <3*w + 38, -3*w + 31>, <-w + 40, -w - 36>, <-2*w + 54, -w - 59>, <5*w + 11, -3*w + 77>, , <2*w + 52, -3*w + 8>, <-3*w + 68, -w - 82>, <3*w + 65, -4*w + 18>, <5*w + 117, -7*w + 26>, <-5*w + 122, -2*w - 141>, <-3*w + 41, -69>, <3*w + 12, -2*w + 44>, , <-w + 40, -w - 35>, , <2*w, -w + 33>, <53, -2*w - 25>, <26, -w - 12>, <2*w + 26, -2*w + 21>, <-2*w + 27, -46>, <-2*w + 2, w - 31>, , <-26*w + 13, 13*w - 428>, <26*w + 14, -14*w + 415>, <-13*w + 451, -10*w - 428>, <14*w + 451, -24*w + 10>, <-12*w + 464, -11*w - 418>, <5*w + 180, -9*w - 9>, <33*w + 503, -35*w + 271>, <-33*w + 536, -2*w - 772>, <5*w + 854, -33*w - 334>, <2*w + 27, -2*w + 18>, <-5*w + 129, -2*w - 140>, <-3*w + 156, -4*w - 122>, <-2*w + 1, w - 31>, , <-w + 43, -w - 36>, <114, -4*w - 55>, <57, -2*w - 27>, <2*w + 28, -2*w + 17>, <29, -w - 14>, <-w + 15, -23>, <57, -2*w - 28>, <-2*w + 30, -45>, , <2*w, -w + 30>, <-9*w + 323, -7*w - 290>, <8*w + 24, -5*w + 128>, <2*w + 75, -4*w>, <4*w + 100, -6*w + 23>, <-w + 38, -w - 35>, <-6*w + 51, w - 128>, <5*w + 37, -4*w + 70>, <2*w + 125, -6*w - 23>, <-3*w + 163, -5*w - 128>, <-5*w + 13, 2*w - 93>, <-3*w + 88, -2*w - 93>, <2*w, -w + 35>, <4*w + 25, -3*w + 58>, <-3*w + 63, -w - 81>, <3*w + 63, -4*w + 23>, , <3*w + 37, -3*w + 35>, <-4*w + 76, -w - 105>, <-7*w + 114, -w - 175>, <-5*w + 38, w - 104>, , <76, -3*w - 35>, <3*w + 89, -5*w + 11>, <-3*w + 114, -3*w - 104>, <11*w + 88, -9*w + 148>, <9*w + 139, -10*w + 90>, <-w + 141, -5*w - 83>, <4*w + 51, -4*w + 45>, <-w + 64, -2*w - 50>, <-2*w + 2, w - 36>, <-4*w + 80, -w - 110>, <-w + 14, -26>, , <2*w + 21, -2*w + 24>, <-5*w + 45, w - 115>, <-w + 111, -4*w - 76>, <8*w + 15, -5*w + 134>, <-4*w + 79, -w - 111>, <-3*w + 90, -2*w - 99>, <-5*w + 117, -2*w - 148>, <-2*w + 27, -49>, <-3*w + 65, -w - 86>, <6*w + 141, -9*w + 35>, <148, -6*w - 75>, <-15*w + 30, 7*w - 281>, <-2*w + 51, -w - 62>, <7*w + 76, -7*w + 87>, <-7*w + 94, -174>, <-2*w + 101, -3*w - 87>, <-4*w + 153, -4*w - 149>, <-2*w + 150, -5*w - 112>, <3*w + 107, -6*w - 1>, <9*w + 26, -6*w + 147>, <-w + 87, -3*w - 62>, <-2*w + 2, w - 37>, <24, -w - 12>, <-4*w + 125, -3*w - 135>, , <7*w + 29, -5*w + 112>, <3*w + 130, -7*w - 11>, <2*w + 22, -2*w + 25>, <7*w + 53, -6*w + 100>, <-2*w + 147, -5*w - 110>, <-10*w + 29, 4*w - 195>, <7*w + 81, -7*w + 88>, <-3*w + 110, -3*w - 107>, <-9*w + 113, -217>, <7*w + 250, -14*w + 7>, <3*w + 59, -4*w + 26>, <4*w + 143, -8*w + 4>, <-5*w + 256, -8*w - 213>, <13*w + 30, -8*w + 221>, , <6*w + 287, -15*w - 29>, <-6*w + 293, -9*w - 249>, <-3*w + 62, -w - 84>, <313, -13*w - 150>, <-7*w + 160, -3*w - 204>, <3*w + 203, -10*w - 43>, <-3*w + 206, -7*w - 153>, <8*w + 285, -16*w + 8>, <4*w + 94, -6*w + 27>, <-6*w + 100, -w - 157>, , <-10*w + 54, 3*w - 207>, <7*w + 153, -10*w + 53>, <7*w + 201, -12*w + 30>, <5*w + 226, -12*w - 18>, <2*w + 119, -6*w - 21>, <2*w + 263, -12*w - 91>, <192, -8*w - 93>, <120, -5*w - 58>, <-3*w + 206, -7*w - 154>, <-20*w + 60, 8*w - 393>, <7*w + 392, -20*w - 62>, <7*w + 32, -5*w + 112>, <-2*w + 49, -w - 60>, <7*w + 176, -11*w + 42>, <-6*w + 196, -5*w - 204>, <10*w + 162, -12*w + 103>, <8*w + 91, -8*w + 101>, <5*w + 57, -5*w + 63>, <10*w + 42, -7*w + 161>, <13*w + 317, -20*w + 82>, <-12*w + 345, -8*w - 385>, <4*w + 214, -11*w - 31>, <-11*w + 19, 5*w - 209>, <10*w + 90, -9*w + 138>, <-3*w + 14, w - 61>, <-2*w + 146, -5*w - 107>, <-w + 37, -w - 36>, <4*w + 118, -7*w + 15>, <11*w + 125, -11*w + 139>, <-2*w + 1, w - 37>, <3*w + 130, -7*w - 8>, <264, -11*w - 128>, <93*w + 1127, -96*w + 1144>, <3*w + 2268, -96*w - 1048>, <2*w + 94, -5*w - 8>, <7*w + 80, -7*w + 90>, <499, -21*w - 239>, <5*w + 128, -8*w + 30>, <-5*w + 346, -12*w - 258>, <16*w + 63, -11*w + 265>, <-24*w + 320, -w - 596>, <-16*w + 8, 8*w - 299>, <19*w + 26, -11*w + 338>, <616, -26*w - 295>, <25*w + 497, -34*w + 223>, <-25*w + 522, -9*w - 711>, <17*w + 193, -17*w + 221>, <-17*w + 210, -414>, <-19*w + 45, 8*w - 372>, <5*w + 341, -17*w - 71>, <-16*w + 79, 5*w - 333>, <24*w + 296, -25*w + 301>, <7*w + 7, -4*w + 126>, <5*w + 9, -3*w + 88>, <-2*w + 143, -5*w - 106>, <-3*w + 138, -4*w - 119>, <4*w + 147, -8*w>, <3*w + 135, -7*w - 12>, <19*w + 276, -21*w + 202>, <-19*w + 295, -2*w - 476>, <3*w + 433, -19*w - 155>, <-3*w + 436, -16*w - 262>, <16*w + 414, -25*w + 83>, <-16*w + 430, -9*w - 488>, <-4*w + 151, -4*w - 143>, <14*w + 241, -17*w + 131>, <-15*w + 243, -2*w - 381>, <15*w + 228, -17*w + 155>, <4*w + 97, -6*w + 24>, <-4*w + 101, -2*w - 119>, <2*w + 197, -9*w - 59>, <198, -8*w - 95>, <-10*w + 5, 5*w - 179>, <-2*w + 199, -7*w - 131>, <5*w + 8, -3*w + 83>, <-4*w + 29, w - 84>, <4*w + 21, -3*w + 59>, <3*w + 60, -4*w + 22>, <-2*w + 127, -4*w - 98>, <-5*w + 67, -120>, <-2*w + 26, -47>, <6*w + 73, -6*w + 69>, <2*w + 125, -6*w - 25>, <-3*w + 40, -69>, , <-w + 44, -w - 37>, <13*w + 465, -24*w - 13>, <-13*w + 478, -11*w - 441>, <51*w + 904, -60*w + 392>, <-51*w + 955, -9*w - 1287>, <13*w + 1381, -58*w - 454>, <-13*w + 1394, -45*w - 882>, <-2*w + 29, -45>, <56, -2*w - 27>, <3*w + 101, -5*w - 4>, <-3*w + 104, -2*w - 95>, <2*w, -w + 32>, <-4*w + 25, w - 81>, <5*w + 62, -5*w + 58>, , <-3*w + 91, -2*w - 98>, <-8*w + 12, 4*w - 147>, <-2*w + 100, -3*w - 88>, <3*w + 33, -3*w + 37>, <169, -7*w - 81>, <2*w + 23, -2*w + 25>, <-90*w + 1141, -2192>, , <-5*w + 14, 2*w - 99>, <75, -3*w - 37>, <-3*w + 15, w - 59>, <2*w + 24, -2*w + 23>, <51, -2*w - 25>, , <27, -w - 13>, <-2*w + 1, w - 32>, <75, -3*w - 35>, <-w + 63, -2*w - 47>, , <-7*w + 88, -169>, <3*w + 107, -6*w + 3>, <471, -19*w - 226>, <-2*w + 1, w - 34>, <2*w + 25, -2*w + 22>, <-2*w + 27, -47>, , <-3*w + 15, w - 61>, , <-w + 39, -w - 36>, <-2*w + 25, -48>, , <24, -w - 11>, <0, 1> ] /* Voronoi top cells */ [ { 1, 2, 3, 4 }, { 5, 6, 7, 8 }, { 9, 10, 11, 12 }, { 13, 14, 15, 16 }, { 13, 17, 18, 19 }, { 20, 21, 22, 23, 24, 25 }, { 26, 27, 28, 29 }, { 30, 31, 32, 33 }, { 22, 34, 35, 36 }, { 20, 37, 38, 39 }, { 40, 41, 42, 43 }, { 40, 41, 44, 45 }, { 40, 45, 46, 47 }, { 48, 49, 50, 51 }, { 52, 53, 54, 55 }, { 56, 57, 58, 59 }, { 56, 57, 60, 61 }, { 56, 61, 62, 63 }, { 41, 42, 43, 64 }, { 64, 65, 66, 67 }, { 41, 43, 64, 68 }, { 41, 68, 69, 70 }, { 71, 72, 73, 74 }, { 71, 75, 76, 77 }, { 75, 76, 78, 79, 80 }, { 57, 58, 59, 81 }, { 81, 82, 83, 84 }, { 57, 58, 81, 85 }, { 57, 85, 86, 87 }, { 88, 89, 90, 91 }, { 89, 90, 92, 93 }, { 94, 95, 96, 97 }, { 94, 95, 98, 99 }, { 96, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110 }, { 94, 98, 100, 111 }, { 112, 113, 114, 115 }, { 113, 114, 116, 117 }, { 118, 119, 120, 121 }, { 118, 121, 122, 123 }, { 119, 124, 125, 126 }, { 125, 126, 127, 128 }, { 129, 130, 131, 132 }, { 129, 133, 134, 135 }, { 136, 137, 138, 139 }, { 137, 140, 141, 142 }, { 143, 144, 145, 146 }, { 145, 147, 148, 149 }, { 150, 151, 152, 153 }, { 150, 154, 155, 156 }, { 157, 158, 159, 160 }, { 157, 161, 162, 163 }, { 157, 161, 164, 165 }, { 157, 158, 166, 167 }, { 168, 169, 170, 171 }, { 164, 168, 172, 173 }, { 161, 164, 165, 172 }, { 169, 174, 175, 176 }, { 166, 174, 177, 178 }, { 158, 166, 167, 177 }, { 179, 180, 181, 182, 183, 184 }, { 185, 186, 187, 188 }, { 189, 190, 191, 192 }, { 193, 194, 195, 196 }, { 197, 198, 199, 200, 201 }, { 202, 203, 204, 205 }, { 202, 203, 206, 207, 208, 209 }, { 196, 210, 211, 212 }, { 213, 214, 215, 216 }, { 215, 216, 217, 218 }, { 212, 215, 218, 219, 220, 221 }, { 194, 196, 212, 219 }, { 216, 217, 222, 223 }, { 224, 225, 226, 227 }, { 225, 228, 229, 230 }, { 231, 232, 233, 234, 235 }, { 236, 237, 238, 239 }, { 240, 241, 242, 243 }, { 244, 245, 246, 247 }, { 245, 248, 249, 250 }, { 236, 240, 250, 251 }, { 236, 249, 250, 252 }, { 236, 249, 253, 254 }, { 169, 249, 253, 255 }, { 256, 257, 258, 259 }, { 260, 261, 262, 263 }, { 245, 249, 264, 265, 266 }, { 267, 268, 269, 270 }, { 268, 271, 272, 273 }, { 268, 272, 274, 275 }, { 268, 276, 277, 278 }, { 279, 280, 281, 282 }, { 185, 187, 283, 284 }, { 281, 285, 286, 287 }, { 285, 287, 288, 289 }, { 287, 289, 290, 291 }, { 292, 293, 294, 295 }, { 281, 287, 296, 297 }, { 298, 299, 300, 301 }, { 298, 300, 302, 303 }, { 304, 305, 306, 307 }, { 308, 309, 310, 311 }, { 280, 312, 313, 314, 315, 316 }, { 280, 312, 316, 317, 318 }, { 1, 312, 319, 320 }, { 312, 321, 322, 323 }, { 1, 3, 4, 324, 325 }, { 326, 327, 328, 329 }, { 330, 331, 332, 333 }, { 1, 322, 334, 335 }, { 322, 330, 335, 336 }, { 335, 336, 337, 338 }, { 1, 335, 339, 340 }, { 341, 342, 343, 344 }, { 331, 342, 343, 345 }, { 346, 347, 348, 349 }, { 350, 351, 352, 353 }, { 308, 331, 332, 342 }, { 342, 344, 354, 355 }, { 356, 357, 358, 359 }, { 348, 360, 361, 362 }, { 363, 364, 365, 366 }, { 367, 368, 369, 370 }, { 362, 371, 372, 373, 374, 375 }, { 368, 376, 377, 378 }, { 367, 378, 379, 380 }, { 381, 382, 383, 384 }, { 384, 385, 386, 387 }, { 386, 388, 389, 390, 391 }, { 384, 389, 392, 393 }, { 394, 395, 396, 397 }, { 394, 397, 398, 399 }, { 396, 399, 400, 401, 402 }, { 403, 404, 405, 406 }, { 403, 407, 408, 409 }, { 410, 411, 412, 413 }, { 394, 411, 412, 414 }, { 415, 416, 417, 418 }, { 394, 415, 417, 419 }, { 394, 419, 420, 421 }, { 420, 422, 423, 424, 425 }, { 417, 423, 426, 427 }, { 428, 429, 430, 431 }, { 430, 431, 432, 433, 434, 435 }, { 404, 432, 433, 436 }, { 437, 438, 439, 440, 441, 442 }, { 439, 440, 443, 444, 445 }, { 446, 447, 448, 449 }, { 447, 450, 451, 452 }, { 447, 453, 454, 455 }, { 456, 457, 458, 459 }, { 457, 460, 461, 462 }, { 457, 463, 464, 465 }, { 6, 30, 466, 467 }, { 468, 469, 470, 471 }, { 7, 472, 473, 474 }, { 5, 6, 7, 472 }, { 6, 7, 473, 475 }, { 30, 33, 476, 477 }, { 6, 30, 467, 478 }, { 473, 479, 480, 481 }, { 482, 483, 484, 485 }, { 9, 10, 11, 13 }, { 13, 14, 486, 487 }, { 14, 486, 488, 489 }, { 13, 14, 15, 488 }, { 486, 490, 491, 492 }, { 11, 477, 493, 494 }, { 486, 490, 492, 495, 496, 497 }, { 13, 18, 19, 486, 495 }, { 10, 11, 13, 498 }, { 13, 490, 497, 498 }, { 22, 499, 500, 501 }, { 499, 500, 502, 503 }, { 502, 504, 505, 506, 507, 508 }, { 20, 505, 508, 509, 510 }, { 20, 22, 23, 508, 510, 511 }, { 20, 512, 513, 514 }, { 505, 513, 514, 515 }, { 477, 516, 517, 518 }, { 513, 517, 518, 519 }, { 477, 518, 520, 521 }, { 500, 518, 520, 522 }, { 513, 518, 519, 523 }, { 518, 523, 524, 525, 526 }, { 500, 518, 522, 524 }, { 500, 513, 523, 524, 527 }, { 11, 477, 494, 528 }, { 477, 500, 520, 529 }, { 477, 528, 529, 530 }, { 500, 529, 530, 531 }, { 11, 528, 530, 532 }, { 11, 532, 533, 534 }, { 22, 533, 535, 536 }, { 22, 500, 535, 537 }, { 20, 513, 538, 539 }, { 20, 29, 538, 540 }, { 26, 28, 29, 30 }, { 30, 31, 33, 477 }, { 28, 30, 31, 541 }, { 31, 477, 541, 542 }, { 477, 513, 517, 542 }, { 513, 541, 542, 543 }, { 22, 533, 544, 545 }, { 544, 546, 547, 548 }, { 22, 544, 545, 547 }, { 22, 546, 547, 549 }, { 20, 22, 35, 36, 37, 38 }, { 20, 29, 550, 551 }, { 20, 550, 551, 552 }, { 20, 546, 552, 553 }, { 546, 551, 552, 554 }, { 47, 555, 556, 557 }, { 47, 556, 558, 559 }, { 40, 41, 42, 65 }, { 40, 41, 45, 47 }, { 560, 561, 562, 563 }, { 564, 565, 566, 567 }, { 564, 566, 568, 569 }, { 566, 568, 570, 571 }, { 49, 50, 562, 572 }, { 48, 49, 50, 573 }, { 49, 574, 575, 576 }, { 53, 55, 577, 578 }, { 52, 53, 55, 573 }, { 53, 574, 579, 580 }, { 581, 582, 583, 584 }, { 581, 584, 585, 586 }, { 579, 581, 583, 587 }, { 53, 579, 581, 588 }, { 53, 577, 581, 589 }, { 581, 585, 590, 591 }, { 581, 590, 592, 593 }, { 482, 594, 595, 596 }, { 63, 482, 596, 597 }, { 63, 595, 596, 598 }, { 56, 57, 59, 82 }, { 56, 57, 61, 63 }, { 577, 599, 600, 601 }, { 599, 602, 603, 604 }, { 605, 606, 607, 608 }, { 609, 610, 611, 612 }, { 613, 614, 615, 616 }, { 605, 617, 618, 619 }, { 620, 621, 622, 623 }, { 620, 624, 625, 626 }, { 41, 42, 64, 65 }, { 64, 65, 66, 70 }, { 41, 64, 68, 70 }, { 65, 627, 628, 629 }, { 73, 630, 631, 632 }, { 73, 627, 632, 633 }, { 71, 73, 630, 631 }, { 71, 72, 73, 78 }, { 76, 634, 635, 636 }, { 71, 76, 634, 635 }, { 71, 75, 76, 78 }, { 57, 59, 81, 82 }, { 81, 82, 83, 87 }, { 57, 81, 85, 87 }, { 82, 637, 638, 639 }, { 76, 636, 637, 640 }, { 88, 89, 90, 92 }, { 100, 641, 642, 643 }, { 94, 95, 96, 98, 100 }, { 96, 100, 109, 644, 645, 646 }, { 98, 100, 111, 647 }, { 112, 113, 114, 116 }, { 119, 124, 648, 649 }, { 119, 650, 651, 652 }, { 119, 652, 653, 654 }, { 119, 120, 655, 656 }, { 119, 653, 656, 657 }, { 653, 658, 659, 660, 661 }, { 658, 659, 662, 663 }, { 655, 656, 658, 662, 663 }, { 653, 655, 656, 658 }, { 112, 664, 665, 666 }, { 664, 666, 667, 668, 669 }, { 668, 669, 670, 671 }, { 664, 668, 671, 672 }, { 668, 671, 672, 673 }, { 655, 674, 675, 676 }, { 122, 674, 677, 678 }, { 119, 120, 121, 655 }, { 121, 122, 655, 677 }, { 118, 119, 121, 122 }, { 119, 124, 126, 648 }, { 119, 125, 126, 127 }, { 648, 679, 680, 681 }, { 126, 127, 648, 682 }, { 127, 679, 682, 683 }, { 129, 684, 685, 686 }, { 129, 133, 687, 688 }, { 130, 136, 689, 690, 691, 692 }, { 136, 693, 694, 695 }, { 130, 696, 697, 698 }, { 129, 130, 131, 697 }, { 129, 133, 134, 697 }, { 136, 137, 684, 689, 699, 700 }, { 136, 137, 138, 694 }, { 137, 140, 141, 694 }, { 143, 145, 146, 148, 149 }, { 154, 701, 702, 703 }, { 150, 151, 152, 154, 155 }, { 150, 151, 153, 704 }, { 150, 154, 156, 704 }, { 151, 705, 706, 707 }, { 137, 684, 708, 709 }, { 137, 140, 710, 711 }, { 88, 712, 713, 714 }, { 712, 714, 715, 716, 717 }, { 716, 717, 718, 719 }, { 712, 716, 719, 720 }, { 716, 719, 720, 721 }, { 722, 723, 724, 725 }, { 724, 725, 726, 727 }, { 722, 723, 725, 728 }, { 723, 729, 730, 731 }, { 723, 728, 729, 732 }, { 168, 169, 733, 734 }, { 169, 174, 735, 736 }, { 157, 158, 159, 161, 162 }, { 157, 161, 164, 168 }, { 157, 158, 166, 174 }, { 168, 169, 170, 737 }, { 168, 172, 267, 737 }, { 161, 172, 267, 738 }, { 161, 164, 168, 172 }, { 169, 174, 175, 739 }, { 174, 177, 739, 740 }, { 158, 166, 174, 177 }, { 158, 177, 740, 741 }, { 180, 182, 742, 743, 744 }, { 179, 180, 181, 182, 646, 745 }, { 185, 746, 747, 748 }, { 746, 747, 749, 750 }, { 185, 186, 188, 746 }, { 185, 186, 187, 751 }, { 746, 749, 750, 752 }, { 749, 750, 752, 753 }, { 753, 754, 755, 756 }, { 754, 755, 756, 757 }, { 758, 759, 760, 761 }, { 757, 760, 761, 762, 763, 764 }, { 758, 759, 760, 765 }, { 760, 765, 766, 767 }, { 189, 768, 769, 770 }, { 759, 768, 770, 771 }, { 189, 190, 191, 772 }, { 189, 190, 192, 770 }, { 759, 770, 771, 773 }, { 759, 771, 773, 774 }, { 765, 766, 767, 774 }, { 194, 195, 196, 210 }, { 194, 195, 775, 776 }, { 197, 198, 199, 777 }, { 759, 778, 779, 780, 781 }, { 202, 203, 204, 207, 208, 782, 783, 784, 785 }, { 202, 782, 786, 787, 788 }, { 789, 790, 791, 792 }, { 225, 789, 791, 793 }, { 789, 793, 794, 795 }, { 789, 790, 796, 797 }, { 789, 795, 797, 798 }, { 194, 196, 210, 212 }, { 213, 215, 216, 217 }, { 194, 212, 215, 217, 218, 219 }, { 225, 793, 795, 799 }, { 213, 216, 217, 222 }, { 217, 222, 224, 800 }, { 224, 225, 227, 801 }, { 225, 229, 230, 801 }, { 232, 802, 803, 804 }, { 803, 804, 805, 806 }, { 232, 803, 807, 808, 809 }, { 803, 805, 806, 810 }, { 803, 810, 811, 812 }, { 805, 813, 814, 815 }, { 805, 810, 813, 816 }, { 810, 811, 812, 813 }, { 231, 232, 234, 817 }, { 231, 232, 818, 819 }, { 232, 802, 804, 818 }, { 236, 238, 239, 240, 241, 243 }, { 240, 244, 245, 247 }, { 236, 240, 245, 249, 250 }, { 169, 236, 249, 253 }, { 805, 814, 820, 821, 822 }, { 258, 260, 821, 822, 823, 824 }, { 257, 258, 259, 260, 261, 262 }, { 271, 277, 825, 826 }, { 169, 244, 245, 249, 265 }, { 267, 275, 737, 827 }, { 267, 268, 269, 275 }, { 268, 271, 272, 275 }, { 267, 268, 277, 828 }, { 268, 271, 276, 277 }, { 280, 281, 285, 286 }, { 185, 279, 280, 281 }, { 185, 187, 284, 751 }, { 288, 291, 303, 829 }, { 281, 285, 287, 288 }, { 287, 288, 289, 291 }, { 281, 293, 294, 295 }, { 281, 287, 291, 297 }, { 281, 294, 296, 297 }, { 298, 299, 300, 830 }, { 298, 300, 303, 308 }, { 291, 298, 303, 831 }, { 304, 305, 307, 832 }, { 308, 309, 311, 330 }, { 210, 280, 312, 313, 315, 833 }, { 280, 288, 312, 317, 318, 330 }, { 1, 305, 312, 320 }, { 312, 321, 322, 330, 834 }, { 1, 312, 322, 334 }, { 1, 324, 325, 326, 835 }, { 1, 326, 327, 328 }, { 1, 327, 339, 340 }, { 308, 330, 331, 332 }, { 330, 331, 333, 337 }, { 1, 322, 330, 335 }, { 330, 335, 336, 337 }, { 1, 335, 337, 339 }, { 342, 343, 344, 358 }, { 308, 331, 342, 343 }, { 331, 337, 343, 836 }, { 351, 837, 838, 839 }, { 346, 348, 349, 839 }, { 346, 351, 839, 840 }, { 348, 841, 842, 843 }, { 350, 351, 353, 844 }, { 346, 351, 844, 845 }, { 308, 332, 342, 354 }, { 342, 344, 354, 358 }, { 356, 358, 846, 847, 848 }, { 354, 356, 357, 358 }, { 364, 365, 367, 849 }, { 308, 839, 849, 850 }, { 348, 349, 361, 839, 849 }, { 362, 367, 849, 851 }, { 348, 361, 362, 849 }, { 363, 364, 365, 367 }, { 363, 367, 368, 369 }, { 362, 367, 371, 375 }, { 348, 362, 371, 372, 373, 852 }, { 367, 368, 377, 378 }, { 367, 371, 378, 379 }, { 348, 377, 853, 854 }, { 855, 856, 857, 858 }, { 855, 857, 858, 859, 860 }, { 855, 859, 860, 861 }, { 856, 857, 859, 861, 862, 863 }, { 864, 865, 866, 867, 868 }, { 867, 869, 870, 871 }, { 867, 870, 872, 873 }, { 381, 382, 384, 874 }, { 381, 383, 384, 875 }, { 384, 385, 386, 869 }, { 384, 386, 389, 390, 391 }, { 386, 388, 389, 869, 876 }, { 384, 389, 392, 876 }, { 394, 395, 396, 416 }, { 394, 396, 397, 399 }, { 394, 398, 399, 410 }, { 396, 399, 401, 402, 410, 416 }, { 406, 409, 410, 416, 877 }, { 403, 404, 406, 407, 409 }, { 394, 410, 411, 412 }, { 394, 412, 414, 425 }, { 412, 422, 424, 425 }, { 404, 412, 878, 879 }, { 412, 422, 424, 878 }, { 394, 415, 416, 417 }, { 394, 420, 424, 425 }, { 394, 417, 419, 420 }, { 417, 420, 423, 424 }, { 407, 417, 427, 880 }, { 417, 423, 424, 427 }, { 429, 430, 431, 438 }, { 430, 431, 432, 433, 438 }, { 404, 432, 433, 438 }, { 404, 429, 431, 432, 881 }, { 439, 882, 883, 884 }, { 429, 884, 885, 886 }, { 429, 438, 884, 887 }, { 404, 444, 878, 879 }, { 404, 438, 444, 888 }, { 438, 439, 440, 442, 444, 445 }, { 439, 443, 444, 889 }, { 446, 447, 477, 890 }, { 446, 447, 448, 891 }, { 447, 450, 451, 892 }, { 447, 453, 889, 893 }, { 447, 453, 455, 894 }, { 453, 892, 894, 895 }, { 453, 892, 896, 897 }, { 447, 477, 898, 899 }, { 457, 459, 477, 900 }, { 456, 457, 459, 901 }, { 457, 460, 462, 902 }, { 457, 464, 882, 903 }, { 464, 902, 904, 905 }, { 457, 463, 464, 905 }, { 439, 457, 882, 903 }, { 439, 477, 898, 906 }, { 457, 477, 906, 907 }, { 439, 457, 906, 908 }, { 464, 902, 909, 910 }, { 6, 30, 466, 469 }, { 6, 468, 469, 471 }, { 472, 473, 911, 912 }, { 6, 7, 472, 473 }, { 30, 476, 477, 913 }, { 6, 30, 478, 479 }, { 473, 479, 481, 902 }, { 13, 482, 483, 484 }, { 9, 11, 13, 483 }, { 486, 488, 914, 915 }, { 13, 14, 486, 488 }, { 486, 490, 491, 892 }, { 11, 477, 493, 916 }, { 13, 486, 490, 495, 497 }, { 11, 13, 490, 498 }, { 22, 499, 500, 502 }, { 20, 22, 502, 505, 508 }, { 20, 505, 513, 514 }, { 500, 502, 505, 513, 527 }, { 477, 513, 517, 518 }, { 477, 500, 518, 520 }, { 500, 513, 518, 523, 524 }, { 11, 477, 528, 530 }, { 477, 500, 529, 530 }, { 11, 500, 530, 532 }, { 11, 500, 532, 533 }, { 22, 500, 533, 535 }, { 20, 29, 513, 538 }, { 28, 29, 30, 513 }, { 30, 31, 477, 541 }, { 28, 30, 513, 541 }, { 477, 513, 541, 542 }, { 11, 22, 533, 544 }, { 22, 544, 546, 547 }, { 20, 22, 35, 38, 917, 918 }, { 20, 29, 30, 551 }, { 20, 546, 551, 552 }, { 47, 555, 556, 558 }, { 40, 41, 47, 65 }, { 41, 45, 47, 558 }, { 41, 561, 562, 563 }, { 560, 562, 563, 919 }, { 564, 565, 566, 920 }, { 564, 566, 568, 570 }, { 49, 50, 562, 573 }, { 574, 575, 579, 921 }, { 49, 573, 574, 575 }, { 53, 55, 573, 577 }, { 53, 573, 574, 579 }, { 579, 581, 583, 584, 585 }, { 53, 577, 579, 581 }, { 577, 581, 589, 592, 593 }, { 581, 585, 590, 592 }, { 63, 482, 595, 596 }, { 56, 57, 63, 82 }, { 57, 61, 63, 595 }, { 577, 595, 600, 922 }, { 57, 577, 600, 601 }, { 577, 599, 601, 603 }, { 577, 592, 599, 603, 604 }, { 605, 607, 611, 923 }, { 611, 923, 924, 925 }, { 611, 924, 925, 926 }, { 605, 606, 609, 619 }, { 605, 606, 607, 611 }, { 606, 609, 611, 927 }, { 609, 610, 611, 928 }, { 613, 614, 615, 928 }, { 605, 609, 618, 619 }, { 609, 613, 618, 622, 929, 930 }, { 605, 618, 620, 622, 931, 932 }, { 613, 620, 622, 623 }, { 613, 620, 623, 624 }, { 614, 620, 624, 625 }, { 613, 614, 624, 933 }, { 614, 620, 625, 934 }, { 614, 934, 935, 936 }, { 614, 926, 935, 936 }, { 41, 64, 65, 70 }, { 65, 70, 627, 628 }, { 73, 627, 630, 632 }, { 73, 78, 627, 633 }, { 71, 73, 78, 630 }, { 76, 635, 636, 637 }, { 71, 76, 78, 635 }, { 57, 81, 82, 87 }, { 82, 87, 637, 638 }, { 57, 87, 637, 937 }, { 57, 637, 938, 939 }, { 76, 78, 637, 640 }, { 88, 89, 92, 940 }, { 88, 90, 92, 941 }, { 100, 641, 643, 942 }, { 95, 96, 98, 100, 644, 646 }, { 98, 100, 647, 940 }, { 100, 943, 944, 945, 946 }, { 100, 940, 944, 946 }, { 100, 942, 943, 945 }, { 940, 942, 943, 944, 947, 948 }, { 112, 113, 116, 942 }, { 112, 114, 116, 949 }, { 119, 650, 651, 950 }, { 119, 648, 649, 950 }, { 119, 650, 652, 653 }, { 119, 653, 655, 656 }, { 653, 655, 658, 659, 662 }, { 112, 664, 666, 669 }, { 664, 668, 669, 671 }, { 664, 671, 672, 673 }, { 655, 674, 675, 951 }, { 122, 655, 674, 677 }, { 119, 121, 122, 655 }, { 119, 126, 127, 648 }, { 648, 679, 680, 952 }, { 127, 648, 679, 682 }, { 129, 684, 685, 687 }, { 129, 133, 687, 953 }, { 130, 136, 684, 689, 690, 699 }, { 130, 136, 694, 695, 697, 698 }, { 129, 130, 684, 697 }, { 129, 133, 697, 953 }, { 136, 137, 684, 694 }, { 137, 140, 694, 954 }, { 143, 145, 148, 694, 697 }, { 154, 701, 702, 955 }, { 143, 148, 953, 954, 956 }, { 151, 154, 956, 957 }, { 150, 151, 154, 704 }, { 151, 705, 707, 958 }, { 137, 684, 708, 710 }, { 137, 140, 710, 954 }, { 88, 712, 714, 717 }, { 712, 716, 717, 719 }, { 712, 719, 720, 721 }, { 726, 830, 959, 960 }, { 291, 830, 960, 961 }, { 291, 726, 960, 962 }, { 723, 724, 830, 963 }, { 724, 726, 830, 959 }, { 723, 724, 725, 726 }, { 723, 725, 726, 728 }, { 723, 728, 729, 730 }, { 726, 728, 730, 964 }, { 168, 169, 174, 734, 736 }, { 157, 158, 161, 168, 174 }, { 168, 169, 267, 737 }, { 161, 168, 172, 267 }, { 169, 174, 739, 740 }, { 158, 174, 177, 740 }, { 180, 182, 646, 743, 745 }, { 743, 745, 965, 966 }, { 646, 743, 965, 967 }, { 185, 746, 747, 749 }, { 185, 186, 746, 751 }, { 746, 749, 751, 752 }, { 749, 751, 752, 753 }, { 749, 753, 755, 756 }, { 749, 755, 756, 757 }, { 749, 757, 759, 760, 761, 762 }, { 759, 760, 765, 767 }, { 189, 759, 768, 770 }, { 189, 190, 770, 772 }, { 759, 770, 772, 773 }, { 759, 772, 773, 774 }, { 759, 765, 767, 774 }, { 767, 772, 774, 968, 969 }, { 194, 195, 210, 776 }, { 194, 776, 796, 970 }, { 197, 198, 777, 971, 972, 973, 974, 975, 976 }, { 759, 777, 779, 781, 971 }, { 202, 207, 782, 786, 977, 978 }, { 225, 786, 790, 791, 796, 977 }, { 194, 795, 796, 970 }, { 225, 789, 790, 791, 796 }, { 225, 789, 793, 795 }, { 789, 795, 796, 797 }, { 194, 217, 795, 979, 980 }, { 194, 210, 212, 213, 215, 217 }, { 217, 225, 795, 799 }, { 213, 217, 222, 224 }, { 217, 224, 225, 799 }, { 189, 224, 229, 759, 981 }, { 224, 225, 229, 801 }, { 232, 803, 804, 805 }, { 232, 803, 808, 812 }, { 803, 805, 810, 812 }, { 805, 813, 814, 821 }, { 805, 810, 812, 813 }, { 812, 813, 821, 982 }, { 231, 232, 817, 818 }, { 232, 804, 805, 818 }, { 805, 817, 818, 983 }, { 236, 239, 240, 243, 805 }, { 169, 236, 240, 244, 245, 249 }, { 258, 260, 805, 821, 822 }, { 257, 258, 260, 262, 267, 277 }, { 244, 271, 277, 826 }, { 169, 244, 265, 271, 275 }, { 169, 267, 275, 737 }, { 267, 268, 271, 275, 277 }, { 280, 281, 285, 288 }, { 185, 210, 280, 281 }, { 185, 281, 284, 751 }, { 288, 291, 303, 308 }, { 281, 287, 288, 291 }, { 281, 293, 294, 984 }, { 281, 291, 294, 297 }, { 298, 300, 308, 830 }, { 291, 298, 830, 985 }, { 291, 298, 303, 308 }, { 1, 304, 305, 832 }, { 288, 308, 311, 330, 986 }, { 210, 280, 288, 312, 330 }, { 1, 210, 305, 312 }, { 1, 312, 322, 330 }, { 1, 324, 326, 327 }, { 1, 327, 337, 339 }, { 308, 330, 331, 337 }, { 1, 330, 335, 337 }, { 308, 342, 343, 358 }, { 308, 331, 337, 343 }, { 337, 343, 358, 987 }, { 308, 351, 838, 839 }, { 346, 348, 351, 839 }, { 348, 841, 843, 844 }, { 351, 353, 841, 844 }, { 346, 348, 351, 844 }, { 308, 342, 354, 358 }, { 356, 358, 846, 856, 861 }, { 354, 356, 358, 377 }, { 308, 364, 367, 849 }, { 308, 348, 839, 849 }, { 348, 362, 367, 849 }, { 308, 363, 364, 367 }, { 363, 367, 368, 377 }, { 348, 362, 367, 371 }, { 367, 371, 377, 378 }, { 348, 371, 377, 853 }, { 855, 856, 857, 859, 861 }, { 356, 377, 856, 861, 988 }, { 381, 865, 866, 867, 868, 989 }, { 867, 869, 870, 873 }, { 381, 384, 869, 874 }, { 381, 384, 875, 876 }, { 384, 386, 389, 869, 876 }, { 394, 396, 399, 410, 416 }, { 404, 406, 407, 409, 410, 416 }, { 394, 404, 410, 412 }, { 394, 412, 424, 425 }, { 404, 412, 424, 878 }, { 394, 407, 416, 417 }, { 394, 417, 420, 424 }, { 407, 417, 424, 427 }, { 404, 429, 431, 432, 438 }, { 439, 882, 884, 990 }, { 429, 884, 885, 990 }, { 429, 438, 439, 884 }, { 404, 424, 444, 878 }, { 404, 438, 439, 444 }, { 424, 439, 444, 889 }, { 446, 447, 477, 891 }, { 447, 450, 891, 892 }, { 424, 447, 453, 889 }, { 447, 453, 892, 894 }, { 424, 453, 892, 897 }, { 439, 447, 477, 898 }, { 424, 439, 447, 889 }, { 457, 459, 477, 901 }, { 457, 460, 901, 902 }, { 457, 464, 882, 990 }, { 457, 464, 902, 905 }, { 439, 457, 882, 990 }, { 439, 457, 477, 906 }, { 464, 902, 909, 990 }, { 6, 30, 468, 469 }, { 6, 472, 473, 911 }, { 30, 477, 479, 913 }, { 6, 30, 473, 479 }, { 473, 902, 909, 911 }, { 473, 477, 479, 902 }, { 11, 13, 482, 483 }, { 486, 892, 897, 914 }, { 13, 486, 488, 914 }, { 477, 486, 490, 892 }, { 11, 477, 490, 916 }, { 11, 13, 486, 490 }, { 20, 22, 500, 502, 505, 513 }, { 477, 500, 513, 518 }, { 11, 477, 500, 530 }, { 11, 22, 500, 533 }, { 20, 29, 30, 513 }, { 30, 477, 513, 541 }, { 11, 22, 544, 546 }, { 20, 22, 546, 917, 918, 991 }, { 20, 30, 546, 551 }, { 47, 65, 555, 558 }, { 41, 47, 65, 558 }, { 41, 558, 561, 562 }, { 41, 562, 563, 919 }, { 564, 566, 570, 920 }, { 49, 562, 573, 575 }, { 573, 574, 575, 579 }, { 53, 573, 577, 579 }, { 577, 579, 581, 585, 592 }, { 63, 82, 482, 595 }, { 57, 63, 82, 595 }, { 57, 577, 595, 600 }, { 57, 577, 601, 603 }, { 577, 592, 603, 605, 992 }, { 605, 611, 923, 924 }, { 78, 611, 924, 926 }, { 605, 606, 609, 611 }, { 609, 611, 613, 614, 928 }, { 605, 609, 613, 618, 620, 622 }, { 613, 614, 620, 624 }, { 614, 620, 934, 935 }, { 78, 614, 926, 935 }, { 41, 65, 70, 627 }, { 41, 620, 627, 993 }, { 78, 627, 633, 993 }, { 71, 78, 630, 635 }, { 73, 78, 627, 630 }, { 76, 78, 635, 637 }, { 57, 82, 87, 637 }, { 57, 605, 637, 938 }, { 78, 637, 640, 938 }, { 88, 92, 940, 941 }, { 100, 641, 646, 942 }, { 98, 100, 646, 940 }, { 100, 940, 942, 943, 944 }, { 112, 116, 942, 949 }, { 119, 648, 650, 950 }, { 119, 650, 653, 655 }, { 88, 653, 655, 659, 662 }, { 112, 664, 669, 671 }, { 648, 664, 671, 673 }, { 122, 655, 674, 951 }, { 119, 122, 127, 648, 655 }, { 127, 648, 679, 952 }, { 129, 684, 687, 953 }, { 130, 136, 684, 694, 697 }, { 129, 684, 697, 953 }, { 137, 684, 694, 954 }, { 143, 148, 694, 697, 953, 954 }, { 154, 701, 954, 955 }, { 151, 154, 953, 954, 956 }, { 151, 154, 701, 704, 705 }, { 151, 705, 953, 958 }, { 137, 684, 710, 954 }, { 88, 712, 717, 719 }, { 655, 712, 719, 721 }, { 291, 726, 830, 960 }, { 291, 294, 726, 984 }, { 705, 723, 830, 994 }, { 723, 724, 726, 830 }, { 726, 995, 996, 997 }, { 723, 726, 728, 730 }, { 726, 730, 964, 998 }, { 158, 161, 168, 169, 174 }, { 161, 168, 169, 267 }, { 158, 169, 174, 740 }, { 646, 743, 745, 965 }, { 185, 746, 749, 751 }, { 749, 751, 753, 756 }, { 749, 756, 757, 759, 760, 767 }, { 189, 759, 770, 772 }, { 267, 767, 772, 969 }, { 759, 767, 772, 774 }, { 185, 210, 749, 776 }, { 194, 210, 776, 796 }, { 749, 759, 777, 971, 972, 999 }, { 225, 786, 796, 977, 978, 1000 }, { 194, 210, 795, 796 }, { 225, 789, 795, 796 }, { 194, 210, 213, 217, 795 }, { 213, 217, 225, 795 }, { 189, 213, 224, 759 }, { 213, 217, 224, 225 }, { 224, 225, 229, 759 }, { 232, 701, 812, 1001 }, { 232, 803, 805, 812 }, { 258, 267, 805, 821 }, { 805, 812, 813, 821 }, { 232, 805, 817, 818 }, { 805, 817, 983, 1002 }, { 169, 236, 240, 244, 805 }, { 258, 260, 267, 277, 805 }, { 169, 244, 267, 271, 275, 277 }, { 169, 236, 805, 965 }, { 210, 280, 281, 288 }, { 185, 210, 281, 751 }, { 281, 288, 291, 308 }, { 281, 291, 294, 984 }, { 291, 298, 308, 830 }, { 1, 210, 305, 832 }, { 210, 288, 308, 330 }, { 1, 210, 312, 330 }, { 1, 324, 327, 337 }, { 1, 308, 330, 337 }, { 308, 337, 343, 358 }, { 705, 830, 841, 1003 }, { 308, 348, 351, 839 }, { 348, 351, 841, 844 }, { 308, 354, 358, 377 }, { 356, 358, 377, 856 }, { 308, 348, 367, 849 }, { 308, 363, 367, 377 }, { 348, 367, 371, 377 }, { 377, 855, 856, 861, 988 }, { 381, 865, 866, 989, 1004, 1005 }, { 381, 866, 867, 869, 873 }, { 381, 384, 869, 876 }, { 394, 404, 407, 410, 416 }, { 394, 404, 412, 424 }, { 394, 407, 417, 424 }, { 404, 429, 438, 439 }, { 429, 439, 884, 990 }, { 404, 424, 439, 444 }, { 447, 477, 891, 892 }, { 424, 447, 453, 892 }, { 424, 892, 897, 914 }, { 424, 439, 447, 477 }, { 457, 477, 901, 902 }, { 457, 464, 902, 990 }, { 439, 457, 477, 990 }, { 902, 909, 911, 990 }, { 6, 30, 468, 911 }, { 6, 30, 473, 911 }, { 30, 473, 477, 479 }, { 473, 477, 902, 911 }, { 11, 13, 482, 914 }, { 477, 486, 892, 914 }, { 11, 13, 486, 914 }, { 11, 477, 486, 490 }, { 20, 22, 477, 500, 513 }, { 11, 22, 477, 500 }, { 20, 30, 477, 513 }, { 11, 20, 22, 30, 546 }, { 65, 555, 558, 914 }, { 41, 65, 558, 562 }, { 41, 562, 620, 919 }, { 562, 566, 570, 577, 920 }, { 562, 573, 575, 577, 579 }, { 577, 579, 585, 592, 605, 992 }, { 82, 482, 595, 914 }, { 57, 82, 577, 595 }, { 57, 577, 603, 605 }, { 78, 611, 614, 926 }, { 78, 605, 611, 924 }, { 605, 609, 611, 613, 614, 620 }, { 78, 614, 620, 935 }, { 41, 65, 620, 627 }, { 78, 620, 627, 993 }, { 78, 627, 630, 635, 637 }, { 57, 82, 605, 637 }, { 78, 605, 637, 938 }, { 88, 646, 940, 941 }, { 100, 646, 940, 942 }, { 112, 646, 942, 949 }, { 119, 648, 650, 655 }, { 112, 648, 650, 950 }, { 88, 112, 650, 940, 942 }, { 88, 650, 653, 655 }, { 112, 648, 664, 671 }, { 684, 951, 952, 1006 }, { 122, 127, 648, 655, 951, 952 }, { 648, 684, 687, 953 }, { 648, 664, 705, 953 }, { 684, 694, 697, 953, 954 }, { 151, 154, 701, 705, 953, 954 }, { 655, 684, 710, 954 }, { 88, 655, 712, 719 }, { 655, 701, 712, 954 }, { 291, 726, 830, 984 }, { 705, 723, 726, 830 }, { 646, 726, 996, 997 }, { 705, 723, 726, 730 }, { 646, 726, 730, 998 }, { 158, 161, 169, 267, 740 }, { 169, 646, 745, 965 }, { 185, 210, 749, 751 }, { 749, 751, 756, 984 }, { 749, 756, 759, 767, 1007 }, { 749, 756, 984, 1007 }, { 267, 984, 1007, 1008, 1009 }, { 267, 759, 767, 1007 }, { 189, 213, 759, 772 }, { 267, 759, 767, 772 }, { 210, 749, 776, 796 }, { 225, 749, 759, 796, 999, 1000 }, { 210, 213, 225, 795, 796 }, { 213, 224, 225, 759 }, { 232, 701, 805, 812 }, { 267, 805, 812, 821 }, { 232, 701, 805, 817 }, { 646, 805, 817, 1002 }, { 169, 244, 267, 277, 805 }, { 169, 646, 805, 965 }, { 210, 281, 288, 308 }, { 210, 281, 751, 984 }, { 281, 291, 308, 984 }, { 291, 308, 830, 984 }, { 1, 210, 324, 832 }, { 1, 210, 308, 330 }, { 1, 308, 324, 337 }, { 308, 324, 337, 358 }, { 308, 705, 830, 841 }, { 308, 348, 351, 841 }, { 308, 358, 377, 856 }, { 308, 348, 367, 377 }, { 348, 705, 841, 1010 }, { 348, 855, 1010, 1011, 1012 }, { 348, 377, 855, 856 }, { 381, 404, 407, 429, 866, 869, 873, 876, 1005 }, { 394, 404, 407, 424 }, { 404, 424, 429, 439, 990 }, { 424, 447, 477, 892, 914 }, { 424, 439, 477, 990 }, { 457, 477, 902, 911, 990 }, { 30, 468, 856, 911 }, { 30, 473, 477, 911 }, { 11, 82, 482, 914 }, { 11, 477, 486, 914 }, { 11, 20, 22, 30, 477 }, { 65, 558, 562, 914 }, { 41, 65, 562, 620 }, { 562, 566, 577, 914 }, { 562, 575, 577, 579, 605, 620 }, { 82, 577, 595, 914 }, { 57, 82, 577, 605 }, { 78, 605, 611, 614, 620 }, { 65, 78, 620, 627 }, { 65, 78, 82, 627, 637 }, { 78, 82, 605, 637 }, { 88, 112, 646, 940, 942 }, { 88, 112, 648, 650, 655 }, { 112, 648, 664, 705 }, { 648, 655, 684, 951, 952 }, { 648, 684, 705, 953 }, { 684, 701, 705, 953, 954 }, { 655, 684, 701, 954 }, { 88, 655, 701, 712 }, { 705, 726, 830, 984 }, { 646, 726, 984, 997 }, { 646, 705, 726, 730 }, { 267, 740, 984, 1008, 1009, 1013 }, { 169, 267, 646, 740, 745 }, { 210, 749, 751, 984 }, { 267, 749, 759, 984, 1007 }, { 213, 267, 759, 772 }, { 210, 213, 225, 749, 759, 796 }, { 267, 701, 805, 812 }, { 646, 701, 805, 817 }, { 169, 267, 646, 805 }, { 210, 281, 308, 984 }, { 308, 705, 830, 984 }, { 1, 210, 308, 324 }, { 308, 324, 358, 856 }, { 308, 348, 705, 841 }, { 308, 348, 377, 856 }, { 348, 705, 855, 856, 1010 }, { 404, 407, 424, 429, 869, 873, 876, 990, 1014 }, { 424, 477, 911, 914, 990 }, { 30, 477, 856, 911 }, { 11, 82, 477, 914 }, { 11, 30, 82, 477, 856 }, { 65, 562, 620, 914 }, { 562, 577, 605, 620, 914 }, { 82, 577, 605, 914 }, { 65, 78, 82, 605, 620 }, { 88, 112, 646, 648, 655 }, { 112, 646, 648, 705 }, { 648, 655, 684, 701, 705 }, { 88, 646, 655, 701 }, { 646, 705, 726, 984 }, { 267, 646, 740, 745, 984, 1013 }, { 210, 213, 267, 749, 759, 984 }, { 267, 646, 701, 805 }, { 210, 308, 705, 984 }, { 210, 308, 324, 856 }, { 308, 348, 705, 856 }, { 424, 911, 914, 990, 1014, 1015 }, { 82, 477, 856, 911, 914 }, { 65, 82, 605, 620, 914 }, { 646, 648, 655, 701, 705 }, { 210, 646, 705, 984 }, { 210, 213, 267, 646, 984 }, { 213, 267, 646, 701 }, { 210, 308, 705, 856 }, { 65, 82, 701, 705, 856, 911, 914, 1015, 1016 }, { 210, 213, 646, 701, 705 }, { 65, 82, 210, 213, 701, 705, 856, 1016, 1017 } ] /* 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 } ], [ { 14, 15, 16 }, { 13, 15, 16 }, { 13, 14, 16 }, { 13, 14, 15 } ], [ { 17, 18, 19 }, { 13, 18, 19 }, { 13, 17, 19 }, { 13, 17, 18 } ], [ { 21, 22, 23, 24 }, { 20, 22, 23 }, { 20, 21, 22, 25 }, { 20, 23, 24, 25 }, { 21, 24, 25 } ], [ { 27, 28, 29 }, { 26, 28, 29 }, { 26, 27, 29 }, { 26, 27, 28 } ], [ { 31, 32, 33 }, { 30, 32, 33 }, { 30, 31, 33 }, { 30, 31, 32 } ], [ { 22, 35, 36 }, { 34, 35, 36 }, { 22, 34, 36 }, { 22, 34, 35 } ], [ { 37, 38, 39 }, { 20, 38, 39 }, { 20, 37, 39 }, { 20, 37, 38 } ], [ { 41, 42, 43 }, { 40, 42, 43 }, { 40, 41, 43 }, { 40, 41, 42 } ], [ { 41, 44, 45 }, { 40, 44, 45 }, { 40, 41, 45 }, { 40, 41, 44 } ], [ { 45, 46, 47 }, { 40, 45, 47 }, { 40, 45, 46 }, { 40, 46, 47 } ], [ { 49, 50, 51 }, { 48, 50, 51 }, { 48, 49, 51 }, { 48, 49, 50 } ], [ { 53, 54, 55 }, { 52, 54, 55 }, { 52, 53, 55 }, { 52, 53, 54 } ], [ { 57, 58, 59 }, { 56, 58, 59 }, { 56, 57, 59 }, { 56, 57, 58 } ], [ { 57, 60, 61 }, { 56, 60, 61 }, { 56, 57, 61 }, { 56, 57, 60 } ], [ { 61, 62, 63 }, { 56, 61, 63 }, { 56, 61, 62 }, { 56, 62, 63 } ], [ { 42, 43, 64 }, { 41, 43, 64 }, { 41, 42, 64 }, { 41, 42, 43 } ], [ { 64, 66, 67 }, { 64, 65, 67 }, { 65, 66, 67 }, { 64, 65, 66 } ], [ { 43, 64, 68 }, { 41, 64, 68 }, { 41, 43, 64 }, { 41, 43, 68 } ], [ { 68, 69, 70 }, { 41, 69, 70 }, { 41, 68, 70 }, { 41, 68, 69 } ], [ { 72, 73, 74 }, { 71, 73, 74 }, { 71, 72, 74 }, { 71, 72, 73 } ], [ { 75, 76, 77 }, { 71, 76, 77 }, { 71, 75, 77 }, { 71, 75, 76 } ], [ { 76, 78, 79, 80 }, { 75, 78, 79 }, { 75, 76, 78 }, { 75, 79, 80 }, { 75, 76, 80 } ], [ { 58, 59, 81 }, { 57, 59, 81 }, { 57, 58, 81 }, { 57, 58, 59 } ], [ { 81, 83, 84 }, { 81, 82, 84 }, { 82, 83, 84 }, { 81, 82, 83 } ], [ { 58, 81, 85 }, { 57, 81, 85 }, { 57, 58, 81 }, { 57, 58, 85 } ], [ { 85, 86, 87 }, { 57, 85, 87 }, { 57, 86, 87 }, { 57, 85, 86 } ], [ { 89, 90, 91 }, { 88, 90, 91 }, { 88, 89, 91 }, { 88, 89, 90 } ], [ { 89, 90, 93 }, { 90, 92, 93 }, { 89, 92, 93 }, { 89, 90, 92 } ], [ { 95, 96, 97 }, { 94, 96, 97 }, { 94, 95, 97 }, { 94, 95, 96 } ], [ { 94, 95, 99 }, { 95, 98, 99 }, { 94, 98, 99 }, { 94, 95, 98 } ], [ { 96, 100, 101, 103 }, { 100, 103, 104 }, { 100, 102, 104, 109 }, { 101, 103, 105 }, { 103, 104, 105, 108 }, { 101, 105, 107, 110 }, { 102, 104, 108 }, { 102, 106, 108, 110 }, { 96, 106, 107, 109 }, { 96, 101, 107 }, { 96, 100, 109 }, { 102, 106, 109 }, { 106, 107, 110 }, { 105, 108, 110 } ], [ { 94, 98, 111 }, { 94, 98, 100 }, { 94, 100, 111 }, { 98, 100, 111 } ], [ { 113, 114, 115 }, { 112, 114, 115 }, { 112, 113, 115 }, { 112, 113, 114 } ], [ { 113, 114, 117 }, { 114, 116, 117 }, { 113, 116, 117 }, { 113, 114, 116 } ], [ { 119, 120, 121 }, { 118, 120, 121 }, { 118, 119, 121 }, { 118, 119, 120 } ], [ { 121, 122, 123 }, { 118, 121, 123 }, { 118, 122, 123 }, { 118, 121, 122 } ], [ { 119, 125, 126 }, { 124, 125, 126 }, { 119, 124, 126 }, { 119, 124, 125 } ], [ { 126, 127, 128 }, { 125, 126, 128 }, { 125, 127, 128 }, { 125, 126, 127 } ], [ { 130, 131, 132 }, { 129, 131, 132 }, { 129, 130, 132 }, { 129, 130, 131 } ], [ { 129, 134, 135 }, { 129, 133, 135 }, { 133, 134, 135 }, { 129, 133, 134 } ], [ { 137, 138, 139 }, { 136, 138, 139 }, { 136, 137, 139 }, { 136, 137, 138 } ], [ { 137, 141, 142 }, { 137, 140, 142 }, { 140, 141, 142 }, { 137, 140, 141 } ], [ { 144, 145, 146 }, { 143, 145, 146 }, { 143, 144, 146 }, { 143, 144, 145 } ], [ { 145, 148, 149 }, { 145, 147, 149 }, { 147, 148, 149 }, { 145, 147, 148 } ], [ { 151, 152, 153 }, { 150, 152, 153 }, { 150, 151, 153 }, { 150, 151, 152 } ], [ { 154, 155, 156 }, { 150, 155, 156 }, { 150, 154, 156 }, { 150, 154, 155 } ], [ { 158, 159, 160 }, { 157, 159, 160 }, { 157, 158, 160 }, { 157, 158, 159 } ], [ { 161, 162, 163 }, { 157, 162, 163 }, { 157, 161, 163 }, { 157, 161, 162 } ], [ { 161, 164, 165 }, { 157, 164, 165 }, { 157, 161, 165 }, { 157, 161, 164 } ], [ { 158, 166, 167 }, { 157, 166, 167 }, { 157, 158, 167 }, { 157, 158, 166 } ], [ { 169, 170, 171 }, { 168, 170, 171 }, { 168, 169, 171 }, { 168, 169, 170 } ], [ { 164, 172, 173 }, { 164, 168, 173 }, { 168, 172, 173 }, { 164, 168, 172 } ], [ { 164, 165, 172 }, { 161, 164, 165 }, { 161, 165, 172 }, { 161, 164, 172 } ], [ { 169, 175, 176 }, { 174, 175, 176 }, { 169, 174, 176 }, { 169, 174, 175 } ], [ { 166, 177, 178 }, { 166, 174, 178 }, { 174, 177, 178 }, { 166, 174, 177 } ], [ { 166, 167, 177 }, { 158, 166, 167 }, { 158, 167, 177 }, { 158, 166, 177 } ], [ { 179, 180, 183, 184 }, { 179, 180, 181, 182 }, { 181, 182, 183, 184 }, { 180, 182, 183 }, { 179, 181, 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 } ], [ { 198, 199, 200 }, { 197, 198, 200, 201 }, { 197, 198, 199 }, { 199, 200, 201 }, { 197, 199, 201 } ], [ { 203, 204, 205 }, { 202, 204, 205 }, { 202, 203, 205 }, { 202, 203, 204 } ], [ { 202, 203, 207, 208 }, { 202, 203, 206 }, { 202, 206, 207, 209 }, { 203, 206, 208, 209 }, { 207, 208, 209 } ], [ { 196, 211, 212 }, { 196, 210, 212 }, { 196, 210, 211 }, { 210, 211, 212 } ], [ { 214, 215, 216 }, { 213, 215, 216 }, { 213, 214, 216 }, { 213, 214, 215 } ], [ { 215, 216, 218 }, { 216, 217, 218 }, { 215, 217, 218 }, { 215, 216, 217 } ], [ { 212, 215, 220, 221 }, { 212, 215, 218, 219 }, { 215, 218, 220 }, { 218, 219, 220, 221 }, { 212, 219, 221 } ], [ { 196, 212, 219 }, { 194, 196, 219 }, { 194, 196, 212 }, { 194, 212, 219 } ], [ { 216, 222, 223 }, { 216, 217, 223 }, { 217, 222, 223 }, { 216, 217, 222 } ], [ { 225, 226, 227 }, { 224, 226, 227 }, { 224, 225, 227 }, { 224, 225, 226 } ], [ { 228, 229, 230 }, { 225, 229, 230 }, { 225, 228, 230 }, { 225, 228, 229 } ], [ { 232, 233, 234 }, { 231, 232, 234 }, { 231, 232, 233, 235 }, { 231, 234, 235 }, { 233, 234, 235 } ], [ { 237, 238, 239 }, { 236, 238, 239 }, { 236, 237, 239 }, { 236, 237, 238 } ], [ { 241, 242, 243 }, { 240, 242, 243 }, { 240, 241, 243 }, { 240, 241, 242 } ], [ { 245, 246, 247 }, { 244, 246, 247 }, { 244, 245, 247 }, { 244, 245, 246 } ], [ { 245, 249, 250 }, { 245, 248, 250 }, { 248, 249, 250 }, { 245, 248, 249 } ], [ { 240, 250, 251 }, { 236, 240, 250 }, { 236, 250, 251 }, { 236, 240, 251 } ], [ { 249, 250, 252 }, { 236, 250, 252 }, { 236, 249, 252 }, { 236, 249, 250 } ], [ { 249, 253, 254 }, { 236, 253, 254 }, { 236, 249, 254 }, { 236, 249, 253 } ], [ { 249, 253, 255 }, { 169, 253, 255 }, { 169, 249, 255 }, { 169, 249, 253 } ], [ { 257, 258, 259 }, { 256, 258, 259 }, { 256, 257, 259 }, { 256, 257, 258 } ], [ { 261, 262, 263 }, { 260, 262, 263 }, { 260, 261, 263 }, { 260, 261, 262 } ], [ { 249, 265, 266 }, { 245, 249, 264, 266 }, { 264, 265, 266 }, { 245, 264, 265 }, { 245, 249, 265 } ], [ { 268, 269, 270 }, { 267, 269, 270 }, { 267, 268, 270 }, { 267, 268, 269 } ], [ { 268, 272, 273 }, { 271, 272, 273 }, { 268, 271, 273 }, { 268, 271, 272 } ], [ { 268, 272, 275 }, { 272, 274, 275 }, { 268, 272, 274 }, { 268, 274, 275 } ], [ { 268, 277, 278 }, { 268, 276, 278 }, { 276, 277, 278 }, { 268, 276, 277 } ], [ { 280, 281, 282 }, { 279, 281, 282 }, { 279, 280, 282 }, { 279, 280, 281 } ], [ { 185, 187, 284 }, { 187, 283, 284 }, { 185, 283, 284 }, { 185, 187, 283 } ], [ { 281, 286, 287 }, { 285, 286, 287 }, { 281, 285, 287 }, { 281, 285, 286 } ], [ { 287, 288, 289 }, { 285, 287, 289 }, { 285, 287, 288 }, { 285, 288, 289 } ], [ { 287, 289, 291 }, { 287, 290, 291 }, { 287, 289, 290 }, { 289, 290, 291 } ], [ { 293, 294, 295 }, { 292, 294, 295 }, { 292, 293, 295 }, { 292, 293, 294 } ], [ { 287, 296, 297 }, { 281, 296, 297 }, { 281, 287, 297 }, { 281, 287, 296 } ], [ { 299, 300, 301 }, { 298, 300, 301 }, { 298, 299, 301 }, { 298, 299, 300 } ], [ { 298, 300, 303 }, { 298, 300, 302 }, { 300, 302, 303 }, { 298, 302, 303 } ], [ { 305, 306, 307 }, { 304, 306, 307 }, { 304, 305, 307 }, { 304, 305, 306 } ], [ { 309, 310, 311 }, { 308, 310, 311 }, { 308, 309, 311 }, { 308, 309, 310 } ], [ { 280, 313, 314, 316 }, { 280, 312, 313, 315 }, { 312, 314, 315, 316 }, { 313, 314, 315 }, { 280, 312, 316 } ], [ { 280, 312, 316 }, { 312, 316, 317 }, { 280, 312, 317, 318 }, { 316, 317, 318 }, { 280, 316, 318 } ], [ { 1, 319, 320 }, { 312, 319, 320 }, { 1, 312, 320 }, { 1, 312, 319 } ], [ { 321, 322, 323 }, { 312, 322, 323 }, { 312, 321, 323 }, { 312, 321, 322 } ], [ { 1, 3, 325 }, { 3, 4, 324, 325 }, { 1, 324, 325 }, { 1, 3, 4 }, { 1, 4, 324 } ], [ { 327, 328, 329 }, { 326, 328, 329 }, { 326, 327, 329 }, { 326, 327, 328 } ], [ { 331, 332, 333 }, { 330, 332, 333 }, { 330, 331, 333 }, { 330, 331, 332 } ], [ { 1, 322, 335 }, { 322, 334, 335 }, { 1, 322, 334 }, { 1, 334, 335 } ], [ { 322, 335, 336 }, { 322, 330, 336 }, { 330, 335, 336 }, { 322, 330, 335 } ], [ { 336, 337, 338 }, { 335, 336, 338 }, { 335, 336, 337 }, { 335, 337, 338 } ], [ { 1, 335, 340 }, { 335, 339, 340 }, { 1, 339, 340 }, { 1, 335, 339 } ], [ { 342, 343, 344 }, { 341, 343, 344 }, { 341, 342, 344 }, { 341, 342, 343 } ], [ { 342, 343, 345 }, { 331, 343, 345 }, { 331, 342, 345 }, { 331, 342, 343 } ], [ { 347, 348, 349 }, { 346, 348, 349 }, { 346, 347, 349 }, { 346, 347, 348 } ], [ { 351, 352, 353 }, { 350, 352, 353 }, { 350, 351, 353 }, { 350, 351, 352 } ], [ { 331, 332, 342 }, { 308, 332, 342 }, { 308, 331, 332 }, { 308, 331, 342 } ], [ { 344, 354, 355 }, { 342, 344, 355 }, { 342, 344, 354 }, { 342, 354, 355 } ], [ { 357, 358, 359 }, { 356, 358, 359 }, { 356, 357, 359 }, { 356, 357, 358 } ], [ { 360, 361, 362 }, { 348, 361, 362 }, { 348, 360, 362 }, { 348, 360, 361 } ], [ { 364, 365, 366 }, { 363, 365, 366 }, { 363, 364, 366 }, { 363, 364, 365 } ], [ { 368, 369, 370 }, { 367, 369, 370 }, { 367, 368, 370 }, { 367, 368, 369 } ], [ { 371, 372, 374, 375 }, { 362, 371, 372, 373 }, { 362, 373, 374, 375 }, { 372, 373, 374 }, { 362, 371, 375 } ], [ { 368, 377, 378 }, { 368, 376, 378 }, { 368, 376, 377 }, { 376, 377, 378 } ], [ { 378, 379, 380 }, { 367, 379, 380 }, { 367, 378, 380 }, { 367, 378, 379 } ], [ { 382, 383, 384 }, { 381, 383, 384 }, { 381, 382, 384 }, { 381, 382, 383 } ], [ { 384, 386, 387 }, { 384, 385, 387 }, { 384, 385, 386 }, { 385, 386, 387 } ], [ { 386, 389, 390, 391 }, { 386, 388, 390 }, { 386, 388, 389 }, { 388, 390, 391 }, { 388, 389, 391 } ], [ { 384, 389, 393 }, { 384, 392, 393 }, { 384, 389, 392 }, { 389, 392, 393 } ], [ { 395, 396, 397 }, { 394, 396, 397 }, { 394, 395, 397 }, { 394, 395, 396 } ], [ { 397, 398, 399 }, { 394, 397, 399 }, { 394, 397, 398 }, { 394, 398, 399 } ], [ { 396, 399, 401, 402 }, { 399, 400, 401 }, { 396, 399, 400 }, { 400, 401, 402 }, { 396, 400, 402 } ], [ { 404, 405, 406 }, { 403, 405, 406 }, { 403, 404, 406 }, { 403, 404, 405 } ], [ { 407, 408, 409 }, { 403, 408, 409 }, { 403, 407, 409 }, { 403, 407, 408 } ], [ { 411, 412, 413 }, { 410, 412, 413 }, { 410, 411, 413 }, { 410, 411, 412 } ], [ { 411, 412, 414 }, { 394, 412, 414 }, { 394, 411, 414 }, { 394, 411, 412 } ], [ { 416, 417, 418 }, { 415, 417, 418 }, { 415, 416, 418 }, { 415, 416, 417 } ], [ { 415, 417, 419 }, { 394, 417, 419 }, { 394, 415, 419 }, { 394, 415, 417 } ], [ { 419, 420, 421 }, { 394, 419, 421 }, { 394, 420, 421 }, { 394, 419, 420 } ], [ { 422, 424, 425 }, { 420, 422, 423, 425 }, { 422, 423, 424 }, { 420, 423, 424 }, { 420, 424, 425 } ], [ { 417, 426, 427 }, { 417, 423, 427 }, { 417, 423, 426 }, { 423, 426, 427 } ], [ { 429, 430, 431 }, { 428, 430, 431 }, { 428, 429, 431 }, { 428, 429, 430 } ], [ { 430, 433, 434, 435 }, { 430, 431, 432, 433 }, { 432, 433, 434 }, { 431, 432, 434, 435 }, { 430, 431, 435 } ], [ { 404, 433, 436 }, { 432, 433, 436 }, { 404, 432, 433 }, { 404, 432, 436 } ], [ { 438, 439, 440, 442 }, { 437, 439, 440 }, { 437, 438, 439, 441 }, { 437, 440, 441, 442 }, { 438, 441, 442 } ], [ { 439, 440, 444, 445 }, { 439, 440, 443 }, { 439, 443, 444 }, { 440, 443, 445 }, { 443, 444, 445 } ], [ { 447, 448, 449 }, { 446, 448, 449 }, { 446, 447, 449 }, { 446, 447, 448 } ], [ { 450, 451, 452 }, { 447, 451, 452 }, { 447, 450, 452 }, { 447, 450, 451 } ], [ { 453, 454, 455 }, { 447, 454, 455 }, { 447, 453, 455 }, { 447, 453, 454 } ], [ { 457, 458, 459 }, { 456, 458, 459 }, { 456, 457, 459 }, { 456, 457, 458 } ], [ { 460, 461, 462 }, { 457, 461, 462 }, { 457, 460, 462 }, { 457, 460, 461 } ], [ { 457, 464, 465 }, { 457, 463, 465 }, { 457, 463, 464 }, { 463, 464, 465 } ], [ { 6, 466, 467 }, { 30, 466, 467 }, { 6, 30, 467 }, { 6, 30, 466 } ], [ { 469, 470, 471 }, { 468, 470, 471 }, { 468, 469, 471 }, { 468, 469, 470 } ], [ { 7, 473, 474 }, { 7, 472, 474 }, { 472, 473, 474 }, { 7, 472, 473 } ], [ { 5, 6, 7 }, { 6, 7, 472 }, { 5, 7, 472 }, { 5, 6, 472 } ], [ { 6, 7, 475 }, { 7, 473, 475 }, { 6, 473, 475 }, { 6, 7, 473 } ], [ { 30, 33, 477 }, { 33, 476, 477 }, { 30, 33, 476 }, { 30, 476, 477 } ], [ { 6, 467, 478 }, { 30, 467, 478 }, { 6, 30, 467 }, { 6, 30, 478 } ], [ { 479, 480, 481 }, { 473, 480, 481 }, { 473, 479, 481 }, { 473, 479, 480 } ], [ { 483, 484, 485 }, { 482, 484, 485 }, { 482, 483, 485 }, { 482, 483, 484 } ], [ { 10, 11, 13 }, { 9, 11, 13 }, { 9, 10, 13 }, { 9, 10, 11 } ], [ { 13, 14, 487 }, { 14, 486, 487 }, { 13, 14, 486 }, { 13, 486, 487 } ], [ { 14, 488, 489 }, { 14, 486, 489 }, { 486, 488, 489 }, { 14, 486, 488 } ], [ { 14, 15, 488 }, { 13, 14, 15 }, { 13, 15, 488 }, { 13, 14, 488 } ], [ { 490, 491, 492 }, { 486, 491, 492 }, { 486, 490, 492 }, { 486, 490, 491 } ], [ { 11, 493, 494 }, { 477, 493, 494 }, { 11, 477, 494 }, { 11, 477, 493 } ], [ { 486, 492, 495, 496 }, { 486, 490, 495, 497 }, { 495, 496, 497 }, { 490, 492, 496, 497 }, { 486, 490, 492 } ], [ { 13, 18, 486 }, { 18, 19, 486, 495 }, { 13, 486, 495 }, { 13, 18, 19 }, { 13, 19, 495 } ], [ { 11, 13, 498 }, { 10, 13, 498 }, { 10, 11, 498 }, { 10, 11, 13 } ], [ { 13, 497, 498 }, { 490, 497, 498 }, { 13, 490, 497 }, { 13, 490, 498 } ], [ { 22, 500, 501 }, { 22, 499, 501 }, { 499, 500, 501 }, { 22, 499, 500 } ], [ { 500, 502, 503 }, { 499, 502, 503 }, { 499, 500, 503 }, { 499, 500, 502 } ], [ { 502, 504, 507, 508 }, { 502, 504, 505, 506 }, { 505, 506, 507, 508 }, { 504, 506, 507 }, { 502, 505, 508 } ], [ { 505, 508, 509, 510 }, { 20, 505, 508 }, { 20, 505, 509 }, { 20, 508, 510 }, { 20, 509, 510 } ], [ { 22, 23, 511 }, { 20, 22, 23 }, { 20, 22, 508 }, { 22, 508, 511 }, { 23, 510, 511 }, { 508, 510, 511 }, { 20, 23, 510 }, { 20, 508, 510 } ], [ { 512, 513, 514 }, { 20, 513, 514 }, { 20, 512, 514 }, { 20, 512, 513 } ], [ { 513, 514, 515 }, { 505, 514, 515 }, { 505, 513, 514 }, { 505, 513, 515 } ], [ { 516, 517, 518 }, { 477, 517, 518 }, { 477, 516, 518 }, { 477, 516, 517 } ], [ { 513, 517, 518 }, { 513, 518, 519 }, { 513, 517, 519 }, { 517, 518, 519 } ], [ { 518, 520, 521 }, { 477, 520, 521 }, { 477, 518, 521 }, { 477, 518, 520 } ], [ { 500, 520, 522 }, { 500, 518, 522 }, { 518, 520, 522 }, { 500, 518, 520 } ], [ { 513, 518, 523 }, { 513, 519, 523 }, { 518, 519, 523 }, { 513, 518, 519 } ], [ { 518, 523, 525 }, { 518, 523, 524 }, { 523, 524, 525, 526 }, { 518, 525, 526 }, { 518, 524, 526 } ], [ { 500, 518, 522 }, { 500, 522, 524 }, { 518, 522, 524 }, { 500, 518, 524 } ], [ { 500, 513, 527 }, { 500, 524, 527 }, { 500, 513, 523, 524 }, { 523, 524, 527 }, { 513, 523, 527 } ], [ { 11, 494, 528 }, { 477, 494, 528 }, { 11, 477, 528 }, { 11, 477, 494 } ], [ { 500, 520, 529 }, { 477, 500, 520 }, { 477, 500, 529 }, { 477, 520, 529 } ], [ { 528, 529, 530 }, { 477, 528, 530 }, { 477, 528, 529 }, { 477, 529, 530 } ], [ { 500, 530, 531 }, { 500, 529, 530 }, { 529, 530, 531 }, { 500, 529, 531 } ], [ { 528, 530, 532 }, { 11, 528, 530 }, { 11, 528, 532 }, { 11, 530, 532 } ], [ { 11, 532, 534 }, { 532, 533, 534 }, { 11, 533, 534 }, { 11, 532, 533 } ], [ { 22, 535, 536 }, { 533, 535, 536 }, { 22, 533, 536 }, { 22, 533, 535 } ], [ { 22, 535, 537 }, { 500, 535, 537 }, { 22, 500, 535 }, { 22, 500, 537 } ], [ { 513, 538, 539 }, { 20, 538, 539 }, { 20, 513, 539 }, { 20, 513, 538 } ], [ { 29, 538, 540 }, { 20, 29, 538 }, { 20, 538, 540 }, { 20, 29, 540 } ], [ { 26, 28, 29 }, { 28, 29, 30 }, { 26, 29, 30 }, { 26, 28, 30 } ], [ { 31, 33, 477 }, { 30, 31, 33 }, { 30, 33, 477 }, { 30, 31, 477 } ], [ { 28, 31, 541 }, { 28, 30, 541 }, { 28, 30, 31 }, { 30, 31, 541 } ], [ { 31, 541, 542 }, { 477, 541, 542 }, { 31, 477, 542 }, { 31, 477, 541 } ], [ { 513, 517, 542 }, { 477, 513, 542 }, { 477, 517, 542 }, { 477, 513, 517 } ], [ { 513, 542, 543 }, { 541, 542, 543 }, { 513, 541, 543 }, { 513, 541, 542 } ], [ { 22, 544, 545 }, { 22, 533, 545 }, { 533, 544, 545 }, { 22, 533, 544 } ], [ { 546, 547, 548 }, { 544, 547, 548 }, { 544, 546, 548 }, { 544, 546, 547 } ], [ { 22, 545, 547 }, { 544, 545, 547 }, { 22, 544, 545 }, { 22, 544, 547 } ], [ { 22, 547, 549 }, { 546, 547, 549 }, { 22, 546, 549 }, { 22, 546, 547 } ], [ { 20, 22, 35, 38 }, { 20, 37, 38 }, { 20, 22, 36, 37 }, { 35, 36, 37, 38 }, { 22, 35, 36 } ], [ { 29, 550, 551 }, { 20, 550, 551 }, { 20, 29, 551 }, { 20, 29, 550 } ], [ { 550, 551, 552 }, { 20, 551, 552 }, { 20, 550, 552 }, { 20, 550, 551 } ], [ { 546, 552, 553 }, { 20, 546, 552 }, { 20, 552, 553 }, { 20, 546, 553 } ], [ { 546, 552, 554 }, { 551, 552, 554 }, { 546, 551, 554 }, { 546, 551, 552 } ], [ { 47, 556, 557 }, { 47, 555, 557 }, { 555, 556, 557 }, { 47, 555, 556 } ], [ { 47, 558, 559 }, { 47, 556, 559 }, { 556, 558, 559 }, { 47, 556, 558 } ], [ { 41, 42, 65 }, { 40, 41, 42 }, { 40, 42, 65 }, { 40, 41, 65 } ], [ { 41, 45, 47 }, { 40, 45, 47 }, { 40, 41, 45 }, { 40, 41, 47 } ], [ { 561, 562, 563 }, { 560, 562, 563 }, { 560, 561, 563 }, { 560, 561, 562 } ], [ { 565, 566, 567 }, { 564, 566, 567 }, { 564, 565, 567 }, { 564, 565, 566 } ], [ { 566, 568, 569 }, { 564, 568, 569 }, { 564, 566, 569 }, { 564, 566, 568 } ], [ { 566, 568, 571 }, { 568, 570, 571 }, { 566, 570, 571 }, { 566, 568, 570 } ], [ { 49, 50, 572 }, { 50, 562, 572 }, { 49, 50, 562 }, { 49, 562, 572 } ], [ { 49, 50, 573 }, { 48, 49, 50 }, { 48, 50, 573 }, { 48, 49, 573 } ], [ { 49, 575, 576 }, { 49, 574, 576 }, { 574, 575, 576 }, { 49, 574, 575 } ], [ { 53, 55, 578 }, { 55, 577, 578 }, { 53, 55, 577 }, { 53, 577, 578 } ], [ { 53, 55, 573 }, { 52, 53, 55 }, { 52, 55, 573 }, { 52, 53, 573 } ], [ { 53, 579, 580 }, { 53, 574, 580 }, { 574, 579, 580 }, { 53, 574, 579 } ], [ { 582, 583, 584 }, { 581, 583, 584 }, { 581, 582, 584 }, { 581, 582, 583 } ], [ { 581, 584, 586 }, { 584, 585, 586 }, { 581, 585, 586 }, { 581, 584, 585 } ], [ { 581, 583, 587 }, { 579, 583, 587 }, { 579, 581, 587 }, { 579, 581, 583 } ], [ { 53, 581, 588 }, { 579, 581, 588 }, { 53, 579, 588 }, { 53, 579, 581 } ], [ { 53, 577, 581 }, { 53, 581, 589 }, { 577, 581, 589 }, { 53, 577, 589 } ], [ { 581, 585, 591 }, { 581, 590, 591 }, { 585, 590, 591 }, { 581, 585, 590 } ], [ { 581, 592, 593 }, { 581, 590, 593 }, { 590, 592, 593 }, { 581, 590, 592 } ], [ { 594, 595, 596 }, { 482, 595, 596 }, { 482, 594, 596 }, { 482, 594, 595 } ], [ { 63, 596, 597 }, { 63, 482, 597 }, { 482, 596, 597 }, { 63, 482, 596 } ], [ { 63, 596, 598 }, { 63, 595, 598 }, { 595, 596, 598 }, { 63, 595, 596 } ], [ { 56, 57, 59 }, { 57, 59, 82 }, { 56, 59, 82 }, { 56, 57, 82 } ], [ { 57, 61, 63 }, { 56, 61, 63 }, { 56, 57, 61 }, { 56, 57, 63 } ], [ { 577, 600, 601 }, { 577, 599, 601 }, { 599, 600, 601 }, { 577, 599, 600 } ], [ { 599, 603, 604 }, { 602, 603, 604 }, { 599, 602, 604 }, { 599, 602, 603 } ], [ { 606, 607, 608 }, { 605, 607, 608 }, { 605, 606, 608 }, { 605, 606, 607 } ], [ { 610, 611, 612 }, { 609, 611, 612 }, { 609, 610, 612 }, { 609, 610, 611 } ], [ { 614, 615, 616 }, { 613, 615, 616 }, { 613, 614, 616 }, { 613, 614, 615 } ], [ { 617, 618, 619 }, { 605, 618, 619 }, { 605, 617, 619 }, { 605, 617, 618 } ], [ { 621, 622, 623 }, { 620, 622, 623 }, { 620, 621, 623 }, { 620, 621, 622 } ], [ { 624, 625, 626 }, { 620, 625, 626 }, { 620, 624, 626 }, { 620, 624, 625 } ], [ { 41, 42, 64 }, { 42, 64, 65 }, { 41, 64, 65 }, { 41, 42, 65 } ], [ { 64, 66, 70 }, { 64, 65, 70 }, { 65, 66, 70 }, { 64, 65, 66 } ], [ { 64, 68, 70 }, { 41, 64, 70 }, { 41, 68, 70 }, { 41, 64, 68 } ], [ { 627, 628, 629 }, { 65, 628, 629 }, { 65, 627, 629 }, { 65, 627, 628 } ], [ { 73, 631, 632 }, { 73, 630, 632 }, { 630, 631, 632 }, { 73, 630, 631 } ], [ { 73, 632, 633 }, { 627, 632, 633 }, { 73, 627, 633 }, { 73, 627, 632 } ], [ { 73, 630, 631 }, { 71, 73, 631 }, { 71, 73, 630 }, { 71, 630, 631 } ], [ { 72, 73, 78 }, { 71, 73, 78 }, { 71, 72, 78 }, { 71, 72, 73 } ], [ { 76, 635, 636 }, { 76, 634, 636 }, { 634, 635, 636 }, { 76, 634, 635 } ], [ { 76, 634, 635 }, { 71, 76, 635 }, { 71, 76, 634 }, { 71, 634, 635 } ], [ { 75, 76, 78 }, { 71, 76, 78 }, { 71, 75, 76 }, { 71, 75, 78 } ], [ { 57, 59, 81 }, { 59, 81, 82 }, { 57, 81, 82 }, { 57, 59, 82 } ], [ { 81, 83, 87 }, { 81, 82, 87 }, { 82, 83, 87 }, { 81, 82, 83 } ], [ { 81, 85, 87 }, { 57, 81, 87 }, { 57, 85, 87 }, { 57, 81, 85 } ], [ { 637, 638, 639 }, { 82, 638, 639 }, { 82, 637, 639 }, { 82, 637, 638 } ], [ { 76, 636, 640 }, { 636, 637, 640 }, { 76, 637, 640 }, { 76, 636, 637 } ], [ { 89, 90, 92 }, { 88, 89, 90 }, { 88, 90, 92 }, { 88, 89, 92 } ], [ { 641, 642, 643 }, { 100, 642, 643 }, { 100, 641, 643 }, { 100, 641, 642 } ], [ { 94, 95, 98 }, { 95, 96, 98, 100 }, { 94, 98, 100 }, { 94, 95, 96 }, { 94, 96, 100 } ], [ { 644, 645, 646 }, { 100, 109, 645, 646 }, { 96, 100, 644, 646 }, { 96, 109, 644, 645 }, { 96, 100, 109 } ], [ { 98, 111, 647 }, { 98, 100, 647 }, { 100, 111, 647 }, { 98, 100, 111 } ], [ { 113, 114, 116 }, { 112, 113, 114 }, { 112, 114, 116 }, { 112, 113, 116 } ], [ { 119, 124, 649 }, { 119, 648, 649 }, { 124, 648, 649 }, { 119, 124, 648 } ], [ { 119, 651, 652 }, { 650, 651, 652 }, { 119, 650, 652 }, { 119, 650, 651 } ], [ { 652, 653, 654 }, { 119, 652, 654 }, { 119, 652, 653 }, { 119, 653, 654 } ], [ { 119, 120, 656 }, { 120, 655, 656 }, { 119, 655, 656 }, { 119, 120, 655 } ], [ { 653, 656, 657 }, { 119, 656, 657 }, { 119, 653, 657 }, { 119, 653, 656 } ], [ { 653, 659, 660, 661 }, { 658, 659, 660 }, { 653, 658, 659 }, { 658, 660, 661 }, { 653, 658, 661 } ], [ { 659, 662, 663 }, { 658, 659, 663 }, { 658, 659, 662 }, { 658, 662, 663 } ], [ { 658, 662, 663 }, { 655, 656, 662, 663 }, { 655, 658, 662 }, { 656, 658, 663 }, { 655, 656, 658 } ], [ { 653, 656, 658 }, { 653, 655, 656 }, { 655, 656, 658 }, { 653, 655, 658 } ], [ { 664, 665, 666 }, { 112, 665, 666 }, { 112, 664, 666 }, { 112, 664, 665 } ], [ { 666, 667, 668 }, { 664, 666, 667 }, { 664, 667, 668 }, { 664, 666, 669 }, { 664, 668, 669 }, { 666, 668, 669 } ], [ { 668, 669, 671 }, { 668, 669, 670 }, { 669, 670, 671 }, { 668, 670, 671 } ], [ { 668, 671, 672 }, { 664, 668, 672 }, { 664, 668, 671 }, { 664, 671, 672 } ], [ { 668, 672, 673 }, { 668, 671, 673 }, { 671, 672, 673 }, { 668, 671, 672 } ], [ { 674, 675, 676 }, { 655, 675, 676 }, { 655, 674, 676 }, { 655, 674, 675 } ], [ { 122, 677, 678 }, { 674, 677, 678 }, { 122, 674, 678 }, { 122, 674, 677 } ], [ { 119, 120, 121 }, { 120, 121, 655 }, { 119, 121, 655 }, { 119, 120, 655 } ], [ { 121, 122, 677 }, { 121, 655, 677 }, { 122, 655, 677 }, { 121, 122, 655 } ], [ { 119, 121, 122 }, { 118, 121, 122 }, { 118, 119, 121 }, { 118, 119, 122 } ], [ { 119, 124, 126 }, { 119, 126, 648 }, { 124, 126, 648 }, { 119, 124, 648 } ], [ { 125, 126, 127 }, { 119, 126, 127 }, { 119, 125, 126 }, { 119, 125, 127 } ], [ { 679, 680, 681 }, { 648, 680, 681 }, { 648, 679, 681 }, { 648, 679, 680 } ], [ { 126, 127, 682 }, { 126, 648, 682 }, { 127, 648, 682 }, { 126, 127, 648 } ], [ { 127, 682, 683 }, { 679, 682, 683 }, { 127, 679, 683 }, { 127, 679, 682 } ], [ { 129, 685, 686 }, { 129, 684, 686 }, { 684, 685, 686 }, { 129, 684, 685 } ], [ { 129, 687, 688 }, { 129, 133, 688 }, { 133, 687, 688 }, { 129, 133, 687 } ], [ { 689, 690, 691, 692 }, { 130, 136, 689, 690 }, { 136, 689, 691 }, { 130, 136, 691, 692 }, { 130, 690, 692 } ], [ { 136, 694, 695 }, { 136, 693, 695 }, { 136, 693, 694 }, { 693, 694, 695 } ], [ { 130, 697, 698 }, { 130, 696, 698 }, { 130, 696, 697 }, { 696, 697, 698 } ], [ { 129, 130, 131 }, { 130, 131, 697 }, { 129, 131, 697 }, { 129, 130, 697 } ], [ { 129, 134, 697 }, { 129, 133, 134 }, { 129, 133, 697 }, { 133, 134, 697 } ], [ { 689, 699, 700 }, { 137, 684, 699, 700 }, { 136, 684, 689, 699 }, { 136, 137, 689, 700 }, { 136, 137, 684 } ], [ { 136, 137, 138 }, { 137, 138, 694 }, { 136, 138, 694 }, { 136, 137, 694 } ], [ { 137, 141, 694 }, { 137, 140, 141 }, { 137, 140, 694 }, { 140, 141, 694 } ], [ { 145, 148, 149 }, { 143, 146, 148, 149 }, { 143, 145, 148 }, { 143, 145, 146 }, { 145, 146, 149 } ], [ { 154, 702, 703 }, { 154, 701, 703 }, { 154, 701, 702 }, { 701, 702, 703 } ], [ { 151, 152, 154, 155 }, { 150, 154, 155 }, { 150, 151, 154 }, { 150, 151, 152 }, { 150, 152, 155 } ], [ { 151, 153, 704 }, { 150, 153, 704 }, { 150, 151, 153 }, { 150, 151, 704 } ], [ { 154, 156, 704 }, { 150, 156, 704 }, { 150, 154, 156 }, { 150, 154, 704 } ], [ { 151, 706, 707 }, { 151, 705, 707 }, { 151, 705, 706 }, { 705, 706, 707 } ], [ { 137, 708, 709 }, { 684, 708, 709 }, { 137, 684, 709 }, { 137, 684, 708 } ], [ { 137, 710, 711 }, { 137, 140, 711 }, { 140, 710, 711 }, { 137, 140, 710 } ], [ { 712, 713, 714 }, { 88, 713, 714 }, { 88, 712, 714 }, { 88, 712, 713 } ], [ { 714, 715, 716 }, { 712, 714, 715 }, { 712, 715, 716 }, { 714, 716, 717 }, { 712, 716, 717 }, { 712, 714, 717 } ], [ { 716, 717, 719 }, { 716, 717, 718 }, { 717, 718, 719 }, { 716, 718, 719 } ], [ { 716, 719, 720 }, { 712, 716, 720 }, { 712, 716, 719 }, { 712, 719, 720 } ], [ { 716, 720, 721 }, { 716, 719, 721 }, { 719, 720, 721 }, { 716, 719, 720 } ], [ { 723, 724, 725 }, { 722, 724, 725 }, { 722, 723, 725 }, { 722, 723, 724 } ], [ { 724, 725, 727 }, { 724, 725, 726 }, { 725, 726, 727 }, { 724, 726, 727 } ], [ { 723, 725, 728 }, { 722, 725, 728 }, { 722, 723, 725 }, { 722, 723, 728 } ], [ { 723, 730, 731 }, { 729, 730, 731 }, { 723, 729, 731 }, { 723, 729, 730 } ], [ { 723, 728, 732 }, { 728, 729, 732 }, { 723, 729, 732 }, { 723, 728, 729 } ], [ { 169, 733, 734 }, { 168, 169, 734 }, { 168, 733, 734 }, { 168, 169, 733 } ], [ { 169, 174, 736 }, { 169, 735, 736 }, { 174, 735, 736 }, { 169, 174, 735 } ], [ { 158, 159, 161, 162 }, { 157, 161, 162 }, { 157, 158, 161 }, { 157, 158, 159 }, { 157, 159, 162 } ], [ { 157, 161, 164 }, { 161, 164, 168 }, { 157, 164, 168 }, { 157, 161, 168 } ], [ { 158, 166, 174 }, { 157, 158, 166 }, { 157, 166, 174 }, { 157, 158, 174 } ], [ { 169, 170, 737 }, { 168, 170, 737 }, { 168, 169, 737 }, { 168, 169, 170 } ], [ { 168, 172, 737 }, { 172, 267, 737 }, { 168, 267, 737 }, { 168, 172, 267 } ], [ { 161, 172, 738 }, { 161, 172, 267 }, { 172, 267, 738 }, { 161, 267, 738 } ], [ { 161, 164, 172 }, { 164, 168, 172 }, { 161, 164, 168 }, { 161, 168, 172 } ], [ { 169, 175, 739 }, { 174, 175, 739 }, { 169, 174, 739 }, { 169, 174, 175 } ], [ { 177, 739, 740 }, { 174, 177, 739 }, { 174, 739, 740 }, { 174, 177, 740 } ], [ { 158, 166, 177 }, { 166, 174, 177 }, { 158, 166, 174 }, { 158, 174, 177 } ], [ { 158, 177, 741 }, { 158, 177, 740 }, { 177, 740, 741 }, { 158, 740, 741 } ], [ { 182, 742, 743 }, { 180, 182, 743 }, { 180, 182, 742, 744 }, { 180, 743, 744 }, { 742, 743, 744 } ], [ { 179, 180, 646 }, { 180, 182, 646, 745 }, { 179, 181, 646, 745 }, { 179, 180, 181, 182 }, { 181, 182, 745 } ], [ { 185, 747, 748 }, { 746, 747, 748 }, { 185, 746, 748 }, { 185, 746, 747 } ], [ { 747, 749, 750 }, { 746, 747, 750 }, { 746, 749, 750 }, { 746, 747, 749 } ], [ { 185, 186, 188 }, { 186, 188, 746 }, { 185, 188, 746 }, { 185, 186, 746 } ], [ { 186, 187, 751 }, { 185, 187, 751 }, { 185, 186, 187 }, { 185, 186, 751 } ], [ { 749, 750, 752 }, { 746, 750, 752 }, { 746, 749, 750 }, { 746, 749, 752 } ], [ { 750, 752, 753 }, { 749, 750, 752 }, { 749, 750, 753 }, { 749, 752, 753 } ], [ { 753, 755, 756 }, { 754, 755, 756 }, { 753, 754, 756 }, { 753, 754, 755 } ], [ { 755, 756, 757 }, { 754, 756, 757 }, { 754, 755, 757 }, { 754, 755, 756 } ], [ { 759, 760, 761 }, { 758, 760, 761 }, { 758, 759, 761 }, { 758, 759, 760 } ], [ { 757, 760, 763, 764 }, { 757, 760, 761, 762 }, { 760, 761, 763 }, { 761, 762, 763, 764 }, { 757, 762, 764 } ], [ { 759, 760, 765 }, { 758, 760, 765 }, { 758, 759, 760 }, { 758, 759, 765 } ], [ { 760, 765, 767 }, { 760, 765, 766 }, { 760, 766, 767 }, { 765, 766, 767 } ], [ { 768, 769, 770 }, { 189, 769, 770 }, { 189, 768, 770 }, { 189, 768, 769 } ], [ { 768, 770, 771 }, { 759, 770, 771 }, { 759, 768, 770 }, { 759, 768, 771 } ], [ { 190, 191, 772 }, { 189, 191, 772 }, { 189, 190, 191 }, { 189, 190, 772 } ], [ { 190, 192, 770 }, { 189, 192, 770 }, { 189, 190, 770 }, { 189, 190, 192 } ], [ { 770, 771, 773 }, { 759, 770, 771 }, { 759, 770, 773 }, { 759, 771, 773 } ], [ { 771, 773, 774 }, { 759, 771, 774 }, { 759, 771, 773 }, { 759, 773, 774 } ], [ { 765, 767, 774 }, { 765, 766, 767 }, { 765, 766, 774 }, { 766, 767, 774 } ], [ { 194, 195, 196 }, { 195, 196, 210 }, { 194, 196, 210 }, { 194, 195, 210 } ], [ { 194, 195, 776 }, { 194, 195, 775 }, { 195, 775, 776 }, { 194, 775, 776 } ], [ { 197, 198, 199 }, { 198, 199, 777 }, { 197, 199, 777 }, { 197, 198, 777 } ], [ { 778, 779, 780, 781 }, { 759, 779, 780 }, { 759, 778, 780 }, { 759, 778, 781 }, { 759, 779, 781 } ], [ { 202, 203, 207, 208 }, { 202, 207, 782 }, { 202, 203, 204 }, { 202, 204, 782, 785 }, { 207, 782, 783, 784 }, { 203, 204, 208, 783, 784, 785 }, { 782, 783, 785 }, { 207, 208, 784 } ], [ { 786, 787, 788 }, { 202, 782, 787, 788 }, { 202, 786, 787 }, { 782, 786, 788 }, { 202, 782, 786 } ], [ { 790, 791, 792 }, { 789, 791, 792 }, { 789, 790, 792 }, { 789, 790, 791 } ], [ { 225, 791, 793 }, { 789, 791, 793 }, { 225, 789, 793 }, { 225, 789, 791 } ], [ { 793, 794, 795 }, { 789, 793, 795 }, { 789, 793, 794 }, { 789, 794, 795 } ], [ { 790, 796, 797 }, { 789, 790, 797 }, { 789, 796, 797 }, { 789, 790, 796 } ], [ { 795, 797, 798 }, { 789, 797, 798 }, { 789, 795, 797 }, { 789, 795, 798 } ], [ { 194, 196, 212 }, { 196, 210, 212 }, { 194, 196, 210 }, { 194, 210, 212 } ], [ { 215, 216, 217 }, { 213, 215, 216 }, { 213, 216, 217 }, { 213, 215, 217 } ], [ { 194, 217, 218, 219 }, { 194, 212, 215, 217 }, { 194, 212, 219 }, { 212, 215, 218, 219 }, { 215, 217, 218 } ], [ { 793, 795, 799 }, { 225, 793, 799 }, { 225, 793, 795 }, { 225, 795, 799 } ], [ { 216, 217, 222 }, { 213, 216, 222 }, { 213, 216, 217 }, { 213, 217, 222 } ], [ { 217, 222, 800 }, { 222, 224, 800 }, { 217, 224, 800 }, { 217, 222, 224 } ], [ { 225, 227, 801 }, { 224, 227, 801 }, { 224, 225, 227 }, { 224, 225, 801 } ], [ { 229, 230, 801 }, { 225, 230, 801 }, { 225, 229, 230 }, { 225, 229, 801 } ], [ { 232, 803, 804 }, { 802, 803, 804 }, { 232, 802, 804 }, { 232, 802, 803 } ], [ { 803, 804, 806 }, { 803, 804, 805 }, { 804, 805, 806 }, { 803, 805, 806 } ], [ { 232, 803, 808 }, { 803, 807, 808, 809 }, { 232, 803, 807 }, { 232, 807, 809 }, { 232, 808, 809 } ], [ { 803, 805, 806 }, { 803, 806, 810 }, { 803, 805, 810 }, { 805, 806, 810 } ], [ { 803, 811, 812 }, { 810, 811, 812 }, { 803, 810, 812 }, { 803, 810, 811 } ], [ { 805, 814, 815 }, { 813, 814, 815 }, { 805, 813, 815 }, { 805, 813, 814 } ], [ { 805, 813, 816 }, { 805, 810, 816 }, { 810, 813, 816 }, { 805, 810, 813 } ], [ { 811, 812, 813 }, { 810, 811, 812 }, { 810, 812, 813 }, { 810, 811, 813 } ], [ { 232, 234, 817 }, { 231, 232, 234 }, { 231, 234, 817 }, { 231, 232, 817 } ], [ { 232, 818, 819 }, { 231, 818, 819 }, { 231, 232, 819 }, { 231, 232, 818 } ], [ { 232, 804, 818 }, { 802, 804, 818 }, { 232, 802, 804 }, { 232, 802, 818 } ], [ { 240, 241, 243 }, { 236, 239, 240, 243 }, { 236, 238, 240, 241 }, { 238, 239, 241, 243 }, { 236, 238, 239 } ], [ { 244, 245, 247 }, { 240, 245, 247 }, { 240, 244, 247 }, { 240, 244, 245 } ], [ { 236, 249, 250 }, { 236, 240, 250 }, { 236, 240, 245, 249 }, { 245, 249, 250 }, { 240, 245, 250 } ], [ { 169, 249, 253 }, { 236, 249, 253 }, { 169, 236, 253 }, { 169, 236, 249 } ], [ { 805, 814, 821 }, { 814, 820, 821, 822 }, { 805, 814, 820 }, { 805, 821, 822 }, { 805, 820, 822 } ], [ { 258, 821, 823 }, { 258, 260, 823, 824 }, { 258, 260, 821, 822 }, { 821, 822, 823, 824 }, { 260, 822, 824 } ], [ { 258, 259, 260, 261 }, { 257, 258, 260, 262 }, { 260, 261, 262 }, { 257, 259, 261, 262 }, { 257, 258, 259 } ], [ { 277, 825, 826 }, { 271, 825, 826 }, { 271, 277, 826 }, { 271, 277, 825 } ], [ { 169, 244, 245, 249 }, { 169, 244, 265 }, { 169, 249, 265 }, { 244, 245, 265 }, { 245, 249, 265 } ], [ { 275, 737, 827 }, { 267, 737, 827 }, { 267, 275, 827 }, { 267, 275, 737 } ], [ { 268, 269, 275 }, { 267, 269, 275 }, { 267, 268, 269 }, { 267, 268, 275 } ], [ { 268, 272, 275 }, { 271, 272, 275 }, { 268, 271, 272 }, { 268, 271, 275 } ], [ { 268, 277, 828 }, { 267, 268, 828 }, { 267, 268, 277 }, { 267, 277, 828 } ], [ { 268, 276, 277 }, { 268, 271, 277 }, { 268, 271, 276 }, { 271, 276, 277 } ], [ { 280, 281, 286 }, { 281, 285, 286 }, { 280, 285, 286 }, { 280, 281, 285 } ], [ { 185, 280, 281 }, { 185, 279, 281 }, { 279, 280, 281 }, { 185, 279, 280 } ], [ { 187, 284, 751 }, { 185, 187, 284 }, { 185, 284, 751 }, { 185, 187, 751 } ], [ { 291, 303, 829 }, { 288, 291, 829 }, { 288, 303, 829 }, { 288, 291, 303 } ], [ { 281, 287, 288 }, { 285, 287, 288 }, { 281, 285, 287 }, { 281, 285, 288 } ], [ { 287, 289, 291 }, { 287, 288, 291 }, { 287, 288, 289 }, { 288, 289, 291 } ], [ { 293, 294, 295 }, { 281, 294, 295 }, { 281, 293, 295 }, { 281, 293, 294 } ], [ { 287, 291, 297 }, { 281, 287, 297 }, { 281, 291, 297 }, { 281, 287, 291 } ], [ { 294, 296, 297 }, { 281, 296, 297 }, { 281, 294, 297 }, { 281, 294, 296 } ], [ { 298, 299, 300 }, { 299, 300, 830 }, { 298, 300, 830 }, { 298, 299, 830 } ], [ { 298, 300, 303 }, { 298, 300, 308 }, { 300, 303, 308 }, { 298, 303, 308 } ], [ { 291, 298, 831 }, { 298, 303, 831 }, { 291, 303, 831 }, { 291, 298, 303 } ], [ { 305, 307, 832 }, { 304, 307, 832 }, { 304, 305, 307 }, { 304, 305, 832 } ], [ { 309, 311, 330 }, { 308, 309, 311 }, { 308, 311, 330 }, { 308, 309, 330 } ], [ { 210, 280, 312 }, { 210, 280, 313, 833 }, { 210, 312, 315, 833 }, { 280, 312, 313, 315 }, { 313, 315, 833 } ], [ { 280, 288, 312, 330 }, { 312, 317, 330 }, { 280, 312, 317, 318 }, { 288, 317, 318, 330 }, { 280, 288, 318 } ], [ { 1, 312, 320 }, { 1, 305, 320 }, { 305, 312, 320 }, { 1, 305, 312 } ], [ { 322, 330, 834 }, { 312, 322, 330 }, { 312, 321, 330, 834 }, { 321, 322, 834 }, { 312, 321, 322 } ], [ { 1, 312, 322 }, { 1, 322, 334 }, { 312, 322, 334 }, { 1, 312, 334 } ], [ { 324, 325, 326, 835 }, { 1, 324, 326 }, { 1, 324, 325 }, { 1, 326, 835 }, { 1, 325, 835 } ], [ { 326, 327, 328 }, { 1, 327, 328 }, { 1, 326, 328 }, { 1, 326, 327 } ], [ { 1, 327, 340 }, { 327, 339, 340 }, { 1, 327, 339 }, { 1, 339, 340 } ], [ { 330, 331, 332 }, { 308, 331, 332 }, { 308, 330, 332 }, { 308, 330, 331 } ], [ { 331, 333, 337 }, { 330, 333, 337 }, { 330, 331, 333 }, { 330, 331, 337 } ], [ { 1, 322, 335 }, { 322, 330, 335 }, { 1, 322, 330 }, { 1, 330, 335 } ], [ { 335, 336, 337 }, { 330, 336, 337 }, { 330, 335, 336 }, { 330, 335, 337 } ], [ { 1, 335, 337 }, { 335, 337, 339 }, { 1, 337, 339 }, { 1, 335, 339 } ], [ { 342, 343, 344 }, { 343, 344, 358 }, { 342, 344, 358 }, { 342, 343, 358 } ], [ { 331, 342, 343 }, { 308, 342, 343 }, { 308, 331, 343 }, { 308, 331, 342 } ], [ { 337, 343, 836 }, { 331, 343, 836 }, { 331, 337, 836 }, { 331, 337, 343 } ], [ { 351, 838, 839 }, { 351, 837, 839 }, { 351, 837, 838 }, { 837, 838, 839 } ], [ { 348, 349, 839 }, { 346, 349, 839 }, { 346, 348, 839 }, { 346, 348, 349 } ], [ { 351, 839, 840 }, { 346, 351, 840 }, { 346, 351, 839 }, { 346, 839, 840 } ], [ { 348, 842, 843 }, { 841, 842, 843 }, { 348, 841, 843 }, { 348, 841, 842 } ], [ { 351, 353, 844 }, { 350, 353, 844 }, { 350, 351, 353 }, { 350, 351, 844 } ], [ { 351, 844, 845 }, { 346, 351, 844 }, { 346, 844, 845 }, { 346, 351, 845 } ], [ { 332, 342, 354 }, { 308, 332, 354 }, { 308, 342, 354 }, { 308, 332, 342 } ], [ { 342, 344, 354 }, { 344, 354, 358 }, { 342, 344, 358 }, { 342, 354, 358 } ], [ { 358, 846, 847, 848 }, { 356, 358, 847 }, { 356, 358, 846 }, { 356, 846, 848 }, { 356, 847, 848 } ], [ { 354, 357, 358 }, { 354, 356, 358 }, { 354, 356, 357 }, { 356, 357, 358 } ], [ { 364, 365, 849 }, { 364, 365, 367 }, { 365, 367, 849 }, { 364, 367, 849 } ], [ { 839, 849, 850 }, { 308, 849, 850 }, { 308, 839, 850 }, { 308, 839, 849 } ], [ { 349, 361, 839, 849 }, { 348, 349, 839 }, { 348, 349, 361 }, { 348, 361, 849 }, { 348, 839, 849 } ], [ { 362, 849, 851 }, { 362, 367, 851 }, { 367, 849, 851 }, { 362, 367, 849 } ], [ { 361, 362, 849 }, { 348, 362, 849 }, { 348, 361, 362 }, { 348, 361, 849 } ], [ { 364, 365, 367 }, { 363, 364, 365 }, { 363, 365, 367 }, { 363, 364, 367 } ], [ { 367, 368, 369 }, { 363, 368, 369 }, { 363, 367, 369 }, { 363, 367, 368 } ], [ { 362, 371, 375 }, { 362, 367, 375 }, { 367, 371, 375 }, { 362, 367, 371 } ], [ { 348, 362, 373, 852 }, { 348, 362, 371 }, { 348, 371, 372, 852 }, { 362, 371, 372, 373 }, { 372, 373, 852 } ], [ { 368, 377, 378 }, { 367, 368, 378 }, { 367, 368, 377 }, { 367, 377, 378 } ], [ { 371, 378, 379 }, { 367, 371, 379 }, { 367, 378, 379 }, { 367, 371, 378 } ], [ { 348, 377, 854 }, { 377, 853, 854 }, { 348, 853, 854 }, { 348, 377, 853 } ], [ { 856, 857, 858 }, { 855, 857, 858 }, { 855, 856, 858 }, { 855, 856, 857 } ], [ { 857, 858, 859, 860 }, { 855, 859, 860 }, { 855, 857, 859 }, { 855, 857, 858 }, { 855, 858, 860 } ], [ { 859, 860, 861 }, { 855, 859, 860 }, { 855, 860, 861 }, { 855, 859, 861 } ], [ { 859, 861, 862 }, { 856, 861, 862, 863 }, { 856, 857, 859, 861 }, { 857, 859, 862, 863 }, { 856, 857, 863 } ], [ { 865, 866, 867, 868 }, { 864, 866, 867 }, { 864, 865, 866 }, { 864, 867, 868 }, { 864, 865, 868 } ], [ { 867, 870, 871 }, { 869, 870, 871 }, { 867, 869, 871 }, { 867, 869, 870 } ], [ { 867, 870, 873 }, { 867, 870, 872 }, { 870, 872, 873 }, { 867, 872, 873 } ], [ { 382, 384, 874 }, { 381, 384, 874 }, { 381, 382, 384 }, { 381, 382, 874 } ], [ { 383, 384, 875 }, { 381, 384, 875 }, { 381, 383, 875 }, { 381, 383, 384 } ], [ { 384, 385, 386 }, { 384, 386, 869 }, { 384, 385, 869 }, { 385, 386, 869 } ], [ { 384, 386, 390 }, { 384, 386, 389 }, { 386, 389, 390, 391 }, { 384, 389, 391 }, { 384, 390, 391 } ], [ { 386, 389, 869, 876 }, { 388, 389, 876 }, { 388, 869, 876 }, { 386, 388, 389 }, { 386, 388, 869 } ], [ { 384, 389, 392 }, { 384, 389, 876 }, { 384, 392, 876 }, { 389, 392, 876 } ], [ { 395, 396, 416 }, { 394, 396, 416 }, { 394, 395, 396 }, { 394, 395, 416 } ], [ { 396, 397, 399 }, { 394, 396, 397 }, { 394, 397, 399 }, { 394, 396, 399 } ], [ { 398, 399, 410 }, { 394, 399, 410 }, { 394, 398, 399 }, { 394, 398, 410 } ], [ { 399, 401, 410 }, { 401, 402, 410, 416 }, { 396, 399, 410, 416 }, { 396, 399, 401, 402 }, { 396, 402, 416 } ], [ { 409, 416, 877 }, { 406, 409, 877 }, { 406, 409, 410, 416 }, { 410, 416, 877 }, { 406, 410, 877 } ], [ { 404, 406, 407, 409 }, { 403, 407, 409 }, { 403, 404, 407 }, { 403, 406, 409 }, { 403, 404, 406 } ], [ { 410, 411, 412 }, { 394, 411, 412 }, { 394, 410, 412 }, { 394, 410, 411 } ], [ { 412, 414, 425 }, { 394, 414, 425 }, { 394, 412, 414 }, { 394, 412, 425 } ], [ { 412, 424, 425 }, { 412, 422, 425 }, { 422, 424, 425 }, { 412, 422, 424 } ], [ { 412, 878, 879 }, { 404, 412, 879 }, { 404, 878, 879 }, { 404, 412, 878 } ], [ { 412, 424, 878 }, { 412, 422, 878 }, { 412, 422, 424 }, { 422, 424, 878 } ], [ { 415, 416, 417 }, { 394, 416, 417 }, { 394, 415, 417 }, { 394, 415, 416 } ], [ { 420, 424, 425 }, { 394, 420, 425 }, { 394, 420, 424 }, { 394, 424, 425 } ], [ { 417, 419, 420 }, { 394, 419, 420 }, { 394, 417, 419 }, { 394, 417, 420 } ], [ { 417, 420, 424 }, { 417, 420, 423 }, { 420, 423, 424 }, { 417, 423, 424 } ], [ { 417, 427, 880 }, { 407, 417, 880 }, { 407, 427, 880 }, { 407, 417, 427 } ], [ { 417, 424, 427 }, { 417, 423, 427 }, { 417, 423, 424 }, { 423, 424, 427 } ], [ { 429, 430, 431 }, { 430, 431, 438 }, { 429, 431, 438 }, { 429, 430, 438 } ], [ { 430, 433, 438 }, { 430, 431, 432, 433 }, { 432, 433, 438 }, { 430, 431, 438 }, { 431, 432, 438 } ], [ { 404, 433, 438 }, { 432, 433, 438 }, { 404, 432, 433 }, { 404, 432, 438 } ], [ { 404, 429, 881 }, { 404, 432, 881 }, { 404, 429, 431, 432 }, { 431, 432, 881 }, { 429, 431, 881 } ], [ { 882, 883, 884 }, { 439, 883, 884 }, { 439, 882, 884 }, { 439, 882, 883 } ], [ { 429, 884, 886 }, { 884, 885, 886 }, { 429, 885, 886 }, { 429, 884, 885 } ], [ { 429, 884, 887 }, { 438, 884, 887 }, { 429, 438, 887 }, { 429, 438, 884 } ], [ { 444, 878, 879 }, { 404, 878, 879 }, { 404, 444, 879 }, { 404, 444, 878 } ], [ { 438, 444, 888 }, { 404, 444, 888 }, { 404, 438, 888 }, { 404, 438, 444 } ], [ { 439, 440, 444, 445 }, { 438, 439, 440, 442 }, { 438, 439, 444 }, { 438, 442, 444, 445 }, { 440, 442, 445 } ], [ { 439, 444, 889 }, { 439, 443, 889 }, { 443, 444, 889 }, { 439, 443, 444 } ], [ { 447, 477, 890 }, { 446, 477, 890 }, { 446, 447, 890 }, { 446, 447, 477 } ], [ { 447, 448, 891 }, { 446, 448, 891 }, { 446, 447, 448 }, { 446, 447, 891 } ], [ { 450, 451, 892 }, { 447, 450, 451 }, { 447, 451, 892 }, { 447, 450, 892 } ], [ { 453, 889, 893 }, { 447, 889, 893 }, { 447, 453, 893 }, { 447, 453, 889 } ], [ { 453, 455, 894 }, { 447, 453, 455 }, { 447, 455, 894 }, { 447, 453, 894 } ], [ { 453, 892, 895 }, { 892, 894, 895 }, { 453, 894, 895 }, { 453, 892, 894 } ], [ { 453, 892, 897 }, { 453, 892, 896 }, { 892, 896, 897 }, { 453, 896, 897 } ], [ { 477, 898, 899 }, { 447, 898, 899 }, { 447, 477, 899 }, { 447, 477, 898 } ], [ { 457, 459, 900 }, { 459, 477, 900 }, { 457, 477, 900 }, { 457, 459, 477 } ], [ { 457, 459, 901 }, { 456, 457, 459 }, { 456, 459, 901 }, { 456, 457, 901 } ], [ { 457, 460, 462 }, { 460, 462, 902 }, { 457, 462, 902 }, { 457, 460, 902 } ], [ { 457, 464, 882 }, { 457, 882, 903 }, { 457, 464, 903 }, { 464, 882, 903 } ], [ { 902, 904, 905 }, { 464, 904, 905 }, { 464, 902, 905 }, { 464, 902, 904 } ], [ { 457, 464, 905 }, { 457, 463, 905 }, { 463, 464, 905 }, { 457, 463, 464 } ], [ { 439, 457, 882 }, { 457, 882, 903 }, { 439, 457, 903 }, { 439, 882, 903 } ], [ { 439, 898, 906 }, { 477, 898, 906 }, { 439, 477, 906 }, { 439, 477, 898 } ], [ { 457, 477, 906 }, { 457, 906, 907 }, { 477, 906, 907 }, { 457, 477, 907 } ], [ { 457, 906, 908 }, { 439, 457, 906 }, { 439, 906, 908 }, { 439, 457, 908 } ], [ { 464, 902, 910 }, { 902, 909, 910 }, { 464, 909, 910 }, { 464, 902, 909 } ], [ { 6, 466, 469 }, { 6, 30, 466 }, { 30, 466, 469 }, { 6, 30, 469 } ], [ { 6, 469, 471 }, { 6, 468, 471 }, { 468, 469, 471 }, { 6, 468, 469 } ], [ { 473, 911, 912 }, { 472, 473, 912 }, { 472, 911, 912 }, { 472, 473, 911 } ], [ { 6, 7, 473 }, { 6, 7, 472 }, { 7, 472, 473 }, { 6, 472, 473 } ], [ { 30, 477, 913 }, { 476, 477, 913 }, { 30, 476, 913 }, { 30, 476, 477 } ], [ { 6, 478, 479 }, { 30, 478, 479 }, { 6, 30, 478 }, { 6, 30, 479 } ], [ { 473, 479, 481 }, { 479, 481, 902 }, { 473, 481, 902 }, { 473, 479, 902 } ], [ { 13, 483, 484 }, { 482, 483, 484 }, { 13, 482, 484 }, { 13, 482, 483 } ], [ { 11, 13, 483 }, { 9, 13, 483 }, { 9, 11, 483 }, { 9, 11, 13 } ], [ { 486, 488, 915 }, { 488, 914, 915 }, { 486, 914, 915 }, { 486, 488, 914 } ], [ { 13, 14, 488 }, { 14, 486, 488 }, { 13, 14, 486 }, { 13, 486, 488 } ], [ { 490, 491, 892 }, { 486, 491, 892 }, { 486, 490, 892 }, { 486, 490, 491 } ], [ { 11, 493, 916 }, { 477, 493, 916 }, { 11, 477, 916 }, { 11, 477, 493 } ], [ { 13, 486, 490 }, { 13, 486, 495 }, { 486, 490, 495, 497 }, { 13, 490, 497 }, { 13, 495, 497 } ], [ { 13, 490, 498 }, { 11, 13, 498 }, { 11, 490, 498 }, { 11, 13, 490 } ], [ { 22, 500, 502 }, { 22, 499, 502 }, { 499, 500, 502 }, { 22, 499, 500 } ], [ { 20, 22, 508 }, { 20, 505, 508 }, { 20, 22, 502, 505 }, { 502, 505, 508 }, { 22, 502, 508 } ], [ { 505, 513, 514 }, { 20, 513, 514 }, { 20, 505, 514 }, { 20, 505, 513 } ], [ { 500, 513, 527 }, { 505, 513, 527 }, { 500, 502, 505, 513 }, { 502, 505, 527 }, { 500, 502, 527 } ], [ { 513, 517, 518 }, { 477, 513, 518 }, { 477, 513, 517 }, { 477, 517, 518 } ], [ { 500, 518, 520 }, { 477, 500, 520 }, { 477, 500, 518 }, { 477, 518, 520 } ], [ { 500, 513, 518 }, { 500, 513, 523, 524 }, { 500, 518, 524 }, { 518, 523, 524 }, { 513, 518, 523 } ], [ { 11, 528, 530 }, { 477, 528, 530 }, { 11, 477, 528 }, { 11, 477, 530 } ], [ { 500, 529, 530 }, { 477, 500, 530 }, { 477, 529, 530 }, { 477, 500, 529 } ], [ { 500, 530, 532 }, { 11, 500, 530 }, { 11, 530, 532 }, { 11, 500, 532 } ], [ { 11, 500, 532 }, { 500, 532, 533 }, { 11, 500, 533 }, { 11, 532, 533 } ], [ { 22, 500, 535 }, { 22, 533, 535 }, { 500, 533, 535 }, { 22, 500, 533 } ], [ { 29, 513, 538 }, { 20, 29, 538 }, { 20, 513, 538 }, { 20, 29, 513 } ], [ { 28, 29, 513 }, { 29, 30, 513 }, { 28, 29, 30 }, { 28, 30, 513 } ], [ { 31, 477, 541 }, { 30, 31, 541 }, { 30, 477, 541 }, { 30, 31, 477 } ], [ { 28, 513, 541 }, { 28, 30, 513 }, { 30, 513, 541 }, { 28, 30, 541 } ], [ { 513, 541, 542 }, { 477, 513, 542 }, { 477, 541, 542 }, { 477, 513, 541 } ], [ { 11, 22, 544 }, { 11, 22, 533 }, { 22, 533, 544 }, { 11, 533, 544 } ], [ { 22, 546, 547 }, { 22, 544, 547 }, { 544, 546, 547 }, { 22, 544, 546 } ], [ { 20, 22, 917, 918 }, { 20, 22, 35, 38 }, { 20, 38, 918 }, { 35, 38, 917, 918 }, { 22, 35, 917 } ], [ { 29, 30, 551 }, { 20, 29, 551 }, { 20, 30, 551 }, { 20, 29, 30 } ], [ { 546, 551, 552 }, { 20, 546, 552 }, { 20, 551, 552 }, { 20, 546, 551 } ], [ { 47, 556, 558 }, { 47, 555, 558 }, { 47, 555, 556 }, { 555, 556, 558 } ], [ { 41, 47, 65 }, { 40, 41, 47 }, { 40, 47, 65 }, { 40, 41, 65 } ], [ { 45, 47, 558 }, { 41, 45, 47 }, { 41, 45, 558 }, { 41, 47, 558 } ], [ { 561, 562, 563 }, { 41, 562, 563 }, { 41, 561, 563 }, { 41, 561, 562 } ], [ { 562, 563, 919 }, { 560, 563, 919 }, { 560, 562, 919 }, { 560, 562, 563 } ], [ { 565, 566, 920 }, { 564, 565, 566 }, { 564, 566, 920 }, { 564, 565, 920 } ], [ { 566, 568, 570 }, { 564, 566, 568 }, { 564, 568, 570 }, { 564, 566, 570 } ], [ { 49, 50, 573 }, { 49, 50, 562 }, { 50, 562, 573 }, { 49, 562, 573 } ], [ { 575, 579, 921 }, { 574, 575, 921 }, { 574, 579, 921 }, { 574, 575, 579 } ], [ { 49, 573, 575 }, { 49, 573, 574 }, { 49, 574, 575 }, { 573, 574, 575 } ], [ { 53, 55, 573 }, { 53, 55, 577 }, { 55, 573, 577 }, { 53, 573, 577 } ], [ { 53, 573, 579 }, { 53, 573, 574 }, { 53, 574, 579 }, { 573, 574, 579 } ], [ { 579, 581, 583 }, { 579, 583, 584, 585 }, { 579, 581, 585 }, { 581, 584, 585 }, { 581, 583, 584 } ], [ { 53, 579, 581 }, { 53, 577, 581 }, { 577, 579, 581 }, { 53, 577, 579 } ], [ { 577, 581, 592 }, { 577, 581, 589 }, { 577, 589, 592, 593 }, { 581, 592, 593 }, { 581, 589, 593 } ], [ { 581, 585, 592 }, { 581, 590, 592 }, { 581, 585, 590 }, { 585, 590, 592 } ], [ { 63, 595, 596 }, { 63, 482, 596 }, { 63, 482, 595 }, { 482, 595, 596 } ], [ { 56, 57, 63 }, { 57, 63, 82 }, { 56, 63, 82 }, { 56, 57, 82 } ], [ { 61, 63, 595 }, { 57, 61, 63 }, { 57, 61, 595 }, { 57, 63, 595 } ], [ { 577, 595, 922 }, { 595, 600, 922 }, { 577, 600, 922 }, { 577, 595, 600 } ], [ { 577, 600, 601 }, { 57, 577, 601 }, { 57, 600, 601 }, { 57, 577, 600 } ], [ { 577, 601, 603 }, { 599, 601, 603 }, { 577, 599, 603 }, { 577, 599, 601 } ], [ { 577, 592, 603 }, { 577, 599, 603 }, { 577, 592, 599, 604 }, { 599, 603, 604 }, { 592, 603, 604 } ], [ { 607, 611, 923 }, { 605, 611, 923 }, { 605, 607, 923 }, { 605, 607, 611 } ], [ { 611, 923, 925 }, { 923, 924, 925 }, { 611, 923, 924 }, { 611, 924, 925 } ], [ { 611, 924, 925 }, { 611, 925, 926 }, { 924, 925, 926 }, { 611, 924, 926 } ], [ { 606, 609, 619 }, { 605, 609, 619 }, { 605, 606, 619 }, { 605, 606, 609 } ], [ { 606, 607, 611 }, { 605, 607, 611 }, { 605, 606, 611 }, { 605, 606, 607 } ], [ { 606, 609, 611 }, { 609, 611, 927 }, { 606, 611, 927 }, { 606, 609, 927 } ], [ { 610, 611, 928 }, { 609, 611, 928 }, { 609, 610, 928 }, { 609, 610, 611 } ], [ { 614, 615, 928 }, { 613, 615, 928 }, { 613, 614, 928 }, { 613, 614, 615 } ], [ { 609, 618, 619 }, { 605, 609, 619 }, { 605, 618, 619 }, { 605, 609, 618 } ], [ { 618, 622, 929, 930 }, { 609, 613, 618, 622 }, { 609, 618, 929 }, { 609, 613, 929, 930 }, { 613, 622, 930 } ], [ { 620, 622, 931 }, { 605, 618, 620, 622 }, { 605, 620, 931, 932 }, { 618, 622, 931, 932 }, { 605, 618, 932 } ], [ { 613, 622, 623 }, { 613, 620, 623 }, { 620, 622, 623 }, { 613, 620, 622 } ], [ { 613, 623, 624 }, { 613, 620, 623 }, { 620, 623, 624 }, { 613, 620, 624 } ], [ { 614, 624, 625 }, { 614, 620, 625 }, { 614, 620, 624 }, { 620, 624, 625 } ], [ { 613, 614, 624 }, { 613, 614, 933 }, { 614, 624, 933 }, { 613, 624, 933 } ], [ { 614, 625, 934 }, { 614, 620, 934 }, { 620, 625, 934 }, { 614, 620, 625 } ], [ { 614, 934, 936 }, { 614, 934, 935 }, { 934, 935, 936 }, { 614, 935, 936 } ], [ { 614, 935, 936 }, { 614, 926, 936 }, { 614, 926, 935 }, { 926, 935, 936 } ], [ { 41, 64, 70 }, { 64, 65, 70 }, { 41, 65, 70 }, { 41, 64, 65 } ], [ { 70, 627, 628 }, { 65, 70, 628 }, { 65, 70, 627 }, { 65, 627, 628 } ], [ { 73, 630, 632 }, { 73, 627, 632 }, { 627, 630, 632 }, { 73, 627, 630 } ], [ { 73, 78, 633 }, { 78, 627, 633 }, { 73, 627, 633 }, { 73, 78, 627 } ], [ { 73, 78, 630 }, { 71, 73, 78 }, { 71, 78, 630 }, { 71, 73, 630 } ], [ { 76, 635, 636 }, { 76, 636, 637 }, { 635, 636, 637 }, { 76, 635, 637 } ], [ { 76, 78, 635 }, { 71, 76, 78 }, { 71, 76, 635 }, { 71, 78, 635 } ], [ { 57, 81, 87 }, { 81, 82, 87 }, { 57, 82, 87 }, { 57, 81, 82 } ], [ { 87, 637, 638 }, { 82, 87, 638 }, { 82, 87, 637 }, { 82, 637, 638 } ], [ { 57, 87, 637 }, { 87, 637, 937 }, { 57, 87, 937 }, { 57, 637, 937 } ], [ { 57, 637, 939 }, { 637, 938, 939 }, { 57, 938, 939 }, { 57, 637, 938 } ], [ { 76, 78, 640 }, { 76, 637, 640 }, { 78, 637, 640 }, { 76, 78, 637 } ], [ { 89, 92, 940 }, { 88, 89, 92 }, { 88, 89, 940 }, { 88, 92, 940 } ], [ { 90, 92, 941 }, { 88, 90, 92 }, { 88, 90, 941 }, { 88, 92, 941 } ], [ { 641, 643, 942 }, { 100, 643, 942 }, { 100, 641, 643 }, { 100, 641, 942 } ], [ { 95, 98, 644, 646 }, { 98, 100, 646 }, { 96, 100, 644, 646 }, { 95, 96, 98, 100 }, { 95, 96, 644 } ], [ { 98, 647, 940 }, { 100, 647, 940 }, { 98, 100, 647 }, { 98, 100, 940 } ], [ { 943, 944, 945, 946 }, { 100, 943, 945 }, { 100, 943, 944 }, { 100, 944, 946 }, { 100, 945, 946 } ], [ { 940, 944, 946 }, { 100, 944, 946 }, { 100, 940, 946 }, { 100, 940, 944 } ], [ { 942, 943, 945 }, { 100, 943, 945 }, { 100, 942, 945 }, { 100, 942, 943 } ], [ { 942, 943, 947 }, { 940, 942, 947, 948 }, { 940, 942, 943, 944 }, { 943, 944, 947, 948 }, { 940, 944, 948 } ], [ { 113, 116, 942 }, { 112, 113, 116 }, { 112, 113, 942 }, { 112, 116, 942 } ], [ { 114, 116, 949 }, { 112, 114, 116 }, { 112, 114, 949 }, { 112, 116, 949 } ], [ { 119, 651, 950 }, { 119, 650, 651 }, { 650, 651, 950 }, { 119, 650, 950 } ], [ { 119, 649, 950 }, { 119, 648, 649 }, { 648, 649, 950 }, { 119, 648, 950 } ], [ { 119, 652, 653 }, { 650, 652, 653 }, { 119, 650, 652 }, { 119, 650, 653 } ], [ { 119, 653, 656 }, { 653, 655, 656 }, { 119, 655, 656 }, { 119, 653, 655 } ], [ { 653, 655, 659, 662 }, { 653, 655, 658 }, { 655, 658, 662 }, { 658, 659, 662 }, { 653, 658, 659 } ], [ { 664, 666, 669 }, { 112, 666, 669 }, { 112, 664, 669 }, { 112, 664, 666 } ], [ { 668, 669, 671 }, { 664, 668, 669 }, { 664, 669, 671 }, { 664, 668, 671 } ], [ { 671, 672, 673 }, { 664, 672, 673 }, { 664, 671, 673 }, { 664, 671, 672 } ], [ { 674, 675, 951 }, { 655, 675, 951 }, { 655, 674, 675 }, { 655, 674, 951 } ], [ { 122, 674, 677 }, { 122, 655, 677 }, { 655, 674, 677 }, { 122, 655, 674 } ], [ { 119, 121, 122 }, { 121, 122, 655 }, { 119, 121, 655 }, { 119, 122, 655 } ], [ { 119, 126, 127 }, { 126, 127, 648 }, { 119, 126, 648 }, { 119, 127, 648 } ], [ { 679, 680, 952 }, { 648, 679, 680 }, { 648, 680, 952 }, { 648, 679, 952 } ], [ { 127, 679, 682 }, { 127, 648, 682 }, { 648, 679, 682 }, { 127, 648, 679 } ], [ { 129, 685, 687 }, { 129, 684, 685 }, { 129, 684, 687 }, { 684, 685, 687 } ], [ { 129, 687, 953 }, { 129, 133, 953 }, { 129, 133, 687 }, { 133, 687, 953 } ], [ { 689, 690, 699 }, { 130, 684, 690, 699 }, { 136, 684, 689, 699 }, { 130, 136, 689, 690 }, { 130, 136, 684 } ], [ { 130, 697, 698 }, { 130, 136, 694, 697 }, { 694, 695, 697, 698 }, { 130, 136, 695, 698 }, { 136, 694, 695 } ], [ { 129, 130, 697 }, { 129, 130, 684 }, { 130, 684, 697 }, { 129, 684, 697 } ], [ { 129, 697, 953 }, { 129, 133, 697 }, { 129, 133, 953 }, { 133, 697, 953 } ], [ { 136, 137, 694 }, { 136, 137, 684 }, { 137, 684, 694 }, { 136, 684, 694 } ], [ { 137, 694, 954 }, { 137, 140, 694 }, { 137, 140, 954 }, { 140, 694, 954 } ], [ { 145, 148, 694 }, { 145, 694, 697 }, { 143, 148, 694, 697 }, { 143, 145, 697 }, { 143, 145, 148 } ], [ { 154, 702, 955 }, { 154, 701, 955 }, { 701, 702, 955 }, { 154, 701, 702 } ], [ { 148, 954, 956 }, { 143, 148, 953, 954 }, { 953, 954, 956 }, { 143, 953, 956 }, { 143, 148, 956 } ], [ { 151, 154, 956 }, { 154, 956, 957 }, { 151, 956, 957 }, { 151, 154, 957 } ], [ { 151, 154, 704 }, { 150, 154, 704 }, { 150, 151, 704 }, { 150, 151, 154 } ], [ { 151, 707, 958 }, { 151, 705, 958 }, { 705, 707, 958 }, { 151, 705, 707 } ], [ { 137, 708, 710 }, { 137, 684, 708 }, { 684, 708, 710 }, { 137, 684, 710 } ], [ { 137, 710, 954 }, { 137, 140, 710 }, { 137, 140, 954 }, { 140, 710, 954 } ], [ { 712, 714, 717 }, { 88, 714, 717 }, { 88, 712, 717 }, { 88, 712, 714 } ], [ { 716, 717, 719 }, { 712, 716, 717 }, { 712, 717, 719 }, { 712, 716, 719 } ], [ { 719, 720, 721 }, { 712, 720, 721 }, { 712, 719, 721 }, { 712, 719, 720 } ], [ { 726, 959, 960 }, { 726, 830, 960 }, { 726, 830, 959 }, { 830, 959, 960 } ], [ { 291, 960, 961 }, { 291, 830, 960 }, { 291, 830, 961 }, { 830, 960, 961 } ], [ { 291, 726, 962 }, { 291, 960, 962 }, { 726, 960, 962 }, { 291, 726, 960 } ], [ { 723, 724, 963 }, { 724, 830, 963 }, { 723, 830, 963 }, { 723, 724, 830 } ], [ { 724, 726, 959 }, { 724, 726, 830 }, { 724, 830, 959 }, { 726, 830, 959 } ], [ { 724, 725, 726 }, { 723, 724, 725 }, { 723, 725, 726 }, { 723, 724, 726 } ], [ { 725, 726, 728 }, { 723, 725, 728 }, { 723, 725, 726 }, { 723, 726, 728 } ], [ { 723, 728, 730 }, { 728, 729, 730 }, { 723, 728, 729 }, { 723, 729, 730 } ], [ { 728, 730, 964 }, { 726, 728, 964 }, { 726, 728, 730 }, { 726, 730, 964 } ], [ { 169, 174, 736 }, { 168, 174, 734, 736 }, { 168, 169, 174 }, { 169, 734, 736 }, { 168, 169, 734 } ], [ { 157, 158, 174 }, { 158, 161, 168, 174 }, { 157, 168, 174 }, { 157, 161, 168 }, { 157, 158, 161 } ], [ { 168, 169, 737 }, { 169, 267, 737 }, { 168, 267, 737 }, { 168, 169, 267 } ], [ { 161, 168, 172 }, { 161, 172, 267 }, { 168, 172, 267 }, { 161, 168, 267 } ], [ { 169, 739, 740 }, { 169, 174, 739 }, { 174, 739, 740 }, { 169, 174, 740 } ], [ { 158, 177, 740 }, { 158, 174, 177 }, { 174, 177, 740 }, { 158, 174, 740 } ], [ { 180, 646, 743 }, { 646, 743, 745 }, { 180, 182, 646, 745 }, { 182, 743, 745 }, { 180, 182, 743 } ], [ { 743, 965, 966 }, { 743, 745, 966 }, { 743, 745, 965 }, { 745, 965, 966 } ], [ { 743, 965, 967 }, { 646, 743, 967 }, { 646, 965, 967 }, { 646, 743, 965 } ], [ { 185, 747, 749 }, { 746, 747, 749 }, { 185, 746, 747 }, { 185, 746, 749 } ], [ { 185, 186, 751 }, { 186, 746, 751 }, { 185, 746, 751 }, { 185, 186, 746 } ], [ { 749, 751, 752 }, { 746, 751, 752 }, { 746, 749, 752 }, { 746, 749, 751 } ], [ { 751, 752, 753 }, { 749, 751, 752 }, { 749, 752, 753 }, { 749, 751, 753 } ], [ { 753, 755, 756 }, { 749, 755, 756 }, { 749, 753, 756 }, { 749, 753, 755 } ], [ { 755, 756, 757 }, { 749, 756, 757 }, { 749, 755, 757 }, { 749, 755, 756 } ], [ { 749, 759, 761, 762 }, { 749, 757, 759, 760 }, { 757, 760, 761, 762 }, { 749, 757, 762 }, { 759, 760, 761 } ], [ { 760, 765, 767 }, { 759, 760, 765 }, { 759, 760, 767 }, { 759, 765, 767 } ], [ { 759, 768, 770 }, { 189, 768, 770 }, { 189, 759, 770 }, { 189, 759, 768 } ], [ { 190, 770, 772 }, { 189, 770, 772 }, { 189, 190, 770 }, { 189, 190, 772 } ], [ { 770, 772, 773 }, { 759, 770, 773 }, { 759, 770, 772 }, { 759, 772, 773 } ], [ { 772, 773, 774 }, { 759, 773, 774 }, { 759, 772, 774 }, { 759, 772, 773 } ], [ { 765, 767, 774 }, { 759, 765, 767 }, { 759, 765, 774 }, { 759, 767, 774 } ], [ { 767, 774, 968, 969 }, { 772, 774, 968 }, { 767, 772, 774 }, { 772, 968, 969 }, { 767, 772, 969 } ], [ { 194, 195, 776 }, { 194, 195, 210 }, { 195, 210, 776 }, { 194, 210, 776 } ], [ { 194, 796, 970 }, { 776, 796, 970 }, { 194, 776, 970 }, { 194, 776, 796 } ], [ { 777, 971, 972 }, { 197, 777, 972, 976 }, { 198, 777, 971, 975 }, { 197, 198, 777 }, { 197, 198, 973, 974, 975, 976 }, { 971, 972, 973, 974 }, { 971, 973, 975 }, { 972, 974, 976 } ], [ { 759, 779, 781 }, { 777, 779, 781, 971 }, { 759, 777, 779 }, { 759, 781, 971 }, { 759, 777, 971 } ], [ { 786, 977, 978 }, { 202, 786, 977 }, { 782, 786, 978 }, { 202, 782, 786 }, { 207, 977, 978 }, { 207, 782, 978 }, { 202, 207, 977 }, { 202, 207, 782 } ], [ { 786, 790, 796 }, { 225, 790, 791, 796 }, { 225, 786, 796, 977 }, { 786, 790, 791, 977 }, { 225, 791, 977 } ], [ { 795, 796, 970 }, { 194, 795, 970 }, { 194, 796, 970 }, { 194, 795, 796 } ], [ { 225, 790, 791, 796 }, { 789, 790, 796 }, { 225, 789, 796 }, { 789, 790, 791 }, { 225, 789, 791 } ], [ { 225, 793, 795 }, { 789, 793, 795 }, { 225, 789, 793 }, { 225, 789, 795 } ], [ { 795, 796, 797 }, { 789, 795, 797 }, { 789, 796, 797 }, { 789, 795, 796 } ], [ { 217, 795, 979 }, { 194, 217, 979, 980 }, { 194, 217, 795 }, { 194, 795, 980 }, { 795, 979, 980 } ], [ { 210, 212, 213, 215 }, { 194, 210, 213, 217 }, { 194, 212, 215, 217 }, { 213, 215, 217 }, { 194, 210, 212 } ], [ { 217, 795, 799 }, { 225, 795, 799 }, { 217, 225, 799 }, { 217, 225, 795 } ], [ { 217, 222, 224 }, { 213, 217, 222 }, { 213, 222, 224 }, { 213, 217, 224 } ], [ { 217, 225, 799 }, { 217, 224, 799 }, { 224, 225, 799 }, { 217, 224, 225 } ], [ { 224, 229, 759 }, { 189, 224, 229, 981 }, { 189, 224, 759 }, { 189, 759, 981 }, { 229, 759, 981 } ], [ { 225, 229, 801 }, { 224, 229, 801 }, { 224, 225, 801 }, { 224, 225, 229 } ], [ { 803, 804, 805 }, { 232, 803, 804 }, { 232, 804, 805 }, { 232, 803, 805 } ], [ { 803, 808, 812 }, { 232, 808, 812 }, { 232, 803, 812 }, { 232, 803, 808 } ], [ { 803, 805, 812 }, { 803, 810, 812 }, { 805, 810, 812 }, { 803, 805, 810 } ], [ { 805, 814, 821 }, { 813, 814, 821 }, { 805, 813, 814 }, { 805, 813, 821 } ], [ { 805, 812, 813 }, { 805, 810, 812 }, { 810, 812, 813 }, { 805, 810, 813 } ], [ { 812, 813, 821 }, { 812, 821, 982 }, { 812, 813, 982 }, { 813, 821, 982 } ], [ { 232, 817, 818 }, { 231, 232, 818 }, { 231, 817, 818 }, { 231, 232, 817 } ], [ { 804, 805, 818 }, { 232, 804, 818 }, { 232, 804, 805 }, { 232, 805, 818 } ], [ { 805, 818, 983 }, { 817, 818, 983 }, { 805, 817, 818 }, { 805, 817, 983 } ], [ { 240, 243, 805 }, { 236, 239, 240, 243 }, { 236, 240, 805 }, { 239, 243, 805 }, { 236, 239, 805 } ], [ { 169, 236, 249 }, { 236, 240, 245, 249 }, { 169, 236, 240, 244 }, { 169, 244, 245, 249 }, { 240, 244, 245 } ], [ { 258, 805, 821 }, { 258, 260, 821, 822 }, { 258, 260, 805 }, { 260, 805, 822 }, { 805, 821, 822 } ], [ { 257, 262, 267, 277 }, { 258, 260, 267, 277 }, { 257, 258, 267 }, { 257, 258, 260, 262 }, { 260, 262, 277 } ], [ { 244, 277, 826 }, { 244, 271, 826 }, { 271, 277, 826 }, { 244, 271, 277 } ], [ { 169, 265, 275 }, { 169, 244, 271, 275 }, { 265, 271, 275 }, { 169, 244, 265 }, { 244, 265, 271 } ], [ { 169, 275, 737 }, { 267, 275, 737 }, { 169, 267, 737 }, { 169, 267, 275 } ], [ { 268, 271, 277 }, { 267, 268, 277 }, { 267, 271, 275, 277 }, { 268, 271, 275 }, { 267, 268, 275 } ], [ { 280, 281, 288 }, { 281, 285, 288 }, { 280, 285, 288 }, { 280, 281, 285 } ], [ { 185, 280, 281 }, { 185, 210, 281 }, { 210, 280, 281 }, { 185, 210, 280 } ], [ { 281, 284, 751 }, { 185, 284, 751 }, { 185, 281, 284 }, { 185, 281, 751 } ], [ { 288, 291, 303 }, { 291, 303, 308 }, { 288, 291, 308 }, { 288, 303, 308 } ], [ { 287, 288, 291 }, { 281, 287, 291 }, { 281, 287, 288 }, { 281, 288, 291 } ], [ { 281, 293, 294 }, { 293, 294, 984 }, { 281, 294, 984 }, { 281, 293, 984 } ], [ { 291, 294, 297 }, { 281, 294, 297 }, { 281, 291, 297 }, { 281, 291, 294 } ], [ { 298, 300, 308 }, { 298, 300, 830 }, { 300, 308, 830 }, { 298, 308, 830 } ], [ { 291, 298, 985 }, { 298, 830, 985 }, { 291, 830, 985 }, { 291, 298, 830 } ], [ { 291, 298, 303 }, { 291, 298, 308 }, { 298, 303, 308 }, { 291, 303, 308 } ], [ { 1, 305, 832 }, { 1, 304, 832 }, { 1, 304, 305 }, { 304, 305, 832 } ], [ { 288, 311, 330, 986 }, { 288, 308, 330 }, { 288, 308, 986 }, { 308, 311, 330 }, { 308, 311, 986 } ], [ { 280, 288, 312, 330 }, { 210, 312, 330 }, { 210, 280, 312 }, { 210, 288, 330 }, { 210, 280, 288 } ], [ { 1, 305, 312 }, { 1, 210, 312 }, { 1, 210, 305 }, { 210, 305, 312 } ], [ { 1, 322, 330 }, { 1, 312, 322 }, { 312, 322, 330 }, { 1, 312, 330 } ], [ { 1, 326, 327 }, { 324, 326, 327 }, { 1, 324, 327 }, { 1, 324, 326 } ], [ { 1, 327, 337 }, { 327, 337, 339 }, { 1, 327, 339 }, { 1, 337, 339 } ], [ { 330, 331, 337 }, { 308, 331, 337 }, { 308, 330, 337 }, { 308, 330, 331 } ], [ { 1, 335, 337 }, { 330, 335, 337 }, { 1, 330, 337 }, { 1, 330, 335 } ], [ { 342, 343, 358 }, { 308, 342, 343 }, { 308, 343, 358 }, { 308, 342, 358 } ], [ { 331, 337, 343 }, { 308, 337, 343 }, { 308, 331, 343 }, { 308, 331, 337 } ], [ { 337, 343, 987 }, { 343, 358, 987 }, { 337, 358, 987 }, { 337, 343, 358 } ], [ { 351, 838, 839 }, { 308, 351, 839 }, { 308, 351, 838 }, { 308, 838, 839 } ], [ { 348, 351, 839 }, { 346, 351, 839 }, { 346, 348, 351 }, { 346, 348, 839 } ], [ { 348, 843, 844 }, { 841, 843, 844 }, { 348, 841, 844 }, { 348, 841, 843 } ], [ { 351, 353, 844 }, { 353, 841, 844 }, { 351, 353, 841 }, { 351, 841, 844 } ], [ { 348, 351, 844 }, { 346, 351, 844 }, { 346, 348, 844 }, { 346, 348, 351 } ], [ { 342, 354, 358 }, { 308, 342, 354 }, { 308, 354, 358 }, { 308, 342, 358 } ], [ { 358, 846, 856, 861 }, { 356, 358, 856 }, { 356, 856, 861 }, { 356, 846, 861 }, { 356, 358, 846 } ], [ { 354, 358, 377 }, { 354, 356, 377 }, { 356, 358, 377 }, { 354, 356, 358 } ], [ { 364, 367, 849 }, { 308, 364, 849 }, { 308, 364, 367 }, { 308, 367, 849 } ], [ { 348, 839, 849 }, { 308, 839, 849 }, { 308, 348, 849 }, { 308, 348, 839 } ], [ { 348, 362, 849 }, { 362, 367, 849 }, { 348, 362, 367 }, { 348, 367, 849 } ], [ { 363, 364, 367 }, { 308, 364, 367 }, { 308, 363, 364 }, { 308, 363, 367 } ], [ { 367, 368, 377 }, { 363, 368, 377 }, { 363, 367, 368 }, { 363, 367, 377 } ], [ { 348, 362, 371 }, { 362, 367, 371 }, { 348, 362, 367 }, { 348, 367, 371 } ], [ { 371, 377, 378 }, { 367, 371, 378 }, { 367, 371, 377 }, { 367, 377, 378 } ], [ { 348, 371, 377 }, { 371, 377, 853 }, { 348, 371, 853 }, { 348, 377, 853 } ], [ { 856, 857, 859, 861 }, { 855, 859, 861 }, { 855, 856, 861 }, { 855, 857, 859 }, { 855, 856, 857 } ], [ { 377, 856, 861, 988 }, { 356, 861, 988 }, { 356, 856, 861 }, { 356, 377, 856 }, { 356, 377, 988 } ], [ { 865, 866, 867, 868 }, { 381, 866, 867 }, { 381, 865, 866, 989 }, { 381, 867, 868, 989 }, { 865, 868, 989 } ], [ { 867, 870, 873 }, { 867, 869, 870 }, { 869, 870, 873 }, { 867, 869, 873 } ], [ { 384, 869, 874 }, { 381, 384, 874 }, { 381, 384, 869 }, { 381, 869, 874 } ], [ { 384, 875, 876 }, { 381, 384, 875 }, { 381, 875, 876 }, { 381, 384, 876 } ], [ { 384, 389, 876 }, { 384, 869, 876 }, { 386, 389, 869, 876 }, { 384, 386, 389 }, { 384, 386, 869 } ], [ { 396, 399, 410, 416 }, { 394, 399, 410 }, { 394, 410, 416 }, { 394, 396, 399 }, { 394, 396, 416 } ], [ { 407, 409, 416 }, { 404, 407, 410, 416 }, { 404, 406, 407, 409 }, { 406, 409, 410, 416 }, { 404, 406, 410 } ], [ { 404, 410, 412 }, { 394, 410, 412 }, { 394, 404, 412 }, { 394, 404, 410 } ], [ { 412, 424, 425 }, { 394, 412, 425 }, { 394, 424, 425 }, { 394, 412, 424 } ], [ { 412, 424, 878 }, { 404, 412, 878 }, { 404, 412, 424 }, { 404, 424, 878 } ], [ { 407, 416, 417 }, { 394, 416, 417 }, { 394, 407, 417 }, { 394, 407, 416 } ], [ { 417, 420, 424 }, { 394, 417, 420 }, { 394, 420, 424 }, { 394, 417, 424 } ], [ { 417, 424, 427 }, { 407, 417, 427 }, { 407, 417, 424 }, { 407, 424, 427 } ], [ { 404, 429, 438 }, { 404, 429, 431, 432 }, { 404, 432, 438 }, { 431, 432, 438 }, { 429, 431, 438 } ], [ { 439, 882, 884 }, { 882, 884, 990 }, { 439, 884, 990 }, { 439, 882, 990 } ], [ { 429, 884, 885 }, { 429, 884, 990 }, { 884, 885, 990 }, { 429, 885, 990 } ], [ { 429, 439, 884 }, { 429, 438, 884 }, { 438, 439, 884 }, { 429, 438, 439 } ], [ { 424, 444, 878 }, { 404, 444, 878 }, { 404, 424, 878 }, { 404, 424, 444 } ], [ { 438, 439, 444 }, { 404, 439, 444 }, { 404, 438, 439 }, { 404, 438, 444 } ], [ { 439, 444, 889 }, { 424, 439, 889 }, { 424, 444, 889 }, { 424, 439, 444 } ], [ { 447, 477, 891 }, { 446, 477, 891 }, { 446, 447, 891 }, { 446, 447, 477 } ], [ { 450, 891, 892 }, { 447, 450, 891 }, { 447, 891, 892 }, { 447, 450, 892 } ], [ { 424, 453, 889 }, { 447, 453, 889 }, { 424, 447, 889 }, { 424, 447, 453 } ], [ { 453, 892, 894 }, { 447, 453, 892 }, { 447, 892, 894 }, { 447, 453, 894 } ], [ { 453, 892, 897 }, { 424, 453, 892 }, { 424, 892, 897 }, { 424, 453, 897 } ], [ { 439, 477, 898 }, { 439, 447, 898 }, { 447, 477, 898 }, { 439, 447, 477 } ], [ { 424, 439, 889 }, { 439, 447, 889 }, { 424, 447, 889 }, { 424, 439, 447 } ], [ { 457, 459, 901 }, { 457, 459, 477 }, { 459, 477, 901 }, { 457, 477, 901 } ], [ { 457, 460, 901 }, { 457, 460, 902 }, { 460, 901, 902 }, { 457, 901, 902 } ], [ { 457, 464, 882 }, { 457, 882, 990 }, { 457, 464, 990 }, { 464, 882, 990 } ], [ { 457, 902, 905 }, { 457, 464, 905 }, { 464, 902, 905 }, { 457, 464, 902 } ], [ { 439, 457, 882 }, { 457, 882, 990 }, { 439, 457, 990 }, { 439, 882, 990 } ], [ { 439, 457, 906 }, { 457, 477, 906 }, { 439, 477, 906 }, { 439, 457, 477 } ], [ { 464, 902, 990 }, { 464, 902, 909 }, { 902, 909, 990 }, { 464, 909, 990 } ], [ { 6, 468, 469 }, { 6, 30, 469 }, { 6, 30, 468 }, { 30, 468, 469 } ], [ { 6, 473, 911 }, { 6, 472, 473 }, { 6, 472, 911 }, { 472, 473, 911 } ], [ { 477, 479, 913 }, { 30, 479, 913 }, { 30, 477, 913 }, { 30, 477, 479 } ], [ { 6, 473, 479 }, { 6, 30, 479 }, { 30, 473, 479 }, { 6, 30, 473 } ], [ { 473, 902, 911 }, { 473, 902, 909 }, { 473, 909, 911 }, { 902, 909, 911 } ], [ { 473, 479, 902 }, { 473, 477, 479 }, { 477, 479, 902 }, { 473, 477, 902 } ], [ { 11, 13, 483 }, { 13, 482, 483 }, { 11, 482, 483 }, { 11, 13, 482 } ], [ { 486, 892, 897 }, { 892, 897, 914 }, { 486, 892, 914 }, { 486, 897, 914 } ], [ { 13, 486, 488 }, { 13, 488, 914 }, { 486, 488, 914 }, { 13, 486, 914 } ], [ { 486, 490, 892 }, { 477, 490, 892 }, { 477, 486, 892 }, { 477, 486, 490 } ], [ { 11, 490, 916 }, { 477, 490, 916 }, { 11, 477, 916 }, { 11, 477, 490 } ], [ { 11, 13, 490 }, { 13, 486, 490 }, { 11, 13, 486 }, { 11, 486, 490 } ], [ { 500, 502, 505, 513 }, { 20, 22, 500, 513 }, { 20, 505, 513 }, { 20, 22, 502, 505 }, { 22, 500, 502 } ], [ { 500, 513, 518 }, { 477, 500, 513 }, { 477, 500, 518 }, { 477, 513, 518 } ], [ { 11, 500, 530 }, { 477, 500, 530 }, { 11, 477, 530 }, { 11, 477, 500 } ], [ { 11, 22, 500 }, { 22, 500, 533 }, { 11, 22, 533 }, { 11, 500, 533 } ], [ { 29, 30, 513 }, { 20, 29, 513 }, { 20, 29, 30 }, { 20, 30, 513 } ], [ { 477, 513, 541 }, { 30, 513, 541 }, { 30, 477, 513 }, { 30, 477, 541 } ], [ { 11, 22, 546 }, { 22, 544, 546 }, { 11, 22, 544 }, { 11, 544, 546 } ], [ { 22, 546, 917, 991 }, { 20, 22, 917, 918 }, { 20, 22, 546 }, { 20, 546, 918, 991 }, { 917, 918, 991 } ], [ { 30, 546, 551 }, { 20, 546, 551 }, { 20, 30, 546 }, { 20, 30, 551 } ], [ { 47, 555, 558 }, { 47, 65, 558 }, { 47, 65, 555 }, { 65, 555, 558 } ], [ { 41, 47, 558 }, { 47, 65, 558 }, { 41, 47, 65 }, { 41, 65, 558 } ], [ { 558, 561, 562 }, { 41, 558, 562 }, { 41, 558, 561 }, { 41, 561, 562 } ], [ { 562, 563, 919 }, { 41, 563, 919 }, { 41, 562, 919 }, { 41, 562, 563 } ], [ { 566, 570, 920 }, { 564, 566, 570 }, { 564, 566, 920 }, { 564, 570, 920 } ], [ { 49, 573, 575 }, { 49, 562, 573 }, { 49, 562, 575 }, { 562, 573, 575 } ], [ { 573, 575, 579 }, { 573, 574, 575 }, { 573, 574, 579 }, { 574, 575, 579 } ], [ { 53, 573, 579 }, { 53, 573, 577 }, { 53, 577, 579 }, { 573, 577, 579 } ], [ { 581, 585, 592 }, { 577, 581, 592 }, { 577, 579, 585, 592 }, { 577, 579, 581 }, { 579, 581, 585 } ], [ { 63, 82, 595 }, { 63, 482, 595 }, { 63, 82, 482 }, { 82, 482, 595 } ], [ { 57, 63, 595 }, { 63, 82, 595 }, { 57, 63, 82 }, { 57, 82, 595 } ], [ { 577, 595, 600 }, { 57, 577, 595 }, { 57, 595, 600 }, { 57, 577, 600 } ], [ { 577, 601, 603 }, { 57, 601, 603 }, { 57, 577, 603 }, { 57, 577, 601 } ], [ { 577, 592, 603 }, { 577, 603, 605 }, { 577, 592, 605, 992 }, { 603, 605, 992 }, { 592, 603, 992 } ], [ { 611, 923, 924 }, { 605, 611, 923 }, { 605, 923, 924 }, { 605, 611, 924 } ], [ { 78, 611, 924 }, { 78, 611, 926 }, { 611, 924, 926 }, { 78, 924, 926 } ], [ { 606, 609, 611 }, { 605, 609, 611 }, { 605, 606, 611 }, { 605, 606, 609 } ], [ { 613, 614, 928 }, { 609, 613, 928 }, { 609, 611, 613, 614 }, { 609, 611, 928 }, { 611, 614, 928 } ], [ { 613, 620, 622 }, { 605, 609, 613, 620 }, { 605, 618, 620, 622 }, { 609, 613, 618, 622 }, { 605, 609, 618 } ], [ { 613, 614, 624 }, { 613, 614, 620 }, { 614, 620, 624 }, { 613, 620, 624 } ], [ { 614, 934, 935 }, { 614, 620, 934 }, { 620, 934, 935 }, { 614, 620, 935 } ], [ { 78, 614, 935 }, { 614, 926, 935 }, { 78, 614, 926 }, { 78, 926, 935 } ], [ { 41, 70, 627 }, { 65, 70, 627 }, { 41, 65, 70 }, { 41, 65, 627 } ], [ { 41, 620, 627 }, { 620, 627, 993 }, { 41, 620, 993 }, { 41, 627, 993 } ], [ { 78, 627, 633 }, { 78, 633, 993 }, { 627, 633, 993 }, { 78, 627, 993 } ], [ { 78, 630, 635 }, { 71, 78, 630 }, { 71, 78, 635 }, { 71, 630, 635 } ], [ { 73, 78, 630 }, { 73, 78, 627 }, { 78, 627, 630 }, { 73, 627, 630 } ], [ { 76, 78, 635 }, { 76, 78, 637 }, { 76, 635, 637 }, { 78, 635, 637 } ], [ { 57, 87, 637 }, { 82, 87, 637 }, { 57, 82, 87 }, { 57, 82, 637 } ], [ { 57, 605, 637 }, { 605, 637, 938 }, { 57, 637, 938 }, { 57, 605, 938 } ], [ { 78, 637, 640 }, { 78, 640, 938 }, { 637, 640, 938 }, { 78, 637, 938 } ], [ { 92, 940, 941 }, { 88, 92, 941 }, { 88, 92, 940 }, { 88, 940, 941 } ], [ { 641, 646, 942 }, { 100, 641, 942 }, { 100, 646, 942 }, { 100, 641, 646 } ], [ { 98, 646, 940 }, { 100, 646, 940 }, { 98, 100, 940 }, { 98, 100, 646 } ], [ { 940, 942, 943, 944 }, { 100, 942, 943 }, { 100, 940, 942 }, { 100, 940, 944 }, { 100, 943, 944 } ], [ { 116, 942, 949 }, { 112, 116, 949 }, { 112, 116, 942 }, { 112, 942, 949 } ], [ { 119, 648, 950 }, { 119, 650, 950 }, { 119, 648, 650 }, { 648, 650, 950 } ], [ { 119, 653, 655 }, { 119, 650, 653 }, { 650, 653, 655 }, { 119, 650, 655 } ], [ { 653, 655, 659, 662 }, { 88, 653, 655 }, { 88, 655, 662 }, { 88, 653, 659 }, { 88, 659, 662 } ], [ { 664, 669, 671 }, { 112, 669, 671 }, { 112, 664, 669 }, { 112, 664, 671 } ], [ { 648, 671, 673 }, { 664, 671, 673 }, { 648, 664, 673 }, { 648, 664, 671 } ], [ { 122, 674, 951 }, { 122, 655, 951 }, { 122, 655, 674 }, { 655, 674, 951 } ], [ { 119, 127, 648 }, { 122, 127, 648, 655 }, { 119, 648, 655 }, { 119, 122, 127 }, { 119, 122, 655 } ], [ { 127, 679, 952 }, { 127, 648, 679 }, { 127, 648, 952 }, { 648, 679, 952 } ], [ { 129, 687, 953 }, { 129, 684, 953 }, { 129, 684, 687 }, { 684, 687, 953 } ], [ { 130, 136, 694, 697 }, { 130, 684, 697 }, { 684, 694, 697 }, { 136, 684, 694 }, { 130, 136, 684 } ], [ { 129, 697, 953 }, { 129, 684, 697 }, { 129, 684, 953 }, { 684, 697, 953 } ], [ { 137, 694, 954 }, { 137, 684, 694 }, { 137, 684, 954 }, { 684, 694, 954 } ], [ { 148, 694, 954 }, { 143, 148, 953, 954 }, { 694, 697, 953, 954 }, { 143, 148, 694, 697 }, { 143, 697, 953 } ], [ { 154, 954, 955 }, { 701, 954, 955 }, { 154, 701, 955 }, { 154, 701, 954 } ], [ { 151, 953, 956 }, { 151, 154, 956 }, { 151, 154, 953, 954 }, { 154, 954, 956 }, { 953, 954, 956 } ], [ { 151, 704, 705 }, { 701, 704, 705 }, { 151, 154, 701, 705 }, { 151, 154, 704 }, { 154, 701, 704 } ], [ { 151, 953, 958 }, { 705, 953, 958 }, { 151, 705, 958 }, { 151, 705, 953 } ], [ { 137, 710, 954 }, { 137, 684, 710 }, { 137, 684, 954 }, { 684, 710, 954 } ], [ { 712, 717, 719 }, { 88, 717, 719 }, { 88, 712, 717 }, { 88, 712, 719 } ], [ { 655, 719, 721 }, { 712, 719, 721 }, { 655, 712, 721 }, { 655, 712, 719 } ], [ { 291, 726, 960 }, { 291, 726, 830 }, { 291, 830, 960 }, { 726, 830, 960 } ], [ { 291, 294, 726 }, { 291, 294, 984 }, { 294, 726, 984 }, { 291, 726, 984 } ], [ { 705, 723, 994 }, { 723, 830, 994 }, { 705, 830, 994 }, { 705, 723, 830 } ], [ { 723, 724, 726 }, { 724, 726, 830 }, { 723, 724, 830 }, { 723, 726, 830 } ], [ { 726, 996, 997 }, { 726, 995, 997 }, { 995, 996, 997 }, { 726, 995, 996 } ], [ { 726, 728, 730 }, { 723, 728, 730 }, { 723, 726, 728 }, { 723, 726, 730 } ], [ { 730, 964, 998 }, { 726, 964, 998 }, { 726, 730, 964 }, { 726, 730, 998 } ], [ { 158, 169, 174 }, { 158, 161, 168, 174 }, { 168, 169, 174 }, { 158, 161, 169 }, { 161, 168, 169 } ], [ { 161, 168, 169 }, { 161, 169, 267 }, { 161, 168, 267 }, { 168, 169, 267 } ], [ { 158, 169, 740 }, { 158, 169, 174 }, { 158, 174, 740 }, { 169, 174, 740 } ], [ { 646, 743, 965 }, { 743, 745, 965 }, { 646, 743, 745 }, { 646, 745, 965 } ], [ { 185, 749, 751 }, { 746, 749, 751 }, { 185, 746, 751 }, { 185, 746, 749 } ], [ { 751, 753, 756 }, { 749, 751, 756 }, { 749, 753, 756 }, { 749, 751, 753 } ], [ { 759, 760, 767 }, { 749, 757, 759, 760 }, { 749, 756, 759, 767 }, { 756, 757, 760, 767 }, { 749, 756, 757 } ], [ { 759, 770, 772 }, { 189, 770, 772 }, { 189, 759, 770 }, { 189, 759, 772 } ], [ { 767, 772, 969 }, { 267, 767, 969 }, { 267, 772, 969 }, { 267, 767, 772 } ], [ { 767, 772, 774 }, { 759, 767, 774 }, { 759, 767, 772 }, { 759, 772, 774 } ], [ { 185, 749, 776 }, { 210, 749, 776 }, { 185, 210, 749 }, { 185, 210, 776 } ], [ { 194, 776, 796 }, { 194, 210, 796 }, { 210, 776, 796 }, { 194, 210, 776 } ], [ { 749, 759, 999 }, { 749, 759, 777 }, { 759, 777, 971 }, { 759, 971, 999 }, { 749, 777, 972 }, { 971, 972, 999 }, { 777, 971, 972 }, { 749, 972, 999 } ], [ { 225, 786, 796, 977 }, { 786, 796, 978, 1000 }, { 225, 796, 1000 }, { 225, 977, 978, 1000 }, { 786, 977, 978 } ], [ { 194, 795, 796 }, { 210, 795, 796 }, { 194, 210, 795 }, { 194, 210, 796 } ], [ { 225, 795, 796 }, { 789, 795, 796 }, { 225, 789, 795 }, { 225, 789, 796 } ], [ { 194, 210, 795 }, { 210, 213, 795 }, { 194, 210, 213, 217 }, { 194, 217, 795 }, { 213, 217, 795 } ], [ { 217, 225, 795 }, { 213, 217, 795 }, { 213, 225, 795 }, { 213, 217, 225 } ], [ { 189, 224, 759 }, { 213, 224, 759 }, { 189, 213, 224 }, { 189, 213, 759 } ], [ { 217, 224, 225 }, { 213, 217, 225 }, { 213, 217, 224 }, { 213, 224, 225 } ], [ { 224, 225, 229 }, { 225, 229, 759 }, { 224, 229, 759 }, { 224, 225, 759 } ], [ { 232, 812, 1001 }, { 701, 812, 1001 }, { 232, 701, 812 }, { 232, 701, 1001 } ], [ { 803, 805, 812 }, { 232, 803, 812 }, { 232, 805, 812 }, { 232, 803, 805 } ], [ { 258, 805, 821 }, { 258, 267, 821 }, { 258, 267, 805 }, { 267, 805, 821 } ], [ { 805, 812, 821 }, { 812, 813, 821 }, { 805, 812, 813 }, { 805, 813, 821 } ], [ { 232, 805, 818 }, { 805, 817, 818 }, { 232, 817, 818 }, { 232, 805, 817 } ], [ { 805, 983, 1002 }, { 817, 983, 1002 }, { 805, 817, 1002 }, { 805, 817, 983 } ], [ { 169, 236, 805 }, { 169, 236, 240, 244 }, { 236, 240, 805 }, { 240, 244, 805 }, { 169, 244, 805 } ], [ { 260, 277, 805 }, { 267, 277, 805 }, { 258, 260, 267, 277 }, { 258, 267, 805 }, { 258, 260, 805 } ], [ { 169, 244, 267, 277 }, { 267, 271, 275, 277 }, { 169, 267, 275 }, { 169, 244, 271, 275 }, { 244, 271, 277 } ], [ { 169, 805, 965 }, { 169, 236, 805 }, { 169, 236, 965 }, { 236, 805, 965 } ], [ { 280, 281, 288 }, { 210, 281, 288 }, { 210, 280, 288 }, { 210, 280, 281 } ], [ { 185, 281, 751 }, { 210, 281, 751 }, { 185, 210, 751 }, { 185, 210, 281 } ], [ { 281, 288, 291 }, { 288, 291, 308 }, { 281, 291, 308 }, { 281, 288, 308 } ], [ { 281, 291, 294 }, { 291, 294, 984 }, { 281, 294, 984 }, { 281, 291, 984 } ], [ { 291, 298, 308 }, { 291, 298, 830 }, { 298, 308, 830 }, { 291, 308, 830 } ], [ { 1, 305, 832 }, { 1, 210, 832 }, { 1, 210, 305 }, { 210, 305, 832 } ], [ { 288, 308, 330 }, { 210, 288, 330 }, { 210, 288, 308 }, { 210, 308, 330 } ], [ { 1, 312, 330 }, { 1, 210, 330 }, { 1, 210, 312 }, { 210, 312, 330 } ], [ { 1, 327, 337 }, { 324, 327, 337 }, { 1, 324, 327 }, { 1, 324, 337 } ], [ { 1, 330, 337 }, { 1, 308, 337 }, { 308, 330, 337 }, { 1, 308, 330 } ], [ { 337, 343, 358 }, { 308, 337, 343 }, { 308, 343, 358 }, { 308, 337, 358 } ], [ { 705, 841, 1003 }, { 830, 841, 1003 }, { 705, 830, 1003 }, { 705, 830, 841 } ], [ { 348, 351, 839 }, { 308, 351, 839 }, { 308, 348, 351 }, { 308, 348, 839 } ], [ { 348, 351, 844 }, { 351, 841, 844 }, { 348, 841, 844 }, { 348, 351, 841 } ], [ { 354, 358, 377 }, { 308, 354, 377 }, { 308, 358, 377 }, { 308, 354, 358 } ], [ { 358, 377, 856 }, { 356, 358, 377 }, { 356, 377, 856 }, { 356, 358, 856 } ], [ { 348, 367, 849 }, { 308, 348, 849 }, { 308, 367, 849 }, { 308, 348, 367 } ], [ { 363, 367, 377 }, { 308, 367, 377 }, { 308, 363, 377 }, { 308, 363, 367 } ], [ { 348, 371, 377 }, { 367, 371, 377 }, { 348, 367, 371 }, { 348, 367, 377 } ], [ { 377, 856, 861, 988 }, { 855, 861, 988 }, { 855, 856, 861 }, { 377, 855, 988 }, { 377, 855, 856 } ], [ { 865, 866, 1004, 1005 }, { 381, 989, 1004, 1005 }, { 381, 866, 1005 }, { 381, 865, 866, 989 }, { 865, 989, 1004 } ], [ { 867, 869, 873 }, { 381, 867, 869 }, { 381, 866, 869, 873 }, { 381, 866, 867 }, { 866, 867, 873 } ], [ { 384, 869, 876 }, { 381, 384, 876 }, { 381, 384, 869 }, { 381, 869, 876 } ], [ { 404, 407, 410, 416 }, { 394, 407, 416 }, { 394, 404, 407 }, { 394, 410, 416 }, { 394, 404, 410 } ], [ { 404, 412, 424 }, { 394, 412, 424 }, { 394, 404, 412 }, { 394, 404, 424 } ], [ { 407, 417, 424 }, { 394, 417, 424 }, { 394, 407, 417 }, { 394, 407, 424 } ], [ { 429, 438, 439 }, { 404, 429, 439 }, { 404, 429, 438 }, { 404, 438, 439 } ], [ { 429, 439, 884 }, { 429, 884, 990 }, { 439, 884, 990 }, { 429, 439, 990 } ], [ { 424, 439, 444 }, { 404, 439, 444 }, { 404, 424, 439 }, { 404, 424, 444 } ], [ { 477, 891, 892 }, { 447, 891, 892 }, { 447, 477, 891 }, { 447, 477, 892 } ], [ { 424, 453, 892 }, { 447, 453, 892 }, { 424, 447, 892 }, { 424, 447, 453 } ], [ { 424, 892, 897 }, { 892, 897, 914 }, { 424, 892, 914 }, { 424, 897, 914 } ], [ { 424, 439, 477 }, { 424, 439, 447 }, { 439, 447, 477 }, { 424, 447, 477 } ], [ { 457, 901, 902 }, { 457, 477, 901 }, { 457, 477, 902 }, { 477, 901, 902 } ], [ { 457, 464, 902 }, { 457, 902, 990 }, { 457, 464, 990 }, { 464, 902, 990 } ], [ { 439, 457, 477 }, { 439, 457, 990 }, { 457, 477, 990 }, { 439, 477, 990 } ], [ { 902, 911, 990 }, { 902, 909, 911 }, { 902, 909, 990 }, { 909, 911, 990 } ], [ { 6, 468, 911 }, { 6, 30, 468 }, { 6, 30, 911 }, { 30, 468, 911 } ], [ { 6, 473, 911 }, { 6, 30, 473 }, { 6, 30, 911 }, { 30, 473, 911 } ], [ { 473, 477, 479 }, { 30, 473, 479 }, { 30, 477, 479 }, { 30, 473, 477 } ], [ { 473, 477, 902 }, { 473, 902, 911 }, { 473, 477, 911 }, { 477, 902, 911 } ], [ { 11, 13, 482 }, { 11, 13, 914 }, { 13, 482, 914 }, { 11, 482, 914 } ], [ { 477, 486, 892 }, { 486, 892, 914 }, { 477, 892, 914 }, { 477, 486, 914 } ], [ { 11, 13, 486 }, { 11, 13, 914 }, { 13, 486, 914 }, { 11, 486, 914 } ], [ { 11, 486, 490 }, { 11, 477, 490 }, { 477, 486, 490 }, { 11, 477, 486 } ], [ { 477, 500, 513 }, { 20, 22, 500, 513 }, { 20, 477, 513 }, { 22, 477, 500 }, { 20, 22, 477 } ], [ { 11, 22, 500 }, { 22, 477, 500 }, { 11, 22, 477 }, { 11, 477, 500 } ], [ { 30, 477, 513 }, { 20, 477, 513 }, { 20, 30, 513 }, { 20, 30, 477 } ], [ { 11, 30, 546 }, { 20, 30, 546 }, { 11, 20, 22, 30 }, { 20, 22, 546 }, { 11, 22, 546 } ], [ { 65, 555, 558 }, { 555, 558, 914 }, { 65, 558, 914 }, { 65, 555, 914 } ], [ { 41, 558, 562 }, { 65, 558, 562 }, { 41, 65, 558 }, { 41, 65, 562 } ], [ { 562, 620, 919 }, { 41, 562, 919 }, { 41, 620, 919 }, { 41, 562, 620 } ], [ { 562, 566, 920 }, { 562, 566, 577 }, { 562, 570, 577, 920 }, { 566, 570, 577 }, { 566, 570, 920 } ], [ { 573, 577, 579 }, { 562, 573, 577 }, { 562, 575, 577, 579 }, { 573, 575, 579 }, { 562, 573, 575 } ], [ { 577, 579, 585, 592 }, { 577, 592, 605, 992 }, { 577, 579, 605 }, { 579, 585, 605, 992 }, { 585, 592, 992 } ], [ { 82, 482, 595 }, { 82, 595, 914 }, { 482, 595, 914 }, { 82, 482, 914 } ], [ { 57, 577, 595 }, { 82, 577, 595 }, { 57, 82, 595 }, { 57, 82, 577 } ], [ { 577, 603, 605 }, { 57, 577, 603 }, { 57, 603, 605 }, { 57, 577, 605 } ], [ { 78, 611, 614 }, { 611, 614, 926 }, { 78, 611, 926 }, { 78, 614, 926 } ], [ { 78, 611, 924 }, { 78, 605, 611 }, { 605, 611, 924 }, { 78, 605, 924 } ], [ { 613, 614, 620 }, { 605, 611, 614, 620 }, { 605, 609, 613, 620 }, { 609, 611, 613, 614 }, { 605, 609, 611 } ], [ { 78, 614, 935 }, { 614, 620, 935 }, { 78, 614, 620 }, { 78, 620, 935 } ], [ { 41, 620, 627 }, { 65, 620, 627 }, { 41, 65, 620 }, { 41, 65, 627 } ], [ { 78, 620, 627 }, { 78, 620, 993 }, { 78, 627, 993 }, { 620, 627, 993 } ], [ { 78, 635, 637 }, { 78, 627, 637 }, { 627, 630, 635, 637 }, { 78, 627, 630 }, { 78, 630, 635 } ], [ { 57, 605, 637 }, { 82, 605, 637 }, { 57, 82, 637 }, { 57, 82, 605 } ], [ { 78, 605, 637 }, { 78, 637, 938 }, { 78, 605, 938 }, { 605, 637, 938 } ], [ { 646, 940, 941 }, { 88, 940, 941 }, { 88, 646, 941 }, { 88, 646, 940 } ], [ { 646, 940, 942 }, { 100, 940, 942 }, { 100, 646, 940 }, { 100, 646, 942 } ], [ { 646, 942, 949 }, { 112, 942, 949 }, { 112, 646, 949 }, { 112, 646, 942 } ], [ { 119, 648, 655 }, { 119, 648, 650 }, { 119, 650, 655 }, { 648, 650, 655 } ], [ { 112, 648, 950 }, { 648, 650, 950 }, { 112, 650, 950 }, { 112, 648, 650 } ], [ { 88, 112, 940, 942 }, { 112, 650, 942 }, { 88, 112, 650 }, { 650, 940, 942 }, { 88, 650, 940 } ], [ { 88, 653, 655 }, { 650, 653, 655 }, { 88, 650, 653 }, { 88, 650, 655 } ], [ { 648, 664, 671 }, { 112, 648, 671 }, { 112, 664, 671 }, { 112, 648, 664 } ], [ { 951, 952, 1006 }, { 684, 951, 1006 }, { 684, 952, 1006 }, { 684, 951, 952 } ], [ { 127, 648, 952 }, { 122, 127, 648, 655 }, { 648, 655, 951, 952 }, { 122, 127, 951, 952 }, { 122, 655, 951 } ], [ { 648, 687, 953 }, { 648, 684, 953 }, { 648, 684, 687 }, { 684, 687, 953 } ], [ { 648, 664, 953 }, { 648, 664, 705 }, { 648, 705, 953 }, { 664, 705, 953 } ], [ { 694, 697, 953, 954 }, { 684, 694, 954 }, { 684, 953, 954 }, { 684, 697, 953 }, { 684, 694, 697 } ], [ { 151, 705, 953 }, { 701, 705, 953, 954 }, { 151, 154, 701, 705 }, { 151, 154, 953, 954 }, { 154, 701, 954 } ], [ { 655, 710, 954 }, { 655, 684, 710 }, { 655, 684, 954 }, { 684, 710, 954 } ], [ { 655, 712, 719 }, { 88, 655, 719 }, { 88, 712, 719 }, { 88, 655, 712 } ], [ { 655, 712, 954 }, { 655, 701, 712 }, { 655, 701, 954 }, { 701, 712, 954 } ], [ { 291, 726, 984 }, { 291, 726, 830 }, { 291, 830, 984 }, { 726, 830, 984 } ], [ { 705, 723, 726 }, { 723, 726, 830 }, { 705, 726, 830 }, { 705, 723, 830 } ], [ { 646, 726, 997 }, { 726, 996, 997 }, { 646, 996, 997 }, { 646, 726, 996 } ], [ { 723, 726, 730 }, { 705, 726, 730 }, { 705, 723, 730 }, { 705, 723, 726 } ], [ { 726, 730, 998 }, { 646, 730, 998 }, { 646, 726, 998 }, { 646, 726, 730 } ], [ { 158, 169, 740 }, { 158, 161, 267, 740 }, { 169, 267, 740 }, { 161, 169, 267 }, { 158, 161, 169 } ], [ { 169, 646, 965 }, { 169, 745, 965 }, { 169, 646, 745 }, { 646, 745, 965 } ], [ { 185, 749, 751 }, { 210, 749, 751 }, { 185, 210, 751 }, { 185, 210, 749 } ], [ { 749, 751, 756 }, { 751, 756, 984 }, { 749, 756, 984 }, { 749, 751, 984 } ], [ { 749, 756, 759, 767 }, { 759, 767, 1007 }, { 749, 759, 1007 }, { 749, 756, 1007 }, { 756, 767, 1007 } ], [ { 749, 756, 984 }, { 749, 756, 1007 }, { 756, 984, 1007 }, { 749, 984, 1007 } ], [ { 267, 984, 1008, 1009 }, { 267, 1007, 1008 }, { 267, 984, 1007 }, { 1007, 1008, 1009 }, { 984, 1007, 1009 } ], [ { 267, 759, 767 }, { 759, 767, 1007 }, { 267, 767, 1007 }, { 267, 759, 1007 } ], [ { 189, 759, 772 }, { 213, 759, 772 }, { 189, 213, 772 }, { 189, 213, 759 } ], [ { 759, 767, 772 }, { 267, 767, 772 }, { 267, 759, 767 }, { 267, 759, 772 } ], [ { 749, 776, 796 }, { 210, 749, 796 }, { 210, 776, 796 }, { 210, 749, 776 } ], [ { 225, 749, 759, 796 }, { 225, 759, 999, 1000 }, { 225, 796, 1000 }, { 749, 796, 999, 1000 }, { 749, 759, 999 } ], [ { 213, 225, 795 }, { 210, 213, 795 }, { 210, 213, 225, 796 }, { 225, 795, 796 }, { 210, 795, 796 } ], [ { 224, 225, 759 }, { 213, 224, 225 }, { 213, 225, 759 }, { 213, 224, 759 } ], [ { 232, 805, 812 }, { 701, 805, 812 }, { 232, 701, 812 }, { 232, 701, 805 } ], [ { 805, 812, 821 }, { 267, 812, 821 }, { 267, 805, 812 }, { 267, 805, 821 } ], [ { 232, 805, 817 }, { 232, 701, 805 }, { 701, 805, 817 }, { 232, 701, 817 } ], [ { 805, 817, 1002 }, { 646, 805, 1002 }, { 646, 817, 1002 }, { 646, 805, 817 } ], [ { 169, 244, 267, 277 }, { 169, 267, 805 }, { 267, 277, 805 }, { 169, 244, 805 }, { 244, 277, 805 } ], [ { 169, 805, 965 }, { 169, 646, 805 }, { 169, 646, 965 }, { 646, 805, 965 } ], [ { 281, 288, 308 }, { 210, 281, 288 }, { 210, 288, 308 }, { 210, 281, 308 } ], [ { 281, 751, 984 }, { 210, 281, 751 }, { 210, 751, 984 }, { 210, 281, 984 } ], [ { 281, 291, 984 }, { 281, 291, 308 }, { 291, 308, 984 }, { 281, 308, 984 } ], [ { 291, 308, 984 }, { 291, 830, 984 }, { 291, 308, 830 }, { 308, 830, 984 } ], [ { 1, 324, 832 }, { 1, 210, 832 }, { 1, 210, 324 }, { 210, 324, 832 } ], [ { 1, 308, 330 }, { 1, 210, 330 }, { 1, 210, 308 }, { 210, 308, 330 } ], [ { 1, 308, 337 }, { 1, 324, 337 }, { 308, 324, 337 }, { 1, 308, 324 } ], [ { 308, 337, 358 }, { 324, 337, 358 }, { 308, 324, 337 }, { 308, 324, 358 } ], [ { 308, 705, 841 }, { 705, 830, 841 }, { 308, 830, 841 }, { 308, 705, 830 } ], [ { 348, 351, 841 }, { 308, 348, 351 }, { 308, 351, 841 }, { 308, 348, 841 } ], [ { 358, 377, 856 }, { 308, 358, 377 }, { 308, 377, 856 }, { 308, 358, 856 } ], [ { 348, 367, 377 }, { 308, 348, 377 }, { 308, 367, 377 }, { 308, 348, 367 } ], [ { 348, 841, 1010 }, { 348, 705, 1010 }, { 348, 705, 841 }, { 705, 841, 1010 } ], [ { 348, 1010, 1011 }, { 348, 855, 1010 }, { 855, 1010, 1011, 1012 }, { 348, 1011, 1012 }, { 348, 855, 1012 } ], [ { 348, 377, 856 }, { 348, 377, 855 }, { 377, 855, 856 }, { 348, 855, 856 } ], [ { 404, 407, 429, 869, 873, 876 }, { 381, 869, 876 }, { 381, 866, 869, 873 }, { 381, 429, 876, 1005 }, { 404, 429, 1005 }, { 404, 407, 866, 1005 }, { 407, 866, 873 }, { 381, 866, 1005 } ], [ { 404, 407, 424 }, { 394, 407, 424 }, { 394, 404, 424 }, { 394, 404, 407 } ], [ { 424, 439, 990 }, { 404, 424, 439 }, { 404, 424, 429, 990 }, { 429, 439, 990 }, { 404, 429, 439 } ], [ { 424, 447, 477 }, { 424, 477, 914 }, { 424, 892, 914 }, { 424, 447, 892 }, { 477, 892, 914 }, { 447, 477, 892 } ], [ { 424, 439, 477 }, { 424, 439, 990 }, { 439, 477, 990 }, { 424, 477, 990 } ], [ { 477, 902, 911 }, { 902, 911, 990 }, { 477, 911, 990 }, { 457, 477, 990 }, { 457, 902, 990 }, { 457, 477, 902 } ], [ { 30, 468, 911 }, { 468, 856, 911 }, { 30, 468, 856 }, { 30, 856, 911 } ], [ { 473, 477, 911 }, { 30, 473, 477 }, { 30, 473, 911 }, { 30, 477, 911 } ], [ { 11, 82, 482 }, { 11, 82, 914 }, { 11, 482, 914 }, { 82, 482, 914 } ], [ { 11, 477, 486 }, { 11, 486, 914 }, { 11, 477, 914 }, { 477, 486, 914 } ], [ { 11, 30, 477 }, { 11, 20, 22, 30 }, { 20, 30, 477 }, { 11, 22, 477 }, { 20, 22, 477 } ], [ { 65, 558, 562 }, { 558, 562, 914 }, { 65, 558, 914 }, { 65, 562, 914 } ], [ { 41, 562, 620 }, { 65, 562, 620 }, { 41, 65, 562 }, { 41, 65, 620 } ], [ { 562, 566, 577 }, { 562, 566, 914 }, { 566, 577, 914 }, { 562, 577, 914 } ], [ { 577, 579, 605 }, { 575, 579, 605, 620 }, { 562, 577, 605, 620 }, { 562, 575, 577, 579 }, { 562, 575, 620 } ], [ { 82, 577, 595 }, { 577, 595, 914 }, { 82, 595, 914 }, { 82, 577, 914 } ], [ { 57, 577, 605 }, { 82, 577, 605 }, { 57, 82, 577 }, { 57, 82, 605 } ], [ { 78, 614, 620 }, { 605, 611, 614, 620 }, { 78, 605, 620 }, { 78, 605, 611 }, { 78, 611, 614 } ], [ { 78, 620, 627 }, { 65, 78, 620 }, { 65, 78, 627 }, { 65, 620, 627 } ], [ { 65, 78, 627 }, { 65, 78, 82 }, { 65, 82, 627, 637 }, { 78, 627, 637 }, { 78, 82, 637 } ], [ { 78, 605, 637 }, { 78, 82, 637 }, { 78, 82, 605 }, { 82, 605, 637 } ], [ { 112, 646, 942 }, { 88, 112, 940, 942 }, { 88, 112, 646 }, { 646, 940, 942 }, { 88, 646, 940 } ], [ { 88, 112, 648, 655 }, { 88, 650, 655 }, { 88, 112, 650 }, { 112, 648, 650 }, { 648, 650, 655 } ], [ { 112, 648, 664 }, { 648, 664, 705 }, { 112, 648, 705 }, { 112, 664, 705 } ], [ { 648, 655, 951, 952 }, { 648, 684, 952 }, { 648, 655, 684 }, { 684, 951, 952 }, { 655, 684, 951 } ], [ { 648, 705, 953 }, { 648, 684, 953 }, { 648, 684, 705 }, { 684, 705, 953 } ], [ { 701, 705, 953, 954 }, { 684, 705, 953 }, { 684, 701, 705 }, { 684, 953, 954 }, { 684, 701, 954 } ], [ { 655, 701, 954 }, { 655, 684, 954 }, { 655, 684, 701 }, { 684, 701, 954 } ], [ { 655, 701, 712 }, { 88, 655, 712 }, { 88, 655, 701 }, { 88, 701, 712 } ], [ { 705, 726, 984 }, { 705, 726, 830 }, { 726, 830, 984 }, { 705, 830, 984 } ], [ { 646, 726, 997 }, { 726, 984, 997 }, { 646, 984, 997 }, { 646, 726, 984 } ], [ { 646, 726, 730 }, { 705, 726, 730 }, { 646, 705, 730 }, { 646, 705, 726 } ], [ { 267, 740, 1008 }, { 267, 740, 984, 1013 }, { 267, 984, 1008, 1009 }, { 740, 1008, 1009, 1013 }, { 984, 1009, 1013 } ], [ { 169, 267, 646 }, { 169, 646, 745 }, { 267, 646, 740, 745 }, { 169, 267, 740 }, { 169, 740, 745 } ], [ { 749, 751, 984 }, { 210, 749, 751 }, { 210, 751, 984 }, { 210, 749, 984 } ], [ { 267, 749, 759, 984 }, { 267, 759, 1007 }, { 267, 984, 1007 }, { 749, 984, 1007 }, { 749, 759, 1007 } ], [ { 267, 759, 772 }, { 213, 759, 772 }, { 213, 267, 772 }, { 213, 267, 759 } ], [ { 213, 225, 759 }, { 210, 213, 225, 796 }, { 210, 213, 749, 759 }, { 225, 749, 759, 796 }, { 210, 749, 796 } ], [ { 267, 805, 812 }, { 701, 805, 812 }, { 267, 701, 812 }, { 267, 701, 805 } ], [ { 646, 805, 817 }, { 701, 805, 817 }, { 646, 701, 805 }, { 646, 701, 817 } ], [ { 169, 646, 805 }, { 169, 267, 805 }, { 169, 267, 646 }, { 267, 646, 805 } ], [ { 281, 308, 984 }, { 210, 281, 984 }, { 210, 281, 308 }, { 210, 308, 984 } ], [ { 308, 705, 984 }, { 705, 830, 984 }, { 308, 705, 830 }, { 308, 830, 984 } ], [ { 1, 308, 324 }, { 1, 210, 308 }, { 1, 210, 324 }, { 210, 308, 324 } ], [ { 308, 358, 856 }, { 324, 358, 856 }, { 308, 324, 358 }, { 308, 324, 856 } ], [ { 348, 705, 841 }, { 308, 348, 841 }, { 308, 348, 705 }, { 308, 705, 841 } ], [ { 348, 377, 856 }, { 308, 348, 377 }, { 308, 377, 856 }, { 308, 348, 856 } ], [ { 348, 705, 856 }, { 348, 855, 856 }, { 705, 855, 856, 1010 }, { 348, 855, 1010 }, { 348, 705, 1010 } ], [ { 424, 990, 1014 }, { 404, 424, 429, 990 }, { 407, 424, 873, 1014 }, { 404, 407, 424 }, { 869, 876, 990, 1014 }, { 404, 407, 429, 869, 873, 876 }, { 869, 873, 1014 }, { 429, 876, 990 } ], [ { 477, 911, 990 }, { 477, 911, 914 }, { 424, 911, 914, 990 }, { 424, 477, 990 }, { 424, 477, 914 } ], [ { 30, 477, 911 }, { 477, 856, 911 }, { 30, 477, 856 }, { 30, 856, 911 } ], [ { 11, 82, 477 }, { 11, 477, 914 }, { 11, 82, 914 }, { 82, 477, 914 } ], [ { 30, 477, 856 }, { 82, 477, 856 }, { 11, 30, 82, 856 }, { 11, 82, 477 }, { 11, 30, 477 } ], [ { 65, 562, 620 }, { 562, 620, 914 }, { 65, 562, 914 }, { 65, 620, 914 } ], [ { 562, 577, 605, 620 }, { 577, 605, 914 }, { 605, 620, 914 }, { 562, 577, 914 }, { 562, 620, 914 } ], [ { 82, 577, 605 }, { 577, 605, 914 }, { 82, 577, 914 }, { 82, 605, 914 } ], [ { 78, 82, 605 }, { 65, 78, 82 }, { 65, 82, 605, 620 }, { 65, 78, 620 }, { 78, 605, 620 } ], [ { 88, 646, 655 }, { 88, 112, 648, 655 }, { 88, 112, 646 }, { 112, 646, 648 }, { 646, 648, 655 } ], [ { 112, 646, 648 }, { 646, 648, 705 }, { 112, 648, 705 }, { 112, 646, 705 } ], [ { 648, 655, 701, 705 }, { 655, 684, 701 }, { 684, 701, 705 }, { 648, 684, 705 }, { 648, 655, 684 } ], [ { 646, 655, 701 }, { 88, 646, 655 }, { 88, 655, 701 }, { 88, 646, 701 } ], [ { 646, 705, 726 }, { 646, 726, 984 }, { 705, 726, 984 }, { 646, 705, 984 } ], [ { 267, 646, 984 }, { 267, 646, 740, 745 }, { 646, 745, 984, 1013 }, { 267, 740, 984, 1013 }, { 740, 745, 1013 } ], [ { 210, 213, 749, 759 }, { 210, 213, 267, 984 }, { 213, 267, 759 }, { 267, 749, 759, 984 }, { 210, 749, 984 } ], [ { 267, 646, 805 }, { 646, 701, 805 }, { 267, 701, 805 }, { 267, 646, 701 } ], [ { 308, 705, 984 }, { 210, 705, 984 }, { 210, 308, 705 }, { 210, 308, 984 } ], [ { 308, 324, 856 }, { 210, 308, 856 }, { 210, 324, 856 }, { 210, 308, 324 } ], [ { 348, 705, 856 }, { 308, 348, 856 }, { 308, 348, 705 }, { 308, 705, 856 } ], [ { 911, 990, 1014, 1015 }, { 424, 914, 1014, 1015 }, { 911, 914, 1015 }, { 424, 911, 914, 990 }, { 424, 990, 1014 } ], [ { 82, 477, 856 }, { 82, 477, 914 }, { 82, 856, 911, 914 }, { 477, 856, 911 }, { 477, 911, 914 } ], [ { 65, 82, 605, 620 }, { 82, 605, 914 }, { 65, 82, 914 }, { 605, 620, 914 }, { 65, 620, 914 } ], [ { 646, 655, 701 }, { 648, 655, 701, 705 }, { 646, 701, 705 }, { 646, 648, 705 }, { 646, 648, 655 } ], [ { 646, 705, 984 }, { 210, 646, 705 }, { 210, 646, 984 }, { 210, 705, 984 } ], [ { 210, 646, 984 }, { 210, 213, 646 }, { 210, 213, 267, 984 }, { 213, 267, 646 }, { 267, 646, 984 } ], [ { 267, 646, 701 }, { 213, 267, 646 }, { 213, 646, 701 }, { 213, 267, 701 } ], [ { 308, 705, 856 }, { 210, 705, 856 }, { 210, 308, 856 }, { 210, 308, 705 } ], [ { 65, 82, 701, 705, 856, 1016 }, { 65, 82, 914 }, { 82, 856, 911, 914 }, { 65, 914, 1015, 1016 }, { 701, 1015, 1016 }, { 701, 705, 911, 1015 }, { 705, 856, 911 }, { 911, 914, 1015 } ], [ { 213, 646, 701 }, { 210, 213, 646 }, { 210, 213, 701, 705 }, { 210, 646, 705 }, { 646, 701, 705 } ], [ { 210, 213, 701, 705 }, { 65, 82, 701, 705, 856, 1016 }, { 82, 210, 856, 1017 }, { 210, 705, 856 }, { 213, 701, 1016 }, { 65, 213, 1016, 1017 }, { 65, 82, 1017 }, { 210, 213, 1017 } ] ] /* Order of PGL_2(O) stabilizers of Voronoi top cells */ [ 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 12, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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, 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, 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, 3, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <24, 3>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <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>, <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>, <6, 2>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <12, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <6, 2> ]