GCC Code Coverage Report


Directory: ./
Coverage: low: ≥ 0% medium: ≥ 75.0% high: ≥ 90.0%
Coverage Exec / Excl / Total
Lines: 100.0% 270 / 0 / 270
Functions: 100.0% 60 / 0 / 60
Branches: 100.0% 120 / 0 / 120

src/comb/ball_box/ddl/lib.hpp
Line Branch Exec Source
1 #pragma once
2
3 #include "../../binom/lib.hpp"
4 #include "../../seq/pows/lib.hpp"
5
6 namespace tifa_libs {
7
8 template <class mint, class fact>
9 900 CEXP mint ball_box_ddl(u32, u32 box, spnuu pows, binom<mint, fact> CR b) NE {
10 900 mint ans = 0;
11 900 bool f = box & 1;
12
60/60
tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<13l> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<13l> >, tifa_libs::fact_helper<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<13l> > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<13l> >, tifa_libs::fact_helper<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<13l> > > > const&):
✓ Branch 0 taken 12463 times.
✓ Branch 1 taken 30 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<14l> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<14l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::polymtt_impl_::cconv_mtt<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<14l> >, double> > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<14l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::polymtt_impl_::cconv_mtt<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<14l> >, double> > > > const&):
✓ Branch 0 taken 12463 times.
✓ Branch 1 taken 30 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<15l> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 12463 times.
✓ Branch 1 taken 30 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<15l> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 12463 times.
✓ Branch 1 taken 30 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<15l> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 12463 times.
✓ Branch 1 taken 30 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, tifa_libs::fact_helper<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, tifa_libs::fact_helper<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> > > > const&):
✓ Branch 0 taken 12463 times.
✓ Branch 1 taken 30 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 12463 times.
✓ Branch 1 taken 30 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 12463 times.
✓ Branch 1 taken 30 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 12463 times.
✓ Branch 1 taken 30 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::polymtt_impl_::cconv_mtt<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, double> > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::polymtt_impl_::cconv_mtt<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, double> > > > const&):
✓ Branch 0 taken 12463 times.
✓ Branch 1 taken 30 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<13l> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<13l> >, tifa_libs::fact_helper<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<13l> > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<13l> >, tifa_libs::fact_helper<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<13l> > > > const&):
✓ Branch 0 taken 12463 times.
✓ Branch 1 taken 30 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<14l> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<14l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::polymtt_impl_::cconv_mtt<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<14l> >, double> > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<14l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::polymtt_impl_::cconv_mtt<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<14l> >, double> > > > const&):
✓ Branch 0 taken 12463 times.
✓ Branch 1 taken 30 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<15l> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 12463 times.
✓ Branch 1 taken 30 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<15l> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 12463 times.
✓ Branch 1 taken 30 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<15l> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 12463 times.
✓ Branch 1 taken 30 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<13l> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<13l> >, tifa_libs::fact_helper<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<13l> > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<13l> >, tifa_libs::fact_helper<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<13l> > > > const&):
✓ Branch 0 taken 12463 times.
✓ Branch 1 taken 30 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<14l> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<14l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::polymtt_impl_::cconv_mtt<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<14l> >, double> > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<14l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::polymtt_impl_::cconv_mtt<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<14l> >, double> > > > const&):
✓ Branch 0 taken 12463 times.
✓ Branch 1 taken 30 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<15l> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 12463 times.
✓ Branch 1 taken 30 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<15l> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 12463 times.
✓ Branch 1 taken 30 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<15l> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 12463 times.
✓ Branch 1 taken 30 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, tifa_libs::fact_helper<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, tifa_libs::fact_helper<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> > > > const&):
✓ Branch 0 taken 12463 times.
✓ Branch 1 taken 30 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 12463 times.
✓ Branch 1 taken 30 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 12463 times.
✓ Branch 1 taken 30 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 12463 times.
✓ Branch 1 taken 30 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::polymtt_impl_::cconv_mtt<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, double> > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::polymtt_impl_::cconv_mtt<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, double> > > > const&):
✓ Branch 0 taken 12463 times.
✓ Branch 1 taken 30 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, tifa_libs::fact_helper<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, tifa_libs::fact_helper<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> > > > const&):
✓ Branch 0 taken 12463 times.
✓ Branch 1 taken 30 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 12463 times.
✓ Branch 1 taken 30 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 12463 times.
✓ Branch 1 taken 30 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 12463 times.
✓ Branch 1 taken 30 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::polymtt_impl_::cconv_mtt<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, double> > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::polymtt_impl_::cconv_mtt<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, double> > > > const&):
✓ Branch 0 taken 12463 times.
✓ Branch 1 taken 30 times.
374790 flt_ (u32, i, 1, box + 1) {
13 373890 auto _ = b.mCn(box, i) * pows[i];
14
60/60
tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<13l> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<13l> >, tifa_libs::fact_helper<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<13l> > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<13l> >, tifa_libs::fact_helper<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<13l> > > > const&):
✓ Branch 0 taken 6239 times.
✓ Branch 1 taken 6224 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<14l> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<14l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::polymtt_impl_::cconv_mtt<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<14l> >, double> > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<14l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::polymtt_impl_::cconv_mtt<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<14l> >, double> > > > const&):
✓ Branch 0 taken 6239 times.
✓ Branch 1 taken 6224 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<15l> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 6239 times.
✓ Branch 1 taken 6224 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<15l> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 6239 times.
✓ Branch 1 taken 6224 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<15l> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 6239 times.
✓ Branch 1 taken 6224 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, tifa_libs::fact_helper<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, tifa_libs::fact_helper<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> > > > const&):
✓ Branch 0 taken 6239 times.
✓ Branch 1 taken 6224 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 6239 times.
✓ Branch 1 taken 6224 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 6239 times.
✓ Branch 1 taken 6224 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 6239 times.
✓ Branch 1 taken 6224 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::polymtt_impl_::cconv_mtt<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, double> > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::polymtt_impl_::cconv_mtt<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<1000000007ul> >, double> > > > const&):
✓ Branch 0 taken 6239 times.
✓ Branch 1 taken 6224 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<13l> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<13l> >, tifa_libs::fact_helper<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<13l> > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<13l> >, tifa_libs::fact_helper<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<13l> > > > const&):
✓ Branch 0 taken 6239 times.
✓ Branch 1 taken 6224 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<14l> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<14l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::polymtt_impl_::cconv_mtt<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<14l> >, double> > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<14l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::polymtt_impl_::cconv_mtt<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<14l> >, double> > > > const&):
✓ Branch 0 taken 6239 times.
✓ Branch 1 taken 6224 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<15l> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 6239 times.
✓ Branch 1 taken 6224 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<15l> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 6239 times.
✓ Branch 1 taken 6224 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<15l> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 6239 times.
✓ Branch 1 taken 6224 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<13l> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<13l> >, tifa_libs::fact_helper<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<13l> > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<13l> >, tifa_libs::fact_helper<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<13l> > > > const&):
✓ Branch 0 taken 6239 times.
✓ Branch 1 taken 6224 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<14l> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<14l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::polymtt_impl_::cconv_mtt<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<14l> >, double> > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<14l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::polymtt_impl_::cconv_mtt<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<14l> >, double> > > > const&):
✓ Branch 0 taken 6239 times.
✓ Branch 1 taken 6224 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<15l> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 6239 times.
✓ Branch 1 taken 6224 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<15l> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 6239 times.
✓ Branch 1 taken 6224 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<15l> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<15l> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<15l> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 6239 times.
✓ Branch 1 taken 6224 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, tifa_libs::fact_helper<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, tifa_libs::fact_helper<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> > > > const&):
✓ Branch 0 taken 6239 times.
✓ Branch 1 taken 6224 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 6239 times.
✓ Branch 1 taken 6224 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 6239 times.
✓ Branch 1 taken 6224 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 6239 times.
✓ Branch 1 taken 6224 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::polymtt_impl_::cconv_mtt<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, double> > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::polymtt_impl_::cconv_mtt<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<1000000007ul> >, double> > > > const&):
✓ Branch 0 taken 6239 times.
✓ Branch 1 taken 6224 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, tifa_libs::fact_helper<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, tifa_libs::fact_helper<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> > > > const&):
✓ Branch 0 taken 6239 times.
✓ Branch 1 taken 6224 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 6239 times.
✓ Branch 1 taken 6224 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 6239 times.
✓ Branch 1 taken 6224 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<754974721ul> > > > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::poly3ntt_impl_::cconv_3ntt<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<167772161ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<469762049ul> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<754974721ul> > > > > > const&):
✓ Branch 0 taken 6239 times.
✓ Branch 1 taken 6224 times.
tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> > tifa_libs::ball_box_ddl<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::polymtt_impl_::cconv_mtt<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, double> > > >(unsigned int, unsigned int, std::span<unsigned long const, 18446744073709551615ul>, tifa_libs::binom<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, tifa_libs::factl_helper<tifa_libs::poly_impl_::poly<tifa_libs::polymtt_impl_::cconv_mtt<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000000007ul> >, double> > > > const&):
✓ Branch 0 taken 6239 times.
✓ Branch 1 taken 6224 times.
373890 f ? ans += _ : ans -= _;
15 373890 f ^= 1;
16 }
17 900 return ans;
18 }
19 template <class mint, class fact>
20 900 CEXP mint ball_box_ddl(u32 ball, u32 box, binom<mint, fact> CR b) NE { return ball_box_ddl<mint>(ball, box, gen_pows(box + 1, ball, mint::mod()), b); }
21
22 } // namespace tifa_libs
23