What is the minimum asymptotic density $\delta_k$ of monochromatic $k$-term arithmetic progressions in every two-colouring of $\{1, \dots, n\}$? The exact certificate gives $\delta_3 = 117/2192$, matching the known 548-bead colouring.