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