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