DEGREE 3 WEIGHT 16

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 M163)= 7
     dim S163) = 3


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½ [2 2 2 1 1 1]
t6½ [2 2 2 1 0 0]
t7½ [2 2 2 0 0 0]


PULLBACK OF EISENSTEIN SERIES
Let E(6)16 denote the monic Eisenstein series of degree 6 and weight 16.
The rescaled Eisenstein series
     E(6)16 = 13912726954911229324966739363569/234258606489600 E(6)16
has rational Fourier coefficients that are near-integers in that their denominator prime factors are at most 31.
Consider the Witt map W3,3 and the pullback W*3,3E(6)16 ∈ M163) ⊗ M163).
The columns of the 7 x 7 matrix [a(ti x tj; W*3,3E(6)16)] are determining truncations of an M163)-basis gt1,...,gt7. Each gt is the cofficient function of e(tr(t,z)) in the Fourier expansion of W*3,3E(6)16(w,z). For convenience let gj = gtj for j=1,...,7. The basis elements g1,...,g7 are not Hecke eigenforms. The matrix [a(ti x tj; W*3,3E(6)16)] is as follows (switch to factored form).
t1t2t3t4t5t6t7
t1 13912726954911229324966739363569/2342586064896003846482431548584275633602257/1435408128015450190691937513287077/751680445016619031983484355717/33408012190127397766275077/278401334576754702420920447/104401377484395947589083701/192
t2 3846482431548584275633602257/1435408128028545440207637342132869777/14952168198714032425664085997/7834529479453951814168837/348256885152733794797/29167522879746699791736/8789320031445718918505
t3 15450190691937513287077/751680198714032425664085997/783219200918201873871032/783211752845084675720518/87643995985149579832/29166342461853204298816/8721909311729885244280
t4 445016619031983484355717/3340804529479453951814168837/348211752845084675720518/876856833942269137505217/583701424146518329462/29696358864975982344752/291028680202152781023230
t5 12190127397766275077/27840256885152733794797/29643995985149579832/293701424146518329462/29648262571812073064/291931153261213151361642272118573723560
t6 1334576754702420920447/10440167522879746699791736/87166342461853204298816/87696358864975982344752/29193115326121315136550935271481450279424/29270848912004871421760
t7 1377484395947589083701/19289320031445718918505219093117298852442801028680202152781023230164227211857372356027084891200487142176011128058082662642490600


