Reynout Vos

Exact certificates for r(n) = e(n), n = 9–21: regular triangle unions

Version 6 (Augustus 2026) adds r(21) = e(21) = 231, closing the hardest rung to date after a five-day resistance documented in CHANGELOG_v6.md; the pattern now holds for thirteen consecutive values. -- Version 5 (August 2026) adds r(19) = 207 and r(20) = 220, extending r(n) = e(n) = U(n) to twelve consecutive values; t...