proof_run2: all n = 1 mod 4 with 5 <= n <= 1000001: 250000 values
  case counts (first applicable case): a=162118 b=87760 c=122
  Lemma 3.2 executed for all 249501 non-squares; largest Dirichlet prime l = 287024779 (n = 889681)
  longest Dirichlet search: 80 steps (n = 889681)
  all matrices: det(V-V^T)=1, |det(V+V^T)|=n, signature 4 (exact inertia for n <= 1000001 and case c)
  ALL CHECKS PASSED   (18.6 s)
