node(a).
path(a, b).
edge(a, b, 8).
path(a, c).
edge(a, c, 15).
path(a, d).
edge(a, d, 7).
path(a, e).
edge(a, e, 11).
path(a, f).
edge(a, f, 17).
path(a, g).
edge(a, g, 8).
path(a, h).
edge(a, h, 3).
path(a, i).
edge(a, i, 4).
path(a, j).
edge(a, j, 11).
path(a, k).
edge(a, k, 9).
path(a, l).
edge(a, l, 6).
path(a, m).
edge(a, m, 2).
path(a, n).
edge(a, n, 7).
path(a, o).
edge(a, o, 15).
path(a, p).
edge(a, p, 6).
path(a, q).
edge(a, q, 16).
path(a, r).
edge(a, r, 5).
path(a, s).
edge(a, s, 9).
path(a, t).
edge(a, t, 14).
node(b).
path(b, a).
edge(b, a, 16).
path(b, c).
edge(b, c, 13).
path(b, d).
edge(b, d, 16).
path(b, e).
edge(b, e, 15).
path(b, f).
edge(b, f, 17).
path(b, g).
edge(b, g, 12).
path(b, h).
edge(b, h, 11).
path(b, i).
edge(b, i, 7).
path(b, j).
edge(b, j, 8).
path(b, k).
edge(b, k, 13).
path(b, l).
edge(b, l, 3).
path(b, m).
edge(b, m, 7).
path(b, n).
edge(b, n, 15).
path(b, o).
edge(b, o, 9).
path(b, p).
edge(b, p, 8).
path(b, q).
edge(b, q, 16).
path(b, r).
edge(b, r, 18).
path(b, s).
edge(b, s, 7).
path(b, t).
edge(b, t, 5).
node(c).
path(c, a).
edge(c, a, 16).
path(c, b).
edge(c, b, 4).
path(c, d).
edge(c, d, 9).
path(c, e).
edge(c, e, 17).
path(c, f).
edge(c, f, 11).
path(c, g).
edge(c, g, 18).
path(c, h).
edge(c, h, 2).
path(c, i).
edge(c, i, 16).
path(c, j).
edge(c, j, 13).
path(c, k).
edge(c, k, 6).
path(c, l).
edge(c, l, 5).
path(c, m).
edge(c, m, 2).
path(c, n).
edge(c, n, 7).
path(c, o).
edge(c, o, 18).
path(c, p).
edge(c, p, 16).
path(c, q).
edge(c, q, 19).
path(c, r).
edge(c, r, 14).
path(c, s).
edge(c, s, 14).
path(c, t).
edge(c, t, 9).
node(d).
path(d, a).
edge(d, a, 9).
path(d, b).
edge(d, b, 9).
path(d, c).
edge(d, c, 7).
path(d, e).
edge(d, e, 16).
path(d, f).
edge(d, f, 12).
path(d, g).
edge(d, g, 3).
path(d, h).
edge(d, h, 5).
path(d, i).
edge(d, i, 16).
path(d, j).
edge(d, j, 18).
path(d, k).
edge(d, k, 10).
path(d, l).
edge(d, l, 7).
path(d, m).
edge(d, m, 6).
path(d, n).
edge(d, n, 12).
path(d, o).
edge(d, o, 4).
path(d, p).
edge(d, p, 5).
path(d, q).
edge(d, q, 14).
path(d, r).
edge(d, r, 11).
path(d, s).
edge(d, s, 5).
path(d, t).
edge(d, t, 5).
node(e).
path(e, a).
edge(e, a, 5).
path(e, b).
edge(e, b, 2).
path(e, c).
edge(e, c, 16).
path(e, d).
edge(e, d, 18).
path(e, f).
edge(e, f, 15).
path(e, g).
edge(e, g, 8).
path(e, h).
edge(e, h, 10).
path(e, i).
edge(e, i, 15).
path(e, j).
edge(e, j, 18).
path(e, k).
edge(e, k, 10).
path(e, l).
edge(e, l, 7).
path(e, m).
edge(e, m, 2).
path(e, n).
edge(e, n, 1).
path(e, o).
edge(e, o, 15).
path(e, p).
edge(e, p, 17).
path(e, q).
edge(e, q, 2).
path(e, r).
edge(e, r, 15).
path(e, s).
edge(e, s, 9).
path(e, t).
edge(e, t, 6).
node(f).
path(f, a).
edge(f, a, 9).
path(f, b).
edge(f, b, 7).
path(f, c).
edge(f, c, 11).
path(f, d).
edge(f, d, 10).
path(f, e).
edge(f, e, 12).
path(f, g).
edge(f, g, 10).
path(f, h).
edge(f, h, 1).
path(f, i).
edge(f, i, 5).
path(f, j).
edge(f, j, 20).
path(f, k).
edge(f, k, 19).
path(f, l).
edge(f, l, 12).
path(f, m).
edge(f, m, 13).
path(f, n).
edge(f, n, 1).
path(f, o).
edge(f, o, 19).
path(f, p).
edge(f, p, 16).
path(f, q).
edge(f, q, 17).
path(f, r).
edge(f, r, 20).
path(f, s).
edge(f, s, 16).
path(f, t).
edge(f, t, 2).
node(g).
path(g, a).
edge(g, a, 15).
path(g, b).
edge(g, b, 7).
path(g, c).
edge(g, c, 3).
path(g, d).
edge(g, d, 15).
path(g, e).
edge(g, e, 20).
path(g, f).
edge(g, f, 5).
path(g, h).
edge(g, h, 4).
path(g, i).
edge(g, i, 20).
path(g, j).
edge(g, j, 13).
path(g, k).
edge(g, k, 5).
path(g, l).
edge(g, l, 11).
path(g, m).
edge(g, m, 20).
path(g, n).
edge(g, n, 16).
path(g, o).
edge(g, o, 13).
path(g, p).
edge(g, p, 4).
path(g, q).
edge(g, q, 7).
path(g, r).
edge(g, r, 11).
path(g, s).
edge(g, s, 13).
path(g, t).
edge(g, t, 17).
node(h).
path(h, a).
edge(h, a, 11).
path(h, b).
edge(h, b, 16).
path(h, c).
edge(h, c, 19).
path(h, d).
edge(h, d, 15).
path(h, e).
edge(h, e, 12).
path(h, f).
edge(h, f, 12).
path(h, g).
edge(h, g, 10).
path(h, i).
edge(h, i, 1).
path(h, j).
edge(h, j, 15).
path(h, k).
edge(h, k, 17).
path(h, l).
edge(h, l, 17).
path(h, m).
edge(h, m, 18).
path(h, n).
edge(h, n, 17).
path(h, o).
edge(h, o, 9).
path(h, p).
edge(h, p, 12).
path(h, q).
edge(h, q, 9).
path(h, r).
edge(h, r, 4).
path(h, s).
edge(h, s, 17).
path(h, t).
edge(h, t, 3).
node(i).
path(i, a).
edge(i, a, 2).
path(i, b).
edge(i, b, 5).
path(i, c).
edge(i, c, 16).
path(i, d).
edge(i, d, 14).
path(i, e).
edge(i, e, 5).
path(i, f).
edge(i, f, 3).
path(i, g).
edge(i, g, 16).
path(i, h).
edge(i, h, 7).
path(i, j).
edge(i, j, 2).
path(i, k).
edge(i, k, 1).
path(i, l).
edge(i, l, 3).
path(i, m).
edge(i, m, 20).
path(i, n).
edge(i, n, 16).
path(i, o).
edge(i, o, 14).
path(i, p).
edge(i, p, 9).
path(i, q).
edge(i, q, 10).
path(i, r).
edge(i, r, 18).
path(i, s).
edge(i, s, 20).
path(i, t).
edge(i, t, 8).
node(j).
path(j, a).
edge(j, a, 9).
path(j, b).
edge(j, b, 4).
path(j, c).
edge(j, c, 20).
path(j, d).
edge(j, d, 2).
path(j, e).
edge(j, e, 11).
path(j, f).
edge(j, f, 19).
path(j, g).
edge(j, g, 5).
path(j, h).
edge(j, h, 3).
path(j, i).
edge(j, i, 11).
path(j, k).
edge(j, k, 13).
path(j, l).
edge(j, l, 20).
path(j, m).
edge(j, m, 17).
path(j, n).
edge(j, n, 5).
path(j, o).
edge(j, o, 12).
path(j, p).
edge(j, p, 17).
path(j, q).
edge(j, q, 17).
path(j, r).
edge(j, r, 9).
path(j, s).
edge(j, s, 5).
path(j, t).
edge(j, t, 4).
node(k).
path(k, a).
edge(k, a, 5).
path(k, b).
edge(k, b, 14).
path(k, c).
edge(k, c, 7).
path(k, d).
edge(k, d, 14).
path(k, e).
edge(k, e, 3).
path(k, f).
edge(k, f, 13).
path(k, g).
edge(k, g, 1).
path(k, h).
edge(k, h, 13).
path(k, i).
edge(k, i, 17).
path(k, j).
edge(k, j, 6).
path(k, l).
edge(k, l, 18).
path(k, m).
edge(k, m, 16).
path(k, n).
edge(k, n, 15).
path(k, o).
edge(k, o, 18).
path(k, p).
edge(k, p, 19).
path(k, q).
edge(k, q, 15).
path(k, r).
edge(k, r, 12).
path(k, s).
edge(k, s, 9).
path(k, t).
edge(k, t, 4).
node(l).
path(l, a).
edge(l, a, 14).
path(l, b).
edge(l, b, 2).
path(l, c).
edge(l, c, 17).
path(l, d).
edge(l, d, 8).
path(l, e).
edge(l, e, 11).
path(l, f).
edge(l, f, 16).
path(l, g).
edge(l, g, 7).
path(l, h).
edge(l, h, 12).
path(l, i).
edge(l, i, 12).
path(l, j).
edge(l, j, 6).
path(l, k).
edge(l, k, 13).
path(l, m).
edge(l, m, 6).
path(l, n).
edge(l, n, 18).
path(l, o).
edge(l, o, 3).
path(l, p).
edge(l, p, 7).
path(l, q).
edge(l, q, 3).
path(l, r).
edge(l, r, 1).
path(l, s).
edge(l, s, 7).
path(l, t).
edge(l, t, 17).
node(m).
path(m, a).
edge(m, a, 8).
path(m, b).
edge(m, b, 10).
path(m, c).
edge(m, c, 8).
path(m, d).
edge(m, d, 13).
path(m, e).
edge(m, e, 15).
path(m, f).
edge(m, f, 20).
path(m, g).
edge(m, g, 2).
path(m, h).
edge(m, h, 11).
path(m, i).
edge(m, i, 9).
path(m, j).
edge(m, j, 1).
path(m, k).
edge(m, k, 4).
path(m, l).
edge(m, l, 14).
path(m, n).
edge(m, n, 19).
path(m, o).
edge(m, o, 15).
path(m, p).
edge(m, p, 13).
path(m, q).
edge(m, q, 18).
path(m, r).
edge(m, r, 16).
path(m, s).
edge(m, s, 10).
path(m, t).
edge(m, t, 2).
node(n).
path(n, a).
edge(n, a, 16).
path(n, b).
edge(n, b, 2).
path(n, c).
edge(n, c, 14).
path(n, d).
edge(n, d, 3).
path(n, e).
edge(n, e, 11).
path(n, f).
edge(n, f, 17).
path(n, g).
edge(n, g, 7).
path(n, h).
edge(n, h, 6).
path(n, i).
edge(n, i, 4).
path(n, j).
edge(n, j, 2).
path(n, k).
edge(n, k, 3).
path(n, l).
edge(n, l, 8).
path(n, m).
edge(n, m, 20).
path(n, o).
edge(n, o, 7).
path(n, p).
edge(n, p, 12).
path(n, q).
edge(n, q, 1).
path(n, r).
edge(n, r, 4).
path(n, s).
edge(n, s, 20).
path(n, t).
edge(n, t, 10).
node(o).
path(o, a).
edge(o, a, 5).
path(o, b).
edge(o, b, 19).
path(o, c).
edge(o, c, 10).
path(o, d).
edge(o, d, 18).
path(o, e).
edge(o, e, 6).
path(o, f).
edge(o, f, 18).
path(o, g).
edge(o, g, 2).
path(o, h).
edge(o, h, 11).
path(o, i).
edge(o, i, 6).
path(o, j).
edge(o, j, 18).
path(o, k).
edge(o, k, 11).
path(o, l).
edge(o, l, 18).
path(o, m).
edge(o, m, 13).
path(o, n).
edge(o, n, 7).
path(o, p).
edge(o, p, 15).
path(o, q).
edge(o, q, 3).
path(o, r).
edge(o, r, 10).
path(o, s).
edge(o, s, 20).
path(o, t).
edge(o, t, 7).
node(p).
path(p, a).
edge(p, a, 16).
path(p, b).
edge(p, b, 19).
path(p, c).
edge(p, c, 12).
path(p, d).
edge(p, d, 19).
path(p, e).
edge(p, e, 15).
path(p, f).
edge(p, f, 12).
path(p, g).
edge(p, g, 14).
path(p, h).
edge(p, h, 8).
path(p, i).
edge(p, i, 7).
path(p, j).
edge(p, j, 11).
path(p, k).
edge(p, k, 4).
path(p, l).
edge(p, l, 13).
path(p, m).
edge(p, m, 19).
path(p, n).
edge(p, n, 12).
path(p, o).
edge(p, o, 14).
path(p, q).
edge(p, q, 3).
path(p, r).
edge(p, r, 7).
path(p, s).
edge(p, s, 8).
path(p, t).
edge(p, t, 20).
node(q).
path(q, a).
edge(q, a, 4).
path(q, b).
edge(q, b, 4).
path(q, c).
edge(q, c, 15).
path(q, d).
edge(q, d, 5).
path(q, e).
edge(q, e, 16).
path(q, f).
edge(q, f, 14).
path(q, g).
edge(q, g, 18).
path(q, h).
edge(q, h, 11).
path(q, i).
edge(q, i, 18).
path(q, j).
edge(q, j, 20).
path(q, k).
edge(q, k, 19).
path(q, l).
edge(q, l, 18).
path(q, m).
edge(q, m, 18).
path(q, n).
edge(q, n, 4).
path(q, o).
edge(q, o, 3).
path(q, p).
edge(q, p, 20).
path(q, r).
edge(q, r, 18).
path(q, s).
edge(q, s, 18).
path(q, t).
edge(q, t, 1).
node(r).
path(r, a).
edge(r, a, 19).
path(r, b).
edge(r, b, 6).
path(r, c).
edge(r, c, 2).
path(r, d).
edge(r, d, 15).
path(r, e).
edge(r, e, 20).
path(r, f).
edge(r, f, 3).
path(r, g).
edge(r, g, 13).
path(r, h).
edge(r, h, 7).
path(r, i).
edge(r, i, 10).
path(r, j).
edge(r, j, 17).
path(r, k).
edge(r, k, 12).
path(r, l).
edge(r, l, 11).
path(r, m).
edge(r, m, 10).
path(r, n).
edge(r, n, 19).
path(r, o).
edge(r, o, 6).
path(r, p).
edge(r, p, 2).
path(r, q).
edge(r, q, 2).
path(r, s).
edge(r, s, 15).
path(r, t).
edge(r, t, 1).
node(s).
path(s, a).
edge(s, a, 16).
path(s, b).
edge(s, b, 16).
path(s, c).
edge(s, c, 3).
path(s, d).
edge(s, d, 7).
path(s, e).
edge(s, e, 6).
path(s, f).
edge(s, f, 12).
path(s, g).
edge(s, g, 6).
path(s, h).
edge(s, h, 3).
path(s, i).
edge(s, i, 2).
path(s, j).
edge(s, j, 1).
path(s, k).
edge(s, k, 11).
path(s, l).
edge(s, l, 8).
path(s, m).
edge(s, m, 13).
path(s, n).
edge(s, n, 16).
path(s, o).
edge(s, o, 14).
path(s, p).
edge(s, p, 5).
path(s, q).
edge(s, q, 20).
path(s, r).
edge(s, r, 20).
path(s, t).
edge(s, t, 3).
node(t).
path(t, a).
edge(t, a, 3).
path(t, b).
edge(t, b, 14).
path(t, c).
edge(t, c, 13).
path(t, d).
edge(t, d, 20).
path(t, e).
edge(t, e, 20).
path(t, f).
edge(t, f, 2).
path(t, g).
edge(t, g, 7).
path(t, h).
edge(t, h, 14).
path(t, i).
edge(t, i, 2).
path(t, j).
edge(t, j, 6).
path(t, k).
edge(t, k, 2).
path(t, l).
edge(t, l, 19).
path(t, m).
edge(t, m, 20).
path(t, n).
edge(t, n, 20).
path(t, o).
edge(t, o, 14).
path(t, p).
edge(t, p, 7).
path(t, q).
edge(t, q, 7).
path(t, r).
edge(t, r, 5).
path(t, s).
edge(t, s, 15).