What is the number of extra laps for 9 total points?
CREATE TABLE table_name_71 (extra_laps VARCHAR, total_points VARCHAR)
SELECT extra_laps FROM table_name_71 WHERE total_points = "9"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_71 (extra_laps VARCHAR, total_points VARCHAR) Question: What is the number of extra laps for 9 total points? [/INST] SELECT extra_laps FROM table_name_71 WHERE total_points = "9" </s>