Problem p03562 (C++)

Buggy submission (status: Runtime Error):
#include <bits/stdc++.h>
#define sqr(x) ((x) * (x))
#define ll long long
#define ull unsigned long long
#define ui unsigned int
#define ld long double
#define vi vector<int>
#define all(a) a.begin(), a.end()
#define HEAP(...) priority_queue<__VA_ARGS__>
#define heap(...)                                                              \
  priority_queue<__VA_ARGS__, vector<__VA_ARGS__>, greater<__VA_ARGS__>>
#define pii pair<int, int>
#define pb push_back
#define mp make_pair
#define debuge cerr << "isok" << endl
#define debug(x) cerr << #x << "=" << x << endl
#define dprintf(...) fprintf(stderr, __VA_ARGS__)
#define SS second
#define FF first
#define ls (k << 1)
#define rs (k << 1 | 1)
#define clr(a, x) memset(a, x, sizeof(a))
#define cpy(a, x) memcpy(a, x, sizeof(a))
#define file(x) freopen(x ".in", "r", stdin), freopen(x ".out", "w", stdout)
#define SZ(x) ((int)x.size())
using namespace std;
template <class T> inline void gmin(T &x, const T &y) { x = x > y ? y : x; }
template <class T> inline void gmax(T &x, const T &y) { x = x < y ? y : x; }
template <class T> inline bool Gmin(T &x, const T &y) {
  return x > y ? x = y, 1 : 0;
}
template <class T> inline bool Gmax(T &x, const T &y) {
  return x < y ? x = y, 1 : 0;
}
const int BufferSize = 1 << 16;
char buffer[BufferSize], *Bufferhead, *Buffertail;
bool Terminal;
inline char Getchar() {
  if (Bufferhead == Buffertail) {
    int l = fread(buffer, 1, BufferSize, stdin);
    if (!l) {
      Terminal = 1;
      return 0;
    }
    Buffertail = (Bufferhead = buffer) + l;
  }
  return *Bufferhead++;
}
template <class T> inline bool read(T &x) {
  x = 0;
  char c = Getchar(), rev = 0;
  while (c < '0' || c > '9') {
    rev |= c == '-';
    c = Getchar();
    if (Terminal)
      return 0;
  }
  while (c >= '0' && c <= '9')
    x = x * 10 + c - '0', c = Getchar();
  if (c == '.') {
    c = Getchar();
    double t = 0.1;
    while (c >= '0' && c <= '9')
      x = x + (c - '0') * t, c = Getchar(), t = t / 10;
  }
  x = rev ? -x : x;
  return 1;
}
template <class T1, class T2> inline bool read(T1 &x, T2 &y) {
  return read(x) & read(y);
}
template <class T1, class T2, class T3> inline bool read(T1 &x, T2 &y, T3 &z) {
  return read(x) & read(y) & read(z);
}
template <class T1, class T2, class T3, class T4>
inline bool read(T1 &x, T2 &y, T3 &z, T4 &w) {
  return read(x) & read(y) & read(z) & read(w);
}
inline bool reads(char *x) {
  char c = Getchar();
  while (c < 33 || c > 126) {
    c = Getchar();
    if (Terminal)
      return 0;
  }
  while (c >= 33 && c <= 126)
    (*x++) = c, c = Getchar();
  *x = 0;
  return 1;
}
template <class T> inline void print(T x, const char c = '\n') {
  if (!x) {
    putchar('0');
    putchar(c);
    return;
  }
  if (x < 0)
    putchar('-'), x = -x;
  int m = 0, a[20];
  while (x)
    a[m++] = x % 10, x /= 10;
  while (m--)
    putchar(a[m] + '0');
  putchar(c);
}
//--------------------------------head---------------------------------------------

const int inf = 0x3f3f3f3f;
const int N = 16, M = 100005, mod = 998244353;
template <class T, class S> inline void ch(T &x, const S y) {
  x = (x + y) % mod;
}
inline int exp(int x, int y, const int mod = ::mod) {
  int ans = 1;
  while (y) {
    if (y & 1)
      ans = (ll)ans * x % mod;
    x = (ll)x * x % mod;
    y >>= 1;
  }
  return ans;
}

