o governo só pode leiloar 10 dos 40 empreendimentos submetidos ao tribunal