| line | !l | l&&!r | l&&r | condition | 
 
| 54 | 10 | 0 | 0 | defined $Math::Prime::Util::GMP::VERSION and $Math::Prime::Util::GMP::VERSION >= 0.49 | 
 
| 62 | 0 | 0 | 0 | defined $_[0] and $_[0] ne '' | 
 
| 91 | 15 | 0 | 0 | defined $i and defined $f | 
 
| 96 | 0 | 0 | 15 | defined $i and defined $f | 
 
| 124 | 236 | 0 | 0 | $n =~ tr[0-9][\000-/:-\377]c and not $n =~ /^\+\d+$/ | 
 
| 126 | 236 | 0 | 0 | defined $min and $n < $min | 
 
| 127 | 236 | 0 | 0 | defined $max and $n > $max | 
 
| 150 | 15681 | 0 | 1 | $strn =~ tr[0-9][\000-/:-\377]c and not $strn =~ /^\+?\d+$/ | 
 
| 158 | 15560 | 848 | 0 | ref $_[0] eq 'Math::BigInt' and $_[0]->upgrade | 
 
| 159 | 16392 | 16 | 0 | defined $min and $_[0] < $min | 
 
| 160 | 16408 | 0 | 0 | defined $max and $_[0] > $max | 
 
| 175 | 433 | 256 | 496 | $n <= $poscmp and $n >= $negcmp | 
 
| 179 | 30 | 0 | 0 | $strn =~ tr[\-0-9][\000-,./:-\377]c and not $strn =~ /^[-+]?\d+$/ | 
 
| 181 | 2 | 1 | 27 | $n <= $poscmp and $n >= $negcmp | 
 
| 187 | 523 | 692 | 0 | ref $_[0] and $_[0]->upgrade | 
 
| 195 | 0 | 0 | 0 | defined $exitsub and &$exitsub($n, $lo, $hi) | 
 
| 235 | 9431 | 280 | 0 | ref $n eq 'Math::BigInt' and $n <= {sign => '+', value => [709551615, 446744073, 18]} | 
 
| 251 | 72 | 653 | 5411 | $n % 7 and $n % 11 | 
 
|  | 653 | 364 | 5047 | $n % 7 and $n % 11 and $n % 13 | 
 
|  | 364 | 35 | 5012 | $n % 7 and $n % 11 and $n % 13 and $n % 17 | 
 
|  | 35 | 208 | 4804 | $n % 7 and $n % 11 and $n % 13 and $n % 17 and $n % 19 | 
 
|  | 208 | 177 | 4627 | $n % 7 and $n % 11 and $n % 13 and $n % 17 and $n % 19 and $n % 23 | 
 
|  | 177 | 204 | 4423 | $n % 7 and $n % 11 and $n % 13 and $n % 17 and $n % 19 and $n % 23 and $n % 29 | 
 
|  | 204 | 17 | 4406 | $n % 7 and $n % 11 and $n % 13 and $n % 17 and $n % 19 and $n % 23 and $n % 29 and $n % 31 | 
 
|  | 17 | 173 | 4233 | $n % 7 and $n % 11 and $n % 13 and $n % 17 and $n % 19 and $n % 23 and $n % 29 and $n % 31 and $n % 37 | 
 
|  | 173 | 154 | 4079 | $n % 7 and $n % 11 and $n % 13 and $n % 17 and $n % 19 and $n % 23 and $n % 29 and $n % 31 and $n % 37 and $n % 41 | 
 
|  | 154 | 191 | 3888 | $n % 7 and $n % 11 and $n % 13 and $n % 17 and $n % 19 and $n % 23 and $n % 29 and $n % 31 and $n % 37 and $n % 41 and $n % 43 | 
 
|  | 191 | 30 | 3858 | $n % 7 and $n % 11 and $n % 13 and $n % 17 and $n % 19 and $n % 23 and $n % 29 and $n % 31 and $n % 37 and $n % 41 and $n % 43 and $n % 47 | 
 
|  | 30 | 8 | 3850 | $n % 7 and $n % 11 and $n % 13 and $n % 17 and $n % 19 and $n % 23 and $n % 29 and $n % 31 and $n % 37 and $n % 41 and $n % 43 and $n % 47 and $n % 53 | 
 
|  | 8 | 167 | 3683 | $n % 7 and $n % 11 and $n % 13 and $n % 17 and $n % 19 and $n % 23 and $n % 29 and $n % 31 and $n % 37 and $n % 41 and $n % 43 and $n % 47 and $n % 53 and $n % 59 | 
 
| 269 | 4 | 10 | 653 | $n % $i and $n % ($i + 6) | 
 
|  | 14 | 4 | 649 | $n % $i and $n % ($i + 6) and $n % ($i + 10) | 
 
|  | 14 | 12 | 637 | $n % $i and $n % ($i + 6) and $n % ($i + 10) and $n % ($i + 12) | 
 
|  | 16 | 6 | 631 | $n % $i and $n % ($i + 6) and $n % ($i + 10) and $n % ($i + 12) and $n % ($i + 16) | 
 
|  | 18 | 3 | 628 | $n % $i and $n % ($i + 6) and $n % ($i + 10) and $n % ($i + 12) and $n % ($i + 16) and $n % ($i + 18) | 
 
|  | 9 | 3 | 625 | $n % $i and $n % ($i + 6) and $n % ($i + 10) and $n % ($i + 12) and $n % ($i + 16) and $n % ($i + 18) and $n % ($i + 22) | 
 
|  | 6 | 1 | 624 | $n % $i and $n % ($i + 6) and $n % ($i + 10) and $n % ($i + 12) and $n % ($i + 16) and $n % ($i + 18) and $n % ($i + 22) and $n % ($i + 28) | 
 
| 306 | 0 | 6808 | 0 | defined $n and int $n < 0 | 
 
| 313 | 551 | 1920 | 3946 | $n % 2 and $n % 3 | 
 
|  | 1920 | 845 | 3101 | $n % 2 and $n % 3 and $n % 5 | 
 
| 327 | 0 | 32 | 0 | defined $n and int $n < 0 | 
 
| 338 | 0 | 5 | 0 | defined $n and $n < 2 | 
 
| 411 | 547 | 0 | 0 | ref $end and $end <= {sign => '+', value => [709551615, 446744073, 18]} | 
 
| 485 | 0 | 0 | 0 | $low <= 2 and $high >= 2 | 
 
