The zeros were isolated rigorously using the algorithm described in "Isolating some non-trivial zeros of Zeta" by Dave Platt [MR:3315519, 10.1090/S0025-5718-2014-02884-6] . The imaginary parts are stored with an absolute precision of $±2^{−102}$ and the completeness of the list was checked using a rigorous version of Turing's method.