arch

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