== B2T (F = X^5Y)
  [ok] (P1) B2T (F = X^5Y) q <= 1: one minimal prime over Q, of dimension 3 (found 1, dims [3])
  [ok] (P1) B2T (F = X^5Y) q <= 1: parametrization has generic rank 3 = dim; its rational point lies in V(I) and the Jacobian of I there has rank 10 = 13 - 3 (smooth Q-point)
  [ok] (P2) B2T (F = X^5Y) q <= 2 and r_Z <= 1: one minimal prime over Q, of dimension 5 (found 1, dims [5])
  [ok] (P2) B2T (F = X^5Y) q <= 2 and r_Z <= 1: parametrization has generic rank 5 = dim; its rational point lies in V(I) and the Jacobian of I there has rank 8 = 13 - 5 (smooth Q-point)
  [ok] (V) B2T (F = X^5Y) q <= 2: v o E_0 in P_0 and v o : T_4/E_0 -> T_3/P_0 has rank 8 for all v != 0 (radical of 8x8 minors = (a,b,c)): vector bundle of rank 5 over P^2
== B2S (F = X^6 + Y^6)
  [ok] (P1) B2S (F = X^6 + Y^6) q <= 1: one minimal prime over Q, of dimension 3 (found 1, dims [3])
  [ok] (P1) B2S (F = X^6 + Y^6) q <= 1: parametrization has generic rank 3 = dim; its rational point lies in V(I) and the Jacobian of I there has rank 10 = 13 - 3 (smooth Q-point)
  [ok] (P2) B2S (F = X^6 + Y^6) q <= 2 and r_Z <= 1: one minimal prime over Q, of dimension 5 (found 1, dims [5])
  [ok] (P2) B2S (F = X^6 + Y^6) q <= 2 and r_Z <= 1: parametrization has generic rank 5 = dim; its rational point lies in V(I) and the Jacobian of I there has rank 8 = 13 - 5 (smooth Q-point)
  [ok] (V) B2S (F = X^6 + Y^6) q <= 2: v o E_0 in P_0 and v o : T_4/E_0 -> T_3/P_0 has rank 8 for all v != 0 (radical of 8x8 minors = (a,b,c)): vector bundle of rank 5 over P^2
10 checks, 0 failed
ALL CHECKS PASSED
