BB(2, 5) Is Hard (Hydra)
by
Shawn Ligocki
https://www.sligocki.com//2024/05/10/bb-2-5-is-hard.html