user: Question: Average larger than 450, and a Capacity smaller than 5177, and a Stadium of Ochilview Park is what sum of the highest?
Columns: ['Team', 'Stadium', 'Capacity', 'Highest', 'Lowest', 'Average']
Types: ['text', 'text', 'real', 'real', 'real', 'real']
Sample row: ['Annan Athletic', 'Galabank Stadium', 3500.0, 1343.0, 422.0, 734.0]
SQL:

assistant: SELECT SUM("Highest") FROM "Table" WHERE "Average" > 450.0 AND "Capacity" < 5177.0 AND "Stadium" = 'Ochilview Park';