| 486 | 0 | 0 | 0 | $low <= 3 and $high >= 3 | 
 
| 487 | 0 | 0 | 0 | $low <= 5 and $high >= 5 | 
 
| 495 | 0 | 0 | 0 | _miller_rabin_2($p) and is_extra_strong_lucas_pseudoprime($p) | 
 
| 516 | 13 | 0 | 0 | $Math::Prime::Util::_GMPfunc{'sieve_primes'} and $Math::Prime::Util::GMP::VERSION >= 0.34 | 
 
| 521 | 12 | 0 | 0 | $low > 1000000000000 and $high - $low < int $low / 1000000 | 
 
| 525 | 8 | 0 | 4 | $low <= 2 and $high >= 2 | 
 
| 526 | 8 | 0 | 4 | $low <= 3 and $high >= 3 | 
 
| 527 | 8 | 0 | 4 | $low <= 5 and $high >= 5 | 
 
| 556 | 0 | 0 | 0 | $n <= 2 and $n + $width - 1 >= 2 | 
 
| 557 | 0 | 0 | 0 | $n <= 3 and $n + $width - 1 >= 3 | 
 
| 558 | 0 | 0 | 0 | $n <= 4 and $n + $width - 1 >= 4 | 
 
|  | 0 | 0 | 0 | $n <= 4 and $n + $width - 1 >= 4 and $depth < 2 | 
 
| 603 | 1 | 10 | 1 | $hi - $lo < 20000 and $lo < 18446744073709551615 | 
 
| 626 | 2928 | 3111 | 10579 | ($_ + $c) % 3 and ($_ + $c) % 5 | 
 
| 709 | 0 | 0 | 0 | ($k & 3) == 1 and is_prime($k + 1 >> 1) | 
 
| 721 | 0 | 0 | 0 | @$L and $L->[0] < $low | 
 
| 722 | 0 | 0 | 0 | @$L and $L->[-1] > $high | 
 
| 748 | 11 | 917 | 5 | ref $n ne 'Math::BigInt' and $n >= 18446744073709551557 | 
 
| 752 | 917 | 11 | 0 | $n > 4294967295 and Math::Prime::Util::prime_get_config()->{'gmp'} | 
 
| 757 | 53 | 51 | 11 | Math::BigInt::bgcd($n, {sign => '+', value => [568529303, 51702675, 261944]})->is_one and _miller_rabin_2($n) | 
 
|  | 51 | 0 | 11 | Math::BigInt::bgcd($n, {sign => '+', value => [568529303, 51702675, 261944]})->is_one and _miller_rabin_2($n) and is_extra_strong_lucas_pseudoprime($n) | 
 
| 762 | 669 | 2674 | 917 | $n % 7 and _is_prime7($n) | 
 
| 773 | 154 | 2 | 0 | $n > 4294967295 and Math::Prime::Util::prime_get_config()->{'gmp'} | 
 
| 778 | 14 | 5 | 3 | Math::BigInt::bgcd($n, {sign => '+', value => [568529303, 51702675, 261944]})->is_one and _miller_rabin_2($n) | 
 
|  | 5 | 1 | 2 | Math::BigInt::bgcd($n, {sign => '+', value => [568529303, 51702675, 261944]})->is_one and _miller_rabin_2($n) and is_extra_strong_lucas_pseudoprime($n) | 
 
| 783 | 464 | 2464 | 154 | $n % 7 and _is_prime7($n) | 
 
| 872 | 0 | 105 | 0 | defined $n and $n < 0 | 
 
| 896 | 44 | 8 | 49 | $#pe == 0 and $pe[0][1] == 1 | 
 
| 914 | 100 | 1 | 0 | ref $totient eq 'Math::BigInt' and $totient->bacmp({sign => '+', value => [709551615, 446744073, 18]}) <= 0 | 
 
| 926 | 0 | 0 | 0 | not ref $n and $n > 562949953421312 | 
 
| 981 | 3 | 0 | 5 | $lo < 0 and $lo <= $hi | 
 
| 1009 | 0 | 99 | 0 | defined $n and $n < 0 | 
 
| 1012 | 1 | 0 | 10 | $n % 4 && $n % 9 && $n % 25 && $n % 49 | 
 
|  | 88 | 10 | 1 | $n >= 49 and not $n % 4 && $n % 9 && $n % 25 && $n % 49 | 
 
| 1053 | 121 | 9 | 1 | $n < $maxd and &Math::Prime::Util::is_prime(2 * $n + 1) | 
 
| 1182 | 2 | 1 | 0 | $pe[0][0] == 2 and $pe[0][1] > 2 | 
 
| 1208 | 0 | 0 | 1 | $n % 9 and $n % 25 | 
 
|  | 0 | 0 | 1 | $n % 9 and $n % 25 and $n % 49 | 
 
|  | 0 | 0 | 1 | $n % 9 and $n % 25 and $n % 49 and $n % 121 | 
 
| 1254 | 0 | 0 | 0 | $n % 4 and $n % 9 | 
 
|  | 0 | 0 | 0 | $n % 4 and $n % 9 and $n % 25 | 
 
|  | 0 | 0 | 0 | $n % 4 and $n % 9 and $n % 25 and $n % 49 | 
 
|  | 0 | 0 | 0 | $n % 4 and $n % 9 and $n % 25 and $n % 49 and $n % 121 | 
 
| 1302 | 0 | 0 | 0 | defined $p and int $p < 0 | 
 
| 1310 | 0 | 0 | 0 | $nfac == $pm1 and $p % $n != 1 | 
 
| 1340 | 0 | 0 | 0 | defined $k && $k == 0 | 
 
| 1343 | 1 | 4 | 831 | defined $k and ref $k eq 'CODE' | 
 
| 1372 | 0 | 3 | 0 | ref $n and ref $n ne 'Math::BigInt' | 
 
| 1573 | 13 | 1 | 6 | $low <= 2 and $high >= 2 | 
 
| 1616 | 10 | 0 | 0 | $n > 425656284035217743 and ref $n ne 'Math::BigFloat' | 
 
| 1830 | 1 | 0 | 4 | ref $_[0] eq 'Math::BigInt' and $x > 1e+16 | 
 
| 1861 | 0 | 0 | 4 | ref $x and $x->accuracy | 
 
| 2148 | 0 | 0 | 0 | $n > 59 and $n <= 1092 | 
 
