spb/prime-mystery-engine
Public
Python 64.3%
TeX 35.7%
1{2 "limit": 4000000000,3 "scan_seconds": 14.3,4 "C2_race": {5 "final_D": -2270,6 "n_events_D_nonpositive": 137574763,7 "last_prime_with_D_nonpositive": 3999999979,8 "first_zero_epochs_sample": [9 [10 3,11 012 ],13 [14 101,15 016 ],17 [18 107,19 020 ],21 [22 113,23 024 ],25 [26 127,27 028 ],29 [30 139,31 032 ],33 [34 149,35 036 ],37 [38 167,39 040 ],41 [42 173,43 044 ],45 [46 179,47 048 ],49 [50 401,51 052 ],53 [54 409,55 056 ],57 [58 419,59 060 ],61 [62 461,63 064 ],65 [66 467,67 068 ],69 [70 479,71 072 ],73 [74 487,75 076 ],77 [78 571,79 080 ],81 [82 577,83 084 ],85 [86 587,87 088 ],89 [90 593,91 092 ],93 [94 599,95 096 ],97 [98 617,99 0100 ],101 [102 743,103 0104 ],105 [106 751,107 0108 ],109 [110 757,111 0112 ],113 [114 823,115 0116 ],117 [118 829,119 0120 ],121 [122 839,123 0124 ],125 [126 853,127 0128 ],129 [130 859,131 0132 ],133 [134 2113,135 0136 ],137 [138 2129,139 0140 ],141 [142 2141,143 0144 ],145 [146 2207,147 0148 ],149 [150 2213,151 0152 ],153 [154 2221,155 0156 ],157 [158 2237,159 0160 ],161 [162 2243,163 0164 ],165 [166 2251,167 0168 ],169 [170 2267,171 0172 ],173 [174 2273,175 0176 ],177 [178 2281,179 0180 ],181 [182 2287,183 0184 ],185 [186 2293,187 0188 ],189 [190 2311,191 0192 ],193 [194 2333,195 0196 ],197 [198 2339,199 0200 ],201 [202 2351,203 0204 ],205 [206 2357,207 0208 ]209 ],210 "definition": "D(p) = N2 - N4 counting gaps whose END prime <= p"211 },212 "checkpoints": {213 "1000000": {214 "champion": 6,215 "N2": 8169,216 "N4": 8143,217 "D=N2-N4": 26,218 "G6": 66,219 "rho": -0.043143,220 "rho_times_lnx": -0.596221 },222 "10000000": {223 "champion": 6,224 "N2": 58980,225 "N4": 58621,226 "D=N2-N4": 359,227 "G6": 66,228 "rho": -0.038111,229 "rho_times_lnx": -0.6143230 },231 "100000000": {232 "champion": 6,233 "N2": 440312,234 "N4": 440257,235 "D=N2-N4": 55,236 "G6": 66,237 "rho": -0.031607,238 "rho_times_lnx": -0.5822239 },240 "1000000000": {241 "champion": 6,242 "N2": 3424506,243 "N4": 3424679,244 "D=N2-N4": -173,245 "G6": 216,246 "rho": -0.027532,247 "rho_times_lnx": -0.5705248 },249 "2000000000": {250 "champion": 6,251 "N2": 6388041,252 "N4": 6386967,253 "D=N2-N4": 1074,254 "G6": 216,255 "rho": -0.026453,256 "rho_times_lnx": -0.5665257 },258 "4000000000": {259 "champion": 6,260 "N2": 11944438,261 "N4": 11946708,262 "D=N2-N4": -2270,263 "G6": 216,264 "rho": -0.025561,265 "rho_times_lnx": -0.5651266 }267 },268 "maximal_gaps": [269 {270 "gap": 1,271 "after": 2,272 "merit": 1.4427,273 "csg": 2.08137274 },275 {276 "gap": 2,277 "after": 3,278 "merit": 1.8205,279 "csg": 1.65707280 },281 {282 "gap": 4,283 "after": 7,284 "merit": 2.0556,285 "csg": 1.05637286 },287 {288 "gap": 6,289 "after": 23,290 "merit": 1.9136,291 "csg": 0.61029292 },293 {294 "gap": 8,295 "after": 89,296 "merit": 1.7823,297 "csg": 0.39706298 },299 {300 "gap": 14,301 "after": 113,302 "merit": 2.9615,303 "csg": 0.62645304 },305 {306 "gap": 18,307 "after": 523,308 "merit": 2.8756,309 "csg": 0.45939310 },311 {312 "gap": 20,313 "after": 887,314 "merit": 2.9464,315 "csg": 0.43408316 },317 {318 "gap": 22,319 "after": 1129,320 "merit": 3.1299,321 "csg": 0.44527322 },323 {324 "gap": 34,325 "after": 1327,326 "merit": 4.7283,327 "csg": 0.65757328 },329 {330 "gap": 36,331 "after": 9551,332 "merit": 3.9282,333 "csg": 0.42864334 },335 {336 "gap": 44,337 "after": 15683,338 "merit": 4.5547,339 "csg": 0.47149340 },341 {342 "gap": 52,343 "after": 19609,344 "merit": 5.2612,345 "csg": 0.5323346 },347 {348 "gap": 72,349 "after": 31397,350 "merit": 6.9535,351 "csg": 0.67155352 },353 {354 "gap": 86,355 "after": 155921,356 "merit": 7.1924,357 "csg": 0.60151358 },359 {360 "gap": 96,361 "after": 360653,362 "merit": 7.5025,363 "csg": 0.58633364 },365 {366 "gap": 112,367 "after": 370261,368 "merit": 8.735,369 "csg": 0.68125370 },371 {372 "gap": 114,373 "after": 492113,374 "merit": 8.698,375 "csg": 0.66364376 },377 {378 "gap": 118,379 "after": 1349533,380 "merit": 8.3597,381 "csg": 0.59225382 },383 {384 "gap": 132,385 "after": 1357201,386 "merit": 9.3478,387 "csg": 0.66198388 },389 {390 "gap": 148,391 "after": 2010733,392 "merit": 10.197,393 "csg": 0.70257394 },395 {396 "gap": 154,397 "after": 4652353,398 "merit": 10.0307,399 "csg": 0.65334400 },401 {402 "gap": 180,403 "after": 17051707,404 "merit": 10.8097,405 "csg": 0.64916406 },407 {408 "gap": 210,409 "after": 20831323,410 "merit": 12.4615,411 "csg": 0.73947412 },413 {414 "gap": 220,415 "after": 47326693,416 "merit": 12.4487,417 "csg": 0.70441418 },419 {420 "gap": 222,421 "after": 122164747,422 "merit": 11.9221,423 "csg": 0.64025424 },425 {426 "gap": 234,427 "after": 189695659,428 "merit": 12.2764,429 "csg": 0.64406430 },431 {432 "gap": 248,433 "after": 191912783,434 "merit": 13.003,435 "csg": 0.68176436 },437 {438 "gap": 250,439 "after": 387096133,440 "merit": 12.6427,441 "csg": 0.63936442 },443 {444 "gap": 282,445 "after": 436273009,446 "merit": 14.1753,447 "csg": 0.71255448 },449 {450 "gap": 288,451 "after": 1294268491,452 "merit": 13.7266,453 "csg": 0.65423454 },455 {456 "gap": 292,457 "after": 1453168141,458 "merit": 13.8408,459 "csg": 0.65606460 },461 {462 "gap": 320,463 "after": 2300942549,464 "merit": 14.8447,465 "csg": 0.68864466 },467 {468 "gap": 336,469 "after": 3842610773,470 "merit": 15.2247,471 "csg": 0.68985472 }473 ],474 "max_csg": 0.73947475}