Update problem_3.sagews