| 2192 | 0 | 0 | 0 | ref $nth and $nth->bacmp({sign => '+', value => [709551615, 446744073, 18]}) <= 0 | 
 
| 2203 | 0 | 0 | 0 | ref $nth and $nth->bacmp({sign => '+', value => [709551615, 446744073, 18]}) <= 0 | 
 
| 2274 | 0 | 0 | 0 | $low <= 2 and $high >= 29505444491 | 
 
| 2283 | 0 | 0 | 0 | not Math::Prime::Util::prime_get_config()->{'xs'} || ref $sum and 1 and $high - $low > 1000000 | 
 
| 2291 | 0 | 0 | 0 | $high < 600000000000000 && Math::Prime::Util::prime_get_config()->{'xs'} | 
 
| 2292 | 0 | 0 | 0 | $xssum && $high > 50000000000000 | 
 
| 2447 | 2 | 0 | 1 | abs $x < 9223372036854775807 and abs $y < 9223372036854775807 | 
 
| 2478 | 7 | 0 | 0 | $Math::Prime::Util::_GMPfunc{'chinese'} and $Math::Prime::Util::GMP::VERSION >= 0.42 | 
 
| 2482 | 0 | 0 | 0 | ref $sum and $sum->bacmp({sign => '+', value => [709551615, 446744073, 18]}) <= 0 | 
 
| 2488 | 2 | 12 | 0 | not ref $ai and abs $ai > 9223372036854775807 || 0 | 
 
| 2489 | 2 | 12 | 0 | not ref $ni and abs $ni > 9223372036854775807 || 0 | 
 
| 2502 | 4 | 3 | 0 | $g != 1 and $sum % $g != $ai % $g | 
 
| 2506 | 2 | 1 | 4 | not ref $lcm and $lcm * $s > 18446744073709551615 | 
 
| 2525 | 1 | 5 | 1 | ref $sum and $sum->bacmp({sign => '+', value => [709551615, 446744073, 18]}) <= 0 | 
 
| 2531 | 0 | 0 | 0 | defined $hi and defined $lo | 
 
| 2562 | 14073 | 0 | 5 | $prod->bacmp({sign => '+', value => [709551615, 446744073, 18]}) <= 0 and $prod->bcmp({sign => '-', value => [854775807, 223372036, 9]}) > 0 | 
 
| 2599 | 0 | 0 | 0 | not defined $base and $n =~ s/^0b// | 
 
| 2600 | 0 | 0 | 0 | not defined $base and $n =~ s/^0x// | 
 
| 2691 | 0 | 0 | 0 | $n->is_odd and not $a->copy->bmodpow($n - 1 >> 1, $n)->is_one | 
 
| 2706 | 18987 | 0 | 432 | $n < 18446744073709551615 and $a >= 0 | 
 
|  | 18987 | 0 | 432 | $n < 18446744073709551615 and $a >= 0 and $a < 18446744073709551615 | 
 
|  | 0 | 0 | 432 | $n < 18446744073709551615 and $a >= 0 and $a < 18446744073709551615 and $b >= 0 | 
 
|  | 0 | 0 | 432 | $n < 18446744073709551615 and $a >= 0 and $a < 18446744073709551615 and $b >= 0 and $b < 18446744073709551615 | 
 
| 2715 | 7368 | 0 | 0 | $n < 18446744073709551615 and $a > 0 | 
 
|  | 7368 | 0 | 0 | $n < 18446744073709551615 and $a > 0 and $a < 18446744073709551615 | 
 
|  | 0 | 0 | 0 | $n < 18446744073709551615 and $a > 0 and $a < 18446744073709551615 and $b > 0 | 
 
|  | 0 | 0 | 0 | $n < 18446744073709551615 and $a > 0 and $a < 18446744073709551615 and $b > 0 and $b < 18446744073709551615 | 
 
| 2762 | 605 | 589 | 0 | defined $refp and not ref $refp | 
 
| 2764 | 1190 | 0 | 4 | abs $n <= 3 and not $a | 
 
| 2766 | 1190 | 0 | 0 | $Math::Prime::Util::_GMPfunc{'is_power'} and $Math::Prime::Util::GMP::VERSION >= 0.42 || $Math::Prime::Util::GMP::VERSION >= 0.28 && $n > 0 | 
 
| 2783 | 137 | 1053 | 0 | defined $a and $a != 0 | 
 
| 2785 | 0 | 0 | 0 | $n < 0 and $a % 2 == 0 | 
 
| 2822 | 412 | 131 | 128 | not $next and defined $refp | 
 
| 2842 | 0 | 0 | 0 | defined $refp and not ref $refp | 
 
| 2849 | 0 | 0 | 0 | ref $r and $r->bacmp({sign => '+', value => [709551615, 446744073, 18]}) <= 0 | 
 
| 2858 | 2 | 0 | 0 | defined $refp and not ref $refp | 
 
| 2877 | 2 | 0 | 0 | $n <= 4294967296 and $k <= 4294967296 | 
 
| 2899 | 0 | 132 | 0 | defined $n and $n < 0 | 
 
| 2942 | 3 | 0 | 0 | $len >= 0 and $len != scalar @d | 
 
| 2965 | 0 | 0 | 0 | $base == 2 and $len < 0 | 
 
| 2966 | 0 | 0 | 0 | $base == 8 and $len < 0 | 
 
| 2967 | 0 | 0 | 0 | $base == 16 and $len < 0 | 
 
| 2977 | 1 | 0 | 0 | $base == 10 and ref($r) =~ /^Math::/ | 
 
| 2979 | 1 | 0 | 0 | ref $r and not ref($r) =~ /^Math::/ | 
 
| 3032 | 0 | 0 | 0 | defined $refp and not ref $refp | 
 
| 3068 | 0 | 103 | 0 | $n > 1 and $n % 2 | 
 
| 3177 | 21 | 0 | 0 | $sprec <= 23 and $n > 54 | 
 
|  | 21 | 0 | 0 | $sprec <= 30 and $n > 348 | 
 
|  | 0 | 21 | 0 | $sprec <= 40 and $n > 2002 | 
 
|  | 0 | 21 | 0 | $sprec <= 50 and $n > 12644 | 
 
| 3214 | 0 | 0 | 10 | $base > 1 and $base != $n - 1 | 
 
| 3234 | 0 | 0 | 0 | $base > 1 and $base != $n - 1 | 
 
