Task: NL2SQL (source dataset: Spider)

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:
video_game

Tables:

Table: platform
|   Platform_ID | Platform_name   | Market_district   |   Download_rank |
|--------------:|:----------------|:------------------|----------------:|
|             1 | Game Boy        | Asia              |               2 |
|             2 | SNES            | USA               |               3 |
|             3 | PlayStation     | Europe            |               1 |
|             4 | Nintendo 64     | Brazil            |               4 |


Table: game
|   Game_ID | Title                                   | Release_Date      | Franchise         | Developers           |   Platform_ID |   Units_sold_Millions |
|----------:|:----------------------------------------|:------------------|:------------------|:---------------------|--------------:|----------------------:|
|         1 | Pokémon Red / Green / Blue Version      | 27 February 1996  | Pokémon           | Nintendo / GameFreak |             1 |                 31.37 |
|         2 | Pokémon Gold / Silver Version           | 21 November 1999  | Pokémon           | Nintendo/GameFreak   |             1 |                 23.1  |
|         3 | Super Mario World                       | 21 November 1990  | Super Mario Bros. | Nintendo             |             2 |                 20.61 |
|         4 | Pokémon Yellow: Special Pikachu Edition | 12 September 1998 | Pokémon           | Nintendo/GameFreak   |             1 |                 14.64 |
|         5 | Super Mario 64                          | 23 June 1996      | Super Mario Bros. | Nintendo             |             3 |                 11.89 |
|         6 | Super Mario Land 2: 6 Golden Coins      | 21 October 1992   | Super Mario Bros. | Nintendo             |             1 |                 11.18 |
|         7 | Gran Turismo                            | 23 December 1997  | Gran Turismo      | Polyphony Digital    |             4 |                 11.15 |
|         8 | Super Mario All-Stars                   | 14 July 1993      | Super Mario Bros. | Nintendo             |             2 |                 10.55 |
|         9 | Mario Kart 64                           | 14 December 1996  | Mario Kart        | Nintendo             |             3 |                  9.87 |


Table: player
|   Player_ID |   Rank_of_the_year | Player_name        | Position         | College    |
|------------:|-------------------:|:-------------------|:-----------------|:-----------|
|        1976 |                  1 | Lee Roy Selmon     | Defensive end    | Oklahoma   |
|        1977 |                  1 | Ricky Bell *       | Running back     | USC        |
|        1978 |                 17 | Doug Williams      | Quarterback      | Grambling  |
|        1980 |                 22 | Ray Snell          | Guard            | Wisconsin  |
|        1981 |                  7 | Hugh Green         | Linebacker       | Pittsburgh |
|        1982 |                 18 | Sean Farrell       | Guard            | Penn State |
|        1985 |                  8 | Ron Holmes         | Defensive end    | Washington |
|        1986 |                  1 | Bo Jackson *       | Running back     | Auburn     |
|        1987 |                  1 | Vinny Testaverde * | Quarterback      | Miami      |
|        1988 |                  4 | Paul Gruber        | Offensive tackle | Wisconsin  |


Table: game_player
|   Player_ID |   Game_ID | If_active   |
|------------:|----------:|:------------|
|        1976 |         1 | F           |
|        1976 |         2 | T           |
|        2006 |         3 | T           |
|        2005 |         4 | T           |
|        1981 |         3 | T           |
|        1986 |         1 | F           |
|        1997 |         2 | T           |
|        1997 |         3 | T           |
|        1997 |         4 | T           |
|        1996 |         3 | T           |


Question: List the name of players that do not play any game.

db_id: video_game
tables: name: platform
data: platform.csv
name: game
data: game.csv
name: player
data: player.csv
name: game_player
data: game_player.csv
label: SELECT Player_name FROM player WHERE Player_ID NOT IN (SELECT Player_ID FROM game_player)
sqlite_path: $MMTU_HOME/data_sqlite/spider/spider_data/test_database/video_game/video_game.sqlite