Loading annotation for solve.mit.edu