| 3335 | 716 | 2 | 0 | $base == $n - 1 and $base % 2 == 1 | 
 
| 3415 | 0 | 0 | 0 | $v % 2 == 1 and $a % 8 == 3 || $a % 8 == 5 | 
 
| 3422 | 383 | 280 | 2 | ref $b eq 'Math::BigInt' and $b <= {sign => '+', value => [709551615, 446744073, 18]} | 
 
| 3423 | 664 | 1 | 0 | ref $a eq 'Math::BigInt' and $a <= {sign => '+', value => [709551615, 446744073, 18]} | 
 
| 3429 | 154 | 54 | 194 | $v % 2 == 1 and $b % 8 == 3 || $b % 8 == 5 | 
 
| 3431 | 736 | 132 | 68 | $a % 4 == 3 and $b % 4 == 3 | 
 
| 3434 | 383 | 7 | 546 | ref $a eq 'Math::BigInt' and $a <= {sign => '+', value => [709551615, 446744073, 18]} | 
 
|  | 390 | 279 | 267 | ref $a eq 'Math::BigInt' and $a <= {sign => '+', value => [709551615, 446744073, 18]} and ref $b eq 'Math::BigInt' | 
 
|  | 286 | 0 | 267 | ref $a eq 'Math::BigInt' and $a <= {sign => '+', value => [709551615, 446744073, 18]} and ref $b eq 'Math::BigInt' and $b <= {sign => '+', value => [709551615, 446744073, 18]} | 
 
| 3472 | 0 | 1 | 0 | $k < 0 and $k > $n | 
 
| 3482 | 0 | 1 | 0 | $r > 0 and not $k & 1 | 
 
| 3483 | 0 | 0 | 1 | $r > 0 and $r <= 9223372036854775807 | 
 
| 3529 | 564 | 0 | 0 | defined &Math::Prime::Util::GMP::factorial and Math::Prime::Util::prime_get_config()->{'gmp'} | 
 
| 3600 | 0 | 0 | 0 | $Math::Prime::Util::_GMPfunc{'znorder'} and $Math::Prime::Util::_GMPfunc{'totient'} | 
 
| 3609 | 0 | 0 | 0 | $s % 2 == 0 and &Math::Prime::Util::powmod($a, $s / 2, $n) == 1 | 
 
| 3610 | 0 | 0 | 0 | $s % 3 == 0 and &Math::Prime::Util::powmod($a, $s / 3, $n) == 1 | 
 
| 3611 | 0 | 0 | 0 | $s % 5 == 0 and &Math::Prime::Util::powmod($a, $s / 5, $n) == 1 | 
 
| 3614 | 0 | 0 | 0 | $fp > 5 and &Math::Prime::Util::powmod($a, $s / $fp, $n) == 1 | 
 
| 3741 | 0 | 0 | 1 | defined $n and $n > 1000 | 
 
| 3744 | 1 | 0 | 0 | ref $x and $x->bacmp({sign => '+', value => [709551615, 446744073, 18]}) <= 0 | 
 
| 3745 | 0 | 0 | 1 | $x > 0 and $g->copy->bmodpow($x, $p) == $a | 
 
| 3746 | 0 | 0 | 0 | $x == 0 and $_verbose | 
 
| 3747 | 0 | 0 | 0 | $x > 0 and $_verbose > 1 | 
 
| 3751 | 1 | 0 | 0 | ref $x and $x->bacmp({sign => '+', value => [709551615, 446744073, 18]}) <= 0 | 
 
| 3801 | 32 | 0 | 0 | $gcd > 1 and $gcd != $n | 
 
| 3822 | 360 | 0 | 0 | $gcd > 1 and $gcd != $n | 
 
| 3840 | 156 | 0 | 0 | $Math::Prime::Util::_GMPfunc{'lucas_sequence'} and $Math::Prime::Util::GMP::VERSION >= 0.3 | 
 
| 3900 | 0 | 0 | 142 | $P > {sign => '+', value => [2]} and not $Dinverse->is_nan | 
 
| 4091 | 0 | 6 | 19 | $k > 0 and not $k % 2 | 
 
| 4125 | 142 | 0 | 2772 | $k->is_even and not $k->is_zero | 
 
| 4133 | 74 | 3 | 65 | $U == 0 and $V == {sign => '+', value => [2]} || $V == $n - {sign => '+', value => [2]} | 
 
| 4197 | 0 | 0 | 0 | $k == 2 and not $n % 3 | 
 
| 4212 | 0 | 0 | 0 | $ra == $ea && $rb == $n - 1 | 
 
| 4228 | 0 | 0 | 0 | $a == 20 and _is_perfect_square($n) | 
 
| 4232 | 1 | 0 | 0 | $temp1 != 1 and $temp1 != $n | 
 
| 4261 | 1 | 0 | 0 | $s == 0 && $t == $temp1 | 
 
| 4290 | 2 | 0 | 0 | $restrict > 2 and $n % 2 == 0 | 
 
| 4305 | 0 | 0 | 0 | $S[0] == $A and $S[2] == $B | 
 
|  | 0 | 0 | 0 | $S[0] == $A and $S[2] == $B and $S[3] == $B | 
 
|  | 0 | 0 | 0 | $S[0] == $A and $S[2] == $B and $S[3] == $B and $S[5] == $C | 
 
|  | 0 | 0 | 0 | $S[0] == $A and $S[2] == $B and $S[3] == $B and $S[5] == $C and $B != 3 | 
 
|  | 0 | 0 | 0 | $S[0] == $A and $S[2] == $B and $S[3] == $B and $S[5] == $C and $B != 3 and addmod(mulmod($B2, $B, $n), $n - $B, $n) == 1 | 
 
| 4307 | 0 | 0 | 0 | $j == 0 and $n != 23 | 
 
|  | 0 | 0 | 0 | $j == 0 and $n != 23 and $restrict > 2 | 
 
| 4308 | 0 | 0 | 0 | $S[0] == 1 and $S[2] == 3 | 
 
|  | 0 | 0 | 0 | $S[0] == 1 and $S[2] == 3 and $S[3] == 3 | 
 
|  | 0 | 0 | 0 | $S[0] == 1 and $S[2] == 3 and $S[3] == 3 and $S[5] == 2 | 
 
| 4309 | 0 | 0 | 0 | $S[0] == 0 and $S[5] == $n - 1 | 
 
