#s idigest "0aee68d8b59dc3954f4c131435b49922"
#p 2 8393
#s name "p26-heuristic-pub125"
(((((((7332,(2718,2936)),((((2075,(462,(4274,181))),((4206,1972),(4814,349))),(5351,5829)),((((((7632,5850),(8016,2329)),((5044,817),1530)),(((((8170,(4994,((3678,1734),(2404,6050)))),4377),((((8338,4511),722),(6187,(4082,379))),623)),((2050,15),((7538,2867),(((1192,7238),4743),(3946,7186))))),((6523,(6275,666)),((((5790,351),1830),((((1287,3324),(2640,(3568,3867))),(4591,7774)),((4321,2510),1962))),((4195,4220),((1906,5162),7475)))))),((1527,7323),7423)),((((9,7207),(2338,7041)),(6080,7780)),(1019,6943))))),(((((((((157,6317),((5467,677),483)),((((((((1461,6074),43),(4338,(2071,3250))),(2282,4587)),257),(((((2696,6213),(4919,948)),(3988,(5240,4650))),(((2753,6500),(7130,(3484,3560))),((4705,3333),(6605,3389)))),((3783,(5873,7826)),((3150,1025),((((2845,(2715,2926)),(1855,(2515,5179))),(4335,(224,8259))),(659,4659)))))),(((5830,8090),5376),6748)),((6590,4211),(((((457,5866),((1706,((8286,1315),1004)),(4901,6944))),5072),((7773,4448),(3861,((4412,1083),6891)))),(((((((6989,6698),4477),7236),((1403,2685),(4188,1312))),1994),((201,((2525,5495),6367)),4766)),(((((((4842,7663),(((8019,3902),4770),7618)),5104),(4716,(3424,251))),(5750,5383)),5995),(3426,((5885,2791),1681)))))))),(((6417,2804),1621),((((1783,(973,7547)),(3218,518)),1943),515))),((((((((1785,(8111,(3211,598))),(4124,8051)),6800),7905),(2441,959)),7990),((((5103,4480),7287),(4620,2653)),(7484,(3028,2191)))),((1945,(2570,1707)),(3268,(4742,3541))))),((((((5124,5563),((113,7900),2661)),(((((4496,((2278,(383,7969)),(6329,(229,5456)))),((3806,(5800,1392)),(((8166,3955),(3918,(3592,3242))),(7788,7147)))),(47,570)),((8119,5901),(946,1933))),((((6795,7239),(8087,5581)),(3000,(3023,3949))),(6860,3168)))),((((7009,((1106,7535),(2638,(7459,3923)))),((7374,7358),(3584,(5215,7708)))),(((6670,7218),6409),(5743,7298))),(6841,((4854,((500,2999),(1145,471))),(6674,8305))))),(3467,(995,7985))),(((4495,(4642,(6511,5986))),(((1486,6432),(4460,3245)),((2119,(3693,7121)),((4456,7268),(3675,1473))))),((6085,(1096,(7120,5011))),((1812,469),(7821,3672)))))),(((((4640,(4848,((4462,(8295,3501)),((6459,((1345,1388),((944,4173),5889))),(4350,5070))))),(5237,6147)),4459),((((4896,3131),4165),(7634,3301)),(((((3404,(1406,1397)),853),(2403,7733)),(((6099,7948),((((2389,(7310,(796,6067))),(622,((417,(3894,5562)),(7313,1314)))),2754),664)),(5442,((1882,(8294,5638)),6786)))),((((5497,(7804,(93,5872))),((8000,4589),((915,1189),899))),(((((8114,(((4326,4707),4347),4515)),(3906,4980)),((((6689,(1613,542)),7707),225),((((2814,459),(7903,6307)),((6331,(3552,(466,1381))),4176)),(2982,2097)))),(4287,(3021,3014))),(7215,(5017,(((4609,4982),3514),(6351,(((1279,6734),(548,1477)),(2783,((8270,2764),4758))))))))),((((6116,7918),(3892,6854)),((((8319,1069),(4754,(890,6198))),2128),1122)),((6323,(((5528,778),1436),(((3530,((6811,5292),389)),(5347,((3910,3687),3756))),(((373,7219),105),7896)))),(2041,(5468,((3117,(4079,3306)),(((5814,6383),(4797,2520)),(6337,2376))))))))))),((((6051,(1168,5825)),(5610,1744)),(((2240,2928),((5875,3248),5822)),((((4819,4886),(5739,(901,(7251,831)))),(2962,5422)),((5163,1108),6661)))),(3431,7652)))),(((5937,(((((4216,5336),4290),(((6102,1060),674),(((2842,6978),((((5863,7036),423),(3721,(1265,7257))),(((1366,(6504,5490)),((((5656,3853),(6363,399)),(5911,(8303,4922))),(2826,7376))),((185,5431),((1484,3650),(5984,(3147,6972))))))),(((1668,3928),(2428,2595)),(190,(2344,4514)))))),((5180,6448),(((6764,5816),5759),((5473,7297),6253)))),((7611,1932),6010))),(((((((1435,2591),4780),4172),((1958,37),5644)),(8221,(3183,4721))),(((1678,897),(8269,((5787,4120),(2260,1337)))),((((7668,5860),(5197,7465)),((7917,(5662,850)),((((3261,6902),177),(5888,5224)),(((((7159,(5227,(5789,3321))),(5554,6819)),7),3262),(4435,3387))))),(((394,2821),(((6871,2784),((5810,8205),(1055,7443))),(((((4749,7981),4285),((1208,418),1751)),((6056,5734),7495)),3041))),(8104,(((((4069,7586),(6222,4838)),6656),(4929,508)),7256)))))),(780,((((((((6862,1220),4299),(3206,6654)),1914),1182),7645),((((6412,3165),1918),(((4043,4997),3039),(4454,((3645,7720),(3878,(213,6573)))))),(1361,4644))),((((((5315,446),(5712,(6084,(7603,460)))),2774),(653,6401)),(((((7863,943),6464),(7868,522)),(((7633,(6121,(4436,(7380,2517)))),7515),(8022,1427))),((7427,1605),(7651,7878)))),((1014,3208),6107)))))),(((((1346,((5804,(7504,(6096,4624))),4306)),(3559,8027)),(((5404,1183),(1411,2741)),((5082,(7085,7511)),((5762,1347),7091)))),(((1757,(1488,5685)),(2968,1567)),((4700,(3998,7223)),5629))),(((472,8375),((6646,8163),8317)),5394)))),(((((585,470),(6938,(6537,5001))),((7182,(7835,7604)),4046)),(((((4907,((762,(8124,(3886,7040))),((((3108,5280),2837),1119),(1089,2362)))),((4727,1793),(5257,(2445,2860)))),((((2829,(6597,8265)),1232),(5152,(1780,(5561,(6729,(2424,6472)))))),(((7855,5185),(4426,7172)),482))),(((1367,(7876,221)),((((3420,5038),(2624,3831)),((((7099,(8118,7882)),(127,6219)),(4971,4844)),2824)),((1051,1377),(2983,2022)))),(((2683,3523),(6017,(2678,1475))),((42,(((6977,4015),1603),8383)),(5457,3311))))),((6791,((2494,6920),((5458,((2116,5654),1399)),4073))),((4885,(2509,3680)),2221)))),((((((((((8079,5928),5474),(((((2103,2964),(6252,4966)),288),3553),(5864,8188))),((((8175,(2608,6578)),3214),(5330,((((3983,2109),(6106,7084)),(6622,4077)),(((5990,337),1213),(4330,(6671,((719,2004),5232))))))),(6948,5658))),(1982,(7621,7490))),(((806,(2299,6282)),((688,((1947,4061),(3740,6718))),((4371,((((6781,6298),5588),(3654,7391)),3362)),5922))),((((3138,3533),2680),(((4567,(3635,1512)),3903),((7558,5839),(5564,4294)))),(5699,8151)))),((((6963,139),1173),(((2974,8054),2956),6607)),(((713,(4778,7196)),((6915,7466),((7088,781),4336))),((((1206,6560),(4769,(4599,6826))),((5617,6512),(5132,1219))),(6306,((1453,(888,5460)),7170)))))),((((((((1029,2832),1132),4227),4807),3403),((2080,3227),(((2422,7487),1999),969))),((8309,922),6440)),1846)),(((((5946,4014),((91,(5146,(130,5411))),((6660,4830),(541,(2723,6321))))),(5165,(183,7392))),(7902,((1755,(6543,476)),572))),((7731,(5867,(((2929,4571),1931),6741))),((7138,((7373,5834),(((1550,6550),4230),(2628,(6233,5696))))),3628)))),(((2361,6460),(1806,5547)),((7775,(8222,(5334,8160))),7448)))))),(((((6699,(((493,(((3025,3776),2670),3469)),5708),(1686,(((4178,4328),7962),6586)))),(((6065,6465),5098),(((5147,467),(6394,7546)),((5692,1118),(((6234,5631),(4471,3462)),(5441,(((6326,(2205,3099)),((6444,(3885,3395)),(5902,5348))),5988))))))),(((1239,2633),((((597,6406),((5006,2410),(7728,988))),(1604,(4071,6589))),(4757,((((6345,1130),(3957,5880)),(8220,6303)),((((794,6461),(4534,913)),(((658,6255),(311,1929)),(((5387,6437),1952),(6451,3578)))),(4687,(4109,8020))))))),(((((8308,(3531,(6733,((4252,2828),((208,4647),5416))))),((((7514,6644),((8301,6087),6998)),3932),8212)),(((6816,5358),4622),((1203,((3073,8198),1897)),((8152,(731,7752)),(((1487,6375),6767),((1326,1896),(301,(3371,(6287,309))))))))),((1542,((6780,(772,6016)),((25,2613),((8376,7295),(5796,7661))))),(((((3048,5100),(3478,(5003,4473))),((2209,6937),6279)),((((4871,4494),3312),(3529,(3276,(4564,5444)))),6639)),((((((5261,(4116,4086)),((7329,1513),(2216,3842))),(2911,((5496,8392),((6582,1212),(2704,650))))),((((((8125,(((7104,2922),1021),((5378,6211),5941))),(2220,(1251,1843))),(5570,(7472,8328))),((((5226,926),3152),519),6982)),(((((5958,(3927,2890)),6072),(4205,(3855,2182))),(((928,4076),1539),(((3517,5923),5266),6069))),((((5074,6271),4535),((7156,1323),(((4039,(8069,645)),726),((7178,1181),3167)))),((6199,(3463,6865)),((1278,((410,5101),6716)),(((976,6501),3374),((((1444,7921),7028),(3963,5140)),(1939,(1551,7986))))))))),(((3835,657),(6790,2879)),((((6789,(1000,2273)),((7095,(5965,6206)),33)),((1467,991),20)),7822)))),((3297,1620),(7037,5039))),(((2073,((((6658,3686),((3810,3235),(6244,732))),1792),((7554,277),2137))),((8072,281),((6439,(1242,4089)),((((5612,7682),2629),(6814,(4032,6182))),((2903,8247),(8195,(2279,4310))))))),((6828,3984),(((((((4360,2538),(6019,(5843,7730))),((3392,((5500,1114),449)),1348)),(153,7590)),((3163,3033),187)),1978),(((((5660,3097),8185),(6584,(668,7347))),(5501,1428)),(((7394,(5225,2622)),1838),((((((((5396,8095),(5854,(3357,6579))),(2948,7735)),(2471,((98,7208),6945))),(6226,(7351,2131))),(((638,1673),(8126,(1292,1035))),(3555,661))),(8011,2271)),(2066,1714))))))))))),((((818,7579),((985,7920),(506,(6571,6272)))),((6985,3254),(2405,(1946,((5489,6013),5785))))),(((((((1499,((2729,1791),3986)),((4860,1689),5453)),(7787,6804)),(((1409,6736),2609),(7488,(8112,4803)))),(((3027,(2585,2706)),1701),((2255,335),(((7627,7904),(((3898,3856),2340),(((2223,747),4788),13))),((2527,(((2933,5910),3704),((1281,(2141,990)),2667))),393))))),(6594,3179)),(((((((((6904,6514),(((1081,2746),(4474,8379)),((2461,2620),(7506,1224)))),((((2331,7625),3468),(6794,((2002,1262),(6759,7899)))),3709)),((7906,2760),3359)),(4340,((4744,((2686,812),(2352,721))),785))),(5063,7683)),(((1138,334),729),(7848,(3921,6817)))),((((7762,1483),7596),((((8085,(7824,4800)),3720),6092),((6521,5737),1540))),(7498,2394))),((2934,((2943,(1497,2085)),(3956,((3727,1072),2491)))),((((2953,7691),(445,1383)),(4479,3722)),2181)))))))),(((((((3807,4735),2478),(4356,(6372,(8325,6154)))),(2938,2722)),((4953,((((5728,(2383,(5738,3824))),(132,(2203,(6342,6961)))),((1097,(((7961,715),2554),(7303,2803))),(((5483,3448),((5953,5200),((6158,230),5905))),381))),(272,(2302,102)))),((1447,((1026,4212),(1434,5717))),(4199,3116)))),((((5427,7845),((997,(5105,3036)),7677)),((((1267,6155),((((3781,1771),(2200,1085)),2318),(((777,(700,584)),7473),((4170,(580,7750)),3516)))),(((4125,7006),(3190,4633)),(906,(((243,(7273,1570)),(2011,8154)),336)))),((((1143,7737),((4504,7993),(865,((4219,2307),1671)))),((2234,1764),(398,3734))),2539))),(4469,(7614,5855)))),(((((((((2170,(4331,(3001,(6015,1303)))),6881),(625,4909)),((((4379,1501),((((547,4484),(1685,6526)),(((2406,3657),(8084,4434)),4831)),4169)),((7706,(7724,7139)),((8130,(6967,6183)),((((1969,7616),(((((2035,2432),5933),4664),(303,7425)),2230)),(((6114,4298),6184),(3205,((7162,6712),4012)))),((1441,4307),1466))))),((((512,5931),(1147,(3590,3539))),((6541,(((1579,2739),6752),(1769,(((4755,3198),3629),8086)))),((((629,5603),4891),4182),2202))),(((2070,7852),4409),(6603,7407))))),((4561,4300),((3106,((6610,(4265,3443)),(7763,(((1993,4342),4420),7102)))),(2146,1401)))),(3425,(((4876,6912),7161),(1832,(593,6145))))),(4503,((6568,7828),(3341,(5319,2880))))),(((8211,((((3358,5684),6735),((5522,3920),2857)),(((3175,7450),7167),4148))),(8099,(4358,(8101,1400)))),(((2657,(2196,8243)),((5751,(6818,7128)),6916)),((3016,3573),752)))),(((((3683,4398),((5249,1572),((8036,7567),7610))),((5665,5625),((7194,((907,(((4949,6136),((4087,(4315,3770)),(1756,333))),((4547,5786),(5303,1548)))),(((5027,(4241,(1865,3641))),((4673,7035),((1880,1417),(960,6906)))),(((4720,4960),8138),(((8236,5078),1703),(5801,6866)))))),7686))),((3866,3522),(3694,(2636,4106)))),((((848,((2134,5655),((((4961,2413),2738),2834),(((2646,4516),((7789,8218),523)),(((4236,2249),1805),(4951,984)))))),(((7588,7692),3702),(((1809,((((8158,6400),(7640,4662)),2588),8233)),(5524,(((5919,(1059,5046)),5051),((6951,(1005,(3937,6651))),3077)))),((7398,(2927,4017)),((7000,7757),(4946,(1606,4621))))))),((6809,((5022,7316),((575,632),(5908,(1763,6398))))),((844,(1732,4452)),7696))),((((605,((5305,5693),3184)),5123),236),(7589,1552))))))),(((((((((5820,5389),(2225,(107,(56,(1301,4652))))),4847),(2411,(4372,(3607,(((2431,5357),1913),6475))))),((((((2385,(1151,((258,6548),7800))),((((((6836,5566),4361),631),8390),2269),2265)),((5037,3006),(4657,(7622,549)))),(1405,6059)),(((6840,4053),(2514,((((7938,(551,2529)),4074),(7400,3663)),7530))),(937,(6295,706)))),1531)),3841),((((3966,1842),3125),(((((5012,(686,263)),(3913,4035)),((5166,3369),((((3344,8146),((6302,3815),(3691,6036))),5172),7901))),((1022,4915),((((138,237),((((6839,189),1963),((2811,(1611,4067)),4760)),4029)),(1174,3076)),(5767,(((2356,(2604,7570)),(374,254)),((6381,(7952,6399)),(5770,1683))))))),(((4761,6098),1266),(7011,3176)))),(((264,6090),((7754,8107),1141)),(2485,3196)))),(((((6587,8113),((((691,967),2081),4218),(3975,5730))),((((((5925,(4684,3748)),((3556,(455,3224)),(((5878,((4140,(206,3052)),(885,1272))),8381),((7639,2068),(7018,4881))))),4062),(((((8242,(7940,3222)),((111,48),((6583,7672),7964))),((((956,((5447,7539),((940,1817),8387))),7370),(7451,(1065,(3637,(3231,931))))),2830)),((((6962,3896),(((1149,(5203,7991)),6489),2546)),(2581,7854)),(((4449,7261),((3618,7382),1600)),((((2047,3444),7464),2446),(((6365,((8055,(8374,7210)),7183)),((2283,(7915,3685)),(5792,(704,8262)))),(4623,6799)))))),((((((2388,2632),654),(7206,3334)),(6765,(4617,1124))),(((8362,386),2208),((3249,5231),(5065,1894)))),((7195,(823,5167)),(4905,7474))))),((5659,7354),(1062,80))),((3793,4675),((((3482,3731),6730),1217),3893)))),(((7798,(5454,(3882,4979))),(3755,2771)),((((421,(5210,4858)),7862),((7726,7434),1818)),(5345,((5852,6724),1331))))),((((((((((((3551,6484),1758),6958),((3188,(35,4251)),((5464,361),((58,5649),2217)))),(5502,(7820,4846))),((((3606,3035),6564),4892),652)),(((((5517,8287),3714),(128,(3044,921))),(2502,(3499,425))),(2381,(6411,1986)))),(1112,((((795,((7436,(((118,(1137,4970)),(2987,3432)),(3763,4445))),(1866,6026))),((2869,8136),((5678,2910),3729))),((((3451,((680,4704),3100)),1662),4145),(8047,5974))),986))),((((3857,(((4041,((2112,7723),7703)),(5300,(7026,6532))),(7002,6237))),(((242,7562),((4812,1015),6093)),(235,7970))),(4883,2549)),((((7995,(4375,(7817,497))),5191),((1935,(2697,(5014,(4600,3212)))),(1921,(6011,((6742,5526),4065))))),((3383,7090),(6370,1973))))),(((7378,(3626,2762)),(884,5349)),(5317,(6824,(8132,3122))))),((((6239,(8281,2701)),((8162,((((52,7403),3064),5707),8258)),(600,((4185,2052),(3743,7158))))),((4859,4175),6971)),(((((2504,7548),(7152,8352)),((3973,(6267,5877)),(2863,(4726,4498)))),((717,7169),((2433,6717),(3042,(3178,4639))))),((8181,646),((895,2421),(((7304,2012),(5205,(3799,5545))),((1002,5832),(1534,7312)))))))),((((475,517),(869,8356)),(1144,((1776,1187),(((5844,7599),1425),5765)))),(((8290,((480,4194),1638)),2054),(((((3805,(1462,7255)),5256),(7048,5939)),((((2024,(((2710,5096),3868),((((419,7870),8302),((516,3929),(5749,1456))),6023))),(1199,7339)),(8172,(949,7405))),7924)),(((((4136,(3322,(4259,4344))),((3567,(324,(7532,7746))),7131)),((((((4810,1773),3370),(((2414,6128),2007),(101,8273))),2176),(((7572,(4258,((5112,1102),(((3818,5615),5169),4493)))),4008),((4280,(5898,1468)),6325))),(((6719,1664),(1370,7044)),(903,5414)))),((3132,5975),((789,(7204,(8199,(5214,6737)))),(((5312,2920),5168),(1018,(2257,5620)))))),(385,((((4888,3775),406),454),6706))))))))),(((((((2780,(709,2098)),2886),(((535,10),(5314,6738)),838)),(((3481,5640),(7166,571)),(2305,(7320,7409)))),(((4682,5239),(1241,7212)),(7688,((6611,((6508,7096),((7282,3511),3294))),(5634,((2105,8343),6205)))))),((8187,6677),((6857,2366),(3865,3270)))),((2304,(6714,4626)),((((((635,2590),6572),(2077,2583)),(2272,8277)),3134),3428)))))),((((((8035,(((5233,5807),(((6694,5432),3187),(4111,(3753,(2592,1343))))),((((5009,((((7262,(6435,6035)),828),7086),5938)),((6058,(5841,1061)),(((3930,4625),6783),2120))),(((5309,1622),(7721,(316,3728))),3583)),((((((2330,159),(7233,3605)),(((2167,312),5263),7294)),(7841,(8349,2058))),((((3992,2662),(6888,1140)),((4611,3958),(7107,1256))),(2164,7973))),(((((((6214,(((4180,1859),5034),((3273,7689),((4370,22),1536)))),(5362,596)),((6792,2524),2614)),(((6230,3410),((((8320,8314),8260),6261),6600)),(7667,6378))),((7145,3970),8127)),((461,7007),((6379,5021),(2921,5285)))),(4058,(((7631,(6581,5579)),1868),1541))))))),((6858,829),((1895,793),6766))),((((1502,((4697,7759),4368)),(6441,(((8348,5753),(3135,6086)),(4244,4393)))),((6905,((6849,1910),((((6829,(3015,4674)),((1255,((7087,8267),6745)),297)),431),1923))),((4861,5271),(7065,4470)))),((((2560,5687),((4223,((8164,(7500,6678)),5827)),6186)),((((8203,(18,3600)),((5278,7246),3480)),((1470,4715),4348)),(612,4292))),((((((5189,((8292,279),6334)),((619,2915),4394)),((4548,6852),6707)),(((8173,8194),((7300,1883),7771)),(3010,7829))),((4782,(2577,5377)),(893,(3936,4828)))),(((1779,7949),(5720,7250)),(5556,(4166,1120))))))),(((7768,((((2199,2838),7175),((2087,2349),1493)),((1341,3347),((4987,(7456,3364)),8344)))),((6697,(3997,4823)),2626)),(((((340,(2316,(5142,(2187,3938)))),((2665,4121),861)),((1741,(6377,(342,2909))),(((((((5352,8145),((95,5543),((6491,5064),(502,3926)))),((((1992,(2872,4686)),6709),(4791,391)),4064)),((((7518,4984),44),1076),((2489,3924),507))),(4085,(2053,(4103,8110)))),(((5058,7359),(5647,6637)),(((((7192,4088),(4689,343)),(5599,4562)),313),((((296,6520),7859),(4083,4027)),1359)))),(((860,7996),2219),((4649,2551),(((3597,((23,886),(174,(2757,3423)))),(6463,7885)),2056)))))),((((1372,1079),1559),(7571,((2990,1985),6055))),(((331,1863),(7957,(3174,((3005,814),5580)))),((129,((137,7811),4362)),((((453,7249),6692),(4501,(6353,6801))),(5756,((2065,3228),4978))))))),(((((7739,6039),(6908,((6976,((6386,3130),6940)),8191))),((3802,5199),8193)),(((2438,(1221,(6397,7606))),((((7847,7254),2589),1227),((((7719,4313),(5871,5403)),(((4553,987),4411),(4825,((4248,5551),2571)))),(((521,1053),5036),((4948,(((4214,3978),8083),(4413,807))),3496))))),(((6142,1188),(((3569,1836),(2387,3067)),(8291,(7371,(2395,1299))))),(((2014,((7838,(8393,(7520,2397))),1873)),(1733,((1402,8288),1745))),(404,(6832,2353)))))),(((((46,((882,(4177,5746)),(4044,(3700,((2149,149),1949))))),4275),(2358,2277)),(((6708,(3490,(7066,7289))),(6701,(2937,1171))),(6122,3989))),((((1178,1702),8256),(4499,4418)),((590,((1845,2747),3764)),1020))))))),((2700,4702),((((4671,(1209,846)),3994),((7561,(6574,1037)),((((5705,(7662,6308)),(428,1790)),4811),(4857,3219)))),((((4692,((7404,2856),(((8070,7927),((3916,982),((7540,3070),(1834,7258)))),((5568,(3166,656)),(679,4572))))),((1576,7068),(((((((5968,7016),3719),3381),1460),(880,4768)),(((((((1340,6029),(8052,3510)),(565,(((1184,1351),2998),5539))),(((6863,6662),5220),1408)),(4771,(4804,3545))),983),((852,((7494,6157),(2227,186))),(((((3046,3904),(6834,3838)),(7072,3182)),(7881,4852)),(4410,6164))))),(346,(1190,3524))))),(1545,5899)),((((((367,((1110,(((5582,5040),1990),486)),(((((5536,5267),(6355,7516)),(1752,(2153,1152))),5718),(1030,(6917,6218))))),(7350,(2439,(6502,((3581,5992),((2280,(5870,1814)),2076)))))),((2985,1907),5996)),((135,1500),((((7807,(1977,(4799,4408))),8116),1510),4198))),((5068,(144,7063)),((5973,8021),((8367,((196,178),3745)),4190)))),(((((((6744,1926),(((((5281,4943),(7275,7345)),(7057,(5482,1713))),((7328,4385),4900)),(((2148,((6173,1636),((4863,8003),6774))),(649,4424)),((6179,(1,5821)),816)))),5761),(((3281,6216),((1478,(269,5682)),1508)),((1715,(4559,3049)),(3308,(((167,3286),2032),7568))))),(6120,((((1937,(((2663,6108),3767),6350)),((414,(4186,(4711,267))),((3703,(((1652,2122),8368),(5216,1674))),((4653,4822),7874)))),(((4945,((2547,((1680,2057),1663)),11)),8179),(((5576,7141),4417),((8050,2876),3455)))),((((788,(8358,6968)),5626),4793),(((6851,6273),4592),(((((7150,(2766,7271)),5523),2440),((2492,(634,(6301,7318))),(7871,(2341,413)))),(6095,(2369,1270)))))))),(((((843,4677),(((1853,5243),(7082,173)),6415)),((2237,((525,(7764,6847)),5071)),((2481,(2776,820)),8128))),(7454,2393)),(5295,(6284,4855)))),((4442,((((((5926,(4565,3013)),(4289,1887)),((6426,((3433,7541),3627)),7660)),(7154,(7670,4353))),6547),5235)),((3307,((355,1325),2768)),(((7732,(1571,1135)),(5102,(7698,4107))),(((1543,7675),(5886,1971)),6344)))))))))),((((1311,((5375,((156,3030),2142)),(3185,((2346,(7872,14)),((6984,7641),586))))),(((4284,(((3060,5045),7898),1226)),((((((((809,2914),219),(1608,5613)),(1799,((2367,182),4805))),6723),(((2801,7545),5121),(2241,4765))),(1285,4538)),5689)),(((1474,1495),(7267,8359)),(7812,5476)))),(((((1649,((7469,4464),((((3401,7556),763),(2997,(2017,6283))),6617))),((2201,(7890,5480)),((5745,5151),2124))),(7935,(7111,216))),(1987,(((1655,(6167,(134,5176))),(((6330,1111),(3544,1134)),(((5553,2268),(5858,2812)),(1696,7958)))),(((207,4345),171),(3870,(7620,6867)))))),((2003,(7259,((1384,5149),(6613,(8316,7716))))),371))),(((((((7534,(2378,7781)),(((7832,1772),7408),(3538,(1024,(4301,3817))))),((253,(2748,4648)),(((2584,(8341,6672)),((1753,(3834,5711)),401)),((((408,5081),(3051,2668)),(6041,5618)),(5774,(7245,7785)))))),(((((((5578,8207),6190),7396),((7795,(1823,(((4728,7655),3078),((4738,559),5402)))),(((7646,(4540,2679)),8332),(((2496,643),((5326,(3136,5007)),6315)),((5056,2048),(8067,(2952,3869))))))),6332),(((((238,125),7386),(842,(6070,7937))),(203,5265)),((1048,(3690,7234)),723))),((((8228,5993),7860),((6953,3345),7926)),((6138,5420),(((6895,4585),((7253,3502),(6348,7942))),1077))))),((3667,(6175,626)),(1807,(7266,((7965,5478),3181))))),(((((((((2557,4102),(4732,((2015,3732),(2101,539)))),(((((((4875,7626),(3038,(1648,3688))),1225),(4517,5178)),(531,(7738,751))),(3459,(8093,3537))),((7779,(6903,2215)),(1371,((6664,6243),(5572,(5073,36))))))),(2311,1775)),((3613,(4568,6928)),(((((3820,6481),3679),2596),(((7533,(3630,3266)),7452),((((3812,8062),((8226,2),1517)),(((2233,6999),1479),(5128,(((6728,490),6777),7231)))),(((((6022,4974),4363),4636),((6232,2019),(3194,1471))),(5209,(((4806,((5059,7656),6522)),4808),3883)))))),(3486,2506)))),(((((103,4023),(6419,1970)),(5794,1420)),((6474,3253),((1133,(4224,(3416,7576))),5869))),2264)),(2637,8334)),(7650,((7365,(3143,4867)),(8385,6027)))),((((((1565,2231),2600),(((5321,6097),5487),8015)),(((6964,1849),(7593,3951)),(6911,7410))),(((1747,(4359,4781)),2594),(2727,168))),(((4450,(((8377,6061),(6988,(3485,1581))),(((1200,305),3890),(8289,5929)))),(247,4629)),(((((4226,3707),(((4401,2310),(1524,5010)),(3421,6609))),(184,710)),((5962,(3859,3417)),5306)),716))))),((((1360,(3081,5983)),(((7100,7237),(594,7978)),5944)),((((((4619,4461),(4376,4612)),((968,(4204,8315)),5066)),(((1056,7020),((((4573,2459),((3043,5499),1618)),2736),(((((7144,((979,(952,(7753,5023))),4543)),5268),1042),2044),4537))),(1824,1950))),((1418,(5130,((4488,1068),((3713,6773),5909)))),((4276,5771),(6257,5338)))),(((5236,(5703,(119,(7214,7080)))),((3712,711),((8279,7994),(((4878,1374),7361),(((5670,7657),5083),(8031,((4977,2293),(395,8098)))))))),(4024,((((5421,1643),4481),3408),((1911,49),696)))))),(((((50,((((7956,930),(6077,7117)),7636),(3054,7064))),(2530,708)),((8353,((246,282),2840)),((7372,1283),6872))),((1003,(1557,2851)),((4667,(5173,2399)),675))),8310)))))),((((((((7127,1298),(((5607,(3140,7543)),((7846,2854),((1770,2501),4249))),((392,(2689,((1333,753),7512))),(2096,7322)))),(((((2036,(6894,(3596,4925))),((((((((7081,6554),((4914,1587),(1723,4936))),2332),(1378,6755)),(2761,3580)),(((((5363,5241),(5110,6180)),2533),(((1961,(1657,4002)),7290),6797)),(2384,2158))),5183),((((((108,8372),(8123,(3701,192))),(6374,(3562,5242))),(((720,6899),(3715,7601)),6338)),7302),530))),(((4322,273),8150),7856)),(((4262,(4468,7163)),5221),(((3862,7077),(8153,669)),((5401,2117),(6215,((283,(2947,7135)),(286,4492))))))),((4332,((7778,6428),((5156,((6530,1588),2908)),6241))),(8190,(8007,6468))))),((((((1997,6162),(4708,1738)),5028),(((((4903,1364),77),(6427,(620,8043))),(((6276,((5851,6652),4327)),((3636,(3614,7744)),((5075,6955),4870))),((((5757,6772),5054),((8059,7103),(8298,2735))),(((4605,5413),((5932,4531),3981)),(((5694,941),8025),6047))))),(((5701,(1964,((8106,5350),(((5677,6632),7338),((8169,(2192,7067)),((3339,6197),(4055,3785))))))),((((560,21),3012),(((3158,7523),6570),(7574,(1998,(488,7607))))),(3673,(((6420,344),2676),(1057,7269))))),((5641,800),1349)))),(5229,((((((3402,5385),(786,3009)),5342),(((1749,8208),((((2499,5310),(212,5741)),4354),(5187,((1074,(5031,7491)),7685)))),(1528,6495))),((((2204,(528,4890)),6882),(5177,7188)),(((((3684,7060),8373),3876),(1803,4518)),(904,360)))),(((((1665,2980),(2423,1874)),1975),(4751,(1854,3612))),6602)))),(((((4663,6879),(902,3236)),((3682,(409,1967)),540)),(((((745,1084),4887),((5201,4157),(5219,(4999,(6339,((887,6471),3363)))))),(((((((4820,(3353,6131)),(7073,4753)),(((8229,671),6702),((970,2038),(4030,5137)))),2819),((5450,1313),((3939,2256),(3394,(6160,3272))))),(7959,(1917,(3246,665)))),(((5084,(6040,(6063,1049))),(3739,(7628,4792))),(7615,(4098,6659))))),(((1193,6927),(1630,687)),(((5371,3155),7177),(((6720,3445),5114),(7209,5369)))))),(((5763,(7963,4373)),((199,1632),1592)),7157)))),(((((1801,147),(7292,(583,1709))),(4874,4075)),(6364,6787)),(((((4020,330),4598),4991),((8239,320),((1719,2150),((4104,5465),(4655,5331))))),(3412,((((6006,5713),2751),(((((4389,((5298,456),(673,(7418,2396)))),(4679,3115)),(5552,(1463,4500))),(((2796,(7767,4734)),6525),(368,7349))),((((7012,2896),7891),152),(5355,4736)))),((734,3438),4429)))))),(((3240,(((5797,7149),(7222,5616)),((((5164,(((1389,3202),((1960,5475),(5207,4895))),(2118,7613))),(1561,116)),7001),((((6919,3230),(579,7369)),1376),((((2197,(1163,2902)),((2651,5948),(6259,4882))),(2195,3875)),((((6091,(3384,8389)),6454),7729),(8230,3822))))))),((((((8100,((((5316,4423),3085),(((7449,(2454,5577)),8033),8215)),1511)),((((((684,2474),((5384,513),(7299,((((1412,4022),(6731,6390)),(4210,4293)),5258)))),(3692,5808)),((3634,(2179,8329)),6389)),(53,3487)),((((3393,(2303,(1577,2841))),(((6868,4159),4638),5129)),1892),((3197,5575),(((4785,(3758,7801)),((((2528,5740),(5642,929)),5546),962)),1050))))),(((((((2464,(910,7954)),(220,(5646,2476))),2650),(768,6254)),(3201,4171)),((8382,2263),5748)),((5283,((7027,((1023,1554),4691)),6110)),((1553,(((((7584,2178),2808),3971),((87,7843),(1170,5486))),(2730,(2500,7129)))),((3766,6757),((5714,(1336,3209)),(4865,(2452,5095)))))))),((3576,(((1899,4288),6536),((((4815,5585),(1829,3109)),((3620,6382),((12,285),((2177,6519),3123)))),(950,6313)))),(((1414,363),(5531,2456)),((((250,5193),1867),((((1872,8326),5053),(6503,6192)),5160)),((6025,(4569,(6291,31))),(28,7356)))))),((6078,(7521,(2418,2731))),((((6268,1162),(8144,1246)),((3335,3074),1767)),(((434,1293),(141,1684)),(6476,5412))))),((((((7653,2756),((2010,(5779,4593)),1165)),(((1582,1516),(5382,4040)),((6288,1877),356))),(((8216,4563),((6001,(881,2977)),8219)),4877)),(((8097,((6959,3648),867)),(6343,(1032,(3595,3521)))),1129)),((((((3388,2925),7411),(3879,(3689,(821,3525)))),(((((1235,3941),3800),((((742,4271),4465),(6033,8142)),(((((5606,3440),(6060,3503)),2006),((4950,(4021,6414)),4724)),(977,(2789,6649))))),((((7840,3518),4723),((((((6924,7851),6449),4108),((1394,(836,3677)),(3642,4963))),(3572,5535)),(((4049,(7059,6467)),3749),((6161,(8274,8108)),(429,7791))))),1560)),(((4955,4507),(1505,7813)),(7527,2769)))),(((3446,((62,1597),(7537,4661))),3080),748)),((2193,1194),(294,7075)))))),((((2631,(4036,1669)),(((7426,5089),((6995,7430),6721)),(3318,1616))),(((7489,((3019,8342),(892,((6357,819),534)))),(((2415,5530),(7284,2458)),(7276,((5269,6542),(2971,592))))),(2321,((4845,(5198,7595)),(8257,((((((1796,1828),(5181,504)),((8321,8284),((5883,(2262,2758)),4037))),2300),((4047,7116),((1373,(5144,1252)),2688))),((((3338,8167),(7132,642)),((6531,2089),(2733,1090))),(2180,((((992,7056),(4938,5060)),(8241,(5868,2818))),(2382,5277)))))))))),((2226,(6588,((2924,7499),875))),((((314,3858),((((4483,274),(5630,1623)),2026),(((4525,66),5980),2222))),(1385,5244)),((((2849,2720),((2254,1795),2357)),(2505,(1566,(7879,4635)))),(((8346,7483),1957),((6082,(6979,3666)),(3378,8156))))))))),(((((((639,(1105,792)),((1274,3639),(1375,(2186,5735)))),(((2251,1727),((7722,((4122,980),5299)),8082)),(898,1594))),(((4570,(678,3120)),(((7243,6346),7895),(((4149,(2448,1092)),((3751,5423),1127)),3716))),6429)),((((((4367,7263),2111),(7252,5831)),((7988,((2427,8121),(857,5087))),((2374,(6210,(((1167,(7005,7105)),4451),4139))),(((2169,2173),6936),(1047,7597))))),(((2029,(8004,(4007,3153))),(((7379,3316),7335),7700)),7213)),((((1688,627),(3757,5903)),(((((2436,1330),3909),2687),1904),((6952,4052),(378,3768)))),(((4772,7784),(6497,(3464,((((((3091,7803),6595),(1335,328)),((4323,(4916,1556)),1690)),((4923,5722),(7711,2213))),(6623,(3355,((2466,6992),((3313,4168),((1811,2363),172))))))))),(((244,1710),(((2172,3037),7755),(6391,(6633,6031)))),((((2244,(3638,(5509,2152))),(2534,(4962,(2512,7551)))),(5170,3881)),(1357,4245))))))),((((((4127,648),(4305,(1210,3769))),(((8318,99),((2001,6366),255)),670)),(((3519,(4268,1446)),((((5755,(420,5784)),((275,((5727,6246),3505)),(6228,5798))),2919),((((3409,(4129,(4346,3328))),4574),1968),(((((6049,4527),(5282,((4521,(1871,(1860,((4939,5048),7286)))),(5824,4415)))),((6650,((3900,(3823,(4009,(7502,864)))),(2714,(728,4164)))),(6624,(7098,(5069,6859))))),4482),(447,(((3543,3575),(4441,268)),(2232,415))))))),(((2573,(7509,538)),4490),((8369,(8029,4737)),(((7229,7951),3664),6842))))),(((((((((1481,6909),(180,1010)),(5690,((2211,5418),(((6997,3269),(7388,1725)),6682)))),((1066,1898),(2136,(804,6425)))),((2712,3733),(((3124,5555),((6710,(3186,(2574,2092))),(724,4835))),6534))),((((1626,2728),(((1396,((((1426,(((7023,4921),(2359,(4497,8149))),((6404,6974),1523))),((6045,(1533,7331)),(5959,(5966,3199)))),((310,(4019,(3897,162))),((((8350,6188),4191),(7699,((1249,2391),((6266,2695),7181)))),((7140,8252),6159)))),((908,1955),(((2939,1277),(((2292,(6165,(2031,((7285,6054),265)))),((7032,802),7046)),6687)),(((5141,(120,359)),(933,(5365,3275))),5361))))),(((552,7743),((2542,1704),4217)),(2586,(8237,(7713,978))))),(((3465,7414),((7199,7976),3474)),((((5664,(7825,((7553,5558),2522))),((2285,2151),((3360,((6653,(7050,6751)),2409)),((4703,1900),(((1243,7955),2901),3759))))),((((4981,(5601,4595)),919),((4843,6360),2453)),((((((2125,(6152,8064)),(((3681,1250),(7578,3390)),((5542,(4209,4351)),((4233,6796),2467)))),(((761,6249),(8255,4153)),(3405,(1942,5645)))),((7842,(5934,4281)),6361)),(4956,7758)),(226,((8140,2407),5091))))),(((1395,4965),2716),(((1429,(536,4400)),(7745,7892)),((2033,7522),5663))))))),1052),(((5113,(6929,2673)),7412),4132))),((((((1422,39),((3742,6987),(3169,7293))),4403),4818),2027),(((2483,3427),((5602,5887),382)),(((426,(((8227,((1067,(1876,7334)),(5043,(1407,2607)))),4135),(7968,3274))),771),7629)))),(((((((((8057,(7168,2931)),((8186,4712),397)),(((5247,((6813,(6887,764)),6289)),((2261,((5853,5945),4552)),7528)),((((1675,5609),(6030,3295)),7624),((3976,1718),(1469,2113))))),((((858,((3561,2043),7279)),((((5529,3948),(((4913,1856),(5013,5328)),((4155,6269),8141))),(3791,7097)),((767,1491),3237))),(((5409,4798),(3300,((6778,5835),7619))),(((6892,2090),((2981,3940),(2610,7941))),((3146,7886),1596)))),7467)),(((((((((6119,(6486,7439)),6785),5775),(3848,4070)),692),4060),((1503,(86,(4431,6910))),(3744,((((((3985,7802),4163),(7910,498)),((4081,5288),1316)),((1532,((1635,(((5364,7399),(5262,((1778,5329),6028))),3050)),(5254,(((((6172,(4933,1317)),(7055,4990)),3093),1509),4311)))),6407)),((((290,1786),7525),4213),((6359,((1036,(3854,1205)),(4821,736))),7277)))))),(((7573,(((3192,5621),(114,2905)),(7971,3829))),((1269,4528),((5030,5811),(3411,557)))),(7816,2630))),((5195,261),((3765,3784),2883)))),(((6305,((7818,339),((407,(2559,5651)),4773))),(((((6991,5148),(4006,(256,((2563,3310),7220)))),(((6669,((6247,17),8244)),(1263,8076)),(3024,(1720,(5806,(8137,(6518,3670))))))),(3292,(7883,1198))),((((((((5491,(354,2923)),(1901,2267)),7433),(3368,((2565,(2503,1382)),((782,240),(1641,6347))))),((4930,6225),(3450,2493))),(6333,((3382,(163,(7987,6619))),872))),((((3139,6747),(7043,8174)),((2165,2750),851)),((((3880,2281),(5963,5661)),8254),5723))),(((587,5230),(((5970,(2067,(827,5333))),(((2725,7109),939),871)),((563,((4651,(5952,84)),(6300,6591))),(7437,3814)))),(3746,(3011,1525)))))),(((3962,6567),(1087,(5272,41))),((487,79),((((4455,2850),(4384,(3725,(((1245,6202),(3151,228)),4386)))),4162),(3747,3662)))))),((((((7923,6319),(7908,2918)),((((2675,2884),739),(((1291,3225),(7336,8103)),(2916,73))),7444)),((((((3367,(589,3656)),4229),(((357,(4986,2913)),(6137,(6421,2881))),3127)),(((5725,4628),452),3591)),(((1656,(1827,1332)),((1555,4112),2623)),6768)),((((2611,4192),(7549,3083)),503),(((2250,(260,3819)),7850),(7455,197))))),((3528,(5586,(1339,((2184,7592),6281)))),4146)),(((3256,(((7143,302),((1054,2218),2248)),(2064,5107))),((5532,4399),((5090,2744),7432))),((2643,(6957,7513)),(5721,((((((5508,4160),7272),1506),(3436,(6250,2370))),1653),1233)))))),(((3,3585),((6565,7725),83)),(942,304))),((((((912,(5978,4694)),(3096,7909)),(((4093,3873),((2552,((3191,1697),4880)),((3960,117),(3233,4554)))),(6115,(1237,1784)))),(((1903,((4632,879),(4646,3651))),(((2666,2386),(4314,362)),(((((1699,5512),837),(1584,7126)),2536),(322,1362)))),(1794,(4596,1100)))),((6123,730),((7180,(2465,(1724,4184))),((4005,(5085,5859)),(8251,5780))))),((((877,(7623,5206)),((7929,3217),911)),((6492,6965),(6874,(4475,7248)))),((((((759,8042),2110),(((2843,(2351,2488)),(7869,3177)),(468,(1148,(8339,4722))))),((((((6555,(938,((4308,(474,2252)),(4866,7014)))),((1169,4634),106)),2157),(5671,(3400,5057))),3659),((2603,(5424,6263)),((4257,(85,((7070,2544),(749,5485)))),((6002,7242),(2961,8147)))))),((((((6782,(7997,4234)),4091),573),(((((217,5435),(((8225,7375),(3189,4862)),(3259,5906))),(7470,((2888,2333),(6885,(2598,((7630,7034),2713)))))),((1432,(5150,3243)),((5346,4016),(4519,4904)))),((90,(6925,(6947,3086))),(((6820,5518),(3119,(1768,7925))),1009)))),(((2059,5940),(7797,3302)),(5742,6408))),(((3476,(5158,5370)),((((437,4740),(8010,6673)),(6802,(((160,6562),(529,(5573,681))),(667,(((6845,(4254,6005)),(1519,4283)),369))))),((((3062,611),((5772,((412,5840),2550)),(3277,6873))),(((((6647,2805),1728),7171),(8014,6265)),((4522,6066),(7980,(8261,70))))),(((3305,8276),(5392,3653)),(1445,(((59,3718),((2287,4672),(2794,3950))),1440)))))),((6528,2377),((1391,((6101,((6133,(5653,5407)),4777)),(743,((481,641),((1708,(7052,6627)),(7205,4066)))))),(((((4094,2289),3031),964),((5672,(((6513,3234),5914),6194)),((380,5119),5055))),((3113,7101),3837))))))),(1257,((3457,1302),2408))))))),((((3967,3361),5015),555),(((((6539,1273),(5320,1670)),(6556,((3026,3942),133))),(7401,5793)),((3737,((((6793,88),6822),(5379,((5920,3326),2417))),(5339,(2079,2615)))),((4203,(8246,(2634,4291))),(6575,4872))))))),(7123,((((5353,689),5947),(((4059,3789),4118),(1415,((7501,7608),(1730,(438,5088)))))),((((5106,((783,8278),(2942,55))),(4937,((5676,1443),6423))),(((((7565,8178),(((3760,(7659,6806)),(478,5935)),((4676,(6970,6599)),((((1070,(403,8355)),6125),621),(5284,((4187,1642),6371)))))),((878,(1816,(5020,(2853,1813)))),(746,3846))),(7552,6043)),((7839,((2770,(2556,773)),((2619,3103),4138))),7984))),((145,(3871,6430)),6395)))))),((((((5778,(6014,6196)),(3594,((2016,((1879,4827),4382)),4584))),((3723,((((3414,3053),(3915,(6304,(2430,2129)))),(7702,(((((((1207,4779),(526,(5783,5838))),(2190,834)),(5594,(1006,((6260,4476),4269)))),3285),(((854,5833),(7118,(2519,998))),((7712,5591),((7749,(3588,5587)),(((5836,(7864,1423)),(1202,1729)),(5704,(3508,(6685,((7983,5182),7010))))))))),4783))),((((5274,(5628,271)),((5513,1869),932)),((2521,3965),(6676,((3549,5175),(7413,(5673,(744,3804))))))),((((4656,4123),((3827,(1186,(4318,5120))),((1268,3164),(((1927,((3933,4615),1472)),5894),6385)))),((1179,5892),(7760,(((7907,4668),4237),(((3546,((3825,5174),3441)),(4894,5964)),((5538,(8045,(3695,6551))),(3752,5322))))))),((4267,(4762,(4555,2091))),905))))),((4181,(7665,6830)),(((((2575,((7865,(100,3068)),2455)),(1804,(1599,((292,7348),(1607,4928))))),((4334,3323),((4090,((2993,((5308,(34,1476)),(7344,6930))),((3110,(894,4414)),7363))),(3290,2425)))),(((((((6349,2996),8366),((712,8032),(1583,3309))),((2979,(((1705,6150),(4433,7751)),961)),((7669,4272),((868,4992),5624)))),(((((6864,660),(((4034,(4502,4688)),2724),((5991,4320),2135))),((6883,6148),(6294,1908))),((((954,(6286,7575)),(5250,1544)),1858),(2214,((4763,6223),(6746,3577))))),((6452,6515),3069))),(((((7457,8299),(4546,6625)),((3974,7038),(7247,(3710,6743)))),(2337,1300)),916)),(2336,(2401,(1746,4752))))),((2690,((4154,5360),(1380,4374))),((5604,564),(1328,4678))))))),(((4693,6274),(((8024,3087),(2684,2721)),(3207,7769))),(((7680,(((1161,5255),(6387,(1930,2306))),((3159,4506),(((5466,6369),(7241,5815)),6402)))),(((3161,5463),((3303,(7327,1687)),(2042,7493))),3550)),((((6875,5637),((4343,4297),(1959,161))),(((2380,5960),((4295,5567),3598)),(3221,(3901,(6292,(7343,5716)))))),7004)))),(((((151,7582),(61,(7697,4207))),(((6388,(4869,5406)),5397),(((524,2301),(3895,(8176,143))),((((1355,(4364,8161)),(2084,4557)),(3574,(3863,870))),((1750,2859),(595,(2100,7458))))))),(((6262,(758,6681)),(2795,(2745,6890))),((8,64),(((4101,(223,1991)),(1276,92)),((8129,215),(6320,(3843,4550))))))),(((((3495,(7311,353)),7481),((7389,4745),(533,2390))),((((562,5440),(((7189,5525),4349),(2139,((2133,2839),3247)))),((6482,((4390,6094),2473)),((6446,(1307,3342)),(222,(6109,4447))))),(((((3466,((6980,((8078,3089),2074)),329)),((7914,(1454,1938)),((4051,5675),((((3104,1857),(1514,7054)),323),(6680,3063))))),4947),((5828,(6949,965)),(3215,1646))),(((((6663,4750),4421),2123),(2874,2899)),(317,((3987,(1754,3889)),3304)))))),((((2564,(((4680,4303),(4826,5380)),1924)),7960),((((4964,(2154,(703,2229))),((8023,(2343,8038)),(7727,7306))),(5118,((7153,2093),(((((2642,6042),((4989,(2039,2960)),7681)),4864),4927),(6251,(6000,(5076,3055))))))),(((7972,3047),5032),((((1735,3778),3619),826),(3993,3991))))),(((((450,7291),(3773,3173)),(2658,3101)),(6843,(3968,(6604,(1350,5446))))),((((((6132,308),(6900,3399)),((5895,7185),6494)),(6954,((1125,5002),(5373,(6933,(2535,2578)))))),5768),((484,4714),((2009,(7796,3017)),6204)))))))),((((((1679,(4317,5589)),1640),4078),((4660,((6922,3419),567)),(4110,(((287,1889),7542),3071)))),(6643,(6079,6939))),((694,424),((((4918,5686),636),((((2807,5260),4695),((2864,2107),3366)),(3877,6621))),((7364,(6229,4613)),8013))))))),((1439,(8148,5217)),((((((1848,(((4319,6563),3738),3133)),(6695,366)),(((((3836,(6217,6553)),(6299,1850)),((1204,((613,175),(7395,6236))),(((3059,((5395,7460),6732)),(5324,2463)),7025))),(((7799,7387),(((411,7200),((4264,(1334,953)),((4577,3730),7600))),((2951,(6844,7544)),((1564,6053),4378)))),((((8028,2526),6561),(6856,((3622,3460),3003))),(((2319,(19,3193)),((((769,7022),7975),8120),5912)),((2224,(5842,(544,8272))),(1398,5133)))))),(7810,495))),((((4113,7695),((((7110,1310),4710),5340),(5997,4250))),(((((364,(830,7031)),3844),8171),((465,2243),3542)),(((5443,((2320,347),319)),((7438,5374),3925)),((5999,(1121,2755)),1180)))),((6763,(5977,7979)),(5726,((8068,7062),(7148,4940)))))),((2767,1464),5434)),((((((((4579,3260),112),(6631,3615)),(((((923,4725),7106),8060),546),(((1833,5461),(2020,358)),(3540,124)))),((((((760,4489),(306,5957)),(7569,5845)),(4958,(974,8365))),(2847,((((2870,1294),((2986,(((1951,5386),((7858,4746),((2348,3439),(1142,4357)))),909)),(7216,((239,5157),3610)))),5904),(3652,6285)))),(7809,7777))),(((1602,7160),7190),((((((6052,5605),((3291,5223),2593)),(740,365)),((6278,6630),(6711,7605))),((5541,((6311,4341),951)),(326,((1046,1320),(2569,1480))))),(((((63,(4532,(5521,4324))),(74,5544)),3471),((((7330,(5632,630)),(6118,3999)),543),372)),(((840,210),((3953,3350),(((6973,1647),(165,5301)),(4380,1131)))),((799,4558),7296)))))),((7058,(7314,(4430,(2641,4912)))),(5304,606))),(((((3964,7734),1117),1156),(((8238,(4590,5549)),7679),6139)),((((((((((2562,7003),((405,3698),1064)),(3996,3084)),((6986,6776),(2759,7368))),(((1031,5297),((5764,8063),(3601,6100))),(((6424,((2567,1802),963)),3398),(((7179,3977),((7916,3565),(6490,(4917,2855)))),(((2835,5916),6861),(4796,4665)))))),(((((6245,(7089,7678)),(3990,4247)),(6823,1338)),((((140,5550),7024),(604,7151)),4457)),(((((7836,5537),6062),798),(((2907,7155),(5862,(5611,(6089,1078)))),1154)),(((566,((5354,3422),1404)),8165),(8223,(1825,252)))))),((6442,4594),((8037,3299),5042))),(((8049,8053),(2328,6447)),((((5494,5812),(((2161,4446),((8271,2063),((5359,(6715,2018)),(3458,231)))),(5161,(1368,3377)))),((2518,6740),(1546,505))),(1363,((1875,918),1558))))),(((188,2978),3995),(8073,5979))),((((2765,7638),((7447,7406),(((1919,2055),(3604,5874)),(((3319,(874,5153)),(8135,859)),((5987,6310),(4701,(298,(4095,6966)))))))),((((7857,(3761,4388)),((3943,(7947,4719)),451)),(3413,(5448,((6577,8034),(6373,7051))))),((((7714,5228),6024),78),((3456,((6140,766),4000)),(989,376))))),((((((1153,873),1231),(432,(5719,7422))),((2274,((2800,(3317,443)),((4972,4832),3332))),(((702,2400),(6837,(6507,6018))),(5381,8234)))),65),((((1568,8336),(3154,7704)),(7583,(1455,2831))),(198,(((((1944,3527),6558),(588,(4056,(695,227)))),6324),((((866,2966),(2954,1496)),(1722,((8268,1928),7564))),(((1645,5399),(7709,(1979,341))),7526)))))))))))))),((((((((5218,1888),(3278,3497)),((((7446,375),((((2877,4246),(((2625,6009),5479),(4282,((2144,6238),(1253,5211))))),((822,(((((1176,4910),1063),(4627,3884)),(4225,5079)),(5674,(((3754,6655),(1322,1494)),278)))),7673)),(3418,(3279,(1058,(5318,2276)))))),(((((1925,4932),(6754,2799)),(5900,(1164,6517))),(((7536,7176),5695),6479)),((234,(1934,4242)),((1093,2677),(2442,994))))),1884)),((1965,2238),(((2372,((602,640),4057)),((396,4969),((400,3706),924))),((4013,1128),(2023,2326))))),(((((((7889,6880),8157),(2104,(5809,7792))),(8102,(3283,8300))),(((7092,6713),553),(1104,5126))),((3708,3669),2475)),((((1691,5893),(8214,6105)),((3352,(5136,218)),(7690,1261))),((7442,(7366,996)),(5024,6113))))),((((((((6956,(1666,(((2325,4407),(4840,7317)),((8217,(6111,4851)),((7930,2114),(5837,3787)))))),(((5639,3794),(5936,7873)),(((3156,7393),(7831,1909)),(2061,(4302,6340))))),((3852,1033),((7587,((2360,705),825)),3980))),((((7191,(7894,8200)),(2371,(3711,5732))),((((8065,8245),2606),((((787,6913),((7053,947),436)),5752),((4988,150),(2682,4068)))),(((((1537,7875),((1080,7462),(((5729,(4437,6935)),4167),4261))),(((2297,((1831,214),2699)),(((2893,8296),(1789,485)),(5302,(5636,(3082,5540))))),(6946,(176,5890)))),((((4001,126),((6749,(1736,473)),8081)),(2955,2155)),((((315,345),(2664,2246)),2259),((((6488,491),(7021,7946)),(7017,1980)),((3098,(((1667,7823),5341),(2763,((6549,4853),2138)))),(6168,3644)))))),((((5117,(3045,(3735,2508))),(122,(5560,4010))),(4096,((5366,2823),955))),((6535,2599),1586))))),(((6496,(((7008,4011),(5733,5131)),(8091,6684))),(((2242,(((3839,4200),6668),1740)),(((6629,2472),5803),((8347,(545,4897)),(4542,4748)))),((1716,3356),((((1881,(2802,2930)),(5574,3267)),(6104,5608)),((6983,(5951,5196)),(4134,((856,6134),(6207,(2866,2719))))))))),6696))),((((8293,5680),(4004,4396)),3797),((((2284,3593),(1841,7560)),((2858,(3142,(3599,5924))),(((735,3265),5627),8092))),(((((624,((7381,7342),5471)),(7211,(3018,5139))),((6770,4458),((5709,1591),(2008,4189)))),((((2168,1839),((((2132,3216),(3500,(1634,4142))),7815),((435,(5534,5111)),(7114,(2434,7992))))),((((((2379,6293),4144),(338,7441)),2693),((6220,3210),2861)),((((7830,7288),((738,(4050,8039)),(2597,4222))),((((((3874,(422,1885)),(5159,(1940,2602))),((((1264,7221),3346),(4478,2444)),(6258,248))),(5950,(((6926,((((6932,3330),1393),(4833,1912)),(5484,(202,4238)))),3741),(((((7353,1782),1742),1995),6918),(4756,1459))))),(((2732,6762),7649),(1521,(6921,3372)))),((3461,(1012,6679)),((1821,6264),(2691,(6057,6450)))))),(((8005,7309),5930),(1535,(6533,(1437,1126))))))),5192)),((((6727,4868),((2342,7226),((3771,(3331,6362)),(2660,(2479,(4944,6064)))))),((2994,(((6499,1485),(6336,94)),5989)),(((4645,1296),(2781,(6994,1016))),(((1810,1240),((((121,5259),(8363,(2355,5343))),5062),((7079,847),(((2959,(16,448)),4884),(6200,((1893,6896),5961)))))),5099)))),(((((((1113,8077),(((6008,4607),3796),((2674,((27,6422),3969)),204))),((((6601,(6434,4968)),4232),(4491,6884)),2127)),((4156,2429),((1711,8210),1222))),(((3057,5287),((((((3816,1457),1760),4530),((581,2308),5452)),(((5511,1864),3616),(2822,5773))),4931)),(5736,(284,(6235,1201))))),(((7612,(4150,1797)),7497),((770,(7939,1983)),(164,(((2419,6224),7594),(1617,1159)))))),((((6612,((7524,5565),7420)),(628,4767)),((2815,5744),2711)),((4739,4240),(((4260,(2416,3608)),((3821,(((6756,3782),3532),(4893,7766))),(833,5018))),(((3365,8058),(8285,4601)),(((3935,7476),(7893,(3121,(307,(5391,2975))))),(((5449,2742),(5657,(935,4215))),(4731,(5882,6208)))))))))))))),(7346,((1103,(1155,1013)),(((5439,7492),3289),3263)))),((3587,((4790,(7999,774)),(4841,((54,3002),(3111,6242))))),(((((((57,5289),(2183,(4333,4993))),(((6195,1044),8075),603)),(6457,2572)),1593),(((914,(7966,4243)),(591,8250)),(((5776,8094),(4747,(1228,8202))),7244))),(191,((6003,5252),6413))))),((((((((4733,8253),89),(4696,4253)),2734),((7174,1158),299)),(((7453,1327),(((6170,(4133,891)),((1115,6855),8235)),(((790,4003),((3899,7684),5817)),(7805,2435)))),((3945,5849),6505))),((((((((2323,8182),718),2368),(8002,4273)),(5897,4383)),((5492,((3489,(4509,4395)),((((1234,4422),2852),(4042,1289)),((4369,6990),3058)))),3724)),(((((6893,(3325,2648)),((3056,((4908,4130),2049)),(8240,4231))),(((6638,((8189,4824),((2992,1136),(1086,(3079,5325))))),3952),((((2773,170),(662,6545)),(5462,1216)),(5777,2612)))),(((6614,5969),3661),(1419,775))),5907)),((2189,(993,(((1379,3919),1040),5368))),2162))),((6153,(((7333,(4920,(7861,8331))),(815,5246)),4312)),((4270,6201),4467))))),((((((617,4935),5955),(6322,(6416,7877))),(((((((6608,1518),(6007,3579)),1489),280),(((1878,((2681,7061),8012)),4837),1452)),(((7134,7833),6869),7642)),(((839,3472),((((5116,4161),7637),7598),(((3244,(999,(7705,7227))),(((2708,((5976,((3144,1150),(607,(4610,1353)))),(4505,2779))),2827),(((((2021,8248),2498),(5949,8282)),((6703,6169),(((6683,6960),(8224,2447)),(7931,2671)))),(7648,(3092,(2470,3609)))))),((2198,2437),((390,7042),(7187,(1001,(5005,(3128,((3660,4152),440)))))))))),((((((6722,69),(3907,4834)),8209),((3386,5438),3811)),(511,(805,7585))),((7112,((4193,24),5405)),((2497,(((((1748,5188),(6212,2069)),1538),(6037,(3264,7919))),(8139,3762))),((1329,(1915,(68,((4713,4365),(6969,5194))))),(7701,(647,492))))))))),(4352,3137)),((((((5943,2946),6438),(((8280,5245),7932),(6309,5437))),(((824,(7478,2995)),(7326,(6004,3623))),2398)),((((3090,651),((7790,849),5760)),5451),(((((7203,(7417,2788)),4115),(5433,3379)),(4463,1157)),((5135,6853),(1271,2147))))),(1922,1354)))),((((((((((3232,(6227,5818)),((5470,388),2904)),((6436,1639),3646)),(5417,(2185,2616))),((7228,1515),((81,5598),6576))),(((((1259,((5307,232),8001)),((((7352,3007),(((7694,2897),1966),3832)),(((2976,(5700,3293)),(7240,3536)),3847)),1589)),(((5982,3717),(((2568,1038),8266),8089)),((3171,(3162,6950)),((3213,727),((4952,6335),6466))))),((7953,(3872,4263)),(((3452,4309),(4339,2887)),(1840,2450)))),(((((797,2037),(4581,3349)),4602),(1847,(6166,((((1321,(3397,(5455,7461))),(1676,1318)),3566),(6044,(3287,6524)))))),((((((3298,4816),2963),(1590,4366)),(6996,(693,8009))),5327),(((((((((((((5891,(608,4849)),5918),(3631,((2778,8192),(2698,(1091,5))))),((((7617,5248),((((1424,5498),4072),5469),5208)),6068),(6143,2166))),((8312,8386),5896)),(((((4566,(8345,725)),8183),2171),2545),((2239,((6403,2327),(3589,7793))),(496,(6149,(4425,(7756,3105))))))),2917),(6848,(((8324,8201),7944),((3157,2094),((2156,3252),5493))))),(1886,(((((5879,5881),1244),((1324,3947),3602)),((((5698,5520),(8307,(6805,7232))),((2095,3726),(644,(1109,554)))),((8184,4099),((6585,1431),((7325,2617),(2482,3022)))))),(6693,(8046,(4018,(2247,6076))))))),(((3674,4551),((3557,6544),((5251,7119),7664))),(3375,((3888,2627),(7094,(((3102,((2495,7715),(1601,3494))),(2639,(1230,(3772,(4296,4942))))),(2797,(1507,((2345,(3343,4512)),4654))))))))),682),(754,(4279,(4080,((((3288,7747),(2130,7740)),((2885,1692),(1682,2313))),(8071,((7468,(7321,5155)),1739))))))),(((863,614),((1410,6569),5238)),((6209,2988),((2392,1762),6163)))))))),((((((7550,(2420,32)),((1808,5994),6073)),(((1698,(6688,(2507,1430))),(((((6981,5791),2601),((((4392,(5614,4266)),1073),6993),(479,(3442,3329)))),((((6771,757),(756,7508)),(3548,(2290,6726))),(3905,(4698,5813)))),(6886,((6540,((5344,1574),((205,(6405,808)),1280))),((1045,(3380,514)),599))))),((1781,((((5050,4873),(2873,3801)),((((5652,4666),2121),1172),350)),(2652,1526))),(((3337,685),6380),((((((5954,6686),((6914,(707,1700)),5270)),((3148,6485),3649)),6356),(((((8177,1989),((6509,((4685,7643),2692)),(6750,5398))),((((7967,(776,463)),(2944,672)),(8168,(((1043,7529),1101),(2875,3320)))),((4355,(1416,(3223,(6850,(5710,1098))))),6354))),2787),(((6038,458),5668),((((318,2703),(5080,4985)),7416),8357)))),6130))))),((((((4957,1492),((154,5154),427)),(((5253,3004),((811,2965),6838)),7030)),1625),(((((810,7115),3351),(1386,(1905,3470))),4681),(6803,8337))),((4143,5138),(8159,3798)))),((((3792,6178),((8109,1862),((5503,574),2694))),(1984,(((8263,1166),((3327,5367),1835)),4048))),(((((((1211,3149),3564),(402,8117)),241),3507),5000),((2970,4278),((6618,5029),2373))))),(((((((1490,(527,2707)),7230),(2541,5445)),(((1442,4304),((6934,(((1619,1223),5583),7819)),2846)),1580)),((663,(6636,1088)),(1238,(690,3257)))),(8371,7998)),(((((((5557,((2865,5115),4706)),((7360,(8044,((1788,7033),3088))),((4801,71),2950))),698),(6775,(845,8333))),(((5592,6877),((1585,4836),7083)),((((7776,4699),4817),(6704,7654)),5061))),((2210,(2163,((2806,6445),6645))),((2347,(3959,(6171,(1569,3336)))),(1650,7224)))),((((((5213,(3696,(2579,(633,7519)))),7933),(1774,(5234,7853))),((((4277,(((7390,7496),7013),(7480,2484))),((2737,(5171,(6557,1451))),(((((1891,615),8297),7019),1297),6592))),((((3845,7362),966),((2825,8388),((4158,7340),(4402,2364)))),(((2523,8105),7742),(862,5041)))),((((1309,(5008,2813)),5635),(3376,(1358,1342))),(((5415,((4976,2253),6606)),(501,(4597,6124))),(5848,4545))))),((7674,2275),(((4934,4906),3851),((((4898,4941),(1017,(3200,4889))),((5623,1522),(6312,6527))),((((((7384,387),4387),(((3284,2793),((4406,7108),416)),((((7039,((4084,1229),3348)),3040),2898),(4787,4201)))),6769),(((3813,7463),((3488,((3570,936),3114)),4202)),(4031,1820))),(5388,7897)))))),((7943,1798),(((3520,(5766,5134)),3803),((29,6761),((5332,2906),(4325,(5667,3029))))))))))),((((5323,((4603,45),(((4443,4),((2749,5681),1139)),(115,4520)))),(3535,((5047,5400),4975))),((((((7173,7133),2025),(((7202,142),6127),((4759,616),(3705,233)))),(((7385,2555),(779,(3271,4513))),5276)),(((((2900,((3809,(5857,1352)),7867)),5865),(((5279,7142),(((6221,4954),6318),3453)),(3774,6810))),(((3961,(3180,832)),6248),((3226,6593),(((5264,(1759,1916)),(5430,(4616,3887))),((((((5967,(6493,5697)),(4911,5847)),3437),(6296,8283)),((8030,3241),((1236,370),733))),((40,569),737)))))),((2957,5004),((8313,8351),(975,(4381,3625)))))),(((4026,(325,4786)),2443),((4709,(4690,((610,5650),2782))),1450)))),((((1575,1731),(2798,((((6616,7301),7503),(8322,2082)),((4151,(6897,4054)),3145)))),((2912,((((((3676,((7982,(2175,1498)),7124)),927),((7402,7197),7945)),((195,(5706,4608)),2958)),((1659,(6827,7765)),(1815,8008))),((((((((3512,136),4033),8378),(6126,5515)),5769),(8131,(((6141,(1027,7888)),3979),((925,6358),(6831,2709))))),((2945,2513),((5097,433),3477))),(((((7324,(1008,((4614,6477),5861))),(7671,((7283,((2991,1988),1578)),((4114,(6483,7687)),((4419,8311),((7047,3624),(4286,3229))))))),(5190,2935)),7658),((((4902,2580),7977),((4485,6626),4228)),2040))))),(((((7563,6469),3912),2314),(1034,3430)),((7866,4578),4137)))),((((6538,5481),(((1598,7201),(3373,(3407,4438))),((6907,4391),2034))),561),((1438,((1819,7989),(7137,(2072,7555)))),(((((1369,6705),((4560,4255),7710)),(1175,7609)),4996),((((((3777,3571),7602),(6596,3066)),(76,(7429,4983))),(((249,((6456,(6566,((2099,4641),(1693,6898)))),1954)),(30,4141)),(1737,2972))),(((2816,(3668,6392)),(1286,6923)),(4147,5510))))))))),((2212,(((4850,2635),(352,6739)),6641)),((((5998,7069),((6784,(7278,7435)),(2315,4588))),((((((((2878,384),(5488,((2375,2228),7113))),((1712,1011),8361)),(889,2490)),(300,494)),(295,(5436,4544))),(((7717,1356),(((((1196,4197),714),266),((3491,8206),7337)),(655,((7029,4604),(7748,7635))))),(((3020,((2537,5286),(2844,8197))),((((3632,1660),(2618,6174)),(8026,(109,2288))),2286)),((917,((7644,6),5294)),(6889,2726))))),(3107,((900,4582),((3118,7193),((6691,3658),6808)))))),((755,(5033,(2561,6825))),(((((6942,(3396,(7045,2354))),(((2350,2705),2659),2013)),(((4924,4486),(855,2669)),3603)),(((2895,(2295,5516)),3315),((5425,((4508,7165),((1822,4183),(5619,5590)))),((1800,3826),((((1075,1976),7415),3008),((1390,(697,110)),((3172,6628),(8360,6510)))))))),((179,(((2296,5145),8048),((4789,5472),((5913,4658),2312)))),((((2469,((3908,276),2051)),((((6328,7260),((6240,7911),(6615,5372))),(((((8327,7397),532),4174),((3563,4669),(6478,2655))),((2548,3095),(((920,7305),784),5802)))),439)),2940),5125))))))),(((((2126,3473),2654),4995),(((1612,3280),2324),((((7428,3671),((981,1549),(1305,801))),5927),(2462,2334)))),((((((((3449,2005),(3633,(7136,5419))),(((7319,5186),(1449,3850)),7122)),(((4729,(7517,26)),1562),7827)),((((((348,1433),1694),(8088,(7844,6506))),4575),(4718,4097)),(1308,5390))),((3094,3061),(((4795,(2792,2645)),((5273,2969),(7164,1610))),(((((3582,6012),(1071,841)),((2236,5747),245)),(((6103,5335),6112),(3911,200))),2772)))),((3204,((1766,(((3526,(((4606,4025),67),3141)),321),((((835,7783),3112),1717),((6462,5127),75)))),(((1609,(((3258,1290),(6666,4741)),(1195,(8335,3860)))),((((5921,6135),(5633,(2743,6191))),97),(6431,(6821,((5648,(7676,8213)),(7485,2206)))))),((5092,((3255,2159),(5758,(4829,3454)))),(5666,(3065,(155,8115))))))),((((((7367,1107),(5410,(6498,(813,4879)))),5702),(7235,1948)),((((((1851,(4618,5507)),1787),4523),(((((2309,6473),7471),6327),((60,((5805,(1123,(5311,158))),((1288,6189),5884))),((2088,6546),(7913,7078)))),(((2468,5972),5202),((259,(1615,(2532,5548))),6453)))),(((1284,((1465,5622),((6779,6393),1099))),((1028,(4063,(5184,(1726,4119)))),(765,1448))),((((1996,(377,(3170,8066))),5049),(6075,4998)),((1837,((1595,6657),3840)),((2891,(1658,7770)),4856))))),(2894,(7922,(5035,(3788,((5679,4730),((1094,146),3554)))))))),(((((2451,((6376,7383),2188)),((2083,((442,(2932,5356)),((3483,(2656,958)),4126))),2587)),(((464,1218),((2106,72),7741)),(((1981,(576,6648)),2621),(((6870,4105),(3340,6833)),6034)))),(((((((7482,3160),((2605,193),(7559,3736))),((((((3475,5715),(((5506,2145),((5393,1247),6665)),((2647,1248),(332,5313)))),(4444,2702)),((((2102,(3828,2820)),(6297,510)),(7718,(5731,(4529,2836)))),6290)),((((3129,(7505,8074)),((7794,6410),(8340,6931))),(4428,((2848,741),477))),((((5595,(3699,8133)),(2207,4637)),((2245,38),((6480,6807),3513))),((4329,(7225,((4774,(327,1319)),5514))),((((7834,2480),1344),(8354,(7577,4487))),3647))))),(((2000,8384),4045),((4926,4776),4117)))),((((((4439,8006),((4631,945),(2871,((3072,(5067,1920)),(7419,(6788,5956)))))),(6815,((7884,289),883))),(((1633,(5143,5600)),((((6516,2426),489),1956),5643)),(1861,6020))),((((((2672,(2108,5559)),6835),((7477,6048),((1197,2030),((876,4583),(2449,(3479,7146)))))),(3944,(5459,4028))),1721),(5917,(676,270)))),(1095,(((((1504,7125),((699,((7479,4092),(6316,556))),6071)),((3922,5533),(6758,(3126,4397)))),(5782,7806)),((3655,2949),(1941,8061)))))),((((((2752,4510),((148,3296),3786)),((6941,5596),(6620,4809))),1936),((((((4643,5981),2062),(2649,4221)),((4100,1304),5275)),((2790,7887),1039)),8122)),((5942,6529),(2412,6156)))),(((((6812,(3492,(2086,3621))),((((82,(4440,3203)),(4670,(7950,8143))),(1629,(7974,7015))),3498)),((3586,6046),(7071,6231))),(((((2046,(7074,2576)),6725),4405),(((2291,((6760,1743),3406)),(4839,(971,4973))),(6675,1275))),((1844,((5826,7217),3515)),(((7557,((582,(2786,166)),4541)),3617),((3643,4235),499))))),(2078,3779))),((7307,4556),(7782,((1902,(((5971,5683),5093),(7440,2889))),(((5691,5724),5669),3931)))))),(((((6032,3251),((8204,6559),((8040,5593),(2984,5519)))),((((((5799,(((1974,4580),8364),(6384,1677))),(6634,(8264,3891))),((8056,3282),((5819,8017),(96,3697)))),((2235,(((1870,550),2194),(2868,6129))),((((3385,2060),3914),6635),((7076,5571),1146)))),(((6083,7934),2540),(((4784,169),(3391,8391)),(1654,7880)))),((2365,3075),((2258,520),1628)))),(((1191,5527),3506),(5296,(6700,((7049,((131,4038),(1160,((8304,6280),2967)))),((((430,(123,2298)),(((4427,4466),7510),((7270,3611),3435))),(3917,(609,5584))),((2717,6667),7581))))))),((((((2045,972),((2160,2862),(4239,2511))),(7912,6341)),3547),(((((7308,7421),(3504,(2566,3509))),(2487,(4256,6396))),((51,509),((601,8232),8155))),((1852,(568,750)),(5915,(2294,2582))))),((((((2143,4196),((1365,6487),3195)),5077),6177),((1520,((1826,(3640,2817)),7445)),((((1651,8370),803),2531),1529))),((((1661,(683,((444,4536),3239))),((((3934,2809),5094),((6846,2477),291)),(1458,8275))),((5086,(1254,1421)),((7666,1563),(4526,(1890,2775))))),((((3220,6256),6117),2543),((((2882,2833),(((262,577),(1007,8134)),8041)),5795),(1761,((6418,5688),(3314,(6642,5204)))))))))))))),(((((((((5477,2558),7736),7814),(4404,(209,6151))),(((6352,((7928,6368),(4959,(6185,5212)))),(3032,3849)),(4576,5290))),(3790,((7936,3447),(7355,1637)))),((2402,8196),((791,8380),8231))),((((1295,(6640,5122)),6876),7431),((7341,6975),(((4416,(3795,1177)),(8096,6901)),537)))),((((((7507,934),(4717,1215)),((((2941,(7580,558)),(2892,(4794,5426))),1614),((((2460,7315),(104,7837)),4453),3434))),((((5823,4337),2644),((1482,((441,6088),(2989,2516))),(1953,4967))),4764)),((3954,((((8306,2322),6270),(6146,896)),(7265,6552))),((6580,(((((2973,3034),7566),3830),5504),(((5016,3354),4131),6176))),((6470,((((8018,5985),(6203,(4775,7772))),(((((6753,6193),(1413,1214)),2317),((5026,3415),578)),(6181,(5788,4813)))),(((6433,(3493,1765)),(7280,1116)),((1573,5856),5019)))),((((5428,1258),(3558,618)),((4316,5569),((((7849,1777),2140),(7424,5337)),((((((1185,5291),1644),(((701,7377),(194,211)),7786)),(5781,(4539,4432))),((7184,5408),(1041,((2335,6690),1631)))),7264)))),((1624,(6598,4179)),((((((5846,(((1282,7093),(3864,2457)),5505)),((2266,293),(3665,5222))),((6144,6021),8180)),((((((5754,((1260,8330),5876)),(4683,(2174,7281))),(2810,4472)),6277),((3750,(1627,2028)),(2785,((3534,2553),((5429,7357),2777))))),(((2486,(7808,7198)),2740),3982))),((7693,(5597,7486)),5293)),((4899,((4524,3429),(8323,(6081,3808)))),(((4802,(7531,5108)),(2339,7647)),((3238,1306),(((957,6878),(((637,5052),(2115,1082)),((8249,((6314,1695),4533)),(1672,2270)))),(8080,((1387,5109),6443))))))))))))),((((7274,7591),(4208,(6458,6798))),((((3972,4586),4549),(1547,3780)),((5025,4630),3833))),((4128,6455),7761)))))))));
((((((((((7085,5404),(2597,1488)),((3882,(5125,2771)),(((8063,3254),(((2354,3396),(4924,7045)),((4486,6942),6985))),(((2567,5916),(2051,276)),(2469,4665))))),((2016,((8214,((4584,1691),(5893,5024))),(7442,1879))),(((((2229,1000),((8038,8023),(7306,4216))),((((4989,((4105,(2039,3340)),2621)),((6982,(5356,(((2083,2451),3483),((2587,2932),2188)))),((4864,(6648,(576,6833))),(((6000,5076),6034),(2642,3055))))),7741),(6251,1981))),((((3820,(((((((((5692,3167),((((5984,1323),6232),(1118,2019)),726)),4205),(8069,645)),8062),6978),(6363,(4039,(1181,5911)))),(7921,5140)),((3517,3374),1471))),(((1479,((8303,(6501,(4922,7178))),((1539,2826),6271))),((6865,(3463,(6199,3853))),399)),((5958,(7533,((5101,2233),6504))),(3650,(3147,(2842,1484)))))),(2,((6972,(((1366,4535),1060),((((2182,3630),410),((3266,3927),(1278,2890))),(((6069,5923),5266),((6102,185),3812))))),(1265,5059)))),(5687,(2506,2344)))),((5226,519),(((((1515,7822),((((5759,6253),5473),(((3993,(7228,5180)),6448),(5816,(7297,826)))),(81,6576))),5441),(6764,((3619,(1735,3778)),5598))),(4568,(4471,(3462,(3613,6928))))))))),((7724,((7706,6533),(1126,7139))),((((2105,(2366,6857)),(6677,((6153,8187),(4682,7212)))),(((5640,(1177,(2886,(3481,535)))),(838,(3795,6901))),((2780,7320),(4416,2098)))),((571,(6738,709)),(((10,7409),2305),8096))))),(((2709,(7888,2945)),((1872,6503),(((((1597,((62,3080),8326)),((4786,748),(6192,28))),(7537,(2456,((4661,3446),5193)))),(((31,4026),((6291,6025),(1867,5053))),((250,325),7356))),((4569,5160),5531)))),3196)),((((((2665,311),(658,4121)),((2316,2187),3585)),(6437,((((6451,1952),(942,(5387,3578))),304),((5142,(3938,340)),((861,6255),1929))))),(((4020,6345),((4104,6303),4655)),1130)),(((((6075,((((96,2194),(2868,1870)),(6634,(6083,7880))),(7934,3914))),(((((1724,(7220,3670)),(5972,(5796,2468))),(((((2282,(1461,5311)),4338),(43,(2465,((158,1288),((17,5884),(8244,((1123,5805),6247))))))),(7180,(1263,4587))),((6669,((3250,2071),6074)),60))),((648,6559),(((2563,6546),(5795,2088)),(4184,8076)))),(6043,(7552,4336)))),(((7130,((3560,(3484,2696)),(4705,6605))),948),(3389,(3333,(6213,(5240,4919)))))),(((((7750,((4633,3190),(((2200,584),8154),(243,1771)))),((1570,7273),(336,2011))),((2527,(3027,(747,(2223,1499)))),((3856,2585),1281))),700),(2139,4349))),(((((((6971,6859),7098),(((((4521,4574),(4129,(1860,(4939,(3328,3409))))),(((5149,6049),7175),6624)),(7502,((2714,(864,3900)),5069))),((5048,4415),((728,4164),(5394,(4009,3823)))))),(((((5229,7744),7067),((((6905,7280),(7087,5793)),(((6181,8267),6745),((2317,4291),1670))),((6556,6793),(((5413,297),1255),5932)))),(((((3012,344),((6441,21),(6420,560))),2676),((1502,(7269,7759)),((3135,6570),(8348,1057)))),(((((4150,1349),(7612,7497)),((6235,(3612,(800,((164,6224),2419)))),(6602,1797))),((1617,(4751,2980)),((1159,1665),7939))),((((1874,5641),1201),((2423,7594),(1854,770))),(284,(1983,1975)))))),79)),((1343,((6694,3187),4757)),((7721,((4625,(((((6035,5938),6894),(7086,828)),6435),7262)),5009)),(((((8250,4747),(1061,5776)),591),(((1541,1868),6581),(2572,(3030,(6379,6457))))),((4790,5021),(((3002,3587),7007),(461,(((3111,2142),((7999,5285),5375)),((54,6242),774))))))))),((((((674,3194),(6234,((2564,4680),(4303,4826)))),5631),((7960,7472),(5032,7972))),((955,((2185,2823),5366)),(((((7962,6586),(6535,1490)),4178),(1586,4328)),(5445,2541)))),(((((7185,5002),(308,6900)),(((5768,6494),2535),(1125,(2578,6954)))),(3017,7796)),(6933,6204)))),((2226,((975,8313),(7573,(4381,(3625,8351))))),((((((5383,8019),(((1403,((7618,6989),(6698,(2685,5750)))),(8161,(1778,2084))),(3574,(4188,((4364,(4716,(4842,6028))),(4557,1994)))))),(((((7055,4412),3093),6891),(3895,(4933,(1509,4990)))),(8176,(524,201)))),((((((2619,4138),2770),3103),(2556,7839)),773),(8015,(713,6371)))),(((((3261,850),((4929,7981),1208)),((((((418,1055),(5810,6902)),(5734,5554)),(7443,(6056,4435))),(((2260,8104),7668),(5197,5860))),(808,((4780,2591),1435)))),(((3113,6528),((5653,(6101,4376)),(6627,481))),((1068,5771),((((5914,5130),(((5672,3661),3713),3234)),4488),(4276,((6773,6194),(5338,5969))))))),(((((1855,(((2067,4335),(3362,2845)),(2515,(6298,2715)))),(3450,((782,6282),(4930,(2299,806))))),(((2493,(7433,3368)),(((872,3382),((7987,163),6619)),((1382,(5491,((1901,2267),1641))),(5922,6333)))),((2503,2565),(6225,240)))),(659,5333)),(((((4567,((6486,4060),(((5839,7558),3903),5661))),3138),((692,3848),((3880,8254),((4070,6785),5699)))),((1512,7439),((2281,5723),((8151,3635),5963)))),(((2680,((4294,5775),5564)),6119),3533))))),4063)))))),((((((((3495,533),((2390,1450),7389)),((7311,7481),(4745,(4709,353)))),(((6070,(((203,6667),7832),2717)),((1772,7926),(1160,2378))),(3611,(((((3435,1024),(609,3917)),((123,(5584,430)),2298)),((((7049,4466),(7510,6280)),7781),(((4427,(7534,(131,8304))),((2967,(6700,4038)),((5578,(6348,(((4858,7862),6138),(7866,4137)))),((4540,(723,2679)),(((6190,5420),(8332,1191)),7234))))),(((3078,5326),4585),((((((7795,7942),5402),(1823,6895)),(2496,643)),(3502,((1034,(5852,6724)),(5345,6315)))),(2952,3869)))))),((7860,8228),3345))))),(((6365,7183),6674),((7210,8374),7464))),((((3207,(1807,5122)),5478),(((6175,(2684,626)),(8024,2721)),(((7266,7965),6274),(7431,(4693,3181))))),((7071,6939),(2707,(2599,7230))))),(((6103,(3582,(841,5335))),(7484,(3028,245))),((((((((4010,3776),122),(3025,493)),(2670,5560)),5117),((8099,(((5522,((3232,7722),(2904,8082))),((3358,(3639,1274)),5684)),4148)),((((6335,7953),2246),(((2259,(7823,(((6950,315),4263),(7017,2664)))),(((3162,7946),((((((6466,4853),6488),2887),(4952,3717)),(6549,((5982,345),7021))),4309)),(((1038,(727,8089)),(3213,3171)),(5341,(1980,3098))))),((2450,(3452,4339)),(1840,2138)))),((1259,(1612,((232,3280),(8001,2324)))),((4850,(3644,6739)),(2635,6641)))))),(((((((((1021,5378),((((2220,467),6211),(7546,1251)),2922)),1843),8125),(((((6582,650),2216),((4086,1212),(5261,3842))),((((1513,5496),2911),2704),7329)),3991)),(8392,4116)),(((((7626,((751,6326),(1648,4875))),3395),(((8093,6444),((2205,5348),2311)),2215)),((3688,6664),(4290,3459))),(3885,(5178,1775)))),(((5118,2656),((4126,7383),((958,442),6376))),((926,3152),(7153,2093)))),877)),(((((8266,491),(3872,2763)),((6168,5307),352)),((462,1580),(5039,181))),(((((349,(4206,1972)),(7037,((4274,2334),1305))),(((7240,((5700,3293),2976)),3847),(7352,3832))),(((3007,1966),(((6749,2897),2155),(1736,7694))),((4001,(2955,473)),((1589,3536),(126,8081))))),(2568,1667)))))),(((((((((606,7833),7642),((5955,((4935,(7836,617)),(798,6062))),(((2907,604),(7024,1338)),6521))),((2170,(8224,(65,(((8234,6018),((873,4832),2800)),((432,2400),(702,7422)))))),(2470,(8248,7521)))),((7876,(((6919,579),3230),(2081,(1475,(1376,3523))))),(((6017,2678),((((((1501,4379),((6526,547),1685)),4169),(6259,(42,(8383,((4882,2195),(1603,1163)))))),(((2902,2651),(6977,(5948,2197))),3875)),(((((((((6487,6177),2143),4196),1365),5164),(((5077,(2068,5925)),4881),(4140,1389))),(5878,((5779,(5475,3556)),(8381,5457)))),(4484,((4434,4831),8084))),(1516,((((2756,3311),(((4062,885),((4895,3202),1272)),3224)),(1960,4593)),(((5207,(((7653,2010),(3052,206)),((1165,((7639,2118),7018)),(3748,(7613,4684))))),((1582,(4563,((1877,6288),(6001,8219)))),3195)),(((4877,8216),((2977,4040),356)),5382))))))),(1757,(((7951,6842),(1535,1437)),((((2983,6183),8130),6967),(5082,(2741,(7511,1411))))))))),(((7251,(901,5739)),(1744,(5825,3431))),(((4883,((((((6564,3606),(((35,1758),(652,361)),(2217,58))),(6117,(6958,6484))),3035),(5464,3857)),(7026,(4251,5649)))),(((5935,(3760,7659)),(((478,6806),(6970,4676)),746)),(8251,(5230,(587,(1525,3746)))))),(5944,(((6391,2152),((2512,7850),2250)),2611))))),((((((((5701,6632),4055),(3339,5677)),((8106,5851),5350)),(((2192,3785),6652),8169)),(((1910,6772),4903),(77,5757))),((((((7078,2882),(730,7913)),2833),6327),((((((5593,2984),8204),(259,2532)),(5548,(3251,((6453,1615),4127)))),(((6032,(1542,6016)),(2613,6780)),(((25,772),((7661,8376),7295)),5202))),(((2309,(8137,((6518,(8041,257)),5806))),(8134,6473)),((5859,(4006,(5085,6123))),(6189,(5148,6991)))))),2849)),((((((169,2258),8264),((5799,520),4784)),(1677,(3391,8391))),(((((((6671,5864),(5232,2004)),(7621,1982)),((337,5990),(5830,719))),((7490,6622),8175)),(3214,4966)),(6578,((4781,8188),((5658,1747),4359))))),(((3783,4371),(7826,((6591,(5952,563)),(7437,5873)))),((5588,1025),((3011,(939,((84,(6300,871)),4651))),5970)))))),(((((8208,904),(((((212,(7685,4354)),6882),((7491,(((2204,(528,1803)),1528),3402)),1074)),((4244,(3673,488)),(((7523,6470),7607),(4393,3158)))),(((1364,5054),4775),((1964,5856),1573)))),(4674,((1116,6829),3015))),(7772,((7574,4368),((1998,5753),(4697,6086))))),((((4736,((5552,(6530,2796)),((7418,5298),((6428,(4500,1588)),7767)))),((4332,(2896,7891)),(((6241,3115),(5156,2908)),(7778,4679)))),(((((4389,152),5355),7012),(673,2396)),((4626,((5713,6714),(2304,3412))),((368,3438),8190)))),((((456,(1463,4734)),((3131,((8007,4165),7634)),(2751,6006))),(3301,(6468,4896))),((7349,(734,6525)),4429))))),((((((3279,4242),2276),1058),((3418,234),994)),(2677,1093)),((4246,1610),((822,(6655,(4225,6238))),(((2799,(((5674,((1253,5211),2144)),(1322,5479)),((4932,5079),7990))),(278,(4910,2625))),(1925,(6754,((1063,6009),1176)))))))))),(((((((((((((4532,5544),74),4324),((((5892,8045),(1179,6551)),((6324,7760),3695)),(((4779,((4269,3414),5594)),(((6260,(1207,5783)),834),((2020,7907),3540))),(((4668,2430),2519),((3285,(3549,3508)),(((227,4056),5322),((695,5538),588))))))),((5824,((7286,4346),1871)),1968)),((((7187,(5005,2198)),((6268,(4152,1162)),2437)),7042),(1001,((7922,(3335,2894)),((3074,(1767,8144)),198))))),(((7591,2296),(1547,4549)),(((((5820,2225),(8048,((4789,3780),(5472,(6798,(4630,(5025,3972))))))),(((4208,5913),3833),(2312,4658))),(((1301,56),4652),107)),6447))),((7598,4161),3472)),((6496,((6758,1504),(4845,(((7116,5144),504),2180)))),(((((1875,134),(((((2268,3956),1497),(((2812,3727),5858),1649)),(6167,4464)),(2491,2997))),(6283,(3401,763))),(((((2037,4581),1321),(3349,4602)),((6510,1262),(7683,3709))),((((((3921,334),1138),7848),6817),(((2548,(4796,((3908,3398),(6424,1802)))),((6328,(((4917,3565),2855),(3095,7916))),(920,3563))),((855,((7260,784),(2655,(6615,5372)))),((2013,(2835,(3977,532))),(963,6861))))),((4446,1368),5494)))),((((5798,4498),((1002,5784),420)),(((3042,3178),4639),(472,(6717,(2433,8375))))),((4505,1353),((607,3244),2827)))))),(((3550,5665),(((597,18),8203),1470)),6046)),((((((((6577,((((3413,2603),6002),((3456,2961),(((2157,(8147,85)),(5228,(((7714,2544),749),7070))),(7242,3659)))),4000)),(5485,((78,6024),(2252,(((106,1169),(((6555,3943),474),4308)),5424))))),(7051,6373)),938),((((989,3761),(5671,5448)),8034),(5057,(3400,((5195,2883),261))))),(766,(4257,6140))),((((((1675,3295),(7624,6030)),((6887,6289),397)),(7528,(3976,8037))),(4712,6813)),(((4823,(6697,1446)),(((((2593,1131),((5904,5157),7216)),((5223,(5605,((365,5301),(165,3291)))),(840,6052))),(8317,(6278,7605))),(((4558,1647),6973),(((7112,24),(1748,(((68,647),4713),(492,6969)))),((2497,3762),(4365,((1538,8139),(2069,5188)))))))),((((4783,1928),8268),(1722,7809)),(((2966,7709),7777),866))))),((((6033,((((6358,(433,5097)),5769),((3512,1027),(6126,8378))),2513)),(((((((3873,1498),((6626,(7687,(7283,2991))),(6483,7671))),((7982,2175),(3676,2040))),(((6536,2935),5190),(3576,1829))),((((4288,1659),7658),1899),(((3109,7765),(6827,(2177,6519))),1237))),(((7197,7945),4614),(5585,6382))),(7124,(((1008,5861),6313),7324)))),(((2202,5931),(2739,(5257,6752))),((((1119,2837),(4755,762)),(4727,(629,4182))),((3590,(((1769,3629),2860),(8086,5280))),3108)))),4317))),((((((6995,7430),((3786,7289),(((4036,((1794,(1949,4044)),(46,1669))),((((4804,882),(2358,4771)),((2277,(4177,4275)),149)),((2631,3700),4596))),(((1351,((1184,1340),(6029,2998))),(1936,8052)),983)))),((3838,((1190,(4852,7494)),590)),(((3318,(((7066,3490),148),((4809,(6620,5596)),(6122,3989)))),(3296,(1171,6708))),((((3510,2752),5539),(4510,2937)),6941)))),(2694,1862)),(((1552,(5305,605)),(((2804,5695),(1783,(3218,7536))),7547)),((((6417,(7176,973)),518),(5318,7446)),(6479,1621)))),(((5373,4714),(5895,484)),((3399,6132),2009)))),((((((((5669,3931),(7782,3936)),(((4976,6906),(4720,(((1865,(((5027,3641),71),4597)),(2865,5848)),(3088,5801)))),((((8044,5008),((((1880,(6606,333)),1703),((7035,(907,2950)),(4547,5786))),(((4801,6124),(4241,1548)),(5303,(5557,(698,4949)))))),4087),(1309,1788)))),(((((((((4144,(6450,2691)),((1821,3210),(6057,(6264,2693)))),(2379,(((7441,6293),338),(2861,6220)))),(7509,((538,2573),7229))),((((7830,7288),(1567,(4050,(2968,738)))),((5685,2168),(1839,4222))),8039)),(((6696,(5088,1129)),(438,1730)),3893)),(7168,(((8186,764),(2113,1469)),188))),(((((5610,7652),6051),(((3666,6082),(3378,((2720,6979),8156))),((3314,6418),((((6642,4818),1761),((3169,(6987,1422)),39)),(5204,5688))))),(((1851,((2753,5507),6500)),((4523,4618),(1787,(3988,4650)))),((((((3421,4450),(5306,1524)),(((3417,247),1581),((6988,5962),(3485,(710,4629))))),((4226,3890),(2310,(716,3707)))),((4401,((1200,(305,5010)),6609)),(184,8377))),((8289,(5929,6061)),3859)))),(((((7805,5324),(7684,2435)),((((((682,8213),(7676,(5648,2206))),(7710,7429)),((1369,(4560,(4983,(4255,6705)))),7609)),(1755,572)),7485)),(((((((2495,2345),4512),3102),((7094,(3772,4296)),(1230,2639))),4264),((((3375,3888),2797),4942),1507)),(((2526,(3628,(6695,8028))),(6561,366)),(2627,((573,1601),(7715,3494)))))),((((3189,(((544,7387),(2224,5133)),((4016,19),(8272,5842)))),((((((217,6820),3119),(1768,5435)),4904),(8225,5150)),((7925,5518),1398))),(5867,(3674,(1931,4551)))),((((1158,3622),((3460,(7174,299)),6856)),3133),((2545,(((5469,89),4696),(((5498,(4733,5248)),6068),6191))),(((((2166,5891),(608,(4849,6135))),(97,(8312,5918))),(((8253,8192),5208),((6143,5921),(2743,1091)))),2778))))))),(((4361,((7622,7800),258)),(8390,468)),(2529,4074)))),((((2601,1846),((6221,(6886,6318)),(((5279,3453),(((1280,1045),(897,(6405,205))),(1678,6540))),(677,((2290,6726),6981))))),((((((1508,(6284,1478)),820),((8179,2547),8358)),(5482,(8128,((1674,(4822,1652)),(1937,(5216,(6350,2122))))))),(((1135,(((7378,(1543,(6344,2768))),((7732,((2762,1971),884)),(1325,5349))),(5886,355))),5102),((7541,3627),(1887,3433)))),((((3142,3599),(((((1335,660),4323),(6595,328)),(3069,6883)),((7784,5250),1858))),((385,(2858,8092)),(((((1705,7711),((4688,5991),2996)),(7803,(3091,1690))),(6286,7575)),((((4502,4923),5722),(6515,(3313,2979))),((7669,8366),4320))))),((((2135,(4272,2724)),6349),(4168,((2213,2466),6150))),(((((961,6623),(6294,4772)),6223),(6148,(4763,6746))),((3577,2214),1908)))))),((5389,(3793,(1217,3731))),((37,(5787,((5789,((7,7495),((3321,3387),7159))),((3262,6819),4749)))),((6532,5300),2543))))),(((((7038,4546),((((5924,4888),(406,3775)),454),((4414,5308),((6706,34),4090)))),((((((2049,(2992,4130)),((3043,3079),(2612,3056))),((4537,(7753,5023)),2773)),((2648,6893),3325)),(((7205,(641,4777)),1950),(4481,3757))),((((5772,6066),((((1519,2944),(672,(776,463))),((((6005,(681,4254)),529),(5573,4283)),(7967,6845))),369)),(7361,((160,(6562,667)),(((5710,6802),1416),((3223,(1098,6850)),4355))))),((((3305,5392),((3718,4672),((7994,4740),6673))),(5370,8276)),(((2794,2287),3476),(3950,1445)))))),(((7154,5865),(((6426,7660),4565),5926)),3307)),(((((7396,(4738,7253)),(7726,421)),7434),(2748,(((((8301,(8308,((6998,(7514,6087)),3834))),3932),((7245,5416),((2668,7785),6733))),((5711,8212),6041)),(((8341,(4648,6672)),(3841,(253,2584))),(5618,(1753,401)))))),((4866,(4634,((7857,7014),(6263,4388)))),3765)))),((6975,4312),(6205,(8343,3865)))),(((((((6846,1916),4048),(((1458,(480,(444,1661))),(8263,1835)),((5264,(((5847,(5967,3226)),6493),((291,3437),737))),4536))),(((7555,1438),(((4289,2900),((3809,5235),4353)),3013)),((1052,(7698,1571)),4107))),(((((3604,2765),(7638,7447)),(((4051,((4691,6110),7027)),((8382,1554),2263)),((((5283,1514),(3971,1553)),(1938,(((3063,4171),226),3104))),1023))),(4095,3319)),((((919,7909),4279),5601),((2453,978),3096)))),(5254,((7663,((((7458,5364),3424),2100),((5262,4477),7236))),(1317,((2301,6367),(1083,(4311,(6172,143)))))))),(((2942,5106),(5028,((5676,((1443,((4937,4708),(6423,1738))),((8278,55),(6162,783)))),1997))),((5296,(5993,6953)),(5265,7408))))))),(((((((((7161,793),(6912,6766)),((6145,(((2029,(593,1832)),(8004,7379)),((4007,((7213,6858),(3153,3316))),(7700,7335)))),((((441,(2516,6088)),(1215,934)),(2989,5823)),((4764,104),(7837,1953))))),((558,1614),(829,(3425,(4876,1895))))),(((((((((4562,5599),7192),2551),((6520,4088),4689)),((860,7996),((((3597,4085),8110),(6463,7885)),((4027,4083),((313,343),7859))))),((4792,(3739,2256)),((4030,970),2038))),((((5184,(4119,1448)),1726),1028),(2745,(((((4101,(5622,1465)),(92,4305)),(((223,1284),1099),5049)),(1991,1276)),(8066,64))))),(((((((5221,4492),4468),(((2947,6215),7856),8153)),((669,7077),((4262,286),((273,(8150,(2117,4322))),(3862,5401))))),(((((5708,3045),((((639,((3175,7450),7167)),5351),(6227,5818)),((((2186,((4122,5735),(1594,5299))),(2251,(980,898))),5829),(((1620,((3297,(8101,8211)),4358)),1400),((1105,(6735,3920)),(1727,(((2857,792),(388,1375)),5470))))))),(((((7428,2075),(6934,((1442,2846),4304))),((801,(1549,5583)),(4814,5927))),1223),(7819,(981,(1619,(3671,2462)))))),(((((((7780,7323),7423),9),1527),((2338,7774),((351,6874),7207))),(((6436,6275),3646),(((1019,6523),666),6943))),(((((1962,2510),((8170,5790),(7248,4475))),(3324,((((722,2867),((4743,(4511,3946)),(3678,7538))),(((2404,6050),4994),(4082,1192))),1830))),(4220,6080)),(5162,(((7238,7186),(((15,2640),(3867,6965)),(6187,(1639,6492)))),(((4321,4377),623),4591)))))),(((449,(6019,2073)),(8126,(8011,((((1673,661),(638,(1066,(2066,(5690,2271))))),(((1725,2136),2211),3269)),(((6997,804),((5396,(7735,((3357,6425),6945))),(7351,1838))),((1292,3555),1035)))))),((((4132,5113),7412),2673),((5943,(6636,2946)),((4115,3623),6584)))))),((((5111,((435,7114),1032)),((((((((7143,7432),6184),(2218,2744)),6114),1885),(((5532,4399),((7616,(4756,1459)),5950)),((248,1466),6712))),1183),((((4307,6258),(8027,3346)),1782),(1441,3372)))),((995,5508),((((3500,4142),(2132,1634)),3216),(3467,5721)))),((((((6256,3220),((2869,(((6411,795),((1662,((6742,7995),(128,4065))),(((986,4970),(118,(235,8136))),1137))),(7436,425))),(((6093,(497,(3499,921))),(((3100,6370),7562),((3044,1986),2502))),(((((5517,(6011,8287)),((7090,(4375,3383)),(3714,7817))),2381),8047),3451)))),(5526,(((2697,(1866,(1935,3729))),((6026,5191),((1973,3212),5974))),((5678,2910),((242,1015),((680,4812),(4145,4704))))))),5170),((((2540,1628),1654),(((1974,4580),8364),(6384,3891))),(((5460,(1453,(6826,6963))),(2956,4769)),(993,((1206,(5368,1173)),(888,8054)))))),(((4711,(((3455,2776),8050),4438)),(5071,(((((5243,(3407,6415)),(3767,(2876,2481))),((634,((4186,(7871,(267,7201))),(414,413))),5523)),((2369,(1270,2663)),5295)),((((6774,6851),((4391,(649,6907)),4592)),(1,(167,1715))),(2148,7454))))),(((7345,((6120,2237),4793)),(((4385,((7874,(3703,(6095,(7328,4653)))),(6108,8368))),((((1853,173),4900),7082),(7150,((2341,7271),(1598,6301))))),((6538,(6173,3049)),6179))),(3373,(((269,(7568,(8003,5682))),4855),((7764,525),6847)))))))),(((((280,3579),6608),(((4837,252),(1825,2681)),(((6007,8223),1489),(8012,(7061,1878))))),((7748,1660),(1196,6174))),((((((1550,6233),(6596,(((((249,6456),5834),3066),(6898,7373)),((4141,3777),2099)))),(6821,1737)),(((2628,(6550,5696)),(30,4641)),(((2972,(3571,7602)),4230),6431))),((7664,6563),(145,6544))),((((7731,(6430,((7119,4319),3557))),((6462,1766),(((321,67),(4025,4606)),5742))),((((613,7460),6217),(((7395,((6299,1204),((3059,6236),5395))),((6553,1850),495)),(6732,175))),((((((5817,8115),790),(((7025,155),3065),4003)),2463),(3836,3899)),((((((7453,3252),2171),725),((8183,(6403,8201)),(8324,2239))),(1327,6149)),((4253,4072),(((5633,1424),(5,2698)),7617)))))),(4091,(6505,6782))))))),((((((4267,2091),(((3743,3791),((4155,4913),((3948,600),4185))),((3933,(((1455,2831),630),(((974,8365),5957),(7583,760)))),(5832,(5877,8352))))),((((505,((2518,171),((1987,6740),7935))),((5480,5151),7620)),(((5359,3377),(231,2018)),((((900,(3658,4582)),6808),(7193,3118)),6691))),(((445,((1383,2953),((3722,7691),4479))),(((7644,(1712,917)),(655,8197)),(((((2375,7337),(3632,8206)),((3491,(2726,109)),(((384,2228),(7029,4604)),7113))),7635),((5488,(6889,((4197,8026),(2878,1356)))),4544)))),((((5436,295),((((300,494),2286),266),(((2618,2288),(7717,714)),(2537,((((6,(1011,2844)),(889,(3020,(5286,5294)))),2490),8361))))),((2411,6475),4372)),2181)))),(1452,((8165,(5354,1404)),(566,(6322,3422))))),(5432,2592)),((((((32,((407,5651),3774)),((((((4773,(2559,(7818,339))),((1073,5791),((5467,((483,5813),6317)),4698))),((((((3548,4392),6993),(5614,4266)),7508),(756,757)),6305)),((((2821,6871),(((((599,1574),((514,5344),8269)),((1337,7465),177)),(((5644,1958),3380),4172)),(((4838,7256),(4069,(6222,7586))),((3041,4285),5227)))),((((8221,4721),2784),394),(8205,((5888,((508,5224),1751)),5662)))),(7142,4954))),((((2080,7487),2422),(((4977,3320),((((119,(2652,(5652,5703))),4873),(3801,5236)),((5050,7214),1526))),(8010,(((((6509,3062),(6750,1781)),(((((8031,395),(8098,(2875,2293))),(4878,6647)),((5083,5670),6038)),(((7643,5398),((5668,6873),((4685,(2692,8177)),611))),1989))),685),((3649,6485),350))))),(((8393,1873),2014),2397))),((4448,(457,((1004,(1315,5072)),8286))),(((((498,151),5288),(((4163,7582),4207),((3985,7773),7910))),((4869,5406),((7697,7802),(4081,1316)))),((((2525,5495),4766),1635),((((5885,2791),3861),(3426,1681)),(2859,(((5104,595),251),(3902,(((4770,3863),(3050,870)),(1312,5995))))))))))),((3792,(574,5503)),(((((((1759,(569,((3887,5697),40))),2477),370),6296),(((8275,4194),(5430,(8283,(4911,4616)))),3239)),(((3241,(6593,1236)),733),(3327,(1984,(1166,5367))))),(((8030,2054),((1638,5094),2809)),((683,8290),3934))))),((((3552,(((466,1381),2982),((7903,5017),(4982,((4176,4609),(2764,8270)))))),((8114,(5497,459)),(((6307,((2783,2814),(548,5872))),(6689,(6351,((1189,(915,4980)),4707)))),(7707,(7215,1613))))),((3014,899),(4515,(4347,3021)))),(4326,(((7804,(93,6734)),(1477,1279)),(4758,6331))))),((2219,5252),(2909,6377))),(((((7675,3626),((6248,3961),((((((402,3564),3149),(144,1907)),((1752,1030),7350)),2970),((5582,1110),(1990,(5000,486)))))),((((3193,4519),5346),((6741,2929),4571)),((((2734,3631),8386),5896),((((5849,3945),4234),7997),(((((7793,2094),((2156,2917),(3157,7944))),2327),3105),1886))))),((((63,(((1329,(7701,6212)),7919),((6676,((3260,3615),((112,6631),4579))),(((1645,2954),7564),((((5399,7526),7702),(7585,341)),(511,(1496,(805,1979)))))))),((4615,(1472,4656)),(((5513,(((3804,1869),7864),(5673,(7413,(744,5704))))),(((5591,5182),1729),1202)),(((932,271),5274),(5175,(((1423,5836),6685),7712)))))),((((3527,6722),((((((3825,923),4725),(3811,69)),(3752,(((((8209,((3907,5438),(3386,8060))),(6558,(1944,4834))),(5964,7106)),4894),(3546,(5174,3441))))),(7983,7010)),((((1833,124),4237),1006),((2521,(998,(3965,(854,5833)))),7118)))),((4123,(5894,4318)),((3164,6385),(5120,((1186,(1927,3827)),1268))))),(((((3588,5587),(5628,7749)),(((2190,(3053,(4476,5838))),526),(((3915,(6304,(2129,358))),5461),546))),(((6118,372),3999),(7330,5632))),((((3471,5521),905),(7569,((306,7704),(8336,(4489,4958))))),((((((6711,8163),6646),6630),4357),(951,4746)),(4762,(3154,1568))))))),((7743,3179),7222))),(((((8116,7807),((5844,1187),(8160,(1144,7599)))),(((3935,((((2963,4816),1590),(4366,693)),((3298,5327),(((8196,(791,8380)),8009),6996)))),((((3365,8058),4601),((5657,3532),((3608,7766),(2975,307)))),(((935,3782),4260),(6208,(4893,((5449,5018),(833,2742))))))),(((((1245,2822),(3151,3057)),((((5452,2308),1864),581),(4931,3725))),(3816,(4455,(228,(((3616,5511),5773),6202))))),(((1711,4156),2429),1222)))),((((6512,5617),(((5132,2162),1219),6306)),(((5284,6097),(((7196,3951),878),1849)),(2231,(((6964,621),(2600,5020)),4778)))),((((378,(3881,4052)),((3768,2575),6952)),(((5725,4628),(3591,(1599,1357))),((((6768,5256),(2176,7044)),(((8199,7204),5975),(949,3528))),((((7255,(((3132,(6737,(5214,789))),(3805,((1339,(1332,1370)),(((2024,6719),5096),(7592,(1664,(1456,2184))))))),((419,8302),((1018,5414),((4493,4280),7131))))),((((7870,(7572,3370)),(903,5168)),(6128,(2007,101))),(((4008,4258),6023),(4810,4136)))),((1462,1199),7339)),(2710,(5749,1656)))))),((((7606,((5325,5499),1618)),(((5154,(((6838,4948),3978),(811,4413))),(7030,(427,7560))),(2589,5036))),((6073,7550),((2420,1808),(5994,6810)))),(((6990,(3058,4369)),(4042,(((4395,1289),3489),(2852,(4422,5492))))),((5138,(1836,(((6688,2395),(1299,2507)),(8002,(((3569,7371),((2387,3067),1430)),4143))))),(4681,((8159,1227),8291)))))))),((((((8310,(3060,2990)),5045),7898),4284),((((7438,2320),((5374,347),(8068,319))),(((1310,4710),(((7695,8171),(3844,2243)),7110)),((4250,((5977,(7062,5997)),(1121,(5726,2755)))),7148))),((1592,(5763,7346)),((7963,199),(4373,1632))))),(((((7157,7267),1474),(7492,(7812,8359))),(7979,6763)),((4109,8020),((3,(4687,((2408,3457),1257))),(83,((7725,6565),((794,6461),(913,4534)))))))))))))),(3892,(((((6347,354),2923),((8148,(((7188,4518),(786,6495)),(360,5217))),((((((((7355,(6459,4848)),1790),(3790,((3447,6784),(3994,7936)))),(((5998,((4588,4350),7069)),(((4462,((7928,8295),(4959,4459))),3849),7278)),1637)),((4173,(1388,5889)),2315)),628),(209,((2558,(4404,7814)),(6151,7736)))),((((((3821,3121),6756),(7893,8285)),5272),5477),8231)))),(((((3926,502),(5638,((622,6491),7310))),((1992,6709),(((3894,5562),(1314,5543)),(417,(5064,6099))))),((6323,(5400,(4975,3535))),(2376,((6337,687),3117)))),(((233,3185),((3705,7107),4759)),2524))),((((5712,(984,(4951,460))),(((2517,1427),4436),(7380,7633))),((5465,5331),(3957,((5880,1239),(320,8220))))),((((391,4064),((4686,4791),2872)),(((95,7313),(5352,5468)),(2389,(664,5442)))),(((5137,(3394,671)),((((7628,((6702,7073),3939)),4753),2819),3272)),(7959,(3236,45)))))))),((((((((((6216,(4559,6273)),((4424,5761),2034)),816),(((((4677,2393),4417),(843,(1636,(((3286,2032),4863),3308)))),((3281,(5481,5821)),((1663,788),2057))),(((2766,5576),7318),((2492,2440),7141)))),(((1926,4943),(4945,((((((7275,6744),1713),7057),1680),6968),(561,11)))),(5626,5281))),(((7217,3125),(1844,3515)),((6643,(3586,6231)),6079))),((((1565,((5321,5487),((6911,(7410,6125)),2853))),(((4187,(8178,1642)),(7565,6599)),(8355,1813))),(7593,((403,1070),1816))),(781,3846))),(((((8142,(363,(1414,977))),((3503,4950),((4465,3440),(((6060,6414),742),2006)))),(((1394,((7851,(6924,(1560,4723))),(4507,(8108,429)))),3642),(((1235,(3518,3572)),3677),(((3800,4955),8274),((7059,2769),294))))),(((2475,((3669,3708),(1909,(((6399,1683),7570),2604)))),((7873,4440),(((7364,2061),(3203,4670)),((7393,(6621,5213)),(((((3621,5686),3492),636),(1774,((7853,5767),5234))),((4918,(2107,(4695,(7933,6812)))),(((3366,2086),2807),5260))))))),((((((((8388,(5556,(862,5041))),((((2898,3040),1451),(936,((4787,2793),(((5171,7384),7039),(1229,7108))))),(1107,5702))),(((4879,(7367,813)),5410),((((1798,4071),(((8138,6866),7033),(5635,2813))),((((8236,1417),((5078,4706),960)),5115),((1342,((7943,6589),1358)),(3376,(7360,4960))))),((4548,(5189,845)),7829)))),5766),(2577,4782)),(((612,(((4367,7252),4292),2111)),5831),7263)),((1889,((6922,5589),1679)),(((4110,(7542,287)),4078),((1640,(567,3419)),(4660,3071))))),((((((((72,1932),((464,2106),6010)),7611),1218),(5380,1924)),((((((991,6206),(1467,(33,7095))),((2154,(6789,5336)),(703,(2273,7727)))),(5965,20)),(4964,2343)),(4927,((7681,6042),2960)))),((((((3486,2595),2560),2428),(((2879,657),3835),((6790,4514),6186))),((8164,1668),7500)),190)),((4337,((4717,((4794,(5426,(7580,(2892,2941)))),(7315,2460))),(4453,(3434,(7507,2644))))),(4967,1482)))))),(((1302,((7135,7163),(283,8035))),(((3925,5340),((4113,(364,(830,7031))),3542)),(((1180,4940),(5443,5999)),465))),((((((7703,5502),(((4846,7820),2112),(7723,4041))),(((6237,(3188,3551)),4892),7002)),((((7867,5857),(1352,6547)),2072),(((7137,(4442,7989)),1819),7670))),(((((7102,(1401,3137)),((4265,6610),(4342,1993))),(3443,((2146,((7763,3106),4352)),4420))),(((4719,(7947,451)),376),3784)),(((((4659,4061),3740),(1947,(688,6718))),((((8259,(224,827)),((6781,2926),3150)),(3654,(5179,7391))),(3814,(7109,2725)))),((5780,4005),((758,2795),(6681,((6890,2891),6262))))))),(((((8075,(2662,((3958,3271),779))),(((4370,(((7973,5034),(2025,6600)),1536)),(7641,1859)),7145)),((2533,1657),(((7233,((((4333,2330),3605),(312,159)),((2761,1723),((5183,((8349,4993),2183)),(2058,7294))))),(((4002,2158),5363),(2384,(7290,6797)))),((1961,(1593,7302)),(((3580,57),(6554,1587)),(5263,2167)))))),(316,((5309,1622),(3728,3583)))),(((((5206,(5015,(6065,(3361,5937)))),911),5098),(3217,555)),((3967,(7623,7929)),6465))))))),(((((((((((((((7682,2903),4089),((1792,3033),8072)),((6439,2137),4224)),((6658,(((2629,7576),(1978,8247)),5869)),((3810,(((7554,277),(6182,3686)),(1133,(6244,(732,5612))))),(2538,((1970,6419),5843))))),((((6474,7730),(5794,5500)),(187,3235)),((7590,(3392,(103,1114))),((4023,1420),(153,(3253,4360)))))),(((1271,6853),8280),(((((3163,(3416,(4032,4310))),2279),((8195,281),6814)),1242),1348))),((2471,2622),2131)),(((1481,1354),(1714,1898)),(((5501,(3379,(((2995,7790),5760),2147))),7203),((6438,(1088,690)),(((5245,7932),5437),(((((4463,(5135,5451)),(651,(824,1157))),((8185,1428),(5660,6828))),(3984,3097)),((7478,(7347,6004)),(668,849)))))))),((((7690,(1261,5136)),(((4827,(3594,4382)),(((218,7332),3352),(6113,2637))),(996,2718))),6105),((2092,(5752,6913)),(((6843,5446),(3186,((3733,(6710,724)),(4835,2574)))),2658)))),(8371,6929)),(((7998,((787,((450,7291),(((2606,(4068,4988)),((8065,3773),3173)),(7053,947)))),(((2682,8245),(150,436)),(3101,(3124,5555))))),(((6534,1350),6604),(2712,3968))),(((6196,5778),(6014,7366)),(8334,2936)))),((3122,5751),(((6469,(3912,5210)),(7646,((3506,(2314,1818)),(((1077,2048),(5007,559)),((1331,((5056,3136),3430)),((4578,(7655,4728)),8067)))))),3531))),(((((((((3144,(1150,4610)),((999,7227),7705)),((2779,2708),5976)),((2817,(3789,((2531,4118),(1520,(8230,3640))))),((1051,2022),(((5629,(2444,7091)),(((((3330,(3256,4833)),6926),302),(1393,(4238,1912))),((((80,1062),7354),2230),7353))),(1969,(((8005,5762),1347),(2064,((2732,((4012,6762),7425)),((7162,3874),303))))))))),((((((2474,6249),3197),(3405,(4153,(((3766,5645),8255),1942)))),(((2808,1857),(((6680,(7054,(323,7914))),5486),(((((7843,2730),87),7584),(1170,5675)),7129))),1454)),((3672,(((((8135,874),8078),((329,((2074,5153),6980)),((6966,859),298))),((3201,2500),2178)),(((6085,3240),((6254,5011),1096)),((((((7801,5546),(1050,(4022,(4233,5258)))),(3681,((7578,(((4293,962),2303),2528)),2125))),(((((((4351,(5740,(((1577,3487),6731),7299))),3393),(4638,(2841,6389))),((6796,(4209,4159)),6152)),((6390,5542),((2467,929),(((5642,5129),4210),1412)))),((8064,3390),1250)),(3758,5575))),8215),(4947,(2454,((4423,((3209,7449),6361)),(5316,1336)))))))),(((5934,4865),8100),((3692,6757),1892)))),((2285,5664),((3897,5361),((2901,(((((6432,4460),(359,((1243,(7955,6751)),3759))),((933,(4703,1486)),7050)),((2409,5365),120)),(3245,(6653,1900)))),5141))))),(((((6915,(7466,7088)),(((6366,((7100,7237),7978)),((8318,1360),3081)),670)),((255,2001),(594,(99,5983)))),(((((1355,7399),5329),1750),7277),((7520,(((1733,2832),1132),((1745,922),(404,4807)))),((8288,4227),1999)))),(((6743,3710),(916,8299)),((((5939,3656),4229),(((2401,(4181,2336)),(((3225,7908),(739,(73,7923))),((1291,2918),6319))),(((6830,7665),4752),((1746,(2916,2884)),(((2675,7444),8103),7336))))),(4986,((8172,1555),1773)))))),(((((8056,3282),((5819,3697),8017)),(2235,((6129,550),(3075,2365)))),(((1146,6635),3385),((2060,5571),7076))),((((3371,1326),(((8198,6287),(((1897,6375),8152),1203)),(((((1896,3073),1487),6460),(309,6767)),((731,(2361,1806)),301)))),(((5547,7752),7448),((5334,(5358,(8222,4622))),(7775,6816)))),(((((6359,736),(((4024,((7739,718),(2323,6039))),((((3130,8191),(6908,6386)),(8182,6976)),(2368,(1698,6940)))),((1503,((4431,3724),5897)),(86,(6910,4383))))),(((((((5066,(3408,5421)),1643),1056),8315),(4612,3031)),((2289,((5407,7052),((4066,6133),(743,1708)))),((2377,1824),((968,696),(((4461,4619),964),4094))))),((7101,3837),((1688,5119),380)))),((((((437,8279),1440),((5158,59),3653)),(((7838,8309),((((3403,1402),1029),(6832,2353)),6440)),(969,3227))),((((3442,3329),(479,6771)),3905),157)),((((4411,(((((7719,(4825,3351)),1386),2571),5551),(4313,4248))),(((5253,8083),(2965,3004)),((((154,4957),3496),(1492,1625)),((1841,807),4214)))),(((3798,7254),7847),(521,3802))),(((1053,(((((4553,5871),7115),(810,1905)),(3470,987)),((2284,5403),(6803,8337)))),((3593,5199),8193)),4273)))),(1234,(6142,(4509,1188))))))),((((((6098,7011),((((7557,1266),499),(166,(3617,4761))),7567)),(((1572,1022),(7610,5249)),(3643,((4235,2786),582)))),(((6725,7074),(4405,4398)),((((3711,(5809,7792)),2104),(((8102,7889),3283),((6880,8300),1275))),(6675,5732)))),(((8036,4915),4541),((2291,(1743,4839)),(2371,(4973,6760))))),(((((3845,(4166,7362)),((966,7340),((4158,2825),(2364,4402)))),(1120,(3803,3520))),(((((((7013,4934),3570),3488),((4084,3348),(3284,(4387,(387,416))))),((4898,((3813,(7686,(7480,7496))),(1522,6312))),(4941,(1017,4906)))),(5720,4277)),6498)),(5826,((3076,4067),6364))))),(((((3522,5012),3344),((5172,6302),(5166,4035))),((4715,5278),((((3161,(7246,3480)),5463),(7327,(4348,1687))),((5625,3303),((7493,6406),(3600,2042)))))),((((4874,4075),(147,1801)),(((138,1174),((2811,(237,1963)),6839)),1709)),((2380,(988,(7728,(6875,5567)))),5716))))),(((((((2536,(4117,3828)),((6297,510),2820)),((((((4637,6480),2245),(7482,5595)),3513),6807),((((5512,8354),1319),((4776,(327,4329)),1362)),(5731,8340)))),(2443,(((((7937,842),(6332,(125,(238,7386)))),3538),(((4301,3817),7581),7270)),((8207,3690),5527)))),(((553,7092),7191),((4732,2101),(((((5827,(6678,3928)),((((1371,5073),(6903,5572)),(7738,5902)),(2015,539))),((7257,7036),((((6999,((5074,(5490,7376)),4076)),2596),5656),((((4636,6022),(6481,4974)),4363),3679)))),((2557,4102),6870)),(((5941,(7104,(6394,5147))),(5570,(3047,8328))),(((((1551,1939),(1517,(6728,928))),(((7156,976),8226),(7231,6777))),((((7452,4806),((((7028,3963),1444),5431),((6072,7986),(((5128,3855),490),6716)))),((5863,(5209,((4808,6522),3883))),423)),(4223,(3721,7656)))),(3732,((((7779,6243),4517),(3099,(1225,3038))),((531,3537),(36,5988)))))))))),((4046,((6537,585),5001)),(((((3497,3278),5218),1888),((((2023,(1387,(3429,(8323,(3808,6081))))),(3665,(3864,(5505,2457)))),((((((8180,293),6021),2266),(((1282,5846),3238),6144)),((((((1306,5109),8080),2326),(((5876,(((7647,3750),3982),(4472,1627))),((2028,2810),(1260,((7281,3534),(6277,8330))))),((396,(((2270,924),((7808,2740),((4899,(5052,959)),2115))),(((3706,400),((1672,4533),602)),8249))),598))),((7198,4969),(6800,4124))),((4013,6443),(1695,1785)))),((2238,1965),957))),(((3211,8051),(1128,4524)),(((2785,2174),2553),((2777,(7357,4683)),5429))))),(((1164,5123),(2792,(7589,5900))),4795)))),(((1842,3966),(((2864,((((6229,6340),8013),4613),4302)),((7949,((6592,(8297,3851)),((1779,7674),2275))),(((7776,1585),5592),4836))),(583,7292))),(((5044,2329),(((8016,(7632,1530)),5850),817)),(((8157,(3406,971)),(((8200,(6027,4867)),(8385,(3143,7365))),3176)),(((2576,2046),3683),7894))))))),((((((((((5747,4620),(7287,(2653,(4480,(5103,(2191,2212)))))),(((515,1943),((2442,375),1934)),(((5273,7164),2772),(5693,(236,(6517,(3184,2645))))))),(((5754,((6314,8111),((2372,2339),(640,4057)))),7531),((618,(2140,1777)),6598))),((((6112,1071),(6012,200)),(2236,3911)),(4179,1624))),(((((1707,(1644,5408)),(211,(1185,7377))),((((1041,(((1945,4539),(5781,(4432,2570))),1631)),194),(701,6690)),2335)),(4316,3541)),(((7905,2486),((2441,637),1082)),(((7693,(3061,7486)),(5293,5597)),(((7093,5222),(1884,3094)),(((((7673,3754),1494),3884),(4627,4282)),(2877,2969))))))),(((5765,(1425,1776)),(((5811,(5030,557)),(3829,((4528,2630),(7971,(1269,7816))))),((3411,3192),(2905,(114,5621))))),(((((98,(7208,7394)),((2948,5854),(6226,(7388,6682)))),(((8095,5418),6579),5225)),((6309,(1238,3257)),(5433,(2788,((7417,7326),(2398,3090)))))),(2264,(1010,(180,(6909,1922))))))),(((((7279,(3146,3561)),1596),(2199,((7259,1384),7716))),((((8074,((3129,7559),477)),((3736,193),(7505,2605))),((7342,(1716,(624,3356))),2222)),(2102,(((6662,1408),(1576,565)),6701)))),((((((((2958,((((3388,3879),3689),((3525,2925),821)),7411)),(((((452,((4192,260),(2687,5509))),(((((357,3127),6137),6421),(7048,(3367,589))),7924)),(((735,3265),(5627,6497)),((894,(1476,2425)),(4334,(1300,6625))))),(((2913,2881),((((2244,(((3638,1330),3909),(6633,((1904,100),(((2172,7755),(503,3037)),(7865,6031)))))),(((((3068,1710),244),3083),(3819,7549)),((4962,(2534,(7551,2455))),(4146,2436)))),((1607,197),(1804,7348))),((((3868,6281),(324,1468)),((2257,(3567,5620)),4344)),(((7405,2623),((((2920,6325),5898),((((7746,7532),(((5615,5312),(3818,3322)),((1102,5169),5112))),(8273,2414)),4259)),5586)),(4112,(516,(1827,3929))))))),((6930,3290),((7344,7363),(3110,2993))))),(1108,(1328,((4154,2962),5422))))),(((6477,(((7402,(((12,4815),3620),(6115,1784))),((3123,4093),(((2580,927),((4902,4228),(3624,7047))),(1578,4419)))),((285,(((4880,(4608,3960)),(4554,1697)),((5706,117),((3191,2552),((3233,(195,1815)),8008))))),(((((3229,4286),(8311,4485)),7977),(1988,4114)),950)))),((((4049,(6467,7791)),(7813,((5535,7075),3749))),(4108,6449)),(((4963,836),((6161,(1505,7527)),(7840,3941))),(((4724,6649),4021),(2789,(4271,5606)))))),(((((6045,7331),(4191,6159)),((1143,(5966,5959)),(((4219,4504),7993),((6266,2695),7699)))),(3275,5558)),(5915,(3036,(7285,2292)))))),((((((4386,1439),4162),1760),(((4530,3662),(2850,4384)),(5287,(3747,1457)))),(((((((2615,4872),7401),431),(((5788,4813),(1923,(4605,3981))),((8025,4531),(578,((6433,(1413,1214)),5379))))),(((((8059,(6849,(7103,8298))),4861),2735),5271),((6203,8018),((5985,7065),4470)))),((((6276,4327),((6197,3636),3614)),(6955,((4870,5019),5075))),7338)),(5342,1749))),((((3876,5187),4890),3009),(5177,(((7060,5310),5741),(((5031,3684),(5385,2499)),8373)))))),((2754,(((6067,796),(7948,((8294,6786),1882))),8145)),((3687,3910),2041))),((((((5391,4731),4215),2416),(((((7476,3962),1087),6567),41),5882)),(((1810,(4240,6574)),7561),(((4857,846),((1209,4671),847)),(((2959,1893),(5237,5744)),(2815,4640))))),((5489,2405),(5979,((5609,8073),(1718,3299)))))),((((6571,(7579,(818,7920))),((((2701,(6239,8281)),((3064,(6269,52)),(2052,(((4798,767),((7097,1491),3237)),(5707,(8162,5529)))))),(3300,(((6778,(7619,5835)),7886),(3940,(7941,2610))))),((8141,7403),(8258,(((5328,5013),1856),7158))))),(((((((2731,6683),6960),2671),2447),7931),(5116,((755,839),7637))),(((5853,3995),(2978,(2261,5945))),(((2931,4594),(6442,5247)),(5042,8057))))),((((((8149,((4921,4497),7614)),(6404,2359)),((4469,7023),(6974,6687))),(2294,((1396,750),(568,(2582,1852))))),(((2391,1249),((((8293,4019),(5680,(310,162))),(1955,(1523,(5855,908)))),(((398,2539),(4396,(2307,(7181,865)))),((3199,7737),(1533,((7140,(2234,1764)),8252)))))),(5427,(7845,(6511,(4642,((3547,5986),4495))))))),(3516,((1267,7473),(906,(580,2078))))))),(((((8174,(3139,(851,2165))),(2750,(7043,6747))),((((4077,3983),(2608,2109)),7984),(((5376,6748),(2594,(((5330,(8090,1213)),(6106,7084)),4330))),(((((5928,288),(6252,5474)),((1198,7883),(8079,2964))),168),(3292,((3553,2727),2103)))))),((((393,(2340,3898)),((6109,4447),((6446,8071),2473))),((4803,(2899,((7488,2874),((4750,2123),(4421,6663))))),7627)),((1919,2055),5874))),(5108,(4802,6878)))))),(((((3753,(342,4111)),(5807,(1741,5233))),((8319,2128),(((191,6413),6003),((((5058,(1917,(6637,1139))),4),((1967,409),(5084,(((1313,5450),3682),(1122,540))))),(2757,(296,1359)))))),(7651,(((2738,2413),(((1059,(1361,(5051,5919))),((((((3039,4997),(7720,(3645,(6573,6400)))),(4454,4043)),(2646,1014)),(5315,(2927,(7868,(943,1220))))),(2774,((8277,(8022,6121)),(((1914,4017),7000),(7515,7757)))))),(((1606,522),6654),(1182,(((6862,(4299,7398)),3206),(6464,(4946,4621))))))),((6572,(635,2590)),3165)))),((((6841,(2322,5124)),896),(((((((((2446,3444),(1392,3242)),7915),2546),(((1124,4617),(4409,2070)),3222)),((8124,2362),(((7451,2581),(7854,931)),((6541,4891),512)))),((((((((7708,7374),7358),(6729,8265)),(((5447,(8387,5581)),(7539,956)),5152)),((((3918,3955),(5800,3592)),((8305,(704,7147)),(3806,(2830,8262)))),2047)),(3231,(3637,1065))),(((3685,5792),8055),(2283,(8166,7788)))),(((2632,386),(8242,((((((5231,5065),(3334,3249)),7206),7407),(6603,(8362,2208))),(7852,7940)))),(((((6670,(7298,5743)),((6795,7370),(6860,6799))),(((5185,4449),(4426,482)),(((500,1106),((3923,2638),7459)),2999))),(((7239,(1817,940)),((7172,(6597,(1232,5561))),7382)),((7218,(3168,6409)),946))),(((((3584,5215),7855),(4854,7261)),((((((5203,7474),7991),(7969,2278)),(47,6329)),(((5456,7195),5167),(229,((4905,383),((4496,6489),((6962,1149),823)))))),(3896,570))),((((1600,6472),(2829,471)),((2424,1145),(3618,1780))),8119)))))),(((((4737,8029),1012),(6679,(3664,((3461,4490),8369)))),((((((5107,2248),((2602,((422,2035),1940)),(4664,7649))),((((6932,(4306,5804)),(7504,202)),((5484,6096),4624)),((1742,6918),1995))),(((((1521,5933),2432),6921),5159),((3205,1346),(5659,3559)))),((((7223,4700),(3998,7309)),((5930,(7221,4478)),1264)),((5090,(3741,1054)),4298))),1377)),((1561,((3657,2406),116)),((6587,((7369,8113),1367)),(((4218,(967,2683)),((691,5730),221)),3975))))),(((6765,((((6583,48),111),(7964,7672)),((2388,654),1894))),(((1793,5603),((7040,4907),(3198,2445))),(((3539,3886),1147),1089))),1579))),((((((4799,4198),(4408,1510)),((1563,1421),(4526,3180))),(((((((6089,5611),6823),5550),(((4457,1078),140),5862)),7151),(((2641,3964),5549),(1518,((((((7314,4430),7679),1156),4912),4590),((7058,6139),8238))))),((1148,2351),(4657,(((2116,(2265,(3006,6920))),(3177,5458)),((1399,2494),((5654,5037),(4073,2385)))))))),((((((5459,679),(7146,2871)),(((((4200,1740),6668),4692),5533),(7806,((6316,7479),((2242,699),3126))))),5643),(((545,2321),4748),((5951,3267),(5803,6983)))),(5600,(((5956,883),((1920,5067),(3072,289))),(7927,3655))))),((((2981,(2090,5409)),6892),((3723,7467),(2043,858))),(((4268,3997),3519),((268,3543),((447,3575),(415,(4441,2232)))))))))),((((6640,(6876,(1295,7769))),(3667,3087)),((2616,5417),((1686,527),((6699,(3735,2508)),3469)))),(((7827,5186),((5419,(1298,7319)),(3449,2005))),((((7846,7543),2854),1562),(8088,4718))))))),((663,((((4011,863),1545),(((1762,((2392,7008),(6209,6684))),((8091,5244),2988)),((((6163,614),5899),(1385,5238)),((5131,5733),(6569,1410))))),(((7470,7799),((((3022,(((1431,((1109,1609),((644,554),1244))),3726),(((8184,2095),5881),3947))),(4018,6076)),(((4830,5165),5946),(((6660,183),(541,2723)),6321))),((5493,6848),4566))),((((5360,(6661,5604)),((4819,831),4886)),(1380,(564,(((4374,4678),2690),(2027,5163))))),((3742,7293),4403))))),(((((((6927,1630),(((((507,(7177,3924)),44),2489),(4984,((5114,1076),(((3155,7518),(6720,(5371,7209))),(3445,5369))))),(((4797,(4079,2520)),((1193,6383),3306)),5814))),((((753,2096),(392,(348,(1333,1464)))),(7322,((4097,7844),(6506,4575)))),((26,2485),((5434,(2767,7512)),(5390,1433))))),((5047,((1436,6811),373)),((((((6854,(1406,2403)),(4887,(887,(7733,6471)))),(((7918,853),(((6339,3363),5219),6116)),((1397,745),(1084,4157)))),(4999,3404)),5201),(((((7896,5528),3756),3530),((5292,(5347,(7219,778))),389)),105)))),((((((((1226,(2851,7571)),6055),1557),1003),((1985,4356),(((7957,(7811,3005)),(930,6692)),((6801,3054),((3174,4501),(137,(6353,(5580,7956)))))))),((7303,132),((((5016,5504),(((4131,6580),6176),102)),(7566,(2973,(272,3034)))),(((3116,(((1013,(1155,5717)),3263),4212)),((4199,(3289,5439)),1026)),(5476,(1495,((1447,1434),1103))))))),(((6508,5634),3270),((7333,7688),8331))),((((((4522,(5840,70)),(7529,711)),(((1728,2550),7171),8261)),(((((4491,8077),(6884,6008)),(((6434,6601),4968),(((((620,3796),4232),((27,(6422,3969)),(2127,2674))),(4607,(8043,5736))),(204,(1113,6427))))),(((5339,2079),6575),(((5320,(8246,(3493,1765))),2634),(941,((((5026,6047),5694),((3737,(6753,6193)),((((88,3942),133),3026),6822))),(3415,(((4203,(1273,2417)),5920),(3326,6539)))))))),(((((7524,6362),(5989,3771)),(4739,1037)),((((6308,(7662,428)),(((6896,(7079,3219)),(944,1345)),(((5290,(4811,4576)),(((((3032,(6352,3501)),6185),(5070,5705)),(5212,6368)),7435)),1240))),((4884,(((5343,(5062,5099)),((121,2355),5259)),8363)),((((6147,2711),6200),16),(5961,448)))),((5565,((2994,(6727,((4767,7420),7226))),3331)),(((2660,6064),(((2479,6336),6994),(1485,1016))),(((2342,1296),4645),(((4944,94),4868),2781)))))),2402))),(((1069,(890,6198)),((8229,(((4820,3353),6160),6131)),(3246,(4443,(6879,(4603,902)))))),(((5681,((((7359,665),4520),(115,5647)),2749)),4663),(4754,5323)))),((((7134,6869),1483),(((((2318,((3781,1085),(6155,(4125,7006)))),(((265,(997,2031)),(5105,6165)),(((7032,(1426,7046)),(6054,7677)),802))),(((768,7120),(5646,469)),(((((684,5808),((((3634,8329),2179),513),(761,53))),(((4281,5095),2452),(5384,(4785,6868)))),((8140,2407),(5091,6310))),(3089,3466)))),((((5081,(3051,((((5774,4647),4252),2828),208))),408),6644),(7563,1048))),(1194,2193))),(((((562,5440),(2839,3247)),(3342,(222,1307))),(3779,(4170,777))),((5194,((5405,1602),7190)),2504)))))),((((5996,5040),((((((4190,(178,2957)),2985),8367),((8021,7063),5068)),((3745,196),1211)),((241,(3507,8117)),(5004,5973)))),((((6618,(4561,4278)),5029),((((2775,1890),832),(7666,1254)),((5086,1500),135))),1977)),((((((((2607,8227),5602),((4135,(5043,7879)),(7968,2483))),(1566,1407)),(((1957,7629),2254),(8346,7483))),((2357,2505),((426,(5887,1067)),3274))),1795),1168))),((((((((7608,7501),(3482,(4675,6730))),((1913,5357),(1946,(5785,(2328,6013))))),(((5423,((((2448,3019),3716),3858),(314,(7243,((4149,1127),3751))))),((7489,2971),2415)),(((3120,(2026,5139)),(66,4483)),274))),(((((1531,5304),((3458,2063),((8271,6715),(2161,(5812,5161))))),(((4542,(689,((((8133,4444),(5715,1584)),(2207,((38,2702),(3160,3699)))),((6931,(6410,2836)),(((7718,5514),((4774,(837,7225)),(1699,4487))),((7794,4529),(7577,(1344,(2480,(4926,(322,7834))))))))))),(((((2856,(1633,5143)),((((6516,((1956,2426),489)),(8061,1861)),6020),(1941,7404))),(((5198,5917),(((4047,2688),(1373,1252)),(8257,7595))),(((4938,((5181,2382),((((2758,2818),1796),6531),1828))),((2733,(2089,(5060,5277))),(642,8321))),((270,676),(((((3338,(8167,7056)),(((5883,(2300,2262)),8241),(4037,1090))),8284),992),(7132,5868)))))),((6770,(4458,5192)),(5709,4189))),((5196,((6629,(4702,5608)),((6207,2700),((1881,4134),((2866,(6134,(2802,2930))),((2472,856),(5574,2719))))))),((((5630,(4525,5980)),(1623,4570)),7211),(6071,(3839,5782)))))),(455,(((((127,(4844,4971)),(2624,2824)),(((6959,3595),3521),(6343,((7992,((5534,8097),867)),(2434,3648))))),1653),(1506,2643))))),((((((5729,(3473,6935)),(((8296,(7875,(5302,1831))),2893),(4437,5890))),(((6946,(4995,214)),(5636,(2699,485))),1537)),((((2654,((4167,7462),1080)),(2126,4261)),((2297,1789),(5540,3082))),176)),4096),((5314,7166),(((6201,4270),((7341,4467),7861)),((5239,1241),(((7096,(3511,6611)),(3294,7282)),537)))))),(((4249,((((1770,2501),5607),3140),(4729,7517))),(3633,(7122,3204))),(((1449,7127),(7136,3850)),(2689,(1694,1308)))))),(((((((3954,(6270,8306)),(7265,(113,(6552,2661)))),((6146,7900),5563)),(8347,(4897,754))),((((1246,(390,((3128,440),3660))),((146,1684),((((3554,434),(((141,4730),6476),(625,((3001,4909),1303)))),(1293,(1094,5035))),((((6881,5412),4331),5679),(6015,3788))))),((((6078,((5949,(3092,(6169,3609))),((2498,8282),(2418,6703)))),2021),((5719,2274),(((3317,6507),(6837,((4972,(1231,3332)),1153))),(5381,443)))),7648)),((((5727,((6228,(7312,1534)),((2863,3505),(3973,((6246,275),6267))))),(7169,5755)),((4726,2919),(8181,((2421,7152),646)))),(((((3799,(5205,717)),5545),7304),((895,7548),2012)),2626)))),((7182,(7604,(((7754,7835),6090),(1141,(264,6938))))),(470,8107))),((((780,2633),1719),4598),(((((8342,(1092,(6346,7895))),(((6357,534),(7284,5269)),(((6542,(892,2458)),(592,(7276,819))),5530))),(3018,((5471,678),7381))),((((((1210,((377,8),3170)),3769),(1996,(6393,6779))),(((((3840,1837),1595),(4856,7770)),(6657,1658)),765)),(4550,((6320,8129),((4998,3843),215)))),(((((((1221,4211),((5907,2438),6397)),((7657,8014),(6265,458))),(6590,(((((3148,(6686,707)),6356),6914),(((((7080,2873),2121),4666),((3337,5954),(1700,(5270,1172)))),3277)),(((((1043,412),3712),((1374,7980),(2805,1101))),(6354,((2787,8168),6130))),(((7416,4985),(8357,(5080,318))),(6380,2703)))))),(6948,((((3919,1040),(6560,2189)),6607),(7170,(139,(2974,(4599,1379))))))),(((((3974,2337),(7457,(3323,7247))),(((6864,868),4992),5624)),((((292,7455),4928),4245),((((954,((8032,(3309,1583)),(712,(172,7751)))),1544),(((1811,(6992,4433)),2363),3355)),((4916,1556),(3464,(6452,4034)))))),(((382,771),((7334,(1876,3427)),4635)),((3432,((4600,5014),(((1112,5875),3248),2549))),((2240,(2928,5822)),(2987,(((4445,3763),1921),7970))))))),1205))),(((((5317,(3016,3573)),(7128,6824)),((((6818,8132),752),(8243,2657)),(6916,2196))),((((4054,3474),((((5616,((2798,(2082,7503)),(5797,7149))),((6897,7414),(1575,(1731,3465)))),((7976,3145),((7199,(4151,7301)),6616))),8322)),(912,(1395,2716))),((((7068,(5220,6863)),(1100,(2149,(5746,3545)))),((5981,2062),((5353,(4768,4314)),362))),(((3347,(((7768,4175),1341),4859)),((4482,5282),((6650,8344),(371,((2087,2838),(((6613,(1493,8316)),2003),2349)))))),(((7456,4527),3364),4987))))),(6736,(((1739,4390),(4080,2255)),((((3889,(7904,1754)),13),(2933,(1791,317))),2706)))))))),((((((1906,7041),4195),7475),(1734,((379,(1287,8338)),(3568,2050)))),((3558,((((5291,7786),7184),3268),7264)),((5569,1258),(((5337,7424),7849),(5428,4742))))),(((((4160,(7272,(((7513,(3436,(6957,6250))),(7985,2370)),1233))),(((7815,1415),(8118,(6219,((3831,3420),(7882,5038))))),7099)),((7001,((((1826,7445),8370),(((6454,3384),6091),1529)),7729)),(803,1651))),((((985,6272),506),(610,((5650,4690),2782))),(((2609,(1409,8112)),(8237,((6360,(2586,4843)),4981))),(((((((1692,(7740,1682)),(7747,1701)),(3288,(3797,2313))),((2133,5525),7189)),((((((4788,5453),3704),7787),990),(((((1689,4860),6804),(3304,3987)),2667),((2729,3986),(2141,5910)))),((335,6094),(2885,(((7321,(2130,7468)),5155),6482))))),(((4217,552),(2542,1704)),6594)),((5828,((3215,965),2728)),((1626,1646),6949)))))),(((1104,((6713,5126),7650)),(((5061,((7654,6877),6704)),(4139,((4451,7005),(6210,1167)))),2912)),((6937,((7317,4407),2209)),(((((7680,6387),1161),6402),2306),(5255,((5815,1666),4506)))))))),((5246,(815,4920)),(((((((216,7111),((5745,7890),((4345,2934),(2943,(1696,(918,2085)))))),((((207,2201),(3870,6867)),1546),((1111,(2017,6617)),1363))),(((551,3663),((2110,(2843,(3680,((6791,4722),8042)))),((8339,2509),759))),((937,(4053,6059)),(7938,6840)))),(((((((7003,(3996,3107)),2562),((1064,3698),((7506,(2461,6514)),(2746,8379)))),7899),(5063,(((4340,((1224,2620),6904)),(((4744,(2686,(812,6044))),(((5455,1676),1318),(6166,6524))),1847)),((785,((7461,797),(3566,3397))),(((2352,3315),721),4474))))),(2124,(((((6330,((1134,1558),1655)),3544),(1072,7958)),(7469,(5553,5176))),7556))),((((706,6295),2514),((7400,7530),((((1405,2269),(6836,6548)),((1151,5566),(631,549))),7869))),(2488,(2221,4885))))),((6776,6794),((3287,1081),(((6759,(((7415,1075),((6628,3826),5619)),(5590,(((7165,697),8360),((7625,1390),(((5425,(3008,((2002,110),(4183,3172)))),4508),1822)))))),2759),((405,5516),(2295,(3084,2895))))))),(((((((((4410,6164),(8256,4499)),1178),(7072,3046)),((1845,(6157,3524)),((3182,1020),6834))),(3904,(346,(4418,1702)))),7426),((((((5947,3381),3719),(2666,(((5968,1460),(880,7016)),2386))),((((((7126,((5313,5393),332)),((6665,741),(2145,2848))),2000),8384),((4428,6290),(((4045,3475),1247),1248))),((5506,2647),3647))),((2412,4221),6156)),((5089,(6721,1616)),((2227,(7881,(852,3764))),(2747,186))))),(4193,(7160,((3264,6037),1915)))))))))),((((((((((((2356,374),(3156,254)),((633,7519),2579)),(3696,3877)),(6381,((7952,7831),5770))),((((4406,4201),1891),((6769,((2484,(4031,4889)),(5388,7463))),((((4202,3200),(1820,(6527,5623))),(7897,7390)),3114))),(((2169,(2173,6936)),((6568,1047),(2880,3341))),((7988,4503),(7597,(7828,(7235,1948))))))),(((((7123,2636),(((3866,(3691,7901)),3694),(3815,(263,(3369,686))))),(6036,(3913,4106))),8146),(((2163,(8121,857)),(2210,((6445,(424,2806)),(6645,694)))),((((((8333,6852),7194),6707),((((7300,6334),7771),6775),(((619,279),3010),8173))),(((2374,((1569,(3959,1650)),(3336,7224))),((2347,(1902,((5093,(5971,5724)),5691))),7105)),(((5415,1756),3770),(((501,4673),6136),(2253,(4545,4315)))))),((((7250,((1297,(615,7019)),(2737,6557))),(5134,29)),6171),(((((3498,82),5936),(((8143,3794),((7015,5639),7950)),7974)),1629),(((4828,2889),5319),(((4817,4699),((7307,(7083,6956)),4556)),((2427,(5377,5087)),(((((2523,5332),2906),4325),(7742,6761)),(5667,(8105,3029)))))))))))),((893,5683),((((1033,7587),2360),(825,((3980,705),3852))),((((4473,(((3048,(6639,3276)),5003),(3529,5444))),(4840,6279)),(2325,(5837,(4851,3787)))),(((((8292,2915),4394),(8194,1883)),7440),(((4297,4343),1959),((((5006,3598),2410),(((5637,4295),5960),(3221,161))),(7343,(7004,(3901,6292)))))))))),((4103,((((174,2056),3423),(23,886)),(2053,4649))),((((6040,6659),(7615,6063)),4098),1049))),(((((7892,(7522,2033)),(((4400,1429),(536,5663)),(4694,((5978,4965),7745)))),(((4701,(5987,7406)),((3085,(((5714,7842),8033),(1511,5577))),(7954,(((2464,((7758,2476),4956)),(((220,1812),910),7821)),(5748,2650))))),(4595,7713))),(((((5901,3000),(4623,(3949,(3023,1933)))),(7009,8087)),7535),(4015,881))),((6104,(6612,6499)),(((((4100,(2649,1304)),((7887,2790),(5275,1039))),(4643,8122)),(1903,(4632,(((4646,879),(3651,5942)),6529)))),((((((1720,3310),256),(((7471,577),262),1007)),3024),(5519,8040)),((((5033,7499),(6178,8109)),((6825,(2924,(2561,6588))),875)),(1814,((7516,(5267,(5870,367))),(((5536,(1152,6218)),(2280,5718)),((6502,(2076,2153)),((6917,5992),((2439,3581),6355)))))))))))),(((((2921,(4841,156)),((((((6783,2120),((3596,4925),3930)),(914,4243)),((7966,7244),1228)),((8094,6058),(8202,5841))),((2036,(1256,616)),(((((2555,6378),(7667,7385)),((8260,14),4180)),(((6374,(((3701,3562),6338),(8372,192))),((530,(720,3715)),(7601,108))),(((7631,4058),(5579,1311)),((((3970,((603,8127),6195)),1044),(6888,6792)),(((((5362,586),7689),((((6127,8320),142),(7202,6261)),(4611,1140))),((((7872,(2346,((7173,6230),7133))),3410),((596,3273),(2614,(2164,(6214,6984))))),22)),(((3992,4513),5276),8314)))))),(((((4914,6755),(7841,5289)),(2332,4936)),(1378,7081)),(((5241,6180),5110),(5242,(6899,8123)))))))),(((330,(4991,8239)),2150),((3702,((7692,7588),848)),((5655,3428),2134)))),(((8000,4589),225),((542,(4287,3906)),(2097,3514)))),((((((3824,(4953,5738)),(6342,1559)),1285),((5689,(3830,2302)),((((7696,(2722,(5908,7316))),(((1763,((575,6398),844)),(632,4452)),2938)),1732),((((2383,4538),1372),(3448,5483)),((5200,7961),((6158,(2203,((230,5953),381))),5728)))))),((((4667,(5173,2399)),((((6372,(129,8325)),(7372,(((2801,4765),6872),7545))),(7064,(5121,6723))),((((6154,(246,282)),2840),((453,7117),(4362,6077))),((((331,7249),1863),814),2241)))),(((6961,(5905,1079)),(((715,2803),1097),2554)),((((((8353,2065),(4978,((182,4805),1799))),708),2914),(5613,219)),1608))),(((((675,3807),(5022,6809)),(4735,2478)),((1283,(5756,809)),(2530,((2367,3228),(50,7636))))),3354))),(4552,((((5537,((7877,7498),(((7089,2394),(6245,7678)),6416))),(((5737,(1540,7762)),1154),((4800,((3720,3990),(4247,8085))),((7824,6092),7596)))),((((4128,(179,8049)),4847),((6455,7761),8053)),(((7274,5145),(4586,6458)),(3607,2431)))),((((7906,6986),((((3359,1976),3468),(2331,1800)),(7368,2760))),((3755,4979),(7798,5454))),(((2940,729),(((((5297,6100),((2669,3601),439)),2705),1031),((7911,7397),((8327,((4174,3603),7179)),((((4669,6478),5802),(6490,6240)),7305))))),((2350,2659),5764)))))))),(((((((653,6651),(3077,6401)),(7878,(((2272,1605),7427),6107))),(((6951,5046),1005),(((7603,(523,8218)),446),(((3134,7789),4961),6084)))),7863),(((3937,(4644,7645)),((2249,5524),(1805,(4236,2834)))),(1918,(((3208,((6412,4516),1809)),((((2588,3878),(8158,8233)),(213,2583)),4662)),(2077,7640))))),((((((((136,(4033,3477)),6831),((8131,925),3979)),(6141,5515)),((((2151,7553),((6188,(4004,(1277,2939))),((1671,8350),3734))),(((7308,6341),(((601,8232),(7912,(7421,8155))),((((2862,4256),2160),3504),((2511,4239),((51,2045),972))))),((2487,((2566,6396),3509)),509))),(((3675,((3693,((7121,1473),2119)),4456)),7268),((2522,7825),3360)))),(((((((4028,3944),1721),(((1095,((3166,4439),(6815,5568))),(8006,656)),((6048,4631),(((2449,4583),945),7477)))),((((982,3070),(7540,(2672,(7258,(2108,5559))))),((7884,(2030,6788)),((((6429,4572),3916),((1197,7419),(3479,876))),((6835,2949),(8070,1834))))),(((4397,3922),7125),(556,4092)))),(1591,2008)),(543,((4555,5845),(((239,6285),(((((210,3350),4380),740),2847),(((2870,((1294,5541),2986)),1951),((((5386,6311),(7858,4341)),(326,(((2569,(1046,1480)),1142),1320))),((3439,909),2348))))),((3610,3652),(799,(3953,7296))))))),((1117,7734),7155))),(((((((((((170,4231),8240),((4543,979),1216)),(1136,((((662,2459),(5268,4573)),8189),(1086,(6638,4908))))),((5777,4824),(5462,6545))),((((7020,1911),1391),(4204,49)),627)),((((1419,5909),(775,((1418,6257),6614))),(5055,5903)),6513)),((7144,(3952,2044)),((2736,1042),952))),(((7917,6656),4120),3183)),(((((((4213,1786),3744),(290,((1706,5866),(4901,(6944,7525))))),6388),(61,((1532,6407),5397))),((3854,1036),4821)),((4300,2373),(((((((((6566,((7138,1693),1954)),76),(((475,(8046,(517,2247))),(((((6585,(8356,1290)),3860),((3258,(5698,869)),4099)),(4741,(8307,7232))),(7325,((6666,5879),6693)))),(((1195,8335),(6805,5520)),((2482,(1324,3602)),2617)))),(5146,(5411,130))),(3003,(((((953,(7600,4577)),(7200,3730)),2951),1334),(((((90,7022),(1009,7975)),(769,(8120,2333))),(((3243,3086),7375),(((2713,6947),(1432,5906)),(6885,3259)))),(4654,3343))))),(7902,((1175,476),6543))),(((((6925,4862),5912),2888),(7630,(7034,2598))),2319)),(((8345,(3589,((496,4425),7756))),(((((3454,6392),4829),6170),((3668,(1115,(6855,1286))),(6923,(4147,891)))),((5666,4133),((((5510,(2159,5758)),3255),(5092,7810)),(8235,2816))))),(7392,(4014,91)))),(((3141,3526),(((6053,6844),((7544,1564),(4378,411))),(((3302,5940),(835,1717)),((3112,(((2059,6408),7783),((4996,75),7797))),5127)))),((3738,5251),((3871,1848),6395))))))),(((4760,6787),(4029,(189,1611))),((((3312,1604),((5466,6369),((3159,7241),1930))),4871),(((5100,4564),(4494,3478)),(((6111,8217),2114),7930)))))),((4059,(3822,8389)),(8210,487)))))));