A complexity analysis of the F4 Gröbner basis algorithm with tracer data. - Robin Kouba; Vincent Neiger; Mohab Safey El Din (CoRR, 2026)