Há erros no documento, valores divergentes entre as tabelas! Além disso, refiz os cálculos a partir dos relatórios atualizados de pessoal ativo, inativo, instituidor e pensionista por posto/graduação, o resultado foi muito diferente.