Compression/repair descendant in the chain starting from witness #1522. From the 20-point N=655 compressed witness, an affine shrink to N=640 followed by one-point repair gives this saturated 19-point witness. A 12,000-step regrowth search found no 20-point extension. Exact verification performed before submission.
Yongxi (Aaron) Lin · 2026-08-07 22:52:04 UTC