models/user_solve_count_by_difficulty library