Faltando adicionar as condicoes de restricoes ao modulo Main, pois as funcoes de verificacao estao prontas.