Exact multiplicity of the Wilson supercongruence in F_q[t]: verification
  ok  F_9 = F_3[a]/(a**2 - a - 1): field tables consistent                           [   0.0 s]
  ok  F_2 = product of the nonzero polynomials of degree < 2 over F_3                [   0.0 s]
  ok  F_3 = product of the nonzero polynomials of degree < 3 over F_3                [   0.0 s]
  ok  q=3, d=2: all 3 irreducible P: m_direct = formula = 1 + v_P(num H); values {1: 3} [   0.0 s]
  ok  q=3, d=3: all 8 irreducible P: m_direct = formula = 1 + v_P(num H); values {1: 6, 2: 2} [   0.0 s]
  ok  q=3, d=4: all 18 irreducible P: m_direct = formula = 1 + v_P(num H); values {1: 12, 2: 6} [   0.0 s]
  ok  q=3, d=5: all 48 irreducible P: m_direct = formula = 1 + v_P(num H); values {1: 48} [   0.1 s]
  ok  q=3, d=6: all 116 irreducible P: m_direct = formula = 1 + v_P(num H); values {1: 101, 2: 15} [   0.3 s]
  ok  q=3, d=7: all 312 irreducible P: m_direct = formula = 1 + v_P(num H); values {1: 288, 2: 24} [   1.5 s]
  ok  q=5, d=2: all 10 irreducible P: m_direct = formula = 1 + v_P(num H); values {1: 10} [   1.5 s]
  ok  q=5, d=3: all 40 irreducible P: m_direct = formula = 1 + v_P(num H); values {1: 40} [   1.5 s]
  ok  q=5, d=4: all 150 irreducible P: m_direct = formula = 1 + v_P(num H); values {1: 150} [   1.6 s]
  ok  q=9, d=2: all 36 irreducible P: m_direct = formula = 1 + v_P(num H); values {1: 36} [   1.6 s]
  ok  q=9, d=3: all 240 irreducible P: m_direct = formula = 1 + v_P(num H); values {1: 216, 2: 24} [   1.7 s]
  ok  q=3, d=3: irreducible, depth 1, formula m=2, direct v_P(F_d+1) = 2, v_P(num H) = 1 [   1.7 s]
  ok  q=3, d=18: irreducible, depth 2, formula m=4, direct v_P(F_d+1) = 4, v_P(num H) = 3 [   1.9 s]
  ok  q=5, d=5: irreducible, depth 1, formula m=4, direct v_P(F_d+1) = 4, v_P(num H) = 3 [   1.9 s]
  ok  q=5, d=51: irreducible, depth 2, formula m=6                                   [   2.0 s]
  ok  q=9, d=3: irreducible, depth 1, formula m=2, direct v_P(F_d+1) = 2, v_P(num H) = 1 [   2.0 s]
  ok  q=9, d=10: irreducible, depth 2, formula m=8, direct v_P(F_d+1) = 8, v_P(num H) = 7 [   2.1 s]
  ok  q=9, d=54: irreducible, depth 3, formula m=10                                  [   2.2 s]
  ok  q=3, d=3: Taylor coefficients: first nonzero at k=2; f_k = -h_k for k<q; Hasse pattern [   2.2 s]
  ok  q=3, d=18: Taylor coefficients: first nonzero at k=4; f_k = -h_k for k<q; Hasse pattern; f_q = 0, f_{q+1} = beta_1**-2 [   2.2 s]
  ok  q=5, d=5: Taylor coefficients: first nonzero at k=4; f_k = -h_k for k<q; Hasse pattern [   2.2 s]
  ok  q=5, d=51: Taylor coefficients: first nonzero at k=6; f_k = -h_k for k<q; Hasse pattern; f_q = 0, f_{q+1} = beta_1**-2 [   7.0 s]
  ok  q=9, d=3: Taylor coefficients: first nonzero at k=2; f_k = -h_k for k<q; Hasse pattern [   7.0 s]
  ok  q=9, d=10: Taylor coefficients: first nonzero at k=8; f_k = -h_k for k<q; Hasse pattern [   7.0 s]
  ok  q=9, d=54: Taylor coefficients: first nonzero at k=10; f_k = -h_k for k<q; Hasse pattern; f_q = 0, f_{q+1} = beta_1**-2 [  16.6 s]
ALL CHECKS PASSED