|  | 0 | 0 | 0 | $S[0] == 0 and $S[5] == $n - 1 and $S[2] != $S[3] | 
 
|  | 0 | 0 | 0 | $S[0] == 0 and $S[5] == $n - 1 and $S[2] != $S[3] and addmod($S[2], $S[3], $n) == $n - 3 | 
 
|  | 0 | 0 | 0 | $S[0] == 0 and $S[5] == $n - 1 and $S[2] != $S[3] and addmod($S[2], $S[3], $n) == $n - 3 and mulmod(addmod($S[2], $n - $S[3], $n), addmod($S[2], $n - $S[3], $n), $n) == $n - 23 % $n | 
 
| 4323 | 1 | 0 | 0 | defined $P and defined $Q | 
 
| 4330 | 0 | 0 | 1 | $P == 0 and $Q == 0 | 
 
| 4340 | 1 | 0 | 0 | $P == 10001 and _is_perfect_square($n) | 
 
| 4358 | 1 | 0 | 0 | $U == 0 and $V == $Vcomp | 
 
| 4380 | 0 | 0 | 0 | $p > 3 and $p % 4 == 3 | 
 
|  | 0 | 0 | 0 | $p > 3 and $p % 4 == 3 and $p < 9223372036854775807 | 
 
|  | 0 | 0 | 0 | $p > 3 and $p % 4 == 3 and $p < 9223372036854775807 and is_prob_prime($p * 2 + 1) | 
 
| 4544 | 0 | 21 | 1 | ref $_[0] and $_[0]->upgrade | 
 
| 4556 | 0 | 22 | 0 | $] >= 5.008 and $_[0] <= {sign => '+', value => [709551615, 446744073, 18]} | 
 
| 4559 | 0 | 39 | 0 | $_[0] > 1 and _is_prime7($_[0]) | 
 
| 4578 | 152 | 0 | 99 | $n > 400000000 and $_primes_small[-1] < 99000 | 
 
|  | 152 | 98 | 1 | $n > 400000000 and $_primes_small[-1] < 99000 and !defined($limit) || $limit > $_primes_small[-1] | 
 
| 4603 | 20 | 57 | 0 | $start_idx <= $#_primes_small and $_primes_small[$start_idx] > $limit | 
 
| 4644 | 960 | 0 | 0 | $n->copy->bmod($f)->is_zero and $f->bacmp($limit) <= 0 | 
 
| 4704 | 101 | 21 | 10 | ref $n eq 'Math::BigInt' and $n <= {sign => '+', value => [709551615, 446744073, 18]} | 
 
| 4706 | 68 | 64 | 61 | $n >= $lim * $lim and not _is_prime7($n) | 
 
| 4717 | 45 | 0 | 16 | ref $n eq 'Math::BigInt' and $n <= {sign => '+', value => [709551615, 446744073, 18]} | 
 
| 4895 | 0 | 0 | 0 | $f != 1 and $r-- != 0 | 
 
| 4911 | 1643 | 0 | 10 | $f != 1 and $f != $n | 
 
| 4920 | 32836 | 0 | 45 | $f != 1 and $f != $n | 
 
| 5006 | 68 | 0 | 0 | $pc_beg > 2 and ($j - 1) % 256 | 
 
| 5040 | 0 | 0 | 2 | $f->is_one and $B2 > $B1 | 
 
| 5287 | 2 | 0 | 22 | $f == 1 and $B2 > $B1 | 
 
| 5391 | 38 | 153 | 34 | @factors and $p == $factors[0] | 
 
| 5489 | 0 | 0 | 0 | ref $n and $n->bacmp({sign => '+', value => [709551615, 446744073, 18]}) <= 0 | 
 
| 5552 | 79 | 0 | 0 | $dig > 70 and $Math::Prime::Util::_GMPfunc{'Euler'} | 
 
| 5558 | 1 | 0 | 0 | $dig > 70 and $Math::Prime::Util::_GMPfunc{'li'} | 
 
| 5569 | 0 | 0 | 0 | defined $bignum::VERSION and ref $x ne 'Math::BigFloat' | 
 
| 5575 | 18 | 0 | 0 | defined $bignum::VERSION and ref $x ne 'Math::BigFloat' | 
 
| 5656 | 0 | 0 | 0 | defined $bignum::VERSION and ref $x ne 'Math::BigFloat' | 
 
| 5679 | 70 | 0 | 19 | ref $x and ref($_[0]) =~ /^Math::Big/ | 
 
|  | 70 | 15 | 4 | ref $x and ref($_[0]) =~ /^Math::Big/ and $_[0]->accuracy | 
 
| 5751 | 0 | 0 | 19 | ref $invx and $xdigits | 
 
| 5849 | 4 | 144 | 8 | $x == int $x and defined $_Riemann_Zeta_Table[int($x) - 2] | 
 
| 6084 | 971 | 0 | 0 | $have_bigint_gmp and $digits > 100 | 
 
| 6174 | 0 | 0 | 0 | $primeq != -1 and $primeq != 0 | 
 
| 6177 | 1 | 0 | 0 | $n == 0 and $minn <= 1 | 
 
| 6213 | 5 | 0 | 0 | $primeq == 0 and &Math::Prime::Util::vecany(sub {
	is_prime($_);
}
, @a[0 .. $k]) | 
 
| 6214 | 5 | 0 | 0 | $primeq == 2 and &Math::Prime::Util::vecany(sub {
	not is_prime($_);
}
, @a[0 .. $k]) | 
 
| 6245 | 1 | 1 | 1 | $i >= 0 and $c[$i] >= $n - ($k - $i) | 
 
| 6281 | 1 | 2 | 1 | $j < $k and $c[$j] > $c[$j - 1] | 
 
| 6566 | 0 | 1 | 0 | defined $b and int $b < 0 | 
 
| 6578 | 0 | 1 | 0 | ref $n and $n->bacmp({sign => '+', value => [709551615, 446744073, 18]}) <= 0 | 
 
| 6584 | 0 | 1 | 0 | defined $b and int $b < 0 | 
 
| 6666 | 0 | 1 | 0 | ref $n and $n->bacmp({sign => '+', value => [709551615, 446744073, 18]}) <= 0 | 
 
| 6672 | 0 | 0 | 0 | defined $n and int $n < 0 | 
 
| 6682 | 0 | 0 | 0 | $r <= $n and 1 + urandomm($n) <= $r | 
| line | l | !l&&r | !l&&!r | condition | 
 
