/ Check-in [6917d9f4]
Login

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Improved and more rigorous test of large VALUES clauses.
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1:6917d9f437224229fa103c847c2df87ade64e1e9
User & Date: drh 2015-01-06 16:53:49
Context
2015-01-06
21:31
Fix a problem in the unix implementation of FCNTL_SIZE_HINT on systems that do not support posix_fallocate(). check-in: af20eae1 user: dan tags: trunk
16:53
Improved and more rigorous test of large VALUES clauses. check-in: 6917d9f4 user: drh tags: trunk
2015-01-05
20:13
Enhance "INSERT INTO ... VALUES" so that the number of rows in the VALUES clause is not limited by SQLITE_LIMIT_COMPOUND_SELECT, and so that the stack depth is constant regardless of the number of rows in VALUES. check-in: e1c4a359 user: drh tags: trunk
Changes
Hide Diffs Unified Diffs Ignore Whitespace Patch

Changes to test/selectG.test.

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
# 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







>
>
>
>
>
>
>
|
|
<
<
<
<
<
<
<
|
|
<
>
|
|
<
>
|
<
>
|
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<


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
# 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 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