user: Question: What is the lowest prominence for a peak with elevation of 3615 meters?
Columns: ['Peak', 'Country', 'Elevation (m)', 'Prominence (m)', 'Col (m)']
Types: ['text', 'text', 'real', 'real', 'real']
Sample row: ['Jbel Toubkal', 'Morocco', 4167.0, 3755.0, 412.0]
SQL:

assistant: SELECT MIN("Prominence (m)") FROM "Table" WHERE "Elevation (m)" = 3615.0;