  ok   (U) Macaulay 4^<3> = 5 = H(4)   [0.0s]
  ok   (S) random pencil: 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, 5, 2], f in Ann(M), <= 41); minimum 40 <= 36 + delta = 40 (so e(N) <= 40)   [109.2s]
  ok   (S) random pencil 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, 5, 2], f in Ann(M), <= 41); minimum 40 <= 36 + delta = 40 (so e(N) <= 40)   [140.5s]
  ok   (S) <Y^5, Z^5>: dim K = 3, delta = 2; three random elements of N, 3 tries: local lengths [38, 38, 38]; accepted 3 (closed, H = [1, 3, 6, 4, 5, 2], f in Ann(M), <= 41); minimum 38 <= 36 + delta = 38 (so e(N) <= 38)   [176.7s]
  ok   (S) <Y^5, Y^4Z>: dim K = 3, delta = 2; three random elements of N, 3 tries: local lengths [38, 38, 38]; accepted 3 (closed, H = [1, 3, 6, 4, 5, 2], f in Ann(M), <= 41); minimum 38 <= 36 + delta = 38 (so e(N) <= 38)   [210.2s]
  ok   (S) <Y^5, 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, 5, 2], f in Ann(M), <= 41); minimum 39 <= 36 + delta = 39 (so e(N) <= 39)   [240.2s]
  ok   (S) <Y^4Z, YZ^4>: 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, 5, 2], f in Ann(M), <= 41); minimum 40 <= 36 + delta = 40 (so e(N) <= 40)   [264.0s]
7 checks, total time 264.0 s
ALL CHECKS PASSED
