user: Question: What the total amount of points won during seed 25?
Columns: ['Seed', 'Rank', 'Player', 'Points', 'Points defending', 'Points won', 'New points', 'Status']
Types: ['real', 'real', 'text', 'real', 'real', 'real', 'real', 'text']
Sample row: [2.0, 2.0, 'Roger Federer', 7215.0, 1200.0, 720.0, 6735.0, 'Semifinals lost to Novak Djokovic [3]']
SQL:

assistant: SELECT SUM("Points won") FROM "Table" WHERE "Seed" = 25.0;