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, PRIMARY KEY (vacator))
select vacator from table_2417345_3 where date_of_successors_formal_installation = "february 1, 1871"