Part A: quintic tails
  ok   dim S5 = 8 (expected 8: A5 in <X^5, X^4Y, X^4Z, X^3Y^2>, K5 with four more coefficients)
Part B: dim Sol(D) on the bad flags and on random flags
  ok   F2, P = Z (orbit of dim 2): dim Sol(D) = 12, dim orbit + dim Sol(D) = 14 <= 17
  ok   F2, P = Y (orbit of dim 1): dim Sol(D) = 12, dim orbit + dim Sol(D) = 13 <= 17
  ok   F3, V = Z (orbit of dim 1): dim Sol(D) = 12, dim orbit + dim Sol(D) = 13 <= 17
  ok   F3, V = Y (orbit of dim 0): dim Sol(D) = 13, dim orbit + dim Sol(D) = 13 <= 17
  ok   F4, D = C[X,Y]_3 (dim 0): dim Sol(D) = 12, dim orbit + dim Sol(D) = 12 <= 17
  ok   random flags D containing E0: dim Sol(D) = [8, 8, 8, 8, 8, 8] (generic value 8)
  ok   G0 preserves nu_k(Gamma_0) (k = 3..6) and X^2 T_1 (random elements)
Part C: closedness criterion and Hilbert function on random members (all tails random)
   F2, P = Z (orbit of dim 2): closed = True, H = [1, 3, 6, 4, 2, 2, 2]; negative control, perturbed quartic tail X Y Z^2: closed = False
   F2, P = Z (orbit of dim 2): closed = True, H = [1, 3, 6, 4, 2, 2, 2]; negative control, perturbed quartic tail X Y Z^2: closed = False
   F2, P = Y (orbit of dim 1): closed = True, H = [1, 3, 6, 4, 2, 2, 2]; negative control, perturbed quartic tail X Y Z^2: closed = False
   F2, P = Y (orbit of dim 1): closed = True, H = [1, 3, 6, 4, 2, 2, 2]; negative control, perturbed quartic tail X Y Z^2: closed = False
   F3, V = Z (orbit of dim 1): closed = True, H = [1, 3, 6, 4, 2, 2, 2]; negative control, perturbed quartic tail X Y Z^2: closed = False
   F3, V = Z (orbit of dim 1): closed = True, H = [1, 3, 6, 4, 2, 2, 2]; negative control, perturbed quartic tail X Y Z^2: closed = False
   F3, V = Y (orbit of dim 0): closed = True, H = [1, 3, 6, 4, 2, 2, 2]; negative control, perturbed quartic tail X Y Z^2: closed = False
   F3, V = Y (orbit of dim 0): closed = True, H = [1, 3, 6, 4, 2, 2, 2]; negative control, perturbed quartic tail X Y Z^2: closed = False
   F4, D = C[X,Y]_3 (dim 0): closed = True, H = [1, 3, 6, 4, 2, 2, 2]; negative control, perturbed quartic tail X Y Z^2: closed = False
   F4, D = C[X,Y]_3 (dim 0): closed = True, H = [1, 3, 6, 4, 2, 2, 2]; negative control, perturbed quartic tail X Y Z^2: closed = False
   random flag: closed = True, H = [1, 3, 6, 4, 2, 2, 2]; negative control, perturbed quartic tail X Y Z^2: closed = False
   random flag: closed = True, H = [1, 3, 6, 4, 2, 2, 2]; negative control, perturbed quartic tail X Y Z^2: closed = False
   members accepted per flag type: {'F2, P = Z (orbit of dim 2)': 2, 'F2, P = Y (orbit of dim 1)': 2, 'F3, V = Z (orbit of dim 1)': 2, 'F3, V = Y (orbit of dim 0)': 2, 'F4, D = C[X,Y]_3 (dim 0)': 2, 'random flag': 2}
  ok   every tested solution of the affine conditions gives a closed space with H = (1,3,6,4,2,2,2), the perturbed tail does not (at least one member per flag type)
total time 8.5 s
ALL CHECKS PASSED
