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.
Continue reading