pbns.push_back(make_pair(0.0290362,1)); pbns.push_back(make_pair(0.0307676,2)); pbns.push_back(make_pair(0.0366312,3)); pbns.push_back(make_pair(0.0544614,4)); pbns.push_back(make_pair(0.0920033,5)); pbns.push_back(make_pair(0.104599,6)); pbns.push_back(make_pair(0.114718,7)); pbns.push_back(make_pair(0.117379,8)); pbns.push_back(make_pair(0.123493,9)); pbns.push_back(make_pair(0.133638,10)); pbns.push_back(make_pair(0.137798,9)); pbns.push_back(make_pair(0.149798,10)); pbns.push_back(make_pair(0.155421,11)); pbns.push_back(make_pair(0.158443,12)); pbns.push_back(make_pair(0.176956,13)); pbns.push_back(make_pair(0.183234,12)); pbns.push_back(make_pair(0.191069,13)); pbns.push_back(make_pair(0.191333,14)); pbns.push_back(make_pair(0.191836,15)); pbns.push_back(make_pair(0.192675,16)); pbns.push_back(make_pair(0.208564,17)); pbns.push_back(make_pair(0.218425,18)); pbns.push_back(make_pair(0.219902,17)); pbns.push_back(make_pair(0.23233,16)); pbns.push_back(make_pair(0.234558,17)); pbns.push_back(make_pair(0.237166,16)); pbns.push_back(make_pair(0.247352,17)); pbns.push_back(make_pair(0.267421,18)); pbns.push_back(make_pair(0.268093,19)); pbns.push_back(make_pair(0.278734,18)); pbns.push_back(make_pair(0.284722,19)); pbns.push_back(make_pair(0.284998,20)); pbns.push_back(make_pair(0.294069,21)); pbns.push_back(make_pair(0.306293,22)); pbns.push_back(make_pair(0.322361,21)); pbns.push_back(make_pair(0.323152,22)); pbns.push_back(make_pair(0.371021,23)); pbns.push_back(make_pair(0.372395,24)); pbns.push_back(make_pair(0.387744,25)); pbns.push_back(make_pair(0.435537,26)); pbns.push_back(make_pair(0.462911,25)); pbns.push_back(make_pair(0.483569,26)); pbns.push_back(make_pair(0.489209,25)); pbns.push_back(make_pair(0.517115,24)); pbns.push_back(make_pair(0.522197,23)); pbns.push_back(make_pair(0.532665,22)); pbns.push_back(make_pair(0.545262,23)); pbns.push_back(make_pair(0.587227,22)); pbns.push_back(make_pair(0.593036,23)); pbns.push_back(make_pair(0.602647,24)); pbns.push_back(make_pair(0.605044,25)); pbns.push_back(make_pair(0.621962,24)); pbns.push_back(make_pair(0.629449,23)); pbns.push_back(make_pair(0.636719,22)); pbns.push_back(make_pair(0.64957,21)); pbns.push_back(make_pair(0.650781,22)); pbns.push_back(make_pair(0.654951,23)); pbns.push_back(make_pair(0.683489,24)); pbns.push_back(make_pair(0.687172,23)); pbns.push_back(make_pair(0.69703,22)); pbns.push_back(make_pair(0.701174,21)); pbns.push_back(make_pair(0.717623,22)); pbns.push_back(make_pair(0.722023,21)); pbns.push_back(make_pair(0.722298,20)); pbns.push_back(make_pair(0.725347,19)); pbns.push_back(make_pair(0.73071,18)); pbns.push_back(make_pair(0.758355,17)); pbns.push_back(make_pair(0.770913,18)); pbns.push_back(make_pair(0.790833,17)); pbns.push_back(make_pair(0.821211,16)); pbns.push_back(make_pair(0.849305,17)); pbns.push_back(make_pair(0.853669,16)); pbns.push_back(make_pair(0.866659,15)); pbns.push_back(make_pair(0.872896,16)); pbns.push_back(make_pair(0.889597,15)); pbns.push_back(make_pair(0.900231,14)); pbns.push_back(make_pair(0.903847,13)); pbns.push_back(make_pair(0.906299,12)); pbns.push_back(make_pair(0.910852,11)); pbns.push_back(make_pair(0.93453,10)); pbns.push_back(make_pair(0.944757,9)); pbns.push_back(make_pair(0.947812,8)); pbns.push_back(make_pair(0.959154,7)); pbns.push_back(make_pair(0.975654,6)); pbns.push_back(make_pair(0.976719,5)); pbns.push_back(make_pair(0.977343,4)); pbns.push_back(make_pair(0.980129,3)); pbns.push_back(make_pair(0.987842,2)); pbns.push_back(make_pair(0.990127,1)); pbns.push_back(make_pair(0.994537,0));