# example from https://nl.wikipedia.org/wiki/Correspondentieprobleem_van_Post
a a - b
b b a - b a b b
a b - a a
