Task: NL2SQL (source dataset: Archer)

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

Tables:

Table: city
|   ID | Name           | CountryCode   | District      |   Population |
|-----:|:---------------|:--------------|:--------------|-------------:|
|    1 | Kabul          | AFG           | Kabol         |      1780000 |
|    2 | Qandahar       | AFG           | Qandahar      |       237500 |
|    3 | Herat          | AFG           | Herat         |       186800 |
|    4 | Mazar-e-Sharif | AFG           | Balkh         |       127800 |
|    5 | Amsterdam      | NLD           | Noord-Holland |       731200 |
|    6 | Rotterdam      | NLD           | Zuid-Holland  |       593321 |
|    7 | Haag           | NLD           | Zuid-Holland  |       440900 |
|    8 | Utrecht        | NLD           | Utrecht       |       234323 |
|    9 | Eindhoven      | NLD           | Noord-Brabant |       201843 |
|   10 | Tilburg        | NLD           | Noord-Brabant |       193238 |


Table: country
| Code   | Name                 | Continent     | Region                    |     SurfaceArea | IndepYear   |   Population |   LifeExpectancy |      GNP | GNPOld   | LocalName                          | GovernmentForm                               | HeadOfState                 |   Capital | Code2   |
|:-------|:---------------------|:--------------|:--------------------------|----------------:|:------------|-------------:|-----------------:|---------:|:---------|:-----------------------------------|:---------------------------------------------|:----------------------------|----------:|:--------|
| ABW    | Aruba                | North America | Caribbean                 |    193          |             |       103000 |             78.4 |    828   | 793.0    | Aruba                              | Nonmetropolitan Territory of The Netherlands | Beatrix                     |       129 | AW      |
| AFG    | Afghanistan          | Asia          | Southern and Central Asia | 652090          | 1919.0      |     22720000 |             45.9 |   5976   |          | Afganistan/Afqanestan              | Islamic Emirate                              | Mohammad Omar               |         1 | AF      |
| AGO    | Angola               | Africa        | Central Africa            |      1.2467e+06 | 1975.0      |     12878000 |             38.3 |   6648   | 7984.0   | Angola                             | Republic                                     | José Eduardo dos Santos     |        56 | AO      |
| AIA    | Anguilla             | North America | Caribbean                 |     96          |             |         8000 |             76.1 |     63.2 |          | Anguilla                           | Dependent Territory of the UK                | Elisabeth II                |        62 | AI      |
| ALB    | Albania              | Europe        | Southern Europe           |  28748          | 1912.0      |      3401200 |             71.6 |   3205   | 2500.0   | Shqipëria                          | Republic                                     | Rexhep Mejdani              |        34 | AL      |
| AND    | Andorra              | Europe        | Southern Europe           |    468          | 1278.0      |        78000 |             83.5 |   1630   |          | Andorra                            | Parliamentary Coprincipality                 |                             |        55 | AD      |
| ANT    | Netherlands Antilles | North America | Caribbean                 |    800          |             |       217000 |             74.7 |   1941   |          | Nederlandse Antillen               | Nonmetropolitan Territory of The Netherlands | Beatrix                     |        33 | AN      |
| ARE    | United Arab Emirates | Asia          | Middle East               |  83600          | 1971.0      |      2441000 |             74.1 |  37966   | 36846.0  | Al-Imarat al-´Arabiya al-Muttahida | Emirate Federation                           | Zayid bin Sultan al-Nahayan |        65 | AE      |
| ARG    | Argentina            | South America | South America             |      2.7804e+06 | 1816.0      |     37032000 |             75.1 | 340238   | 323310.0 | Argentina                          | Federal Republic                             | Fernando de la Rúa          |        69 | AR      |
| ARM    | Armenia              | Asia          | Middle East               |  29800          | 1991.0      |      3520000 |             66.4 |   1813   | 1627.0   | Hajastan                           | Republic                                     | Robert Kotšarjan            |       126 | AM      |


Table: countrylanguage
| CountryCode   | Language   | IsOfficial   |   Percentage |
|:--------------|:-----------|:-------------|-------------:|
| ABW           | Dutch      | T            |          5.3 |
| ABW           | English    | F            |          9.5 |
| ABW           | Papiamento | F            |         76.7 |
| ABW           | Spanish    | F            |          7.4 |
| AFG           | Balochi    | F            |          0.9 |
| AFG           | Dari       | T            |         32.1 |
| AFG           | Pashto     | T            |         52.4 |
| AFG           | Turkmenian | F            |          1.9 |
| AFG           | Uzbek      | F            |          8.8 |
| AGO           | Ambo       | F            |          2.4 |


Question: What North American city has a population that is at least double the population of Kang-won?

db_id: world_1
tables: name: city
data: city.csv
name: country
data: country.csv
name: countrylanguage
data: countrylanguage.csv
label: SELECT B.name FROM country A JOIN city B ON A.Code = B.CountryCode WHERE A.Continent = "North America" AND B.Population >= 2 * ( SELECT SUM ( Population ) FROM city WHERE District = "Kang-won" )
sqlite_path: $MMTU_HOME/data_sqlite/Archer/databases/world_1/world_1.sqlite