(U1) A-space and q
  [ok] (U1) l = 17/5: A-space = <A_R, X^3Y^2, X^4Z, X^4Y, X^5>, y o A_R = 5R, q = 2
  [ok] (U1) l = 0: A-space = <A_R, X^3Y^2, X^4Z, X^4Y, X^5>, y o A_R = 5R, q = 2
  [ok] (U1) l = 1: A-space = <A_R, X^3Y^2, X^4Z, X^4Y, X^5>, y o A_R = 5R, q = 2
  [ok] (U1) l = -2: A-space = <A_R, X^3Y^2, X^4Z, X^4Y, X^5>, y o A_R = 5R, q = 2
  [ok] (U1) l = 3/8: A-space = <A_R, X^3Y^2, X^4Z, X^4Y, X^5>, y o A_R = 5R, q = 1
  [ok] (U1) l = 5: A-space = <A_R, X^3Y^2, X^4Z, X^4Y, X^5>, y o A_R = 5R, q = 2
(U2) the rank <= 1 locus over the l-line (q = 2)
  [ok] (U2) P(l)^perp has a basis polynomial in l whose 6x6 minors have gcd 1 (a basis for every l with q = 2)
  [ok] (U2) {(l, P_4) : rank((P_4)_Y, (P_4)_Z) mod P(l) <= 1} has one minimal prime (dimension [11]), containing no polynomial in l alone
  [ok] (U2) the linear map P_4 -> ((P_4)_Y, (P_4)_Z) mod P(l) has rank 9 over QQ(l); a nonsingular 9x9 minor has determinant 663552; rank < 9 only at []
  [ok] (U2) shift for A_R at l = 17/5: (x^2 o A/30, 0) = (p_Y, p_Z) modulo P(l)
  [ok] (U2) shift for A_R at l = 1: (x^2 o A/30, 0) = (p_Y, p_Z) modulo P(l)
  [ok] (U2) shift for A_R at l = -2: (x^2 o A/30, 0) = (p_Y, p_Z) modulo P(l)
  [ok] (U2) shift for X^3Y^2 at l = 17/5: (x^2 o A/30, 0) = (p_Y, p_Z) modulo P(l)
  [ok] (U2) shift for X^3Y^2 at l = 1: (x^2 o A/30, 0) = (p_Y, p_Z) modulo P(l)
  [ok] (U2) shift for X^3Y^2 at l = -2: (x^2 o A/30, 0) = (p_Y, p_Z) modulo P(l)
  [ok] (U2) shift for X^4Z at l = 17/5: (x^2 o A/30, 0) = (p_Y, p_Z) modulo P(l)
  [ok] (U2) shift for X^4Z at l = 1: (x^2 o A/30, 0) = (p_Y, p_Z) modulo P(l)
  [ok] (U2) shift for X^4Z at l = -2: (x^2 o A/30, 0) = (p_Y, p_Z) modulo P(l)
(U3) l = 3/8 (q = 1): the rank <= 1 locus of L
  [ok] (U3) l = 3/8: q = 1, dim L = 10, rank <= 1 locus irreducible (1 minimal prime)
(A4) certificates
  [ok] (A4) l = 17/5, piece alpha2: active member closed with H and D_3 = N_3; S6.2 triple of local length 40 <= 41
  [ok] (A4) l = 17/5, piece beta2: active member closed with H and D_3 = N_3; S6.2 triple of local length 40 <= 41
  [ok] (A4) l = 3/8, piece alpha: active member closed with H and D_3 = N_3; S6.2 triple of local length 35 <= 41
  [ok] (A4) l = 3/8, piece beta: active member closed with H and D_3 = N_3; S6.2 triple of local length 35 <= 41
23 checks, 0 failed
ALL CHECKS PASSED