#define big bitset<N>

int n, pw[N];
big x, d, a;

inline bool operator<=(big a, big b) {
  for (int i = 4000; ~i; i--)
    if (a[i] && !b[i])
      return 0;
    else if (!a[i] && b[i])
      return 1;
  return 1;
}

inline void in(big &a) {
  a = 0;
  static char s[N];
  static int n;
  reads(s);
  n = strlen(s);
  reverse(s, s + n);
  for (int i = 0; i < n; i++)
    a[i] = (s[i] == '1');
}
inline int getlen(big a) {
  for (int i = 4000; ~i; i--)
    if (a[i])
      return i;
  return -1;
}
inline big gcd(big a, big b) {
  int la = getlen(a), lb = getlen(b);
  while (~la && ~lb) {
    if (la >= lb) {
      for (int i = la; i >= lb; i--)
        if (a[i])
          a ^= (b << i - lb);
      while (~la && !a[la])
        la--;
    } else {
      for (int i = lb; i >= la; i--)
        if (b[i])
          b ^= (a << i - la);
      while (~lb && !b[lb])
        lb--;
    }
  }
  return a | b;
}

int main() {
#ifdef rqgao2014
  assert(freopen("input.txt", "r", stdin));
#endif
  pw[0] = 1;
  for (int i = 1; i < N; i++)
    pw[i] = pw[i - 1] * 2 % mod;
  read(n);
  in(x);
  d.reset();
  for (int i = 1; i <= n; i++) {
    in(a);
    d = gcd(d, a);
  }
  int m = getlen(x), n = getlen(d);
  big tmp = 0;
  int ans = 0;
  for (int i = m; i >= n; i--) {
    if (x[i])
      ch(ans, pw[i - n]);
    if (x[i] ^ tmp[i])
      tmp ^= d << i - n;
  }
  if (tmp <= x)
    ch(ans, 1);
  printf("%d\n", ans);
  return 0;
}

Fixed submission:
#include <bits/stdc++.h>
#define sqr(x) ((x) * (x))
#define ll long long
#define ull unsigned long long
#define ui unsigned int
#define ld long double
#define vi vector<int>
#define all(a) a.begin(), a.end()
#define HEAP(...) priority_queue<__VA_ARGS__>
#define heap(...)                                                              \
  priority_queue<__VA_ARGS__, vector<__VA_ARGS__>, greater<__VA_ARGS__>>
