Nice, near 5 minutes.., that is with some precalculated Distinguished points?
There the loading of the hashtable takes almost a minute. And the search took 3 minutes.
Yes, this is with precalculated DPs. It would be possible to accumulate more and find faster, but perhaps this will be enough.
Time will show. I am more concerned about the use of the mempool. It's for fun anyway...