IMO2001年比赛题目Mathematica版