#define pii pair<int, int>
#define pb push_back
#define mp make_pair
#define debuge cerr << "isok" << endl
#define debug(x) cerr << #x << "=" << x << endl
#define dprintf(...) fprintf(stderr, __VA_ARGS__)
#define SS second
#define FF first
#define ls (k << 1)
#define rs (k << 1 | 1)
#define clr(a, x) memset(a, x, sizeof(a))
#define cpy(a, x) memcpy(a, x, sizeof(a))
#define file(x) freopen(x ".in", "r", stdin), freopen(x ".out", "w", stdout)
#define SZ(x) ((int)x.size())
using namespace std;
template <class T> inline void gmin(T &x, const T &y) { x = x > y ? y : x; }
template <class T> inline void gmax(T &x, const T &y) { x = x < y ? y : x; }
template <class T> inline bool Gmin(T &x, const T &y) {
  return x > y ? x = y, 1 : 0;
}
template <class T> inline bool Gmax(T &x, const T &y) {
  return x < y ? x = y, 1 : 0;
}
const int BufferSize = 1 << 16;
char buffer[BufferSize], *Bufferhead, *Buffertail;
bool Terminal;
inline char Getchar() {
  if (Bufferhead == Buffertail) {
    int l = fread(buffer, 1, BufferSize, stdin);
    if (!l) {
      Terminal = 1;
      return 0;
    }
    Buffertail = (Bufferhead = buffer) + l;
  }
  return *Bufferhead++;
}
template <class T> inline bool read(T &x) {
  x = 0;
  char c = Getchar(), rev = 0;
  while (c < '0' || c > '9') {
    rev |= c == '-';
    c = Getchar();
    if (Terminal)
      return 0;
  }
  while (c >= '0' && c <= '9')
    x = x * 10 + c - '0', c = Getchar();
  if (c == '.') {
    c = Getchar();
    double t = 0.1;
    while (c >= '0' && c <= '9')
      x = x + (c - '0') * t, c = Getchar(), t = t / 10;
  }
  x = rev ? -x : x;
  return 1;
}
template <class T1, class T2> inline bool read(T1 &x, T2 &y) {
  return read(x) & read(y);
}
template <class T1, class T2, class T3> inline bool read(T1 &x, T2 &y, T3 &z) {
  return read(x) & read(y) & read(z);
}
template <class T1, class T2, class T3, class T4>
inline bool read(T1 &x, T2 &y, T3 &z, T4 &w) {
  return read(x) & read(y) & read(z) & read(w);
}
inline bool reads(char *x) {
  char c = Getchar();
  while (c < 33 || c > 126) {
    c = Getchar();
    if (Terminal)
      return 0;
  }
  while (c >= 33 && c <= 126)
    (*x++) = c, c = Getchar();
  *x = 0;
  return 1;
}
template <class T> inline void print(T x, const char c = '\n') {
  if (!x) {
    putchar('0');
    putchar(c);
    return;
  }
  if (x < 0)
    putchar('-'), x = -x;
  int m = 0, a[20];
  while (x)
    a[m++] = x % 10, x /= 10;
  while (m--)
    putchar(a[m] + '0');
  putchar(c);
}
//--------------------------------head---------------------------------------------

const int inf = 0x3f3f3f3f;
const int N = 4096, M = 100005, mod = 998244353;
template <class T, class S> inline void ch(T &x, const S y) {
  x = (x + y) % mod;
}
inline int exp(int x, int y, const int mod = ::mod) {
  int ans = 1;
  while (y) {
    if (y & 1)
      ans = (ll)ans * x % mod;
    x = (ll)x * x % mod;
    y >>= 1;
  }
  return ans;
}

#define big bitset<N>

int n, pw[N];
big x, d, a;

inline bool operator<=(big a, big b) {
  for (int i = 4000; ~i; i--)
    if (a[i] && !b[i])
      return 0;
    else if (!a[i] && b[i])
      return 1;
  return 1;
}

inline void in(big &a) {
  a = 0;
  static char s[N];
  static int n;
  reads(s);
  n = strlen(s);
  reverse(s, s + n);
  for (int i = 0; i < n; i++)
    a[i] = (s[i] == '1');
}
inline int getlen(big a) {
  for (int i = 4000; ~i; i--)
    if (a[i])
      return i;
  return -1;
}
inline big gcd(big a, big b) {
  int la = getlen(a), lb = getlen(b);
  while (~la && ~lb) {
    if (la >= lb) {
      for (int i = la; i >= lb; i--)
        if (a[i])
          a ^= (b << i - lb);
      while (~la && !a[la])
        la--;
    } else {
      for (int i = lb; i >= la; i--)
        if (b[i])
          b ^= (a << i - la);
      while (~lb && !b[lb])
        lb--;
    }
  }
  return a | b;
}

int main() {
#ifdef rqgao2014
  assert(freopen("input.txt", "r", stdin));
#endif
  pw[0] = 1;
  for (int i = 1; i < N; i++)
    pw[i] = pw[i - 1] * 2 % mod;
  read(n);
  in(x);
  d.reset();
  for (int i = 1; i <= n; i++) {
    in(a);
    d = gcd(d, a);
  }
  int m = getlen(x), n = getlen(d);
  big tmp = 0;
  int ans = 0;
  for (int i = m; i >= n; i--) {
    if (x[i])
      ch(ans, pw[i - n]);
    if (x[i] ^ tmp[i])
      tmp ^= d << i - n;
  }
  if (tmp <= x)
    ch(ans, 1);
  printf("%d\n", ans);
  return 0;
}