https://pypy.org/posts/2024/07/mining-jit-traces-missing-optimizations-z3.html

Timeout fetching resource