Comment by measurablefunc

Someone should take the sub-exponential proof & write something executable.