$Id: primes-2.ll,v 1.190 2004/02/14 08:24:26 kenta Exp kenta $
["twins","717","1"]
% num-primes-to-sieve 200
717 [304438,503236,649186,866536,916978,1032286,1051936,1231306,1276948,1558678][-114722,-399362,-864632,-1297112,-1342004,-1416374,-1558700,-1857500,-1928534,-2570714]
718 [118958,504224,705836,904004,926906,1104518,1192646,1230188,1958918,1973036][-15526,-177382,-905482,-1164532,-1425094,-1446214,-1553164,-1770706,-1978606,-2082946]
719 [344662,468730,516370,557854,1056784,1057330,1061074,1348264,1395670,1632652][-23948,-124310,-383180,-633476,-1414496,-1627448,-1872158,-1892486,-2073026,-2111480]
720 [166616,291374,457034,604634,1042736,1058654,1100114,1270184,1278656,1429952][-167368,-518374,-761008,-851254,-1204726,-1448914,-1504168,-1512946,-1538554,-1735336]
721 [27538,653746,838426,1555186,1647490,1661716,1709260,1751878,2277346,2550100][-69062,-370922,-542210,-694250,-820322,-858704,-901922,-974582,-1045340,-1105412]
722 [516794,602708,882806,1288706,1353086,1428596,1571984,1822274,1852814,2088656][-37204,-332872,-575884,-635524,-766642,-827542,-1611742,-1687594,-1887082,-1895086]
723 [84190,205942,285550,293254,679660,841894,864874,880534,1161694,1179922][-2738,-17198,-603776,-640340,-842588,-1231508,-1871750,-2084930,-2084990,-2387936]
724 [328706,445154,464672,737186,845876,989492,1242206,1245506,1468574,1483274][-439138,-485746,-487276,-520828,-975916,-1259446,-1386706,-1418128,-1435006,-1636948]
725 [12130,50788,161098,460018,875398,879556,946846,1024726,1058410,1222438][-93272,-113570,-120812,-233744,-241940,-359024,-546494,-554570,-854270,-1213634]
726 [22238,193028,260504,522386,700928,980624,1092428,1154768,1160384,1795616][-68314,-531964,-567622,-924262,-1418476,-1557706,-1628656,-1887226,-2472784,-2516926]
727 [42922,51844,411652,443632,655432,1044214,1211170,1300504,1407502,1436452][-52106,-76628,-851678,-972146,-1160186,-1204478,-1439696,-1725938,-2129468,-2198660]
728 [767474,1395056,1416044,1858022,1935542,2111312,2119754,2423072,2883854,3019262][-83014,-102904,-880594,-1171444,-1356604,-1372564,-1759834,-2344624,-2365798,-2619574]
729 [45748,144988,244906,253738,597220,1035556,1096510,1206586,1567546,1951576][-58754,-328640,-597392,-637634,-793502,-954080,-1109342,-1409054,-1584770,-1642262]
730 [68708,188126,252518,452216,521138,587168,703214,1091576,1448534,1452524][-36796,-88582,-317182,-345784,-565852,-922282,-959914,-1034152,-1066546,-1610062]
731 [20422,273220,517270,888460,1289524,2104480,2211070,2302174,2339692,2346400][-274730,-384608,-634748,-773210,-856820,-988400,-1026530,-1066646,-1087226,-1597430]
732 [54506,57542,313406,607196,842444,1003202,1263632,1339712,1656764,1765754][-142258,-290386,-928498,-1073518,-1103458,-1224934,-1461634,-2101396,-2108278,-2245036]
733 [203710,243568,251230,538018,901756,1300876,1395556,1832080,2065420,2649250][-94100,-127742,-236504,-327812,-490214,-664664,-685052,-718382,-766232,-1018562]
734 [56036,392528,566468,649484,1135028,1235258,1499258,1511978,1536206,1715756][-30382,-65164,-295654,-528616,-897904,-1097272,-1255492,-1447264,-1451704,-1547092]
735 [86524,120502,214180,364450,381952,536944,588454,761170,1131280,1342162][-35108,-189290,-556778,-740846,-913340,-973118,-1471550,-1478258,-1593968,-1609676]
736 [114536,265214,504512,830222,1183514,1188812,1462436,1687094,1936082,2065544][-550174,-575224,-734494,-829726,-852196,-1386424,-1562278,-1598548,-1791694,-1814626]
737 [195436,271066,329020,384538,545266,602320,811996,841060,1126228,1206040][-19994,-478142,-600170,-787262,-1040360,-1075790,-1427180,-1819244,-1925672,-2155220]
738 [291944,360896,383666,657614,1258886,1287716,1660478,1837364,1944548,2059586][-18292,-371536,-570394,-580462,-741196,-805306,-1006066,-1033126,-1068724,-1212916]
739 [28420,255202,301990,750652,751114,936022,1179172,1524664,1598632,1634614][-57650,-358988,-815828,-875786,-984920,-1071380,-1356518,-1541636,-1568216,-1694870]
740 [208466,538376,731534,1239122,1457252,1879664,1991342,2020784,2232242,2866106][-122614,-289618,-498934,-599818,-642166,-756928,-831874,-1145794,-1345264,-1965286]
741 [368020,444580,683278,730666,980008,991210,1065406,1484890,1768138,1820218][-17534,-219650,-507830,-507932,-586934,-637334,-886742,-1134452,-1143680,-1153424]
742 [85946,259184,286196,360734,384218,807446,964964,981284,1447154,1750388][-230416,-1055044,-1176214,-1242502,-1346134,-1348582,-1374604,-1404916,-1418176,-1546906]
743 [144700,183202,382702,532222,595000,730084,910840,1359634,1573990,1649392][-61298,-213560,-296606,-539756,-828968,-994826,-1320116,-1465610,-1854938,-2047628]
744 [980132,1022624,1106492,1161416,1296626,1512074,1780502,2008274,2175296,2280554][-45364,-48556,-165736,-204424,-278554,-616654,-643336,-714904,-726508,-1955458]
745 [246526,253036,386680,635938,856618,905836,984118,1022416,1034320,1258936][-54842,-677564,-775052,-1787900,-2066762,-2638124,-2694284,-2844272,-2951372,-2958512]
746 [245654,283076,381344,1279544,1753928,1818698,2016164,2048066,2084834,2495258][-138712,-174904,-236716,-394174,-428674,-529024,-605812,-632296,-852394,-1022764]
747 [293794,361162,369004,425074,470950,629380,631420,892852,1115782,1176814][-249716,-664766,-1235300,-2043548,-2156048,-2158460,-2391050,-2978048,-3145460,-3210260]
748 [185894,198056,347756,394154,570746,582926,603212,701696,733712,776504][-5296,-139444,-253126,-281308,-573568,-718498,-739654,-1176376,-1216504,-1326898]
749 [188938,219418,966430,1039480,1249660,2055856,2467960,2601796,2825320,3465316][-70994,-74810,-301634,-369410,-465794,-481394,-494810,-816962,-1073720,-1221164]
750 [313994,430616,455276,735248,934814,1014698,1166708,1334126,1685006,1713284][-217396,-295756,-313234,-326644,-576616,-910456,-959584,-961756,-1297552,-1433356]
751 [171922,254392,411580,494494,546022,686632,988912,1010122,1428394,1478512][-452528,-643106,-889748,-1011008,-1783448,-1797926,-2065298,-2301620,-2583446,-2958536]
752 [67094,124694,179786,808604,885356,919106,978176,1035824,1281224,1412594][-38548,-89434,-753808,-955618,-1070656,-1123264,-1140418,-1285594,-1600306,-1858084]
753 [54016,223078,432118,458728,478858,568126,1008850,1110136,1468300,1640020][-157214,-840284,-1110554,-1722944,-1911440,-1951340,-2111330,-2443034,-2760260,-3103874]
754 [93074,150356,228788,353384,496508,760994,868604,894848,904424,1503404][-315184,-505642,-1209406,-1272196,-1448416,-1549186,-1577464,-1614346,-1660426,-1740604]
755 [122794,373660,548212,799462,1133914,1364350,1509082,1583020,1817800,2021974][-477560,-734306,-915590,-1027646,-1218980,-1220570,-1399598,-1701296,-1761866,-1893866]
756 [152972,177836,452936,469496,877346,1042934,1054244,1201964,1269482,1762496][-256504,-443974,-467254,-1100854,-1430896,-1560136,-1589416,-1703356,-1725478,-2266906]
757 [52390,112750,330268,355630,500950,677560,904450,933928,1019788,1239688][-45362,-328922,-555284,-758492,-791660,-1294760,-1452770,-1551344,-1643600,-1675034]
758 [416846,483176,599156,1122236,1236014,1345286,1415954,1580414,2377004,2577578][-62386,-228094,-521854,-761602,-831352,-1046452,-1081186,-1115302,-1159552,-1364572]
759 [124204,614050,1351804,1378714,1481182,1538170,1597852,1818664,1895554,2010772][-101858,-153338,-172436,-358790,-600680,-677888,-840866,-1777280,-1861940,-2840228]
760 [151172,161072,236792,833924,1356722,1491584,1639472,1717094,1767482,2129354][-9244,-11758,-171406,-421624,-442336,-518788,-678148,-895726,-1203748,-1339564]
761 [847000,942826,1078918,1146850,1348180,1358776,1821238,1868476,2139016,2291290][-75740,-139370,-188192,-425072,-533612,-1053560,-1265660,-1326320,-1626200,-1813112]
762 [124688,231746,845438,952316,1034408,1133588,1454588,1465358,2149466,2269868][-386812,-629674,-652714,-667636,-729124,-1205536,-1335382,-1633264,-1701424,-1862026]
763 [286672,560614,623764,681142,735754,859780,1541050,1625920,1642090,1712314][-188258,-246608,-328190,-503390,-787346,-818228,-861998,-1596968,-1634276,-1945760]
764 [73226,357524,535142,926054,1073666,1103462,1149314,1594274,2118026,2132774][-5188,-39526,-118288,-1112188,-1193068,-1408684,-1428256,-1531594,-1539946,-1594516]
765 [85180,396556,609718,847678,1193608,2235106,2327758,2365756,2669626,2769220][-79292,-236174,-322550,-483374,-512384,-584594,-703394,-724412,-1058480,-1785110]
766 [1209428,1394576,1779578,1882868,1980128,2035868,2264906,2706884,2721836,2928086][-84382,-242542,-255754,-1088596,-1476262,-1628422,-1685674,-1807276,-2000746,-2008216]
767 [97600,235912,487480,510982,513280,536854,642004,711334,808654,1571332][-185768,-412250,-679970,-751940,-1265678,-1324556,-1437890,-1699250,-1816556,-2263226]
768 [367322,957272,1107332,1318244,1327334,1354376,1958576,2156786,2273876,2326442][-845086,-976084,-987484,-1024468,-1143988,-1293148,-1297486,-1589344,-1999288,-2275888]
769 [470836,561130,588688,736468,745918,916210,1236688,1501540,1653346,1975990][-47264,-120794,-197462,-262922,-953624,-1385822,-1474454,-1602662,-2030030,-2228042]
770 [57434,492728,548096,645554,649706,712004,1045358,1475594,1535348,1706456][-563116,-862882,-1107022,-1345054,-1647946,-2086252,-2516884,-2670982,-2890234,-2961064]
771 [322102,436144,1039924,1059274,1085470,1205380,1605640,1680790,1697482,1909870][-147446,-380498,-403526,-780980,-994976,-1270238,-1656968,-1681058,-1683428,-1973606]
772 [126812,509276,879272,1281674,1532846,1699712,1714154,2004434,2371022,2385812][-137788,-207634,-244048,-430156,-872176,-1030468,-1059298,-1839208,-2074018,-2439514]
773 [36028,158326,211540,386296,474988,747538,1635136,1659808,2052748,2181508][-43892,-487664,-660044,-701780,-767684,-806864,-1384070,-1479752,-1684754,-1685450]
774 [256796,956654,1137518,1864778,2079956,2357678,2793536,3036608,3252218,3387896][-72244,-80536,-96934,-126754,-392776,-660724,-753646,-818284,-950464,-1290322]
775 [133582,177082,192760,388174,1066234,1299604,1367620,1425082,1530250,1593100][-67748,-113558,-144500,-255716,-331940,-1003988,-1161596,-1462346,-1667966,-1817060]
776 [61694,199394,228656,295622,526952,612002,850106,1080974,1123352,1151906][-228454,-290878,-456526,-552838,-740446,-836068,-1024444,-1228528,-1251244,-1896286]
777 [566038,1002838,1122640,1480468,1758646,1858900,2041216,2938426,2988196,3151600][-368054,-1047812,-1077182,-1354244,-1389494,-1519754,-1638782,-1718000,-1843400,-2020682]
778 [147434,1133648,1299104,1659884,1666154,1819916,1872386,2047988,2061446,2594096][-291256,-322672,-445996,-919456,-978682,-1031482,-2037184,-2317492,-2621614,-2738794]
779 [23404,388912,480520,750004,1388374,1530394,1586872,1636750,2290144,2391220][-20738,-99290,-130880,-423200,-924296,-932666,-1221308,-1228838,-1326410,-1412558]
780 [53264,192902,1068272,1266812,1420616,1506614,1739462,1768586,1889456,2417654][-444058,-614398,-744346,-749356,-1211038,-1431226,-1801498,-1857358,-1916758,-1983238]
781 [337720,882316,987460,1028896,1140238,1268380,2468800,2522590,2668438,2730598][-8474,-382052,-438092,-685550,-756314,-817592,-955460,-1357334,-1424012,-1438982]
782 [244886,313136,535568,732464,1059344,1236896,1367138,1521728,1562708,1649504][-14692,-593476,-627964,-1937254,-2103394,-2112046,-2290684,-2293222,-2295526,-3271786]
783 [203512,266524,541960,730120,869584,986920,1044142,1093324,1125034,1204540][-113816,-732176,-1002110,-1339388,-1379006,-1594766,-1788020,-1963550,-2042930,-2079068]
784 [266642,381332,1032362,1447472,1686302,1708556,2169536,3671264,3706382,4493042][-52744,-63088,-78208,-105376,-263284,-491806,-1022494,-1046014,-1414174,-1532356]
785 [105640,177346,383488,433366,449986,512386,737560,891148,1159546,1228186][-1544,-1730,-28244,-74312,-173840,-249692,-278552,-776780,-1161470,-1183910]
786 [92954,958484,1102076,1639724,1707008,1841804,2002934,2607104,2717954,2929478][-515044,-1003216,-1161892,-1948216,-2258614,-2576356,-2690392,-2930812,-3041314,-3335224]
787 [231670,340072,450964,513520,1188574,1326472,1328644,1469854,1623214,1684240][-280130,-745226,-806150,-865130,-1022210,-1036256,-1528910,-1579556,-1798166,-1809458]
788 [312026,330464,430094,709994,1066742,1087112,1246616,1309616,1696994,2155322][-454,-684496,-1132714,-1223956,-1394014,-1511374,-1775806,-1827814,-1846228,-1871206]