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.
last edited by Yongxi (Aaron) Lin at 2026-08-07 22:52:04 UTC · history
Commentary
last edited by Yongxi (Aaron) Lin at 2026-08-07 22:52:04 UTC · history
Log in to add commentary.