The conjecture is that both Nine TailModel and WeightedNine TailModel result in the same shortest path. Write a program to prove or disprove it. Let tree1 and tree2 denote the trees rooted at node 511 obtained from NineTailModel and WeightedNine TailModel, respectively. If the depth of a node u is the same in tree1 ad in tree2, the lenght of the path from u to the target is the same.