src/graph/kirchhoff/lib.hpp
| Line | Branch | Exec | Source |
|---|---|---|---|
| 1 | #pragma once | ||
| 2 | |||
| 3 | #include "../../lalg/ds/mat/lib.hpp" | ||
| 4 | #include "../../lalg/mat/det/lib.hpp" | ||
| 5 | #include "../ds/graph_c/lib.hpp" | ||
| 6 | |||
| 7 | namespace tifa_libs { | ||
| 8 | |||
| 9 | template <bool outer, graph_c G, class Ge> | ||
| 10 | requires requires(Ge ge, matrix<TPN G::Et> A, bool clear_u) { | ||
| 11 | { ge(A, clear_u) } -> std::same_as<i32>; | ||
| 12 | } | ||
| 13 | 362 | CEXP TPN G::Et kirchhoff(G CR g, u32 r, Ge&& ge) { | |
| 14 | using T = TPN G::Et; | ||
| 15 | 362 | cu32 n = g.vsize(); | |
| 16 |
19/20tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<16l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<16l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<16l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<16l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<16l> > >&, bool)#1}&):
✓ Branch 0 taken 6 times.
✓ Branch 1 taken 38 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<17l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<17l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<17l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<17l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<17l> > >&, bool)#1}&):
✓ Branch 0 taken 1 time.
✓ Branch 1 taken 10 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 7 times.
✓ Branch 1 taken 48 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<16l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<16l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<16l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<16l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<16l> > >&, bool)#1}&):
✓ Branch 0 taken 6 times.
✓ Branch 1 taken 38 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<17l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<17l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<17l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<17l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<17l> > >&, bool)#1}&):
✓ Branch 0 taken 1 time.
✓ Branch 1 taken 10 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<16l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<16l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<16l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<16l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<16l> > >&, bool)#1}&):
✓ Branch 0 taken 6 times.
✓ Branch 1 taken 38 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<17l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<17l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<17l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<17l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<17l> > >&, bool)#1}&):
✓ Branch 0 taken 1 time.
✓ Branch 1 taken 10 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 7 times.
✓ Branch 1 taken 48 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000003ul> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000003ul> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000003ul> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000003ul> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000003ul> > >&, bool)#1}&):
✗ Branch 0 not taken.
✓ Branch 1 taken 32 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 7 times.
✓ Branch 1 taken 48 times.
|
362 | retif_((n <= 1) [[unlikely]], n); |
| 17 | 320 | matrix<T> mat(n - 1, n - 1); | |
| 18 |
20/20tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<16l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<16l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<16l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<16l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<16l> > >&, bool)#1}&):
✓ Branch 0 taken 4434 times.
✓ Branch 1 taken 38 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<17l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<17l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<17l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<17l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<17l> > >&, bool)#1}&):
✓ Branch 0 taken 2667 times.
✓ Branch 1 taken 10 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 7101 times.
✓ Branch 1 taken 48 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<16l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<16l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<16l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<16l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<16l> > >&, bool)#1}&):
✓ Branch 0 taken 4434 times.
✓ Branch 1 taken 38 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<17l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<17l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<17l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<17l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<17l> > >&, bool)#1}&):
✓ Branch 0 taken 2667 times.
✓ Branch 1 taken 10 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<16l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<16l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<16l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<16l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<16l> > >&, bool)#1}&):
✓ Branch 0 taken 4434 times.
✓ Branch 1 taken 38 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<17l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<17l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<17l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<17l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<17l> > >&, bool)#1}&):
✓ Branch 0 taken 2667 times.
✓ Branch 1 taken 10 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 7101 times.
✓ Branch 1 taken 48 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000003ul> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000003ul> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000003ul> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000003ul> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000003ul> > >&, bool)#1}&):
✓ Branch 0 taken 1326 times.
✓ Branch 1 taken 32 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 7101 times.
✓ Branch 1 taken 48 times.
|
44252 | flt_ (u32, i, 0, n) |
| 19 |
20/20tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<16l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<16l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<16l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<16l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<16l> > >&, bool)#1}&):
✓ Branch 0 taken 1734982 times.
✓ Branch 1 taken 4434 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<17l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<17l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<17l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<17l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<17l> > >&, bool)#1}&):
✓ Branch 0 taken 1116983 times.
✓ Branch 1 taken 2667 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 2851965 times.
✓ Branch 1 taken 7101 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<16l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<16l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<16l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<16l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<16l> > >&, bool)#1}&):
✓ Branch 0 taken 1734982 times.
✓ Branch 1 taken 4434 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<17l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<17l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<17l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<17l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<17l> > >&, bool)#1}&):
✓ Branch 0 taken 1116983 times.
✓ Branch 1 taken 2667 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<16l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<16l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<16l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<16l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<16l> > >&, bool)#1}&):
✓ Branch 0 taken 1734982 times.
✓ Branch 1 taken 4434 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<17l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<17l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<17l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<17l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<17l> > >&, bool)#1}&):
✓ Branch 0 taken 1116983 times.
✓ Branch 1 taken 2667 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 2851965 times.
✓ Branch 1 taken 7101 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000003ul> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000003ul> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000003ul> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000003ul> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000003ul> > >&, bool)#1}&):
✓ Branch 0 taken 113628 times.
✓ Branch 1 taken 1326 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 2851965 times.
✓ Branch 1 taken 7101 times.
|
17269350 | flt_ (u32, j, 0, n) |
| 20 |
20/20tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<16l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<16l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<16l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<16l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<16l> > >&, bool)#1}&):
✓ Branch 0 taken 1730548 times.
✓ Branch 1 taken 4434 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<17l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<17l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<17l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<17l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<17l> > >&, bool)#1}&):
✓ Branch 0 taken 1114316 times.
✓ Branch 1 taken 2667 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 2844864 times.
✓ Branch 1 taken 7101 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<16l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<16l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<16l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<16l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<16l> > >&, bool)#1}&):
✓ Branch 0 taken 1730548 times.
✓ Branch 1 taken 4434 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<17l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<17l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<17l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<17l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<17l> > >&, bool)#1}&):
✓ Branch 0 taken 1114316 times.
✓ Branch 1 taken 2667 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<16l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<16l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<16l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<16l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<16l> > >&, bool)#1}&):
✓ Branch 0 taken 1730548 times.
✓ Branch 1 taken 4434 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<17l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<17l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<17l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<17l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<17l> > >&, bool)#1}&):
✓ Branch 0 taken 1114316 times.
✓ Branch 1 taken 2667 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 2844864 times.
✓ Branch 1 taken 7101 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000003ul> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000003ul> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000003ul> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000003ul> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000003ul> > >&, bool)#1}&):
✓ Branch 0 taken 112302 times.
✓ Branch 1 taken 1326 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 2844864 times.
✓ Branch 1 taken 7101 times.
|
17225418 | if (i != j) { |
| 21 | 17181486 | auto _ = g.val(i, j); | |
| 22 |
40/40tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<16l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<16l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<16l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<16l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<16l> > >&, bool)#1}&):
✓ Branch 0 taken 1726152 times.
✓ Branch 1 taken 4396 times.
✓ Branch 2 taken 1721756 times.
✓ Branch 3 taken 4396 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<17l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<17l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<17l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<17l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<17l> > >&, bool)#1}&):
✓ Branch 0 taken 1111659 times.
✓ Branch 1 taken 2657 times.
✓ Branch 2 taken 1109002 times.
✓ Branch 3 taken 2657 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 2837811 times.
✓ Branch 1 taken 7053 times.
✓ Branch 2 taken 2830758 times.
✓ Branch 3 taken 7053 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<16l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<16l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<16l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<16l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<16l> > >&, bool)#1}&):
✓ Branch 0 taken 1726152 times.
✓ Branch 1 taken 4396 times.
✓ Branch 2 taken 1721756 times.
✓ Branch 3 taken 4396 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<17l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<17l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<17l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<17l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<17l> > >&, bool)#1}&):
✓ Branch 0 taken 1111659 times.
✓ Branch 1 taken 2657 times.
✓ Branch 2 taken 1109002 times.
✓ Branch 3 taken 2657 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<16l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<16l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<16l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<16l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<16l> > >&, bool)#1}&):
✓ Branch 0 taken 1726152 times.
✓ Branch 1 taken 4396 times.
✓ Branch 2 taken 1721756 times.
✓ Branch 3 taken 4396 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<17l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<17l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<17l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<17l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<17l> > >&, bool)#1}&):
✓ Branch 0 taken 1111659 times.
✓ Branch 1 taken 2657 times.
✓ Branch 2 taken 1109002 times.
✓ Branch 3 taken 2657 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 2837811 times.
✓ Branch 1 taken 7053 times.
✓ Branch 2 taken 2830758 times.
✓ Branch 3 taken 7053 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000003ul> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000003ul> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000003ul> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000003ul> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000003ul> > >&, bool)#1}&):
✓ Branch 0 taken 111008 times.
✓ Branch 1 taken 1294 times.
✓ Branch 2 taken 109714 times.
✓ Branch 3 taken 1294 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 2837811 times.
✓ Branch 1 taken 7053 times.
✓ Branch 2 taken 2830758 times.
✓ Branch 3 taken 7053 times.
|
17181486 | if (i != r && j != r) mat(i - (i > r), j - (j > r)) -= _; |
| 23 | if CEXP (outer) { | ||
| 24 |
20/20tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<16l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<16l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<16l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<16l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<16l> > >&, bool)#1}&):
✓ Branch 0 taken 1726152 times.
✓ Branch 1 taken 4396 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<17l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<17l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<17l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<17l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<17l> > >&, bool)#1}&):
✓ Branch 0 taken 1111659 times.
✓ Branch 1 taken 2657 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 2837811 times.
✓ Branch 1 taken 7053 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<16l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<16l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<16l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<16l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<16l> > >&, bool)#1}&):
✓ Branch 0 taken 1726152 times.
✓ Branch 1 taken 4396 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<17l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<17l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<17l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<17l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<17l> > >&, bool)#1}&):
✓ Branch 0 taken 1111659 times.
✓ Branch 1 taken 2657 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<16l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<16l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<16l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<16l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<16l> > >&, bool)#1}&):
✓ Branch 0 taken 1726152 times.
✓ Branch 1 taken 4396 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<17l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<17l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<17l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<17l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<17l> > >&, bool)#1}&):
✓ Branch 0 taken 1111659 times.
✓ Branch 1 taken 2657 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 2837811 times.
✓ Branch 1 taken 7053 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000003ul> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000003ul> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000003ul> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000003ul> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000003ul> > >&, bool)#1}&):
✓ Branch 0 taken 111008 times.
✓ Branch 1 taken 1294 times.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 0 taken 2837811 times.
✓ Branch 1 taken 7053 times.
|
17181486 | if (j != r) mat(j - (j > r), j - (j > r)) += _; |
| 25 | } else if (i != r) mat(i - (i > r), i - (i > r)) += _; | ||
| 26 | } | ||
| 27 |
10/20tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<16l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<16l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<16l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<16l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<16l> > >&, bool)#1}&):
✓ Branch 1 taken 38 times.
✗ Branch 2 not taken.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<17l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<17l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<17l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<17l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bd_tag<17l> > >&, bool)#1}&):
✓ Branch 1 taken 10 times.
✗ Branch 2 not taken.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_bs_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 1 taken 48 times.
✗ Branch 2 not taken.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<16l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<16l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<16l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<16l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<16l> > >&, bool)#1}&):
✓ Branch 1 taken 38 times.
✗ Branch 2 not taken.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<17l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<17l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<17l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<17l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<17l> > >&, bool)#1}&):
✓ Branch 1 taken 10 times.
✗ Branch 2 not taken.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<16l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<16l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<16l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<16l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<16l> > >&, bool)#1}&):
✓ Branch 1 taken 38 times.
✗ Branch 2 not taken.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<17l> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<17l> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<17l> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<17l> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<17l> > >&, bool)#1}&):
✓ Branch 1 taken 10 times.
✗ Branch 2 not taken.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 1 taken 48 times.
✗ Branch 2 not taken.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000003ul> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000003ul> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000003ul> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000003ul> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<1000003ul> > >&, bool)#1}&):
✓ Branch 1 taken 32 times.
✗ Branch 2 not taken.
tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >> >::Et tifa_libs::kirchhoff<true, tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >> >, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&>(tifa_libs::graph_impl_::graph<tifa_libs::amat_impl_::amat_tag<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >> > const&, unsigned int, main::{lambda(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, bool)#1}&):
✓ Branch 1 taken 48 times.
✗ Branch 2 not taken.
|
320 | return det(mat, ge); |
| 28 | 320 | } | |
| 29 | |||
| 30 | } // namespace tifa_libs | ||
| 31 |