(((((((160.0:65.0, ((((726.0:5.0, 798.0:13.0)725:12.0, 762.0:6.0)723:23.0)714:8.0, (((889.0:4.0, 892.0:6.0)663:24.0, (815.0:5.0, 864.0:5.0)814:19.0)662:19.0)33:30.0)661:24.0)159:26.0)158:27.0, 499.0:23.0)157:22.0, ((((425.0:73.0, (696.0:37.0)695:44.0)424:24.0, 623.0:16.0)423:20.0, (559.0:12.0)558:27.0)422:22.0, ((507.0:3.0)506:12.0, ((586.0:6.0, 715.0:3.0)585:32.0, 652.0:17.0)584:22.0)505:28.0)421:23.0)156:23.0, ((349.0:10.0, (532.0:8.0)531:23.0)348:32.0, (401.0:31.0, 504.0:3.0)400:26.0)347:20.0)155:24.0, (((((((721.0:3.0)278:48.0, 711.0:41.0)277:26.0, (((((((((1118.0:4.0, 1512.0:7.0)1117:22.0)637:29.0, (1090.0:17.0)1088:21.0)636:15.0, (1046.0:10.0)1045:31.0)635:28.0, ((990.0:26.0, 1014.0:24.0)989:4.0, ((967.0:4.0)966:35.0, 1023.0:32.0)40:9.0)965:11.0)634:58.0, ((861.0:22.0, 995.0:1.0)860:51.0, (((912.0:4.0, (1025.0:5.0)1024:10.0)911:15.0, (979.0:6.0)978:30.0)910:12.0, ((947.0:6.0, 1055.0:12.0)946:16.0, 1012.0:20.0)945:21.0)909:33.0)859:18.0)633:14.0, (817.0:55.0, 855.0:44.0)816:13.0)632:23.0, ((779.0:35.0, 856.0:26.0)778:31.0, ((746.0:7.0)745:22.0)35:20.0)744:6.0)631:32.0, (1317.0:7.0)1316:27.0)630:24.0)276:26.0, (561.0:26.0, ((((((644.0:47.0, (((((1234.0:17.0, 1300.0:7.0)1233:38.0, 1546.0:40.0)1035:20.0, ((1206.0:27.0, 1251.0:18.0)1205:16.0, (1167.0:39.0, (1241.0:3.0, 1314.0:1.0)1240:46.0)55:12.0)1166:8.0)1034:11.0)1033:38.0, (((1269.0:19.0, 1328.0:66.0)1268:46.0)1102:29.0, (((1204.0:3.0, (((((1413.0:54.0)1412:6.0)1350:40.0, ((1374.0:9.0, 1449.0:7.0)1373:5.0)1372:47.0)1349:15.0, ((1432.0:16.0)1370:45.0, (1623.0:4.0)1622:45.0)1621:14.0)1620:14.0)1312:11.0)1203:51.0)1202:7.0, (1162.0:43.0, (1255.0:44.0, 1282.0:20.0)1254:7.0)38:17.0)1161:9.0)1101:49.0)1032:19.0)643:13.0, ((1001.0:57.0, 1106.0:24.0)1000:21.0, ((1059.0:32.0, 1195.0:5.0)1058:16.0, 1510.0:11.0)1057:55.0)999:19.0)642:20.0, (((935.0:14.0, 1081.0:11.0)934:17.0, 1028.0:25.0)933:16.0, ((971.0:4.0)970:18.0, 1056.0:13.0)969:23.0)932:16.0)641:44.0, (((882.0:3.0, 1041.0:8.0)881:6.0)880:56.0, 914.0:4.0)879:17.0)640:24.0, ((805.0:14.0)804:28.0, 1462.0:46.0)803:18.0)639:19.0, ((841.0:52.0, (750.0:40.0, (858.0:4.0)857:39.0)37:7.0)749:12.0)748:18.0)638:58.0)560:26.0)275:21.0, (((503.0:3.0)502:52.0, 620.0:17.0)501:27.0, (544.0:15.0, 621.0:6.0)543:27.0)500:17.0)274:26.0, ((((524.0:47.0)523:26.0, (565.0:39.0, (767.0:5.0)654:59.0)564:30.0)522:19.0, ((((410.0:98.0, (((((777.0:8.0)776:16.0, 1064.0:19.0)775:27.0, (982.0:28.0, 1019.0:22.0)981:10.0)774:15.0, ((931.0:32.0, 1080.0:25.0)930:26.0, (1018.0:50.0, 1077.0:37.0)1017:23.0)929:24.0)773:54.0, (850.0:10.0, 1022.0:1.0)849:82.0)772:29.0)409:48.0, (((693.0:23.0, 900.0:22.0)692:26.0, 822.0:58.0)691:21.0, ((761.0:30.0, 897.0:23.0)760:25.0, 830.0:30.0)759:23.0)690:46.0)408:18.0, (((619.0:31.0, (843.0:20.0, 905.0:15.0)842:20.0)618:20.0, (788.0:14.0, 847.0:25.0)787:23.0)617:49.0)616:24.0)407:24.0, ((((549.0:7.0, (828.0:16.0, 869.0:24.0)827:16.0)548:20.0, (784.0:15.0)783:30.0)547:44.0, (((866.0:14.0, 891.0:17.0)700:22.0, 1664.0:8.0)699:25.0, ((753.0:3.0)752:17.0, (824.0:29.0)823:17.0)751:22.0)698:37.0)546:24.0, 615.0:39.0)545:24.0)10:16.0)406:8.0, (((((482.0:21.0)481:28.0, 1346.0:17.0)480:40.0, (((769.0:54.0)768:7.0, 1428.0:38.0)710:17.0, ((((733.0:18.0, 996.0:13.0)732:18.0)731:57.0, 844.0:73.0)730:18.0, (790.0:57.0, (908.0:17.0, (916.0:8.0)915:13.0)848:23.0)789:22.0)729:26.0)709:24.0)479:15.0, ((((659.0:3.0, 862.0:8.0)658:14.0)657:9.0)656:17.0)655:52.0)478:19.0, (603.0:27.0, ((((1435.0:25.0, (868.0:12.0, 907.0:21.0)867:10.0)794:29.0, (735.0:10.0)36:15.0)682:46.0, 705.0:72.0)681:12.0, ((629.0:10.0)628:36.0, (708.0:24.0, 754.0:7.0)707:33.0)12:14.0)627:9.0)602:14.0)477:39.0)405:20.0)273:21.0, ((((339.0:43.0, 675.0:7.0)338:29.0, (((581.0:15.0)580:20.0, (782.0:4.0)781:22.0)579:58.0, (((680.0:16.0)679:11.0, 836.0:16.0)677:23.0, 780.0:1.0)676:55.0)578:29.0)337:31.0, ((((((((492.0:6.0, 1062.0:17.0)491:19.0, (1009.0:27.0, 1071.0:19.0)1008:24.0)490:16.0, ((((964.0:9.0)963:36.0, 1070.0:33.0)962:24.0)961:5.0, 985.0:1.0)960:10.0)489:50.0, ((878.0:7.0)877:29.0, ((955.0:10.0, 1060.0:3.0)954:18.0, (1011.0:8.0, 1069.0:5.0)1010:24.0)953:17.0)876:49.0)488:17.0, 829.0:58.0)487:19.0, ((813.0:29.0, 898.0:20.0)812:17.0, (846.0:19.0, 896.0:15.0)845:15.0)785:26.0)486:59.0, ((((669.0:3.0, (1082.0:38.0, (((1153.0:44.0, 1257.0:30.0)1152:33.0, ((1137.0:33.0, 1256.0:33.0)1136:20.0, (1180.0:9.0)1179:29.0)46:12.0)1135:4.0, (1171.0:17.0, (1242.0:8.0, 1500.0:4.0)1499:16.0)1498:16.0)1497:41.0)1496:26.0)668:70.0, 874.0:24.0)667:16.0, ((((835.0:3.0)834:15.0, 1013.0:12.0)833:19.0, (((1043.0:10.0)1042:13.0)950:14.0, 1005.0:27.0)949:18.0)832:49.0, (((873.0:13.0)872:4.0)871:13.0, 951.0:12.0)870:51.0)831:16.0)666:21.0)665:57.0)485:22.0, (((((((((601.0:10.0)600:16.0, ((1049.0:10.0, (1155.0:5.0, 1228.0:1.0)1154:25.0)1048:5.0, 1141.0:7.0)1047:56.0)599:21.0, (984.0:44.0, 1061.0:35.0)983:25.0)598:15.0, (((((((943.0:4.0)942:15.0, (1259.0:4.0, (1509.0:3.0)1508:11.0)1258:22.0)941:18.0, (1187.0:11.0, 1279.0:20.0)1528:28.0)940:1.0, (((((1201.0:12.0)1200:3.0)1199:9.0)1198:23.0, (((1286.0:3.0)1285:31.0, 1341.0:16.0)1284:6.0, ((1336.0:9.0)1335:20.0, (1353.0:5.0, 1415.0:15.0)1352:29.0)1334:17.0)1283:45.0)1197:9.0, (1253.0:7.0, ((((1306.0:12.0, 1419.0:10.0)1305:16.0, (1423.0:22.0)1386:25.0)1304:26.0, ((1441.0:10.0)1345:52.0, 1371.0:39.0)1344:17.0)1303:23.0, (((((1299.0:4.0, ((1438.0:61.0, (1430.0:13.0)60:38.0)1429:41.0)1422:18.0)1298:17.0, 1385.0:22.0)1297:12.0, (1362.0:48.0, 1387.0:39.0)1361:14.0)1296:14.0, ((1340.0:5.0)1339:39.0, 1367.0:46.0)1338:19.0)1295:13.0)58:5.0)1292:18.0)1252:23.0)1196:19.0)939:13.0, ((1151.0:7.0, (1223.0:33.0, 1308.0:1.0)1222:53.0)1150:10.0, (1194.0:41.0, (1262.0:4.0, ((((1409.0:27.0)1333:24.0, (1355.0:44.0, ((((((((1878.0:21.0, 1625.0:8.0)1877:24.0, (1989.0:9.0)1988:6.0)1876:24.0, (1860.0:18.0)80:19.0)1527:21.0)1403:29.0, ((((1568.0:13.0, 1614.0:17.0)1567:16.0, (1609.0:11.0)1594:12.0)1566:11.0, ((1492.0:25.0, 1612.0:24.0)1491:17.0, (((1593.0:45.0, 1646.0:20.0)1592:12.0)1591:33.0, ((1607.0:21.0, 1720.0:33.0)1606:31.0, (((1656.0:10.0, 1748.0:40.0)1655:31.0, 1706.0:23.0)1654:15.0, (((1772.0:15.0, ((1801.0:10.0)1800:15.0, (2139.0:12.0)2138:13.0)2137:15.0)2136:58.0)2135:4.0, ((1683.0:5.0, 1759.0:4.0)1682:40.0, (((1726.0:4.0)1723:39.0, 1777.0:23.0)1722:9.0, 1767.0:22.0)1721:47.0)119:12.0)1681:7.0)1653:11.0)1605:53.0)1590:12.0)75:10.0)1490:9.0)1489:51.0)1402:7.0, 1483.0:26.0)1399:13.0, 1629.0:11.0)1398:17.0, (((1460.0:32.0)1459:3.0, (((1652.0:21.0)1651:11.0)1650:11.0)1649:8.0)1458:16.0, (1482.0:23.0, 1516.0:23.0)1481:36.0)1454:26.0)1397:51.0)1354:24.0)1332:21.0)1619:11.0)1313:2.0)1261:38.0)1193:22.0)1149:12.0)938:59.0, ((((1176.0:3.0, 1311.0:1.0)1175:46.0, ((((1239.0:37.0, 1404.0:23.0)1238:9.0, 1383.0:25.0)1237:17.0, 1351.0:21.0)1236:17.0, (1321.0:47.0, (((1358.0:4.0, 1416.0:40.0)1357:27.0, (1410.0:11.0, 1916.0:11.0)1915:24.0)1914:11.0)1913:5.0)1320:7.0)1235:55.0)1174:15.0, 47.0:15.0)1052:30.0, 1111.0:1.0)1051:41.0)937:17.0, (998.0:11.0, 1091.0:6.0)997:33.0)936:19.0)597:17.0, (((((((((1190.0:4.0, 1231.0:21.0)1189:2.0, 1551.0:21.0)1511:22.0)1476:11.0, ((976.0:35.0, 1278.0:44.0)975:21.0, (((((((((1277.0:41.0, (((1474.0:35.0, 1488.0:27.0)1473:14.0, 74.0:7.0)1451:15.0)1450:3.0)1276:8.0, 1446.0:8.0)1275:7.0)1274:37.0, (((1452.0:88.0, (1396.0:16.0, 1613.0:21.0)73:118.0)1395:21.0)1394:5.0)1393:35.0)1273:18.0, (1364.0:3.0)1363:38.0)1272:13.0, (1343.0:39.0, (1366.0:12.0, 1406.0:11.0)1365:18.0)1342:15.0)1271:13.0, ((1324.0:21.0, 1384.0:13.0)1323:19.0, (1348.0:32.0, 1382.0:23.0)1347:18.0)1322:17.0)1270:41.0, ((1209.0:40.0)1208:15.0, ((1375.0:20.0, (1574.0:15.0)1573:16.0)1572:16.0)1571:15.0)57:44.0)1207:17.0, ((((((1392.0:10.0)1391:31.0, (1418.0:3.0, 1970.0:25.0)1969:6.0)1968:7.0)1967:24.0, (1327.0:42.0, ((((((((((1627.0:7.0)1506:31.0, 1890.0:11.0)1505:1.0, 1608.0:17.0)1504:18.0)1503:18.0, ((1549.0:8.0)1548:15.0, ((1610.0:5.0, 2130.0:35.0)2129:11.0, (1570.0:4.0, (1617.0:4.0)2131:15.0)118:18.0)1569:11.0)1547:15.0)1502:5.0, (((((1741.0:1.0)1535:92.0, 1618.0:5.0)1534:9.0, 1602.0:30.0)1532:28.0)1531:4.0)1530:11.0)1501:36.0, 62.0:32.0)1380:26.0)1379:3.0, ((((1470.0:26.0, 1596.0:25.0)1469:27.0, (1563.0:13.0, 1599.0:1.0)1562:22.0)1468:15.0, (((((((1558.0:4.0, 1749.0:4.0)1557:8.0, (1775.0:12.0, (((((((1807.0:11.0, 2066.0:5.0)1806:42.0, 2023.0:26.0)1805:40.0, ((1993.0:9.0, 2038.0:7.0)1992:31.0)1871:22.0)1870:29.0, (1908.0:7.0, (((1972.0:24.0, 2001.0:20.0)1971:14.0, (2008.0:30.0, (2216.0:3.0)2215:38.0)2214:15.0)2213:18.0)2212:17.0)1907:6.0)1869:19.0, (1821.0:5.0)89:33.0)1820:6.0, ((((((2084.0:92.0, (((1978.0:5.0, (2168.0:17.0, 2181.0:23.0)2167:10.0)1977:23.0)1976:25.0, ((2218.0:7.0)2108:64.0, (((((2150.0:17.0)2149:28.0, 2253.0:10.0)2148:12.0, (2233.0:9.0)2232:56.0)2147:15.0)2146:26.0, ((2114.0:39.0)2113:15.0)120:26.0)2112:29.0)2107:6.0)116:25.0)1975:5.0, 2067.0:16.0)1974:3.0, ((((((2074.0:54.0, 2244.0:46.0)2073:2.0, (((2286.0:4.0, ((2321.0:4.0, 2368.0:1.0)2320:47.0, ((2345.0:64.0, 2373.0:64.0)2343:35.0, (2348.0:6.0, ((2376.0:11.0)2375:29.0)2374:21.0)2347:36.0)2342:14.0)2341:25.0)2339:9.0, ((2272.0:6.0)2270:38.0, 2349.0:5.0)2268:50.0)2338:31.0)2337:12.0)2072:12.0, ((2208.0:24.0, 2273.0:3.0)2207:35.0)2206:25.0)2071:17.0, ((((2083.0:2.0, 2166.0:3.0)2165:8.0, 2260.0:10.0)2164:24.0, (2246.0:17.0)2245:34.0)2163:19.0, ((2049.0:5.0, 2205.0:5.0)2204:37.0, 2241.0:53.0)2203:15.0)2162:19.0)2070:39.0, (((((2289.0:86.0)2128:4.0, 2276.0:12.0)2127:50.0, (2239.0:9.0, (2275.0:7.0)2274:5.0)2238:50.0)2126:17.0, ((((2192.0:14.0, 2359.0:8.0)2191:21.0)2190:16.0, ((((2312.0:38.0, (((((2484.0:21.0)2483:182.0, 189.0:214.0)2475:17.0, (2423.0:58.0)188:30.0)2422:61.0, (2466.0:6.0, 2469.0:1.0)2465:30.0)2421:68.0, (2438.0:4.0)2437:52.0)2420:18.0)2311:15.0)2310:6.0, ((2381.0:143.0, (2435.0:12.0, 2441.0:21.0)2434:7.0)2380:22.0, ((((((2452.0:196.0, 181.0:240.0)2471:18.0, (2458.0:57.0)186:62.0)2457:13.0, ((2461.0:3.0, (2482.0:5.0)2481:9.0)2460:26.0, (((2480.0:4.0, ((2496.0:14.0)2494:16.0, (2499.0:15.0)2498:8.0)2493:7.0)2479:4.0, 2489.0:17.0)2478:1.0, ((2487.0:118.0)2486:21.0, (2492.0:36.0)2490:21.0)2485:5.0)2473:38.0)194:11.0)2459:34.0, 204.0:45.0)2415:12.0, (2463.0:34.0)2462:21.0)2414:48.0, 2433.0:41.0)2412:21.0)2379:16.0)2309:59.0, ((2327.0:34.0, 2393.0:4.0)2326:11.0, 2377.0:2.0)2325:48.0)2308:14.0)2189:70.0, (((2237.0:30.0, 2328.0:46.0)2236:19.0, ((2346.0:57.0, (2301.0:25.0)161:27.0)2300:10.0, 2323.0:33.0)2299:16.0)2235:13.0, ((2282.0:45.0, ((((2335.0:9.0, 2442.0:24.0)2334:10.0, (2429.0:6.0)2428:31.0)2333:19.0, 2408.0:2.0)2332:11.0, ((2387.0:14.0, 2443.0:13.0)2386:26.0, (2419.0:42.0)2418:5.0)2385:18.0)2331:60.0)2281:18.0, (2305.0:42.0, (((2358.0:26.0, 2439.0:32.0)2357:17.0, 2425.0:41.0)2356:10.0, ((2407.0:26.0, 2436.0:3.0)2406:3.0, (2454.0:7.0)2432:42.0)2405:21.0)2355:59.0)2304:30.0)2280:16.0)2234:51.0)2188:17.0)2125:14.0, (((2266.0:3.0)2171:49.0, (2243.0:11.0, 2278.0:10.0)2242:57.0)2170:15.0, (((2291.0:3.0, 2313.0:40.0)2201:19.0, 2285.0:31.0)2200:45.0, (((2250.0:13.0, 2088.0:1.0)2249:19.0, (2298.0:13.0)2297:5.0)2248:8.0, 2284.0:4.0)2247:45.0)2199:22.0)2169:16.0)2124:38.0)2069:19.0, (2098.0:39.0, (((2120.0:31.0, 2186.0:4.0)2119:19.0, 2182.0:13.0)2118:41.0)2117:10.0)2097:21.0)2068:25.0)1973:71.0, ((2044.0:4.0)2198:16.0)2197:45.0)2196:18.0)2195:12.0, (((((2041.0:76.0)2040:7.0, 102.0:19.0)1864:39.0, (((2018.0:114.0)2017:11.0, 2039.0:6.0)2016:23.0, 101.0:35.0)1985:12.0)1863:13.0, (1923.0:10.0, 1950.0:10.0)1949:35.0)1862:17.0, (((((2005.0:3.0)2004:17.0, (2064.0:10.0)2063:19.0)2002:52.0, (1927.0:9.0, 2065.0:15.0)100:53.0)1926:3.0, (1995.0:28.0, 2322.0:30.0)1994:24.0)1925:15.0)1924:19.0)90:6.0)1861:38.0)1819:13.0, 2144.0:44.0)2143:19.0)2142:34.0)1556:45.0, ((((((((((1898.0:15.0, (1987.0:16.0, 2013.0:11.0)1986:10.0)1897:3.0, 1983.0:7.0)1896:10.0, ((1906.0:8.0)1905:31.0, (2030.0:18.0)1997:32.0)1904:18.0)1895:20.0, ((1991.0:25.0, 2231.0:36.0)2230:16.0)2229:19.0)1674:30.0, 1887.0:9.0)1673:18.0, ((1847.0:18.0)1846:14.0)1845:37.0)1672:19.0, (((((1788.0:32.0, 2010.0:31.0)1787:20.0, (1961.0:45.0, 1998.0:35.0)1960:14.0)1786:11.0, ((((1944.0:8.0)1943:7.0, 2043.0:2.0)1942:40.0, 2006.0:33.0)1941:13.0, (1982.0:22.0, 2012.0:16.0)1981:17.0)1940:15.0)1785:48.0, (1874.0:33.0, 1931.0:5.0)1873:43.0)1784:15.0, ((((((1837.0:29.0, 2096.0:1.0)1836:20.0, (2082.0:109.0, (2078.0:47.0, ((2091.0:10.0)2090:10.0, 2111.0:1.0)2089:20.0)113:8.0)2077:6.0)1835:56.0, 2011.0:28.0)1834:17.0, (1980.0:21.0)1979:19.0)1833:15.0, (1939.0:13.0, 1966.0:7.0)1938:14.0)1832:44.0, 1879.0:58.0)1831:18.0)1783:17.0)1671:14.0, (((1766.0:4.0, 1830.0:4.0)1765:29.0, ((1796.0:4.0)1854:16.0, (1886.0:3.0)1885:16.0)1853:16.0)1764:15.0, (1804.0:31.0, 1848.0:20.0)1803:14.0)1763:20.0)1670:39.0, ((((1732.0:19.0, 1868.0:15.0)1731:19.0, (1823.0:7.0)1822:25.0)1730:12.0, ((1791.0:7.0, 1867.0:1.0)1790:12.0, 1849.0:7.0)1789:19.0)1729:16.0, ((1762.0:17.0, 1857.0:10.0)1761:22.0, (1794.0:36.0, (1888.0:6.0)1838:21.0)1793:15.0)1760:18.0)1728:38.0)1669:20.0, (1685.0:49.0)1684:18.0)1668:11.0)1555:13.0, (((1644.0:17.0, ((1826.0:41.0, 1858.0:43.0)1825:10.0, ((((1756.0:3.0, 1903.0:2.0)1755:5.0, 2265.0:5.0)1754:19.0, ((1892.0:18.0, 2185.0:18.0)2184:15.0)2183:5.0)1753:5.0)88:5.0)1751:44.0)1643:37.0, ((1782.0:30.0, ((((1844.0:5.0)1843:28.0, ((1959.0:5.0, 2024.0:13.0)1958:15.0, 2009.0:17.0)1957:21.0)1842:8.0, ((1947.0:12.0, 2007.0:1.0)1946:16.0, 1963.0:9.0)1945:12.0)1840:5.0, ((1934.0:23.0, 1996.0:41.0)1933:16.0, ((1953.0:4.0)1952:12.0)1951:48.0)1932:14.0)1839:57.0)1781:21.0, (1701.0:11.0)85:21.0)1700:65.0)1642:15.0, ((1680.0:8.0, 1776.0:9.0)1679:58.0, ((((1711.0:3.0, (((1883.0:12.0, 1935.0:3.0)1882:24.0)1881:3.0, 1899.0:13.0)1880:14.0)1710:13.0, 1856.0:43.0)1709:11.0, ((((((((1818.0:27.0, ((2081.0:8.0, 2116.0:8.0)2080:17.0, 2099.0:29.0)2079:19.0)1817:16.0, ((((((2062.0:17.0, 2115.0:9.0)2061:13.0, (((2123.0:7.0, (2211.0:26.0, (2258.0:7.0)2240:18.0)2210:13.0)2122:19.0, 2152.0:13.0)2121:35.0, (((2104.0:47.0, (((2048.0:6.0)2047:21.0, ((2319.0:21.0, ((2401.0:6.0)2400:19.0, 2427.0:17.0)2399:14.0)2318:9.0, 2384.0:22.0)2316:72.0)2046:23.0, (((2226.0:6.0, (2383.0:15.0, (2403.0:23.0, 2426.0:8.0)2402:13.0)2382:11.0)2225:49.0, ((((2354.0:6.0)2353:31.0, (((((((((((((2161.0:5.0, 2715.0:7.0)2160:16.0, 2707.0:24.0)2159:10.0, 2701.0:22.0)2158:3.0, 2668.0:55.0)2667:13.0, (2688.0:8.0)2687:12.0)2666:51.0, ((((((2680.0:43.0, ((((2750.0:11.0, 2838.0:7.0)2749:18.0, 2806.0:20.0)2748:16.0, ((2795.0:11.0, 2857.0:6.0)2794:23.0, (2823.0:24.0, (2845.0:7.0, 2871.0:11.0)2844:15.0)2822:15.0)2793:23.0)2747:48.0, (((2767.0:8.0, 2840.0:1.0)2766:14.0)2765:22.0, 2796.0:32.0)2764:49.0)2746:14.0)2679:11.0, 2728.0:9.0)2678:11.0, (((2725.0:18.0, 2790.0:18.0)2724:44.0, ((((2759.0:4.0)2758:25.0, (2863.0:3.0, 2874.0:3.0)2862:35.0)2757:15.0, (((2837.0:29.0, 2902.0:52.0)2836:14.0, (((2880.0:4.0)2879:29.0, 2948.0:13.0)2878:17.0, (2910.0:21.0, 2967.0:15.0)2909:29.0)2877:16.0)2835:43.0, 2861.0:38.0)2834:15.0)2756:11.0)2755:70.0)2723:16.0, ((((((((2744.0:17.0)2743:15.0, 2870.0:3.0)2742:7.0)2741:12.0, ((((2833.0:18.0, 2930.0:4.0)2832:27.0, 2881.0:22.0)2831:19.0)2830:18.0, (((2869.0:31.0)2867:12.0, ((2975.0:14.0)2927:20.0, 2947.0:14.0)2926:9.0)2866:21.0)2865:40.0)2829:22.0)2740:9.0, (2812.0:11.0)2811:16.0)2739:15.0, (2803.0:19.0, 2810.0:3.0)2802:15.0)2738:2.0, ((((2366.0:18.0, (2855.0:66.0, 2864.0:19.0)2854:5.0)2365:4.0, (((2221.0:6.0, 2929.0:1.0)2220:13.0, (2901.0:20.0, 2928.0:13.0)2900:12.0)2219:13.0, ((((2851.0:4.0)2850:42.0, (2932.0:8.0, 2966.0:3.0)2931:17.0)2849:11.0, ((((((2915.0:31.0, 3047.0:45.0)2914:16.0, (3016.0:39.0, (3045.0:3.0)3044:24.0)3015:16.0)2913:19.0)2912:41.0, (2922.0:4.0, 3014.0:7.0)2921:64.0)2920:7.0, (2965.0:7.0)2964:26.0)2919:12.0, (((((2988.0:25.0, (3031.0:14.0)3030:19.0)2987:15.0, ((3006.0:46.0, 2360.0:12.0)3005:46.0, (3036.0:5.0)3035:17.0)3004:18.0)2986:9.0, ((3000.0:36.0, ((((3167.0:8.0)3053:8.0, 3166.0:14.0)3052:38.0, (3127.0:34.0, 3151.0:37.0)3126:13.0)3051:22.0, (((3105.0:25.0, 3179.0:1.0)3104:46.0, 3155.0:28.0)3103:19.0, (3125.0:13.0, 3154.0:18.0)3124:17.0)3102:22.0)3050:52.0)2999:15.0, 3023.0:2.0)2998:19.0)2985:21.0, ((((((2945.0:42.0, 3142.0:20.0)2944:22.0, (3117.0:19.0, 3141.0:11.0)3116:21.0)2943:20.0)2942:35.0, ((((3066.0:6.0, 3164.0:6.0)3065:20.0, 3129.0:34.0)3064:15.0, ((3115.0:8.0)3114:48.0, ((3145.0:8.0)3144:3.0)3143:48.0)3113:23.0)3063:15.0, (((3109.0:13.0)3108:16.0, (3131.0:4.0, 3161.0:7.0)3130:12.0)3107:19.0)3106:12.0)3062:39.0)2941:21.0, ((((3028.0:5.0)3027:25.0, ((3123.0:36.0, 3163.0:35.0)3122:14.0, 3134.0:34.0)3121:11.0)3026:9.0, 3112.0:8.0)3025:7.0)3024:67.0)2940:23.0)167:17.0)2939:11.0)2938:32.0)2918:14.0)2848:12.0, (((2896.0:16.0, (((((((((((2296.0:7.0)2295:17.0, 3186.0:10.0)2294:8.0, (3176.0:14.0)3175:4.0)2293:51.0, ((((3150.0:15.0, 3216.0:2.0)3149:9.0, (3207.0:22.0, (3224.0:3.0, 3244.0:2.0)3223:24.0)3206:11.0)3148:15.0, (3190.0:40.0, (((3205.0:14.0, 3271.0:14.0)3204:22.0, (3250.0:18.0, 3261.0:18.0)3249:18.0)3203:40.0, ((3235.0:17.0, 3265.0:17.0)3234:15.0, (3254.0:18.0, 3262.0:18.0)3253:14.0)3233:44.0)3202:16.0)3189:14.0)3147:2.0, (3188.0:12.0, (3211.0:42.0)3210:3.0)3187:19.0)3146:61.0)2292:22.0, (((3043.0:61.0, ((2303.0:24.0, 3222.0:28.0)2302:28.0, ((3229.0:16.0)3178:14.0, (3209.0:17.0, 3237.0:6.0)3208:16.0)142:17.0)3177:8.0)3042:26.0)3041:30.0, 3135.0:44.0)3040:18.0)3039:13.0)3038:21.0)3037:34.0, (2372.0:36.0, 3055.0:17.0)315:6.0)2371:11.0, ((3019.0:26.0, 3085.0:7.0)3018:27.0, 3048.0:51.0)3017:16.0)2370:21.0)2369:19.0, ((((((((3074.0:21.0, 3160.0:21.0)3073:20.0, 3128.0:11.0)3072:19.0, 3110.0:13.0)3071:22.0, ((3090.0:12.0, 3111.0:7.0)3089:9.0, 3099.0:21.0)3088:15.0)3070:21.0)3032:19.0, ((((3084.0:36.0, (((((2392.0:8.0, 3248.0:7.0)2391:39.0, (3226.0:14.0)3225:41.0)2390:22.0, (3196.0:29.0, ((((3243.0:3.0, 3276.0:3.0)3242:12.0, 3266.0:16.0)3241:14.0, (3257.0:15.0, 3269.0:15.0)3256:15.0)3240:24.0, 325.0:6.0)3221:28.0)3195:18.0)2389:16.0)2388:31.0, (3153.0:11.0, 3236.0:1.0)168:74.0)3152:19.0)3083:21.0, ((3120.0:25.0, (3171.0:42.0)3170:12.0)3119:44.0, (((3140.0:26.0, 3217.0:85.0)3139:23.0, (3192.0:31.0, 3214.0:28.0)3191:21.0)3138:7.0, (((3185.0:7.0, 3246.0:4.0)3184:37.0, (3228.0:13.0, (3252.0:15.0, 3268.0:15.0)3251:20.0)3227:44.0)3183:22.0, ((((3201.0:9.0, 3273.0:9.0)3200:8.0, (3264.0:7.0, 3274.0:7.0)3263:10.0)3199:13.0, 3255.0:32.0)3198:47.0, ((3232.0:4.0)3231:17.0, (3260.0:11.0, 3272.0:11.0)3259:10.0)3230:57.0)3197:23.0)3182:12.0)3136:59.0)3118:17.0)3082:16.0)2973:46.0, 3058.0:7.0)308:13.0)2971:14.0, ((3009.0:7.0, (((3098.0:18.0, (((3159.0:17.0, 3212.0:7.0)3158:14.0, (3194.0:21.0, 3213.0:14.0)3193:19.0)3157:15.0, ((3174.0:3.0)3173:9.0)3172:17.0)3156:43.0)3097:11.0, (3133.0:5.0, 3162.0:5.0)3132:13.0)3096:22.0)3095:14.0)3008:46.0, 3046.0:47.0)3007:22.0)2970:14.0)166:19.0)2969:24.0)2895:19.0, ((((2937.0:32.0, (3060.0:9.0)3059:40.0)2936:30.0, (((2257.0:12.0, (3080.0:12.0, 3101.0:9.0)3079:25.0)2256:4.0, 3075.0:27.0)2255:14.0, (3003.0:36.0, 3061.0:19.0)138:11.0)3002:21.0)2935:14.0, (((2992.0:7.0)2991:23.0, 3056.0:21.0)2990:19.0, (3021.0:19.0, 3057.0:8.0)3020:20.0)2989:22.0)2934:44.0, 2968.0:15.0)2933:19.0)2894:11.0, ((2908.0:3.0, 2983.0:3.0)2907:29.0, (((2963.0:22.0)2962:12.0, ((2997.0:15.0, 3049.0:12.0)2996:21.0, (3013.0:4.0, 3033.0:13.0)3012:16.0)2995:13.0)2961:51.0, (2950.0:12.0, 2976.0:15.0)299:10.0)2949:7.0)2906:19.0)2893:12.0)2847:3.0)2846:50.0)2364:20.0)2363:6.0, ((2799.0:51.0, ((2843.0:18.0, ((2905.0:10.0)2904:30.0, (2952.0:3.0, 2378.0:11.0)2951:13.0)2903:23.0)2842:13.0)2841:55.0)2798:15.0, (((2818.0:29.0, (((2960.0:12.0, 3076.0:1.0)2958:30.0)2957:8.0, (3011.0:27.0, 3029.0:28.0)3010:12.0)2956:66.0)2817:41.0, ((((2891.0:24.0, 2974.0:28.0)2890:13.0)2888:11.0)2887:19.0, (2911.0:10.0)2897:11.0)2886:3.0)2816:45.0, ((2860.0:15.0, (2917.0:14.0, 2946.0:7.0)2916:13.0)2859:17.0, (((2885.0:13.0)2884:7.0, 2955.0:5.0)2883:18.0, ((2925.0:10.0, 2978.0:81.0)2924:19.0, (2954.0:42.0)2953:9.0)2923:16.0)2882:22.0)2858:44.0)2815:24.0)162:9.0)2797:10.0)2737:48.0, (((2773.0:9.0, 2828.0:15.0)2772:11.0, ((2809.0:8.0)2808:15.0, 2839.0:18.0)2807:18.0)2771:4.0)2770:60.0)2736:20.0)2722:19.0)2677:63.0, (((2157.0:4.0)2156:41.0, ((2700.0:47.0, ((2792.0:58.0, 248.0:15.0)2775:37.0, 234.0:32.0)2754:20.0)2699:18.0, ((2733.0:36.0, 2760.0:28.0)2732:20.0, (2730.0:15.0)231:16.0)2729:3.0)2698:15.0)2697:45.0, 2708.0:33.0)2696:15.0)2676:11.0, (((2718.0:17.0, 2720.0:3.0)2692:41.0, ((((2713.0:17.0, 2789.0:9.0)2712:36.0, (2769.0:16.0, ((((2784.0:10.0, 2892.0:17.0)2783:51.0, (2825.0:5.0)2824:29.0)2782:19.0, ((2821.0:4.0)2820:29.0, 2852.0:22.0)2819:19.0)2781:17.0, ((2814.0:54.0, 2853.0:28.0)2813:19.0, 298.0:42.0)2801:17.0)2780:37.0)2768:13.0)2711:11.0, (2752.0:25.0, (2762.0:19.0, (2805.0:18.0, (2827.0:17.0, 2856.0:6.0)2826:16.0)2804:13.0)2761:65.0)2751:9.0)2710:8.0, (2735.0:60.0, ((2193.0:14.0, 2787.0:8.0)2785:14.0)2763:32.0)2734:18.0)2709:67.0)2691:13.0, ((2716.0:4.0)2705:27.0, 2714.0:14.0)2704:18.0)2690:13.0)2675:9.0, ((2686.0:10.0, (2703.0:7.0)2702:18.0)2685:13.0, 2689.0:5.0)2684:8.0)2674:48.0)2665:15.0, 2672.0:82.0)2664:40.0, ((2661.0:30.0, 2681.0:21.0)2660:20.0, 2671.0:1.0)219:34.0)2659:18.0, 210.0:29.0)2448:22.0)2447:94.0)2446:100.0)2445:50.0, 180.0:10.0)2430:112.0)2352:19.0, ((2411.0:23.0, 2456.0:1.0)2410:41.0, 2440.0:41.0)2409:28.0)2351:5.0, 2398.0:30.0)2350:57.0)2224:10.0)104:33.0)2222:56.0)2103:19.0, ((2180.0:36.0, 2254.0:21.0)2179:18.0, (2228.0:5.0, 2261.0:4.0)2227:37.0)2178:21.0)2102:10.0, ((2155.0:46.0)2154:23.0, (2177.0:34.0)2176:24.0)2153:11.0)117:35.0)2101:15.0)2060:2.0, 2100.0:21.0)2059:11.0, (2087.0:19.0)2086:11.0)2058:13.0, 2075.0:31.0)2057:5.0, ((2052.0:25.0, 2106.0:40.0)2051:11.0, ((2095.0:9.0, (2141.0:44.0)2140:10.0)2094:29.0, 2109.0:37.0)2093:12.0)112:28.0)2050:4.0)1816:43.0, (((2045.0:65.0)2042:19.0, 103.0:23.0)2021:4.0, (((2054.0:14.0)2053:10.0)2036:18.0, 2315.0:12.0)2035:5.0)2020:21.0)1815:3.0, ((2025.0:8.0)2000:4.0)1999:11.0)1813:9.0, 1984.0:25.0)1812:19.0, (1937.0:27.0, (1965.0:9.0, 2015.0:6.0)1964:20.0)1936:14.0)1811:45.0, 1875.0:31.0)1810:13.0, (1911.0:6.0)1852:38.0)1809:9.0)1708:13.0, ((1780.0:9.0)1779:19.0, (1829.0:7.0)1828:15.0)1778:17.0)1707:63.0)1678:17.0)1641:17.0)1554:46.0, 1604.0:29.0)1553:13.0, (((((((1589.0:5.0, 1743.0:5.0)1588:24.0, (1718.0:18.0, 1757.0:26.0)1717:11.0)1587:3.0)1586:14.0, ((1677.0:19.0, (1745.0:15.0)1733:18.0)1676:17.0, (1698.0:21.0, 1727.0:21.0)1697:16.0)1675:11.0)1585:11.0, (((1768.0:4.0)1659:41.0, 1734.0:30.0)1658:21.0, (1689.0:13.0, (1738.0:5.0)1737:14.0)1688:24.0)1657:21.0)1584:5.0, 1640.0:1.0)1583:47.0, (1633.0:65.0, (((1639.0:3.0, 1719.0:21.0)1638:23.0, (1666.0:33.0, 1699.0:24.0)1665:19.0)1637:13.0, ((((1663.0:7.0, 1758.0:3.0)1662:15.0, 1746.0:13.0)1661:34.0, (((1696.0:22.0, 1855.0:10.0)1695:18.0, ((1799.0:13.0, (1929.0:26.0, 1948.0:10.0)1928:14.0)1798:52.0, (1851.0:7.0)1850:39.0)1797:16.0)1694:12.0, (1774.0:26.0)1773:16.0)1693:63.0)1660:15.0, (1690.0:94.0, (1716.0:15.0, 1802.0:17.0)1715:79.0)1714:14.0)1713:12.0)83:11.0)1712:35.0)1582:12.0)1552:18.0, ((1581.0:26.0, 1598.0:38.0)1580:13.0, (1540.0:6.0)76:10.0)353:16.0)1539:9.0)1467:1.0, ((1544.0:28.0, 1601.0:22.0)1543:23.0, (1565.0:36.0, 1597.0:37.0)1564:20.0)1542:17.0)1466:67.0)1378:3.0, ((1472.0:35.0, (1480.0:13.0, (((1576.0:10.0, 1615.0:6.0)1575:23.0, 2134.0:16.0)2133:14.0)2132:23.0)1479:42.0)1471:10.0, 61.0:61.0)1465:4.0)1377:72.0)99:20.0)1325:14.0, 59.0:82.0)1214:43.0)48:15.0)1213:3.0)49:32.0)974:3.0, (((1173.0:41.0, 1595.0:41.0)1172:27.0, (1229.0:28.0, 1487.0:44.0)1486:15.0)1485:16.0)1484:11.0)973:28.0, ((((1087.0:26.0, 1529.0:32.0)1086:16.0)1085:12.0)1084:3.0, (((1129.0:20.0, 1227.0:15.0)1128:21.0, (1169.0:12.0, 1230.0:16.0)1168:22.0)1127:7.0, 1133.0:18.0)1126:5.0)1083:36.0)968:41.0, (928.0:10.0, ((1004.0:18.0, ((1121.0:3.0)1120:16.0, (1178.0:4.0)1177:19.0)1119:24.0)1003:40.0, (((1068.0:16.0, 1221.0:28.0)1067:18.0, (1159.0:10.0, 1225.0:6.0)1158:22.0)1066:13.0, ((1124.0:5.0, 1217.0:2.0)1123:15.0, 1160.0:18.0)1122:15.0)1065:40.0)1002:20.0)39:14.0)927:8.0)926:3.0)919:15.0)596:26.0, ((((((1143.0:36.0, (1250.0:6.0)1249:38.0)1142:34.0, 43.0:8.0)1478:8.0)888:51.0, (((1040.0:23.0, 1157.0:2.0)1038:32.0)1037:3.0, 1107.0:3.0)1036:30.0)887:16.0, ((((((1218.0:3.0, 1771.0:16.0)1770:22.0, 1147.0:3.0)1769:13.0, ((((1146.0:24.0)1145:20.0, 1541.0:10.0)1144:4.0, ((1226.0:20.0, (1519.0:7.0)1518:18.0)1517:19.0)44:5.0)1093:5.0, ((1192.0:23.0, 1287.0:17.0)1191:31.0)1138:15.0)42:11.0)1092:25.0, (((1220.0:14.0, 1281.0:17.0)1219:25.0)994:15.0, 1156.0:15.0)41:42.0)993:7.0, (((1165.0:27.0, 1260.0:25.0)1164:16.0, (1211.0:14.0, 1280.0:10.0)1210:23.0)1163:11.0, ((1076.0:13.0, 1263.0:8.0)1075:24.0, ((((((1369.0:20.0, 1407.0:8.0)1247:53.0, (((1437.0:56.0)1388:37.0)1636:17.0, 84.0:55.0)1318:28.0)1246:20.0)1245:14.0, 1289.0:10.0)1244:11.0, ((1185.0:8.0)1184:35.0, 1264.0:38.0)56:8.0)1183:6.0, 1224.0:46.0)1182:8.0)45:6.0)1074:56.0)992:16.0, (1027.0:14.0, 1073.0:33.0)1026:16.0)991:12.0)886:12.0, (((959.0:22.0, 1078.0:19.0)958:16.0, (1030.0:8.0)1029:16.0)957:16.0, ((988.0:4.0, (((1099.0:5.0, 1212.0:6.0)1098:17.0, 1148.0:3.0)1097:4.0, (1170.0:8.0, 1525.0:4.0)1524:14.0)1096:39.0)987:15.0, ((1095.0:8.0, 1139.0:5.0)1094:39.0, 1103.0:39.0)1050:16.0)986:20.0)956:11.0)885:49.0)595:20.0, (((821.0:21.0, (1007.0:16.0, 1044.0:20.0)1006:14.0)820:19.0, ((1016.0:14.0, 1105.0:7.0)1015:35.0, (1021.0:5.0, 1063.0:17.0)1020:17.0)944:22.0)819:39.0, ((903.0:5.0)902:20.0, 948.0:22.0)901:40.0)818:27.0)594:19.0, (771.0:64.0, (826.0:30.0, 883.0:35.0)825:18.0)770:21.0)593:55.0, ((((674.0:12.0)673:36.0, 893.0:33.0)672:27.0, (((809.0:13.0, (1495.0:4.0)1494:14.0)808:12.0, 952.0:10.0)807:52.0, 863.0:65.0)806:20.0)671:15.0, 765.0:9.0)670:54.0)592:24.0)484:35.0)336:22.0, ((404.0:36.0, (553.0:5.0)552:28.0)403:26.0, 483.0:23.0)402:20.0)335:21.0)272:23.0)154:28.0, ((((((((179.0:7.0)178:6.0, 743.0:27.0)177:36.0, 706.0:31.0)176:7.0)175:6.0)174:81.0, ((((399.0:61.0, 702.0:17.0)398:20.0, 645.0:72.0)397:26.0, 569.0:12.0)396:21.0, 512.0:41.0)395:27.0)173:20.0, ((346.0:31.0)345:7.0, ((467.0:9.0)466:11.0)465:8.0)344:36.0)172:32.0, ((((((244.0:3.0)243:52.0, 660.0:18.0)242:32.0, (557.0:33.0)556:33.0)241:19.0, (511.0:125.0, 582.0:40.0)510:27.0)240:14.0, (((463.0:11.0, (689.0:3.0)650:34.0)462:29.0, 562.0:30.0)461:20.0, ((606.0:16.0)509:17.0, ((590.0:10.0)589:23.0, 687.0:36.0)588:28.0)508:29.0)460:14.0)239:39.0, (317.0:16.0, ((450.0:3.0)449:37.0, 513.0:6.0)448:21.0)316:32.0)238:26.0)171:20.0)153:5.0