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

Directory:	./
Coverage:	low: ≥ 0% medium: ≥ 75.0% high: ≥ 90.0%

	Coverage	Exec / Excl / Total
Lines:	100.0%	174 / 0 / 174
Functions:	100.0%	6 / 0 / 6
Branches:	94.1%	192 / 0 / 204

Line	Branch	Exec	Source
1			#pragma once
2
3			#include "../../../util/alias/num/lib.hpp"
4
5			namespace tifa_libs {
6
7			template <class Mat, class Is0>
8			requires requires(Is0 is0, TPN Mat::val_t t) {
9			{ is0(t) } -> std::same_as<bool>;
10			}
11		162	CEXP auto pfaffian(Mat mat, Is0 is0) NE {
12			using T = TPN Mat::val_t;
13		162	cu32 n = mat.row();
14	12/24 auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}): ✓ Branch 1 taken 27 times. ✗ Branch 2 not taken. ✓ Branch 3 taken 27 times. ✗ Branch 4 not taken. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}): ✓ Branch 1 taken 27 times. ✗ Branch 2 not taken. ✓ Branch 3 taken 27 times. ✗ Branch 4 not taken. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}): ✓ Branch 1 taken 27 times. ✗ Branch 2 not taken. ✓ Branch 3 taken 27 times. ✗ Branch 4 not taken. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}): ✓ Branch 1 taken 27 times. ✗ Branch 2 not taken. ✓ Branch 3 taken 27 times. ✗ Branch 4 not taken. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}): ✓ Branch 1 taken 27 times. ✗ Branch 2 not taken. ✓ Branch 3 taken 27 times. ✗ Branch 4 not taken. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}): ✓ Branch 1 taken 27 times. ✗ Branch 2 not taken. ✓ Branch 3 taken 27 times. ✗ Branch 4 not taken.	162	assert(n == mat.col() && !(n & 1));
15		162	bool neg = false;
16	12/12 auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}): ✓ Branch 0 taken 3909 times. ✓ Branch 1 taken 20 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}): ✓ Branch 0 taken 3909 times. ✓ Branch 1 taken 20 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}): ✓ Branch 0 taken 3909 times. ✓ Branch 1 taken 20 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}): ✓ Branch 0 taken 3909 times. ✓ Branch 1 taken 20 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}): ✓ Branch 0 taken 3909 times. ✓ Branch 1 taken 20 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}): ✓ Branch 0 taken 3909 times. ✓ Branch 1 taken 20 times.	23574	for (u32 i = 0; i < n; i += 2) {
17		23454	u32 p = i + 1;
18	12/12 auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}): ✓ Branch 0 taken 62988 times. ✓ Branch 1 taken 27 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}): ✓ Branch 0 taken 62988 times. ✓ Branch 1 taken 27 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}): ✓ Branch 0 taken 62988 times. ✓ Branch 1 taken 27 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}): ✓ Branch 0 taken 62988 times. ✓ Branch 1 taken 27 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}): ✓ Branch 0 taken 62988 times. ✓ Branch 1 taken 27 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}): ✓ Branch 0 taken 62988 times. ✓ Branch 1 taken 27 times.	378090	flt_ (u32, j, i + 2, n)
19	12/12 auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}): ✓ Branch 2 taken 3882 times. ✓ Branch 3 taken 59106 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}): ✓ Branch 2 taken 3882 times. ✓ Branch 3 taken 59106 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}): ✓ Branch 2 taken 3882 times. ✓ Branch 3 taken 59106 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}): ✓ Branch 2 taken 3882 times. ✓ Branch 3 taken 59106 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}): ✓ Branch 2 taken 3882 times. ✓ Branch 3 taken 59106 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}): ✓ Branch 2 taken 3882 times. ✓ Branch 3 taken 59106 times.	377928	if (!is0(mat(i, j))) {
20		23292	p = j;
21		23292	break;
22			}
23	12/12 auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}): ✓ Branch 0 taken 3882 times. ✓ Branch 1 taken 27 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}): ✓ Branch 0 taken 3882 times. ✓ Branch 1 taken 27 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}): ✓ Branch 0 taken 3882 times. ✓ Branch 1 taken 27 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}): ✓ Branch 0 taken 3882 times. ✓ Branch 1 taken 27 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}): ✓ Branch 0 taken 3882 times. ✓ Branch 1 taken 27 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}): ✓ Branch 0 taken 3882 times. ✓ Branch 1 taken 27 times.	23454	if (p != i + 1) {
24		23292	neg ^= 1;
25	12/12 auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}): ✓ Branch 3 taken 907026 times. ✓ Branch 4 taken 3882 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}): ✓ Branch 3 taken 907026 times. ✓ Branch 4 taken 3882 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}): ✓ Branch 3 taken 907026 times. ✓ Branch 4 taken 3882 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}): ✓ Branch 3 taken 907026 times. ✓ Branch 4 taken 3882 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}): ✓ Branch 3 taken 907026 times. ✓ Branch 4 taken 3882 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}): ✓ Branch 3 taken 907026 times. ✓ Branch 4 taken 3882 times.	5465448	flt_ (u32, j, 0, i + 1) swap(mat(j, i + 1), mat(j, p));
26	12/12 auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}): ✓ Branch 0 taken 56130 times. ✓ Branch 1 taken 3882 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}): ✓ Branch 0 taken 56130 times. ✓ Branch 1 taken 3882 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}): ✓ Branch 0 taken 56130 times. ✓ Branch 1 taken 3882 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}): ✓ Branch 0 taken 56130 times. ✓ Branch 1 taken 3882 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}): ✓ Branch 0 taken 56130 times. ✓ Branch 1 taken 3882 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}): ✓ Branch 0 taken 56130 times. ✓ Branch 1 taken 3882 times.	360072	flt_ (u32, j, i + 2, p) {
27		336780	swap(mat(i + 1, j), mat(j, p));
28		336780	mat(i + 1, j) = -mat(i + 1, j), mat(j, p) = -mat(j, p);
29			}
30		23292	mat(i + 1, p) = -mat(i + 1, p);
31	12/12 auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}): ✓ Branch 3 taken 1020590 times. ✓ Branch 4 taken 3882 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}): ✓ Branch 3 taken 1020590 times. ✓ Branch 4 taken 3882 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}): ✓ Branch 3 taken 1020590 times. ✓ Branch 4 taken 3882 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}): ✓ Branch 3 taken 1020590 times. ✓ Branch 4 taken 3882 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}): ✓ Branch 3 taken 1020590 times. ✓ Branch 4 taken 3882 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}): ✓ Branch 3 taken 1020590 times. ✓ Branch 4 taken 3882 times.	6146832	flt_ (u32, j, p + 1, n) swap(mat(i + 1, j), mat(p, j));
32			}
33	12/12 auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}): ✓ Branch 2 taken 7 times. ✓ Branch 3 taken 3902 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}): ✓ Branch 2 taken 7 times. ✓ Branch 3 taken 3902 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}): ✓ Branch 2 taken 7 times. ✓ Branch 3 taken 3902 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}): ✓ Branch 2 taken 7 times. ✓ Branch 3 taken 3902 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}): ✓ Branch 2 taken 7 times. ✓ Branch 3 taken 3902 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}): ✓ Branch 2 taken 7 times. ✓ Branch 3 taken 3902 times.	23454	if (is0(mat(i, i + 1))) return T{};
34		23412	T const _ = mat(i, i + 1).inv();
35	12/12 auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}): ✓ Branch 0 taken 1080602 times. ✓ Branch 1 taken 3902 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}): ✓ Branch 0 taken 1080602 times. ✓ Branch 1 taken 3902 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}): ✓ Branch 0 taken 1080602 times. ✓ Branch 1 taken 3902 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}): ✓ Branch 0 taken 1080602 times. ✓ Branch 1 taken 3902 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}): ✓ Branch 0 taken 1080602 times. ✓ Branch 1 taken 3902 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}): ✓ Branch 0 taken 1080602 times. ✓ Branch 1 taken 3902 times.	6507024	flt_ (u32, j, i + 2, n)
36	12/12 auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}): ✓ Branch 2 taken 674186 times. ✓ Branch 3 taken 406416 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}): ✓ Branch 2 taken 674186 times. ✓ Branch 3 taken 406416 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}): ✓ Branch 2 taken 674186 times. ✓ Branch 3 taken 406416 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}): ✓ Branch 2 taken 674186 times. ✓ Branch 3 taken 406416 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}): ✓ Branch 2 taken 674186 times. ✓ Branch 3 taken 406416 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}): ✓ Branch 2 taken 674186 times. ✓ Branch 3 taken 406416 times.	6483612	if (mat(i, j)) {
37		4045116	T const _2 = -mat(i, j) * _;
38	12/12 auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}): ✓ Branch 4 taken 135998674 times. ✓ Branch 5 taken 674186 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}): ✓ Branch 4 taken 135998674 times. ✓ Branch 5 taken 674186 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}): ✓ Branch 4 taken 135998674 times. ✓ Branch 5 taken 674186 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}): ✓ Branch 4 taken 135998674 times. ✓ Branch 5 taken 674186 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}): ✓ Branch 4 taken 135998674 times. ✓ Branch 5 taken 674186 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}): ✓ Branch 4 taken 135998674 times. ✓ Branch 5 taken 674186 times.	820037160	flt_ (u32, k, 0, i + 1) mat(k, j) += _2 * mat(k, i + 1);
39	12/12 auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}): ✓ Branch 4 taken 112744722 times. ✓ Branch 5 taken 674186 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}): ✓ Branch 4 taken 112744722 times. ✓ Branch 5 taken 674186 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}): ✓ Branch 4 taken 112744722 times. ✓ Branch 5 taken 674186 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}): ✓ Branch 4 taken 112744722 times. ✓ Branch 5 taken 674186 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}): ✓ Branch 4 taken 112744722 times. ✓ Branch 5 taken 674186 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}): ✓ Branch 4 taken 112744722 times. ✓ Branch 5 taken 674186 times.	680513448	flt_ (u32, k, i + 2, j) mat(k, j) -= _2 * mat(i + 1, k);
40	12/12 auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}): ✓ Branch 4 taken 112056646 times. ✓ Branch 5 taken 674186 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}): ✓ Branch 4 taken 112056646 times. ✓ Branch 5 taken 674186 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}): ✓ Branch 4 taken 112056646 times. ✓ Branch 5 taken 674186 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}): ✓ Branch 4 taken 112056646 times. ✓ Branch 5 taken 674186 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}): ✓ Branch 4 taken 112056646 times. ✓ Branch 5 taken 674186 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}): ✓ Branch 4 taken 112056646 times. ✓ Branch 5 taken 674186 times.	676384992	flt_ (u32, k, j + 1, n) mat(j, k) += _2 * mat(i + 1, k);
41			}
42			}
43		120	T ans = 1;
44	12/12 auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}): ✓ Branch 2 taken 3339 times. ✓ Branch 3 taken 20 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}): ✓ Branch 2 taken 3339 times. ✓ Branch 3 taken 20 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}): ✓ Branch 2 taken 3339 times. ✓ Branch 3 taken 20 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}): ✓ Branch 2 taken 3339 times. ✓ Branch 3 taken 20 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}): ✓ Branch 2 taken 3339 times. ✓ Branch 3 taken 20 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}): ✓ Branch 2 taken 3339 times. ✓ Branch 3 taken 20 times.	20154	for (u32 i = 0; i < n; i += 2) ans *= mat(i, i + 1);
45	12/12 auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}): ✓ Branch 0 taken 9 times. ✓ Branch 1 taken 11 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}): ✓ Branch 0 taken 9 times. ✓ Branch 1 taken 11 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}): ✓ Branch 0 taken 9 times. ✓ Branch 1 taken 11 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}): ✓ Branch 0 taken 9 times. ✓ Branch 1 taken 11 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}): ✓ Branch 0 taken 9 times. ✓ Branch 1 taken 11 times. auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}): ✓ Branch 0 taken 9 times. ✓ Branch 1 taken 11 times.	120	retif_((neg), -ans, ans);
46			}
47
48			} // namespace tifa_libs
49

