rankconstraintsalpha9spin6 = bb8[2] == 12 - (3*bb8[3])/5 && bb8[1] == -27 && 
     bb7[10] == 55 - bb7[11] + (68*bb8[3])/3 - 10*bb8[4] && 
     bb7[9] == -bb7[12]/2 - 8*bb8[3] && bb7[8] == -48*bb8[3] && 
     bb7[7] == bb7[12]/4 - (7*bb8[3])/2 && bb7[6] == -12*bb8[3] && 
     bb7[4] == 335/4 + bb7[5] - bb7[11]/4 - (11*bb8[3])/3 + (5*bb8[4])/2 && 
     bb7[3] == -535/2 + bb7[11]/2 + (38*bb8[3])/3 - 5*bb8[4] && 
     bb7[2] == 1075/4 - bb7[11]/4 - bb8[3]/3 + (5*bb8[4])/2 && 
     bb7[1] == 1080 + 24*bb8[3] && bb6[24] == 57004/289 - (3*bb6[25])/2 - 
       (821*bb7[11])/289 - (31643918*bb7[12])/7803 + (5*bb7[13])/2 - 
       (1354350958*bb8[3])/39015 + (11770*bb8[4])/289 && 
     bb6[21] == -65674/289 + (3*bb6[25])/2 + (821*bb7[11])/289 + 
       (31519070*bb7[12])/7803 - (17*bb7[13])/2 + (1348068098*bb8[3])/39015 - 
       (4545*bb8[4])/289 && bb6[20] == -24*bb7[12] - 544*bb8[3] && 
     bb6[18] == -59046/289 + bb6[19] + (3*bb6[25])/8 + (10069*bb7[11])/1156 + 
       (7969502*bb7[12])/7803 + (11*bb7[13])/8 + (704101609*bb8[3])/78030 - 
       (45005*bb8[4])/1156 && bb6[17] == 191787/289 - (3*bb6[25])/4 - 
       (13537*bb7[11])/578 - (15665899*bb7[12])/7803 - (11*bb7[13])/4 - 
       (667063369*bb8[3])/39015 + (50785*bb8[4])/578 && 
     bb6[16] == -241116/289 + (3*bb6[25])/8 + (17005*bb7[11])/1156 + 
       (7797836*bb7[12])/7803 + (11*bb7[13])/8 + (662459599*bb8[3])/78030 - 
       (16105*bb8[4])/1156 && bb6[15] == -3520 + 64*bb7[11] - 48*bb7[12] + 
       (256*bb8[3])/3 - 80*bb8[4] && bb6[14] == -168*bb8[3] && 
     bb6[13] == (21*bb7[12])/8 + (189*bb8[3])/4 && 
     bb6[12] == 12*bb7[12] + 328*bb8[3] && 
     bb6[11] == (-7*bb7[12])/4 - (7*bb8[3])/2 && 
     bb6[10] == (-112*bb8[3])/3 && bb6[9] == 8*bb7[5] + (25*bb7[12])/8 + 
       (441*bb8[3])/4 && bb6[8] == 350 + 8*bb7[5] - 2*bb7[11] - bb7[12]/8 - 
       (2759*bb8[3])/108 + 20*bb8[4] && bb6[7] == 0 && 
     bb6[6] == -14*bb7[5] - 42*bb8[3] && bb6[5] == -2895/2 - 14*bb7[5] + 
       (15*bb7[11])/2 - 6*bb7[12] + 4*bb8[3] - 75*bb8[4] && 
     bb6[4] == 2115 - 9*bb7[11] + (33*bb7[12])/4 - (87*bb8[3])/2 + 
       90*bb8[4] && bb6[3] == 8480 - 32*bb7[11] + 24*bb7[12] - 
       (1136*bb8[3])/3 + 320*bb8[4] && bb6[2] == -2485/2 + (7*bb7[11])/2 - 
       (21*bb7[12])/4 - (35*bb8[3])/6 - 35*bb8[4] && 
     bb6[1] == -5040 + 336*bb8[3] && bb5[50] == -111322/289 - 3*bb6[25] + 
       (1404*bb7[11])/289 + (1245248*bb7[12])/7803 + 9*bb7[13] - 
       (33676324*bb8[3])/7803 - (14122*bb8[4])/289 && 
     bb5[46] == -560406/289 + (33*bb6[25])/2 + (7068*bb7[11])/289 + 
       (15561422*bb7[12])/289 - 5*bb7[13] + (18318088174*bb8[3])/39015 - 
       (81109*bb8[4])/289 && bb5[43] == -57915/289 + (1053*bb7[11])/289 - 
       (1140046*bb7[12])/2601 - (25218940*bb8[3])/2601 - (8424*bb8[4])/289 && 
     bb5[42] == -446557/578 + 6*bb6[25] + (2055*bb7[11])/289 + 
       (107962493*bb7[12])/5202 - (3*bb7[13])/4 + (1412816053*bb8[3])/7803 - 
       (29156*bb8[4])/289 && bb5[39] == 978513/578 - (21*bb6[25])/2 - 
       (6066*bb7[11])/289 - (84935407*bb7[12])/2601 + (61*bb7[13])/4 - 
       (10925363894*bb8[3])/39015 + (34367*bb8[4])/289 && 
     bb5[38] == 1742214/289 - 54*bb6[25] - (18246*bb7[11])/289 - 
       (385329236*bb7[12])/2601 + 54*bb7[13] - (16669296016*bb8[3])/13005 + 
       (73140*bb8[4])/289 && bb5[37] == 0 && 
     bb5[36] == -432143/1156 + 4*bb6[19] + (3*bb6[25])/2 + 9*bb7[5] + 
       (19249*bb7[11])/1156 + (18814901*bb7[12])/3468 + (11*bb7[13])/2 + 
       (10347854231*bb8[3])/78030 - (40293*bb8[4])/578 && 
     bb5[35] == 711865/1156 + 4*bb6[19] + 9*bb7[5] - (12943*bb7[11])/1156 + 
       (66743801*bb7[12])/62424 + (2838504313*bb8[3])/31212 + 
       (25886*bb8[4])/289 && bb5[34] == -84*bb7[12] - 3808*bb8[3] && 
     bb5[33] == -19305/1156 + (351*bb7[11])/1156 - (4269857*bb7[12])/62424 - 
       (69407329*bb8[3])/31212 - (702*bb8[4])/289 && 
     bb5[32] == 96525/578 - (1755*bb7[11])/578 + (883759*bb7[12])/7803 + 
       (56055862*bb8[3])/7803 + (7020*bb8[4])/289 && 
     bb5[31] == -326975/578 - 7*bb6[19] + (5945*bb7[11])/578 - 
       (35394355*bb7[12])/31212 - (1439677043*bb8[3])/15606 - 
       (23780*bb8[4])/289 && bb5[30] == 1929575/578 - 7*bb6[19] - 
       (45*bb6[25])/8 - (107605*bb7[11])/1156 - (133745677*bb7[12])/7803 - 
       (165*bb7[13])/8 - (3733171781*bb8[3])/15606 + (570395*bb8[4])/1156 && 
     bb5[29] == -23163/4 + (27*bb6[25])/4 + (555*bb7[11])/4 + 
       (681131*bb7[12])/36 + (99*bb7[13])/4 + (15109571*bb8[3])/90 - 
       750*bb8[4] && bb5[28] == -7208309/289 + 24*bb6[25] + 
       (173643*bb7[11])/289 + (522056110*bb7[12])/7803 + 88*bb7[13] + 
       (7659814516*bb8[3])/13005 - (968360*bb8[4])/289 && 
     bb5[27] == 2063929/578 - (21*bb6[25])/8 - (71337*bb7[11])/1156 - 
       (223824583*bb7[12])/31212 - (77*bb7[13])/8 - (788495498*bb8[3])/
        13005 + (313775*bb8[4])/1156 && bb5[26] == 18480 - 336*bb7[11] + 
       504*bb7[12] + 7616*bb8[3] + 1680*bb8[4] && 
     bb5[25] == (-189*bb7[12])/4 - (1701*bb8[3])/2 && 
     bb5[24] == 3024*bb8[3] && bb5[23] == 326975/1156 - bb6[19] - 72*bb7[5] - 
       (5945*bb7[11])/1156 + (15344573*bb7[12])/31212 + 
       (681248785*bb8[3])/15606 + (11890*bb8[4])/289 && bb5[22] == 0 && 
     bb5[21] == -1101279/289 - bb6[19] - (3*bb6[25])/8 - 72*bb7[5] + 
       (28919*bb7[11])/1156 - (23820649*bb7[12])/62424 - (11*bb7[13])/8 + 
       (6090678277*bb8[3])/156060 - (308515*bb8[4])/1156 && 
     bb5[19] == 252*bb7[5] - 63*bb7[12] - 630*bb8[3] && 
     bb5[18] == 17481393/2312 - bb5[20] + bb6[19] + (9*bb6[25])/16 + 
       114*bb7[5] - (14550*bb7[11])/289 + (6330310*bb7[12])/7803 + 
       (33*bb7[13])/16 - (5785103263*bb8[3])/156060 + 
       (1210085*bb8[4])/2312 && bb5[17] == 9267946/289 + (3*bb6[25])/2 + 
       252*bb7[5] - (64053*bb7[11])/289 + (27968872*bb7[12])/7803 + 
       (11*bb7[13])/2 + (240191366*bb8[3])/13005 + (647965*bb8[4])/289 && 
     bb5[16] == 14700 - 84*bb7[11] + 126*bb7[12] + 1400*bb8[3] + 
       840*bb8[4] && bb5[15] == -25069021/1156 - (3*bb6[25])/8 + 
       (74943*bb7[11])/578 - (64482029*bb7[12])/62424 - (11*bb7[13])/8 - 
       (349784501*bb8[3])/52020 - (1506295*bb8[4])/1156 && 
     bb5[14] == 22365 - 63*bb7[11] + 189*bb7[12] + 2310*bb8[3] + 
       630*bb8[4] && bb5[13] == 11730861/4624 - bb5[20] + bb6[19]/2 + 
       (3*bb6[25])/32 + 57*bb7[5] - (26515*bb7[11])/2312 - 
       (711683*bb7[12])/41616 + (11*bb7[13])/32 - (3193542383*bb8[3])/
        156060 + (561515*bb8[4])/4624 && bb5[12] == 45360 - 5040*bb8[3] && 
     bb5[11] == (63*bb7[12])/2 + 1071*bb8[3] && 
     bb5[10] == -19305/578 + (351*bb7[11])/578 + (413155*bb7[12])/7803 + 
       (18415258*bb8[3])/7803 - (1404*bb8[4])/289 && 
     bb5[9] == 19305/2312 - (351*bb7[11])/2312 - (646033*bb7[12])/124848 - 
       (11540993*bb8[3])/62424 + (351*bb8[4])/289 && 
     bb5[8] == 42*bb7[12] + 2072*bb8[3] && 
     bb5[6] == (-189*bb7[12])/4 - (3717*bb8[3])/2 && bb5[5] == -504*bb8[3] && 
     bb5[3] == 57915/9248 + bb5[4]/2 - bb5[20]/2 + (31*bb7[5])/2 - 
       (1053*bb7[11])/9248 - (1130627*bb7[12])/83232 - 
       (18032911*bb8[3])/41616 + (1053*bb8[4])/1156 && 
     bb5[2] == 1249985/27744 + bb5[7]/12 + bb5[20]/3 - bb6[19]/6 - 
       19*bb7[5] - (22727*bb7[11])/27744 + (7660279*bb7[12])/93636 + 
       (674003833*bb8[3])/93636 + (22727*bb8[4])/3468 && 
     bb5[1] == 10337311/13872 + 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 - (26315144491*bb8[3])/
        1872720 + (721433*bb8[4])/13872 && 
     bb4[54] == 98130/289 + 3*bb6[25] - (996*bb7[11])/289 + 
       (59037296*bb7[12])/7803 - 13*bb7[13] + (4416327068*bb8[3])/39015 + 
       (16638*bb8[4])/289 && bb4[53] == -937188/289 + 18*bb6[25] + 
       (20760*bb7[11])/289 + (1967328*bb7[12])/289 - 54*bb7[13] - 
       (13740856*bb8[3])/289 - (148740*bb8[4])/289 && 
     bb4[50] == 3438551/578 - (207*bb6[25])/4 - (19781*bb7[11])/289 - 
       (1226618219*bb7[12])/7803 - (167*bb7[13])/4 - (17837657659*bb8[3])/
        13005 + (372273*bb8[4])/578 && bb4[49] == 6729284/289 - 231*bb6[25] - 
       (74240*bb7[11])/289 - (5435118868*bb7[12])/7803 - 198*bb7[13] - 
       (239608408316*bb8[3])/39015 + (696226*bb8[4])/289 && 
     bb4[46] == 2622551/578 - (87*bb6[25])/2 - (12284*bb7[11])/289 - 
       (1017923108*bb7[12])/7803 - (149*bb7[13])/4 - (8761108946*bb8[3])/
        7803 + (133530*bb8[4])/289 && bb4[42] == -1897401/578 + 21*bb6[25] + 
       (11498*bb7[11])/289 + (170537917*bb7[12])/2601 + (39*bb7[13])/4 + 
       (1564969754*bb8[3])/2601 - (76667*bb8[4])/289 && 
     bb4[41] == -351456/289 + 126*bb6[25] - (24948*bb7[11])/289 + 
       (104772640*bb7[12])/289 + 42*bb7[13] + (42206999464*bb8[3])/13005 + 
       (369516*bb8[4])/289 && bb4[40] == -3195573/578 - 12*bb6[19] + 
       (27*bb6[25])/4 - 27*bb7[5] + (56567*bb7[11])/578 + 
       (89685037*bb7[12])/31212 + (41*bb7[13])/2 - (422651485*bb8[3])/578 - 
       (212107*bb8[4])/289 && bb4[39] == 0 && 
     bb4[38] == 3122429/1156 - 12*bb6[19] - (9*bb6[25])/2 - 27*bb7[5] - 
       (90947*bb7[11])/1156 - (27932765*bb7[12])/1156 - (33*bb7[13])/2 - 
       (25925215391*bb8[3])/26010 + (253679*bb8[4])/578 && 
     bb4[36] == 3807870/289 + 42*bb6[19] - (69234*bb7[11])/289 + 
       (21462878*bb7[12])/867 + (1873334252*bb8[3])/867 + 
       (553872*bb8[4])/289 && bb4[35] == -20710207/2312 - bb4[37] + 
       19*bb6[19] + (201*bb6[25])/16 - bb7[5] + (235689*bb7[11])/1156 + 
       (711002735*bb7[12])/15606 + (703*bb7[13])/16 + 
       (7349904603*bb8[3])/5780 - (2888707*bb8[4])/2312 && 
     bb4[34] == -14195435/289 + 42*bb6[19] + (279*bb6[25])/4 + 
       (612855*bb7[11])/578 + (1640645800*bb7[12])/7803 + (955*bb7[13])/4 + 
       (17084316947*bb8[3])/4335 - (3882381*bb8[4])/578 && 
     bb4[33] == 49722183/1156 - 36*bb6[25] - (1005547*bb7[11])/1156 - 
       (1609489775*bb7[12])/15606 - (511*bb7[13])/4 - 
       (12846698287*bb8[3])/13005 + (1684235*bb8[4])/289 && 
     bb4[32] == -8781136/289 + 21*bb6[25] + (178710*bb7[11])/289 + 
       (171171490*bb7[12])/2601 + 77*bb7[13] + (25058889632*bb8[3])/39015 - 
       (1207150*bb8[4])/289 && bb4[31] == -15633582/289 + (63*bb6[25])/4 + 
       (557349*bb7[11])/578 + (128342623*bb7[12])/2601 + (231*bb7[13])/4 + 
       (6205913743*bb8[3])/13005 - (3688029*bb8[4])/578 && 
     bb4[30] == -7739625/4624 - 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 + (161073277921*bb8[3])/312120 - 
       (449635*bb8[4])/4624 && bb4[29] == -147840 + 2688*bb7[11] - 
       6048*bb7[12] - 214144*bb8[3] - 18480*bb8[4] && 
     bb4[28] == 57915/289 - (1053*bb7[11])/289 - (4906471*bb7[12])/5202 - 
       (58624295*bb8[3])/2601 + (8424*bb8[4])/289 && 
     bb4[27] == 1008*bb7[12] + 88704*bb8[3] && bb4[26] == -5*bb5[7] && 
     bb4[25] == -57915/9248 - (5*bb5[4])/2 + (5*bb5[20])/2 - (155*bb7[5])/2 + 
       (1053*bb7[11])/9248 + (4033343*bb7[12])/83232 + 
       (66317875*bb8[3])/41616 - (1053*bb8[4])/1156 && 
     bb4[24] == 2442055/2312 - 5*bb5[4] - 4*bb6[19] - 9*bb7[5] - 
       (44401*bb7[11])/2312 + (129139969*bb7[12])/62424 + 
       (5627689601*bb8[3])/31212 + (44401*bb8[4])/289 && 
     bb4[23] == -6944905/27744 - (5*bb5[7])/12 - (5*bb5[20])/3 + 
       (5*bb6[19])/6 + 95*bb7[5] + (126271*bb7[11])/27744 - 
       (153290351*bb7[12])/374544 - (6787578805*bb8[3])/187272 - 
       (126271*bb8[4])/3468 && bb4[22] == -57456839/13872 - (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 + (420710904071*bb8[3])/1872720 - 
       (4233733*bb8[4])/13872 && bb4[21] == -6134095/4624 + 4*bb5[20] + 
       5*bb6[19] - 60*bb7[5] + (111529*bb7[11])/4624 - 
       (79668157*bb7[12])/31212 - (1748471515*bb8[3])/7803 - 
       (111529*bb8[4])/578 && bb4[20] == -1903935/289 + 24*bb6[19] + 
       720*bb7[5] + (34617*bb7[11])/289 - (10583182*bb7[12])/867 - 
       (926507620*bb8[3])/867 - (276936*bb8[4])/289 && bb4[19] == 0 && 
     bb4[18] == 0 && bb4[17] == 47585909/4624 - 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 - (26494427701*bb8[3])/
        78030 + (938027*bb8[4])/1156 && bb4[16] == 
      13261565/289 + 24*bb6[19] + 15*bb6[25] + 720*bb7[5] - 
       (94465*bb7[11])/289 + (712164041*bb7[12])/31212 + 55*bb7[13] - 
       (13142127127*bb8[3])/15606 + (1093850*bb8[4])/289 && 
     bb4[15] == -173745/2312 - 5*bb5[20] + (3159*bb7[11])/2312 + 
       (210479*bb7[12])/1734 + (4794988*bb8[3])/867 - (3159*bb8[4])/289 && 
     bb4[14] == 210*bb7[5] - 63*bb7[12] - 2394*bb8[3] && 
     bb4[13] == -26590059/578 + 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 + (1249593989*bb8[3])/17340 - 
       (9020641*bb8[4])/2312 && bb4[12] == 18858847/578 + (21*bb6[25])/4 + 
       210*bb7[5] - (77301*bb7[11])/289 + (32447338*bb7[12])/2601 + 
       (77*bb7[13])/4 + (3361540343*bb8[3])/39015 + (1602979*bb8[4])/578 && 
     bb4[11] == 18964357/2312 - 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 - (7973330117*bb8[3])/156060 + (394565*bb8[4])/578 && 
     bb4[10] == 22788606/289 + 9*bb6[25] - (181068*bb7[11])/289 + 
       (37683503*bb7[12])/1734 + 33*bb7[13] + (2015933741*bb8[3])/13005 + 
       (1859502*bb8[4])/289 && bb4[9] == 174720 - 1344*bb7[11] + 
       2016*bb7[12] + 33488*bb8[3] + 13440*bb8[4] && 
     bb4[8] == -5415195/289 + (15699*bb7[11])/289 - (1429565*bb7[12])/10404 - 
       (37363009*bb8[3])/5202 - (155937*bb8[4])/289 && 
     bb4[7] == -58654305/4624 + 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 + (1555231921*bb8[3])/15606 - (2807575*bb8[4])/4624 && 
     bb4[6] == -7560 - 168*bb7[12] - 8064*bb8[3] && 
     bb4[5] == (693*bb7[12])/4 + (21357*bb8[3])/2 && 
     bb4[4] == -19305/578 + (351*bb7[11])/578 + (4077737*bb7[12])/62424 + 
       (65631745*bb8[3])/31212 - (1404*bb8[4])/289 && 
     bb4[3] == -168*bb7[12] - 8904*bb8[3] && 
     bb4[2] == 57915/578 - (1053*bb7[11])/578 + (992597*bb7[12])/10404 + 
       (33794437*bb8[3])/5202 + (4212*bb8[4])/289 && 
     bb4[1] == -252*bb7[12] - 12096*bb8[3] && bb3[78] == 0 && 
     bb3[74] == 396880/289 - (7216*bb7[11])/289 + (13009544*bb7[12])/7803 + 
       (330075920*bb8[3])/7803 + (57728*bb8[4])/289 && 
     bb3[73] == 8223600/289 - (149520*bb7[11])/289 + (31159472*bb7[12])/867 + 
       (645956960*bb8[3])/867 + (1196160*bb8[4])/289 && 
     bb3[70] == -5403740/289 + 148*bb6[25] + (64936*bb7[11])/289 + 
       (3644169668*bb7[12])/7803 + 150*bb7[13] + (171536071864*bb8[3])/
        39015 - (593472*bb8[4])/289 && bb3[68] == 
      -786411/289 + (53*bb6[25])/2 + (7210*bb7[11])/289 + 
       (642033478*bb7[12])/7803 + (43*bb7[13])/2 + (32419555454*bb8[3])/
        39015 - (85135*bb8[4])/289 && bb3[61] == -4703242/289 + 174*bb6[25] + 
       (39284*bb7[11])/289 + (4060820162*bb7[12])/7803 + 149*bb7[13] + 
       (37239472748*bb8[3])/7803 - (455304*bb8[4])/289 && 
     bb3[55] == -2697249/1156 - 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 - (9386398111*bb8[3])/8670 - (384955*bb8[4])/1156 && 
     bb3[53] == -2885058/289 - 84*bb6[25] + (75460*bb7[11])/289 - 
       (80755970*bb7[12])/289 - 39*bb7[13] - (7192899940*bb8[3])/2601 - 
       (664948*bb8[4])/289 && bb3[52] == -1173984/17 - 252*bb6[25] + 
       (25032*bb7[11])/17 - (127002848*bb7[12])/153 - 84*bb7[13] - 
       (6533390864*bb8[3])/765 - (220248*bb8[4])/17 && 
     bb3[51] == -6452471/1156 + 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 + (36684268921*bb8[3])/26010 - (735101*bb8[4])/1156 && 
     bb3[50] == 0 && bb3[49] == 0 && bb3[48] == -6919815/1156 - 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 - 
       (21725061713*bb8[3])/15606 - (1262231*bb8[4])/1156 && 
     bb3[47] == 7037975/1156 - 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 - (881587147*bb8[3])/
        2601 + (767993*bb8[4])/1156 && bb3[46] == -5664625/1156 + 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 + 
       (24162623593*bb8[3])/15606 - (568233*bb8[4])/1156 && 
     bb3[45] == -158730/289 + (2886*bb7[11])/289 - (85623035*bb7[12])/2601 - 
       (6066285614*bb8[3])/2601 - (23088*bb8[4])/289 && 
     bb3[44] == 8778550/289 - (159610*bb7[11])/289 + (51788435*bb7[12])/867 + 
       (1458900770*bb8[3])/289 + (1276880*bb8[4])/289 && bb3[43] == 0 && 
     bb3[42] == -4565000/289 + (83000*bb7[11])/289 + (229751620*bb7[12])/
        2601 + (14443510120*bb8[3])/2601 - (664000*bb8[4])/289 && 
     bb3[41] == 453045/1156 - 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 - (32690162899*bb8[3])/
        15606 - (189815*bb8[4])/1156 && bb3[40] == 
      2404050/289 - (43710*bb7[11])/289 + (118379045*bb7[12])/7803 + 
       (10391920250*bb8[3])/7803 + (349680*bb8[4])/289 && 
     bb3[39] == 18276215/1156 + 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 - (28060862935*bb8[3])/
        15606 + (2914071*bb8[4])/1156 && bb3[38] == 
      -5454900/289 + (99180*bb7[11])/289 + (277903406*bb7[12])/7803 + 
       (13624617740*bb8[3])/7803 - (793440*bb8[4])/289 && 
     bb3[37] == -57442550/289 + (1044410*bb7[11])/289 + 
       (1304501525*bb7[12])/7803 + (25957322570*bb8[3])/7803 - 
       (8355280*bb8[4])/289 && bb3[36] == -40933200/289 + 
       (744240*bb7[11])/289 + (315208040*bb7[12])/2601 + 
       (6153615440*bb8[3])/2601 - (5953920*bb8[4])/289 && 
     bb3[35] == 2113365/1156 + 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 + (2260632082*bb8[3])/
        7803 + (563111*bb8[4])/1156 && bb3[34] == 
      30072900/289 - (546780*bb7[11])/289 - (5639270*bb7[12])/2601 - 
       (154851020*bb8[3])/2601 + (4374240*bb8[4])/289 && 
     bb3[33] == 92400 - 1680*bb7[11] + 2016*bb7[12] + 21952*bb8[3] + 
       13440*bb8[4] && bb3[32] == 20*bb5[20] + (1785*bb7[12])/4 + 
       (23345*bb8[3])/2 && bb3[31] == 840*bb7[5] + 2520*bb8[3] && 
     bb3[30] == 63846469/289 - 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 + (63099953807*bb8[3])/78030 + 
       (12618957*bb8[4])/578 && bb3[29] == 45787182/289 + 63*bb6[25] + 
       840*bb7[5] - (417816*bb7[11])/289 + (127386028*bb7[12])/867 + 
       231*bb7[13] + (12834406172*bb8[3])/13005 + (4519914*bb8[4])/289 && 
     bb3[28] == -70491253/4624 - 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 - 
       (181765895293*bb8[3])/312120 - (6720059*bb8[4])/4624 && 
     bb3[27] == 29756760/289 + (45*bb6[25])/8 - (1150605*bb7[11])/1156 + 
       (24542195*bb7[12])/1734 + (165*bb7[13])/8 + (500819969*bb8[3])/5202 + 
       (11628105*bb8[4])/1156 && bb3[26] == -86520 + 840*bb7[11] - 
       1008*bb7[12] - 8960*bb8[3] - 8400*bb8[4] && 
     bb3[25] == 58654305/1156 - 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 - (3356586068*bb8[3])/7803 + (2807575*bb8[4])/1156 && 
     bb3[24] == 225750 - 210*bb7[11] - 5320*bb8[3] + 2100*bb8[4] && 
     bb3[23] == 60480 && bb3[19] == -31062665/9248 + 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 + (166676182295*bb8[3])/124848 - 
       (731071*bb8[4])/9248 && bb3[18] == 29328881/9248 + 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 - 
       (8754638159*bb8[3])/124848 + (1826507*bb8[4])/9248 && 
     bb3[17] == -31062665/9248 + 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 + (166676182295*bb8[3])/124848 - 
       (731071*bb8[4])/9248 && bb3[16] == 12425323/27744 + 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 + 
       (247224280259*bb8[3])/374544 - (2442667*bb8[4])/27744 && 
     bb3[15] == 1207979/1156 + 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 - (16411493651*bb8[3])/15606 + (55103*bb8[4])/2312 && 
     bb3[14] == -25609541/6936 + 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 + (186403690309*bb8[3])/468180 - 
       (1647235*bb8[4])/6936 && bb3[13] == 20*bb5[7] && 
     bb3[12] == -5100389/578 + 20*bb5[4] + 40*bb6[19] - (27*bb6[25])/2 + 
       90*bb7[5] + (95803*bb7[11])/578 - (359405953*bb7[12])/7803 - 
       41*bb7[13] - (15128580182*bb8[3])/7803 - (411534*bb8[4])/289 && 
     bb3[11] == 289575/2312 + 10*bb5[4] - 10*bb5[20] + 310*bb7[5] - 
       (5265*bb7[11])/2312 - (8384185*bb7[12])/20808 - 
       (137320685*bb8[3])/10404 + (5265*bb8[4])/289 && 
     bb3[10] == 6249925/6936 + (5*bb5[7])/3 + (20*bb5[20])/3 - 
       (10*bb6[19])/3 - 380*bb7[5] - (113635*bb7[11])/6936 + 
       (43217285*bb7[12])/23409 + (3553545725*bb8[3])/23409 + 
       (113635*bb8[4])/867 && bb3[9] == 66112265/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 - (168790022719*bb8[3])/93636 + 
       (5173585*bb8[4])/3468 && bb3[8] == 1159645/578 + 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 + (3958554292*bb8[3])/2601 + (930415*bb8[4])/2312 && 
     bb3[7] == -1202025/289 + 15*bb6[19] + 240*bb7[5] + (21855*bb7[11])/289 - 
       (116506325*bb7[12])/15606 - (5166464785*bb8[3])/7803 - 
       (174840*bb8[4])/289 && bb3[6] == 0 && bb3[5] == 0 && 
     bb3[4] == -49796007/2312 - 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 + (37091381873*bb8[3])/
        156060 - (556622*bb8[4])/289 && bb3[3] == 10284595/578 + 15*bb6[19] + 
       (133*bb6[25])/8 + 240*bb7[5] - (146227*bb7[11])/1156 + 
       (288374123*bb7[12])/10404 + (465*bb7[13])/8 - (5411304599*bb8[3])/
        13005 + (1960809*bb8[4])/1156 && bb3[2] == -560*bb8[3] && 
     bb3[1] == (105*bb7[12])/2 + 1505*bb8[3] && EE == bb8[3]/27