EIGENFORM NUMBER FIELD GENERATORS
  • a = Sqrt[51349]
  • b = Sqrt[18209]

  • 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,...,t7 and also the action of Ti(4) for i=0,1,2,3 at t5.
    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 2 0 1 0 0]
    u6½ [4 4 0 0 0 0]
    u7½ [4 4 0 2 0 0]
    u8½ [2 2 2 1 1 1]
    u9½ [2 2 2 1 0 0]
    u10½ [2 2 2 0 0 0]
    u11½ [2 2 4 0 1 1]
    u12½ [2 2 4 0 0 0]
    u13½ [2 2 6 1 1 1]
    u14½ [4 4 4 2 2 2]
    u15½ [4 4 4 2 0 0]
    u16½ [2 6 6 0 0 2]
    u17½ [4 4 4 0 0 0]
    u18½ [8 8 8 4 4 4]


    EIGENFORM BASIS FROM PULLBACK-GENUS BASIS
    The M163) eigenform basis f1,...,f7 comprises algebraic integer linear combinations of the rational near-integer non-eigenform basis g1,...,g7 from above. Specifically fi = Σj=17 bi,jgj for each i, where the matrix (bi,j) is as follows.
    g1g2g3g4g5g6g7
    f1 1000000
    f2 -16320361700000
    f3 618231171506613408000+227210488606944000*a-267246255594540097273-19043390810061389*a67070371115332644380+1085208873544246090*a50325919817262092891/2-(46088807071881137*a)/2000
    f4 618231171506613408000-227210488606944000*a-267246255594540097273+19043390810061389*a67070371115332644380-1085208873544246090*a50325919817262092891/2+(46088807071881137*a)/2000
    f5 -232305640344576000-414865732608000*b138253406219347982+171744054097106*b-212246003659101076-1521538998472108*b-21025941792756411+12242688184587*b-679069732658152388-5454091892244604*b43773310206109883+324999624915189*b1065161531980287/2-(12704894680079*b)/2
    f6 -232305640344576000+414865732608000*b138253406219347982-171744054097106*b-212246003659101076+1521538998472108*b-21025941792756411-12242688184587*b-679069732658152388+5454091892244604*b43773310206109883-324999624915189*b1065161531980287/2+(12704894680079*b)/2
    f7 09548117212-5630-177684-16796663


    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 43989860925451934487977969928633532006520661299368618864435203152567854537113668719476736
    f2 28996337880-448869891559603593602951573086269915955201351096326527385668719476736
    f3 438096096-786528*a94188059140405248-214034505836544*a20644074072834048-158347569659904*a4504298163535872-4831838208*a68719476736
    f4 438096096+786528*a94188059140405248+214034505836544*a20644074072834048+158347569659904*a4504298163535872+4831838208*a68719476736
    f5 4414176-23328*b-975014295552-64149387264*b8293015093248+7092043776*b-252463546368-10871635968*b68719476736
    f6 4414176+23328*b-975014295552+64149387264*b8293015093248-7092043776*b-252463546368+10871635968*b68719476736
    f7 -115200-784548495360-1062815662080-35272418918468719476736


    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)
    u1 13912726954911229324966739363569/234258606489600000000
    u2 3846482431548584275633602257/143540812802276253961922699242954470/89900000
    u3 1273185684842581395234722347067/144990720491670855775303036478165520/89900000
    u4 445016619031983484355717/33408025338634084482737398380483157986848218883880234879523200000000-28209223026568228605703142400000000*a483157986848218883880234879523200000000+28209223026568228605703142400000000*a000
    u5 15450190691937513287077/75168016892422722988491598920/2924905544975348089210819557696800000000+247552802513650699141158482400000000*a24905544975348089210819557696800000000-247552802513650699141158482400000000*a000
    u6 238931060864446589481790370694277/3340808926233202559775972131550288018058420893973102154534879275029811200000000-47429390401038375315030866579558400000000*a18058420893973102154534879275029811200000000+47429390401038375315030866579558400000000*a000
    u7 6356718306955926904241951341/5762061551269113515514732196800111436770719561850261806085538560000000000+10846211138376513620237348832000000000000*a111436770719561850261806085538560000000000-10846211138376513620237348832000000000000*a000
    u8 12190127397766275077/27840721921431676109104440/292604502478552571003744671574240000000+21088490054022689088097026720000000*a2604502478552571003744671574240000000-21088490054022689088097026720000000*a-12125907806305888678654771200000000-100476340305194890926489600000000*b-12125907806305888678654771200000000+100476340305194890926489600000000*b-4157776806543360000000
    u9 1334576754702420920447/10440141475939134761300509440/29296894024926670840078363672759040000000+1513925324309992699860332497920000000*a296894024926670840078363672759040000000-1513925324309992699860332497920000000*a170529502411664191984553164800000000+1062933915860219635590758400000000*b170529502411664191984553164800000000-1062933915860219635590758400000000*b-66524428904693760000000
    u10 1377484395947589083701/1922059843800836202561180007919096816549729321044803690220800000000791909681654972932104480369022080000000010703374356721813643958681600000000001070337435672181364395868160000000000166311072261734400000000
    u11 150807173281373564010511/7240366273010495553569448000791864423033672419749093215869228800000000-233117594182986961295991035692800000000*a791864423033672419749093215869228800000000+233117594182986961295991035692800000000*a-11020879592086229499286388736000000000-152935566401380855031267328000000000*b-11020879592086229499286388736000000000+152935566401380855031267328000000000*b9812353263442329600000000
    u12 1090820713984965277377688919/928065026532102945284130881461840/2943223205363538648899808599867851466240000000-52976653635889599832969771898880000000*a43223205363538648899808599867851466240000000+52976653635889599832969771898880000000*a242261105918246462348982013132800000000+1150380061296361883820254822400000000*b242261105918246462348982013132800000000-1150380061296361883820254822400000000*b-116151652867595304960000000
    u13 3272262418907610829482205189/2784096577547038180003026782230680/29142330277070126411744442458520122576480000000+1415404302474581345353841554660359840000000*a142330277070126411744442458520122576480000000-1415404302474581345353841554660359840000000*a98228124020353346971283069337600000000+965165148514827891198708940800000000*b98228124020353346971283069337600000000-965165148514827891198708940800000000*b87679197296386375680000000
    u14 369810790745246434330583900725/192720142843396072028244172660800224439289510383052344645386210015385600000000+7190271037751172618483818431295846400000000*a224439289510383052344645386210015385600000000-7190271037751172618483818431295846400000000*a-19613800668394383160677438062592000000000-160647072637520191754669654016000000000*b-19613800668394383160677438062592000000000+160647072637520191754669654016000000000*b-883444415854333132800000000
    u15 13494821101130248089117673766917/2414046603202766142412788891386880049463705768742128489150340773605212364800000000+435458408572858220652966465486044160000000000*a49463705768742128489150340773605212364800000000-435458408572858220652966465486044160000000000*a572083781107911581064223631867904000000000+4472409628597234492786241175552000000000*b572083781107911581064223631867904000000000-4472409628597234492786241175552000000000*b-233484779592537971097600000000
    u16 878444873863123742803518491442733061/27840298020183573546453789287492422528080-3936024893458032280711494867527033044039680000000+13566021676279545626164986029506781890560000000*a-3936024893458032280711494867527033044039680000000-13566021676279545626164986029506781890560000000*a-3114087563267192904255296442571161600000000-18268308838255166832865625033932800000000*b-3114087563267192904255296442571161600000000+18268308838255166832865625033932800000000*b187632950018835606405120000000
    u17 878552105902591320830145827774226437/27840171612798856686535022883868487667840/292406722333756897075236081698109007547555840000000-6230119875909471403207087066517712199680000000*a2406722333756897075236081698109007547555840000000+6230119875909471403207087066517712199680000000*a398360677098702239144879263108300800000000-39754865972261951668032145824153600000000*b398360677098702239144879263108300800000000+39754865972261951668032145824153600000000*b3393431341854815724503040000000
    u18 47166907736321820129294279409727089843757057/5568179279409193883951374180310983246649433600/29-112151340325452273263193428510925045680013312000000000+1597781114251498211836657103258324370849792000000000*a-112151340325452273263193428510925045680013312000000000-1597781114251498211836657103258324370849792000000000*a34508362946076319850206581605561008128000000000+432548397471087937645615221911322624000000000*b34508362946076319850206581605561008128000000000-432548397471087937645615221911322624000000000*b-18937233499065791608258560000000000


    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-32768*x)*(1-16384*x)*(1-8192*x)*(1-x/8192)*(1-x/16384)*(1-x/32768)
    f2(1-16384*x)*(1-8192*x)*(1-x/8192)*(1-x/16384)*(1+(295*x)/512+x^2)
    f3(1-8192*x)*(1-x/8192)*(1+(-135/1024+(3*a)/1024)*x+x^2/2)*(1+(-135/512+(3*a)/512)*x+2*x^2)
    f4(1-8192*x)*(1-x/8192)*(1+(-135/1024-(3*a)/1024)*x+x^2/2)*(1+(-135/512-(3*a)/512)*x+2*x^2)
    f5(1+(1035/4096+(27*b)/4096)*x+x^2/2)*(1+(295*x)/512+x^2)*(1+(1035/2048+(27*b)/2048)*x+2*x^2)
    f6(1+(1035/4096-(27*b)/4096)*x+x^2/2)*(1+(295*x)/512+x^2)*(1+(1035/2048-(27*b)/2048)*x+2*x^2)
    f71+(1553*x)/1024+(801709*x^2)/524288+(33924479*x^3)/16777216+(801709*x^4)/524288+(1553*x^5)/1024+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-4398046511104*x)*(1-536870912*x)*(1-268435456*x)*(1-134217728*x)*(1-32768*x)*(1-16384*x)*(1-8192*x)*(1-x)
    f2(1-216*x+32768*x^2)*(1-1769472*x+2199023255552*x^2)*(1-3538944*x+8796093022208*x^2)*(1-28991029248*x+590295810358705651712*x^2)
    f3(1-268435456*x)*(1-134217728*x)*(1-32768*x)*(1-16384*x)*(1+(-4320+96*a)*x+536870912*x^2)*(1+(-35389440+786432*a)*x+36028797018963968*x^2)
    f4(1-268435456*x)*(1-134217728*x)*(1-32768*x)*(1-16384*x)*(1+(-4320-96*a)*x+536870912*x^2)*(1+(-35389440-786432*a)*x+36028797018963968*x^2)
    f5(1-1769472*x+2199023255552*x^2)*(1-3538944*x+8796093022208*x^2)*(1+(894240+23328*b)*x+(4987187888128+29302456320*b)*x^2+(3932909112089640960+102597629011034112*b)*x^3+19342813113834066795298816*x^4)
    f6(1-1769472*x+2199023255552*x^2)*(1-3538944*x+8796093022208*x^2)*(1+(894240-23328*b)*x+(4987187888128-29302456320*b)*x^2+(3932909112089640960-102597629011034112*b)*x^3+19342813113834066795298816*x^4)
    f71+115200*x-2216899379200*x^2-261738742992076800*x^3-14607292949518362064453632*x^4-1151139165437049900155220787200*x^5-42881070384040361610309278668895027200*x^6+9800132167323027747745188694034924489932800*x^7+374144419156711147060143317175368453031918731001856*x^8


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

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

  • SPECIAL VALUES
    The special values ci such that W*3,3E(6)16i=17 ci fi⊗fi are given in the following table (switch to factored denominator form).
    c1234258606489600/13912726954911229324966739363569
    c2899/8233210580274403161766317990
    c3171386347271814817925009/4418368140321970953739028698976047649078511651403559545543091402145750000000000000-(5057530809929307122556119*a)/113439392818696443251772692331860535366266247393960689552046100204391058375000000000000
    c4171386347271814817925009/4418368140321970953739028698976047649078511651403559545543091402145750000000000000+(5057530809929307122556119*a)/113439392818696443251772692331860535366266247393960689552046100204391058375000000000000
    c5438838105352209/1342056163286218925603818464281827305655810129920000000000000000000-(56365611095929823*b)/24437500677278760416319930416107793408686646655713280000000000000000000
    c6438838105352209/1342056163286218925603818464281827305655810129920000000000000000000+(56365611095929823*b)/24437500677278760416319930416107793408686646655713280000000000000000000
    c71/1966378962886616678400000000


    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 f5, f7 are congruent modulo a prime ideal P lying over 107. The ideal is
      P = <107,104+39y>.
    Here y = Sqrt[18209]. 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)
    [2 2 2 1 1 1]4 12190127397766275077/27840721921431676109104440/292604502478552571003744671574240000000+21088490054022689088097026720000000*a2604502478552571003744671574240000000-21088490054022689088097026720000000*a-12125907806305888678654771200000000-100476340305194890926489600000000*b-12125907806305888678654771200000000+100476340305194890926489600000000*b-4157776806543360000000
    [2 2 2 1 0 0]6 1334576754702420920447/10440141475939134761300509440/29296894024926670840078363672759040000000+1513925324309992699860332497920000000*a296894024926670840078363672759040000000-1513925324309992699860332497920000000*a170529502411664191984553164800000000+1062933915860219635590758400000000*b170529502411664191984553164800000000-1062933915860219635590758400000000*b-66524428904693760000000
    [2 2 2 0 0 0]8 1377484395947589083701/1922059843800836202561180007919096816549729321044803690220800000000791909681654972932104480369022080000000010703374356721813643958681600000000001070337435672181364395868160000000000166311072261734400000000
    [2 2 4 1 1 1]10 19575230692985191397083/1204652455624367140530420480200764871528876349392130575420678400000000+1958423427603501652858867183180800000000*a200764871528876349392130575420678400000000-1958423427603501652858867183180800000000*a8872616112934605998469414912000000000+64066887515654531767074816000000000*b8872616112934605998469414912000000000-64066887515654531767074816000000000*b-332622144523468800000000
    [2 2 4 0 1 1]12 150807173281373564010511/7240366273010495553569448000791864423033672419749093215869228800000000-233117594182986961295991035692800000000*a791864423033672419749093215869228800000000+233117594182986961295991035692800000000*a-11020879592086229499286388736000000000-152935566401380855031267328000000000*b-11020879592086229499286388736000000000+152935566401380855031267328000000000*b9812353263442329600000000
    [2 2 4 1 0 0]12 201051771171359174844961/96594539854009249080248316002551522356525854063560902326367134400000000+25275971969916483814681411178049600000000*a2551522356525854063560902326367134400000000-25275971969916483814681411178049600000000*a-33066922241292752069524979712000000000-290799681756982476423561216000000000*b-33066922241292752069524979712000000000+290799681756982476423561216000000000*b-17337929283285811200000000
    [2 2 4 0 1 0]14 1087600485538209952445683/603469091683638841542675993606731584505467440400544185362969469440000000-467010761640330823684271973550080000000*a6731584505467440400544185362969469440000000+467010761640330823684271973550080000000*a41057604633084291355126844620800000000+71105519565455289652504166400000000*b41057604633084291355126844620800000000-71105519565455289652504166400000000*b12905739207510589440000000
    [2 2 4 0 0 0]16 1090820713984965277377688919/928065026532102945284130881461840/2943223205363538648899808599867851466240000000-52976653635889599832969771898880000000*a43223205363538648899808599867851466240000000+52976653635889599832969771898880000000*a242261105918246462348982013132800000000+1150380061296361883820254822400000000*b242261105918246462348982013132800000000-1150380061296361883820254822400000000*b-116151652867595304960000000
    [2 2 6 1 1 1]16 3272262418907610829482205189/2784096577547038180003026782230680/29142330277070126411744442458520122576480000000+1415404302474581345353841554660359840000000*a142330277070126411744442458520122576480000000-1415404302474581345353841554660359840000000*a98228124020353346971283069337600000000+965165148514827891198708940800000000*b98228124020353346971283069337600000000-965165148514827891198708940800000000*b87679197296386375680000000
    [2 2 6 1 0 0]18 22011174415307028240932371/3617326484315143406404768166400740785114677702579474109534436665843200000000+7364665958624195705128710545108428800000000*a740785114677702579474109534436665843200000000-7364665958624195705128710545108428800000000*a-771404934519474557724688121856000000000-5969722435806597711588753408000000000*b-771404934519474557724688121856000000000+5969722435806597711588753408000000000*b-113756773427026329600000000
    [2 2 6 0 1 1]20 37201316527598588714141926601/139201473589733353845439954207425840/29967247646459239369550465522298068753600000000-64956346969631688799352312103115200000000*a967247646459239369550465522298068753600000000+64956346969631688799352312103115200000000*a-1746335748724554938458982842368000000000-11184127203939985619439058944000000000*b-1746335748724554938458982842368000000000+11184127203939985619439058944000000000*b194874998922687283200000000
    [2 4 4 1 1 2]20 64148030980912472208240991/242607645694747054454567474400027342348774505442528135253279434323200000000-90982093315334992541185970659104000000000*a27342348774505442528135253279434323200000000+90982093315334992541185970659104000000000*a509802355198072437724221014016000000000+4506205215834877392435806208000000000*b509802355198072437724221014016000000000-4506205215834877392435806208000000000*b-234664922961307238400000000
    [2 2 6 0 1 0]22 7064028033113955681187838639/6965597692078418694087525320428800/293678221387734771463393616486881319916800000000-216090729291812709213751969864166400000000*a3678221387734771463393616486881319916800000000+216090729291812709213751969864166400000000*a863119817273483010895196454912000000000+11969455567993826002441076736000000000*b863119817273483010895196454912000000000-11969455567993826002441076736000000000*b307675483684208640000000000
    [2 2 8 1 1 1]22 7064028033113955681187838639/6968341404660162731195071985952000/2912298513302586423321577171921781114451200000000+122239878690707482459958413939509580800000000*a12298513302586423321577171921781114451200000000-122239878690707482459958413939509580800000000*a-277180457563461721467312930816000000000-3024575813466036415313215488000000000*b-277180457563461721467312930816000000000+3024575813466036415313215488000000000*b-354907828206541209600000000
    [2 2 6 0 0 0]24 358247721050121258786551089279/1044018927837126100347102942179575680/2912442579963146101132201996926864013998080000000-718815148283943939155657481857064960000000*a12442579963146101132201996926864013998080000000+718815148283943939155657481857064960000000*a-3474338669008679010967847593574400000000-21204357634698342084467962675200000000*b-3474338669008679010967847593574400000000+21204357634698342084467962675200000000*b-1259440488023662264320000000
    [2 4 4 0 0 2]24 3294233270642720079834685985/96330186314163921149640013308000268358905949890088540364230191851532800000000+1056261053433974676549359946591744000000000*a268358905949890088540364230191851532800000000-1056261053433974676549359946591744000000000*a-2172893297332920295584989970432000000000-13828928892194570924653019136000000000*b-2172893297332920295584989970432000000000+13828928892194570924653019136000000000*b-2403860238471109017600000000
    [2 2 8 1 0 0]24 358225855344572214322190485631/1044028200142316595402717301731913920/2941577533166812655852022294021532008907520000000+413253132936960945787182541213653116160000000*a41577533166812655852022294021532008907520000000-413253132936960945787182541213653116160000000*a6952535121815147542657297180262400000000+53789152089379272143163044659200000000*b6952535121815147542657297180262400000000-53789152089379272143163044659200000000*b1019952543966764728320000000
    [2 4 4 1 1 1]24 119423195585223434416970564309/34809649928891935193269198227877440/29260932921112526187269003410265588714240000000-1573907785751958280609544796422465280000000*a260932921112526187269003410265588714240000000+1573907785751958280609544796422465280000000*a-3646391561962679945195504743219200000000-37440149664847922581579864473600000000*b-3646391561962679945195504743219200000000+37440149664847922581579864473600000000*b1294831484200959344640000000
    [2 4 4 1 0 1]26 12627976370225770996144826221/1201013083291760747560386937263360654992482264295332241558063377849501440000000-1444152140081167057466122183554247680000000*a654992482264295332241558063377849501440000000+1444152140081167057466122183554247680000000*a6110374224918139468305638149324800000000+44043015826745050225061029478400000000*b6110374224918139468305638149324800000000-44043015826745050225061029478400000000*b-351980753334734684160000000
    [2 2 8 0 1 1]28 3564066791108714014164503191/125649765890538784379173342934400107740473154717045187688576806497694169600000000-6192924994949126088671357276987251200000000*a107740473154717045187688576806497694169600000000+6192924994949126088671357276987251200000000*a624735654404653738798859943936000000000-9443083755588442780505997312000000000*b624735654404653738798859943936000000000+9443083755588442780505997312000000000*b-6500434570422150758400000000
    [2 4 4 1 0 0]28 3564066791108714014164503191/1228606983035766864329790405216001920807125095114745484085303702500211200000000-3889877429316474779743967079222950400000000*a1920807125095114745484085303702500211200000000+3889877429316474779743967079222950400000000*a11287997317726983766849810857984000000000+41608204401499885126362857472000000000*b11287997317726983766849810857984000000000-41608204401499885126362857472000000000*b3482221231016194867200000000
    [2 2 10 1 1 1]28 826762566214601730882131035945/2784244063735176726455274159728252400/29359839368560044473728725888003392364785600000000+3576674279203286543897582741140197230400000000*a359839368560044473728725888003392364785600000000-3576674279203286543897582741140197230400000000*a-4458326494564067778787544137728000000000-38605706941758806009450594304000000000*b-4458326494564067778787544137728000000000+38605706941758806009450594304000000000*b-2122669793044581580800000000
    [2 4 4 0 0 1]30 9362774114762738089650607651/1274609099065464442809420714624004019071166570075142750274905043808217600000000+15734643395707901312587787950348646400000000*a4019071166570075142750274905043808217600000000-15734643395707901312587787950348646400000000*a-5985715466422113066998345760768000000000-59506372193770477978332954624000000000*b-5985715466422113066998345760768000000000+59506372193770477978332954624000000000*b-9860916096542756044800000000
    [2 2 8 0 1 0]30 4072805038211297533988783702411/5220430413004467168819072836505085440/29283016146812196641960812129679035254464000000000-16557531384623501016835338510662400000000000*a283016146812196641960812129679035254464000000000+16557531384623501016835338510662400000000000*a13717268953508279759659147984896000000000+82347076930222349825388576768000000000*b13717268953508279759659147984896000000000-82347076930222349825388576768000000000*b5196223141745629593600000000
    [2 2 10 1 0 0]30 9362774114762738089650607651/1222111346440614323570635192435200945399423555760165380217587974954491353600000000+9397025432823297399383655780310579046400000000*a945399423555760165380217587974954491353600000000-9397025432823297399383655780310579046400000000*a-9188376603090764330093786431488000000000-58821017788320306511802793984000000000*b-9188376603090764330093786431488000000000+58821017788320306511802793984000000000*b3031518225186894643200000000
    [2 2 8 0 0 0]32 369765653336560023731489186357/19236634106108633588918953266877200698546324242673147572307749702849727808000000000-40975630972257501538996733766814003200000000*a698546324242673147572307749702849727808000000000+40975630972257501538996733766814003200000000*a-27757611541160689275501149159424000000000-252758704730023236856323244032000000000*b-27757611541160689275501149159424000000000+252758704730023236856323244032000000000*b6511411101191425228800000000
    [2 4 4 0 0 0]32 369765653336560023731489186357/1921842031125585060259345029654120010088369725586521141091467160835055833600000000+37818640665285003318015159802120857600000000*a10088369725586521141091467160835055833600000000-37818640665285003318015159802120857600000000*a30388099898798240228105779150848000000000+75114842837338792731705606144000000000*b30388099898798240228105779150848000000000-75114842837338792731705606144000000000*b-7155367572988860825600000000
    [4 4 4 2 2 2]32 369810790745246434330583900725/192720142843396072028244172660800224439289510383052344645386210015385600000000+7190271037751172618483818431295846400000000*a224439289510383052344645386210015385600000000-7190271037751172618483818431295846400000000*a-19613800668394383160677438062592000000000-160647072637520191754669654016000000000*b-19613800668394383160677438062592000000000+160647072637520191754669654016000000000*b-883444415854333132800000000
    [2 2 12 1 1 1]34 1305053991890788235983897184567/2903698461247658367144786011606666240/295452858742536200823279570196065566289751040000000+54199744090973744171306005791132407377920000000*a5452858742536200823279570196065566289751040000000-54199744090973744171306005791132407377920000000*a8790862068517778657352356777164800000000+106605798969173000052569171558400000000*b8790862068517778657352356777164800000000-106605798969173000052569171558400000000*b15069379733206849290240000000
    [2 4 6 1 1 2]34 1305053991890788235983897184567/2901248572152788914470601401383306240/2915883842558842029169851741148620449930240000000-106055071321506393246798457175024148480000000*a15883842558842029169851741148620449930240000000+106055071321506393246798457175024148480000000*a3307600382175237929531897334988800000000+77303090611703446683590747750400000000*b3307600382175237929531897334988800000000-77303090611703446683590747750400000000*b-10946993922840786370560000000
    [2 2 10 0 1 1]36 278870956173243631127090086818461/278401905434358332974176856159214002803633351158562078557175612866109326683761120000000-212142930329037802312958668936597830240000000*a3633351158562078557175612866109326683761120000000+212142930329037802312958668936597830240000000*a14044064448114679856338261927526400000000-22365541546691730976823102668800000000*b14044064448114679856338261927526400000000+22365541546691730976823102668800000000*b3114702865755407646720000000
    [2 4 6 0 1 2]36 278871072783246530260615964345687/278402759029557845742217519940532315240/2922123929858419459028955388645465777204640000000+83819969143164411609998797627027972320000000*a22123929858419459028955388645465777204640000000-83819969143164411609998797627027972320000000*a113147136471575034560502326152396800000000+905686280397158851042886968934400000000*b113147136471575034560502326152396800000000-905686280397158851042886968934400000000*b10337185271955491389440000000
    [2 2 12 1 0 0]36 139435507239122540346926512791037/139208232382128429220196491803371504880/2912137526656291390812766454917990637523385280000000+120642791069653683465604196826348528018240000000*a12137526656291390812766454917990637523385280000000-120642791069653683465604196826348528018240000000*a-33525424052974581176395546125926400000000-314696752429575670429653349171200000000*b-33525424052974581176395546125926400000000+314696752429575670429653349171200000000*b-24670925397003817451520000000
    [4 4 4 2 2 1]36 360653092794805657727676898835/363075272412488480403733194460800669126706324858953297999467787345753600000000+23112098168917397492242657358509017600000000*a669126706324858953297999467787345753600000000-23112098168917397492242657358509017600000000*a-42995331680993509358463036162048000000000-333779018027657673724630401024000000000*b-42995331680993509358463036162048000000000+333779018027657673724630401024000000000*b-7782360315415599513600000000
    [2 2 10 0 1 0]38 4954319157745002448961336941919/23211780154844043184794865367995897600/297745653217049245520218589901751347968864000000000-452067604697477400213687736069889049600000000*a7745653217049245520218589901751347968864000000000+452067604697477400213687736069889049600000000*a-13428468301423953506745775030272000000000-58732730814562662895801860096000000000*b-13428468301423953506745775030272000000000+58732730814562662895801860096000000000*b-13749601588166629785600000000
    [2 4 6 1 1 1]38 4954319157745002448961336941919/2325926162821158128316216652345542400/2976799606453810562295310571131548844793600000000-510104664827672867836777866481513804800000000*a76799606453810562295310571131548844793600000000+510104664827672867836777866481513804800000000*a-107368755403500196669045511553024000000000-683707413144574023224655347712000000000*b-107368755403500196669045511553024000000000+683707413144574023224655347712000000000*b2838930003507806208000000000
    [2 2 10 0 0 0]40 4203748767618640524698037705913/9683295689308166288124061937046000015882836484103625694577848297845964693004800000000-926512004556289459295297244352747929600000000*a15882836484103625694577848297845964693004800000000+926512004556289459295297244352747929600000000*a111704342459773661627794323406848000000000+1003101630147869728079383363584000000000*b111704342459773661627794323406848000000000-1003101630147869728079383363584000000000*b-28997665937411486515200000000
    [2 4 6 0 0 2]40 5254685996951906546908443571931/120416112713334622471244137687186560108445789247232799267183464581645374924800000000+456047309971794728046785802837011251200000000*a108445789247232799267183464581645374924800000000-456047309971794728046785802837011251200000000*a-263522661031720645903990023782400000000000-2132856754422931143173540413440000000000*b-263522661031720645903990023782400000000000+2132856754422931143173540413440000000000*b-17369528387015540736000000000
    [2 4 6 1 0 1]40 1751668905843860138761431126601/40419163815942375431790531064876480163754927120811922953999867589165947244800000000-994889869467127344654196513497683846400000000*a163754927120811922953999867589165947244800000000+994889869467127344654196513497683846400000000*a-48589264142893178793153798340608000000000-195216856518356803616426164224000000000*b-48589264142893178793153798340608000000000+195216856518356803616426164224000000000*b28347389644868105011200000000
    [2 2 14 1 1 1]40 5254365276372232677532593764059/120124088719452772548704503366757664053056026899275768907803421551910027172460800000000+527358555845505798180709556200855665196800000000*a53056026899275768907803421551910027172460800000000-527358555845505798180709556200855665196800000000*a83210001162367086118755303948288000000000+533105039570790721448715485184000000000*b83210001162367086118755303948288000000000-533105039570790721448715485184000000000*b-27302956111064412979200000000
    [2 4 6 0 1 1]42 520196049431469205624912841851/6823848654135333923315541818496000209210046294476426857367325168108408652800000000+798206901116945799521182462046755430400000000*a209210046294476426857367325168108408652800000000-798206901116945799521182462046755430400000000*a-31682406394765944223795186237440000000000+393997873238760725790043668480000000000*b-31682406394765944223795186237440000000000-393997873238760725790043668480000000000*b67228257362505419980800000000
    [2 2 14 1 0 0]42 90514074752845660399968973556395/104471253584180189585838759916479859200/29105053577119330696396257100803178962159756800000000+1044197494175443916667685731721919534131200000000*a105053577119330696396257100803178962159756800000000-1044197494175443916667685731721919534131200000000*a-59708356131808389657853279862784000000000-487153877565309715050069491712000000000*b-59708356131808389657853279862784000000000+487153877565309715050069491712000000000*b-17761357273264186982400000000
    [2 4 6 1 0 0]42 90514074752845660399968973556395/104424065842421298714026967999960537600/29323706813644958783490334355023129728550400000000-1976023016943168621033259706278017792000000000*a323706813644958783490334355023129728550400000000+1976023016943168621033259706278017792000000000*a254436171985575805112643392372736000000000+2188469721312159690283677646848000000000*b254436171985575805112643392372736000000000-2188469721312159690283677646848000000000*b-111337279947762617548800000000
    [2 2 12 0 1 1]44 3991175838709384959871128831035/24316333765532784237342651116650080060317925179636958754121307474252001166649600000000-3523497390607732184702001442451674118400000000*a60317925179636958754121307474252001166649600000000+3523497390607732184702001442451674118400000000*a-152363076117114390304921189613568000000000+158505340120488405921762902016000000000*b-152363076117114390304921189613568000000000-158505340120488405921762902016000000000*b95945023898866837094400000000
    [2 4 6 0 1 0]44 79813773287245893400876033611373/4801580024540151458917027367527591920400447055955372575179374928599542156710080000000+1518038750097896891232472698259123698240000000*a400447055955372575179374928599542156710080000000-1518038750097896891232472698259123698240000000*a-272312975102278400028407267485286400000000-2050099776330091095117336359731200000000*b-272312975102278400028407267485286400000000+2050099776330091095117336359731200000000*b94938500973985207418880000000
    [4 4 4 2 1 1]44 3991175838709384959871128831035/24407340852607848356909782198128009274488380956713312311173392681419270400000000+181130741492232461112187030971296352000000000*a9274488380956713312311173392681419270400000000-181130741492232461112187030971296352000000000*a-4002915419721681460610205745152000000000+182629815192334441543624556544000000000*b-4002915419721681460610205745152000000000-182629815192334441543624556544000000000*b-87031748292071443660800000000
    [2 4 6 0 0 1]46 18590305933397621347646900760593/602944938929513723458726657904616960787451594512332545956130961874770476029440000000+3128557652552368769165966334017451755520000000*a787451594512332545956130961874770476029440000000-3128557652552368769165966334017451755520000000*a-300888228579287527836149874897715200000000-1086374379736638527088315963801600000000*b-300888228579287527836149874897715200000000+1086374379736638527088315963801600000000*b24138655125783749591040000000
    [2 2 12 0 1 0]46 18590305933397621347646900760593/605893761011966972881509775219176960112382265930285721933590456431809280096663040000000-6561967339616807426706642634700269639680000000*a112382265930285721933590456431809280096663040000000+6561967339616807426706642634700269639680000000*a-321362719309076534725061481018163200000000-2240084755773558281145932159385600000000*b-321362719309076534725061481018163200000000+2240084755773558281145932159385600000000*b-35270320863263965839360000000
    [2 2 16 1 1 1]46 18590305933397621347646900760593/608780683685216779969839170895490560375431203483660919611296784579284312050787840000000+3731662012725034555809670831538065665054720000000*a375431203483660919611296784579284312050787840000000-3731662012725034555809670831538065665054720000000*a-238531821513025935983775689421619200000000-1678764267611968957358474369433600000000*b-238531821513025935983775689421619200000000+1678764267611968957358474369433600000000*b24513852904806222397440000000
    [2 2 12 0 0 0]48 40479521653936660218407524876303/7210694498478963308363913762047644800203923223282757612494581107823339360224768000000000-11905927406046081236362563996889879756800000000*a203923223282757612494581107823339360224768000000000+11905927406046081236362563996889879756800000000*a366266674917939466147469274906624000000000+2656575823105254269463960748032000000000*b366266674917939466147469274906624000000000-2656575823105254269463960748032000000000*b70510572684663010099200000000
    [2 4 6 0 0 0]48 17990906035754032319790223341067/3253436260149606660925252629311336001427917868181833164582194699615248340556800000000+5724046558084222089971796385936748851200000000*a1427917868181833164582194699615248340556800000000-5724046558084222089971796385936748851200000000*a316068729146126096179926751248384000000000+2187742642784340677359810117632000000000*b316068729146126096179926751248384000000000-2187742642784340677359810117632000000000*b-6941158911915746918400000000
    [2 2 16 1 0 0]48 53969424075043225410650010182177/9615931974985523441391865821742839600681195305058606454256867837671071563095243200000000+6770854477360632227850232045548617672308800000000*a681195305058606454256867837671071563095243200000000-6770854477360632227850232045548617672308800000000*a802003621404979062274651381039104000000000+6701296380855433797186745270272000000000*b802003621404979062274651381039104000000000-6701296380855433797186745270272000000000*b294925411640335033958400000000
    [2 4 8 1 1 2]48 40481992478663702242880273088527/7253829214131850431947659192109904002142255973087960262364900042539716043692800000000-12944228899055116890178731790819275667200000000*a2142255973087960262364900042539716043692800000000+12944228899055116890178731790819275667200000000*a148846335882521161589968223600640000000000-69804615369924871591034880000000000000*b148846335882521161589968223600640000000000+69804615369924871591034880000000000000*b17397468647155512115200000000
    [2 6 6 1 1 3]48 53969424075043225410650010182177/965305873387902797019044918307524400-258431682343518672689898278857887255144000000000-741450536977131023732039912148119332800000000*a-258431682343518672689898278857887255144000000000+741450536977131023732039912148119332800000000*a500480580018365225231774147149824000000000+2194405810615106233284408901632000000000*b500480580018365225231774147149824000000000-2194405810615106233284408901632000000000*b-88223367124826770636800000000
    [4 4 4 2 0 0]48 13494821101130248089117673766917/2414046603202766142412788891386880049463705768742128489150340773605212364800000000+435458408572858220652966465486044160000000000*a49463705768742128489150340773605212364800000000-435458408572858220652966465486044160000000000*a572083781107911581064223631867904000000000+4472409628597234492786241175552000000000*b572083781107911581064223631867904000000000-4472409628597234492786241175552000000000*b-233484779592537971097600000000
    [4 4 4 1 1 -1]50 59738863208594962139348430659479/6017732806709186654690074049099520034311023618088502864558813991694368832000000000+276256760359538361060990939982991616000000000*a34311023618088502864558813991694368832000000000-276256760359538361060990939982991616000000000*a-1192046234993578007427385660538880000000000-10125618742047366107241554903040000000000*b-1192046234993578007427385660538880000000000+10125618742047366107241554903040000000000*b65922382823106281472000000000
    [2 2 14 0 1 1]52 4799711975463086742557783514359533/2784951046769090421372469516148248916400/29625333026616137350603812739517827681126174400000000-36507392080461066672726761297361596990400000000*a625333026616137350603812739517827681126174400000000+36507392080461066672726761297361596990400000000*a978069483705724037619480869732352000000000+3343792795493262193495869751296000000000*b978069483705724037619480869732352000000000-3343792795493262193495869751296000000000*b12567420908762156236800000000
    [2 4 8 0 1 2]52 41381878565229851554366595526217/24163923692039748712775854514604240004530796852030993849535290204250698047456000000000+17387163686201176118645543959851058617600000000*a4530796852030993849535290204250698047456000000000-17387163686201176118645543959851058617600000000*a858161619558078920512859069743104000000000+2258424046429139302262192996352000000000*b858161619558078920512859069743104000000000-2258424046429139302262192996352000000000*b202935930284141287833600000000
    [2 2 18 1 1 1]52 4799711975463086742557783514359533/27841416892947027589975175197483327009200/292089013050861529041005940807396328179654430400000000+20764092568174882285857203444603453262273600000000*a2089013050861529041005940807396328179654430400000000-20764092568174882285857203444603453262273600000000*a-491264141113779201164817472684032000000000-3968420887331505002606232600576000000000*b-491264141113779201164817472684032000000000+3968420887331505002606232600576000000000*b-131943596000904098611200000000
    [2 4 8 1 1 1]52 41381878565229851554366595526217/24165074466551238062667977800495824006562702367228277422543776498116519439123200000000-39563679835919557964459202263370925228800000000*a6562702367228277422543776498116519439123200000000+39563679835919557964459202263370925228800000000*a779455032273048464730159222620160000000000+6305731182472480773408659865600000000000*b779455032273048464730159222620160000000000-6305731182472480773408659865600000000000*b-58636793680536482611200000000
    [2 6 6 0 0 3]54 30530841815783260628720880281875157/10440800829564438597797823927026420240640/29-558087267080299111760856667692672718882560000000+2184321966104203117060175627665233208320000000*a-558087267080299111760856667692672718882560000000-2184321966104203117060175627665233208320000000*a-55477418610734812428861739578163200000000-5985794996089578847312274364825600000000*b-55477418610734812428861739578163200000000+5985794996089578847312274364825600000000*b-1187440499900252065628160000000
    [2 2 14 0 1 0]54 15265417716272007383218696416204007/52201613220739093617903474785237996398080/291060723814016211330127686030345404515487598080000000-61926261607066677448601824802084614440960000000*a1060723814016211330127686030345404515487598080000000+61926261607066677448601824802084614440960000000*a662501165994125729141992786074009600000000+2742949103332531395110226414796800000000*b662501165994125729141992786074009600000000-2742949103332531395110226414796800000000*b-147024442882543394488320000000
    [2 2 18 1 0 0]54 30530841815783260628720880281875157/104402403418345814644352579276732830429440/293543508573569580025792311383405226607649757440000000+35221293319165341704925871285688445380920320000000*a3543508573569580025792311383405226607649757440000000-35221293319165341704925871285688445380920320000000*a-1428093296679683392611949844575027200000000-11452044663079056430063529597337600000000*b-1428093296679683392611949844575027200000000+11452044663079056430063529597337600000000*b-353543478694134845276160000000
    [2 4 8 1 0 1]54 15265417716272007383218696416204007/5220811927894845647573205660479014663680/2911112152034823825486597755000179768895444480000000-67565327627757935368879261328605714421760000000*a11112152034823825486597755000179768895444480000000+67565327627757935368879261328605714421760000000*a-1481521462783471851720169745704550400000000-10741056146696867123137419096883200000000*b-1481521462783471851720169745704550400000000+10741056146696867123137419096883200000000*b433829616633055889326080000000
    [4 4 4 1 1 1]54 30530841815783260628720880281875157/1044015292761844342679946818865697040640/29103678653871831878288134299551639196535040000000+762700505705279301518568799461581829120000000*a103678653871831878288134299551639196535040000000-762700505705279301518568799461581829120000000*a1266588911646306560931654613126348800000000+12382662566142646695749173012070400000000*b1266588911646306560931654613126348800000000-12382662566142646695749173012070400000000*b-688084187747215013314560000000
    [2 2 14 0 0 0]56 291950533368871279546705183782131/60925583243165796993826265786195827201764905268480726694881416580983722271494164480000000-103053031162521211390230351999713036943360000000*a1764905268480726694881416580983722271494164480000000+103053031162521211390230351999713036943360000000*a-1250274985506887526469378349885030400000000-10419360783530302785082048590643200000000*b-1250274985506887526469378349885030400000000+10419360783530302785082048590643200000000*b316592950330025029140480000000
    [2 4 8 0 0 2]56 291950533368871279546705183782131/604625887358387974488169975125743232012700962987944716092507600134453932842209280000000+47610641293529220819036295965239292887040000000*a12700962987944716092507600134453932842209280000000-47610641293529220819036295965239292887040000000*a1305429746693497352319104097819033600000000+3987337102556661578555152190668800000000*b1305429746693497352319104097819033600000000-3987337102556661578555152190668800000000*b521626562168603572961280000000
    [2 4 8 1 0 0]56 97322784205075445859522017950801/204658654355897642023207737397520576018468866395602225273152657298846682701181440000000-112458352995299614874249343723764607982080000000*a18468866395602225273152657298846682701181440000000+112458352995299614874249343723764607982080000000*a-205987773651687246578439672771379200000000-4500886865648584061855532161433600000000*b-205987773651687246578439672771379200000000+4500886865648584061855532161433600000000*b-301745229993928619458560000000
    [2 6 6 1 1 2]56 291932714122516221514844313711859/6045931304463569131299271047728138880-1916566236085208530628629497691132361326080000000-7967362961381472438587674886609981821440000000*a-1916566236085208530628629497691132361326080000000+7967362961381472438587674886609981821440000000*a-2536169241649367022108840671418777600000000-18195967565468526388365136547020800000000*b-2536169241649367022108840671418777600000000+18195967565468526388365136547020800000000*b-1178174777869119604654080000000
    [4 4 4 1 1 0]56 97322784205075445859522017950801/20889531425060278887528515934220160225608464205198710206474214380392251568640000000+467582050294192986933088460621888939520000000*a225608464205198710206474214380392251568640000000-467582050294192986933088460621888939520000000*a46452439271074346151037377498316800000000-1121267221492698526102004013465600000000*b46452439271074346151037377498316800000000+1121267221492698526102004013465600000000*b-49197210054461604495360000000
    [4 4 6 2 2 2]56 467120849911249977948404035308925/9687717397344550687875237273877680045222313390841263519029560035317080025600000000+4901437033074336552702483277269630259200000000*a45222313390841263519029560035317080025600000000-4901437033074336552702483277269630259200000000*a-1194631122587226320647984949231616000000000-12352279520309530375566391246848000000000*b-1194631122587226320647984949231616000000000+12352279520309530375566391246848000000000*b701348759724237520896000000000
    [2 4 8 0 1 1]58 5535116835396714759661052785623353/6962192558261233421163796721975282515200/2920815304934915140810970851046942253879161600000000+79540691608168016635136888251571262182400000000*a20815304934915140810970851046942253879161600000000-79540691608168016635136888251571262182400000000*a-1502274639973671555836960117882880000000000-8181022523368614712876762398720000000000*b-1502274639973671555836960117882880000000000+8181022523368614712876762398720000000000*b-884472550903055174860800000000
    [2 6 6 1 0 2]58 5535116835396714759661052785623353/6962177745775649167596019033586200300800/29-1994880715753194627063052400106637026643200000000-3605791925770278460810146466979345280000000000*a-1994880715753194627063052400106637026643200000000+3605791925770278460810146466979345280000000000*a981532013596697556122423429431296000000000+10213112983921143921130681663488000000000*b981532013596697556122423429431296000000000-10213112983921143921130681663488000000000*b1164634196036571522662400000000
    [2 2 20 1 1 1]58 5535116835396714759661052785623353/6966535948950821702505244903361446636800/299636354459335162919926682893964237986353017600000000+95782140882388615361381053560272613800678400000000*a9636354459335162919926682893964237986353017600000000-95782140882388615361381053560272613800678400000000*a2534893682827495955380343935598592000000000+19511148671586732387853552582656000000000*b2534893682827495955380343935598592000000000-19511148671586732387853552582656000000000*b336037841325580301107200000000
    [2 2 16 0 1 1]60 460226969317876621340732558372443/362431794840197215685550044993193888004636953198905193291385600216757500656170534400000000-270716351684501422109181904771970287756800000000*a4636953198905193291385600216757500656170534400000000+270716351684501422109181904771970287756800000000*a-708742722317501099363948178702336000000000-382139655555941624762899365888000000000*b-708742722317501099363948178702336000000000+382139655555941624762899365888000000000*b-980349553573366962585600000000
    [2 4 8 0 1 0]60 153409053870387463598925206361635/1212153461263983348561412361004323520033404647043155808182595523898655138148057600000000+127791235088210890487820197796522710515200000000*a33404647043155808182595523898655138148057600000000-127791235088210890487820197796522710515200000000*a434309714975311987664007116881920000000000-2432417973054526614085891522560000000000*b434309714975311987664007116881920000000000+2432417973054526614085891522560000000000*b-680270494425785303040000000000
    [2 2 20 1 0 0]60 63912610075815437286444905610073/536225104807847983367048650852182272015488585909599106483662807918352032937113651200000000+153951366307531970975474782883723903487129600000000*a15488585909599106483662807918352032937113651200000000-153951366307531970975474782883723903487129600000000*a762876898313856711623786700472320000000000+4650586543916380181384826716160000000000*b762876898313856711623786700472320000000000-4650586543916380181384826716160000000000*b-334923889763571204096000000000
    [2 6 6 1 1 1]60 613561313489683523662342795430293/48120666321102045535463531043867708000-5075954223878040724980390240592122649910400000000-19976228000018707048362953897889585571200000000*a-5075954223878040724980390240592122649910400000000+19976228000018707048362953897889585571200000000*a2250696274342679379393674609688576000000000+12299645253852075887730578423808000000000*b2250696274342679379393674609688576000000000-12299645253852075887730578423808000000000*b274423497362805856665600000000
    [4 4 4 1 0 0]60 460226969317876621340732558372443/362367475581100020226932795184886400790822947958965823322468242809977640076800000000-587567037192074735627994885387970905600000000*a790822947958965823322468242809977640076800000000+587567037192074735627994885387970905600000000*a2644631686094313390181687385653248000000000+11555454759162538335454976016384000000000*b2644631686094313390181687385653248000000000-11555454759162538335454976016384000000000*b227783303413261192396800000000
    [4 4 6 2 2 1]60 153409053870387463598925206361635/12233424923002389904552426379079360062022546617833673951620678946702858764800000000+12516657065640882955402681822234536844800000000*a62022546617833673951620678946702858764800000000-12516657065640882955402681822234536844800000000*a436281342528911040938921083011072000000000+2694764024411902805124008902656000000000*b436281342528911040938921083011072000000000-2694764024411902805124008902656000000000*b196203491767914017587200000000
    [2 4 8 0 0 1]62 1760064358501962732088067379180119/875577467775529692361572110610892339200/2952736562005420395173999940266845343162009600000000+199455581463393179926232173341341765222400000000*a52736562005420395173999940266845343162009600000000-199455581463393179926232173341341765222400000000*a2036465528491109632451755099815936000000000+20810152568669415172581787435008000000000*b2036465528491109632451755099815936000000000-20810152568669415172581787435008000000000*b262114232815961977651200000000
    [2 2 16 0 1 0]62 1760064358501962732088067379180119/8711160012711905927098065035082877593600/297337911256077252955754272412004557637591296000000000-428442004715607351067109934815083057766400000000*a7337911256077252955754272412004557637591296000000000+428442004715607351067109934815083057766400000000*a-568882621616589933124350690459648000000000+1233141047866357265441054785536000000000*b-568882621616589933124350690459648000000000-1233141047866357265441054785536000000000*b1072557401367440365977600000000
    [2 4 10 1 1 2]62 1760064358501962732088067379180119/875616690556392729077215721940230860800/2976797088229320963369873411717118968543180800000000-465973256379593902495854161752467651072000000000*a76797088229320963369873411717118968543180800000000+465973256379593902495854161752467651072000000000*a3055016674866068307028582116360192000000000+23670273573494070736705453817856000000000*b3055016674866068307028582116360192000000000-23670273573494070736705453817856000000000*b-1106631213852424509849600000000
    [2 2 16 0 0 0]64 878444867318598929368551628010872837/2784017406068373926421549875700954475346640/2911444809044660916727175201942350751041717629440000000-668196860246168074915413967170873194926080000000*a11444809044660916727175201942350751041717629440000000+668196860246168074915413967170873194926080000000*a-964361118478976588016427734348595200000000-1274189250029280365400599140761600000000*b-964361118478976588016427734348595200000000+1274189250029280365400599140761600000000*b-814542137762869999042560000000
    [2 4 8 0 0 0]64 878444867318598929368551628010872837/278408699077254806446249663050087162444240/2982252723553018394531785802483435767430627840000000+310885958157137642902387272697272352389120000000*a82252723553018394531785802483435767430627840000000-310885958157137642902387272697272352389120000000*a1354309193106901023477423275822284800000000+1124855771004297621440087615078400000000*b1354309193106901023477423275822284800000000-1124855771004297621440087615078400000000*b474158455070232768675840000000
    [2 6 6 0 0 2]64 878444873863123742803518491442733061/27840298020183573546453789287492422528080-3936024893458032280711494867527033044039680000000+13566021676279545626164986029506781890560000000*a-3936024893458032280711494867527033044039680000000-13566021676279545626164986029506781890560000000*a-3114087563267192904255296442571161600000000-18268308838255166832865625033932800000000*b-3114087563267192904255296442571161600000000+18268308838255166832865625033932800000000*b187632950018835606405120000000
    [2 6 6 1 0 1]64 292797084857042515690907130520352087/9280297922334724979196186423881819887480-8213869229453632042552121894521063406117280000000-16993472360960892784468591406765172543840000000*a-8213869229453632042552121894521063406117280000000+16993472360960892784468591406765172543840000000*a1363467699437229076393786842965606400000000+13612767097375726917929456055091200000000*b1363467699437229076393786842965606400000000-13612767097375726917929456055091200000000*b200703669810029836369920000000
    [2 2 22 1 1 1]64 292797084857042515690907130520352087/928025930438524874077325822568513036320920/2938230851075132142820114516663993954227844365920000000+380001904184138086575847269977540341728857760000000*a38230851075132142820114516663993954227844365920000000-380001904184138086575847269977540341728857760000000*a-2347942186102480926630095229655449600000000-17471009828781934272869036772556800000000*b-2347942186102480926630095229655449600000000+17471009828781934272869036772556800000000*b-96612629805139891322880000000
    [4 4 4 0 0 0]64 878552105902591320830145827774226437/27840171612798856686535022883868487667840/292406722333756897075236081698109007547555840000000-6230119875909471403207087066517712199680000000*a2406722333756897075236081698109007547555840000000+6230119875909471403207087066517712199680000000*a398360677098702239144879263108300800000000-39754865972261951668032145824153600000000*b398360677098702239144879263108300800000000+39754865972261951668032145824153600000000*b3393431341854815724503040000000
    [4 4 6 0 2 2]64 878444867318598929368551628010872837/27840106177346644303575793349826034245840/29768445162101522590279668349572908116144640000000-1154158492328123866808375455148729364480000000*a768445162101522590279668349572908116144640000000+1154158492328123866808375455148729364480000000*a-8886494166338350137807822229025587200000000-67296785482512322782733457267097600000000*b-8886494166338350137807822229025587200000000+67296785482512322782733457267097600000000*b-820162121516738527887360000000
    [2 2 22 1 0 0]66 582535071750742355249155113365135/12137573227617809227972445470891057920058821491960751015833720191270906593051417715200000000+584665991641253499042656498954805145023436800000000*a58821491960751015833720191270906593051417715200000000-584665991641253499042656498954805145023436800000000*a-3326405239948374817323599948414976000000000-27560553164853675734154863443968000000000*b-3326405239948374817323599948414976000000000+27560553164853675734154863443968000000000*b-1139737095896845359513600000000
    [2 6 6 1 0 0]66 582535071750742355249155113365135/12458373754906181134695864999665856000-12853933569771123718920201642058271190105600000000-26370860379825161017685371054750072473600000000*a-12853933569771123718920201642058271190105600000000+26370860379825161017685371054750072473600000000*a847213383143740806383142800719872000000000-16933721895705497042724804624384000000000*b847213383143740806383142800719872000000000+16933721895705497042724804624384000000000*b-2469006946453186569830400000000
    [2 4 10 1 1 1]66 8738022422453578013820757204040503/180464744802010586176907944852164549120184293592033790194560287190777580253465402880000000-1118488477582741672015454156039786839541760000000*a184293592033790194560287190777580253465402880000000+1118488477582741672015454156039786839541760000000*a-1810898870196377531026093878175334400000000-20662125313797770584896443724595200000000*b-1810898870196377531026093878175334400000000+20662125313797770584896443724595200000000*b1289960432467699858145280000000
    [4 4 6 1 2 2]66 582535071750742355249155113365135/125625072910662370181590272963264000459015367060462412109367732147955271590400000000+4744418218853781895909607890244838758400000000*a459015367060462412109367732147955271590400000000-4744418218853781895909607890244838758400000000*a-3400744809882268376092366636843008000000000-27910358053395443250671857434624000000000*b-3400744809882268376092366636843008000000000+27910358053395443250671857434624000000000*b-274099939171720652390400000000
    [2 2 18 0 1 1]68 7077748816269280195559230354171109/96140243051209128641372253668544531000026741592868948764841572675297671321842005374400000000-1561339639239460080370644421918046927851200000000*a26741592868948764841572675297671321842005374400000000+1561339639239460080370644421918046927851200000000*a-5248170682116506749261974894280704000000000-39111903729926168714091521114112000000000*b-5248170682116506749261974894280704000000000+39111903729926168714091521114112000000000*b815610910922099195904000000000
    [2 4 10 0 1 2]68 7077748816269280195559230354171109/96700892041658533975296054612726922800192204749831352659518637576421729525529368000000000+730988311185392193463529207369149566177600000000*a192204749831352659518637576421729525529368000000000-730988311185392193463529207369149566177600000000*a-3204488499711134989463255119822848000000000-25169601988972240536175157182464000000000*b-3204488499711134989463255119822848000000000+25169601988972240536175157182464000000000*b-2138289271595954955878400000000
    [2 4 10 1 0 1]68 147471101083659070666180381856071/2705905773547286652568563225546656000279687326714881021581363025796025480533990400000000-1698495550321758303938454664466311253376000000000*a279687326714881021581363025796025480533990400000000+1698495550321758303938454664466311253376000000000*a-1470448709128918916837592293965824000000000-4260368590599900887391437586432000000000*b-1470448709128918916837592293965824000000000+4260368590599900887391437586432000000000*b539604256884665824051200000000
    [4 4 6 2 1 1]68 147471101083659070666180381856071/213629968262680830961228764717881600561477402010681733111879748452232478694400000000+71995229338623846210320814327903792768000000000*a561477402010681733111879748452232478694400000000-71995229338623846210320814327903792768000000000*a1567349420122232273065867323899904000000000+20057102281820903019445110177792000000000*b1567349420122232273065867323899904000000000-20057102281820903019445110177792000000000*b156483418379643990835200000000
    [2 6 6 0 0 1]70 1327637311234405144887501678649655/121044939676351337766021719782487001600-14137083698249652937349325720507907265318400000000+55639180377486394157094255312536793139200000000*a-14137083698249652937349325720507907265318400000000-55639180377486394157094255312536793139200000000*a-6171897457368799014050658385920000000000000-48400770158304642579689263595520000000000*b-6171897457368799014050658385920000000000000+48400770158304642579689263595520000000000*b3443879876416974618624000000000
    [2 2 18 0 1 0]70 3319093279163825732410471553371279/30210453255431497711959745937927625216040129303435173081381050994160040720795076326400000000-2342915964893245020237908466198947558092800000000*a40129303435173081381050994160040720795076326400000000+2342915964893245020237908466198947558092800000000*a5010192445196096711288482368061440000000000+41524789472601356039467743313920000000000*b5010192445196096711288482368061440000000000-41524789472601356039467743313920000000000*b-1370662680709419761664000000000
    [2 4 10 1 0 0]70 1327637311234405144887501678649655/121059181724576712710610936286366579200419908360790056906132876571893491374068953600000000-2548092700789913018819688310479791992780800000000*a419908360790056906132876571893491374068953600000000+2548092700789913018819688310479791992780800000000*a4865077378327469784273206048194560000000000+30760938142238423734884378869760000000000*b4865077378327469784273206048194560000000000-30760938142238423734884378869760000000000*b-354957721528219729920000000000
    [2 2 24 1 1 1]70 1327637311234405144887501678649655/123135388034650737451192363512121766400134058205663267142933352099610208804287887782400000000+1332493813283346505432667371316329396720281600000000*a134058205663267142933352099610208804287887782400000000-1332493813283346505432667371316329396720281600000000*a-42794689472274662628823019814912000000000+436054149235737408974732918784000000000*b-42794689472274662628823019814912000000000-436054149235737408974732918784000000000*b267623120773559667916800000000
    [2 6 8 1 1 3]70 3319093279163825732410471553371279/301044928429791400306989361314975144960-20321266009946089601014508148233708965248000000000-84686432311385130892382531594356921344000000000*a-20321266009946089601014508148233708965248000000000+84686432311385130892382531594356921344000000000*a-10450538131110778749490075401191424000000000-87859628738938679771639045947392000000000*b-10450538131110778749490075401191424000000000+87859628738938679771639045947392000000000*b-509998890289209960038400000000