DEGREE 3 WEIGHT 20

Scroll through or jump to chosen results (a jump may take some time due to page reload)
eigenvalues | standard Euler factors | spinor Euler factors | identified eigenforms | special values | congruences


DIMENSIONS
     dim M203)= 11
     dim S203) = 6


DETERMINING INDICES
Introduce the notation
    [a b c d e f]=
 
a d e
d b f
e f c
 
We use the following set of determining Fourier coefficient indices.
t1½ [0 0 0 0 0 0]
t2½ [2 0 0 0 0 0]
t3½ [2 2 0 1 0 0]
t4½ [2 2 0 0 0 0]
t5½ [4 4 0 2 0 0]
t6½ [2 2 2 1 1 1]
t7½ [2 2 2 1 0 0]
t8½ [2 2 2 0 0 0]
t9½ [2 2 4 0 1 1]
t10½ [4 4 4 2 2 2]
t11½ [4 4 4 2 0 0]


PULLBACK OF EISENSTEIN SERIES
Let E(6)20 denote the monic Eisenstein series of degree 6 and weight 20.
The rescaled Eisenstein series
     E(6)20 = 107441973609722531026066150430595653959970701892533/525311474688000 E(6)20
has rational Fourier coefficients that are near-integers in that their denominator prime factors are at most 39.
Consider the Witt map W3,3 and the pullback W*3,3E(6)20 ∈ M203) ⊗ M203).
The columns of the 11 x 11 matrix [a(ti x tj; W*3,3E(6)20)] are determining truncations of an M203)-basis gt1,...,gt11. Each gt is the cofficient function of e(tr(t,z)) in the Fourier expansion of W*3,3E(6)20(w,z). For convenience let gj = gtj for j=1,...,11. The basis elements g1,...,g11 are not Hecke eigenforms. The matrix [a(ti x tj; W*3,3E(6)20)] is as follows (switch to factored form).
t1t2t3t4t5t6t7t8t9t10t11
t1 107441973609722531026066150430595653959970701892533/525311474688000615321907610187966543151063968453613804231703/39796323840264195112842425041846621723344923428337/374025609595831481772000639515348360087185449988643/66327206405032696825119199307118285593825244988604045279/5184291280975644197723291719047987179/4617603020543815926817486737415333236911/324031749626345217551838797376230602511/192158364091725227114012155948506278006819/6482181834354986717166210146329334315192287573775/1923627579677161446691778857680400768872598272476513/216
t2 615321907610187966543151063968453613804231703/397963238405369920880463069239218515954686284739016235/1658180166750755822582385467667278492223955165/155844164603669565862454735412205366854286062535/276363368478481119794415441494043507559912210270175/10814800997593804797647491706539855/1924205445380877779194617871674821190/274063383256736165312583597312925775/427211469672159315174751875189387474950/273914851965625727871051853636595536555784975/412485912274047134428750939043429097859601581250/9
t3 264195112842425041846621723344923428337/374025606750755822582385467667278492223955165/1558443303361310179718243722776835345401710/38961294859472024821093979655927096480865/259741112103292290918124507993016419613383450/2714565314577699417142840390354970/481302336036526335669160716794583440/27270655912910659774689775371865043554580818949583924404111633658000/275891158679376525071356829604917527634506803645634517625300097672042351354289425200/9
t4 9595831481772000639515348360087185449988643/6632720640164603669565862454735412205366854286062535/27636336294859472024821093979655927096480865/2597459582689016135799765420361793221697202835/4606056141091558941875303262159601441087002401675/1817431863978797814738750178265265/962223247552774542642052745884230780/98506494711413247232940820204267825/219797697444279022569234115998707323900/9207420023001820026188214140346198275053425/2424497320514295622791924232658183456070860500/3
t5 5032696825119199307118285593825244988604045279/51848478481119794415441494043507559912210270175/1081112103292290918124507993016419613383450/27141091558941875303262159601441087002401675/1841480270078496421067849925946993818644630221094750/9449726962880091832120699413965625051950855023801443927901333898448964400/995396015731754890615735434028713391545011919796457337031610260236978710799962436400/953961014522934188861481984987454144224233431707450239207261832504999872226721411299987739136422735075600/3
t6 291280975644197723291719047987179/46176014800997593804797647491706539855/192414565314577699417142840390354970/48117431863978797814738750178265265/962449726962880091832120699413965625014567172959708471745265109919390/4815909818335285758073249271440988298079332974956909521235039393029236229443335961284612007831583431056891925298260041601395086903637646536155447269162123814586000
t7 3020543815926817486737415333236911/3240205445380877779194617871674821190/27302336036526335669160716794583440/27223247552774542642052745884230780/951950855023801443927901333898448964400/95909818335285758073249271440218022120188802215587833802175360/91139316244592465460815678103720032022613165223178234953886621078400/986959309996839238797548171768705926800324663138490150240238420854120735288182400/3
t8 31749626345217551838797376230602511/1924063383256736165312583597312925775/427065591291065977468977537186508506494711413247232940820204267825/295396015731754890615735434028713391545098829807933297495690952123501139316244592465460815678103720096708893178712006086413265274027507680871260922702441275319298948292001335459296268383939606545639508079493875017590342933030901309253513011932852444448400
t9 158364091725227114012155948506278006819/64827211469672159315174751875189387474950/2743554580818949583924404111633658000/2719797697444279022569234115998707323900/911919796457337031610260236978710799962436400/9393930292362294433359612846120032022613165223178234953886621078400/97680871260922702441275319298948292003426866670960178563667821499656212220800/91752981035227282497475050986682398510103720071730902479191067412204143519074994049349699200/3
t10 2181834354986717166210146329334315192287573775/1923914851965625727871051853636595536555784975/4589115867937652507135682960491752763450207420023001820026188214140346198275053425/25396101452293418886148198498745414422423343170745078315834310568919252982600416013950869593099968392387975481717687059268001335459296268383939606545639508079493875017529810352272824974750509866823985101037200631966799702930221960020058719598650643586155386750933601996119579506973880050984669957070708865236256400
t11 3627579677161446691778857680400768872598272476513/21612485912274047134428750939043429097859601581250/96803645634517625300097672042351354289425200/9424497320514295622791924232658183456070860500/3239207261832504999872226721411299987739136422735075600/386903637646536155447269162123814586000324663138490150240238420854120735288182400/31759034293303090130925351301193285244444840071730902479191067412204143519074994049349699200/39336019961195795069738800509846699570707088652362564001379481318477809290863490308680858526293275106987806332800


