A Sentença deu como provado que o Programa do Procedimento ou o Caderno de Encargos não estabelecem em lado algum que o desvio entre o preço base e o preço total da proposta se aferirá pela diferença do resultado obtido após o cálculo da fórmula e os 100%, isto é, subtraindo aos 100%, o resultado obtido.