nim

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