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: Quais contratos inteligentes foram implantados na rede 'Tezos' com mais de 5000 transações?
 ###Tabelas: 
CREATE TABLE tezos_contracts (contract_id INT, contract_address VARCHAR(40), network VARCHAR(10)); INSERT INTO tezos_contracts (contract_id, contract_address, network) VALUES (1, 'tz1abcdefghijklmnopqrstuvwxyz', 'Tezos'); CREATE TABLE contract_transactions (transaction_id INT, contract_id INT, block_number INT); INSERT INTO contract_transactions (transaction_id, contract_id, block_number) VALUES (1, 1, 1000); INSERT INTO contract_transactions (transaction_id, contract_id, block_number) VALUES (2, 1, 2000);
SELECT c.contract_address, COUNT(t.transaction_id) as transaction_count FROM tezos_contracts c JOIN contract_transactions t ON c.contract_id = t.contract_id WHERE c.network = 'Tezos' GROUP BY c.contract_address HAVING transaction_count > 5000;