Probability of program is correct   
 
    0.9923596 