Problem:
Score : 600 points

Problem Statement

There is a tree with N vertices numbered 1 to N.
The i-th edge in this tree connects Vertex a_i and Vertex b_i, and the color and length of that edge are c_i and d_i, respectively.
Here the color of each edge is represented by an integer between 1 and N-1 (inclusive). The same integer corresponds to the same color, and different integers correspond to different colors.

Answer the following Q queries:

Query j (1 \leq j \leq Q): assuming that the length of every edge whose color is x_j is changed to y_j, find the distance between Vertex u_j and Vertex v_j. (The changes of the lengths of edges do not affect the subsequent queries.)

Constraints

2 \leq N \leq 10^5

1 \leq Q \leq 10^5

1 \leq a_i, b_i \leq N

1 \leq c_i \leq N-1

1 \leq d_i \leq 10^4

1 \leq x_j \leq N-1

1 \leq y_j \leq 10^4

1 \leq u_j < v_j \leq N

The given graph is a tree.

All values in input are integers.

Input

Input is given from Standard Input in the following format:

N Q
a_1 b_1 c_1 d_1
:
a_{N-1} b_{N-1} c_{N-1} d_{N-1}
x_1 y_1 u_1 v_1
:
x_Q y_Q u_Q v_Q

Output

Print Q lines. The j-th line (1 \leq j \leq Q) should contain the answer to Query j.

Sample Input 1

5 3
1 2 1 10
1 3 2 20
2 4 4 30
5 2 1 40
1 100 1 4
1 100 1 5
3 1000 3 4

Sample Output 1

130
200
60

The graph in this input is as follows:

Here the edges of Color 1 are shown as solid red lines, the edge of Color 2 is shown as a bold green line, and the edge of Color 4 is shown as a blue dashed line.

Query 1: Assuming that the length of every edge whose color is 1 is changed to 100, the distance between Vertex 1 and Vertex 4 is 100 + 30 = 130.

Query 2: Assuming that the length of every edge whose color is 1 is changed to 100, the distance between Vertex 1 and Vertex 5 is 100 + 100 = 200.

Query 3: Assuming that the length of every edge whose color is 3 is changed to 1000 (there is no such edge), the distance between Vertex 3 and Vertex 4 is 20 + 10 + 30 = 60. Note that the edges of Color 1 now have their original lengths.

Solution in Rust (1.15.1) (judge verdict: Accepted)

// https://atcoder.jp/contests/abc133/tasks/abc133_f
//
#![allow(unused_imports)]
use std::io::*;
use std::io::Write;
use std::fmt::*;
use std::str::*;
use std::cmp::*;
use std::collections::*;

// Input macros.
// Original by tanakh: https://qiita.com/tanakh/items/0ba42c7ca36cd29d0ac8
#[allow(unused_macros)]
macro_rules! input {
    (source = $s:expr, $($r:tt)*) => {
        let mut iter = $s.split_whitespace();
        input_inner!{iter, $($r)*}
    };
    ($($r:tt)*) => {
        let s = {
            use std::io::Read;
            let mut s = String::new();
            std::io::stdin().read_to_string(&mut s).unwrap();
            s
        };
        let mut iter = s.split_whitespace();
        input_inner!{iter, $($r)*}
    };
}

#[allow(unused_macros)]
macro_rules! input_inner {
    ($iter:expr) => {};
    ($iter:expr, ) => {};

    ($iter:expr, $var:ident : $t:tt $($r:tt)*) => {
        let $var = read_value!($iter, $t);
        input_inner!{$iter $($r)*}
    };

    ($iter:expr, mut $var:ident : $t:tt $($r:tt)*) => {
        let mut $var = read_value!($iter, $t);
        input_inner!{$iter $($r)*}
    };
}

#[allow(unused_macros)]
macro_rules! read_value {
    ($iter:expr, ( $($t:tt),* )) => {
        ( $(read_value!($iter, $t)),* )
    };

    ($iter:expr, [ $t:tt ; $len:expr ]) => {
        (0..$len).map(|_| read_value!($iter, $t)).collect::<Vec<_>>()
    };

    ($iter:expr, [ next / $t:tt ]) => {
        {
            let len = read_value!($iter, usize);
            (0..len).map(|_| read_value!($iter, $t)).collect::<Vec<_>>()
        }
    };

    ($iter:expr, switch) => {
        {
            let ty = read_value!($iter, i32);
            if ty == 1 {
                vec![ty, read_value!($iter, i32), read_value!($iter, i32)]
            } else if ty == 2 {
                vec![ty, read_value!($iter, i32)]
            } else {
                vec![ty, read_value!($iter, i32)]
            }
        }
    };

    ($iter:expr, chars) => {
        read_value!($iter, String).chars().collect::<Vec<char>>()
    };

    ($iter:expr, usize1) => {
        read_value!($iter, usize) - 1
    };

    ($iter:expr, $t:ty) => {
        $iter.next().unwrap().parse::<$t>().expect("Parse error")
    };
}

#[allow(unused_macros)]
macro_rules! read_line {
    ($t:tt) => {
        {
            let mut s = String::new();
            std::io::stdin().read_line(&mut s).unwrap();
            s.trim_right().parse::<$t>().unwrap()
        }
    }
}

