static BufferedImage cutOutPixelSet_scale(BufferedImage image, BufferedImage bigImg, PixelSet set) {
  int scale = iround(bigImg.getWidth()/(double) image.getWidth());
  Rect r = pixelSetBounds(set);
  BufferedImage img = transparentBufferedImage(r.w*scale, r.h*scale);
  for (Pixel p : set) {
    int x1 = (p.x-r.x)*scale, y1 = (p.y-r.y)*scale;
    for (int y = 0; y < scale; y++)
      for (int x = 0; x < scale; x++)
        img.setRGB(x1+x, y1+y, image.getRGB(p.x*scale+x, p.y*scale+y));
  }
  ret img;
}