user: Question: What is the number of extra laps for 9 total points?
Columns: ['Rank', 'Name', 'Sprint Points', 'Extra Laps', 'Total Points']
Types: ['text', 'text', 'text', 'text', 'text']
Sample row: ['1', 'Mikhail Ignatiev ( RUS )', '13', '4', '93']
SQL:

assistant: SELECT "Extra Laps" FROM "Table" WHERE "Total Points" = '9';