+fn read_elim_list(dir: &Path) -> std::io::Result<HashSet<String>> {
+ match std::fs::File::open(dir.join("eliminated")) {
+ Err(e) if e.kind() == std::io::ErrorKind::NotFound => Ok(HashSet::new()),
+ Err(e) => Err(e),
+ Ok(elimfile) => std::io::BufReader::new(elimfile).lines().collect(),
+ }
+}
+