Commentary history

1 edit.

Yongxi (Aaron) Lin · 2026-08-08 04:11:02 UTC

Second-generation branch through factor 26 and then 5. Raw iteration gives a size-8 witness at factor 130; replacing it by the size-9 record A_130 and forming A_130 + 130 A_294 yields 117 elements.