import java.util.zip.DataFormatException;
import java.util.zip.Deflater;
public class typedef {
    public static void main(String[] i) throws DataFormatException {
        Deflater d = new Deflater();
        d.setInput(new byte[1 << 19]);
        d.finish();
        System.err.println("Uncompressed=" + (1 << 19) + "\nCompressed="
                + d.deflate(new byte[1 << 7]));
    }
}