diff --git a/config.yml b/config.yml
index 74d5a5f5c..7185ecb10 100644
--- a/config.yml
+++ b/config.yml
@@ -740,6 +740,9 @@ notebook:
     - ball_box_iil: 球与盒(球相同,盒相同,至少装一个球)
       code_ext: hpp
       test_ext: cpp
+    - factl_helper: 大数阶乘与阶乘逆辅助类
+      code_ext: hpp
+      test_ext: cpp
     nt:
     - euler_phi_u32: Euler 函数(32 位)
       code_ext: hpp
diff --git a/src/code/comb/binom.hpp b/src/code/comb/binom.hpp
index 46dccb1e3..5a0ed007b 100644
--- a/src/code/comb/binom.hpp
+++ b/src/code/comb/binom.hpp
@@ -6,13 +6,13 @@
 
 namespace tifa_libs::math {
 
-template <class mint, template <class> class fact = fact_helper>
-struct binom : fact<mint> {
-  static CEXP auto mod() NE { return fact<mint>::mod(); }
-  CEXPE binom(u32 max_m = fact<mint>::DEFUALT_MAX) NE { this->reset(max_m + 1); }
+template <class mint, class fact = fact_helper<mint>>
+requires std::same_as<mint, TPN fact::val_t>
+struct binom {
+  CEXPE binom(u32 max_m = fact::DEFUALT_MAX) NE { fact::ensure(max_m + 1); }
 
   // $\binom{m}{n}$
-  CEXP mint mCn(uint_c auto m, uint_c auto n) CNE { return m < n ? 0 : mPn(m, n) * this->get_ifact(n); }
+  CEXP mint mCn(uint_c auto m, uint_c auto n) CNE { return m < n ? 0 : mPn(m, n) * fact::get_ifact(n); }
   // $\binom{m}{n}$
   template <sint_c T>
   CEXP mint mCn(T m, T n) CNE { return m < n || n < 0 ? 0 : mCn(to_uint_t<T>(m), to_uint_t<T>(n)); }
@@ -20,11 +20,11 @@ struct binom : fact<mint> {
   template <int_c T>
   CEXP mint lucas(T m, T n) CNE {
     assert(mint::mod() > 1);
-    auto f = [this](auto &&f, auto m, auto n) NE -> mint { return n == 0 ? 1 : this->mCn(m % mod(), n % mod()) * f(f, m / mod(), n / mod()); };
+    auto f = [this](auto &&f, auto m, auto n) NE -> mint { return n == 0 ? 1 : this->mCn(m % fact::mod(), n % fact::mod()) * f(f, m / fact::mod(), n / fact::mod()); };
     return m < n || n < 0 ? 0 : f(f, to_uint_t<T>(m), to_uint_t<T>(n));
   }
   // $\binom{m}{n} \cdot n!$
-  CEXP mint mPn(uint_c auto m, uint_c auto n) CNE { return m < n ? 0 : this->get_fact(m) * this->get_ifact(m - n); }
+  CEXP mint mPn(uint_c auto m, uint_c auto n) CNE { return m < n ? 0 : fact::get_fact(m) * fact::get_ifact(m - n); }
   // $\binom{m}{n} \cdot n!$
   template <sint_c T>
   CEXP mint mPn(T m, T n) CNE { return m < n || n < 0 ? 0 : mPn(to_uint_t<T>(m), to_uint_t<T>(n)); }
diff --git a/src/code/comb/fact_helper.hpp b/src/code/comb/fact_helper.hpp
index f076e87ff..cde79a6b7 100644
--- a/src/code/comb/fact_helper.hpp
+++ b/src/code/comb/fact_helper.hpp
@@ -1,37 +1,46 @@
 #ifndef TIFALIBS_COMB_FACT_HELPER
 #define TIFALIBS_COMB_FACT_HELPER
 
-#include "gen_fact.hpp"
-#include "gen_ifact.hpp"
+#include "../util/traits.hpp"
 
 namespace tifa_libs::math {
 
-template <class mint>
+template <mint_c mint>
 struct fact_helper {
+  using val_t = mint;
   static CEXP u32 DEFUALT_MAX = 10'000'001;
-  static CEXP u64 mod() NE { return mint::mod(); }
-  static inline vec<mint> fact, ifact;
-
-  CEXP void reset(u32 n = DEFUALT_MAX) NE {
-    if (n = std::min((u32)mod(), n); n < fact.size()) {
-      fact.resize(n), ifact.resize(n);
-      return;
-    }
-    fact = gen_fact<mint>(n), ifact = gen_ifact<mint>(n);
+  static CEXP u64 mod() NE { return val_t::mod(); }
+  static inline vec<val_t> fact, ifact;
+
+  fact_helper() = delete;
+
+  // ensure fact.size() >= sz
+  static CEXP void ensure(u32 sz = DEFUALT_MAX) NE {
+    if (sz = std::max(2_u32, std::min((u32)mod(), sz)); sz <= fact.size()) return;
+    u32 pre = (u32)fact.size();
+    fact.resize(sz), ifact.resize(sz);
+    if (pre < 2) pre = 2, fact[0] = fact[1] = ifact[0] = ifact[1] = 1;
+    flt_ (u32, i, pre, sz) fact[i] = fact[i - 1] * i;
+    ifact.back() = fact.back().inv();
+    for (u32 i = sz - 1; i > pre; --i) ifact[i - 1] = ifact[i] * i;
   }
 
-  CEXP mint get_fact(u64 n) CNE {
+  static CEXP val_t get_fact(u64 n) NE {
     if (n >= mod()) [[unlikely]]
       return 0;
+    if (fact.empty()) [[unlikely]]
+      ensure();
     if (n < fact.size()) [[likely]]
       return fact[n];
-    mint _ = fact.back() * n;
+    val_t _ = fact.back() * n;
     flt_ (u64, i, fact.size(), n) _ *= i;
     return _;
   }
-  CEXP mint get_ifact(u64 n) CNE {
+  static CEXP val_t get_ifact(u64 n) NE {
     if (n >= mod()) [[unlikely]]
       return 0;
+    if (fact.empty()) [[unlikely]]
+      ensure();
     if (n < ifact.size()) [[likely]]
       return ifact[n];
     return get_fact(n).inv();
diff --git a/src/code/comb/factl_helper.hpp b/src/code/comb/factl_helper.hpp
new file mode 100644
index 000000000..10ced5ea9
--- /dev/null
+++ b/src/code/comb/factl_helper.hpp
@@ -0,0 +1,82 @@
+#ifndef TIFALIBS_COMB_FACTL_HELPER
+#define TIFALIBS_COMB_FACTL_HELPER
+
+#include "../poly/ctsh_fps.hpp"
+#include "fact_helper.hpp"
+
+namespace tifa_libs::math {
+
+template <class poly_t>
+struct factl_helper {
+  using val_t = TPN poly_t::val_t;
+  using base_t = fact_helper<TPN poly_t::val_t>;
+  static CEXP u32 threshold = 2'000'001;
+
+  factl_helper() = delete;
+
+  static CEXP val_t get_fact(u64 n) NE {
+    if (n >= base_t::mod()) [[unlikely]]
+      return 0;
+    if (base_t::fact.empty()) [[unlikely]]
+      base_t::ensure(threshold);
+    if (n < threshold) return base_t::fact[n];
+    return fact_(n);
+  }
+  static CEXP val_t get_ifact(u64 n) NE {
+    if (n >= base_t::mod()) [[unlikely]]
+      return 0;
+    if (base_t::fact.empty()) [[unlikely]]
+      base_t::ensure(threshold);
+    if (n < threshold) return base_t::ifact[n];
+    return fact_(n).inv();
+  }
+
+ private:
+  static CEXP u32 LBSZ = 9;
+  static CEXP u32 SZ = 1 << LBSZ;
+  static inline u64 B = base_t::mod() >> LBSZ;
+  // f[i] = (i*B + 1) * ... * (i*B + B)
+  static inline poly_t f{1};
+  static val_t fact_(u64 n) NE {
+    static bool inited = false;
+    if (!inited) {
+      inited = true;
+      f.reserve(SZ);
+      flt_ (u32, i, 0, LBSZ) {
+        poly_t g = ctsh_fps(f, val_t(1 << i), base_t::ifact, 3_u32 << i);
+        const auto get = [&](u32 j) { return j < (1_u32 << i) ? f[j] : g[j - (1 << i)]; };
+        f.resize(2_u32 << i);
+        flt_ (u32, j, 0, 2_u32 << i) f[j] = get(2 * j) * get(2 * j + 1) * ((2 * j + 1) << i);
+      }
+      if (B > SZ) {
+        vec<val_t> g = ctsh_fps(f, val_t(SZ), base_t::ifact, u32(B - SZ));
+        std::ranges::move(g, std::back_inserter(f));
+      } else f.resize(B);
+      flt_ (u32, i, 0, (u32)B) f[i] *= val_t(i + 1) * SZ;
+      f.insert(f.begin(), 1);
+      flt_ (u32, i, 0, (u32)B) f[i + 1] *= f[i];
+    }
+    val_t res;
+    u64 q = n / SZ;
+    u32 r = n % SZ;
+    if (2 * r <= SZ) {
+      res = f[q];
+      flt_ (u32, i, 0, r) res *= n - i;
+    } else if (q != B) {
+      res = f[q + 1];
+      val_t den = 1;
+      flt_ (u32, i, 1, SZ - r + 1) den *= n + i;
+      res /= den;
+    } else {
+      res = base_t::mod() - 1;
+      val_t den = 1;
+      for (u64 i = base_t::mod() - 1; i > n; --i) den *= i;
+      res /= den;
+    }
+    return res;
+  }
+};
+
+}  // namespace tifa_libs::math
+
+#endif
\ No newline at end of file
diff --git a/src/code/comb/gen_ball_box_ii.hpp b/src/code/comb/gen_ball_box_ii.hpp
index 60733c1ea..68ee279f8 100644
--- a/src/code/comb/gen_ball_box_ii.hpp
+++ b/src/code/comb/gen_ball_box_ii.hpp
@@ -7,8 +7,8 @@
 namespace tifa_libs::math {
 
 // f = \\prod_{i=1}^m 1/(1-x^i), deg(f) = n
-template <class poly>
-CEXP poly gen_ball_box_ii(u32 m, u32 n, spnuu inv) NE {
+template <class poly, class T>
+CEXP poly gen_ball_box_ii(u32 m, u32 n, vec<T> CR inv) NE {
   poly f(n + 1);
   flt_ (u32, i, 1, m + 1)
     flt_ (u32, k, 1, n / i + 1) f[i * k] += inv[k];
diff --git a/src/code/comb/gen_bernoulli.hpp b/src/code/comb/gen_bernoulli.hpp
index eeb01ae44..be9870899 100644
--- a/src/code/comb/gen_bernoulli.hpp
+++ b/src/code/comb/gen_bernoulli.hpp
@@ -8,8 +8,8 @@
 namespace tifa_libs::math {
 
 // bernoulli[i] = B_i, i=0,1,...,n
-template <class poly, std::same_as<TPN poly::val_t> mint>
-CEXP poly gen_bernoulli(u32 n, vec<mint> CR fact, vec<mint> CR ifact) NE {
+template <class poly, class T, std::same_as<TPN poly::val_t> mint>
+CEXP poly gen_bernoulli(u32 n, vec<T> CR fact, vec<T> CR ifact) NE {
   if (!n) return poly{1};
   poly b(n + 1);
   flt_ (u32, i, 0, n + 1) b[i] = ifact[i + 1];
diff --git a/src/code/comb/gen_stirling1_col.hpp b/src/code/comb/gen_stirling1_col.hpp
index aa7519276..e0f6dc65a 100644
--- a/src/code/comb/gen_stirling1_col.hpp
+++ b/src/code/comb/gen_stirling1_col.hpp
@@ -9,8 +9,8 @@
 namespace tifa_libs::math {
 
 // stirling1[i] = {i \\brack k}, i=0,1,...,n
-template <class poly, bool with_sgn = true>
-CEXP poly gen_stirling1_col(u32 n, u32 k, spnuu fact, spnuu inv, spnuu invfact) NE {
+template <class poly, class T, bool with_sgn = true>
+CEXP poly gen_stirling1_col(u32 n, u32 k, vec<T> CR fact, vec<T> CR inv, vec<T> CR invfact) NE {
   if (n < k) return poly(n + 1);
   poly f(n + 1);
   flt_ (u32, i, 1, n + 1) f[i] = inv[i];
diff --git a/src/code/comb/gen_stirling1_row.hpp b/src/code/comb/gen_stirling1_row.hpp
index d8247174e..2ea7ee61c 100644
--- a/src/code/comb/gen_stirling1_row.hpp
+++ b/src/code/comb/gen_stirling1_row.hpp
@@ -9,8 +9,8 @@
 namespace tifa_libs::math {
 
 // stirling1[i] = {n \\brace i}, i=0,1,...,n
-template <class poly, bool with_sgn = true>
-CEXP poly gen_stirling1_row(u32 n, spnuu fact, spnuu ifact) NE {
+template <class poly, class T, bool with_sgn = true>
+CEXP poly gen_stirling1_row(u32 n, vec<T> CR fact, vec<T> CR ifact) NE {
   using mint = TPN poly::val_t;
   if (!n) return poly{1};
   poly f{0, 1};
diff --git a/src/code/comb/gen_stirling2_col.hpp b/src/code/comb/gen_stirling2_col.hpp
index 4c8b9ccdf..f7ad002de 100644
--- a/src/code/comb/gen_stirling2_col.hpp
+++ b/src/code/comb/gen_stirling2_col.hpp
@@ -8,8 +8,8 @@
 namespace tifa_libs::math {
 
 // stirling2[i] = {i \\brack k}, i=0,1,...,n
-template <class poly>
-CEXP poly gen_stirling2_col(u32 n, u32 k, spnuu fact, spnuu ifact) NE {
+template <class poly, class T>
+CEXP poly gen_stirling2_col(u32 n, u32 k, vec<T> CR fact, vec<T> CR ifact) NE {
   using mint = TPN poly::val_t;
   if (k > n) return poly(n + 1);
   auto g = [&](auto&& g, poly& f, u32 n) NE -> void {
diff --git a/src/code/comb/qbinom.hpp b/src/code/comb/qbinom.hpp
index 8b0337887..ce5112adf 100644
--- a/src/code/comb/qbinom.hpp
+++ b/src/code/comb/qbinom.hpp
@@ -6,12 +6,11 @@
 
 namespace tifa_libs::math {
 
-template <class mint, template <class> class fact = fact_helper>
+template <class mint, class fact = fact_helper<mint>>
 struct qbinom : binom<mint, fact> {
   vec<mint> qfact, iqfact;
 
-  static CEXP u64 mod() NE { return mint::mod(); }
-  CEXPE qbinom(u32 q, u32 max_m = fact<mint>::DEFUALT_MAX) NE : binom<mint, fact>(max_m), qfact(2) {
+  CEXPE qbinom(u32 q, u32 max_m = fact::DEFUALT_MAX) NE : binom<mint, fact>(max_m), qfact(2) {
     assert(q), qfact[0] = qfact[1] = 1;
     mint x = 1;
     flt_ (u32, i, 2, max_m + 1)
@@ -19,7 +18,6 @@ struct qbinom : binom<mint, fact> {
       else break;
     flt_ (u32, i, 3, (u32)qfact.size()) qfact[i] *= qfact[i - 1];
     iqfact = gen_invseq(qfact);
-    this->reset(max_m / ((u32)qfact.size() - 1) + 2);
   }
 
   // $\binom{m}{n}_q$
diff --git a/src/code/poly/comp_fpssps.hpp b/src/code/poly/comp_fpssps.hpp
index c0f2b5273..0bf3161d5 100644
--- a/src/code/poly/comp_fpssps.hpp
+++ b/src/code/poly/comp_fpssps.hpp
@@ -9,8 +9,8 @@
 namespace tifa_libs::math {
 
 // @return $f(g(x_0, \dots, x_{n-1}))$
-template <class poly, u32 N = 21>
-auto comp_fpssps(u32 n, poly f, vec<TPN poly::val_t> g, spnuu fact, spnuu ifact) NE {
+template <class poly, class T, u32 N = 21>
+auto comp_fpssps(u32 n, poly f, vec<TPN poly::val_t> g, vec<T> CR fact, vec<T> CR ifact) NE {
   using mint = TPN poly::val_t;
   static conv_subset<mint, N> ss;
   if (assert(n <= N); !f.size()) return vec<mint>(1 << n);
diff --git a/src/code/poly/compinv_fps.hpp b/src/code/poly/compinv_fps.hpp
index f0ecdce41..23558dcb3 100644
--- a/src/code/poly/compinv_fps.hpp
+++ b/src/code/poly/compinv_fps.hpp
@@ -10,8 +10,8 @@
 namespace tifa_libs::math {
 
 // @return g s.t. $g(f(x)) \equiv x \pmod{\deg(f)+1}$
-template <template <class... Ts> class ccore, class mint, class... args>
-CEXP auto compinv_fps(poly<ccore, mint, args...> CR f, spnuu inv, u32 n = 0) NE {
+template <template <class... Ts> class ccore, class mint, class T, class... args>
+CEXP auto compinv_fps(poly<ccore, mint, args...> CR f, vec<T> CR inv, u32 n = 0) NE {
   using poly_t = poly<ccore, mint, args...>;
   if (assert(f.size() > 1 && f[0] == 0 && f[1] != 0); !n) n = (u32)f.size();
   if (n < 2) return poly_t{0, f[1].inv()}.pre(n);
diff --git a/src/code/poly/ctsh_fps.hpp b/src/code/poly/ctsh_fps.hpp
index d16a7328a..d30bd7d63 100644
--- a/src/code/poly/ctsh_fps.hpp
+++ b/src/code/poly/ctsh_fps.hpp
@@ -6,8 +6,8 @@
 
 namespace tifa_libs::math {
 
-template <template <class... Ts> class ccore, class mint, class... args>
-CEXP poly<ccore, mint, args...> ctsh_fps(poly<ccore, mint, args...> CR f, mint c, spnuu ifact, u32 m = 0) NE {
+template <template <class... Ts> class ccore, class mint, class T, class... args>
+CEXP poly<ccore, mint, args...> ctsh_fps(poly<ccore, mint, args...> CR f, mint c, vec<T> CR ifact, u32 m = 0) NE {
   using poly_t = poly<ccore, mint, args...>;
   const u32 n = (u32)f.size(), k = n - 1;
   if (!m) m = n;
diff --git a/src/code/poly/exp_fpssp.hpp b/src/code/poly/exp_fpssp.hpp
index 48593baef..f903ed52f 100644
--- a/src/code/poly/exp_fpssp.hpp
+++ b/src/code/poly/exp_fpssp.hpp
@@ -6,8 +6,8 @@
 
 namespace tifa_libs::math {
 
-template <template <class... Ts> class ccore, class mint, class... args>
-CEXP auto exp_fpssp(poly<ccore, mint, args...> CR p, spnuu inv, u32 n = 0) NE {
+template <template <class... Ts> class ccore, class mint, class T, class... args>
+CEXP auto exp_fpssp(poly<ccore, mint, args...> CR p, vec<T> CR inv, u32 n = 0) NE {
   if (!p.size()) return p;
   if (assert(p[0] == 0); !n) n = (u32)p.size();
   polysp<mint> ps = poly2sp(p, n);
diff --git a/src/code/poly/ln_fpssp.hpp b/src/code/poly/ln_fpssp.hpp
index 14daabe83..1d91d99a1 100644
--- a/src/code/poly/ln_fpssp.hpp
+++ b/src/code/poly/ln_fpssp.hpp
@@ -6,8 +6,8 @@
 
 namespace tifa_libs::math {
 
-template <template <class... Ts> class ccore, class mint, class... args>
-CEXP auto ln_fpssp(poly<ccore, mint, args...> CR p, spnuu inv, u32 n = 0) NE {
+template <template <class... Ts> class ccore, class mint, class T, class... args>
+CEXP auto ln_fpssp(poly<ccore, mint, args...> CR p, vec<T> CR inv, u32 n = 0) NE {
   if (assert(!p.empty() && p[0] == 1); !n) n = (u32)p.size();
   auto ps = poly2sp(p, n);
   poly<ccore, mint, args...> g(n);
diff --git a/src/code/poly/pow_fpssp.hpp b/src/code/poly/pow_fpssp.hpp
index c48ab0e6c..5a6ab1cd6 100644
--- a/src/code/poly/pow_fpssp.hpp
+++ b/src/code/poly/pow_fpssp.hpp
@@ -9,8 +9,8 @@
 
 namespace tifa_libs::math {
 
-template <template <class... Ts> class ccore, class mint, class... args>
-CEXP auto pow_fpssp(poly<ccore, mint, args...> CR p, u64 y, spnuu inv, u32 n = 0) NE {
+template <template <class... Ts> class ccore, class mint, class T, class... args>
+CEXP auto pow_fpssp(poly<ccore, mint, args...> CR p, u64 y, vec<T> CR inv, u32 n = 0) NE {
   if (!n) n = (u32)p.size();
   if (!y) return poly<ccore, mint, args...>{1}.pre(n);
   if (p.is_zero()) return p.pre(n);
diff --git a/src/code/poly/tsh_fps.hpp b/src/code/poly/tsh_fps.hpp
index b9d2e1fd6..c796bb1cc 100644
--- a/src/code/poly/tsh_fps.hpp
+++ b/src/code/poly/tsh_fps.hpp
@@ -7,8 +7,8 @@
 
 namespace tifa_libs::math {
 
-template <template <class... Ts> class ccore, class mint, class... args>
-CEXP auto tsh_fps(poly<ccore, mint, args...> CR f, mint c, spnuu fact, spnuu ifact) NE {
+template <template <class... Ts> class ccore, class mint, class T, class... args>
+CEXP auto tsh_fps(poly<ccore, mint, args...> CR f, mint c, vec<T> CR fact, vec<T> CR ifact) NE {
   const u32 n = (u32)f.size();
   if (n == 1) return f;
   poly<ccore, mint, args...> s = f, p((u32)f.size());
diff --git a/src/doc_md/comb/factl_helper.md b/src/doc_md/comb/factl_helper.md
new file mode 100644
index 000000000..42521ac70
--- /dev/null
+++ b/src/doc_md/comb/factl_helper.md
@@ -0,0 +1,4 @@
+---
+title: factl_helper
+documentation_of: //src/code/comb/factl_helper.hpp
+---
diff --git a/src/doc_tex/comb/factl_helper.tex b/src/doc_tex/comb/factl_helper.tex
new file mode 100644
index 000000000..e69de29bb
diff --git a/src/meta_test/library-checker-enumerative_combinatorics/factorial.factl-helper.cppmeta b/src/meta_test/library-checker-enumerative_combinatorics/factorial.factl-helper.cppmeta
new file mode 100644
index 000000000..580be632e
--- /dev/null
+++ b/src/meta_test/library-checker-enumerative_combinatorics/factorial.factl-helper.cppmeta
@@ -0,0 +1,29 @@
+#define AUTO_GENERATED
+#define PROBLEM "https://judge.yosupo.jp/problem/factorial"
+
+#include "../../code/comb/factl_helper.hpp"
+
+CEXP u32 MOD = 998244353;
+
+#define GENTCs_p3ntts30s
+#define GENTCs_p3ntts63s
+#define GENTCs_p3ntts30d_0
+#define GENTCs_p3ntts63d_0
+#define GENTCs_pmtts
+#define GENTCs_pmttd0
+#define GENTCs_pntt
+
+int main() {
+#define GENTCs_p3ntts30d_1
+#define GENTCs_p3ntts63d_1
+#define GENTCs_pmttd1
+  std::cin.tie(nullptr)->std::ios::sync_with_stdio(false);
+  u32 t;
+  std::cin >> t;
+  while (t--) {
+    u32 n;
+    std::cin >> n;
+    std::cout << tifa_libs::math::factl_helper<poly>::get_fact(n) << '\n';
+  }
+  return 0;
+}
diff --git a/src/meta_test/library-checker-enumerative_combinatorics/many_factorials.cppmeta b/src/meta_test/library-checker-enumerative_combinatorics/many_factorials.cppmeta
new file mode 100644
index 000000000..8028cbe06
--- /dev/null
+++ b/src/meta_test/library-checker-enumerative_combinatorics/many_factorials.cppmeta
@@ -0,0 +1,29 @@
+#define AUTO_GENERATED
+#define PROBLEM "https://judge.yosupo.jp/problem/many_factorials"
+
+#include "../../code/comb/factl_helper.hpp"
+
+CEXP u32 MOD = 998244353;
+
+#define GENTCs_p3ntts30s
+#define GENTCs_p3ntts63s
+#define GENTCs_p3ntts30d_0
+#define GENTCs_p3ntts63d_0
+#define GENTCs_pmtts
+#define GENTCs_pmttd0
+#define GENTCs_pntt
+
+int main() {
+#define GENTCs_p3ntts30d_1
+#define GENTCs_p3ntts63d_1
+#define GENTCs_pmttd1
+  std::cin.tie(nullptr)->std::ios::sync_with_stdio(false);
+  u32 t;
+  std::cin >> t;
+  while (t--) {
+    u32 n;
+    std::cin >> n;
+    std::cout << tifa_libs::math::factl_helper<poly>::get_fact(n) << '\n';
+  }
+  return 0;
+}
diff --git a/src/test_cpverifier/library-checker-datastructure/associative_array.rbtree.test.cpp b/src/test_cpverifier/library-checker-datastructure/associative_array.rbtree.test.cpp
new file mode 100644
index 000000000..8b2d9899f
--- /dev/null
+++ b/src/test_cpverifier/library-checker-datastructure/associative_array.rbtree.test.cpp
@@ -0,0 +1,22 @@
+#define PROBLEM "https://judge.yosupo.jp/problem/associative_array"
+
+#include "../../code/ds/rbtree.hpp"
+
+int main() {
+  std::cin.tie(nullptr)->std::ios::sync_with_stdio(false);
+  u64 q;
+  std::cin >> q;
+  tifa_libs::ds::rbtree<pttuu> tr;
+  for (u64 i = 0, op, k, v; i < q; ++i) {
+    std::cin >> op >> k;
+    auto it = tr.lower_bound({k, 0});
+    if (op) {
+      std::cout << (it && it->data.first == k ? it->data.second : 0) << '\n';
+    } else {
+      std::cin >> v;
+      if (it && it->data.first == k) it->data.second = v;
+      else tr.insert({k, v});
+    }
+  }
+  return 0;
+}
diff --git a/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-p3ntt-s30-d31.test.cpp b/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-p3ntt-s30-d31.test.cpp
new file mode 100644
index 000000000..ac42e0464
--- /dev/null
+++ b/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-p3ntt-s30-d31.test.cpp
@@ -0,0 +1,31 @@
+#define AUTO_GENERATED
+#define AUTO_GENERATED
+#define PROBLEM "https://judge.yosupo.jp/problem/factorial"
+
+#include "../../code/comb/factl_helper.hpp"
+
+CEXP u32 MOD = 998244353;
+
+#include "../../code/math/mint.hpp"
+#include "../../code/math/mint_d31.hpp"
+#include "../../code/math/mint_s30.hpp"
+#include "../../code/poly/poly3ntt.hpp"
+
+using mint = tifa_libs::math::mint<tifa_libs::math::mint_d31, __LINE__>;
+using mint1 = tifa_libs::math::mint<tifa_libs::math::mint_s30, 167772161>;
+using mint2 = tifa_libs::math::mint<tifa_libs::math::mint_s30, 469762049>;
+using mint3 = tifa_libs::math::mint<tifa_libs::math::mint_s30, 754974721>;
+using poly = tifa_libs::math::poly3ntt<mint, mint1, mint2, mint3>;
+
+int main() {
+  mint::set_mod(MOD);
+  std::cin.tie(nullptr)->std::ios::sync_with_stdio(false);
+  u32 t;
+  std::cin >> t;
+  while (t--) {
+    u32 n;
+    std::cin >> n;
+    std::cout << tifa_libs::math::factl_helper<poly>::get_fact(n) << '\n';
+  }
+  return 0;
+}
diff --git a/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-p3ntt-s30-d63.test.cpp b/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-p3ntt-s30-d63.test.cpp
new file mode 100644
index 000000000..3e10150aa
--- /dev/null
+++ b/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-p3ntt-s30-d63.test.cpp
@@ -0,0 +1,31 @@
+#define AUTO_GENERATED
+#define AUTO_GENERATED
+#define PROBLEM "https://judge.yosupo.jp/problem/factorial"
+
+#include "../../code/comb/factl_helper.hpp"
+
+CEXP u32 MOD = 998244353;
+
+#include "../../code/math/mint.hpp"
+#include "../../code/math/mint_d63.hpp"
+#include "../../code/math/mint_s30.hpp"
+#include "../../code/poly/poly3ntt.hpp"
+
+using mint = tifa_libs::math::mint<tifa_libs::math::mint_d63, __LINE__>;
+using mint1 = tifa_libs::math::mint<tifa_libs::math::mint_s30, 167772161>;
+using mint2 = tifa_libs::math::mint<tifa_libs::math::mint_s30, 469762049>;
+using mint3 = tifa_libs::math::mint<tifa_libs::math::mint_s30, 754974721>;
+using poly = tifa_libs::math::poly3ntt<mint, mint1, mint2, mint3>;
+
+int main() {
+  mint::set_mod(MOD);
+  std::cin.tie(nullptr)->std::ios::sync_with_stdio(false);
+  u32 t;
+  std::cin >> t;
+  while (t--) {
+    u32 n;
+    std::cin >> n;
+    std::cout << tifa_libs::math::factl_helper<poly>::get_fact(n) << '\n';
+  }
+  return 0;
+}
diff --git a/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-p3ntt-s30-s30.test.cpp b/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-p3ntt-s30-s30.test.cpp
new file mode 100644
index 000000000..6aaf5ff98
--- /dev/null
+++ b/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-p3ntt-s30-s30.test.cpp
@@ -0,0 +1,29 @@
+#define AUTO_GENERATED
+#define AUTO_GENERATED
+#define PROBLEM "https://judge.yosupo.jp/problem/factorial"
+
+#include "../../code/comb/factl_helper.hpp"
+
+CEXP u32 MOD = 998244353;
+
+#include "../../code/math/mint.hpp"
+#include "../../code/math/mint_s30.hpp"
+#include "../../code/poly/poly3ntt.hpp"
+
+using mint = tifa_libs::math::mint<tifa_libs::math::mint_s30, MOD>;
+using mint1 = tifa_libs::math::mint<tifa_libs::math::mint_s30, 167772161>;
+using mint2 = tifa_libs::math::mint<tifa_libs::math::mint_s30, 469762049>;
+using mint3 = tifa_libs::math::mint<tifa_libs::math::mint_s30, 754974721>;
+using poly = tifa_libs::math::poly3ntt<mint, mint1, mint2, mint3>;
+
+int main() {
+  std::cin.tie(nullptr)->std::ios::sync_with_stdio(false);
+  u32 t;
+  std::cin >> t;
+  while (t--) {
+    u32 n;
+    std::cin >> n;
+    std::cout << tifa_libs::math::factl_helper<poly>::get_fact(n) << '\n';
+  }
+  return 0;
+}
diff --git a/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-p3ntt-s30-s63.test.cpp b/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-p3ntt-s30-s63.test.cpp
new file mode 100644
index 000000000..c19ce9fe8
--- /dev/null
+++ b/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-p3ntt-s30-s63.test.cpp
@@ -0,0 +1,30 @@
+#define AUTO_GENERATED
+#define AUTO_GENERATED
+#define PROBLEM "https://judge.yosupo.jp/problem/factorial"
+
+#include "../../code/comb/factl_helper.hpp"
+
+CEXP u32 MOD = 998244353;
+
+#include "../../code/math/mint.hpp"
+#include "../../code/math/mint_s30.hpp"
+#include "../../code/math/mint_s63.hpp"
+#include "../../code/poly/poly3ntt.hpp"
+
+using mint = tifa_libs::math::mint<tifa_libs::math::mint_s63, MOD>;
+using mint1 = tifa_libs::math::mint<tifa_libs::math::mint_s30, 167772161>;
+using mint2 = tifa_libs::math::mint<tifa_libs::math::mint_s30, 469762049>;
+using mint3 = tifa_libs::math::mint<tifa_libs::math::mint_s30, 754974721>;
+using poly = tifa_libs::math::poly3ntt<mint, mint1, mint2, mint3>;
+
+int main() {
+  std::cin.tie(nullptr)->std::ios::sync_with_stdio(false);
+  u32 t;
+  std::cin >> t;
+  while (t--) {
+    u32 n;
+    std::cin >> n;
+    std::cout << tifa_libs::math::factl_helper<poly>::get_fact(n) << '\n';
+  }
+  return 0;
+}
diff --git a/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-p3ntt-s63-d31.test.cpp b/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-p3ntt-s63-d31.test.cpp
new file mode 100644
index 000000000..538980e90
--- /dev/null
+++ b/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-p3ntt-s63-d31.test.cpp
@@ -0,0 +1,31 @@
+#define AUTO_GENERATED
+#define AUTO_GENERATED
+#define PROBLEM "https://judge.yosupo.jp/problem/factorial"
+
+#include "../../code/comb/factl_helper.hpp"
+
+CEXP u32 MOD = 998244353;
+
+#include "../../code/math/mint.hpp"
+#include "../../code/math/mint_d31.hpp"
+#include "../../code/math/mint_s63.hpp"
+#include "../../code/poly/poly3ntt.hpp"
+
+using mint = tifa_libs::math::mint<tifa_libs::math::mint_d31, __LINE__>;
+using mint1 = tifa_libs::math::mint<tifa_libs::math::mint_s63, 167772161>;
+using mint2 = tifa_libs::math::mint<tifa_libs::math::mint_s63, 469762049>;
+using mint3 = tifa_libs::math::mint<tifa_libs::math::mint_s63, 754974721>;
+using poly = tifa_libs::math::poly3ntt<mint, mint1, mint2, mint3>;
+
+int main() {
+  mint::set_mod(MOD);
+  std::cin.tie(nullptr)->std::ios::sync_with_stdio(false);
+  u32 t;
+  std::cin >> t;
+  while (t--) {
+    u32 n;
+    std::cin >> n;
+    std::cout << tifa_libs::math::factl_helper<poly>::get_fact(n) << '\n';
+  }
+  return 0;
+}
diff --git a/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-p3ntt-s63-d63.test.cpp b/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-p3ntt-s63-d63.test.cpp
new file mode 100644
index 000000000..a0509f04d
--- /dev/null
+++ b/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-p3ntt-s63-d63.test.cpp
@@ -0,0 +1,31 @@
+#define AUTO_GENERATED
+#define AUTO_GENERATED
+#define PROBLEM "https://judge.yosupo.jp/problem/factorial"
+
+#include "../../code/comb/factl_helper.hpp"
+
+CEXP u32 MOD = 998244353;
+
+#include "../../code/math/mint.hpp"
+#include "../../code/math/mint_d63.hpp"
+#include "../../code/math/mint_s63.hpp"
+#include "../../code/poly/poly3ntt.hpp"
+
+using mint = tifa_libs::math::mint<tifa_libs::math::mint_d63, __LINE__>;
+using mint1 = tifa_libs::math::mint<tifa_libs::math::mint_s63, 167772161>;
+using mint2 = tifa_libs::math::mint<tifa_libs::math::mint_s63, 469762049>;
+using mint3 = tifa_libs::math::mint<tifa_libs::math::mint_s63, 754974721>;
+using poly = tifa_libs::math::poly3ntt<mint, mint1, mint2, mint3>;
+
+int main() {
+  mint::set_mod(MOD);
+  std::cin.tie(nullptr)->std::ios::sync_with_stdio(false);
+  u32 t;
+  std::cin >> t;
+  while (t--) {
+    u32 n;
+    std::cin >> n;
+    std::cout << tifa_libs::math::factl_helper<poly>::get_fact(n) << '\n';
+  }
+  return 0;
+}
diff --git a/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-p3ntt-s63-s30.test.cpp b/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-p3ntt-s63-s30.test.cpp
new file mode 100644
index 000000000..be22ed5a8
--- /dev/null
+++ b/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-p3ntt-s63-s30.test.cpp
@@ -0,0 +1,30 @@
+#define AUTO_GENERATED
+#define AUTO_GENERATED
+#define PROBLEM "https://judge.yosupo.jp/problem/factorial"
+
+#include "../../code/comb/factl_helper.hpp"
+
+CEXP u32 MOD = 998244353;
+
+#include "../../code/math/mint.hpp"
+#include "../../code/math/mint_s30.hpp"
+#include "../../code/math/mint_s63.hpp"
+#include "../../code/poly/poly3ntt.hpp"
+
+using mint = tifa_libs::math::mint<tifa_libs::math::mint_s30, MOD>;
+using mint1 = tifa_libs::math::mint<tifa_libs::math::mint_s63, 167772161>;
+using mint2 = tifa_libs::math::mint<tifa_libs::math::mint_s63, 469762049>;
+using mint3 = tifa_libs::math::mint<tifa_libs::math::mint_s63, 754974721>;
+using poly = tifa_libs::math::poly3ntt<mint, mint1, mint2, mint3>;
+
+int main() {
+  std::cin.tie(nullptr)->std::ios::sync_with_stdio(false);
+  u32 t;
+  std::cin >> t;
+  while (t--) {
+    u32 n;
+    std::cin >> n;
+    std::cout << tifa_libs::math::factl_helper<poly>::get_fact(n) << '\n';
+  }
+  return 0;
+}
diff --git a/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-p3ntt-s63-s63.test.cpp b/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-p3ntt-s63-s63.test.cpp
new file mode 100644
index 000000000..a0a2be6f5
--- /dev/null
+++ b/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-p3ntt-s63-s63.test.cpp
@@ -0,0 +1,29 @@
+#define AUTO_GENERATED
+#define AUTO_GENERATED
+#define PROBLEM "https://judge.yosupo.jp/problem/factorial"
+
+#include "../../code/comb/factl_helper.hpp"
+
+CEXP u32 MOD = 998244353;
+
+#include "../../code/math/mint.hpp"
+#include "../../code/math/mint_s63.hpp"
+#include "../../code/poly/poly3ntt.hpp"
+
+using mint = tifa_libs::math::mint<tifa_libs::math::mint_s63, MOD>;
+using mint1 = tifa_libs::math::mint<tifa_libs::math::mint_s63, 167772161>;
+using mint2 = tifa_libs::math::mint<tifa_libs::math::mint_s63, 469762049>;
+using mint3 = tifa_libs::math::mint<tifa_libs::math::mint_s63, 754974721>;
+using poly = tifa_libs::math::poly3ntt<mint, mint1, mint2, mint3>;
+
+int main() {
+  std::cin.tie(nullptr)->std::ios::sync_with_stdio(false);
+  u32 t;
+  std::cin >> t;
+  while (t--) {
+    u32 n;
+    std::cin >> n;
+    std::cout << tifa_libs::math::factl_helper<poly>::get_fact(n) << '\n';
+  }
+  return 0;
+}
diff --git a/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-pmtt-d31.test.cpp b/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-pmtt-d31.test.cpp
new file mode 100644
index 000000000..ad0489e05
--- /dev/null
+++ b/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-pmtt-d31.test.cpp
@@ -0,0 +1,27 @@
+#define AUTO_GENERATED
+#define AUTO_GENERATED
+#define PROBLEM "https://judge.yosupo.jp/problem/factorial"
+
+#include "../../code/comb/factl_helper.hpp"
+
+CEXP u32 MOD = 998244353;
+
+#include "../../code/math/mint.hpp"
+#include "../../code/math/mint_d31.hpp"
+#include "../../code/poly/polymtt.hpp"
+
+using mint = tifa_libs::math::mint<tifa_libs::math::mint_d31, __LINE__>;
+using poly = tifa_libs::math::polymtt<mint>;
+
+int main() {
+  mint::set_mod(MOD);
+  std::cin.tie(nullptr)->std::ios::sync_with_stdio(false);
+  u32 t;
+  std::cin >> t;
+  while (t--) {
+    u32 n;
+    std::cin >> n;
+    std::cout << tifa_libs::math::factl_helper<poly>::get_fact(n) << '\n';
+  }
+  return 0;
+}
diff --git a/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-pmtt-d63.test.cpp b/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-pmtt-d63.test.cpp
new file mode 100644
index 000000000..d2c3f46a7
--- /dev/null
+++ b/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-pmtt-d63.test.cpp
@@ -0,0 +1,27 @@
+#define AUTO_GENERATED
+#define AUTO_GENERATED
+#define PROBLEM "https://judge.yosupo.jp/problem/factorial"
+
+#include "../../code/comb/factl_helper.hpp"
+
+CEXP u32 MOD = 998244353;
+
+#include "../../code/math/mint.hpp"
+#include "../../code/math/mint_d63.hpp"
+#include "../../code/poly/polymtt.hpp"
+
+using mint = tifa_libs::math::mint<tifa_libs::math::mint_d63, __LINE__>;
+using poly = tifa_libs::math::polymtt<mint>;
+
+int main() {
+  mint::set_mod(MOD);
+  std::cin.tie(nullptr)->std::ios::sync_with_stdio(false);
+  u32 t;
+  std::cin >> t;
+  while (t--) {
+    u32 n;
+    std::cin >> n;
+    std::cout << tifa_libs::math::factl_helper<poly>::get_fact(n) << '\n';
+  }
+  return 0;
+}
diff --git a/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-pmtt-s30.test.cpp b/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-pmtt-s30.test.cpp
new file mode 100644
index 000000000..53a17a09d
--- /dev/null
+++ b/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-pmtt-s30.test.cpp
@@ -0,0 +1,26 @@
+#define AUTO_GENERATED
+#define AUTO_GENERATED
+#define PROBLEM "https://judge.yosupo.jp/problem/factorial"
+
+#include "../../code/comb/factl_helper.hpp"
+
+CEXP u32 MOD = 998244353;
+
+#include "../../code/math/mint.hpp"
+#include "../../code/math/mint_s30.hpp"
+#include "../../code/poly/polymtt.hpp"
+
+using mint = tifa_libs::math::mint<tifa_libs::math::mint_s30, MOD>;
+using poly = tifa_libs::math::polymtt<mint>;
+
+int main() {
+  std::cin.tie(nullptr)->std::ios::sync_with_stdio(false);
+  u32 t;
+  std::cin >> t;
+  while (t--) {
+    u32 n;
+    std::cin >> n;
+    std::cout << tifa_libs::math::factl_helper<poly>::get_fact(n) << '\n';
+  }
+  return 0;
+}
diff --git a/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-pmtt-s63.test.cpp b/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-pmtt-s63.test.cpp
new file mode 100644
index 000000000..a971f5a60
--- /dev/null
+++ b/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-pmtt-s63.test.cpp
@@ -0,0 +1,26 @@
+#define AUTO_GENERATED
+#define AUTO_GENERATED
+#define PROBLEM "https://judge.yosupo.jp/problem/factorial"
+
+#include "../../code/comb/factl_helper.hpp"
+
+CEXP u32 MOD = 998244353;
+
+#include "../../code/math/mint.hpp"
+#include "../../code/math/mint_s63.hpp"
+#include "../../code/poly/polymtt.hpp"
+
+using mint = tifa_libs::math::mint<tifa_libs::math::mint_s63, MOD>;
+using poly = tifa_libs::math::polymtt<mint>;
+
+int main() {
+  std::cin.tie(nullptr)->std::ios::sync_with_stdio(false);
+  u32 t;
+  std::cin >> t;
+  while (t--) {
+    u32 n;
+    std::cin >> n;
+    std::cout << tifa_libs::math::factl_helper<poly>::get_fact(n) << '\n';
+  }
+  return 0;
+}
diff --git a/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-pntt-s30.test.cpp b/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-pntt-s30.test.cpp
new file mode 100644
index 000000000..b2432330e
--- /dev/null
+++ b/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-pntt-s30.test.cpp
@@ -0,0 +1,26 @@
+#define AUTO_GENERATED
+#define AUTO_GENERATED
+#define PROBLEM "https://judge.yosupo.jp/problem/factorial"
+
+#include "../../code/comb/factl_helper.hpp"
+
+CEXP u32 MOD = 998244353;
+
+#include "../../code/math/mint.hpp"
+#include "../../code/math/mint_s30.hpp"
+#include "../../code/poly/polyntt.hpp"
+
+using mint = tifa_libs::math::mint<tifa_libs::math::mint_s30, MOD>;
+using poly = tifa_libs::math::polyntt<mint>;
+
+int main() {
+  std::cin.tie(nullptr)->std::ios::sync_with_stdio(false);
+  u32 t;
+  std::cin >> t;
+  while (t--) {
+    u32 n;
+    std::cin >> n;
+    std::cout << tifa_libs::math::factl_helper<poly>::get_fact(n) << '\n';
+  }
+  return 0;
+}
diff --git a/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-pntt-s63.test.cpp b/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-pntt-s63.test.cpp
new file mode 100644
index 000000000..630f472e8
--- /dev/null
+++ b/src/test_cpverifier/library-checker-enumerative_combinatorics/factorial.factl-helper-pntt-s63.test.cpp
@@ -0,0 +1,26 @@
+#define AUTO_GENERATED
+#define AUTO_GENERATED
+#define PROBLEM "https://judge.yosupo.jp/problem/factorial"
+
+#include "../../code/comb/factl_helper.hpp"
+
+CEXP u32 MOD = 998244353;
+
+#include "../../code/math/mint.hpp"
+#include "../../code/math/mint_s63.hpp"
+#include "../../code/poly/polyntt.hpp"
+
+using mint = tifa_libs::math::mint<tifa_libs::math::mint_s63, MOD>;
+using poly = tifa_libs::math::polyntt<mint>;
+
+int main() {
+  std::cin.tie(nullptr)->std::ios::sync_with_stdio(false);
+  u32 t;
+  std::cin >> t;
+  while (t--) {
+    u32 n;
+    std::cin >> n;
+    std::cout << tifa_libs::math::factl_helper<poly>::get_fact(n) << '\n';
+  }
+  return 0;
+}
diff --git a/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.p3ntt-s30-d31.test.cpp b/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.p3ntt-s30-d31.test.cpp
new file mode 100644
index 000000000..dc4e2ec89
--- /dev/null
+++ b/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.p3ntt-s30-d31.test.cpp
@@ -0,0 +1,31 @@
+#define AUTO_GENERATED
+#define AUTO_GENERATED
+#define PROBLEM "https://judge.yosupo.jp/problem/many_factorials"
+
+#include "../../code/comb/factl_helper.hpp"
+
+CEXP u32 MOD = 998244353;
+
+#include "../../code/math/mint.hpp"
+#include "../../code/math/mint_d31.hpp"
+#include "../../code/math/mint_s30.hpp"
+#include "../../code/poly/poly3ntt.hpp"
+
+using mint = tifa_libs::math::mint<tifa_libs::math::mint_d31, __LINE__>;
+using mint1 = tifa_libs::math::mint<tifa_libs::math::mint_s30, 167772161>;
+using mint2 = tifa_libs::math::mint<tifa_libs::math::mint_s30, 469762049>;
+using mint3 = tifa_libs::math::mint<tifa_libs::math::mint_s30, 754974721>;
+using poly = tifa_libs::math::poly3ntt<mint, mint1, mint2, mint3>;
+
+int main() {
+  mint::set_mod(MOD);
+  std::cin.tie(nullptr)->std::ios::sync_with_stdio(false);
+  u32 t;
+  std::cin >> t;
+  while (t--) {
+    u32 n;
+    std::cin >> n;
+    std::cout << tifa_libs::math::factl_helper<poly>::get_fact(n) << '\n';
+  }
+  return 0;
+}
diff --git a/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.p3ntt-s30-d63.test.cpp b/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.p3ntt-s30-d63.test.cpp
new file mode 100644
index 000000000..a8886090f
--- /dev/null
+++ b/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.p3ntt-s30-d63.test.cpp
@@ -0,0 +1,31 @@
+#define AUTO_GENERATED
+#define AUTO_GENERATED
+#define PROBLEM "https://judge.yosupo.jp/problem/many_factorials"
+
+#include "../../code/comb/factl_helper.hpp"
+
+CEXP u32 MOD = 998244353;
+
+#include "../../code/math/mint.hpp"
+#include "../../code/math/mint_d63.hpp"
+#include "../../code/math/mint_s30.hpp"
+#include "../../code/poly/poly3ntt.hpp"
+
+using mint = tifa_libs::math::mint<tifa_libs::math::mint_d63, __LINE__>;
+using mint1 = tifa_libs::math::mint<tifa_libs::math::mint_s30, 167772161>;
+using mint2 = tifa_libs::math::mint<tifa_libs::math::mint_s30, 469762049>;
+using mint3 = tifa_libs::math::mint<tifa_libs::math::mint_s30, 754974721>;
+using poly = tifa_libs::math::poly3ntt<mint, mint1, mint2, mint3>;
+
+int main() {
+  mint::set_mod(MOD);
+  std::cin.tie(nullptr)->std::ios::sync_with_stdio(false);
+  u32 t;
+  std::cin >> t;
+  while (t--) {
+    u32 n;
+    std::cin >> n;
+    std::cout << tifa_libs::math::factl_helper<poly>::get_fact(n) << '\n';
+  }
+  return 0;
+}
diff --git a/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.p3ntt-s30-s30.test.cpp b/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.p3ntt-s30-s30.test.cpp
new file mode 100644
index 000000000..ef2ee9d0a
--- /dev/null
+++ b/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.p3ntt-s30-s30.test.cpp
@@ -0,0 +1,29 @@
+#define AUTO_GENERATED
+#define AUTO_GENERATED
+#define PROBLEM "https://judge.yosupo.jp/problem/many_factorials"
+
+#include "../../code/comb/factl_helper.hpp"
+
+CEXP u32 MOD = 998244353;
+
+#include "../../code/math/mint.hpp"
+#include "../../code/math/mint_s30.hpp"
+#include "../../code/poly/poly3ntt.hpp"
+
+using mint = tifa_libs::math::mint<tifa_libs::math::mint_s30, MOD>;
+using mint1 = tifa_libs::math::mint<tifa_libs::math::mint_s30, 167772161>;
+using mint2 = tifa_libs::math::mint<tifa_libs::math::mint_s30, 469762049>;
+using mint3 = tifa_libs::math::mint<tifa_libs::math::mint_s30, 754974721>;
+using poly = tifa_libs::math::poly3ntt<mint, mint1, mint2, mint3>;
+
+int main() {
+  std::cin.tie(nullptr)->std::ios::sync_with_stdio(false);
+  u32 t;
+  std::cin >> t;
+  while (t--) {
+    u32 n;
+    std::cin >> n;
+    std::cout << tifa_libs::math::factl_helper<poly>::get_fact(n) << '\n';
+  }
+  return 0;
+}
diff --git a/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.p3ntt-s30-s63.test.cpp b/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.p3ntt-s30-s63.test.cpp
new file mode 100644
index 000000000..2cde3de33
--- /dev/null
+++ b/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.p3ntt-s30-s63.test.cpp
@@ -0,0 +1,30 @@
+#define AUTO_GENERATED
+#define AUTO_GENERATED
+#define PROBLEM "https://judge.yosupo.jp/problem/many_factorials"
+
+#include "../../code/comb/factl_helper.hpp"
+
+CEXP u32 MOD = 998244353;
+
+#include "../../code/math/mint.hpp"
+#include "../../code/math/mint_s30.hpp"
+#include "../../code/math/mint_s63.hpp"
+#include "../../code/poly/poly3ntt.hpp"
+
+using mint = tifa_libs::math::mint<tifa_libs::math::mint_s63, MOD>;
+using mint1 = tifa_libs::math::mint<tifa_libs::math::mint_s30, 167772161>;
+using mint2 = tifa_libs::math::mint<tifa_libs::math::mint_s30, 469762049>;
+using mint3 = tifa_libs::math::mint<tifa_libs::math::mint_s30, 754974721>;
+using poly = tifa_libs::math::poly3ntt<mint, mint1, mint2, mint3>;
+
+int main() {
+  std::cin.tie(nullptr)->std::ios::sync_with_stdio(false);
+  u32 t;
+  std::cin >> t;
+  while (t--) {
+    u32 n;
+    std::cin >> n;
+    std::cout << tifa_libs::math::factl_helper<poly>::get_fact(n) << '\n';
+  }
+  return 0;
+}
diff --git a/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.p3ntt-s63-d31.test.cpp b/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.p3ntt-s63-d31.test.cpp
new file mode 100644
index 000000000..80ac4afab
--- /dev/null
+++ b/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.p3ntt-s63-d31.test.cpp
@@ -0,0 +1,31 @@
+#define AUTO_GENERATED
+#define AUTO_GENERATED
+#define PROBLEM "https://judge.yosupo.jp/problem/many_factorials"
+
+#include "../../code/comb/factl_helper.hpp"
+
+CEXP u32 MOD = 998244353;
+
+#include "../../code/math/mint.hpp"
+#include "../../code/math/mint_d31.hpp"
+#include "../../code/math/mint_s63.hpp"
+#include "../../code/poly/poly3ntt.hpp"
+
+using mint = tifa_libs::math::mint<tifa_libs::math::mint_d31, __LINE__>;
+using mint1 = tifa_libs::math::mint<tifa_libs::math::mint_s63, 167772161>;
+using mint2 = tifa_libs::math::mint<tifa_libs::math::mint_s63, 469762049>;
+using mint3 = tifa_libs::math::mint<tifa_libs::math::mint_s63, 754974721>;
+using poly = tifa_libs::math::poly3ntt<mint, mint1, mint2, mint3>;
+
+int main() {
+  mint::set_mod(MOD);
+  std::cin.tie(nullptr)->std::ios::sync_with_stdio(false);
+  u32 t;
+  std::cin >> t;
+  while (t--) {
+    u32 n;
+    std::cin >> n;
+    std::cout << tifa_libs::math::factl_helper<poly>::get_fact(n) << '\n';
+  }
+  return 0;
+}
diff --git a/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.p3ntt-s63-d63.test.cpp b/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.p3ntt-s63-d63.test.cpp
new file mode 100644
index 000000000..20713aca9
--- /dev/null
+++ b/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.p3ntt-s63-d63.test.cpp
@@ -0,0 +1,31 @@
+#define AUTO_GENERATED
+#define AUTO_GENERATED
+#define PROBLEM "https://judge.yosupo.jp/problem/many_factorials"
+
+#include "../../code/comb/factl_helper.hpp"
+
+CEXP u32 MOD = 998244353;
+
+#include "../../code/math/mint.hpp"
+#include "../../code/math/mint_d63.hpp"
+#include "../../code/math/mint_s63.hpp"
+#include "../../code/poly/poly3ntt.hpp"
+
+using mint = tifa_libs::math::mint<tifa_libs::math::mint_d63, __LINE__>;
+using mint1 = tifa_libs::math::mint<tifa_libs::math::mint_s63, 167772161>;
+using mint2 = tifa_libs::math::mint<tifa_libs::math::mint_s63, 469762049>;
+using mint3 = tifa_libs::math::mint<tifa_libs::math::mint_s63, 754974721>;
+using poly = tifa_libs::math::poly3ntt<mint, mint1, mint2, mint3>;
+
+int main() {
+  mint::set_mod(MOD);
+  std::cin.tie(nullptr)->std::ios::sync_with_stdio(false);
+  u32 t;
+  std::cin >> t;
+  while (t--) {
+    u32 n;
+    std::cin >> n;
+    std::cout << tifa_libs::math::factl_helper<poly>::get_fact(n) << '\n';
+  }
+  return 0;
+}
diff --git a/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.p3ntt-s63-s30.test.cpp b/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.p3ntt-s63-s30.test.cpp
new file mode 100644
index 000000000..b7d952925
--- /dev/null
+++ b/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.p3ntt-s63-s30.test.cpp
@@ -0,0 +1,30 @@
+#define AUTO_GENERATED
+#define AUTO_GENERATED
+#define PROBLEM "https://judge.yosupo.jp/problem/many_factorials"
+
+#include "../../code/comb/factl_helper.hpp"
+
+CEXP u32 MOD = 998244353;
+
+#include "../../code/math/mint.hpp"
+#include "../../code/math/mint_s30.hpp"
+#include "../../code/math/mint_s63.hpp"
+#include "../../code/poly/poly3ntt.hpp"
+
+using mint = tifa_libs::math::mint<tifa_libs::math::mint_s30, MOD>;
+using mint1 = tifa_libs::math::mint<tifa_libs::math::mint_s63, 167772161>;
+using mint2 = tifa_libs::math::mint<tifa_libs::math::mint_s63, 469762049>;
+using mint3 = tifa_libs::math::mint<tifa_libs::math::mint_s63, 754974721>;
+using poly = tifa_libs::math::poly3ntt<mint, mint1, mint2, mint3>;
+
+int main() {
+  std::cin.tie(nullptr)->std::ios::sync_with_stdio(false);
+  u32 t;
+  std::cin >> t;
+  while (t--) {
+    u32 n;
+    std::cin >> n;
+    std::cout << tifa_libs::math::factl_helper<poly>::get_fact(n) << '\n';
+  }
+  return 0;
+}
diff --git a/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.p3ntt-s63-s63.test.cpp b/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.p3ntt-s63-s63.test.cpp
new file mode 100644
index 000000000..3698fa52e
--- /dev/null
+++ b/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.p3ntt-s63-s63.test.cpp
@@ -0,0 +1,29 @@
+#define AUTO_GENERATED
+#define AUTO_GENERATED
+#define PROBLEM "https://judge.yosupo.jp/problem/many_factorials"
+
+#include "../../code/comb/factl_helper.hpp"
+
+CEXP u32 MOD = 998244353;
+
+#include "../../code/math/mint.hpp"
+#include "../../code/math/mint_s63.hpp"
+#include "../../code/poly/poly3ntt.hpp"
+
+using mint = tifa_libs::math::mint<tifa_libs::math::mint_s63, MOD>;
+using mint1 = tifa_libs::math::mint<tifa_libs::math::mint_s63, 167772161>;
+using mint2 = tifa_libs::math::mint<tifa_libs::math::mint_s63, 469762049>;
+using mint3 = tifa_libs::math::mint<tifa_libs::math::mint_s63, 754974721>;
+using poly = tifa_libs::math::poly3ntt<mint, mint1, mint2, mint3>;
+
+int main() {
+  std::cin.tie(nullptr)->std::ios::sync_with_stdio(false);
+  u32 t;
+  std::cin >> t;
+  while (t--) {
+    u32 n;
+    std::cin >> n;
+    std::cout << tifa_libs::math::factl_helper<poly>::get_fact(n) << '\n';
+  }
+  return 0;
+}
diff --git a/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.pmtt-d31.test.cpp b/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.pmtt-d31.test.cpp
new file mode 100644
index 000000000..37ccf852f
--- /dev/null
+++ b/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.pmtt-d31.test.cpp
@@ -0,0 +1,27 @@
+#define AUTO_GENERATED
+#define AUTO_GENERATED
+#define PROBLEM "https://judge.yosupo.jp/problem/many_factorials"
+
+#include "../../code/comb/factl_helper.hpp"
+
+CEXP u32 MOD = 998244353;
+
+#include "../../code/math/mint.hpp"
+#include "../../code/math/mint_d31.hpp"
+#include "../../code/poly/polymtt.hpp"
+
+using mint = tifa_libs::math::mint<tifa_libs::math::mint_d31, __LINE__>;
+using poly = tifa_libs::math::polymtt<mint>;
+
+int main() {
+  mint::set_mod(MOD);
+  std::cin.tie(nullptr)->std::ios::sync_with_stdio(false);
+  u32 t;
+  std::cin >> t;
+  while (t--) {
+    u32 n;
+    std::cin >> n;
+    std::cout << tifa_libs::math::factl_helper<poly>::get_fact(n) << '\n';
+  }
+  return 0;
+}
diff --git a/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.pmtt-d63.test.cpp b/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.pmtt-d63.test.cpp
new file mode 100644
index 000000000..cdaed9440
--- /dev/null
+++ b/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.pmtt-d63.test.cpp
@@ -0,0 +1,27 @@
+#define AUTO_GENERATED
+#define AUTO_GENERATED
+#define PROBLEM "https://judge.yosupo.jp/problem/many_factorials"
+
+#include "../../code/comb/factl_helper.hpp"
+
+CEXP u32 MOD = 998244353;
+
+#include "../../code/math/mint.hpp"
+#include "../../code/math/mint_d63.hpp"
+#include "../../code/poly/polymtt.hpp"
+
+using mint = tifa_libs::math::mint<tifa_libs::math::mint_d63, __LINE__>;
+using poly = tifa_libs::math::polymtt<mint>;
+
+int main() {
+  mint::set_mod(MOD);
+  std::cin.tie(nullptr)->std::ios::sync_with_stdio(false);
+  u32 t;
+  std::cin >> t;
+  while (t--) {
+    u32 n;
+    std::cin >> n;
+    std::cout << tifa_libs::math::factl_helper<poly>::get_fact(n) << '\n';
+  }
+  return 0;
+}
diff --git a/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.pmtt-s30.test.cpp b/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.pmtt-s30.test.cpp
new file mode 100644
index 000000000..16c3467e4
--- /dev/null
+++ b/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.pmtt-s30.test.cpp
@@ -0,0 +1,26 @@
+#define AUTO_GENERATED
+#define AUTO_GENERATED
+#define PROBLEM "https://judge.yosupo.jp/problem/many_factorials"
+
+#include "../../code/comb/factl_helper.hpp"
+
+CEXP u32 MOD = 998244353;
+
+#include "../../code/math/mint.hpp"
+#include "../../code/math/mint_s30.hpp"
+#include "../../code/poly/polymtt.hpp"
+
+using mint = tifa_libs::math::mint<tifa_libs::math::mint_s30, MOD>;
+using poly = tifa_libs::math::polymtt<mint>;
+
+int main() {
+  std::cin.tie(nullptr)->std::ios::sync_with_stdio(false);
+  u32 t;
+  std::cin >> t;
+  while (t--) {
+    u32 n;
+    std::cin >> n;
+    std::cout << tifa_libs::math::factl_helper<poly>::get_fact(n) << '\n';
+  }
+  return 0;
+}
diff --git a/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.pmtt-s63.test.cpp b/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.pmtt-s63.test.cpp
new file mode 100644
index 000000000..84792f819
--- /dev/null
+++ b/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.pmtt-s63.test.cpp
@@ -0,0 +1,26 @@
+#define AUTO_GENERATED
+#define AUTO_GENERATED
+#define PROBLEM "https://judge.yosupo.jp/problem/many_factorials"
+
+#include "../../code/comb/factl_helper.hpp"
+
+CEXP u32 MOD = 998244353;
+
+#include "../../code/math/mint.hpp"
+#include "../../code/math/mint_s63.hpp"
+#include "../../code/poly/polymtt.hpp"
+
+using mint = tifa_libs::math::mint<tifa_libs::math::mint_s63, MOD>;
+using poly = tifa_libs::math::polymtt<mint>;
+
+int main() {
+  std::cin.tie(nullptr)->std::ios::sync_with_stdio(false);
+  u32 t;
+  std::cin >> t;
+  while (t--) {
+    u32 n;
+    std::cin >> n;
+    std::cout << tifa_libs::math::factl_helper<poly>::get_fact(n) << '\n';
+  }
+  return 0;
+}
diff --git a/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.pntt-s30.test.cpp b/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.pntt-s30.test.cpp
new file mode 100644
index 000000000..ab2b73bb1
--- /dev/null
+++ b/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.pntt-s30.test.cpp
@@ -0,0 +1,26 @@
+#define AUTO_GENERATED
+#define AUTO_GENERATED
+#define PROBLEM "https://judge.yosupo.jp/problem/many_factorials"
+
+#include "../../code/comb/factl_helper.hpp"
+
+CEXP u32 MOD = 998244353;
+
+#include "../../code/math/mint.hpp"
+#include "../../code/math/mint_s30.hpp"
+#include "../../code/poly/polyntt.hpp"
+
+using mint = tifa_libs::math::mint<tifa_libs::math::mint_s30, MOD>;
+using poly = tifa_libs::math::polyntt<mint>;
+
+int main() {
+  std::cin.tie(nullptr)->std::ios::sync_with_stdio(false);
+  u32 t;
+  std::cin >> t;
+  while (t--) {
+    u32 n;
+    std::cin >> n;
+    std::cout << tifa_libs::math::factl_helper<poly>::get_fact(n) << '\n';
+  }
+  return 0;
+}
diff --git a/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.pntt-s63.test.cpp b/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.pntt-s63.test.cpp
new file mode 100644
index 000000000..175e56759
--- /dev/null
+++ b/src/test_cpverifier/library-checker-enumerative_combinatorics/many_factorials.pntt-s63.test.cpp
@@ -0,0 +1,26 @@
+#define AUTO_GENERATED
+#define AUTO_GENERATED
+#define PROBLEM "https://judge.yosupo.jp/problem/many_factorials"
+
+#include "../../code/comb/factl_helper.hpp"
+
+CEXP u32 MOD = 998244353;
+
+#include "../../code/math/mint.hpp"
+#include "../../code/math/mint_s63.hpp"
+#include "../../code/poly/polyntt.hpp"
+
+using mint = tifa_libs::math::mint<tifa_libs::math::mint_s63, MOD>;
+using poly = tifa_libs::math::polyntt<mint>;
+
+int main() {
+  std::cin.tie(nullptr)->std::ios::sync_with_stdio(false);
+  u32 t;
+  std::cin >> t;
+  while (t--) {
+    u32 n;
+    std::cin >> n;
+    std::cout << tifa_libs::math::factl_helper<poly>::get_fact(n) << '\n';
+  }
+  return 0;
+}
diff --git a/src/test_tinplate/comb/factl_helper.cpp b/src/test_tinplate/comb/factl_helper.cpp
new file mode 100644
index 000000000..e69de29bb