TeX source:
\begin{array}{rclll} f(5) &=& (4\cdot 5+12)^2+8 &=& 1.032 \quad \rightarrow \quad P_1(5 \mid 1.032) \end{array}