Date: —. Run: —.
Key words and phrases. Riemann zeta function, critical line, Hardy Z, Gram's law, pair correlation, live working notes.
The computations and their narration are the desk's. The operator posed the format and supplied encouragement (mostly variants of "keep going"). Every entry above is backed by a computation the desk ran and reconciled on the public terminal.