  ok   (S) finite base: S_1 o D_5 in D_4: True; I*_3 of dim 6; base scheme of degree 4, dimension 1   [0.2s]
  ok   (S) finite base: a random algebra over these data: closed, H = [1, 3, 6, 4, 4, 3]   [0.8s]
  ok   (S) random net: dim S_1 o D_5 = 5 > 4: not a valid datum (skipped as expected for a random net)   [0.8s]
  ok   (S) nu_5 of 3 points <Y^5, Z^5, (Y+Z)^5>: dim K = 2, delta = 3; three random elements of N, 3 tries: local lengths [39, 40, 39]; accepted 3 (closed, H = [1, 3, 6, 4, 4, 3], f in Ann(M), <= 41); minimum 39 <= 36 + delta = 39 (so e(N) <= 39)   [47.7s]
  ok   (S) <Y^5, Y^4Z, Y^3Z^2>: dim K = 2, delta = 3; three random elements of N, 3 tries: local lengths [39, 39, 39]; accepted 3 (closed, H = [1, 3, 6, 4, 4, 3], f in Ann(M), <= 41); minimum 39 <= 36 + delta = 39 (so e(N) <= 39)   [78.7s]
  ok   (S) <Y^5, Z^5, Y^3Z^2>: dim K = 1, delta = 4; three random elements of N, 3 tries: local lengths [40, 40, 40]; accepted 3 (closed, H = [1, 3, 6, 4, 4, 3], f in Ann(M), <= 41); minimum 40 <= 36 + delta = 40 (so e(N) <= 40)   [102.0s]
6 checks, total time 102.0 s
ALL CHECKS PASSED
