sm_ex1_probability
