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: Quem são os desenvolvedores com experiência superior a 4 e seus contratos inteligentes associados?
 ###Tabelas: 
CREATE TABLE developers (developer_id INT PRIMARY KEY, name VARCHAR(50), country VARCHAR(50), experience INT); INSERT INTO developers (developer_id, name, country, experience) VALUES (1, 'Alice', 'USA', 5), (2, 'Bob', 'Canada', 3), (3, 'Charlie', 'India', 6), (4, 'David', 'UK', 2), (5, 'Eva', 'Australia', 7); CREATE TABLE smart_contracts (contract_id INT PRIMARY KEY, name VARCHAR(50), language VARCHAR(50), developer_id INT, FOREIGN KEY (developer_id) REFERENCES developers(developer_id)); INSERT INTO smart_contracts (contract_id, name, language, developer_id) VALUES (1, 'CryptoKitties', 'Solidity', 1), (2, 'Uniswap', 'Vyper', 2), (3, 'Golem', 'Solidity', 3), (4, 'Chainlink', 'Solidity', 5), (5, 'MakerDAO', 'Solidity', 5);
SELECT d.name AS developer_name, s.name AS smart_contract_name FROM developers d INNER JOIN smart_contracts s ON d.developer_id = s.developer_id WHERE d.experience > 4;