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