#s idigest "09354d07170b2d20f2ee54089402ed6b"
#p 2 4224
#s name "p26-heuristic-pub107"
(((((1741,1477),(631,(974,(768,2245)))),(((((2040,1027),3516),((3905,(392,810)),((1541,487),((1870,((586,(2317,673)),((617,(1175,3234)),3682))),(361,1925))))),(1284,((((135,1827),3676),2908),3604))),((((((2259,((434,946),1135)),2340),3224),(((2514,(1233,902)),(3339,1566)),611)),((3298,3774),(((789,2611),(1180,2430)),((2201,(1018,126)),((2968,289),3011))))),(((((388,(1450,1799)),291),((2907,(2429,(3580,(2523,(3756,1506))))),(1949,3576))),((((302,2231),(3120,3873)),4052),1953)),((((((3841,(224,1730)),((1695,(2887,1781)),2253)),((((1232,3217),((3498,3695),2462)),(805,2303)),((3567,((325,3056),251)),((3464,(3683,3823)),((3946,3082),354))))),((((((1779,4207),(3717,959)),(3842,(3171,((3187,3054),634)))),((297,301),((((1355,722),(643,1285)),(571,3218)),(((((1529,1126),621),372),((4130,3310),((95,1784),1664))),((937,2712),(1426,3598)))))),((((((3186,(1042,1380)),((975,(2083,4105)),787)),(((1998,(3725,193)),((865,804),(214,3019))),262)),((4088,3658),3489)),((((117,553),3858),2272),(1700,2138))),((((2176,(2066,201)),(3412,914)),(932,333)),4073))),(((1549,(3835,(777,3833))),(((((1817,678),2173),1557),2972),3095)),(((2269,1655),(((3081,(2399,2417)),(3548,1520)),(((2540,(2665,(3471,903))),(((2005,4011),1522),(((94,2002),3478),454))),(((2150,3206),(2999,1764)),1010)))),((((252,4010),(4061,(3508,3487))),(((((715,(1295,2477)),(2624,(3591,2651))),3649),1840),((1706,(1179,(743,389))),868))),((((411,((3290,(2282,((3546,3511),3304))),(((622,2910),3350),(4002,2860)))),((799,2035),((3434,1715),2186))),((668,3972),(1364,((2934,1310),(22,83))))),((((2258,((1151,2368),19)),2621),((((1313,3582),2508),4144),(3112,((2742,1794),1862)))),((1536,(((2811,88),(883,3559)),((2177,3180),((2929,((268,102),1198)),(2646,(2214,3125)))))),(((425,3948),(2008,((366,1967),(3139,(3128,1144))))),((((4093,(3409,751)),1790),167),(((1467,512),3952),1085))))))))))),((2750,(3265,2062)),(3341,(500,3191)))),(((1559,(3293,1158)),2789),(253,839))))))),((((2941,(936,(2703,3672))),(2779,2696)),((962,((3879,(3534,(90,1351))),3061)),((((530,3046),(3192,694)),(((693,918),(1731,4039)),(((3140,1048),3000),1502))),(((3407,342),((3813,3188),856)),1859)))),((((2670,((4041,(807,3473)),(2415,2047))),2361),((((1181,3361),3071),(3526,3098)),(((((1447,2840),3372),(((1131,(3523,2796)),1488),((288,1869),2371))),((2233,1036),2805)),((1332,((158,(3829,3940)),(436,2798))),(((2800,2031),460),(3537,2271)))))),((1616,3733),((2165,1041),((((2842,734),1392),(((415,806),3802),(1423,527))),((1374,(3038,((2686,2017),1335))),2037))))))),(((((((((((((4141,(632,4218)),(3151,1242)),(((3589,2504),2052),(834,928))),(((3595,4115),(1344,2589)),(3070,((2667,4131),1007)))),(1877,(4003,((3307,2620),(3860,2149))))),((788,(2721,(2250,3883))),(((2326,2906),((1187,3305),(2379,(1053,(3874,2436))))),(321,(((2753,2095),(1546,2901)),4096))))),(((((3485,4107),287),1345),(754,(3718,849))),((3945,(1891,2447)),(1553,3515)))),((((((((3371,3894),2829),(3583,(2333,2775))),(((1200,(735,1209)),((1293,912),((((767,1399),2336),2825),453))),(901,(((1591,(3133,4147)),(561,3856)),(2486,2622))))),((((((1243,3045),3277),2697),(3251,(((((2733,2061),2431),2400),2321),(1403,(4048,1059))))),(((2001,1746),1518),((((2601,1735),(2740,2904)),(((3416,401),2373),(66,2747))),((1421,355),(2545,(2075,3321)))))),(((549,803),1610),((3652,2768),3389)))),((((1029,4094),((4059,3173),(1301,1414))),((545,(947,3924)),((3093,619),4077))),((540,1178),((((1465,359),((1723,979),3030)),((972,1407),2845)),(1338,3296))))),(((3937,537),1935),(1473,283))),((2029,(3425,3148)),(2060,((3908,2468),84))))),(((1140,1356),234),((1767,1982),1768))),((((((1895,2745),2827),((2007,978),338)),(3020,3538)),(524,(3343,579))),2360)),((((2131,1154),((149,3394),763)),1456),((((((1958,2967),3923),729),(2291,2257)),(((3312,(((1693,(3667,326)),((1457,1782),3238)),(812,(33,3568)))),(1482,2713)),3322)),((((2669,2852),((1762,((2320,280),((2277,2051),2635))),(2056,(3985,179)))),(((2345,3783),(2110,162)),1676)),1491)))),((((((2608,(969,3266)),(((3673,212),((110,3417),(3368,510))),(416,2710))),((3470,1903),(3418,652))),(3443,(46,1330))),(1088,(((((164,1405),724),(2631,1222)),(((1475,4021),3057),3543)),(3201,2592)))),(((((797,2975),((2594,927),(700,1855))),(((((552,1576),3749),(((1997,2813),(1478,312)),((119,233),(152,218)))),((2971,308),((2437,(1603,3354)),((564,3083),(3711,2446))))),(2810,(131,((3650,(626,1649)),2816))))),(((1235,316),((3757,3594),((((1966,4151),3849),1251),(((2129,(1137,4026)),406),(3585,((2499,3161),174)))))),(((713,((2243,1598),(((3644,(261,3502)),(2346,3557)),((1711,2450),(682,457))))),((1535,((((1133,(4201,1558)),148),(2957,((((3052,67),(1728,((1278,3085),29))),(1202,885)),908))),((973,995),((2301,138),((1327,((516,3608),3895)),4210))))),((2814,((61,394),2285)),(109,2140)))),((((580,3606),3060),((3231,1843),1016)),(((281,1395),(827,(3264,1896))),492))))),((((661,2267),(3943,3882)),((((2522,3174),(3202,(1260,3495))),441),(702,2393))),((1844,501),((3244,4138),(3586,1250))))))),((((((1516,2054),3785),(3086,3325)),((671,((3754,((2162,(2027,2454)),(2401,3199))),((2938,(1120,(4109,3509))),2111))),1758)),(((((((544,3980),(((1513,497),1167),(2466,4163))),(((3299,(2815,3610)),1809),((1208,3597),(2161,((4087,(2755,2707)),(2628,(2050,2190))))))),(((((4121,((3004,1633),1836)),(1985,2791)),(((2634,1599),1745),((3441,((2456,2206),(1771,1813))),((4188,(1635,2495)),2098)))),(2366,3419)),((2948,1104),(((3732,1322),1382),(1955,(2049,4222)))))),((((3320,1054),(3731,97)),(1472,511)),(((961,3524),1170),(1858,((3203,(3848,2882)),((1637,(2688,1837)),(1759,1752))))))),(((((((((2043,3963),((456,1802),4066)),(2077,2862)),(((2076,4053),3340),(3157,2786))),(((((2507,3637),2837),(481,3530)),(3436,(2370,3176))),877)),(3297,2672)),(((2812,482),3678),((4132,1785),2872))),(((1011,(1810,2828)),((((1061,2235),(423,((725,1631),3200))),2073),(3877,3922))),((2295,3175),((1411,3427),(2595,3861))))),2819)),((((992,((1833,2997),479)),((2895,1814),(2410,(2451,666)))),((1264,1648),1184)),(((((2839,2529),3758),522),((1983,842),(1372,((1394,3826),3435)))),(2879,3790))))),((((((((((((1845,(2139,3267)),3738),(1929,296)),((3205,((426,1266),1609)),(3956,3499))),(((((((1398,335),111),(3392,1632)),(1056,3216)),(((3753,4055),(3954,(1474,3437))),((1766,2604),925))),((1168,1763),1931)),(2935,(3771,684)))),((((650,2102),((2350,(1334,238)),(3779,519))),(((2209,486),3704),(1110,(240,(1915,3975))))),(3715,(205,((((2551,(1724,706)),3611),(2434,(3497,2208))),(1918,(2457,(2581,3177)))))))),(((((3104,3062),3625),((2151,(2550,1530)),((3929,4206),1219))),((2358,((3167,3961),(3211,(3141,1397)))),(2168,(2251,3601)))),(((((((1164,2844),(3744,1798)),1415),((191,((485,630),17)),((1349,73),(1166,2442)))),((((375,(2381,((3438,3558),1204))),1046),1068),(2135,254))),(((1554,(((2297,(143,3153)),1573),2760)),((2090,(447,(1480,999))),((2905,1303),((480,(1906,3050)),(3627,(4142,1879)))))),(3739,150))),(((3414,((4102,2145),(674,(2487,363)))),(((((837,1725),2081),((3181,((1727,3719),3759)),461)),(((((3352,3615),3687),(3814,4158)),((2973,4191),3469)),(2657,((421,1084),4023)))),915)),((2955,3656),(((217,145),(1647,2122)),(((((1660,815),(3334,1479)),(2058,352)),(((1873,602),2018),430)),(((435,(1872,4183)),((52,2170),(2573,2965))),((1039,3871),(2023,2928)))))))))),((((4038,968),(3639,((1792,((1533,((3378,122),1161)),(3284,1106))),(((677,((1047,(3481,(2217,635))),2788)),1014),196)))),(((2469,((776,3777),1215)),3617),2874)),((((((((1197,(585,3466)),108),(((2866,(3569,3008)),(((2645,203),1939),(1459,((3588,620),(2280,2342))))),(((450,299),(3028,1646)),3387))),((((((((1959,1218),1880),935),1004),((2738,2274),((3553,((2086,2480),3692)),2182))),((3614,(2505,72)),(2290,((2584,(757,4110)),2976)))),(((1589,4015),((((3405,(3274,1288)),(1889,(2630,(2597,3440)))),((276,3279),((642,295),2478))),(((3836,548),483),((1257,846),547)))),(3453,3178))),(206,((1672,3837),727)))),(((2900,592),(1494,(1009,798))),1852)),((1656,2089),(1247,((4137,1594),821)))),(((2607,625),2673),(1943,(244,3587)))),((((((686,2877),(((((3977,3254),697),(3926,2113)),(1972,3031)),((1492,3920),3165))),(((((838,(1729,2331)),((2769,3942),1996)),2501),940),(((((3094,(2746,2171)),2737),((133,50),4187)),(1113,3247)),(((3262,(870,1448)),(48,(3723,3126))),((((2016,3697),(1773,1173)),20),1493))))),((1952,1514),((3845,2255),(1132,1496)))),((3256,(647,1561)),(((628,2276),(1854,((3927,3531),546))),(1812,(3136,(1256,104)))))),((((3484,(1853,265)),(1060,3925)),(1991,(((1512,1523),(3885,3855)),(3934,(2989,4116))))),(((1157,3496),1055),(2069,78))))))),(((((498,(1138,2279)),(2324,290)),((1508,889),230)),((((4022,3092),((((3991,612),3027),2273),488)),((((1231,(((2795,711),3430),((1227,559),(2993,(1960,2337))))),(2143,((2661,2777),1094))),((((1965,1658),2059),(2210,((672,3660),(2493,1229)))),(779,1811))),3703)),((2636,2826),3775))),(((((2375,(85,(4174,((670,3555),3433)))),((((51,((1370,(147,1420)),(183,2423))),(2294,2498)),((2000,(((((1770,2128),3257),(((1121,2761),82),(4032,(3967,2441)))),1430),(((2304,955),3566),3034))),((1035,2048),27))),((4104,528),(1848,1920)))),(((4152,981),((((1910,3426),(4070,226)),3129),(2809,(2980,3249)))),((180,(795,(13,(3413,(583,239))))),(((3170,3986),(3571,(1795,2169))),((((1417,4062),(3930,(4140,(1212,3579)))),(1988,(1176,3792))),((2396,796),(155,1105))))))),(((((103,1354),(2407,413)),(((509,((2735,1228),(3786,417))),343),(((1753,2067),2292),((1386,1030),3804)))),((((((1307,(3973,2465)),(3671,2698)),2192),(2238,(4081,3208))),((4001,((1308,3442),((((3916,(3337,((1888,273),1707))),1956),((1505,((3309,(853,1348)),761)),1078)),4075))),(2392,((2325,1954),(3941,(2516,(1816,(337,(826,2869))))))))),(((2141,1847),3326),1831))),(2108,1346))),((((2648,(((((1069,360),3156),(2019,1627)),((2511,(3406,2428)),2629)),(1393,1651))),(567,4076)),((538,(((3535,420),1615),(((4106,888),4013),(3330,2194)))),((2376,971),3689))),((((((2767,2803),(2987,3072)),((2425,(2666,3726)),((1400,1471),((4172,59),(2100,2794))))),((((2115,(2554,3897)),((594,70),3459)),(((1028,2744),404),(35,993))),(11,(3074,2315)))),(((4223,1806),(720,(2556,2152))),1090)),3420))))),((((((((250,((3735,274),((2355,(645,(1378,3821))),2915))),1772),((2950,2312),3892)),((1534,(689,467)),((904,1990),286))),((2521,((((3303,3403),(7,554)),2188),(3087,1128))),((((2539,3328),3323),784),((((((((1930,(132,(1787,2525))),(1108,3869)),((1687,(2586,593)),(177,2289))),692),1601),((2576,((1101,4084),1698)),((1409,2093),2242))),((((3824,3410),((3385,2848),2482)),((2770,2854),1945)),(((4111,3097),((3150,2414),((802,((1922,365),357)),(1824,2565)))),((((2849,1823),422),(2902,525)),(81,1623))))),((2894,((3554,3373),((2009,707),723))),(((859,466),2193),((((2821,1051),(3547,1008)),(2212,(((4125,2544),(1717,3592)),(3720,(2548,2857))))),((((922,(507,532)),1551),((((((1839,3694),2260),163),(555,285)),247),((534,2356),2421))),(((1146,3012),1165),2783))))))))),((((((((718,664),2284),(2533,63)),(((3979,2931),353),((433,(376,2142)),3520))),((2978,2120),(3677,1629))),((((((3641,((3135,(2749,(1659,9))),3016)),((3215,957),910)),((2818,3243),557)),(1992,405)),((185,(1761,3078)),(298,(386,(3007,2318))))),(330,(4035,1800)))),(((((1319,1986),(1012,(3764,601))),2913),3026),((1429,1538),(3992,(1556,284))))),((2106,((4169,1185),3250)),(((2982,(1107,3021)),((1984,2881),1213)),((3483,(1249,1258)),3797))))),((((((4058,282),(3117,(3079,3504))),(3989,(2736,2157))),((1974,(2254,3477)),1718)),((((((746,((1239,994),1357)),((3705,4025),(658,259))),(((((1347,3198),(2824,2785)),((1449,(3415,(3807,3541))),(4176,2765))),(((816,(2218,(3875,655))),2420),125)),1127)),((((2560,(1564,1663)),(2530,2068)),1441),(((1721,2449),((235,2724),3605)),((1521,((4135,(2623,323)),((3317,3022),(3958,(49,((1618,3784),3936)))))),2923)))),440),((2030,2557),((4129,2861),2903)))),(((((2080,(3556,(3702,2395))),((3306,437),((((3517,446),(1311,809)),3914),3344))),(((2439,4122),((3197,(3787,(1688,2502))),228)),((3699,2335),((3102,1139),(((1413,((966,2678),34)),((2617,3820),(4027,4064))),(3700,3042)))))),(1643,(762,1636))),(((((((2715,(449,598)),((1343,(4143,1034)),((3993,1932),1526))),(1835,2731)),2552),(((1756,264),((((1221,3933),(4098,242)),((((3935,3691),(2229,517)),2759),(1757,(((3272,2526),3465),(2298,((618,1846),2605)))))),(1099,(((236,1118),1600),(((3825,551),((1114,3404),1537)),(((2889,3107),560),3742)))))),((((((2692,2227),(3909,2683)),1241),(76,3035)),(3542,(3501,432))),((633,3329),(((1324,(2144,(3806,800))),(1777,(3983,305))),(2268,(3596,12))))))),((((((4175,2221),1223),(2654,3724)),(1438,3626)),((2925,4153),((2160,813),4217))),2490)),((((4167,((4042,187),1282)),(590,(((1196,2520),1871),((1543,(((4006,988),1805),518)),(340,1023))))),(((((1789,((395,(636,2600)),(16,1783))),(2347,2653)),((3474,(1302,4123)),3851)),(((2372,741),(((3539,864),(1452,3893)),3447)),(396,(344,1856)))),(((745,1065),2034),3931))),((((1396,349),1969),(1590,((1149,(1245,1190)),(3839,(1562,3318))))),(((1289,3686),((222,(2174,(1147,(659,1575)))),(3032,965))),((3838,(3782,3928)),(2386,3080))))))))),((((((4004,(1669,((701,189),(1826,2130)))),((((((3025,2741),1613),2543),(3533,3981)),(2587,(((((((444,911),(970,964)),3828),(((3146,(32,263)),(1255,2239)),(833,3640))),((1780,2426),((2452,1057),710))),((1738,1921),2476)),((93,943),(((1183,2283),648),((2843,3917),(2332,75))))))),((2215,((((((3374,1498),3319),4065),3698),1804),((1567,2133),((1555,2846),3089)))),((4221,(463,367)),((3575,2656),3294))))),(((((215,1776),(3866,3253)),((3308,2625),(2444,2348))),(1445,((3039,((3921,1867),489)),2409))),((((319,(1927,2916)),3729),2123),1744))),(((((329,(((1205,1362),(1326,1585)),2578)),(((790,(3189,(((1701,1829),2413),1808))),((3047,954),((3996,2751),(3631,313)))),((2028,(3049,4049)),(((4171,3805),956),2969)))),((2380,((1673,4030),4112)),2519)),((((3706,3862),2650),((2383,3819),(3400,1934))),(3532,((((1466,(3865,766)),1275),((1281,(2114,((2996,991),241))),((1642,((1584,794),3210)),(2615,2922)))),742)))),((1740,(3647,(747,(2455,(1606,2281))))),((4083,3630),(3223,2065))))),((((2159,3196),((113,2571),(2224,275))),((((1211,414),(3152,(2155,2986))),((3741,2006),((3486,1595),3968))),(2445,2953))),((1821,1071),((861,((2071,258),(2148,((91,3544),1427)))),(((2404,(3155,((2475,2091),2942))),881),((397,45),847)))))),(((((3472,(665,(3864,(1834,5)))),2156),(((536,4046),(891,(656,3798))),3163)),((((339,(2541,866)),((1274,(3834,2287)),2479)),(((4209,3017),(1542,(((1861,(2022,((3258,1501),1608))),4020),(2933,2720)))),((3273,1435),(1318,(((3815,(4101,341)),3376),((1904,4200),(1017,(4157,2146)))))))),((197,(3338,(1630,4134))),(1951,3708)))),(((((115,562),1214),((((3090,348),1975),(1797,3760)),((69,(((2503,2729),(64,773)),895)),((2382,4161),(3380,3456))))),((((1379,878),((2787,(3358,960)),944)),(((98,((219,2921),1926)),((3291,464),((2748,(1624,(2691,2474))),((2640,(3573,3655)),((3734,(843,3503)),((2680,3976),443)))))),((587,(1134,3399)),(3728,2364)))),(((((584,2137),1292),(((780,1296),3002),(3458,1586))),(((1271,(2121,345)),((((1987,3),(830,736)),(3747,2880)),825)),1650)),(2722,(((814,4057),2711),3707))))),(((((2323,832),3432),(2362,(2847,(3506,1793)))),((3462,(327,(731,980))),1708)),(((((2572,3857),((((3794,1390),513),(819,(3122,((2641,781),(3281,675))))),(((((669,791),717),(((1748,(3446,((3285,2419),40))),4196),(3755,2367))),(((3064,445),(817,896)),(((1607,2275),(2416,((3853,703),(2876,((2314,1089),2187))))),((((2780,1130),120),(1428,1604)),(((3460,3457),3978),3643))))),2920))),((1944,1294),2134)),((((((1726,1628),(2064,1678)),(2087,((99,1963),((172,1109),3134)))),(((2432,(2547,531)),2730),(3919,(((2963,3912),(2718,1850)),3130)))),((3184,(1248,(2602,((2674,3221),1654)))),(((1570,3549),(852,4168)),((1913,1199),(4215,((3852,503),2984)))))),(((844,294),((4208,1989),(898,(3939,(60,1605))))),(705,(1440,(3896,1408)))))),(((((1402,1141),3041),(((36,2467),3901),1807)),(((1582,1160),3670),1025)),(((2483,867),(((1865,2695),3492),2032)),1300))))))))),((((((1882,3808),(2203,1489)),(3166,1366)),((2232,860),(438,((695,3827),1461)))),((((2309,3213),506),(2937,137)),2497)),(((((((((4127,(((151,2180),879),(1276,3648))),(828,((566,(1940,1801)),(469,4031)))),(((((2109,2125),((1577,737),(((2682,1574),2512),3572))),(165,2612)),(3907,(3452,2926))),((2433,2893),(2307,(3278,1901))))),(246,(((2561,((2575,4181),4149)),(((2302,2743),2085),(((1206,1050),369),((987,688),1)))),(161,((3616,2198),4090))))),(((((2033,(2676,(419,2532))),(3059,1866)),(2311,((1778,(2101,3886)),(2871,231)))),(((((1928,(1978,2500)),3237),(3584,(((750,2694),1976),(3668,4034)))),(608,(((232,4099),(3222,2859)),378))),((3690,(1587,(((1912,2553),1497),2702))),(782,690)))),((((1645,(2527,3795)),(((3209,1743),(368,(2685,2406))),(704,((1857,3348),520)))),((1297,(123,3999)),((1791,(3911,(400,1592))),((1083,2977),((2564,173),1261))))),((((3881,(((613,1076),916),1908)),934),(((3765,2464),((3295,(871,270)),(((2873,2119),(1803,3832)),2223))),((3619,1769),(((418,2679),(2896,1376)),((2443,(2974,(708,(533,3158)))),((1298,1238),1507)))))),(((((1353,4128),2822),1532),1968),((472,(1470,(204,1923))),((1878,1692),3096))))))),(((((((3859,(((1279,2408),1774),3077)),1312),(((3302,1331),(1172,(2580,1682))),((2919,4012),((4086,(3880,2492)),1216)))),((3292,1040),1568)),(((1611,627),496),((((2338,3444),3900),2719),(1193,3624)))),(3105,((3075,(2781,(3663,292))),(3263,4136)))),((2053,2158),(((((857,(2365,(1760,1571))),2684),402),((679,328),(2261,(3918,3336)))),(266,(698,((1019,2838),1714))))))),(((((((4216,(582,(18,383))),(318,((758,4074),801))),((2327,2585),(2394,3581))),(((((3369,3142),874),(272,459)),((3603,2793),(((4082,(3801,1189)),3816),(1737,2038)))),((194,2057),(4079,(876,2319))))),((2247,687),(((((824,2207),1280),(1207,3383)),1163),(((2590,4085),3817),(((((105,855),358),3904),651),(2286,1437)))))),(((2988,1001),(((3359,3429),(2954,4092)),(2213,(4126,1067)))),(3562,(475,2945)))),(((((2559,2962),((4219,2637),2264)),384),(738,((3750,2947),((600,3620),739)))),(((((2079,(((2308,208),2677),2369)),(((3353,952),982),1476)),3514),((((667,(((28,2344),(379,4184)),(1685,3313))),646),(((3106,(2536,(1754,1971))),(3397,((2538,3013),2205))),990)),((((1119,118),((271,(2619,(4005,3962))),(((3600,(3696,4100)),2705),2725))),3010),(2952,(3545,1174))))),((((((2222,1371),744),(4212,2659)),(2518,1182)),((3327,(((2266,3149),(1210,1244)),808)),(1597,(3867,3957)))),((((((1547,3970),681),((1909,(3736,3316)),(4069,(4194,577)))),2577),(2606,1881)),(156,2865))))))),((((((1002,2531),1788),(1145,(1013,3730))),(256,((1433,2310),(2936,(136,1709))))),((((4117,2898),(((1066,(1049,3988)),26),3451)),(2524,(484,(3048,260)))),((((3623,2237),(3333,(3651,2930))),((((3119,3219),347),((3270,721),539)),(3951,(2773,(1994,2438))))),((1268,121),(334,2339))))),(((((3574,1350),((((1750,3953),(1620,(3448,(3259,2126)))),(((((4108,4018),740),3653),1043),2136)),(3024,((589,3721),1509)))),((((((278,57),3124),3357),(3001,1195)),((1970,1252),(4051,(3633,3395)))),3665)),(((((((2202,2831),((54,(468,((350,1006),3193))),(2353,(917,4213)))),(((3367,1038),(1964,6)),(2191,364))),((106,(3194,87)),(3932,((2509,(2357,1425)),1363)))),(((((1580,1424),(3182,2864)),37),(((818,190),169),1884)),(1401,3113))),((3467,(((((1148,3179),(((3889,3878),(733,(2183,(1037,1644)))),748)),((((1640,2473),1902),(306,(211,730))),((1385,2888),(1224,470)))),(3301,764)),(((2246,(848,221)),(474,(3009,2699))),(3944,3382)))),((140,((1230,124),2897)),(1946,(880,304))))),((((((4008,2912),606),(1704,(3401,4091))),(((((1832,1234),(1337,1316)),(3058,3685)),380),(2836,(2771,(3830,3560))))),146),(((((2181,((1304,(4180,424)),(3903,775))),(((3356,2411),3751),(2230,(139,924)))),(3679,(((759,(1662,2299)),629),(2334,4029)))),(((1159,2774),2835),(653,3240))),((((3762,(3661,320)),(((1703,3398),3854),(4178,1406))),(4037,(2330,((257,((2588,4056),(1560,716))),(2094,(3748,3111)))))),(((2220,3997),((3260,2717),(610,1900))),((((3527,1455),199),(2613,166)),2099))))))),(((((514,2092),(948,(429,(1305,(3283,998))))),((1129,1875),3286)),((((((1236,((1359,3127),3709)),(3018,4120)),(((3411,(1404,3982)),(3831,2671)),(2184,((((2179,(462,2211)),((930,1548),3241)),(((1022,3116),3288),((3227,2025),((1993,(207,4164)),(4113,(2892,(1937,1081))))))),(((((1694,(2853,1569)),3850),(2693,2566)),(2418,((4040,(227,(3037,2041))),2940))),(((((2256,882),(3123,2886)),1511),3226),(((((4220,(1116,1666)),(599,279)),(1328,4145)),1082),(((1325,3563),(3635,(862,1665))),(((920,((303,1893),3445)),((2806,3450),((1690,(1639,1306)),1321))),699))))))))),(((((2219,2932),412),(2961,2909)),(2867,(2801,1961))),((220,(3055,2739)),331))),((229,3300),(((2045,182),(3349,3424)),(((((3088,3898),1191),1948),((2105,2195),(3799,2627))),((3375,1713),(2528,3355)))))),(3863,3040))),((4193,541),((((2422,25),((((((2118,(1220,(3590,3160))),(3195,3550)),3384),((3261,1531),3023)),3910),3271)),(2979,(986,2015))),(((2992,3229),1434),(572,1254)))))))),(((((((((((3994,374),3065),(((465,2517),(58,550)),(1383,(728,41)))),1883),(((2388,112),1539),(128,3421))),(((4036,490),((3680,565),(((2236,3812),(1825,1739)),3015))),(((1086,3870),(574,((3872,785),3887))),((906,2832),(((3014,86),(1422,949)),(309,(2398,2107))))))),(((2248,(((21,4195),(((615,(976,10)),3642),(195,(591,1273)))),1286)),(((1924,3884),(685,315)),494)),(1897,1451))),((186,(3362,(3381,(243,393)))),2804)),(((((356,(2104,(171,3363))),((2885,1070),(1684,43))),(((502,(644,(2011,3657))),((((((2078,919),3521),((977,984),(939,223))),3522),((603,(3662,3688)),((213,4177),2004))),(101,2668))),((2384,4124),((((1360,3408),2762),616),(1483,2249))))),(((((786,1938),1486),((1058,1142),3622)),(((771,2042),1919),(2834,1674))),3809)),(((3168,2583),((2726,4024),(4044,3629))),((((((4016,1849),568),1868),((1080,(2603,(2132,(3043,((2687,3888),(1031,3528)))))),765)),(((823,(3743,3564)),(((3169,526),2563),(2288,1436))),((((3377,1044),((3675,(((1527,1442),2727),(3145,938))),245)),((1581,(605,382)),(((1528,2596),2562),8))),((1122,(2772,945)),((884,1203),((3529,23),3666)))))),((((((3076,2204),3051),2855),(2390,2185)),(((1063,2461),129),3252)),3710))))),(((((267,(662,(4017,1024))),2593),4114),2351),((1299,3645),(1237,1077)))),((((2197,2354),1634),((845,14),(3144,2322))),(((2484,2754),(3915,(3115,(2225,2485)))),((((752,(3393,(2766,680))),((2103,563),4133)),((3391,(2293,4078)),2799)),((3654,4166),(((410,2166),(2226,1246)),3960))))))))),(((((((4203,1152),178),(((1905,1092),2055),((1916,2807),909))),((((4019,(1087,1287)),(1169,(4224,2046))),((((820,869),(2790,398)),(4014,((2263,1171),3084))),((3791,(311,3342)),3311))),(((((4080,(373,1614)),((399,(4103,(709,3346))),(2690,448))),4160),(1111,((1095,2797),((1431,154),2868)))),(((1484,(3868,2097)),(3561,(4154,4204))),(1500,1579))))),(((((((((3275,2958),3990),((2808,3461),((2389,107),4067))),(170,3118)),((((3364,4199),921),((596,248),1020)),(3902,3974))),((3570,((427,3207),407)),(15,2610))),(((2863,(3811,(2147,2714))),(1749,2460)),((((2599,3463),2088),(2663,1517)),3069))),(((((((3386,2172),68),(408,(774,2817))),((1269,(1096,1838)),((2917,3335),499))),(((753,3987),(2026,(((4089,840),(1125,(1973,985))),2039))),((1329,((2658,1177),1336)),(1309,3938)))),((792,2701),((2328,1999),(452,2216)))),(((2970,((((3137,1980),2403),(2252,3507)),(2021,950))),((((4156,604),(893,153)),((((96,(3480,1683)),((((3345,(907,2096)),80),1947),836)),((3479,2542),2506)),(65,(2352,1626)))),((2313,((1365,2),1550)),(((2013,2167),(((2960,958),((1115,1381),3766)),1340)),((1073,2305),2387))))),(2199,((1253,((1822,2776),1679)),1722))))),((1259,(1462,1828)),((2470,4150),2618)))),(((((3646,(491,931)),((((3621,3114),((((831,3268),((1593,543),(1612,1863))),(1192,385)),168)),(((2833,((3491,3099),3036)),3068),726)),(1540,((1339,3737),3793)))),(((((1495,((142,3154),588)),2472),458),((((((3131,2244),((3490,1719),(3365,1588))),(3767,((2633,623),(3636,(2570,2070))))),((1830,(1841,(854,4190))),(2951,4097))),((2823,(2758,1358)),4192)),(127,2341))),(((((2568,134),875),(((573,(1033,2983)),((1962,2241),1815)),((2647,505),3727))),(((3959,2481),1323),(2981,(1691,2164)))),(((3525,3565),(3876,4054)),(((929,1552),((((597,1596),1225),(1886,3006)),((769,3402),3164))),(((2515,((2579,3331),2994)),(3607,1143)),(((2709,2660),2924),62))))))),(((((((1686,1453),3899),851),926),((495,((663,2196),(2405,2496))),(((2240,2820),576),((428,1412),(3998,((1525,((2402,1981),2734)),(2802,(4185,(1563,255))))))))),(((((1942,((2278,(887,(4095,1103))),((3519,1544),4))),((((3063,(3714,1936)),((1368,3225),((3324,1892),1290))),3674),((1933,(2756,3379)),(660,((2875,3347),(314,(1469,4170))))))),((((2494,(176,1444)),(1314,1911)),((3482,(654,200)),((4047,1277),((((3947,3796),(997,(2020,581))),(3761,3776)),3780)))),((1468,184),(3891,607)))),(((((((1864,858),3428),(478,2649)),2841),((1622,((310,116),((2012,4063),4072))),((((1052,3255),(1995,3969)),(((639,1377),4139),(3818,1699))),((3906,676),(3232,4119))))),((130,(719,1653)),3613)),((1602,2300),(2558,(((71,1389),(3822,(1885,2488))),((714,(2643,894)),(2763,237))))))),(((((2458,269),3390),(2363,(451,2689))),((1702,(1755,2883)),(1617,(455,2535)))),(((((277,3800),3552),(1117,(1064,1102))),((3772,((3289,(983,2732)),(2681,1283))),(((3716,(3236,2270)),3810),2463))),((362,(2757,1194)),((2959,(3659,3029)),2074)))))),(((((((1667,4165),((1705,1000),202)),(2555,(1188,(1015,1272)))),((2491,381),4009)),((712,(4071,(2664,1454))),((((((1565,1519),770),3510),(442,1341)),(1572,((609,1201),((293,3204),1504)))),(3628,989)))),((((((1710,1384),1032),(2296,((2946,((1352,3965),(74,2856))),(((2582,(1333,2003)),(2546,953)),(((4162,1786),3513),(2397,(3287,2995))))))),3578),((3183,351),((24,(4000,900)),439))),(696,((4068,(((1914,1315),2427),1652)),(((225,(1732,3995)),2956),((181,3493),1876)))))),(((((2632,2234),3593),(4211,(535,1689))),((((4060,((((((1680,515),2927),(2189,1155)),(1410,1387)),2728),(2200,(42,4007)))),((((1819,3599),38),873),((3632,44),((1217,3230),1463)))),(493,3949)),(2178,(3752,1162)))),((((1583,1696),((637,(((1079,3044),2569),3950)),(2782,(210,403)))),(31,(2830,1100))),(1657,(198,(((((2567,829),2329),53),(3185,(542,(3846,141)))),760)))))))),((((((3455,((2899,(3612,(755,4043))),624)),(((192,(2598,3769)),2964),((((3214,((160,(2878,(504,3073))),(3512,933))),((2700,(300,3147)),(508,(4146,(1458,(3618,822)))))),((2850,1957),((3609,1742),370))),(4186,((2549,209),332))))),((((4189,3091),3100),((3500,1270),(4173,1917))),2764)),((3454,((850,2453),3235)),2116)),((((1874,3778),((3228,2306),((3110,2614),(2784,3984)))),((346,3890),((((2154,30),(3551,3971)),(3190,3280)),(2063,3360)))),((1860,(((913,1670),((578,3388),2884)),2435)),1697))),(((((((2412,(1675,1439)),((3101,(387,3103)),((2704,2534),3789))),(((3518,100),2662),(3108,3540))),(((2652,(4155,2072)),(((4033,1186),3138),(159,79))),(((1153,835),((56,2723),(3681,951))),(996,(((4197,3066),(1671,2112)),(2991,2117)))))),((((756,((2990,2966),(1432,2044))),2377),(((3577,1091),3536),((558,2265),1681))),(77,(((((3422,((1443,963),(2127,2510))),1503),(((1375,595),1388),(2985,336))),3423),((2385,523),((1842,322),1775)))))),((1510,(3803,(1460,1638))),((((3162,(((2858,1820),3840),(324,1373))),(3847,1112)),((3233,(3239,1226)),55)),(1418,(793,477))))),((((890,923),2391),(1481,377)),(((1369,2082),((2153,1361),3449)),2513)))))),((((((((2911,1515),(783,3314)),((942,3245),772)),((((1005,1625),811),(1894,2374)),2716)),(((((3638,4214),(1641,(3468,2609))),(4179,3366)),(((2998,3370),2124),3159)),((((((1736,2675),3220),((2914,2638),(3913,556))),3033),(4118,((((1747,649),1950),2359),(3269,3109)))),(((4205,3788),(2752,1150)),(1887,1899))))),(((3282,1941),((1524,(1003,3315)),(((2626,371),1499),(92,1720)))),((1367,((3664,(3505,(683,1716))),((2655,3966),(1342,(3745,749))))),3439))),(((157,(3476,2890)),(1062,575)),2778)),(((4050,897),((4159,(521,2378)),((657,(((2262,1621),2949),872)),(1320,1487)))),((((2537,3248),(638,(2010,(2574,4198)))),((2642,(1545,(188,1263))),(1026,476))),((((((1898,(((1668,(3276,4182)),3212),1267)),(1262,249)),((3781,((((47,1619),905),3712),1851)),(691,1578))),(899,1677)),(((1419,1977),(3768,640)),((((3701,(569,892)),(2163,(4045,(1446,1765)))),(3684,((((3475,3003),4028),(1979,(1391,(3746,3121)))),((3246,(317,(175,(1464,3488)))),(((2014,(2424,(2084,1890))),((3143,967),3669)),1136))))),((409,144),(3844,3396))))),((((641,3964),((114,2851),(1796,1124))),((((886,1416),(1818,2024)),3494),1907)),(((((2036,((((2175,1097),((2349,(3955,3843)),(2918,431))),(((2228,1751),2792),(1712,((841,473),1734)))),3005)),(((941,4202),2448),((307,3634),2939))),(1291,1123)),((((3713,2891),(((1485,(2459,2639)),2616),(((1156,(614,1072)),1093),(4148,778)))),(((2343,(3773,391)),732),(1098,3770))),(((3242,2944),(2943,((3722,1240),1661))),(((2708,1074),(2489,2471)),(1045,3740))))),(((((((2591,(3172,1265)),(1021,471)),(1075,(3351,1490))),((2440,3053),3693)),(((3332,(863,3132)),2316),529)),((570,1317),((2644,2870),89))),(((3067,((2706,3763),39)),(3602,390)),((1733,3431),216))))))))))))));
(((((((1351,3879),90),(3061,(3534,962))),((856,(((3813,(1859,(3188,342))),3407),(3192,((((693,3046),3000),(530,(1731,(3140,4039)))),((1048,694),(918,1502)))))),(((2696,2703),((3672,2941),936)),2779))),(((((((2371,(3372,1869)),(1036,(3071,2233))),(2796,(3526,(2805,3098)))),1332),(3733,(((1423,1392),1616),(527,734)))),(((((2017,(1374,(2686,1335))),(2037,3038)),2842),(2165,((1041,415),(806,3802)))),((3537,2047),(((3473,((4041,2271),807)),((436,(158,2798)),3940)),3829)))),((((((2840,1131),3361),(1447,(3523,288))),1181),1488),(2415,(((2670,460),(2361,2800)),2031))))),(((((((((2327,383),((18,4216),(582,3581))),((((4074,2585),758),(318,801)),2394)),((((((855,(2286,1437)),((651,3817),(687,(358,3904)))),(4085,(105,(2590,2247)))),1280),(((874,(2793,194)),((272,(3801,3603)),(1737,(4079,2319)))),(((1189,((3142,3816),((4082,3369),(2057,459)))),2038),876))),((1207,2207),(1163,(824,3383))))),((((2945,((1067,475),4126)),2213),3562),(((4092,3359),3429),((2988,2954),1001)))),(((((((491,3793),((1339,3737),931)),((((543,1593),1863),831),(1192,385))),(1540,((2833,(((3646,3491),3068),(3036,3099))),(((3621,168),(3114,726)),(1612,3268))))),(((3395,1970),((3665,3633),4051)),(3124,((3001,(278,(3357,57))),1195)))),1252),((((((3590,((1220,3384),(3160,2118))),(((((2979,572),(((986,3910),2015),1254)),(3229,(1434,2992))),(3550,(((3023,3195),(2422,25)),(3261,1531)))),((4193,541),3271))),((((199,(3527,((424,629),(2334,4180)))),610),((((3997,2220),3260),3240),(((4029,2099),(((((1455,(2299,(759,1662))),2181),1304),(2613,3903)),(1900,2717))),(((3751,((2411,(924,2230)),(139,3356))),(((3679,1159),(2774,653)),2835)),(775,166))))),(((((1832,3830),3058),(606,(2912,2771))),(4091,3401)),(((1234,1337),(2836,380)),((3560,3685),(((1316,1704),4008),146)))))),(((((((257,3661),3748),(4056,3762)),320),3111),((((4178,(2094,1560)),((2588,2330),716)),(4037,3854)),(1406,(3398,1703)))),(((((764,748),(3878,((1148,1644),((3179,3889),((2183,733),(3301,(1037,3467))))))),304),(((((((3944,470),1385),(221,2246)),(((730,1640),(2473,306)),((2888,3382),(1902,211)))),(1224,(((848,2699),3009),474))),(1230,124)),((((169,3113),(37,1424)),(1884,190)),((((3182,(2864,818)),1401),2897),((880,1946),(1580,140)))))),(((1363,(2357,(87,1425))),((3193,(2353,54)),3194)),((((6,2191),((1038,1964),3367)),364),(((917,2202),((((3932,1006),106),350),((468,4213),2831))),2509)))))),((((1236,(3018,3709)),((3982,((2184,1404),3831)),(3411,2671))),(((((2961,2739),(331,2867)),(((412,2219),2909),(220,1961))),(3055,(2801,2932))),(3127,(1359,4120)))),((((4108,3653),(1043,740)),(((3953,(589,(1509,3024))),2126),(((((1350,3259),(3448,3574)),1620),2136),((1750,3721),4018)))),(((((3286,2092),(514,1129)),(1875,3040)),((3283,429),((1305,(3863,998)),948))),((((3424,((3349,229),3300)),(2045,182)),(((3355,2627),3898),(1191,1948))),(((3799,2528),(3375,1713)),((2105,2195),3088))))))),(((1994,(((539,2773),((3119,3219),(3951,(3623,721)))),3270)),((347,2237),((((3048,260),(2524,3333)),(2438,((((1066,3451),484),(3651,((1268,334),2930))),((121,4117),(2898,2339))))),((3988,1049),26)))),(((((((2937,506),2497),2309),3213),137),((((1489,1882),1366),((3166,3808),2203)),((2232,(3827,695)),((1461,438),860)))),(((1788,((2531,1002),(1145,3730))),1013),(((136,(1709,1433)),2936),(2310,256)))))))),((((((((((681,(156,(((808,3149),(1909,2266)),1210))),(1244,3316)),(((3327,(2865,4194)),(1371,744)),((2518,2222),(577,((1547,3970),(2659,3736)))))),2577),(4069,(4212,1182))),(1597,3957)),((((1034,3993),((3013,(2536,(3313,379))),(((1754,((3397,646),2344)),3514),667))),(((2552,(1835,(598,449))),((1343,1526),(4143,2715))),(((1932,2731),((28,4184),1685)),((2538,2205),(3106,(990,1971)))))),((3010,(4100,3696)),(((2308,(2369,2677)),(4005,((3600,2725),2705))),2079)))),(((3867,2606),1881),(((271,(3962,1119)),(118,2619)),(((982,(1174,952)),3353),(3545,(208,(2952,1476))))))),(((((3336,3918),((266,679),2261)),(1714,2158)),(((((2684,(857,1571)),1760),(402,2365)),328),(((698,2053),2838),1019))),(((1172,3302),(((496,1331),1682),((2338,1193),2719))),(((1774,((((2781,3075),(((4136,1568),3263),3663)),(627,(3859,3292))),(3105,2408))),((((3077,(1312,1279)),1611),(1040,292)),2580)),(3900,(3444,3624)))))),((((((1878,((1353,2822),(472,3096))),((((613,1908),((934,916),(3881,1076))),((((2223,(2873,2119)),3832),(708,((2464,3765),((1376,2679),1298)))),(((418,2896),(3295,1803)),((533,((871,(1238,1507)),270)),(((2443,2974),3158),(3619,1769)))))),((1692,(4128,(1532,(1470,1923)))),(1968,204)))),(1587,(1978,((((2500,690),(782,3584)),((3237,3668),2694)),(((1976,(750,4034)),1928),(((3690,2553),((1497,1912),2702)),(2859,(608,((4099,378),(232,3222)))))))))),((((1083,1261),2311),(3795,((((123,1297),704),(1778,(1645,3886))),3911))),(((173,2977),((3999,(2101,2527)),2564)),(((((368,(3209,(2406,520))),2871),(1857,400)),2685),(1791,((3348,1592),(231,1743))))))),(((3620,3750),((4219,(738,600)),((2637,2264),2947))),((2559,2962),(384,739)))),((((((((((369,1206),1),(1050,(4090,(2302,2085)))),879),(((688,2198),987),3616)),((2561,161),(1801,(4181,4149)))),((2743,((((2575,566),246),(828,469)),(151,((2180,4127),(3648,1276))))),(4031,1940))),((2682,2893),2109)),(((165,2612),((((3572,2926),((737,1577),(3907,(2512,2307)))),1901),(1574,2125))),(2433,(3452,3278)))),(((((662,1024),(267,((2593,4017),4114))),((3645,(2351,((2322,3144),((845,14),1077)))),(((2197,1237),2354),(1634,1299)))),((((((1246,(3393,(2766,752))),((2799,(3654,410)),(680,(3960,2226)))),4078),(2166,4166)),(2103,((4133,563),(3391,2293)))),((3115,(2754,3915)),((2485,2484),2225)))),(((((((2249,1684),3662),(((1070,(4177,(2004,2885))),213),1483)),(((((603,43),3688),((((2762,3657),(356,644)),502),1360)),(((((171,2011),(616,3363)),2104),3408),((((977,919),101),((939,3521),(2384,(2668,984)))),4124))),(2078,(223,3522)))),(((1058,((1142,786),1486)),(3809,((771,1674),((2042,1919),2834)))),(1938,3622))),(1383,((1883,(((112,58),2388),550)),128))),(((((((309,906),(((1825,4036),2236),2398)),(1739,490)),(565,(3015,2832))),(((3675,382),(823,3743)),(3377,1442))),((1436,(((526,3169),(2288,2563)),3710)),((3666,(2726,(23,1122))),((3629,((884,1203),4044)),((((2603,2596),3888),((((245,3145),4016),(1581,2461)),((((2727,1849),(2562,3252)),((((8,605),(938,1063)),((((1868,568),(1080,((129,1044),3564))),1527),1528)),((3528,765),(3043,1031)))),(2687,2132)))),2390))))),((((1539,2583),(((374,728),(465,2517)),(3065,3421))),((41,3994),3168)),((((315,494),((((3642,1897),591),2248),(3884,615))),((((976,10),195),(4195,(1924,21))),(((1451,685),1286),1273))),((((((243,3362),(3381,186)),393),2804),(((1086,3870),((3872,(574,785)),3887)),((949,(3812,86)),(((3014,3680),2107),1422)))),(((2855,2185),((3051,2204),3076)),(4024,(2772,(945,3529)))))))))))))),((((3992,((3764,(1986,((284,1556),(3026,1538)))),((1012,1319),601))),(((((330,4035),((((298,(386,1992)),405),(3007,2318)),(185,(3243,2818)))),(3215,(((3641,910),1800),957))),((((3135,9),(3016,(1659,2749))),((1761,557),3078)),(2913,1429))),(((((1629,(((1258,3021),(3797,(4169,1185))),((3483,2982),3250))),(1107,2106)),(((2120,2978),(1213,1984)),(3677,1249))),2881),(((((433,2142),((2284,664),353)),376),((718,(3979,(2533,2931))),63)),3520)))),((((((((3062,2550),3104),(1530,(2151,2168))),((1397,3167),2358)),((3961,3141),(((1219,4206),(2251,3625)),(3601,3929)))),3211),((((2139,3267),(3753,(3956,1056))),(((((3497,(3177,(2434,1724))),(2208,706)),(((((2102,2935),(3704,1110)),519),((1334,3715),238)),((((650,2209),(240,(1929,(1915,3975)))),(3779,296)),205))),((((2551,1918),2457),(2581,3611)),(486,2350))),((((((426,3205),1168),(1763,3437)),(1766,(111,(1931,1398)))),((((925,1632),1609),3392),(3499,(((3954,(1474,3216)),1266),4055)))),(((3771,3738),(684,1845)),(2604,335))))),((((((1727,3759),((((3615,3352),145),1725),3181)),(((4023,4191),(3719,3469)),((2973,(1084,421)),(461,2657)))),((2081,3814),(1647,(3687,837)))),((2018,430),(((3656,2955),(1873,602)),((3334,1660),815)))),((((352,(1479,2058)),((((3871,915),((1039,2170),(2928,52))),(2122,4158)),217)),(((2023,(2573,435)),(1872,4183)),2965)),((674,2487),(363,(2145,(3414,4102)))))))),((2760,(143,(2297,((3153,1573),1554)))),(((((2090,1480),150),((((2905,1046),(1068,3744)),((3627,2135),(254,(480,4142)))),(((((73,(1798,2844)),630),(1349,(375,(3558,1415)))),(17,1166)),3050))),(999,(3739,447))),(1879,((1303,(3438,1204)),((1164,191),(485,(2442,(1906,2381)))))))))),(((((1215,((776,3777),(3617,2874))),2469),(((((((1821,397),(861,45)),(847,1071)),((1427,(91,258)),((2071,(3544,2148)),((((2942,3155),2091),2404),(2475,881))))),(((((4134,3338),197),((((((2933,866),1608),(((2720,(1501,2022)),2287),(((3834,(1274,2479)),3017),(2541,1542)))),((339,4209),(1318,4157))),((341,(3815,1435)),(((4200,1904),2146),((4101,3376),(3708,1017))))),(3258,(4020,1861)))),((1630,1951),3273)),(((2445,(2986,2953)),3486),(((414,(1211,3152)),(2155,1595)),(2006,(3968,3741)))))),((891,(((1834,2156),5),((536,(4046,(656,(3163,3798)))),(665,(3864,3472))))),(((((((832,3432),(1708,2362)),(2323,(327,731))),((2847,3506),1793)),(980,3462)),(((275,2571),2224),(2159,(3196,113)))),((((4161,(2382,562)),(1797,3456)),((((773,((2729,2503),((3883,((1053,(2901,2095)),(2326,((2250,3874),(((3305,1187),2906),788))))),(((2436,2379),4096),((1546,(2753,321)),2721))))),((69,64),895)),(115,(3760,1214))),(3380,((348,1975),3090)))),((((((3707,2711),(4057,1650)),((2722,814),((830,(825,1586)),(1987,(((3,2880),(3458,1292)),(2137,584)))))),1271),(((736,3747),((3002,345),(2121,1296))),780)),(((((219,(3728,464)),((2640,98),(3291,2364))),(2691,3399)),(587,843)),((2474,((878,960),(3503,(3734,(443,(2680,3976)))))),((1134,(1624,((2748,3573),((1926,3655),2921)))),((1379,3358),(944,2787)))))))))),((((2065,(215,3866)),(4083,2348)),((93,((1738,75),648)),((((3729,2916),((1744,2123),1927)),((2409,489),(3630,(3253,(((2625,3223),1776),(2444,3308)))))),((3025,((2656,((3981,3533),3575)),(((367,(463,1613)),2543),(2741,(3294,4221))))),((((4004,1669),(((943,(3917,2843)),189),(1921,2283))),((1826,((2332,1183),2476)),(701,2130))),3089))))),(((319,(((1867,3039),3921),1445)),((((263,3146),((((444,(964,3828)),3640),970),(911,((833,2239),(32,1255))))),((2846,((2587,2133),1567)),1555)),(((2426,(747,2215)),((2281,(710,(1740,(1606,1780)))),(((3698,1804),4065),((3319,3374),1498)))),((3647,(2452,1057)),2455)))),((((3865,1275),(((1642,2922),(3210,1584)),(794,2615))),((991,(241,2996)),(1281,2650))),(((1701,(2413,790)),((1808,(((((4112,313),((4030,3631),2519)),3049),1673),((2578,329),1326))),((1829,3189),((((2028,2751),((3805,(4171,954)),(3996,3047))),(1362,(1585,1205))),(956,((4049,2969),2380)))))),(((766,(1466,(742,3532))),3819),((3400,(1934,((2383,3862),3706))),2114)))))))),(((((1792,196),1047),((3378,((1533,122),(2217,2788))),(((677,((1014,4038),968)),(3284,(1161,1106))),((635,3639),3481)))),((1216,4012),((2919,2492),(3880,4086)))),((((((3845,2255),(1952,1514)),(1496,1132)),((((3977,3920),((697,3031),(((3254,1492),2113),((3926,686),3165)))),(2877,1972)),(((2737,(1113,(((1493,1173),3697),(20,1773)))),(((133,3247),(50,4187)),((2746,1561),((3094,647),2171)))),(((2016,3256),((48,3723),(1448,3126))),(870,3262))))),((((3927,3531),(546,((2331,2276),3136))),(3942,((1729,2769),(((1256,2501),(1854,940)),628)))),((838,104),(1996,1812)))),((((2607,3587),(1943,2673)),(244,625)),((((((2478,276),(((2597,((1288,1889),3405)),(1257,548)),4015)),3440),((2089,(592,2900)),(((1594,(1656,(1852,1494))),(821,(1247,4137))),(798,1009)))),(265,((((3885,3934),1523),(1853,(3484,3925))),(((3496,((2989,4116),3855)),(1991,1060)),(((1512,1055),2069),(78,1157)))))),((((2630,((547,((3836,3274),846)),483)),(295,585)),((3569,2866),(((1939,203),((2342,(2645,3008)),(1459,((620,3614),2280)))),((((((2976,2584),((4110,72),2505)),757),((3178,206),(3837,727))),((((2182,(299,2086)),3692),(450,1218)),3588)),(((((2290,2738),1880),((((935,1004),(1959,3028)),(2480,((1646,3387),3553))),2274)),(3453,1672)),((108,1197),(3279,642))))))),(3466,1589))))))),((((((2273,3027),((((230,3775),1508),(2826,(2636,889))),((((((1229,3430),2795),2337),((1960,559),(4022,3660))),(2661,(((2777,1094),(488,2143)),2324))),((((((1231,711),((1227,2993),((3092,779),1811))),((2279,2059),(1138,1658))),(1965,498)),(3703,(290,(612,3991)))),((2210,2493),672))))),((((420,((3689,3535),538)),(((1615,971),2194),((4013,(3330,(2376,4106))),888))),((((2511,(3406,1651)),(2019,1069)),1627),(((((3420,404),2744),(((35,993),(11,(2425,59))),(2803,2767))),(3726,((2648,2428),((1393,(360,3156)),2629)))),(((((((70,((4223,3897),(2152,(((1806,2556),3459),2554)))),2115),(720,594)),1090),(3072,(2987,2794))),((567,1028),(((2315,(4172,2666)),(1471,(3074,2100))),1400))),4076)))),(((1105,(3986,3170)),3413),((795,((583,13),239)),180)))),((((((((1910,3129),(226,2809)),(2980,(2108,4152))),(3426,((3249,981),(4070,1346)))),((((343,(2067,103)),(((((3804,(((2292,509),1354),1753)),(3442,1386)),(1308,1030)),(2407,(417,2735))),413)),((((3916,273),(3337,((1956,1707),1888))),((2192,(2698,1307)),(1831,(4001,1847)))),(((2516,1954),(3208,2238)),(826,(337,2392))))),((1228,3786),((((3671,2465),3973),((2141,4075),3326)),((2869,3941),((4081,2325),1816)))))),(((((((4140,3579),1417),3930),(2169,3571)),(1212,4062)),1176),((796,(2396,155)),(1795,(1988,3792))))),((((((((((2621,(2910,4002)),(622,2860)),(3582,1151)),((3546,3304),411)),(3350,((((19,((4144,2742),1794)),3112),2368),((1862,(1313,2258)),2508)))),((1364,(3434,((1715,2186),(3972,(668,2035))))),((3511,2282),3290))),(1310,(83,(22,(799,2934))))),((((((((3128,(1085,(3139,1967))),1144),366),3409),((1790,4093),(167,1536))),((2477,3591),715)),((2002,2540),(454,903))),((((((1764,2269),((3478,(94,2005)),(1655,((1522,4011),2665)))),(2150,((2999,1010),3206))),3471),(((((2417,2399),(3081,3548)),1520),1840),((1295,868),((2651,(1706,((1179,(3649,389)),743))),2624)))),(((751,(512,(3952,((3948,1467),(425,2008))))),((2214,(4010,268)),((3125,883),(((4061,3508),1198),((3487,(2646,(2811,102))),2929))))),(((252,(2177,3180)),88),3559))))),(((3095,2173),(1817,1557)),((((3186,1380),4105),(3725,((865,3858),975))),((((1042,(((787,2083),(117,262)),3658)),553),4088),(((193,1998),3489),(1700,2138)))))),(((((3171,(4130,3842)),3054),((1285,(621,(3310,1529))),1664)),(((((3187,634),(1784,95)),((571,((301,297),(1426,1355))),(1779,(372,959)))),((3218,((3598,2712),722)),937)),(1126,(643,(3717,4207))))),(((804,((214,3019),2272)),((((932,1549),777),3835),(3833,333))),((678,2972),(((914,(3412,2176)),2066),(4073,201))))))),(((3967,1430),(51,((183,1370),(((((1848,(528,4104)),(2498,(1920,2294))),((1420,2423),147)),((85,(3433,4174)),3555)),(2375,670))))),(((955,3566),(2761,2000)),(3257,(((2128,1035),((2048,1770),27)),((82,(((3034,2304),1121),2441)),4032))))))),((((((((((((1930,2854),525),(132,((2902,1623),1787))),2770),2525),((422,1823),(1108,(2414,3150)))),(((2586,(593,692)),1687),(3309,((853,((1348,1078),761)),1505)))),2242),((507,532),(1601,(1409,(466,859))))),(((((2289,177),365),(((81,1945),3869),2849)),(((((4111,3097),2565),((802,2193),(((1698,1101),2576),(2482,3385)))),2093),((4084,(2848,(3410,1824))),(357,(3824,1922))))),(((((((3592,3720),1051),(2212,2548)),(((4125,1717),2821),2857)),(555,2260)),((((707,723),2894),(3554,2009)),3373)),(1008,((((1146,3012),1165),(3547,2544)),((247,(922,(3694,2783))),(163,(1839,((1551,(285,2421)),(534,2356)))))))))),((((7,2521),((554,(3303,3403)),2188)),((3323,1128),3087)),(2539,(3328,784)))),((((689,286),1990),(1534,(904,467))),(((1378,645),(3892,2950)),(((2915,3821),(3735,2355)),((274,(2312,1772)),250)))))),(((((((((3596,(1324,3806)),1777),2268),(800,((633,3983),((3329,305),2144)))),((((2229,3272),(1846,1757)),(2526,(618,3935))),((3107,(560,1756)),3404))),12),((((((((3909,(2683,1099)),(2227,2692)),((3933,1221),1114)),(2605,3691)),(((3035,(3742,(1600,1118))),(242,4098)),76)),2759),((1537,((1241,551),(3542,(432,(3501,3825))))),((3465,(517,2298)),((2889,264),236)))),((((1223,(4167,1282)),(((2520,1196),1065),((1783,2347),((1543,(((((2372,1856),2034),3539),864),(1452,(3893,(3851,3447))))),((745,(1023,518)),(1871,(((988,1805),4006),340))))))),(4042,((2925,((((1438,(813,4153)),(3724,2160)),4217),4175)),(((590,2490),187),((3626,2654),2221))))),((((1190,(1396,1245)),(1562,3318)),((3686,3782),222)),(659,((((1289,1575),1147),2174),2386)))))),(((3838,(3928,3080)),((1149,3839),((3032,(1590,965)),(349,1969)))),(3931,(((344,396),741),((16,(395,636)),((2600,2653),(3474,((1789,1302),4123)))))))),(((((2030,((2557,(440,2903)),(4129,2861))),((((2623,3022),((4176,3198),(3875,(816,655)))),((2068,2530),((1441,1564),(2560,1663)))),(1357,(3958,(1521,4135))))),((((((235,2724),3605),(125,1721)),(2420,((2218,1127),2449))),((4025,(746,1618)),(49,(((323,3317),((994,(2765,1239)),(3936,3784))),3415)))),((((1449,(259,3807)),((658,3705),3541)),2824),((2785,1347),2923)))),(((4058,(282,(2157,2736))),(3989,2254)),(((3477,((3504,1974),3117)),1718),3079))),((((4027,3102),(3914,(446,(1311,(3344,809))))),(((1413,(2335,2617)),((2395,2080),3556)),((1139,((966,3820),(3702,2678))),(((3699,(3700,34)),4064),3042)))),(3517,((((3306,2439),2502),437),(((228,3787),(((762,4122),(1643,1636)),1688)),3197)))))))))),((((1625,(2374,2716)),1005),((1062,2778),(((((3245,783),((((1899,1150),4205),(1887,2752)),((((3033,(((2655,2675),1716),2914)),((1499,(4118,3505)),1736)),1941),(3315,((3664,683),2626))))),((3366,((4214,2998),((3314,(2911,942)),(1641,772)))),3638)),(((3159,(2124,3370)),1515),((4179,2609),3468))),((((3476,2890),(157,575)),((((3282,(749,1342)),((371,556),92)),(1367,3913)),(3109,2638))),((3788,((((((3220,1003),((3439,1524),2359)),3745),649),((1747,1950),3269)),(1720,3966))),(1894,811)))))),(((((((((897,2262),1320),(1621,872)),(521,(4159,2378))),(1487,4050)),(657,2949)),((((4198,((3248,1545),2537)),((2642,(1026,2010)),(2574,638))),(188,(476,1263))),((((((3475,1391),(((892,3768),2014),((((640,3669),2424),(3701,967)),(((3746,(3246,1464)),((569,3143),((2084,((1890,3488),175)),317))),((((2163,1136),1765),(1979,(1446,4045))),4028))))),1977),(((3844,1419),(409,(3396,144))),(3684,(3003,3121)))),((((((473,2939),1751),(3770,1098)),((3773,((732,1123),391)),((((3713,2459),((1485,2036),4148)),(778,1072)),((((3634,841),(431,(2616,(3843,1097)))),(3955,(1734,2918))),((3005,((4202,2448),941)),((1712,2349),((307,2175),2792))))))),2343),((((((((1075,3053),(1317,3602)),((3351,(1490,89)),1265)),(2316,(216,863))),((529,3132),(2591,3693))),((570,390),(2870,2644))),((((3763,39),(3431,(2706,(3067,1733)))),(3172,2440)),(471,1021))),3332))),(((4182,3276),(((1898,3212),((1267,(3781,905)),(691,1677))),(((((1668,899),1578),249),1262),(1619,(3712,(1851,47)))))),((((1074,(2708,(1045,2489))),((1661,2944),((1240,3722),(3242,2943)))),((1291,((((614,(1156,2891)),2639),1093),2228)),(2471,3740))),(((1818,3494),((1416,886),2024)),(((3964,((641,2851),(1124,114))),1796),1907))))))),(((((((1015,2491),(1188,(202,1000))),((381,(1667,4165)),(2555,4009))),(((((1519,(442,1341)),(293,((1565,770),3510))),(989,3628)),(((((1201,3204),609),1572),1504),(((2664,1454),4071),712))),(1272,1705))),((((((((((1588,((4190,3365),2758)),((127,3131),(1358,(1830,1719)))),(2070,3636)),(((2341,2823),(1841,3490)),(854,2244))),((3767,(2633,2570)),623)),((4192,2951),4097)),(458,(3154,((588,(2472,1495)),142)))),((((62,3565),2660),((((3006,((1886,1552),597)),929),3876),(1225,((1596,4054),(3402,(769,3164)))))),(((3525,(2924,2709)),((3607,2994),(2515,2579))),(3331,1143)))),(((((1962,(1815,(573,134))),3727),(505,875)),(2983,2647)),((3959,(2981,1323)),((2481,(1691,2164)),(1033,(2241,2568)))))),(((((((2820,2405),(2196,2240)),(3998,(2496,663))),(((1525,(255,4185)),(1412,1981)),(((851,3899),495),(926,(1686,1453))))),(((2802,1563),(2734,(576,2402))),428)),((2463,(((3029,((((3772,2732),(362,1283)),(1194,983)),(2757,2959))),((3659,3289),2681)),((3810,(2074,2270)),(3716,3236)))),((1102,1117),((277,3552),3800)))),(1064,((((((((4170,3714),(3674,(1469,314))),((3347,3379),((3063,1368),(((3324,2756),((2875,1933),(660,1892))),1936)))),(1103,3519)),((200,1314),(176,((1444,3776),(3947,(4047,2494)))))),((1290,(1755,((((2689,269),((2458,3390),2535)),(1617,1702)),(((451,455),2883),2363)))),(((997,1277),((2020,581),(((1911,(3780,3482)),(3796,3761)),654))),3225))),((((((1866,2532),(419,3059)),(2033,2676)),(894,((237,(2763,2643)),1389))),((((1622,310),(116,4072)),((((2300,1653),3613),1602),(((((4139,639),2649),(478,1995)),3255),(1699,676)))),((((((858,1864),1377),3969),(1052,3428)),(2012,4063)),((3818,(4119,(3232,3906))),((2488,3822),71))))),((130,719),(2558,((1885,714),2841))))),(((1942,607),(1544,((4,(2278,(887,184))),4095))),(1468,3891))))))),(((((2995,1786),(((3995,(2003,1732)),(1914,((181,953),((4068,225),2582)))),(1333,1876))),(((1217,3230),(4000,(((24,351),900),(3183,439)))),((((2632,1689),(2234,535)),(4211,3593)),(3287,3513)))),((((1652,(3493,2546)),((696,(1315,2427)),2956)),(((3965,2296),2856),(74,(1352,2946)))),(4162,2397))),(((((((3752,2178),1162),493),((((38,2200),44),2728),((2927,4007),(1410,(((4060,1710),(1387,1384)),2189))))),(3578,3949)),((((3599,(42,3632)),(1819,1463)),(1155,(515,1032))),(1680,873))),((((210,((1583,1100),403)),2567),((637,(1696,2569)),3846)),((2782,((760,1657),542)),(((2329,(((31,53),829),198)),(3044,3950)),((141,3185),(1079,2830)))))))),(((((1749,(((3811,2147),2714),2863)),2460),((3463,2663),2599)),((1626,65),(((((2199,1679),(1253,1722)),(2776,1822)),(1462,(((1828,4150),2618),(1259,2470)))),(((((907,(2960,80)),(((2352,(1073,2387)),(1340,(2167,3480))),((836,2),2305))),(((2013,1683),96),((1947,((2542,2096),3479)),(1550,(1365,2313))))),(2506,(3345,(1115,(958,(3766,1381)))))),((2021,(((950,((1980,2403),(604,3137))),((153,(893,3507)),2970)),2252)),4156))))),((2216,(((452,2328),2701),(792,1999))),(((((1484,(373,3346)),(((4204,399),(((4160,(2097,4154)),((3561,1579),448)),(((4080,2690),(1500,(709,1614))),(4103,3868)))),(((2797,1431),((1095,154),1111)),2868))),(3069,(2088,1517))),((((1152,(4203,178)),((((2039,2026),1125),(((((1092,1309),(3938,753)),((840,1336),((2658,1177),(1329,4089)))),985),((3987,1905),(1973,2055)))),((909,2807),1916))),(((((1838,1096),(2917,499)),1269),3335),(((3118,170),((((3974,3461),2808),((3275,(3902,(107,3990))),((2389,4067),2958))),(3364,596))),(((2172,3207),(15,408)),(2610,774))))),(((((3570,68),(3386,407)),427),2817),(((4199,248),1020),921)))),(((1169,2263),((1287,((398,((4014,(869,2790)),4019)),(1087,3084))),(820,1171))),(((2046,(3791,311)),4224),(3342,3311)))))))),((((1681,(2265,558)),(((((2385,(1186,(1443,2127))),4033),((3066,(3423,56)),3138)),(((1153,159),(996,1388)),(1503,((2991,3422),595)))),(477,((((1226,3162),(100,(3108,2662))),(((3803,(2858,55)),((3840,1638),((793,1820),1460))),(1373,324))),(((3847,1418),3233),(1510,(3518,3540))))))),(((3681,(((336,79),(523,((77,1375),(2510,963)))),951)),(((((1675,(3101,2704)),3789),(1439,387)),(4155,((2652,2072),(3103,2412)))),(((2112,1775),2985),((2723,(322,(1671,(4197,(835,1842))))),2117)))),(((3577,(3536,1091)),(1432,756)),((((2966,2377),2044),2990),((1112,3239),2534))))),((((((((3984,2435),((3388,(913,3890)),(2063,(578,377)))),(346,(1481,2306))),(1670,(3110,3190))),(((3971,3551),(923,(890,3778))),((3228,(3360,2784)),2884))),((2614,((30,3280),2154)),((1874,1860),2391))),(((2899,((3455,755),624)),3612),4043)),(((2153,2082),((1369,(1361,2513)),3449)),(((2116,1697),(((3235,850),2453),3454)),(((((2964,4189),((((4173,2598),1917),(((192,3500),1270),3769)),3100)),3091),2764),((((((933,3214),3618),2878),(1458,((508,504),822))),((2700,300),((1957,((4186,(3609,370)),2850)),1742))),((4146,3512),(((160,3073),(332,(3147,2549))),209)))))))))))),((((((((((2730,(((2984,(503,1199)),(3852,4215)),((3549,1628),(((((3919,1570),3912),(2718,1850)),((1678,2963),2064)),3130)))),((2602,(1248,3184)),((1654,2674),3221))),((((2547,(2432,(4168,(531,852)))),1726),(3134,(172,1109))),((1963,(2087,99)),1913))),(((((((791,3755),(((2920,669),717),(2419,3285))),(2367,3446)),((4196,40),1748)),((1089,2187),((3643,120),(2780,(3853,1130))))),((((1294,3794),((675,2134),781)),((1428,(((2876,1604),(1607,((3460,3457),(2416,(3978,2275))))),2314)),703)),(((3064,445),3857),1944))),((817,(896,2572)),(((3122,2641),3281),((513,819),1390))))),(((((1989,3896),(4208,705)),1408),(844,1440)),(((1605,898),(294,60)),3939))),((((1865,(867,(3492,2695))),(2032,(2483,((1807,36),((1141,3041),3670))))),2467),(1025,((1300,(3901,1160)),(1582,1402))))),(((((2211,930),(2179,((462,1548),3241))),(1511,(2886,882))),(((974,2245),1741),((768,1477),631))),((1937,((3227,(4113,3288)),((1081,(3116,(2025,1022))),(2892,(4164,(1993,207)))))),(((1690,(1116,1082)),((((1893,303),1321),(279,4220)),(4145,(((3450,(2806,699)),1665),(920,(1325,3445)))))),((((3123,3226),2256),((3635,(1328,(599,((862,1666),(1306,1639))))),3563)),((2041,2693),((1694,(((4040,(3037,2940)),2566),((3850,1569),2418))),(227,2853)))))))),(((((((3567,3946),224),(((2253,3695),1695),((((1730,2462),1232),(((3217,3464),((251,3823),(((3683,2303),3498),1781))),((805,((3082,354),3841)),2887))),(325,3056)))),((2062,((500,3191),3341)),(2750,3265))),(4052,((((((2523,3756),((2429,1450),(1506,2907))),((388,3580),(291,3576))),((3293,2789),((3120,(2231,1953)),302))),(1949,1799)),(3873,(((1158,839),1559),253))))),((946,((1135,((2259,434),3224)),2340)),((((1180,289),((126,789),2201)),(3298,(2611,1018))),(((2968,3011),(2430,3774)),(611,((902,2514),(1233,(1566,3339)))))))),((487,(1027,((((((673,1925),(392,617)),3682),1541),((361,(((810,(2317,586)),(1175,3234)),1870)),(3516,3905))),2040))),(3604,((2908,(1827,(1284,3676))),135))))),(((((((626,(1649,3650)),(131,2816)),2810),((((((2975,4026),((2129,406),797)),1137),((3161,2499),(174,552))),((1576,3585),((1603,3354),(((4151,1966),(3749,(3083,564))),2437)))),((((1235,(3849,2446)),3711),(1251,(1855,927))),((2594,700),(316,(1997,(((152,3757),((2813,2971),(1478,3594))),((119,312),(218,(308,233)))))))))),((((2291,729),(((3923,2257),2967),((1782,280),(((1482,(2635,(1693,3312))),(2051,(1457,2320))),(((2713,326),(3667,3322)),((3568,(33,3238)),(2277,812))))))),(2056,(1958,((3985,((179,2852),2669)),1762)))),(((3394,(763,2131)),(1456,149)),1154))),((2631,((3543,(724,((164,2592),(1405,(3201,4021))))),((3057,(1222,1088)),1475))),((((3443,46),2608),(416,(((110,(1903,(510,212))),3368),(3470,(3417,652))))),((969,(3266,1330)),((2710,3418),3673))))),(((2110,1491),(1676,((162,2345),3783))),((((((((234,1140),(1356,1768)),1982),1767),(((2745,(2827,1895)),((3020,978),((338,(2007,2360)),3538))),(579,(524,3343)))),((((((2447,((287,1345),3485)),(849,(754,3718))),((1553,(1891,3945)),(4107,3515))),(((4131,1007),1242),((632,834),((1344,2052),2504)))),(((3307,2149),(4003,(3860,(2620,1877)))),(3595,(2667,((2589,3589),((4218,((4141,928),4115)),(3151,3070))))))),((((((1473,3937),(3148,(84,3908))),((537,1935),2029)),283),(2060,(3425,2468))),(((((1735,(((2061,((66,(2001,(3416,1746))),((2400,(1518,2733)),401))),(1610,549)),(2747,(2373,2431)))),(2697,(3321,2768))),((3045,(((2740,(803,2321)),3652),((4048,355),(2545,((1059,1403),1421))))),(2904,(2601,2075)))),((3277,3251),(3389,1243))),(((3296,359),540),(((2845,3030),1407),(((4094,1301),(((1029,1414),4059),3173)),(((619,(545,(3924,4077))),(1338,1465)),((3093,947),(1723,(1178,(972,979)))))))))))),(((((2622,(561,1399)),((((2336,4147),901),(453,1293)),(((2486,((767,1200),(735,1209))),2825),(912,3856)))),(1591,3133)),(3371,2333)),(((3583,2829),3894),2775))),((((492,((((827,3231),281),3060),1896)),((580,((1843,(1395,1016)),3606)),3264)),((501,(2522,((1260,3202),(3174,(3495,441))))),(((((713,((1711,261),2243)),(1598,(3557,682))),((3644,(2450,457)),(3502,2346))),((2957,394),(148,(2285,((((1558,(109,(4201,1133))),2814),(61,1535)),2140))))),((3085,1728),(((((3608,516),(3895,1327)),((973,995),((885,908),1202))),4210),(((1278,29),(2301,138)),(67,3052))))))),((4138,(3244,((3586,1250),1844))),(702,(((3882,3943),661),(2267,2393))))))))),(((((((1633,4121),((1771,1745),2634)),((1836,2791),(1985,3441))),(1813,2206)),(((((((1382,1322),(2815,3299)),((((4163,(2466,497)),3610),2161),(3597,1104))),(2628,(2050,2190))),2049),((((((((3980,(2366,2948)),3419),544),1513),(1167,2707)),((1809,1208),4087)),((1955,3732),4222)),2755)),(((1635,2098),(2495,2456)),(3004,(4188,1599))))),((((((3678,((481,3963),(2077,(2862,877)))),2786),(2872,2819)),(((3436,456),3530),((482,((3340,((3157,(2076,4053)),1802)),(2507,2043))),3637))),((((((2828,3861),(1411,2295)),(2235,(423,1061))),3877),(((((3175,1810),(3427,(725,3200))),((2073,3922),1011)),2595),1631)),((((2672,1785),(3297,4132)),2837),(2370,(2812,(3176,4066)))))),((3524,((3203,(2688,1637)),(((1837,(1170,3848)),((961,1752),(1858,1759))),2882))),(((511,3731),97),(1054,(1472,3320)))))),(((((522,3758),3790),1814),(((((2839,(2529,1264)),1648),(2879,(1184,1372))),(2895,3826)),((2451,(2410,(666,(1394,479)))),((1833,3435),(2997,((842,1983),992)))))),((3199,((2111,(3754,(2938,3509))),4109)),(((1758,3086),1516),(((3785,2054),3325),(1120,(2027,((2162,2401),(2454,671)))))))))));