Pelo que, no caso concreto, não silenciou a proposta apresentada sobre a condição imposta pela entidade adjudicante no Caderno de Encargos, antes está demonstrado em juízo, nos termos da factualidade aditada por este Tribunal ad quem, que nos termos em que a proposta foi apresentada, está assegurado o cumprimento da indicação do software e da indicação expressa de que o valor da proposta inclui o custo com esse software.