This post has moved to The paper that proved our 5 lines of code were optimal.