# example from Sipser
b - c a
a - a b
c a - a
a b c - c