text: Below is an context that describes a sql query, paired with an question that provides further information. Write an answer that appropriately completes the request.  # noqa: E501
  ### Context:
  CREATE TABLE table_2417345_3 (vacator VARCHAR, date_of_successors_formal_installation VARCHAR)
  ### Question:
  Who was the vacator when the successor was formally installed on February 1, 1871?
  ### Answer:
  SELECT vacator FROM table_2417345_3 WHERE date_of_successors_formal_installation = "February 1, 1871"