#include #include using namespace std; using namespace atcoder; #define rep(i, n) for (int i = 0; i < n; i++) #define ALL(a) a.begin(), a.end() #define ll long long #define pii pair #define pil pair #define pli pair #define vc vector using mint = modint; ll N[50], M[50], A[50], B[50]; mint f[50], g[50], h[50]; int c = 0; void q(ll n, ll m, ll a, ll b) { if (m == 0) { f[c] = g[c] = h[c] = 0, c++; return; } const int cnt = c; const ll a1 = a / m, a2 = a % m; const ll b1 = b / m, b2 = b % m; N[c] = n, M[c] = m, A[c] = a2, B[c] = b2, c++; const ll y = (a2 * n + b2) / m; q(y, a2, m, m + a2 - b2 - 1); const mint nn = n * (n - 1) / 2; f[cnt] = n * mint(y) - f[cnt + 1]; g[cnt] = n * mint(y) * y - f[cnt + 1] - 2 * h[cnt + 1]; h[cnt] = nn * mint(y) + (f[cnt + 1] - g[cnt + 1]) / 2; g[cnt] += n * mint(2 * n - 1) * (n - 1) * a1 * a1 / 6; g[cnt] += 2 * nn * a1 * b1; g[cnt] += b1 * mint(b1) * n; g[cnt] += 2 * a1 * h[cnt]; g[cnt] += 2 * b1 * f[cnt]; f[cnt] += a1 * nn + b1 * n; h[cnt] += nn * (a1 * (2 * n - 1) + 3 * b1) / 3; return; } void solve() { ll n, m, a, b; cin >> n >> m >> a >> b; { ll gccd = gcd(m, a); m /= gccd, a /= gccd, b /= gccd; } vector r; vector mmod = {998244353, 1000000007}; for (int mmmod : mmod) { mint::set_mod(mmmod); mint ans = 0; c = 0, q(n, m, a, b); ans -= (n - 1) * f[0]; ans += 2 * h[0]; const long t = a * (n - 1) / m; const long y = m - a * (n - 1) + t * m; c = 0, q(n, m, a, y); ans += f[0]; ans += h[0]; ans -= n * mint(n + 1) / 2 * t; r.push_back(ans.val()); } ll ans = crt(r, mmod).first; const ll k1 = n / m, k2 = n % m; ans -= (k1 + 1) * (k1 + 2) / 2 * k2; ans -= k1 * (k1 + 1) / 2 * (m - k2); cout << ans << '\n'; return; } int main() { cin.tie(nullptr); ios::sync_with_stdio(false); cout << fixed << setprecision(13); int t = 1; cin >> t; rep(i, t) solve(); return 0; }