1

#pragma once

2

3

#include "../../../util/alias/num/lib.hpp"

4

5

namespace tifa_libs {

6

7

template <class Mat, class Is0>

8

requires requires(Is0 is0, TPN Mat::val_t t) {

9

{ is0(t) } -> std::same_as<bool>;

10

}

11

162

CEXP auto pfaffian(Mat mat, Is0 is0) NE {

12

using T = TPN Mat::val_t;

13

162

cu32 n = mat.row();

14

12/24

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}):

✓ Branch 1 taken 27 times.

✗ Branch 2 not taken.

✓ Branch 3 taken 27 times.

✗ Branch 4 not taken.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}):

✓ Branch 1 taken 27 times.

✗ Branch 2 not taken.

✓ Branch 3 taken 27 times.

✗ Branch 4 not taken.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}):

✓ Branch 1 taken 27 times.

✗ Branch 2 not taken.

✓ Branch 3 taken 27 times.

✗ Branch 4 not taken.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}):

✓ Branch 1 taken 27 times.

✗ Branch 2 not taken.

✓ Branch 3 taken 27 times.

✗ Branch 4 not taken.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}):

✓ Branch 1 taken 27 times.

✗ Branch 2 not taken.

✓ Branch 3 taken 27 times.

✗ Branch 4 not taken.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}):

