Ministro Gilmar Ferreira Mendes, procurador Geraldo Brindeiro, ministro Paulo Costa Leite e ministro José Gregori