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 nonfactored 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 283*617*151628697551*154210205991661*26315271553053477373/(2^13*3^6*5^3*7*11*13*19*37)0000000000
    u2 151628697551*154210205991661*26315271553053477373/(2^9*3^5*5*7*13*19*37)2*3^3*5*7^3*11^2*17*71^2*151628697551*26315271553053477373/(19*37)000000000
    u3 174763*151628697551*154210205991661*26315271553053477373/(2^9*3^4*5*7*13*19*37)2^4*3^4*5*7^3*11^2*17*71^2*151628697551*26315271553053477373/(37)000000000
    u4 79*349*87224971*151628697551*26315271553053477373/(2^8*3^4*5*7*13*19*37)2^2*3^5*5*7^3*11*17*577*151628697551*26315271553053477373/(19*37)(-828923015686316298508114203354995693154631680000000000*(1174156052778073237947+183738359723470973*a))/(19)(828923015686316298508114203354995693154631680000000000*(-1174156052778073237947+183738359723470973*a))/(19)-2^25*3^12*5^5*7^7*11^3*13*17*691*151628697551000000
    u5 11*7691*8609*12494474147*151628697551*26315271553053477373/(2^6*3^5*5*13*37)2^4*3^3*5*7^3*11*17*22906483211*151628697551*26315271553053477373/(37)-223341756488886127906803131440595837438074135667640668403703291576320000000000-118767673195675114137451951955506132174509186521053000253445242880000000000*a-223341756488886127906803131440595837438074135667640668403703291576320000000000+118767673195675114137451951955506132174509186521053000253445242880000000000*a-2^31*3^12*5^5*7^7*11^3*13*17*691*1597*151628697551000000
    u6 7691*8609*151628697551*26315271553053477373/(2^6*3^5*5*13*37)2^3*3^3*5*7^3*11*17*151628697551*26315271553053477373/(37)3344876432667102570653690336573262785008625885505555426707005440000000000+253336863252654290267758658696348345534877631094272360488960000000000*a3344876432667102570653690336573262785008625885505555426707005440000000000-253336863252654290267758658696348345534877631094272360488960000000000*a-2^23*3^12*5^5*7^7*11^3*13*17*691*151628697551000000
    u7 79*349*593*87224971*231769777*151628697551*26315271553053477373/(2^8*3^4*5*7*13*19*37)2^5*3^5*5*7^3*11*17*23*577*648239*151628697551*26315271553053477373/(19*37)(-424408584031393944836154472117757794895171420160000000000*(-118479223979242095716079+43189371180137217764*a))/(19)(424408584031393944836154472117757794895171420160000000000*(118479223979242095716079+43189371180137217764*a))/(19)2^33*3^12*5^5*7^7*11^3*13*17*31*139*691*151628697551000000
    u8 109*7691*8609*174763*151628697551*26315271553053477373/(2^6*3^4)2^6*3^4*5^2*7^3*11*13*17*19*109*151628697551*263152715530534773731530336818641283744656078867740726961588528312592295975153659176550400000000000+14053804165332498398450699695084949209280736930100867082590617600000000000*a1530336818641283744656078867740726961588528312592295975153659176550400000000000-14053804165332498398450699695084949209280736930100867082590617600000000000*a2^31*3^14*5^6*7^7*11^3*13*17*73*691*151628697551000000
    u9 29*71*1031*3137*7691*8609*151628697551*2836564305733*26315271553053477373/(2^6*3^5*5*13*37)-2^9*3^3*5*7^3*11*17*3637*93395819507*151628697551*26315271553053477373/(37)727687671396260877910298955356930520733152102890401075898315026991740354560000000000-5185490337003979426597864233332054342846995247677452289927879285800960000000000*a727687671396260877910298955356930520733152102890401075898315026991740354560000000000+5185490337003979426597864233332054342846995247677452289927879285800960000000000*a-2^39*3^12*5^5*7^7*11^3*13*17*523*691*7243*151628697551000000
    u10 73*151628697551*26315271553053477373/(2^6*3*5*13*37)2^3*3^8*5*7^3*11*17*151628697551*19351363544857/(37)1127708274939220414352823727839775760774142234008550834610176000000000+79988729877618676479524300636556806427614204405631442944000000000*a1127708274939220414352823727839775760774142234008550834610176000000000-79988729877618676479524300636556806427614204405631442944000000000*a-2^23*3^15*5^6*7^5*11^2*13*17*151628697551-7138232385576367464624841473651551596101068959775745739262045611622400000000+1608829883330774682344591920524154132865152165889278394156816793600000000*b1-43069115455769722584363389030317503749195520049488426801561600000000*b1^2-7138232385576367464624841473651551596101068959775745739262045611622400000000+1608829883330774682344591920524154132865152165889278394156816793600000000*b2-43069115455769722584363389030317503749195520049488426801561600000000*b2^2-7138232385576367464624841473651551596101068959775745739262045611622400000000+1608829883330774682344591920524154132865152165889278394156816793600000000*b3-43069115455769722584363389030317503749195520049488426801561600000000*b3^2-937028397471318220949967613962893847106554534297600000000000000-99034803247766498521580875853970982528509542400000000000000*a-937028397471318220949967613962893847106554534297600000000000000+99034803247766498521580875853970982528509542400000000000000*a-2^34*3^19*5^9*7^3*11^2*13*17*29^2*31*83*271*1009
    u11 757*151628697551*26315271553053477373/(2^3*3^4*5)2^10*3^5*5*7^3*11*13*17*43*32363*6013247*151628697551342014144772462293091827563492889340695295878090196636994830336000000000+17878765009319115886520927689122585846350052523993686933504000000000*a342014144772462293091827563492889340695295878090196636994830336000000000-17878765009319115886520927689122585846350052523993686933504000000000*a-2^26*3^12*5^6*7^5*11^2*13*17*1301*151628697551-1776252521006238466739524387666011177179936634174650791529918272792166400000000+237098907014152702552643529787945180939770790387011251981925325209600000000*b1-5773412156097984529295802323198492331664321652334580932909465600000000*b1^2-1776252521006238466739524387666011177179936634174650791529918272792166400000000+237098907014152702552643529787945180939770790387011251981925325209600000000*b2-5773412156097984529295802323198492331664321652334580932909465600000000*b2^2-1776252521006238466739524387666011177179936634174650791529918272792166400000000+237098907014152702552643529787945180939770790387011251981925325209600000000*b3-5773412156097984529295802323198492331664321652334580932909465600000000*b3^2-3453577660492055302968510664493419835147662078771200000000000000+1030955938338132276531267257206882749577691136000000000000000*a-3453577660492055302968510664493419835147662078771200000000000000-1030955938338132276531267257206882749577691136000000000000000*a2^37*3^20*5^9*7^3*11^2*13*17*29^2*31*83*271*1009
    u12 73*109*151628697551*26315271553053477373/(2^6*3)2^4*3^6*5^3*7^3*11^2*13*17*23*31*121177405651*151628697551-17588896806489825607327918627389871924477453634382096775475036160000000000-2753183077602036594765466772237796438318286363149134811955200000000000*a-17588896806489825607327918627389871924477453634382096775475036160000000000+2753183077602036594765466772237796438318286363149134811955200000000000*a-2^26*3^12*5^6*7^5*11^2*13*17*23*557*15162869755173929684548040709169599838233062333084813005927839804641348542225448960000000000-10361507137389617245545395103911414984912823089065783104896118030336000000000*b1+263784194854850597286893503361796924277291362702515970785673216000000000*b1^273929684548040709169599838233062333084813005927839804641348542225448960000000000-10361507137389617245545395103911414984912823089065783104896118030336000000000*b2+263784194854850597286893503361796924277291362702515970785673216000000000*b2^273929684548040709169599838233062333084813005927839804641348542225448960000000000-10361507137389617245545395103911414984912823089065783104896118030336000000000*b3+263784194854850597286893503361796924277291362702515970785673216000000000*b3^2273933779155093656653891172012457974509790816947404800000000000000+36397290284439853013566658638208987879975996620800000000000000*a273933779155093656653891172012457974509790816947404800000000000000-36397290284439853013566658638208987879975996620800000000000000*a-2^37*3^19*5^10*7^3*11^2*13^2*17*29^2*31*83*271*1009
    u13 13*37*109*757*151628697551*26315271553053477373/(2^3*3^4)2^6*3^7*5^3*7^5*11*13*17^2*1091*1583*54284371*151628697551-8726494205979496011737049318995344800887133255407460937205167226880000000000-1364697739796423284059140343934409656083774246857300416428441600000000000*a-8726494205979496011737049318995344800887133255407460937205167226880000000000+1364697739796423284059140343934409656083774246857300416428441600000000000*a-2^26*3^13*5^10*7^5*11^2*13*17*3359*151628697551-776688845871510092639847413303450465752635346634544492873785404645441536000000000+94086400304257137708962635264439772940169247975319887974038927048704000000000*b1-2234114237923070061237662658239331561707261818514629296591470592000000000*b1^2-776688845871510092639847413303450465752635346634544492873785404645441536000000000+94086400304257137708962635264439772940169247975319887974038927048704000000000*b2-2234114237923070061237662658239331561707261818514629296591470592000000000*b2^2-776688845871510092639847413303450465752635346634544492873785404645441536000000000+94086400304257137708962635264439772940169247975319887974038927048704000000000*b3-2234114237923070061237662658239331561707261818514629296591470592000000000*b3^2-4371178298060144668544310346464249530646542324387020800000000000000-1176725471308489823897406734285141845310572383436800000000000000*a-4371178298060144668544310346464249530646542324387020800000000000000+1176725471308489823897406734285141845310572383436800000000000000*a-2^37*3^21*5^10*7^3*11^2*13*17*29^2*31^2*83*271*1009
    u14 73*87211*262657*151628697551*26315271553053477373/(2^6*5*13*37)2^4*3^6*5*7^4*11^2*17*5197691*29175857*170976301*151628697551/(37)-1537071091026407380726106911166273122884415903613289493107407435464704000000000-240599278654268224095543599258669189225829139960664577410374434816000000000*a-1537071091026407380726106911166273122884415903613289493107407435464704000000000+240599278654268224095543599258669189225829139960664577410374434816000000000*a-2^27*3^14*5^6*7^6*11^2*13*17*151*58897*15162869755110088833610248959008098896020195891074005865551755043103177071225644620185600000000-1495402691472427552127017926424111273941879291631582718008487341090406400000000*b1+39245948421761105139316001759173814341267401270617123066061678182400000000*b1^210088833610248959008098896020195891074005865551755043103177071225644620185600000000-1495402691472427552127017926424111273941879291631582718008487341090406400000000*b2+39245948421761105139316001759173814341267401270617123066061678182400000000*b2^210088833610248959008098896020195891074005865551755043103177071225644620185600000000-1495402691472427552127017926424111273941879291631582718008487341090406400000000*b3+39245948421761105139316001759173814341267401270617123066061678182400000000*b3^234930755443243909658460938591066448535630160264481996800000000000000+5389335804645897826523238360425397653877030912000000000000000000*a34930755443243909658460938591066448535630160264481996800000000000000-5389335804645897826523238360425397653877030912000000000000000000*a-2^39*3^21*5^9*7^3*11^3*13*17*29^2*31*37*83*271*1009
    u15 17*73*241*433*38737*151628697551*26315271553053477373/(2^6*3*5*13*37)2^3*3^7*5*7^3*11^2*17^3*23*19387*5934031*237036143*151628697551/(37)20526639928902290091365011210241272672275318258316018079504533156012032000000000+1554614672310388977819034742746640970409172736484671604182989856768000000000*a20526639928902290091365011210241272672275318258316018079504533156012032000000000-1554614672310388977819034742746640970409172736484671604182989856768000000000*a-2^23*3^15*5^6*7^5*11^2*13*17*19*83*241*44549*151628697551-10053964374767153091974204793762555476766888013145767626317115360507907276800000000+1278728541199709111290864326194593677118778016860992244064128173552435200000000*b1-30761599355060655282680282862834963780123446450624110249592959795200000000*b1^2-10053964374767153091974204793762555476766888013145767626317115360507907276800000000+1278728541199709111290864326194593677118778016860992244064128173552435200000000*b2-30761599355060655282680282862834963780123446450624110249592959795200000000*b2^2-10053964374767153091974204793762555476766888013145767626317115360507907276800000000+1278728541199709111290864326194593677118778016860992244064128173552435200000000*b3-30761599355060655282680282862834963780123446450624110249592959795200000000*b3^269532254551736372576434522378107201507421026089172992000000000000000+15791683889265500049799572567992010799516932793958400000000000000*a69532254551736372576434522378107201507421026089172992000000000000000-15791683889265500049799572567992010799516932793958400000000000000*a2^38*3^19*5^9*7^3*11^3*13*17*29^2*31*83*271*1009*1373
    u16 17*241*433*757*38737*151628697551*26315271553053477373/(2^3*3^4*5)2^7*3^5*5*7^3*11*13*17*6130260239*151628697551*375053749427927-2268370009791869495430537182104068642864423815996241869046347272778416128000000000-354979771886307518358551023621927828027612887470965236804767999066112000000000*a-2268370009791869495430537182104068642864423815996241869046347272778416128000000000+354979771886307518358551023621927828027612887470965236804767999066112000000000*a-2^29*3^12*5^6*7^5*11^2*13*17*151628697551*206229817067332836764680457295619323934437485824898134431026665574313362273335300535091200000000-47817244643182989850190445018405918723364916333563711808356296204012748800000000*b1+1283611391440575033533535930519659593633661121760347244356464069836800000000*b1^2332836764680457295619323934437485824898134431026665574313362273335300535091200000000-47817244643182989850190445018405918723364916333563711808356296204012748800000000*b2+1283611391440575033533535930519659593633661121760347244356464069836800000000*b2^2332836764680457295619323934437485824898134431026665574313362273335300535091200000000-47817244643182989850190445018405918723364916333563711808356296204012748800000000*b3+1283611391440575033533535930519659593633661121760347244356464069836800000000*b3^21235787328011857953460255011047047774511783609687343104000000000000000+811573890904078395086322310889177164507971074811494400000000000000*a1235787328011857953460255011047047774511783609687343104000000000000000-811573890904078395086322310889177164507971074811494400000000000000*a2^40*3^20*5^9*7^4*11^2*13*17*29^2*31*41*47*83*271*1009
    u17 757*246241*279073*151628697551*26315271553053477373/(2^3*3^4*5)2^6*3^5*5*7^3*11*13*17*151628697551*689167629636481356102196930337193292527111357228566302150995576412104985174159182089436796652290048000000000+2297703286668351046587320492351727780297388515519501610654815135793152000000000*a30337193292527111357228566302150995576412104985174159182089436796652290048000000000-2297703286668351046587320492351727780297388515519501610654815135793152000000000*a-2^26*3^12*5^6*7^5*11^2*13*17*37*151*118463*127597*151628697551169251211536243147269107785675275308789410249019550728715864714346301803724800000000-10701546244725043314147035846003385046923167869190255656819438457664307200000000*b1+190007654181785582217326011759201411500680958501568325216556495667200000000*b1^2169251211536243147269107785675275308789410249019550728715864714346301803724800000000-10701546244725043314147035846003385046923167869190255656819438457664307200000000*b2+190007654181785582217326011759201411500680958501568325216556495667200000000*b2^2169251211536243147269107785675275308789410249019550728715864714346301803724800000000-10701546244725043314147035846003385046923167869190255656819438457664307200000000*b3+190007654181785582217326011759201411500680958501568325216556495667200000000*b3^2-16403798695572669929137806414355053525895718014845714432000000000000000-1968423142658261377215036749502633840411277915481702400000000000000*a-16403798695572669929137806414355053525895718014845714432000000000000000+1968423142658261377215036749502633840411277915481702400000000000000*a-2^39*3^20*5^9*7^3*11^2*13*17^2*29^2*31*37*83*271*367*1009
    u18 757*87211*262657*151628697551*26315271553053477373/(2^3*3^3*5)2^6*3^6*5*7^4*11*13*17*258321121*151628697551*424944888838823-9711569685680943892534514648523000442975659330815794324276381979049984000000000-1396561558124123411431957339194552215482970630555574793147718762496000000000*a-9711569685680943892534514648523000442975659330815794324276381979049984000000000+1396561558124123411431957339194552215482970630555574793147718762496000000000*a-2^26*3^15*5^6*7^7*11^2*13*17*271*4973*151628697551-19426114847123360339095950523268798063816764061228764484363245844840212070400000000+2184398387428606218589059571010984559686970071973700586667452290144665600000000*b1-50765012319477898008141916207685629882029628965668249192831228313600000000*b1^2-19426114847123360339095950523268798063816764061228764484363245844840212070400000000+2184398387428606218589059571010984559686970071973700586667452290144665600000000*b2-50765012319477898008141916207685629882029628965668249192831228313600000000*b2^2-19426114847123360339095950523268798063816764061228764484363245844840212070400000000+2184398387428606218589059571010984559686970071973700586667452290144665600000000*b3-50765012319477898008141916207685629882029628965668249192831228313600000000*b3^2733545864308122102827679710412395419248233365554121932800000000000000+113176051897563854356988005568933350731417649152000000000000000000*a733545864308122102827679710412395419248233365554121932800000000000000-113176051897563854356988005568933350731417649152000000000000000000*a-2^39*3^22*5^9*7^4*11^2*13*17*29^2*31*83*271*367*1009
    u19 5^2*13^2*37^2*73*109^3*151628697551*26315271553053477373/(2^6*3)2^6*3^6*5^2*7^3*11*13^2*17*613*554707*151628697551*3204971234579972106375730038015702755382938071763213488332304913169552756901633064960000000000+492042425072457647868396410444491400979637364418290005875653345280000000000*a72106375730038015702755382938071763213488332304913169552756901633064960000000000-492042425072457647868396410444491400979637364418290005875653345280000000000*a2^31*3^12*5^6*7^5*11^3*13*17*491*2162191*151628697551-11755602303452619712173385379680917315294526812910772114623451670740792770560000000000+1700986845645045208994831245368343427605633378750436314681743934318706688000000000*b1-42878180616393000410513567504592929437442770939468757998618942636032000000000*b1^2-11755602303452619712173385379680917315294526812910772114623451670740792770560000000000+1700986845645045208994831245368343427605633378750436314681743934318706688000000000*b2-42878180616393000410513567504592929437442770939468757998618942636032000000000*b2^2-11755602303452619712173385379680917315294526812910772114623451670740792770560000000000+1700986845645045208994831245368343427605633378750436314681743934318706688000000000*b3-42878180616393000410513567504592929437442770939468757998618942636032000000000*b3^2145115939307664401423792219925478815888086078791233201766400000000000000+7521487172694919029215661270333509585014623807366758400000000000000*a145115939307664401423792219925478815888086078791233201766400000000000000-7521487172694919029215661270333509585014623807366758400000000000000*a2^43*3^19*5^10*7^3*11^2*13*17*29^2*31*59*83*139*271*1009
    u20 13*37*109*757*87211*262657*151628697551*26315271553053477373/(2^3*3^3)2^13*3^7*5^2*7^3*11^2*13*17*59*73*401*5659*371087*9098783*1516286975512^34*3^13*5^10*7^7*11^3*13*17*29*31*67*83^2*2803*3926423*151628697551*6053057648679914172^34*3^13*5^10*7^7*11^3*13*17*29*31*67*83^2*2803*3926423*151628697551*6053057648679914172^34*3^14*5^7*7^6*11^3*13*17^2*29*333589*1516286975512^56*3^31*5^9*7^9*11^5*13^3*17^2*19*23*29*31*71*83*313*439367*2497890055692^56*3^31*5^9*7^9*11^5*13^3*17^2*19*23*29*31*71*83*313*439367*2497890055692^56*3^31*5^9*7^9*11^5*13^3*17^2*19*23*29*31*71*83*313*439367*2497890055692^53*3^21*5^15*7^10*11^3*13^3*17*29*31*67*83^2*1699*2069*788032^53*3^21*5^15*7^10*11^3*13^3*17*29*31*67*83^2*1699*2069*788032^46*3^22*5^10*7^3*11^2*13*17*29^2*31*67*83*149*271*1009
    u21 7*73*157*151628697551*4296983164216845667*26315271553053477373/(2^6*3*5*13*37)2^4*3^7*5*7^4*11*17*41*2713*4013*151628697551*7308373853901644213831423/(37)-927723832066431259762353744665507682150130314782320227681925522915225239552000000000-680272173077909896857990348359351445076126754040757653180269022463131648000000000*a-927723832066431259762353744665507682150130314782320227681925522915225239552000000000+680272173077909896857990348359351445076126754040757653180269022463131648000000000*a-2^31*3^14*5^6*7^5*11^2*13*17*653*188677*674699*151628697551-1919340453246672617081851585188088107678991484101356575485914888600242005160755200000000+300596394015202920650528176760364634500127838835992240950633057154788805836800000000*b1-7719164507821941116418309008647728713869810542253691499956169658387660800000000*b1^2-1919340453246672617081851585188088107678991484101356575485914888600242005160755200000000+300596394015202920650528176760364634500127838835992240950633057154788805836800000000*b2-7719164507821941116418309008647728713869810542253691499956169658387660800000000*b2^2-1919340453246672617081851585188088107678991484101356575485914888600242005160755200000000+300596394015202920650528176760364634500127838835992240950633057154788805836800000000*b3-7719164507821941116418309008647728713869810542253691499956169658387660800000000*b3^2-27954287593955178158780364157776079705141081253345502638899200000000000000-281546041838879283153476244831915513557725987741473177600000000000000*a-27954287593955178158780364157776079705141081253345502638899200000000000000+281546041838879283153476244831915513557725987741473177600000000000000*a2^43*3^19*5^9*7^4*11^2*13*17*29^2*31*83*271*653*1009*1811
    u22 73*1993*8267029*151628697551*286620928213*26315271553053477373/(2^6*3*5*13*37)2^7*3^7*5*7^3*11*17*23*487*1733*151628697551*382678280185257401089447/(37)119426250629835190695799862335150362115173029339716678112912872335093006336000000000-43456397441435739834446470700025836487066146313823381931892729704349696000000000*a119426250629835190695799862335150362115173029339716678112912872335093006336000000000+43456397441435739834446470700025836487066146313823381931892729704349696000000000*a2^34*3^16*5^6*7^5*11^2*13*17*89354925559*1516286975518928629487513396909085192630163563180962766426099292689293674101666348671801753600000000-1236688756879463474216216890081284779916383869067764405243432395965053953638400000000*b1+31344638367003665346106994320987545474239266228984547220186299409786470400000000*b1^28928629487513396909085192630163563180962766426099292689293674101666348671801753600000000-1236688756879463474216216890081284779916383869067764405243432395965053953638400000000*b2+31344638367003665346106994320987545474239266228984547220186299409786470400000000*b2^28928629487513396909085192630163563180962766426099292689293674101666348671801753600000000-1236688756879463474216216890081284779916383869067764405243432395965053953638400000000*b3+31344638367003665346106994320987545474239266228984547220186299409786470400000000*b3^2-22432891853757908701106113693323237902859906440102510434713600000000000000-5019286989560959907707157876282436891358858446878697062400000000000000*a-22432891853757908701106113693323237902859906440102510434713600000000000000+5019286989560959907707157876282436891358858446878697062400000000000000*a2^46*3^19*5^9*7^3*11^2*13*17*29^2*31*83*271*1009*13653869
    u23 17^2*241^2*433^2*757*38737^2*151628697551*26315271553053477373/(2^3*3^4*5)2^7*3^5*5*7^3*11*13^2*17*59*128213*151628697551*802650271628216395675315601-355712427338552529016962769380084519351024451442156018164744878580167119732736000000000-466421934341973373031487763832979196317603556366131983378462822912810287104000000000*a-355712427338552529016962769380084519351024451442156018164744878580167119732736000000000+466421934341973373031487763832979196317603556366131983378462822912810287104000000000*a-2^34*3^12*5^7*7^5*11^2*13*17*107*449*41981*7018097*151628697551-76970824565199919819363835286948112821586036614231287675552425831442160176175513600000000+10531461629816243276024050657222907853352648305342906617198994841751760823910400000000*b1-256971833772658861791216201785204011051389891846748406625255350363121254400000000*b1^2-76970824565199919819363835286948112821586036614231287675552425831442160176175513600000000+10531461629816243276024050657222907853352648305342906617198994841751760823910400000000*b2-256971833772658861791216201785204011051389891846748406625255350363121254400000000*b2^2-76970824565199919819363835286948112821586036614231287675552425831442160176175513600000000+10531461629816243276024050657222907853352648305342906617198994841751760823910400000000*b3-256971833772658861791216201785204011051389891846748406625255350363121254400000000*b3^2-103551350023652163410235055116830819417603673151378014653644800000000000000+95277971542140325382893014477240066079677865957647187968000000000000000*a-103551350023652163410235055116830819417603673151378014653644800000000000000-95277971542140325382893014477240066079677865957647187968000000000000000*a2^44*3^20*5^9*7^3*11^3*13*17*29^2*31*83*271*1009*47123953
    u24 17^2*241^2*433^2*757*38737^2*151628697551*26315271553053477373/(2^3*3^4*5)2^7*3^5*5*7^3*11*13*17*43^2*151628697551*426872061711688777152764708219391959722758878573380376563582020594981134566150768427035383403664718399153373184000000000+215075084217820132122158281156941058367307060917743235629139757042002558976000000000*a1959722758878573380376563582020594981134566150768427035383403664718399153373184000000000-215075084217820132122158281156941058367307060917743235629139757042002558976000000000*a-2^37*3^12*5^6*7^5*11^2*13*17*37*191*211*16831*49757*15162869755172873155660052443591864111488379548647546826269134218972726540229478451641738854400000000-9484176052072815175857625798462512845474287997392732421696730810634989050265600000000*b1+265922552170191261866447698853216110859095326494062718542202539821603225600000000*b1^272873155660052443591864111488379548647546826269134218972726540229478451641738854400000000-9484176052072815175857625798462512845474287997392732421696730810634989050265600000000*b2+265922552170191261866447698853216110859095326494062718542202539821603225600000000*b2^272873155660052443591864111488379548647546826269134218972726540229478451641738854400000000-9484176052072815175857625798462512845474287997392732421696730810634989050265600000000*b3+265922552170191261866447698853216110859095326494062718542202539821603225600000000*b3^2-3822592479736605724271919211306661088393395657657134298746060800000000000000-307183261951271530554106674882734338416271843102921064448000000000000000*a-3822592479736605724271919211306661088393395657657134298746060800000000000000+307183261951271530554106674882734338416271843102921064448000000000000000*a-2^44*3^20*5^9*7^3*11^2*13*17*29^2*31*83*131*271*311*1009*26497
    u25 757*324466609*151628697551*14554355921233*26315271553053477373/(2^3*3^4*5)2^9*3^5*5*7^3*11*13*17*23*11393*101741*45980927*151628697551*2788889409017961289467363173676363182167250426763736355641551634332274491997206806666412032000000000-21124738794344147765040968410613333936798364739927187905312354549326938112000000000*a61289467363173676363182167250426763736355641551634332274491997206806666412032000000000+21124738794344147765040968410613333936798364739927187905312354549326938112000000000*a2^34*3^12*5^7*7^5*11^2*13*17*151628697551*712106412290909-18520277300524311212993328518394554510440044419912639471298921307379771858799820800000000+2167505569266666160128798801444533183891772076018548155747278461576175366963200000000*b1-59251586092118718096515576798452404312975312522904557700919107983192883200000000*b1^2-18520277300524311212993328518394554510440044419912639471298921307379771858799820800000000+2167505569266666160128798801444533183891772076018548155747278461576175366963200000000*b2-59251586092118718096515576798452404312975312522904557700919107983192883200000000*b2^2-18520277300524311212993328518394554510440044419912639471298921307379771858799820800000000+2167505569266666160128798801444533183891772076018548155747278461576175366963200000000*b3-59251586092118718096515576798452404312975312522904557700919107983192883200000000*b3^2-619342862938626092065740779040104591787767230293873302018457600000000000000+80886102489237575352514421538775309476654802719415782604800000000000000*a-619342862938626092065740779040104591787767230293873302018457600000000000000-80886102489237575352514421538775309476654802719415782604800000000000000*a-2^46*3^20*5^9*7^4*11^2*13*17*29^2*31*43*83*131*271*1009*2789
    u26 7*47*73*191*1579*189061*1653343*151628697551*2092657675267*26315271553053477373/(2^6*3*13*37)-2^9*3^7*5^3*7^3*11^2*17*4740077891*151628697551*1303860235393*53911941073374367955499375546409356055241097514683898990317111358313541814979609166979782410240000000000-57388130563646067523660866539044598522086166266904548650961618522670880522240000000000*a4367955499375546409356055241097514683898990317111358313541814979609166979782410240000000000+57388130563646067523660866539044598522086166266904548650961618522670880522240000000000*a-2^39*3^15*5^6*7^5*11^2*13*17*257*151628697551*257500719211577-1246748234874484214769330763739849712244960727143313903499446174229021379065098010624000000000+165596847740328303805588636177857786539861212746889147061866254136228872147959808000000000*b1-4259567717824661414643713071298822971971762095127760943538533931661205176320000000000*b1^2-1246748234874484214769330763739849712244960727143313903499446174229021379065098010624000000000+165596847740328303805588636177857786539861212746889147061866254136228872147959808000000000*b2-4259567717824661414643713071298822971971762095127760943538533931661205176320000000000*b2^2-1246748234874484214769330763739849712244960727143313903499446174229021379065098010624000000000+165596847740328303805588636177857786539861212746889147061866254136228872147959808000000000*b3-4259567717824661414643713071298822971971762095127760943538533931661205176320000000000*b3^2-12012458206879864604781033115935952346729025534387699452448079872000000000000000+878076353300207691783987224450359998515496509096274740379648000000000000000*a-12012458206879864604781033115935952346729025534387699452448079872000000000000000-878076353300207691783987224450359998515496509096274740379648000000000000000*a-2^52*3^19*5^10*7^3*11^2*13*17*29^3*31*83*271*1009*336438233
    u27 11*17*241*433*757*38737*13768752467*31179972209*151628697551*26315271553053477373/(2^3*3^4*5)-2^16*3^5*5*7^3*11*13^2*17*31*181*151628697551*6709171480402663674676428840869511504916350478877549774934785913239718256691066743904217701840386907491155832331042816000000000-49566346212471308506482340487297115785032158879076085759164517240050269831561216000000000*a1504916350478877549774934785913239718256691066743904217701840386907491155832331042816000000000+49566346212471308506482340487297115785032158879076085759164517240050269831561216000000000*a-2^42*3^12*5^6*7^5*11^2*13*17*227*833927*151628697551*47614459112921873568482529635699149274686921344130762591998258992941737562277446663936323240958361600000000-2637815142966631525288858540100436961059781998927278857568180693087109188214482534400000000*b1+59884204457719092011509200693590992610735451692808363688720877824136714806886400000000*b1^221873568482529635699149274686921344130762591998258992941737562277446663936323240958361600000000-2637815142966631525288858540100436961059781998927278857568180693087109188214482534400000000*b2+59884204457719092011509200693590992610735451692808363688720877824136714806886400000000*b2^221873568482529635699149274686921344130762591998258992941737562277446663936323240958361600000000-2637815142966631525288858540100436961059781998927278857568180693087109188214482534400000000*b3+59884204457719092011509200693590992610735451692808363688720877824136714806886400000000*b3^2-480789199054240810302224606565803352708222268199630102973882197606400000000000000+42353874666714323188520856860857579850871847176538841028545740800000000000000*a-480789199054240810302224606565803352708222268199630102973882197606400000000000000-42353874666714323188520856860857579850871847176538841028545740800000000000000*a2^55*3^20*5^9*7^3*11^2*13*17*29^2*31^2*83*271*1009*4569223159


    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
    Show more coefficients for all forms | cusp forms