✓ Branch 1 taken 27 times.

✗ Branch 2 not taken.

✓ Branch 3 taken 27 times.

✗ Branch 4 not taken.

162

assert(n == mat.col() && !(n & 1));

15

162

bool neg = false;

16

12/12

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}):

✓ Branch 0 taken 3909 times.

✓ Branch 1 taken 20 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}):

✓ Branch 0 taken 3909 times.

✓ Branch 1 taken 20 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}):

✓ Branch 0 taken 3909 times.

✓ Branch 1 taken 20 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}):

✓ Branch 0 taken 3909 times.

✓ Branch 1 taken 20 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}):

✓ Branch 0 taken 3909 times.

✓ Branch 1 taken 20 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}):

✓ Branch 0 taken 3909 times.

✓ Branch 1 taken 20 times.

23574

for (u32 i = 0; i < n; i += 2) {

17

23454

u32 p = i + 1;

18

12/12

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}):

✓ Branch 0 taken 62988 times.

✓ Branch 1 taken 27 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}):

✓ Branch 0 taken 62988 times.

✓ Branch 1 taken 27 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}):

✓ Branch 0 taken 62988 times.

✓ Branch 1 taken 27 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}):

✓ Branch 0 taken 62988 times.

✓ Branch 1 taken 27 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}):

