fiddle some more with "max_new_relevant_facts_per_iter"
fiddle some more with "max_new_relevant_facts_per_iter"

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle