Prior probability distribution