Update problem_1.sagews