#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #define TE template #define TES template #define Z auto #define ep emplace_back #define eb emplace #define fi first #define se second #define bg begin #define ed end #define all(x) bg(x), ed(x) #define ov(a, b, c, d, e, ...) e #define FO1(a) for (int _ = 0; _ < (a); ++_) #define FO2(i, a) for (int i = 0; i < (a); ++i) #define FO3(i, a, b) for (int i = (a); i < (b); ++i) #define FO4(i, a, b, c) for (int i = (a); i < (b); i += (c)) #define FOR(...) ov(__VA_ARGS__, FO4, FO3, FO2, FO1)(__VA_ARGS__) #define FF1(a) for (int _ = (a) - 1; _ >= 0; --_) #define FF2(i, a) for (int i = (a) - 1; i >= 0; --i) #define FF3(i, a, b) for (int i = (b) - 1; i >= (a); --i) #define FF4(i, a, b, c) for (int i = (b) - 1; i >= (a); i -= (c)) #define FOR_R(...) ov(__VA_ARGS__, FF4, FF3, FF2, FF1)(__VA_ARGS__) #define FOR_subset(t, s) for (int t = (s); t > -1; t = (t == 0 ? -1 : (t - 1) & s)) #define sort ranges::sort using namespace std; TE using vc = vector; TE using vvc = vc>; TE using T1 = tuple; TE using T2 = tuple; TE using T3 = tuple; TE using T4 = tuple; TE using max_heap = priority_queue; TE using min_heap = priority_queue, greater>; using u8 = unsigned char; using uint = unsigned int; using ll = long long; using ull = unsigned long long; using ld = long double; using i128 = __int128; using u128 = __uint128_t; using f128 = __float128; using u16 = uint16_t; using PII = pair; using PLL = pair; #ifdef YRSD constexpr bool dbg = 1; #else constexpr bool dbg = 0; #endif istream &operator>>(istream &I, i128 &x) { static string s; I >> s; int f = s[0] == '-'; x = 0; const int N = (int)s.size(); FOR(i, f, N) x = x * 10 + s[i] - '0'; if (f) x = -x; return I; } ostream &operator<<(ostream &O, i128 x) { static string s; s.clear(); bool f = x < 0; if (f) x = -x; while (x) s += '0' + x % 10, x /= 10; if (s.empty()) s += '0'; if (f) s += '-'; reverse(all(s)); return O << s; } istream &operator>>(istream &I, f128 &x) { static string s; I >> s, x = stold(s); return I; } ostream &operator<<(ostream &O, const f128 x) { return O << ld(x); } template istream &operator>>(istream &I, tuple &t) { return apply([&I](Z &...s) { ((I >> s), ...); }, t), I; } template istream &operator>>(istream &I, pair &x) { return I >> x.fi >> x.se; } template ostream &operator<<(ostream &O, const pair &x) { return O << x.fi << ' ' << x.se; } TE requires requires(T &c) { begin(c); end(c); } and (not is_same_v, string>) istream &operator>>(istream &I, T &c) { for (Z &e : c) I >> e; return I; } TE requires requires(const T &c) { begin(c); end(c); } and (not is_same_v, const char*>) and (not is_same_v, string>) and (not is_array_v> or not is_same_v>, char>) ostream &operator<<(ostream &O, const T &a) { if (a.empty()) return O; Z i = a.begin(); O << *i++; for (; i != a.end(); ++i) O << ' ' << *i; return O; } void IN() {} TE void IN(T &x, Z &...s) { cin >> x, IN(s...); } void print() { cout << '\n'; } TES void print(T &&x, S &&...y) { cout << x; if constexpr (sizeof...(S)) cout << ' '; print(forward(y)...); } void put() {} TES void put(T &&x, S &&...y) { cout << x; put(forward(y)...); } #define INT(...) int __VA_ARGS__; IN(__VA_ARGS__) #define UINT(...) uint __VA_ARGS__; IN(__VA_ARGS__) #define LL(...) ll __VA_ARGS__; IN(__VA_ARGS__) #define ULL(...) ull __VA_ARGS__; IN(__VA_ARGS__) #define I128(...) i128 __VA_ARGS__; IN(__VA_ARGS__) #define STR(...) string __VA_ARGS__; IN(__VA_ARGS__) #define CH(...) char __VA_ARGS__; IN(__VA_ARGS__) #define REAL(...) re __VA_ARGS__; IN(__VA_ARGS__) #define VEC(T, a, n) vc a(n); IN(a) void YES(bool o = 1) { print(o ? "YES" : "NO"); } void Yes(bool o = 1) { print(o ? "Yes" : "No"); } void yes(bool o = 1) { print(o ? "yes" : "no"); } void NO(bool o = 1) { YES(not o); } void No(bool o = 1) { Yes(not o); } void no(bool o = 1) { yes(not o); } void ALICE(bool o = 1) { print(o ? "ALICE" : "BOB"); } void Alice(bool o = 1) { print(o ? "Alice" : "Bob"); } void alice(bool o = 1) { print(o ? "alice" : "bob"); } void BOB(bool o = 1) { ALICE(not o); } void Bob(bool o = 1) { Alice(not o); } void bob(bool o = 1) { alice(not o); } void POSSIBLE(bool o = 1) { print(o ? "POSSIBLE" : "IMPOSSIBLE"); } void Possible(bool o = 1) { print(o ? "Possible" : "Impossible"); } void possible(bool o = 1) { print(o ? "possible" : "impossible"); } void IMPOSSIBLE(bool o = 1) { POSSIBLE(not o); } void Impossible(bool o = 1) { Possible(not o); } void impossible(bool o = 1) { possible(not o); } void TAK(bool o = 1) { print(o ? "TAK" : "NIE"); } void NIE(bool o = 1) { TAK(not o); } #if (__cplusplus >= 202002L) #include constexpr ld pi = numbers::pi_v; #endif TE constexpr T inf = numeric_limits::max(); template <> constexpr i128 inf = i128(inf) * 2'000'000'000'000'000'000; template constexpr pair inf> = {inf, inf}; TE constexpr static inline int pc(T x) { return popcount(make_unsigned_t(x)); } constexpr static inline ll len(const Z &a) { return a.size(); } constexpr static inline ll si(const Z &a) { return a.size(); } void reverse(Z &a) { reverse(all(a)); } void unique(Z &a) { sort(a); a.erase(unique(all(a)), a.end()); } TE vc inverse(const vc &a) { int N = len(a); vc b(N, -1); FOR(i, N) if (a[i] != -1) b[a[i]] = i; return b; } Z QMAX(const Z &a) { return *max_element(all(a)); } Z QMIN(const Z &a) { return *min_element(all(a)); } TE Z QMAX(T l, T r) { return *max_element(l, r); } TE Z QMIN(T l, T r) { return *min_element(l, r); } constexpr bool chmax(Z &a, const Z &b) { return (a < b ? a = b, 1 : 0); } constexpr bool chmin(Z &a, const Z &b) { return (a > b ? a = b, 1 : 0); } vc argsort(const Z &a) { vc I(len(a)); iota(all(I), 0); sort(I, [&](int i, int k) { return a[i] < a[k] or (a[i] == a[k] and i < k); }); return I; } TE vc rearrange(const vc &a, const vc &I) { int N = len(I); vc b(N); FOR(i, N) b[i] = a[I[i]]; return b; } template vc pre_sum(const vc &a) { int N = len(a); vc c(N + 1); FOR(i, N) c[i + 1] = c[i] + a[i]; if (of == 0) c.erase(c.begin()); return c; } TE constexpr static int topbit(T x) { if (x == 0) return - 1; if constexpr (sizeof(T) <= 4) return 31 - __builtin_clz(x); else return 63 - __builtin_clzll(x); } TE constexpr static int lowbit(T x) { if (x == 0) return -1; if constexpr (sizeof(T) <= 4) return __builtin_ctz(x); else return __builtin_ctzll(x); } TE constexpr T floor(T x, T y) { return x / y - (x % y and (x ^ y) < 0); } TE constexpr T ceil(T x, T y) { return floor(x + y - 1, y); } TE constexpr T bmod(T x, T y) { return x - floor(x, y) * y; } TE constexpr pair divmod(T x, T y) { T q = floor(x, y); return pair{q, x - q * y}; } TE T SUM(const Z &v) { return accumulate(all(v), T()); } TE T SUM(Z l, Z r) { return accumulate(l, r, T()); } int lb(const Z &a, Z x) { return lower_bound(all(a), x) - a.begin(); } TE int lb(T l, T r, Z x) { return lower_bound(l, r, x) - l; } int ub(const Z &a, Z x) { return upper_bound(all(a), x) - a.begin(); } TE int ub(T l, T r, Z x) { return upper_bound(l, r, x) - l; } template ll bina(Z f, ll l, ll r) { if (ck) assert(f(l)); while (abs(l - r) > 1) { ll x = (r + l) >> 1; (f(x) ? l : r) = x; } return l; } TE T bina_real(Z f, T l, T r, int c = 100) { while (c--) { T x = (l + r) / 2; (f(x) ? l : r) = x; } return (l + r) / 2; } Z pop(Z &s) { if constexpr (requires { s.pop_back(); }) { Z x = s.back(); return s.pop_back(), x; } else if constexpr (requires { s.top(); }) { Z x = s.top(); return s.pop(), x; } else { Z x = s.front(); return s.pop(), x; } } void setp(int x) { cout << fixed << setprecision(x); } TE inline void sh(vc &a, int N, T b = {}) { a.resize(N, b); } #define FIO static constexpr uint SZ = 1 << 17; char ibuf[SZ]; char obuf[SZ]; char out[100]; uint pil = 0, pir = 0, por = 0; struct Pre { char num[10000][4]; constexpr Pre() : num() { for (int i = 0; i < 10000; i++) { int n = i; for (int j = 3; j >= 0; j--) { num[i][j] = n % 10 | '0'; n /= 10; } } } } constexpr pre; inline void load() { memcpy(ibuf, ibuf + pil, pir - pil); pir = pir - pil + fread(ibuf + pir - pil, 1, SZ - pir + pil, stdin); pil = 0; if (pir < SZ) ibuf[pir++] = '\n'; } inline void flush() { fwrite(obuf, 1, por, stdout); por = 0; } inline void rd(char &c) { do { if (pil + 1 > pir) load(); c = ibuf[pil++]; } while (isspace(c)); } inline void rd(string &x) { x.clear(); char c; do { if (pil + 1 > pir) load(); c = ibuf[pil++]; } while (isspace(c)); do { x += c; if (pil == pir) load(); c = ibuf[pil++]; } while (!isspace(c)); } TE inline void rd_real(T &x) { string s; rd(s); x = stod(s); } TE inline void rd_integer(T &x) { if (pil + 100 > pir) load(); char c; do c = ibuf[pil++]; while (c < '-'); bool minus = 0; if constexpr (is_signed::value || is_same_v) { if (c == '-') { minus = 1, c = ibuf[pil++]; } } x = 0; while ('0' <= c) { x = x * 10 + (c & 15), c = ibuf[pil++]; } if constexpr (is_signed::value || is_same_v) { if (minus) x = -x; } } inline void rd(int16_t &x) { rd_integer(x); } inline void rd(uint16_t &x) { rd_integer(x); } inline void rd(int &x) { rd_integer(x); } inline void rd(long &x) { rd_integer(x); } inline void rd(ll &x) { rd_integer(x); } inline void rd(i128 &x) { rd_integer(x); } inline void rd(uint &x) { rd_integer(x); } inline void rd(ull &x) { rd_integer(x); } inline void rd(u128 &x) { rd_integer(x); } inline void rd(double &x) { rd_real(x); } inline void rd(long double &x) { rd_real(x); } inline void rd(f128 &x) { rd_real(x); } template inline void rd(pair &p) { return rd(p.fi), rd(p.se); } template inline void rd_tuple(T &t) { if constexpr (N < tuple_size::value) { Z &x = get(t); rd(x); rd_tuple(t); } } template inline void rd(tuple &tpl) { rd_tuple(tpl); } template inline void rd(array &x) { for (Z &e : x) rd(e); } TE inline void rd(vc &x) { for (Z &e : x) rd(e); } inline void read() {} template inline void read(H &h, T &...t) { rd(h), read(t...); } inline void wt(const char c) { if (por == SZ) flush(); obuf[por++] = c; } inline void wt(const string s) { for (char c : s) wt(c); } inline void wt(const char *s) { size_t len = strlen(s); for (size_t i = 0; i < len; i++) wt(s[i]); } TE inline void wt_integer(T x) { if (por > SZ - 100) flush(); if (x < 0) { obuf[por++] = '-', x = -x; } int outi; for (outi = 96; x >= 10000; outi -= 4) { memcpy(out + outi, pre.num[x % 10000], 4); x /= 10000; } if (x >= 1000) { memcpy(obuf + por, pre.num[x], 4); por += 4; } else if (x >= 100) { memcpy(obuf + por, pre.num[x] + 1, 3); por += 3; } else if (x >= 10) { int q = (x * 103) >> 10; obuf[por] = q | '0'; obuf[por + 1] = (x - q * 10) | '0'; por += 2; } else obuf[por++] = x | '0'; memcpy(obuf + por, out + outi + 4, 96 - outi); por += 96 - outi; } TE inline void wt_real(T x) { ostringstream oss; oss << fixed << setprecision(10) << double(x); string s = oss.str(); wt(s); } inline void wt(int x) { wt_integer(x); } inline void wt(long x) { wt_integer(x); } inline void wt(ll x) { wt_integer(x); } inline void wt(i128 x) { wt_integer(x); } inline void wt(uint x) { wt_integer(x); } inline void wt(ull x) { wt_integer(x); } inline void wt(u128 x) { wt_integer(x); } inline void wt(double x) { wt_real(x); } inline void wt(long double x) { wt_real(x); } inline void wt(f128 x) { wt_real(x); } template inline void wt(const pair &val) { wt(val.fi); wt(' '); wt(val.se); } template inline void wt_tuple(const T &t) { if constexpr (N < tuple_size::value) { if constexpr (N > 0) { wt(' '); } const Z x = get(t); wt(x); wt_tuple(t); } } template inline void wt(tuple &tpl) { wt_tuple(tpl); } template inline void wt(const array &val) { Z n = val.size(); for (size_t i = 0; i < n; i++) { if (i) wt(' '); wt(val[i]); } } TE inline void wt(const vc &a) { int N = len(a); FOR(i, N) { if (i) wt(' '); wt(a[i]); } } TE inline void wt(const vc> &v) { int N = len(v); FOR(i, N) { wt(v[i]); if (i + 1 != N) wt('\n'); } } template inline void wt(const vc> &v) { int N = len(v); FOR(i, N) { wt(v[i]); if (i + 1 != N) wt('\n'); } } inline void __attribute__((destructor)) _d() { flush(); } inline void println() { wt('\n'); } template inline void println(Head &&head, Tail &&...tail) { wt(head); if (sizeof...(Tail)) wt(' '); println(forward(tail)...); } #define IN(...) read(__VA_ARGS__) #define print(...) println(__VA_ARGS__) #define FLUSH() flush() #define c constexpr struct m61 { using T = m61; static c ull m = (1ull << 61) - 1; ull x; static c ull get_mod() { return m; } c m61() : x(0ull) {} c m61(uint x) : x(x) {} c m61(ull x) : x(x % m) {} c m61(int x) : x((x < 0) ? (x + ll(m)) : x) {} c m61(ll x) : x(((x %= ll(m)) < 0) ? (x + ll(m)) : x) {} c T &operator+=(const T &a) { return x = ((x += a.x) >= m) ? (x - m) : x, *this; } c T &operator-=(const T &a) { return x = ((x -= a.x) >= m) ? (x + m) : x, *this; } c T &operator*=(const T &a) { u128 y = u128(x) * a.x; x = (y >> 61) + (y & m); x = (x >= m) ? (x - m) : x; return *this; } c T &operator/=(const T &a) { return *this *= a.inv(); } c T operator+(const T &p) const { return T(*this) += p; } c T operator-(const T &p) const { return T(*this) -= p; } c T operator*(const T &p) const { return T(*this) *= p; } c T operator/(const T &p) const { return T(*this) /= p; } c T operator-() const { return T(x ? m - x : 0ull); } c bool operator<(const T &p) const { return x < p.x; } c bool operator==(const T &p) const { return x == p.x; } c bool operator!=(const T &p) const { return x != p.x; } friend ostream &operator<<(ostream &os, T p) { return os << p.x; } c ull val() const { return x; } c T inv() const { ll a = x, b = m, u = 1, v = 0, t; while (b > 0) { t = a / b; swap(a -= t * b, b), swap(u -= t * v, v); } return T(u); } c T pow(ll k) const { assert(k >= 0); T r(1), a(x); for (; k; k >>= 1, a *= a) { if (k & 1) r *= a; } return r; } }; #undef c struct const_pr { static constexpr ll pw(ll a, ll n, ll p) { ll s = 1; for (; n; n >>= 1, a = u128(a) * a % p) { if (n & 1) s = u128(s) * a % p; } return s; } static constexpr bool ck(ll p) { if (p == 1) return 0; ll d = lowbit(p - 1), s = (p - 1) >> d; for (ll a : {2, 3, 5, 7, 11, 13, 82, 373}) { if (a % p == 0) continue; ll x = pw(a, s, p), y = 0; for (int i = 0; i < d; ++i, x = y) { y = (u128)x * x % p; if (y == 1 && x != 1 && x != p - 1) return 0; } if (x != 1) return 0; } return 1; } constexpr ll gen(ll l, ll r) { ull x = 131; for (char c : __TIME__ __TIMESTAMP__) { x += c; x ^= x << 13; x ^= x >> 7; x ^= x << 17; } while (1) { x ^= x << 13, x ^= x >> 7, x ^= x << 17; ll s = l + x % (r - l); if (ck(s)) return s; } } }; struct hsh_base { using T = m61; static constexpr T b = const_pr{}.gen(3, T::get_mod()); int sz = 1; vc a{1}; void ext(int N) { while (sz < N) sz <<= 1; N = len(a); sh(a, sz); FOR(i, N, sz) a[i] = a[i - 1] * b; } T operator[](int i) { if (i >= sz) ext(i + 1); return a[i]; } } hsh_pw; #define pw hsh_pw struct hash_t { using T = m61; using X = pair; static constexpr T b = pw.b; int N; vc a; hash_t() {} hash_t(const Z &s) { build(s); } void build(const Z &s) { N = len(s); a.assign(N + 1, T()); FOR(i, N) a[i + 1] = a[i] * b + T(s[i]) + 1; } ll size() const { return N; } X get(int l, int r) const { assert(l <= r and r <= N); int sz = r - l; return {sz, a[r] - a[l] * pw[sz]}; } X get_all() const { return {N, a[N]}; } static X merge(X a, X b) { return {a.fi + b.fi, a.se * pw[b.fi] + b.se}; } static int lcp(const hash_t &a, int l, int r, const hash_t &b, int ll, int rr) { int sz = min(r - l, rr - ll); int L = 0, R = sz + 1; while (R - L > 1) { int m = (R + L) >> 1; if (a.get(l, l + m) == b.get(ll, ll + m)) { L = m; } else { R = m; } } return L; } }; #undef pw vc manacher(int N, Z match) { assert(N > 0); Z f = [&](int i, int k) -> bool { if (i > k) return 0; if (i & 1) return 1; return match(i / 2, k / 2); }; vc dp(2 * N - 1); int i = 0, j = 0; while (i < 2 * N - 1) { while (i - j >= 0 and i + j < 2 * N - 1 and f(i - j, i + j)) ++j; dp[i] = j; int k = 1; while (i - k >= 0 and i + k < 2 * N - 1 and k < j and dp[i - k] != j - k) { dp[i + k] = min(j - k, dp[i - k]); ++k; } i += k, j = max(j - k, 0); } vc res; int M = len(dp); FOR(i, M) { if (dp[i] == 0) continue; int l = ceil(i - dp[i] + 1, 2); int r = floor(i + dp[i] - 1, 2); if (l <= r) res.ep(l, r + 1); } return res; } vc manacher(const Z &s) { int N = len(s); assert(N > 0); return manacher(N, [&](int i, int j) -> bool { return s[i] == s[j]; }); } vc manacher_len(const Z &s) { int N = len(s); vc ans(N + N - 1); for (Z [l, r] : manacher(s)) ans[l + r - 1] = r - l; return ans; } #include #ifdef MeIoN mt19937 rg(0); mt19937_64 rd_64(0); #else mt19937 rg(chrono::steady_clock::now().time_since_epoch().count()); mt19937_64 rd_64(chrono::steady_clock::now().time_since_epoch().count()); #endif uint rng() { return rg(); } uint rng(uint lim) { return rg() % lim; } int rng(int l, int r) { return l + rg() % (r - l); } ull rng_64() { return rd_64(); } ull rng_64(ull lim) { return rd_64() % lim; } ll rng_64(ll l, ll r) { return l + rd_64() % (r - l); } TE void shuffle(vc &a) { int N = len(a); FOR(i, 1, N) { int k = rng(0, i + 1); if (i != k) swap(a[i], a[k]); } } TE ull hsh(const pair &X) { static ull B = rng_64(); if (not B) B = rng_64(); return B * X.fi + X.se; } TE struct hashmap { uint ls, msk; vc ke; vc val; vc vis; ull hash(ull x) const { static const ull bs = chrono::steady_clock::now().time_since_epoch().count(); x += bs; x = (x ^ (x >> 30)) * 0xbf58476d1ce4e5b9; x = (x ^ (x >> 27)) * 0x94d049bb133111eb; return (x ^ (x >> 31)) & msk; } void extend() { vc> dat; const int N = len(vis); dat.reserve(N / 2 - ls); FOR(i, N) if (vis[i]) dat.ep(ke[i], val[i]); build(dat.size() << 1); for (Z &[a, b] : dat) (*this)[a] = b; } hashmap(uint N = 0) { build(N); } void build(uint N) { uint k = 8; while (k < (N << 1)) k <<= 1; ls = k >> 1, msk = k - 1; ke.resize(k); val.resize(k); vis.assign(k, 0); } void clear() { fill(all(vis), 0); ls = (msk + 1) >> 1; } ll size() const { return vis.size() / 2 - ls; } int id(ull k) const { int i = hash(k); while (vis[i] and ke[i] != k) i = (i + 1) & msk; return i; } T &operator[](ull k) { if (ls == 0) extend(); int i = id(k); if (not vis[i]) { vis[i] = 1; ke[i] = k; val[i] = T {}; --ls; } return val[i]; } T &operator[](PII p) { ll k = hsh(p); if (ls == 0) extend(); int i = id(k); if (not vis[i]) { vis[i] = 1; ke[i] = k; val[i] = T {}; --ls; } return val[i]; } T get(ull k, T fail) const { int i = id(k); return (vis[i] ? val[i] : fail); } bool contains(ull k) const { int i = id(k); return vis[i] and ke[i] == k; } vc> get_all() const { int N = len(vis); vc> s; FOR(i, N) if (vis[i]) s.ep(ke[i], val[i]); return s; } void enumerate_all(Z f) const { const int N = len(vis); FOR(i, N) if (vis[i]) f(ke[i], val[i]); } }; hashmap f() { STR(s); int N = len(s); hashmap c(N); hash_t hs(s); max_heap q; for (Z [l, r] : manacher(s)) { ull h = hs.get(l, r).se.val(); if (not c.contains(h)) q.eb(r - l, l); ++c[h]; } while (not q.empty()) { Z [sz, l] = pop(q); int r = l + sz; ull h = hs.get(l, r).se.val(); ++l, --r; if (l < r) { ull hh = hs.get(l, r).se.val(); if (not c.contains(hh)) q.eb(r - l, l); c[hh] += c[h]; } } return c; } void Yorisou() { Z a = f(), b = f(); ll s = 0; for (Z [x, c] : a.get_all()) { s += c * b.get(x, 0); } print(s); } constexpr int tests = 0, fl = 0, DB = 10; int main() { cin.tie(0)->sync_with_stdio(0); int T = 1; if (fl) cerr.tie(0); if (tests and not fl) IN(T); for (int i = 0; i < T or fl; ++i) { Yorisou(); if (fl and i % DB == 0) cerr << "Case: " << i << '\n'; } return 0; }