(* Probability of hitting site n when starting from single BAD at 0 on segment [0,n].
Data-format: {p, n, probability, runs within timelimit, total run attempts} *)
{
{0.1,600,0/1000,1000,1000},
{0.6,600,0/1000,1000,1000},
{0.601,600,0/1000,1000,1000},
{0.602,600,0/1000,1000,1000},
{0.603,600,0/1000,1000,1000},
{0.604,600,0/1000,1000,1000},
{0.605,600,0/1000,1000,1000},
{0.606,600,0/1000,1000,1000},
{0.607,600,0/1000,1000,1000},
{0.608,600,0/1000,1000,1000},
{0.609,600,0/1000,1000,1000},
{0.61,600,0/1000,1000,1000},
{0.611,600,0/1000,1000,1000},
{0.612,600,0/1000,1000,1000},
{0.613,600,0/1000,1000,1000},
{0.614,600,0/1000,1000,1000},
{0.615,600,0/1000,1000,1000},
{0.616,600,0/1000,1000,1000},
{0.617,600,0/1000,1000,1000},
{0.618,600,0/1000,1000,1000},
{0.619,600,0/1000,1000,1000},
{0.62,600,0/1000,1000,1000},
{0.621,600,0/1000,1000,1000},
{0.622,600,0/1000,1000,1000},
{0.623,600,0/1000,1000,1000},
{0.624,600,0/1000,1000,1000},
{0.625,600,0/1000,1000,1000},
{0.626,600,0/1000,1000,1000},
{0.627,600,0/1000,1000,1000},
{0.628,600,0/1000,1000,1000},
{0.629,600,0/1000,1000,1000},
{0.63,600,0/1000,1000,1000},
{0.631,600,0/1000,1000,1000},
{0.632,600,1/1000,1000,1000},
{0.633,600,3/993,993,1000},
{0.634,600,3/997,997,1000},
{0.635,600,12/987,987,1000},
{0.636,600,14/981,981,1000},
{0.637,600,22/961,961,1000},
{0.638,600,37/960,960,1000},
{0.639,600,49/952,952,1000},
{0.64,600,68/948,948,1000},
{0.641,600,68/954,954,1000},
{0.642,600,75/947,947,1000},
{0.643,600,104/951,951,1000},
{0.644,600,113/954,954,1000},
{0.645,600,138/960,960,1000},
{0.646,600,155/960,960,1000},
{0.647,600,140/971,971,1000},
{0.648,600,179/970,970,1000},
{0.649,600,186/977,977,1000},
{0.65,600,198/979,979,1000},
{0.651,600,192/981,981,1000},
{0.652,600,216/985,985,1000},
{0.653,600,268/994,994,1000},
{0.654,600,239/989,989,1000},
{0.655,600,259/991,991,1000},
{0.656,600,267/996,996,1000},
{0.657,600,287/996,996,1000},
{0.658,600,289/998,998,1000},
{0.659,600,283/994,994,1000},
{0.66,600,299/998,998,1000},
{0.661,600,310/999,999,1000},
{0.662,600,352/997,997,1000},
{0.663,600,326/1000,1000,1000},
{0.664,600,342/999,999,1000},
{0.665,600,348/999,999,1000},
{0.666,600,368/1000,1000,1000},
{0.667,600,384/1000,1000,1000},
{0.668,600,373/999,999,1000},
{0.669,600,380/1000,1000,1000},
{0.67,600,363/1000,1000,1000},
{0.671,600,406/1000,1000,1000},
{0.672,600,395/1000,1000,1000},
{0.673,600,431/1000,1000,1000},
{0.674,600,442/1000,1000,1000},
{0.675,600,428/1000,1000,1000},
{0.676,600,435/1000,1000,1000},
{0.677,600,434/1000,1000,1000},
{0.678,600,434/1000,1000,1000},
{0.679,600,449/1000,1000,1000},
{0.68,600,476/1000,1000,1000},
{0.681,600,470/1000,1000,1000},
{0.682,600,460/1000,1000,1000},
{0.683,600,463/1000,1000,1000},
{0.684,600,480/1000,1000,1000},
{0.685,600,505/1000,1000,1000},
{0.686,600,491/1000,1000,1000},
{0.687,600,486/1000,1000,1000},
{0.688,600,502/1000,1000,1000},
{0.689,600,521/1000,1000,1000},
{0.69,600,517/1000,1000,1000},
{0.691,600,542/1000,1000,1000},
{0.692,600,553/1000,1000,1000},
{0.693,600,553/1000,1000,1000},
{0.694,600,537/1000,1000,1000},
{0.695,600,579/1000,1000,1000},
{0.696,600,541/1000,1000,1000},
{0.697,600,547/1000,1000,1000},
{0.698,600,552/1000,1000,1000},
{0.699,600,563/1000,1000,1000},
{0.7,600,556/1000,1000,1000},
{0.75,600,754/1000,1000,1000},
{0.8,600,871/1000,1000,1000},
{0.9,600,977/1000,1000,1000},
{0.1,800,0/1000,1000,1000},
{0.6,800,0/1000,1000,1000},
{0.601,800,0/1000,1000,1000},
{0.602,800,0/1000,1000,1000},
{0.603,800,0/1000,1000,1000},
{0.604,800,0/1000,1000,1000},
{0.605,800,0/1000,1000,1000},
{0.606,800,0/1000,1000,1000},
{0.607,800,0/1000,1000,1000},
{0.608,800,0/1000,1000,1000},
{0.609,800,0/1000,1000,1000},
{0.61,800,0/1000,1000,1000},
{0.611,800,0/1000,1000,1000},
{0.612,800,0/1000,1000,1000},
{0.613,800,0/1000,1000,1000},
{0.614,800,0/1000,1000,1000},
{0.615,800,0/1000,1000,1000},
{0.616,800,0/1000,1000,1000},
{0.617,800,0/1000,1000,1000},
{0.618,800,0/1000,1000,1000},
{0.619,800,0/1000,1000,1000},
{0.62,800,0/1000,1000,1000},
{0.621,800,0/1000,1000,1000},
{0.622,800,0/1000,1000,1000},
{0.623,800,0/1000,1000,1000},
{0.624,800,0/1000,1000,1000},
{0.625,800,0/1000,1000,1000},
{0.626,800,0/1000,1000,1000},
{0.627,800,0/1000,1000,1000},
{0.628,800,0/1000,1000,1000},
{0.629,800,0/1000,1000,1000},
{0.63,800,0/1000,1000,1000},
{0.631,800,0/1000,1000,1000},
{0.632,800,1/1000,1000,1000},
{0.633,800,0/997,997,1000},
{0.634,800,3/990,990,1000},
{0.635,800,0/978,978,1000},
{0.636,800,7/974,974,1000},
{0.637,800,4/967,967,1000},
{0.638,800,14/953,953,1000},
{0.639,800,18/912,912,1000},
{0.64,800,22/912,912,1000},
{0.641,800,30/922,922,1000},
{0.642,800,30/902,902,1000},
{0.643,800,44/887,887,1000},
{0.644,800,51/883,883,1000},
{0.645,800,64/887,887,1000},
{0.646,800,65/882,882,1000},
{0.647,800,85/885,885,1000},
{0.648,800,84/887,887,1000},
{0.649,800,85/886,886,1000},
{0.65,800,118/897,897,1000},
{0.651,800,132/890,890,1000},
{0.652,800,151/921,921,1000},
{0.653,800,187/912,912,1000},
{0.654,800,150/914,914,1000},
{0.655,800,208/931,931,1000},
{0.656,800,201/923,923,1000},
{0.657,800,213/927,927,1000},
{0.658,800,245/941,941,1000},
{0.659,800,259/964,964,1000},
{0.66,800,271/948,948,1000},
{0.661,800,296/956,956,1000},
{0.662,800,306/961,961,1000},
{0.663,800,310/970,970,1000},
{0.664,800,337/977,977,1000},
{0.665,800,364/979,979,1000},
{0.666,800,346/989,989,1000},
{0.667,800,346/981,981,1000},
{0.668,800,358/989,989,1000},
{0.669,800,397/990,990,1000},
{0.67,800,384/988,988,1000},
{0.671,800,394/997,997,1000},
{0.672,800,433/994,994,1000},
{0.673,800,401/997,997,1000},
{0.674,800,433/997,997,1000},
{0.675,800,435/996,996,1000},
{0.676,800,442/996,996,1000},
{0.677,800,438/999,999,1000},
{0.678,800,440/999,999,1000},
{0.679,800,462/999,999,1000},
{0.68,800,445/999,999,1000},
{0.681,800,456/1000,1000,1000},
{0.682,800,465/1000,1000,1000},
{0.683,800,468/1000,1000,1000},
{0.684,800,488/1000,1000,1000},
{0.685,800,474/1000,1000,1000},
{0.686,800,495/1000,1000,1000},
{0.687,800,494/1000,1000,1000},
{0.688,800,496/1000,1000,1000},
{0.689,800,532/1000,1000,1000},
{0.69,800,493/1000,1000,1000},
{0.691,800,519/1000,1000,1000},
{0.692,800,522/1000,1000,1000},
{0.693,800,515/1000,1000,1000},
{0.694,800,545/1000,1000,1000},
{0.695,800,544/1000,1000,1000},
{0.696,800,521/1000,1000,1000},
{0.697,800,583/1000,1000,1000},
{0.698,800,519/1000,1000,1000},
{0.699,800,579/1000,1000,1000},
{0.7,800,577/1000,1000,1000},
{0.75,800,771/1000,1000,1000},
{0.8,800,863/1000,1000,1000},
{0.9,800,978/1000,1000,1000},
{0.1,1000,0/1000,1000,1000},
{0.6,1000,0/1000,1000,1000},
{0.601,1000,0/1000,1000,1000},
{0.602,1000,0/1000,1000,1000},
{0.603,1000,0/1000,1000,1000},
{0.604,1000,0/1000,1000,1000},
{0.605,1000,0/1000,1000,1000},
{0.606,1000,0/1000,1000,1000},
{0.607,1000,0/1000,1000,1000},
{0.608,1000,0/1000,1000,1000},
{0.609,1000,0/1000,1000,1000},
{0.61,1000,0/1000,1000,1000},
{0.611,1000,0/1000,1000,1000},
{0.612,1000,0/1000,1000,1000},
{0.613,1000,0/1000,1000,1000},
{0.614,1000,0/1000,1000,1000},
{0.615,1000,0/1000,1000,1000},
{0.616,1000,0/1000,1000,1000},
{0.617,1000,0/1000,1000,1000},
{0.618,1000,0/1000,1000,1000},
{0.619,1000,0/1000,1000,1000},
{0.62,1000,0/1000,1000,1000},
{0.621,1000,0/1000,1000,1000},
{0.622,1000,0/1000,1000,1000},
{0.623,1000,0/1000,1000,1000},
{0.624,1000,0/1000,1000,1000},
{0.625,1000,0/1000,1000,1000},
{0.626,1000,0/1000,1000,1000},
{0.627,1000,0/1000,1000,1000},
{0.628,1000,0/1000,1000,1000},
{0.629,1000,0/1000,1000,1000},
{0.63,1000,0/1000,1000,1000},
{0.631,1000,0/1000,1000,1000},
{0.632,1000,0/1000,1000,1000},
{0.633,1000,1/997,997,1000},
{0.634,1000,0/993,993,1000},
{0.635,1000,1/984,984,1000},
{0.636,1000,1/962,962,1000},
{0.637,1000,3/944,944,1000},
{0.638,1000,2/925,925,1000},
{0.639,1000,3/928,928,1000},
{0.64,1000,2/917,917,1000},
{0.641,1000,4/891,891,1000},
{0.642,1000,6/871,871,1000},
{0.643,1000,5/866,866,1000},
{0.644,1000,5/861,861,1000},
{0.645,1000,12/840,840,1000},
{0.646,1000,12/837,837,1000},
{0.647,1000,8/824,824,1000},
{0.648,1000,10/817,817,1000},
{0.649,1000,16/811,811,1000},
{0.65,1000,22/797,797,1000},
{0.651,1000,22/801,801,1000},
{0.652,1000,31/810,810,1000},
{0.653,1000,29/787,787,1000},
{0.654,1000,35/777,777,1000},
{0.655,1000,65/784,784,1000},
{0.656,1000,63/799,799,1000},
{0.657,1000,74/777,777,1000},
{0.658,1000,81/780,780,1000},
{0.659,1000,96/795,795,1000},
{0.66,1000,109/812,812,1000},
{0.661,1000,118/799,799,1000},
{0.662,1000,122/773,773,1000},
{0.663,1000,144/799,799,1000},
{0.664,1000,154/805,805,1000},
{0.665,1000,166/848,848,1000},
{0.666,1000,191/828,828,1000},
{0.667,1000,218/846,846,1000},
{0.668,1000,241/844,844,1000},
{0.669,1000,203/861,861,1000},
{0.67,1000,278/861,861,1000},
{0.671,1000,270/881,881,1000},
{0.672,1000,303/872,872,1000},
{0.673,1000,319/897,897,1000},
{0.674,1000,327/891,891,1000},
{0.675,1000,358/920,920,1000},
{0.676,1000,342/919,919,1000},
{0.677,1000,384/941,941,1000},
{0.678,1000,375/941,941,1000},
{0.679,1000,404/938,938,1000},
{0.68,1000,424/950,950,1000},
{0.681,1000,413/953,953,1000},
{0.682,1000,443/965,965,1000},
{0.683,1000,422/958,958,1000},
{0.684,1000,457/975,975,1000},
{0.685,1000,477/982,982,1000},
{0.686,1000,464/984,984,1000},
{0.687,1000,466/974,974,1000},
{0.688,1000,475/989,989,1000},
{0.689,1000,499/991,991,1000},
{0.69,1000,525/984,984,1000},
{0.691,1000,523/992,992,1000},
{0.692,1000,479/997,997,1000},
{0.693,1000,532/992,992,1000},
{0.694,1000,569/998,998,1000},
{0.695,1000,533/993,993,1000},
{0.696,1000,549/995,995,1000},
{0.697,1000,565/997,997,1000},
{0.698,1000,557/999,999,1000},
{0.699,1000,529/995,995,1000},
{0.7,1000,576/999,999,1000},
{0.75,1000,748/1000,1000,1000},
{0.8,1000,862/1000,1000,1000},
{0.9,1000,973/1000,1000,1000}
}