| 104 | 0 | 0 | 0 | defined $bignum::VERSION or ref($_[0]) =~ /^Math::Big/ | 
 
| 124 | 0 | 0 | 236 | $n eq '' or $n =~ tr[0-9][\000-/:-\377]c and not $n =~ /^\+\d+$/ | 
 
| 129 | 232 | 0 | 4 | $n < 18446744073709551615 or int $n eq '18446744073709551615' | 
 
| 141 | 0 | 0 | 727 | $n->sign ne '+' or not $n->is_int | 
 
| 150 | 0 | 2 | 15680 | $strn eq '' or $strn =~ tr[0-9][\000-/:-\377]c and not $strn =~ /^\+?\d+$/ | 
 
| 179 | 0 | 0 | 30 | $strn eq '' or $strn =~ tr[\-0-9][\000-,./:-\377]c and not $strn =~ /^[-+]?\d+$/ | 
 
| 312 | 37 | 22 | 9 | $n == 2 || $n == 3 || $n == 5 | 
 
| 433 | 536 | 0 | 0 | not defined $limit or $sqlimit < $limit | 
 
| 511 | 6 | 0 | 163 | $low > $high or $high < 2 | 
 
| 521 | 1 | 0 | 12 | ref $low eq 'Math::BigInt' or ref $high eq 'Math::BigInt' | 
 
|  | 1 | 0 | 12 | ref $low eq 'Math::BigInt' or ref $high eq 'Math::BigInt' or $low > 1000000000000 and $high - $low < int $low / 1000000 | 
 
| 565 | 0 | 0 | 0 | $depth < 3 or $_ % 3 | 
 
| 718 | 0 | 0 | 0 | $low > $high or $high < 2 | 
 
| 924 | 0 | 0 | 0 | $n < 1 or $n & 1 | 
 
| 987 | 0 | 3 | 0 | $hi > 1073741824 or $hi - $lo < 100 | 
 
| 1050 | 162 | 77 | 131 | $maxd <= 1 or ref $n ? $n->is_odd : $n & 1 | 
 
| 1051 | 131 | 0 | 0 | ref $n or $n < 18446744073709551615 | 
 
| 1053 | 0 | 1 | 130 | $n == 1 or $n < $maxd and &Math::Prime::Util::is_prime(2 * $n + 1) | 
 
| 1060 | 1 | 1 | 366 | $r == $p or _totpred($r, $d) | 
 
| 1154 | 0 | 0 | 0 | $k < 1 or $n < 1 | 
 
| 1157 | 0 | 0 | 0 | $m == 0 or $k == $g | 
 
| 1207 | 0 | 0 | 1 | $n < 561 or $n % 2 == 0 | 
 
| 1244 | 0 | 0 | 3 | $pe->[1] > 1 or ($n - 1) % ($pe->[0] - 1) != 0 | 
 
| 1292 | 0 | 0 | 0 | $k == 0 or $k >= $spf | 
 
| 1352 | 1 | 2 | 2 | not defined $k or _validate_num($k) | 
 
|  | 3 | 2 | 0 | not defined $k or _validate_num($k) or _validate_positive_integer($k) | 
 
| 1504 | 0 | 498 | 7929 | not defined $sref or $send >= length $$sref | 
 
| 1580 | 1 | 0 | 17 | ref $low eq 'Math::BigInt' or ref $high eq 'Math::BigInt' | 
 
|  | 1 | 1 | 16 | ref $low eq 'Math::BigInt' or ref $high eq 'Math::BigInt' or $high - $low < 10 | 
 
|  | 1 | 0 | 16 | ref $low eq 'Math::BigInt' or ref $high eq 'Math::BigInt' or $high - $low < 10 or $high - $low < int $low / 100000000000 | 
 
| 1666 | 0 | 1 | 0 | $n > 425656284035217743 or $n > 35184372088832 | 
 
| 1699 | 1 | 2 | 0 | $n > 425656284035217743 or $n > 35184372088832 | 
 
| 1721 | 0 | 0 | 0 | $n > 425656284035217743 or $n > 35184372088832 | 
 
| 1747 | 0 | 0 | 0 | $n > 425656284035217743 or $n > 35184372088832 | 
 
| 1779 | 0 | 0 | 1 | ref $n eq 'Math::BigInt' or $n >= 425656284035217743 | 
 
| 1855 | 0 | 1 | 4 | $Math::Prime::Util::_GMPfunc{'riemannr'} or not ref $x | 
 
| 1898 | 8 | 0 | 2 | ref $x eq 'Math::BigInt' or ref $_[0] eq 'Math::BigInt' | 
 
| 1915 | 7 | 0 | 2 | $x < 1.4e+25 or Math::Prime::Util::prime_get_config()->{'assume_rh'} | 
 
| 1963 | 8 | 0 | 2 | ref $x eq 'Math::BigInt' or ref $_[0] eq 'Math::BigInt' | 
 
| 1981 | 8 | 0 | 0 | $x < 5.5e+25 or Math::Prime::Util::prime_get_config()->{'assume_rh'} | 
 
| 2144 | 0 | 0 | 0 | ref $n or $n > 1.27e+16 | 
 
| 2283 | 0 | 0 | 0 | Math::Prime::Util::prime_get_config()->{'xs'} || ref $sum | 
 
| 2416 | 1 | 12 | 0 | $_ < 2147483647 && !ref($_) || ref $_ eq 'Math::BigInt' | 
 
| 2425 | 3 | 9 | 0 | $_ < 2147483647 && !ref($_) || ref $_ eq 'Math::BigInt' | 
 
| 2545 | 243 | 271 | 1558 | $sum > 18446744073709551365 or $sum < $neglim | 
 
| 2601 | 0 | 0 | 0 | not defined $base or $base == 10 | 
 
| 2617 | 0 | 0 | 4 | $n == 0 or $a == 0 | 
 
| 2622 | 0 | 0 | 0 | not defined $invmod or $invmod->is_nan | 
 
| 2653 | 0 | 0 | 1 | $n <= 2 or $a <= 1 | 
 
| 2766 | 0 | 0 | 0 | $Math::Prime::Util::GMP::VERSION >= 0.42 || $Math::Prime::Util::GMP::VERSION >= 0.28 && $n > 0 | 
 
| 2901 | 0 | 0 | 132 | $n < 2 or $k < 2 | 
 
| 3096 | 0 | 2 | 103 | $n < 0 or $n & 1 | 
 
