;fName <- "bams.cam";
;sName <- "BAMS";

#include get.cam
#include ret.cam
#include set.cam
#include art.cam

FUNC rfERSTART(x:X,n:INT):Void
PRE is-X(x)
;STATE progn(gpSETTINGS(P(15,30,0,25,60,1,false,3,true,1,39)),
;STATE progn(gpSETTINGS(P(15,50,0,50,60,1,false,2,true,1,39)),
STATE progn(gpSETTINGS(P(10,50,3,50,60,1,false,2,true,2,39)),
            gpSHOWSETTINGS(),rrINIT(),
            gpPSTART({1,4,12,13,24,25,26,28,29,30,31,33,34,35,36,37,38,39}),
            rfEVAL(x,1),
            princ("> Best(",0,"): ",rfBESTVAL(),"%\n> thinking..."),
            foreach(i,inseg(n),
                    gpSELECT(),gpCROSSOVER(),gpMUTATION(),rfEVAL(x,1),
                    princ(" best (",i,"): ",rfBESTVAL(),"%\n> thinking...")),
                    rfSHOWRESULT(x));

CAM2SETS(fName);
rfPREPARE(choice(dom(M)));
rfERSTART(x,3);
rfSAVEREIF(x,"_.reif");
rfTEXREIF(x);
sh("mv _reif_.tex " ++ fName ++ ".reif.tex");
sh("latex " ++ fName ++ ".reif.tex");