My solutions from Prata examples book