16*a(5)-64*a(6)-1,
16*a(4)-80*a(6)-5,
8*a(3)-5,
8*a(2)+40*a(6)-5,
16*a(1)+64*a(6)-5,
16*a(0)+16*a(6)-1,
b(1)+2*b(2)+3*b(3)+4*b(4)+5*b(5)+6*b(6),
b(0)-b(2)-2*b(3)-3*b(4)-4*b(5)-5*b(6),
c(6),
c(5),
c(1)+2*c(2)+3*c(3)+4*c(4),
c(0)-c(2)-2*c(3)-3*c(4),
1024*a(6)^2-64*a(6)-5,
64*b(6)*a(6)-5*b(5)+16*b(6),
16*b(5)*a(6)-5*b(5)+15*b(6),
32*b(3)*a(6)+64*b(4)*a(6)-76*b(2)-139*b(3)-202*b(4)-225*b(5)-450*b(6),
64*b(2)*a(6)-64*b(4)*a(6)+274*b(2)+501*b(3)+728*b(4)+900*b(5)+1350*b(6),
512*b(3)*b(6)+1024*b(4)*b(6)+1536*b(5)*b(6)+2048*b(6)^2+32*a(6)-15,
1024*b(2)*b(6)-1024*b(4)*b(6)-2048*b(5)*b(6)-3072*b(6)^2-128*a(6)+55,
5*b(5)^2-36*b(5)*b(6)+60*b(6)^2,
1280*b(3)*b(5)+2560*b(4)*b(5)+32768*b(5)*b(6)-46080*b(6)^2-160*a(6)-115,
640*b(2)*b(5)-640*b(4)*b(5)-11136*b(5)*b(6)+15360*b(6)^2+120*a(6)+105,
18105344*b(2)*b(4)+30877696*b(3)*b(4)+44331008*b(4)^2+56601600*b(4)*b(5)+71946240*b(4)*b(6)-11786240*b(5)*b(6)+5222400*b(6)^2-465600*a(6)+243575,
167701597382921*c(2)*b(4)+400467217095071*c(3)*b(4)+721130792270078*c(4)*b(4)-248484364028355*c(2)*b(5)-619899904989630*c(3)*b(5)-640204357783420*c(4)*b(5)+13396111737595*c(2)*b(6)+220711959434155*c(3)*b(6)+223332011504670*c(4)*b(6),
332685696*b(3)^2+919071232*b(3)*b(4)+887783936*b(4)^2+23828480*b(4)*b(5)-656486400*b(4)*b(6)-17057735168*b(5)*b(6)+14187809280*b(6)^2-70543840*a(6)+48893665,
1330742784*b(2)*b(3)-2610894848*b(3)*b(4)-5529153536*b(4)^2-7237954560*b(4)*b(5)-6731320320*b(4)*b(6)-513319424*b(5)*b(6)+16882083840*b(6)^2+516429280*a(6)+162117345,
8826399862259*c(4)*b(3)+658889946365*c(3)*b(4)+14890044640600*c(4)*b(4)+1377896894325*c(2)*b(5)+1206588229500*c(3)*b(5)+20558503770740*c(4)*b(5)-16971300115150*c(2)*b(6)-28950381441835*c(3)*b(6)-16533970160140*c(4)*b(6),
185354397107439*c(3)*b(3)+435047514468700*c(3)*b(4)+617203793182868*c(4)*b(4)-86231389412210*c(2)*b(5)-159593818778580*c(3)*b(5)-152381210687960*c(4)*b(5)-792566374133180*c(2)*b(6)-446951363286400*c(3)*b(6)-1290342849966540*c(4)*b(6),
24652134815289387*c(2)*b(3)-88312091553303450*c(3)*b(4)-213632453401319308*c(4)*b(4)+34899574296126470*c(2)*b(5)+41675152520411180*c(3)*b(5)-70837484315623560*c(4)*b(5)+259283099406865960*c(2)*b(6)+256626850228235550*c(3)*b(6)+315928434791074740*c(4)*b(6),
443580928*b(2)^2-622751744*b(3)*b(4)+145289216*b(4)^2+1358387200*b(4)*b(5)+1756247040*b(4)*b(6)+26152007680*b(5)*b(6)-28305523200*b(6)^2-90937600*a(6)-447660275,
167701597382921*c(4)*b(2)-27072722076939*c(3)*b(4)-89310199846750*c(4)*b(4)-56560593456675*c(2)*b(5)-53108028150955*c(3)*b(5)-172626317589520*c(4)*b(5)+627060770638730*c(2)*b(6)+1078702457426895*c(3)*b(6)+1424818855830435*c(4)*b(6),
24652134815289387*c(3)*b(2)-38145417592990302*c(3)*b(4)-140730674461436884*c(4)*b(4)+17639092704765770*c(2)*b(5)+109363463462317940*c(3)*b(5)+26017296553148100*c(4)*b(5)+198386473104119740*c(2)*b(6)+243218821155532005*c(3)*b(6)+353295914913871620*c(4)*b(6),
8217378271763129*c(2)*b(2)+136018337034496*c(3)*b(4)+29900275336583912*c(4)*b(4)+36358573486860030*c(2)*b(5)+55617800178119880*c(3)*b(5)+120765938888090920*c(4)*b(5)-111314787353027315*c(2)*b(6)-173899132423585240*c(3)*b(6)-208235080525669080*c(4)*b(6),
35260157440*c(4)^2+23920775168*b(3)*b(4)+31116058112*b(4)^2+82463119360*b(4)*b(5)+78318366720*b(4)*b(6)+165823176704*b(5)*b(6)-241922224640*b(6)^2-4848935680*a(6)-2848524795,
8815039360*c(3)*c(4)-3145348224*b(3)*b(4)+2072049664*b(4)^2-14786441600*b(4)*b(5)-3899025920*b(4)*b(6)-74096548992*b(5)*b(6)+138591191040*b(6)^2+1322587920*a(6)+219081235,
35260157440*c(2)*c(4)-36213537792*b(3)*b(4)-90478737408*b(4)^2-98288811520*b(4)*b(5)-132317250560*b(4)*b(6)+188776879104*b(5)*b(6)-287353006080*b(6)^2+9280379360*a(6)+3391693655,
1295810785920*c(3)^2-63428498944*b(3)*b(4)-4067101031936*b(4)^2-3520462814720*b(4)*b(5)-6663158138880*b(4)*b(6)-14922274676224*b(5)*b(6)+7657535562240*b(6)^2+533832801280*a(6)+190584249395,
2591621571840*c(2)*c(3)+1568363766784*b(3)*b(4)+11377209112576*b(4)^2+22706810534400*b(4)*b(5)+27512662133760*b(4)*b(6)+132639301227520*b(5)*b(6)-147629342423040*b(6)^2-2398645004960*a(6)-1197862931325,
277238080*c(2)^2+389219840*b(3)*b(4)-90805760*b(4)^2-1957944320*b(4)*b(5)-2761082880*b(4)*b(6)-27656318464*b(5)*b(6)+28503237120*b(6)^2+56836000*a(6)+135212345,
4055597056*b(4)^2*a(6)-2852091392*b(3)*b(4)-4768092160*b(4)^2-6696176640*b(4)*b(5)-12723317760*b(4)*b(6)-35708235776*b(5)*b(6)+65211432960*b(6)^2+637306720*a(6)+321293655,
564889591184576*c(4)*b(4)*a(6)-56996780364111*c(3)*b(4)-243876324614488*c(4)*b(4)-30436768395775*c(2)*b(5)+4064784411780*c(3)*b(5)+64047353699655*c(4)*b(5)+220544890542570*c(2)*b(6)+482087518447185*c(3)*b(6)-319682349537840*c(4)*b(6),
22856804267584*c(3)*b(4)*a(6)+8439277896868*c(3)*b(4)+35003649043964*c(4)*b(4)+1411347913850*c(2)*b(5)-16214870382915*c(3)*b(5)-7494017252040*c(4)*b(5)-21987357309140*c(2)*b(6)-21520940057820*c(3)*b(6)+39363309865980*c(4)*b(6),
48704512*b(4)*b(6)^2+49240064*b(5)*b(6)^2+470200320*b(6)^3-3659712*b(4)*a(6)-2052855*b(2)-3584595*b(3)-4634500*b(4)-4899425*b(5)-19595660*b(6),
10123716348738497536*c(2)*b(6)^2+24025079090939196416*c(3)*b(6)^2+36680579972354598912*c(4)*b(6)^2-13564485987143616*c(2)*a(6)+147719526757872384*c(3)*a(6)+255506920531473408*c(4)*a(6)-2610273709783845*c(2)-36190507246308345*c(3)-80065330507482890*c(4),
243522560*b(4)*b(5)*b(6)+4123643904*b(5)*b(6)^2-2954403840*b(6)^3-42356800*b(4)*a(6)-15221850*b(2)-25390575*b(3)-28993600*b(4)-39855850*b(5)-160815750*b(6),
50618581743692487680*c(4)*b(5)*b(6)-109657747577653320704*c(3)*b(6)^2-460180224172592996352*c(4)*b(6)^2+3186812290427416640*c(2)*a(6)+4664856216405728384*c(3)*a(6)-16047434807453075648*c(4)*a(6)-443782705616508950*c(2)-457406879385118345*c(3)+2619106044709202440*c(4),
12654645435923121920*c(3)*b(5)*b(6)+23931608904501771264*c(3)*b(6)^2+170526716231072658432*c(4)*b(6)^2-1511008421724526240*c(2)*a(6)-2495723341754349744*c(3)*a(6)+7040979360084903168*c(4)*a(6)+237747509213569325*c(2)+235091516917971795*c(3)-1423042232503700565*c(4),
25309290871846243840*c(2)*b(5)*b(6)+85071259084056738816*c(3)*b(6)^2+24299680040003831808*c(4)*b(6)^2+1179238945772374240*c(2)*a(6)+3713611921380574464*c(3)*a(6)-4353801010788817408*c(4)*a(6)-347457779056614650*c(2)-553611117904591995*c(3)+1408765184424539390*c(4),
243522560*b(4)^2*b(6)-6294921216*b(5)*b(6)^2-6854369280*b(6)^3+204281600*b(4)*a(6)+45479595*b(2)+79101330*b(3)+77001815*b(4)+96463200*b(5)+566944215*b(6),
50618581743692487680*c(4)*b(4)*b(6)+161350198434720541696*c(3)*b(6)^2+910409968857548126208*c(4)*b(6)^2-6555994102682455360*c(2)*a(6)-11152292496052660416*c(3)*a(6)+33829342930000097792*c(4)*a(6)+946396779073753550*c(2)+1313896164815788155*c(3)-6955449454475956235*c(4),
50618581743692487680*c(3)*b(4)*b(6)+30106035446506924032*c(3)*b(6)^2-927004910936438575104*c(4)*b(6)^2+5535713372878257280*c(2)*a(6)+16929074464701238528*c(3)*a(6)-45191433945760164096*c(4)*a(6)-643916311030672900*c(2)-2668412297417192615*c(3)+8456274106225761180*c(4),
1217612800*b(4)^2*b(5)-260889010176*b(5)*b(6)^2+377695272960*b(6)^3+1799472000*b(4)*a(6)+289666650*b(2)+470513925*b(3)+143659200*b(4)+971359275*b(5)+4005951750*b(6),
126546454359231219200*c(4)*b(4)*b(5)+4167838384036795266048*c(3)*b(6)^2+15255987767135604455424*c(4)*b(6)^2-130403336241980735680*c(2)*a(6)-199676965537226150208*c(3)*a(6)+612843354119118215776*c(4)*a(6)+18922777483516863650*c(2)+21841862833604456265*c(3)-122763368374129893830*c(4),
3721954539977388800*c(3)*b(4)*b(5)-151849627718658948096*c(3)*b(6)^2-649501169239241422848*c(4)*b(6)^2+5577740562577511360*c(2)*a(6)+9185886409551850416*c(3)*a(6)-28173635825692935552*c(4)*a(6)-765249352838373550*c(2)-1207123622200668405*c(3)+5557807218757822410*c(4),
2196375994403840*b(4)^3+321598883212618752*b(5)*b(6)^2+143005562349511680*b(6)^3-10664121147376000*b(4)*a(6)-986841194820600*b(2)-1606110525057675*b(3)-946455102091375*b(4)-703846709557425*b(5)-19917083775591225*b(6),
2196375994403840*b(3)*b(4)^2+564437406572418048*b(5)*b(6)^2-1223984584262676480*b(6)^3+3377474879392000*b(4)*a(6)-1221090549530250*b(2)-2254714628283600*b(3)-2405082962615200*b(4)-6219832330247825*b(5)-3022793166389850*b(6),
228269277829156052133045760*c(4)*b(4)^2-7749154818542124205037764608*c(3)*b(6)^2-34282215736664561626141346304*c(4)*b(6)^2+281199085350531258699789280*c(2)*a(6)+484089203433043167471439968*c(3)*a(6)-1496834127183037833329992896*c(4)*a(6)-39914496041243834477446025*c(2)-54712179090895455939734565*c(3)+270977024353252581118805055*c(4),
45653855565831210426609152*c(3)*b(4)^2+762798941700918679994482176*c(3)*b(6)^2+5509687861568263634920439808*c(4)*b(6)^2-37502308558277752741786560*c(2)*a(6)-90073406440280108910034496*c(3)*a(6)+279588318345138085254948992*c(4)*a(6)+5252956069418087254689550*c(2)+7118242702356615909026755*c(3)-37989897881844276306218260*c(4),
24580547951169896448*b(6)^4+24350200411974656*b(3)*b(4)+35884998160215040*b(4)^2+39136276008197120*b(4)*b(5)+206318147911567360*b(4)*b(6)+383441673643342848*b(5)*b(6)-1042275553495059456*b(6)^2-6894388879013632*a(6)-2541175036458105,
12290273975584948224*b(5)*b(6)^3+26991411282234880*b(3)*b(4)+38488559516723200*b(4)^2+47295773938457600*b(4)*b(5)+228610607613772800*b(4)*b(6)+378048067462627840*b(5)*b(6)-1088603475823994880*b(6)^2-7645547493527360*a(6)-2762974013700525,
32525496781176696107467776*c(4)*b(6)^3-70767987421264856258417*c(3)*b(4)-197682766789436076057351*c(4)*b(4)-30657860669814244246800*c(2)*b(5)+31985466545303379387110*c(3)*b(5)+144343877631593082143690*c(4)*b(5)+240234331839053293309240*c(2)*b(6)+471010392044422627679555*c(3)*b(6)-874153194434902105785696*c(4)*b(6),
227678477468236872752274432*c(3)*b(6)^3+1602851689291792570915347*c(3)*b(4)+4715617834647601602230516*c(4)*b(4)+186862279754749592498400*c(2)*b(5)-1447764071196657283500250*c(3)*b(5)-1136254537972764034076760*c(4)*b(5)-2916177535299586541636960*c(2)*b(6)-7483601427564596082218652*c(3)*b(6)+6727900471500645448094820*c(4)*b(6)
;