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 os nomes dos prestadores de serviços de saúde que atenderam a mais de 1000 pacientes?
 ###Tabelas: 
CREATE TABLE providers (id INT, name TEXT, specialty TEXT); CREATE TABLE patient_encounters (id INT, provider_id INT, patient_id INT); INSERT INTO providers (id, name, specialty) VALUES (1, 'Dr. Smith', 'Cardiology'), (2, 'Dr. Johnson', 'Pediatrics'); INSERT INTO patient_encounters (id, provider_id, patient_id) VALUES (1, 1, 1), (2, 1, 2), (3, 2, 3); INSERT INTO patient_encounters (id, provider_id, patient_id) VALUES (4, 1, 4), (5, 1, 5), (6, 1, 6), (7, 1, 7), (8, 1, 8), (9, 1, 9), (10, 1, 10);
SELECT providers.name FROM providers INNER JOIN patient_encounters ON providers.id = patient_encounters.provider_id GROUP BY providers.name HAVING COUNT(patient_encounters.id) > 1000;