42.zip: A single 42,374-byte zip file that uncompresses to one million 4.5GB files (4.5PB)