Corrige bugs do GRAFO e da funcao de verificacao