Submissions for team ELIZEU LEANDRO FERREIRA DA SILVA on problem FSM Elevador Predial Inteligente