Sorry, I dashed that off, and then have been driving kids around. That is wrong. It is proportional to sqrt(n). And the fact that in the blog post it looked

Sorry, I dashed that off, and then have been driving kids around. That is wrong. It is proportional to sqrt(n). And the fact that in the blog post it looked quadratic rather than n^(3/2) suggests that the tool was producing misleading results.