strings2

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