Original writeup (http://darkbyte.ru/2012/61/phdays-quals-2012-writeup/#f100).