!759

!include #1004310 // Thinker
!include #1004308 // Random Main v10

p-awt {
  new RandomMain main;
  main.generatorsID = "#1004039";
  main.randomMain();
}