Which tribunal had a total of 4167?
CREATE TABLE "table_of_sentences" (
  "tribunal" text,
  "number_of_autos_da_f_with_known_sentences" text,
  "executions_in_persona" text,
  "executions_in_effigie" text,
  "penanced" text,
  "total" text
);
SELECT "tribunal" FROM "table_of_sentences" WHERE "total"='4167';