| 3106 | 0 | 0 | 518 | $n == 0 or $m == 0 | 
 
|  | 0 | 0 | 518 | $n == 0 or $m == 0 or $m > $n | 
 
| 3108 | 48 | 465 | 5 | $type == 1 or $type == 2 | 
 
|  | 513 | 5 | 0 | $type == 1 or $type == 2 or $type == 3 | 
 
| 3177 | 0 | 0 | 21 | $sprec <= 23 and $n > 54 or $sprec <= 30 and $n > 348 | 
 
|  | 0 | 0 | 21 | $sprec <= 23 and $n > 54 or $sprec <= 30 and $n > 348 or $sprec <= 40 and $n > 2002 | 
 
|  | 0 | 0 | 21 | $sprec <= 23 and $n > 54 or $sprec <= 30 and $n > 348 or $sprec <= 40 and $n > 2002 or $sprec <= 50 and $n > 12644 | 
 
| 3256 | 0 | 0 | 0 | $nmod8 == 1 || $nmod8 == 7 | 
 
| 3257 | 0 | 0 | 0 | $nmod8 == 1 || $nmod8 == 3 || $nmod8 == 5 | 
 
| 3276 | 61 | 50 | 365 | $x->is_one or $x->bcmp($nm1) == 0 | 
 
| 3297 | 5 | 5 | 3196 | $x == 1 or $x == $nm1 | 
 
| 3305 | 0 | 38 | 19 | $x == 1 or $x == $nm1 | 
 
| 3335 | 0 | 0 | 718 | $base == 0 or $base == $n - 1 and $base % 2 == 1 | 
 
| 3357 | 45 | 45 | 104 | $x->is_one or $x->bcmp($nminus1) == 0 | 
 
| 3378 | 36 | 30 | 330 | $x == 1 or $x == $n - 1 | 
 
| 3389 | 6 | 105 | 6 | $x == 1 or $x == $n - 1 | 
 
| 3415 | 0 | 0 | 0 | $a % 8 == 3 || $a % 8 == 5 | 
 
| 3429 | 84 | 131 | 33 | $b % 8 == 3 || $b % 8 == 5 | 
 
| 3471 | 0 | 0 | 5234 | $k < 0 or $k > $n | 
 
| 3549 | 0 | 0 | 0 | $n >= $m or $m == 1 | 
 
| 3576 | 0 | 5 | 135 | $mc == 0 or $mc == 1 | 
 
|  | 5 | 0 | 135 | $mc == 0 or $mc == 1 or $mc == 4 | 
 
|  | 5 | 17 | 118 | $mc == 0 or $mc == 1 or $mc == 4 or $mc == 9 | 
 
|  | 17 | 0 | 118 | $mc == 0 or $mc == 1 or $mc == 4 or $mc == 9 or $mc == 16 | 
 
|  | 17 | 8 | 110 | $mc == 0 or $mc == 1 or $mc == 4 or $mc == 9 or $mc == 16 or $mc == 17 | 
 
|  | 8 | 18 | 92 | $mc == 0 or $mc == 1 or $mc == 4 or $mc == 9 or $mc == 16 or $mc == 17 or $mc == 25 | 
 
| 3583 | 0 | 0 | 72 | $mc == 0 or $mc == 1 | 
 
|  | 0 | 0 | 72 | $mc == 0 or $mc == 1 or $mc == 4 | 
 
|  | 0 | 0 | 72 | $mc == 0 or $mc == 1 or $mc == 4 or $mc == 9 | 
 
|  | 0 | 0 | 72 | $mc == 0 or $mc == 1 or $mc == 4 or $mc == 9 or $mc == 16 | 
 
|  | 0 | 4 | 68 | $mc == 0 or $mc == 1 or $mc == 4 or $mc == 9 or $mc == 16 or $mc == 17 | 
 
|  | 4 | 4 | 64 | $mc == 0 or $mc == 1 or $mc == 4 or $mc == 9 or $mc == 16 or $mc == 17 or $mc == 25 | 
 
| 3595 | 0 | 0 | 0 | $a < 0 or $a >= $n | 
 
| 3663 | 0 | 0 | 2 | not defined $limit or $limit > $p | 
 
| 3734 | 0 | 0 | 2 | $a == 1 or $g == 0 | 
 
|  | 0 | 0 | 2 | $a == 1 or $g == 0 or $p < 2 | 
 
| 4069 | 0 | 0 | 5 | $n % 2 == 0 or _is_perfect_square($n) | 
 
| 4083 | 0 | 0 | 6 | $n % 2 == 0 or _is_perfect_square($n) | 
 
| 4114 | 0 | 0 | 142 | $n % 2 == 0 or _is_perfect_square($n) | 
 
| 4133 | 12 | 56 | 0 | $V == {sign => '+', value => [2]} || $V == $n - {sign => '+', value => [2]} | 
 
| 4146 | 0 | 0 | 56 | $n % 2 == 0 or _is_perfect_square($n) | 
 
| 4172 | 6 | 14 | 36 | $V == 2 or $V == $n - $TWO | 
 
| 4197 | 0 | 0 | 0 | $k == 0 or $k == 2 and not $n % 3 | 
 
| 4225 | 0 | 0 | 0 | $a == 2 or $a == 4 | 
 
|  | 0 | 0 | 0 | $a == 2 or $a == 4 or $a == 7 | 
 
|  | 0 | 0 | 0 | $a == 2 or $a == 4 or $a == 7 or $a == 8 | 
 
|  | 0 | 0 | 0 | $a == 2 or $a == 4 or $a == 7 or $a == 8 or $a == 10 | 
 
|  | 0 | 0 | 0 | $a == 2 or $a == 4 or $a == 7 or $a == 8 or $a == 10 or $a == 14 | 
 
|  | 0 | 0 | 0 | $a == 2 or $a == 4 or $a == 7 or $a == 8 or $a == 10 or $a == 14 or $a == 16 | 
 
|  | 0 | 0 | 0 | $a == 2 or $a == 4 or $a == 7 or $a == 8 or $a == 10 or $a == 14 or $a == 16 or $a == 18 | 
 
| 4228 | 0 | 0 | 0 | $j == 0 or $a == 20 and _is_perfect_square($n) | 
 
| 4337 | 0 | 0 | 1 | $P >= $n or $Du >= $n | 
 
