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

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

	Coverage	Exec / Excl / Total
Lines:	100.0%	78 / 0 / 78
Functions:	100.0%	6 / 0 / 6
Branches:	95.5%	126 / 0 / 132

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 void uhb(Mat& mat, Is0&& is0) NE {
12		162	cu32 n = mat.row();
13	18/24 void tifa_libs::uhb<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 not taken. ✓ Branch 2 taken 27 times. ✓ Branch 4 taken 3 times. ✓ Branch 5 taken 24 times. void tifa_libs::uhb<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 not taken. ✓ Branch 2 taken 27 times. ✓ Branch 4 taken 3 times. ✓ Branch 5 taken 24 times. void tifa_libs::uhb<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 not taken. ✓ Branch 2 taken 27 times. ✓ Branch 4 taken 3 times. ✓ Branch 5 taken 24 times. void tifa_libs::uhb<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 not taken. ✓ Branch 2 taken 27 times. ✓ Branch 4 taken 3 times. ✓ Branch 5 taken 24 times. void tifa_libs::uhb<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 not taken. ✓ Branch 2 taken 27 times. ✓ Branch 4 taken 3 times. ✓ Branch 5 taken 24 times. void tifa_libs::uhb<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 not taken. ✓ Branch 2 taken 27 times. ✓ Branch 4 taken 3 times. ✓ Branch 5 taken 24 times.	162	if (assert(n == mat.col()); n <= 2) return;
14	12/12 void tifa_libs::uhb<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 9537 times. ✓ Branch 1 taken 24 times. void tifa_libs::uhb<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 9537 times. ✓ Branch 1 taken 24 times. void tifa_libs::uhb<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 9537 times. ✓ Branch 1 taken 24 times. void tifa_libs::uhb<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 9537 times. ✓ Branch 1 taken 24 times. void tifa_libs::uhb<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 9537 times. ✓ Branch 1 taken 24 times. void tifa_libs::uhb<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 9537 times. ✓ Branch 1 taken 24 times.	57366	for (u32 i = 0, p; i < n - 2; ++i) {
15	12/12 void tifa_libs::uhb<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 385098 times. ✓ Branch 1 taken 1662 times. void tifa_libs::uhb<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 385098 times. ✓ Branch 1 taken 1662 times. void tifa_libs::uhb<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 385098 times. ✓ Branch 1 taken 1662 times. void tifa_libs::uhb<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 385098 times. ✓ Branch 1 taken 1662 times. void tifa_libs::uhb<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 385098 times. ✓ Branch 1 taken 1662 times. void tifa_libs::uhb<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 385098 times. ✓ Branch 1 taken 1662 times.	2320560	for (p = i + 1; p != n; ++p)
16	12/12 void tifa_libs::uhb<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 7875 times. ✓ Branch 3 taken 377223 times. void tifa_libs::uhb<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 7875 times. ✓ Branch 3 taken 377223 times. void tifa_libs::uhb<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 7875 times. ✓ Branch 3 taken 377223 times. void tifa_libs::uhb<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 7875 times. ✓ Branch 3 taken 377223 times. void tifa_libs::uhb<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 7875 times. ✓ Branch 3 taken 377223 times. void tifa_libs::uhb<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 7875 times. ✓ Branch 3 taken 377223 times.	2310588	if (!is0(mat(p, i))) break;
17	12/12 void tifa_libs::uhb<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 1662 times. ✓ Branch 1 taken 7875 times. void tifa_libs::uhb<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 1662 times. ✓ Branch 1 taken 7875 times. void tifa_libs::uhb<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 1662 times. ✓ Branch 1 taken 7875 times. void tifa_libs::uhb<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 1662 times. ✓ Branch 1 taken 7875 times. void tifa_libs::uhb<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 1662 times. ✓ Branch 1 taken 7875 times. void tifa_libs::uhb<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 1662 times. ✓ Branch 1 taken 7875 times.	57222	if (p == n) continue;
18	12/12 void tifa_libs::uhb<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 691 times. ✓ Branch 1 taken 7184 times. void tifa_libs::uhb<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 691 times. ✓ Branch 1 taken 7184 times. void tifa_libs::uhb<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 691 times. ✓ Branch 1 taken 7184 times. void tifa_libs::uhb<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 691 times. ✓ Branch 1 taken 7184 times. void tifa_libs::uhb<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 691 times. ✓ Branch 1 taken 7184 times. void tifa_libs::uhb<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 691 times. ✓ Branch 1 taken 7184 times.	47250	if (p != i + 1) mat.swap_row(p, i + 1), mat.swap_col(p, i + 1);
19	12/12 void tifa_libs::uhb<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 1987104 times. ✓ Branch 1 taken 7875 times. void tifa_libs::uhb<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 1987104 times. ✓ Branch 1 taken 7875 times. void tifa_libs::uhb<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 1987104 times. ✓ Branch 1 taken 7875 times. void tifa_libs::uhb<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 1987104 times. ✓ Branch 1 taken 7875 times. void tifa_libs::uhb<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 1987104 times. ✓ Branch 1 taken 7875 times. void tifa_libs::uhb<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 1987104 times. ✓ Branch 1 taken 7875 times.	11969874	flt_ (u32, j, i + 2, n) {
20	12/12 void tifa_libs::uhb<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 1296 times. ✓ Branch 3 taken 1985808 times. void tifa_libs::uhb<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 1296 times. ✓ Branch 3 taken 1985808 times. void tifa_libs::uhb<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 1296 times. ✓ Branch 3 taken 1985808 times. void tifa_libs::uhb<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 1296 times. ✓ Branch 3 taken 1985808 times. void tifa_libs::uhb<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 1296 times. ✓ Branch 3 taken 1985808 times. void tifa_libs::uhb<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 1296 times. ✓ Branch 3 taken 1985808 times.	11922624	if (is0(mat(j, i))) continue;
21		11914848	const auto _ = mat(j, i) / mat(i + 1, i);
22	12/12 void tifa_libs::uhb<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 667486915 times. ✓ Branch 5 taken 1985808 times. void tifa_libs::uhb<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 667486915 times. ✓ Branch 5 taken 1985808 times. void tifa_libs::uhb<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 667486915 times. ✓ Branch 5 taken 1985808 times. void tifa_libs::uhb<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 667486915 times. ✓ Branch 5 taken 1985808 times. void tifa_libs::uhb<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 667486915 times. ✓ Branch 5 taken 1985808 times. void tifa_libs::uhb<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 667486915 times. ✓ Branch 5 taken 1985808 times.	4016836338	flt_ (u32, k, i, n) mat(j, k) -= _ * mat(i + 1, k);
23	12/12 void tifa_libs::uhb<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 992353737 times. ✓ Branch 5 taken 1985808 times. void tifa_libs::uhb<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 992353737 times. ✓ Branch 5 taken 1985808 times. void tifa_libs::uhb<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 992353737 times. ✓ Branch 5 taken 1985808 times. void tifa_libs::uhb<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 992353737 times. ✓ Branch 5 taken 1985808 times. void tifa_libs::uhb<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 992353737 times. ✓ Branch 5 taken 1985808 times. void tifa_libs::uhb<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 992353737 times. ✓ Branch 5 taken 1985808 times.	5966037270	flt_ (u32, k, 0, n) mat(k, i + 1) += _ * mat(k, j);
24			}
25			}
26			}
27
28			} // namespace tifa_libs
29

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 void uhb(Mat& mat, Is0&& is0) NE {

12

162

cu32 n = mat.row();

13

18/24

void tifa_libs::uhb<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 not taken.

✓ Branch 2 taken 27 times.

✓ Branch 4 taken 3 times.

✓ Branch 5 taken 24 times.

void tifa_libs::uhb<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 not taken.

✓ Branch 2 taken 27 times.

✓ Branch 4 taken 3 times.

✓ Branch 5 taken 24 times.

void tifa_libs::uhb<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 not taken.

✓ Branch 2 taken 27 times.

✓ Branch 4 taken 3 times.

✓ Branch 5 taken 24 times.

void tifa_libs::uhb<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 not taken.

✓ Branch 2 taken 27 times.

✓ Branch 4 taken 3 times.

✓ Branch 5 taken 24 times.

void tifa_libs::uhb<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 not taken.

✓ Branch 2 taken 27 times.

✓ Branch 4 taken 3 times.

✓ Branch 5 taken 24 times.

void tifa_libs::uhb<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 not taken.

✓ Branch 2 taken 27 times.

✓ Branch 4 taken 3 times.

✓ Branch 5 taken 24 times.

162

if (assert(n == mat.col()); n <= 2) return;

14

12/12

void tifa_libs::uhb<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 9537 times.

✓ Branch 1 taken 24 times.

void tifa_libs::uhb<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 9537 times.

✓ Branch 1 taken 24 times.

void tifa_libs::uhb<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 9537 times.

✓ Branch 1 taken 24 times.

void tifa_libs::uhb<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 9537 times.

✓ Branch 1 taken 24 times.

void tifa_libs::uhb<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 9537 times.

✓ Branch 1 taken 24 times.

void tifa_libs::uhb<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 9537 times.

✓ Branch 1 taken 24 times.

57366

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

15

12/12

void tifa_libs::uhb<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 385098 times.

✓ Branch 1 taken 1662 times.

void tifa_libs::uhb<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 385098 times.

✓ Branch 1 taken 1662 times.

void tifa_libs::uhb<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 385098 times.

✓ Branch 1 taken 1662 times.

void tifa_libs::uhb<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 385098 times.

✓ Branch 1 taken 1662 times.

void tifa_libs::uhb<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 385098 times.

✓ Branch 1 taken 1662 times.

void tifa_libs::uhb<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 385098 times.

✓ Branch 1 taken 1662 times.

2320560

for (p = i + 1; p != n; ++p)

16

12/12

void tifa_libs::uhb<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 7875 times.

✓ Branch 3 taken 377223 times.

void tifa_libs::uhb<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 7875 times.

✓ Branch 3 taken 377223 times.

void tifa_libs::uhb<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 7875 times.

✓ Branch 3 taken 377223 times.

void tifa_libs::uhb<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 7875 times.

✓ Branch 3 taken 377223 times.

void tifa_libs::uhb<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 7875 times.

✓ Branch 3 taken 377223 times.

void tifa_libs::uhb<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 7875 times.

✓ Branch 3 taken 377223 times.

2310588

if (!is0(mat(p, i))) break;

17

12/12

void tifa_libs::uhb<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 1662 times.

✓ Branch 1 taken 7875 times.

void tifa_libs::uhb<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 1662 times.

✓ Branch 1 taken 7875 times.

void tifa_libs::uhb<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 1662 times.

✓ Branch 1 taken 7875 times.

void tifa_libs::uhb<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 1662 times.

✓ Branch 1 taken 7875 times.

void tifa_libs::uhb<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 1662 times.

✓ Branch 1 taken 7875 times.

void tifa_libs::uhb<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 1662 times.

✓ Branch 1 taken 7875 times.

57222

if (p == n) continue;

18

12/12

void tifa_libs::uhb<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 691 times.

✓ Branch 1 taken 7184 times.

void tifa_libs::uhb<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 691 times.

✓ Branch 1 taken 7184 times.

void tifa_libs::uhb<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 691 times.

✓ Branch 1 taken 7184 times.

void tifa_libs::uhb<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 691 times.

✓ Branch 1 taken 7184 times.

void tifa_libs::uhb<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 691 times.

✓ Branch 1 taken 7184 times.

void tifa_libs::uhb<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 691 times.

✓ Branch 1 taken 7184 times.

47250

if (p != i + 1) mat.swap_row(p, i + 1), mat.swap_col(p, i + 1);

19

12/12

void tifa_libs::uhb<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 1987104 times.

✓ Branch 1 taken 7875 times.

void tifa_libs::uhb<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 1987104 times.

✓ Branch 1 taken 7875 times.

void tifa_libs::uhb<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 1987104 times.

✓ Branch 1 taken 7875 times.

void tifa_libs::uhb<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 1987104 times.

✓ Branch 1 taken 7875 times.

void tifa_libs::uhb<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 1987104 times.

✓ Branch 1 taken 7875 times.

void tifa_libs::uhb<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 1987104 times.

✓ Branch 1 taken 7875 times.

11969874

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

20

12/12

void tifa_libs::uhb<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 1296 times.

✓ Branch 3 taken 1985808 times.

void tifa_libs::uhb<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 1296 times.

✓ Branch 3 taken 1985808 times.

void tifa_libs::uhb<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 1296 times.

✓ Branch 3 taken 1985808 times.

void tifa_libs::uhb<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 1296 times.

✓ Branch 3 taken 1985808 times.

void tifa_libs::uhb<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 1296 times.

✓ Branch 3 taken 1985808 times.

void tifa_libs::uhb<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 1296 times.

✓ Branch 3 taken 1985808 times.

11922624

if (is0(mat(j, i))) continue;

21

11914848

const auto _ = mat(j, i) / mat(i + 1, i);

22

12/12

void tifa_libs::uhb<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 667486915 times.

✓ Branch 5 taken 1985808 times.

void tifa_libs::uhb<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 667486915 times.

✓ Branch 5 taken 1985808 times.

void tifa_libs::uhb<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 667486915 times.

✓ Branch 5 taken 1985808 times.

void tifa_libs::uhb<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 667486915 times.

✓ Branch 5 taken 1985808 times.

void tifa_libs::uhb<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 667486915 times.

✓ Branch 5 taken 1985808 times.

void tifa_libs::uhb<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 667486915 times.

✓ Branch 5 taken 1985808 times.

4016836338

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

23

12/12

void tifa_libs::uhb<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 992353737 times.

✓ Branch 5 taken 1985808 times.

void tifa_libs::uhb<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 992353737 times.

✓ Branch 5 taken 1985808 times.

void tifa_libs::uhb<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 992353737 times.

✓ Branch 5 taken 1985808 times.

void tifa_libs::uhb<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 992353737 times.

✓ Branch 5 taken 1985808 times.

void tifa_libs::uhb<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 992353737 times.

✓ Branch 5 taken 1985808 times.

void tifa_libs::uhb<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 992353737 times.

✓ Branch 5 taken 1985808 times.

5966037270

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

}

}

}

} // namespace tifa_libs

29