(U1) bound
  [ok] 27 + 5*2 + 2 = 39 < 42
(S1) members of U_0 and U_1
    U0 sample 0: H ok, cubic base length at [X] = 2, local length of random triples = 33
  [ok] U0 sample 0: base length 2 at [X] and a triple of local length <= 39
    U1 sample 1: H ok, cubic base length at [X] = 2, local length of random triples = 34
  [ok] U1 sample 1: base length 2 at [X] and a triple of local length <= 39
    U0 sample 2: H ok, cubic base length at [X] = 2, local length of random triples = 33
  [ok] U0 sample 2: base length 2 at [X] and a triple of local length <= 39
    U1 sample 3: H ok, cubic base length at [X] = 2, local length of random triples = 34
  [ok] U1 sample 3: base length 2 at [X] and a triple of local length <= 39
    U0 sample 4: H ok, cubic base length at [X] = 2, local length of random triples = 33
  [ok] U0 sample 4: base length 2 at [X] and a triple of local length <= 39
    U1 sample 5: H ok, cubic base length at [X] = 2, local length of random triples = 34
  [ok] U1 sample 5: base length 2 at [X] and a triple of local length <= 39
    U0 sample 6: H ok, cubic base length at [X] = 2, local length of random triples = 33
  [ok] U0 sample 6: base length 2 at [X] and a triple of local length <= 39
    U1 sample 7: H ok, cubic base length at [X] = 2, local length of random triples = 34
  [ok] U1 sample 7: base length 2 at [X] and a triple of local length <= 39
    accepted: {'U0': 4, 'U1': 4}
  [ok] U_0 and U_1 each have >= 2 accepted samples (so the general member of each family is good: (U2))
(U2) explicit sparse members of U_0 and U_1 with cubic base scheme of length 2 at [X] (so the bad set is a proper closed subset)
    U0: Phi = X^8 + X^4*Y^2, D_3 = E_0 + [Y^3, Z^3]: H = [1, 3, 6, 4, 2, 2, 1, 1, 1], cubic base length at [X] = 2
  [ok] U0 explicit member: H = (1,3,6,4,2,2,1,1,1) and base length 2 at [X]
    U1: Phi = X^8 + X^4*Y^2 + Y^5, D_3 = E_0 + [Y^3, Z^3]: H = [1, 3, 6, 4, 2, 2, 1, 1, 1], cubic base length at [X] = 2
  [ok] U1 explicit member: H = (1,3,6,4,2,2,1,1,1) and base length 2 at [X]
(S2) straight rays
    ray sample 0 (secant): X^5 in M and x^5y, x^5z in Ann(M): True
  [ok] ray sample 0
    ray sample 1 (tangent, delta = 0): X^5 in M and x^5y, x^5z in Ann(M): True
  [ok] ray sample 1
    ray sample 2 (secant): X^5 in M and x^5y, x^5z in Ann(M): True
  [ok] ray sample 2
    ray sample 3 (tangent, delta = 0): X^5 in M and x^5y, x^5z in Ann(M): True
  [ok] ray sample 3
    ray sample 4 (secant): X^5 in M and x^5y, x^5z in Ann(M): True
  [ok] ray sample 4
    ray sample 5 (tangent, delta = 0): X^5 in M and x^5y, x^5z in Ann(M): True
  [ok] ray sample 5
  [ok] >= 3 accepted ray samples
19 checks, 0 failed
ALL CHECKS PASSED