| 4347 | 0 | 0 | 1 | $n <= $Du or $n <= abs $Q | 
 
|  | 0 | 0 | 1 | $n <= $Du or $n <= abs $Q or $n <= abs $P | 
 
| 4472 | 1 | 2 | 7 | $n < 2 or is_power($n) | 
 
| 4578 | 0 | 1 | 98 | !defined($limit) || $limit > $_primes_small[-1] | 
 
| 4587 | 0 | 0 | 77 | not defined $limit or $limit > $newlim | 
 
| 4608 | 0 | 142 | 109 | not defined $limit or $limit > $newlim | 
 
| 4735 | 0 | 0 | 96 | $f == 1 or $f == $n | 
 
| 4812 | 0 | 0 | 1 | $f == 1 or $f == $n | 
 
| 4899 | 0 | 0 | 0 | $f == 1 or $f == $n | 
 
| 5018 | 2 | 2 | 0 | not $f->is_one or $pc_end >= $B1 | 
 
| 5071 | 2 | 0 | 0 | not $f->is_one or $pc_end >= $B2 | 
 
| 5102 | 0 | 0 | 2 | $mc == 0 or $mc == 1 | 
 
|  | 0 | 1 | 1 | $mc == 0 or $mc == 1 or $mc == 4 | 
 
|  | 1 | 0 | 1 | $mc == 0 or $mc == 1 or $mc == 4 or $mc == 9 | 
 
|  | 1 | 1 | 0 | $mc == 0 or $mc == 1 or $mc == 4 or $mc == 9 or $mc == 16 | 
 
|  | 1 | 0 | 0 | $mc == 0 or $mc == 1 or $mc == 4 or $mc == 9 or $mc == 16 or $mc == 17 | 
 
|  | 1 | 0 | 0 | $mc == 0 or $mc == 1 or $mc == 4 or $mc == 9 or $mc == 16 or $mc == 17 or $mc == 25 | 
 
| 5115 | 0 | 0 | 3 | $mc == 0 or $mc == 1 | 
 
|  | 0 | 0 | 3 | $mc == 0 or $mc == 1 or $mc == 4 | 
 
|  | 0 | 0 | 3 | $mc == 0 or $mc == 1 or $mc == 4 or $mc == 9 | 
 
|  | 0 | 1 | 2 | $mc == 0 or $mc == 1 or $mc == 4 or $mc == 9 or $mc == 16 | 
 
|  | 1 | 0 | 2 | $mc == 0 or $mc == 1 or $mc == 4 or $mc == 9 or $mc == 16 or $mc == 17 | 
 
|  | 1 | 0 | 2 | $mc == 0 or $mc == 1 or $mc == 4 or $mc == 9 or $mc == 16 or $mc == 17 or $mc == 25 | 
 
| 5141 | 0 | 0 | 1 | $mc == 0 or $mc == 1 | 
 
|  | 0 | 1 | 0 | $mc == 0 or $mc == 1 or $mc == 4 | 
 
|  | 1 | 0 | 0 | $mc == 0 or $mc == 1 or $mc == 4 or $mc == 9 | 
 
|  | 1 | 0 | 0 | $mc == 0 or $mc == 1 or $mc == 4 or $mc == 9 or $mc == 16 | 
 
|  | 0 | 0 | 0 | $mc == 0 or $mc == 1 or $mc == 4 or $mc == 9 or $mc == 16 or $mc == 17 | 
 
|  | 0 | 0 | 0 | $mc == 0 or $mc == 1 or $mc == 4 or $mc == 9 or $mc == 16 or $mc == 17 or $mc == 25 | 
 
| 5159 | 0 | 0 | 2 | $mc == 0 or $mc == 1 | 
 
|  | 0 | 0 | 2 | $mc == 0 or $mc == 1 or $mc == 4 | 
 
|  | 0 | 0 | 2 | $mc == 0 or $mc == 1 or $mc == 4 or $mc == 9 | 
 
|  | 0 | 0 | 2 | $mc == 0 or $mc == 1 or $mc == 4 or $mc == 9 or $mc == 16 | 
 
|  | 0 | 1 | 1 | $mc == 0 or $mc == 1 or $mc == 4 or $mc == 9 or $mc == 16 or $mc == 17 | 
 
|  | 1 | 0 | 1 | $mc == 0 or $mc == 1 or $mc == 4 or $mc == 9 or $mc == 16 or $mc == 17 or $mc == 25 | 
 
| 5344 | 26 | 931 | 3324 | $i > $m + $m or is_prime($m + $m - $i) | 
 
| 5435 | 0 | 0 | 0 | $n < 0 or $n % 4 == 1 | 
 
|  | 0 | 0 | 0 | $n < 0 or $n % 4 == 1 or $n % 4 == 2 | 
 
| 5538 | 4 | 0 | 0 | $n < 100000 or not Math::Prime::Util::prime_get_config()->{'xs'} | 
 
| 5843 | 0 | 4 | 156 | defined $bignum::VERSION or ref($x) =~ /^Math::Big/ | 
 
| 5939 | 0 | 0 | 10 | defined $bignum::VERSION or ref($x) =~ /^Math::Big/ | 
 
| 6084 | 1 | 0 | 971 | not $have_xdigits or $have_bigint_gmp and $digits > 100 | 
 
| 6178 | 0 | 0 | 1 | $n < $minn or $minn > $maxn | 
 
|  | 0 | 0 | 1 | $n < $minn or $minn > $maxn or $mina > $maxa | 
 
|  | 0 | 0 | 1 | $n < $minn or $minn > $maxn or $mina > $maxa or $maxn <= 0 | 
 
|  | 0 | 0 | 1 | $n < $minn or $minn > $maxn or $mina > $maxa or $maxn <= 0 or $maxa <= 0 | 
 
| 6205 | 0 | 0 | 5 | $mina > 1 or $maxa < $n | 
 
| 6350 | 0 | 0 | 0 | $k < 0 or int $k / $f >= $n | 
 
| 6373 | 0 | 0 | 26 | not defined $v or $v < 0 | 
 
|  | 0 | 0 | 26 | not defined $v or $v < 0 or $v >= $n | 
 
|  | 0 | 0 | 26 | not defined $v or $v < 0 or $v >= $n or $S{$v}++ | 
 
| 6395 | 0 | 0 | 0 | not defined $k or $k > $n | 
 
| 6575 | 0 | 0 | 1 | $n < $min or $n > $max |