Problem:
Score : 700 points

Problem Statement

We have a graph with N vertices and M edges, and there are two people on the graph: Takahashi and Aoki.

The i-th edge connects Vertex U_i and Vertex V_i.
The time it takes to traverse this edge is D_i minutes, regardless of direction and who traverses the edge (Takahashi or Aoki).

Takahashi departs Vertex S and Aoki departs Vertex T at the same time. Takahashi travels to Vertex T and Aoki travels to Vertex S, both in the shortest time possible.
Find the number of the pairs of ways for Takahashi and Aoki to choose their shortest paths such that they never meet (at a vertex or on an edge) during the travel, modulo 10^9 + 7.

Constraints

1 \leq N \leq 100 000

1 \leq M \leq 200 000

1 \leq S, T \leq N

S \neq T

1 \leq U_i, V_i \leq N (1 \leq i \leq M)

1 \leq D_i \leq 10^9 (1 \leq i \leq M)

If i \neq j, then (U_i, V_i) \neq (U_j, V_j) and (U_i, V_i) \neq (V_j, U_j).

U_i \neq V_i (1 \leq i \leq M)

D_i are integers.

The given graph is connected.

Input

Input is given from Standard Input in the following format:

N M
S T
U_1 V_1 D_1
U_2 V_2 D_2
:
U_M V_M D_M

Output

Print the answer.

Sample Input 1

4 4
1 3
1 2 1
2 3 1
3 4 1
4 1 1

Sample Output 1

2

There are two ways to choose shortest paths that satisfies the condition:

Takahashi chooses the path 1 \rightarrow 2 \rightarrow 3, and Aoki chooses the path 3 \rightarrow 4 \rightarrow 1.

Takahashi chooses the path 1 \rightarrow 4 \rightarrow 3, and Aoki chooses the path 3 \rightarrow 2 \rightarrow 1.

Sample Input 2

3 3
1 3
1 2 1
2 3 1
3 1 2

Sample Output 2

2

Sample Input 3

3 3
1 3
1 2 1
2 3 1
3 1 2

Sample Output 3

2

Sample Input 4

8 13
4 2
7 3 9
6 2 3
1 6 4
7 6 9
3 8 9
1 2 2
2 8 12
8 6 9
2 5 5
4 2 18
5 3 7
5 1 515371567
4 8 6

Sample Output 4

6

Solution in C++14 (GCC 5.4.1) (judge verdict: Wrong Answer)

#include <bits/stdc++.h>
using namespace std;

#define int int64_t

#define fs first
#define sc second
#define pb emplace_back
#define mp make_pair
#define all(v) v.begin(), v.end()
#define rall(v) v.rbegin(), v.rend()

const int32_t inf = 1001001001;
const int64_t infll = 1001001001001001001ll;
const int dx[] = {0, -1, 1, 0, -1, 1, -1, 1}, dy[] = {-1, 0, 0, 1, -1, -1, 1, 1};

template <typename T> using vector2d = vector<vector<T>>;

// clang-format off
template <typename T> void sort(vector<T> &v) { sort(all(v)); }
// ostream &operator<<(ostream &os, __int128_t value) { if (ostream::sentry(os)) { __uint128_t tmp = value < 0 ? -value : value; char buffer[64]; char *d = end(buffer); do { --d; *d = "0123456789"[tmp % 10]; tmp /= 10; } while (tmp != 0); if (value < 0) { --d; *d = '-'; } int len = end(buffer) - d; if (os.rdbuf()->sputn(d, len) != len) { os.setstate(ios_base::badbit); }} return os; }
// istream &operator>>(istream &is, __int128_t &value) { string in; is >> in; value = 0; for (const char &c : in) { if ('0' <= c && c <= '9') value = 10 * value + (c - '0'); } if (in[0] == '-') value *= -1; return is; }
// ostream &operator<<(ostream &os, __uint128_t value) { if (ostream::sentry(os)) { char buffer[64]; char *d = end(buffer); do { --d; *d = "0123456789"[value % 10]; value /= 10; } while (value != 0); int len = end(buffer) - d; if (os.rdbuf()->sputn(d, len) != len) { os.setstate(ios_base::badbit); }} return os; }
// istream &operator>>(istream &is, __uint128_t &value) { string in; is >> in; value = 0; for (const char &c : in) { if ('0' <= c && c <= '9') value = 10 * value + (c - '0'); } return is; }
template <typename T> ostream &operator<<(ostream &os, vector<T> &v) { os << v[0]; for (int i = 1; i < v.size(); ++i) os << " " << v[i]; return os; }
template <typename T> istream &operator>>(istream &is, vector<T> &v) { for (T &in : v) is >> in; return is; }
template <typename T1, typename T2> ostream &operator<<(ostream &os, pair<T1, T2> p) { os << p.fs << " " << p.sc; return os; }
template <typename T1, typename T2> istream &operator>>(istream &is, pair<T1, T2> &p) { is >> p.fs >> p.sc; return is; }

