/* Defining polynomial */ x^2 - x + 345 /* Minimal vectors */ [ <8*w + 50, -7*w + 106>, <-7*w + 63, w - 149>, , <-7*w + 209, -6*w - 226>, <9*w + 17, -6*w + 135>, <3*w + 92, -6*w - 1>, <12*w + 109, -12*w + 134>, <2*w + 126, -7*w - 35>, <56*w + 508, -53*w + 659>, <-109*w + 837, 18*w - 2153>, <6*w + 876, -44*w - 321>, <9*w + 1850, -91*w - 737>, <-44*w + 365, 6*w - 882>, <53*w + 606, -56*w + 564>, <-91*w + 828, 9*w - 1859>, <18*w + 2135, -109*w - 728>, <-21*w + 42, 9*w - 359>, <-4*w + 66, -w - 96>, <-3*w + 119, -4*w - 105>, <4*w + 340, -18*w - 97>, <21*w + 21, -12*w + 329>, <4*w + 62, -5*w + 35>, <3*w + 116, -7*w - 7>, <-4*w + 344, -14*w - 229>, <4*w + 14, -3*w + 60>, <-w + 53, -2*w - 45>, <3*w + 67, -5*w + 15>, <164, -8*w - 87>, <-4*w + 5, 2*w - 71>, <2*w + 18, -2*w + 25>, <3*w + 67, -5*w + 17>, <-w + 92, -4*w - 64>, <-w + 11, -23>, <-3*w + 14, w - 59>, <-4*w + 25, w - 82>, <80, -4*w - 41>, <21, -w - 12>, <-4*w + 32, w - 84>, , , <3*w + 2, -2*w + 48>, <-4*w + 11, 2*w - 72>, <-w + 13, -24>, <84, -4*w - 49>, <63, -3*w - 37>, <2*w + 15, -2*w + 24>, <105, -5*w - 62>, , <62, -3*w - 34>, , <-2*w + 107, -4*w - 92>, <3*w + 5, -2*w + 47>, <8*w + 69, -8*w + 95>, <-w + 75, -3*w - 57>, <2*w + 80, -5*w - 10>, <-4*w + 7, 2*w - 70>, <-w + 12, -23>, <-4*w + 28, w - 81>, <-5*w + 40, w - 104>, <6*w + 74, -7*w + 61>, , <-13*w + 175, -w - 308>, <7*w + 228, -15*w - 3>, <20*w + 53, -14*w + 305>, <-7*w + 83, -160>, <28*w + 145, -23*w + 389>, <187, -9*w - 98>, <-14*w + 478, -15*w - 483>, <-9*w + 564, -22*w - 445>, <11*w + 306, -21*w + 22>, <15*w + 404, -28*w + 37>, <-4*w + 547, -24*w - 353>, <26*w + 710, -49*w + 59>, <-15*w + 241, -3*w - 375>, <-19*w + 351, -6*w - 499>, <-34*w + 592, -9*w - 874>, <65*w + 16, -38*w + 1071>, <18*w + 139, -17*w + 226>, <-20*w + 238, -457>, <-2*w + 377, -17*w - 231>, <-29*w + 1093, -36*w - 1055>, <5*w + 65, -6*w + 49>, <-6*w + 92, -w - 148>, <-w + 157, -7*w - 99>, <4*w + 77, -6*w + 26>, <-w + 178, -8*w - 110>, <-28*w + 21, 15*w - 475>, <-3*w + 119, -4*w - 112>, <22*w + 446, -34*w + 131>, <-6*w + 467, -19*w - 344>, <-36*w + 54, 18*w - 625>, <-18*w + 360, -7*w - 487>, <-54*w + 414, 11*w - 1112>, <18*w + 535, -36*w + 18>, <-7*w + 458, -18*w - 356>, <11*w + 993, -54*w - 338>, <25*w + 77, -18*w + 374>, <-25*w + 152, 7*w - 494>, <43*w + 612, -54*w + 392>, <-18*w + 589, -18*w - 607>, <-151*w + 1798, -3445>, <-43*w + 741, -11*w - 1101>, <8*w + 29, -6*w + 117>, <-w + 33, -w - 34>, <146, -7*w - 77>, <9*w + 59, -8*w + 118>, <2*w + 101, -6*w - 20>, <-29*w + 34, 15*w - 498>, <9*w + 80, -9*w + 107>, <31*w + 88, -22*w + 467>, <-5*w + 539, -23*w - 366>, <117*w + 286, -77*w + 1710>, <806, -37*w - 403>, <-40*w + 2153, -77*w - 1710>, <77*w + 2439, -154*w>, <-154*w + 154, 77*w - 2516>, <-37*w + 440, -806>, <77*w + 1633, -117*w + 403>, <-77*w + 1787, -40*w - 2113>, <18*w + 4, -10*w + 283>, <-3*w + 101, -3*w - 98>, <-2*w + 307, -13*w - 185>, <-11*w + 414, -13*w - 381>, , <11*w + 523, -30*w - 87>, <6*w + 16, -4*w + 87>, <-31*w + 41, 15*w - 511>, <-14*w + 406, -11*w - 424>, <-8*w + 422, -15*w - 337>, <15*w + 476, -30*w>, <-9*w + 41, 3*w - 163>, <6*w + 125, -9*w + 33>, <-3*w + 166, -6*w - 130>, <46*w + 262, -37*w + 599>, <5*w + 6, -3*w + 76>, <-10*w + 10, 5*w - 163>, <-5*w + 16, 2*w - 87>, <-8*w + 139, -2*w - 196>, <-3*w + 123, -4*w - 109>, <-w + 252, -11*w - 142>, <-6*w + 268, -9*w - 229>, <5*w + 202, -12*w - 22>, <-7*w + 236, -7*w - 229>, <30*w + 449, -37*w + 250>, <2*w + 848, -40*w - 393>, <-12*w + 34, 5*w - 207>, <37*w + 213, -30*w + 479>, <-40*w + 433, 2*w - 850>, <10*w + 33, -7*w + 142>, <3*w + 73, -5*w + 11>, <2*w + 85, -5*w - 11>, <-13*w + 155, -284>, <5*w + 158, -10*w>, <-3*w + 188, -7*w - 142>, <-8*w + 52, 2*w - 153>, <-6*w + 115, -2*w - 153>, <-13*w + 68, 4*w - 240>, <-11*w + 153, -w - 251>, <305, -14*w - 153>, <-2*w + 198, -8*w - 131>, <-4*w + 113, -3*w - 120>, <-9*w + 238, -6*w - 262>, <-2*w + 3, w - 32>, , <-w + 13, -22>, <-8*w + 103, -175>, <-3*w + 38, -66>, <67, -3*w - 35>, , <-3*w + 105, -3*w - 101>, <3*w + 29, -3*w + 31>, <5*w + 138, -9*w + 5>, <6*w + 13, -4*w + 87>, <4*w + 16, -3*w + 54>, <-4*w + 28, w - 77>, <44, -2*w - 23>, <-w + 123, -5*w - 80>, <-3*w + 38, -67>, <-5*w + 41, w - 100>, <66, -3*w - 35>, <-3*w + 104, -3*w - 102>, <-9*w + 4, 5*w - 143>, <3*w + 28, -3*w + 32>, <2*w + 16, -2*w + 23>, <-2*w + 27, -48>, , <2*w + 37, -3*w + 11>, <-w + 56, -2*w - 49>, <-w + 13, -23>, <2*w + 17, -2*w + 22>, , <-4*w + 31, w - 81>, <-2*w + 4, w - 34>, , <4*w + 35, -4*w + 45>, <-2*w + 47, -w - 58>, <-3*w + 60, -w - 81>, <-5*w + 18, 2*w - 89>, <-3*w + 37, -67>, <-8*w + 55, 2*w - 156>, , <7*w + 1, -4*w + 111>, <2*w + 19, -2*w + 22>, <2*w + 127, -7*w - 34>, , <3*w + 50, -4*w + 22>, <3*w + 28, -3*w + 33>, <4*w + 81, -6*w + 21>, <-4*w + 93, -2*w - 112>, <174, -8*w - 91>, <-w + 12, -22>, <-3*w + 15, w - 55>, , <-2*w + 90, -3*w - 78>, <4*w + 80, -6*w + 21>, <2*w + 105, -6*w - 24>, <6*w + 185, -12*w - 3>, <282, -13*w - 150>, <-4*w + 72, -w - 102>, <-3*w + 81, -2*w - 91>, <-7*w + 153, -3*w - 193>, <-2*w + 242, -10*w - 161>, <5*w + 23, -4*w + 68>, <-4*w + 29, w - 80>, , <-2*w + 68, -2*w - 69>, <43, -2*w - 23>, <2*w + 82, -5*w - 12>, <2*w + 18, -2*w + 23>, <2*w + 39, -3*w + 12>, , <-3*w + 58, -w - 80>, <21, -w - 11>, , <-3*w + 16, w - 57>, <3*w + 27, -3*w + 34>, <-3*w + 123, -4*w - 114>, <-w + 34, -w - 34>, <6*w + 61, -6*w + 67>, <13*w + 218, -17*w + 104>, <19*w + 279, -23*w + 171>, <-20*w + 291, -3*w - 461>, <16*w + 55, -11*w + 231>, <-2*w + 87, -3*w - 74>, <14*w + 142, -14*w + 157>, <-20*w + 269, -2*w - 451>, <17*w + 1, -9*w + 273>, <-16*w + 95, 4*w - 303>, , <18*w + 247, -21*w + 171>, , <18*w + 97, -14*w + 243>, <5*w + 351, -19*w - 88>, <-5*w + 35, w - 97>, <-19*w + 107, 5*w - 356>, <14*w + 229, -18*w + 115>, <9*w + 264, -17*w + 18>, <-17*w + 149, 2*w - 344>, <7*w + 222, -14*w + 6>, <-10*w + 371, -12*w - 338>, <-12*w + 114, w - 247>, <21*w + 150, -18*w + 265>, <4*w + 299, -16*w - 79>, <-3*w + 77, -2*w - 85>, <14*w + 143, -14*w + 156>, <11*w + 220, -16*w + 71>, <-2*w + 453, -20*w - 249>, <3*w + 52, -4*w + 23>, <11*w + 133, -12*w + 112>, <-10*w + 157, -2*w - 236>, , <4*w + 19, -3*w + 55>, <12*w + 100, -11*w + 144>, <-14*w + 138, w - 291>, <-2*w + 238, -10*w - 147>, <129, -6*w - 62>, <-45*w + 166, 16*w - 802>, <22*w + 847, -51*w - 54>, <-29*w + 952, -29*w - 923>, <-6*w + 68, -129>, <-51*w + 105, 22*w - 869>, <16*w + 786, -45*w - 121>, <17*w + 87, -13*w + 231>, <23*w + 148, -19*w + 298>, <-3*w + 464, -20*w - 271>, <47*w + 2560, -144*w - 464>, <-97*w + 3168, -97*w - 3071>, <626*w + 3246, -479*w + 8526>, <-50*w + 5728, -241*w - 3535>, <191*w + 7119, -432*w - 320>, <238*w + 9679, -576*w - 784>, <-532*w + 1874, 191*w - 9454>, <-341*w + 8993, -241*w - 9774>, <-194*w + 97, 97*w - 3168>, <291*w + 1902, -241*w + 3776>, <97*w + 1999, -144*w + 608>, <-147*w + 11919, -479*w - 8047>, <241*w + 6558, -432*w + 752>, <338*w + 8557, -576*w + 1360>, <-582*w + 1363, 241*w - 10015>, <-341*w + 7921, -191*w - 9263>, <-238*w + 655, 94*w - 4142>, <47*w + 3632, -194*w - 975>, <141*w + 11968, -632*w - 3436>, <-97*w + 12623, -538*w - 7578>, <238*w + 417, -144*w + 3631>, <-47*w + 3679, -147*w - 2510>, <-141*w + 12109, -491*w - 8041>, <97*w + 12526, -635*w - 4410>, <244*w + 2558, -247*w + 2707>, <-238*w + 2606, 3*w - 5072>, <3*w + 3118, -147*w - 1438>, <247*w + 5676, -394*w + 1269>, <-47*w + 2607, -97*w - 1999>, <147*w + 3582, -244*w + 658>, <-44*w + 5725, -244*w - 3437>, <-429*w + 5821, -47*w - 9678>, <-335*w + 607, 147*w - 5680>, <147*w + 4654, -294*w + 147>, <-379*w + 6332, -97*w - 9117>, <-526*w + 1678, 197*w - 9264>, <150*w + 7772, -441*w - 1291>, <1484*w + 1252, -835*w + 23283>, <338*w + 3583, -344*w + 3731>, <-332*w + 3725, -7118>, <6*w + 7308, -344*w - 3387>, <-649*w + 25184, -835*w - 22448>, <479*w + 929, -294*w + 7265>, <144*w + 1536, -147*w + 1585>, <150*w + 8844, -491*w - 1802>, <-329*w + 7915, -197*w - 9067>, <341*w + 6701, -491*w + 2293>, <-185*w + 8379, -294*w - 6971>, <288*w + 2000, -244*w + 3681>, <-476*w + 3261, 97*w - 9214>, <-188*w + 5261, -147*w - 5533>, <432*w + 3536, -391*w + 5266>, <291*w + 6190, -441*w + 1732>, <-185*w + 9451, -344*w - 7482>, <144*w + 464, -97*w + 2096>, <-191*w + 2143, -4095>, <-523*w + 13179, -341*w - 14698>, <438*w + 13867, -876*w + 438>, <-864*w + 2383, 341*w - 15039>, <97*w + 4143, -244*w - 414>, <-476*w + 4333, 47*w - 9725>, <-235*w + 2701, -3*w - 5069>, <3*w + 5262, -247*w - 2460>, <147*w + 6798, -394*w - 875>, <526*w + 5633, -538*w + 5779>, <-138*w + 7916, -297*w - 5994>, <6*w + 9452, -444*w - 4409>, <53*w + 3629, -197*w - 877>, <144*w + 2608, -197*w + 1074>, <53*w + 413, -47*w + 656>, <-56*w + 564, 3*w - 1170>, <-62*w + 1446, -35*w - 1687>, <-118*w + 2010, -32*w - 2857>, <109*w + 728, -91*w + 1407>, <-6*w + 882, -38*w - 517>, <-62*w + 374, 15*w - 1176>, <65*w + 407, -53*w + 852>, <879, -41*w - 419>, <-56*w + 1250, -29*w - 1497>, <-53*w + 466, 6*w - 1075>, <62*w + 1384, -97*w + 338>, <118*w + 1892, -150*w + 997>, <-265*w + 379, 121*w - 4445>, <115*w + 2869, -194*w + 483>, <-150*w + 3248, -73*w - 3962>, <118*w + 3843, -241*w + 67>, <-209*w + 887, 68*w - 3786>, <62*w + 3335, -188*w - 592>, <-147*w + 4222, -120*w - 4378>, <-3*w + 977, -44*w - 514>, <-53*w + 1538, -44*w - 1586>, <144*w + 3294, -229*w + 747>, <-212*w + 4201, -85*w - 5414>, <197*w + 1756, -185*w + 2333>, <-206*w + 2247, 3*w - 4386>, <3*w + 974, -47*w - 416>, <53*w + 1485, -97*w + 145>, <-144*w + 3438, -85*w - 3956>, <212*w + 3989, -297*w + 1510>, <-197*w + 1953, 12*w - 4101>, <206*w + 2041, -203*w + 2342>, <-247*w + 370, 112*w - 4151>, <106*w + 2091, -153*w + 709>, <-141*w + 2461, -41*w - 3442>, <109*w + 3065, -200*w + 293>, <-232*w + 5433, -132*w - 6323>, <-47*w + 463, 3*w - 977>, <59*w + 2554, -150*w - 268>, <-150*w + 418, 59*w - 2613>, <62*w + 3528, -197*w - 684>, <15*w + 3991, -194*w - 1661>, <-197*w + 881, 62*w - 3590>, <-194*w + 1855, 15*w - 4006>, <200*w + 93, -109*w + 3174>, <153*w + 556, -106*w + 2197>, <-41*w + 3483, -141*w - 2320>, <112*w + 4039, -247*w - 123>, <-132*w + 6455, -232*w - 5201>, <-47*w + 1342, -38*w - 1396>, <-147*w + 1199, 21*w - 2937>, <168*w + 1717, -168*w + 1885>, <-85*w + 2776, -85*w - 2691>, <21*w + 2916, -147*w - 1052>, <-38*w + 1434, -47*w - 1295>, <62*w + 698, -65*w + 665>, <15*w + 968, -53*w - 220>, <-88*w + 1609, -29*w - 2183>, <24*w + 1939, -103*w - 538>, <-53*w + 273, 15*w - 983>, <65*w + 600, -62*w + 760>, <-103*w + 641, 24*w - 1963>, <-29*w + 2212, -88*w - 1521>, <127*w + 1298, -127*w + 1425>, <39*w + 2907, -156*w - 758>, <-156*w + 914, 39*w - 2946>, <-38*w + 1241, -38*w - 1203>, <-25*w + 66, 10*w - 434>, <-3*w + 205, -8*w - 146>, <-9*w + 208, -5*w - 244>, <-28*w + 271, 2*w - 580>, <25*w + 41, -15*w + 383>, <9*w + 199, -14*w + 50>, <3*w + 202, -11*w - 48>, <28*w + 243, -26*w + 335>, <-14*w + 263, -5*w - 351>, <-8*w + 4, 4*w - 131>, <-19*w + 234, -w - 418>, <-11*w + 337, -10*w - 338>, <4*w + 383, -20*w - 118>, <8*w + 103, -9*w + 80>, <12*w + 379, -24*w + 13>, <107, -5*w - 51>, <15*w + 153, -15*w + 169>, <-18*w + 287, -4*w - 427>, <-3*w + 440, -19*w - 258>, <14*w + 249, -19*w + 107>, <19*w + 322, -25*w + 153>, <-19*w + 341, -6*w - 469>, <-4*w + 387, -16*w - 249>, <15*w + 46, -10*w + 220>, <-15*w + 61, 5*w - 271>, <19*w + 429, -30*w + 102>, <-19*w + 448, -11*w - 520>, <19*w + 215, -20*w + 204>, <11*w + 326, -21*w + 22>, <-8*w + 111, -w - 182>, <-12*w + 391, -12*w - 380>, <-15*w + 168, -322>, <18*w + 269, -22*w + 162>, <3*w + 437, -22*w - 160>, <-2*w + 2, w - 35>, <-4*w + 85, -2*w - 111>, <3*w + 88, -6*w + 7>, , <5*w + 25, -4*w + 73>, <-2*w + 103, -4*w - 86>, <121, -6*w - 61>, <-2*w + 3, w - 35>, , <-2*w + 85, -3*w - 78>, <-4*w + 88, -2*w - 113>, <5*w + 44, -5*w + 61>, <82, -4*w - 43>, <-4*w + 68, -w - 103>, <2*w + 79, -5*w - 8>, <-3*w + 56, -w - 80>, <5*w + 23, -4*w + 72>, <-4*w + 47, -92>, <3*w + 26, -3*w + 37>, <4*w + 35, -4*w + 49>, <-3*w + 117, -4*w - 112>, <-3*w + 76, -2*w - 91>, <3*w + 87, -6*w + 5>, <163, -8*w - 86>, <-2*w + 44, -w - 57>, <2*w + 38, -3*w + 14>, <3*w + 47, -4*w + 26>, <61, -3*w - 32>, <-w + 32, -w - 34>, <-w + 93, -4*w - 66>, <5*w + 23, -4*w + 73>, <2*w + 78, -5*w - 7>, <-5*w + 39, w - 105>, <41, -2*w - 22>, <2*w + 58, -4*w + 3>, <41, -2*w - 21>, , <2*w + 38, -3*w + 15>, <20, -w - 10>, <-w + 72, -3*w - 54>, <-6*w + 28, 2*w - 117>, , , , <4*w + 13, -3*w + 62>, <20, -w - 11>, <100, -5*w - 54>, <19, -w - 10>, , <39, -2*w - 20>, , <-15*w + 27, 8*w - 263>, <-7*w + 216, -6*w - 239>, <8*w + 210, -15*w + 12>, <-7*w + 237, -7*w - 251>, <-14*w + 14, 8*w - 239>, <8*w + 231, -16*w>, <-5*w + 232, -8*w - 215>, <-6*w + 245, -8*w - 239>, <7*w + 223, -15*w - 12>, <-14*w + 35, 7*w - 251>, <2*w + 13, -2*w + 26>, <-w + 14, -26>, , <-4*w + 35, w - 90>, <21, -w - 13>, <-2*w + 28, -51>, <41, -2*w - 26>, <-3*w + 3, 2*w - 52>, , <-w + 15, -27>, <21, -w - 14>, <-2*w + 7, w - 39>, , <40, -2*w - 25>, <60, -3*w - 37>, <1, -1>, , <20, -w - 15>, <20, -w - 14>, <2*w + 11, -2*w + 27>, <20, -w - 13>, , , <5*w + 32, -5*w + 67>, <-4*w + 34, w - 91>, <-w + 33, -w - 38>, <-5*w + 67, -129>, <99, -5*w - 62>, , <3*w + 19, -3*w + 41>, <2*w + 32, -3*w + 15>, <-2*w + 46, -w - 64>, <59, -3*w - 37>, <-3*w + 21, w - 65>, <60, -3*w - 38>, <3*w + 19, -3*w + 40>, , <-3*w + 99, -3*w - 104>, <-6*w + 12, 3*w - 107>, <6*w + 9, -4*w + 96>, <-5*w + 20, 2*w - 95>, <-3*w + 98, -3*w - 104>, <-3*w + 78, -2*w - 93>, <4*w + 12, -3*w + 61>, <-3*w + 37, -71>, <2*w + 57, -4*w + 2>, <-w + 94, -4*w - 69>, <-2*w + 4, w - 36>, <2*w + 16, -2*w + 25>, <-4*w + 49, -95>, <3*w + 65, -5*w + 15>, <-7*w + 25, 3*w - 133>, <-2*w + 65, -2*w - 70>, <81, -4*w - 45>, <3*w + 4, -2*w + 49>, <6*w + 49, -6*w + 75>, , <-w + 73, -3*w - 57>, <3*w + 25, -3*w + 37>, <-6*w + 73, -141>, <-2*w + 4, w - 35>, <3*w + 26, -3*w + 35>, <3*w + 68, -5*w + 12>, <-w + 97, -4*w - 69>, <2*w + 17, -2*w + 24>, <2*w + 59, -4*w + 1>, <-4*w + 70, -w - 104>, <-3*w + 16, w - 58>, <-5*w + 20, 2*w - 93>, <5*w + 43, -5*w + 59>, <2*w + 101, -6*w - 22>, <5*w + 22, -4*w + 70>, <63, -3*w - 34>, <3*w + 89, -6*w + 1>, <8*w + 69, -8*w + 94>, <-7*w + 2, 4*w - 116>, <-4*w + 49, -92>, <84, -4*w - 45>, <3*w + 68, -5*w + 13>, <4*w + 35, -4*w + 47>, <-w + 96, -4*w - 68>, <5*w + 2, -3*w + 81>, <-6*w + 31, 2*w - 115>, <105, -5*w - 56>, <2*w + 142, -8*w - 41>, <7*w + 62, -7*w + 84>, <-5*w + 80, -w - 125>, <5*w + 86, -7*w + 38>, <-9*w + 24, 4*w - 162>, <7*w + 353, -21*w - 69>, <22*w + 50, -15*w + 339>, <13*w + 74, -11*w + 177>, <-5*w + 101, -2*w - 136>, <-9*w + 211, -5*w - 260>, <-14*w + 312, -7*w - 396>, <18*w + 98, -15*w + 247>, <15*w + 217, -19*w + 135>, <-17*w + 348, -7*w - 464>, , <25*w + 98, -19*w + 363>, <7*w, -4*w + 116>, <8*w + 217, -15*w + 19>, <21*w + 208, -22*w + 239>, <7*w + 229, -15*w - 4>, <4*w + 348, -19*w - 116>, <-3*w + 348, -15*w - 232>, <-24*w + 140, 7*w - 471>, <32*w + 306, -33*w + 370>, <11*w + 327, -22*w + 11>, <-3*w + 577, -26*w - 352>, <11*w + 98, -11*w + 131>, <-11*w + 131, -251>, <229, -11*w - 120>, <-7*w + 84, -160>, <6*w + 95, -8*w + 49>, <7*w + 83, -8*w + 72>, , <-14*w + 147, w - 309>, <-7*w + 42, 2*w - 138>, <2*w + 122, -7*w - 31>, <-5*w + 164, -5*w - 169>, <-25*w + 278, w - 560>, <8*w + 71, -8*w + 95>, <-21*w + 105, 7*w - 403>, <-2*w + 253, -11*w - 166>, <7*w + 333, -20*w - 59>, <-6*w + 51, w - 126>, <-27*w + 10, 15*w - 452>, <-6*w + 30, 2*w - 115>, <8*w + 92, -9*w + 84>, <-5*w + 185, -6*w - 180>, <-7*w + 18, 3*w - 120>, <10*w + 77, -9*w + 120>, <3*w + 95, -6*w>, <9*w + 263, -17*w + 11>, <37*w + 366, -37*w + 403>, <-24*w + 2, 13*w - 381>, <-6*w + 6, 3*w - 98>, <-2*w + 111, -4*w - 87>, <9*w + 111, -10*w + 87>, <3*w + 117, -7*w - 11>, , <-8*w + 95, -174>, <14*w + 139, -14*w + 152>, , <22, -w - 11>, <2*w + 151, -8*w - 44>, <-2*w + 155, -6*w - 109>, <2*w + 107, -6*w - 22>, <-14*w + 167, -305>, <4*w + 236, -13*w - 55>, <-9*w + 129, -w - 207>, <-15*w + 135, 2*w - 305>, <8*w + 297, -18*w - 22>, <-18*w + 40, 8*w - 305>, <-w + 208, -9*w - 120>, <2*w + 303, -15*w - 120>, <-6*w + 28, 2*w - 109>, <-2*w + 5, w - 34>, , <44, -2*w - 25>, , <23, -w - 12>, <-2*w + 27, -44>, , , , <45, -2*w - 24>, <2*w + 87, -5*w - 16>, <-2*w + 4, w - 33>, <-5*w + 21, 2*w - 89>, <22, -w - 12>, <-2*w + 26, -45>, , <4*w + 37, -4*w + 43>, <-w + 57, -2*w - 46>, <4*w + 39, -4*w + 41>, <-2*w + 48, -w - 56>, <-2*w + 3, w - 33>, <3*w + 29, -3*w + 32>, <-5*w + 40, w - 99>, <110, -5*w - 57>, <-2*w + 69, -2*w - 67>, <5*w + 70, -6*w + 42>, <4*w + 237, -13*w - 60>, , <-5*w + 62, -110>, , <-13*w + 73, 4*w - 241>, <6*w + 36, -5*w + 75>, <-3*w + 37, -66>, , <-2*w + 91, -3*w - 78>, <4*w + 61, -5*w + 31>, <66, -3*w - 34>, <-3*w + 81, -2*w - 89>, <5*w + 26, -4*w + 65>, <8*w + 55, -7*w + 97>, <-2*w + 25, -44>, <3*w + 51, -4*w + 20>, , <2*w + 63, -4*w - 2>, <2*w + 107, -6*w - 25>, <-4*w + 6, 2*w - 65>, <-6*w + 31, 2*w - 109>, <5*w + 41, -5*w + 59>, <-w + 76, -3*w - 59>, <-4*w + 6, 2*w - 67>, <2*w + 40, -3*w + 11>, <-2*w + 46, -w - 56>, <7*w + 65, -7*w + 78>, <151, -7*w - 79>, <-16*w + 24, 8*w - 267>, <-8*w + 229, -6*w - 247>, <65, -3*w - 34>, <-5*w + 257, -9*w - 214>, <-8*w + 32, 3*w - 144>, <5*w + 91, -7*w + 33>, <4*w + 103, -7*w + 11>, <8*w + 10, -5*w + 121>, <-w + 56, -2*w - 45>, <7*w + 66, -7*w + 76>, , <6*w + 122, -9*w + 31>, <-9*w + 26, 4*w - 157>, <8*w + 8, -5*w + 123>, <7*w + 42, -6*w + 89>, <-4*w + 137, -4*w - 137>, <6*w + 33, -5*w + 78>, <4*w + 58, -5*w + 33>, <-2*w + 90, -3*w - 80>, <2*w + 148, -8*w - 47>, <2*w + 39, -3*w + 11>, , <-4*w + 93, -2*w - 115>, <4*w + 14, -3*w + 57>, <5*w + 44, -5*w + 57>, <-2*w + 46, -w - 57>, <-6*w + 32, 2*w - 113>, <5*w + 67, -6*w + 44>, <-w + 99, -4*w - 69>, <5*w + 110, -8*w + 21>, <6*w + 54, -6*w + 67>, <108, -5*w - 58>, <5*w + 2, -3*w + 79>, <6*w + 11, -4*w + 90>, <-w + 142, -6*w - 92>, <4*w + 144, -9*w - 13>, <-5*w + 41, w - 102>, <-6*w + 75, -136>, <-2*w + 176, -7*w - 126>, <3*w + 9, -2*w + 44>, <2*w + 42, -3*w + 12>, <24*w + 73, -16*w + 350>, <-w + 33, -w - 32>, <51*w + 24, -28*w + 807>, <-23*w + 755, -23*w - 732>, <-17*w + 816, -29*w - 665>, <-29*w + 694, -17*w - 799>, <28*w + 779, -51*w + 75>, <-57*w + 44, 28*w - 936>, <28*w + 908, -57*w + 13>, <-23*w + 884, -29*w - 794>, <-29*w + 823, -23*w - 861>, <-1158*w + 579, 579*w - 18910>, <579*w + 18331, -1158*w + 579>, <-579*w + 18910, -579*w - 18331>, <1978*w + 20215, -1978*w + 22193>, <-1978*w + 22193, -42408>, <42408, -1978*w - 20215>, <-241*w + 2704, -5167>, <5167, -241*w - 2463>, <-1158*w + 5746, 338*w - 21373>, <338*w + 21035, -1158*w - 4588>, <144*w + 4559, -288*w + 144>, <-338*w + 705, 144*w - 5775>, <676*w + 3757, -529*w + 9087>, <-194*w + 5264, -144*w - 5631>, <-147*w + 12991, -529*w - 8558>, <-94*w + 47, 47*w - 1535>, <1072, -50*w - 511>, <238*w + 1489, -194*w + 3120>, <-191*w + 4287, -100*w - 5117>, <191*w + 4096, -291*w + 1121>, <-238*w + 1727, 44*w - 4653>, <50*w + 511, -50*w + 561>, <-241*w + 560, 100*w - 4145>, <6*w + 5164, -244*w - 2365>, <435*w + 1487, -297*w + 6291>, <-238*w + 3678, -47*w - 5583>, <-285*w + 2190, 47*w - 5630>, <-141*w + 3726, -100*w - 4045>, <238*w + 2561, -244*w + 2609>, <335*w + 465, -197*w + 5169>, <-141*w + 1582, -3023>, <-138*w + 5772, -197*w - 4972>, <50*w + 1583, -100*w + 50>, <-6*w + 3, 3*w - 98>, <3*w + 781, -38*w - 324>, <-94*w + 3756, -126*w - 3303>, <212*w + 87, -115*w + 3370>, <215*w + 1061, -162*w + 2954>, <-50*w + 561, -1072>, <-9*w + 4003, -182*w - 2053>, <9*w + 3994, -191*w - 1759>, <203*w + 2139, -206*w + 2247>, <-35*w + 4552, -194*w - 2733>, <250*w + 604, -159*w + 3735>, <-91*w + 2972, -91*w - 2881>, <406*w + 3206, -362*w + 5005>, <977*w + 9985, -977*w + 10962>, <-1011*w + 12072, -34*w - 22023>, <886*w + 12957, -1068*w + 8081>, <-194*w + 2927, -35*w - 4517>, <159*w + 3576, -250*w + 854>, <362*w + 4643, -406*w + 3612>, <-50*w + 368, 9*w - 980>, <-97*w + 831, 12*w - 1957>, <12*w + 1945, -97*w - 734>, <9*w + 971, -50*w - 318>, <-16*w + 51, 6*w - 282>, <6*w + 104, -8*w + 47>, <-10*w + 155, -2*w - 235>, <5*w + 458, -24*w - 138>, <25*w + 148, -20*w + 332>, <-11*w + 102, w - 226>, <-w + 161, -7*w - 93>, <-w + 268, -12*w - 144>, <16*w + 377, -26*w + 78>, <18*w + 55, -12*w + 264>, , <-12*w + 70, 3*w - 227>, <-w + 54, -2*w - 42>, <12*w + 58, -9*w + 166>, <-w + 32, -w - 33>, <-2*w + 126, -5*w - 98>, <-6*w + 67, -136>, <5*w + 5, -3*w + 83>, <4*w + 75, -6*w + 28>, <-2*w + 3, w - 36>, <3*w + 46, -4*w + 27>, <-w + 72, -3*w - 55>, <-2*w + 43, -w - 56>, <3*w + 26, -3*w + 38>, <3*w + 5, -2*w + 49>, , <-w + 14, -25>, <-21*w + 42, 12*w - 370>, <12*w + 316, -23*w + 1>, <-9*w + 358, -11*w - 369>, <-2*w + 6, w - 36>, <42, -2*w - 25>, <-2*w + 48, -w - 61>, <4*w + 12, -3*w + 60>, <-2*w + 25, -47>, <-2*w + 46, -w - 59>, <-w + 33, -w - 35>, <-4*w + 49, -94>, <2*w + 78, -5*w - 9>, <3*w + 66, -5*w + 14>, <-5*w + 19, 2*w - 94>, <2*w + 79, -5*w - 9>, , <-6*w + 11, 3*w - 107>, <-3*w + 16, w - 60>, <-2*w + 24, -47>, <4*w + 13, -3*w + 58>, <-w + 34, -w - 35>, , <-4*w + 89, -2*w - 113>, <4*w + 98, -7*w + 15>, <-4*w + 110, -3*w - 124>, <19*w + 544, -37*w + 30>, <18*w + 556, -37*w + 7>, <15*w + 446, -30*w + 15>, <-13*w + 467, -15*w - 460>, <-21*w + 250, -479>, <3*w + 110, -7*w - 8>, <-4*w + 91, -2*w - 109>, <43*w + 164, -31*w + 599>, <40*w + 265, -34*w + 501>, <34*w + 467, -40*w + 305>, <31*w + 568, -43*w + 207>, <4*w + 105, -7*w + 11>, <12*w + 10, -7*w + 185>, <-3*w + 79, -2*w - 87>, <-2*w + 89, -3*w - 76>, <-5*w + 212, -7*w - 185>, <-w + 99, -4*w - 65>, <5*w + 28, -4*w + 65>, <-w + 121, -5*w - 76>, <8*w + 79, -8*w + 87>, <-15*w + 157, w - 316>, , <-2*w + 4, w - 32>, , , <2*w + 19, -2*w + 20>, <2*w + 18, -2*w + 21>, <-w + 35, -w - 34>, <2*w + 19, -2*w + 21>, <-w + 55, -2*w - 47>, <64, -3*w - 35>, <-6*w + 10, 3*w - 101>, <130, -6*w - 69>, <5*w + 24, -4*w + 67>, <-2*w + 25, -45>, , <-2*w + 3, w - 34>, <7*w + 21, -5*w + 103>, <-3*w + 37, -68>, <7*w + 28, -5*w + 99>, <7*w + 157, -11*w + 37>, <12*w + 229, -17*w + 83>, <17*w + 66, -12*w + 241>, <5*w + 94, -7*w + 35>, <11*w + 26, -7*w + 164>, <241*w + 2463, -241*w + 2704>, <97*w + 3071, -194*w + 97>, <144*w + 5631, -338*w - 367>, <-144*w + 5775, -194*w - 5070>, <-288*w + 144, 144*w - 4703>, <-144*w + 608, 47*w - 2607>, <191*w + 3024, -241*w + 1632>, <-191*w + 3215, -50*w - 4606>, <332*w + 12848, -773*w - 782>, <141*w + 3585, -241*w + 560>, <-97*w + 4240, -147*w - 3582>, <-112*w + 56, 56*w - 1829>, <-106*w + 53, 53*w - 1731>, <1951, -91*w - 930>, <-34*w + 22057, -1011*w - 11061>, <-44*w + 1437, -44*w - 1393>, <3*w + 95, -6*w + 3>, <-47*w + 270, 12*w - 885>, <12*w + 873, -47*w - 223>, <16*w + 35, -10*w + 241>, <0, 1>, , <2*w + 13, -2*w + 25>, <-w + 35, -w - 39>, <20, -w - 12>, <3*w + 67, -5*w + 14>, <41, -2*w - 23>, <7*w + 208, -14*w + 7>, <-15*w + 12, 8*w - 255>, <-7*w + 250, -8*w - 247>, <4*w + 83, -6*w + 22>, <6*w + 38, -5*w + 76>, <-7*w + 1, 4*w - 112>, <-6*w + 110, -2*w - 149>, , <-w + 11, -22>, , <-7*w + 21, 3*w - 127>, <3*w + 89, -6*w + 3>, <-97*w + 2096, -47*w - 2560>, <-3*w + 98, -3*w - 95>, <-3*w + 12, w - 54>, <-2*w + 44, -w - 53>, <21, -w - 10>, <-w + 11, -21>, <1, 0> ] /* Voronoi top cells */ [ { 1, 2, 3, 4 }, { 5, 6, 7, 8 }, { 9, 10, 11, 12 }, { 13, 14, 15, 16 }, { 17, 18, 19, 20 }, { 21, 22, 23, 24 }, { 25, 26, 27, 28 }, { 29, 30, 31, 32 }, { 33, 34, 35, 36 }, { 37, 38, 39, 40 }, { 41, 42, 43, 44 }, { 41, 43, 44, 45 }, { 41, 45, 46, 47 }, { 48, 49, 50, 51 }, { 52, 53, 54, 55 }, { 56, 57, 58, 59 }, { 60, 61, 62, 63 }, { 61, 62, 64, 65 }, { 66, 67, 68, 69 }, { 70, 71, 72, 73 }, { 72, 74, 75, 76 }, { 77, 78, 79, 80, 81 }, { 57, 82, 83, 84 }, { 82, 83, 85, 86 }, { 87, 88, 89, 90 }, { 91, 92, 93, 94 }, { 92, 94, 95, 96 }, { 94, 97, 98, 99 }, { 91, 94, 100, 101 }, { 94, 98, 100, 102 }, { 57, 103, 104, 105 }, { 1, 2, 3, 57 }, { 2, 3, 106, 107 }, { 1, 2, 57, 105 }, { 108, 109, 110, 111 }, { 112, 113, 114, 115 }, { 116, 117, 118, 119 }, { 120, 121, 122, 123 }, { 120, 122, 124, 125 }, { 126, 127, 128, 129, 130 }, { 131, 132, 133, 134 }, { 135, 136, 137, 138 }, { 137, 139, 140, 141 }, { 142, 143, 144, 145 }, { 143, 146, 147, 148 }, { 149, 150, 151, 152, 153, 154 }, { 149, 151, 155, 156 }, { 151, 157, 158, 159 }, { 150, 151, 153, 160 }, { 151, 160, 161, 162 }, { 163, 164, 165, 166 }, { 167, 168, 169, 170 }, { 167, 168, 171, 172 }, { 173, 174, 175, 176, 177 }, { 178, 179, 180, 181 }, { 178, 180, 182, 183 }, { 37, 184, 185, 186, 187, 188 }, { 189, 190, 191, 192 }, { 189, 193, 194, 195 }, { 189, 195, 196, 197 }, { 198, 199, 200, 201 }, { 198, 202, 203, 204 }, { 203, 204, 205, 206 }, { 207, 208, 209, 210 }, { 211, 212, 213, 214 }, { 215, 216, 217, 218 }, { 219, 220, 221, 222 }, { 223, 224, 225, 226 }, { 223, 226, 227, 228 }, { 229, 230, 231, 232 }, { 230, 231, 233, 234 }, { 227, 235, 236, 237 }, { 5, 6, 8, 238 }, { 239, 240, 241, 242 }, { 243, 244, 245, 246 }, { 247, 248, 249, 250 }, { 247, 251, 252, 253 }, { 254, 255, 256, 257 }, { 254, 256, 257, 258, 259, 260 }, { 257, 261, 262, 263 }, { 264, 265, 266, 267 }, { 268, 269, 270, 271 }, { 272, 273, 274, 275 }, { 276, 277, 278, 279 }, { 279, 280, 281, 282 }, { 239, 283, 284, 285 }, { 286, 287, 288, 289 }, { 286, 288, 290, 291 }, { 286, 290, 292, 293 }, { 294, 295, 296, 297 }, { 296, 297, 298, 299 }, { 296, 298, 300, 301 }, { 302, 303, 304, 305 }, { 306, 307, 308, 309 }, { 310, 311, 312, 313 }, { 314, 315, 316, 317 }, { 316, 318, 319, 320 }, { 312, 319, 321, 322 }, { 316, 319, 320, 322 }, { 323, 324, 325, 326, 327 }, { 325, 328, 329, 330 }, { 319, 328, 329, 331 }, { 312, 325, 332, 333 }, { 312, 319, 321, 333 }, { 319, 334, 335, 336 }, { 329, 334, 337, 338, 339 }, { 319, 329, 331, 338 }, { 319, 334, 335, 338 }, { 340, 341, 342, 343 }, { 314, 341, 343, 344 }, { 334, 336, 340, 341 }, { 314, 316, 318, 341 }, { 334, 340, 345, 346 }, { 329, 347, 348, 349 }, { 329, 348, 350, 351, 352 }, { 311, 312, 313, 353 }, { 329, 347, 349, 354 }, { 355, 356, 357, 358 }, { 356, 357, 359, 360 }, { 11, 361, 362, 363, 364 }, { 9, 365, 366, 367 }, { 9, 10, 11, 366 }, { 365, 368, 369, 370, 371 }, { 365, 371, 372, 373, 374 }, { 375, 376, 377, 378 }, { 376, 377, 379, 380 }, { 381, 382, 383, 384 }, { 382, 383, 385, 386 }, { 387, 388, 389, 390 }, { 387, 389, 390, 391 }, { 388, 390, 392, 393 }, { 381, 394, 395, 396 }, { 392, 393, 397, 398 }, { 381, 394, 399, 400 }, { 399, 400, 401, 402 }, { 399, 401, 402, 403 }, { 9, 11, 12, 404 }, { 405, 406, 407, 408 }, { 13, 14, 15, 409 }, { 410, 411, 412, 413 }, { 414, 415, 416, 417 }, { 411, 413, 418, 419 }, { 414, 416, 418, 420 }, { 411, 414, 418, 421 }, { 422, 423, 424, 425 }, { 426, 427, 428, 429 }, { 18, 19, 20, 430 }, { 431, 432, 433, 434 }, { 432, 433, 435, 436 }, { 437, 438, 439, 440 }, { 22, 23, 24, 441 }, { 431, 434, 442, 443, 444 }, { 434, 444, 445, 446, 447, 448 }, { 431, 444, 449, 450 }, { 449, 450, 451, 452 }, { 437, 453, 454, 455 }, { 456, 457, 458, 459 }, { 30, 460, 461, 462 }, { 463, 464, 465, 466 }, { 463, 465, 467, 468 }, { 57, 463, 469, 470 }, { 57, 469, 470, 471 }, { 468, 471, 472, 473 }, { 473, 474, 475, 476 }, { 474, 477, 478, 479 }, { 25, 26, 27, 480 }, { 464, 475, 481, 482 }, { 474, 477, 478, 483 }, { 477, 483, 484, 485 }, { 483, 484, 486, 487 }, { 26, 488, 489, 490 }, { 464, 481, 491, 492 }, { 29, 30, 32, 493 }, { 30, 462, 493, 494 }, { 29, 30, 31, 495 }, { 29, 496, 497, 498 }, { 499, 500, 501, 502 }, { 33, 34, 36, 494 }, { 33, 503, 504, 505 }, { 43, 506, 507, 508 }, { 506, 507, 508, 509 }, { 43, 507, 509, 510 }, { 506, 511, 512, 513 }, { 37, 506, 512, 513 }, { 37, 511, 512, 514 }, { 37, 511, 514, 515 }, { 43, 509, 510, 516 }, { 37, 39, 40, 41, 42, 43 }, { 41, 43, 45, 46 }, { 517, 518, 519, 520 }, { 519, 521, 522, 523 }, { 524, 525, 526, 527 }, { 528, 529, 530, 531 }, { 517, 518, 529, 530 }, { 532, 533, 534, 535 }, { 525, 526, 532, 535 }, { 525, 536, 537, 538 }, { 528, 539, 540, 541 }, { 528, 540, 542, 543, 544 }, { 539, 545, 546, 547 }, { 542, 545, 546, 548 }, { 539, 542, 546, 549 }, { 528, 537, 550, 551 }, { 528, 539, 551, 552 }, { 537, 539, 551, 553 }, { 48, 49, 50, 554 }, { 48, 49, 51, 555 }, { 48, 556, 557, 558 }, { 48, 51, 555, 559 }, { 560, 561, 562, 563 }, { 560, 564, 565, 566, 567 }, { 565, 568, 569, 570 }, { 501, 569, 570, 571 }, { 564, 572, 573, 574 }, { 501, 571, 573, 574 }, { 558, 564, 575, 576 }, { 48, 556, 558, 575 }, { 577, 578, 579, 580 }, { 52, 55, 56, 57 }, { 52, 581, 582, 583 }, { 52, 54, 55, 584 }, { 584, 585, 586, 587 }, { 577, 578, 585, 588 }, { 578, 585, 589, 590 }, { 585, 589, 590, 591 }, { 589, 592, 593, 594 }, { 231, 233, 234, 594 }, { 55, 56, 57, 58 }, { 57, 58, 59, 595 }, { 58, 595, 596, 597 }, { 58, 593, 596, 597 }, { 57, 59, 104, 595 }, { 104, 233, 598, 599 }, { 104, 596, 598, 600 }, { 65, 463, 464, 601 }, { 60, 61, 62, 65 }, { 57, 65, 463, 602 }, { 60, 61, 464, 603 }, { 57, 60, 83, 602 }, { 67, 68, 69, 604 }, { 70, 71, 72, 74, 75 }, { 80, 85, 605, 606 }, { 78, 79, 80, 85 }, { 605, 607, 608, 609, 610, 611 }, { 57, 82, 83, 85 }, { 83, 85, 86, 609 }, { 612, 613, 614, 615 }, { 612, 613, 616, 617 }, { 613, 615, 617, 618 }, { 88, 619, 620, 621 }, { 88, 90, 621, 622 }, { 619, 621, 622, 623 }, { 87, 88, 90, 622 }, { 622, 624, 625, 626 }, { 91, 92, 627, 628 }, { 91, 92, 94, 627 }, { 92, 94, 95, 627 }, { 94, 97, 98, 629 }, { 98, 100, 628, 629 }, { 91, 94, 100, 628 }, { 94, 98, 100, 629 }, { 104, 233, 630, 631 }, { 57, 104, 105, 630 }, { 630, 632, 633, 634 }, { 2, 3, 57, 107 }, { 2, 106, 107, 635 }, { 2, 57, 105, 633 }, { 635, 636, 637, 638 }, { 2, 633, 635, 637, 639 }, { 109, 635, 640, 641, 642 }, { 108, 109, 110, 636 }, { 233, 632, 633, 643 }, { 636, 644, 645, 646 }, { 633, 643, 645, 646, 647 }, { 648, 649, 650, 651 }, { 114, 115, 116, 119, 652 }, { 113, 114, 115, 652 }, { 116, 117, 119, 652 }, { 120, 121, 122, 124 }, { 120, 121, 653, 654 }, { 655, 656, 657, 658 }, { 126, 127, 130, 655, 659 }, { 135, 655, 657, 660 }, { 131, 132, 133, 661 }, { 137, 662, 663, 664 }, { 135, 137, 138, 139 }, { 137, 665, 666, 667 }, { 137, 139, 140, 666 }, { 142, 143, 145, 146, 148 }, { 654, 668, 669, 670 }, { 650, 671, 672, 673 }, { 151, 155, 156, 211 }, { 149, 150, 151, 154, 156 }, { 151, 157, 159, 674 }, { 151, 158, 159, 161 }, { 150, 151, 160, 161 }, { 189, 675, 676, 677 }, { 678, 679, 680, 681 }, { 165, 679, 681, 682 }, { 165, 683, 684, 685 }, { 686, 687, 688, 689 }, { 194, 688, 690, 691 }, { 180, 183, 194, 691 }, { 183, 688, 691, 692 }, { 163, 164, 165, 693 }, { 164, 167, 171, 693 }, { 165, 171, 693, 694 }, { 695, 696, 697, 698 }, { 695, 697, 699, 700 }, { 696, 697, 699, 701 }, { 696, 702, 703, 704 }, { 696, 699, 704, 705 }, { 699, 702, 704, 706 }, { 702, 707, 708, 709 }, { 702, 707, 709, 710 }, { 212, 695, 711, 712 }, { 695, 696, 698, 713 }, { 695, 711, 712, 713 }, { 696, 711, 713, 714 }, { 167, 168, 169, 702 }, { 164, 167, 168, 171 }, { 174, 175, 176, 715, 716, 717 }, { 176, 695, 718, 719 }, { 175, 176, 699, 715, 717 }, { 702, 715, 720, 721 }, { 178, 179, 180, 695 }, { 178, 180, 183, 194 }, { 37, 184, 185, 186, 676 }, { 189, 190, 191, 676 }, { 37, 506, 722, 723 }, { 189, 194, 195, 196 }, { 724, 725, 726, 727, 728 }, { 199, 207, 729, 730 }, { 207, 729, 731, 732 }, { 198, 199, 201, 731 }, { 198, 203, 204, 205 }, { 203, 211, 733, 734 }, { 205, 211, 733, 735 }, { 695, 736, 737, 738 }, { 737, 738, 739, 740 }, { 207, 208, 209, 739 }, { 211, 212, 213, 695 }, { 199, 207, 209, 737 }, { 203, 211, 213, 737 }, { 215, 216, 218, 741 }, { 215, 216, 217, 742 }, { 219, 220, 221, 742 }, { 219, 220, 222, 743 }, { 194, 220, 743, 744 }, { 220, 745, 746, 747, 748 }, { 194, 224, 226, 749 }, { 226, 749, 750, 751 }, { 194, 224, 225, 226 }, { 223, 225, 226, 227 }, { 226, 750, 752, 753 }, { 226, 227, 228, 752 }, { 229, 230, 231, 233 }, { 229, 231, 750, 754 }, { 227, 229, 235, 236 }, { 746, 747, 755, 756 }, { 747, 755, 757, 758 }, { 194, 225, 227, 759 }, { 194, 757, 759, 760 }, { 227, 755, 761, 762, 763, 764 }, { 227, 757, 759, 762 }, { 6, 238, 746, 755 }, { 227, 765, 766, 767 }, { 5, 6, 238, 766 }, { 239, 240, 242, 280 }, { 243, 244, 245, 768 }, { 247, 248, 249, 768 }, { 247, 251, 253, 768 }, { 254, 255, 257, 769 }, { 254, 257, 258, 259, 263, 770 }, { 257, 261, 263, 769 }, { 264, 265, 266, 769 }, { 268, 269, 271, 771 }, { 272, 273, 274, 771 }, { 239, 772, 773, 774 }, { 239, 773, 775, 776 }, { 239, 775, 776, 777 }, { 239, 772, 774, 778 }, { 276, 278, 772, 779 }, { 280, 281, 776, 780 }, { 276, 278, 279, 280, 281 }, { 239, 276, 283, 285 }, { 781, 782, 783, 784, 785, 786 }, { 781, 782, 787, 788, 789, 790 }, { 286, 287, 288, 290 }, { 286, 290, 292, 791 }, { 791, 792, 793, 794, 795 }, { 294, 296, 297, 298 }, { 296, 298, 301, 791 }, { 306, 796, 797, 798 }, { 302, 303, 305, 799 }, { 306, 307, 309, 800 }, { 302, 796, 797, 801 }, { 310, 802, 803, 804 }, { 310, 311, 312, 802 }, { 310, 312, 803, 805 }, { 312, 315, 803, 806 }, { 312, 314, 315, 316 }, { 314, 316, 318, 319 }, { 312, 316, 319, 322 }, { 312, 324, 325, 326, 329 }, { 319, 325, 328, 329 }, { 312, 319, 325, 333 }, { 319, 334, 336, 340 }, { 319, 329, 334, 338 }, { 314, 340, 341, 343 }, { 319, 336, 340, 341 }, { 314, 318, 319, 341 }, { 329, 334, 340, 345 }, { 329, 345, 807, 808 }, { 329, 347, 348, 797 }, { 348, 797, 808, 809 }, { 329, 348, 351, 808 }, { 312, 329, 810, 811, 812 }, { 311, 312, 353, 802 }, { 312, 353, 811, 813 }, { 329, 347, 354, 797 }, { 329, 354, 811, 813 }, { 355, 356, 357, 360 }, { 11, 361, 362, 363, 814, 815 }, { 9, 11, 365, 366 }, { 9, 365, 370, 371, 816 }, { 365, 371, 372, 381, 817 }, { 9, 381, 816, 817, 818 }, { 376, 380, 819, 820 }, { 375, 376, 377, 380 }, { 382, 386, 802, 821 }, { 381, 382, 383, 386 }, { 389, 392, 822, 823 }, { 389, 824, 825, 826 }, { 390, 825, 827, 828, 829 }, { 388, 389, 390, 392 }, { 389, 390, 391, 825 }, { 381, 394, 395, 399 }, { 390, 392, 393, 397 }, { 381, 392, 395, 396, 397, 398 }, { 381, 386, 401, 830 }, { 401, 825, 831, 832 }, { 381, 399, 400, 401 }, { 399, 401, 403, 825 }, { 9, 11, 404, 833 }, { 405, 407, 408, 834, 835 }, { 13, 14, 409, 836 }, { 410, 411, 413, 836 }, { 414, 415, 416, 833 }, { 411, 413, 414, 416, 418 }, { 422, 423, 424, 814 }, { 426, 427, 428, 814 }, { 837, 838, 839, 840 }, { 428, 837, 839, 841 }, { 842, 843, 844, 845 }, { 437, 843, 844, 846 }, { 18, 19, 430, 847 }, { 18, 19, 435, 848 }, { 431, 433, 434, 445 }, { 431, 432, 433, 435 }, { 433, 435, 440, 445 }, { 437, 438, 440, 445 }, { 22, 23, 441, 849 }, { 22, 23, 451, 850 }, { 431, 434, 444, 445, 446 }, { 431, 444, 446, 450 }, { 431, 449, 450, 451 }, { 437, 446, 453, 455 }, { 446, 450, 451, 455 }, { 464, 491, 851, 852 }, { 456, 457, 458, 853 }, { 456, 457, 459, 854 }, { 30, 460, 462, 494 }, { 30, 457, 460, 461 }, { 463, 464, 465, 468 }, { 57, 463, 468, 470 }, { 464, 465, 468, 475 }, { 468, 473, 475, 480 }, { 27, 57, 471, 480 }, { 57, 468, 470, 471 }, { 468, 471, 473, 480 }, { 473, 474, 475, 480 }, { 474, 477, 479, 480 }, { 26, 27, 57, 480 }, { 25, 26, 480, 490 }, { 477, 480, 484, 855 }, { 464, 474, 475, 481 }, { 474, 481, 483, 497 }, { 474, 477, 483, 484 }, { 483, 484, 486, 497 }, { 484, 856, 857, 858 }, { 26, 57, 489, 490 }, { 464, 481, 491, 497 }, { 30, 491, 497, 859 }, { 29, 30, 493, 494 }, { 29, 30, 495, 497 }, { 29, 494, 497, 498 }, { 34, 497, 856, 860 }, { 34, 494, 497, 498 }, { 499, 500, 501, 861 }, { 33, 34, 494, 856 }, { 33, 499, 503, 504 }, { 43, 506, 507, 509 }, { 37, 506, 511, 512 }, { 37, 43, 509, 511, 515, 516 }, { 521, 862, 863, 864, 865, 866 }, { 37, 39, 41, 43, 46, 186, 867, 868, 869 }, { 517, 518, 519, 529 }, { 518, 519, 521, 523 }, { 525, 526, 527, 532 }, { 518, 528, 529, 530 }, { 518, 528, 537, 550 }, { 525, 532, 533, 535 }, { 525, 533, 536, 537 }, { 528, 539, 540, 542, 544 }, { 539, 542, 545, 546 }, { 528, 537, 539, 551 }, { 48, 49, 554, 581 }, { 506, 870, 871, 872 }, { 48, 49, 555, 873 }, { 48, 557, 558, 564 }, { 557, 564, 874, 875 }, { 48, 555, 559, 873 }, { 559, 873, 874, 876 }, { 560, 561, 562, 564, 565 }, { 501, 569, 571, 573 }, { 564, 565, 566, 567, 569, 573 }, { 501, 565, 569, 570 }, { 57, 489, 877, 878, 879 }, { 48, 489, 575, 880 }, { 501, 564, 573, 574 }, { 501, 574, 881, 882 }, { 48, 558, 564, 575 }, { 577, 883, 884, 885 }, { 577, 578, 580, 750 }, { 231, 578, 589, 750 }, { 582, 584, 586, 587 }, { 52, 55, 57, 584 }, { 52, 57, 581, 582 }, { 52, 54, 582, 584 }, { 577, 584, 585, 587 }, { 577, 578, 585, 589 }, { 584, 585, 589, 591 }, { 584, 589, 593, 594 }, { 231, 233, 589, 594 }, { 55, 57, 58, 584 }, { 57, 58, 595, 596 }, { 58, 584, 593, 596 }, { 57, 104, 595, 596 }, { 104, 233, 596, 598 }, { 584, 593, 594, 596 }, { 233, 594, 596, 598 }, { 57, 65, 463, 464 }, { 60, 61, 65, 464 }, { 57, 60, 65, 602 }, { 60, 464, 603, 886 }, { 57, 60, 83, 609 }, { 67, 68, 604, 609 }, { 67, 608, 609, 887 }, { 70, 71, 74, 75, 887, 888 }, { 78, 80, 85, 605, 609 }, { 605, 608, 609, 610, 887, 888 }, { 57, 83, 85, 609 }, { 612, 615, 627, 889 }, { 615, 617, 618, 627 }, { 612, 613, 615, 617 }, { 88, 619, 620, 629 }, { 88, 619, 621, 622 }, { 619, 622, 629, 890 }, { 87, 88, 617, 891, 892 }, { 87, 88, 622, 891 }, { 612, 622, 625, 893 }, { 622, 625, 626, 629 }, { 91, 94, 627, 628 }, { 94, 95, 97, 627, 629 }, { 94, 100, 628, 629 }, { 57, 104, 233, 630 }, { 57, 105, 630, 633 }, { 233, 630, 632, 633 }, { 2, 57, 107, 635 }, { 2, 57, 633, 635 }, { 633, 635, 636, 637 }, { 109, 635, 641, 894 }, { 108, 109, 635, 636 }, { 233, 633, 643, 645 }, { 633, 636, 645, 646 }, { 150, 648, 650, 895 }, { 648, 649, 650, 895 }, { 121, 654, 896, 897 }, { 113, 115, 116, 117, 652 }, { 121, 650, 898, 899 }, { 121, 124, 126, 900 }, { 120, 121, 124, 654, 901 }, { 121, 661, 902, 903 }, { 126, 654, 656, 901, 904 }, { 654, 655, 656, 657 }, { 126, 655, 656, 659, 904 }, { 135, 654, 655, 657 }, { 131, 132, 661, 903, 905 }, { 135, 655, 662, 906, 907 }, { 135, 137, 662, 664 }, { 135, 137, 139, 654 }, { 137, 139, 665, 666 }, { 142, 665, 908, 909 }, { 142, 143, 146, 908 }, { 146, 674, 908, 910 }, { 142, 654, 668, 670 }, { 146, 650, 671, 672 }, { 150, 151, 156, 211 }, { 151, 159, 161, 674 }, { 150, 151, 161, 650 }, { 189, 675, 676, 688 }, { 165, 678, 911, 912 }, { 676, 688, 912, 913 }, { 165, 683, 912, 914 }, { 686, 688, 912, 915 }, { 165, 678, 679, 681 }, { 165, 684, 694, 916 }, { 165, 683, 684, 686, 688, 689 }, { 688, 689, 692, 916 }, { 183, 194, 688, 691 }, { 183, 688, 692, 916 }, { 164, 165, 171, 693 }, { 165, 171, 694, 916 }, { 695, 696, 697, 699 }, { 696, 699, 702, 704 }, { 662, 702, 707, 708 }, { 696, 702, 707, 710 }, { 211, 212, 695, 711 }, { 695, 696, 711, 713 }, { 164, 167, 168, 702 }, { 164, 168, 171, 916 }, { 174, 176, 715, 716, 916, 917 }, { 176, 695, 718, 916 }, { 176, 695, 699, 702, 715 }, { 702, 715, 720, 916 }, { 178, 180, 194, 695 }, { 178, 183, 194, 916 }, { 37, 186, 676, 862 }, { 37, 189, 191, 676 }, { 37, 506, 723, 918 }, { 194, 196, 749, 750 }, { 189, 194, 196, 884 }, { 196, 750, 884, 919 }, { 205, 724, 725, 726, 731 }, { 199, 207, 729, 731 }, { 198, 199, 203, 205, 731 }, { 203, 205, 211, 733 }, { 695, 737, 738, 739 }, { 207, 209, 737, 739 }, { 211, 213, 695, 737 }, { 199, 203, 207, 211, 737 }, { 216, 238, 920, 921 }, { 220, 238, 745, 746, 922 }, { 215, 216, 741, 923 }, { 215, 216, 219, 220, 742 }, { 194, 219, 220, 743 }, { 194, 220, 744, 747 }, { 220, 238, 746, 747 }, { 194, 226, 749, 750 }, { 194, 225, 226, 227 }, { 226, 227, 750, 752 }, { 229, 231, 233, 750 }, { 227, 229, 235, 750 }, { 238, 746, 747, 755 }, { 194, 747, 755, 757 }, { 194, 227, 757, 759 }, { 227, 755, 757, 762 }, { 6, 238, 755, 766 }, { 227, 755, 766, 767 }, { 5, 227, 238, 766 }, { 205, 238, 725, 924 }, { 229, 233, 925, 926 }, { 227, 229, 925, 927 }, { 244, 272, 280, 928 }, { 239, 240, 280, 929 }, { 244, 245, 248, 768 }, { 247, 248, 251, 768 }, { 244, 248, 251, 930 }, { 254, 257, 263, 769 }, { 254, 263, 264, 931 }, { 263, 264, 265, 769 }, { 264, 268, 276, 932 }, { 268, 271, 272, 274, 771 }, { 239, 772, 773, 776 }, { 239, 280, 776, 777 }, { 239, 276, 772, 778 }, { 276, 278, 280, 281, 772, 776 }, { 239, 276, 283, 933 }, { 781, 782, 783, 787, 788, 934 }, { 287, 787, 934, 935, 936, 937 }, { 286, 287, 290, 791 }, { 287, 294, 791, 792, 794 }, { 294, 296, 298, 791 }, { 306, 307, 797, 798 }, { 302, 306, 796, 797 }, { 302, 303, 306, 307, 799, 800 }, { 302, 303, 797, 801 }, { 340, 938, 939, 940, 941 }, { 303, 939, 940, 942 }, { 303, 939, 943, 944 }, { 310, 312, 802, 803 }, { 312, 314, 315, 803 }, { 312, 314, 316, 319 }, { 312, 319, 325, 329 }, { 319, 329, 334, 340 }, { 314, 319, 340, 341 }, { 329, 340, 345, 808 }, { 329, 348, 797, 808 }, { 312, 329, 811, 813 }, { 312, 353, 802, 813 }, { 329, 354, 797, 813 }, { 355, 356, 360, 814 }, { 355, 360, 363, 814 }, { 11, 363, 365, 814 }, { 355, 363, 365, 945 }, { 9, 11, 365, 814 }, { 9, 365, 371, 381, 816, 817 }, { 355, 365, 946, 947 }, { 375, 376, 380, 819 }, { 381, 382, 386, 802 }, { 389, 392, 802, 822 }, { 389, 802, 824, 825 }, { 390, 399, 825, 827, 828, 948 }, { 389, 390, 392, 825 }, { 381, 390, 392, 395, 397, 399 }, { 381, 386, 401, 802 }, { 401, 802, 825, 831 }, { 381, 399, 401, 825 }, { 9, 11, 814, 833 }, { 381, 392, 834, 835, 949 }, { 405, 408, 833, 834, 835, 836 }, { 13, 14, 836, 950 }, { 411, 836, 950, 951 }, { 411, 413, 414, 416, 833, 836 }, { 414, 814, 833, 952 }, { 423, 424, 814, 953 }, { 427, 428, 814, 837 }, { 428, 837, 838, 839 }, { 437, 842, 843, 844 }, { 18, 431, 435, 848 }, { 18, 19, 435, 847 }, { 431, 433, 435, 445 }, { 435, 437, 440, 445 }, { 22, 431, 451, 850 }, { 22, 23, 451, 849 }, { 431, 437, 445, 446 }, { 431, 446, 450, 451 }, { 437, 446, 451, 455 }, { 30, 464, 491, 851 }, { 30, 456, 457, 853 }, { 456, 457, 494, 854 }, { 30, 457, 460, 494 }, { 57, 463, 464, 468 }, { 464, 468, 475, 480 }, { 57, 468, 471, 480 }, { 464, 474, 475, 480 }, { 474, 477, 480, 484 }, { 26, 57, 480, 490 }, { 480, 484, 490, 855 }, { 464, 474, 481, 497 }, { 474, 483, 484, 497 }, { 484, 497, 856, 857 }, { 57, 484, 489, 490 }, { 30, 464, 491, 497 }, { 29, 30, 494, 497 }, { 34, 494, 497, 856 }, { 499, 501, 856, 861 }, { 33, 494, 499, 856 }, { 33, 499, 503, 954 }, { 43, 521, 529, 955 }, { 37, 43, 506, 509, 511 }, { 37, 43, 46, 186, 521, 862, 863, 867, 868 }, { 518, 519, 521, 529 }, { 518, 521, 525, 862, 956, 957 }, { 525, 527, 532, 862 }, { 518, 528, 529, 537 }, { 525, 532, 533, 537 }, { 528, 529, 539, 542, 958 }, { 539, 542, 545, 958 }, { 528, 529, 537, 539 }, { 48, 57, 581, 959 }, { 48, 49, 581, 871 }, { 506, 870, 871, 873 }, { 48, 49, 871, 873 }, { 48, 557, 564, 874 }, { 48, 559, 873, 874 }, { 561, 562, 564, 565, 873, 960 }, { 501, 564, 565, 569, 573 }, { 48, 57, 489, 878 }, { 48, 489, 575, 882 }, { 501, 564, 574, 882 }, { 48, 564, 575, 882 }, { 577, 750, 884, 885 }, { 577, 578, 589, 750 }, { 231, 233, 589, 750 }, { 57, 577, 581, 582 }, { 577, 582, 584, 587 }, { 52, 57, 582, 584 }, { 577, 584, 585, 589 }, { 233, 584, 589, 594 }, { 57, 58, 584, 596 }, { 57, 104, 233, 596 }, { 233, 584, 594, 596 }, { 57, 60, 65, 464 }, { 60, 464, 604, 886 }, { 57, 60, 604, 609 }, { 67, 604, 609, 887 }, { 70, 74, 628, 887, 888, 961 }, { 85, 605, 609, 887, 888 }, { 57, 85, 609, 887 }, { 617, 618, 627, 962 }, { 88, 620, 629, 963 }, { 612, 615, 617, 627 }, { 88, 619, 622, 629 }, { 88, 612, 617, 622, 891 }, { 612, 622, 625, 627, 629 }, { 94, 627, 628, 629 }, { 57, 233, 630, 633 }, { 57, 107, 635, 894 }, { 57, 633, 635, 636 }, { 109, 635, 636, 894 }, { 233, 633, 636, 645 }, { 150, 211, 650, 895 }, { 649, 650, 895, 964 }, { 113, 121, 654, 897 }, { 113, 117, 121, 652 }, { 117, 121, 650, 898 }, { 121, 661, 902, 964 }, { 121, 124, 126, 654, 901 }, { 121, 126, 661, 903 }, { 126, 654, 655, 656 }, { 135, 654, 655, 662 }, { 126, 661, 903, 905, 965 }, { 126, 655, 662, 907, 965 }, { 135, 137, 654, 662 }, { 137, 139, 654, 665 }, { 142, 654, 665, 668 }, { 142, 146, 665, 674, 908 }, { 142, 146, 650, 654, 670, 671 }, { 146, 650, 672, 674 }, { 150, 151, 211, 650 }, { 151, 161, 650, 674 }, { 189, 532, 676, 688 }, { 165, 532, 678, 912 }, { 532, 676, 688, 912 }, { 165, 683, 686, 688, 912 }, { 165, 532, 678, 679 }, { 165, 684, 688, 689, 916 }, { 183, 194, 688, 916 }, { 164, 165, 171, 916 }, { 695, 696, 699, 702 }, { 662, 696, 702, 707 }, { 211, 695, 696, 711 }, { 211, 662, 696, 707, 711 }, { 164, 168, 702, 916 }, { 176, 695, 702, 715, 916 }, { 178, 194, 695, 916 }, { 37, 532, 676, 862 }, { 37, 189, 532, 676 }, { 37, 506, 884, 918 }, { 37, 189, 194, 884 }, { 194, 196, 750, 884 }, { 205, 238, 725, 731 }, { 199, 203, 205, 207, 211, 731 }, { 207, 211, 695, 737, 739 }, { 216, 238, 921, 923 }, { 216, 220, 238, 745, 922, 966 }, { 194, 215, 216, 219, 220, 923 }, { 194, 220, 238, 747 }, { 194, 226, 227, 750 }, { 227, 229, 233, 750 }, { 194, 238, 747, 755 }, { 194, 227, 755, 757 }, { 227, 238, 755, 766 }, { 205, 238, 924, 925 }, { 227, 229, 233, 925 }, { 227, 238, 925, 927 }, { 244, 272, 280, 771 }, { 239, 244, 280, 929 }, { 244, 248, 251, 768 }, { 239, 244, 251, 929 }, { 254, 263, 264, 769 }, { 239, 254, 264, 933 }, { 264, 268, 276, 771 }, { 268, 272, 276, 280, 771 }, { 239, 276, 280, 772, 776 }, { 239, 264, 276, 933 }, { 287, 294, 787, 788, 934, 935 }, { 286, 287, 294, 296, 791 }, { 302, 303, 306, 307, 797 }, { 307, 340, 797, 808 }, { 303, 307, 340, 939, 940, 941 }, { 303, 797, 939, 943 }, { 312, 314, 802, 803 }, { 312, 314, 319, 329, 340 }, { 329, 340, 797, 808 }, { 312, 329, 797, 802, 813 }, { 355, 356, 375, 814 }, { 355, 363, 365, 814 }, { 9, 365, 381, 814 }, { 355, 365, 375, 381, 947 }, { 375, 376, 819, 947 }, { 381, 382, 802, 947 }, { 389, 392, 802, 825 }, { 381, 390, 392, 399, 825 }, { 381, 401, 802, 825 }, { 9, 381, 814, 833 }, { 381, 392, 833, 834, 835, 836 }, { 14, 392, 836, 950 }, { 411, 414, 814, 833, 836, 950 }, { 423, 814, 953, 967 }, { 428, 814, 837, 838 }, { 423, 428, 437, 814 }, { 428, 437, 838, 839 }, { 437, 838, 842, 843 }, { 18, 431, 435, 847 }, { 431, 435, 437, 445 }, { 435, 437, 847, 968 }, { 22, 431, 451, 849 }, { 431, 437, 446, 451 }, { 437, 451, 843, 849 }, { 456, 851, 969, 970 }, { 30, 456, 464, 851 }, { 30, 456, 457, 494 }, { 57, 464, 468, 480 }, { 464, 474, 480, 484 }, { 57, 480, 484, 490 }, { 464, 474, 484, 497 }, { 484, 497, 501, 856 }, { 57, 484, 489, 882 }, { 30, 464, 494, 497 }, { 494, 497, 501, 856 }, { 494, 499, 501, 856 }, { 33, 494, 499, 954 }, { 43, 506, 521, 529 }, { 37, 43, 506, 521, 862 }, { 518, 521, 525, 529, 532, 862 }, { 518, 525, 529, 532, 537 }, { 529, 537, 539, 545, 958 }, { 48, 57, 581, 871 }, { 48, 506, 871, 873 }, { 48, 564, 873, 874 }, { 501, 506, 564, 565, 873, 960 }, { 48, 57, 489, 882 }, { 48, 501, 564, 882 }, { 57, 577, 581, 871 }, { 506, 577, 750, 884 }, { 233, 577, 589, 750 }, { 57, 577, 582, 584 }, { 233, 577, 584, 589 }, { 57, 233, 584, 596 }, { 57, 60, 464, 604 }, { 464, 604, 886, 887 }, { 57, 604, 609, 887 }, { 628, 887, 888, 894, 961, 971 }, { 57, 85, 887, 888, 972 }, { 617, 627, 887, 962 }, { 88, 629, 894, 963 }, { 88, 612, 617, 622, 627, 629 }, { 627, 628, 629, 887, 894 }, { 57, 233, 633, 636 }, { 57, 635, 636, 894 }, { 233, 636, 645, 894 }, { 211, 650, 895, 964 }, { 113, 117, 121, 650, 654 }, { 121, 650, 661, 964 }, { 121, 126, 654, 661 }, { 126, 654, 655, 662 }, { 126, 661, 662, 965 }, { 137, 654, 662, 665 }, { 142, 146, 650, 654, 665, 674 }, { 151, 211, 650, 674 }, { 189, 194, 532, 688 }, { 165, 532, 688, 912 }, { 164, 165, 532, 679 }, { 164, 165, 194, 688, 916 }, { 211, 662, 695, 696, 702 }, { 164, 194, 695, 702, 916 }, { 37, 506, 532, 862 }, { 37, 189, 194, 532 }, { 37, 194, 506, 884 }, { 194, 506, 750, 884 }, { 205, 207, 211, 238, 731 }, { 194, 207, 211, 695, 739, 923 }, { 194, 216, 220, 238, 923 }, { 194, 227, 233, 750 }, { 194, 227, 238, 755 }, { 205, 211, 238, 925 }, { 227, 233, 238, 925 }, { 244, 280, 768, 771 }, { 239, 244, 280, 768 }, { 239, 244, 251, 768 }, { 239, 254, 264, 769 }, { 264, 276, 769, 771 }, { 239, 276, 280, 771 }, { 239, 264, 276, 769 }, { 286, 287, 294, 296, 314, 340, 935, 939, 973 }, { 303, 307, 340, 797, 939 }, { 312, 314, 329, 340, 797, 802 }, { 355, 365, 375, 381, 814 }, { 375, 381, 802, 819, 947 }, { 381, 392, 802, 825 }, { 381, 392, 814, 833, 836, 950 }, { 423, 437, 814, 967 }, { 437, 847, 967, 968 }, { 428, 437, 814, 838 }, { 437, 838, 843, 849 }, { 18, 22, 431, 847, 849 }, { 431, 435, 437, 847 }, { 431, 437, 451, 849 }, { 456, 464, 851, 969 }, { 30, 456, 464, 494 }, { 57, 464, 480, 484 }, { 464, 484, 497, 501 }, { 57, 484, 501, 882 }, { 464, 494, 497, 501 }, { 494, 499, 501, 954 }, { 506, 521, 529, 532, 862 }, { 529, 532, 537, 545, 954, 958 }, { 48, 57, 506, 871 }, { 48, 501, 506, 564, 873 }, { 48, 57, 501, 882 }, { 57, 506, 577, 871 }, { 233, 506, 577, 750 }, { 57, 233, 577, 584 }, { 57, 464, 604, 887 }, { 57, 887, 888, 894, 971, 972 }, { 88, 617, 627, 629, 887, 894 }, { 57, 233, 636, 894 }, { 211, 650, 661, 964 }, { 121, 650, 654, 661 }, { 126, 654, 661, 662 }, { 211, 650, 654, 662, 665, 674 }, { 164, 165, 194, 532, 688 }, { 164, 194, 211, 662, 695, 702 }, { 37, 194, 506, 532 }, { 194, 233, 506, 750 }, { 194, 207, 211, 238, 923 }, { 194, 227, 233, 238 }, { 211, 233, 238, 925 }, { 239, 280, 768, 771 }, { 239, 251, 254, 768, 769 }, { 239, 276, 769, 771 }, { 286, 296, 314, 340, 797, 802, 819, 939, 973 }, { 375, 381, 802, 814, 819 }, { 381, 392, 802, 814, 950 }, { 437, 814, 847, 967 }, { 437, 814, 838, 849 }, { 431, 437, 847, 849 }, { 456, 464, 494, 969 }, { 57, 464, 484, 501 }, { 464, 494, 501, 954 }, { 501, 506, 529, 532, 954, 958 }, { 48, 57, 501, 506 }, { 57, 233, 506, 577 }, { 57, 464, 617, 887 }, { 57, 88, 617, 887, 894 }, { 57, 88, 233, 894 }, { 211, 650, 654, 661, 662 }, { 164, 194, 211, 532, 662 }, { 194, 233, 506, 532 }, { 194, 211, 233, 238 }, { 239, 768, 769, 771 }, { 797, 802, 814, 819, 950, 974 }, { 437, 814, 847, 849 }, { 464, 494, 954, 969 }, { 57, 464, 501, 954 }, { 57, 501, 506, 532, 954 }, { 57, 233, 506, 532 }, { 57, 88, 233, 464, 617 }, { 211, 532, 661, 662 }, { 194, 211, 233, 532 }, { 661, 768, 769, 771 }, { 768, 769, 814, 847, 849, 950, 974, 975, 976 }, { 464, 954, 969, 977 }, { 57, 233, 464, 532, 954 }, { 211, 233, 532, 661 }, { 661, 768, 769, 847, 849, 975, 976, 977, 978 }, { 233, 464, 532, 661, 954, 977 }, { 532, 661, 954, 977, 978, 979 } ] /* 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 } ], [ { 18, 19, 20 }, { 17, 19, 20 }, { 17, 18, 20 }, { 17, 18, 19 } ], [ { 22, 23, 24 }, { 21, 23, 24 }, { 21, 22, 24 }, { 21, 22, 23 } ], [ { 26, 27, 28 }, { 25, 27, 28 }, { 25, 26, 28 }, { 25, 26, 27 } ], [ { 30, 31, 32 }, { 29, 31, 32 }, { 29, 30, 32 }, { 29, 30, 31 } ], [ { 34, 35, 36 }, { 33, 35, 36 }, { 33, 34, 36 }, { 33, 34, 35 } ], [ { 38, 39, 40 }, { 37, 39, 40 }, { 37, 38, 40 }, { 37, 38, 39 } ], [ { 42, 43, 44 }, { 41, 43, 44 }, { 41, 42, 44 }, { 41, 42, 43 } ], [ { 43, 44, 45 }, { 41, 44, 45 }, { 41, 43, 44 }, { 41, 43, 45 } ], [ { 45, 46, 47 }, { 41, 45, 47 }, { 41, 46, 47 }, { 41, 45, 46 } ], [ { 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 } ], [ { 61, 62, 63 }, { 60, 62, 63 }, { 60, 61, 63 }, { 60, 61, 62 } ], [ { 61, 62, 65 }, { 61, 62, 64 }, { 62, 64, 65 }, { 61, 64, 65 } ], [ { 67, 68, 69 }, { 66, 68, 69 }, { 66, 67, 69 }, { 66, 67, 68 } ], [ { 71, 72, 73 }, { 70, 72, 73 }, { 70, 71, 73 }, { 70, 71, 72 } ], [ { 72, 75, 76 }, { 72, 74, 76 }, { 74, 75, 76 }, { 72, 74, 75 } ], [ { 78, 79, 80 }, { 77, 79, 80 }, { 77, 78, 80, 81 }, { 77, 79, 81 }, { 78, 79, 81 } ], [ { 82, 83, 84 }, { 57, 83, 84 }, { 57, 82, 84 }, { 57, 82, 83 } ], [ { 83, 85, 86 }, { 82, 83, 86 }, { 82, 85, 86 }, { 82, 83, 85 } ], [ { 88, 89, 90 }, { 87, 89, 90 }, { 87, 88, 90 }, { 87, 88, 89 } ], [ { 92, 93, 94 }, { 91, 93, 94 }, { 91, 92, 94 }, { 91, 92, 93 } ], [ { 94, 95, 96 }, { 92, 94, 96 }, { 92, 95, 96 }, { 92, 94, 95 } ], [ { 94, 98, 99 }, { 94, 97, 99 }, { 97, 98, 99 }, { 94, 97, 98 } ], [ { 94, 100, 101 }, { 91, 100, 101 }, { 91, 94, 101 }, { 91, 94, 100 } ], [ { 94, 100, 102 }, { 98, 100, 102 }, { 94, 98, 102 }, { 94, 98, 100 } ], [ { 103, 104, 105 }, { 57, 104, 105 }, { 57, 103, 105 }, { 57, 103, 104 } ], [ { 1, 2, 3 }, { 2, 3, 57 }, { 1, 3, 57 }, { 1, 2, 57 } ], [ { 2, 3, 107 }, { 3, 106, 107 }, { 2, 3, 106 }, { 2, 106, 107 } ], [ { 1, 2, 105 }, { 2, 57, 105 }, { 1, 57, 105 }, { 1, 2, 57 } ], [ { 109, 110, 111 }, { 108, 110, 111 }, { 108, 109, 111 }, { 108, 109, 110 } ], [ { 113, 114, 115 }, { 112, 114, 115 }, { 112, 113, 115 }, { 112, 113, 114 } ], [ { 117, 118, 119 }, { 116, 118, 119 }, { 116, 117, 119 }, { 116, 117, 118 } ], [ { 121, 122, 123 }, { 120, 122, 123 }, { 120, 121, 123 }, { 120, 121, 122 } ], [ { 122, 124, 125 }, { 120, 122, 125 }, { 120, 124, 125 }, { 120, 122, 124 } ], [ { 127, 128, 129, 130 }, { 126, 128, 129 }, { 126, 127, 128 }, { 126, 129, 130 }, { 126, 127, 130 } ], [ { 132, 133, 134 }, { 131, 133, 134 }, { 131, 132, 134 }, { 131, 132, 133 } ], [ { 136, 137, 138 }, { 135, 137, 138 }, { 135, 136, 138 }, { 135, 136, 137 } ], [ { 139, 140, 141 }, { 137, 140, 141 }, { 137, 139, 141 }, { 137, 139, 140 } ], [ { 143, 144, 145 }, { 142, 144, 145 }, { 142, 143, 145 }, { 142, 143, 144 } ], [ { 143, 147, 148 }, { 143, 146, 148 }, { 146, 147, 148 }, { 143, 146, 147 } ], [ { 149, 151, 152, 153 }, { 149, 150, 151, 154 }, { 150, 152, 153, 154 }, { 150, 151, 153 }, { 149, 152, 154 } ], [ { 151, 155, 156 }, { 149, 151, 156 }, { 149, 155, 156 }, { 149, 151, 155 } ], [ { 151, 158, 159 }, { 157, 158, 159 }, { 151, 157, 159 }, { 151, 157, 158 } ], [ { 151, 153, 160 }, { 150, 153, 160 }, { 150, 151, 160 }, { 150, 151, 153 } ], [ { 160, 161, 162 }, { 151, 160, 162 }, { 151, 161, 162 }, { 151, 160, 161 } ], [ { 164, 165, 166 }, { 163, 165, 166 }, { 163, 164, 166 }, { 163, 164, 165 } ], [ { 168, 169, 170 }, { 167, 169, 170 }, { 167, 168, 170 }, { 167, 168, 169 } ], [ { 167, 168, 172 }, { 168, 171, 172 }, { 167, 171, 172 }, { 167, 168, 171 } ], [ { 174, 175, 176 }, { 173, 175, 176 }, { 173, 174, 176, 177 }, { 174, 175, 177 }, { 173, 175, 177 } ], [ { 179, 180, 181 }, { 178, 180, 181 }, { 178, 179, 181 }, { 178, 179, 180 } ], [ { 178, 180, 183 }, { 178, 180, 182 }, { 180, 182, 183 }, { 178, 182, 183 } ], [ { 184, 185, 187, 188 }, { 37, 184, 187 }, { 37, 184, 185, 186 }, { 37, 186, 187, 188 }, { 185, 186, 188 } ], [ { 190, 191, 192 }, { 189, 191, 192 }, { 189, 190, 192 }, { 189, 190, 191 } ], [ { 189, 194, 195 }, { 189, 193, 195 }, { 193, 194, 195 }, { 189, 193, 194 } ], [ { 195, 196, 197 }, { 189, 196, 197 }, { 189, 195, 197 }, { 189, 195, 196 } ], [ { 199, 200, 201 }, { 198, 200, 201 }, { 198, 199, 201 }, { 198, 199, 200 } ], [ { 198, 203, 204 }, { 202, 203, 204 }, { 198, 202, 204 }, { 198, 202, 203 } ], [ { 204, 205, 206 }, { 203, 204, 206 }, { 203, 204, 205 }, { 203, 205, 206 } ], [ { 208, 209, 210 }, { 207, 209, 210 }, { 207, 208, 210 }, { 207, 208, 209 } ], [ { 212, 213, 214 }, { 211, 213, 214 }, { 211, 212, 214 }, { 211, 212, 213 } ], [ { 216, 217, 218 }, { 215, 217, 218 }, { 215, 216, 218 }, { 215, 216, 217 } ], [ { 220, 221, 222 }, { 219, 221, 222 }, { 219, 220, 222 }, { 219, 220, 221 } ], [ { 224, 225, 226 }, { 223, 225, 226 }, { 223, 224, 226 }, { 223, 224, 225 } ], [ { 226, 227, 228 }, { 223, 226, 228 }, { 223, 227, 228 }, { 223, 226, 227 } ], [ { 230, 231, 232 }, { 229, 231, 232 }, { 229, 230, 232 }, { 229, 230, 231 } ], [ { 230, 231, 234 }, { 231, 233, 234 }, { 230, 233, 234 }, { 230, 231, 233 } ], [ { 227, 236, 237 }, { 227, 235, 237 }, { 235, 236, 237 }, { 227, 235, 236 } ], [ { 6, 8, 238 }, { 5, 6, 8 }, { 5, 8, 238 }, { 5, 6, 238 } ], [ { 240, 241, 242 }, { 239, 241, 242 }, { 239, 240, 242 }, { 239, 240, 241 } ], [ { 244, 245, 246 }, { 243, 245, 246 }, { 243, 244, 246 }, { 243, 244, 245 } ], [ { 248, 249, 250 }, { 247, 249, 250 }, { 247, 248, 250 }, { 247, 248, 249 } ], [ { 251, 252, 253 }, { 247, 252, 253 }, { 247, 251, 253 }, { 247, 251, 252 } ], [ { 255, 256, 257 }, { 254, 256, 257 }, { 254, 255, 257 }, { 254, 255, 256 } ], [ { 254, 256, 259, 260 }, { 254, 257, 258, 259 }, { 256, 257, 258, 260 }, { 254, 256, 257 }, { 258, 259, 260 } ], [ { 257, 262, 263 }, { 257, 261, 263 }, { 261, 262, 263 }, { 257, 261, 262 } ], [ { 265, 266, 267 }, { 264, 266, 267 }, { 264, 265, 267 }, { 264, 265, 266 } ], [ { 269, 270, 271 }, { 268, 270, 271 }, { 268, 269, 271 }, { 268, 269, 270 } ], [ { 273, 274, 275 }, { 272, 274, 275 }, { 272, 273, 275 }, { 272, 273, 274 } ], [ { 277, 278, 279 }, { 276, 278, 279 }, { 276, 277, 279 }, { 276, 277, 278 } ], [ { 279, 281, 282 }, { 279, 280, 282 }, { 279, 280, 281 }, { 280, 281, 282 } ], [ { 283, 284, 285 }, { 239, 284, 285 }, { 239, 283, 285 }, { 239, 283, 284 } ], [ { 287, 288, 289 }, { 286, 288, 289 }, { 286, 287, 289 }, { 286, 287, 288 } ], [ { 288, 290, 291 }, { 286, 290, 291 }, { 286, 288, 291 }, { 286, 288, 290 } ], [ { 286, 290, 293 }, { 290, 292, 293 }, { 286, 292, 293 }, { 286, 290, 292 } ], [ { 295, 296, 297 }, { 294, 296, 297 }, { 294, 295, 297 }, { 294, 295, 296 } ], [ { 297, 298, 299 }, { 296, 297, 299 }, { 296, 297, 298 }, { 296, 298, 299 } ], [ { 296, 298, 301 }, { 298, 300, 301 }, { 296, 300, 301 }, { 296, 298, 300 } ], [ { 303, 304, 305 }, { 302, 304, 305 }, { 302, 303, 305 }, { 302, 303, 304 } ], [ { 307, 308, 309 }, { 306, 308, 309 }, { 306, 307, 309 }, { 306, 307, 308 } ], [ { 311, 312, 313 }, { 310, 312, 313 }, { 310, 311, 313 }, { 310, 311, 312 } ], [ { 315, 316, 317 }, { 314, 316, 317 }, { 314, 315, 317 }, { 314, 315, 316 } ], [ { 316, 319, 320 }, { 316, 318, 320 }, { 318, 319, 320 }, { 316, 318, 319 } ], [ { 312, 319, 322 }, { 319, 321, 322 }, { 312, 321, 322 }, { 312, 319, 321 } ], [ { 316, 320, 322 }, { 319, 320, 322 }, { 316, 319, 322 }, { 316, 319, 320 } ], [ { 324, 325, 326 }, { 323, 325, 326 }, { 323, 324, 326, 327 }, { 323, 325, 327 }, { 324, 325, 327 } ], [ { 325, 329, 330 }, { 325, 328, 330 }, { 328, 329, 330 }, { 325, 328, 329 } ], [ { 319, 329, 331 }, { 319, 328, 331 }, { 328, 329, 331 }, { 319, 328, 329 } ], [ { 325, 332, 333 }, { 312, 332, 333 }, { 312, 325, 333 }, { 312, 325, 332 } ], [ { 312, 319, 333 }, { 319, 321, 333 }, { 312, 321, 333 }, { 312, 319, 321 } ], [ { 319, 335, 336 }, { 319, 334, 336 }, { 334, 335, 336 }, { 319, 334, 335 } ], [ { 329, 337, 338, 339 }, { 329, 334, 338 }, { 329, 334, 337 }, { 334, 338, 339 }, { 334, 337, 339 } ], [ { 319, 331, 338 }, { 329, 331, 338 }, { 319, 329, 331 }, { 319, 329, 338 } ], [ { 319, 335, 338 }, { 319, 334, 338 }, { 334, 335, 338 }, { 319, 334, 335 } ], [ { 341, 342, 343 }, { 340, 342, 343 }, { 340, 341, 343 }, { 340, 341, 342 } ], [ { 314, 343, 344 }, { 314, 341, 343 }, { 341, 343, 344 }, { 314, 341, 344 } ], [ { 334, 336, 341 }, { 336, 340, 341 }, { 334, 336, 340 }, { 334, 340, 341 } ], [ { 314, 316, 341 }, { 314, 316, 318 }, { 316, 318, 341 }, { 314, 318, 341 } ], [ { 334, 345, 346 }, { 340, 345, 346 }, { 334, 340, 346 }, { 334, 340, 345 } ], [ { 347, 348, 349 }, { 329, 348, 349 }, { 329, 347, 349 }, { 329, 347, 348 } ], [ { 348, 350, 351 }, { 329, 348, 351 }, { 329, 348, 350, 352 }, { 350, 351, 352 }, { 329, 351, 352 } ], [ { 312, 313, 353 }, { 311, 313, 353 }, { 311, 312, 313 }, { 311, 312, 353 } ], [ { 347, 349, 354 }, { 329, 347, 349 }, { 329, 349, 354 }, { 329, 347, 354 } ], [ { 356, 357, 358 }, { 355, 357, 358 }, { 355, 356, 358 }, { 355, 356, 357 } ], [ { 357, 359, 360 }, { 356, 357, 360 }, { 356, 357, 359 }, { 356, 359, 360 } ], [ { 11, 361, 364 }, { 361, 362, 364 }, { 11, 361, 362, 363 }, { 362, 363, 364 }, { 11, 363, 364 } ], [ { 9, 366, 367 }, { 365, 366, 367 }, { 9, 365, 367 }, { 9, 365, 366 } ], [ { 10, 11, 366 }, { 9, 11, 366 }, { 9, 10, 366 }, { 9, 10, 11 } ], [ { 365, 369, 370 }, { 368, 369, 370 }, { 365, 368, 369, 371 }, { 368, 370, 371 }, { 365, 370, 371 } ], [ { 365, 371, 373, 374 }, { 365, 371, 372 }, { 365, 372, 373 }, { 372, 373, 374 }, { 371, 372, 374 } ], [ { 376, 377, 378 }, { 375, 377, 378 }, { 375, 376, 378 }, { 375, 376, 377 } ], [ { 377, 379, 380 }, { 376, 377, 380 }, { 376, 377, 379 }, { 376, 379, 380 } ], [ { 382, 383, 384 }, { 381, 383, 384 }, { 381, 382, 384 }, { 381, 382, 383 } ], [ { 383, 385, 386 }, { 382, 383, 386 }, { 382, 383, 385 }, { 382, 385, 386 } ], [ { 388, 389, 390 }, { 387, 389, 390 }, { 387, 388, 390 }, { 387, 388, 389 } ], [ { 389, 390, 391 }, { 387, 390, 391 }, { 387, 389, 391 }, { 387, 389, 390 } ], [ { 388, 390, 393 }, { 390, 392, 393 }, { 388, 390, 392 }, { 388, 392, 393 } ], [ { 381, 395, 396 }, { 394, 395, 396 }, { 381, 394, 396 }, { 381, 394, 395 } ], [ { 393, 397, 398 }, { 392, 393, 398 }, { 392, 393, 397 }, { 392, 397, 398 } ], [ { 381, 394, 400 }, { 381, 399, 400 }, { 381, 394, 399 }, { 394, 399, 400 } ], [ { 400, 401, 402 }, { 399, 401, 402 }, { 399, 400, 402 }, { 399, 400, 401 } ], [ { 401, 402, 403 }, { 399, 402, 403 }, { 399, 401, 403 }, { 399, 401, 402 } ], [ { 11, 12, 404 }, { 9, 12, 404 }, { 9, 11, 12 }, { 9, 11, 404 } ], [ { 406, 407, 408 }, { 405, 407, 408 }, { 405, 406, 408 }, { 405, 406, 407 } ], [ { 14, 15, 409 }, { 13, 15, 409 }, { 13, 14, 409 }, { 13, 14, 15 } ], [ { 411, 412, 413 }, { 410, 412, 413 }, { 410, 411, 413 }, { 410, 411, 412 } ], [ { 415, 416, 417 }, { 414, 416, 417 }, { 414, 415, 417 }, { 414, 415, 416 } ], [ { 413, 418, 419 }, { 411, 413, 419 }, { 411, 418, 419 }, { 411, 413, 418 } ], [ { 416, 418, 420 }, { 414, 418, 420 }, { 414, 416, 418 }, { 414, 416, 420 } ], [ { 411, 418, 421 }, { 414, 418, 421 }, { 411, 414, 418 }, { 411, 414, 421 } ], [ { 423, 424, 425 }, { 422, 424, 425 }, { 422, 423, 425 }, { 422, 423, 424 } ], [ { 427, 428, 429 }, { 426, 428, 429 }, { 426, 427, 429 }, { 426, 427, 428 } ], [ { 19, 20, 430 }, { 18, 20, 430 }, { 18, 19, 20 }, { 18, 19, 430 } ], [ { 432, 433, 434 }, { 431, 433, 434 }, { 431, 432, 434 }, { 431, 432, 433 } ], [ { 432, 433, 436 }, { 433, 435, 436 }, { 432, 435, 436 }, { 432, 433, 435 } ], [ { 438, 439, 440 }, { 437, 439, 440 }, { 437, 438, 440 }, { 437, 438, 439 } ], [ { 23, 24, 441 }, { 22, 24, 441 }, { 22, 23, 24 }, { 22, 23, 441 } ], [ { 434, 442, 443, 444 }, { 431, 434, 443 }, { 431, 442, 443 }, { 431, 434, 444 }, { 431, 442, 444 } ], [ { 434, 445, 447 }, { 445, 446, 447, 448 }, { 434, 444, 445, 446 }, { 434, 444, 447, 448 }, { 444, 446, 448 } ], [ { 444, 449, 450 }, { 431, 444, 450 }, { 431, 444, 449 }, { 431, 449, 450 } ], [ { 449, 450, 452 }, { 450, 451, 452 }, { 449, 451, 452 }, { 449, 450, 451 } ], [ { 453, 454, 455 }, { 437, 454, 455 }, { 437, 453, 455 }, { 437, 453, 454 } ], [ { 457, 458, 459 }, { 456, 458, 459 }, { 456, 457, 459 }, { 456, 457, 458 } ], [ { 460, 461, 462 }, { 30, 461, 462 }, { 30, 460, 462 }, { 30, 460, 461 } ], [ { 464, 465, 466 }, { 463, 465, 466 }, { 463, 464, 466 }, { 463, 464, 465 } ], [ { 465, 467, 468 }, { 463, 465, 468 }, { 463, 465, 467 }, { 463, 467, 468 } ], [ { 57, 469, 470 }, { 463, 469, 470 }, { 57, 463, 470 }, { 57, 463, 469 } ], [ { 469, 470, 471 }, { 57, 469, 470 }, { 57, 470, 471 }, { 57, 469, 471 } ], [ { 468, 471, 473 }, { 468, 471, 472 }, { 468, 472, 473 }, { 471, 472, 473 } ], [ { 473, 475, 476 }, { 473, 474, 476 }, { 474, 475, 476 }, { 473, 474, 475 } ], [ { 477, 478, 479 }, { 474, 478, 479 }, { 474, 477, 479 }, { 474, 477, 478 } ], [ { 26, 27, 480 }, { 25, 26, 27 }, { 25, 27, 480 }, { 25, 26, 480 } ], [ { 475, 481, 482 }, { 464, 481, 482 }, { 464, 475, 482 }, { 464, 475, 481 } ], [ { 477, 478, 483 }, { 474, 477, 478 }, { 474, 478, 483 }, { 474, 477, 483 } ], [ { 477, 483, 485 }, { 477, 484, 485 }, { 483, 484, 485 }, { 477, 483, 484 } ], [ { 483, 484, 487 }, { 483, 486, 487 }, { 484, 486, 487 }, { 483, 484, 486 } ], [ { 26, 489, 490 }, { 26, 488, 490 }, { 488, 489, 490 }, { 26, 488, 489 } ], [ { 481, 491, 492 }, { 464, 491, 492 }, { 464, 481, 492 }, { 464, 481, 491 } ], [ { 30, 32, 493 }, { 29, 32, 493 }, { 29, 30, 32 }, { 29, 30, 493 } ], [ { 462, 493, 494 }, { 30, 462, 493 }, { 30, 462, 494 }, { 30, 493, 494 } ], [ { 30, 31, 495 }, { 29, 31, 495 }, { 29, 30, 495 }, { 29, 30, 31 } ], [ { 496, 497, 498 }, { 29, 497, 498 }, { 29, 496, 498 }, { 29, 496, 497 } ], [ { 500, 501, 502 }, { 499, 501, 502 }, { 499, 500, 502 }, { 499, 500, 501 } ], [ { 34, 36, 494 }, { 33, 36, 494 }, { 33, 34, 36 }, { 33, 34, 494 } ], [ { 503, 504, 505 }, { 33, 504, 505 }, { 33, 503, 505 }, { 33, 503, 504 } ], [ { 43, 507, 508 }, { 506, 507, 508 }, { 43, 506, 508 }, { 43, 506, 507 } ], [ { 507, 508, 509 }, { 506, 508, 509 }, { 506, 507, 508 }, { 506, 507, 509 } ], [ { 507, 509, 510 }, { 43, 509, 510 }, { 43, 507, 510 }, { 43, 507, 509 } ], [ { 511, 512, 513 }, { 506, 512, 513 }, { 506, 511, 513 }, { 506, 511, 512 } ], [ { 37, 512, 513 }, { 506, 512, 513 }, { 37, 506, 513 }, { 37, 506, 512 } ], [ { 37, 512, 514 }, { 511, 512, 514 }, { 37, 511, 514 }, { 37, 511, 512 } ], [ { 37, 514, 515 }, { 511, 514, 515 }, { 37, 511, 514 }, { 37, 511, 515 } ], [ { 509, 510, 516 }, { 43, 509, 510 }, { 43, 510, 516 }, { 43, 509, 516 } ], [ { 37, 40, 42, 43 }, { 37, 39, 41, 43 }, { 41, 42, 43 }, { 39, 40, 41, 42 }, { 37, 39, 40 } ], [ { 43, 45, 46 }, { 41, 45, 46 }, { 41, 43, 45 }, { 41, 43, 46 } ], [ { 518, 519, 520 }, { 517, 519, 520 }, { 517, 518, 520 }, { 517, 518, 519 } ], [ { 519, 522, 523 }, { 521, 522, 523 }, { 519, 521, 523 }, { 519, 521, 522 } ], [ { 525, 526, 527 }, { 524, 526, 527 }, { 524, 525, 527 }, { 524, 525, 526 } ], [ { 529, 530, 531 }, { 528, 530, 531 }, { 528, 529, 531 }, { 528, 529, 530 } ], [ { 517, 518, 530 }, { 518, 529, 530 }, { 517, 529, 530 }, { 517, 518, 529 } ], [ { 533, 534, 535 }, { 532, 534, 535 }, { 532, 533, 535 }, { 532, 533, 534 } ], [ { 525, 526, 535 }, { 526, 532, 535 }, { 525, 532, 535 }, { 525, 526, 532 } ], [ { 536, 537, 538 }, { 525, 537, 538 }, { 525, 536, 538 }, { 525, 536, 537 } ], [ { 539, 540, 541 }, { 528, 540, 541 }, { 528, 539, 541 }, { 528, 539, 540 } ], [ { 528, 542, 543 }, { 528, 540, 543 }, { 528, 540, 542, 544 }, { 540, 543, 544 }, { 542, 543, 544 } ], [ { 539, 546, 547 }, { 539, 545, 547 }, { 545, 546, 547 }, { 539, 545, 546 } ], [ { 542, 546, 548 }, { 542, 545, 548 }, { 545, 546, 548 }, { 542, 545, 546 } ], [ { 539, 542, 549 }, { 542, 546, 549 }, { 539, 546, 549 }, { 539, 542, 546 } ], [ { 537, 550, 551 }, { 528, 550, 551 }, { 528, 537, 551 }, { 528, 537, 550 } ], [ { 539, 551, 552 }, { 528, 539, 551 }, { 528, 551, 552 }, { 528, 539, 552 } ], [ { 539, 551, 553 }, { 537, 551, 553 }, { 537, 539, 551 }, { 537, 539, 553 } ], [ { 49, 50, 554 }, { 48, 50, 554 }, { 48, 49, 554 }, { 48, 49, 50 } ], [ { 48, 49, 51 }, { 49, 51, 555 }, { 48, 51, 555 }, { 48, 49, 555 } ], [ { 48, 557, 558 }, { 48, 556, 558 }, { 556, 557, 558 }, { 48, 556, 557 } ], [ { 48, 51, 559 }, { 51, 555, 559 }, { 48, 51, 555 }, { 48, 555, 559 } ], [ { 561, 562, 563 }, { 560, 562, 563 }, { 560, 561, 563 }, { 560, 561, 562 } ], [ { 560, 565, 566 }, { 564, 565, 566, 567 }, { 560, 564, 565 }, { 560, 564, 567 }, { 560, 566, 567 } ], [ { 568, 569, 570 }, { 565, 569, 570 }, { 565, 568, 570 }, { 565, 568, 569 } ], [ { 501, 569, 570 }, { 569, 570, 571 }, { 501, 570, 571 }, { 501, 569, 571 } ], [ { 572, 573, 574 }, { 564, 573, 574 }, { 564, 572, 574 }, { 564, 572, 573 } ], [ { 501, 573, 574 }, { 571, 573, 574 }, { 501, 571, 574 }, { 501, 571, 573 } ], [ { 558, 575, 576 }, { 558, 564, 576 }, { 558, 564, 575 }, { 564, 575, 576 } ], [ { 48, 558, 575 }, { 48, 556, 558 }, { 556, 558, 575 }, { 48, 556, 575 } ], [ { 578, 579, 580 }, { 577, 579, 580 }, { 577, 578, 580 }, { 577, 578, 579 } ], [ { 55, 56, 57 }, { 52, 55, 57 }, { 52, 55, 56 }, { 52, 56, 57 } ], [ { 581, 582, 583 }, { 52, 582, 583 }, { 52, 581, 583 }, { 52, 581, 582 } ], [ { 54, 55, 584 }, { 52, 54, 55 }, { 52, 55, 584 }, { 52, 54, 584 } ], [ { 585, 586, 587 }, { 584, 586, 587 }, { 584, 585, 587 }, { 584, 585, 586 } ], [ { 578, 585, 588 }, { 577, 578, 588 }, { 577, 578, 585 }, { 577, 585, 588 } ], [ { 578, 589, 590 }, { 585, 589, 590 }, { 578, 585, 590 }, { 578, 585, 589 } ], [ { 589, 590, 591 }, { 585, 590, 591 }, { 585, 589, 590 }, { 585, 589, 591 } ], [ { 589, 593, 594 }, { 589, 592, 594 }, { 592, 593, 594 }, { 589, 592, 593 } ], [ { 231, 234, 594 }, { 233, 234, 594 }, { 231, 233, 594 }, { 231, 233, 234 } ], [ { 55, 57, 58 }, { 55, 56, 58 }, { 55, 56, 57 }, { 56, 57, 58 } ], [ { 58, 59, 595 }, { 57, 59, 595 }, { 57, 58, 595 }, { 57, 58, 59 } ], [ { 595, 596, 597 }, { 58, 595, 597 }, { 58, 596, 597 }, { 58, 595, 596 } ], [ { 593, 596, 597 }, { 58, 593, 597 }, { 58, 596, 597 }, { 58, 593, 596 } ], [ { 59, 104, 595 }, { 57, 59, 595 }, { 57, 104, 595 }, { 57, 59, 104 } ], [ { 104, 233, 599 }, { 104, 598, 599 }, { 104, 233, 598 }, { 233, 598, 599 } ], [ { 104, 596, 600 }, { 596, 598, 600 }, { 104, 598, 600 }, { 104, 596, 598 } ], [ { 65, 464, 601 }, { 65, 463, 601 }, { 463, 464, 601 }, { 65, 463, 464 } ], [ { 61, 62, 65 }, { 60, 61, 62 }, { 60, 62, 65 }, { 60, 61, 65 } ], [ { 57, 65, 602 }, { 65, 463, 602 }, { 57, 65, 463 }, { 57, 463, 602 } ], [ { 60, 61, 603 }, { 61, 464, 603 }, { 60, 61, 464 }, { 60, 464, 603 } ], [ { 60, 83, 602 }, { 57, 60, 83 }, { 57, 83, 602 }, { 57, 60, 602 } ], [ { 67, 68, 69 }, { 68, 69, 604 }, { 67, 69, 604 }, { 67, 68, 604 } ], [ { 72, 74, 75 }, { 70, 72, 74 }, { 70, 71, 74, 75 }, { 71, 72, 75 }, { 70, 71, 72 } ], [ { 80, 85, 606 }, { 80, 605, 606 }, { 80, 85, 605 }, { 85, 605, 606 } ], [ { 78, 79, 80 }, { 79, 80, 85 }, { 78, 80, 85 }, { 78, 79, 85 } ], [ { 605, 608, 609, 610 }, { 605, 607, 609, 611 }, { 605, 607, 610 }, { 607, 608, 610, 611 }, { 608, 609, 611 } ], [ { 82, 83, 85 }, { 57, 83, 85 }, { 57, 82, 83 }, { 57, 82, 85 } ], [ { 83, 86, 609 }, { 85, 86, 609 }, { 83, 85, 86 }, { 83, 85, 609 } ], [ { 613, 614, 615 }, { 612, 614, 615 }, { 612, 613, 615 }, { 612, 613, 614 } ], [ { 613, 616, 617 }, { 612, 613, 617 }, { 612, 616, 617 }, { 612, 613, 616 } ], [ { 613, 615, 617 }, { 615, 617, 618 }, { 613, 617, 618 }, { 613, 615, 618 } ], [ { 619, 620, 621 }, { 88, 620, 621 }, { 88, 619, 621 }, { 88, 619, 620 } ], [ { 90, 621, 622 }, { 88, 90, 621 }, { 88, 90, 622 }, { 88, 621, 622 } ], [ { 619, 621, 622 }, { 621, 622, 623 }, { 619, 621, 623 }, { 619, 622, 623 } ], [ { 88, 90, 622 }, { 87, 90, 622 }, { 87, 88, 90 }, { 87, 88, 622 } ], [ { 622, 625, 626 }, { 622, 624, 626 }, { 624, 625, 626 }, { 622, 624, 625 } ], [ { 92, 627, 628 }, { 91, 92, 628 }, { 91, 92, 627 }, { 91, 627, 628 } ], [ { 92, 94, 627 }, { 91, 92, 94 }, { 91, 94, 627 }, { 91, 92, 627 } ], [ { 92, 94, 95 }, { 94, 95, 627 }, { 92, 94, 627 }, { 92, 95, 627 } ], [ { 94, 98, 629 }, { 94, 97, 629 }, { 94, 97, 98 }, { 97, 98, 629 } ], [ { 98, 100, 629 }, { 100, 628, 629 }, { 98, 100, 628 }, { 98, 628, 629 } ], [ { 94, 100, 628 }, { 91, 94, 100 }, { 91, 100, 628 }, { 91, 94, 628 } ], [ { 94, 100, 629 }, { 94, 98, 100 }, { 98, 100, 629 }, { 94, 98, 629 } ], [ { 104, 630, 631 }, { 233, 630, 631 }, { 104, 233, 631 }, { 104, 233, 630 } ], [ { 104, 105, 630 }, { 57, 105, 630 }, { 57, 104, 105 }, { 57, 104, 630 } ], [ { 630, 633, 634 }, { 632, 633, 634 }, { 630, 632, 634 }, { 630, 632, 633 } ], [ { 2, 3, 107 }, { 3, 57, 107 }, { 2, 3, 57 }, { 2, 57, 107 } ], [ { 2, 106, 107 }, { 2, 107, 635 }, { 106, 107, 635 }, { 2, 106, 635 } ], [ { 2, 105, 633 }, { 57, 105, 633 }, { 2, 57, 105 }, { 2, 57, 633 } ], [ { 636, 637, 638 }, { 635, 637, 638 }, { 635, 636, 638 }, { 635, 636, 637 } ], [ { 2, 633, 639 }, { 2, 633, 635 }, { 2, 635, 637, 639 }, { 633, 635, 637 }, { 633, 637, 639 } ], [ { 635, 640, 641 }, { 109, 635, 641 }, { 109, 635, 640, 642 }, { 640, 641, 642 }, { 109, 641, 642 } ], [ { 109, 110, 636 }, { 108, 110, 636 }, { 108, 109, 636 }, { 108, 109, 110 } ], [ { 632, 633, 643 }, { 233, 632, 633 }, { 233, 633, 643 }, { 233, 632, 643 } ], [ { 636, 645, 646 }, { 636, 644, 646 }, { 636, 644, 645 }, { 644, 645, 646 } ], [ { 633, 645, 646 }, { 633, 643, 645 }, { 643, 645, 646, 647 }, { 633, 643, 647 }, { 633, 646, 647 } ], [ { 649, 650, 651 }, { 648, 650, 651 }, { 648, 649, 651 }, { 648, 649, 650 } ], [ { 114, 119, 652 }, { 114, 115, 116, 119 }, { 116, 119, 652 }, { 114, 115, 652 }, { 115, 116, 652 } ], [ { 113, 114, 115 }, { 114, 115, 652 }, { 113, 115, 652 }, { 113, 114, 652 } ], [ { 117, 119, 652 }, { 116, 117, 119 }, { 116, 119, 652 }, { 116, 117, 652 } ], [ { 121, 122, 124 }, { 120, 122, 124 }, { 120, 121, 122 }, { 120, 121, 124 } ], [ { 120, 121, 654 }, { 121, 653, 654 }, { 120, 121, 653 }, { 120, 653, 654 } ], [ { 656, 657, 658 }, { 655, 657, 658 }, { 655, 656, 658 }, { 655, 656, 657 } ], [ { 127, 130, 655, 659 }, { 126, 655, 659 }, { 126, 127, 659 }, { 126, 130, 655 }, { 126, 127, 130 } ], [ { 655, 657, 660 }, { 135, 657, 660 }, { 135, 655, 660 }, { 135, 655, 657 } ], [ { 131, 132, 133 }, { 132, 133, 661 }, { 131, 133, 661 }, { 131, 132, 661 } ], [ { 662, 663, 664 }, { 137, 663, 664 }, { 137, 662, 664 }, { 137, 662, 663 } ], [ { 137, 138, 139 }, { 135, 138, 139 }, { 135, 137, 138 }, { 135, 137, 139 } ], [ { 665, 666, 667 }, { 137, 666, 667 }, { 137, 665, 667 }, { 137, 665, 666 } ], [ { 139, 140, 666 }, { 137, 140, 666 }, { 137, 139, 140 }, { 137, 139, 666 } ], [ { 143, 146, 148 }, { 142, 145, 146, 148 }, { 142, 143, 146 }, { 143, 145, 148 }, { 142, 143, 145 } ], [ { 668, 669, 670 }, { 654, 669, 670 }, { 654, 668, 670 }, { 654, 668, 669 } ], [ { 650, 672, 673 }, { 671, 672, 673 }, { 650, 671, 673 }, { 650, 671, 672 } ], [ { 151, 155, 156 }, { 151, 156, 211 }, { 155, 156, 211 }, { 151, 155, 211 } ], [ { 150, 151, 156 }, { 149, 151, 156 }, { 149, 150, 151, 154 }, { 149, 154, 156 }, { 150, 154, 156 } ], [ { 151, 157, 159 }, { 151, 159, 674 }, { 157, 159, 674 }, { 151, 157, 674 } ], [ { 158, 159, 161 }, { 151, 158, 159 }, { 151, 159, 161 }, { 151, 158, 161 } ], [ { 151, 160, 161 }, { 150, 160, 161 }, { 150, 151, 160 }, { 150, 151, 161 } ], [ { 189, 676, 677 }, { 189, 675, 677 }, { 675, 676, 677 }, { 189, 675, 676 } ], [ { 679, 680, 681 }, { 678, 680, 681 }, { 678, 679, 681 }, { 678, 679, 680 } ], [ { 679, 681, 682 }, { 165, 681, 682 }, { 165, 679, 682 }, { 165, 679, 681 } ], [ { 683, 684, 685 }, { 165, 684, 685 }, { 165, 683, 685 }, { 165, 683, 684 } ], [ { 687, 688, 689 }, { 686, 688, 689 }, { 686, 687, 689 }, { 686, 687, 688 } ], [ { 688, 690, 691 }, { 194, 690, 691 }, { 194, 688, 691 }, { 194, 688, 690 } ], [ { 180, 183, 691 }, { 180, 194, 691 }, { 180, 183, 194 }, { 183, 194, 691 } ], [ { 183, 691, 692 }, { 688, 691, 692 }, { 183, 688, 692 }, { 183, 688, 691 } ], [ { 164, 165, 693 }, { 163, 165, 693 }, { 163, 164, 693 }, { 163, 164, 165 } ], [ { 167, 171, 693 }, { 164, 167, 693 }, { 164, 171, 693 }, { 164, 167, 171 } ], [ { 171, 693, 694 }, { 165, 693, 694 }, { 165, 171, 694 }, { 165, 171, 693 } ], [ { 696, 697, 698 }, { 695, 697, 698 }, { 695, 696, 698 }, { 695, 696, 697 } ], [ { 697, 699, 700 }, { 695, 699, 700 }, { 695, 697, 700 }, { 695, 697, 699 } ], [ { 697, 699, 701 }, { 696, 699, 701 }, { 696, 697, 701 }, { 696, 697, 699 } ], [ { 702, 703, 704 }, { 696, 703, 704 }, { 696, 702, 704 }, { 696, 702, 703 } ], [ { 699, 704, 705 }, { 696, 704, 705 }, { 696, 699, 704 }, { 696, 699, 705 } ], [ { 699, 704, 706 }, { 699, 702, 704 }, { 702, 704, 706 }, { 699, 702, 706 } ], [ { 707, 708, 709 }, { 702, 708, 709 }, { 702, 707, 709 }, { 702, 707, 708 } ], [ { 707, 709, 710 }, { 702, 709, 710 }, { 702, 707, 709 }, { 702, 707, 710 } ], [ { 212, 711, 712 }, { 695, 711, 712 }, { 212, 695, 712 }, { 212, 695, 711 } ], [ { 696, 698, 713 }, { 695, 696, 698 }, { 695, 698, 713 }, { 695, 696, 713 } ], [ { 711, 712, 713 }, { 695, 711, 712 }, { 695, 712, 713 }, { 695, 711, 713 } ], [ { 696, 711, 714 }, { 711, 713, 714 }, { 696, 711, 713 }, { 696, 713, 714 } ], [ { 167, 168, 169 }, { 168, 169, 702 }, { 167, 169, 702 }, { 167, 168, 702 } ], [ { 167, 168, 171 }, { 164, 167, 168 }, { 164, 168, 171 }, { 164, 167, 171 } ], [ { 175, 176, 715, 717 }, { 174, 175, 176 }, { 174, 176, 715, 716 }, { 174, 175, 716, 717 }, { 715, 716, 717 } ], [ { 176, 718, 719 }, { 695, 718, 719 }, { 176, 695, 719 }, { 176, 695, 718 } ], [ { 175, 176, 699 }, { 176, 699, 715 }, { 175, 176, 715, 717 }, { 175, 699, 717 }, { 699, 715, 717 } ], [ { 702, 715, 721 }, { 702, 720, 721 }, { 702, 715, 720 }, { 715, 720, 721 } ], [ { 178, 179, 180 }, { 179, 180, 695 }, { 178, 180, 695 }, { 178, 179, 695 } ], [ { 178, 180, 183 }, { 178, 180, 194 }, { 180, 183, 194 }, { 178, 183, 194 } ], [ { 37, 184, 185, 186 }, { 184, 185, 676 }, { 37, 184, 676 }, { 37, 186, 676 }, { 185, 186, 676 } ], [ { 189, 190, 191 }, { 190, 191, 676 }, { 189, 191, 676 }, { 189, 190, 676 } ], [ { 37, 722, 723 }, { 506, 722, 723 }, { 37, 506, 723 }, { 37, 506, 722 } ], [ { 189, 195, 196 }, { 194, 195, 196 }, { 189, 194, 196 }, { 189, 194, 195 } ], [ { 725, 726, 727 }, { 724, 726, 727, 728 }, { 724, 725, 726 }, { 725, 727, 728 }, { 724, 725, 728 } ], [ { 199, 207, 730 }, { 199, 729, 730 }, { 207, 729, 730 }, { 199, 207, 729 } ], [ { 207, 731, 732 }, { 729, 731, 732 }, { 207, 729, 732 }, { 207, 729, 731 } ], [ { 199, 201, 731 }, { 198, 201, 731 }, { 198, 199, 201 }, { 198, 199, 731 } ], [ { 203, 204, 205 }, { 198, 204, 205 }, { 198, 203, 204 }, { 198, 203, 205 } ], [ { 203, 733, 734 }, { 211, 733, 734 }, { 203, 211, 734 }, { 203, 211, 733 } ], [ { 205, 733, 735 }, { 211, 733, 735 }, { 205, 211, 735 }, { 205, 211, 733 } ], [ { 736, 737, 738 }, { 695, 737, 738 }, { 695, 736, 738 }, { 695, 736, 737 } ], [ { 737, 738, 740 }, { 738, 739, 740 }, { 737, 739, 740 }, { 737, 738, 739 } ], [ { 208, 209, 739 }, { 207, 208, 209 }, { 207, 209, 739 }, { 207, 208, 739 } ], [ { 211, 212, 213 }, { 212, 213, 695 }, { 211, 213, 695 }, { 211, 212, 695 } ], [ { 199, 209, 737 }, { 207, 209, 737 }, { 199, 207, 209 }, { 199, 207, 737 } ], [ { 203, 213, 737 }, { 211, 213, 737 }, { 203, 211, 213 }, { 203, 211, 737 } ], [ { 215, 216, 218 }, { 216, 218, 741 }, { 215, 218, 741 }, { 215, 216, 741 } ], [ { 215, 216, 217 }, { 216, 217, 742 }, { 215, 217, 742 }, { 215, 216, 742 } ], [ { 219, 220, 221 }, { 220, 221, 742 }, { 219, 221, 742 }, { 219, 220, 742 } ], [ { 219, 220, 222 }, { 220, 222, 743 }, { 219, 222, 743 }, { 219, 220, 743 } ], [ { 220, 743, 744 }, { 194, 220, 744 }, { 194, 743, 744 }, { 194, 220, 743 } ], [ { 220, 746, 747 }, { 220, 745, 747, 748 }, { 220, 745, 746 }, { 746, 747, 748 }, { 745, 746, 748 } ], [ { 224, 226, 749 }, { 194, 226, 749 }, { 194, 224, 226 }, { 194, 224, 749 } ], [ { 226, 749, 751 }, { 226, 750, 751 }, { 749, 750, 751 }, { 226, 749, 750 } ], [ { 224, 225, 226 }, { 194, 225, 226 }, { 194, 224, 226 }, { 194, 224, 225 } ], [ { 225, 226, 227 }, { 223, 225, 226 }, { 223, 226, 227 }, { 223, 225, 227 } ], [ { 226, 750, 753 }, { 226, 752, 753 }, { 226, 750, 752 }, { 750, 752, 753 } ], [ { 226, 227, 228 }, { 226, 228, 752 }, { 227, 228, 752 }, { 226, 227, 752 } ], [ { 230, 231, 233 }, { 229, 230, 231 }, { 229, 231, 233 }, { 229, 230, 233 } ], [ { 231, 750, 754 }, { 229, 231, 754 }, { 229, 231, 750 }, { 229, 750, 754 } ], [ { 227, 229, 236 }, { 227, 235, 236 }, { 227, 229, 235 }, { 229, 235, 236 } ], [ { 746, 747, 756 }, { 747, 755, 756 }, { 746, 747, 755 }, { 746, 755, 756 } ], [ { 747, 757, 758 }, { 755, 757, 758 }, { 747, 755, 758 }, { 747, 755, 757 } ], [ { 225, 227, 759 }, { 194, 225, 759 }, { 194, 227, 759 }, { 194, 225, 227 } ], [ { 757, 759, 760 }, { 194, 757, 760 }, { 194, 759, 760 }, { 194, 757, 759 } ], [ { 227, 755, 762 }, { 227, 755, 761, 764 }, { 227, 761, 762, 763 }, { 755, 762, 763, 764 }, { 761, 763, 764 } ], [ { 227, 757, 759 }, { 757, 759, 762 }, { 227, 757, 762 }, { 227, 759, 762 } ], [ { 6, 238, 746 }, { 6, 746, 755 }, { 6, 238, 755 }, { 238, 746, 755 } ], [ { 227, 766, 767 }, { 765, 766, 767 }, { 227, 765, 767 }, { 227, 765, 766 } ], [ { 6, 238, 766 }, { 5, 6, 766 }, { 5, 6, 238 }, { 5, 238, 766 } ], [ { 240, 242, 280 }, { 239, 240, 242 }, { 239, 242, 280 }, { 239, 240, 280 } ], [ { 243, 244, 245 }, { 244, 245, 768 }, { 243, 245, 768 }, { 243, 244, 768 } ], [ { 248, 249, 768 }, { 247, 248, 249 }, { 247, 249, 768 }, { 247, 248, 768 } ], [ { 251, 253, 768 }, { 247, 251, 253 }, { 247, 253, 768 }, { 247, 251, 768 } ], [ { 255, 257, 769 }, { 254, 255, 257 }, { 254, 257, 769 }, { 254, 255, 769 } ], [ { 258, 259, 770 }, { 254, 257, 258, 259 }, { 254, 259, 263, 770 }, { 257, 258, 263, 770 }, { 254, 257, 263 } ], [ { 257, 261, 263 }, { 257, 263, 769 }, { 261, 263, 769 }, { 257, 261, 769 } ], [ { 264, 265, 266 }, { 265, 266, 769 }, { 264, 266, 769 }, { 264, 265, 769 } ], [ { 268, 269, 271 }, { 269, 271, 771 }, { 268, 271, 771 }, { 268, 269, 771 } ], [ { 273, 274, 771 }, { 272, 273, 274 }, { 272, 274, 771 }, { 272, 273, 771 } ], [ { 239, 773, 774 }, { 772, 773, 774 }, { 239, 772, 774 }, { 239, 772, 773 } ], [ { 773, 775, 776 }, { 239, 773, 776 }, { 239, 775, 776 }, { 239, 773, 775 } ], [ { 239, 775, 776 }, { 775, 776, 777 }, { 239, 776, 777 }, { 239, 775, 777 } ], [ { 239, 774, 778 }, { 772, 774, 778 }, { 239, 772, 778 }, { 239, 772, 774 } ], [ { 276, 278, 779 }, { 278, 772, 779 }, { 276, 772, 779 }, { 276, 278, 772 } ], [ { 281, 776, 780 }, { 280, 776, 780 }, { 280, 281, 780 }, { 280, 281, 776 } ], [ { 276, 279, 280 }, { 279, 280, 281 }, { 276, 278, 280, 281 }, { 278, 279, 281 }, { 276, 278, 279 } ], [ { 276, 283, 285 }, { 239, 276, 285 }, { 239, 283, 285 }, { 239, 276, 283 } ], [ { 782, 783, 784, 785 }, { 781, 783, 784, 786 }, { 781, 782, 783 }, { 781, 782, 785, 786 }, { 784, 785, 786 } ], [ { 787, 788, 789, 790 }, { 781, 788, 789 }, { 781, 782, 787, 788 }, { 781, 782, 789, 790 }, { 782, 787, 790 } ], [ { 287, 288, 290 }, { 286, 288, 290 }, { 286, 287, 290 }, { 286, 287, 288 } ], [ { 286, 290, 791 }, { 290, 292, 791 }, { 286, 290, 292 }, { 286, 292, 791 } ], [ { 791, 793, 794 }, { 791, 792, 794 }, { 792, 793, 794, 795 }, { 791, 792, 795 }, { 791, 793, 795 } ], [ { 296, 297, 298 }, { 294, 297, 298 }, { 294, 296, 297 }, { 294, 296, 298 } ], [ { 298, 301, 791 }, { 296, 298, 301 }, { 296, 301, 791 }, { 296, 298, 791 } ], [ { 306, 797, 798 }, { 796, 797, 798 }, { 306, 796, 798 }, { 306, 796, 797 } ], [ { 303, 305, 799 }, { 302, 305, 799 }, { 302, 303, 305 }, { 302, 303, 799 } ], [ { 307, 309, 800 }, { 306, 309, 800 }, { 306, 307, 309 }, { 306, 307, 800 } ], [ { 302, 797, 801 }, { 796, 797, 801 }, { 302, 796, 801 }, { 302, 796, 797 } ], [ { 310, 803, 804 }, { 310, 802, 804 }, { 802, 803, 804 }, { 310, 802, 803 } ], [ { 310, 311, 312 }, { 311, 312, 802 }, { 310, 312, 802 }, { 310, 311, 802 } ], [ { 310, 312, 805 }, { 310, 312, 803 }, { 312, 803, 805 }, { 310, 803, 805 } ], [ { 312, 315, 806 }, { 315, 803, 806 }, { 312, 803, 806 }, { 312, 315, 803 } ], [ { 312, 315, 316 }, { 314, 315, 316 }, { 312, 314, 316 }, { 312, 314, 315 } ], [ { 314, 316, 319 }, { 316, 318, 319 }, { 314, 316, 318 }, { 314, 318, 319 } ], [ { 316, 319, 322 }, { 312, 316, 322 }, { 312, 319, 322 }, { 312, 316, 319 } ], [ { 312, 324, 325 }, { 312, 325, 329 }, { 312, 324, 326, 329 }, { 324, 325, 326 }, { 325, 326, 329 } ], [ { 319, 325, 329 }, { 319, 325, 328 }, { 319, 328, 329 }, { 325, 328, 329 } ], [ { 319, 325, 333 }, { 312, 319, 333 }, { 312, 325, 333 }, { 312, 319, 325 } ], [ { 319, 334, 336 }, { 319, 336, 340 }, { 334, 336, 340 }, { 319, 334, 340 } ], [ { 319, 334, 338 }, { 319, 329, 338 }, { 329, 334, 338 }, { 319, 329, 334 } ], [ { 314, 341, 343 }, { 314, 340, 343 }, { 340, 341, 343 }, { 314, 340, 341 } ], [ { 319, 336, 341 }, { 319, 336, 340 }, { 336, 340, 341 }, { 319, 340, 341 } ], [ { 314, 319, 341 }, { 314, 318, 319 }, { 318, 319, 341 }, { 314, 318, 341 } ], [ { 329, 334, 345 }, { 334, 340, 345 }, { 329, 340, 345 }, { 329, 334, 340 } ], [ { 345, 807, 808 }, { 329, 345, 808 }, { 329, 345, 807 }, { 329, 807, 808 } ], [ { 329, 347, 348 }, { 347, 348, 797 }, { 329, 348, 797 }, { 329, 347, 797 } ], [ { 348, 808, 809 }, { 348, 797, 808 }, { 348, 797, 809 }, { 797, 808, 809 } ], [ { 348, 351, 808 }, { 329, 348, 351 }, { 329, 351, 808 }, { 329, 348, 808 } ], [ { 312, 329, 811 }, { 312, 810, 811 }, { 312, 329, 810, 812 }, { 810, 811, 812 }, { 329, 811, 812 } ], [ { 311, 312, 353 }, { 312, 353, 802 }, { 311, 353, 802 }, { 311, 312, 802 } ], [ { 312, 353, 813 }, { 312, 353, 811 }, { 353, 811, 813 }, { 312, 811, 813 } ], [ { 329, 347, 354 }, { 347, 354, 797 }, { 329, 347, 797 }, { 329, 354, 797 } ], [ { 354, 811, 813 }, { 329, 354, 813 }, { 329, 354, 811 }, { 329, 811, 813 } ], [ { 356, 357, 360 }, { 355, 357, 360 }, { 355, 356, 357 }, { 355, 356, 360 } ], [ { 361, 362, 815 }, { 362, 363, 814, 815 }, { 11, 361, 814, 815 }, { 11, 361, 362, 363 }, { 11, 363, 814 } ], [ { 9, 11, 366 }, { 11, 365, 366 }, { 9, 365, 366 }, { 9, 11, 365 } ], [ { 9, 370, 816 }, { 9, 365, 371, 816 }, { 9, 365, 370 }, { 365, 370, 371 }, { 370, 371, 816 } ], [ { 365, 372, 381 }, { 372, 381, 817 }, { 365, 371, 381, 817 }, { 365, 371, 372 }, { 371, 372, 817 } ], [ { 9, 381, 818 }, { 381, 817, 818 }, { 9, 381, 816, 817 }, { 9, 816, 818 }, { 816, 817, 818 } ], [ { 376, 380, 820 }, { 380, 819, 820 }, { 376, 819, 820 }, { 376, 380, 819 } ], [ { 376, 377, 380 }, { 375, 377, 380 }, { 375, 376, 377 }, { 375, 376, 380 } ], [ { 382, 386, 821 }, { 386, 802, 821 }, { 382, 802, 821 }, { 382, 386, 802 } ], [ { 382, 383, 386 }, { 381, 383, 386 }, { 381, 382, 383 }, { 381, 382, 386 } ], [ { 389, 822, 823 }, { 389, 392, 823 }, { 392, 822, 823 }, { 389, 392, 822 } ], [ { 389, 825, 826 }, { 824, 825, 826 }, { 389, 824, 826 }, { 389, 824, 825 } ], [ { 825, 827, 829 }, { 390, 825, 829 }, { 390, 825, 827, 828 }, { 827, 828, 829 }, { 390, 828, 829 } ], [ { 388, 389, 390 }, { 389, 390, 392 }, { 388, 390, 392 }, { 388, 389, 392 } ], [ { 390, 391, 825 }, { 389, 390, 391 }, { 389, 391, 825 }, { 389, 390, 825 } ], [ { 381, 394, 395 }, { 381, 395, 399 }, { 394, 395, 399 }, { 381, 394, 399 } ], [ { 390, 393, 397 }, { 390, 392, 393 }, { 390, 392, 397 }, { 392, 393, 397 } ], [ { 381, 392, 396, 398 }, { 392, 397, 398 }, { 381, 392, 395, 397 }, { 395, 396, 397, 398 }, { 381, 395, 396 } ], [ { 386, 401, 830 }, { 381, 401, 830 }, { 381, 386, 401 }, { 381, 386, 830 } ], [ { 401, 831, 832 }, { 825, 831, 832 }, { 401, 825, 832 }, { 401, 825, 831 } ], [ { 381, 400, 401 }, { 381, 399, 401 }, { 399, 400, 401 }, { 381, 399, 400 } ], [ { 401, 403, 825 }, { 399, 401, 403 }, { 399, 403, 825 }, { 399, 401, 825 } ], [ { 9, 11, 404 }, { 11, 404, 833 }, { 9, 404, 833 }, { 9, 11, 833 } ], [ { 407, 834, 835 }, { 405, 407, 834 }, { 405, 408, 834, 835 }, { 405, 407, 408 }, { 407, 408, 835 } ], [ { 14, 409, 836 }, { 13, 409, 836 }, { 13, 14, 409 }, { 13, 14, 836 } ], [ { 411, 413, 836 }, { 410, 413, 836 }, { 410, 411, 413 }, { 410, 411, 836 } ], [ { 415, 416, 833 }, { 414, 415, 416 }, { 414, 416, 833 }, { 414, 415, 833 } ], [ { 411, 414, 418 }, { 414, 416, 418 }, { 411, 413, 414, 416 }, { 411, 413, 418 }, { 413, 416, 418 } ], [ { 422, 423, 424 }, { 423, 424, 814 }, { 422, 424, 814 }, { 422, 423, 814 } ], [ { 426, 427, 428 }, { 427, 428, 814 }, { 426, 428, 814 }, { 426, 427, 814 } ], [ { 838, 839, 840 }, { 837, 839, 840 }, { 837, 838, 840 }, { 837, 838, 839 } ], [ { 428, 839, 841 }, { 428, 837, 839 }, { 428, 837, 841 }, { 837, 839, 841 } ], [ { 843, 844, 845 }, { 842, 844, 845 }, { 842, 843, 845 }, { 842, 843, 844 } ], [ { 437, 843, 844 }, { 843, 844, 846 }, { 437, 844, 846 }, { 437, 843, 846 } ], [ { 18, 19, 430 }, { 19, 430, 847 }, { 18, 430, 847 }, { 18, 19, 847 } ], [ { 19, 435, 848 }, { 18, 19, 435 }, { 18, 19, 848 }, { 18, 435, 848 } ], [ { 433, 434, 445 }, { 431, 433, 434 }, { 431, 434, 445 }, { 431, 433, 445 } ], [ { 432, 433, 435 }, { 431, 432, 433 }, { 431, 433, 435 }, { 431, 432, 435 } ], [ { 433, 435, 440 }, { 433, 440, 445 }, { 435, 440, 445 }, { 433, 435, 445 } ], [ { 437, 438, 440 }, { 438, 440, 445 }, { 437, 440, 445 }, { 437, 438, 445 } ], [ { 22, 23, 441 }, { 23, 441, 849 }, { 22, 441, 849 }, { 22, 23, 849 } ], [ { 22, 23, 451 }, { 23, 451, 850 }, { 22, 23, 850 }, { 22, 451, 850 } ], [ { 434, 444, 445, 446 }, { 431, 434, 445 }, { 431, 445, 446 }, { 431, 444, 446 }, { 431, 434, 444 } ], [ { 444, 446, 450 }, { 431, 444, 450 }, { 431, 444, 446 }, { 431, 446, 450 } ], [ { 449, 450, 451 }, { 431, 449, 450 }, { 431, 450, 451 }, { 431, 449, 451 } ], [ { 437, 453, 455 }, { 446, 453, 455 }, { 437, 446, 455 }, { 437, 446, 453 } ], [ { 450, 451, 455 }, { 446, 450, 455 }, { 446, 451, 455 }, { 446, 450, 451 } ], [ { 491, 851, 852 }, { 464, 491, 852 }, { 464, 851, 852 }, { 464, 491, 851 } ], [ { 457, 458, 853 }, { 456, 457, 458 }, { 456, 458, 853 }, { 456, 457, 853 } ], [ { 457, 459, 854 }, { 456, 457, 459 }, { 456, 459, 854 }, { 456, 457, 854 } ], [ { 460, 462, 494 }, { 30, 460, 462 }, { 30, 462, 494 }, { 30, 460, 494 } ], [ { 457, 460, 461 }, { 30, 457, 461 }, { 30, 460, 461 }, { 30, 457, 460 } ], [ { 464, 465, 468 }, { 463, 465, 468 }, { 463, 464, 465 }, { 463, 464, 468 } ], [ { 57, 468, 470 }, { 463, 468, 470 }, { 57, 463, 468 }, { 57, 463, 470 } ], [ { 465, 468, 475 }, { 464, 465, 468 }, { 464, 465, 475 }, { 464, 468, 475 } ], [ { 468, 473, 480 }, { 468, 473, 475 }, { 468, 475, 480 }, { 473, 475, 480 } ], [ { 27, 471, 480 }, { 27, 57, 471 }, { 27, 57, 480 }, { 57, 471, 480 } ], [ { 468, 470, 471 }, { 57, 468, 470 }, { 57, 468, 471 }, { 57, 470, 471 } ], [ { 468, 471, 473 }, { 468, 471, 480 }, { 468, 473, 480 }, { 471, 473, 480 } ], [ { 473, 475, 480 }, { 473, 474, 480 }, { 473, 474, 475 }, { 474, 475, 480 } ], [ { 477, 479, 480 }, { 474, 477, 479 }, { 474, 479, 480 }, { 474, 477, 480 } ], [ { 26, 27, 480 }, { 26, 27, 57 }, { 27, 57, 480 }, { 26, 57, 480 } ], [ { 26, 480, 490 }, { 25, 26, 490 }, { 25, 480, 490 }, { 25, 26, 480 } ], [ { 477, 480, 855 }, { 477, 484, 855 }, { 477, 480, 484 }, { 480, 484, 855 } ], [ { 474, 475, 481 }, { 464, 475, 481 }, { 464, 474, 481 }, { 464, 474, 475 } ], [ { 481, 483, 497 }, { 474, 481, 483 }, { 474, 483, 497 }, { 474, 481, 497 } ], [ { 477, 483, 484 }, { 474, 477, 483 }, { 474, 477, 484 }, { 474, 483, 484 } ], [ { 483, 484, 497 }, { 483, 484, 486 }, { 483, 486, 497 }, { 484, 486, 497 } ], [ { 484, 857, 858 }, { 856, 857, 858 }, { 484, 856, 858 }, { 484, 856, 857 } ], [ { 26, 489, 490 }, { 26, 57, 490 }, { 57, 489, 490 }, { 26, 57, 489 } ], [ { 481, 491, 497 }, { 464, 481, 491 }, { 464, 491, 497 }, { 464, 481, 497 } ], [ { 491, 497, 859 }, { 30, 491, 859 }, { 30, 497, 859 }, { 30, 491, 497 } ], [ { 30, 493, 494 }, { 29, 493, 494 }, { 29, 30, 493 }, { 29, 30, 494 } ], [ { 30, 495, 497 }, { 29, 495, 497 }, { 29, 30, 495 }, { 29, 30, 497 } ], [ { 494, 497, 498 }, { 29, 497, 498 }, { 29, 494, 498 }, { 29, 494, 497 } ], [ { 34, 497, 860 }, { 497, 856, 860 }, { 34, 497, 856 }, { 34, 856, 860 } ], [ { 494, 497, 498 }, { 34, 497, 498 }, { 34, 494, 498 }, { 34, 494, 497 } ], [ { 499, 500, 501 }, { 500, 501, 861 }, { 499, 501, 861 }, { 499, 500, 861 } ], [ { 33, 34, 494 }, { 34, 494, 856 }, { 33, 494, 856 }, { 33, 34, 856 } ], [ { 33, 503, 504 }, { 499, 503, 504 }, { 33, 499, 504 }, { 33, 499, 503 } ], [ { 43, 507, 509 }, { 506, 507, 509 }, { 43, 506, 509 }, { 43, 506, 507 } ], [ { 37, 511, 512 }, { 37, 506, 512 }, { 506, 511, 512 }, { 37, 506, 511 } ], [ { 37, 43, 515, 516 }, { 37, 43, 509, 511 }, { 509, 511, 515, 516 }, { 43, 509, 516 }, { 37, 511, 515 } ], [ { 521, 863, 864, 865 }, { 521, 862, 864, 866 }, { 521, 862, 863 }, { 862, 863, 865, 866 }, { 864, 865, 866 } ], [ { 37, 43, 46, 186, 867, 868 }, { 41, 43, 46 }, { 37, 39, 41, 43 }, { 41, 46, 868, 869 }, { 39, 186, 867, 869 }, { 867, 868, 869 }, { 37, 39, 186 }, { 39, 41, 869 } ], [ { 517, 518, 519 }, { 518, 519, 529 }, { 517, 519, 529 }, { 517, 518, 529 } ], [ { 519, 521, 523 }, { 518, 519, 523 }, { 518, 521, 523 }, { 518, 519, 521 } ], [ { 525, 526, 527 }, { 526, 527, 532 }, { 525, 527, 532 }, { 525, 526, 532 } ], [ { 518, 529, 530 }, { 518, 528, 530 }, { 528, 529, 530 }, { 518, 528, 529 } ], [ { 518, 537, 550 }, { 528, 537, 550 }, { 518, 528, 550 }, { 518, 528, 537 } ], [ { 525, 533, 535 }, { 525, 532, 535 }, { 532, 533, 535 }, { 525, 532, 533 } ], [ { 525, 536, 537 }, { 533, 536, 537 }, { 525, 533, 537 }, { 525, 533, 536 } ], [ { 528, 540, 542, 544 }, { 528, 539, 542 }, { 528, 539, 540 }, { 539, 540, 544 }, { 539, 542, 544 } ], [ { 539, 542, 546 }, { 539, 542, 545 }, { 542, 545, 546 }, { 539, 545, 546 } ], [ { 537, 539, 551 }, { 528, 539, 551 }, { 528, 537, 551 }, { 528, 537, 539 } ], [ { 48, 49, 554 }, { 49, 554, 581 }, { 48, 554, 581 }, { 48, 49, 581 } ], [ { 870, 871, 872 }, { 506, 871, 872 }, { 506, 870, 872 }, { 506, 870, 871 } ], [ { 48, 49, 873 }, { 49, 555, 873 }, { 48, 49, 555 }, { 48, 555, 873 } ], [ { 48, 557, 558 }, { 48, 558, 564 }, { 557, 558, 564 }, { 48, 557, 564 } ], [ { 557, 874, 875 }, { 564, 874, 875 }, { 557, 564, 875 }, { 557, 564, 874 } ], [ { 48, 559, 873 }, { 555, 559, 873 }, { 48, 555, 559 }, { 48, 555, 873 } ], [ { 559, 874, 876 }, { 559, 873, 876 }, { 559, 873, 874 }, { 873, 874, 876 } ], [ { 561, 562, 564, 565 }, { 560, 561, 564 }, { 560, 564, 565 }, { 560, 561, 562 }, { 560, 562, 565 } ], [ { 501, 569, 573 }, { 569, 571, 573 }, { 501, 571, 573 }, { 501, 569, 571 } ], [ { 565, 566, 569 }, { 564, 565, 569, 573 }, { 564, 565, 566, 567 }, { 566, 567, 569, 573 }, { 564, 567, 573 } ], [ { 501, 569, 570 }, { 565, 569, 570 }, { 501, 565, 570 }, { 501, 565, 569 } ], [ { 489, 877, 878 }, { 57, 489, 878 }, { 57, 489, 877, 879 }, { 877, 878, 879 }, { 57, 878, 879 } ], [ { 48, 489, 575 }, { 48, 489, 880 }, { 489, 575, 880 }, { 48, 575, 880 } ], [ { 501, 573, 574 }, { 564, 573, 574 }, { 501, 564, 574 }, { 501, 564, 573 } ], [ { 501, 574, 882 }, { 574, 881, 882 }, { 501, 574, 881 }, { 501, 881, 882 } ], [ { 48, 558, 575 }, { 48, 558, 564 }, { 558, 564, 575 }, { 48, 564, 575 } ], [ { 883, 884, 885 }, { 577, 884, 885 }, { 577, 883, 885 }, { 577, 883, 884 } ], [ { 578, 580, 750 }, { 577, 580, 750 }, { 577, 578, 580 }, { 577, 578, 750 } ], [ { 231, 589, 750 }, { 231, 578, 589 }, { 578, 589, 750 }, { 231, 578, 750 } ], [ { 582, 586, 587 }, { 582, 584, 587 }, { 584, 586, 587 }, { 582, 584, 586 } ], [ { 55, 57, 584 }, { 52, 55, 584 }, { 52, 55, 57 }, { 52, 57, 584 } ], [ { 57, 581, 582 }, { 52, 581, 582 }, { 52, 57, 582 }, { 52, 57, 581 } ], [ { 54, 582, 584 }, { 52, 54, 582 }, { 52, 54, 584 }, { 52, 582, 584 } ], [ { 584, 585, 587 }, { 577, 585, 587 }, { 577, 584, 587 }, { 577, 584, 585 } ], [ { 578, 585, 589 }, { 577, 578, 589 }, { 577, 585, 589 }, { 577, 578, 585 } ], [ { 585, 589, 591 }, { 584, 589, 591 }, { 584, 585, 591 }, { 584, 585, 589 } ], [ { 589, 593, 594 }, { 584, 589, 594 }, { 584, 593, 594 }, { 584, 589, 593 } ], [ { 231, 589, 594 }, { 233, 589, 594 }, { 231, 233, 594 }, { 231, 233, 589 } ], [ { 55, 58, 584 }, { 55, 57, 58 }, { 55, 57, 584 }, { 57, 58, 584 } ], [ { 58, 595, 596 }, { 57, 595, 596 }, { 57, 58, 595 }, { 57, 58, 596 } ], [ { 58, 593, 596 }, { 584, 593, 596 }, { 58, 584, 593 }, { 58, 584, 596 } ], [ { 104, 595, 596 }, { 57, 595, 596 }, { 57, 104, 595 }, { 57, 104, 596 } ], [ { 104, 233, 596 }, { 104, 596, 598 }, { 233, 596, 598 }, { 104, 233, 598 } ], [ { 593, 594, 596 }, { 584, 593, 594 }, { 584, 594, 596 }, { 584, 593, 596 } ], [ { 233, 594, 596 }, { 594, 596, 598 }, { 233, 594, 598 }, { 233, 596, 598 } ], [ { 57, 65, 464 }, { 57, 65, 463 }, { 65, 463, 464 }, { 57, 463, 464 } ], [ { 60, 61, 65 }, { 61, 65, 464 }, { 60, 61, 464 }, { 60, 65, 464 } ], [ { 60, 65, 602 }, { 57, 60, 65 }, { 57, 65, 602 }, { 57, 60, 602 } ], [ { 60, 603, 886 }, { 464, 603, 886 }, { 60, 464, 886 }, { 60, 464, 603 } ], [ { 60, 83, 609 }, { 57, 83, 609 }, { 57, 60, 609 }, { 57, 60, 83 } ], [ { 67, 68, 609 }, { 67, 68, 604 }, { 68, 604, 609 }, { 67, 604, 609 } ], [ { 67, 609, 887 }, { 67, 608, 609 }, { 67, 608, 887 }, { 608, 609, 887 } ], [ { 74, 75, 887 }, { 71, 75, 887, 888 }, { 70, 74, 887, 888 }, { 70, 71, 74, 75 }, { 70, 71, 888 } ], [ { 78, 85, 609 }, { 78, 80, 605, 609 }, { 85, 605, 609 }, { 78, 80, 85 }, { 80, 85, 605 } ], [ { 608, 609, 887 }, { 605, 609, 887, 888 }, { 605, 608, 609, 610 }, { 608, 610, 887, 888 }, { 605, 610, 888 } ], [ { 83, 85, 609 }, { 57, 83, 609 }, { 57, 85, 609 }, { 57, 83, 85 } ], [ { 612, 615, 889 }, { 615, 627, 889 }, { 612, 627, 889 }, { 612, 615, 627 } ], [ { 615, 617, 618 }, { 615, 617, 627 }, { 617, 618, 627 }, { 615, 618, 627 } ], [ { 613, 615, 617 }, { 612, 615, 617 }, { 612, 613, 617 }, { 612, 613, 615 } ], [ { 619, 620, 629 }, { 88, 620, 629 }, { 88, 619, 620 }, { 88, 619, 629 } ], [ { 619, 621, 622 }, { 88, 621, 622 }, { 88, 619, 621 }, { 88, 619, 622 } ], [ { 622, 629, 890 }, { 619, 622, 890 }, { 619, 629, 890 }, { 619, 622, 629 } ], [ { 87, 891, 892 }, { 87, 88, 617, 892 }, { 87, 88, 891 }, { 88, 617, 891 }, { 617, 891, 892 } ], [ { 88, 622, 891 }, { 87, 622, 891 }, { 87, 88, 891 }, { 87, 88, 622 } ], [ { 622, 625, 893 }, { 612, 622, 625 }, { 612, 622, 893 }, { 612, 625, 893 } ], [ { 622, 625, 626 }, { 622, 626, 629 }, { 625, 626, 629 }, { 622, 625, 629 } ], [ { 94, 627, 628 }, { 91, 94, 628 }, { 91, 94, 627 }, { 91, 627, 628 } ], [ { 94, 627, 629 }, { 94, 97, 629 }, { 95, 97, 627, 629 }, { 94, 95, 97 }, { 94, 95, 627 } ], [ { 94, 100, 629 }, { 94, 100, 628 }, { 100, 628, 629 }, { 94, 628, 629 } ], [ { 104, 233, 630 }, { 57, 104, 630 }, { 57, 233, 630 }, { 57, 104, 233 } ], [ { 105, 630, 633 }, { 57, 105, 633 }, { 57, 105, 630 }, { 57, 630, 633 } ], [ { 630, 632, 633 }, { 233, 630, 633 }, { 233, 632, 633 }, { 233, 630, 632 } ], [ { 2, 107, 635 }, { 2, 57, 107 }, { 57, 107, 635 }, { 2, 57, 635 } ], [ { 2, 633, 635 }, { 2, 57, 633 }, { 57, 633, 635 }, { 2, 57, 635 } ], [ { 633, 636, 637 }, { 633, 635, 637 }, { 635, 636, 637 }, { 633, 635, 636 } ], [ { 109, 641, 894 }, { 635, 641, 894 }, { 109, 635, 641 }, { 109, 635, 894 } ], [ { 109, 635, 636 }, { 108, 109, 636 }, { 108, 635, 636 }, { 108, 109, 635 } ], [ { 633, 643, 645 }, { 233, 633, 643 }, { 233, 633, 645 }, { 233, 643, 645 } ], [ { 633, 636, 646 }, { 633, 636, 645 }, { 633, 645, 646 }, { 636, 645, 646 } ], [ { 150, 650, 895 }, { 648, 650, 895 }, { 150, 648, 650 }, { 150, 648, 895 } ], [ { 649, 650, 895 }, { 648, 650, 895 }, { 648, 649, 650 }, { 648, 649, 895 } ], [ { 121, 896, 897 }, { 654, 896, 897 }, { 121, 654, 897 }, { 121, 654, 896 } ], [ { 113, 117, 652 }, { 113, 115, 116, 117 }, { 116, 117, 652 }, { 113, 115, 652 }, { 115, 116, 652 } ], [ { 121, 898, 899 }, { 650, 898, 899 }, { 121, 650, 899 }, { 121, 650, 898 } ], [ { 121, 124, 900 }, { 124, 126, 900 }, { 121, 124, 126 }, { 121, 126, 900 } ], [ { 121, 124, 654, 901 }, { 120, 121, 654 }, { 120, 654, 901 }, { 120, 121, 124 }, { 120, 124, 901 } ], [ { 121, 902, 903 }, { 121, 661, 903 }, { 121, 661, 902 }, { 661, 902, 903 } ], [ { 126, 654, 656 }, { 654, 656, 901, 904 }, { 126, 654, 901 }, { 126, 901, 904 }, { 126, 656, 904 } ], [ { 655, 656, 657 }, { 654, 656, 657 }, { 654, 655, 657 }, { 654, 655, 656 } ], [ { 655, 656, 659, 904 }, { 126, 655, 656 }, { 126, 655, 659 }, { 126, 656, 904 }, { 126, 659, 904 } ], [ { 135, 655, 657 }, { 654, 655, 657 }, { 135, 654, 657 }, { 135, 654, 655 } ], [ { 131, 132, 903, 905 }, { 661, 903, 905 }, { 131, 661, 905 }, { 131, 132, 661 }, { 132, 661, 903 } ], [ { 135, 655, 906, 907 }, { 135, 655, 662 }, { 135, 662, 906 }, { 655, 662, 907 }, { 662, 906, 907 } ], [ { 137, 662, 664 }, { 135, 662, 664 }, { 135, 137, 664 }, { 135, 137, 662 } ], [ { 135, 137, 139 }, { 137, 139, 654 }, { 135, 139, 654 }, { 135, 137, 654 } ], [ { 139, 665, 666 }, { 137, 139, 666 }, { 137, 665, 666 }, { 137, 139, 665 } ], [ { 142, 665, 909 }, { 142, 908, 909 }, { 142, 665, 908 }, { 665, 908, 909 } ], [ { 142, 143, 908 }, { 142, 143, 146 }, { 143, 146, 908 }, { 142, 146, 908 } ], [ { 146, 908, 910 }, { 674, 908, 910 }, { 146, 674, 910 }, { 146, 674, 908 } ], [ { 142, 668, 670 }, { 142, 654, 670 }, { 654, 668, 670 }, { 142, 654, 668 } ], [ { 650, 671, 672 }, { 146, 650, 672 }, { 146, 671, 672 }, { 146, 650, 671 } ], [ { 150, 151, 156 }, { 151, 156, 211 }, { 150, 156, 211 }, { 150, 151, 211 } ], [ { 151, 159, 161 }, { 159, 161, 674 }, { 151, 159, 674 }, { 151, 161, 674 } ], [ { 151, 161, 650 }, { 150, 161, 650 }, { 150, 151, 161 }, { 150, 151, 650 } ], [ { 189, 676, 688 }, { 189, 675, 688 }, { 675, 676, 688 }, { 189, 675, 676 } ], [ { 165, 678, 912 }, { 165, 678, 911 }, { 165, 911, 912 }, { 678, 911, 912 } ], [ { 688, 912, 913 }, { 676, 688, 913 }, { 676, 912, 913 }, { 676, 688, 912 } ], [ { 165, 683, 914 }, { 683, 912, 914 }, { 165, 683, 912 }, { 165, 912, 914 } ], [ { 688, 912, 915 }, { 686, 688, 915 }, { 686, 688, 912 }, { 686, 912, 915 } ], [ { 165, 679, 681 }, { 678, 679, 681 }, { 165, 678, 681 }, { 165, 678, 679 } ], [ { 684, 694, 916 }, { 165, 684, 694 }, { 165, 694, 916 }, { 165, 684, 916 } ], [ { 165, 684, 688, 689 }, { 686, 688, 689 }, { 165, 683, 686, 688 }, { 683, 684, 686, 689 }, { 165, 683, 684 } ], [ { 689, 692, 916 }, { 688, 692, 916 }, { 688, 689, 692 }, { 688, 689, 916 } ], [ { 183, 688, 691 }, { 183, 194, 691 }, { 194, 688, 691 }, { 183, 194, 688 } ], [ { 183, 692, 916 }, { 688, 692, 916 }, { 183, 688, 692 }, { 183, 688, 916 } ], [ { 165, 171, 693 }, { 164, 171, 693 }, { 164, 165, 693 }, { 164, 165, 171 } ], [ { 171, 694, 916 }, { 165, 694, 916 }, { 165, 171, 694 }, { 165, 171, 916 } ], [ { 696, 697, 699 }, { 695, 697, 699 }, { 695, 696, 699 }, { 695, 696, 697 } ], [ { 699, 702, 704 }, { 696, 699, 704 }, { 696, 702, 704 }, { 696, 699, 702 } ], [ { 702, 707, 708 }, { 662, 707, 708 }, { 662, 702, 708 }, { 662, 702, 707 } ], [ { 702, 707, 710 }, { 696, 707, 710 }, { 696, 702, 710 }, { 696, 702, 707 } ], [ { 211, 212, 711 }, { 212, 695, 711 }, { 211, 695, 711 }, { 211, 212, 695 } ], [ { 696, 711, 713 }, { 695, 696, 711 }, { 695, 711, 713 }, { 695, 696, 713 } ], [ { 167, 168, 702 }, { 164, 167, 168 }, { 164, 168, 702 }, { 164, 167, 702 } ], [ { 168, 171, 916 }, { 164, 168, 916 }, { 164, 168, 171 }, { 164, 171, 916 } ], [ { 715, 716, 916, 917 }, { 174, 176, 916, 917 }, { 174, 176, 715, 716 }, { 176, 715, 916 }, { 174, 716, 917 } ], [ { 176, 718, 916 }, { 176, 695, 718 }, { 695, 718, 916 }, { 176, 695, 916 } ], [ { 699, 702, 715 }, { 695, 699, 702 }, { 176, 695, 702, 715 }, { 176, 695, 699 }, { 176, 699, 715 } ], [ { 702, 715, 916 }, { 702, 720, 916 }, { 715, 720, 916 }, { 702, 715, 720 } ], [ { 178, 180, 194 }, { 178, 180, 695 }, { 180, 194, 695 }, { 178, 194, 695 } ], [ { 178, 183, 916 }, { 178, 194, 916 }, { 178, 183, 194 }, { 183, 194, 916 } ], [ { 37, 186, 676 }, { 37, 186, 862 }, { 186, 676, 862 }, { 37, 676, 862 } ], [ { 37, 189, 191 }, { 37, 191, 676 }, { 189, 191, 676 }, { 37, 189, 676 } ], [ { 37, 723, 918 }, { 506, 723, 918 }, { 37, 506, 723 }, { 37, 506, 918 } ], [ { 196, 749, 750 }, { 194, 196, 749 }, { 194, 196, 750 }, { 194, 749, 750 } ], [ { 189, 196, 884 }, { 194, 196, 884 }, { 189, 194, 196 }, { 189, 194, 884 } ], [ { 196, 884, 919 }, { 196, 750, 919 }, { 750, 884, 919 }, { 196, 750, 884 } ], [ { 205, 725, 726 }, { 724, 725, 726 }, { 205, 724, 726, 731 }, { 724, 725, 731 }, { 205, 725, 731 } ], [ { 199, 207, 731 }, { 199, 729, 731 }, { 207, 729, 731 }, { 199, 207, 729 } ], [ { 199, 203, 205, 731 }, { 198, 199, 203 }, { 198, 203, 205 }, { 198, 205, 731 }, { 198, 199, 731 } ], [ { 203, 205, 733 }, { 205, 211, 733 }, { 203, 211, 733 }, { 203, 205, 211 } ], [ { 737, 738, 739 }, { 695, 737, 738 }, { 695, 738, 739 }, { 695, 737, 739 } ], [ { 209, 737, 739 }, { 207, 209, 737 }, { 207, 209, 739 }, { 207, 737, 739 } ], [ { 211, 213, 737 }, { 213, 695, 737 }, { 211, 213, 695 }, { 211, 695, 737 } ], [ { 207, 211, 737 }, { 203, 211, 737 }, { 199, 203, 207, 211 }, { 199, 207, 737 }, { 199, 203, 737 } ], [ { 216, 238, 921 }, { 216, 920, 921 }, { 238, 920, 921 }, { 216, 238, 920 } ], [ { 238, 746, 922 }, { 745, 746, 922 }, { 220, 238, 745, 922 }, { 220, 238, 746 }, { 220, 745, 746 } ], [ { 215, 216, 741 }, { 215, 216, 923 }, { 216, 741, 923 }, { 215, 741, 923 } ], [ { 215, 216, 219, 220 }, { 219, 220, 742 }, { 215, 219, 742 }, { 216, 220, 742 }, { 215, 216, 742 } ], [ { 219, 220, 743 }, { 194, 219, 220 }, { 194, 220, 743 }, { 194, 219, 743 } ], [ { 220, 744, 747 }, { 194, 744, 747 }, { 194, 220, 744 }, { 194, 220, 747 } ], [ { 220, 746, 747 }, { 220, 238, 747 }, { 238, 746, 747 }, { 220, 238, 746 } ], [ { 226, 749, 750 }, { 194, 226, 749 }, { 194, 226, 750 }, { 194, 749, 750 } ], [ { 225, 226, 227 }, { 194, 225, 226 }, { 194, 226, 227 }, { 194, 225, 227 } ], [ { 226, 227, 750 }, { 226, 227, 752 }, { 226, 750, 752 }, { 227, 750, 752 } ], [ { 231, 233, 750 }, { 229, 231, 750 }, { 229, 231, 233 }, { 229, 233, 750 } ], [ { 227, 229, 750 }, { 227, 235, 750 }, { 227, 229, 235 }, { 229, 235, 750 } ], [ { 238, 746, 747 }, { 746, 747, 755 }, { 238, 747, 755 }, { 238, 746, 755 } ], [ { 747, 755, 757 }, { 194, 747, 757 }, { 194, 755, 757 }, { 194, 747, 755 } ], [ { 227, 757, 759 }, { 194, 757, 759 }, { 194, 227, 757 }, { 194, 227, 759 } ], [ { 227, 755, 757 }, { 227, 757, 762 }, { 755, 757, 762 }, { 227, 755, 762 } ], [ { 6, 238, 766 }, { 6, 755, 766 }, { 6, 238, 755 }, { 238, 755, 766 } ], [ { 227, 766, 767 }, { 755, 766, 767 }, { 227, 755, 767 }, { 227, 755, 766 } ], [ { 227, 238, 766 }, { 5, 227, 766 }, { 5, 238, 766 }, { 5, 227, 238 } ], [ { 238, 725, 924 }, { 205, 725, 924 }, { 205, 238, 924 }, { 205, 238, 725 } ], [ { 229, 233, 926 }, { 233, 925, 926 }, { 229, 925, 926 }, { 229, 233, 925 } ], [ { 227, 229, 927 }, { 227, 925, 927 }, { 227, 229, 925 }, { 229, 925, 927 } ], [ { 244, 280, 928 }, { 244, 272, 280 }, { 244, 272, 928 }, { 272, 280, 928 } ], [ { 240, 280, 929 }, { 239, 240, 929 }, { 239, 240, 280 }, { 239, 280, 929 } ], [ { 244, 245, 248 }, { 245, 248, 768 }, { 244, 245, 768 }, { 244, 248, 768 } ], [ { 248, 251, 768 }, { 247, 248, 251 }, { 247, 251, 768 }, { 247, 248, 768 } ], [ { 248, 251, 930 }, { 244, 251, 930 }, { 244, 248, 930 }, { 244, 248, 251 } ], [ { 257, 263, 769 }, { 254, 257, 263 }, { 254, 263, 769 }, { 254, 257, 769 } ], [ { 263, 264, 931 }, { 254, 263, 264 }, { 254, 263, 931 }, { 254, 264, 931 } ], [ { 263, 264, 265 }, { 263, 265, 769 }, { 263, 264, 769 }, { 264, 265, 769 } ], [ { 264, 276, 932 }, { 268, 276, 932 }, { 264, 268, 276 }, { 264, 268, 932 } ], [ { 268, 271, 272, 274 }, { 272, 274, 771 }, { 268, 272, 771 }, { 268, 271, 771 }, { 271, 274, 771 } ], [ { 239, 773, 776 }, { 772, 773, 776 }, { 239, 772, 776 }, { 239, 772, 773 } ], [ { 239, 280, 776 }, { 280, 776, 777 }, { 239, 776, 777 }, { 239, 280, 777 } ], [ { 239, 276, 778 }, { 276, 772, 778 }, { 239, 772, 778 }, { 239, 276, 772 } ], [ { 276, 278, 280, 281 }, { 276, 280, 772, 776 }, { 278, 281, 772, 776 }, { 280, 281, 776 }, { 276, 278, 772 } ], [ { 239, 276, 283 }, { 276, 283, 933 }, { 239, 276, 933 }, { 239, 283, 933 } ], [ { 787, 788, 934 }, { 781, 782, 787, 788 }, { 781, 783, 788, 934 }, { 782, 783, 787, 934 }, { 781, 782, 783 } ], [ { 787, 934, 936, 937 }, { 287, 787, 934, 935 }, { 287, 935, 936, 937 }, { 287, 934, 936 }, { 787, 935, 937 } ], [ { 287, 290, 791 }, { 286, 290, 791 }, { 286, 287, 290 }, { 286, 287, 791 } ], [ { 287, 791, 792 }, { 287, 294, 791 }, { 287, 294, 792, 794 }, { 791, 792, 794 }, { 294, 791, 794 } ], [ { 296, 298, 791 }, { 294, 298, 791 }, { 294, 296, 298 }, { 294, 296, 791 } ], [ { 307, 797, 798 }, { 306, 307, 798 }, { 306, 307, 797 }, { 306, 797, 798 } ], [ { 302, 306, 797 }, { 302, 796, 797 }, { 306, 796, 797 }, { 302, 306, 796 } ], [ { 302, 306, 799, 800 }, { 302, 303, 306, 307 }, { 303, 307, 799, 800 }, { 306, 307, 800 }, { 302, 303, 799 } ], [ { 303, 797, 801 }, { 302, 303, 801 }, { 302, 303, 797 }, { 302, 797, 801 } ], [ { 340, 939, 940, 941 }, { 938, 939, 940 }, { 340, 938, 939 }, { 340, 938, 941 }, { 938, 940, 941 } ], [ { 303, 940, 942 }, { 303, 939, 942 }, { 939, 940, 942 }, { 303, 939, 940 } ], [ { 303, 943, 944 }, { 303, 939, 944 }, { 939, 943, 944 }, { 303, 939, 943 } ], [ { 310, 312, 803 }, { 310, 312, 802 }, { 312, 802, 803 }, { 310, 802, 803 } ], [ { 312, 314, 315 }, { 312, 315, 803 }, { 314, 315, 803 }, { 312, 314, 803 } ], [ { 312, 316, 319 }, { 314, 316, 319 }, { 312, 314, 316 }, { 312, 314, 319 } ], [ { 312, 319, 325 }, { 319, 325, 329 }, { 312, 319, 329 }, { 312, 325, 329 } ], [ { 319, 329, 334 }, { 319, 334, 340 }, { 319, 329, 340 }, { 329, 334, 340 } ], [ { 314, 319, 341 }, { 314, 319, 340 }, { 319, 340, 341 }, { 314, 340, 341 } ], [ { 329, 345, 808 }, { 340, 345, 808 }, { 329, 340, 345 }, { 329, 340, 808 } ], [ { 329, 348, 808 }, { 348, 797, 808 }, { 329, 348, 797 }, { 329, 797, 808 } ], [ { 312, 811, 813 }, { 312, 329, 813 }, { 312, 329, 811 }, { 329, 811, 813 } ], [ { 312, 353, 813 }, { 312, 353, 802 }, { 353, 802, 813 }, { 312, 802, 813 } ], [ { 329, 354, 813 }, { 354, 797, 813 }, { 329, 354, 797 }, { 329, 797, 813 } ], [ { 355, 356, 360 }, { 356, 360, 814 }, { 355, 360, 814 }, { 355, 356, 814 } ], [ { 355, 360, 363 }, { 360, 363, 814 }, { 355, 360, 814 }, { 355, 363, 814 } ], [ { 11, 363, 365 }, { 11, 363, 814 }, { 363, 365, 814 }, { 11, 365, 814 } ], [ { 355, 363, 365 }, { 363, 365, 945 }, { 355, 363, 945 }, { 355, 365, 945 } ], [ { 9, 11, 365 }, { 9, 11, 814 }, { 11, 365, 814 }, { 9, 365, 814 } ], [ { 9, 365, 381 }, { 9, 381, 816, 817 }, { 365, 371, 381, 817 }, { 9, 365, 371, 816 }, { 371, 816, 817 } ], [ { 355, 365, 947 }, { 365, 946, 947 }, { 355, 946, 947 }, { 355, 365, 946 } ], [ { 375, 376, 380 }, { 376, 380, 819 }, { 375, 380, 819 }, { 375, 376, 819 } ], [ { 381, 382, 386 }, { 382, 386, 802 }, { 381, 386, 802 }, { 381, 382, 802 } ], [ { 389, 802, 822 }, { 389, 392, 822 }, { 389, 392, 802 }, { 392, 802, 822 } ], [ { 389, 824, 825 }, { 389, 802, 825 }, { 802, 824, 825 }, { 389, 802, 824 } ], [ { 390, 825, 827, 828 }, { 399, 825, 827, 948 }, { 390, 399, 825 }, { 390, 399, 828, 948 }, { 827, 828, 948 } ], [ { 389, 390, 825 }, { 390, 392, 825 }, { 389, 390, 392 }, { 389, 392, 825 } ], [ { 381, 392, 395, 397 }, { 381, 390, 392, 399 }, { 390, 392, 397 }, { 390, 395, 397, 399 }, { 381, 395, 399 } ], [ { 381, 386, 401 }, { 386, 401, 802 }, { 381, 401, 802 }, { 381, 386, 802 } ], [ { 401, 825, 831 }, { 401, 802, 831 }, { 802, 825, 831 }, { 401, 802, 825 } ], [ { 381, 401, 825 }, { 399, 401, 825 }, { 381, 399, 401 }, { 381, 399, 825 } ], [ { 9, 11, 833 }, { 9, 11, 814 }, { 11, 814, 833 }, { 9, 814, 833 } ], [ { 381, 392, 949 }, { 392, 834, 949 }, { 381, 392, 834, 835 }, { 834, 835, 949 }, { 381, 835, 949 } ], [ { 405, 834, 836 }, { 405, 408, 833, 836 }, { 833, 834, 835, 836 }, { 405, 408, 834, 835 }, { 408, 833, 835 } ], [ { 13, 14, 836 }, { 14, 836, 950 }, { 13, 836, 950 }, { 13, 14, 950 } ], [ { 411, 836, 951 }, { 411, 836, 950 }, { 836, 950, 951 }, { 411, 950, 951 } ], [ { 411, 413, 414, 416 }, { 411, 414, 833, 836 }, { 414, 416, 833 }, { 413, 416, 833, 836 }, { 411, 413, 836 } ], [ { 414, 833, 952 }, { 814, 833, 952 }, { 414, 814, 952 }, { 414, 814, 833 } ], [ { 423, 424, 953 }, { 423, 424, 814 }, { 424, 814, 953 }, { 423, 814, 953 } ], [ { 427, 428, 837 }, { 427, 428, 814 }, { 428, 814, 837 }, { 427, 814, 837 } ], [ { 428, 838, 839 }, { 428, 837, 839 }, { 428, 837, 838 }, { 837, 838, 839 } ], [ { 437, 843, 844 }, { 842, 843, 844 }, { 437, 842, 844 }, { 437, 842, 843 } ], [ { 18, 435, 848 }, { 431, 435, 848 }, { 18, 431, 435 }, { 18, 431, 848 } ], [ { 18, 19, 435 }, { 19, 435, 847 }, { 18, 19, 847 }, { 18, 435, 847 } ], [ { 433, 435, 445 }, { 431, 433, 435 }, { 431, 433, 445 }, { 431, 435, 445 } ], [ { 435, 437, 440 }, { 437, 440, 445 }, { 435, 440, 445 }, { 435, 437, 445 } ], [ { 22, 451, 850 }, { 22, 431, 451 }, { 431, 451, 850 }, { 22, 431, 850 } ], [ { 22, 23, 451 }, { 23, 451, 849 }, { 22, 23, 849 }, { 22, 451, 849 } ], [ { 437, 445, 446 }, { 431, 437, 446 }, { 431, 437, 445 }, { 431, 445, 446 } ], [ { 446, 450, 451 }, { 431, 450, 451 }, { 431, 446, 450 }, { 431, 446, 451 } ], [ { 437, 451, 455 }, { 446, 451, 455 }, { 437, 446, 455 }, { 437, 446, 451 } ], [ { 30, 491, 851 }, { 464, 491, 851 }, { 30, 464, 491 }, { 30, 464, 851 } ], [ { 30, 457, 853 }, { 456, 457, 853 }, { 30, 456, 457 }, { 30, 456, 853 } ], [ { 457, 494, 854 }, { 456, 457, 494 }, { 456, 457, 854 }, { 456, 494, 854 } ], [ { 457, 460, 494 }, { 30, 457, 460 }, { 30, 457, 494 }, { 30, 460, 494 } ], [ { 57, 464, 468 }, { 57, 463, 468 }, { 463, 464, 468 }, { 57, 463, 464 } ], [ { 468, 475, 480 }, { 464, 468, 480 }, { 464, 468, 475 }, { 464, 475, 480 } ], [ { 468, 471, 480 }, { 57, 468, 471 }, { 57, 468, 480 }, { 57, 471, 480 } ], [ { 474, 475, 480 }, { 464, 475, 480 }, { 464, 474, 480 }, { 464, 474, 475 } ], [ { 477, 480, 484 }, { 474, 477, 480 }, { 474, 477, 484 }, { 474, 480, 484 } ], [ { 26, 480, 490 }, { 26, 57, 490 }, { 57, 480, 490 }, { 26, 57, 480 } ], [ { 480, 490, 855 }, { 484, 490, 855 }, { 480, 484, 855 }, { 480, 484, 490 } ], [ { 474, 481, 497 }, { 464, 481, 497 }, { 464, 474, 481 }, { 464, 474, 497 } ], [ { 483, 484, 497 }, { 474, 483, 484 }, { 474, 483, 497 }, { 474, 484, 497 } ], [ { 484, 497, 857 }, { 484, 856, 857 }, { 497, 856, 857 }, { 484, 497, 856 } ], [ { 484, 489, 490 }, { 57, 489, 490 }, { 57, 484, 490 }, { 57, 484, 489 } ], [ { 30, 491, 497 }, { 464, 491, 497 }, { 30, 464, 491 }, { 30, 464, 497 } ], [ { 30, 494, 497 }, { 29, 494, 497 }, { 29, 30, 497 }, { 29, 30, 494 } ], [ { 34, 494, 497 }, { 494, 497, 856 }, { 34, 497, 856 }, { 34, 494, 856 } ], [ { 499, 501, 861 }, { 499, 501, 856 }, { 501, 856, 861 }, { 499, 856, 861 } ], [ { 33, 494, 499 }, { 33, 494, 856 }, { 494, 499, 856 }, { 33, 499, 856 } ], [ { 33, 503, 954 }, { 499, 503, 954 }, { 33, 499, 954 }, { 33, 499, 503 } ], [ { 43, 521, 955 }, { 521, 529, 955 }, { 43, 529, 955 }, { 43, 521, 529 } ], [ { 37, 43, 509, 511 }, { 37, 506, 511 }, { 37, 43, 506 }, { 506, 509, 511 }, { 43, 506, 509 } ], [ { 186, 862, 863, 867 }, { 37, 43, 46, 186, 867, 868 }, { 43, 46, 521 }, { 46, 521, 863, 868 }, { 521, 862, 863 }, { 37, 43, 521, 862 }, { 37, 186, 862 }, { 863, 867, 868 } ], [ { 518, 519, 521 }, { 519, 521, 529 }, { 518, 519, 529 }, { 518, 521, 529 } ], [ { 518, 525, 956, 957 }, { 518, 521, 525, 862 }, { 518, 521, 956 }, { 521, 862, 956, 957 }, { 525, 862, 957 } ], [ { 525, 527, 862 }, { 527, 532, 862 }, { 525, 527, 532 }, { 525, 532, 862 } ], [ { 518, 529, 537 }, { 518, 528, 537 }, { 528, 529, 537 }, { 518, 528, 529 } ], [ { 525, 533, 537 }, { 525, 532, 537 }, { 532, 533, 537 }, { 525, 532, 533 } ], [ { 529, 539, 958 }, { 528, 529, 539 }, { 528, 529, 542, 958 }, { 528, 539, 542 }, { 539, 542, 958 } ], [ { 539, 542, 958 }, { 539, 542, 545 }, { 542, 545, 958 }, { 539, 545, 958 } ], [ { 529, 537, 539 }, { 528, 537, 539 }, { 528, 529, 539 }, { 528, 529, 537 } ], [ { 48, 581, 959 }, { 48, 57, 959 }, { 57, 581, 959 }, { 48, 57, 581 } ], [ { 48, 49, 871 }, { 48, 49, 581 }, { 49, 581, 871 }, { 48, 581, 871 } ], [ { 870, 871, 873 }, { 506, 871, 873 }, { 506, 870, 873 }, { 506, 870, 871 } ], [ { 48, 49, 873 }, { 49, 871, 873 }, { 48, 49, 871 }, { 48, 871, 873 } ], [ { 48, 557, 874 }, { 48, 564, 874 }, { 557, 564, 874 }, { 48, 557, 564 } ], [ { 559, 873, 874 }, { 48, 559, 874 }, { 48, 559, 873 }, { 48, 873, 874 } ], [ { 561, 564, 873 }, { 561, 562, 564, 565 }, { 564, 565, 873, 960 }, { 561, 562, 873, 960 }, { 562, 565, 960 } ], [ { 501, 565, 569 }, { 564, 565, 569, 573 }, { 501, 564, 565 }, { 501, 569, 573 }, { 501, 564, 573 } ], [ { 48, 489, 878 }, { 57, 489, 878 }, { 48, 57, 878 }, { 48, 57, 489 } ], [ { 48, 489, 575 }, { 48, 489, 882 }, { 489, 575, 882 }, { 48, 575, 882 } ], [ { 501, 574, 882 }, { 564, 574, 882 }, { 501, 564, 574 }, { 501, 564, 882 } ], [ { 48, 575, 882 }, { 48, 564, 575 }, { 48, 564, 882 }, { 564, 575, 882 } ], [ { 750, 884, 885 }, { 577, 884, 885 }, { 577, 750, 885 }, { 577, 750, 884 } ], [ { 578, 589, 750 }, { 577, 589, 750 }, { 577, 578, 589 }, { 577, 578, 750 } ], [ { 231, 589, 750 }, { 231, 233, 589 }, { 233, 589, 750 }, { 231, 233, 750 } ], [ { 57, 581, 582 }, { 577, 581, 582 }, { 57, 577, 582 }, { 57, 577, 581 } ], [ { 582, 584, 587 }, { 577, 582, 587 }, { 577, 584, 587 }, { 577, 582, 584 } ], [ { 57, 582, 584 }, { 52, 582, 584 }, { 52, 57, 582 }, { 52, 57, 584 } ], [ { 584, 585, 589 }, { 577, 585, 589 }, { 577, 584, 589 }, { 577, 584, 585 } ], [ { 233, 589, 594 }, { 584, 589, 594 }, { 233, 584, 594 }, { 233, 584, 589 } ], [ { 58, 584, 596 }, { 57, 58, 596 }, { 57, 584, 596 }, { 57, 58, 584 } ], [ { 104, 233, 596 }, { 57, 104, 596 }, { 57, 233, 596 }, { 57, 104, 233 } ], [ { 233, 594, 596 }, { 584, 594, 596 }, { 233, 584, 594 }, { 233, 584, 596 } ], [ { 57, 60, 65 }, { 60, 65, 464 }, { 57, 65, 464 }, { 57, 60, 464 } ], [ { 60, 604, 886 }, { 464, 604, 886 }, { 60, 464, 886 }, { 60, 464, 604 } ], [ { 60, 604, 609 }, { 57, 604, 609 }, { 57, 60, 609 }, { 57, 60, 604 } ], [ { 67, 609, 887 }, { 67, 604, 609 }, { 67, 604, 887 }, { 604, 609, 887 } ], [ { 74, 628, 887 }, { 70, 74, 887, 888 }, { 628, 887, 888, 961 }, { 70, 74, 628, 961 }, { 70, 888, 961 } ], [ { 85, 609, 887 }, { 605, 609, 887, 888 }, { 85, 605, 609 }, { 85, 605, 888 }, { 85, 887, 888 } ], [ { 85, 609, 887 }, { 57, 609, 887 }, { 57, 85, 609 }, { 57, 85, 887 } ], [ { 617, 618, 627 }, { 617, 618, 962 }, { 617, 627, 962 }, { 618, 627, 962 } ], [ { 620, 629, 963 }, { 88, 620, 963 }, { 88, 629, 963 }, { 88, 620, 629 } ], [ { 612, 615, 617 }, { 615, 617, 627 }, { 612, 617, 627 }, { 612, 615, 627 } ], [ { 619, 622, 629 }, { 88, 622, 629 }, { 88, 619, 622 }, { 88, 619, 629 } ], [ { 88, 622, 891 }, { 612, 622, 891 }, { 88, 612, 617, 622 }, { 612, 617, 891 }, { 88, 617, 891 } ], [ { 625, 627, 629 }, { 612, 625, 627 }, { 612, 622, 627, 629 }, { 622, 625, 629 }, { 612, 622, 625 } ], [ { 94, 628, 629 }, { 94, 627, 629 }, { 94, 627, 628 }, { 627, 628, 629 } ], [ { 233, 630, 633 }, { 57, 630, 633 }, { 57, 233, 633 }, { 57, 233, 630 } ], [ { 107, 635, 894 }, { 57, 107, 894 }, { 57, 635, 894 }, { 57, 107, 635 } ], [ { 633, 635, 636 }, { 57, 633, 636 }, { 57, 633, 635 }, { 57, 635, 636 } ], [ { 109, 636, 894 }, { 635, 636, 894 }, { 109, 635, 636 }, { 109, 635, 894 } ], [ { 633, 636, 645 }, { 233, 633, 636 }, { 233, 633, 645 }, { 233, 636, 645 } ], [ { 150, 650, 895 }, { 211, 650, 895 }, { 150, 211, 650 }, { 150, 211, 895 } ], [ { 650, 895, 964 }, { 649, 650, 895 }, { 649, 650, 964 }, { 649, 895, 964 } ], [ { 113, 121, 897 }, { 113, 654, 897 }, { 113, 121, 654 }, { 121, 654, 897 } ], [ { 113, 117, 652 }, { 113, 117, 121 }, { 113, 121, 652 }, { 117, 121, 652 } ], [ { 117, 121, 898 }, { 117, 650, 898 }, { 121, 650, 898 }, { 117, 121, 650 } ], [ { 121, 902, 964 }, { 121, 661, 964 }, { 121, 661, 902 }, { 661, 902, 964 } ], [ { 121, 126, 654 }, { 121, 124, 654, 901 }, { 126, 654, 901 }, { 121, 124, 126 }, { 124, 126, 901 } ], [ { 121, 126, 903 }, { 121, 661, 903 }, { 121, 126, 661 }, { 126, 661, 903 } ], [ { 126, 655, 656 }, { 654, 655, 656 }, { 126, 654, 656 }, { 126, 654, 655 } ], [ { 135, 655, 662 }, { 654, 655, 662 }, { 135, 654, 655 }, { 135, 654, 662 } ], [ { 126, 903, 905, 965 }, { 126, 661, 903 }, { 126, 661, 965 }, { 661, 903, 905 }, { 661, 905, 965 } ], [ { 126, 655, 907, 965 }, { 126, 655, 662 }, { 126, 662, 965 }, { 662, 907, 965 }, { 655, 662, 907 } ], [ { 135, 137, 662 }, { 137, 654, 662 }, { 135, 654, 662 }, { 135, 137, 654 } ], [ { 137, 139, 665 }, { 139, 654, 665 }, { 137, 139, 654 }, { 137, 654, 665 } ], [ { 142, 665, 668 }, { 142, 654, 668 }, { 142, 654, 665 }, { 654, 665, 668 } ], [ { 665, 674, 908 }, { 142, 146, 665, 674 }, { 146, 674, 908 }, { 142, 146, 908 }, { 142, 665, 908 } ], [ { 146, 650, 671 }, { 650, 654, 670, 671 }, { 142, 146, 650, 654 }, { 142, 146, 670, 671 }, { 142, 654, 670 } ], [ { 146, 650, 672 }, { 650, 672, 674 }, { 146, 672, 674 }, { 146, 650, 674 } ], [ { 150, 151, 650 }, { 151, 211, 650 }, { 150, 211, 650 }, { 150, 151, 211 } ], [ { 151, 161, 650 }, { 161, 650, 674 }, { 151, 161, 674 }, { 151, 650, 674 } ], [ { 189, 676, 688 }, { 189, 532, 688 }, { 532, 676, 688 }, { 189, 532, 676 } ], [ { 165, 678, 912 }, { 165, 532, 678 }, { 165, 532, 912 }, { 532, 678, 912 } ], [ { 676, 688, 912 }, { 532, 688, 912 }, { 532, 676, 688 }, { 532, 676, 912 } ], [ { 165, 688, 912 }, { 165, 683, 686, 688 }, { 686, 688, 912 }, { 683, 686, 912 }, { 165, 683, 912 } ], [ { 165, 678, 679 }, { 165, 532, 679 }, { 532, 678, 679 }, { 165, 532, 678 } ], [ { 688, 689, 916 }, { 165, 688, 916 }, { 165, 684, 688, 689 }, { 684, 689, 916 }, { 165, 684, 916 } ], [ { 183, 688, 916 }, { 183, 194, 916 }, { 194, 688, 916 }, { 183, 194, 688 } ], [ { 165, 171, 916 }, { 164, 171, 916 }, { 164, 165, 916 }, { 164, 165, 171 } ], [ { 696, 699, 702 }, { 695, 699, 702 }, { 695, 696, 699 }, { 695, 696, 702 } ], [ { 696, 702, 707 }, { 662, 702, 707 }, { 662, 696, 707 }, { 662, 696, 702 } ], [ { 211, 696, 711 }, { 695, 696, 711 }, { 211, 695, 711 }, { 211, 695, 696 } ], [ { 662, 696, 707 }, { 211, 662, 707, 711 }, { 211, 662, 696 }, { 211, 696, 711 }, { 696, 707, 711 } ], [ { 168, 702, 916 }, { 164, 168, 916 }, { 164, 168, 702 }, { 164, 702, 916 } ], [ { 702, 715, 916 }, { 695, 702, 916 }, { 176, 695, 702, 715 }, { 176, 695, 916 }, { 176, 715, 916 } ], [ { 178, 194, 916 }, { 178, 695, 916 }, { 178, 194, 695 }, { 194, 695, 916 } ], [ { 37, 676, 862 }, { 37, 532, 676 }, { 37, 532, 862 }, { 532, 676, 862 } ], [ { 37, 189, 676 }, { 37, 189, 532 }, { 37, 532, 676 }, { 189, 532, 676 } ], [ { 37, 884, 918 }, { 506, 884, 918 }, { 37, 506, 918 }, { 37, 506, 884 } ], [ { 37, 189, 884 }, { 37, 194, 884 }, { 189, 194, 884 }, { 37, 189, 194 } ], [ { 196, 750, 884 }, { 194, 196, 884 }, { 194, 196, 750 }, { 194, 750, 884 } ], [ { 238, 725, 731 }, { 205, 725, 731 }, { 205, 238, 731 }, { 205, 238, 725 } ], [ { 205, 207, 211, 731 }, { 203, 205, 211 }, { 199, 203, 207, 211 }, { 199, 203, 205, 731 }, { 199, 207, 731 } ], [ { 207, 211, 737 }, { 211, 695, 737 }, { 207, 211, 695, 739 }, { 207, 737, 739 }, { 695, 737, 739 } ], [ { 216, 238, 921 }, { 216, 921, 923 }, { 238, 921, 923 }, { 216, 238, 923 } ], [ { 220, 238, 745, 922 }, { 216, 238, 922, 966 }, { 745, 922, 966 }, { 216, 220, 745, 966 }, { 216, 220, 238 } ], [ { 194, 219, 220 }, { 194, 216, 220, 923 }, { 194, 215, 219, 923 }, { 215, 216, 219, 220 }, { 215, 216, 923 } ], [ { 220, 238, 747 }, { 194, 220, 747 }, { 194, 238, 747 }, { 194, 220, 238 } ], [ { 226, 227, 750 }, { 194, 226, 227 }, { 194, 226, 750 }, { 194, 227, 750 } ], [ { 227, 233, 750 }, { 227, 229, 750 }, { 227, 229, 233 }, { 229, 233, 750 } ], [ { 238, 747, 755 }, { 194, 238, 747 }, { 194, 747, 755 }, { 194, 238, 755 } ], [ { 227, 755, 757 }, { 194, 227, 757 }, { 194, 755, 757 }, { 194, 227, 755 } ], [ { 227, 238, 766 }, { 227, 755, 766 }, { 238, 755, 766 }, { 227, 238, 755 } ], [ { 205, 238, 924 }, { 238, 924, 925 }, { 205, 924, 925 }, { 205, 238, 925 } ], [ { 227, 229, 233 }, { 227, 233, 925 }, { 227, 229, 925 }, { 229, 233, 925 } ], [ { 227, 238, 927 }, { 227, 925, 927 }, { 227, 238, 925 }, { 238, 925, 927 } ], [ { 244, 280, 771 }, { 244, 272, 280 }, { 244, 272, 771 }, { 272, 280, 771 } ], [ { 244, 280, 929 }, { 239, 244, 929 }, { 239, 280, 929 }, { 239, 244, 280 } ], [ { 244, 248, 251 }, { 248, 251, 768 }, { 244, 251, 768 }, { 244, 248, 768 } ], [ { 244, 251, 929 }, { 239, 251, 929 }, { 239, 244, 929 }, { 239, 244, 251 } ], [ { 263, 264, 769 }, { 254, 263, 264 }, { 254, 263, 769 }, { 254, 264, 769 } ], [ { 239, 254, 264 }, { 239, 264, 933 }, { 254, 264, 933 }, { 239, 254, 933 } ], [ { 264, 268, 276 }, { 264, 276, 771 }, { 268, 276, 771 }, { 264, 268, 771 } ], [ { 268, 272, 276, 280 }, { 272, 280, 771 }, { 268, 272, 771 }, { 268, 276, 771 }, { 276, 280, 771 } ], [ { 239, 276, 280 }, { 276, 280, 772, 776 }, { 239, 276, 772 }, { 239, 280, 776 }, { 239, 772, 776 } ], [ { 239, 264, 276 }, { 264, 276, 933 }, { 239, 276, 933 }, { 239, 264, 933 } ], [ { 287, 787, 934, 935 }, { 294, 787, 788, 935 }, { 287, 294, 788, 934 }, { 287, 294, 935 }, { 787, 788, 934 } ], [ { 286, 296, 791 }, { 294, 296, 791 }, { 286, 287, 294, 296 }, { 287, 294, 791 }, { 286, 287, 791 } ], [ { 302, 303, 797 }, { 302, 303, 306, 307 }, { 302, 306, 797 }, { 303, 307, 797 }, { 306, 307, 797 } ], [ { 307, 797, 808 }, { 307, 340, 808 }, { 340, 797, 808 }, { 307, 340, 797 } ], [ { 303, 939, 940 }, { 303, 307, 340, 939 }, { 340, 939, 940, 941 }, { 303, 307, 940, 941 }, { 307, 340, 941 } ], [ { 303, 797, 943 }, { 303, 939, 943 }, { 303, 797, 939 }, { 797, 939, 943 } ], [ { 312, 314, 803 }, { 312, 314, 802 }, { 312, 802, 803 }, { 314, 802, 803 } ], [ { 314, 319, 340 }, { 319, 329, 340 }, { 312, 314, 329, 340 }, { 312, 319, 329 }, { 312, 314, 319 } ], [ { 329, 797, 808 }, { 329, 340, 808 }, { 340, 797, 808 }, { 329, 340, 797 } ], [ { 329, 797, 813 }, { 797, 802, 813 }, { 312, 329, 797, 802 }, { 312, 802, 813 }, { 312, 329, 813 } ], [ { 355, 356, 375 }, { 356, 375, 814 }, { 355, 375, 814 }, { 355, 356, 814 } ], [ { 355, 363, 365 }, { 363, 365, 814 }, { 355, 363, 814 }, { 355, 365, 814 } ], [ { 9, 365, 381 }, { 9, 381, 814 }, { 365, 381, 814 }, { 9, 365, 814 } ], [ { 365, 381, 947 }, { 355, 365, 947 }, { 355, 365, 375, 381 }, { 355, 375, 947 }, { 375, 381, 947 } ], [ { 375, 376, 947 }, { 376, 819, 947 }, { 375, 819, 947 }, { 375, 376, 819 } ], [ { 381, 382, 947 }, { 382, 802, 947 }, { 381, 802, 947 }, { 381, 382, 802 } ], [ { 389, 802, 825 }, { 389, 392, 825 }, { 392, 802, 825 }, { 389, 392, 802 } ], [ { 381, 392, 825 }, { 381, 399, 825 }, { 381, 390, 392, 399 }, { 390, 392, 825 }, { 390, 399, 825 } ], [ { 381, 401, 825 }, { 401, 802, 825 }, { 381, 401, 802 }, { 381, 802, 825 } ], [ { 9, 381, 833 }, { 9, 381, 814 }, { 381, 814, 833 }, { 9, 814, 833 } ], [ { 392, 834, 836 }, { 833, 834, 835, 836 }, { 381, 392, 833, 836 }, { 381, 392, 834, 835 }, { 381, 833, 835 } ], [ { 14, 392, 836 }, { 14, 836, 950 }, { 392, 836, 950 }, { 14, 392, 950 } ], [ { 414, 814, 833 }, { 814, 833, 836, 950 }, { 411, 414, 814, 950 }, { 411, 414, 833, 836 }, { 411, 836, 950 } ], [ { 423, 953, 967 }, { 423, 814, 967 }, { 423, 814, 953 }, { 814, 953, 967 } ], [ { 428, 837, 838 }, { 428, 814, 838 }, { 428, 814, 837 }, { 814, 837, 838 } ], [ { 423, 428, 437 }, { 423, 428, 814 }, { 423, 437, 814 }, { 428, 437, 814 } ], [ { 428, 437, 839 }, { 428, 838, 839 }, { 428, 437, 838 }, { 437, 838, 839 } ], [ { 437, 838, 843 }, { 437, 842, 843 }, { 838, 842, 843 }, { 437, 838, 842 } ], [ { 18, 435, 847 }, { 18, 431, 435 }, { 431, 435, 847 }, { 18, 431, 847 } ], [ { 435, 437, 445 }, { 431, 435, 437 }, { 431, 437, 445 }, { 431, 435, 445 } ], [ { 435, 437, 968 }, { 437, 847, 968 }, { 435, 847, 968 }, { 435, 437, 847 } ], [ { 22, 451, 849 }, { 22, 431, 451 }, { 431, 451, 849 }, { 22, 431, 849 } ], [ { 437, 446, 451 }, { 431, 437, 451 }, { 431, 446, 451 }, { 431, 437, 446 } ], [ { 437, 451, 843 }, { 451, 843, 849 }, { 437, 843, 849 }, { 437, 451, 849 } ], [ { 851, 969, 970 }, { 456, 851, 970 }, { 456, 851, 969 }, { 456, 969, 970 } ], [ { 30, 464, 851 }, { 30, 456, 851 }, { 456, 464, 851 }, { 30, 456, 464 } ], [ { 30, 457, 494 }, { 456, 457, 494 }, { 30, 456, 457 }, { 30, 456, 494 } ], [ { 57, 468, 480 }, { 464, 468, 480 }, { 57, 464, 468 }, { 57, 464, 480 } ], [ { 474, 480, 484 }, { 464, 480, 484 }, { 464, 474, 480 }, { 464, 474, 484 } ], [ { 480, 484, 490 }, { 57, 480, 490 }, { 57, 484, 490 }, { 57, 480, 484 } ], [ { 474, 484, 497 }, { 464, 484, 497 }, { 464, 474, 484 }, { 464, 474, 497 } ], [ { 484, 497, 501 }, { 484, 497, 856 }, { 484, 501, 856 }, { 497, 501, 856 } ], [ { 484, 489, 882 }, { 57, 484, 489 }, { 57, 489, 882 }, { 57, 484, 882 } ], [ { 30, 494, 497 }, { 464, 494, 497 }, { 30, 464, 497 }, { 30, 464, 494 } ], [ { 494, 497, 501 }, { 494, 497, 856 }, { 497, 501, 856 }, { 494, 501, 856 } ], [ { 494, 499, 501 }, { 494, 501, 856 }, { 494, 499, 856 }, { 499, 501, 856 } ], [ { 33, 494, 954 }, { 494, 499, 954 }, { 33, 499, 954 }, { 33, 494, 499 } ], [ { 43, 506, 521 }, { 43, 521, 529 }, { 506, 521, 529 }, { 43, 506, 529 } ], [ { 43, 506, 521 }, { 37, 43, 521, 862 }, { 506, 521, 862 }, { 37, 506, 862 }, { 37, 43, 506 } ], [ { 521, 529, 532, 862 }, { 518, 525, 529, 532 }, { 525, 532, 862 }, { 518, 521, 525, 862 }, { 518, 521, 529 } ], [ { 529, 532, 537 }, { 525, 532, 537 }, { 518, 525, 529, 532 }, { 518, 525, 537 }, { 518, 529, 537 } ], [ { 529, 537, 539 }, { 537, 539, 545 }, { 529, 537, 545, 958 }, { 539, 545, 958 }, { 529, 539, 958 } ], [ { 48, 581, 871 }, { 48, 57, 871 }, { 48, 57, 581 }, { 57, 581, 871 } ], [ { 48, 871, 873 }, { 48, 506, 873 }, { 506, 871, 873 }, { 48, 506, 871 } ], [ { 48, 873, 874 }, { 564, 873, 874 }, { 48, 564, 874 }, { 48, 564, 873 } ], [ { 501, 506, 565, 960 }, { 501, 564, 565 }, { 501, 506, 564, 873 }, { 564, 565, 873, 960 }, { 506, 873, 960 } ], [ { 48, 489, 882 }, { 48, 57, 489 }, { 57, 489, 882 }, { 48, 57, 882 } ], [ { 48, 501, 882 }, { 48, 564, 882 }, { 48, 501, 564 }, { 501, 564, 882 } ], [ { 57, 581, 871 }, { 577, 581, 871 }, { 57, 577, 871 }, { 57, 577, 581 } ], [ { 506, 750, 884 }, { 577, 750, 884 }, { 506, 577, 884 }, { 506, 577, 750 } ], [ { 233, 589, 750 }, { 577, 589, 750 }, { 233, 577, 589 }, { 233, 577, 750 } ], [ { 57, 582, 584 }, { 577, 582, 584 }, { 57, 577, 582 }, { 57, 577, 584 } ], [ { 233, 584, 589 }, { 233, 577, 589 }, { 577, 584, 589 }, { 233, 577, 584 } ], [ { 233, 584, 596 }, { 57, 233, 596 }, { 57, 584, 596 }, { 57, 233, 584 } ], [ { 57, 60, 604 }, { 60, 464, 604 }, { 57, 464, 604 }, { 57, 60, 464 } ], [ { 604, 886, 887 }, { 464, 886, 887 }, { 464, 604, 887 }, { 464, 604, 886 } ], [ { 604, 609, 887 }, { 57, 609, 887 }, { 57, 604, 609 }, { 57, 604, 887 } ], [ { 628, 887, 888, 961 }, { 887, 888, 894, 971 }, { 628, 887, 894 }, { 628, 894, 961, 971 }, { 888, 961, 971 } ], [ { 57, 887, 888, 972 }, { 57, 85, 887 }, { 57, 85, 972 }, { 85, 888, 972 }, { 85, 887, 888 } ], [ { 617, 627, 887 }, { 617, 627, 962 }, { 617, 887, 962 }, { 627, 887, 962 } ], [ { 88, 629, 963 }, { 629, 894, 963 }, { 88, 894, 963 }, { 88, 629, 894 } ], [ { 88, 617, 627, 629 }, { 612, 622, 627, 629 }, { 88, 612, 617, 622 }, { 88, 622, 629 }, { 612, 617, 627 } ], [ { 628, 887, 894 }, { 627, 628, 887 }, { 627, 629, 887, 894 }, { 627, 628, 629 }, { 628, 629, 894 } ], [ { 233, 633, 636 }, { 57, 633, 636 }, { 57, 233, 633 }, { 57, 233, 636 } ], [ { 635, 636, 894 }, { 57, 636, 894 }, { 57, 635, 636 }, { 57, 635, 894 } ], [ { 636, 645, 894 }, { 233, 636, 894 }, { 233, 636, 645 }, { 233, 645, 894 } ], [ { 650, 895, 964 }, { 211, 650, 895 }, { 211, 650, 964 }, { 211, 895, 964 } ], [ { 117, 121, 650 }, { 113, 117, 650, 654 }, { 121, 650, 654 }, { 113, 117, 121 }, { 113, 121, 654 } ], [ { 121, 650, 964 }, { 121, 650, 661 }, { 121, 661, 964 }, { 650, 661, 964 } ], [ { 121, 126, 661 }, { 121, 126, 654 }, { 121, 654, 661 }, { 126, 654, 661 } ], [ { 126, 655, 662 }, { 654, 655, 662 }, { 126, 654, 655 }, { 126, 654, 662 } ], [ { 126, 662, 965 }, { 661, 662, 965 }, { 126, 661, 965 }, { 126, 661, 662 } ], [ { 137, 662, 665 }, { 654, 662, 665 }, { 137, 654, 665 }, { 137, 654, 662 } ], [ { 146, 650, 674 }, { 142, 146, 650, 654 }, { 650, 654, 665, 674 }, { 142, 146, 665, 674 }, { 142, 654, 665 } ], [ { 151, 650, 674 }, { 151, 211, 650 }, { 211, 650, 674 }, { 151, 211, 674 } ], [ { 189, 194, 688 }, { 189, 532, 688 }, { 194, 532, 688 }, { 189, 194, 532 } ], [ { 165, 688, 912 }, { 165, 532, 688 }, { 532, 688, 912 }, { 165, 532, 912 } ], [ { 164, 165, 679 }, { 165, 532, 679 }, { 164, 532, 679 }, { 164, 165, 532 } ], [ { 164, 165, 916 }, { 164, 194, 916 }, { 164, 165, 194, 688 }, { 194, 688, 916 }, { 165, 688, 916 } ], [ { 211, 662, 696 }, { 211, 695, 696 }, { 211, 662, 695, 702 }, { 662, 696, 702 }, { 695, 696, 702 } ], [ { 164, 194, 916 }, { 194, 695, 916 }, { 164, 194, 695, 702 }, { 695, 702, 916 }, { 164, 702, 916 } ], [ { 37, 506, 862 }, { 37, 506, 532 }, { 37, 532, 862 }, { 506, 532, 862 } ], [ { 37, 189, 194 }, { 37, 189, 532 }, { 37, 194, 532 }, { 189, 194, 532 } ], [ { 37, 194, 884 }, { 37, 506, 884 }, { 194, 506, 884 }, { 37, 194, 506 } ], [ { 194, 750, 884 }, { 506, 750, 884 }, { 194, 506, 884 }, { 194, 506, 750 } ], [ { 205, 211, 238 }, { 207, 211, 238 }, { 205, 207, 211, 731 }, { 207, 238, 731 }, { 205, 238, 731 } ], [ { 194, 207, 211, 923 }, { 194, 695, 739, 923 }, { 194, 211, 695 }, { 207, 211, 695, 739 }, { 207, 739, 923 } ], [ { 194, 220, 238 }, { 194, 216, 220, 923 }, { 194, 238, 923 }, { 216, 220, 238 }, { 216, 238, 923 } ], [ { 227, 233, 750 }, { 194, 227, 750 }, { 194, 227, 233 }, { 194, 233, 750 } ], [ { 227, 238, 755 }, { 194, 227, 238 }, { 194, 227, 755 }, { 194, 238, 755 } ], [ { 205, 211, 238 }, { 205, 238, 925 }, { 211, 238, 925 }, { 205, 211, 925 } ], [ { 227, 233, 238 }, { 227, 238, 925 }, { 227, 233, 925 }, { 233, 238, 925 } ], [ { 244, 280, 771 }, { 244, 280, 768 }, { 244, 768, 771 }, { 280, 768, 771 } ], [ { 239, 244, 280 }, { 244, 280, 768 }, { 239, 244, 768 }, { 239, 280, 768 } ], [ { 239, 244, 251 }, { 244, 251, 768 }, { 239, 251, 768 }, { 239, 244, 768 } ], [ { 239, 264, 769 }, { 239, 254, 264 }, { 254, 264, 769 }, { 239, 254, 769 } ], [ { 264, 276, 769 }, { 264, 276, 771 }, { 276, 769, 771 }, { 264, 769, 771 } ], [ { 239, 276, 280 }, { 276, 280, 771 }, { 239, 276, 771 }, { 239, 280, 771 } ], [ { 239, 264, 276 }, { 264, 276, 769 }, { 239, 276, 769 }, { 239, 264, 769 } ], [ { 286, 296, 314, 340, 939, 973 }, { 294, 296, 973 }, { 286, 287, 294, 296 }, { 294, 314, 935, 973 }, { 287, 340, 935, 939 }, { 314, 340, 935 }, { 287, 294, 935 }, { 286, 287, 939 } ], [ { 303, 797, 939 }, { 303, 307, 340, 939 }, { 340, 797, 939 }, { 307, 340, 797 }, { 303, 307, 797 } ], [ { 312, 329, 797, 802 }, { 329, 340, 797 }, { 314, 340, 797, 802 }, { 312, 314, 329, 340 }, { 312, 314, 802 } ], [ { 355, 365, 375, 381 }, { 365, 381, 814 }, { 355, 365, 814 }, { 375, 381, 814 }, { 355, 375, 814 } ], [ { 381, 802, 947 }, { 802, 819, 947 }, { 375, 381, 802, 819 }, { 375, 819, 947 }, { 375, 381, 947 } ], [ { 381, 802, 825 }, { 381, 392, 825 }, { 392, 802, 825 }, { 381, 392, 802 } ], [ { 381, 392, 814, 950 }, { 814, 833, 836, 950 }, { 392, 836, 950 }, { 381, 392, 833, 836 }, { 381, 814, 833 } ], [ { 423, 437, 967 }, { 423, 814, 967 }, { 423, 437, 814 }, { 437, 814, 967 } ], [ { 437, 967, 968 }, { 847, 967, 968 }, { 437, 847, 968 }, { 437, 847, 967 } ], [ { 428, 437, 838 }, { 428, 437, 814 }, { 428, 814, 838 }, { 437, 814, 838 } ], [ { 437, 838, 843 }, { 437, 843, 849 }, { 838, 843, 849 }, { 437, 838, 849 } ], [ { 18, 22, 847, 849 }, { 22, 431, 849 }, { 431, 847, 849 }, { 18, 431, 847 }, { 18, 22, 431 } ], [ { 435, 437, 847 }, { 431, 435, 437 }, { 431, 437, 847 }, { 431, 435, 847 } ], [ { 437, 451, 849 }, { 431, 437, 451 }, { 431, 451, 849 }, { 431, 437, 849 } ], [ { 464, 851, 969 }, { 456, 851, 969 }, { 456, 464, 851 }, { 456, 464, 969 } ], [ { 30, 464, 494 }, { 30, 456, 494 }, { 456, 464, 494 }, { 30, 456, 464 } ], [ { 57, 480, 484 }, { 464, 480, 484 }, { 57, 464, 480 }, { 57, 464, 484 } ], [ { 484, 497, 501 }, { 464, 484, 497 }, { 464, 484, 501 }, { 464, 497, 501 } ], [ { 484, 501, 882 }, { 57, 484, 882 }, { 57, 484, 501 }, { 57, 501, 882 } ], [ { 494, 497, 501 }, { 464, 494, 497 }, { 464, 497, 501 }, { 464, 494, 501 } ], [ { 494, 501, 954 }, { 494, 499, 954 }, { 499, 501, 954 }, { 494, 499, 501 } ], [ { 506, 529, 532 }, { 506, 532, 862 }, { 521, 529, 532, 862 }, { 506, 521, 862 }, { 506, 521, 529 } ], [ { 529, 537, 545, 958 }, { 529, 532, 537 }, { 532, 537, 545, 954 }, { 529, 532, 954, 958 }, { 545, 954, 958 } ], [ { 48, 57, 871 }, { 48, 506, 871 }, { 48, 57, 506 }, { 57, 506, 871 } ], [ { 48, 501, 506 }, { 48, 501, 564 }, { 501, 506, 564, 873 }, { 48, 564, 873 }, { 48, 506, 873 } ], [ { 48, 501, 882 }, { 48, 57, 882 }, { 48, 57, 501 }, { 57, 501, 882 } ], [ { 57, 506, 871 }, { 57, 577, 871 }, { 506, 577, 871 }, { 57, 506, 577 } ], [ { 233, 506, 750 }, { 233, 577, 750 }, { 506, 577, 750 }, { 233, 506, 577 } ], [ { 57, 233, 584 }, { 233, 577, 584 }, { 57, 233, 577 }, { 57, 577, 584 } ], [ { 57, 604, 887 }, { 464, 604, 887 }, { 57, 464, 887 }, { 57, 464, 604 } ], [ { 57, 887, 888, 972 }, { 57, 894, 971, 972 }, { 887, 888, 894, 971 }, { 888, 971, 972 }, { 57, 887, 894 } ], [ { 88, 617, 887, 894 }, { 627, 629, 887, 894 }, { 88, 617, 627, 629 }, { 88, 629, 894 }, { 617, 627, 887 } ], [ { 233, 636, 894 }, { 57, 636, 894 }, { 57, 233, 636 }, { 57, 233, 894 } ], [ { 211, 650, 964 }, { 650, 661, 964 }, { 211, 650, 661 }, { 211, 661, 964 } ], [ { 121, 650, 661 }, { 121, 650, 654 }, { 121, 654, 661 }, { 650, 654, 661 } ], [ { 126, 661, 662 }, { 126, 654, 662 }, { 654, 661, 662 }, { 126, 654, 661 } ], [ { 211, 662, 665, 674 }, { 211, 650, 654, 662 }, { 211, 650, 674 }, { 650, 654, 665, 674 }, { 654, 662, 665 } ], [ { 164, 165, 194, 688 }, { 164, 165, 532 }, { 164, 194, 532 }, { 165, 532, 688 }, { 194, 532, 688 } ], [ { 164, 194, 211, 662 }, { 194, 211, 695 }, { 164, 194, 695, 702 }, { 211, 662, 695, 702 }, { 164, 662, 702 } ], [ { 37, 194, 506 }, { 37, 194, 532 }, { 37, 506, 532 }, { 194, 506, 532 } ], [ { 194, 233, 750 }, { 233, 506, 750 }, { 194, 506, 750 }, { 194, 233, 506 } ], [ { 194, 238, 923 }, { 194, 211, 238 }, { 194, 207, 211, 923 }, { 207, 211, 238 }, { 207, 238, 923 } ], [ { 227, 233, 238 }, { 194, 227, 238 }, { 194, 227, 233 }, { 194, 233, 238 } ], [ { 211, 233, 238 }, { 233, 238, 925 }, { 211, 238, 925 }, { 211, 233, 925 } ], [ { 239, 280, 771 }, { 239, 280, 768 }, { 280, 768, 771 }, { 239, 768, 771 } ], [ { 239, 254, 769 }, { 239, 768, 769 }, { 251, 254, 768, 769 }, { 239, 251, 254 }, { 239, 251, 768 } ], [ { 239, 276, 769 }, { 239, 276, 771 }, { 276, 769, 771 }, { 239, 769, 771 } ], [ { 797, 802, 819 }, { 314, 340, 797, 802 }, { 340, 797, 939 }, { 286, 797, 819, 939 }, { 296, 802, 819, 973 }, { 286, 296, 314, 340, 939, 973 }, { 286, 296, 819 }, { 314, 802, 973 } ], [ { 375, 381, 802, 819 }, { 381, 802, 814 }, { 802, 814, 819 }, { 375, 814, 819 }, { 375, 381, 814 } ], [ { 392, 802, 950 }, { 802, 814, 950 }, { 381, 392, 814, 950 }, { 381, 392, 802 }, { 381, 802, 814 } ], [ { 437, 847, 967 }, { 437, 814, 967 }, { 814, 847, 967 }, { 437, 814, 847 } ], [ { 437, 838, 849 }, { 437, 814, 838 }, { 437, 814, 849 }, { 814, 838, 849 } ], [ { 437, 847, 849 }, { 431, 437, 849 }, { 431, 437, 847 }, { 431, 847, 849 } ], [ { 464, 494, 969 }, { 456, 494, 969 }, { 456, 464, 494 }, { 456, 464, 969 } ], [ { 57, 484, 501 }, { 464, 484, 501 }, { 57, 464, 484 }, { 57, 464, 501 } ], [ { 494, 501, 954 }, { 464, 494, 954 }, { 464, 501, 954 }, { 464, 494, 501 } ], [ { 501, 506, 529, 958 }, { 529, 532, 954, 958 }, { 506, 529, 532 }, { 501, 506, 532, 954 }, { 501, 954, 958 } ], [ { 48, 57, 501 }, { 48, 501, 506 }, { 48, 57, 506 }, { 57, 501, 506 } ], [ { 57, 233, 506 }, { 57, 233, 577 }, { 233, 506, 577 }, { 57, 506, 577 } ], [ { 57, 617, 887 }, { 464, 617, 887 }, { 57, 464, 617 }, { 57, 464, 887 } ], [ { 88, 617, 887, 894 }, { 57, 88, 894 }, { 57, 887, 894 }, { 57, 88, 617 }, { 57, 617, 887 } ], [ { 88, 233, 894 }, { 57, 88, 894 }, { 57, 88, 233 }, { 57, 233, 894 } ], [ { 211, 661, 662 }, { 211, 650, 654, 662 }, { 654, 661, 662 }, { 650, 654, 661 }, { 211, 650, 661 } ], [ { 164, 194, 211, 662 }, { 194, 211, 532 }, { 164, 194, 532 }, { 211, 532, 662 }, { 164, 532, 662 } ], [ { 194, 233, 506 }, { 194, 233, 532 }, { 233, 506, 532 }, { 194, 506, 532 } ], [ { 211, 233, 238 }, { 194, 233, 238 }, { 194, 211, 238 }, { 194, 211, 233 } ], [ { 239, 769, 771 }, { 239, 768, 769 }, { 239, 768, 771 }, { 768, 769, 771 } ], [ { 802, 814, 950 }, { 814, 950, 974 }, { 802, 814, 819 }, { 814, 819, 974 }, { 797, 802, 950 }, { 797, 819, 974 }, { 797, 950, 974 }, { 797, 802, 819 } ], [ { 437, 847, 849 }, { 437, 814, 849 }, { 437, 814, 847 }, { 814, 847, 849 } ], [ { 494, 954, 969 }, { 464, 494, 954 }, { 464, 954, 969 }, { 464, 494, 969 } ], [ { 57, 501, 954 }, { 464, 501, 954 }, { 57, 464, 954 }, { 57, 464, 501 } ], [ { 57, 501, 506 }, { 501, 506, 532, 954 }, { 57, 506, 532 }, { 57, 501, 954 }, { 57, 532, 954 } ], [ { 57, 233, 506 }, { 57, 233, 532 }, { 233, 506, 532 }, { 57, 506, 532 } ], [ { 57, 88, 233 }, { 88, 233, 464, 617 }, { 57, 233, 464 }, { 57, 88, 617 }, { 57, 464, 617 } ], [ { 211, 661, 662 }, { 211, 532, 662 }, { 532, 661, 662 }, { 211, 532, 661 } ], [ { 194, 211, 233 }, { 211, 233, 532 }, { 194, 233, 532 }, { 194, 211, 532 } ], [ { 661, 769, 771 }, { 768, 769, 771 }, { 661, 768, 769 }, { 661, 768, 771 } ], [ { 768, 769, 847, 849, 975, 976 }, { 814, 847, 950, 975 }, { 768, 814, 849, 974 }, { 814, 847, 849 }, { 950, 975, 976 }, { 769, 950, 974, 976 }, { 814, 950, 974 }, { 768, 769, 974 } ], [ { 954, 969, 977 }, { 464, 954, 977 }, { 464, 954, 969 }, { 464, 969, 977 } ], [ { 57, 233, 464 }, { 57, 233, 532 }, { 233, 464, 532, 954 }, { 57, 532, 954 }, { 57, 464, 954 } ], [ { 211, 233, 661 }, { 211, 233, 532 }, { 233, 532, 661 }, { 211, 532, 661 } ], [ { 661, 977, 978 }, { 661, 768, 849, 977 }, { 847, 975, 977, 978 }, { 661, 769, 976, 978 }, { 768, 769, 847, 849, 975, 976 }, { 661, 768, 769 }, { 975, 976, 978 }, { 847, 849, 977 } ], [ { 233, 464, 661, 977 }, { 233, 532, 661 }, { 233, 464, 532, 954 }, { 532, 661, 954, 977 }, { 464, 954, 977 } ], [ { 532, 661, 954, 977 }, { 532, 661, 978, 979 }, { 954, 977, 978, 979 }, { 661, 977, 978 }, { 532, 954, 979 } ] ] /* Order of PGL_2(O) stabilizers of Voronoi top cells */ [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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, 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, 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, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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, 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, 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, 3, 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, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 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, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 3, 1, 3 ] /* GAP id of GL_2(O) stabilizers of Voronoi top cells */ [ <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <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>, <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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <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>, <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>, <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>, <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>, <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>, <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>, <4, 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>, <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>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <6, 2> ]