src/lalg/mat/hafnian/lib.hpp - GCC Code Coverage Report

Directory:	./
Coverage:	low: ≥ 0% medium: ≥ 75.0% high: ≥ 90.0%
	Coverage	Exec / Excl / Total
Lines:	100.0%	168 / 0 / 168
Functions:	100.0%	18 / 0 / 18
Branches:	90.0%	108 / 0 / 120
    src/lalg/mat/hafnian/lib.hpp
    
        Line
        Branch
        Exec
        Source
      
        #pragma once
      
        #include "../../../util/alias/others/lib.hpp"
      
        namespace tifa_libs {
      
        template <class Mat>
      
        66
        CEXP auto hafnian(Mat CR mat) NE {
      
          using T = TPN Mat::val_t;
      
        66
          cu32 n = mat.row(), h = n / 2 + 1;
      
          12/24auto tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&):
✓ Branch 1 taken 11 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 11 times.
✗ Branch 4 not taken.
auto tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&):
✓ Branch 1 taken 11 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 11 times.
✗ Branch 4 not taken.
auto tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&):
✓ Branch 1 taken 11 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 11 times.
✗ Branch 4 not taken.
auto tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&):
✓ Branch 1 taken 11 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 11 times.
✗ Branch 4 not taken.
auto tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&):
✓ Branch 1 taken 11 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 11 times.
✗ Branch 4 not taken.
auto tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&):
✓ Branch 1 taken 11 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 11 times.
✗ Branch 4 not taken.

        66
          assert(n == mat.col() && !(n & 1));
      
        288649062
          auto add = [&h](vec<T>& x, spn<T> a, spn<T> b) NE {
      
          12/12tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&)::{lambda(std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >&, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > const, 18446744073709551615ul>, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > const, 18446744073709551615ul>)#1}::operator()(std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >&, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > const, 18446744073709551615ul>, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > const, 18446744073709551615ul>) const:
✓ Branch 0 taken 453398256 times.
✓ Branch 1 taken 24054083 times.
tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&)::{lambda(std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >&, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > const, 18446744073709551615ul>, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > const, 18446744073709551615ul>)#1}::operator()(std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >&, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > const, 18446744073709551615ul>, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > const, 18446744073709551615ul>) const:
✓ Branch 0 taken 453398256 times.
✓ Branch 1 taken 24054083 times.
tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&)::{lambda(std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >&, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > const, 18446744073709551615ul>, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > const, 18446744073709551615ul>)#1}::operator()(std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >&, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > const, 18446744073709551615ul>, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > const, 18446744073709551615ul>) const:
✓ Branch 0 taken 453398256 times.
✓ Branch 1 taken 24054083 times.
tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&)::{lambda(std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >&, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > const, 18446744073709551615ul>, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > const, 18446744073709551615ul>)#1}::operator()(std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >&, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > const, 18446744073709551615ul>, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > const, 18446744073709551615ul>) const:
✓ Branch 0 taken 453398256 times.
✓ Branch 1 taken 24054083 times.
tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&)::{lambda(std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >&, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > const, 18446744073709551615ul>, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > const, 18446744073709551615ul>)#1}::operator()(std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >&, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > const, 18446744073709551615ul>, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > const, 18446744073709551615ul>) const:
✓ Branch 0 taken 453398256 times.
✓ Branch 1 taken 24054083 times.
tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&)::{lambda(std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >&, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > const, 18446744073709551615ul>, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > const, 18446744073709551615ul>)#1}::operator()(std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >&, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > const, 18446744073709551615ul>, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > const, 18446744073709551615ul>) const:
✓ Branch 0 taken 453398256 times.
✓ Branch 1 taken 24054083 times.

        2864714034
            flt_ (u32, i, 0, h - 1)
      
          12/12tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&)::{lambda(std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >&, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > const, 18446744073709551615ul>, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > const, 18446744073709551615ul>)#1}::operator()(std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >&, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > const, 18446744073709551615ul>, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > const, 18446744073709551615ul>) const:
✓ Branch 5 taken 4506809071 times.
✓ Branch 6 taken 453398256 times.
tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&)::{lambda(std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >&, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > const, 18446744073709551615ul>, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > const, 18446744073709551615ul>)#1}::operator()(std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >&, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > const, 18446744073709551615ul>, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > const, 18446744073709551615ul>) const:
✓ Branch 5 taken 4506809071 times.
✓ Branch 6 taken 453398256 times.
tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&)::{lambda(std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >&, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > const, 18446744073709551615ul>, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > const, 18446744073709551615ul>)#1}::operator()(std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >&, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > const, 18446744073709551615ul>, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > const, 18446744073709551615ul>) const:
✓ Branch 5 taken 4506809071 times.
✓ Branch 6 taken 453398256 times.
tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&)::{lambda(std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >&, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > const, 18446744073709551615ul>, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > const, 18446744073709551615ul>)#1}::operator()(std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >&, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > const, 18446744073709551615ul>, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > const, 18446744073709551615ul>) const:
✓ Branch 5 taken 4506809071 times.
✓ Branch 6 taken 453398256 times.
tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&)::{lambda(std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >&, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > const, 18446744073709551615ul>, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > const, 18446744073709551615ul>)#1}::operator()(std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >&, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > const, 18446744073709551615ul>, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > const, 18446744073709551615ul>) const:
✓ Branch 5 taken 4506809071 times.
✓ Branch 6 taken 453398256 times.
tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&)::{lambda(std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >&, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > const, 18446744073709551615ul>, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > const, 18446744073709551615ul>)#1}::operator()(std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >&, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > const, 18446744073709551615ul>, std::span<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > const, 18446744073709551615ul>) const:
✓ Branch 5 taken 4506809071 times.
✓ Branch 6 taken 453398256 times.

        29761243962
              flt_ (u32, j, 0, h - i - 1) x[i + j + 1] += a[i] * b[j];
      
          };
      
        26251440
          auto f = [&](auto&& f, cT_(v3ec<T>) v) NE -> vec<T> {
      
        26251374
            vec<T> ans(h);
      
          12/12std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > > > > const&) const:
