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: Quem foi o vacante quando o sucessor foi formalmente instalado em 1 de fevereiro de 1871?
  ###Tabelas:
CREATE TABLE table_2417345_3 (vacator VARCHAR, date_of_successors_formal_installation VARCHAR)


SELECT vacator FROM table_2417345_3 WHERE date_of_successors_formal_installation = "February 1, 1871"