# example from https://en.wikipedia.org/wiki/Post_correspondence_problem
b b - b
a b - b a
c - b c
