https://www.hex-rays.com/contests/2013/