proof_run2: all n = 1 mod 4 with 5 <= n <= 100001: 25000 values
  case counts (first applicable case): a=15378 b=9580 c=42
  Lemma 3.2 executed for all 24843 non-squares; largest Dirichlet prime l = 21469783 (n = 89693)
  longest Dirichlet search: 66 steps (n = 49613)
  all matrices: det(V-V^T)=1, |det(V+V^T)|=n, signature 4 (exact inertia for n <= 20001 and case c)
  ALL CHECKS PASSED   (1.1 s)
