edge("ba", 4).
edge("ca", 2).
edge("cb", 1).
edge("db", 5).
edge("dc", 8).
edge("ec", 10).
edge("ed", 2).
edge("fd", 6).
edge("fe", 3).
path("af", ["abdef", 14]).
path("af", ["abdf", 15]).
path("af", ["acdef", 15]).
path("af", ["acdf", 16]).
path("af", ["acef", 15]).
path("af", ["acbdef", 13]).
path("af", ["acbdf", 14]).