%s6:=sqrt(6);

a13 := 77591416320*a1^6*s6 + 65110407552*a1^5*b0 - 343384549344*a1^5*b1*s6 - 214574033664*a1^4*b0^2*s6 - 1084658542848*a1^4*b0*b1 + 495240044652*a1^4*b1^2*s6 - 618953467392*a1^3*b0^3 + 59995851552*a1^3*b0^2*b1*s6 + 1782026653968*a1^3*b0*b1^2 - 325584668628*a1^3*b1^3*s6 - 98037029376*a1^2*b0^4*s6 + 642627782784*a1^2*b0^3*b1 + 230489977896*a1^2*b0^2*b1^2*s6 - 1080958485096*a1^2*b0*b1^3 + 105084809187*a1^2*b1^4*s6 - 29504936448*a1*b0^5 + 95627128896*a1*b0^4*b1*s6 - 130189857408*a1*b0^3*b1^2 - 155744503512*a1*b0^2*b1^3*s6 + 270984738720*a1*b0*b1^4 - 15802409798*a1*b1^5*s6 + 19669957632*b0^5*b1 - 20179406208*b0^4*b1^2*s6 - 15425489664*b0^3*b1^3 + 25998124528*b0^2*b1^4*s6 - 22559067296*b0*b1^5 + 882415736*b1^6*s6; 

