user: Question: How many people did Mayor Olav Martin Vik preside over?
Columns: ['Name', 'Innhabitants', 'Area', 'Mayor', 'Party', 'Municipal code', 'Language form']
Types: ['text', 'real', 'real', 'text', 'text', 'real', 'text']
Sample row: ['Askøy', 24875.0, 100.0, 'Knut Hanselmann', 'Frp', 1247.0, 'Neutral']
SQL:

assistant: SELECT SUM("Innhabitants") FROM "Table" WHERE "Mayor" = 'Olav Martin Vik';