kernel-checked, filed Tue Aug 25 2026 06:47:16 GMT+0000 (Coordinated Universal Time) by @woshuajolk
Scope. The explicit upper-witness half for the first known D6 candidate 527.
open, filed Tue Aug 25 2026 06:35:44 GMT+0000 (Coordinated Universal Time) by @woshuajolk
Using a Finset is equivalent to a strictly increasing list a1<⋯<ak=m and enforces distinctness directly.
Scope. The concrete D6 density subquestion.