✓ Branch 0 taken 62988 times.

✓ Branch 1 taken 27 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}):

✓ Branch 0 taken 62988 times.

✓ Branch 1 taken 27 times.

378090

flt_ (u32, j, i + 2, n)

19

12/12

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}):

✓ Branch 2 taken 3882 times.

✓ Branch 3 taken 59106 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}):

✓ Branch 2 taken 3882 times.

✓ Branch 3 taken 59106 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}):

✓ Branch 2 taken 3882 times.

✓ Branch 3 taken 59106 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}):

✓ Branch 2 taken 3882 times.

✓ Branch 3 taken 59106 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}):

✓ Branch 2 taken 3882 times.

✓ Branch 3 taken 59106 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}):

✓ Branch 2 taken 3882 times.

✓ Branch 3 taken 59106 times.

377928

if (!is0(mat(i, j))) {

20

23292

p = j;

21

23292

break;

22

}

23

12/12

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}):

✓ Branch 0 taken 3882 times.

✓ Branch 1 taken 27 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}):

✓ Branch 0 taken 3882 times.

✓ Branch 1 taken 27 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}):

✓ Branch 0 taken 3882 times.

✓ Branch 1 taken 27 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}):

✓ Branch 0 taken 3882 times.

✓ Branch 1 taken 27 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}):

