Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Qual é o formato de lançamento para títulos após 1983?
 ###Tabelas: CREATE TABLE champions (champions_id AUTO_INCREMENT PRIMARY KEY, Season INT, Series Name VARCHAR, Champion VARCHAR, Team Champion VARCHAR, Secondary Class Champion VARCHAR) CREATE TABLE pool_c (pool_c_id AUTO_INCREMENT PRIMARY KEY, Date VARCHAR, Score VARCHAR, Set 1 VARCHAR, Set 2 VARCHAR, Set 3 VARCHAR, Total VARCHAR) CREATE TABLE release_history (release_history_id AUTO_INCREMENT PRIMARY KEY, Release format VARCHAR, Country VARCHAR, Label VARCHAR, Cat. No. VARCHAR, Release date INT) CREATE TABLE singles_titles_14 (singles_titles_14_id AUTO_INCREMENT PRIMARY KEY, Date VARCHAR, Tournament VARCHAR, Surface VARCHAR, Opponent VARCHAR, Score VARCHAR) CREATE TABLE satellites (satellites_id AUTO_INCREMENT PRIMARY KEY, Name VARCHAR, COSPAR ID SATCAT № VARCHAR, Launch date (UTC) VARCHAR, Launch vehicle VARCHAR, Launch site VARCHAR, Launch designation VARCHAR, Longitude VARCHAR)  
SELECT Release format FROM release_history WHERE Release date > 1983