#[allow(unused_macros)]
macro_rules! dvec {
    ($t:expr ; $len:expr) => {
        vec![$t; $len]
    };

    ($t:expr ; $len:expr, $($rest:expr),*) => {
        vec![dvec!($t; $($rest),*); $len]
    };
}

#[allow(unused_macros)]
macro_rules! ifv {
    ($t:expr, $a:expr, $b: expr) => {
        if $t { $a } else { $b }
    }
}

#[allow(unused_macros)]
macro_rules! fill {
    ($t:expr, $v:expr) => {
        for i in 0..$t.len() {
            $t[i] = $v;
        }
    };
}

#[allow(unused_macros)]
macro_rules! join {
    ($t:expr, $glue:expr) => {
        $t.into_iter().map(|w| w.to_string()).collect::<Vec<_>>().join($glue)
    };
}

#[allow(unused_macros)]
macro_rules! debug {
    ($($a:expr),*) => {
        println!(concat!($(stringify!($a), " = {:?}, "),*), $($a),*);
    }
}

// ===


type V = usize;
type Graph = Vec<Vec<V>>;

struct Lca {
    tree: Graph,
    parents: Vec<Vec<usize>>,
    depth: Vec<usize>,
}

impl Lca {
    fn new(root: usize, tree: Graph) -> Self {
        let n = tree.len();
        let pn = (64 - (n as u64).leading_zeros()) as usize;

        let mut parents = vec![vec![0; n]; pn];
        let mut depth = vec![0; n];

        Lca::dfs(&tree, &mut parents, &mut depth, root, n);

        for i in 1..pn {
            for j in 0..n {
                parents[i][j] = parents[i-1][parents[i-1][j]];
            }
        }

        Lca {
            tree: tree,
            parents: parents,
            depth: depth,
        }
    }

    fn dfs(tree: &Graph, parents: &mut Vec<Vec<usize>>, depth: &mut Vec<usize>, now: usize, par: usize) {
        if par != tree.len() {
            parents[0][now] = par;
            depth[now] = depth[par] + 1;
        }
        for &to in &tree[now] {
            if par == to {
                continue;
            }
            Lca::dfs(tree, parents, depth, to, now);
        }
    }

    fn lca(&self, u: usize, v: usize) -> usize {
        if u == v {
            return u;
        } else if self.depth[u] > self.depth[v] {
            return self.lca(v, u);
        } else if self.depth[u] < self.depth[v] {
            let mut diff = self.depth[v] - self.depth[u];
            let mut v = v;
            let mut pi = 0;
            while diff >= 1 {
                if diff & 1 == 1 {
                    v = self.parents[pi][v];
                }
                pi += 1;
                diff >>= 1;
            }
            return self.lca(u, v);
        } else {
            let mut pi = self.parents.len();
            let mut u = u;
            let mut v = v;
            while pi > 0 {
                pi -= 1;
                if self.parents[pi][u] != self.parents[pi][v] {
                    u = self.parents[pi][u];
                    v = self.parents[pi][v];
                }
            }
            assert!(self.parents[0][u] == self.parents[0][v]);
            self.parents[0][u]
        }
    }
}

//===

type ColGraph = Vec<Vec<(usize, usize, i32)>>;
type QData = Vec<(usize, usize, i32, i32)>;

fn dfs(now: usize, par: Option<usize>, g: &ColGraph, qdata: &Vec<QData>, ans: &mut Vec<i32>, col_length: &mut Vec<(i32, i32)>, mut all_length: i32) {
    for &(qidx, col, newlen, mult) in &qdata[now] {
        ans[qidx] += (all_length - col_length[col].0 + col_length[col].1 * newlen) * mult;
    }

    for &(to, col, len) in &g[now] {
        if par == Some(to) {
            continue;
        }
        col_length[col].0 += len;
        col_length[col].1 += 1;
        all_length += len;
        dfs(to, Some(now), g, qdata, ans, col_length, all_length);
        all_length -= len;
        col_length[col].0 -= len;
        col_length[col].1 -= 1;
    }
}

fn main() {
    input! {
        n: usize, q: usize,
        edges: [(usize1, usize1, usize1, i32); n-1],
        queries: [(usize1, i32, usize1, usize1); q]
    };

    let mut ug = vec![vec![]; n];
    let mut g = vec![vec![]; n];
    for (u, v, c, d) in edges {
        g[u].push((v, c, d));
        g[v].push((u, c, d));
        ug[u].push(v);
        ug[v].push(u);
    }
    let lca = Lca::new(0, ug);
    let mut qdata = vec![vec![]; n];
    for i in 0..q {
        let col = queries[i].0;
        let len = queries[i].1;
        let u = queries[i].2;
        let v = queries[i].3;
        qdata[u].push((i, col, len, 1));
        qdata[v].push((i, col, len, 1));
        let l = lca.lca(u, v);
        qdata[l].push((i, col, len, -2));
    }

    let mut ans = vec![0; q];
    dfs(0, None, &g, &qdata, &mut ans, &mut vec![(0,0); n], 0);

    for i in 0..q {
        println!("{}", ans[i]);
    }
}