user: Question: Number of 13 that has what highest weight?
Columns: ['Number', 'Name', 'Position', 'Height', 'Weight', 'Class', 'Hometown']
Types: ['real', 'text', 'text', 'text', 'real', 'text', 'text']
Sample row: [0.0, 'Sean Ogirri', 'G', '6–2', 200.0, 'Senior*', 'Denver, Colorado']
SQL:

assistant: SELECT MAX("Weight") FROM "Table" WHERE "Number" = 13.0;