Se for provado por documentos que o servidor se encaixa na situação genérica da sentença e se o valor puder ser apurado por simples cálculos aritméticos, não será necessária a prévia liquidação do julgado.