equation

Popper encoding for the equation problem.
Back to my Popper page.