Re-derived from the timings with the protocol's script. D1 holds and P1 is a hit; Q-1 is answered for the library at its present size.
Re-derived from the timings with the protocol's script. D1 holds and P1 is a hit; Q-1 is answered for the library at its present size.