import java.util.zip.ZipOutputStream;
import java.io.ByteArrayOutputStream;
import java.util.zip.GZIPOutputStream;
import java.util.zip.ZipEntry;

// Generated by Java* Fuzzer test generator (1.0.001). Wed Jun 29 19:04:03 2022
public class Test {

    public static void main(String[] strArr) {
        for (int ax$122 = 0; ax$122 < 10; ax$122 += 1) {
            for (int ax$1112 = 1; ax$1112 < 197; ax$1112 += 1) {
                for (int ax$11 = -4910; ax$11 < 314; ax$11 += 1) {
                    try {
                        boolean ax$7 = false;
                        byte[] ax$3 = new byte[1 << 14];
                        try (ByteArrayOutputStream ax$8 = new ByteArrayOutputStream();
                            ZipOutputStream ax$9 = new ZipOutputStream(ax$8)) {
                            final byte[] ax$4 = { 'x' };
                            ax$9.putNextEntry(new ZipEntry("a.gz"));
                            GZIPOutputStream ax$5 = new GZIPOutputStream(ax$9);
                            ax$5.write(ax$4);
                            ax$5.finish();
                            if (ax$7)
                                ax$9.write(ax$4);
                            ax$9.closeEntry();
                            ax$9.putNextEntry(new ZipEntry("b.gz"));
                            GZIPOutputStream ax$6 = new GZIPOutputStream(ax$9);
                            ax$6.write(ax$4);
                            ax$6.finish();
                            ax$9.closeEntry();
                            ax$9.flush();
                            ax$3 = ax$8.toByteArray();
                        }
                    } catch (Throwable ax$10) {
                    }
                }
                System.out.println("loop: " + ax$1112);
            }
        }
    }
}