Comment by minopret

Too bad this comes too late to earn a bounty in bitcoin at Proof Market. https://proofmarket.org/problem/view/12