SELECT vacator FROM table_2417345_3 WHERE date_of_successors_formal_installation = "February 1, 1871"
Siapakah lawan ketika penggantinya dipasang secara resmi pada 1 Februari 1871?
CREATE TABLE table_2417345_3 (vacator VARCHAR, date_of_successors_formal_installation VARCHAR)