user: Question: Which tribunal had a total of 4167?
Columns: ['Tribunal', 'Number of autos da fé with known sentences', 'Executions in persona', 'Executions in effigie', 'Penanced', 'Total']
Types: ['text', 'text', 'text', 'text', 'text', 'text']
Sample row: ['Lisbon', '248 (1540–1794)', '461', '181', '7024', '7666']
SQL:

assistant: SELECT "Tribunal" FROM "Table" WHERE "Total" = '4167';