user: Question: What's the total of the 2012-13 season when they're ranked 1st, a high more than 31884 and an average more than 15234?
Columns: ['Season', 'High', 'Average', 'Total', 'League Ranking']
Types: ['text', 'real', 'real', 'real', 'text']
Sample row: ['2005-06 season', 18026.0, 14158.0, 141578.0, '3rd']
SQL:

assistant: SELECT "Total" FROM "Table" WHERE "League Ranking" = '1st' AND "High" > 31884.0 AND "Average" > 15234.0 AND "Season" = '2012-13 season';