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