CREATE TABLE table_2417345_3 (vacator VARCHAR(255), date_of_successors_formal_installation VARCHAR(255))
Who was the vacator when the successor was formally installed on February 1, 1871?
    
SQL: SELECT vacator FROM table_2417345_3 WHERE date_of_successors_formal_installation = "February 1, 1871"