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 nome tem um ano de nomeação de 2009 e anos até a aposentadoria obrigatória de 13 anos?
  ###Tabelas:
CREATE TABLE table_name_40 (name VARCHAR, year_appointed VARCHAR, years_until_mandatory_retirement VARCHAR)


SELECT name FROM table_name_40 WHERE year_appointed = 2009 AND years_until_mandatory_retirement = "13 years"