import java.util.*;
import java.util.zip.*;
import java.util.List;
import java.util.regex.*;
import java.util.concurrent.*;
import java.util.concurrent.atomic.*;
import java.util.concurrent.locks.*;
import javax.swing.*;
import javax.swing.event.*;
import javax.swing.text.*;
import javax.swing.table.*;
import java.io.*;
import java.net.*;
import java.lang.reflect.*;
import java.lang.ref.*;
import java.lang.management.*;
import java.security.*;
import java.security.spec.*;
import java.awt.*;
import java.awt.event.*;
import java.awt.image.*;
import javax.imageio.*;
import java.math.*;
// Note: pixels need to have alpha value set
class main {

static BufferedImage intArrayToBufferedImage_new(int[] pixels, int w, int h) {
  var img = new BufferedImage(w, h, BufferedImage.TYPE_INT_ARGB);
  img.getRaster().setPixels(0, 0, w, h, pixels);
  return img;
}}