main@generator.mps 216 KB