PrimeSRcs - Investigates Andrica's Conjecture: Af(n) < 1 for all n > 0. It using the sieve of Eratosthenes with double Floating-point. C# Version 3.1.2.18527 Copyright (c) 1981-2007 by author: Harry J. Smith, 19628 Via Monte Dr., Saratoga CA 95070. All rights reserved. PrimeSRcs: Max prime tested = 16032816055579 # 545910119999 103/22:18:31 SEQUENCE: A084974 A084975 A084977 Elapsed A084976 n p_k p_k+1 Ag(k) Time k 1 7 11 670873479290 0:00:00 4 2 113 127 639281856849 0:00:00 30 3 1327 1361 463722291219 0:00:00 217 4 1669 1693 292684791250 0:00:00 263 5 2477 2503 260522452878 0:00:00 367 6 2971 2999 256245980725 0:00:00 429 7 3271 3299 244265051782 0:00:00 462 8 4297 4327 228429684485 0:00:00 590 9 4831 4861 215476580192 0:00:00 650 10 5591 5623 213675705550 0:00:00 738 11 31397 31469 203053114718 0:00:00 3385 12 34061 34123 167894124764 0:00:00 3644 13 43331 43391 144069363012 0:00:00 4522 14 44293 44351 137748965648 0:00:00 4612 15 58831 58889 119533017277 0:00:00 5949 16 155921 156007 108882047033 0:00:00 14357 17 370261 370373 92024020493 0:00:00 31545 18 492113 492227 81248862114 0:00:00 40933 19 604073 604171 63042547543 0:00:00 49414 20 1357201 1357333 56651483984 0:00:00 104071 21 1561919 1562051 52808703603 0:00:00 118505 22 2010733 2010881 52185100669 0:00:00 149689 23 2127163 2127269 36338757534 0:00:00 157680 24 2238823 2238931 36089315290 0:00:00 165326 25 4652353 4652507 35698568502 0:00:00 325852 26 6034247 6034393 29717255046 0:00:00 415069 27 7230331 7230479 27520125341 0:00:00 491237 28 8421251 8421403 26189265993 0:00:00 566214 29 8917523 8917663 23440896451 0:00:00 597311 30 11113933 11114087 23096987194 0:00:00 733588 31 20831323 20831533 23005399430 0:00:00 1319945 32 27915737 27915907 16087690978 0:00:01 1736516 33 47326693 47326913 15989655285 0:00:01 2850174 34 47465267 47465443 12773040977 0:00:01 2857960 35 53230873 53231051 12198539847 0:00:01 3183065 36 70396393 70396589 11680207814 0:00:02 4140009 37 90438133 90438343 11041123122 0:00:03 5240989 38 122164747 122164969 10042684786 0:00:04 6957876 39 123346277 123346481 9184107730 0:00:04 7021269 40 191912783 191913031 8950959522 0:00:06 10655462 41 216668603 216668839 8016483397 0:00:07 11949206 42 284491367 284491601 6936673069 0:00:09 15456799 43 436273009 436273291 6750561059 0:00:16 23163298 44 468991619 468991867 5725838400 0:00:18 24805379 45 516540163 516540413 5499939507 0:00:20 27180065 46 522624131 522624379 5424090217 0:00:20 27483196 47 649580171 649580447 5414553642 0:00:27 33772762 48 708730291 708730541 4695366286 0:00:29 36681599 49 726953347 726953587 4450696089 0:00:30 37575013 50 790115023 790115267 4340248917 0:00:33 40663870 51 944192807 944193067 4230707287 0:00:42 48150537 52 1294268491 1294268779 4002674539 0:00:57 64955634 53 1453168141 1453168433 3829965836 0:01:03 72507380 54 1506814429 1506814711 3632362698 0:01:05 75049103 55 1692326849 1692327137 3500421569 0:01:13 83802219 56 1750915301 1750915583 3369663441 0:01:16 86557016 57 2300942549 2300942869 3335547118 0:01:40 112228683 58 2433630109 2433630413 3081174460 0:01:46 118374763 59 2539418573 2539418863 2877404006 0:01:51 123265097 60 2676090983 2676091273 2802964214 0:01:57 129568759 61 2716820551 2716820839 2762689033 0:01:59 131444711 62 3842610773 3842611109 2710167133 0:02:52 182837804 63 4302407359 4302407713 2698469374 0:03:15 203615628 64 4372999721 4373000039 2404403722 0:03:18 206797782 65 4758958741 4758959041 2174379187 0:03:37 224151351 66 5893180121 5893180453 2162386016 0:04:36 274798857 67 6291356009 6291356339 2080232167 0:04:56 292473014 68 6570018347 6570018659 1924603636 0:05:11 304810455 69 6675573497 6675573799 1848130573 0:05:17 309478854 70 10726904659 10726905041 1844149618 0:09:06 486570087 71 11705477863 11705478217 1635982633 0:10:04 528861125 72 12010745569 12010745911 1560310832 0:10:22 542018493 73 13071556237 13071556577 1486912014 0:11:27 587642240 74 13088173159 13088173499 1485967813 0:11:28 588355407 75 13102976779 13102977119 1485128159 0:11:29 588990804 76 16161669787 16161670163 1478818013 0:14:41 719678956 77 25056082087 25056082543 1440383916 0:24:45 1094330259 78 36172730063 36172730507 1167245825 0:38:38 1554862829 79 42652618343 42652618807 1123350118 0:47:17 1820471368 80 44293346177 44293346579 955051544 0:49:33 1887450957 81 49914935177 49914935591 926520619 0:57:36 2116199981 82 50308422523 50308422937 922890115 0:58:11 2132169879 83 63816175447 63816175897 890670628 1:18:43 2677613113 84 64636852733 64636853131 782731793 1:20:02 2710589418 85 87241770619 87241771051 731293166 1:56:57 3613011290 86 87468331523 87468331943 710058078 1:57:21 3622003579 87 101328529441 101328529879 687983851 2:22:07 4170497134 88 127976334671 127976335139 654110353 3:12:21 5217031687 89 131956235563 131956236023 633159134 3:20:01 5372555477 90 148473908887 148473909347 596901629 3:52:21 6016126934 91 152848864139 152848864583 567834618 4:01:08 6186096891 92 182226896239 182226896713 555190602 5:07:52 7322882472 93 190418076203 190418076649 511035154 5:25:35 7638520720 94 202530831163 202530831617 504406047 5:52:44 8104335613 95 241160624143 241160624629 494826641 7:22:51 9583057667 96 304599508537 304599509051 465659560 10:03:01 11992433550 97 309629648803 309629649257 407947792 10:16:09 12182607810 98 416608695821 416608696337 399719688 15:12:34 16202238656 99 461690510011 461690510543 391476919 17:26:44 17883926781 100 487286789723 487286790223 358135761 18:45:18 18835968457 101 614487453523 614487454057 340607927 1/01:37:48 23541455083 102 738832927927 738832928467 314116422 1/08:56:54 28106444830 103 747431049203 747431049707 291484169 1/09:27:50 28421007803 104 789448506659 789448507163 283621165 1/12:01:08 29956309235 105 804541404419 804541404913 275373886 1/12:56:54 30507062869 106 893531612273 893531612789 272938465 1/18:40:54 33746970032 107 929156727137 929156727637 259355534 1/20:58:36 35040626031 108 1346294310749 1346294311331 250797373 3/02:36:49 50070452577 109 1408695493609 1408695494197 247707278 3/07:20:08 52302956123 110 1480064231153 1480064231717 231797542 3/12:51:08 54851968769 111 1968188556461 1968188557063 214552285 5/05:16:01 72178455400 112 2614941710599 2614941711251 201598173 7/18:10:59 94906079600 113 2652427555639 2652427556183 167011792 7/22:00:49 96216792662 114 2707053887651 2707053888193 164710331 8/03:26:24 98125694332 115 3108794067079 3108794067653 162774331 9/21:27:29 112124790527 116 3410069454097 3410069454689 160291354 11/06:07:35 122581296831 117 4165633395149 4165633395767 151397239 14/23:30:50 148670271969 118 5120731250207 5120731250857 143620809 20/04:14:51 181418899824 119 5439564948583 5439564949187 129486609 21/23:54:23 192302472142 120 5499789519863 5499789520457 126643648 22/08:11:27 194355813502 121 5614481773561 5614481774159 126187504 23/01:01:45 198264068284 122 7177162611713 7177162612387 125792140 32/18:09:02 251265078335 123 7753325440403 7753325441053 116718407 36/20:57:02 270703086067 124 8095224517651 8095224518267 108252084 39/02:35:25 282214516575 125 9787731507761 9787731508409 103562848 50/09:36:19 338971657095 126 10653514291843 10653514292503 101103803 56/15:30:55 367874318667 127 11082394066097 11082394066759 99428571 60/01:54:14 382162355289 128 13829048559701 13829048560417 96269092 82/19:47:30 473258870471 129 14998144209049 14998144209749 90375202 93/21:39:56 511844296976 130 15712145060693 15712145061383 87036487 100/18:17:26 535360258169 131 15834692269843 15834692270447 75893071 101/22:24:10 539392839819 132 15870271781081 15870271781659 72544695 102/07:24:36 540563412667 133 15964823237431 15964823237983 69075975 103/06:16:31 543673787503 134 16016033216219 16016033216759 67466205 103/18:17:09 545358133016 135 16017929694541 16017929695049 63464450 103/18:43:16 545420512197 136 16025978868563 16025978869067 62948916 103/20:33:21 545685244838 137 16032423939391 16032423939887 61937273 103/22:10:13 545897221748 138 16032427284259 16032427284719 57441820 103/22:10:15 545897331862 139 16032767359159 16032767359619 57441211 103/22:17:21 545908518614 140 16032811242061 16032811242439 47201626 103/22:18:22 545909961667 141 16032815272183 16032815272489 38210835 103/22:18:26 545910094292 142 16032816017461 16032816017759 37211858 103/22:18:26 545910118806 143 16032816021353 16032816021623 33715442 103/22:18:26 545910118934 144 16032816024461 16032816024661 24974401 103/22:18:26 545910119039 145 16032816028777 16032816028969 23975425 103/22:18:26 545910119172 146 16032816046343 16032816046517 21727729 103/22:18:26 545910119697 147 16032816047291 16032816047447 19480033 103/22:18:26 545910119725 148 16032816054523 16032816054643 14984641 103/22:18:26 545910119968 149 16032816055309 16032816055387 9740016 103/22:18:26 545910119988 150 16032816055579 16032816055657 9740016 103/22:18:26 545910119999 End of table! 1/15/2008 4:50:55 PM PrimeSRcs: Max prime tested = 16032816055579 # 545910119999 103/22:18:31