✓ Branch 1 taken 2187620 times.
✓ Branch 2 taken 2187609 times.
std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > > > > const&) const:
✓ Branch 1 taken 2187620 times.
✓ Branch 2 taken 2187609 times.
std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > > > > const&) const:
✓ Branch 1 taken 2187620 times.
✓ Branch 2 taken 2187609 times.
std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > > > > const&) const:
✓ Branch 1 taken 2187620 times.
✓ Branch 2 taken 2187609 times.
std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > > > > const&) const:
✓ Branch 1 taken 2187620 times.
✓ Branch 2 taken 2187609 times.
std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > > > > const&) const:
✓ Branch 1 taken 2187620 times.
✓ Branch 2 taken 2187609 times.

        26251374
            if (v.empty()) {
      
        13125720
              ans[0] = 1;
      
        13125720
              return ans;
      
            }
      
        13125654
            cu32 m = u32(v.size() - 2);
      
        13125654
            auto v_ = v;
      
        13125654
            v_.resize(m);
      
        13125654
            vec<T> _0 = f(f, v_);
      
          12/12std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > > > > const&) const:
✓ Branch 0 taken 4374938 times.
✓ Branch 1 taken 2187609 times.
std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > > > > const&) const:
✓ Branch 0 taken 4374938 times.
✓ Branch 1 taken 2187609 times.
std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > > > > const&) const:
✓ Branch 0 taken 4374938 times.
✓ Branch 1 taken 2187609 times.
std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > > > > const&) const:
✓ Branch 0 taken 4374938 times.
✓ Branch 1 taken 2187609 times.
std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > > > > const&) const:
✓ Branch 0 taken 4374938 times.
✓ Branch 1 taken 2187609 times.
std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > > > > const&) const:
✓ Branch 0 taken 4374938 times.
✓ Branch 1 taken 2187609 times.

        39375282
            flt_ (u32, i, 0, m)
      
          12/12std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > > > > const&) const:
