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 distritos de justiça têm mais de 5 programas de ADR estabelecidos?
 ###Tabelas: 
CREATE TABLE ADRPrograms (ID INT, District VARCHAR(20), YearEstablished INT); INSERT INTO ADRPrograms (ID, District, YearEstablished) VALUES (1, 'East River', 2010), (2, 'North Valley', 2012), (3, 'South Peak', 2015), (4, 'East River', 2018), (5, 'North Valley', 2020);
SELECT District, COUNT(*) FROM ADRPrograms GROUP BY District HAVING COUNT(*) > 5;