nonpure: 109 closure equations in 74 unknowns; after elimination with constant pivots: 0 equations remain, 44 unknowns solved
    free unknowns: 30
PASS nonpure: all closure equations solved by constant pivots: the family is an affine space  [0.4s]
pure: 182 closure equations in 120 unknowns; after elimination with constant pivots: 2 equations remain, 76 unknowns solved
    remaining (normalized to leading coefficient 1): (-1/3) * a17 * (-3*a13*a14 + 5*b5)
    remaining (normalized to leading coefficient 1): (1/15) * a17 * (15*p27*a13 + 10*p26*a14 - 42*a14*a18 - 21*a13*a19 - 10*q14 + 35*b8)
    remaining ideal in 10 variables: 2 minimal primes
      prime generators: [a17]  dim in these variables 9
      prime generators: [42*a14^2*a18 - 10*a14^2*p26 + 35*a19*b5 - 35*a14*b8 - 25*b5*p27 + 10*a14*q14, 42*a14*a18 + 21*a13*a19 - 10*a14*p26 - 15*a13*p27 - 35*b8 + 10*q14, 3*a13*a14 - 5*b5]  dim in these variables 8
PASS pure: the minimal prime [a17] is solved by constant pivots (1 unknowns): a graph over an affine space  [3.3s]
PASS pure: the minimal prime [42*a14^2*a18 - 10*a14^2*p26 + 35*a19*b5 - 35*a14*b8 - 25*b5 is solved by constant pivots (2 unknowns): a graph over an affine space  [3.3s]
PASS pure: a17 is the coefficient of X^2Y^3 in the quintic tail A5 of T; anchor A (a17 = 2/21) lies on the second component, anchor B (a17 = 0) on the first  [3.3s]
PASS nonpure anchor F* = X^6Y + 2X^3Y^3 + 2X^2Y^3 + 3/50 Y^5: H = 13632221  [3.9s]
PASS nonpure anchor: f, g, h annihilate M  [3.9s]
PASS nonpure anchor: local length 38 at N = 12  [4.0s]
PASS pure anchor A: H = 13632221  [4.2s]
PASS pure anchor A: the CI generators annihilate M  [4.2s]
PASS pure anchor A: local length 36 at N = 11  [4.3s]
PASS pure anchor B: H = 13632221  [4.5s]
PASS pure anchor B: the CI generators annihilate M  [4.5s]
PASS pure anchor B: local length 39 at N = 12  [4.5s]
mode all, total time 4.5 s
ALL CHECKS PASSED