✓ Branch 18 taken 10933237 times.
✓ Branch 19 taken 4374938 times.
std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > > > > const&) const:
✓ Branch 18 taken 10933237 times.
✓ Branch 19 taken 4374938 times.
std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > > > > const&) const:
✓ Branch 18 taken 10933237 times.
✓ Branch 19 taken 4374938 times.
std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > > > > const&) const:
✓ Branch 18 taken 10933237 times.
✓ Branch 19 taken 4374938 times.
std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > > > > const&) const:
✓ Branch 18 taken 10933237 times.
✓ Branch 19 taken 4374938 times.
std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > > > > const&) const:
✓ Branch 18 taken 10933237 times.
✓ Branch 19 taken 4374938 times.

        91849050
              flt_ (u32, j, 0, i) add(v_[i][j], v[m][i], v[m + 1][j]), add(v_[i][j], v[m + 1][i], v[m][j]);
      
        13125654
            vec<T> _1 = f(f, v_);
      
          12/12std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > > > > const&) const:
✓ Branch 5 taken 43420405 times.
✓ Branch 6 taken 2187609 times.
std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > > > > const&) const:
✓ Branch 5 taken 43420405 times.
✓ Branch 6 taken 2187609 times.
std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > > > > const&) const:
✓ Branch 5 taken 43420405 times.
✓ Branch 6 taken 2187609 times.
std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > > > > const&) const:
✓ Branch 5 taken 43420405 times.
✓ Branch 6 taken 2187609 times.
std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > > > > const&) const:
✓ Branch 5 taken 43420405 times.
✓ Branch 6 taken 2187609 times.
std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > > > > const&) const:
✓ Branch 5 taken 43420405 times.
✓ Branch 6 taken 2187609 times.

        273648084
            flt_ (u32, i, 0, h) ans[i] += _1[i] - _0[i];
      
        13125654
            add(ans, _1, v[m + 1][m]);
      
        13125654
            return ans;
      
        13125654
          };
      
        66
          v3ec<T> v(n);
      
          12/12std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > > > > const&) const:
✓ Branch 0 taken 280 times.
✓ Branch 1 taken 11 times.
std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > > > > const&) const:
✓ Branch 0 taken 280 times.
✓ Branch 1 taken 11 times.
std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > > > > const&) const:
✓ Branch 0 taken 280 times.
✓ Branch 1 taken 11 times.
std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > > > > const&) const:
✓ Branch 0 taken 280 times.
✓ Branch 1 taken 11 times.
std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > > > > const&) const:
✓ Branch 0 taken 280 times.
✓ Branch 1 taken 11 times.
std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > > > > const&) const:
✓ Branch 0 taken 280 times.
✓ Branch 1 taken 11 times.

        1746
          flt_ (u32, i, 0, n) {
      
        3360
            v[i].resize(i, vec<T>(h));
      
          12/12std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > > > > > > const&) const:
✓ Branch 4 taken 4248 times.
✓ Branch 5 taken 280 times.
std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > > > > > > const&) const:
✓ Branch 4 taken 4248 times.
✓ Branch 5 taken 280 times.
std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > > > > > > const&) const:
✓ Branch 4 taken 4248 times.
✓ Branch 5 taken 280 times.
std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > > > > > > const&) const:
✓ Branch 4 taken 4248 times.
✓ Branch 5 taken 280 times.
std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > > > > > > const&) const:
✓ Branch 4 taken 4248 times.
✓ Branch 5 taken 280 times.
std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > tifa_libs::hafnian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&)::{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > > > > const&)#1}::operator()<{lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > > > > const&)#1}&>({lambda(auto:1&&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > > > > const&)#1}&, std::vector<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > >, std::allocator<std::vector<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > >, std::allocator<std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > > > > > const&) const:
✓ Branch 4 taken 4248 times.
✓ Branch 5 taken 280 times.

        27168
            flt_ (u32, j, 0, i) v[i][j][0] = mat(i, j);
      
          }
      
        66
          return f(f, v).back();
      
        66
        }
      
        }  // namespace tifa_libs