I don't see any example solutions in the paper? If it is solving olympiad level problems, I want to see some!?