Moved the proof data from oscar/razzies to the proof folder
The latest result