struct IoSetup { IoSetup(){ cin.tie(0); ios::sync_with_stdio(0); cout << fixed << setprecision(10); cerr << fixed << setprecision(10); } } iosetup;

inline int64_t in() { int64_t x = 0; cin >> x; return x; }
template <typename T1, typename T2> inline bool chmax(T1 &a, T2 b) { return a < b && (a = b, true); }
template <typename T1, typename T2> inline bool chmin(T1 &a, T2 b) { return a > b && (a = b, true); }
// clang-format on

const int mod = 1e9 + 7;

struct edge {
  edge(int to, int64_t cost) : to(to), cost(cost) {}
  int to;
  int64_t cost;
};

vector<int> used;
vector2d<edge> rG, nG;

struct Dijkstra {
  Dijkstra(int V) : V(V), G(V) {}

  using P = pair<int64_t, int>;
  const int64_t inf = 1001001001001001001ll;

  int V;
  vector<vector<edge>> G;
  vector<int64_t> d;

  void init(int n) {
    V = n;
    G.resize(n);
  }

  void debug() {
    cerr << "edges : " << endl;
    for (int i = 0; i < V; ++i)
      for (auto e : nG[i]) cerr << i << " -> " << e.to << " : " << e.cost << endl;
    cerr << endl << "dist : " << endl;
    for (int i = 0; i < V; ++i) cerr << i << " : " << d[i] << endl;
  }

  void add_edge(int u, int v, int64_t c) {
    G[u].push_back(edge(v, c));
    G[v].push_back(edge(u, c));
  }

  void nGadd_edge(int u, int v, int64_t c) {
    nG[u].push_back(edge(v, c));
    rG[v].push_back(edge(u, c));
  }

  void build(int s) {
    d.assign(V, inf);
    priority_queue<P, vector<P>, greater<P>> q;

    d[s] = 0;
    q.push(P(0ll, s));

    while (!q.empty()) {
      P p = q.top();
      q.pop();
      int v = p.second;
      if (d[v] < p.first) continue;
      for (auto &e : G[v]) {
        if (d[e.to] == p.first + e.cost) {
          nGadd_edge(v, e.to, e.cost);
        } else if (d[e.to] > p.first + e.cost) {
          d[e.to] = p.first + e.cost;
          q.push(P(d[e.to], e.to));
          nG[e.to].clear();
          nGadd_edge(v, e.to, e.cost);
        }
      }
    }
  }

  int64_t operator[](int v) {
    return d[v];
  }
};

void dfs(int v) {
  if (used[v]) return;
  // cerr << v << endl;
  used[v] = 1;
  for (auto &e : rG[v]) {
    dfs(e.to);
  }
}

signed main(int32_t argc, char *argv[]) {
  int n = in(), m = in();
  int s = in() - 1, t = in() - 1;
  nG.resize(n);
  rG.resize(n);

  Dijkstra g(n);
  for (int i = 0; i < m; ++i) {
    int u = in() - 1, v = in() - 1, d = 2 * in();
    g.add_edge(u, v, d);
  }

  g.build(s);
  // g.debug();

  int64_t d = g[t], ans = 0;
  vector<int64_t> dp(n);
  vector<pair<int, int>> idx;
  // priority_queue<pair<int, int>, vector<pair<int, int>>, greater<pair<int, int>>> pq;

  used.resize(n);
  dfs(t);

  dp[s] = 1;
  for (int i = 0; i < n; ++i) {
    if (used[i]) idx.pb(g[i], i);
  }

  sort(all(idx));
  for (int i = 0; i < idx.size(); ++i) {
    int v = idx[i].sc;
    for (auto &e : nG[v]) {
      dp[e.to] += dp[v];
      dp[e.to] %= mod;
      if (g[v] < d / 2 && g[e.to] >= d / 2 && used[e.to]) {
        ans -= dp[v];
        // cerr << v << endl;
      }
    }
  }

  // while (!pq.empty()) {
  //   pair<int, int> p = pq.top();
  //   pq.pop();
  //
  //   int v = p.second;
  //   for (auto &e : nG[v]) {
  //     dp[e.to] += dp[v];
  //     dp[e.to] %= mod;
  //     if (g[v] < d / 2 && g[e.to] >= d / 2 && used[e.to]) {
  //       ans -= dp[v];
  //       // cerr << v << endl;
  //     }
  //     pq.push(mp(g[e.to], e.to));
  //   }
  // }
  // cerr << "dp : " << dp << endl;
  // cerr << ans << endl;
  // cerr << "dp[t] = " << dp[t] << endl;

  ans = ((dp[t] * dp[t]) % mod + mod + ans) % mod;
  cout << ans << endl;
}