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