(C) counts
  ok   (U) dim Gr(7,10) x Gr(4,15) = 65, rank 36, components >= 29   [0.0s]
  ok   (U) Macaulay 3^<2> = 4, so dim S_1 V >= 10 - 4 = 6   [0.0s]
  ok   (U) strata W = lV by dim S_1 V: {9: 19, 8: 23, 7: 27, 6: 24}; W = q S_1: 25; all < 29   [0.0s]
(G) Gotzmann for dim S_1 V = 6
  ok   (S) V = l' S_1: dim S_1 V = 6; random V: 9   [0.0s]
(P) global linkage at a random member
  ok   (S) dim D_4' = 6; closed True, H = [1, 3, 6, 7, 4], f in Ann(M) True, local length 27 <= 36 (here the three cubic parts have no common zero)   [0.4s]
5 checks, total time 0.4 s
ALL CHECKS PASSED
