Check jwr404's p = 19 section chain in one package: #4354, #4355, #4361, #4362, #4364 and all 28 two-power PRs hold; the sharp threshold is 2^-519 (no new κ) - #4423