Contract Compression