Resolvi vários problemas (o arquivo de teste do johann tá sendo aceito corretamente exceto pela definição de vetores, que tem um problema na especificação)