Certificate data for the paper "Rigorous lower bounds for the truncated Weil form up to support length ln 71 via a lattice minorant"

Certificate data for the paper “Rigorous lower bounds for the truncated Weil form up to support length ln 71 via a lattice minorant”: Theorem 1.1 for c = 2, …, 31, 45 and 47 in both parity sectors and Proposition 1.3 for c = 71 in the even sector. For each of these c and sectors, the archive contains two certificates, at ε = 0 and at the found constant εc (respectively εc−), a total of 130 certificates: run records: parameters, verification outcome, lower bound of the margin (seven digits; the rigorous one - minus one in the seventh digit), sizes of the sets and SHA-256 checksums of the set 𝒢 and of the midpoints of the matrix I − Wup; retained lattice nodes with values of the symbol μ̂L and exact “midpoint — radius” balls without rounding; columns P and N with lower bounds of the weights and columns of the negative part N with rigorous bounds μ̂L; the choice of the constant ε of each certificate and rigorous upper bounds λc+ for c = 5, …, 8. Archive: 730 files, 1482 MB unpacked, the archive itself - 1148 MB. The contents of the archive, the formats and rounding rules of all columns, and the certificate verification procedure are described in README.md inside the archive. The machine-readable description of the tables is in datapackage.json and schemas/ . The SHA-256 checksums of all files are in SHA256SUMS. The program that produced the certificates is not included in the archive: it will be published after the paper is submitted to a journal. SHA-256 of the archive truncated-weil-form-certificates-en-v1.0.zip: ac702c8dc8ff51be71d749263a16cb7c4d74a2c86f0e9f2c2442fd714e87c7dd. An earlier version of the manuscript (PDF under the title “Rigorous lower bounds for the truncated Weil form at c ≤ 31 via a lattice minorant”) has the SHA-256 checksum 10e7201cb04d5f1596db0c6185728c234574529cfa2f3ea29322eecc6439b521.