✓ Branch 0 taken 3882 times.

✓ Branch 1 taken 27 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}):

✓ Branch 0 taken 3882 times.

✓ Branch 1 taken 27 times.

23454

if (p != i + 1) {

24

23292

neg ^= 1;

25

12/12

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}):

✓ Branch 3 taken 907026 times.

✓ Branch 4 taken 3882 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}):

✓ Branch 3 taken 907026 times.

✓ Branch 4 taken 3882 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}):

✓ Branch 3 taken 907026 times.

✓ Branch 4 taken 3882 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}):

✓ Branch 3 taken 907026 times.

✓ Branch 4 taken 3882 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}):

✓ Branch 3 taken 907026 times.

✓ Branch 4 taken 3882 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}):

✓ Branch 3 taken 907026 times.

✓ Branch 4 taken 3882 times.

5465448

flt_ (u32, j, 0, i + 1) swap(mat(j, i + 1), mat(j, p));

26

12/12

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}):

✓ Branch 0 taken 56130 times.

✓ Branch 1 taken 3882 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}):

✓ Branch 0 taken 56130 times.

✓ Branch 1 taken 3882 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}):

✓ Branch 0 taken 56130 times.

✓ Branch 1 taken 3882 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}):

✓ Branch 0 taken 56130 times.

✓ Branch 1 taken 3882 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}):

✓ Branch 0 taken 56130 times.

✓ Branch 1 taken 3882 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}):

✓ Branch 0 taken 56130 times.

✓ Branch 1 taken 3882 times.

360072

flt_ (u32, j, i + 2, p) {

27

336780

swap(mat(i + 1, j), mat(j, p));

28

336780

mat(i + 1, j) = -mat(i + 1, j), mat(j, p) = -mat(j, p);

29

}

30

23292

mat(i + 1, p) = -mat(i + 1, p);

31

12/12

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}):

✓ Branch 3 taken 1020590 times.

✓ Branch 4 taken 3882 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}):

✓ Branch 3 taken 1020590 times.

✓ Branch 4 taken 3882 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}):

✓ Branch 3 taken 1020590 times.

✓ Branch 4 taken 3882 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}):

✓ Branch 3 taken 1020590 times.

✓ Branch 4 taken 3882 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}):

✓ Branch 3 taken 1020590 times.

✓ Branch 4 taken 3882 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}):

✓ Branch 3 taken 1020590 times.

✓ Branch 4 taken 3882 times.

6146832

flt_ (u32, j, p + 1, n) swap(mat(i + 1, j), mat(p, j));

32

}

33

12/12

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}):

✓ Branch 2 taken 7 times.

✓ Branch 3 taken 3902 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}):

✓ Branch 2 taken 7 times.

✓ Branch 3 taken 3902 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}):

✓ Branch 2 taken 7 times.

✓ Branch 3 taken 3902 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}):

✓ Branch 2 taken 7 times.

✓ Branch 3 taken 3902 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}):

✓ Branch 2 taken 7 times.

✓ Branch 3 taken 3902 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}):

✓ Branch 2 taken 7 times.

✓ Branch 3 taken 3902 times.

23454

if (is0(mat(i, i + 1))) return T{};

34

23412

T const _ = mat(i, i + 1).inv();

35

12/12

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}):

✓ Branch 0 taken 1080602 times.

✓ Branch 1 taken 3902 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}):

✓ Branch 0 taken 1080602 times.

✓ Branch 1 taken 3902 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}):

✓ Branch 0 taken 1080602 times.

✓ Branch 1 taken 3902 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}):

✓ Branch 0 taken 1080602 times.

✓ Branch 1 taken 3902 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}):

✓ Branch 0 taken 1080602 times.

✓ Branch 1 taken 3902 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}):

✓ Branch 0 taken 1080602 times.

✓ Branch 1 taken 3902 times.

6507024

flt_ (u32, j, i + 2, n)

36

12/12

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}):

✓ Branch 2 taken 674186 times.

✓ Branch 3 taken 406416 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}):

✓ Branch 2 taken 674186 times.

