Exponential Mazezam level family
As a correction and follow-up to a previous post, I constructed a family of Mazezam levels whose solutions are exponential in the size of the level.
Many thanks to Aaron Williams for pointing out my error to me.
- Full write-up and demo on GitHub.