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