c(a1, b1).
c(a2, b2).
c(a3, b3).
c(a3, a4).
c(b1, b2).
c(b2, c2).
c(b3, c3).
c(b3, b4).
c(b4, b5).
c(b5, c5).
c(c1, d1).
c(c1, c2).
c(c3, d3).
c(c5, d5).
c(d1, e1).
c(d2, e2).
c(d2, d3).
c(d3, e3).
c(d4, e4).
c(d4, d5).
c(e1, e2).
c(e4, e5).