rankconstraintsalpha8 = bb7[3] == 0 && bb7[2] == 10*bb8[1] && 
     bb7[1] == -20*bb8[1] && bb6[7] == -bb6[8] - 6*bb7[4] + 25*bb8[1] && 
     bb6[6] == 0 && bb6[4] == bb6[5] - bb6[8]/4 + 2*bb7[4] + 
       (205*bb8[1])/4 && bb6[3] == bb6[8]/2 - 4*bb7[4] - (305*bb8[1])/2 && 
     bb6[2] == -bb6[8]/4 + 2*bb7[4] + (545*bb8[1])/4 && 
     bb6[1] == 560*bb8[1] && bb5[19] == -bb5[20] - 3*bb6[9] + 9*bb7[4] - 
       10*bb8[1] && bb5[18] == 0 && bb5[16] == bb5[17] - bb5[20]/4 + 
       6*bb6[8] + (3*bb6[9])/2 - (79*bb7[4])/4 - 65*bb8[1] && 
     bb5[15] == bb5[20]/2 - 15*bb6[8] - 3*bb6[9] + (87*bb7[4])/2 + 
       205*bb8[1] && bb5[14] == -bb5[20]/4 + 9*bb6[8] + (3*bb6[9])/2 - 
       (51*bb7[4])/4 - 230*bb8[1] && bb5[13] == 42*bb6[8] - 84*bb7[4] - 
       1050*bb8[1] && bb5[12] == 0 && bb5[11] == 6*bb6[5] - (3*bb6[8])/2 + 
       12*bb7[4] + (295*bb8[1])/2 && bb5[10] == 6*bb6[5] && bb5[9] == 0 && 
     bb5[8] == 0 && bb5[7] == 0 && bb5[6] == -9*bb6[5] && 
     bb5[5] == -9*bb6[5] + (21*bb6[8])/4 - 42*bb7[4] - (2245*bb8[1])/4 && 
     bb5[4] == -6*bb6[8] + 48*bb7[4] + 750*bb8[1] && 
     bb5[3] == -21*bb6[8] + 168*bb7[4] + 3045*bb8[1] && 
     bb5[2] == (9*bb6[8])/4 - 18*bb7[4] - (1545*bb8[1])/4 && 
     bb5[1] == -1680*bb8[1] && bb4[22] == -bb4[23]/2 + bb5[20]/2 - bb6[8] + 
       (3*bb6[9])/2 - (21*bb7[4])/2 + 50*bb8[1] && 
     bb4[21] == -3*bb4[23] - (3*bb4[24])/2 - 3*bb5[20] - (15*bb5[21])/2 + 
       12*bb6[8] + 18*bb6[9] - 150*bb7[4] - 180*bb8[1] && 
     bb4[19] == bb4[20] - (3*bb4[23])/4 - (3*bb4[24])/8 - (7*bb5[20])/2 - 
       (15*bb5[21])/8 - 43*bb6[8] - (3*bb6[9])/2 + (865*bb7[4])/4 + 
       815*bb8[1] && bb4[18] == (3*bb4[23])/4 + (3*bb4[24])/8 + 
       (13*bb5[20])/4 + (15*bb5[21])/8 + (101*bb6[8])/2 + 3*bb6[9] - 
       245*bb7[4] - (2055*bb8[1])/2 && bb4[17] == (5*bb4[23])/2 + 
       (5*bb4[24])/4 + (21*bb5[20])/2 + (25*bb5[21])/4 + 224*bb6[8] + 
       12*bb6[9] - 1099*bb7[4] - 4570*bb8[1] && 
     bb4[16] == -bb4[23]/4 - bb4[24]/8 - bb5[20] - (5*bb5[21])/8 - 
       20*bb6[8] - (3*bb6[9])/2 + (349*bb7[4])/4 + 510*bb8[1] && 
     bb4[15] == -126*bb6[8] + 588*bb7[4] + 3150*bb8[1] && 
     bb4[14] == -bb4[20]/2 - (5*bb5[17])/2 - 30*bb6[5] && bb4[13] == 0 && 
     bb4[12] == -bb4[20]/2 + bb4[23]/8 + bb4[24]/16 - (5*bb5[17])/2 + 
       (9*bb5[20])/8 + (5*bb5[21])/16 - 30*bb6[5] + 14*bb6[8] - 3*bb6[9] - 
       (475*bb7[4])/4 - (1965*bb8[1])/2 && bb4[10] == 90*bb6[5] && 
     bb4[9] == -bb4[11] + bb4[20]/2 - (3*bb4[23])/16 - (3*bb4[24])/32 + 
       (5*bb5[17])/2 - (27*bb5[20])/16 - (15*bb5[21])/32 + 39*bb6[5] - 
       (187*bb6[8])/8 + (9*bb6[9])/2 + (1577*bb7[4])/8 + (13505*bb8[1])/8 && 
     bb4[8] == -bb4[23]/2 - bb4[24]/4 - (9*bb5[20])/2 - (5*bb5[21])/4 + 
       90*bb6[5] - (185*bb6[8])/2 + 12*bb6[9] + 767*bb7[4] + 
       (13885*bb8[1])/2 && bb4[7] == bb4[23]/8 + bb4[24]/16 + (9*bb5[20])/8 + 
       (5*bb5[21])/16 + 49*bb6[8] - 3*bb6[9] - (1595*bb7[4])/4 - 
       (8435*bb8[1])/2 && bb4[6] == (-63*bb6[8])/2 + 252*bb7[4] + 
       (5775*bb8[1])/2 && bb4[5] == (-45*bb6[8])/2 + 180*bb7[4] + 
       (7725*bb8[1])/2 && bb4[4] == -bb4[11] + bb4[20]/4 - bb4[23]/32 - 
       bb4[24]/64 + (5*bb5[17])/4 - (9*bb5[20])/32 - (5*bb5[21])/64 + 
       (39*bb6[5])/2 - (79*bb6[8])/16 + (3*bb6[9])/4 + (659*bb7[4])/16 + 
       (6865*bb8[1])/16 && bb4[3] == 8400*bb8[1] && bb4[2] == 0 && 
     bb4[1] == 0 && bb3[37] == bb3[38] + (3*bb3[40])/4 + 8*bb4[23] + 
       2*bb4[24] + 56*bb5[20] + 26*bb5[21] + 32*bb6[8] - 84*bb6[9] - 
       428*bb7[4] - 712*bb8[1] && bb3[36] == (3*bb3[40])/4 - 3*bb4[23] - 
       (11*bb4[24])/2 - 21*bb5[20] - (15*bb5[21])/2 + 18*bb6[8] + 48*bb6[9] - 
       36*bb7[4] - 582*bb8[1] && bb3[35] == 0 && 
     bb3[34] == (-3*bb3[40])/16 - 8*bb4[20] - 3*bb4[23] - (3*bb4[24])/2 - 
       40*bb5[17] - 15*bb5[20] - (15*bb5[21])/2 - 16*bb6[5] - 6*bb6[8] + 
       24*bb6[9] + 102*bb7[4] + 138*bb8[1] && 
     bb3[33] == (-5*bb3[40])/8 - (27*bb4[23])/2 - (27*bb4[24])/4 - 
       (133*bb5[20])/2 - (135*bb5[21])/4 - 21*bb6[8] + 104*bb6[9] + 
       402*bb7[4] + 395*bb8[1] && bb3[32] == bb3[40]/8 - 8*bb4[20] + 
       8*bb4[23] + 4*bb4[24] - 40*bb5[17] + 48*bb5[20] + 20*bb5[21] - 
       16*bb6[5] + 56*bb6[8] - 96*bb6[9] - 664*bb7[4] - 1992*bb8[1] && 
     bb3[31] == bb3[40]/16 + bb4[23] + bb4[24]/2 + 5*bb5[20] + 
       (5*bb5[21])/2 + 2*bb6[8] - 8*bb6[9] - 34*bb7[4] - 46*bb8[1] && 
     bb3[30] == 9*bb4[23] + (9*bb4[24])/2 + 51*bb5[20] + (45*bb5[21])/2 - 
       36*bb6[8] - 96*bb6[9] + 72*bb7[4] + 960*bb8[1] && 
     bb3[29] == -10*bb4[20] - 30*bb5[17] && 
     bb3[28] == bb3[40]/8 - 10*bb4[20] + 12*bb4[23] + 7*bb4[24] - 
       30*bb5[17] + 84*bb5[20] + 35*bb5[21] + 258*bb6[8] - 142*bb6[9] - 
       1886*bb7[4] - 6222*bb8[1] && bb3[27] == (-15*bb4[23])/2 - 
       (15*bb4[24])/4 - (105*bb5[20])/2 - (75*bb5[21])/4 - 210*bb6[8] + 
       90*bb6[9] + 1470*bb7[4] + 5100*bb8[1] && 
     bb3[25] == -bb3[40]/32 - 2*bb4[23] - (5*bb4[24])/4 - 14*bb5[20] - 
       (25*bb5[21])/4 - 40*bb6[8] + (47*bb6[9])/2 + (593*bb7[4])/2 + 
       963*bb8[1] && bb3[23] == bb3[24]/2 - (3*bb3[40])/128 - 4*bb4[20] - 
       (3*bb4[23])/2 - (15*bb4[24])/16 - 12*bb5[17] - (21*bb5[20])/2 - 
       (75*bb5[21])/16 - 30*bb6[8] + (141*bb6[9])/8 + (1779*bb7[4])/8 + 
       (2889*bb8[1])/4 && bb3[22] == bb3[24]/2 + bb3[26]/12 - bb3[40]/32 + 
       4*bb4[20] - 4*bb4[23] - (9*bb4[24])/4 + 12*bb5[17] - 28*bb5[20] - 
       (45*bb5[21])/4 - 112*bb6[8] + (95*bb6[9])/2 + (1569*bb7[4])/2 + 
       2723*bb8[1] && bb3[21] == (5*bb4[23])/2 + (5*bb4[24])/4 + 
       (35*bb5[20])/2 + (25*bb5[21])/4 + 140*bb6[8] - 30*bb6[9] - 
       910*bb7[4] - 3450*bb8[1] && bb3[20] == 420*bb6[8] - 2520*bb7[4] - 
       10500*bb8[1] && bb3[19] == bb3[26]/12 + bb3[40]/128 + bb4[23]/2 + 
       (5*bb4[24])/16 + (7*bb5[20])/2 + (25*bb5[21])/16 + 10*bb6[8] - 
       (47*bb6[9])/8 - (593*bb7[4])/8 - (963*bb8[1])/4 && bb3[18] == 0 && 
     bb3[17] == 0 && bb3[16] == -2*bb4[11] + bb4[20] - (5*bb4[23])/8 - 
       (5*bb4[24])/16 + 5*bb5[17] - (45*bb5[20])/8 - (25*bb5[21])/16 + 
       16*bb6[5] - (95*bb6[8])/4 + 15*bb6[9] + (895*bb7[4])/4 + 
       (5225*bb8[1])/4 && bb3[15] == -2*bb4[11] + bb4[20]/2 - 
       (5*bb4[23])/16 - (5*bb4[24])/32 + (5*bb5[17])/2 - (45*bb5[20])/16 - 
       (25*bb5[21])/32 + 39*bb6[5] - (95*bb6[8])/8 + (15*bb6[9])/2 + 
       (895*bb7[4])/8 + (5225*bb8[1])/8 && 
     bb3[14] == 2*bb4[11] + bb4[20] + 5*bb5[17] - 12*bb6[5] && 
     bb3[13] == -bb4[20] + bb4[23]/4 + bb4[24]/8 - 5*bb5[17] + 
       (9*bb5[20])/4 + (5*bb5[21])/8 - 50*bb6[5] + (35*bb6[8])/2 - 6*bb6[9] - 
       (307*bb7[4])/2 - (2277*bb8[1])/2 && 
     bb3[12] == 5*bb4[20] + 25*bb5[17] + 120*bb6[5] && bb3[11] == 0 && 
     bb3[10] == 5*bb4[20] - (9*bb4[23])/4 - (9*bb4[24])/8 + 25*bb5[17] - 
       (81*bb5[20])/4 - (45*bb5[21])/8 + 120*bb6[5] - 96*bb6[8] + 54*bb6[9] + 
       (1779*bb7[4])/2 + 5385*bb8[1] && bb3[9] == -2*bb4[11] && 
     bb3[8] == 30*bb6[5] && bb3[7] == 2*bb4[11] - bb4[20] + (11*bb4[23])/8 + 
       (11*bb4[24])/16 - 5*bb5[17] + (99*bb5[20])/8 + (55*bb5[21])/16 - 
       78*bb6[5] + (293*bb6[8])/4 - 33*bb6[9] - (2641*bb7[4])/4 - 
       (16955*bb8[1])/4 && bb3[6] == (-3*bb4[23])/4 - (3*bb4[24])/8 - 
       (27*bb5[20])/4 - (15*bb5[21])/8 + 30*bb6[5] - (99*bb6[8])/2 + 
       18*bb6[9] + (873*bb7[4])/2 + (5865*bb8[1])/2 && 
     bb3[5] == (-5*bb4[23])/4 - (5*bb4[24])/8 - (45*bb5[20])/4 - 
       (25*bb5[21])/8 - 310*bb6[8] + 30*bb6[9] + (5095*bb7[4])/2 + 
       19675*bb8[1] && bb3[4] == -210*bb6[8] + 1680*bb7[4] + 13650*bb8[1] && 
     bb3[3] == 2*bb4[11] - bb4[20]/2 + bb4[23]/16 + bb4[24]/32 - 
       (5*bb5[17])/2 + (9*bb5[20])/16 + (5*bb5[21])/32 - 39*bb6[5] + 
       (79*bb6[8])/8 - (3*bb6[9])/2 - (659*bb7[4])/8 - (6865*bb8[1])/8 && 
     bb3[2] == (15*bb6[8])/2 - 60*bb7[4] - (8175*bb8[1])/2 && 
     bb3[1] == -3360*bb8[1]
