https://123dok.net/document/q2np43d2-mike-paterson-and-uri-zwick.html