src/lalg/mat/leqs_solver/lib.hpp
| Line | Branch | Exec | Source |
|---|---|---|---|
| 1 | #pragma once | ||
| 2 | |||
| 3 | #include "../../ds/mat/lib.hpp" | ||
| 4 | #include "../merge_lr/lib.hpp" | ||
| 5 | |||
| 6 | namespace tifa_libs { | ||
| 7 | |||
| 8 | template <class T, class Is0, class Ge> | ||
| 9 | requires requires(Is0 is0, Ge ge, T t, matrix<T> A, bool clear_u) { | ||
| 10 | { is0(t) } -> std::same_as<bool>; | ||
| 11 | { ge(A, clear_u) } -> std::same_as<i32>; | ||
| 12 | } | ||
| 13 | 162 | CEXP auto leqs_solver(matrix<T> CR A, matrix<T> CR b, Is0&& is0, Ge&& ge) NE { | |
| 14 | 162 | cu32 r_ = A.row(), c_ = A.col(); | |
| 15 |
12/24auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >&, bool)#1}&):
✓ Branch 1 taken 27 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 27 times.
✗ Branch 5 not taken.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 1 taken 27 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 27 times.
✗ Branch 5 not taken.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >&, bool)#1}&):
✓ Branch 1 taken 27 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 27 times.
✗ Branch 5 not taken.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >&, bool)#1}&):
✓ Branch 1 taken 27 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 27 times.
✗ Branch 5 not taken.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 1 taken 27 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 27 times.
✗ Branch 5 not taken.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 1 taken 27 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 27 times.
✗ Branch 5 not taken.
|
162 | assert(b.col() == 1 && r_ == b.row()); |
| 16 | 162 | matrix<T> Ab = merge_lr_mat(A, b); | |
| 17 | 162 | cu32 rk = (u32)abs(ge(Ab, false)); | |
| 18 | 162 | std::optional<matrix<T>> ret; | |
| 19 |
12/12auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >&, bool)#1}&):
✓ Branch 0 taken 3 times.
✓ Branch 1 taken 24 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 3 times.
✓ Branch 1 taken 24 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >&, bool)#1}&):
✓ Branch 0 taken 3 times.
✓ Branch 1 taken 24 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >&, bool)#1}&):
✓ Branch 0 taken 3 times.
✓ Branch 1 taken 24 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 3 times.
✓ Branch 1 taken 24 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 3 times.
✓ Branch 1 taken 24 times.
|
162 | if (rk > c_) return ret; |
| 20 |
6/12auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >&, bool)#1}&):
✓ Branch 2 taken 24 times.
✗ Branch 3 not taken.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 2 taken 24 times.
✗ Branch 3 not taken.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >&, bool)#1}&):
✓ Branch 2 taken 24 times.
✗ Branch 3 not taken.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >&, bool)#1}&):
✓ Branch 2 taken 24 times.
✗ Branch 3 not taken.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 2 taken 24 times.
✗ Branch 3 not taken.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 2 taken 24 times.
✗ Branch 3 not taken.
|
144 | if (!is0(Ab(rk - 1, c_))) { |
| 21 | 144 | bool f = true; | |
| 22 |
12/12auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >&, bool)#1}&):
✓ Branch 0 taken 4661 times.
✓ Branch 1 taken 3 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 4661 times.
✓ Branch 1 taken 3 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >&, bool)#1}&):
✓ Branch 0 taken 4661 times.
✓ Branch 1 taken 3 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >&, bool)#1}&):
✓ Branch 0 taken 4661 times.
✓ Branch 1 taken 3 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 4661 times.
✓ Branch 1 taken 3 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 4661 times.
✓ Branch 1 taken 3 times.
|
27984 | flt_ (u32, i, 0, c_) |
| 23 |
12/12auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >&, bool)#1}&):
✓ Branch 2 taken 21 times.
✓ Branch 3 taken 4640 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 2 taken 21 times.
✓ Branch 3 taken 4640 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >&, bool)#1}&):
✓ Branch 2 taken 21 times.
✓ Branch 3 taken 4640 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >&, bool)#1}&):
✓ Branch 2 taken 21 times.
✓ Branch 3 taken 4640 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 2 taken 21 times.
✓ Branch 3 taken 4640 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 2 taken 21 times.
✓ Branch 3 taken 4640 times.
|
27966 | if (!is0(Ab(rk - 1, i))) { |
| 24 | 126 | f = false; | |
| 25 | 126 | break; | |
| 26 | } | ||
| 27 |
12/12auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >&, bool)#1}&):
✓ Branch 0 taken 3 times.
✓ Branch 1 taken 21 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 3 times.
✓ Branch 1 taken 21 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >&, bool)#1}&):
✓ Branch 0 taken 3 times.
✓ Branch 1 taken 21 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >&, bool)#1}&):
✓ Branch 0 taken 3 times.
✓ Branch 1 taken 21 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 3 times.
✓ Branch 1 taken 21 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 3 times.
✓ Branch 1 taken 21 times.
|
144 | if (f) return ret; |
| 28 | } | ||
| 29 |
12/12auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >&, bool)#1}&):
✓ Branch 0 taken 2297 times.
✓ Branch 1 taken 21 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 2297 times.
✓ Branch 1 taken 21 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >&, bool)#1}&):
✓ Branch 0 taken 2297 times.
✓ Branch 1 taken 21 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >&, bool)#1}&):
✓ Branch 0 taken 2297 times.
✓ Branch 1 taken 21 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 2297 times.
✓ Branch 1 taken 21 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 2297 times.
✓ Branch 1 taken 21 times.
|
13908 | flt_ (u32, i, rk, r_) |
| 30 |
6/12auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >&, bool)#1}&):
✗ Branch 2 not taken.
✓ Branch 3 taken 2297 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&):
✗ Branch 2 not taken.
✓ Branch 3 taken 2297 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >&, bool)#1}&):
✗ Branch 2 not taken.
✓ Branch 3 taken 2297 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >&, bool)#1}&):
✗ Branch 2 not taken.
✓ Branch 3 taken 2297 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&):
✗ Branch 2 not taken.
✓ Branch 3 taken 2297 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&):
✗ Branch 2 not taken.
✓ Branch 3 taken 2297 times.
|
13782 | if (!is0(Ab(i, c_))) return ret; |
| 31 | 126 | vecb used(c_, false); | |
| 32 | 126 | vecu idxs; | |
| 33 |
12/12auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >&, bool)#1}&):
✓ Branch 0 taken 3107 times.
✓ Branch 1 taken 11 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 3107 times.
✓ Branch 1 taken 11 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >&, bool)#1}&):
✓ Branch 0 taken 3107 times.
✓ Branch 1 taken 11 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >&, bool)#1}&):
✓ Branch 0 taken 3107 times.
✓ Branch 1 taken 11 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 3107 times.
✓ Branch 1 taken 11 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 3107 times.
✓ Branch 1 taken 11 times.
|
18708 | for (u32 i = 0, _ = 0; i < r_; ++i) { |
| 34 |
36/36auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >&, bool)#1}&):
✓ Branch 0 taken 5504 times.
✓ Branch 1 taken 10 times.
✓ Branch 4 taken 2407 times.
✓ Branch 5 taken 3097 times.
✓ Branch 6 taken 2407 times.
✓ Branch 7 taken 3107 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 5504 times.
✓ Branch 1 taken 10 times.
✓ Branch 4 taken 2407 times.
✓ Branch 5 taken 3097 times.
✓ Branch 6 taken 2407 times.
✓ Branch 7 taken 3107 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >&, bool)#1}&):
✓ Branch 0 taken 5504 times.
✓ Branch 1 taken 10 times.
✓ Branch 4 taken 2407 times.
✓ Branch 5 taken 3097 times.
✓ Branch 6 taken 2407 times.
✓ Branch 7 taken 3107 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >&, bool)#1}&):
✓ Branch 0 taken 5504 times.
✓ Branch 1 taken 10 times.
✓ Branch 4 taken 2407 times.
✓ Branch 5 taken 3097 times.
✓ Branch 6 taken 2407 times.
✓ Branch 7 taken 3107 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 5504 times.
✓ Branch 1 taken 10 times.
✓ Branch 4 taken 2407 times.
✓ Branch 5 taken 3097 times.
✓ Branch 6 taken 2407 times.
✓ Branch 7 taken 3107 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 5504 times.
✓ Branch 1 taken 10 times.
✓ Branch 4 taken 2407 times.
✓ Branch 5 taken 3097 times.
✓ Branch 6 taken 2407 times.
✓ Branch 7 taken 3107 times.
|
33084 | while (i + _ < c_ && is0(Ab(i, i + _))) ++_; |
| 35 |
12/12auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >&, bool)#1}&):
✓ Branch 0 taken 10 times.
✓ Branch 1 taken 3097 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 10 times.
✓ Branch 1 taken 3097 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >&, bool)#1}&):
✓ Branch 0 taken 10 times.
✓ Branch 1 taken 3097 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >&, bool)#1}&):
✓ Branch 0 taken 10 times.
✓ Branch 1 taken 3097 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 10 times.
✓ Branch 1 taken 3097 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 10 times.
✓ Branch 1 taken 3097 times.
|
18642 | if (i + _ >= c_) break; |
| 36 | 18582 | used[i + _] = true, idxs.push_back(i + _); | |
| 37 | } | ||
| 38 | 126 | matrix<T> sol(c_ - rk + 1, c_); | |
| 39 | { | ||
| 40 |
12/12auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >&, bool)#1}&):
✓ Branch 0 taken 3097 times.
✓ Branch 1 taken 21 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 3097 times.
✓ Branch 1 taken 21 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >&, bool)#1}&):
✓ Branch 0 taken 3097 times.
✓ Branch 1 taken 21 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >&, bool)#1}&):
✓ Branch 0 taken 3097 times.
✓ Branch 1 taken 21 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 3097 times.
✓ Branch 1 taken 21 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 3097 times.
✓ Branch 1 taken 21 times.
|
18708 | for (u32 y = rk - 1; ~y; --y) { |
| 41 | 18582 | cu32 f = idxs[y]; | |
| 42 | 18582 | sol(0, f) = Ab(y, c_); | |
| 43 |
12/12auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >&, bool)#1}&):
✓ Branch 5 taken 694580 times.
✓ Branch 6 taken 3097 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 5 taken 694580 times.
✓ Branch 6 taken 3097 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >&, bool)#1}&):
✓ Branch 5 taken 694580 times.
✓ Branch 6 taken 3097 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >&, bool)#1}&):
✓ Branch 5 taken 694580 times.
✓ Branch 6 taken 3097 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 5 taken 694580 times.
✓ Branch 6 taken 3097 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 5 taken 694580 times.
✓ Branch 6 taken 3097 times.
|
4186062 | flt_ (u32, x, f + 1, c_) sol(0, f) -= Ab(y, x) * sol(0, x); |
| 44 | 18582 | sol(0, f) /= Ab(y, f); | |
| 45 | } | ||
| 46 | } | ||
| 47 |
12/12auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >&, bool)#1}&):
✓ Branch 0 taken 6735 times.
✓ Branch 1 taken 21 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 6735 times.
✓ Branch 1 taken 21 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >&, bool)#1}&):
✓ Branch 0 taken 6735 times.
✓ Branch 1 taken 21 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >&, bool)#1}&):
✓ Branch 0 taken 6735 times.
✓ Branch 1 taken 21 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 6735 times.
✓ Branch 1 taken 21 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 6735 times.
✓ Branch 1 taken 21 times.
|
40536 | for (u32 s = 0, _ = 0; s < c_; ++s) { |
| 48 |
12/12auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >&, bool)#1}&):
✓ Branch 2 taken 3097 times.
✓ Branch 3 taken 3638 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 2 taken 3097 times.
✓ Branch 3 taken 3638 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >&, bool)#1}&):
✓ Branch 2 taken 3097 times.
✓ Branch 3 taken 3638 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >&, bool)#1}&):
✓ Branch 2 taken 3097 times.
✓ Branch 3 taken 3638 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 2 taken 3097 times.
✓ Branch 3 taken 3638 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 2 taken 3097 times.
✓ Branch 3 taken 3638 times.
|
40410 | if (used[s]) continue; |
| 49 | 21828 | cu32 rid = ++_; | |
| 50 | 21828 | sol(rid, s) = 1; | |
| 51 |
12/12auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >&, bool)#1}&):
✓ Branch 0 taken 214634 times.
✓ Branch 1 taken 3638 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 214634 times.
✓ Branch 1 taken 3638 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >&, bool)#1}&):
✓ Branch 0 taken 214634 times.
✓ Branch 1 taken 3638 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >&, bool)#1}&):
✓ Branch 0 taken 214634 times.
✓ Branch 1 taken 3638 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 214634 times.
✓ Branch 1 taken 3638 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 214634 times.
✓ Branch 1 taken 3638 times.
|
1309632 | for (u32 y = rk - 1; ~y; --y) { |
| 52 | 1287804 | u32 f = idxs[y]; | |
| 53 |
12/12auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<12l> > >&, bool)#1}&):
✓ Branch 5 taken 68007233 times.
✓ Branch 6 taken 214634 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 5 taken 68007233 times.
✓ Branch 6 taken 214634 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<12l> > >&, bool)#1}&):
✓ Branch 5 taken 68007233 times.
✓ Branch 6 taken 214634 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<12l> > >&, bool)#1}&):
✓ Branch 5 taken 68007233 times.
✓ Branch 6 taken 214634 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 5 taken 68007233 times.
✓ Branch 6 taken 214634 times.
auto tifa_libs::leqs_solver<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}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&, tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > const&, main::{lambda(tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >)#1}&, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 5 taken 68007233 times.
✓ Branch 6 taken 214634 times.
|
409331202 | flt_ (u32, x, f + 1, c_) sol(rid, f) -= Ab(y, x) * sol(rid, x); |
| 54 | 1287804 | sol(rid, f) /= Ab(y, f); | |
| 55 | } | ||
| 56 | } | ||
| 57 | 126 | ret.emplace(sol.trans()); | |
| 58 | 126 | return ret; | |
| 59 | 162 | } | |
| 60 | |||
| 61 | } // namespace tifa_libs | ||
| 62 |