even

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