(C) counts
  ok   (U) dim Gr(8,10) x Gr(3,15) = 52, rank 18, components >= 34   [0.0s]
  ok   (U) strata: coprime 34, l<a,b> 28, q<l1,l2> 28   [0.0s]
(L) dim S_1 W at random members
  ok   (S) dim S_1 W: coprime 6, l<a,b> 6, q<l1,l2> 5   [0.1s]
(B) anchor
  ok   (A) M_0 closed, H = [1, 3, 6, 8, 3], J in Ann(M_0), local length 36 (stable at N = 8, 9), ds 36, residual 15   [0.4s]
4 checks, total time 0.4 s
ALL CHECKS PASSED