✓ Branch 3 taken 406416 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}):

✓ Branch 2 taken 674186 times.

✓ Branch 3 taken 406416 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}):

✓ Branch 2 taken 674186 times.

✓ Branch 3 taken 406416 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}):

✓ Branch 2 taken 674186 times.

✓ Branch 3 taken 406416 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}):

✓ Branch 2 taken 674186 times.

✓ Branch 3 taken 406416 times.

6483612

if (mat(i, j)) {

37

4045116

T const _2 = -mat(i, j) * _;

38

12/12

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}):

✓ Branch 4 taken 135998674 times.

✓ Branch 5 taken 674186 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}):

✓ Branch 4 taken 135998674 times.

✓ Branch 5 taken 674186 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}):

✓ Branch 4 taken 135998674 times.

✓ Branch 5 taken 674186 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}):

✓ Branch 4 taken 135998674 times.

✓ Branch 5 taken 674186 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}):

✓ Branch 4 taken 135998674 times.

✓ Branch 5 taken 674186 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}):

✓ Branch 4 taken 135998674 times.

✓ Branch 5 taken 674186 times.

820037160

flt_ (u32, k, 0, i + 1) mat(k, j) += _2 * mat(k, i + 1);

39

12/12

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}):

✓ Branch 4 taken 112744722 times.

✓ Branch 5 taken 674186 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}):

✓ Branch 4 taken 112744722 times.

✓ Branch 5 taken 674186 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}):

✓ Branch 4 taken 112744722 times.

✓ Branch 5 taken 674186 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}):

✓ Branch 4 taken 112744722 times.

✓ Branch 5 taken 674186 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}):

✓ Branch 4 taken 112744722 times.

✓ Branch 5 taken 674186 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}):

✓ Branch 4 taken 112744722 times.

✓ Branch 5 taken 674186 times.

680513448

flt_ (u32, k, i + 2, j) mat(k, j) -= _2 * mat(i + 1, k);

40

12/12

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}):

✓ Branch 4 taken 112056646 times.

✓ Branch 5 taken 674186 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}):

✓ Branch 4 taken 112056646 times.

✓ Branch 5 taken 674186 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}):

✓ Branch 4 taken 112056646 times.

✓ Branch 5 taken 674186 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}):

✓ Branch 4 taken 112056646 times.

✓ Branch 5 taken 674186 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}):

✓ Branch 4 taken 112056646 times.

✓ Branch 5 taken 674186 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}):

✓ Branch 4 taken 112056646 times.

✓ Branch 5 taken 674186 times.

676384992

flt_ (u32, k, j + 1, n) mat(j, k) += _2 * mat(i + 1, k);

41

}

42

}

43

120

T ans = 1;

44

12/12

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}):

✓ Branch 2 taken 3339 times.

✓ Branch 3 taken 20 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}):

✓ Branch 2 taken 3339 times.

✓ Branch 3 taken 20 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}):

✓ Branch 2 taken 3339 times.

✓ Branch 3 taken 20 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}):

✓ Branch 2 taken 3339 times.

✓ Branch 3 taken 20 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}):

✓ Branch 2 taken 3339 times.

✓ Branch 3 taken 20 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}):

✓ Branch 2 taken 3339 times.

✓ Branch 3 taken 20 times.

20154

for (u32 i = 0; i < n; i += 2) ans *= mat(i, i + 1);

45

12/12

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}):

✓ Branch 0 taken 9 times.

✓ Branch 1 taken 11 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}):

✓ Branch 0 taken 9 times.

✓ Branch 1 taken 11 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}):

✓ Branch 0 taken 9 times.

✓ Branch 1 taken 11 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}):

✓ Branch 0 taken 9 times.

✓ Branch 1 taken 11 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}):

✓ Branch 0 taken 9 times.

✓ Branch 1 taken 11 times.

auto tifa_libs::pfaffian<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}):

✓ Branch 0 taken 9 times.

✓ Branch 1 taken 11 times.

120

retif_((neg), -ans, ans);

46

}

47

48

} // namespace tifa_libs

49