edge([b, a], 4).
edge([c, a], 2).
edge([c, b], 1).
edge([d, b], 5).
edge([d, c], 8).
edge([e, c], 10).
edge([e, d], 2).
edge([f, d], 6).
edge([f, e], 3).
path([a, f], [[a, b, d, e, f], 14]).
path([a, f], [[a, b, d, f], 15]).
path([a, f], [[a, c, d, e, f], 15]).
path([a, f], [[a, c, d, f], 16]).
path([a, f], [[a, c, e, f], 15]).
path([a, f], [[a, c, b, d, e, f], 13]).
path([a, f], [[a, c, b, d, f], 14]).