(U1) the rank <= 1 locus of the image of (A, P_4) -> (h3, h4) mod P(R)
  [ok] (U1) R = Z^4: q = 1, dim L = 10, rank <= 1 locus irreducible (1 minimal prime, dimension [4])
  [ok] (U1) R = Y^4: q = 1, dim L = 10, rank <= 1 locus irreducible (1 minimal prime, dimension [4])
  [ok] (U1) R = X^2Y^2: q = 1, dim L = 10, rank <= 1 locus irreducible (1 minimal prime, dimension [4])
  [ok] (U1) R = X^3Z: q = 1, dim L = 11, rank <= 1 locus irreducible (1 minimal prime, dimension [5])
(A2) members and certificates
  [ok] (A2) R = Z^4, piece alpha: active member closed with H and D_3 = N_3; S6.2 triple of local length 35 <= 41
  [ok] (A2) R = Z^4, piece beta: active member closed with H and D_3 = N_3; S6.2 triple of local length 35 <= 41
  [ok] (A2) R = Y^4, piece alpha: active member closed with H and D_3 = N_3; S6.2 triple of local length 35 <= 41
  [ok] (A2) R = Y^4, piece beta: active member closed with H and D_3 = N_3; S6.2 triple of local length 35 <= 41
  [ok] (A2) R = X^2Y^2, piece alpha: active member closed with H and D_3 = N_3; S6.2 triple of local length 36 <= 41
  [ok] (A2) R = X^2Y^2, piece beta: active member closed with H and D_3 = N_3; S6.2 triple of local length 36 <= 41
  [ok] (A2) R = X^3Z, piece alpha: active member closed with H and D_3 = N_3; S6.2 triple of local length 39 <= 41
  [ok] (A2) R = X^3Z, piece beta: active member closed with H and D_3 = N_3; S6.2 triple of local length 39 <= 41
12 checks, 0 failed
ALL CHECKS PASSED
