user: Question: What is the average amount of gold medals for a country with more than 12 total medals?
Columns: ['Rank', 'Nation', 'Gold', 'Silver', 'Bronze', 'Total']
Types: ['real', 'text', 'real', 'real', 'real', 'real']
Sample row: [1.0, 'Japan', 6.0, 3.0, 3.0, 12.0]
SQL:

assistant: SELECT AVG("Gold") FROM "Table" WHERE "Total" > 12.0;