Problem p03027 (C++)

Buggy submission (status: Runtime Error):
#include <algorithm>
#include <bitset>
#include <cassert>
#include <cctype>
#include <cmath>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <ctime>
#include <deque>
#include <functional>
#include <iomanip>
#include <iostream>
#include <limits.h>
#include <list>
#include <map>
#include <numeric>
#include <queue>
#include <set>
#include <sstream>
#include <stack>
#include <string>
#include <unordered_map>
#include <unordered_set>
#include <utility>
#include <vector>

#define REP(i, n) for (int i = 0; i < n; i++)
#define all(x) (x).begin(), (x).end()
#define mp make_pair
#define pb push_back
#define eb emplace_back

typedef long long ll;
using namespace std;

const int mod = 1000003;
struct mint {
  ll x; // typedef long long ll;
  mint(ll x = 0) : x((x % mod + mod) % mod) {}
  mint &operator+=(const mint a) {
    if ((x += a.x) >= mod)
      x -= mod;
    return *this;
  }
  mint &operator-=(const mint a) {
    if ((x += mod - a.x) >= mod)
      x -= mod;
    return *this;
  }
  mint &operator*=(const mint a) {
    (x *= a.x) %= mod;
    return *this;
  }
  mint operator+(const mint a) const {
    mint res(*this);
    return res += a;
  }
  mint operator-(const mint a) const {
    mint res(*this);
    return res -= a;
  }
  mint operator*(const mint a) const {
    mint res(*this);
    return res *= a;
  }
  mint pow(ll t) const {
    if (!t)
      return 1;
    mint a = pow(t >> 1);
    a *= a;
    if (t & 1)
      a *= *this;
    return a;
  }

  // for prime mod
  mint inv() const { return pow(mod - 2); }
  mint &operator/=(const mint a) { return (*this) *= a.inv(); }
  mint operator/(const mint a) const {
    mint res(*this);
    return res /= a;
  }
};
int main(void) {
  cin.tie(0);
  ios::sync_with_stdio(false);
  // cout << fixed << setprecision(20);
  // 前計算をする
  // 1,000,003まで階乗modを前計算する
  vector<mint> facl(3 * mod);
  for (ll i = 0; i < 3 * mod; i++) {
    if (i == 0)
      facl[i] = (mint)1;
    else
      facl[i] = facl[i - 1] * (mint)i;
  }
  // 計算する
  int t;
  cin >> t;
  REP(_, t) {
    // 入力を受け取る
    ll x, d, n;
    cin >> x >> d >> n;
    if (x == 0) {
      cout << 0 << '\n';
      continue;
    }
    if (d == 0) {
      mint X = (mint)x;
      X = X.pow(n);
      cout << X.x << '\n';
      continue;
    } else {
      mint q = (mint)x / (mint)d;
      //[q,q+(n-1)]に1'000'003の倍数があるか?
      if ((n - 1) != (q.x + n - 1 % mod) - (q.x % mod)) {
        cout << 0 << '\n';
      } else {
        mint D = d;
        D = D.pow(n);
        if (q.x == 0) {
          cout << 0 << '\n';
          continue;
        }
        D *= facl[q.x + (n - 1)] * facl[q.x - 1].inv();
        cout << D.x << '\n';
      }
    }
  }
  return 0;
}


Fixed submission:
#include <algorithm>
#include <bitset>
#include <cassert>
#include <cctype>
#include <cmath>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <ctime>
#include <deque>
#include <functional>
#include <iomanip>
#include <iostream>
#include <limits.h>
#include <list>
#include <map>
#include <numeric>
#include <queue>
#include <set>
#include <sstream>
#include <stack>
#include <string>
#include <unordered_map>
#include <unordered_set>
#include <utility>
#include <vector>

#define REP(i, n) for (int i = 0; i < n; i++)
#define all(x) (x).begin(), (x).end()
#define mp make_pair
#define pb push_back
#define eb emplace_back

typedef long long ll;
using namespace std;

const int mod = 1000003;
struct mint {
  ll x; // typedef long long ll;
  mint(ll x = 0) : x((x % mod + mod) % mod) {}
  mint &operator+=(const mint a) {
    if ((x += a.x) >= mod)
      x -= mod;
    return *this;
  }
  mint &operator-=(const mint a) {
    if ((x += mod - a.x) >= mod)
      x -= mod;
    return *this;
  }
  mint &operator*=(const mint a) {
    (x *= a.x) %= mod;
    return *this;
  }
  mint operator+(const mint a) const {
    mint res(*this);
    return res += a;
  }
  mint operator-(const mint a) const {
    mint res(*this);
    return res -= a;
  }
  mint operator*(const mint a) const {
    mint res(*this);
    return res *= a;
  }
  mint pow(ll t) const {
    if (!t)
      return 1;
    mint a = pow(t >> 1);
    a *= a;
    if (t & 1)
      a *= *this;
    return a;
  }

  // for prime mod
  mint inv() const { return pow(mod - 2); }
  mint &operator/=(const mint a) { return (*this) *= a.inv(); }
  mint operator/(const mint a) const {
    mint res(*this);
    return res /= a;
  }
};
int main(void) {
  cin.tie(0);
  ios::sync_with_stdio(false);
  // cout << fixed << setprecision(20);
  // 前計算をする
  // 1,000,003まで階乗modを前計算する
  vector<mint> facl(3 * mod);
  for (ll i = 0; i < 3 * mod; i++) {
    if (i == 0)
      facl[i] = (mint)1;
    else
      facl[i] = facl[i - 1] * (mint)i;
  }
  // 計算する
  int t;
  cin >> t;
  REP(_, t) {
    // 入力を受け取る
    ll x, d, n;
    cin >> x >> d >> n;
    if (x == 0) {
      cout << 0 << '\n';
      continue;
    }
    if (d == 0) {
      mint X = (mint)x;
      X = X.pow(n);
      cout << X.x << '\n';
      continue;
    } else {
      mint q = (mint)x / (mint)d;
      //[q,q+(n-1)]に1'000'003の倍数があるか?
      if ((n - 1) != (q.x + n - 1 % mod) - (q.x % mod)) {
        cout << 0 << '\n';
      } else {
        mint D = d;
        D = D.pow(n);
        if (q.x == 0 or q.x + (n - 1) >= 3 * mod) {
          cout << 0 << '\n';
          continue;
        }
        D *= facl[q.x + (n - 1)] * facl[q.x - 1].inv();
        cout << D.x << '\n';
      }
    }
  }
  return 0;
}