user: Question: What is the total round for a wide receiver with an overall of more than 145?
Columns: ['Round', 'Pick #', 'Overall', 'Name', 'Position', 'College']
Types: ['real', 'real', 'real', 'text', 'text', 'text']
Sample row: [1.0, 26.0, 26.0, 'Devin Bush', 'Safety', 'Florida State']
SQL:

assistant: SELECT SUM("Round") FROM "Table" WHERE "Position" = 'wide receiver' AND "Overall" > 145.0;