exercise_solutions really does need to \input{main.labels}