inverse_galois_problem