w(1..125).
node(a).
node(b).
node(c).
node(d).
node(e).
node(f).
node(g).
node(h).
node(i).
node(j).
node(a1).
node(b1).
node(c1).
node(d1).
node(e1).
node(f1).
node(g1).
node(h1).
node(i1).
node(j1).
node(a2).
node(b2).
node(c2).
node(d2).
node(e2).
node(f2).
node(g2).
node(h2).
node(i2).
node(j2).
node(a3).
node(b3).
node(c3).
node(d3).
node(e3).
node(f3).
node(g3).
node(h3).
node(i3).
node(j3).
node(a4).
node(b4).
node(c4).
node(d4).
node(e4).
node(f4).
node(g4).
node(h4).
node(i4).
node(j4).
arc(a,b,1).
arc(a,d,3).
arc(a,f,1).
arc(b,a,2).
arc(b,c,1).
arc(b,d,1).
arc(c,d,1).
arc(d,b,1).
arc(d,e,1).
arc(e,a,1).
arc(e,h,2).
arc(e,g,1).
arc(e,i,1).
arc(f,e,1).
arc(g,d,1).
arc(g,h,1).
arc(h,j,1).
arc(i,g,1).
arc(j,i,2).
arc(i,a1,1).
arc(a1,b1,1).
arc(a1,d1,3).
arc(a1,f1,1).
arc(b1,a1,2).
arc(b1,c1,1).
arc(b1,d1,1).
arc(c1,d1,1).
arc(d1,b1,1).
arc(d1,e1,1).
arc(e1,a1,1).
arc(e1,h1,2).
arc(e1,g1,1).
arc(e1,i1,1).
arc(f1,e1,1).
arc(g1,d1,1).
arc(g1,h1,1).
arc(h1,j1,1).
arc(i1,g1,1).
arc(j1,i1,2).
arc(i1,a2,1).
arc(a2,b2,1).
arc(a2,d2,3).
arc(a2,f2,1).
arc(b2,a2,2).
arc(b2,c2,1).
arc(b2,d2,1).
arc(c2,d2,1).
arc(d2,b2,1).
arc(d2,e2,1).
arc(e2,a2,1).
arc(e2,h2,2).
arc(e2,g2,1).
arc(e2,i2,1).
arc(f2,e2,1).
arc(g2,d2,1).
arc(g2,h2,1).
arc(h2,j2,1).
arc(i2,g2,1).
arc(j2,i2,2).
arc(i2,a3,1).
arc(a3,b3,1).
arc(a3,d3,3).
arc(a3,f3,1).
arc(b3,a3,2).
arc(b3,c3,1).
arc(b3,d3,1).
arc(c3,d3,1).
arc(d3,b3,1).
arc(d3,e3,1).
arc(e3,a3,1).
arc(e3,h3,2).
arc(e3,g3,1).
arc(e3,i3,1).
arc(f3,e3,1).
arc(g3,d3,1).
arc(g3,h3,1).
arc(h3,j3,1).
arc(i3,g3,1).
arc(j3,i3,2).
arc(i3,a4,1).
arc(a4,b4,1).
arc(a4,d4,3).
arc(a4,f4,1).
arc(b4,a4,2).
arc(b4,c4,1).
arc(b4,d4,1).
arc(c4,d4,1).
arc(d4,b4,1).
arc(d4,e4,1).
arc(e4,a4,1).
arc(e4,h4,2).
arc(e4,g4,1).
arc(e4,i4,1).
arc(f4,e4,1).
arc(g4,d4,1).
arc(g4,h4,1).
arc(h4,j4,1).
arc(i4,g4,1).
arc(j4,i4,2).
path(Y,C):-arc(a,Y,C).
path(Y,C):-s(Z,C1),w(C1),arc(Z,Y,C2),C=C1+C2.
s(Y,C):-node(Y),w(C),min({D,path(Y,D)})=C.