Solution (source code)

= Solution

The prior is
$$
\beta_1,\beta_2\overset{\rm iid}\sim N(0,1).
$$
The software samples from the <Bayesian posterior>; the displayed "Estimate" values are posterior means computed from the Markov-chain Monte Carlo draws.