user: Question: Of weightlifters who weighed more than 136.16, who had the highest Total?
Columns: ['Name', 'Bodyweight', 'Snatch', 'Clean & jerk', 'Total (kg)']
Types: ['text', 'real', 'real', 'real', 'real']
Sample row: ['Cheryl Haworth ( USA )', 136.16, 117.5, 135.0, 252.5]
SQL:

assistant: SELECT MAX("Total (kg)") FROM "Table" WHERE "Bodyweight" > 136.16;