strings1

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