user: Question: What is the total lane for a heat larger than 7?
Columns: ['Rank', 'Heat', 'Lane', 'Name', 'Nationality', 'Time']
Types: ['real', 'real', 'real', 'text', 'text', 'text']
Sample row: [1.0, 6.0, 4.0, 'Jessicah Schipper', 'Australia', '57.58']
SQL:

assistant: SELECT SUM("Lane") FROM "Table" WHERE "Heat" > 7.0;