Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Qual tribunal teve um total de 4167?
 ###Tabelas: CREATE TABLE singles_performance_timeline (singles_performance_timeline_id AUTO_INCREMENT PRIMARY KEY, Tournament VARCHAR, 2008 VARCHAR, 2009 VARCHAR, 2010 VARCHAR, 2011 VARCHAR, 2012 VARCHAR, Win % VARCHAR) CREATE TABLE table_of_sentences (table_of_sentences_id AUTO_INCREMENT PRIMARY KEY, Tribunal VARCHAR, Number of autos da fé with known sentences VARCHAR, Executions in persona VARCHAR, Executions in effigie VARCHAR, Penanced VARCHAR, Total VARCHAR) CREATE TABLE biggest_attendances (biggest_attendances_id AUTO_INCREMENT PRIMARY KEY, Competition VARCHAR, Attendance INT, Opponent VARCHAR, Season VARCHAR, Result VARCHAR) CREATE TABLE race_1;_newcomers_race_c (race_1;_newcomers_race_c_id AUTO_INCREMENT PRIMARY KEY, Rank INT, Rider VARCHAR, Team VARCHAR, Speed VARCHAR, Time VARCHAR) CREATE TABLE nominations (nominations_id AUTO_INCREMENT PRIMARY KEY, Week 1 VARCHAR, Week 2 VARCHAR, Week 3 VARCHAR, Week 4 VARCHAR, Week 5 VARCHAR, Week 6 VARCHAR, Week 7 VARCHAR, Week 8 VARCHAR, Week 9 VARCHAR, Week 10 FINAL VARCHAR)  
SELECT Tribunal FROM table_of_sentences WHERE Total = 4167