Index: src/parse.y ================================================================== --- src/parse.y +++ src/parse.y @@ -413,17 +413,23 @@ Select *p = X, *pNext, *pLoop; if( p ){ int cnt = 0, mxSelect; p->pWith = W; if( p->pPrior ){ + u16 allValues = SF_Values; pNext = 0; for(pLoop=p; pLoop; pNext=pLoop, pLoop=pLoop->pPrior, cnt++){ pLoop->pNext = pNext; pLoop->selFlags |= SF_Compound; + allValues &= pLoop->selFlags; } - mxSelect = pParse->db->aLimit[SQLITE_LIMIT_COMPOUND_SELECT]; - if( mxSelect && cnt>mxSelect ){ + if( allValues ){ + p->selFlags |= SF_AllValues; + }else if( + (mxSelect = pParse->db->aLimit[SQLITE_LIMIT_COMPOUND_SELECT])>0 + && cnt>mxSelect + ){ sqlite3ErrorMsg(pParse, "too many terms in compound SELECT"); } } }else{ sqlite3WithDelete(pParse->db, W); Index: src/select.c ================================================================== --- src/select.c +++ src/select.c @@ -2074,10 +2074,70 @@ Parse *pParse, /* Parsing context */ Select *p, /* The right-most of SELECTs to be coded */ SelectDest *pDest /* What to do with query results */ ); +/* +** Error message for when two or more terms of a compound select have different +** size result sets. +*/ +static void selectWrongNumTermsError(Parse *pParse, Select *p){ + if( p->selFlags & SF_Values ){ + sqlite3ErrorMsg(pParse, "all VALUES must have the same number of terms"); + }else{ + sqlite3ErrorMsg(pParse, "SELECTs to the left and right of %s" + " do not have the same number of result columns", selectOpName(p->op)); + } +} + +/* +** Handle the special case of a compound-select that originates from a +** VALUES clause. By handling this as a special case, we avoid deep +** recursion, and thus do not need to enforce the SQLITE_LIMIT_COMPOUND_SELECT +** on a VALUES clause. +** +** Because the Select object originates from a VALUES clause: +** (1) It has no LIMIT or OFFSET +** (2) All terms are UNION ALL +** (3) There is no ORDER BY clause +*/ +static int multiSelectValues( + Parse *pParse, /* Parsing context */ + Select *p, /* The right-most of SELECTs to be coded */ + SelectDest *pDest /* What to do with query results */ +){ + Select *pPrior; + int nExpr = p->pEList->nExpr; + int nRow = 1; + int rc = 0; + assert( p->pNext==0 ); + assert( p->selFlags & SF_AllValues ); + do{ + assert( p->selFlags & SF_Values ); + assert( p->op==TK_ALL || (p->op==TK_SELECT && p->pPrior==0) ); + assert( p->pLimit==0 ); + assert( p->pOffset==0 ); + if( p->pEList->nExpr!=nExpr ){ + selectWrongNumTermsError(pParse, p); + return 1; + } + if( p->pPrior==0 ) break; + assert( p->pPrior->pNext==p ); + p = p->pPrior; + nRow++; + }while(1); + while( p ){ + pPrior = p->pPrior; + p->pPrior = 0; + rc = sqlite3Select(pParse, p, pDest); + p->pPrior = pPrior; + if( rc ) break; + p->nSelectRow = nRow; + p = p->pNext; + } + return rc; +} /* ** This routine is called to process a compound query form from ** two or more separate queries using UNION, UNION ALL, EXCEPT, or ** INTERSECT @@ -2154,22 +2214,24 @@ assert( p->pEList ); sqlite3VdbeAddOp2(v, OP_OpenEphemeral, dest.iSDParm, p->pEList->nExpr); sqlite3VdbeChangeP5(v, BTREE_UNORDERED); dest.eDest = SRT_Table; } + + /* Special handling for a compound-select that originates as a VALUES clause. + */ + if( p->selFlags & SF_AllValues ){ + rc = multiSelectValues(pParse, p, &dest); + goto multi_select_end; + } /* Make sure all SELECTs in the statement have the same number of elements ** in their result sets. */ assert( p->pEList && pPrior->pEList ); if( p->pEList->nExpr!=pPrior->pEList->nExpr ){ - if( p->selFlags & SF_Values ){ - sqlite3ErrorMsg(pParse, "all VALUES must have the same number of terms"); - }else{ - sqlite3ErrorMsg(pParse, "SELECTs to the left and right of %s" - " do not have the same number of result columns", selectOpName(p->op)); - } + selectWrongNumTermsError(pParse, p); rc = 1; goto multi_select_end; } #ifndef SQLITE_OMIT_CTE @@ -4051,11 +4113,13 @@ if( NEVER(p->pSrc==0) || (selFlags & SF_Expanded)!=0 ){ return WRC_Prune; } pTabList = p->pSrc; pEList = p->pEList; - sqlite3WithPush(pParse, findRightmost(p)->pWith, 0); + if( pWalker->xSelectCallback2==selectPopWith ){ + sqlite3WithPush(pParse, findRightmost(p)->pWith, 0); + } /* Make sure cursor numbers have been assigned to all entries in ** the FROM clause of the SELECT statement. */ sqlite3SrcListAssignCursors(pParse, pTabList); @@ -4342,11 +4406,13 @@ if( pParse->hasCompound ){ w.xSelectCallback = convertCompoundSelectToSubquery; sqlite3WalkSelect(&w, pSelect); } w.xSelectCallback = selectExpander; - w.xSelectCallback2 = selectPopWith; + if( (pSelect->selFlags & SF_AllValues)==0 ){ + w.xSelectCallback2 = selectPopWith; + } sqlite3WalkSelect(&w, pSelect); } #ifndef SQLITE_OMIT_SUBQUERY Index: src/sqliteInt.h ================================================================== --- src/sqliteInt.h +++ src/sqliteInt.h @@ -2347,11 +2347,11 @@ #define SF_UsesEphemeral 0x0008 /* Uses the OpenEphemeral opcode */ #define SF_Expanded 0x0010 /* sqlite3SelectExpand() called on this */ #define SF_HasTypeInfo 0x0020 /* FROM subqueries have Table metadata */ #define SF_Compound 0x0040 /* Part of a compound query */ #define SF_Values 0x0080 /* Synthesized from VALUES clause */ - /* 0x0100 NOT USED */ +#define SF_AllValues 0x0100 /* All terms of compound are VALUES */ #define SF_NestedFrom 0x0200 /* Part of a parenthesized FROM clause */ #define SF_MaybeConvert 0x0400 /* Need convertCompoundSelectToSubquery() */ #define SF_Recursive 0x0800 /* The recursive part of a recursive CTE */ #define SF_MinMaxAgg 0x1000 /* Aggregate containing min() or max() */ ADDED test/selectG.test Index: test/selectG.test ================================================================== --- /dev/null +++ test/selectG.test @@ -0,0 +1,1008 @@ +# 2015-01-05 +# +# The author disclaims copyright to this source code. In place of +# a legal notice, here is a blessing: +# +# May you do good and not evil. +# May you find forgiveness for yourself and forgive others. +# May you share freely, never taking more than you give. +# +#*********************************************************************** +# +# This file verifies that INSERT operations with a very large number of +# VALUE terms works and does not hit the SQLITE_LIMIT_COMPOUND_SELECT limit. +# + +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} + +finish_test