http://3cbzkrvakrpetjjppdwzbzqrlkmzatjs7jbyazap5gwutj32gcltjpqd.onion
What happened? Well, first of all, I am indeed not a mathematical genius (the last post
even forgot the “not”); I had a stupid conversion error in the estimation,
causing a factor 25 or so. But the rest came from actual speedups.