a26:= - 336481514097029557031870792120502095000371200000*a1^12 - 312664845838685759926875496121138143371789166080*a1^11*b0*s6 + 2707531102257916790830274835162868614452959964160*a1^11*b1 + 881672370839433476786423156840738295855777718272*a1^10*b0^2 + 3420393755119071511269646985435606358893601245952*a1^10*b0*b1*s6 - 8847143702353651476488653059467428966669079818752*a1^10*b1^2 + 1938648047082776924836191260530521800920323935232*a1^9*b0^3*s6 + 4313363179190008404040229812380896560249074620160*a1^9*b0^2*b1 - 12634923121930174613855836386857970825465281832384*a1^9*b0*b1^2*s6 + 15820797770239342734027225964423068037673113988352*a1^9*b1^3 + 6588672720879242434475329041285030507707084673024*a1^8*b0^4 - 5584922615828702572038660965345882116252119277056*a1^8*b0^3*b1*s6 - 32548993789565308208367990900695087163046465237248*a1^8*b0^2*b1^2 + 23914814970483466209254041797431016764796017863296*a1^8*b0*b1^3*s6 - 17245409359614290116386680045593657658474321487696*a1^8*b1^4 + 1807063323285608555094612713682362397912161734656*a1^7*b0^5*s6 - 25088819496866294697623402157272474334949810122240*a1^7*b0^4*b1 + 1736310950312807626289876434413540841446413752704*a1^7*b0^3*b1^2*s6 + 74485597826844217829998578020526139915044547011936*a1^7*b0^2*b1^3 - 26838800928232141976809511002559991534700711198872*a1^7*b0*b1^4*s6 + 11849333824604025501860712395436030236864369451816*a1^7*b1^5 + 1366768016264486047505162885638570318301903831040*a1^6*b0^6 - 7530825137516984647846881395512100887593565513728*a1^6*b0^5*b1*s6 + 34373520176086728131013276237637529464540930140288*a1^6*b0^4*b1^2 + 11725460495647769124314677039516409110390893468864*a1^6*b0^3*b1^3*s6 - 89101339797869778920540924438367528069771042731904*a1^6*b0^2*b1^4 + 18921216956586802353433894933335583082308282701372*a1^6*b0*b1^5*s6 - 4974857965606550921859409968807238595348188043712*a1^6*b1^6 - 9527001956540319014228424482414799046147547136*a1^5*b0^7*s6 - 6659723181107264618624564426705986326289696382976*a1^5*b0^6*b1 + 11716981179043759700596091170878921924056582034432*a1^5*b0^5*b1^2*s6 - 17594647073144355168410052694784876705378560114368*a1^5*b0^4*b1^3 - 20053606730300361540414736852121973557631160162128*a1^5*b0^3*b1^4*s6 + 63452295795663591797970839181839434325287514308152*a1^5*b0^2*b1^5 - 8443442477408294633791984647737178376377124875846*a1^5*b0*b1^6*s6 + 1049567457119390152461139029226796233260657896994*a1^5*b1^7 - 157380236695796614627430900360254171523980640256*a1^4*b0^8 - 359686502013927752316938710160487706375853752320*a1^4*b0^7*b1*s6 + 10826929587188325239588224348514505266584743816192*a1^4*b0^6*b1^2 - 8725741129948043794703902890666664325836865965056*a1^4*b0^5*b1^3*s6 - 3394787273931367042339295056415568463026272761920*a1^4*b0^4*b1^4 + 15395555786404316424958058184742679965907825277528*a1^4*b0^3*b1^5*s6 - 27888962156857251036488934227679248932983541729080*a1^4*b0^2*b1^6 + 2276103777228123650998063668845517969751609494189*a1^4*b0*b1^7*s6 + 45005523127576269479004927107815481672701405263*a1^4*b1^8 - 20226875664841075740528474431961843699329359872*a1^3*b0^9*s6 + 147022449816137182716024721896888659802943408128*a1^3*b0^8*b1 + 745568851375667808977521840225137168423079302144*a1^3*b0^7*b1^2*s6 - 8160692472243931204745075818198612593445523217408*a1^3*b0^6*b1^3 + 3086297046025846748804615787580722557616061279488*a1^3*b0^5*b1^4*s6 + 8158594067864811021753862759677348770021815877856*a1^3*b0^4*b1^5 - 6552657522562437220048798055650162198695230762304*a1^3*b0^3*b1^6*s6 + 7432108905137010404086363313654049582907549694928*a1^3*b0^2*b1^7 - 309297756910566754478804014335241563877801467576*a1^3*b0*b1^8*s6 - 88786354099435095104174416833283764360083788314*a1^3*b1^9 - 6539542312003125901491542782091990528426508288*a1^2*b0^10 + 25815952567509684870362851809989604113082900480*a1^2*b0^9*b1*s6 + 41520569521510511390370874187870428412959354368*a1^2*b0^8*b1^2 - 548614397645991833164823027012081553167739568128*a1^2*b0^7*b1^3*s6 + 3045980846405414863228714598670580041136824951936*a1^2*b0^6*b1^4 - 321128169457004724754387895640044248607769788544*a1^2*b0^5*b1^5*s6 - 3803359549984589240812376090886321854914864146120*a1^2*b0^4*b1^6 + 1568942332725630749790030936005182669870614326496*a1^2*b0^3*b1^7*s6 - 1106121237095068976535343997705616255308542657476*a1^2*b0^2*b1^8 + 1626765697376925008802712711581537982982050632*a1^2*b0*b1^9*s6 + 22784005681535225547588141258446835857956308324*a1^2*b1^10 - 129796048756745738762021797452224940668436480*a1*b0^11*s6 + 6942238163752004273996622978148098603964329984*a1*b0^10*b1 - 9207081814472119756369596544432109148153729024*a1*b0^9*b1^2*s6 - 70705445884395228950656011672392938418278228992*a1*b0^8*b1^3 + 171148682235769449469836229741367542525879617792*a1*b0^7*b1^4*s6 - 516959455846616871208235186989696608401024072256*a1*b0^6*b1^5 - 77991119474436163245342350583058415085229968576*a1*b0^5*b1^6*s6 + 767903199818834207099238282542825622844994765952*a1*b0^4*b1^7 - 192942938283592667970185586791543533233666806304*a1*b0^3*b1^8*s6 + 72770262312122635527618898129912411791032012424*a1*b0^2*b1^9 + 4709669476733042169015768546250908572045784008*a1*b0*b1^10*s6 - 2601317462521250837600845389655510929463270008*a1*b1^11 + 86530699171163825841347864968149960445624320*b0^11*b1*s6 - 1721695526055502448668174082280069945564438528*b0^10*b1^2 + 657446191448538633130604130948054255718785024*b0^9*b1^3*s6 + 16208624278128609902918200491168174825105383424*b0^8*b1^4 - 18876019408221369378706942904798052666751575552*b0^7*b1^5*s6 + 27210544720222202733825242435449063241543659392*b0^6*b1^6 + 16264772143046688670546750572365989768746304128*b0^5*b1^7*s6 - 57741318266166891077064741545102147494804181472*b0^4*b1^8 + 9024180565286606070827857539141099166471531968*b0^3*b1^9*s6 - 544641752848020871516528132253528433254597664*b0^2*b1^10 - 391330840013163601190658771988415684857926816*b0*b1^11*s6 + 115146419883169797388214778632282919001640448*b1^12;

end;