It has been one hour and the proof has 165 pages. Give them some time.