rankconstraintsalpha9spin4 = bb8[3] == -27 && bb8[2] == 81/5 && bb8[1] == 0 && 
     bb7[10] == -612 - bb7[11] - 10*bb8[4] && bb7[9] == 216 - bb7[12]/2 && 
     bb7[8] == 1296 && bb7[7] == 189/2 + bb7[12]/4 && bb7[6] == 324 && 
     bb7[4] == 99 + bb7[5] - bb7[11]/4 + (5*bb8[4])/2 && 
     bb7[3] == -342 + bb7[11]/2 - 5*bb8[4] && 
     bb7[2] == 9 - bb7[11]/4 + (5*bb8[4])/2 && bb7[1] == -648 && 
     bb6[24] == 1354350958/1445 - (3*bb6[25])/2 - (821*bb7[11])/289 - 
       (31643918*bb7[12])/7803 + (5*bb7[13])/2 + (11770*bb8[4])/289 && 
     bb6[21] == -1348068098/1445 + (3*bb6[25])/2 + (821*bb7[11])/289 + 
       (31519070*bb7[12])/7803 - (17*bb7[13])/2 - (4545*bb8[4])/289 && 
     bb6[20] == 14688 - 24*bb7[12] && bb6[18] == -704101609/2890 + bb6[19] + 
       (3*bb6[25])/8 + (10069*bb7[11])/1156 + (7969502*bb7[12])/7803 + 
       (11*bb7[13])/8 - (45005*bb8[4])/1156 && 
     bb6[17] == 667063369/1445 - (3*bb6[25])/4 - (13537*bb7[11])/578 - 
       (15665899*bb7[12])/7803 - (11*bb7[13])/4 + (50785*bb8[4])/578 && 
     bb6[16] == -662459599/2890 + (3*bb6[25])/8 + (17005*bb7[11])/1156 + 
       (7797836*bb7[12])/7803 + (11*bb7[13])/8 - (16105*bb8[4])/1156 && 
     bb6[15] == -2304 + 64*bb7[11] - 48*bb7[12] - 80*bb8[4] && 
     bb6[14] == 4536 && bb6[13] == -5103/4 + (21*bb7[12])/8 && 
     bb6[12] == -8856 + 12*bb7[12] && bb6[11] == 189/2 - (7*bb7[12])/4 && 
     bb6[10] == 1008 && bb6[9] == -11907/4 + 8*bb7[5] + (25*bb7[12])/8 && 
     bb6[8] == 2759/4 + 8*bb7[5] - 2*bb7[11] - bb7[12]/8 + 20*bb8[4] && 
     bb6[7] == 0 && bb6[6] == 1134 - 14*bb7[5] && 
     bb6[5] == -108 - 14*bb7[5] + (15*bb7[11])/2 - 6*bb7[12] - 75*bb8[4] && 
     bb6[4] == 2349/2 - 9*bb7[11] + (33*bb7[12])/4 + 90*bb8[4] && 
     bb6[3] == 10224 - 32*bb7[11] + 24*bb7[12] + 320*bb8[4] && 
     bb6[2] == 315/2 + (7*bb7[11])/2 - (21*bb7[12])/4 - 35*bb8[4] && 
     bb6[1] == -9072 && bb5[50] == 33676324/289 - 3*bb6[25] + 
       (1404*bb7[11])/289 + (1245248*bb7[12])/7803 + 9*bb7[13] - 
       (14122*bb8[4])/289 && bb5[46] == -18318088174/1445 + (33*bb6[25])/2 + 
       (7068*bb7[11])/289 + (15561422*bb7[12])/289 - 5*bb7[13] - 
       (81109*bb8[4])/289 && bb5[43] == 75656820/289 + (1053*bb7[11])/289 - 
       (1140046*bb7[12])/2601 - (8424*bb8[4])/289 && 
     bb5[42] == -1412816053/289 + 6*bb6[25] + (2055*bb7[11])/289 + 
       (107962493*bb7[12])/5202 - (3*bb7[13])/4 - (29156*bb8[4])/289 && 
     bb5[39] == 10925363894/1445 - (21*bb6[25])/2 - (6066*bb7[11])/289 - 
       (84935407*bb7[12])/2601 + (61*bb7[13])/4 + (34367*bb8[4])/289 && 
     bb5[38] == 50007888048/1445 - 54*bb6[25] - (18246*bb7[11])/289 - 
       (385329236*bb7[12])/2601 + 54*bb7[13] + (73140*bb8[4])/289 && 
     bb5[37] == 0 && bb5[36] == -10347854231/2890 + 4*bb6[19] + 
       (3*bb6[25])/2 + 9*bb7[5] + (19249*bb7[11])/1156 + 
       (18814901*bb7[12])/3468 + (11*bb7[13])/2 - (40293*bb8[4])/578 && 
     bb5[35] == -2838504313/1156 + 4*bb6[19] + 9*bb7[5] - 
       (12943*bb7[11])/1156 + (66743801*bb7[12])/62424 + 
       (25886*bb8[4])/289 && bb5[34] == 102816 - 84*bb7[12] && 
     bb5[33] == 69407329/1156 + (351*bb7[11])/1156 - (4269857*bb7[12])/
        62424 - (702*bb8[4])/289 && bb5[32] == -56055862/289 - 
       (1755*bb7[11])/578 + (883759*bb7[12])/7803 + (7020*bb8[4])/289 && 
     bb5[31] == 1439677043/578 - 7*bb6[19] + (5945*bb7[11])/578 - 
       (35394355*bb7[12])/31212 - (23780*bb8[4])/289 && 
     bb5[30] == 3733171781/578 - 7*bb6[19] - (45*bb6[25])/8 - 
       (107605*bb7[11])/1156 - (133745677*bb7[12])/7803 - (165*bb7[13])/8 + 
       (570395*bb8[4])/1156 && bb5[29] == -45328713/10 + (27*bb6[25])/4 + 
       (555*bb7[11])/4 + (681131*bb7[12])/36 + (99*bb7[13])/4 - 750*bb8[4] && 
     bb5[28] == -22979443548/1445 + 24*bb6[25] + (173643*bb7[11])/289 + 
       (522056110*bb7[12])/7803 + 88*bb7[13] - (968360*bb8[4])/289 && 
     bb5[27] == 2365486494/1445 - (21*bb6[25])/8 - (71337*bb7[11])/1156 - 
       (223824583*bb7[12])/31212 - (77*bb7[13])/8 + (313775*bb8[4])/1156 && 
     bb5[26] == -205632 - 336*bb7[11] + 504*bb7[12] + 1680*bb8[4] && 
     bb5[25] == 45927/2 - (189*bb7[12])/4 && bb5[24] == -81648 && 
     bb5[23] == -681248785/578 - bb6[19] - 72*bb7[5] - (5945*bb7[11])/1156 + 
       (15344573*bb7[12])/31212 + (11890*bb8[4])/289 && bb5[22] == 0 && 
     bb5[21] == -6090678277/5780 - bb6[19] - (3*bb6[25])/8 - 72*bb7[5] + 
       (28919*bb7[11])/1156 - (23820649*bb7[12])/62424 - (11*bb7[13])/8 - 
       (308515*bb8[4])/1156 && bb5[19] == 17010 + 252*bb7[5] - 63*bb7[12] && 
     bb5[18] == 5785103263/5780 - bb5[20] + bb6[19] + (9*bb6[25])/16 + 
       114*bb7[5] - (14550*bb7[11])/289 + (6330310*bb7[12])/7803 + 
       (33*bb7[13])/16 + (1210085*bb8[4])/2312 && 
     bb5[17] == -720574098/1445 + (3*bb6[25])/2 + 252*bb7[5] - 
       (64053*bb7[11])/289 + (27968872*bb7[12])/7803 + (11*bb7[13])/2 + 
       (647965*bb8[4])/289 && bb5[16] == -37800 - 84*bb7[11] + 126*bb7[12] + 
       840*bb8[4] && bb5[15] == 1049353503/5780 - (3*bb6[25])/8 + 
       (74943*bb7[11])/578 - (64482029*bb7[12])/62424 - (11*bb7[13])/8 - 
       (1506295*bb8[4])/1156 && bb5[14] == -62370 - 63*bb7[11] + 
       189*bb7[12] + 630*bb8[4] && bb5[13] == 3193542383/5780 - bb5[20] + 
       bb6[19]/2 + (3*bb6[25])/32 + 57*bb7[5] - (26515*bb7[11])/2312 - 
       (711683*bb7[12])/41616 + (11*bb7[13])/32 + (561515*bb8[4])/4624 && 
     bb5[12] == 136080 && bb5[11] == -28917 + (63*bb7[12])/2 && 
     bb5[10] == -18415258/289 + (351*bb7[11])/578 + (413155*bb7[12])/7803 - 
       (1404*bb8[4])/289 && bb5[9] == 11540993/2312 - (351*bb7[11])/2312 - 
       (646033*bb7[12])/124848 + (351*bb8[4])/289 && 
     bb5[8] == -55944 + 42*bb7[12] && bb5[6] == 100359/2 - (189*bb7[12])/4 && 
     bb5[5] == 13608 && bb5[3] == 54098733/4624 + bb5[4]/2 - bb5[20]/2 + 
       (31*bb7[5])/2 - (1053*bb7[11])/9248 - (1130627*bb7[12])/83232 + 
       (1053*bb8[4])/1156 && bb5[2] == -674003833/3468 + bb5[7]/12 + 
       bb5[20]/3 - bb6[19]/6 - 19*bb7[5] - (22727*bb7[11])/27744 + 
       (7660279*bb7[12])/93636 + (22727*bb8[4])/3468 && 
     bb5[1] == 26315144491/69360 + bb5[4]/2 + bb5[7]/12 - bb5[20]/6 + 
       bb6[19]/3 + (3*bb6[25])/32 + (45*bb7[5])/2 - (32789*bb7[11])/6936 + 
       (27439367*bb7[12])/749088 + (11*bb7[13])/32 + (721433*bb8[4])/13872 && 
     bb4[54] == -4416327068/1445 + 3*bb6[25] - (996*bb7[11])/289 + 
       (59037296*bb7[12])/7803 - 13*bb7[13] + (16638*bb8[4])/289 && 
     bb4[53] == 371003112/289 + 18*bb6[25] + (20760*bb7[11])/289 + 
       (1967328*bb7[12])/289 - 54*bb7[13] - (148740*bb8[4])/289 && 
     bb4[50] == 53512972977/1445 - (207*bb6[25])/4 - (19781*bb7[11])/289 - 
       (1226618219*bb7[12])/7803 - (167*bb7[13])/4 + (372273*bb8[4])/578 && 
     bb4[49] == 239608408316/1445 - 231*bb6[25] - (74240*bb7[11])/289 - 
       (5435118868*bb7[12])/7803 - 198*bb7[13] + (696226*bb8[4])/289 && 
     bb4[46] == 8761108946/289 - (87*bb6[25])/2 - (12284*bb7[11])/289 - 
       (1017923108*bb7[12])/7803 - (149*bb7[13])/4 + (133530*bb8[4])/289 && 
     bb4[42] == -4694909262/289 + 21*bb6[25] + (11498*bb7[11])/289 + 
       (170537917*bb7[12])/2601 + (39*bb7[13])/4 - (76667*bb8[4])/289 && 
     bb4[41] == -126620998392/1445 + 126*bb6[25] - (24948*bb7[11])/289 + 
       (104772640*bb7[12])/289 + 42*bb7[13] + (369516*bb8[4])/289 && 
     bb4[40] == 11411590095/578 - 12*bb6[19] + (27*bb6[25])/4 - 27*bb7[5] + 
       (56567*bb7[11])/578 + (89685037*bb7[12])/31212 + (41*bb7[13])/2 - 
       (212107*bb8[4])/289 && bb4[39] == 0 && 
     bb4[38] == 77775646173/2890 - 12*bb6[19] - (9*bb6[25])/2 - 27*bb7[5] - 
       (90947*bb7[11])/1156 - (27932765*bb7[12])/1156 - (33*bb7[13])/2 + 
       (253679*bb8[4])/578 && bb4[36] == -16860008268/289 + 42*bb6[19] - 
       (69234*bb7[11])/289 + (21462878*bb7[12])/867 + (553872*bb8[4])/289 && 
     bb4[35] == -198447424281/5780 - bb4[37] + 19*bb6[19] + 
       (201*bb6[25])/16 - bb7[5] + (235689*bb7[11])/1156 + 
       (711002735*bb7[12])/15606 + (703*bb7[13])/16 - 
       (2888707*bb8[4])/2312 && bb4[34] == -153758852523/1445 + 42*bb6[19] + 
       (279*bb6[25])/4 + (612855*bb7[11])/578 + (1640645800*bb7[12])/7803 + 
       (955*bb7[13])/4 - (3882381*bb8[4])/578 && 
     bb4[33] == 38540094861/1445 - 36*bb6[25] - (1005547*bb7[11])/1156 - 
       (1609489775*bb7[12])/15606 - (511*bb7[13])/4 + (1684235*bb8[4])/289 && 
     bb4[32] == -25058889632/1445 + 21*bb6[25] + (178710*bb7[11])/289 + 
       (171171490*bb7[12])/2601 + 77*bb7[13] - (1207150*bb8[4])/289 && 
     bb4[31] == -18617741229/1445 + (63*bb6[25])/4 + (557349*bb7[11])/578 + 
       (128342623*bb7[12])/2601 + (231*bb7[13])/4 - (3688029*bb8[4])/578 && 
     bb4[30] == -161073277921/11560 - bb4[37] + (19*bb6[19])/2 + 
       (33*bb6[25])/32 - bb7[5]/2 + (31075*bb7[11])/1156 + 
       (322444073*bb7[12])/31212 + (155*bb7[13])/32 - (449635*bb8[4])/4624 && 
     bb4[29] == 5781888 + 2688*bb7[11] - 6048*bb7[12] - 18480*bb8[4] && 
     bb4[28] == 175872885/289 - (1053*bb7[11])/289 - (4906471*bb7[12])/5202 + 
       (8424*bb8[4])/289 && bb4[27] == -2395008 + 1008*bb7[12] && 
     bb4[26] == -5*bb5[7] && bb4[25] == -198953625/4624 - (5*bb5[4])/2 + 
       (5*bb5[20])/2 - (155*bb7[5])/2 + (1053*bb7[11])/9248 + 
       (4033343*bb7[12])/83232 - (1053*bb8[4])/1156 && 
     bb4[24] == -5627689601/1156 - 5*bb5[4] - 4*bb6[19] - 9*bb7[5] - 
       (44401*bb7[11])/2312 + (129139969*bb7[12])/62424 + 
       (44401*bb8[4])/289 && bb4[23] == 6787578805/6936 - (5*bb5[7])/12 - 
       (5*bb5[20])/3 + (5*bb6[19])/6 + 95*bb7[5] + (126271*bb7[11])/27744 - 
       (153290351*bb7[12])/374544 - (126271*bb8[4])/3468 && 
     bb4[22] == -420710904071/69360 - (5*bb5[4])/2 - (5*bb5[7])/12 + 
       (5*bb5[20])/6 - (17*bb6[19])/3 - (63*bb6[25])/32 - (243*bb7[5])/2 + 
       (148051*bb7[11])/6936 - (1247027515*bb7[12])/749088 - 
       (231*bb7[13])/32 - (4233733*bb8[4])/13872 && 
     bb4[21] == 1748471515/289 + 4*bb5[20] + 5*bb6[19] - 60*bb7[5] + 
       (111529*bb7[11])/4624 - (79668157*bb7[12])/31212 - 
       (111529*bb8[4])/578 && bb4[20] == 8338568580/289 + 24*bb6[19] + 
       720*bb7[5] + (34617*bb7[11])/289 - (10583182*bb7[12])/867 - 
       (276936*bb8[4])/289 && bb4[19] == 0 && bb4[18] == 0 && 
     bb4[17] == 26494427701/2890 - 4*bb5[20] + 9*bb6[19] + (33*bb6[25])/8 + 
       396*bb7[5] - (298359*bb7[11])/4624 + (155148259*bb7[12])/31212 + 
       (121*bb7[13])/8 + (938027*bb8[4])/1156 && 
     bb4[16] == 13142127127/578 + 24*bb6[19] + 15*bb6[25] + 720*bb7[5] - 
       (94465*bb7[11])/289 + (712164041*bb7[12])/31212 + 55*bb7[13] + 
       (1093850*bb8[4])/289 && bb4[15] == -43154892/289 - 5*bb5[20] + 
       (3159*bb7[11])/2312 + (210479*bb7[12])/1734 - (3159*bb8[4])/289 && 
     bb4[14] == 64638 + 210*bb7[5] - 63*bb7[12] && 
     bb4[13] == -11246345901/5780 + 5*bb5[20] - 5*bb6[19] - 
       (153*bb6[25])/16 - 570*bb7[5] + (849237*bb7[11])/2312 - 
       (207010555*bb7[12])/10404 - (561*bb7[13])/16 - 
       (9020641*bb8[4])/2312 && bb4[12] == -3361540343/1445 + 
       (21*bb6[25])/4 + 210*bb7[5] - (77301*bb7[11])/289 + 
       (32447338*bb7[12])/2601 + (77*bb7[13])/4 + (1602979*bb8[4])/578 && 
     bb4[11] == 7973330117/5780 - 4*bb5[20] + 2*bb6[19] + (9*bb6[25])/4 + 
       228*bb7[5] - (143095*bb7[11])/2312 + (268500847*bb7[12])/62424 + 
       (33*bb7[13])/4 + (394565*bb8[4])/578 && 
     bb4[10] == -6047801223/1445 + 9*bb6[25] - (181068*bb7[11])/289 + 
       (37683503*bb7[12])/1734 + 33*bb7[13] + (1859502*bb8[4])/289 && 
     bb4[9] == -904176 - 1344*bb7[11] + 2016*bb7[12] + 13440*bb8[4] && 
     bb4[8] == 112089027/578 + (15699*bb7[11])/289 - (1429565*bb7[12])/
        10404 - (155937*bb8[4])/289 && bb4[7] == -1555231921/578 + 
       5*bb5[20] - (5*bb6[19])/2 - (15*bb6[25])/32 - 285*bb7[5] + 
       (132575*bb7[11])/2312 + (3230689*bb7[12])/41616 - (55*bb7[13])/32 - 
       (2807575*bb8[4])/4624 && bb4[6] == 217728 - 168*bb7[12] && 
     bb4[5] == -576639/2 + (693*bb7[12])/4 && 
     bb4[4] == -65631745/1156 + (351*bb7[11])/578 + (4077737*bb7[12])/62424 - 
       (1404*bb8[4])/289 && bb4[3] == 240408 - 168*bb7[12] && 
     bb4[2] == -101383311/578 - (1053*bb7[11])/578 + (992597*bb7[12])/10404 + 
       (4212*bb8[4])/289 && bb4[1] == 326592 - 252*bb7[12] && bb3[78] == 0 && 
     bb3[74] == -330075920/289 - (7216*bb7[11])/289 + 
       (13009544*bb7[12])/7803 + (57728*bb8[4])/289 && 
     bb3[73] == -5813612640/289 - (149520*bb7[11])/289 + 
       (31159472*bb7[12])/867 + (1196160*bb8[4])/289 && 
     bb3[70] == -171536071864/1445 + 148*bb6[25] + (64936*bb7[11])/289 + 
       (3644169668*bb7[12])/7803 + 150*bb7[13] - (593472*bb8[4])/289 && 
     bb3[68] == -32419555454/1445 + (53*bb6[25])/2 + (7210*bb7[11])/289 + 
       (642033478*bb7[12])/7803 + (43*bb7[13])/2 - (85135*bb8[4])/289 && 
     bb3[61] == -37239472748/289 + 174*bb6[25] + (39284*bb7[11])/289 + 
       (4060820162*bb7[12])/7803 + 149*bb7[13] - (455304*bb8[4])/289 && 
     bb3[55] == 84477582999/2890 - bb3[69]/4 + 88*bb6[19] + (753*bb6[25])/8 + 
       232*bb7[5] + (47044*bb7[11])/289 + (186626083*bb7[12])/867 + 
       (1231*bb7[13])/8 - (384955*bb8[4])/1156 && 
     bb3[53] == 21578699820/289 - 84*bb6[25] + (75460*bb7[11])/289 - 
       (80755970*bb7[12])/289 - 39*bb7[13] - (664948*bb8[4])/289 && 
     bb3[52] == 19600172592/85 - 252*bb6[25] + (25032*bb7[11])/17 - 
       (127002848*bb7[12])/153 - 84*bb7[13] - (220248*bb8[4])/17 && 
     bb3[51] == -110052806763/2890 + bb3[69]/4 - 44*bb6[19] - 
       (121*bb6[25])/8 - 116*bb7[5] - (7346*bb7[11])/289 - 
       (11009728*bb7[12])/2601 - (591*bb7[13])/8 - (735101*bb8[4])/1156 && 
     bb3[50] == 0 && bb3[49] == 0 && bb3[48] == 21725061713/578 - bb3[69]/8 - 
       2*bb4[37] + 52*bb6[19] - (3*bb6[25])/8 + 86*bb7[5] + 
       (122113*bb7[11])/578 - (333236071*bb7[12])/15606 + (247*bb7[13])/8 - 
       (1262231*bb8[4])/1156 && bb3[47] == 2644761441/289 - bb3[69]/8 - 
       2*bb4[37] + 52*bb6[19] - (3*bb6[25])/8 + 86*bb7[5] - 
       (2388*bb7[11])/289 - (358499839*bb7[12])/31212 + (247*bb7[13])/8 + 
       (767993*bb8[4])/1156 && bb3[46] == -24162623593/578 + bb3[69]/8 + 
       2*bb4[37] - 52*bb6[19] + (3*bb6[25])/8 - 86*bb7[5] - 
       (7709*bb7[11])/578 + (150032969*bb7[12])/5202 - (247*bb7[13])/8 - 
       (568233*bb8[4])/1156 && bb3[45] == 18198856842/289 + 
       (2886*bb7[11])/289 - (85623035*bb7[12])/2601 - (23088*bb8[4])/289 && 
     bb3[44] == -39390320790/289 - (159610*bb7[11])/289 + 
       (51788435*bb7[12])/867 + (1276880*bb8[4])/289 && bb3[43] == 0 && 
     bb3[42] == -43330530360/289 + (83000*bb7[11])/289 + 
       (229751620*bb7[12])/2601 - (664000*bb8[4])/289 && 
     bb3[41] == 32690162899/578 - bb3[69]/8 - 2*bb4[37] + 52*bb6[19] - 
       (3*bb6[25])/8 + 86*bb7[5] + (55087*bb7[11])/578 - 
       (29307556*bb7[12])/867 + (247*bb7[13])/8 - (189815*bb8[4])/1156 && 
     bb3[40] == -10391920250/289 - (43710*bb7[11])/289 + 
       (118379045*bb7[12])/7803 + (349680*bb8[4])/289 && 
     bb3[39] == 28060862935/578 + bb3[69]/8 + 2*bb4[37] - 52*bb6[19] + 
       (3*bb6[25])/8 - 86*bb7[5] - (225353*bb7[11])/578 - 
       (479507501*bb7[12])/15606 - (247*bb7[13])/8 + (2914071*bb8[4])/1156 && 
     bb3[38] == -13624617740/289 + (99180*bb7[11])/289 + 
       (277903406*bb7[12])/7803 - (793440*bb8[4])/289 && 
     bb3[37] == -25957322570/289 + (1044410*bb7[11])/289 + 
       (1304501525*bb7[12])/7803 - (8355280*bb8[4])/289 && 
     bb3[36] == -18460846320/289 + (744240*bb7[11])/289 + 
       (315208040*bb7[12])/2601 - (5953920*bb8[4])/289 && 
     bb3[35] == -2260632082/289 + bb3[69]/8 + 2*bb4[37] - 52*bb6[19] + 
       (3*bb6[25])/8 - 86*bb7[5] - (39209*bb7[11])/289 + 
       (285413825*bb7[12])/31212 - (247*bb7[13])/8 + (563111*bb8[4])/1156 && 
     bb3[34] == 464553060/289 - (546780*bb7[11])/289 - 
       (5639270*bb7[12])/2601 + (4374240*bb8[4])/289 && 
     bb3[33] == -592704 - 1680*bb7[11] + 2016*bb7[12] + 13440*bb8[4] && 
     bb3[32] == -630315/2 + 20*bb5[20] + (1785*bb7[12])/4 && 
     bb3[31] == -68040 + 840*bb7[5] && bb3[30] == -63099953807/2890 - 
       20*bb5[20] + 20*bb6[19] + (441*bb6[25])/4 + 2280*bb7[5] - 
       (1135597*bb7[11])/578 + (7381465153*bb7[12])/31212 + 
       (1583*bb7[13])/4 + (12618957*bb8[4])/578 && 
     bb3[29] == -38503218516/1445 + 63*bb6[25] + 840*bb7[5] - 
       (417816*bb7[11])/289 + (127386028*bb7[12])/867 + 231*bb7[13] + 
       (4519914*bb8[4])/289 && bb3[28] == 181765895293/11560 - bb3[69]/16 + 
       8*bb5[20] + (25*bb6[19])/2 - (183*bb6[25])/32 - (825*bb7[5])/2 + 
       (91007*bb7[11])/578 - (1509681989*bb7[12])/62424 - (189*bb7[13])/32 - 
       (6720059*bb8[4])/4624 && bb3[27] == -1502459907/578 + (45*bb6[25])/8 - 
       (1150605*bb7[11])/1156 + (24542195*bb7[12])/1734 + (165*bb7[13])/8 + 
       (11628105*bb8[4])/1156 && bb3[26] == 241920 + 840*bb7[11] - 
       1008*bb7[12] - 8400*bb8[4] && bb3[25] == 3356586068/289 - 20*bb5[20] + 
       10*bb6[19] + (15*bb6[25])/8 + 1140*bb7[5] - (132575*bb7[11])/578 - 
       (11751565*bb7[12])/10404 + (55*bb7[13])/8 + (2807575*bb8[4])/1156 && 
     bb3[24] == 143640 - 210*bb7[11] + 2100*bb8[4] && bb3[23] == 0 && 
     bb3[19] == -166676182295/4624 + 12*bb3[20] - bb3[21] + bb3[69]/32 - 
       4*bb5[20] - (127*bb6[19])/4 + (21*bb6[25])/64 - (321*bb7[5])/4 - 
       (37847*bb7[11])/1156 + (2258374949*bb7[12])/124848 - 
       (609*bb7[13])/64 - (731071*bb8[4])/9248 && 
     bb3[18] == 8754638159/4624 + bb3[20] + 3*bb3[22] + bb3[69]/32 - 
       16*bb5[4] - 4*bb5[20] + (9*bb6[19])/4 + (207*bb6[25])/64 + 
       (2231*bb7[5])/4 - (37905*bb7[11])/2312 + (939835529*bb7[12])/124848 + 
       (277*bb7[13])/64 + (1826507*bb8[4])/9248 && 
     bb3[17] == -166676182295/4624 + 12*bb3[20] - bb3[21] + bb3[69]/32 - 
       16*bb5[7] - 4*bb5[20] - (127*bb6[19])/4 + (21*bb6[25])/64 - 
       (321*bb7[5])/4 - (37847*bb7[11])/1156 + (2258374949*bb7[12])/124848 - 
       (609*bb7[13])/64 - (731071*bb8[4])/9248 && 
     bb3[16] == -247224280259/13872 + bb3[20] - bb3[21]/2 + (3*bb3[69])/32 - 
       (4*bb5[7])/3 - (52*bb5[20])/3 - (193*bb6[19])/12 + (219*bb6[25])/64 + 
       (3691*bb7[5])/4 - (15686*bb7[11])/867 + (7916921081*bb7[12])/374544 - 
       (711*bb7[13])/64 - (2442667*bb8[4])/27744 && 
     bb3[15] == 16411493651/578 + bb3[21]/2 + 3*bb3[22] - bb3[69]/16 - 
       8*bb5[4] + 16*bb5[20] + (101*bb6[19])/4 - (15*bb6[25])/8 - 
       (2069*bb7[5])/4 + (76019*bb7[11])/2312 - (1258150721*bb7[12])/62424 + 
       (165*bb7[13])/16 + (55103*bb8[4])/2312 && 
     bb3[14] == -186403690309/17340 + bb3[20] + bb3[22] - 8*bb5[4] - 
       (4*bb5[7])/3 + (8*bb5[20])/3 - (115*bb6[19])/12 - 2*bb6[25] - 
       (607*bb7[5])/4 + (36139*bb7[11])/3468 + (23146879*bb7[12])/46818 - 
       (123*bb7[13])/16 - (1647235*bb8[4])/6936 && bb3[13] == 20*bb5[7] && 
     bb3[12] == 15128580182/289 + 20*bb5[4] + 40*bb6[19] - (27*bb6[25])/2 + 
       90*bb7[5] + (95803*bb7[11])/578 - (359405953*bb7[12])/7803 - 
       41*bb7[13] - (411534*bb8[4])/289 && 
     bb3[11] == 411962055/1156 + 10*bb5[4] - 10*bb5[20] + 310*bb7[5] - 
       (5265*bb7[11])/2312 - (8384185*bb7[12])/20808 + (5265*bb8[4])/289 && 
     bb3[10] == -3553545725/867 + (5*bb5[7])/3 + (20*bb5[20])/3 - 
       (10*bb6[19])/3 - 380*bb7[5] - (113635*bb7[11])/6936 + 
       (43217285*bb7[12])/23409 + (113635*bb8[4])/867 && 
     bb3[9] == 168790022719/3468 + 10*bb5[4] + (5*bb5[7])/3 - 
       (10*bb5[20])/3 + (140*bb6[19])/3 + (135*bb6[25])/8 + 540*bb7[5] - 
       (62105*bb7[11])/867 + (2026185055*bb7[12])/187272 + (495*bb7[13])/8 + 
       (5173585*bb8[4])/3468 && bb3[8] == -11875662876/289 + bb3[69]/16 - 
       8*bb5[20] - 36*bb6[19] + (3*bb6[25])/16 + 77*bb7[5] - 
       (202749*bb7[11])/2312 + (1421010601*bb7[12])/62424 - 
       (247*bb7[13])/16 + (930415*bb8[4])/2312 && 
     bb3[7] == 5166464785/289 + 15*bb6[19] + 240*bb7[5] + 
       (21855*bb7[11])/289 - (116506325*bb7[12])/15606 - 
       (174840*bb8[4])/289 && bb3[6] == 0 && bb3[5] == 0 && 
     bb3[4] == -37091381873/5780 - bb3[69]/16 + 8*bb5[20] - 11*bb6[19] - 
       21*bb6[25] - 748*bb7[5] + (362125*bb7[11])/2312 - 
       (884275277*bb7[12])/20808 - (235*bb7[13])/4 - (556622*bb8[4])/289 && 
     bb3[3] == 16233913797/1445 + 15*bb6[19] + (133*bb6[25])/8 + 240*bb7[5] - 
       (146227*bb7[11])/1156 + (288374123*bb7[12])/10404 + (465*bb7[13])/8 + 
       (1960809*bb8[4])/1156 && bb3[2] == 15120 && 
     bb3[1] == -40635 + (105*bb7[12])/2
