p = 1000003, eps -> 499501
(1) cluster Z: rank of the conditions modulo p
   t = 9: 60 conditions, rank 52
   t = 10: 60 conditions, rank 57
   t = 11: 60 conditions, rank 60
   t = 12: 60 conditions, rank 60
   t = 13: 60 conditions, rank 60
(2) forms with div(pi^*F) >= 3Z: dimension modulo p
   t = 20: 396 conditions, dim R_t = 231, kernel dimension 0
   t = 21: 396 conditions, dim R_t = 253, kernel dimension 0
   t = 22: 396 conditions, dim R_t = 276, kernel dimension 0
   t = 23: 396 conditions, dim R_t = 300, kernel dimension 0
   t = 24: 396 conditions, dim R_t = 325, kernel dimension 1
   Phi satisfies the 3Z conditions modulo p: True
(3) dim I_12 modulo p = 31 (exact: 31)
   products of a basis of I_12: 496; dim of their span modulo p = 133
   forms of degree 24 with div >= 2Z: 192 conditions, kernel dimension modulo p = 133
   span of products is contained in that kernel modulo p: True
   equal dimensions (so (I^2)_24 = I(2Z)_24 in characteristic 0): True
   Phi in the span of the products modulo p: True
(4) negative control: J = ideal of the 12 vertices (reduced), f = product of the 9 lines
   alpha(J) modulo p = 4; dims J_t (t=4..9): [3, 9, 16, 24, 33, 43]
   dim (J^2)_9 modulo p = 18; f in it: False (expected False)
running time 0.6 s
