Utilities to explore the hint selection problem for Prover9