Post #4059541

@hannah@hai.z0ne.social with some harder problems it would sometimes run out of cache, but I think I will try to get a mode for effort in, so harder problems can still be solved with a bigger cache