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: Liste todos os contratos de defesa assinados no Texas em 2019 com um valor superior a 1000000.
 ###Tabelas: 
CREATE TABLE DefenseContracts (contract_id INT, state VARCHAR(255), year INT, value FLOAT); INSERT INTO DefenseContracts (contract_id, state, year, value) VALUES (1, 'Texas', 2019, 1500000), (2, 'Texas', 2018, 800000), (3, 'Florida', 2019, 1200000);
SELECT * FROM DefenseContracts WHERE state = 'Texas' AND year = 2019 AND value > 1000000;