spb/prime-mystery-engine
Public
Python 64.3%
TeX 35.7%
1{2 "limit": 10000000000,3 "host": "laptop",4 "scan_seconds": 40.3,5 "checkpoints": {6 "1000000": {7 "rho1": -0.0431431,8 "rho1_lnx": -0.59604,9 "rho2": -0.011714,10 "rho2_lnx": -0.16184,11 "champion": 6,12 "G6": 66,13 "D_N2_minus_N4": 26,14 "n_gaps": 7849715 },16 "2000000": {17 "rho1": -0.0461202,18 "rho1_lnx": -0.66914,19 "rho2": -0.0146959,20 "rho2_lnx": -0.21322,21 "champion": 6,22 "G6": 66,23 "D_N2_minus_N4": 130,24 "n_gaps": 14893225 },26 "4000000": {27 "rho1": -0.0402461,28 "rho1_lnx": -0.61181,29 "rho2": -0.0160156,30 "rho2_lnx": -0.24347,31 "champion": 6,32 "G6": 66,33 "D_N2_minus_N4": 232,34 "n_gaps": 28314535 },36 "10000000": {37 "rho1": -0.0381114,38 "rho1_lnx": -0.61428,39 "rho2": -0.0135613,40 "rho2_lnx": -0.21858,41 "champion": 6,42 "G6": 66,43 "D_N2_minus_N4": 359,44 "n_gaps": 66457845 },46 "20000000": {47 "rho1": -0.0355623,48 "rho1_lnx": -0.59785,49 "rho2": -0.0147881,50 "rho2_lnx": -0.24861,51 "champion": 6,52 "G6": 66,53 "D_N2_minus_N4": 326,54 "n_gaps": 127060655 },56 "40000000": {57 "rho1": -0.0332883,58 "rho1_lnx": -0.58269,59 "rho2": -0.0141482,60 "rho2_lnx": -0.24766,61 "champion": 6,62 "G6": 66,63 "D_N2_minus_N4": 520,64 "n_gaps": 243365365 },66 "100000000": {67 "rho1": -0.0316066,68 "rho1_lnx": -0.58221,69 "rho2": -0.0127764,70 "rho2_lnx": -0.23535,71 "champion": 6,72 "G6": 66,73 "D_N2_minus_N4": 55,74 "n_gaps": 576145475 },76 "200000000": {77 "rho1": -0.0300289,78 "rho1_lnx": -0.57397,79 "rho2": -0.0125457,80 "rho2_lnx": -0.2398,81 "champion": 6,82 "G6": 66,83 "D_N2_minus_N4": -343,84 "n_gaps": 1107893685 },86 "400000000": {87 "rho1": -0.0288227,88 "rho1_lnx": -0.57089,89 "rho2": -0.0123475,90 "rho2_lnx": -0.24457,91 "champion": 6,92 "G6": 66,93 "D_N2_minus_N4": -571,94 "n_gaps": 2133632595 },96 "1000000000": {97 "rho1": -0.0275318,98 "rho1_lnx": -0.57055,99 "rho2": -0.011703,100 "rho2_lnx": -0.24252,101 "champion": 6,102 "G6": 216,103 "D_N2_minus_N4": -173,104 "n_gaps": 50847533105 },106 "2000000000": {107 "rho1": -0.0264527,108 "rho1_lnx": -0.56652,109 "rho2": -0.0113653,110 "rho2_lnx": -0.2434,111 "champion": 6,112 "G6": 216,113 "D_N2_minus_N4": 1074,114 "n_gaps": 98222286115 },116 "4000000000": {117 "rho1": -0.0255606,118 "rho1_lnx": -0.56513,119 "rho2": -0.0110918,120 "rho2_lnx": -0.24524,121 "champion": 6,122 "G6": 216,123 "D_N2_minus_N4": -2270,124 "n_gaps": 189961811125 },126 "10000000000": {127 "rho1": -0.0243707,128 "rho1_lnx": -0.56116,129 "rho2": -0.0107629,130 "rho2_lnx": -0.24783,131 "champion": 6,132 "G6": 312,133 "D_N2_minus_N4": 2681,134 "n_gaps": 455052510135 }136 },137 "maximal_gaps": [138 {139 "gap": 1,140 "after": 2,141 "csg": 2.08137142 },143 {144 "gap": 2,145 "after": 3,146 "csg": 1.65707147 },148 {149 "gap": 4,150 "after": 7,151 "csg": 1.05637152 },153 {154 "gap": 6,155 "after": 23,156 "csg": 0.61029157 },158 {159 "gap": 8,160 "after": 89,161 "csg": 0.39706162 },163 {164 "gap": 14,165 "after": 113,166 "csg": 0.62645167 },168 {169 "gap": 18,170 "after": 523,171 "csg": 0.45939172 },173 {174 "gap": 20,175 "after": 887,176 "csg": 0.43408177 },178 {179 "gap": 22,180 "after": 1129,181 "csg": 0.44527182 },183 {184 "gap": 34,185 "after": 1327,186 "csg": 0.65757187 },188 {189 "gap": 36,190 "after": 9551,191 "csg": 0.42864192 },193 {194 "gap": 44,195 "after": 15683,196 "csg": 0.47149197 },198 {199 "gap": 52,200 "after": 19609,201 "csg": 0.5323202 },203 {204 "gap": 72,205 "after": 31397,206 "csg": 0.67155207 },208 {209 "gap": 86,210 "after": 155921,211 "csg": 0.60151212 },213 {214 "gap": 96,215 "after": 360653,216 "csg": 0.58633217 },218 {219 "gap": 112,220 "after": 370261,221 "csg": 0.68125222 },223 {224 "gap": 114,225 "after": 492113,226 "csg": 0.66364227 },228 {229 "gap": 118,230 "after": 1349533,231 "csg": 0.59225232 },233 {234 "gap": 132,235 "after": 1357201,236 "csg": 0.66198237 },238 {239 "gap": 148,240 "after": 2010733,241 "csg": 0.70257242 },243 {244 "gap": 154,245 "after": 4652353,246 "csg": 0.65334247 },248 {249 "gap": 180,250 "after": 17051707,251 "csg": 0.64916252 },253 {254 "gap": 210,255 "after": 20831323,256 "csg": 0.73947257 },258 {259 "gap": 220,260 "after": 47326693,261 "csg": 0.70441262 },263 {264 "gap": 222,265 "after": 122164747,266 "csg": 0.64025267 },268 {269 "gap": 234,270 "after": 189695659,271 "csg": 0.64406272 },273 {274 "gap": 248,275 "after": 191912783,276 "csg": 0.68176277 },278 {279 "gap": 250,280 "after": 387096133,281 "csg": 0.63936282 },283 {284 "gap": 282,285 "after": 436273009,286 "csg": 0.71255287 },288 {289 "gap": 288,290 "after": 1294268491,291 "csg": 0.65423292 },293 {294 "gap": 292,295 "after": 1453168141,296 "csg": 0.65606297 },298 {299 "gap": 320,300 "after": 2300942549,301 "csg": 0.68864302 },303 {304 "gap": 336,305 "after": 3842610773,306 "csg": 0.68985307 },308 {309 "gap": 354,310 "after": 4302407359,311 "csg": 0.71942312 }313 ],314 "method": "deterministic segmented sieve; streaming Pearson sums; gaps attributed to END prime; no randomness"315}