Who was the vacator when the successor was formally installed on February 1, 1871?
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"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: 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? [/INST] SELECT vacator FROM table_2417345_3 WHERE date_of_successors_formal_installation = "February 1, 1871" </s>