deve(a,b,5).
deve(a,c,3).
deve(a,d,4).
deve(b,c,34).
deve(d,c,4).