user: Question: If the player is Corey Pavin when he had a To par of over 7, what was the sum of his totals?
Columns: ['Player', 'Country', 'Year(s) won', 'Total', 'To par', 'Finish']
Types: ['text', 'text', 'text', 'real', 'real', 'text']
Sample row: ['Ernie Els', 'South Africa', '1994', 281.0, 1.0, 'T5']
SQL:

assistant: SELECT SUM("Total") FROM "Table" WHERE "To par" > 7.0 AND "Player" = 'Corey Pavin';