$Id: primes-2.ll,v 1.190 2004/02/14 08:24:26 kenta Exp kenta $ ["twins","560","1"] % num-primes-to-sieve 200 560 [85736,164216,180416,429056,513344,520964,536252,565286,728612,843116][-77434,-397588,-538726,-590596,-964726,-995218,-1010764,-1050868,-1093036,-1115386] 561 [685870,724348,827350,1153210,1323076,1581406,1802530,2136850,2149618,2207866][-108170,-194594,-301220,-357500,-364064,-383282,-598154,-784472,-856742,-868760] 562 [43748,355574,389828,881228,1106948,1281254,1295486,1335638,1402688,1478174][-48874,-68044,-83956,-129796,-197974,-237964,-292882,-294676,-565726,-684094] 563 [224440,464632,506392,623650,626692,690130,881812,905140,1469872,1648762][-33440,-75548,-115016,-898706,-920528,-1006490,-1246970,-1252028,-1431896,-1468856] 564 [197012,331064,458684,580322,849344,1056002,1175882,1472816,1599866,2055206][-285034,-316018,-332764,-356374,-535414,-696478,-742234,-891766,-909868,-1187044] 565 [40498,40630,133528,340198,351256,708496,727846,987430,1178236,1327600][-157484,-225614,-262364,-355094,-518510,-707642,-715832,-852350,-1055420,-1064660] 566 [11054,169694,325484,385448,448028,526706,716666,819584,822668,898478][-16456,-22462,-29716,-148162,-284494,-402424,-473584,-486766,-874804,-972094] 567 [79222,304522,356842,379180,410332,411310,420724,524812,847624,859414][-104030,-166598,-296336,-362468,-377600,-718106,-724076,-831380,-1124996,-1193210] 568 [112904,187292,362894,713804,872552,1000232,1026872,1197152,1268246,1313042][-72814,-117046,-343054,-824548,-902248,-972466,-1244686,-1319308,-1350046,-1355386] 569 [569500,809788,856768,877156,931558,1025170,1086448,1241590,1365376,1590238][-51764,-159212,-202160,-394580,-539834,-590732,-643580,-769502,-856400,-862472] 570 [746468,1079528,1273868,1708466,1979156,2067848,2073998,2210996,2497184,2646188][-119134,-133372,-168736,-197872,-225994,-236584,-262252,-300394,-327664,-697096] 571 [120022,195322,241822,252400,270994,562522,970114,997372,1125160,1312192][-143486,-607046,-965846,-1031480,-1050980,-1092338,-1250198,-1386686,-1430156,-1519028] 572 [60326,141176,223172,262172,343262,362384,375626,408596,530144,570746][-129886,-253726,-837634,-874306,-1139326,-1151878,-1167844,-1256758,-1287574,-1380616] 573 [201616,822856,1194376,1398526,1503916,1505410,1556566,1690030,1703710,1929880][-224894,-556652,-705872,-891770,-1096562,-1168250,-1202570,-1313450,-1364324,-1375004] 574 [70364,107264,181046,254084,254234,310928,349238,466928,519356,623654][-7942,-11692,-146776,-163762,-260566,-274756,-365362,-390634,-447034,-494116] 575 [111394,216310,354670,370294,513952,851464,989602,1491460,1499914,1657552][-95846,-169418,-222788,-300416,-328640,-377678,-692738,-859376,-863906,-968816] 576 [230612,295886,405602,502202,933146,1114922,1154864,1549724,1962992,1970726][-42166,-53344,-70624,-413248,-521506,-647308,-689086,-796864,-948574,-1143538] 577 [82528,92146,193648,231448,433828,482560,536716,547018,797476,1490686][-10784,-68684,-221762,-337304,-462662,-560870,-828590,-958250,-1217432,-1651904] 578 [155786,184646,231734,462068,475214,484484,815066,997274,1109954,1640156][-273412,-388114,-482782,-640492,-694414,-983086,-1077574,-1162882,-1168252,-1286824] 579 [424990,552430,943384,1168084,1306174,1427884,1525654,1583800,1739152,1931014][-197000,-388088,-389516,-958856,-1061960,-1285316,-1360988,-1528706,-1530680,-1578158] 580 [35042,107936,303032,303266,381356,628154,672464,673664,739856,770486][-107674,-156916,-236248,-305128,-346486,-862498,-1032754,-1096354,-1218826,-1317796] 581 [437680,503818,517006,651160,665080,762676,1452526,1729588,1771150,1956256][-93674,-246002,-255452,-313544,-410432,-475460,-536120,-615962,-748094,-984164] 582 [496778,568184,733688,920306,971456,980606,1002998,1119428,1484228,1507736][-531826,-615766,-686962,-705304,-931354,-955774,-1051072,-1287394,-1339042,-1343032] 583 [56680,92794,201790,632824,778162,824512,866260,882124,1058122,1065004][-354428,-585188,-619910,-740396,-1217606,-1420628,-1450010,-1891196,-2152358,-2260796] 584 [5666,68222,258992,320582,345626,377852,433004,634844,761726,813134][-44146,-130516,-307834,-324346,-887656,-945664,-947416,-1194718,-1219066,-1334386] 585 [7948,55600,91090,119788,208786,547600,809878,815620,886528,1077658][-26594,-159044,-331850,-391634,-404102,-775400,-928460,-1119452,-1168760,-1256162] 586 [27818,35978,77864,226094,426104,591194,591656,614204,830174,871334][-520372,-631384,-644392,-904246,-954022,-966082,-1278172,-1476082,-1485262,-1949044] 587 [253450,399112,464644,468244,697534,759664,867814,971410,1006174,1017232][-86786,-182966,-226766,-313730,-564566,-599300,-727400,-1181060,-1194536,-1798700] 588 [197144,383912,416504,444116,761972,764774,865076,928076,938372,1082966][-289336,-798136,-813898,-866338,-1292014,-1303324,-1593628,-1662298,-1785718,-2117566] 589 [384820,413506,420880,434026,545998,810190,868780,938500,938926,1063408][-140930,-358202,-371342,-807620,-847814,-959384,-1098992,-1114040,-1191122,-1221212] 590 [23708,52046,173696,188396,251618,456746,486986,712004,775976,844586][-70492,-123652,-356986,-552826,-839182,-1501474,-1512154,-1531726,-2435056,-2457442] 591 [276250,421474,497380,511480,592174,845260,1062664,1181902,1370422,1535482][-157280,-365156,-406040,-499868,-682508,-718418,-811436,-939980,-943010,-949010] 592 [19976,84644,181202,442874,489806,523052,735194,918482,1378736,1441742][-63328,-67564,-152074,-172444,-406828,-460084,-507166,-704218,-789844,-1071838] 593 [26158,68188,203236,328228,539668,561778,600466,806548,907606,908038][-40964,-75272,-133730,-232904,-297362,-508232,-593264,-667484,-862472,-1021910] 594 [9446,120626,187706,289526,857678,1450208,1490828,1559258,1654466,1730114][-166,-6634,-141364,-436666,-1322296,-1329472,-1353166,-1474612,-1601086,-1643974] 595 [21460,71842,151660,226744,298180,317074,417070,515692,577564,615532][-153248,-326330,-838760,-1129298,-1179590,-1318490,-1381748,-1393706,-1420706,-1473806] 596 [194864,206954,294656,717794,844712,1101782,1163552,1271222,1638542,1919582][-129004,-282088,-297574,-477208,-585418,-617686,-673126,-817984,-862264,-1674484] 597 [145660,251068,344086,468136,566488,620098,875368,888940,925450,1279420][-45830,-66764,-106340,-122624,-187682,-452330,-547130,-550922,-558890,-589460] 598 [82286,189488,260246,459494,955928,1040978,1138814,1315748,1499594,1502054][-26992,-71374,-289384,-479182,-720556,-748696,-842596,-866416,-1031602,-1142692] 599 [69550,199342,372874,392584,531490,874552,970264,1133812,1281910,1458910][-31550,-120236,-818780,-991706,-1044416,-1120226,-1136660,-1352810,-1445630,-1482518] 600 [136616,143912,152156,217454,257702,450374,689174,749654,970826,1086836][-115036,-124606,-129154,-211558,-230014,-353578,-653938,-807574,-980794,-1218988] 601 [25300,373390,532600,545926,573106,605278,1121566,1327168,1553896,1749436][-12560,-19172,-109274,-263522,-436664,-506372,-608162,-788540,-849944,-1003400] 602 [39668,53654,191948,279044,290954,332048,415394,422036,427514,543548][-10942,-149092,-231946,-372994,-625816,-768832,-969826,-988516,-1281814,-1568092] 603 [146080,196312,328714,379690,392800,775750,845980,983992,1051060,1342924][-132476,-134060,-270506,-413720,-427076,-471308,-500228,-590840,-769430,-800330] 604 [152336,602432,760532,789062,1369712,1632554,1935524,2420636,2625824,2649782][-287734,-366574,-387574,-452464,-511516,-896608,-974896,-989596,-1001998,-1010998] 605 [32770,49906,531418,575056,778996,861040,956116,1010320,1149658,1184146][-214922,-419204,-477764,-795440,-833804,-872054,-948590,-976142,-1068314,-1360190] 606 [22556,133394,225164,446954,594224,702638,1128716,1154294,1250768,1393244][-33916,-63922,-467314,-585112,-747274,-755296,-823066,-918802,-1038196,-1187344] 607 [94822,205900,364054,487102,597082,701632,701890,702004,720784,798862][-145046,-218810,-433286,-516548,-861476,-902060,-1232936,-1273928,-1285370,-1321346] 608 [27956,121136,177764,301712,377462,1114862,1186592,1454516,1493306,1654826][-213124,-254428,-480208,-521938,-522424,-578356,-618724,-744478,-999628,-1001056] 609 [35890,60118,65890,445750,623248,741190,823096,948700,1202638,1264468][-60614,-85814,-115214,-153830,-310244,-373640,-539864,-571364,-847550,-947630] 610 [285314,296408,326558,456074,769634,944204,1091048,1097978,1619546,1705034][-45994,-220012,-288472,-383476,-740044,-984274,-1033192,-1229242,-1401022,-1558114] 611 [93484,169000,522082,522550,649024,710272,745534,786142,899914,1210900][-79508,-134318,-254396,-256328,-381110,-516800,-603140,-723830,-762866,-943406] 612 [14216,141164,434942,580766,587096,635636,770972,859154,970874,1018112][-33766,-115594,-241996,-317206,-450274,-560104,-568168,-589774,-671068,-706936] 613 [117568,243040,359206,370426,409606,743746,807880,1005628,1215646,1297948][-26294,-117284,-509630,-530270,-690242,-693182,-913544,-1271594,-1433102,-1515170] 614 [30236,227528,269324,521606,817064,1027208,1074788,1137134,1782536,1812404][-96616,-97894,-145744,-343966,-380074,-518902,-804574,-1097494,-1127932,-1420582] 615 [220840,238102,242182,248674,297922,361540,483634,504442,550012,610312][-26318,-145736,-185060,-349376,-592736,-758948,-782330,-821696,-1289210,-1426430] 616 [55802,179564,320126,366254,418514,1020434,1125386,1215716,1279514,1493576][-290764,-298696,-591064,-649738,-960358,-988456,-1285606,-1288258,-1840768,-1980106] 617 [149848,180166,326236,342310,531268,546028,606460,859108,1076368,1145326][-48530,-68852,-167084,-199184,-231632,-372542,-454514,-557780,-728210,-979124] 618 [90848,241814,250394,690134,740468,872948,970124,1071188,1274738,1294988][-168094,-400702,-588496,-644914,-758434,-784906,-850606,-919876,-1354354,-1517944] 619 [29062,64960,322420,644644,655312,667732,922012,1116304,1173460,1230850][-69746,-161786,-270500,-288938,-337070,-637538,-670346,-755108,-998960,-1174340] 620 [39656,164216,197006,271466,467792,615182,645464,943004,1128722,1233932][-463528,-511048,-688366,-785056,-1187704,-1366474,-1428256,-1464838,-1891918,-1933198] 621 [226180,270166,292330,508360,510148,534886,578668,985546,1023310,1042600][-2384,-118172,-734984,-755864,-846584,-924572,-1063100,-1176830,-1824290,-1842320] 622 [37088,394406,611786,769244,939074,1190546,1329188,1336988,1417328,1796156][-110866,-193162,-283516,-335122,-478126,-668632,-1172476,-1627276,-1639726,-1828246] 623 [68074,87844,287512,467362,608362,994852,1131394,1306444,1393192,1424314][-142736,-466358,-483410,-1314446,-1550618,-1824020,-1830098,-1849820,-1909496,-1964318] 624 [353252,410036,750422,779264,825686,875324,981404,1065044,1096304,1344776][-29896,-42556,-114754,-301066,-376804,-538444,-1214518,-1298044,-1327828,-1358104] 625 [176806,570076,729958,779476,945988,996550,1031038,1244356,1348546,1353226][-197540,-222410,-641510,-813524,-817970,-1097000,-1337390,-1440644,-1673810,-1736522] 626 [90824,113804,175958,322544,427106,1092146,1152866,1191506,1494764,1728578][-257566,-326572,-400072,-525802,-530746,-540292,-869446,-958756,-1182616,-1221754] 627 [149320,434380,644620,670384,812170,842740,882052,1219294,1248502,1643890][-99698,-253940,-673040,-723776,-1263998,-1329056,-1374218,-1520768,-1621220,-2015990] 628 [122,177614,470612,628202,832394,900086,1414226,1742504,1747076,1789142][-269224,-291148,-463066,-500728,-619198,-702274,-1846228,-2080624,-2394898,-2424046] 629 [35398,304360,622438,921970,1254478,1501876,1881718,1998568,2192188,2357860][-172544,-296804,-421154,-535532,-733004,-814970,-866630,-936560,-948404,-1111790] 630 [48344,75158,322358,400808,494168,537338,603404,650498,684368,733454][-426592,-663514,-711274,-800194,-808042,-860122,-944752,-1167934,-1179742,-1213084] 631 [98470,433882,745864,890032,921574,970564,1009930,1057882,1310734,1587712][-39386,-40898,-164378,-198746,-230468,-259280,-276476,-277580,-403310,-712868] 632 [39326,83384,139676,212876,259796,291782,319466,660632,697346,928016][-546286,-653758,-696088,-733306,-798508,-992704,-1255228,-1347478,-1375864,-1582204] 633 [2236,85858,213310,367630,487906,680140,824398,828340,922966,980188][-70124,-117842,-255854,-336122,-556604,-557012,-662864,-869294,-925280,-1280072] 634 [172328,608354,659354,917618,938444,962684,1048784,1217546,1259114,1263026][-350536,-396172,-439672,-625942,-954802,-968926,-983026,-1068274,-1087606,-1375054] 635 [57592,59410,410284,628654,752890,837724,1006234,1008472,1187002,1608622][-31448,-213236,-453410,-527540,-616508,-626810,-756170,-823958,-1046726,-1253240] 636 [18782,220802,302546,585902,702152,719462,773702,811994,812822,871646][-5806,-21334,-146626,-148996,-263236,-272518,-451174,-548986,-619246,-658048] 637 [68056,129250,216646,249226,351106,379438,529768,565516,700768,752488][-214844,-466730,-671894,-744764,-921242,-924530,-942920,-1247432,-1362272,-1453982] 638 [226526,647468,793754,1058294,1091378,1192856,1251194,1288904,1349246,1465274][-245554,-350854,-1002514,-1083376,-1131202,-1236586,-1437424,-1442722,-1667596,-1685002] 639 [134422,265990,364120,415054,512770,599764,625360,628252,739630,1023850][-94538,-171590,-259040,-333170,-336230,-588866,-814658,-1179386,-1298750,-1384400] 640 [84092,289592,374486,465836,482156,585482,673766,910124,919406,953846][-210634,-232246,-403534,-524698,-556348,-650428,-732106,-1050658,-1081408,-1263766] 641 [5110,208540,293056,388468,432808,597526,644098,676108,695710,826378][-197870,-281492,-589742,-892670,-1081112,-1081970,-1114940,-1238864,-1419902,-1553210] 642 [153404,201914,299876,303554,351536,455258,781694,1109936,1227158,1344596][-22474,-72112,-86374,-147916,-325744,-394612,-581236,-627646,-877234,-912022] 643 [625144,653044,794362,1293862,1375984,1461460,1752250,1848754,2194774,2229160][-51086,-369968,-482900,-590270,-621686,-638096,-654290,-696896,-731096,-878996] 644 [350504,396422,649592,1297772,1458404,1864544,1971212,2008634,2245796,2302334][-39514,-116326,-289534,-480544,-545146,-585664,-733798,-800926,-877186,-882508] 645 [131356,181738,333196,376480,579478,737218,765466,774460,788866,939196][-172064,-245642,-274550,-325034,-347582,-403010,-435602,-537620,-698174,-721274] 646 [31454,37508,137084,226934,380168,653276,709166,1680338,1792406,2053124][-95242,-243502,-395122,-662206,-788566,-831844,-918196,-1152802,-1353196,-1472266] 647 [210064,383482,607330,662770,719332,1086424,1207780,1262152,1276474,1775620][-25958,-63926,-202640,-399116,-484190,-485228,-1454000,-1482356,-1787678,-1817438] 648 [135872,202526,777092,863024,1024652,1245512,1307834,1310864,1347926,1536656][-101134,-453736,-559828,-766084,-820258,-840664,-1246354,-1266688,-1381444,-1616746] 649 [199636,321988,416986,511780,555808,566608,626470,793156,807658,932548][-497312,-643262,-727220,-753374,-791954,-800240,-1051202,-1178582,-1503392,-1515110] 650 [160448,199946,725144,924524,1068236,1145114,1911134,2710916,2861696,2959346][-96826,-386044,-402826,-587596,-791974,-1006174,-1024486,-1206736,-1233154,-1260904] 651 [5452,122254,204922,305344,341590,597670,853054,915994,1024342,1041454][-83996,-87986,-170210,-762770,-917816,-1087988,-1102988,-1181708,-1232816,-1260356] 652 [401606,430892,827102,1139792,1200566,1320686,1425776,1458626,1690082,1936376][-208798,-346126,-465856,-531538,-585286,-743518,-772996,-819268,-1019596,-1052008] 653 [178918,229096,239770,463648,493888,633358,981826,1071166,1277848,1497748][-26054,-96104,-100694,-222860,-252890,-343172,-353012,-449162,-461330,-516194] 654 [109934,336536,345668,379796,610658,903548,1162634,1408208,1615064,1754126][-19174,-136546,-662722,-1077886,-1154464,-1231822,-1451782,-1819084,-1914604,-1929082] 655 [30424,64090,79714,120442,170032,304594,316144,520912,601540,610384][-92276,-258116,-363080,-450260,-721436,-915920,-1152290,-1391570,-1396598,-1412936] 656 [45974,54974,191204,305642,363734,444884,555044,923324,935684,936566][-133288,-297154,-1119784,-1210138,-1349986,-1521766,-1745524,-1965238,-2080486,-2336746] 657 [158980,231646,251680,342868,418606,464008,498376,539710,595360,831778][-17354,-76154,-530102,-620822,-641252,-792632,-969770,-975770,-1362584,-1602164] 658 [156224,233954,370184,494606,764678,933068,1092344,1183166,1242818,1570046][-838306,-1278766,-1302142,-1517392,-1664842,-1918984,-2162584,-2217352,-2393356,-2406046] 659 [179170,182224,195250,923884,1153564,1264180,1363414,1485370,1592722,1938700][-9416,-819116,-1012466,-1156598,-1182026,-1363046,-1753466,-1762268,-1762580,-1931306] 660 [24812,446846,468716,1135304,1137692,1235354,1320236,1377254,1544924,1581596][-59638,-204928,-385876,-411676,-505924,-574606,-774544,-1103458,-1217488,-1222114] 661 [135058,487186,527926,846046,883870,914578,1525450,1554190,1596028,1600396][-80150,-158972,-456332,-616082,-922724,-971780,-1394294,-1533200,-2139494,-2180624] 662 [193868,518516,709604,920888,1341206,1411868,1556954,1701848,2025686,2180246][-526924,-658204,-703012,-800512,-850396,-892522,-1252834,-1262074,-1414036,-1524886] 663 [17350,69730,384814,389374,640222,968680,1050604,1318642,1340632,1371784][-610016,-808478,-860978,-1015508,-1043516,-1476686,-1649870,-1667258,-1867760,-1918076] 664 [82556,87146,472844,755186,944546,1249862,1435526,1453664,1499036,1900592][-145984,-748066,-859438,-1069984,-1330798,-1551256,-1738984,-2173366,-2267404,-2426776] 665 [80176,140350,388648,393718,498580,864550,1005016,1141708,1177246,1238236][-85940,-124790,-247892,-300470,-566252,-590540,-703322,-834224,-1037750,-1101704] 666 [68714,182888,249656,452666,521726,669638,716606,1325486,1449668,1624526][-262114,-444394,-451342,-529624,-544132,-552766,-623944,-853816,-892912,-1143124] 667 [239752,297904,641854,706804,820072,1049302,1144270,1350034,1377124,1559320][-307718,-401018,-499448,-510656,-888416,-1201268,-1575056,-1758530,-1891010,-2224478] 668 [34436,129692,203852,539864,768314,1019912,1086596,1200926,1207184,1232864][-214888,-265294,-323794,-351724,-397156,-543598,-735424,-880984,-1131274,-1156108] 669 [45550,103816,123670,480538,783736,792100,938638,1030576,1046116,1159150][-332144,-711152,-962504,-1032422,-1116674,-1557104,-1672784,-2009522,-2165402,-2279324] 670 [82358,719558,723824,831878,884348,1145774,1243646,1264916,2045534,2342768][-97822,-329662,-597952,-674986,-930412,-1012612,-1563874,-1631926,-1809682,-1884826] 671 [118102,387112,441580,699790,706924,851854,1067122,1223860,1305232,1350322][-566738,-679106,-915506,-1221770,-1463816,-1485560,-1686980,-1824026,-1904036,-1924556] 672 [460916,863246,952316,1088366,1303004,1450934,1512722,1807214,1837412,1973966][-158596,-264496,-304246,-304378,-545578,-753154,-1096288,-1263268,-1415236,-1590718] 673 [29428,31018,547066,829738,895858,1304110,1737130,1907230,2076748,2235046][-160820,-162764,-226160,-627470,-756230,-886010,-910244,-1093232,-1151420,-1225334] 674 [517448,549038,660026,889706,986264,1008194,1056578,1260974,1499354,1533818][-188512,-435952,-646834,-747436,-993796,-1051324,-1063042,-1168726,-1798714,-1857682] 675 [69184,109834,155332,197950,356392,505222,590584,593812,633742,711532][-104180,-261650,-263198,-323600,-401246,-744278,-843608,-1134836,-2298236,-2434640] 676 [205574,369932,560516,624062,665966,1007246,1120712,1675892,2158502,2277332][-598714,-788104,-1208374,-1223938,-1546888,-1743964,-2407918,-2469478,-2837158,-2845474] 677 [459028,512410,526216,717298,741406,771190,799840,817456,1020526,1336936][-24212,-504410,-556292,-573470,-776720,-807962,-873572,-1144010,-1240934,-1614032] 678 [479198,716108,965546,999224,1065416,1080818,1109804,1536536,1587776,1615604][-192772,-424336,-488326,-538684,-760402,-1015264,-1148824,-1210852,-1300876,-1686784] 679 [12124,60292,428692,773080,793012,1034020,1169374,1375150,1391992,1598992][-148700,-475676,-505778,-891200,-910646,-968750,-997016,-1126760,-1257416,-1457888] 680 [37346,236216,313244,445172,783254,827876,1111106,1270004,1279412,1610192][-1948,-62236,-74608,-151474,-304534,-502474,-537466,-674818,-864634,-1125406] 681 [16780,308776,327316,1465810,1528738,1552258,1621966,2385736,2474926,2498296][-258032,-394640,-424652,-527252,-561272,-576332,-649310,-883370,-987722,-1097654] 682 [335258,453854,1491758,1522244,1705574,2083244,2457128,2921978,3268676,3405734][-30202,-40354,-134584,-420004,-1141966,-1256782,-1306372,-1346134,-1408966,-1447192] 683 [244354,248062,286702,313690,380014,409090,457702,504694,551722,603232][-212366,-331346,-350006,-482558,-540596,-936986,-956720,-1046726,-1047278,-1401680] 684 [12014,136754,384344,535226,584942,694004,1551224,1593554,2048066,2092976][-157954,-180478,-658234,-813844,-1083958,-1167496,-1280434,-1478938,-1505734,-1712236] 685 [6526,31048,260566,896560,936460,1115236,1257958,1830208,1835296,1899796][-2582,-181250,-197852,-470630,-845114,-888302,-1095794,-1280822,-1326122,-1396094] 686 [64718,171104,309086,576206,705824,956774,963224,1019774,1084814,1399814][-441406,-722926,-779302,-914764,-1057252,-1194724,-1395286,-1514836,-1599886,-1669906] 687 [12760,28354,242722,466852,560050,693382,775132,976474,986050,1051534][-152288,-310988,-497930,-623498,-690386,-1066328,-1231730,-1298870,-1374740,-1720718] 688 [1139234,1232204,1342334,1495172,1617002,1835006,2328824,2351042,2901176,2906576][-83974,-85684,-86254,-238378,-293188,-418768,-482008,-599368,-800218,-1241566] 689 [6478,40096,52690,193948,320596,589378,829858,964666,991276,1078288][-58982,-119690,-279224,-421292,-569660,-621110,-639680,-737834,-944414,-986504] 690 [61784,184568,318158,397316,405206,406106,448016,515246,584174,901034][-57814,-308446,-326434,-656542,-715744,-1639492,-1928062,-2144566,-3087556,-3439906] 691 [149590,494440,538510,561064,566392,1017250,1379332,1556614,1885522,1980970][-128960,-145010,-405158,-462620,-843878,-1098608,-1839026,-1912136,-1928318,-1949528] 692 [117584,318176,400844,580646,822626,937154,1079582,1250786,1274222,1339052][-6778,-61054,-181036,-1194598,-1370434,-2177644,-2452678,-3436588,-3568294,-3595438] 693 [568948,820486,1038508,1080670,1230856,1516150,1589380,1729408,1740808,1778230][-228080,-305294,-368702,-650840,-945332,-1816820,-1897130,-1968392,-2162030,-2701592] 694 [176738,257918,271658,603008,890408,1410584,1498388,1698266,2303738,2733368][-543622,-580204,-631444,-695896,-1165882,-1325716,-1379782,-1595032,-2015824,-2110864] 695 [275302,390760,435400,461314,478684,524662,700804,703522,838810,865864][-304460,-536456,-580106,-889316,-1508816,-1888910,-2034488,-2227778,-2280098,-2397380] 696 [46166,101936,280232,697862,726686,858302,886472,995966,1015982,1285196][-251674,-571906,-786106,-1876144,-1941124,-1999198,-2163346,-2473456,-2500954,-2550196] 697 [85408,355306,784408,854488,1253848,1317010,1360240,1401610,1637578,1712830][-342404,-678764,-799580,-1466630,-1480880,-1602512,-1669142,-2137364,-2666864,-3230504] 698 [339218,358958,779168,1021838,1075436,1254428,1285196,1612586,1843388,1860134][-84826,-251392,-386842,-960376,-1246384,-1430494,-1463032,-1690474,-1696696,-1892626] 699 [95644,449740,504652,598180,637954,706570,738532,756262,1091992,1274902][-126788,-333248,-372488,-464336,-572408,-705620,-893168,-942008,-1588670,-2165990] 700 [21926,28064,209354,302486,867212,1032122,1186484,1287632,1486304,1995362][-104908,-142204,-185518,-511798,-567466,-691906,-964198,-1358704,-1533478,-1605856] 701 [79876,458188,801148,807460,1103548,1268758,1284100,1361200,1548190,1635166][-37220,-38234,-59630,-204974,-329384,-430802,-552530,-786920,-955304,-1062644] 702 [723446,914624,989228,1000418,1026656,1580564,1672604,1956284,1978904,2299244][-164494,-198904,-766312,-904732,-1179034,-1633654,-1946986,-1960276,-2132554,-2151454] 703 [184192,261322,615004,632572,705364,833794,875812,956824,1044424,1272364][-76376,-171548,-277148,-344930,-540908,-580946,-607406,-888788,-995000,-1116446] 704 [31526,147992,283412,578366,669824,706184,966266,1251626,1414694,1502474][-433078,-649294,-822796,-1013266,-1133176,-1251886,-1268896,-1277116,-1333774,-1916356] 705 [280318,611428,861046,935920,938848,1198060,1334440,1403326,1530448,1718146][-100292,-156974,-186332,-214364,-320750,-350852,-587102,-724070,-786752,-1624244] 706 [23138,181088,301166,315836,365414,798728,919628,954884,1002248,1532984][-171274,-297586,-382132,-528322,-618394,-909052,-928624,-1412794,-1478302,-1665904] 707 [1432990,1600534,1723414,1940314,1994614,2181532,2196970,2345290,2620030,2650390][-106856,-325208,-488630,-569846,-905006,-1059890,-1132166,-1351988,-1439570,-1565816] 708 [264422,685754,722354,789806,2220872,2258546,2422844,2517692,2618792,2886932][-297196,-445684,-619564,-766294,-889468,-942358,-1035994,-1504366,-1760914,-2048068] 709 [259036,268420,293386,567058,606418,729178,1151608,1342570,1555288,1770496][-132890,-171950,-244274,-294632,-521822,-554162,-577532,-605120,-653744,-654464] 710 [23138,466856,565256,661328,722564,1206674,1466156,2046386,2691338,2691884][-153346,-370642,-414946,-598324,-620134,-858802,-985744,-998446,-1141816,-1204774] 711 [91510,228862,244414,248230,288184,452344,523090,618082,626464,867154][-276440,-912848,-1212908,-1316720,-1615970,-2077226,-2176940,-2210708,-2312516,-2398448] 712 [422066,815732,836582,951254,992414,1000844,1457144,1645544,1764092,1931984][-270244,-350968,-475708,-926338,-968224,-1156684,-1176418,-1383466,-1583104,-1901524] 713 [176770,261688,329668,434266,643450,995968,1679188,1838686,1886650,1902838][-133904,-165992,-429380,-708434,-722420,-821024,-861212,-1006340,-1008704,-1108934] 714 [42506,45296,404678,854948,944486,1032776,1161224,1193858,1327904,1577516][-25642,-52132,-316972,-561826,-784456,-1200952,-1331056,-1354384,-1514854,-1692724] 715 [983200,1113460,1461472,1476340,1508620,1714384,1775872,1789252,2322964,2398144][-168296,-336968,-349598,-529820,-821210,-1062926,-1076528,-1162838,-1215158,-1260566] 716 [467216,491246,820742,1058792,1281104,2371844,2391842,2464622,2681402,2751626][-593236,-724408,-1580326,-1593208,-1599334,-1970788,-2039776,-2089156,-2246398,-2423716]