Gauss: finalmente terminado, mas falta salvar e gravar o tempo de resolução.