!752

static BWImage bw;
static Thread producer;
static Reproducing rp;

!include #1004556 // class Reproducing

p {
  rp = new Reproducing;
  bw = rp.bw = loadBWImage("#1004541");
  rp.imageSurfaceToUpdateWithBest = showImage(bw.getBufferedImage());
  
  rp.startProduction = r { produce() };
  
  // Note: This doesn't terminate as it keeps looking for better
  // solutions. It does write the shortest100.txt file in the mean
  // time which is your real output.
  rp.findShortest100_openEnd();
}

static void produce() {
  cancelThread(producer);
  producer = new Thread(r {
    // STRATEGY!
    
    rp.push(fullGrab(bw));
    int w = 1;
    while licensed {
      rp.push(new RandomSolid().reproduce(bw));
      S best = rp.bestDesc();
      if (best != null)
        rp.push(varyFloat(best));
      if (w < bw.getWidth())
        rp.push(hrepeat(bw, w++));
    }
  }, "Producer");
  producer.start();
}