Corrigido Bugs no cálculo dos SECs e gerado o ".s" (para recalcular o WCEC).