void Coverage() { double rnd1,rnd2; int Nthrows=50000; int Ntotal = 300; float p=0.15; int nblue; int ncov=0; int ncov2=0; for (int it=0;it!=Nthrows;it++) { nblue=0; for (int i=0;i!=Ntotal;i++) { rnd1=rand()/2147483647.; // cout << rnd1 << endl; if (rnd1