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: Adicione um novo registro de contrato inteligente à tabela 'smart_contracts' com 'contract_address' 0x1234567890abcdef e 'contract_name' 'TokenSwap'
 ###Tabelas: 
CREATE TABLE smart_contracts (contract_address VARCHAR(42), contract_name VARCHAR(50), language VARCHAR(10), verified BOOLEAN);
INSERT INTO smart_contracts (contract_address, contract_name, language, verified) VALUES ('0x1234567890abcdef', 'TokenSwap', 'Solidity', FALSE);