richardr1126/spider-skeleton-context-instruct huggingface dataset:
### Instruction:

Convert text to sql: How long does track Fast As a Shark has? | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select _ from _ where _ | select milliseconds from tracks where name = 'Fast As a Shark'
### Instruction:

Convert text to sql: How many milliseconds long is Fast As a Shark? | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select _ from _ where _ | select milliseconds from tracks where name = 'Fast As a Shark'
### Instruction:

Convert text to sql: What is the name of tracks whose genre is Rock? | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select _ from _ where _ | select tracks.name from genres join tracks on genres.id = tracks.genre_id where genres.name = 'Rock'
### Instruction:

Convert text to sql: What is the name of all tracks in the Rock genre? | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select _ from _ where _ | select tracks.name from genres join tracks on genres.id = tracks.genre_id where genres.name = 'Rock'
### Instruction:

Convert text to sql: What is title of album which track Balls to the Wall belongs to? | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select _ from _ where _ | select albums.title from albums join tracks on albums.id = tracks.genre_id where tracks.name = 'Balls to the Wall'
### Instruction:

Convert text to sql: What is the name of the album that has the track Ball to the Wall? | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select _ from _ where _ | select albums.title from albums join tracks on albums.id = tracks.genre_id where tracks.name = 'Balls to the Wall'
### Instruction:

Convert text to sql: List name of all tracks in Balls to the Wall. | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select _ from _ where _ | select tracks.name from albums join tracks on albums.id = tracks.genre_id where albums.title = 'Balls to the Wall'
### Instruction:

Convert text to sql: What is the name of all tracks in the album named Balls to the Wall? | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select _ from _ where _ | select tracks.name from albums join tracks on albums.id = tracks.genre_id where albums.title = 'Balls to the Wall'
### Instruction:

Convert text to sql: List title of albums have the number of tracks greater than 10. | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select _ from _ group by _ having count ( _ ) > _ | select albums.title from albums join tracks on albums.id = tracks.album_id group by albums.id having count ( albums.id ) > 10
### Instruction:

Convert text to sql: What are the names of the albums that have more than 10 tracks? | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select _ from _ group by _ having count ( _ ) > _ | select albums.title from albums join tracks on albums.id = tracks.album_id group by albums.id having count ( albums.id ) > 10
### Instruction:

Convert text to sql: List the name of tracks belongs to genre Rock and whose media type is MPEG audio file. | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select _ from _ where _ | select tracks.name from genres join tracks on genres.id = tracks.genre_id join media_types on media_types.id = tracks.media_type_id where genres.name = 'Rock' and media_types.name = 'MPEG audio file'
### Instruction:

Convert text to sql: What are the names of all Rock tracks that are stored on MPEG audio files? | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select _ from _ where _ | select tracks.name from genres join tracks on genres.id = tracks.genre_id join media_types on media_types.id = tracks.media_type_id where genres.name = 'Rock' and media_types.name = 'MPEG audio file'
### Instruction:

Convert text to sql: List the name of tracks belongs to genre Rock or media type is MPEG audio file. | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select _ from _ where _ | select tracks.name from genres join tracks on genres.id = tracks.genre_id join media_types on media_types.id = tracks.media_type_id where genres.name = 'Rock' or media_types.name = 'MPEG audio file'
### Instruction:

Convert text to sql: What are the names of all tracks that belong to the Rock genre and whose media type is MPEG? | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select _ from _ where _ | select tracks.name from genres join tracks on genres.id = tracks.genre_id join media_types on media_types.id = tracks.media_type_id where genres.name = 'Rock' or media_types.name = 'MPEG audio file'
### Instruction:

Convert text to sql: List the name of tracks belongs to genre Rock or genre Jazz. | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select _ from _ where _ | select tracks.name from genres join tracks on genres.id = tracks.genre_id where genres.name = 'Rock' or genres.name = 'Jazz'
### Instruction:

Convert text to sql: What are the names of the tracks that are Rock or Jazz songs? | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select _ from _ where _ | select tracks.name from genres join tracks on genres.id = tracks.genre_id where genres.name = 'Rock' or genres.name = 'Jazz'