Compressed trump (Trump.Zip)