Task: NL2SQL (source dataset: bird)

Natural language to SQL, also known as NL2SQL, is the problem of generating a SQL query that can be executed on a input table, for a given natural language question.

You will be given an input table called "table" in the markdown format, as well as a question. Your task is to generate an SQL query that can be executed on the input table to answer the question.

Please ensure that the generated SQL only return relevant columns being specifically asked in the question (e.g., in SQL please don't return more than one columns in SELECT if only one column is needed to answer the given question, and similarly please refrain from using SELECT * unless the entire row is needed to answer the question).
 
When generating SQL code, please use the SQLite syntax to ensure that your SQL is executable on SQLite3. Use only columns that are present in the table, always use quotes around your column and table names (some column names have punctuation or special characters), and refer to the columns using the column-names exactly as they appear in the table, do not add or remove punctuation (underscore, slash, etc.)

No explanation, return the code only with the following markdown codeblock format : ```sql<SQL CODE>```. For example, ```sql
SELECT * FROM "table"
``` is a valid format.

Database:
formula_1

Tables:

Table: circuits
|   circuitId | circuitRef     | name                           | location     | country   |      lat |       lng | alt   | url                                                         |
|------------:|:---------------|:-------------------------------|:-------------|:----------|---------:|----------:|:------|:------------------------------------------------------------|
|           2 | sepang         | Sepang International Circuit   | Kuala Lumpur | Malaysia  |  2.76083 | 101.738   |       | http://en.wikipedia.org/wiki/Sepang_International_Circuit   |
|           3 | bahrain        | Bahrain International Circuit  | Sakhir       | Bahrain   | 26.0325  |  50.5106  |       | http://en.wikipedia.org/wiki/Bahrain_International_Circuit  |
|           4 | catalunya      | Circuit de Barcelona-Catalunya | Montmeló     | Spain     | 41.57    |   2.26111 |       | http://en.wikipedia.org/wiki/Circuit_de_Barcelona-Catalunya |
|           5 | istanbul       | Istanbul Park                  | Istanbul     | Turkey    | 40.9517  |  29.405   |       | http://en.wikipedia.org/wiki/Istanbul_Park                  |
|           6 | monaco         | Circuit de Monaco              | Monte-Carlo  | Monaco    | 43.7347  |   7.42056 |       | http://en.wikipedia.org/wiki/Circuit_de_Monaco              |
|           7 | villeneuve     | Circuit Gilles Villeneuve      | Montreal     | Canada    | 45.5     | -73.5228  |       | http://en.wikipedia.org/wiki/Circuit_Gilles_Villeneuve      |
|           8 | magny_cours    | Circuit de Nevers Magny-Cours  | Magny Cours  | France    | 46.8642  |   3.16361 |       | http://en.wikipedia.org/wiki/Circuit_de_Nevers_Magny-Cours  |
|           9 | silverstone    | Silverstone Circuit            | Silverstone  | UK        | 52.0786  |  -1.01694 |       | http://en.wikipedia.org/wiki/Silverstone_Circuit            |
|          10 | hockenheimring | Hockenheimring                 | Hockenheim   | Germany   | 49.3278  |   8.56583 |       | http://en.wikipedia.org/wiki/Hockenheimring                 |
|          11 | hungaroring    | Hungaroring                    | Budapest     | Hungary   | 47.5789  |  19.2486  |       | http://en.wikipedia.org/wiki/Hungaroring                    |


Table: constructors
|   constructorId | constructorRef   | name        | nationality   | url                                                          |
|----------------:|:-----------------|:------------|:--------------|:-------------------------------------------------------------|
|               1 | mclaren          | McLaren     | British       | http://en.wikipedia.org/wiki/McLaren                         |
|               2 | bmw_sauber       | BMW Sauber  | German        | http://en.wikipedia.org/wiki/BMW_Sauber                      |
|               3 | williams         | Williams    | British       | http://en.wikipedia.org/wiki/Williams_Grand_Prix_Engineering |
|               4 | renault          | Renault     | French        | http://en.wikipedia.org/wiki/Renault_F1                      |
|               5 | toro_rosso       | Toro Rosso  | Italian       | http://en.wikipedia.org/wiki/Scuderia_Toro_Rosso             |
|               6 | ferrari          | Ferrari     | Italian       | http://en.wikipedia.org/wiki/Scuderia_Ferrari                |
|               7 | toyota           | Toyota      | Japanese      | http://en.wikipedia.org/wiki/Toyota_Racing                   |
|               8 | super_aguri      | Super Aguri | Japanese      | http://en.wikipedia.org/wiki/Super_Aguri_F1                  |
|               9 | red_bull         | Red Bull    | Austrian      | http://en.wikipedia.org/wiki/Red_Bull_Racing                 |
|              10 | force_india      | Force India | Indian        | http://en.wikipedia.org/wiki/Force_India                     |


Table: drivers
|   driverId | driverRef   | number   | code   | forename   | surname    | dob        | nationality   | url                                                   |
|-----------:|:------------|:---------|:-------|:-----------|:-----------|:-----------|:--------------|:------------------------------------------------------|
|          1 | hamilton    | 44.0     | HAM    | Lewis      | Hamilton   | 1985-01-07 | British       | http://en.wikipedia.org/wiki/Lewis_Hamilton           |
|          2 | heidfeld    |          | HEI    | Nick       | Heidfeld   | 1977-05-10 | German        | http://en.wikipedia.org/wiki/Nick_Heidfeld            |
|          3 | rosberg     | 6.0      | ROS    | Nico       | Rosberg    | 1985-06-27 | German        | http://en.wikipedia.org/wiki/Nico_Rosberg             |
|          4 | alonso      | 14.0     | ALO    | Fernando   | Alonso     | 1981-07-29 | Spanish       | http://en.wikipedia.org/wiki/Fernando_Alonso          |
|          5 | kovalainen  |          | KOV    | Heikki     | Kovalainen | 1981-10-19 | Finnish       | http://en.wikipedia.org/wiki/Heikki_Kovalainen        |
|          6 | nakajima    |          | NAK    | Kazuki     | Nakajima   | 1985-01-11 | Japanese      | http://en.wikipedia.org/wiki/Kazuki_Nakajima          |
|          7 | bourdais    |          | BOU    | Sébastien  | Bourdais   | 1979-02-28 | French        | http://en.wikipedia.org/wiki/S%C3%A9bastien_Bourdais  |
|          8 | raikkonen   | 7.0      | RAI    | Kimi       | Räikkönen  | 1979-10-17 | Finnish       | http://en.wikipedia.org/wiki/Kimi_R%C3%A4ikk%C3%B6nen |
|          9 | kubica      |          | KUB    | Robert     | Kubica     | 1984-12-07 | Polish        | http://en.wikipedia.org/wiki/Robert_Kubica            |
|         10 | glock       |          | GLO    | Timo       | Glock      | 1982-03-18 | German        | http://en.wikipedia.org/wiki/Timo_Glock               |


Table: seasons
|   year | url                                                  |
|-------:|:-----------------------------------------------------|
|   1950 | http://en.wikipedia.org/wiki/1950_Formula_One_season |
|   1951 | http://en.wikipedia.org/wiki/1951_Formula_One_season |
|   1952 | http://en.wikipedia.org/wiki/1952_Formula_One_season |
|   1953 | http://en.wikipedia.org/wiki/1953_Formula_One_season |
|   1954 | http://en.wikipedia.org/wiki/1954_Formula_One_season |
|   1955 | http://en.wikipedia.org/wiki/1955_Formula_One_season |
|   1956 | http://en.wikipedia.org/wiki/1956_Formula_One_season |
|   1957 | http://en.wikipedia.org/wiki/1957_Formula_One_season |
|   1958 | http://en.wikipedia.org/wiki/1958_Formula_One_season |
|   1959 | http://en.wikipedia.org/wiki/1959_Formula_One_season |


Table: races
|   raceId |   year |   round |   circuitId | name                  | date       | time     | url                                                     |
|---------:|-------:|--------:|------------:|:----------------------|:-----------|:---------|:--------------------------------------------------------|
|        1 |   2009 |       1 |           1 | Australian Grand Prix | 2009-03-29 | 06:00:00 | http://en.wikipedia.org/wiki/2009_Australian_Grand_Prix |
|        2 |   2009 |       2 |           2 | Malaysian Grand Prix  | 2009-04-05 | 09:00:00 | http://en.wikipedia.org/wiki/2009_Malaysian_Grand_Prix  |
|        3 |   2009 |       3 |          17 | Chinese Grand Prix    | 2009-04-19 | 07:00:00 | http://en.wikipedia.org/wiki/2009_Chinese_Grand_Prix    |
|        4 |   2009 |       4 |           3 | Bahrain Grand Prix    | 2009-04-26 | 12:00:00 | http://en.wikipedia.org/wiki/2009_Bahrain_Grand_Prix    |
|        5 |   2009 |       5 |           4 | Spanish Grand Prix    | 2009-05-10 | 12:00:00 | http://en.wikipedia.org/wiki/2009_Spanish_Grand_Prix    |
|        6 |   2009 |       6 |           6 | Monaco Grand Prix     | 2009-05-24 | 12:00:00 | http://en.wikipedia.org/wiki/2009_Monaco_Grand_Prix     |
|        7 |   2009 |       7 |           5 | Turkish Grand Prix    | 2009-06-07 | 12:00:00 | http://en.wikipedia.org/wiki/2009_Turkish_Grand_Prix    |
|        8 |   2009 |       8 |           9 | British Grand Prix    | 2009-06-21 | 12:00:00 | http://en.wikipedia.org/wiki/2009_British_Grand_Prix    |
|        9 |   2009 |       9 |          20 | German Grand Prix     | 2009-07-12 | 12:00:00 | http://en.wikipedia.org/wiki/2009_German_Grand_Prix     |
|       10 |   2009 |      10 |          11 | Hungarian Grand Prix  | 2009-07-26 | 12:00:00 | http://en.wikipedia.org/wiki/2009_Hungarian_Grand_Prix  |


Table: constructorResults
|   constructorResultsId |   raceId |   constructorId |   points | status   |
|-----------------------:|---------:|----------------:|---------:|:---------|
|                      1 |       18 |               1 |       14 |          |
|                      2 |       18 |               2 |        8 |          |
|                      3 |       18 |               3 |        9 |          |
|                      4 |       18 |               4 |        5 |          |
|                      5 |       18 |               5 |        2 |          |
|                      6 |       18 |               6 |        1 |          |
|                      7 |       18 |               7 |        0 |          |
|                      8 |       18 |               8 |        0 |          |
|                      9 |       18 |               9 |        0 |          |
|                     10 |       18 |              10 |        0 |          |


Table: constructorStandings
|   constructorStandingsId |   raceId |   constructorId |   points |   position |   positionText |   wins |
|-------------------------:|---------:|----------------:|---------:|-----------:|---------------:|-------:|
|                        1 |       18 |               1 |       14 |          1 |              1 |      1 |
|                        2 |       18 |               2 |        8 |          3 |              3 |      0 |
|                        3 |       18 |               3 |        9 |          2 |              2 |      0 |
|                        4 |       18 |               4 |        5 |          4 |              4 |      0 |
|                        5 |       18 |               5 |        2 |          5 |              5 |      0 |
|                        6 |       18 |               6 |        1 |          6 |              6 |      0 |
|                        7 |       19 |               1 |       24 |          1 |              1 |      1 |
|                        8 |       19 |               2 |       19 |          2 |              2 |      0 |
|                        9 |       19 |               3 |        9 |          4 |              4 |      0 |
|                       10 |       19 |               4 |        6 |          5 |              5 |      0 |


Table: driverStandings
|   driverStandingsId |   raceId |   driverId |   points |   position |   positionText |   wins |
|--------------------:|---------:|-----------:|---------:|-----------:|---------------:|-------:|
|                   1 |       18 |          1 |       10 |          1 |              1 |      1 |
|                   2 |       18 |          2 |        8 |          2 |              2 |      0 |
|                   3 |       18 |          3 |        6 |          3 |              3 |      0 |
|                   4 |       18 |          4 |        5 |          4 |              4 |      0 |
|                   5 |       18 |          5 |        4 |          5 |              5 |      0 |
|                   6 |       18 |          6 |        3 |          6 |              6 |      0 |
|                   7 |       18 |          7 |        2 |          7 |              7 |      0 |
|                   8 |       18 |          8 |        1 |          8 |              8 |      0 |
|                   9 |       19 |          1 |       14 |          1 |              1 |      1 |
|                  10 |       19 |          2 |       11 |          3 |              3 |      0 |


Table: lapTimes
|   raceId |   driverId |   lap |   position | time     |   milliseconds |
|---------:|-----------:|------:|-----------:|:---------|---------------:|
|        1 |          1 |     1 |         13 | 1:49.088 |         109088 |
|        1 |          1 |     2 |         12 | 1:33.740 |          93740 |
|        1 |          1 |     3 |         11 | 1:31.600 |          91600 |
|        1 |          1 |     4 |         10 | 1:31.067 |          91067 |
|        1 |          1 |     5 |         10 | 1:32.129 |          92129 |
|        1 |          1 |     6 |          9 | 1:30.469 |          90469 |
|        1 |          1 |     7 |          9 | 1:29.488 |          89488 |
|        1 |          1 |     8 |          9 | 1:30.302 |          90302 |
|        1 |          1 |     9 |          9 | 1:30.889 |          90889 |
|        1 |          1 |    10 |          8 | 1:32.418 |          92418 |


Table: pitStops
|   raceId |   driverId |   stop |   lap | time     |   duration |   milliseconds |
|---------:|-----------:|-------:|------:|:---------|-----------:|---------------:|
|      841 |          1 |      1 |    16 | 17:28:24 |     23.227 |          23227 |
|      841 |          1 |      2 |    36 | 17:59:29 |     23.199 |          23199 |
|      841 |          2 |      1 |    15 | 17:27:41 |     22.994 |          22994 |
|      841 |          2 |      2 |    30 | 17:51:32 |     25.098 |          25098 |
|      841 |          3 |      1 |    16 | 17:29:00 |     23.716 |          23716 |
|      841 |          4 |      1 |    12 | 17:22:34 |     23.251 |          23251 |
|      841 |          4 |      2 |    27 | 17:46:04 |     24.733 |          24733 |
|      841 |          4 |      3 |    42 | 18:09:08 |     24.181 |          24181 |
|      841 |          5 |      1 |    17 | 17:31:11 |     24.865 |          24865 |
|      841 |         10 |      1 |    18 | 17:33:02 |     23.792 |          23792 |


Table: qualifying
|   qualifyId |   raceId |   driverId |   constructorId |   number |   position | q1       | q2       | q3       |
|------------:|---------:|-----------:|----------------:|---------:|-----------:|:---------|:---------|:---------|
|           1 |       18 |          1 |               1 |       22 |          1 | 1:26.572 | 1:25.187 | 1:26.714 |
|           2 |       18 |          9 |               2 |        4 |          2 | 1:26.103 | 1:25.315 | 1:26.869 |
|           3 |       18 |          5 |               1 |       23 |          3 | 1:25.664 | 1:25.452 | 1:27.079 |
|           4 |       18 |         13 |               6 |        2 |          4 | 1:25.994 | 1:25.691 | 1:27.178 |
|           5 |       18 |          2 |               2 |        3 |          5 | 1:25.960 | 1:25.518 | 1:27.236 |
|           6 |       18 |         15 |               7 |       11 |          6 | 1:26.427 | 1:26.101 | 1:28.527 |
|           7 |       18 |          3 |               3 |        7 |          7 | 1:26.295 | 1:26.059 | 1:28.687 |
|           8 |       18 |         14 |               9 |        9 |          8 | 1:26.381 | 1:26.063 | 1:29.041 |
|           9 |       18 |         10 |               7 |       12 |          9 | 1:26.919 | 1:26.164 | 1:29.593 |
|          10 |       18 |         20 |               5 |       15 |         10 | 1:26.702 | 1:25.842 |          |


Table: status
|   statusId | status       |
|-----------:|:-------------|
|          1 | Finished     |
|          2 | Disqualified |
|          3 | Accident     |
|          4 | Collision    |
|          5 | Engine       |
|          6 | Gearbox      |
|          7 | Transmission |
|          8 | Clutch       |
|          9 | Hydraulics   |
|         10 | Electrical   |


Table: results
|   resultId |   raceId |   driverId |   constructorId |   number |   grid | position   | positionText   |   positionOrder |   points |   laps | time        | milliseconds   |   fastestLap |   rank | fastestLapTime   |   fastestLapSpeed |   statusId |
|-----------:|---------:|-----------:|----------------:|---------:|-------:|:-----------|:---------------|----------------:|---------:|-------:|:------------|:---------------|-------------:|-------:|:-----------------|------------------:|-----------:|
|          1 |       18 |          1 |               1 |       22 |      1 | 1.0        | 1              |               1 |       10 |     58 | 1:34:50.616 | 5690616.0      |           39 |      2 | 1:27.452         |           218.3   |          1 |
|          2 |       18 |          2 |               2 |        3 |      5 | 2.0        | 2              |               2 |        8 |     58 | +5.478      | 5696094.0      |           41 |      3 | 1:27.739         |           217.586 |          1 |
|          3 |       18 |          3 |               3 |        7 |      7 | 3.0        | 3              |               3 |        6 |     58 | +8.163      | 5698779.0      |           41 |      5 | 1:28.090         |           216.719 |          1 |
|          4 |       18 |          4 |               4 |        5 |     11 | 4.0        | 4              |               4 |        5 |     58 | +17.181     | 5707797.0      |           58 |      7 | 1:28.603         |           215.464 |          1 |
|          5 |       18 |          5 |               1 |       23 |      3 | 5.0        | 5              |               5 |        4 |     58 | +18.014     | 5708630.0      |           43 |      1 | 1:27.418         |           218.385 |          1 |
|          6 |       18 |          6 |               3 |        8 |     13 | 6.0        | 6              |               6 |        3 |     57 |             |                |           50 |     14 | 1:29.639         |           212.974 |         11 |
|          7 |       18 |          7 |               5 |       14 |     17 | 7.0        | 7              |               7 |        2 |     55 |             |                |           22 |     12 | 1:29.534         |           213.224 |          5 |
|          8 |       18 |          8 |               6 |        1 |     15 | 8.0        | 8              |               8 |        1 |     53 |             |                |           20 |      4 | 1:27.903         |           217.18  |          5 |
|          9 |       18 |          9 |               2 |        4 |      2 |            | R              |               9 |        0 |     47 |             |                |           15 |      9 | 1:28.753         |           215.1   |          4 |
|         10 |       18 |         10 |               7 |       12 |     18 |            | R              |              10 |        0 |     43 |             |                |           23 |     13 | 1:29.558         |           213.166 |          3 |


Question: How much faster in percentage is the champion than the driver who finished the race last in the 2008 Australian Grand Prix?

db_id: formula_1
tables: name: circuits
data: circuits.csv
name: constructors
data: constructors.csv
name: drivers
data: drivers.csv
name: seasons
data: seasons.csv
name: races
data: races.csv
name: constructorResults
data: constructorResults.csv
name: constructorStandings
data: constructorStandings.csv
name: driverStandings
data: driverStandings.csv
name: lapTimes
data: lapTimes.csv
name: pitStops
data: pitStops.csv
name: qualifying
data: qualifying.csv
name: status
data: status.csv
name: results
data: results.csv
label: WITH time_in_seconds AS ( SELECT T1.positionOrder, CASE WHEN T1.positionOrder = 1 THEN (CAST(SUBSTR(T1.time, 1, 1) AS REAL) * 3600) + (CAST(SUBSTR(T1.time, 3, 2) AS REAL) * 60) + CAST(SUBSTR(T1.time, 6) AS REAL) ELSE CAST(SUBSTR(T1.time, 2) AS REAL) END AS time_seconds FROM results AS T1 INNER JOIN races AS T2 ON T1.raceId = T2.raceId WHERE T2.name = 'Australian Grand Prix' AND T1.time IS NOT NULL AND T2.year = 2008 ), champion_time AS ( SELECT time_seconds FROM time_in_seconds WHERE positionOrder = 1), last_driver_incremental AS ( SELECT time_seconds FROM time_in_seconds WHERE positionOrder = (SELECT MAX(positionOrder) FROM time_in_seconds) ) SELECT (CAST((SELECT time_seconds FROM last_driver_incremental) AS REAL) * 100) / (SELECT time_seconds + (SELECT time_seconds FROM last_driver_incremental) FROM champion_time)
sqlite_path: $MMTU_HOME/data_sqlite/bird/dev_20240627/dev_databases/formula_1/formula_1.sqlite