EIGENFORM NUMBER FIELD GENERATORS
  • a = Sqrt[63737521]
  • b1 = Root[-4382089113600+893191104 #1-54971 #1^2+#1^3&,1]
  • b2 = Root[-4382089113600+893191104 #1-54971 #1^2+#1^3&,2]
  • b3 = Root[-4382089113600+893191104 #1-54971 #1^2+#1^3&,3]

  • INDICES FOR COMPUTING HECKE ACTION
    Fourier coefficients for the following indices are needed to determine the action of the Hecke operator T(2) at the determining indices t1,...,t11 and also the action of Ti(4) for i=0,1,2,3 at t6.
    u1½ [0 0 0 0 0 0]
    u2½ [2 0 0 0 0 0]
    u3½ [4 0 0 0 0 0]
    u4½ [2 2 0 0 0 0]
    u5½ [2 6 0 0 0 0]
    u6½ [2 2 0 1 0 0]
    u7½ [4 4 0 0 0 0]
    u8½ [4 4 0 2 0 0]
    u9½ [8 8 0 4 0 0]
    u10½ [2 2 2 1 1 1]
    u11½ [2 2 2 1 0 0]
    u12½ [2 2 2 0 0 0]
    u13½ [2 2 4 0 1 1]
    u14½ [2 2 4 0 0 0]
    u15½ [2 2 6 1 1 1]
    u16½ [2 2 6 0 0 0]
    u17½ [2 2 8 1 0 0]
    u18½ [2 4 4 1 1 1]
    u19½ [4 4 4 2 2 2]
    u20½ [4 4 4 2 0 0]
    u21½ [2 6 6 0 0 2]
    u22½ [4 4 4 0 0 0]
    u23½ [2 6 8 0 0 0]
    u24½ [2 8 8 0 0 4]
    u25½ [4 4 8 0 2 2]
    u26½ [8 8 8 4 4 4]
    u27½ [8 8 8 4 0 0]


    EIGENFORM BASIS FROM PULLBACK-GENUS BASIS
    The M203) eigenform basis f1,...,f11 comprises algebraic integer linear combinations of the rational near-integer non-eigenform basis g1,...,g11 from above. Specifically fi = Σj=111 bi,jgj for each i, where the matrix (bi,j) is as follows.
    g1g2g3g4g5g6g7g8g9g10g11
    f1 10000000000
    f2 -13200174611000000000
    f3 -123673711558895794707809982652851940872000-1684161178678974339285015858117048000*a-3514453979357044959995394537031737687168+64888441581477656256500830853570688*a39446746505262288436494712064467640258784+3013639463435544100367619440701671456*a-4370710298809734921051925209258991792536-678822249162982050400754408283392424*a52235315139895711454259444509683393/2+(709547342997564447214140524087*a)/2000000
    f4 -123673711558895794707809982652851940872000+1684161178678974339285015858117048000*a-3514453979357044959995394537031737687168-64888441581477656256500830853570688*a39446746505262288436494712064467640258784-3013639463435544100367619440701671456*a-4370710298809734921051925209258991792536+678822249162982050400754408283392424*a52235315139895711454259444509683393/2-(709547342997564447214140524087*a)/2000000
    f5 -23866128000-796883712-4207339584-1241295845041000000
    f6 -17322788530107964020847050048607119494201376000000/7+(2494737286123631219652841680724386774166304000*b1)/7-(62941307888519510737340208439260447328000*b1^2)/7-7209504483781321748230647083576907870198593694720/7+(14915314021651995300498498459200167478900194048*b1)/105-(376363897422967065700870162954448511585536*b1^2)/105-18111349196077947466123946010572480999215134720+(12622668293719106853653232358667246123279936*b1)/5-(324441937229963787741505966746623157952*b1^2)/5-88342218144971179197317895707632340840856080640/7+(216187359982584724688343795855680090447977456*b1)/105-(5833654550930426311887852037066420912592*b1^2)/105-129289399627877107404698835387751964851005250/7+(12782774284235136726026384491627717419563401*b1)/5040-(322558898458894675661590410108933048107*b1^2)/5040-231732632703937702038087621618407270326330229760+52665769223058988834105855852354625449956824*b1-1411910689822835542175559811448993630728*b1^2-85685407856894449856516425862255506803265751040+(34247555044204763963046279895370112655500352*b1)/3-(834859640175228289337827163573426389184*b1^2)/39553703799314240967232222299768151413929984000-(11944781940427015147689923527392385111632616*b1)/9+(302905951095237942472385624799762733112*b1^2)/9-162550708066993218979278099824542952493077760+(307206088446135907353496247579149647343277*b1)/15-(7440883847033196415091300874693960439*b1^2)/15-62968691402300612457937370945196367106030+(6303801954995561690909585062765129276007*b1)/720-(159062442666676234898247664265603749*b1^2)/7201141367625173365906204906017360670206655-(45217993480208769217049267536299493327*b1)/288+(1141017908499434811863904881016029*b1^2)/288
    f7 -17322788530107964020847050048607119494201376000000/7+(2494737286123631219652841680724386774166304000*b2)/7-(62941307888519510737340208439260447328000*b2^2)/7-7209504483781321748230647083576907870198593694720/7+(14915314021651995300498498459200167478900194048*b2)/105-(376363897422967065700870162954448511585536*b2^2)/105-18111349196077947466123946010572480999215134720+(12622668293719106853653232358667246123279936*b2)/5-(324441937229963787741505966746623157952*b2^2)/5-88342218144971179197317895707632340840856080640/7+(216187359982584724688343795855680090447977456*b2)/105-(5833654550930426311887852037066420912592*b2^2)/105-129289399627877107404698835387751964851005250/7+(12782774284235136726026384491627717419563401*b2)/5040-(322558898458894675661590410108933048107*b2^2)/5040-231732632703937702038087621618407270326330229760+52665769223058988834105855852354625449956824*b2-1411910689822835542175559811448993630728*b2^2-85685407856894449856516425862255506803265751040+(34247555044204763963046279895370112655500352*b2)/3-(834859640175228289337827163573426389184*b2^2)/39553703799314240967232222299768151413929984000-(11944781940427015147689923527392385111632616*b2)/9+(302905951095237942472385624799762733112*b2^2)/9-162550708066993218979278099824542952493077760+(307206088446135907353496247579149647343277*b2)/15-(7440883847033196415091300874693960439*b2^2)/15-62968691402300612457937370945196367106030+(6303801954995561690909585062765129276007*b2)/720-(159062442666676234898247664265603749*b2^2)/7201141367625173365906204906017360670206655-(45217993480208769217049267536299493327*b2)/288+(1141017908499434811863904881016029*b2^2)/288
    f8 -17322788530107964020847050048607119494201376000000/7+(2494737286123631219652841680724386774166304000*b3)/7-(62941307888519510737340208439260447328000*b3^2)/7-7209504483781321748230647083576907870198593694720/7+(14915314021651995300498498459200167478900194048*b3)/105-(376363897422967065700870162954448511585536*b3^2)/105-18111349196077947466123946010572480999215134720+(12622668293719106853653232358667246123279936*b3)/5-(324441937229963787741505966746623157952*b3^2)/5-88342218144971179197317895707632340840856080640/7+(216187359982584724688343795855680090447977456*b3)/105-(5833654550930426311887852037066420912592*b3^2)/105-129289399627877107404698835387751964851005250/7+(12782774284235136726026384491627717419563401*b3)/5040-(322558898458894675661590410108933048107*b3^2)/5040-231732632703937702038087621618407270326330229760+52665769223058988834105855852354625449956824*b3-1411910689822835542175559811448993630728*b3^2-85685407856894449856516425862255506803265751040+(34247555044204763963046279895370112655500352*b3)/3-(834859640175228289337827163573426389184*b3^2)/39553703799314240967232222299768151413929984000-(11944781940427015147689923527392385111632616*b3)/9+(302905951095237942472385624799762733112*b3^2)/9-162550708066993218979278099824542952493077760+(307206088446135907353496247579149647343277*b3)/15-(7440883847033196415091300874693960439*b3^2)/15-62968691402300612457937370945196367106030+(6303801954995561690909585062765129276007*b3)/720-(159062442666676234898247664265603749*b3^2)/7201141367625173365906204906017360670206655-(45217993480208769217049267536299493327*b3)/288+(1141017908499434811863904881016029*b3^2)/288
    f9 28369879025955120448572981760128000+1713849775081040077642541952000*a4526421489183642268309022718853632+763658765671805407915273317888*a143457790759471388817479871396864+16544972284515548764900402176*a312160523551867374085436811583104+64631386062717706229231742336*a68168383177532163354609150819+13777736332849233230982021*a-30894320849506804162257483082210560-3263180234312655865731542711040*a-178033897931463945711219807014400+39900942817408889878133030400*a40321067744016359516487412115712+5891347726486051065622564608*a-1061237048746119890597528381664-229608336474035843967545376*a358351010051811385680832563+46111876479909187416117*a-9065389213552223437338611/2-(1698427560025511583349*a)/2
    f10 28369879025955120448572981760128000-1713849775081040077642541952000*a4526421489183642268309022718853632-763658765671805407915273317888*a143457790759471388817479871396864-16544972284515548764900402176*a312160523551867374085436811583104-64631386062717706229231742336*a68168383177532163354609150819-13777736332849233230982021*a-30894320849506804162257483082210560+3263180234312655865731542711040*a-178033897931463945711219807014400-39900942817408889878133030400*a40321067744016359516487412115712-5891347726486051065622564608*a-1061237048746119890597528381664+229608336474035843967545376*a358351010051811385680832563-46111876479909187416117*a-9065389213552223437338611/2+(1698427560025511583349*a)/2
    f11 190165307904000-1847079788350464-82320894931968-32587262742528-36536803518-7007474440350720217025197240320-12962395367040-204454185600-912741902173195


    EIGENVALUES
    The T(2) and Ti(4) (i=0,1,2,3) eigenvalues of the eigenforms are shown in the following table.
    f λ2(f) λ0,4(f) λ1,4(f) λ2,4(f) λ3,4(f)
    f1 1801463902856806532452072009481628538123930822246521664012669578812292002611202066037306610371526656281474976710656
    f2 15668220002760-682966125587237653199770560309481987324332198462750720885442075367357546496281474976710656
    f3 90339705936-6291504*a5570371796636818395648-163954714123279872*a228849019758468661248-324260417085898752*a295148623108906156032-618475290624*a281474976710656
    f4 90339705936+6291504*a5570371796636818395648+163954714123279872*a228849019758468661248+324260417085898752*a295148623108906156032+618475290624*a281474976710656
    f5 -11022715008020935108578662852198401876399758014278533120295151765581857816576281474976710656
    f6 10944*b1-125204137833922560+11899911536640*b1-333213696*b1^287934816820920320-7059013632000*b1+150994944*b1^2-11773295632318464+618475290624*b1281474976710656
    f7 10944*b2-125204137833922560+11899911536640*b2-333213696*b2^287934816820920320-7059013632000*b2+150994944*b2^2-11773295632318464+618475290624*b2281474976710656
    f8 10944*b3-125204137833922560+11899911536640*b3-333213696*b3^287934816820920320-7059013632000*b3+150994944*b3^2-11773295632318464+618475290624*b3281474976710656
    f9 -363914496+25344*a29263117797163008-4495071117312*a30351506075025408-1557965832192*a1003785396682752-618475290624*a281474976710656
    f10 -363914496-25344*a29263117797163008+4495071117312*a30351506075025408+1557965832192*a1003785396682752+618475290624*a281474976710656
    f11 4716288013608666228326407864145852497920-4048539252424704281474976710656


    EIGENFORM FOURIER COEFFICIENTS
    The eigenform Fourier coefficients at the indices ui are as follows (switch to factored denominator form).
    ua(u; f1)a(u; f2)a(u; f3)a(u; f4)a(u; f5)a(u; f6)a(u; f7)a(u; f8)a(u; f9)a(u; f10)a(u; f11)
    u1 107441973609722531026066150430595653959970701892533/5253114746880000000000000
    u2 615321907610187966543151063968453613804231703/397963238403831758538274897591784149796692536273085110/703000000000
    u3 107535502539679279596980709392318858909268945111389/1326544128091962204918597542202819595120620870554042640/37000000000
    u4 9595831481772000639515348360087185449988643/6632720640717690288336064027488596775323234598695460/703-973284976155142030303384857817435121208727668573991294217784360960000000000/19-(152304955239236756143508567176463034208658156670003940986224640000000000*a)/19-973284976155142030303384857817435121208727668573991294217784360960000000000/19+(152304955239236756143508567176463034208658156670003940986224640000000000*a)/19-1414396037808558912447212627011357900800000000000
    u5 36310769078907701071518090877839053529563790738929/3740256012663016014225149063345722725122597676281052949680/37-223341756488886127906803131440595837438074135667640668403703291576320000000000-118767673195675114137451951955506132174509186521053000253445242880000000000*a-223341756488886127906803131440595837438074135667640668403703291576320000000000+118767673195675114137451951955506132174509186521053000253445242880000000000*a-144562590232337189323404708181576868324966400000000000
    u6 264195112842425041846621723344923428337/37402560276406812376685548811321692787689042440/373344876432667102570653690336573262785008625885505555426707005440000000000+253336863252654290267758658696348345534877631094272360488960000000000*a3344876432667102570653690336573262785008625885505555426707005440000000000-253336863252654290267758658696348345534877631094272360488960000000000*a-353599009452139728111803156752839475200000000000
    u7 1318846067537306558767147498754370544674796877301068323/663272064085603209607005452877193209247131522236369318268960/70350283599686168513457888270920773989685914164327703186552343090576752640000000000/19-(18329939867768330253256313763024358536088466724327061025471059722240000000000*a)/1950283599686168513457888270920773989685914164327703186552343090576752640000000000/19+(18329939867768330253256313763024358536088466724327061025471059722240000000000*a)/191560225926890772570556170037706736945804083200000000000
    u8 5032696825119199307118285593825244988604045279/51848930040731541006036776656721907542507534544001530336818641283744656078867740726961588528312592295975153659176550400000000000+14053804165332498398450699695084949209280736930100867082590617600000000000*a1530336818641283744656078867740726961588528312592295975153659176550400000000000-14053804165332498398450699695084949209280736930100867082590617600000000000*a297362622988871425752901982702867885064192000000000000
    u9 4990533139341652135412026366707943061308958560568501721794033/37402560-6008961961046342722487734171828551960093508016892157440/37727687671396260877910298955356930520733152102890401075898315026991740354560000000000-5185490337003979426597864233332054342846995247677452289927879285800960000000000*a727687671396260877910298955356930520733152102890401075898315026991740354560000000000+5185490337003979426597864233332054342846995247677452289927879285800960000000000*a-87783146659285993424375795434173689677145230540800000000000
    u10 291280975644197723291719047987179/46176049392241099834973985483265826756280/371127708274939220414352823727839775760774142234008550834610176000000000+79988729877618676479524300636556806427614204405631442944000000000*a1127708274939220414352823727839775760774142234008550834610176000000000-79988729877618676479524300636556806427614204405631442944000000000*a-128167524348404380989325857128448000000-7138232385576367464624841473651551596101068959775745739262045611622400000000+1608829883330774682344591920524154132865152165889278394156816793600000000*b1-43069115455769722584363389030317503749195520049488426801561600000000*b1^2-7138232385576367464624841473651551596101068959775745739262045611622400000000+1608829883330774682344591920524154132865152165889278394156816793600000000*b2-43069115455769722584363389030317503749195520049488426801561600000000*b2^2-7138232385576367464624841473651551596101068959775745739262045611622400000000+1608829883330774682344591920524154132865152165889278394156816793600000000*b3-43069115455769722584363389030317503749195520049488426801561600000000*b3^2-937028397471318220949967613962893847106554534297600000000000000-99034803247766498521580875853970982528509542400000000000000*a-937028397471318220949967613962893847106554534297600000000000000+99034803247766498521580875853970982528509542400000000000000*a-211651687003412582437755439068217344000000000
    u11 3020543815926817486737415333236911/32401316324577062887149180743530575805440342014144772462293091827563492889340695295878090196636994830336000000000+17878765009319115886520927689122585846350052523993686933504000000000*a342014144772462293091827563492889340695295878090196636994830336000000000-17878765009319115886520927689122585846350052523993686933504000000000*a-49406207163636770271737167444180992000000-1776252521006238466739524387666011177179936634174650791529918272792166400000000+237098907014152702552643529787945180939770790387011251981925325209600000000*b1-5773412156097984529295802323198492331664321652334580932909465600000000*b1^2-1776252521006238466739524387666011177179936634174650791529918272792166400000000+237098907014152702552643529787945180939770790387011251981925325209600000000*b2-5773412156097984529295802323198492331664321652334580932909465600000000*b2^2-1776252521006238466739524387666011177179936634174650791529918272792166400000000+237098907014152702552643529787945180939770790387011251981925325209600000000*b3-5773412156097984529295802323198492331664321652334580932909465600000000*b3^2-3453577660492055302968510664493419835147662078771200000000000000+1030955938338132276531267257206882749577691136000000000000000*a-3453577660492055302968510664493419835147662078771200000000000000-1030955938338132276531267257206882749577691136000000000000000*a5079640488081901978506130537637216256000000000
    u12 31749626345217551838797376230602511/192175195066649255933659966307985966702000-17588896806489825607327918627389871924477453634382096775475036160000000000-2753183077602036594765466772237796438318286363149134811955200000000000*a-17588896806489825607327918627389871924477453634382096775475036160000000000+2753183077602036594765466772237796438318286363149134811955200000000000*a-48650493464515808143829734982890291200000073929684548040709169599838233062333084813005927839804641348542225448960000000000-10361507137389617245545395103911414984912823089065783104896118030336000000000*b1+263784194854850597286893503361796924277291362702515970785673216000000000*b1^273929684548040709169599838233062333084813005927839804641348542225448960000000000-10361507137389617245545395103911414984912823089065783104896118030336000000000*b2+263784194854850597286893503361796924277291362702515970785673216000000000*b2^273929684548040709169599838233062333084813005927839804641348542225448960000000000-10361507137389617245545395103911414984912823089065783104896118030336000000000*b3+263784194854850597286893503361796924277291362702515970785673216000000000*b3^2273933779155093656653891172012457974509790816947404800000000000000+36397290284439853013566658638208987879975996620800000000000000*a273933779155093656653891172012457974509790816947404800000000000000-36397290284439853013566658638208987879975996620800000000000000*a-110058877241774542867632828315473018880000000000
    u13 158364091725227114012155948506278006819/648172752654832464269232293107667247536472000-8726494205979496011737049318995344800887133255407460937205167226880000000000-1364697739796423284059140343934409656083774246857300416428441600000000000*a-8726494205979496011737049318995344800887133255407460937205167226880000000000+1364697739796423284059140343934409656083774246857300416428441600000000000*a-239174841270161286523969752274698240000000000-776688845871510092639847413303450465752635346634544492873785404645441536000000000+94086400304257137708962635264439772940169247975319887974038927048704000000000*b1-2234114237923070061237662658239331561707261818514629296591470592000000000*b1^2-776688845871510092639847413303450465752635346634544492873785404645441536000000000+94086400304257137708962635264439772940169247975319887974038927048704000000000*b2-2234114237923070061237662658239331561707261818514629296591470592000000000*b2^2-776688845871510092639847413303450465752635346634544492873785404645441536000000000+94086400304257137708962635264439772940169247975319887974038927048704000000000*b3-2234114237923070061237662658239331561707261818514629296591470592000000000*b3^2-4371178298060144668544310346464249530646542324387020800000000000000-1176725471308489823897406734285141845310572383436800000000000000*a-4371178298060144668544310346464249530646542324387020800000000000000+1176725471308489823897406734285141845310572383436800000000000000*a-2362032826958084420005350700001305559040000000000
    u14 6672250862424062769113874922430949838602233/1539201132388284820767758848987795739462583883852880/37-1537071091026407380726106911166273122884415903613289493107407435464704000000000-240599278654268224095543599258669189225829139960664577410374434816000000000*a-1537071091026407380726106911166273122884415903613289493107407435464704000000000+240599278654268224095543599258669189225829139960664577410374434816000000000*a-4255444050344643881746474417445318059622400000010088833610248959008098896020195891074005865551755043103177071225644620185600000000-1495402691472427552127017926424111273941879291631582718008487341090406400000000*b1+39245948421761105139316001759173814341267401270617123066061678182400000000*b1^210088833610248959008098896020195891074005865551755043103177071225644620185600000000-1495402691472427552127017926424111273941879291631582718008487341090406400000000*b2+39245948421761105139316001759173814341267401270617123066061678182400000000*b2^210088833610248959008098896020195891074005865551755043103177071225644620185600000000-1495402691472427552127017926424111273941879291631582718008487341090406400000000*b3+39245948421761105139316001759173814341267401270617123066061678182400000000*b3^234930755443243909658460938591066448535630160264481996800000000000000+5389335804645897826523238360425397653877030912000000000000000000*a34930755443243909658460938591066448535630160264481996800000000000000-5389335804645897826523238360425397653877030912000000000000000000*a-24808964143792009263023941545820164194304000000000
    u15 20016676229712109034773650182894733964754923/4617601696364839494120568725381028678720968977564760/3720526639928902290091365011210241272672275318258316018079504533156012032000000000+1554614672310388977819034742746640970409172736484671604182989856768000000000*a20526639928902290091365011210241272672275318258316018079504533156012032000000000-1554614672310388977819034742746640970409172736484671604182989856768000000000*a-2170024770932290604909337019725512649867264000000-10053964374767153091974204793762555476766888013145767626317115360507907276800000000+1278728541199709111290864326194593677118778016860992244064128173552435200000000*b1-30761599355060655282680282862834963780123446450624110249592959795200000000*b1^2-10053964374767153091974204793762555476766888013145767626317115360507907276800000000+1278728541199709111290864326194593677118778016860992244064128173552435200000000*b2-30761599355060655282680282862834963780123446450624110249592959795200000000*b2^2-10053964374767153091974204793762555476766888013145767626317115360507907276800000000+1278728541199709111290864326194593677118778016860992244064128173552435200000000*b3-30761599355060655282680282862834963780123446450624110249592959795200000000*b3^269532254551736372576434522378107201507421026089172992000000000000000+15791683889265500049799572567992010799516932793958400000000000000*a69532254551736372576434522378107201507421026089172992000000000000000-15791683889265500049799572567992010799516932793958400000000000000*a51145206861000643720918726339956584742912000000000
    u16 207570190491672144374296619019881008374239407/324045208401763473814450940555603105907647039076480-2268370009791869495430537182104068642864423815996241869046347272778416128000000000-354979771886307518358551023621927828027612887470965236804767999066112000000000*a-2268370009791869495430537182104068642864423815996241869046347272778416128000000000+354979771886307518358551023621927828027612887470965236804767999066112000000000*a-62653546904418853605380845025784436057178112000000332836764680457295619323934437485824898134431026665574313362273335300535091200000000-47817244643182989850190445018405918723364916333563711808356296204012748800000000*b1+1283611391440575033533535930519659593633661121760347244356464069836800000000*b1^2332836764680457295619323934437485824898134431026665574313362273335300535091200000000-47817244643182989850190445018405918723364916333563711808356296204012748800000000*b2+1283611391440575033533535930519659593633661121760347244356464069836800000000*b2^2332836764680457295619323934437485824898134431026665574313362273335300535091200000000-47817244643182989850190445018405918723364916333563711808356296204012748800000000*b3+1283611391440575033533535930519659593633661121760347244356464069836800000000*b3^21235787328011857953460255011047047774511783609687343104000000000000000+811573890904078395086322310889177164507971074811494400000000000000*a1235787328011857953460255011047047774511783609687343104000000000000000-811573890904078395086322310889177164507971074811494400000000000000*a548154164349894206304553558577507280617472000000000
    u17 207569398674234062054653375726875892317442223/32406775503994655230684205997394878955591274465952030337193292527111357228566302150995576412104985174159182089436796652290048000000000+2297703286668351046587320492351727780297388515519501610654815135793152000000000*a30337193292527111357228566302150995576412104985174159182089436796652290048000000000-2297703286668351046587320492351727780297388515519501610654815135793152000000000*a-3207052578722781992670119743713830523443871744000000169251211536243147269107785675275308789410249019550728715864714346301803724800000000-10701546244725043314147035846003385046923167869190255656819438457664307200000000*b1+190007654181785582217326011759201411500680958501568325216556495667200000000*b1^2169251211536243147269107785675275308789410249019550728715864714346301803724800000000-10701546244725043314147035846003385046923167869190255656819438457664307200000000*b2+190007654181785582217326011759201411500680958501568325216556495667200000000*b2^2169251211536243147269107785675275308789410249019550728715864714346301803724800000000-10701546244725043314147035846003385046923167869190255656819438457664307200000000*b3+190007654181785582217326011759201411500680958501568325216556495667200000000*b3^2-16403798695572669929137806414355053525895718014845714432000000000000000-1968423142658261377215036749502633840411277915481702400000000000000*a-16403798695572669929137806414355053525895718014845714432000000000000000+1968423142658261377215036749502633840411277915481702400000000000000*a-4690397796761161993697162766799151648735232000000000
    u18 69190327436370075564646620770962041477012197/108022663582266835310746792888012053165822672373440-9711569685680943892534514648523000442975659330815794324276381979049984000000000-1396561558124123411431957339194552215482970630555574793147718762496000000000*a-9711569685680943892534514648523000442975659330815794324276381979049984000000000+1396561558124123411431957339194552215482970630555574793147718762496000000000*a-67709843936840819262856354532075768905728000000-19426114847123360339095950523268798063816764061228764484363245844840212070400000000+2184398387428606218589059571010984559686970071973700586667452290144665600000000*b1-50765012319477898008141916207685629882029628965668249192831228313600000000*b1^2-19426114847123360339095950523268798063816764061228764484363245844840212070400000000+2184398387428606218589059571010984559686970071973700586667452290144665600000000*b2-50765012319477898008141916207685629882029628965668249192831228313600000000*b2^2-19426114847123360339095950523268798063816764061228764484363245844840212070400000000+2184398387428606218589059571010984559686970071973700586667452290144665600000000*b3-50765012319477898008141916207685629882029628965668249192831228313600000000*b3^2733545864308122102827679710412395419248233365554121932800000000000000+113176051897563854356988005568933350731417649152000000000000000000*a733545864308122102827679710412395419248233365554121932800000000000000-113176051897563854356988005568933350731417649152000000000000000000*a-469785470899766622580160976642840308219904000000000
    u19 2181834354986717166210146329334315192287573775/1922089294223713168714611124369316163891577187040072106375730038015702755382938071763213488332304913169552756901633064960000000000+492042425072457647868396410444491400979637364418290005875653345280000000000*a72106375730038015702755382938071763213488332304913169552756901633064960000000000-492042425072457647868396410444491400979637364418290005875653345280000000000*a14191308116527434071890200641958849495957504000000-11755602303452619712173385379680917315294526812910772114623451670740792770560000000000+1700986845645045208994831245368343427605633378750436314681743934318706688000000000*b1-42878180616393000410513567504592929437442770939468757998618942636032000000000*b1^2-11755602303452619712173385379680917315294526812910772114623451670740792770560000000000+1700986845645045208994831245368343427605633378750436314681743934318706688000000000*b2-42878180616393000410513567504592929437442770939468757998618942636032000000000*b2^2-11755602303452619712173385379680917315294526812910772114623451670740792770560000000000+1700986845645045208994831245368343427605633378750436314681743934318706688000000000*b3-42878180616393000410513567504592929437442770939468757998618942636032000000000*b3^2145115939307664401423792219925478815888086078791233201766400000000000000+7521487172694919029215661270333509585014623807366758400000000000000*a145115939307664401423792219925478815888086078791233201766400000000000000-7521487172694919029215661270333509585014623807366758400000000000000*a4443534041894365666744402830844033121648640000000000
    u20 3627579677161446691778857680400768872598272476513/2162055653396053872325113983256575281404820464906240027159382602080653089607235765319971983514513654349779077934096226440970240000000000271593826020806530896072357653199719835145136543497790779340962264409702400000000005539952786294649135791064428294275971007119360000000285275870522435335036591164037481358884729922087881562130622479574599320207360000000002852758705224353350365911640374813588847299220878815621306224795745993202073600000000028527587052243533503659116403748135888472992208788156213062247957459932020736000000000464099305167722462588517792076915219812545763089818268467200000000000000046409930516772246258851779207691521981254576308981826846720000000000000001168359574867698296480871194662632880519249920000000000
    u21 1375540763791352382902867017566893463227523180636028907/46176038857737184516878421756314148898378421296580325913085840/37-927723832066431259762353744665507682150130314782320227681925522915225239552000000000-680272173077909896857990348359351445076126754040757653180269022463131648000000000*a-927723832066431259762353744665507682150130314782320227681925522915225239552000000000+680272173077909896857990348359351445076126754040757653180269022463131648000000000*a-909157061487956904629505108622167640131841818624000000-1919340453246672617081851585188088107678991484101356575485914888600242005160755200000000+300596394015202920650528176760364634500127838835992240950633057154788805836800000000*b1-7719164507821941116418309008647728713869810542253691499956169658387660800000000*b1^2-1919340453246672617081851585188088107678991484101356575485914888600242005160755200000000+300596394015202920650528176760364634500127838835992240950633057154788805836800000000*b2-7719164507821941116418309008647728713869810542253691499956169658387660800000000*b2^2-1919340453246672617081851585188088107678991484101356575485914888600242005160755200000000+300596394015202920650528176760364634500127838835992240950633057154788805836800000000*b3-7719164507821941116418309008647728713869810542253691499956169658387660800000000*b3^2-27954287593955178158780364157776079705141081253345502638899200000000000000-281546041838879283153476244831915513557725987741473177600000000000000*a-27954287593955178158780364157776079705141081253345502638899200000000000000+281546041838879283153476244831915513557725987741473177600000000000000*a897059742106059076525525495192201062009274368000000000
    u22 1375551258334532858663930297092659457661010123898634219/461760101119534474464933372573198569114705388187731613226880/37119426250629835190695799862335150362115173029339716678112912872335093006336000000000-43456397441435739834446470700025836487066146313823381931892729704349696000000000*a119426250629835190695799862335150362115173029339716678112912872335093006336000000000+43456397441435739834446470700025836487066146313823381931892729704349696000000000*a703635431253995117182813393140101562851477422080000008928629487513396909085192630163563180962766426099292689293674101666348671801753600000000-1236688756879463474216216890081284779916383869067764405243432395965053953638400000000*b1+31344638367003665346106994320987545474239266228984547220186299409786470400000000*b1^28928629487513396909085192630163563180962766426099292689293674101666348671801753600000000-1236688756879463474216216890081284779916383869067764405243432395965053953638400000000*b2+31344638367003665346106994320987545474239266228984547220186299409786470400000000*b2^28928629487513396909085192630163563180962766426099292689293674101666348671801753600000000-1236688756879463474216216890081284779916383869067764405243432395965053953638400000000*b3+31344638367003665346106994320987545474239266228984547220186299409786470400000000*b3^2-22432891853757908701106113693323237902859906440102510434713600000000000000-5019286989560959907707157876282436891358858446878697062400000000000000*a-22432891853757908701106113693323237902859906440102510434713600000000000000+5019286989560959907707157876282436891358858446878697062400000000000000*a11836884615059857217768707764530879195152121856000000000
    u23 14264114876787122517560381931474464695481647119405174959/32401552031438053234182515294043258554303495704552051687551360-355712427338552529016962769380084519351024451442156018164744878580167119732736000000000-466421934341973373031487763832979196317603556366131983378462822912810287104000000000*a-355712427338552529016962769380084519351024451442156018164744878580167119732736000000000+466421934341973373031487763832979196317603556366131983378462822912810287104000000000*a-688044381378371848619540163567117212992331852021760000000-76970824565199919819363835286948112821586036614231287675552425831442160176175513600000000+10531461629816243276024050657222907853352648305342906617198994841751760823910400000000*b1-256971833772658861791216201785204011051389891846748406625255350363121254400000000*b1^2-76970824565199919819363835286948112821586036614231287675552425831442160176175513600000000+10531461629816243276024050657222907853352648305342906617198994841751760823910400000000*b2-256971833772658861791216201785204011051389891846748406625255350363121254400000000*b2^2-76970824565199919819363835286948112821586036614231287675552425831442160176175513600000000+10531461629816243276024050657222907853352648305342906617198994841751760823910400000000*b3-256971833772658861791216201785204011051389891846748406625255350363121254400000000*b3^2-103551350023652163410235055116830819417603673151378014653644800000000000000+95277971542140325382893014477240066079677865957647187968000000000000000*a-103551350023652163410235055116830819417603673151378014653644800000000000000-95277971542140325382893014477240066079677865957647187968000000000000000*a337036817381114201451907707179813121137200594944000000000
    u24 14264114876787122517560381931474464695481647119405174959/324015519630381449827911950145369309506765892753366109775097601959722758878573380376563582020594981134566150768427035383403664718399153373184000000000+215075084217820132122158281156941058367307060917743235629139757042002558976000000000*a1959722758878573380376563582020594981134566150768427035383403664718399153373184000000000-215075084217820132122158281156941058367307060917743235629139757042002558976000000000*a-9712159922127411604490957099353928887739693295206400000072873155660052443591864111488379548647546826269134218972726540229478451641738854400000000-9484176052072815175857625798462512845474287997392732421696730810634989050265600000000*b1+265922552170191261866447698853216110859095326494062718542202539821603225600000000*b1^272873155660052443591864111488379548647546826269134218972726540229478451641738854400000000-9484176052072815175857625798462512845474287997392732421696730810634989050265600000000*b2+265922552170191261866447698853216110859095326494062718542202539821603225600000000*b2^272873155660052443591864111488379548647546826269134218972726540229478451641738854400000000-9484176052072815175857625798462512845474287997392732421696730810634989050265600000000*b3+265922552170191261866447698853216110859095326494062718542202539821603225600000000*b3^2-3822592479736605724271919211306661088393395657657134298746060800000000000000-307183261951271530554106674882734338416271843102921064448000000000000000*a-3822592479736605724271919211306661088393395657657134298746060800000000000000+307183261951271530554106674882734338416271843102921064448000000000000000*a-701893686900692675982325126067847781745726324736000000000
    u25 14264223703762295396342914843816996993922052818717397167/3240268891871166331789810176001120171003674640646296197888061289467363173676363182167250426763736355641551634332274491997206806666412032000000000-21124738794344147765040968410613333936798364739927187905312354549326938112000000000*a61289467363173676363182167250426763736355641551634332274491997206806666412032000000000+21124738794344147765040968410613333936798364739927187905312354549326938112000000000*a34614581451263987868277500771664601763064672419840000000-18520277300524311212993328518394554510440044419912639471298921307379771858799820800000000+2167505569266666160128798801444533183891772076018548155747278461576175366963200000000*b1-59251586092118718096515576798452404312975312522904557700919107983192883200000000*b1^2-18520277300524311212993328518394554510440044419912639471298921307379771858799820800000000+2167505569266666160128798801444533183891772076018548155747278461576175366963200000000*b2-59251586092118718096515576798452404312975312522904557700919107983192883200000000*b2^2-18520277300524311212993328518394554510440044419912639471298921307379771858799820800000000+2167505569266666160128798801444533183891772076018548155747278461576175366963200000000*b3-59251586092118718096515576798452404312975312522904557700919107983192883200000000*b3^2-619342862938626092065740779040104591787767230293873302018457600000000000000+80886102489237575352514421538775309476654802719415782604800000000000000*a-619342862938626092065740779040104591787767230293873302018457600000000000000-80886102489237575352514421538775309476654802719415782604800000000000000*a-286015284784445339194609369844367003605425717248000000000
    u26 18905432540359526087194404762861406467560017759835112781450605359/92352-4989305083698863435976484851729261478557408562714667710080004367955499375546409356055241097514683898990317111358313541814979609166979782410240000000000-57388130563646067523660866539044598522086166266904548650961618522670880522240000000000*a4367955499375546409356055241097514683898990317111358313541814979609166979782410240000000000+57388130563646067523660866539044598522086166266904548650961618522670880522240000000000*a-555865213024031786335395457655008439994866343704788992000000-1246748234874484214769330763739849712244960727143313903499446174229021379065098010624000000000+165596847740328303805588636177857786539861212746889147061866254136228872147959808000000000*b1-4259567717824661414643713071298822971971762095127760943538533931661205176320000000000*b1^2-1246748234874484214769330763739849712244960727143313903499446174229021379065098010624000000000+165596847740328303805588636177857786539861212746889147061866254136228872147959808000000000*b2-4259567717824661414643713071298822971971762095127760943538533931661205176320000000000*b2^2-1246748234874484214769330763739849712244960727143313903499446174229021379065098010624000000000+165596847740328303805588636177857786539861212746889147061866254136228872147959808000000000*b3-4259567717824661414643713071298822971971762095127760943538533931661205176320000000000*b3^2-12012458206879864604781033115935952346729025534387699452448079872000000000000000+878076353300207691783987224450359998515496509096274740379648000000000000000*a-12012458206879864604781033115935952346729025534387699452448079872000000000000000-878076353300207691783987224450359998515496509096274740379648000000000000000*a-2706668084291198821275314290401287969943167183093760000000000
    u27 980229988996321152743288683811522822996125607143597218905877139631/3240-4926848468134769196931805345001670860621746511778128642431385601504916350478877549774934785913239718256691066743904217701840386907491155832331042816000000000-49566346212471308506482340487297115785032158879076085759164517240050269831561216000000000*a1504916350478877549774934785913239718256691066743904217701840386907491155832331042816000000000+49566346212471308506482340487297115785032158879076085759164517240050269831561216000000000*a-22432459727334980301087416770326273433915607655780660019200000021873568482529635699149274686921344130762591998258992941737562277446663936323240958361600000000-2637815142966631525288858540100436961059781998927278857568180693087109188214482534400000000*b1+59884204457719092011509200693590992610735451692808363688720877824136714806886400000000*b1^221873568482529635699149274686921344130762591998258992941737562277446663936323240958361600000000-2637815142966631525288858540100436961059781998927278857568180693087109188214482534400000000*b2+59884204457719092011509200693590992610735451692808363688720877824136714806886400000000*b2^221873568482529635699149274686921344130762591998258992941737562277446663936323240958361600000000-2637815142966631525288858540100436961059781998927278857568180693087109188214482534400000000*b3+59884204457719092011509200693590992610735451692808363688720877824136714806886400000000*b3^2-480789199054240810302224606565803352708222268199630102973882197606400000000000000+42353874666714323188520856860857579850871847176538841028545740800000000000000*a-480789199054240810302224606565803352708222268199630102973882197606400000000000000-42353874666714323188520856860857579850871847176538841028545740800000000000000*a188615318486037191793757936197965389332060740996038656000000000


    STANDARD EULER FACTORS
    The standard 2-Euler factors Q2(f,  x,   st) are given by the following table (switch to expanded form).
    fQ2(f,  x,   st)/(1-x)
    f1(1-524288*x)*(1-262144*x)*(1-131072*x)*(1-x/131072)*(1-x/262144)*(1-x/524288)
    f2(1-262144*x)*(1-131072*x)*(1-x/131072)*(1-x/262144)*(1+(13135*x)/8192+x^2)
    f3(1-131072*x)*(1-x/131072)*(1+(6075/32768+(3*a)/32768)*x+x^2/2)*(1+(6075/16384+(3*a)/16384)*x+2*x^2)
    f4(1-131072*x)*(1-x/131072)*(1+(6075/32768-(3*a)/32768)*x+x^2/2)*(1+(6075/16384-(3*a)/16384)*x+2*x^2)
    f5(1-131072*x)*(1-x/131072)*(1-(1719*x)/2048+(3076409*x^2)/2097152-(1719*x^3)/2048+x^4)
    f6(1+(3/2-(3*b1)/32768)*x+x^2/2)*(1+(13135*x)/8192+x^2)*(1+(3-(3*b1)/16384)*x+2*x^2)
    f7(1+(3/2-(3*b2)/32768)*x+x^2/2)*(1+(13135*x)/8192+x^2)*(1+(3-(3*b2)/16384)*x+2*x^2)
    f8(1+(3/2-(3*b3)/32768)*x+x^2/2)*(1+(13135*x)/8192+x^2)*(1+(3-(3*b3)/16384)*x+2*x^2)
    f9(1+(6075/32768+(3*a)/32768)*x+x^2/2)*(1-(65*x)/512+x^2)*(1+(6075/16384+(3*a)/16384)*x+2*x^2)
    f10(1+(6075/32768-(3*a)/32768)*x+x^2/2)*(1-(65*x)/512+x^2)*(1+(6075/16384-(3*a)/16384)*x+2*x^2)
    f111+(43793*x)/16384+(503689609*x^2)/134217728+(277369629719*x^3)/68719476736+(503689609*x^4)/134217728+(43793*x^5)/16384+x^6


    SPINOR EULER FACTORS
    The spinor 2-Euler factors Q2(f,  x,   spin) are given by the following table (switch to expanded form).
    fQ2(f,  x,  spin)
    f1(1-18014398509481984*x)*(1-137438953472*x)*(1-68719476736*x)*(1-34359738368*x)*(1-524288*x)*(1-262144*x)*(1-131072*x)*(1-x)
    f2(1-456*x+524288*x^2)*(1-59768832*x+9007199254740992*x^2)*(1-119537664*x+36028797018963968*x^2)*(1-15668040695808*x+618970019642690137449562112*x^2)
    f3(1-68719476736*x)*(1-34359738368*x)*(1-524288*x)*(1-262144*x)*(1+(97200+48*a)*x+137438953472*x^2)*(1+(12740198400+6291456*a)*x+2361183241434822606848*x^2)
    f4(1-68719476736*x)*(1-34359738368*x)*(1-524288*x)*(1-262144*x)*(1+(97200-48*a)*x+137438953472*x^2)*(1+(12740198400-6291456*a)*x+2361183241434822606848*x^2)
    f5(1+840960*x+390238044160*x^2+115580662311813120*x^3+18889465931478580854784*x^4)*(1+110226309120*x+6704238549288815165440*x^2+260264513859358348994791876853760*x^3+5575186299632655785383929568162090376495104*x^4)
    f6(1-59768832*x+9007199254740992*x^2)*(1-119537664*x+36028797018963968*x^2)*(1+(179306496-10944*b1)*x+(52180622830993408-9895604649984*b1+301989888*b1^2)*x^2+(3230098674282837326168064-197149577287770832896*b1)*x^3+324518553658426726783156020576256*x^4)
    f7(1-59768832*x+9007199254740992*x^2)*(1-119537664*x+36028797018963968*x^2)*(1+(179306496-10944*b2)*x+(52180622830993408-9895604649984*b2+301989888*b2^2)*x^2+(3230098674282837326168064-197149577287770832896*b2)*x^3+324518553658426726783156020576256*x^4)
    f8(1-59768832*x+9007199254740992*x^2)*(1-119537664*x+36028797018963968*x^2)*(1+(179306496-10944*b3)*x+(52180622830993408-9895604649984*b3+301989888*b3^2)*x^2+(3230098674282837326168064-197149577287770832896*b3)*x^3+324518553658426726783156020576256*x^4)
    f9(1+138412032*x+9007199254740992*x^2)*(1+276824064*x+36028797018963968*x^2)*(1+(-51321600-25344*a)*x+(22773418298441728+1223059046400*a)*x^2+(-924527754544230590054400-456556915824311402496*a)*x^3+324518553658426726783156020576256*x^4)
    f10(1+138412032*x+9007199254740992*x^2)*(1+276824064*x+36028797018963968*x^2)*(1+(-51321600+25344*a)*x+(22773418298441728-1223059046400*a)*x^2+(-924527754544230590054400+456556915824311402496*a)*x^3+324518553658426726783156020576256*x^4)
    f111-47162880*x-10683351983718400*x^2+1421324803102308481105920*x^3-77113000621438799588267195891712*x^4+25604311414496000290391002970030635745280*x^5-3466945933980179205187242843942752625497630310400*x^6-275714505364963578491560813292872520408281551249887723520*x^7+105312291668557186697918027683670432318895095400549111254310977536*x^8


    IDENTIFIED EIGENFORMS
    Based on matching standard and spinor 2-Euler factors we identify the following eigenforms.
  • f1 = E 20 : Basic Siegel Eisenstein series
  • f2 = K1 20 1 : Klingen lift from degree 1
  • f3 = K2 20 1 li : Klingen lift of degree 2 lift
  • f4 = K2 20 2 li : Klingen lift of degree 2 lift
  • f5 = K2 20 3 nl : Klingen lift of degree 2 nonlift
  • f6 = M1 20 1 1 : Miyawaki lift of type 1
  • f7 = M1 20 2 1 : Miyawaki lift of type 1
  • f8 = M1 20 3 1 : Miyawaki lift of type 1
  • f9 = M2 20 1 1 : Conjectural Miyawaki lift of type 2
  • f10 = M2 20 2 1 : Conjectural Miyawaki lift of type 2

  • UNIMODULARITY AT 2 OF APPARENT NON-LIFT EIGENFORMS
  • f11 is unimodular at 2

  • SPECIAL VALUES
    The special values ci such that W*3,3E(6)20i=111 ci fi⊗fi are given in the following table (switch to factored denominator form).
    c1525311474688000/107441973609722531026066150430595653959970701892533
    c2703/669067190126718143399022180150280451179664142210
    c3175053632000065463924740728245787213231004139677/22388294951949851321884020502866209737329675483989735497166613895516693782971850481604507046429030430852641314724321528284936675861246194483200000000000000000000-(116335318729093499464013747732593622010254026524673*a)/129724947241281603597769137851442327574859515916725539094100226696762461440248887498193398324219845645100843063882641147255749578306942946094822195200000000000000000000
    c4175053632000065463924740728245787213231004139677/22388294951949851321884020502866209737329675483989735497166613895516693782971850481604507046429030430852641314724321528284936675861246194483200000000000000000000+(116335318729093499464013747732593622010254026524673*a)/129724947241281603597769137851442327574859515916725539094100226696762461440248887498193398324219845645100843063882641147255749578306942946094822195200000000000000000000
    c51/3162284483602503178245730819178002456516755456000000
    c6126477737178266613203928656355421856950525152340227499/60368244453423384350375945234491626605064085819177495058552507362623686994828163800712017975158053717189325707183796451941069315597975911506096569284834413772800000000000000000-(3772959381919010895682673447384327323978133904766447321*b1)/16516751682456637958262858616156909039145533880126962648019966014413840761784985615874808118003243497022999513485486709251076564747606209388068021356330695608238080000000000000000000+(6343918399425229909411817495383129749695318323274573*b1^2)/1057072107677224829328822951434042178505314168328125609473277824922485808754239079415987719552207583809471968863071149392068900143846797400836353366805164518927237120000000000000000000
    c7126477737178266613203928656355421856950525152340227499/60368244453423384350375945234491626605064085819177495058552507362623686994828163800712017975158053717189325707183796451941069315597975911506096569284834413772800000000000000000-(3772959381919010895682673447384327323978133904766447321*b2)/16516751682456637958262858616156909039145533880126962648019966014413840761784985615874808118003243497022999513485486709251076564747606209388068021356330695608238080000000000000000000+(6343918399425229909411817495383129749695318323274573*b2^2)/1057072107677224829328822951434042178505314168328125609473277824922485808754239079415987719552207583809471968863071149392068900143846797400836353366805164518927237120000000000000000000
    c8126477737178266613203928656355421856950525152340227499/60368244453423384350375945234491626605064085819177495058552507362623686994828163800712017975158053717189325707183796451941069315597975911506096569284834413772800000000000000000-(3772959381919010895682673447384327323978133904766447321*b3)/16516751682456637958262858616156909039145533880126962648019966014413840761784985615874808118003243497022999513485486709251076564747606209388068021356330695608238080000000000000000000+(6343918399425229909411817495383129749695318323274573*b3^2)/1057072107677224829328822951434042178505314168328125609473277824922485808754239079415987719552207583809471968863071149392068900143846797400836353366805164518927237120000000000000000000
    c9483432187771016063/18149461138353634637502786044119654845666662594922789160036864425169060087484694185796131880960000000000000000000000-(257744445542717860189*a)/88984743111115284087243170234275648249110051241831212882032462082566607375101348680442989037035192320000000000000000000000
    c10483432187771016063/18149461138353634637502786044119654845666662594922789160036864425169060087484694185796131880960000000000000000000000+(257744445542717860189*a)/88984743111115284087243170234275648249110051241831212882032462082566607375101348680442989037035192320000000000000000000000
    c111/6628601160119271086457327965472426463084561406361600000000000


    CONGRUENCES
    From Garrett's formula we can prove pairwise congruences of the eigenforms. We list congruences of cusp forms, omitting the trivial congruences within each Galois orbit and giving only one representative congruence for any pair of Galois orbits.
  • Eigenforms f6, f11 are congruent modulo a prime ideal P lying over 157. The ideal is
      P = <157,122+49y+105y^2>.
    Here y = Root[-4382089113600+893191104#1-54971#1^2+#1^3&,1]. We may need to rescale the eigenforms by algebraic integers relatively prime to P to obtain this congruence.

  • MORE COEFFICIENTS
    Showing more coefficients for all forms | cusp forms | hide more coefficients

    We give the positive definite coefficients of the eigenforms up to determinant 70 (103 coefficients).
    2udet(2u)a(u; f1)a(u; f2)a(u; f3)a(u; f4)a(u; f5)a(u; f6)a(u; f7)a(u; f8)a(u; f9)a(u; f10)a(u; f11)
    [2 2 2 1 1 1]4 291280975644197723291719047987179/46176049392241099834973985483265826756280/371127708274939220414352823727839775760774142234008550834610176000000000+79988729877618676479524300636556806427614204405631442944000000000*a1127708274939220414352823727839775760774142234008550834610176000000000-79988729877618676479524300636556806427614204405631442944000000000*a-128167524348404380989325857128448000000-7138232385576367464624841473651551596101068959775745739262045611622400000000+1608829883330774682344591920524154132865152165889278394156816793600000000*b1-43069115455769722584363389030317503749195520049488426801561600000000*b1^2-7138232385576367464624841473651551596101068959775745739262045611622400000000+1608829883330774682344591920524154132865152165889278394156816793600000000*b2-43069115455769722584363389030317503749195520049488426801561600000000*b2^2-7138232385576367464624841473651551596101068959775745739262045611622400000000+1608829883330774682344591920524154132865152165889278394156816793600000000*b3-43069115455769722584363389030317503749195520049488426801561600000000*b3^2-937028397471318220949967613962893847106554534297600000000000000-99034803247766498521580875853970982528509542400000000000000*a-937028397471318220949967613962893847106554534297600000000000000+99034803247766498521580875853970982528509542400000000000000*a-211651687003412582437755439068217344000000000
    [2 2 2 1 0 0]6 3020543815926817486737415333236911/32401316324577062887149180743530575805440342014144772462293091827563492889340695295878090196636994830336000000000+17878765009319115886520927689122585846350052523993686933504000000000*a342014144772462293091827563492889340695295878090196636994830336000000000-17878765009319115886520927689122585846350052523993686933504000000000*a-49406207163636770271737167444180992000000-1776252521006238466739524387666011177179936634174650791529918272792166400000000+237098907014152702552643529787945180939770790387011251981925325209600000000*b1-5773412156097984529295802323198492331664321652334580932909465600000000*b1^2-1776252521006238466739524387666011177179936634174650791529918272792166400000000+237098907014152702552643529787945180939770790387011251981925325209600000000*b2-5773412156097984529295802323198492331664321652334580932909465600000000*b2^2-1776252521006238466739524387666011177179936634174650791529918272792166400000000+237098907014152702552643529787945180939770790387011251981925325209600000000*b3-5773412156097984529295802323198492331664321652334580932909465600000000*b3^2-3453577660492055302968510664493419835147662078771200000000000000+1030955938338132276531267257206882749577691136000000000000000*a-3453577660492055302968510664493419835147662078771200000000000000-1030955938338132276531267257206882749577691136000000000000000*a5079640488081901978506130537637216256000000000
    [2 2 2 0 0 0]8 31749626345217551838797376230602511/192175195066649255933659966307985966702000-17588896806489825607327918627389871924477453634382096775475036160000000000-2753183077602036594765466772237796438318286363149134811955200000000000*a-17588896806489825607327918627389871924477453634382096775475036160000000000+2753183077602036594765466772237796438318286363149134811955200000000000*a-48650493464515808143829734982890291200000073929684548040709169599838233062333084813005927839804641348542225448960000000000-10361507137389617245545395103911414984912823089065783104896118030336000000000*b1+263784194854850597286893503361796924277291362702515970785673216000000000*b1^273929684548040709169599838233062333084813005927839804641348542225448960000000000-10361507137389617245545395103911414984912823089065783104896118030336000000000*b2+263784194854850597286893503361796924277291362702515970785673216000000000*b2^273929684548040709169599838233062333084813005927839804641348542225448960000000000-10361507137389617245545395103911414984912823089065783104896118030336000000000*b3+263784194854850597286893503361796924277291362702515970785673216000000000*b3^2273933779155093656653891172012457974509790816947404800000000000000+36397290284439853013566658638208987879975996620800000000000000*a273933779155093656653891172012457974509790816947404800000000000000-36397290284439853013566658638208987879975996620800000000000000*a-110058877241774542867632828315473018880000000000
    [2 2 4 1 1 1]10 529839029326651864136238059398461990359/57720359532705161667114004418102514117631933440/374344067935318628220794254504155738526684745432393426184517663129600000000000+328798342692945283024185579996402471268732968525431378019287040000000000*a4344067935318628220794254504155738526684745432393426184517663129600000000000-328798342692945283024185579996402471268732968525431378019287040000000000*a-459583929080664259139562990176674460467200000-47159336039983885445929176221933328005094969399220687848510444256886784000000000+6221481542449076204498781009175814622492914297869704623366420299776000000000*b1-151058387283599373361537963154963732535026786367490981386780672000000000*b1^2-47159336039983885445929176221933328005094969399220687848510444256886784000000000+6221481542449076204498781009175814622492914297869704623366420299776000000000*b2-151058387283599373361537963154963732535026786367490981386780672000000000*b2^2-47159336039983885445929176221933328005094969399220687848510444256886784000000000+6221481542449076204498781009175814622492914297869704623366420299776000000000*b3-151058387283599373361537963154963732535026786367490981386780672000000000*b3^211700583683502147566246584822521775326947231714508800000000000000+38927708298879419300761274040230584281790729420800000000000000*a11700583683502147566246584822521775326947231714508800000000000000-38927708298879419300761274040230584281790729420800000000000000*a160855282122593562652694133691845181440000000000
    [2 2 4 0 1 1]12 158364091725227114012155948506278006819/648172752654832464269232293107667247536472000-8726494205979496011737049318995344800887133255407460937205167226880000000000-1364697739796423284059140343934409656083774246857300416428441600000000000*a-8726494205979496011737049318995344800887133255407460937205167226880000000000+1364697739796423284059140343934409656083774246857300416428441600000000000*a-239174841270161286523969752274698240000000000-776688845871510092639847413303450465752635346634544492873785404645441536000000000+94086400304257137708962635264439772940169247975319887974038927048704000000000*b1-2234114237923070061237662658239331561707261818514629296591470592000000000*b1^2-776688845871510092639847413303450465752635346634544492873785404645441536000000000+94086400304257137708962635264439772940169247975319887974038927048704000000000*b2-2234114237923070061237662658239331561707261818514629296591470592000000000*b2^2-776688845871510092639847413303450465752635346634544492873785404645441536000000000+94086400304257137708962635264439772940169247975319887974038927048704000000000*b3-2234114237923070061237662658239331561707261818514629296591470592000000000*b3^2-4371178298060144668544310346464249530646542324387020800000000000000-1176725471308489823897406734285141845310572383436800000000000000*a-4371178298060144668544310346464249530646542324387020800000000000000+1176725471308489823897406734285141845310572383436800000000000000*a-2362032826958084420005350700001305559040000000000
    [2 2 4 1 0 0]12 11284821831175314761456220651352640189771/461769566814222835656330962446319874691714359600/37115701266050220877210051612676580024897156509447842069268387962961920000000000+8760743199993459835766440613391031692664586489268350918504202240000000000*a115701266050220877210051612676580024897156509447842069268387962961920000000000-8760743199993459835766440613391031692664586489268350918504202240000000000*a-12235046780246909665086303088168007368704000000-535844992625527480535636734341173797557757587243456514965585941734883328000000000+73757724483167273804497638292551384470661235299814565667715984392192000000000*b1-1809263831736748140669195318562305939274087795080718936656838656000000000*b1^2-535844992625527480535636734341173797557757587243456514965585941734883328000000000+73757724483167273804497638292551384470661235299814565667715984392192000000000*b2-1809263831736748140669195318562305939274087795080718936656838656000000000*b2^2-535844992625527480535636734341173797557757587243456514965585941734883328000000000+73757724483167273804497638292551384470661235299814565667715984392192000000000*b3-1809263831736748140669195318562305939274087795080718936656838656000000000*b3^2-4182400974419136514926720894075869780379025204366540800000000000000-40001090407519532329413169579627050683614416076800000000000000*a-4182400974419136514926720894075869780379025204366540800000000000000+40001090407519532329413169579627050683614416076800000000000000*a742897421381978164356521591129442877440000000000
    [2 2 4 0 1 0]14 21395128976833429882567653451113189120749/54602767754389889993520787995764229573179197440-139277801724404345450136390603387904365808845137268940897887894503424000000000-21794639455614527852746671533581565754829628591241453200415522816000000000*a-139277801724404345450136390603387904365808845137268940897887894503424000000000+21794639455614527852746671533581565754829628591241453200415522816000000000*a-38457499244341533768043583639557924454400000005798861118733215389316292128878167153867525309180732442140216481063475609600000000-782709503749952838209788503960915721318605985908509079977648823101030400000000*b1+19589472515564595300028864138198990119439100298942186762694714982400000000*b1^25798861118733215389316292128878167153867525309180732442140216481063475609600000000-782709503749952838209788503960915721318605985908509079977648823101030400000000*b2+19589472515564595300028864138198990119439100298942186762694714982400000000*b2^25798861118733215389316292128878167153867525309180732442140216481063475609600000000-782709503749952838209788503960915721318605985908509079977648823101030400000000*b3+19589472515564595300028864138198990119439100298942186762694714982400000000*b3^224597797274664436239517889062458296316907737121921433600000000000000+4365179448013249288018984025678922062553873697996800000000000000*a24597797274664436239517889062458296316907737121921433600000000000000-4365179448013249288018984025678922062553873697996800000000000000*a-1662735653098809247631006729319915454464000000000
    [2 2 4 0 0 0]16 6672250862424062769113874922430949838602233/1539201132388284820767758848987795739462583883852880/37-1537071091026407380726106911166273122884415903613289493107407435464704000000000-240599278654268224095543599258669189225829139960664577410374434816000000000*a-1537071091026407380726106911166273122884415903613289493107407435464704000000000+240599278654268224095543599258669189225829139960664577410374434816000000000*a-4255444050344643881746474417445318059622400000010088833610248959008098896020195891074005865551755043103177071225644620185600000000-1495402691472427552127017926424111273941879291631582718008487341090406400000000*b1+39245948421761105139316001759173814341267401270617123066061678182400000000*b1^210088833610248959008098896020195891074005865551755043103177071225644620185600000000-1495402691472427552127017926424111273941879291631582718008487341090406400000000*b2+39245948421761105139316001759173814341267401270617123066061678182400000000*b2^210088833610248959008098896020195891074005865551755043103177071225644620185600000000-1495402691472427552127017926424111273941879291631582718008487341090406400000000*b3+39245948421761105139316001759173814341267401270617123066061678182400000000*b3^234930755443243909658460938591066448535630160264481996800000000000000+5389335804645897826523238360425397653877030912000000000000000000*a34930755443243909658460938591066448535630160264481996800000000000000-5389335804645897826523238360425397653877030912000000000000000000*a-24808964143792009263023941545820164194304000000000
    [2 2 6 1 1 1]16 20016676229712109034773650182894733964754923/4617601696364839494120568725381028678720968977564760/3720526639928902290091365011210241272672275318258316018079504533156012032000000000+1554614672310388977819034742746640970409172736484671604182989856768000000000*a20526639928902290091365011210241272672275318258316018079504533156012032000000000-1554614672310388977819034742746640970409172736484671604182989856768000000000*a-2170024770932290604909337019725512649867264000000-10053964374767153091974204793762555476766888013145767626317115360507907276800000000+1278728541199709111290864326194593677118778016860992244064128173552435200000000*b1-30761599355060655282680282862834963780123446450624110249592959795200000000*b1^2-10053964374767153091974204793762555476766888013145767626317115360507907276800000000+1278728541199709111290864326194593677118778016860992244064128173552435200000000*b2-30761599355060655282680282862834963780123446450624110249592959795200000000*b2^2-10053964374767153091974204793762555476766888013145767626317115360507907276800000000+1278728541199709111290864326194593677118778016860992244064128173552435200000000*b3-30761599355060655282680282862834963780123446450624110249592959795200000000*b3^269532254551736372576434522378107201507421026089172992000000000000000+15791683889265500049799572567992010799516932793958400000000000000*a69532254551736372576434522378107201507421026089172992000000000000000-15791683889265500049799572567992010799516932793958400000000000000*a51145206861000643720918726339956584742912000000000
    [2 2 6 1 0 0]18 117022056523283743485237794973615734570639/324381989674214563953017913687645588850696243200171032250323810417857792257042829125405114335167634565062556019035340800000000000+12953669349313074516777888980888083459709169626355601991407378759680000000000*a171032250323810417857792257042829125405114335167634565062556019035340800000000000-12953669349313074516777888980888083459709169626355601991407378759680000000000*a-18080612015290189713109890932245422453817344000000-28318239295388662142055254381947529062594821832359592047947885535842795520000000000+4346210756273132347861857082488364488667396819144586553241474726625280000000000*b1-109192047273197514291012916333650122261246372684656805312905347072000000000*b1^2-28318239295388662142055254381947529062594821832359592047947885535842795520000000000+4346210756273132347861857082488364488667396819144586553241474726625280000000000*b2-109192047273197514291012916333650122261246372684656805312905347072000000000*b2^2-28318239295388662142055254381947529062594821832359592047947885535842795520000000000+4346210756273132347861857082488364488667396819144586553241474726625280000000000*b3-109192047273197514291012916333650122261246372684656805312905347072000000000*b3^2-851862870616781621807100448474367262639794991286085222400000000000000-72620359561234322450472203094694442557495493158502400000000000000*a-851862870616781621807100448474367262639794991286085222400000000000000+72620359561234322450472203094694442557495493158502400000000000000*a-119320755065043877475109006329098209853440000000000
    [2 2 6 0 1 1]20 1155040271641158585149080274725271944288367/4801698182379547071474781131833507782606970304240-85252012194306597113534451791744974994056376625349451751521336733450240000000000-13339281331467419200645004737070829356235272636659772191417327042560000000000*a-85252012194306597113534451791744974994056376625349451751521336733450240000000000+13339281331467419200645004737070829356235272636659772191417327042560000000000*a-2351571918641319256149628957575960951363993600000328725808102488561491719088739302298745285228344251587844751774475685462016000000000-45052163100272523383876645667337119639632724968676690108858261338849280000000000*b1+1130811263182953015126041883591726172656333142790142260617030926336000000000*b1^2328725808102488561491719088739302298745285228344251587844751774475685462016000000000-45052163100272523383876645667337119639632724968676690108858261338849280000000000*b2+1130811263182953015126041883591726172656333142790142260617030926336000000000*b2^2328725808102488561491719088739302298745285228344251587844751774475685462016000000000-45052163100272523383876645667337119639632724968676690108858261338849280000000000*b3+1130811263182953015126041883591726172656333142790142260617030926336000000000*b3^21044956235659599161065856641853453931163239015755703910400000000000000+99482467468760137494118337925627063048312115848806400000000000000*a1044956235659599161065856641853453931163239015755703910400000000000000-99482467468760137494118337925627063048312115848806400000000000000*a-499178387280678541553621825487999923650560000000000
    [2 4 4 1 1 2]20 57752454196605053190849948474432356949131/24852045717160124899438356734081624455509000000-416929588956617690478845174894983182407569579389735969097914880819200000000000-62991960905261774927224386279352838906306818736424209550676131840000000000*a-416929588956617690478845174894983182407569579389735969097914880819200000000000+62991960905261774927224386279352838906306818736424209550676131840000000000*a-4879796282815326837510808147806397661184000000147198048385790327607951450736871095112412636415485962203432215540827947008000000000-19997276452410173019511884027250223961742692969334816624417012596080640000000000*b1+502418390894645382032898173544326255539455941452544825173217378304000000000*b1^2147198048385790327607951450736871095112412636415485962203432215540827947008000000000-19997276452410173019511884027250223961742692969334816624417012596080640000000000*b2+502418390894645382032898173544326255539455941452544825173217378304000000000*b2^2147198048385790327607951450736871095112412636415485962203432215540827947008000000000-19997276452410173019511884027250223961742692969334816624417012596080640000000000*b3+502418390894645382032898173544326255539455941452544825173217378304000000000*b3^2-286801244371679095488312838774857241793767150756823040000000000000000-62326250334465427864313219207172243499284210647040000000000000000*a-286801244371679095488312838774857241793767150756823040000000000000000+62326250334465427864313219207172243499284210647040000000000000000*a265724459999044428998953198641365511045120000000000
    [2 2 6 0 1 0]22 4174269386223910375155254861371588044077003/3129441361064819093619372485054128282162752537600-473798276948515903118697939799009146919413948055827805178900009917808640000000000-74142508390108688830886915751882376746775929604003045971365370593280000000000*a-473798276948515903118697939799009146919413948055827805178900009917808640000000000+74142508390108688830886915751882376746775929604003045971365370593280000000000*a-13082032585232797127448001038504430924726272000000412145592715156756731284701100097697944659039186880238194729881615927869440000000000-59039323440822177213470239941378034735303170377139927860482983705182208000000000*b1+1515285920939777442755586254183147372898142900337621206140299771904000000000*b1^2412145592715156756731284701100097697944659039186880238194729881615927869440000000000-59039323440822177213470239941378034735303170377139927860482983705182208000000000*b2+1515285920939777442755586254183147372898142900337621206140299771904000000000*b2^2412145592715156756731284701100097697944659039186880238194729881615927869440000000000-59039323440822177213470239941378034735303170377139927860482983705182208000000000*b3+1515285920939777442755586254183147372898142900337621206140299771904000000000*b3^21808132443593154087941379015376067175856329552388161536000000000000000+191569691134390650977988056100079796465757031759872000000000000000*a1808132443593154087941379015376067175856329552388161536000000000000000-191569691134390650977988056100079796465757031759872000000000000000*a-756722509577041074241355776409378834350080000000000
    [2 2 8 1 1 1]22 4174269386223910375155254861371588044077003/312141497550891510218910338417275066512319607040006335524400080222718368790095961731618279684068817166974960363832171888640000000000+479845263970206830574290171170145282290180808206336719737216730071040000000000*a6335524400080222718368790095961731618279684068817166974960363832171888640000000000-479845263970206830574290171170145282290180808206336719737216730071040000000000*a-669750633882574378594036616701785874010996736000000106171463684585711603702760471021342712715022600979018831228576871139508224000000000-16864103775218909737204489639051529754074790588595364871380381976231936000000000*b1+426623675664999132849697371903185220712502125664660831913602187264000000000*b1^2106171463684585711603702760471021342712715022600979018831228576871139508224000000000-16864103775218909737204489639051529754074790588595364871380381976231936000000000*b2+426623675664999132849697371903185220712502125664660831913602187264000000000*b2^2106171463684585711603702760471021342712715022600979018831228576871139508224000000000-16864103775218909737204489639051529754074790588595364871380381976231936000000000*b3+426623675664999132849697371903185220712502125664660831913602187264000000000*b3^23994798958676293966881884006064481551585466493227866521600000000000000+361792675651989578648396611641307203441003813509529600000000000000*a3994798958676293966881884006064481551585466493227866521600000000000000-361792675651989578648396611641307203441003813509529600000000000000*a648712420665459565171720420744086159360000000000000
    [2 2 6 0 0 0]24 207570190491672144374296619019881008374239407/324045208401763473814450940555603105907647039076480-2268370009791869495430537182104068642864423815996241869046347272778416128000000000-354979771886307518358551023621927828027612887470965236804767999066112000000000*a-2268370009791869495430537182104068642864423815996241869046347272778416128000000000+354979771886307518358551023621927828027612887470965236804767999066112000000000*a-62653546904418853605380845025784436057178112000000332836764680457295619323934437485824898134431026665574313362273335300535091200000000-47817244643182989850190445018405918723364916333563711808356296204012748800000000*b1+1283611391440575033533535930519659593633661121760347244356464069836800000000*b1^2332836764680457295619323934437485824898134431026665574313362273335300535091200000000-47817244643182989850190445018405918723364916333563711808356296204012748800000000*b2+1283611391440575033533535930519659593633661121760347244356464069836800000000*b2^2332836764680457295619323934437485824898134431026665574313362273335300535091200000000-47817244643182989850190445018405918723364916333563711808356296204012748800000000*b3+1283611391440575033533535930519659593633661121760347244356464069836800000000*b3^21235787328011857953460255011047047774511783609687343104000000000000000+811573890904078395086322310889177164507971074811494400000000000000*a1235787328011857953460255011047047774511783609687343104000000000000000-811573890904078395086322310889177164507971074811494400000000000000*a548154164349894206304553558577507280617472000000000
    [2 4 4 0 0 2]24 6150227897990546544993640254987188903425195/9622648970498177999190610279709005244801830092000-4682454652517461114210163402528169696074713618550347146661008320102400000000000-868267910774305343326922879336817926837385924870045528799222824960000000000*a-4682454652517461114210163402528169696074713618550347146661008320102400000000000+868267910774305343326922879336817926837385924870045528799222824960000000000*a-3121425320906991657058170926787140738088960000001555608751679952857560236174211310717481817853528953207877012800859881340928000000000-214887453323503947735736110958289002375287662244483957113697950836457472000000000*b1+5442553534779472805581468436410257466012490687005483930723157016576000000000*b1^21555608751679952857560236174211310717481817853528953207877012800859881340928000000000-214887453323503947735736110958289002375287662244483957113697950836457472000000000*b2+5442553534779472805581468436410257466012490687005483930723157016576000000000*b2^21555608751679952857560236174211310717481817853528953207877012800859881340928000000000-214887453323503947735736110958289002375287662244483957113697950836457472000000000*b3+5442553534779472805581468436410257466012490687005483930723157016576000000000*b3^2-6432399345223858724056841741549998546587038285969542348800000000000000-1385687013226775890831013480247721554050546165140684800000000000000*a-6432399345223858724056841741549998546587038285969542348800000000000000+1385687013226775890831013480247721554050546165140684800000000000000*a3192706435974117850550458226821119533383680000000000
    [2 2 8 1 0 0]24 207569398674234062054653375726875892317442223/32406775503994655230684205997394878955591274465952030337193292527111357228566302150995576412104985174159182089436796652290048000000000+2297703286668351046587320492351727780297388515519501610654815135793152000000000*a30337193292527111357228566302150995576412104985174159182089436796652290048000000000-2297703286668351046587320492351727780297388515519501610654815135793152000000000*a-3207052578722781992670119743713830523443871744000000169251211536243147269107785675275308789410249019550728715864714346301803724800000000-10701546244725043314147035846003385046923167869190255656819438457664307200000000*b1+190007654181785582217326011759201411500680958501568325216556495667200000000*b1^2169251211536243147269107785675275308789410249019550728715864714346301803724800000000-10701546244725043314147035846003385046923167869190255656819438457664307200000000*b2+190007654181785582217326011759201411500680958501568325216556495667200000000*b2^2169251211536243147269107785675275308789410249019550728715864714346301803724800000000-10701546244725043314147035846003385046923167869190255656819438457664307200000000*b3+190007654181785582217326011759201411500680958501568325216556495667200000000*b3^2-16403798695572669929137806414355053525895718014845714432000000000000000-1968423142658261377215036749502633840411277915481702400000000000000*a-16403798695572669929137806414355053525895718014845714432000000000000000+1968423142658261377215036749502633840411277915481702400000000000000*a-4690397796761161993697162766799151648735232000000000
    [2 4 4 1 1 1]24 69190327436370075564646620770962041477012197/108022663582266835310746792888012053165822672373440-9711569685680943892534514648523000442975659330815794324276381979049984000000000-1396561558124123411431957339194552215482970630555574793147718762496000000000*a-9711569685680943892534514648523000442975659330815794324276381979049984000000000+1396561558124123411431957339194552215482970630555574793147718762496000000000*a-67709843936840819262856354532075768905728000000-19426114847123360339095950523268798063816764061228764484363245844840212070400000000+2184398387428606218589059571010984559686970071973700586667452290144665600000000*b1-50765012319477898008141916207685629882029628965668249192831228313600000000*b1^2-19426114847123360339095950523268798063816764061228764484363245844840212070400000000+2184398387428606218589059571010984559686970071973700586667452290144665600000000*b2-50765012319477898008141916207685629882029628965668249192831228313600000000*b2^2-19426114847123360339095950523268798063816764061228764484363245844840212070400000000+2184398387428606218589059571010984559686970071973700586667452290144665600000000*b3-50765012319477898008141916207685629882029628965668249192831228313600000000*b3^2733545864308122102827679710412395419248233365554121932800000000000000+113176051897563854356988005568933350731417649152000000000000000000*a733545864308122102827679710412395419248233365554121932800000000000000-113176051897563854356988005568933350731417649152000000000000000000*a-469785470899766622580160976642840308219904000000000
    [2 4 4 1 0 1]26 15619395069404602048822993129279271824600912673/577203539394899602647776851763909816643790891152737280/37-28668251684177535097928613646249433109926868486262372067551854731526144000000000-4337713065234409303348596756060309501707026063712217961491631374336000000000*a-28668251684177535097928613646249433109926868486262372067551854731526144000000000+4337713065234409303348596756060309501707026063712217961491631374336000000000*a-569863462304377267439721486181965801455616000000-570094323764872111024439515258371252353219893008933035781662986583719437926400000000+79225353697509394818189695212321736263359707899533076567278992320207257600000000*b1-2011413974110266424045085487745113094734566538885221216605053753753600000000*b1^2-570094323764872111024439515258371252353219893008933035781662986583719437926400000000+79225353697509394818189695212321736263359707899533076567278992320207257600000000*b2-2011413974110266424045085487745113094734566538885221216605053753753600000000*b2^2-570094323764872111024439515258371252353219893008933035781662986583719437926400000000+79225353697509394818189695212321736263359707899533076567278992320207257600000000*b3-2011413974110266424045085487745113094734566538885221216605053753753600000000*b3^25067570640067094013609954671607131339114296203287094886400000000000000+1048887222603996069037028972251241629740100910422425600000000000000*a5067570640067094013609954671607131339114296203287094886400000000000000-1048887222603996069037028972251241629740100910422425600000000000000*a-1946191444828251569136265327624659941720064000000000
    [2 2 8 0 1 1]28 86286555163569222716395346368339491723980717/84724859353113343601706637153955057754021635395200-36371852399845038728600082830392569965482563026462381297563852980551024640000000000-5691608709888181356922807167630520136812273749251427714218139779727360000000000*a-36371852399845038728600082830392569965482563026462381297563852980551024640000000000+5691608709888181356922807167630520136812273749251427714218139779727360000000000*a-10041736165645079371344315732114615293265838080000001677254787064936775538669028079505678437778682276397926657559325708965117952000000000-215082104124437844536791156377108575122390674624741145789171894044327936000000000*b1+5093101518744291612588187721150955279674321073318279799605081145344000000000*b1^21677254787064936775538669028079505678437778682276397926657559325708965117952000000000-215082104124437844536791156377108575122390674624741145789171894044327936000000000*b2+5093101518744291612588187721150955279674321073318279799605081145344000000000*b2^21677254787064936775538669028079505678437778682276397926657559325708965117952000000000-215082104124437844536791156377108575122390674624741145789171894044327936000000000*b3+5093101518744291612588187721150955279674321073318279799605081145344000000000*b3^2-10488263955478952310452991227066356941356708975312948428800000000000000-3800197292851131338062614814513745016981066122841292800000000000000*a-10488263955478952310452991227066356941356708975312948428800000000000000+3800197292851131338062614814513745016981066122841292800000000000000*a-10745082049384369166180183069309881748029440000000000
    [2 4 4 1 0 0]28 86286555163569222716395346368339491723980717/84363089590010584996762013658652374202085153500800-103486161574379614093396390957269963472313162581478228871732066167685120000000000-15797747234293753774287139092399416912888264959167237820104633876480000000000*a-103486161574379614093396390957269963472313162581478228871732066167685120000000000+15797747234293753774287139092399416912888264959167237820104633876480000000000*a-21619573064849504608953439152862074859683840000002174484015688290677987113353369493726941366539650344424231496173747854901248000000000-305517357473397430424035481942289249259235712053670082751858856085684224000000000*b1+7794357559473265326780848573933674756473577065184627741891416293376000000000*b1^22174484015688290677987113353369493726941366539650344424231496173747854901248000000000-305517357473397430424035481942289249259235712053670082751858856085684224000000000*b2+7794357559473265326780848573933674756473577065184627741891416293376000000000*b2^22174484015688290677987113353369493726941366539650344424231496173747854901248000000000-305517357473397430424035481942289249259235712053670082751858856085684224000000000*b3+7794357559473265326780848573933674756473577065184627741891416293376000000000*b3^2-4120779200582441975445694764651077300631210128758643097600000000000000-1184746651312216533013297128222731484938196968118681600000000000000*a-4120779200582441975445694764651077300631210128758643097600000000000000+1184746651312216533013297128222731484938196968118681600000000000000*a1593974253025140567848628742275433003745280000000000
    [2 2 10 1 1 1]28 3648660781166416700307220864747410557790693235/355240196272757484563295360195196091371129845836655600/37486426431720815612966010768499576447504929431243028361142295580063805685760000000000+36841347031904866831840320589733579354065046634973917130388652326830080000000000*a486426431720815612966010768499576447504929431243028361142295580063805685760000000000-36841347031904866831840320589733579354065046634973917130388652326830080000000000*a-51421897430276722709562144286817522868545126400000000583436448733922562828067784742084757193824025346704193085700227897246089216000000000-91018676323397599513813917731376922000102094145922564355304732412084224000000000*b1+2294319191562949598314860917712997778681556842049221376334299660288000000000*b1^2583436448733922562828067784742084757193824025346704193085700227897246089216000000000-91018676323397599513813917731376922000102094145922564355304732412084224000000000*b2+2294319191562949598314860917712997778681556842049221376334299660288000000000*b2^2583436448733922562828067784742084757193824025346704193085700227897246089216000000000-91018676323397599513813917731376922000102094145922564355304732412084224000000000*b3+2294319191562949598314860917712997778681556842049221376334299660288000000000*b3^219625563416058827389470101842576635975691314544887254220800000000000000+1728076703798293270482558360954675330671295670832332800000000000000*a19625563416058827389470101842576635975691314544887254220800000000000000-1728076703798293270482558360954675330671295670832332800000000000000*a2979909713344016806041714530827543133552640000000000
    [2 4 4 0 0 1]30 20527049636285583526307477572880124955125905591/577246476522641205289936621009313382229957025166182400/37-178219552583121167169033624817149046480523220970729500493453965838909440000000000-32617813191706243508263897236019973844414629537986987019815470366720000000000*a-178219552583121167169033624817149046480523220970729500493453965838909440000000000+32617813191706243508263897236019973844414629537986987019815470366720000000000*a-12869191263735547507678247912272571903508480000000-5582532442621669049582964251019924777346810517983640893764029860151405051904000000000+754331112303646500220443235304416758488120970552748605719134270000201728000000000*b1-18872603950527860387210010624484845846116353505266609141291727978496000000000*b1^2-5582532442621669049582964251019924777346810517983640893764029860151405051904000000000+754331112303646500220443235304416758488120970552748605719134270000201728000000000*b2-18872603950527860387210010624484845846116353505266609141291727978496000000000*b2^2-5582532442621669049582964251019924777346810517983640893764029860151405051904000000000+754331112303646500220443235304416758488120970552748605719134270000201728000000000*b3-18872603950527860387210010624484845846116353505266609141291727978496000000000*b3^219373866632292536565706185246855954536197637455318561587200000000000000+4285415431475123199115646367512480816941184167654195200000000000000*a19373866632292536565706185246855954536197637455318561587200000000000000-4285415431475123199115646367512480816941184167654195200000000000000*a-13621614729245309164581824711033335484252160000000000
    [2 2 8 0 1 0]30 5761230117659777267790789895782764993677360643/16202509518784513937762954340400224973553441561917440-125919641769477898801245010657693731616770162122108681697614921569836072960000000000-19704591109239818587019146695699328526472377712449087610991556912087040000000000*a-125919641769477898801245010657693731616770162122108681697614921569836072960000000000+19704591109239818587019146695699328526472377712449087610991556912087040000000000*a-3476782480701354628950710005844974761334643097600000-2817288421835491008112923788219453552812176320060518478937963939509726871552000000000+392712627829140448997090448714988294820875300872064481666759169304166400000000000*b1-10111590973132912645640685172712779653084528746529152737434446856192000000000*b1^2-2817288421835491008112923788219453552812176320060518478937963939509726871552000000000+392712627829140448997090448714988294820875300872064481666759169304166400000000000*b2-10111590973132912645640685172712779653084528746529152737434446856192000000000*b2^2-2817288421835491008112923788219453552812176320060518478937963939509726871552000000000+392712627829140448997090448714988294820875300872064481666759169304166400000000000*b3-10111590973132912645640685172712779653084528746529152737434446856192000000000*b3^217868248772479687687264223971342472778385298595215782707200000000000000+2204181258597072231037949700958431442185171883995955200000000000000*a17868248772479687687264223971342472778385298595215782707200000000000000-2204181258597072231037949700958431442185171883995955200000000000000*a14354911630104812534198969715446644022968320000000000
    [2 2 10 1 0 0]30 20527049636285583526307477572880124955125905591/5772139163555047993791341291741406567114703870870579200/371684057184044155043248487245492044601653730822767331025698466278722817884160000000000+127548435507735643085685325978166398718066407837667378584405148292218880000000000*a1684057184044155043248487245492044601653730822767331025698466278722817884160000000000-127548435507735643085685325978166398718066407837667378584405148292218880000000000*a-178027792150252983565921331078685265961259368448000000-704577821801434800015500554066371819363591339702441855618447283993448546304000000000+109086825277259838726166405738420086133305655763324605582735627366957056000000000*b1-2745547727221817094102398865329575035854954229436693222542878441472000000000*b1^2-704577821801434800015500554066371819363591339702441855618447283993448546304000000000+109086825277259838726166405738420086133305655763324605582735627366957056000000000*b2-2745547727221817094102398865329575035854954229436693222542878441472000000000*b2^2-704577821801434800015500554066371819363591339702441855618447283993448546304000000000+109086825277259838726166405738420086133305655763324605582735627366957056000000000*b3-2745547727221817094102398865329575035854954229436693222542878441472000000000*b3^2-22531868597518160499119919368671418675872013941835248435200000000000000-1956269586027684518541855208563831719375813500678963200000000000000*a-22531868597518160499119919368671418675872013941835248435200000000000000+1956269586027684518541855208563831719375813500678963200000000000000*a-3304864897950966246235873589092149268316160000000000
    [2 2 8 0 0 0]32 2181817709038619884790327869935526002158286607/1928018769800740624330455968563889349750357861747600-402354821062713969254541684960373847248872412867471576695890149696035225600000000000-62962828376820214402440503104254157978041401993221980568674456405934080000000000*a-402354821062713969254541684960373847248872412867471576695890149696035225600000000000+62962828376820214402440503104254157978041401993221980568674456405934080000000000*a-11109722321209384121986037649685162345352921088000000-21256786959163399674472006320044273548500010261078864804948791421063592411136000000000+2937240158063207733407186616542028549169566899400273501063035711240798208000000000*b1-73488633376122108093900244587132657634248200829649920353181703864320000000000*b1^2-21256786959163399674472006320044273548500010261078864804948791421063592411136000000000+2937240158063207733407186616542028549169566899400273501063035711240798208000000000*b2-73488633376122108093900244587132657634248200829649920353181703864320000000000*b2^2-21256786959163399674472006320044273548500010261078864804948791421063592411136000000000+2937240158063207733407186616542028549169566899400273501063035711240798208000000000*b3-73488633376122108093900244587132657634248200829649920353181703864320000000000*b3^2-130234856157338346220035266511158519056905828194155128422400000000000000-11118017496338423693963255941914001636863936523822694400000000000000*a-130234856157338346220035266511158519056905828194155128422400000000000000+11118017496338423693963255941914001636863936523822694400000000000000*a18203941481409032666385610048600742811402240000000000
    [2 4 4 0 0 0]32 2181817709038619884790327869935526002158286607/1924013560717959659636845478525831157453022422003600-562083871799205995701087006125802091434918298865890155536159502842593280000000000-102471735241008176248122086778684991988537586292852289735867527987200000000000*a-562083871799205995701087006125802091434918298865890155536159502842593280000000000+102471735241008176248122086778684991988537586292852289735867527987200000000000*a-3928601557942364220734297109443688550681804800000014723157593214996633006290541858498781482073323757089897166603998504834564096000000000-2023627717158963216123834047392280908296915820575597354626176802063646720000000000*b1+51187553339455341607373952391718234661473464147988360560302996062208000000000*b1^214723157593214996633006290541858498781482073323757089897166603998504834564096000000000-2023627717158963216123834047392280908296915820575597354626176802063646720000000000*b2+51187553339455341607373952391718234661473464147988360560302996062208000000000*b2^214723157593214996633006290541858498781482073323757089897166603998504834564096000000000-2023627717158963216123834047392280908296915820575597354626176802063646720000000000*b3+51187553339455341607373952391718234661473464147988360560302996062208000000000*b3^2-2166318348365858424185271429468229755079251017110388736000000000000000-907360852991692456960808916739563266241878279847936000000000000000*a-2166318348365858424185271429468229755079251017110388736000000000000000+907360852991692456960808916739563266241878279847936000000000000000*a12491987345370695529595036381638445875855360000000000
    [4 4 4 2 2 2]32 2181834354986717166210146329334315192287573775/1922089294223713168714611124369316163891577187040072106375730038015702755382938071763213488332304913169552756901633064960000000000+492042425072457647868396410444491400979637364418290005875653345280000000000*a72106375730038015702755382938071763213488332304913169552756901633064960000000000-492042425072457647868396410444491400979637364418290005875653345280000000000*a14191308116527434071890200641958849495957504000000-11755602303452619712173385379680917315294526812910772114623451670740792770560000000000+1700986845645045208994831245368343427605633378750436314681743934318706688000000000*b1-42878180616393000410513567504592929437442770939468757998618942636032000000000*b1^2-11755602303452619712173385379680917315294526812910772114623451670740792770560000000000+1700986845645045208994831245368343427605633378750436314681743934318706688000000000*b2-42878180616393000410513567504592929437442770939468757998618942636032000000000*b2^2-11755602303452619712173385379680917315294526812910772114623451670740792770560000000000+1700986845645045208994831245368343427605633378750436314681743934318706688000000000*b3-42878180616393000410513567504592929437442770939468757998618942636032000000000*b3^2145115939307664401423792219925478815888086078791233201766400000000000000+7521487172694919029215661270333509585014623807366758400000000000000*a145115939307664401423792219925478815888086078791233201766400000000000000-7521487172694919029215661270333509585014623807366758400000000000000*a4443534041894365666744402830844033121648640000000000
    [2 2 12 1 1 1]34 12521024196585728654137750545620079434180369363/3701324230039141970631631797443495058687699132947476480/3716024878748800694782893094948786285083192422563603580291918071173274177110016000000000+1213704754885483466999926873110335446166820539562791205455936084671463424000000000*a16024878748800694782893094948786285083192422563603580291918071173274177110016000000000-1213704754885483466999926873110335446166820539562791205455936084671463424000000000*a-1694048048479648463779258903011970633231799156736000000-6323636466293982683368471572631714545826174378663881064551210265445661042278400000000+918437670297805594063688915040592425772770681979326180196722943467297177600000000*b1-22805428182815462259649346547899486233583890931053446807249542027673600000000*b1^2-6323636466293982683368471572631714545826174378663881064551210265445661042278400000000+918437670297805594063688915040592425772770681979326180196722943467297177600000000*b2-22805428182815462259649346547899486233583890931053446807249542027673600000000*b2^2-6323636466293982683368471572631714545826174378663881064551210265445661042278400000000+918437670297805594063688915040592425772770681979326180196722943467297177600000000*b3-22805428182815462259649346547899486233583890931053446807249542027673600000000*b3^2-116911994810772238702632769633164797868812070590243615539200000000000000-8022441876824766869004567360461147976276606877433856000000000000000*a-116911994810772238702632769633164797868812070590243615539200000000000000+8022441876824766869004567360461147976276606877433856000000000000000*a-8215018101507527483327168575210562166718464000000000
    [2 4 6 1 1 2]34 12521024196585728654137750545620079434180369363/370442214140912520047675985880916058834699491452948480/37-2742662264189100329500727964227947984146913999642272215119099382045343744000000000-393261255496168647288412085285809828565738677864552868948086368239616000000000*a-2742662264189100329500727964227947984146913999642272215119099382045343744000000000+393261255496168647288412085285809828565738677864552868948086368239616000000000*a-1646048244997728319662896909650251014681395200000014868012805391995624621113016691461766674995179128105797502442429415052384665600000000-1906137484056212168712567016765463724567475342007993274988499063080904294400000000*b1+46562505047839205374921171530231385186814765097799734829351147300454400000000*b1^214868012805391995624621113016691461766674995179128105797502442429415052384665600000000-1906137484056212168712567016765463724567475342007993274988499063080904294400000000*b2+46562505047839205374921171530231385186814765097799734829351147300454400000000*b2^214868012805391995624621113016691461766674995179128105797502442429415052384665600000000-1906137484056212168712567016765463724567475342007993274988499063080904294400000000*b3+46562505047839205374921171530231385186814765097799734829351147300454400000000*b3^286591418140769485959564793270589272831359503911511234969600000000000000+19141943318412983379972436772276688543295189856079052800000000000000*a86591418140769485959564793270589272831359503911511234969600000000000000-19141943318412983379972436772276688543295189856079052800000000000000*a13936481324539553940621505718539315971096576000000000
    [2 2 10 0 1 1]36 43719711695421723146459505271858140585725676346307/4617602472028264882565733465085152708980706163543951442040/37-3352402081093564845364076188101659429713205319193361602251416906645414633472000000000-524602183561033486829953167287673049626553871543415389684769930967031808000000000*a-3352402081093564845364076188101659429713205319193361602251416906645414633472000000000+524602183561033486829953167287673049626553871543415389684769930967031808000000000*a-92563660290229194360969265581014394175920930816000000-15335200664027758589458987687072109460880275570670789724855234192766810665779200000000+2381685733028811297274314539694443961392845167231872159413170262460124364800000000*b1-62178180218096518602924238800376153023011543711490680122903488154828800000000*b1^2-15335200664027758589458987687072109460880275570670789724855234192766810665779200000000+2381685733028811297274314539694443961392845167231872159413170262460124364800000000*b2-62178180218096518602924238800376153023011543711490680122903488154828800000000*b2^2-15335200664027758589458987687072109460880275570670789724855234192766810665779200000000+2381685733028811297274314539694443961392845167231872159413170262460124364800000000*b3-62178180218096518602924238800376153023011543711490680122903488154828800000000*b3^2-296319831989235138705494900494248295104207613592290197504000000000000000-32750456707341542682180201394122212412306461416646246400000000000000*a-296319831989235138705494900494248295104207613592290197504000000000000000+32750456707341542682180201394122212412306461416646246400000000000000*a-26675916795084862219309412678900147722125312000000000
    [2 4 6 0 1 2]36 43719711921118159187403849212587107029340384167369/4617601236337160314369596465336023724985860846560114181480/37-3334312862361636368788015340408249576561235883401322049763036263447076864000000000-553373858480173272827978033873483710000708824265752349939499723513856000000000*a-3334312862361636368788015340408249576561235883401322049763036263447076864000000000+553373858480173272827978033873483710000708824265752349939499723513856000000000*a-144450572665916550067304538925482759561019392000000-22248759761653329806397046503420421516624099712329957755849471365959192569446400000000+2889669040719223427638488173328887196150015499427784585204867694977456537600000000*b1-70986800913956609565481694136312748829359367223783567002670777080217600000000*b1^2-22248759761653329806397046503420421516624099712329957755849471365959192569446400000000+2889669040719223427638488173328887196150015499427784585204867694977456537600000000*b2-70986800913956609565481694136312748829359367223783567002670777080217600000000*b2^2-22248759761653329806397046503420421516624099712329957755849471365959192569446400000000+2889669040719223427638488173328887196150015499427784585204867694977456537600000000*b3-70986800913956609565481694136312748829359367223783567002670777080217600000000*b3^2-26025664691723436490240766125434820279602767311535918284800000000000000-6911486179963484512046958411280619680903466428504473600000000000000*a-26025664691723436490240766125434820279602767311535918284800000000000000+6911486179963484512046958411280619680903466428504473600000000000000*a-35671760723588753408591113495432055450763264000000000
    [2 2 12 1 0 0]36 21859855904134970583465838621111311903766515128419/2308803704983492576521402197894299024106710189679039992560/3744835043945398038577957526493107699298532527735959362623261553488219565146112000000000+3395751535870225238292222483451419651269285272618152566243708025734873088000000000*a44835043945398038577957526493107699298532527735959362623261553488219565146112000000000-3395751535870225238292222483451419651269285272618152566243708025734873088000000000*a-4739675032608887689935589065323351647715023650816000000-4447602619152713525716856861690432159378386739883720084432777988114689608908800000000+256045156262753829301592868518074921773423360067143369092377090450469683200000000*b1-4230709628905773700311506514194513761104078543681544730019902993203200000000*b1^2-4447602619152713525716856861690432159378386739883720084432777988114689608908800000000+256045156262753829301592868518074921773423360067143369092377090450469683200000000*b2-4230709628905773700311506514194513761104078543681544730019902993203200000000*b2^2-4447602619152713525716856861690432159378386739883720084432777988114689608908800000000+256045156262753829301592868518074921773423360067143369092377090450469683200000000*b3-4230709628905773700311506514194513761104078543681544730019902993203200000000*b3^2466482965057841927765867361429071243569114784329839411200000000000000000+55685476541335103715376621858605570603026888442406502400000000000000*a466482965057841927765867361429071243569114784329839411200000000000000000-55685476541335103715376621858605570603026888442406502400000000000000*a132159359721882947715885541162679015772782592000000000
    [4 4 4 2 2 1]36 30676747007296216935937661763358496739020160655/324148047646800313164578718761747523221280061910400250907161303493781054189723186939032069389426491612418342534504892989440000000000+714402178981253623576572034234698898298822007465761856314338836480000000000*a250907161303493781054189723186939032069389426491612418342534504892989440000000000-714402178981253623576572034234698898298822007465761856314338836480000000000*a49801017367657540053409252267942634865033216000000-21249595939383050217642083020775802812218353076327194159817272269230420525056000000000+3088007858404148692767077468086193094866448123346033099399556536196923392000000000*b1-77785288797220728334463227415679188973630760584609899218373871403008000000000*b1^2-21249595939383050217642083020775802812218353076327194159817272269230420525056000000000+3088007858404148692767077468086193094866448123346033099399556536196923392000000000*b2-77785288797220728334463227415679188973630760584609899218373871403008000000000*b2^2-21249595939383050217642083020775802812218353076327194159817272269230420525056000000000+3088007858404148692767077468086193094866448123346033099399556536196923392000000000*b3-77785288797220728334463227415679188973630760584609899218373871403008000000000*b3^2279266068777057112298373924302052437922926703540834192588800000000000000+12690686131971801906444512603905378512433919329881292800000000000000*a279266068777057112298373924302052437922926703540834192588800000000000000-12690686131971801906444512603905378512433919329881292800000000000000*a13754802902842816634458255453730183294484480000000000
    [2 2 10 0 1 0]38 18319390801152864687649401239939071738789003351349/73112124299248423074322938967712716671726357095814914585600/703-168566554802370225910915150082602707126885606672784026960720375419255638917120000000000/19-(26378215484572744561799873871765514515270226591779150250111752182966845440000000000*a)/19-168566554802370225910915150082602707126885606672784026960720375419255638917120000000000/19+(26378215484572744561799873871765514515270226591779150250111752182966845440000000000*a)/19-244964018198312418072627318720734539450671955968000000-19953746368982274971853432675783173850051677075231261111464832448292869636096000000000+2366015664861827920291326147879636777014285405555997164526104763848196096000000000*b1-57620300160790477705290212804744933060413235847851002141049924616192000000000*b1^2-19953746368982274971853432675783173850051677075231261111464832448292869636096000000000+2366015664861827920291326147879636777014285405555997164526104763848196096000000000*b2-57620300160790477705290212804744933060413235847851002141049924616192000000000*b2^2-19953746368982274971853432675783173850051677075231261111464832448292869636096000000000+2366015664861827920291326147879636777014285405555997164526104763848196096000000000*b3-57620300160790477705290212804744933060413235847851002141049924616192000000000*b3^2342118183910286205322185186957062061703641992993553829068800000000000000+28369636491872544029095169769286267368682730424159436800000000000000*a342118183910286205322185186957062061703641992993553829068800000000000000-28369636491872544029095169769286267368682730424159436800000000000000*a102068086323905422728741536856498351258992640000000000
    [2 4 6 1 1 1]38 18319390801152864687649401239939071738789003351349/7311262208814242081747569150494694175542071265807193830400/703-384046129043908574533012094558673679497629385156666685317271450376346992640000000000/19-(54666338134988649462350555498690069538856614890230146453842895060664320000000000*a)/19-384046129043908574533012094558673679497629385156666685317271450376346992640000000000/19+(54666338134988649462350555498690069538856614890230146453842895060664320000000000*a)/19-8603480802370953899422141339821505675945574400000017748829502870949485562772580562544518387683714581616261974485135637421752320000000000-2619376955129497069424205154522307517828617739182378550801266757328699392000000000*b1+67751676278309145856171903866553777182810814826405323871678009180160000000000*b1^217748829502870949485562772580562544518387683714581616261974485135637421752320000000000-2619376955129497069424205154522307517828617739182378550801266757328699392000000000*b2+67751676278309145856171903866553777182810814826405323871678009180160000000000*b2^217748829502870949485562772580562544518387683714581616261974485135637421752320000000000-2619376955129497069424205154522307517828617739182378550801266757328699392000000000*b3+67751676278309145856171903866553777182810814826405323871678009180160000000000*b3^27860477233007052631352756077617603310042557561555648512000000000000000-11662047759672921788201281490353424452902106630717440000000000000000*a7860477233007052631352756077617603310042557561555648512000000000000000+11662047759672921788201281490353424452902106630717440000000000000000*a-69941138110958221380382738351631131465482240000000000
    [2 2 10 0 0 0]40 60557606401874303460781129723571282767094793443/96445131482128753609063297265880206167319570220972000-22335371882663753184038327252521434890436603110322739328055267655935497994240000000000-3495160453814639858541969921910877769304575243564992190056803393667727360000000000*a-22335371882663753184038327252521434890436603110322739328055267655935497994240000000000+3495160453814639858541969921910877769304575243564992190056803393667727360000000000*a-61670436477492920220849574807476135401705648947200000084263067782587811646009699085330593987936621610529444484830439170238257823744000000000-10723796410086671844633290229654704980448180624147048085946507565633372160000000000*b1+261830839162132544277601403796195230865712857481601519038024220934144000000000*b1^284263067782587811646009699085330593987936621610529444484830439170238257823744000000000-10723796410086671844633290229654704980448180624147048085946507565633372160000000000*b2+261830839162132544277601403796195230865712857481601519038024220934144000000000*b2^284263067782587811646009699085330593987936621610529444484830439170238257823744000000000-10723796410086671844633290229654704980448180624147048085946507565633372160000000000*b3+261830839162132544277601403796195230865712857481601519038024220934144000000000*b3^2-435432971851024681449226005425311222385483987463862380134400000000000000-55875124563935280182204603727317581347577445136885350400000000000000*a-435432971851024681449226005425311222385483987463862380134400000000000000+55875124563935280182204603727317581347577445136885350400000000000000*a-269020079951307086183588191072879160579850240000000000
    [2 4 6 0 0 2]40 36410260850167513551607895921526632960054018778583/577208236331258074884429666582802179771529096303430340480/37-15985597118537236360020080309579761252884492408257508681931021125023170560000000000-3006749050429618914924166948635210758924494823087903073756130529771520000000000*a-15985597118537236360020080309579761252884492408257508681931021125023170560000000000+3006749050429618914924166948635210758924494823087903073756130529771520000000000*a-1276374151202271290729103595689117841552205414400000-67882430536325616562750000551321273299319977251915715035158253454372194222080000000000+9014111364021411244599343309330444152783900104117776322810765669962874880000000000*b1-222873020354599528647665249205371889318626229687397611216242472910848000000000*b1^2-67882430536325616562750000551321273299319977251915715035158253454372194222080000000000+9014111364021411244599343309330444152783900104117776322810765669962874880000000000*b2-222873020354599528647665249205371889318626229687397611216242472910848000000000*b2^2-67882430536325616562750000551321273299319977251915715035158253454372194222080000000000+9014111364021411244599343309330444152783900104117776322810765669962874880000000000*b3-222873020354599528647665249205371889318626229687397611216242472910848000000000*b3^2-96617831358203728622477456302024265543594620611115509350400000000000000-6074505425582334346679716711807756512028108224095846400000000000000*a-96617831358203728622477456302024265543594620611115509350400000000000000+6074505425582334346679716711807756512028108224095846400000000000000*a-95743434418262126711806851234303816027340800000000000
    [2 4 6 1 0 1]40 12136799914763339119144722683838825303491339816093/192408242424788415487533849505701701797051055107451141440/37-47938883818648464050496698075400949072318249197945868521803662087733575680000000000-6916504252796541109764582088104860623962335920993722416537612619939840000000000*a-47938883818648464050496698075400949072318249197945868521803662087733575680000000000+6916504252796541109764582088104860623962335920993722416537612619939840000000000*a-35664448452795515717509467872284657776926392320000076340612727451670552710190699644599436955788775658270047132912139719311097856000000000-10221930708096235137278931513184401404359017310406400492714596228873060352000000000*b1+255209625495398700922907687075405235077072157053014726650216063172608000000000*b1^276340612727451670552710190699644599436955788775658270047132912139719311097856000000000-10221930708096235137278931513184401404359017310406400492714596228873060352000000000*b2+255209625495398700922907687075405235077072157053014726650216063172608000000000*b2^276340612727451670552710190699644599436955788775658270047132912139719311097856000000000-10221930708096235137278931513184401404359017310406400492714596228873060352000000000*b3+255209625495398700922907687075405235077072157053014726650216063172608000000000*b3^2138089970431405398531943402152881782970293346071025706598400000000000000+28670479675508598519500940432193990676711479836042854400000000000000*a138089970431405398531943402152881782970293346071025706598400000000000000-28670479675508598519500940432193990676711479836042854400000000000000*a94909729957088204413081235049596545180631040000000000
    [2 2 14 1 1 1]40 36410121956045009745781623791536790009634018108887/5772024684316228360728116115496437514745486141698080899520/37298711841915456396451073228116662051968425218740996707497937085541898524098560000000000+22624070784394159472535526028162048898729265987681494148939342254484684800000000000*a298711841915456396451073228116662051968425218740996707497937085541898524098560000000000-22624070784394159472535526028162048898729265987681494148939342254484684800000000000*a-315779112693105032570864484782362960397391359901696000005486247304918218620030600332487721368451836495404352903275675923027962363904000000000-384923893917126978933750213481530895671578796026581586589228600662163456000000000*b1+7310991048046826717926594097692036263175351516332698583388957704192000000000*b1^25486247304918218620030600332487721368451836495404352903275675923027962363904000000000-384923893917126978933750213481530895671578796026581586589228600662163456000000000*b2+7310991048046826717926594097692036263175351516332698583388957704192000000000*b2^25486247304918218620030600332487721368451836495404352903275675923027962363904000000000-384923893917126978933750213481530895671578796026581586589228600662163456000000000*b3+7310991048046826717926594097692036263175351516332698583388957704192000000000*b3^2-478201450979649341111104770435739602369476412088779590860800000000000000-57823767947180033301088969641610916255973204005014732800000000000000*a-478201450979649341111104770435739602369476412088779590860800000000000000+57823767947180033301088969641610916255973204005014732800000000000000*a-138583124302819575783749343777391293958717440000000000
    [2 4 6 0 1 1]42 828891135181800605348500275818046277462324674701/546535723169556880483385977712175132258827422327296000-45801944161401238274932071942976715792928848406471129118888924794012303360000000000-7877324062604296462853134150156569538487874203106297844429507732439040000000000*a-45801944161401238274932071942976715792928848406471129118888924794012303360000000000+7877324062604296462853134150156569538487874203106297844429507732439040000000000*a-243541222342883743893172489469523291300849254400000096831085507386534959685919152187095211654931988234461599037782093654225059840000000000-13637738239543834028292056434681141929204086329749788207571689980689383424000000000*b1+347607796034461362019308813357620651718777569864217392536378857750528000000000*b1^296831085507386534959685919152187095211654931988234461599037782093654225059840000000000-13637738239543834028292056434681141929204086329749788207571689980689383424000000000*b2+347607796034461362019308813357620651718777569864217392536378857750528000000000*b2^296831085507386534959685919152187095211654931988234461599037782093654225059840000000000-13637738239543834028292056434681141929204086329749788207571689980689383424000000000*b3+347607796034461362019308813357620651718777569864217392536378857750528000000000*b3^2-40709985324209312740789347285970275628140799993585021747200000000000000-35179493162076746255465433580930240359720242356892467200000000000000*a-40709985324209312740789347285970275628140799993585021747200000000000000+35179493162076746255465433580930240359720242356892467200000000000000*a39288682540688994128834806888576554620682240000000000
    [2 2 14 1 0 0]42 491869462293954886955114527807935168482441261995/3241605566930557197863313126776656246026964376619878400718888404408479350026478578299395721626600536519185441100520093622237647994880000000000+54447731576484129016336037384121389558648423157700061050080847601394647040000000000*a718888404408479350026478578299395721626600536519185441100520093622237647994880000000000-54447731576484129016336037384121389558648423157700061050080847601394647040000000000*a-7599629808941393021666841881126947959247972859904000000054758444421116144744178211176576099388542653552068665292568704395054057259008000000000-7796815451541138261996888061208643300969643651423730987209647134670323712000000000*b1+192747898816760254393551940729265915997503990473157158432088097030144000000000*b1^254758444421116144744178211176576099388542653552068665292568704395054057259008000000000-7796815451541138261996888061208643300969643651423730987209647134670323712000000000*b2+192747898816760254393551940729265915997503990473157158432088097030144000000000*b2^254758444421116144744178211176576099388542653552068665292568704395054057259008000000000-7796815451541138261996888061208643300969643651423730987209647134670323712000000000*b3+192747898816760254393551940729265915997503990473157158432088097030144000000000*b3^2792515013675741020775205233784411272970054418724458751590400000000000000+44895319079208249553339222366788986250720700862457446400000000000000*a792515013675741020775205233784411272970054418724458751590400000000000000-44895319079208249553339222366788986250720700862457446400000000000000*a15866104675309178372804543550393715859128320000000000
    [2 4 6 1 0 0]42 491869462293954886955114527807935168482441261995/324536117162543011987468170174136801875248868450355200-115169547337772752983553832210884746846325978106581983251490146892005376000000000000-16633881089489422994222143571776421052013592290211600861070200578375680000000000*a-115169547337772752983553832210884746846325978106581983251490146892005376000000000000+16633881089489422994222143571776421052013592290211600861070200578375680000000000*a-888659689840657056116797003644877328313483264000000-108297947118595816383150247543950498252424454526222572075286175911081576235008000000000+13632220058114043535699304043167942602099561057117122538321267639908827136000000000*b1-328722351334734401367734704916565011173244247176796253090598709362688000000000*b1^2-108297947118595816383150247543950498252424454526222572075286175911081576235008000000000+13632220058114043535699304043167942602099561057117122538321267639908827136000000000*b2-328722351334734401367734704916565011173244247176796253090598709362688000000000*b2^2-108297947118595816383150247543950498252424454526222572075286175911081576235008000000000+13632220058114043535699304043167942602099561057117122538321267639908827136000000000*b3-328722351334734401367734704916565011173244247176796253090598709362688000000000*b3^2-55456917075972499621875842799028016343332747668966971801600000000000000-21462476662683577134683428102338162233228518607133081600000000000000*a-55456917075972499621875842799028016343332747668966971801600000000000000+21462476662683577134683428102338162233228518607133081600000000000000*a-270780446294586829587246085631132463330754560000000000
    [2 2 12 0 1 1]44 84174142173205152715005714279558072908812765495/242474903805200206309603360012407394917638448572558400-124183228332366553162837626451556901068399372252334473608595153874537548021760000000000-19432873375440585824907468155492118969659117583849407522679891805512990720000000000*a-124183228332366553162837626451556901068399372252334473608595153874537548021760000000000+19432873375440585824907468155492118969659117583849407522679891805512990720000000000*a-3428847188305658684043102055232682658189789888512000000-20923759973234102711320048239840876371611063442275379083585640153520575348736000000000+2897635970060505527298083841269103789382405054719691411027114957360594944000000000*b1-55723131019438628852936571107530267598648629125317428991275032379392000000000*b1^2-20923759973234102711320048239840876371611063442275379083585640153520575348736000000000+2897635970060505527298083841269103789382405054719691411027114957360594944000000000*b2-55723131019438628852936571107530267598648629125317428991275032379392000000000*b2^2-20923759973234102711320048239840876371611063442275379083585640153520575348736000000000+2897635970060505527298083841269103789382405054719691411027114957360594944000000000*b3-55723131019438628852936571107530267598648629125317428991275032379392000000000*b3^2-1484630334531157886606373624681485693742265513733791521177600000000000000-54404046000147883087303638973047554542838871311882649600000000000000*a-1484630334531157886606373624681485693742265513733791521177600000000000000+54404046000147883087303638973047554542838871311882649600000000000000*a-244694215016134106208230075071840983837573120000000000
    [2 4 6 0 1 0]44 62288389983657073694021593633565504209553278314203/1776045793323185356062215294096714191401475855098636899760/37-105350277286570806145505719421978752260748987361445347476651077514430496768000000000-18172389229136607825001145967128097269125627276382754500980514801467392000000000*a-105350277286570806145505719421978752260748987361445347476651077514430496768000000000+18172389229136607825001145967128097269125627276382754500980514801467392000000000*a-5696259962522535445907225960651564862331944960000000195313088421356774317326671335378134353685374630273298293535303713021398037299200000000-26829150467883833816729281576953641835014530834966528785985215386224479436800000000*b1+674589332940030964098162045485072056263026194241860156289305394597068800000000*b1^2195313088421356774317326671335378134353685374630273298293535303713021398037299200000000-26829150467883833816729281576953641835014530834966528785985215386224479436800000000*b2+674589332940030964098162045485072056263026194241860156289305394597068800000000*b2^2195313088421356774317326671335378134353685374630273298293535303713021398037299200000000-26829150467883833816729281576953641835014530834966528785985215386224479436800000000*b3+674589332940030964098162045485072056263026194241860156289305394597068800000000*b3^21636411032568255009758278824933612820604367421504181239808000000000000000+257948774435363075103609447498431074492353346701518438400000000000000*a1636411032568255009758278824933612820604367421504181239808000000000000000-257948774435363075103609447498431074492353346701518438400000000000000*a-475205337664976144223509315169181780628471808000000000
    [4 4 4 2 1 1]44 84174142173205152715005714279558072908812765495/2444061334920824682962220486618533812461288541584004699984199788561546424127954243884193606685602205571519742108172532121600000000000-3674295309951365372808933266576258599033492787510149003871597690880000000000*a4699984199788561546424127954243884193606685602205571519742108172532121600000000000+3674295309951365372808933266576258599033492787510149003871597690880000000000*a948930852886616625230931111520381476849844224000000212985098006902676392357063827612328984390100636588721417933763910755889971200000000000-30161120201145925148342639195778165890170469680255100350275313370721681408000000000*b1+761499251137621480406603853804609889379829461889918977533322584915968000000000*b1^2212985098006902676392357063827612328984390100636588721417933763910755889971200000000000-30161120201145925148342639195778165890170469680255100350275313370721681408000000000*b2+761499251137621480406603853804609889379829461889918977533322584915968000000000*b2^2212985098006902676392357063827612328984390100636588721417933763910755889971200000000000-30161120201145925148342639195778165890170469680255100350275313370721681408000000000*b3+761499251137621480406603853804609889379829461889918977533322584915968000000000*b3^2-1818814937535003833533129952350511916846975295804115465011200000000000000-154339316886824651186114533560882640995108124701700915200000000000000*a-1818814937535003833533129952350511916846975295804115465011200000000000000+154339316886824651186114533560882640995108124701700915200000000000000*a149234749433290718090028311555026213656330240000000000
    [2 4 6 0 0 1]46 17330518996151610486573958308030309267449019471313/2220101923994476835904323889710600363409758771995494266880/37-194891285234040032372274914884283095311131961305698237401676148290690351104000000000-36132275688003012369916586257021159362209545942333070014665168629661696000000000*a-194891285234040032372274914884283095311131961305698237401676148290690351104000000000+36132275688003012369916586257021159362209545942333070014665168629661696000000000*a-14681350987984767023827119765825222519004594176000000119463046243593027292067268575180776104656231070359254269179499851858908387737600000000-16973206034061294256970177003479683844147246764798207921457270903047349862400000000*b1+440953660040040958176831098683124509234357381788738336123336060724838400000000*b1^2119463046243593027292067268575180776104656231070359254269179499851858908387737600000000-16973206034061294256970177003479683844147246764798207921457270903047349862400000000*b2+440953660040040958176831098683124509234357381788738336123336060724838400000000*b2^2119463046243593027292067268575180776104656231070359254269179499851858908387737600000000-16973206034061294256970177003479683844147246764798207921457270903047349862400000000*b3+440953660040040958176831098683124509234357381788738336123336060724838400000000*b3^2-746170218512450388240895885657427177599898104625367928012800000000000000-95623465077335954819185972452750118314787955191421337600000000000000*a-746170218512450388240895885657427177599898104625367928012800000000000000+95623465077335954819185972452750118314787955191421337600000000000000*a242792453493441611008399143365985524080705536000000000
    [2 2 12 0 1 0]46 17330518996151610486573958308030309267449019471313/2220203822052646432676675668761492145221452303483883386880/37-276410267946198273624276917571731111278666568892669932340399924475618393718784000000000-43254189905399034784021502934112208089035788972032810012757298186525474816000000000*a-276410267946198273624276917571731111278666568892669932340399924475618393718784000000000+43254189905399034784021502934112208089035788972032810012757298186525474816000000000*a-7632006941906940170440307864113543141690466893824000000327605708713060504133154807282880585194188373934329658498187973801430157466009600000000-46517179672664061731456856178788275524009836291880612375199439589871085158400000000*b1+1179635973678819619600221196377654451861459574772659051011677410977382400000000*b1^2327605708713060504133154807282880585194188373934329658498187973801430157466009600000000-46517179672664061731456856178788275524009836291880612375199439589871085158400000000*b2+1179635973678819619600221196377654451861459574772659051011677410977382400000000*b2^2327605708713060504133154807282880585194188373934329658498187973801430157466009600000000-46517179672664061731456856178788275524009836291880612375199439589871085158400000000*b3+1179635973678819619600221196377654451861459574772659051011677410977382400000000*b3^23435395990046104420276122151308241013573471749270104807833600000000000000+423020622909508180244210673602783945057410082992344268800000000000000*a3435395990046104420276122151308241013573471749270104807833600000000000000-423020622909508180244210673602783945057410082992344268800000000000000*a218198459735105227837105581264518166878355456000000000
    [2 2 16 1 1 1]46 17330518996151610486573958308030309267449019471313/2220305480775619728826572019591791921933987319023879444480/373696708634329480310497965833553034158009186063145727445521224941853592922750976000000000+279984205654132715596521411833208313848945496499810537714085782782255693824000000000*a3696708634329480310497965833553034158009186063145727445521224941853592922750976000000000-279984205654132715596521411833208313848945496499810537714085782782255693824000000000*a-39079246591371924382054929763039260799206804789657600000088881355151725051734041703889966491207881972010985612534486845885628712327577600000000-12680486691735088862529897626110825595933206661243124646935851426776508006400000000*b1+313618345106393287704645414033606308547800310851875211408762508568166400000000*b1^288881355151725051734041703889966491207881972010985612534486845885628712327577600000000-12680486691735088862529897626110825595933206661243124646935851426776508006400000000*b2+313618345106393287704645414033606308547800310851875211408762508568166400000000*b2^288881355151725051734041703889966491207881972010985612534486845885628712327577600000000-12680486691735088862529897626110825595933206661243124646935851426776508006400000000*b3+313618345106393287704645414033606308547800310851875211408762508568166400000000*b3^21321637759994569204740784257353853695683071365837660094464000000000000000+76813387184839583668147126067473203538420489665065779200000000000000*a1321637759994569204740784257353853695683071365837660094464000000000000000-76813387184839583668147126067473203538420489665065779200000000000000*a34618017454010534297023480936872611011362816000000000
    [2 2 12 0 0 0]48 10882656003091417639463421835984376158311178309667/64811850883751027171462356319115843015403278363709334400-594641838358273775585128883415198282656848354485294921639253206409317895372800000000000-93052803008417676562271660927375321653081779816846039959475240895245189120000000000*a-594641838358273775585128883415198282656848354485294921639253206409317895372800000000000+93052803008417676562271660927375321653081779816846039959475240895245189120000000000*a-16418743573070511927365530714414020610234716782592000000218157631914124428635322349220814097576820676877953693669032647766617784057856000000000-29938589596703755828252990137201019719403526428366299485097631114799874048000000000*b1+754540117035742316364421935644122803714608407744926996510284930088960000000000*b1^2218157631914124428635322349220814097576820676877953693669032647766617784057856000000000-29938589596703755828252990137201019719403526428366299485097631114799874048000000000*b2+754540117035742316364421935644122803714608407744926996510284930088960000000000*b2^2218157631914124428635322349220814097576820676877953693669032647766617784057856000000000-29938589596703755828252990137201019719403526428366299485097631114799874048000000000*b3+754540117035742316364421935644122803714608407744926996510284930088960000000000*b3^2-2358200763935653237309661360797844252819183521095787059609600000000000000-486671536086639483364592397611568016110187902001584537600000000000000*a-2358200763935653237309661360797844252819183521095787059609600000000000000+486671536086639483364592397611568016110187902001584537600000000000000*a-1764893860711040723437350262442369052668067840000000000
    [2 4 6 0 0 0]48 258496669852325298580085428824691057763669802395417/15392219269533624389230944960078556484306943384116693069600/37-421845182325270989041835291645497937408634490359333442074684493088918077440000000000-78006054915763671644632833520908973908101293640412086075587432450621440000000000*a-421845182325270989041835291645497937408634490359333442074684493088918077440000000000+78006054915763671644632833520908973908101293640412086075587432450621440000000000*a-31455551585417274290826276679399336599776919552000000250067394551237890874025498977748455287327473672448014887079696385663133810688000000000-34715263965356980622460051661628535497669193942994285364789557994566189056000000000*b1+890366713413541839256309578897362097904170737241391382412936685289472000000000*b1^2250067394551237890874025498977748455287327473672448014887079696385663133810688000000000-34715263965356980622460051661628535497669193942994285364789557994566189056000000000*b2+890366713413541839256309578897362097904170737241391382412936685289472000000000*b2^2250067394551237890874025498977748455287327473672448014887079696385663133810688000000000-34715263965356980622460051661628535497669193942994285364789557994566189056000000000*b3+890366713413541839256309578897362097904170737241391382412936685289472000000000*b3^22440507486527933089947732463013786314324756904492319270502400000000000000+555976279575734930658817266046791819954005760480274022400000000000000*a2440507486527933089947732463013786314324756904492319270502400000000000000-555976279575734930658817266046791819954005760480274022400000000000000*a-634752891318812087614521773209254070793011200000000000
    [2 2 16 1 0 0]48 775487051308641784118543459294566745104499499857227/46176657178781507512916362858731703137467825211757293279600/377952704916607481960281251177810749625748597662518065075495811503652470296494080000000000+602328174787910934877350677899990013554753968200351848889671695563166105600000000000*a7952704916607481960281251177810749625748597662518065075495811503652470296494080000000000-602328174787910934877350677899990013554753968200351848889671695563166105600000000000*a-840709257828646259428457919342773003594843041824768000000-119561812850117728873383376185032749001440106303466232837869630687127925686272000000000+19168557272212195186829707530211590031579489400695553145332517516720734208000000000*b1-485806779201029317850031446525927665519825686122695304020813236142080000000000*b1^2-119561812850117728873383376185032749001440106303466232837869630687127925686272000000000+19168557272212195186829707530211590031579489400695553145332517516720734208000000000*b2-485806779201029317850031446525927665519825686122695304020813236142080000000000*b2^2-119561812850117728873383376185032749001440106303466232837869630687127925686272000000000+19168557272212195186829707530211590031579489400695553145332517516720734208000000000*b3-485806779201029317850031446525927665519825686122695304020813236142080000000000*b3^2-4748481677062746251544974652978228074118025691177689704038400000000000000-435347989406381177388796831104956296704966685928875622400000000000000*a-4748481677062746251544974652978228074118025691177689704038400000000000000+435347989406381177388796831104956296704966685928875622400000000000000*a-793338556207060735917206177736012693095055360000000000
    [2 4 8 1 1 2]48 10882697517287878857399997438593341388052997869603/6485930579844973439010016428351650826369455149962859200-1269953373986888496793150347460378743580595456020064684070961335286721740800000000000-181803691237730287738725335220259133044096670158060000863835412536688640000000000*a-1269953373986888496793150347460378743580595456020064684070961335286721740800000000000+181803691237730287738725335220259133044096670158060000863835412536688640000000000*a-7118556111764148413788420524765261801987244032000000149191211468493929381463219927541756856311828521961177512784737709211932164096000000000-17740044928084948511659690309996147055964695602869110218300762699729993728000000000*b1+418102339685157302660788306128687081720259833939279941295372257722368000000000*b1^2149191211468493929381463219927541756856311828521961177512784737709211932164096000000000-17740044928084948511659690309996147055964695602869110218300762699729993728000000000*b2+418102339685157302660788306128687081720259833939279941295372257722368000000000*b2^2149191211468493929381463219927541756856311828521961177512784737709211932164096000000000-17740044928084948511659690309996147055964695602869110218300762699729993728000000000*b3+418102339685157302660788306128687081720259833939279941295372257722368000000000*b3^2928562935047846729081510845634545926220398655431472735846400000000000000+268114997279967527302270927008376011373721629749569126400000000000000*a928562935047846729081510845634545926220398655431472735846400000000000000-268114997279967527302270927008376011373721629749569126400000000000000*a529769523124189140111785890445247656566456320000000000
    [2 6 6 1 1 3]48 775487051308641784118543459294566745104499499857227/46176219097167116740433408203806968575752198971686307756400/37-177358374883136176107010079024844267566766700954723540753168536542699765760000000000-24264650777335056313813015931591238984476794378247896830238145714012160000000000*a-177358374883136176107010079024844267566766700954723540753168536542699765760000000000+24264650777335056313813015931591238984476794378247896830238145714012160000000000*a868539825775116944804440822408103491184885760000000-159686502260128613786663640058127743857236984000053458484050406615215463464960000000000+20835878784471930000834258104797975594137754882886813340584461059408003072000000000*b1-506443200701750933812721387090168826734689133018907602204183846977536000000000*b1^2-159686502260128613786663640058127743857236984000053458484050406615215463464960000000000+20835878784471930000834258104797975594137754882886813340584461059408003072000000000*b2-506443200701750933812721387090168826734689133018907602204183846977536000000000*b2^2-159686502260128613786663640058127743857236984000053458484050406615215463464960000000000+20835878784471930000834258104797975594137754882886813340584461059408003072000000000*b3-506443200701750933812721387090168826734689133018907602204183846977536000000000*b3^2-1517956367136855913573692905016337917075411879647643068006400000000000000-217590467050175387243893692128379968006615543451117158400000000000000*a-1517956367136855913573692905016337917075411879647643068006400000000000000+217590467050175387243893692128379968006615543451117158400000000000000*a746918972756392606152904894676090261549875200000000000
    [4 4 4 2 0 0]48 3627579677161446691778857680400768872598272476513/2162055653396053872325113983256575281404820464906240027159382602080653089607235765319971983514513654349779077934096226440970240000000000271593826020806530896072357653199719835145136543497790779340962264409702400000000005539952786294649135791064428294275971007119360000000285275870522435335036591164037481358884729922087881562130622479574599320207360000000002852758705224353350365911640374813588847299220878815621306224795745993202073600000000028527587052243533503659116403748135888472992208788156213062247957459932020736000000000464099305167722462588517792076915219812545763089818268467200000000000000046409930516772246258851779207691521981254576308981826846720000000000000001168359574867698296480871194662632880519249920000000000
    [4 4 4 1 1 -1]50 2101014029515917765162310789527552520802880326507/6034355871613787333048209679047559622441245470464000-13283687654781014827309235322874818092408978913286813579972349322628300800000000000-552973723144039913167416700560679339051041369870013218453239827660800000000000*a-13283687654781014827309235322874818092408978913286813579972349322628300800000000000+552973723144039913167416700560679339051041369870013218453239827660800000000000*a-2351229956923171810765693650257678035574587392000000-752924046578647079244246737986102136628054327007870885989472811746476215500800000000000+106998427699328061530459831819266095637129206051111245803140550827385552896000000000*b1-2695862800369681634167926490008513051770596705635663360340592198418432000000000*b1^2-752924046578647079244246737986102136628054327007870885989472811746476215500800000000000+106998427699328061530459831819266095637129206051111245803140550827385552896000000000*b2-2695862800369681634167926490008513051770596705635663360340592198418432000000000*b2^2-752924046578647079244246737986102136628054327007870885989472811746476215500800000000000+106998427699328061530459831819266095637129206051111245803140550827385552896000000000*b3-2695862800369681634167926490008513051770596705635663360340592198418432000000000*b3^27113047967139856071045712035179592380911685121587156929740800000000000000+489525984384778968321728916198911980084998778328501452800000000000000*a7113047967139856071045712035179592380911685121587156929740800000000000000-489525984384778968321728916198911980084998778328501452800000000000000*a-294025253675018739047035229420933124980736000000000000
    [2 2 14 0 1 1]52 88530055820084985836917321768642282913281877034271/124850057250470872796055038220456868694957084836613362800-2511722565540660684431735660578232496878045931647942207209888139552882123980800000000000-393048081652023801306996170608702311117641155049986944628728029599255511040000000000*a-2511722565540660684431735660578232496878045931647942207209888139552882123980800000000000+393048081652023801306996170608702311117641155049986944628728029599255511040000000000*a-69351566996799970264438859843201161682062154661888000000130762222783241935159560886645484807081053991101756020183538526485960779104256000000000-16083331861022133685926531759293788805067914142295272259305856915036176384000000000*b1+395275191401576541166837257266097544564747754231391083252891391098880000000000*b1^2130762222783241935159560886645484807081053991101756020183538526485960779104256000000000-16083331861022133685926531759293788805067914142295272259305856915036176384000000000*b2+395275191401576541166837257266097544564747754231391083252891391098880000000000*b2^2130762222783241935159560886645484807081053991101756020183538526485960779104256000000000-16083331861022133685926531759293788805067914142295272259305856915036176384000000000*b3+395275191401576541166837257266097544564747754231391083252891391098880000000000*b3^2-1896788757267480587820673167797143841845766495562465961574400000000000000-182702428320617790879876977187483802769308217187395174400000000000000*a-1896788757267480587820673167797143841845766495562465961574400000000000000+182702428320617790879876977187483802769308217187395174400000000000000*a-688944563882651841262155590655407590295470080000000000
    [2 4 8 0 1 2]52 1702514062565101623321706251091440628881499481357/2425030892369836969780983550063309243592591969503800000-1782579619981389152063993224592751712244273932590429545771290910620132638720000000000-321507157316317833401307551340245988521465103560879492434984729039011840000000000*a-1782579619981389152063993224592751712244273932590429545771290910620132638720000000000+321507157316317833401307551340245988521465103560879492434984729039011840000000000*a-119489028784222108849936635041665127872270958592000000-242894238442112462773119065905117350898516092960281549509534497230323508576256000000000+30312221963720881251558352605045712917775164321131010099650810322471616512000000000*b1-737475934029286591675604446621445611076779313826475649725718694199296000000000*b1^2-242894238442112462773119065905117350898516092960281549509534497230323508576256000000000+30312221963720881251558352605045712917775164321131010099650810322471616512000000000*b2-737475934029286591675604446621445611076779313826475649725718694199296000000000*b2^2-242894238442112462773119065905117350898516092960281549509534497230323508576256000000000+30312221963720881251558352605045712917775164321131010099650810322471616512000000000*b3-737475934029286591675604446621445611076779313826475649725718694199296000000000*b3^2-723804238205568919167296253578412779203926868678785210777600000000000000-297408374519086123334460638497109117412349408177658265600000000000000*a-723804238205568919167296253578412779203926868678785210777600000000000000+297408374519086123334460638497109117412349408177658265600000000000000*a60612141304706364574763899333168627407912960000000000
    [2 2 18 1 1 1]52 88530055820084985836917321768642282913281877034271/12487502391446468157466008105249248411094205178435342040033591761608262844543258911749070222224487598213936549769306102519156862812569600000000000+2544199070450501630235729398566415883618330513996987522937916723681486684160000000000*a33591761608262844543258911749070222224487598213936549769306102519156862812569600000000000-2544199070450501630235729398566415883618330513996987522937916723681486684160000000000*a-3551106858440282328912216626975020705571180869582848000000-380598589944800651286615784962346294237565192260715180031378861924528307568640000000000+47489844851091080090700763323738447695648901243325843316595031398112296960000000000*b1-1136721124383044990957683337947579814356772452754169400093387379441664000000000*b1^2-380598589944800651286615784962346294237565192260715180031378861924528307568640000000000+47489844851091080090700763323738447695648901243325843316595031398112296960000000000*b2-1136721124383044990957683337947579814356772452754169400093387379441664000000000*b2^2-380598589944800651286615784962346294237565192260715180031378861924528307568640000000000+47489844851091080090700763323738447695648901243325843316595031398112296960000000000*b3-1136721124383044990957683337947579814356772452754169400093387379441664000000000*b3^23922845225360697664226214730338356713871770232764499178291200000000000000+742057019355115049901827790580346410477527556519310131200000000000000*a3922845225360697664226214730338356713871770232764499178291200000000000000-742057019355115049901827790580346410477527556519310131200000000000000*a2260583227077423499490882947711297961821470720000000000
    [2 4 8 1 1 1]52 1702514062565101623321706251091440628881499481357/2425050458566072376669532541458646659800380846342507200-5375164775217254172804071671650969743763456130611191851437936903368075182080000000000-769121643196300103127532860437453065180008385435054447108395122901319680000000000*a-5375164775217254172804071671650969743763456130611191851437936903368075182080000000000+769121643196300103127532860437453065180008385435054447108395122901319680000000000*a-29509926671324904841812350202972077965861453824000000-202698099570795721104102037745733566091265141115354626733824605305707633311744000000000+26019782199516445732447751094539874227780174381945977396964984371544064000000000000*b1-647587185409287751965667005599349099164753371836114358609259538677760000000000*b1^2-202698099570795721104102037745733566091265141115354626733824605305707633311744000000000+26019782199516445732447751094539874227780174381945977396964984371544064000000000000*b2-647587185409287751965667005599349099164753371836114358609259538677760000000000*b2^2-202698099570795721104102037745733566091265141115354626733824605305707633311744000000000+26019782199516445732447751094539874227780174381945977396964984371544064000000000000*b3-647587185409287751965667005599349099164753371836114358609259538677760000000000*b3^2-1576564168613293341145385269850288538888606977680474531430400000000000000-484619009618746427020443263056931827901248229108770406400000000000000*a-1576564168613293341145385269850288538888606977680474531430400000000000000+484619009618746427020443263056931827901248229108770406400000000000000*a-957531492306955833493407442089570472034304000000000000
    [2 6 6 0 0 3]54 453367423620362280888557724026416986591926997461621/324049333560837090347032518135945518471582567353058595840-96391170422791310172855532768450486389465675006656519502903367652902109184000000000-51341894666379461738743854038468443543895667773920000662799736986730496000000000*a-96391170422791310172855532768450486389465675006656519502903367652902109184000000000+51341894666379461738743854038468443543895667773920000662799736986730496000000000*a-62512591362528396979100592150880552956667625472000000449760841264399173537757229603061627658170744177667527645076720656947082795417600000000-51704964962446068753974211787669275248051161923099443637073649412142949990400000000*b1+1240123975595942737396219221869528914896632036766852677200008672863846400000000*b1^2449760841264399173537757229603061627658170744177667527645076720656947082795417600000000-51704964962446068753974211787669275248051161923099443637073649412142949990400000000*b2+1240123975595942737396219221869528914896632036766852677200008672863846400000000*b2^2449760841264399173537757229603061627658170744177667527645076720656947082795417600000000-51704964962446068753974211787669275248051161923099443637073649412142949990400000000*b3+1240123975595942737396219221869528914896632036766852677200008672863846400000000*b3^2-6471150669059281000691863247283181894300687166987421981081600000000000000-339738478791389125018947364461433407253602587579410022400000000000000*a-6471150669059281000691863247283181894300687166987421981081600000000000000+339738478791389125018947364461433407253602587579410022400000000000000*a2958665510517321481485055410035686301704912896000000000
    [2 2 14 0 1 0]54 226683711225070859338132052550428261796592492496071/162098740684827180909714762582227408241628239363257825280-4954511041838044143443588957307840504339767648973905657451724601815297922039808000000000-775308981052512236857079423697248348789015457752826242208949801606438060032000000000*a-4954511041838044143443588957307840504339767648973905657451724601815297922039808000000000+775308981052512236857079423697248348789015457752826242208949801606438060032000000000*a-136799785546315662558333902212458081452128236208128000000-1005445770067159182265560747956469533861896224579298931388104570545886798335180800000000+137250712743283096477306353922734698975547414843407424150906239335175238451200000000*b1-3455347809013688332787883521259267037727157885334408710022241950315315200000000*b1^2-1005445770067159182265560747956469533861896224579298931388104570545886798335180800000000+137250712743283096477306353922734698975547414843407424150906239335175238451200000000*b2-3455347809013688332787883521259267037727157885334408710022241950315315200000000*b2^2-1005445770067159182265560747956469533861896224579298931388104570545886798335180800000000+137250712743283096477306353922734698975547414843407424150906239335175238451200000000*b3-3455347809013688332787883521259267037727157885334408710022241950315315200000000*b3^2-2943109704223143172472204183423332655614951327695572356300800000000000000-486596229092995534476303885351464624388363857294681702400000000000000*a-2943109704223143172472204183423332655614951327695572356300800000000000000+486596229092995534476303885351464624388363857294681702400000000000000*a1157303036355000681522179567701451285402222592000000000
    [2 2 18 1 0 0]54 453367423620362280888557724026416986591926997461621/324014798880658886537378295361282104292775589831665631744066261601468178139636428396839492528561503382190567428814351057780311360187990016000000000+5018572915102325467996362916714399165069129935321522301639515938371576725504000000000*a66261601468178139636428396839492528561503382190567428814351057780311360187990016000000000-5018572915102325467996362916714399165069129935321522301639515938371576725504000000000*a-7004754022058508181503235187269419430063126984261632000000-127592200249785780164767817595725245513103768558864312648679916204206785455718400000000+26020605756465551006130974219107702113226284754097919125964130990075517337600000000*b1-686964183641770138156527127127650181091924617562449072945557034080665600000000*b1^2-127592200249785780164767817595725245513103768558864312648679916204206785455718400000000+26020605756465551006130974219107702113226284754097919125964130990075517337600000000*b2-686964183641770138156527127127650181091924617562449072945557034080665600000000*b2^2-127592200249785780164767817595725245513103768558864312648679916204206785455718400000000+26020605756465551006130974219107702113226284754097919125964130990075517337600000000*b3-686964183641770138156527127127650181091924617562449072945557034080665600000000*b3^2-12898131549502661719278457606658571523110826390334450801049600000000000000-1339806200105234771224297411518278739488104637694109286400000000000000*a-12898131549502661719278457606658571523110826390334450801049600000000000000+1339806200105234771224297411518278739488104637694109286400000000000000*a-2815142391816291359317391707257311488748027904000000000
    [2 4 8 1 0 1]54 226683711225070859338132052550428261796592492496071/162049413061885820684499952112806618846828941993259284480-10562761293333393188613173302148784856959045790693520478173770110814827184128000000000-1513877349421152894209725594442634198572760144216433120109235455756992512000000000*a-10562761293333393188613173302148784856959045790693520478173770110814827184128000000000+1513877349421152894209725594442634198572760144216433120109235455756992512000000000*a-62081502368743332574956015734899392271928524800000000-698198705733882092459187327143049352269714654635612680602998221301220842982604800000000+95251703092380783063480136023920710564366920649491951501711167309407793971200000000*b1-2404396444318153569228626387203116567129527405266305236092647793439539200000000*b1^2-698198705733882092459187327143049352269714654635612680602998221301220842982604800000000+95251703092380783063480136023920710564366920649491951501711167309407793971200000000*b2-2404396444318153569228626387203116567129527405266305236092647793439539200000000*b2^2-698198705733882092459187327143049352269714654635612680602998221301220842982604800000000+95251703092380783063480136023920710564366920649491951501711167309407793971200000000*b3-2404396444318153569228626387203116567129527405266305236092647793439539200000000*b3^299254459411722314491292470992803934403451919716772636262400000000000000-19372996993669308307120305974614321512849199257039667200000000000000*a99254459411722314491292470992803934403451919716772636262400000000000000+19372996993669308307120305974614321512849199257039667200000000000000*a-772057798594199677966609067326763511293411328000000000
    [4 4 4 1 1 1]54 453367423620362280888557724026416986591926997461621/3240135119220876630133849370032735114312747813835043840-53251179509324784006460098894762088262866786191738107919016002988893732864000000000-2309692196268251274372615315146230888465425675637024902236997083529216000000000*a-53251179509324784006460098894762088262866786191738107919016002988893732864000000000+2309692196268251274372615315146230888465425675637024902236997083529216000000000*a-9140452995054197507623415012795405021324771328000000-1788108746070543824623431028724195970686830870008810166559500958075949028894310400000000+252716590722694603786775169650892542642017173527315300123807512872921700761600000000*b1-6372691490124133565211920894155423178967028507758059332451092015978905600000000*b1^2-1788108746070543824623431028724195970686830870008810166559500958075949028894310400000000+252716590722694603786775169650892542642017173527315300123807512872921700761600000000*b2-6372691490124133565211920894155423178967028507758059332451092015978905600000000*b2^2-1788108746070543824623431028724195970686830870008810166559500958075949028894310400000000+252716590722694603786775169650892542642017173527315300123807512872921700761600000000*b3-6372691490124133565211920894155423178967028507758059332451092015978905600000000*b3^215260179694175047564415754880287143194408156936951568531456000000000000000+1304069117020389468608292071823739026595794818541237043200000000000000*a15260179694175047564415754880287143194408156936951568531456000000000000000-1304069117020389468608292071823739026595794818541237043200000000000000*a-1322513807110908686234624657463531634094505984000000000
    [2 2 14 0 0 0]56 1470262068008619496739028503162450566537192389516013/5460190017213955742107478067192441693898199688183509594880-9534493020429367868028057326310876664205000628118900885612147001862623836766208000000000-1492009619761254550131610185931511778111335544857215697905828961396506755072000000000*a-9534493020429367868028057326310876664205000628118900885612147001862623836766208000000000+1492009619761254550131610185931511778111335544857215697905828961396506755072000000000*a-263258412790578420511170974009852418537694848614400000000-1242809810611229931471368011451166427872862410641715579366829485521408730385612800000000+178451819249782577414015942194262148168344930752988268024168093780410577715200000000*b1-4544554061163261745173645348667246180544307950630917701306505420288819200000000*b1^2-1242809810611229931471368011451166427872862410641715579366829485521408730385612800000000+178451819249782577414015942194262148168344930752988268024168093780410577715200000000*b2-4544554061163261745173645348667246180544307950630917701306505420288819200000000*b2^2-1242809810611229931471368011451166427872862410641715579366829485521408730385612800000000+178451819249782577414015942194262148168344930752988268024168093780410577715200000000*b3-4544554061163261745173645348667246180544307950630917701306505420288819200000000*b3^2-450940309328079838554300478334882653058782750021496340480000000000000000+910072010277487463741931266427891087131051316268656230400000000000000*a-450940309328079838554300478334882653058782750021496340480000000000000000-910072010277487463741931266427891087131051316268656230400000000000000*a5745494419715699302163222778199347158751117312000000000
    [2 4 8 0 0 2]56 1470262068008619496739028503162450566537192389516013/546095016645359626377124796378328767071345533515266855680-6619856522266595608473221742220339340677749627185417109502087282555012251648000000000-1208881907909325330330378169613836863599016245184971556087169898624581632000000000*a-6619856522266595608473221742220339340677749627185417109502087282555012251648000000000+1208881907909325330330378169613836863599016245184971556087169898624581632000000000*a-468376021416197182259006780928911326502920912896000000-526137957734708412672267554919441214180981835033382192157335676719857669033164800000000+68283556720978149043040651124313276336538520699225563066320086919407678259200000000*b1-1660715371614292212154319017524522705995168733202922483030755376313139200000000*b1^2-526137957734708412672267554919441214180981835033382192157335676719857669033164800000000+68283556720978149043040651124313276336538520699225563066320086919407678259200000000*b2-1660715371614292212154319017524522705995168733202922483030755376313139200000000*b2^2-526137957734708412672267554919441214180981835033382192157335676719857669033164800000000+68283556720978149043040651124313276336538520699225563066320086919407678259200000000*b3-1660715371614292212154319017524522705995168733202922483030755376313139200000000*b3^2-6675339598097625139748489200424471814522135347551519585075200000000000000-1120107992664263903291873848953344501051471021053103308800000000000000*a-6675339598097625139748489200424471814522135347551519585075200000000000000+1120107992664263903291873848953344501051471021053103308800000000000000*a-599394299532336124609646607484951229657776128000000000
    [2 4 8 1 0 0]56 490089225537769999920557212992465618384347086380623/182095091216469947665435721523299951141413692321641920640-20328963807454716441442489362255427434926101552731855420698212794544159064064000000000-2913757234323870238706725304480760868932524992464807347741250436324786176000000000*a-20328963807454716441442489362255427434926101552731855420698212794544159064064000000000+2913757234323870238706725304480760868932524992464807347741250436324786176000000000*a-119720250520945396170628625081127316613700255744000000-466162084047323147833660396398450883411103793269531624973269264506159874074214400000000+60271602797153029503616312723716099249631791792880337743642771387064097177600000000*b1-1429645766685993979077720150885331481941327203645310279763040233167257600000000*b1^2-466162084047323147833660396398450883411103793269531624973269264506159874074214400000000+60271602797153029503616312723716099249631791792880337743642771387064097177600000000*b2-1429645766685993979077720150885331481941327203645310279763040233167257600000000*b2^2-466162084047323147833660396398450883411103793269531624973269264506159874074214400000000+60271602797153029503616312723716099249631791792880337743642771387064097177600000000*b3-1429645766685993979077720150885331481941327203645310279763040233167257600000000*b3^2-5833343722854060695964125924441471384693867537603254812672000000000000000-554915365412072048297555607853545272683235521332038860800000000000000*a-5833343722854060695964125924441471384693867537603254812672000000000000000+554915365412072048297555607853545272683235521332038860800000000000000*a3866609213736922582404154105408139759500394496000000000
    [2 6 6 1 1 2]56 1470256459403928993716385367347504277921343519890157/546094942073736435512737061507323870195361758251327630720-2742459768442372547487538056967643227428227203748682047797876869350745833472000000000-351773669319741854643854378943214523592178530097442940103968724000309248000000000*a-2742459768442372547487538056967643227428227203748682047797876869350745833472000000000+351773669319741854643854378943214523592178530097442940103968724000309248000000000*a52039528610273509263186159848040494649613221888000000-440644573408647542695839351930555375732929420456440169341949180889858131047219200000000+51728420361805657567904927844077372200868044572255923458867311491928607948800000000*b1-1207094576775276893264993534296153369656085065016822661920115309464780800000000*b1^2-440644573408647542695839351930555375732929420456440169341949180889858131047219200000000+51728420361805657567904927844077372200868044572255923458867311491928607948800000000*b2-1207094576775276893264993534296153369656085065016822661920115309464780800000000*b2^2-440644573408647542695839351930555375732929420456440169341949180889858131047219200000000+51728420361805657567904927844077372200868044572255923458867311491928607948800000000*b3-1207094576775276893264993534296153369656085065016822661920115309464780800000000*b3^2-2401340121925899210761812919665107713451166530535893762048000000000000000-704393265852038842011536560922344270547490239475508838400000000000000*a-2401340121925899210761812919665107713451166530535893762048000000000000000+704393265852038842011536560922344270547490239475508838400000000000000*a-3301067182627872629477473817689686380686344192000000000
    [4 4 4 1 1 0]56 490089225537769999920557212992465618384347086380623/1820255614885806793006305457500882338259220689143027840-62935798053648253328208145805256897582183877939602763418027436410256359424000000000-4159996844665052398848943737013859940303545712995843838780282667401216000000000*a-62935798053648253328208145805256897582183877939602763418027436410256359424000000000+4159996844665052398848943737013859940303545712995843838780282667401216000000000*a-939279065960090049017906106910141318668327321600000023773240576948991448949447801039780163140719376282159342509341589657446095257600000000-8658184204525827702775565888510385175773281193290771959219980783080334950400000000*b1+222420168290563540269752831388471911187351281491630276830140983305830400000000*b1^223773240576948991448949447801039780163140719376282159342509341589657446095257600000000-8658184204525827702775565888510385175773281193290771959219980783080334950400000000*b2+222420168290563540269752831388471911187351281491630276830140983305830400000000*b2^223773240576948991448949447801039780163140719376282159342509341589657446095257600000000-8658184204525827702775565888510385175773281193290771959219980783080334950400000000*b3+222420168290563540269752831388471911187351281491630276830140983305830400000000*b3^2-5333679110452891083390609582220525245551093353171931627520000000000000000+176820509111270618800718753488529428971511968733279027200000000000000*a-5333679110452891083390609582220525245551093353171931627520000000000000000-176820509111270618800718753488529428971511968733279027200000000000000*a-1826941181627474300242212710371076036062347264000000000
    [4 4 6 2 2 2]56 25850761634564062321676659826735403801947061569975/96260070871600479744967173461613735733688598946274400420191638839845078711114671777821711775483770215866093187568784960410746880000000000+3553066933036828010310016008215735250445023076568225825114604976865280000000000*a420191638839845078711114671777821711775483770215866093187568784960410746880000000000-3553066933036828010310016008215735250445023076568225825114604976865280000000000*a81617969048131856899650983888244172292842586112000000748704826873970710016691996311303263703735376106265107880391665131903103533056000000000-111395951037358019455042506700906146018790171282275245988827413439368396800000000000*b1+2853485421539457924389507082041228998273269422970290594589231191949312000000000*b1^2748704826873970710016691996311303263703735376106265107880391665131903103533056000000000-111395951037358019455042506700906146018790171282275245988827413439368396800000000000*b2+2853485421539457924389507082041228998273269422970290594589231191949312000000000*b2^2748704826873970710016691996311303263703735376106265107880391665131903103533056000000000-111395951037358019455042506700906146018790171282275245988827413439368396800000000000*b3+2853485421539457924389507082041228998273269422970290594589231191949312000000000*b3^2-11720906503385331851535742685745614634540617437461753102336000000000000000-1204396193269149690276945178423097829158219644309340160000000000000000*a-11720906503385331851535742685745614634540617437461753102336000000000000000+1204396193269149690276945178423097829158219644309340160000000000000000*a209759266939577669855662980136420599083827200000000000
    [2 4 8 0 1 1]58 449711997483725813559410674775354661263882066936549/8886611819052709307423299827947383850172657733859474764800/37-12659199126636939791848255360999429107417415566596214756470237687162177126400000000000-2291988183361666725149316031765596459020725865912547052043121411518300160000000000*a-12659199126636939791848255360999429107417415566596214756470237687162177126400000000000+2291988183361666725149316031765596459020725865912547052043121411518300160000000000*a-863084829426722358996657850652895845185125089280000000-2077073716857162407367671590855510703726773714663940496960096551436738770239488000000000+289629425876518505817556824543103528809559644700450240617059134588676210688000000000*b1-7406994541736958472288780237489370816828264381851163112946911600967680000000000*b1^2-2077073716857162407367671590855510703726773714663940496960096551436738770239488000000000+289629425876518505817556824543103528809559644700450240617059134588676210688000000000*b2-7406994541736958472288780237489370816828264381851163112946911600967680000000000*b2^2-2077073716857162407367671590855510703726773714663940496960096551436738770239488000000000+289629425876518505817556824543103528809559644700450240617059134588676210688000000000*b3-7406994541736958472288780237489370816828264381851163112946911600967680000000000*b3^22737574933820542823111363595973199810388399434668752817356800000000000000+288293164215237512667925986933931524963470808653286604800000000000000*a2737574933820542823111363595973199810388399434668752817356800000000000000-288293164215237512667925986933931524963470808653286604800000000000000*a-1161819495408955447001028064044337150946181120000000000
    [2 6 6 1 0 2]58 449711997483725813559410674775354661263882066936549/8886606346048600576604068640416979074426323981528566707200/37-2795810697062275885900047625614134308479100468551235969048367261714014863360000000000-399483459049846868124238793631171034524176167382294581697160345831014400000000000*a-2795810697062275885900047625614134308479100468551235969048367261714014863360000000000+399483459049846868124238793631171034524176167382294581697160345831014400000000000*a-14432179638726205767029923052067772264042463232000000-1669507669408971393611282977230485410057152752402777266324613922385237194571776000000000+224691824724993243043845852610844582757623874713091273873416375392989609984000000000*b1-5584024474167970179255899678661348838317954976777664960809769789030400000000000*b1^2-1669507669408971393611282977230485410057152752402777266324613922385237194571776000000000+224691824724993243043845852610844582757623874713091273873416375392989609984000000000*b2-5584024474167970179255899678661348838317954976777664960809769789030400000000000*b2^2-1669507669408971393611282977230485410057152752402777266324613922385237194571776000000000+224691824724993243043845852610844582757623874713091273873416375392989609984000000000*b3-5584024474167970179255899678661348838317954976777664960809769789030400000000000*b3^23793262272492445559676857777289813062431327579637796149657600000000000000+1218381345389800966016434426571219846223500165389064601600000000000000*a3793262272492445559676857777289813062431327579637796149657600000000000000-1218381345389800966016434426571219846223500165389064601600000000000000*a2815296403129463010530778694131125624053432320000000000
    [2 2 20 1 1 1]58 449711997483725813559410674775354661263882066936549/88819817405649939275612868300627734380733551749107899315200/37239815989227109232384819597843089524109673799836546659065434316445762934648012800000000000+18163370665883069442155215151635163083556532627136208573654769058434329149440000000000*a239815989227109232384819597843089524109673799836546659065434316445762934648012800000000000-18163370665883069442155215151635163083556532627136208573654769058434329149440000000000*a-25351817304120859485828351163975341286461199422062592000000627678809797896138592648273524808770703897143437609518379520547718755862446080000000000-83815976325829057539502766764009166513815206625125509555595162393111429120000000000*b1+2041126431334702018026478280688681653670124382431441870813806590951424000000000*b1^2627678809797896138592648273524808770703897143437609518379520547718755862446080000000000-83815976325829057539502766764009166513815206625125509555595162393111429120000000000*b2+2041126431334702018026478280688681653670124382431441870813806590951424000000000*b2^2627678809797896138592648273524808770703897143437609518379520547718755862446080000000000-83815976325829057539502766764009166513815206625125509555595162393111429120000000000*b3+2041126431334702018026478280688681653670124382431441870813806590951424000000000*b3^21265066204954893664257788189874709951806853781821607169228800000000000000-359319199409391460950298981150692055653053142601511731200000000000000*a1265066204954893664257788189874709951806853781821607169228800000000000000+359319199409391460950298981150692055653053142601511731200000000000000*a-1783776772338289223531692894429283073990328320000000000
    [2 2 16 0 1 1]60 302055533838784462373003323445994585853510341151847/324657858698943981131695244371036104865544307141292886400-33009374540109000523424813438851102509860070290451445270037825702759700861419520000000000-5165487393737571676439376507033910368388701792436398313255521396736133038080000000000*a-33009374540109000523424813438851102509860070290451445270037825702759700861419520000000000+5165487393737571676439376507033910368388701792436398313255521396736133038080000000000*a-911426975031669357666870447583428466580762470121472000000-1962981910689392293386060181599043389779129478457412196734091903865569398489088000000000+279155009768685304158485001609402001195675234910003246428298573577128509440000000000*b1-7357512354500244288850279994216325062085552794819659408790211325329408000000000*b1^2-1962981910689392293386060181599043389779129478457412196734091903865569398489088000000000+279155009768685304158485001609402001195675234910003246428298573577128509440000000000*b2-7357512354500244288850279994216325062085552794819659408790211325329408000000000*b2^2-1962981910689392293386060181599043389779129478457412196734091903865569398489088000000000+279155009768685304158485001609402001195675234910003246428298573577128509440000000000*b3-7357512354500244288850279994216325062085552794819659408790211325329408000000000*b3^23743764989264348078951487213503608788194506264732760853708800000000000000-1370396138656609588828835292563616992255650753747825459200000000000000*a3743764989264348078951487213503608788194506264732760853708800000000000000+1370396138656609588828835292563616992255650753747825459200000000000000*a4178151763410733394935728400176117978947911680000000000
    [2 4 8 0 1 0]60 11187242051775643021837575277219668100543618547095/12328957420189583890966471339705668608358080138550249600-23310446544717792390618770342934400111522311022931797322411380546330851409920000000000-4220751302357181163910952583387510397820965060950071546121010570917969920000000000*a-23310446544717792390618770342934400111522311022931797322411380546330851409920000000000+4220751302357181163910952583387510397820965060950071546121010570917969920000000000*a-15896917345578595151044061444430246661465791528960000005101234768575022143046868035900069702789290629900553830277354442605367048273920000000000-696352911726029813026524292543194364627763492797271323334474886644074807296000000000*b1+17430514010986380145446043278582495199261425859713165057964871881064448000000000*b1^25101234768575022143046868035900069702789290629900553830277354442605367048273920000000000-696352911726029813026524292543194364627763492797271323334474886644074807296000000000*b2+17430514010986380145446043278582495199261425859713165057964871881064448000000000*b2^25101234768575022143046868035900069702789290629900553830277354442605367048273920000000000-696352911726029813026524292543194364627763492797271323334474886644074807296000000000*b3+17430514010986380145446043278582495199261425859713165057964871881064448000000000*b3^24077659034974179235100162915165127221931210722840696953241600000000000000-902446082454929262338669544338951579797825434109240934400000000000000*a4077659034974179235100162915165127221931210722840696953241600000000000000+902446082454929262338669544338951579797825434109240934400000000000000*a482941993745923152799590780041847580183756800000000000
    [2 2 20 1 0 0]60 4661315267694120919422662135598010979845258109499/5985966229716639629713427622057206172922841827793338880441463803028167601008953269704913252314088083317137328436523747454193889231503360000000000+33435930249186383308676472856656233734192291212584403998134736698147185623040000000000*a441463803028167601008953269704913252314088083317137328436523747454193889231503360000000000-33435930249186383308676472856656233734192291212584403998134736698147185623040000000000*a-46668738474673117956473770935810646631765074242227404800000-41855543789804175051104486537711716610672850468078845279674886664866412625920000000000-18584810989263191113050103053479228862650707831498601692666370278419333120000000000*b1+596018182467666563492638333046345994997154408868541812458918825164800000000000*b1^2-41855543789804175051104486537711716610672850468078845279674886664866412625920000000000-18584810989263191113050103053479228862650707831498601692666370278419333120000000000*b2+596018182467666563492638333046345994997154408868541812458918825164800000000000*b2^2-41855543789804175051104486537711716610672850468078845279674886664866412625920000000000-18584810989263191113050103053479228862650707831498601692666370278419333120000000000*b3+596018182467666563492638333046345994997154408868541812458918825164800000000000*b3^233934164025878005101356129690839846063208825347303062634496000000000000000+3826118299628238936295768867525709851138685733496160256000000000000000*a33934164025878005101356129690839846063208825347303062634496000000000000000-3826118299628238936295768867525709851138685733496160256000000000000000*a8670668964785157405461938393019373156984422400000000000
    [2 6 6 1 1 1]60 44748626800895076322616340308339947203945184443983/48328698213196221758084312294198975230655754856796316000-9638749060047259677193102344497652547098510135818204918549118166610248826880000000000-1233557824241353160351073227858061673974773205867698316106943493543198720000000000*a-9638749060047259677193102344497652547098510135818204918549118166610248826880000000000+1233557824241353160351073227858061673974773205867698316106943493543198720000000000*a1875453443036353704513616438635607452958740971520000008592734045698636896225588305475424350202307463286825849577571154772319491063808000000000-1173347434643868421765238993242875384842460068916062383101378664918803283968000000000*b1+29406984839358639017287975701373533867644153246436288994077001755131904000000000*b1^28592734045698636896225588305475424350202307463286825849577571154772319491063808000000000-1173347434643868421765238993242875384842460068916062383101378664918803283968000000000*b2+29406984839358639017287975701373533867644153246436288994077001755131904000000000*b2^28592734045698636896225588305475424350202307463286825849577571154772319491063808000000000-1173347434643868421765238993242875384842460068916062383101378664918803283968000000000*b3+29406984839358639017287975701373533867644153246436288994077001755131904000000000*b3^222042353032647679893296734502730741217295453101775683951001600000000000000+1792571169597284910426175021096524371429211918309104025600000000000000*a22042353032647679893296734502730741217295453101775683951001600000000000000-1792571169597284910426175021096524371429211918309104025600000000000000*a-14038859027650309175480592150317409654779412480000000000
    [4 4 4 1 0 0]60 302055533838784462373003323445994585853510341151847/324870196123025138724426980958609967721666508459043200-93636152969530830312360736667490664385030607305907450268483747524581130240000000000-14133696475683911316823112543379359895508470913973055929413324695797760000000000*a-93636152969530830312360736667490664385030607305907450268483747524581130240000000000+14133696475683911316823112543379359895508470913973055929413324695797760000000000*a-5718084210233623650644745191044804928197361664000000-35768335317276165120152492564694793013573892478580192207277890082541274136576000000000+7143101439378898118251678737438168991359843383303251021458556163029204992000000000*b1-164070518511315065781173484119388171813908638874317842184925589012480000000000*b1^2-35768335317276165120152492564694793013573892478580192207277890082541274136576000000000+7143101439378898118251678737438168991359843383303251021458556163029204992000000000*b2-164070518511315065781173484119388171813908638874317842184925589012480000000000*b2^2-35768335317276165120152492564694793013573892478580192207277890082541274136576000000000+7143101439378898118251678737438168991359843383303251021458556163029204992000000000*b3-164070518511315065781173484119388171813908638874317842184925589012480000000000*b3^28016488604625539865079165162791580530878298568107590313574400000000000000+789428165801334072401722222676308771757949442127717990400000000000000*a8016488604625539865079165162791580530878298568107590313574400000000000000-789428165801334072401722222676308771757949442127717990400000000000000*a-680952678725560913480213096000812939990794240000000000
    [4 4 6 2 2 1]60 11187242051775643021837575277219668100543618547095/128854885770419708764233361892670441731432243719968001469266897328123456087988799072936978627798044639510284013343460872930590720000000000+12912457562944079041058634649156118417587602394915954115103989117091840000000000*a1469266897328123456087988799072936978627798044639510284013343460872930590720000000000-12912457562944079041058634649156118417587602394915954115103989117091840000000000*a285463776102495089824688185295794688890635288576000000414127573068363814466456444028830433049009198388138625275037217524264569143296000000000-57987554344056739679965048310928929600386044732668306655707849643578621952000000000*b1+1519452863657417537934485736394782969407180790479555462124139463049216000000000*b1^2414127573068363814466456444028830433049009198388138625275037217524264569143296000000000-57987554344056739679965048310928929600386044732668306655707849643578621952000000000*b2+1519452863657417537934485736394782969407180790479555462124139463049216000000000*b2^2414127573068363814466456444028830433049009198388138625275037217524264569143296000000000-57987554344056739679965048310928929600386044732668306655707849643578621952000000000*b3+1519452863657417537934485736394782969407180790479555462124139463049216000000000*b3^2-1713751485714144115894909463988152977956552209521099721932800000000000000-1210166413628027495374759131932002376148876524272798924800000000000000*a-1713751485714144115894909463988152977956552209521099721932800000000000000+1210166413628027495374759131932002376148876524272798924800000000000000*a2305438977591812644673200562781022665194864640000000000
    [2 4 8 0 0 1]62 2427360978322543520578718196243049213682105481116471/144321961799847942813271245104853755748412705340821362892800/37-41606760129577149005925743917969013741533171597243813961753466305399087431680000000000-7579229457066448754995439318226098357334430766890261001032768579585966080000000000*a-41606760129577149005925743917969013741533171597243813961753466305399087431680000000000+7579229457066448754995439318226098357334430766890261001032768579585966080000000000*a-2912896707901031072633880734027525121592875024384000000-5062384355028000729646285935748705193734179842859632255266022587035912788508672000000000+710921828574432770543049263783754649018063938632402633321337500765918330880000000000*b1-18075803752850596497113829191036541052082780872606205371624592976642048000000000*b1^2-5062384355028000729646285935748705193734179842859632255266022587035912788508672000000000+710921828574432770543049263783754649018063938632402633321337500765918330880000000000*b2-18075803752850596497113829191036541052082780872606205371624592976642048000000000*b2^2-5062384355028000729646285935748705193734179842859632255266022587035912788508672000000000+710921828574432770543049263783754649018063938632402633321337500765918330880000000000*b3-18075803752850596497113829191036541052082780872606205371624592976642048000000000*b3^2-9528422014916622653419785549493890930563775251856836945510400000000000000-182267946229539342739050188829539403486272775709419110400000000000000*a-9528422014916622653419785549493890930563775251856836945510400000000000000+182267946229539342739050188829539403486272775709419110400000000000000*a3248677639941495506611089677580533982717542400000000000
    [2 2 16 0 1 0]62 2427360978322543520578718196243049213682105481116471/144343919824550221536725002282880115899777030106811558502400/37-59561214657574165856713892888816859619679933241538800351605815829828468146176000000000000-9320464562248744708561609174655088647197070618827495174201942070393225871360000000000*a-59561214657574165856713892888816859619679933241538800351605815829828468146176000000000000+9320464562248744708561609174655088647197070618827495174201942070393225871360000000000*a-1644554070364532668314712863989585419106986896654336000000-729497672471534017799339409705524051407653866429164094755334406064303056617472000000000+123372057695288159618745509485701366183799768373739065361582716563872546816000000000*b1-3275491608750583887969036919805912878674313762130613463303854898544640000000000*b1^2-729497672471534017799339409705524051407653866429164094755334406064303056617472000000000+123372057695288159618745509485701366183799768373739065361582716563872546816000000000*b2-3275491608750583887969036919805912878674313762130613463303854898544640000000000*b2^2-729497672471534017799339409705524051407653866429164094755334406064303056617472000000000+123372057695288159618745509485701366183799768373739065361582716563872546816000000000*b3-3275491608750583887969036919805912878674313762130613463303854898544640000000000*b3^2-26690643832716075195227343270278081800637768684381303262412800000000000000-3000073336052239831208768708279441261390604778452339916800000000000000*a-26690643832716075195227343270278081800637768684381303262412800000000000000+3000073336052239831208768708279441261390604778452339916800000000000000*a-4356982318532097503300742392940194601180856320000000000
    [2 4 10 1 1 2]62 2427360978322543520578718196243049213682105481116471/144321978943609155063541728814851817733361279359409597235200/37-127234607605862537228524189346751614214146092026943211703483547246029074595840000000000-18226803138156946958520243517138298167283882430193504658127690234915717120000000000*a-127234607605862537228524189346751614214146092026943211703483547246029074595840000000000+18226803138156946958520243517138298167283882430193504658127690234915717120000000000*a-733267386468049316136296418951925858420408713216000000-2817154674557158383136247882202954010131977663840773897417464273926482821120000000000000+361071762923281628086874979632845373504423188344234203959510126887193018368000000000*b1-8756289784874929750848786795013214351250885887565669942766757008637952000000000*b1^2-2817154674557158383136247882202954010131977663840773897417464273926482821120000000000000+361071762923281628086874979632845373504423188344234203959510126887193018368000000000*b2-8756289784874929750848786795013214351250885887565669942766757008637952000000000*b2^2-2817154674557158383136247882202954010131977663840773897417464273926482821120000000000000+361071762923281628086874979632845373504423188344234203959510126887193018368000000000*b3-8756289784874929750848786795013214351250885887565669942766757008637952000000000*b3^2-15769918562207071280719965440552179290223157637681866027827200000000000000-2703135594327553919284305563690106054647614840845316915200000000000000*a-15769918562207071280719965440552179290223157637681866027827200000000000000+2703135594327553919284305563690106054647614840845316915200000000000000*a43729473576719795568510816408930263645552640000000000
    [2 2 16 0 0 0]64 1375540763751319030444025361448634558308317150802493419/46176077776736788821305642451091689723341471594990080421104080/37-105475760759823024444298730419130176757400923796305791384337806523720940764135424000000000-16505423850125969993726818846693242632655267770008350722321401928127303254016000000000*a-105475760759823024444298730419130176757400923796305791384337806523720940764135424000000000+16505423850125969993726818846693242632655267770008350722321401928127303254016000000000*a-2912307899493059463246880787653560394720084746043392000000-3578259365485444773563797393846403630837138866357650251768396483266844341724774400000000+434031949961714080948069576699760368691087375019190955303702415532399106457600000000*b1-10331264438163935994054674825086816736423039881672443464895989146032537600000000*b1^2-3578259365485444773563797393846403630837138866357650251768396483266844341724774400000000+434031949961714080948069576699760368691087375019190955303702415532399106457600000000*b2-10331264438163935994054674825086816736423039881672443464895989146032537600000000*b2^2-3578259365485444773563797393846403630837138866357650251768396483266844341724774400000000+434031949961714080948069576699760368691087375019190955303702415532399106457600000000*b3-10331264438163935994054674825086816736423039881672443464895989146032537600000000*b3^224101967354545878263020468736864522832408825937815499754700800000000000000+2851562031062869698431512024279611380297518290051268608000000000000000*a24101967354545878263020468736864522832408825937815499754700800000000000000-2851562031062869698431512024279611380297518290051268608000000000000000*a10378541233150132944819933793005232986192347136000000000
    [2 4 8 0 0 0]64 1375540763751319030444025361448634558308317150802493419/46176038891715790881903678663343456245488499723748576423638480/37-73693912229803665771831635058776146735725345442363081860449807880930659794944000000000-13424033015092810054686528851262859514428338138385945715836826642991415296000000000*a-73693912229803665771831635058776146735725345442363081860449807880930659794944000000000+13424033015092810054686528851262859514428338138385945715836826642991415296000000000*a-51587013151189272829376568823550646836980403404800000002394571324355098679933333122532411600522988531456322520500332254542554738563481600000000-332762369311783716673103796206709942935037595367575948626394339813968209510400000000*b1+8555852078366813204212444664452829607467624032447893869291714436818534400000000*b1^22394571324355098679933333122532411600522988531456322520500332254542554738563481600000000-332762369311783716673103796206709942935037595367575948626394339813968209510400000000*b2+8555852078366813204212444664452829607467624032447893869291714436818534400000000*b2^22394571324355098679933333122532411600522988531456322520500332254542554738563481600000000-332762369311783716673103796206709942935037595367575948626394339813968209510400000000*b3+8555852078366813204212444664452829607467624032447893869291714436818534400000000*b3^2-7879566799569416896260510076035692444484199390305165351321600000000000000-452933826813662482793366856170366281454739614824031846400000000000000*a-7879566799569416896260510076035692444484199390305165351321600000000000000+452933826813662482793366856170366281454739614824031846400000000000000*a6502416308568324583111836239236415278930722816000000000
    [2 6 6 0 0 2]64 1375540763791352382902867017566893463227523180636028907/46176038857737184516878421756314148898378421296580325913085840/37-927723832066431259762353744665507682150130314782320227681925522915225239552000000000-680272173077909896857990348359351445076126754040757653180269022463131648000000000*a-927723832066431259762353744665507682150130314782320227681925522915225239552000000000+680272173077909896857990348359351445076126754040757653180269022463131648000000000*a-909157061487956904629505108622167640131841818624000000-1919340453246672617081851585188088107678991484101356575485914888600242005160755200000000+300596394015202920650528176760364634500127838835992240950633057154788805836800000000*b1-7719164507821941116418309008647728713869810542253691499956169658387660800000000*b1^2-1919340453246672617081851585188088107678991484101356575485914888600242005160755200000000+300596394015202920650528176760364634500127838835992240950633057154788805836800000000*b2-7719164507821941116418309008647728713869810542253691499956169658387660800000000*b2^2-1919340453246672617081851585188088107678991484101356575485914888600242005160755200000000+300596394015202920650528176760364634500127838835992240950633057154788805836800000000*b3-7719164507821941116418309008647728713869810542253691499956169658387660800000000*b3^2-27954287593955178158780364157776079705141081253345502638899200000000000000-281546041838879283153476244831915513557725987741473177600000000000000*a-27954287593955178158780364157776079705141081253345502638899200000000000000+281546041838879283153476244831915513557725987741473177600000000000000*a897059742106059076525525495192201062009274368000000000
    [2 6 6 1 0 1]64 458511838833248489597638183248293671183725564695986169/15392038859407005683798738173310376026955364596067426804721240/37-16052970106301279341090590726047349868256567478958020169343849990385392934912000000000-2330664418224001398717378706168438413213078141297462342914738654910947328000000000*a-16052970106301279341090590726047349868256567478958020169343849990385392934912000000000+2330664418224001398717378706168438413213078141297462342914738654910947328000000000*a-1437366863448323042264883033301186537922026536960000003811483321691623913974302227315361534181772357342677754916622705700313789942988800000000-555675659365289194187527878138461666299010077215825730445672302915118904115200000000*b1+14356713661206009982709971676585433522891530746365864297967855634428723200000000*b1^23811483321691623913974302227315361534181772357342677754916622705700313789942988800000000-555675659365289194187527878138461666299010077215825730445672302915118904115200000000*b2+14356713661206009982709971676585433522891530746365864297967855634428723200000000*b2^23811483321691623913974302227315361534181772357342677754916622705700313789942988800000000-555675659365289194187527878138461666299010077215825730445672302915118904115200000000*b3+14356713661206009982709971676585433522891530746365864297967855634428723200000000*b3^229784552128630800224671320951481411606447396641223591382220800000000000000+3830550019519537358312971075422001663606845068502525542400000000000000*a29784552128630800224671320951481411606447396641223591382220800000000000000-3830550019519537358312971075422001663606845068502525542400000000000000*a-2964427961359451840809414313146323250207260672000000000
    [2 2 22 1 1 1]64 458511838833248489597638183248293671183725564695986169/153920116568387849790506590597780142956243048256431922339825240/371410626785818078502830240127864957922929096845670407825468627795300198059139145728000000000+106839153054711386258132570862165028753378368177676007418959596962538648952832000000000*a1410626785818078502830240127864957922929096845670407825468627795300198059139145728000000000-106839153054711386258132570862165028753378368177676007418959596962538648952832000000000*a-149122469607955718134288017619713317227348809902063616000000-331819806326049184444412798614505930494393516535075886860549259801053099143987200000000+77234641224728585215221710504102546855690857530077021209254500657477242060800000000*b1-2076213813128573859878565323786681531023533739795448043049784217226444800000000*b1^2-331819806326049184444412798614505930494393516535075886860549259801053099143987200000000+77234641224728585215221710504102546855690857530077021209254500657477242060800000000*b2-2076213813128573859878565323786681531023533739795448043049784217226444800000000*b2^2-331819806326049184444412798614505930494393516535075886860549259801053099143987200000000+77234641224728585215221710504102546855690857530077021209254500657477242060800000000*b3-2076213813128573859878565323786681531023533739795448043049784217226444800000000*b3^2-47003121822225560508361521264000844269755396561315780414668800000000000000-4988711728690247133414018678938061473366601108347368243200000000000000*a-47003121822225560508361521264000844269755396561315780414668800000000000000+4988711728690247133414018678938061473366601108347368243200000000000000*a-10704740249004837048023961733430068195551608832000000000
    [4 4 4 0 0 0]64 1375551258334532858663930297092659457661010123898634219/461760101119534474464933372573198569114705388187731613226880/37119426250629835190695799862335150362115173029339716678112912872335093006336000000000-43456397441435739834446470700025836487066146313823381931892729704349696000000000*a119426250629835190695799862335150362115173029339716678112912872335093006336000000000+43456397441435739834446470700025836487066146313823381931892729704349696000000000*a703635431253995117182813393140101562851477422080000008928629487513396909085192630163563180962766426099292689293674101666348671801753600000000-1236688756879463474216216890081284779916383869067764405243432395965053953638400000000*b1+31344638367003665346106994320987545474239266228984547220186299409786470400000000*b1^28928629487513396909085192630163563180962766426099292689293674101666348671801753600000000-1236688756879463474216216890081284779916383869067764405243432395965053953638400000000*b2+31344638367003665346106994320987545474239266228984547220186299409786470400000000*b2^28928629487513396909085192630163563180962766426099292689293674101666348671801753600000000-1236688756879463474216216890081284779916383869067764405243432395965053953638400000000*b3+31344638367003665346106994320987545474239266228984547220186299409786470400000000*b3^2-22432891853757908701106113693323237902859906440102510434713600000000000000-5019286989560959907707157876282436891358858446878697062400000000000000*a-22432891853757908701106113693323237902859906440102510434713600000000000000+5019286989560959907707157876282436891358858446878697062400000000000000*a11836884615059857217768707764530879195152121856000000000
    [4 4 6 0 2 2]64 1375540763751319030444025361448634558308317150802493419/46176074270680587182151186191410689753348293150611786940880/3714051713875583503039757698316418087863654239358916809269794774403652386816000000000-15268067638221753982125216408427775403099087264430920907045156942381056000000000*a14051713875583503039757698316418087863654239358916809269794774403652386816000000000+15268067638221753982125216408427775403099087264430920907045156942381056000000000*a13339690643218148417155585299783998252632768512000000-8039452701688906582779639730116437350588714185414900051395559318971248881854054400000000+1162599062516028438691868253640864858043553554554654257637789810906491361689600000000*b1-29409372547405754661301469668363530935490791283234824893069605146827161600000000*b1^2-8039452701688906582779639730116437350588714185414900051395559318971248881854054400000000+1162599062516028438691868253640864858043553554554654257637789810906491361689600000000*b2-29409372547405754661301469668363530935490791283234824893069605146827161600000000*b2^2-8039452701688906582779639730116437350588714185414900051395559318971248881854054400000000+1162599062516028438691868253640864858043553554554654257637789810906491361689600000000*b3-29409372547405754661301469668363530935490791283234824893069605146827161600000000*b3^295379274972590235056876105917329037781351640780533414651494400000000000000+7025023730683953522256338321963862976169895985938012569600000000000000*a95379274972590235056876105917329037781351640780533414651494400000000000000-7025023730683953522256338321963862976169895985938012569600000000000000*a-710140025442347149935205120747201402371047424000000000
    [2 2 22 1 0 0]66 808598745501433303629366332233731356057227049995735/15654819116504729440183658030323214201789232902028013056002454511618020264492432416628263238148118400098696107250759476698234583037035806720000000000+185901717654119544189074386034761931883381727992831907813682079666518786703360000000000*a2454511618020264492432416628263238148118400098696107250759476698234583037035806720000000000-185901717654119544189074386034761931883381727992831907813682079666518786703360000000000*a-2594753182110342940742940814180313229893714211608985600000003424612388360769331253529499637256930043028835831166715978165948755689080881152000000000-490791167043708242019373392544406892147182822123599075582339732296620310528000000000*b1+12150696591937951377811696305214862566049406400700361042739738020151296000000000*b1^23424612388360769331253529499637256930043028835831166715978165948755689080881152000000000-490791167043708242019373392544406892147182822123599075582339732296620310528000000000*b2+12150696591937951377811696305214862566049406400700361042739738020151296000000000*b2^23424612388360769331253529499637256930043028835831166715978165948755689080881152000000000-490791167043708242019373392544406892147182822123599075582339732296620310528000000000*b3+12150696591937951377811696305214862566049406400700361042739738020151296000000000*b3^254032979807531610331744555819157575650324709426121020119449600000000000000+3307236016923098545658522740324847199811540997681813913600000000000000*a54032979807531610331744555819157575650324709426121020119449600000000000000-3307236016923098545658522740324847199811540997681813913600000000000000*a2115660764358399460891103562461795189029601280000000000
    [2 6 6 1 0 0]66 808598745501433303629366332233731356057227049995735/1561827458745976943620593518434444339580190313531921152000-27969707031812128903430343971363555355816171676953017488394607246475066736640000000000-4063708615847355783074990958871855295377595881411844039477476553846292480000000000*a-27969707031812128903430343971363555355816171676953017488394607246475066736640000000000+4063708615847355783074990958871855295377595881411844039477476553846292480000000000*a-25520722038032557404473190313257023148886327296000000016056246825374678193871695156802667255032525600287151855334413942425514716168192000000000-2247503043905788440842422113722876921413781677310536665504227100882364268544000000000*b1+57125928840594384893124988864520821128921241612710634459234545055039488000000000*b1^216056246825374678193871695156802667255032525600287151855334413942425514716168192000000000-2247503043905788440842422113722876921413781677310536665504227100882364268544000000000*b2+57125928840594384893124988864520821128921241612710634459234545055039488000000000*b2^216056246825374678193871695156802667255032525600287151855334413942425514716168192000000000-2247503043905788440842422113722876921413781677310536665504227100882364268544000000000*b3+57125928840594384893124988864520821128921241612710634459234545055039488000000000*b3^273464008921697627270615939030464163957396726801581665891123200000000000000+9907065844864949510004157829117968572072338493921243955200000000000000*a73464008921697627270615939030464163957396726801581665891123200000000000000-9907065844864949510004157829117968572072338493921243955200000000000000*a-12317157108726505680676135536795369314168340480000000000
    [2 4 10 1 1 1]66 8396986929166702222231047985587919546934435779316051/16201830398074206373081306531397160826777959205172070574080-392056112427336113424652018094904689997810876705819426974971301694478521335808000000000-56164202777434727000669469679734530639455326319996751448623807903310938112000000000*a-392056112427336113424652018094904689997810876705819426974971301694478521335808000000000+56164202777434727000669469679734530639455326319996751448623807903310938112000000000*a-22608131447195046565067997846372317670704834150400000001942623222442202274714063241794724428245741104036609969252492144670488835339059200000000-234068901970233227587784821305257295467532778109846118733744745936747023564800000000*b1+5480950562333669321986736783349487743904903277993294590206332222885068800000000*b1^21942623222442202274714063241794724428245741104036609969252492144670488835339059200000000-234068901970233227587784821305257295467532778109846118733744745936747023564800000000*b2+5480950562333669321986736783349487743904903277993294590206332222885068800000000*b2^21942623222442202274714063241794724428245741104036609969252492144670488835339059200000000-234068901970233227587784821305257295467532778109846118733744745936747023564800000000*b3+5480950562333669321986736783349487743904903277993294590206332222885068800000000*b3^29212653563445533701046647003771326075634160149646220355174400000000000000+1869976867757795856052178556371406825958656638288973004800000000000000*a9212653563445533701046647003771326075634160149646220355174400000000000000-1869976867757795856052178556371406825958656638288973004800000000000000*a3419801019098788563724979630676030861116178432000000000
    [4 4 6 1 2 2]66 808598745501433303629366332233731356057227049995735/1563494775851220168201817092367683420823287044266752000-655821942362336970401886910036481066049080801858933843252818962540199280640000000000-28599587393602335304858724538046139677311012321090894612428069046190080000000000*a-655821942362336970401886910036481066049080801858933843252818962540199280640000000000+28599587393602335304858724538046139677311012321090894612428069046190080000000000*a-1184533421110668306658212765026805393246388224000000005569529886031702563813305231767400754041280721271965600472688368984145298194432000000000-807841640265246932084273543409099924748285808778434628831828623480233918464000000000*b1+20456515553461604956089348749007312240444615421464914226501083209924608000000000*b1^25569529886031702563813305231767400754041280721271965600472688368984145298194432000000000-807841640265246932084273543409099924748285808778434628831828623480233918464000000000*b2+20456515553461604956089348749007312240444615421464914226501083209924608000000000*b2^25569529886031702563813305231767400754041280721271965600472688368984145298194432000000000-807841640265246932084273543409099924748285808778434628831828623480233918464000000000*b3+20456515553461604956089348749007312240444615421464914226501083209924608000000000*b3^2-70029203660884815109537450051860693369173961208734260448460800000000000000-4991305538324402064380587183232627611918721004002397388800000000000000*a-70029203660884815109537450051860693369173961208734260448460800000000000000+4991305538324402064380587183232627611918721004002397388800000000000000*a159917089456579795630270646401978713054904320000000000
    [2 2 18 0 1 1]68 11071105296662255913228269523971170352360230963162867/12486259897682778538306943875785192406577996699586635694000-314102875115911067566394244733309657485786963014481823343384518292617165647298560000000000-49152535493106884401187796563844559393830809722959081512199900557277274521600000000000*a-314102875115911067566394244733309657485786963014481823343384518292617165647298560000000000+49152535493106884401187796563844559393830809722959081512199900557277274521600000000000*a-867274393988547630479554946071956833342526646832332800000015928639396993049540521827046421359742140347454005856974249688254591123037618176000000000-2287140620677927555700286054390297249137280247454795640073817439253485846528000000000*b1+58547816635247513567603911265830632579927190695741522608746838618013696000000000*b1^215928639396993049540521827046421359742140347454005856974249688254591123037618176000000000-2287140620677927555700286054390297249137280247454795640073817439253485846528000000000*b2+58547816635247513567603911265830632579927190695741522608746838618013696000000000*b2^215928639396993049540521827046421359742140347454005856974249688254591123037618176000000000-2287140620677927555700286054390297249137280247454795640073817439253485846528000000000*b3+58547816635247513567603911265830632579927190695741522608746838618013696000000000*b3^2119316061322226835909433619208704048261580356146514358173696000000000000000+13988333058193094595944735659896903683213466581971501056000000000000000*a119316061322226835909433619208704048261580356146514358173696000000000000000-13988333058193094595944735659896903683213466581971501056000000000000000*a-11133036198885081765084892311902235876057415680000000000
    [2 4 10 0 1 2]68 11071105296662255913228269523971170352360230963162867/12483130220866365782338623276893248368574770257910852116400-220579840312934884083948459739491173978296784155086103859743466961201460592640000000000-40091416713650707702034171635052032438434324235530984001248969616998481920000000000*a-220579840312934884083948459739491173978296784155086103859743466961201460592640000000000+40091416713650707702034171635052032438434324235530984001248969616998481920000000000*a-152937372924683007347815636940473723973859716628480000009415462921821360341680290835075366286663905920665822082461685869451019271798784000000000-1301166637189305008769266412709869437569028014227197194992016784850476335104000000000*b1+32896191729515995011149419498419133737603740898354636469803971852107776000000000*b1^29415462921821360341680290835075366286663905920665822082461685869451019271798784000000000-1301166637189305008769266412709869437569028014227197194992016784850476335104000000000*b2+32896191729515995011149419498419133737603740898354636469803971852107776000000000*b2^29415462921821360341680290835075366286663905920665822082461685869451019271798784000000000-1301166637189305008769266412709869437569028014227197194992016784850476335104000000000*b3+32896191729515995011149419498419133737603740898354636469803971852107776000000000*b3^239771281096943229203055798742127422267545441348627583729664000000000000000+5849352964356855360981022744883721263112432034548547584000000000000000*a39771281096943229203055798742127422267545441348627583729664000000000000000-5849352964356855360981022744883721263112432034548547584000000000000000*a-1622350540741352125130740496042561860125327360000000000
    [2 4 10 1 0 1]68 17742291286561977502913192523143652558233583387371/23132686257841814627118586145978853593201890211225696000-671057861557289505349725664447080018924773784306815483077594634810665563586560000000000-96134532624165674856501284028109805574162284137412167166098369991450296320000000000*a-671057861557289505349725664447080018924773784306815483077594634810665563586560000000000+96134532624165674856501284028109805574162284137412167166098369991450296320000000000*a-38725724194593713880036803407844017471268176527360000006214600435641566846831760749640281173720460610321396340135114266262718398857216000000000-850212749628110207625436099717481272746405674031358887878862652615855964160000000000*b1+21105314965628589667208391286234935024183509363472412080993822465589248000000000*b1^26214600435641566846831760749640281173720460610321396340135114266262718398857216000000000-850212749628110207625436099717481272746405674031358887878862652615855964160000000000*b2+21105314965628589667208391286234935024183509363472412080993822465589248000000000*b2^26214600435641566846831760749640281173720460610321396340135114266262718398857216000000000-850212749628110207625436099717481272746405674031358887878862652615855964160000000000*b3+21105314965628589667208391286234935024183509363472412080993822465589248000000000*b3^2-6525010022047525854834247174687574727184363295264336353689600000000000000-5907865265995655966251041489616513487342450792696748441600000000000000*a-6525010022047525854834247174687574727184363295264336353689600000000000000+5907865265995655966251041489616513487342450792696748441600000000000000*a-9092948723505094225996753905770733444079288320000000000
    [4 4 6 2 1 1]68 17742291286561977502913192523143652558233583387371/2828866666488127098716357307454950298582118687262080013967067728426888296510855039997124838658300193481332493020175881677317079040000000000+123353761944574787481043787316342834267845071979867545088495433087713280000000000*a13967067728426888296510855039997124838658300193481332493020175881677317079040000000000-123353761944574787481043787316342834267845071979867545088495433087713280000000000*a27182214395254701496050826088717871278935611801600000008427795527009325744796155786526880392693611902339293183589235864310842421936128000000000-1131926849474514136691798701871687085871106085812103582569738005372597174272000000000*b1+28553609784406804784755040109330158845583353869799156828962304781451264000000000*b1^28427795527009325744796155786526880392693611902339293183589235864310842421936128000000000-1131926849474514136691798701871687085871106085812103582569738005372597174272000000000*b2+28553609784406804784755040109330158845583353869799156828962304781451264000000000*b2^28427795527009325744796155786526880392693611902339293183589235864310842421936128000000000-1131926849474514136691798701871687085871106085812103582569738005372597174272000000000*b3+28553609784406804784755040109330158845583353869799156828962304781451264000000000*b3^2-1255598367985032424929862630148032905191345707488213624422400000000000000-5822156662257470809974407577277990703288694525466666598400000000000000*a-1255598367985032424929862630148032905191345707488213624422400000000000000+5822156662257470809974407577277990703288694525466666598400000000000000*a23721045247729527158084495583738500506693140480000000000
    [2 6 6 0 0 1]70 6636900615839950725348437738893746824366217157271935/444194985933750188235762013940547818018810778466633987737600/37-6905356567461461054435999858624248536734411621135457667031805917823937413120000000000-3657886630496083487219451370056743278476185329640308867390111407772139520000000000*a-6905356567461461054435999858624248536734411621135457667031805917823937413120000000000+3657886630496083487219451370056743278476185329640308867390111407772139520000000000*a-44461976040190599886520930787723577524719494103040000003081847107684230114594951617340716575100560358642024359163749310420648848261120000000000-421304540958059898516399489647174054138918755529265391062045929844976386048000000000*b1+11309364960966282990081767524455329317644413772007925517864069110956032000000000*b1^23081847107684230114594951617340716575100560358642024359163749310420648848261120000000000-421304540958059898516399489647174054138918755529265391062045929844976386048000000000*b2+11309364960966282990081767524455329317644413772007925517864069110956032000000000*b2^23081847107684230114594951617340716575100560358642024359163749310420648848261120000000000-421304540958059898516399489647174054138918755529265391062045929844976386048000000000*b3+11309364960966282990081767524455329317644413772007925517864069110956032000000000*b3^2-13521525169745229191543220299580088832570281823806105111756800000000000000+6088102854301870052185570605684153110608338972260381491200000000000000*a-13521525169745229191543220299580088832570281823806105111756800000000000000-6088102854301870052185570605684153110608338972260381491200000000000000*a-5846918744575201649153920978610332107590860800000000000
    [2 2 18 0 1 0]70 3139074615601618618196070227073717107874839286195149/21010548074352624548622074079918381028257251204210473635840-529270705715534348327587536822805454620773549291440684155534932013667638731079680000000000-82823174256440697409128904863602633724944144573188002538534445000608135249920000000000*a-529270705715534348327587536822805454620773549291440684155534932013667638731079680000000000+82823174256440697409128904863602633724944144573188002538534445000608135249920000000000*a-146137768525913088955168052660196284749905076835844096000008697646474147724360757995477876922776567400156944314822881253713532215078420480000000000-1166482424114622809801282949160711530197142756633345557729697226839514152960000000000*b1+29584071394092147777611048268150104278517400339930206942913654549381120000000000*b1^28697646474147724360757995477876922776567400156944314822881253713532215078420480000000000-1166482424114622809801282949160711530197142756633345557729697226839514152960000000000*b2+29584071394092147777611048268150104278517400339930206942913654549381120000000000*b2^28697646474147724360757995477876922776567400156944314822881253713532215078420480000000000-1166482424114622809801282949160711530197142756633345557729697226839514152960000000000*b3+29584071394092147777611048268150104278517400339930206942913654549381120000000000*b3^2-33259240126171525523039083552825269971993311455258246905856000000000000000-549483320335290108144012067801150287784008260366893056000000000000000*a-33259240126171525523039083552825269971993311455258246905856000000000000000+549483320335290108144012067801150287784008260366893056000000000000000*a-24086288940514434753173918810565406329353011200000000000
    [2 4 10 1 0 0]70 6636900615839950725348437738893746824366217157271935/444195308539365066002878986408118189153038862248230938675200/37-1130746838018409475151788586460976834256281136525094620370917893142790240337920000000000-161985837626874838594193025303841965064455076657396875806184562517761720320000000000*a-1130746838018409475151788586460976834256281136525094620370917893142790240337920000000000+161985837626874838594193025303841965064455076657396875806184562517761720320000000000*a-6520851762886533578890909426572884283808473415680000000-6389125869140825692280749080660568375903201031955118069239058808635135811911680000000000+936236890833496130525191098360111313224472362286601567012726177714455707648000000000*b1-23843693048674722178859239124396039503691665986224306131998833482137600000000000*b1^2-6389125869140825692280749080660568375903201031955118069239058808635135811911680000000000+936236890833496130525191098360111313224472362286601567012726177714455707648000000000*b2-23843693048674722178859239124396039503691665986224306131998833482137600000000000*b2^2-6389125869140825692280749080660568375903201031955118069239058808635135811911680000000000+936236890833496130525191098360111313224472362286601567012726177714455707648000000000*b3-23843693048674722178859239124396039503691665986224306131998833482137600000000000*b3^243127383405896441910937475942373345202919866672317397886566400000000000000+16665793341050669685417994030902561908368039576844265062400000000000000*a43127383405896441910937475942373345202919866672317397886566400000000000000-16665793341050669685417994030902561908368039576844265062400000000000000*a17809180353322715304632226192648764759683891200000000000
    [2 2 24 1 1 1]70 6636900615839950725348437738893746824366217157271935/444584935036311821074079088093137387195473392648308422502400/377078463084264434794305243059258569326934856251273170374628849466757924844830064640000000000+536114164614190260068329468459891494319286815262925786642823220039373597573120000000000*a7078463084264434794305243059258569326934856251273170374628849466757924844830064640000000000-536114164614190260068329468459891494319286815262925786642823220039373597573120000000000*a-7482899848144929586381764160335397629626181806142259200000001413133117111936581056068109876441190684943355067023093273756593141967984001024000000000-200319925443390201928368818866719153862168944044097409446866342605945307136000000000*b1+4947229518597476513614637976906323980720273376465730483516937057861632000000000*b1^21413133117111936581056068109876441190684943355067023093273756593141967984001024000000000-200319925443390201928368818866719153862168944044097409446866342605945307136000000000*b2+4947229518597476513614637976906323980720273376465730483516937057861632000000000*b2^21413133117111936581056068109876441190684943355067023093273756593141967984001024000000000-200319925443390201928368818866719153862168944044097409446866342605945307136000000000*b3+4947229518597476513614637976906323980720273376465730483516937057861632000000000*b3^219199842266646418893309889905810521140914042076533013820211200000000000000+1018629024313213891646112467476378991734273808153129779200000000000000*a19199842266646418893309889905810521140914042076533013820211200000000000000-1018629024313213891646112467476378991734273808153129779200000000000000*a94634938338817933789050648407945497238568960000000000
    [2 6 8 1 1 3]70 3139074615601618618196070227073717107874839286195149/2105269894236951566096689195071606489033282579304398090240-76868558453253666370650980601830307225743322961970069378786411441817023938560000000000-9719701411848558769622218204113761235508930326555303776210085805499351040000000000*a-76868558453253666370650980601830307225743322961970069378786411441817023938560000000000+9719701411848558769622218204113761235508930326555303776210085805499351040000000000*a1690199773374294927941048272221947116116387456614400000-12690493499064352288667918955570465525625678092419368977150462365340396957990912000000000+1739428841748843846956068024805143748401281151267495961016999281931476533248000000000*b1-43548072799128457860515607020255955709825273272288998682172265959784448000000000*b1^2-12690493499064352288667918955570465525625678092419368977150462365340396957990912000000000+1739428841748843846956068024805143748401281151267495961016999281931476533248000000000*b2-43548072799128457860515607020255955709825273272288998682172265959784448000000000*b2^2-12690493499064352288667918955570465525625678092419368977150462365340396957990912000000000+1739428841748843846956068024805143748401281151267495961016999281931476533248000000000*b3-43548072799128457860515607020255955709825273272288998682172265959784448000000000*b3^2-25339703207328824111860505559945483530011277831422669435699200000000000000+503163314469463328336035518580873222168163517561883852800000000000000*a-25339703207328824111860505559945483530011277831422669435699200000000000000-503163314469463328336035518580873222168163517561883852800000000000000*a14673971400893429079229881153629703530002513920000000000