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: Qual é a receita total para casos com um precedente estabelecido no Distrito Oeste de Washington?
 ###Tabelas: 
CREATE TABLE cases (id INT, precedent VARCHAR(255), revenue FLOAT); INSERT INTO cases (id, precedent, revenue) VALUES (1, 'Western District of Washington', 5000.00), (2, 'Eastern District of Washington', 7000.00), (3, 'Western District of Washington', 6000.00);
SELECT SUM(revenue) FROM cases WHERE precedent = 'Western District of Washington';