Prettyprint final solution