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