# Trace form for 25.24.b.a, downloaded from the LMFDB on 23 April 2024.
[0, 4, 0, 0, -50653312, 0, -3619346112, 0, 0, 69998788332, 0, 1713603936528, 0, 0, 83332069059456, 0, 31913172803584, 0, 0, -8521201959920, 0, 3468063275445888, 0, 0, 2573244630282240, 0, 110051709317470368, 0, 0, -41636867203246680, 0, 275428034354000768, 0, 0, 1678967311922650656, 0, -2347832600155149696, 0, 0, 3570022947330058464, 0, -4588870954336629912, 0, 0, -25168177680066077184, 0, -17626412036100442752, 0, 0, 26923963408752401628, 0, 179996725690156584288, 0, 0, -209462446834079598720, 0, -464913424108576235520, 0, 0, -561745979942681543760, 0, -360905785033004447272, 0, 0, 1787380508938705829888, 0, -1088676281827303766784, 0, 0, 2341121344344808447104, 0, 6110067020388286657248, 0, 0, -13430688566297615514144, 0, 12414308589026161180160, 0, 0, -12489833629119279961280, 0, -5587057161859667951196, 0, 0, -31835503814380804952064, 0, -21832577625837998486592, 0, 0, -12790186172346140009640, 0, -109780356325409120292032, 0, 0, -318801036013069863654144, 0, 211184243339168788512768, 0, 0, 82316490264624271963824, 0, 369332406893865868606008, 0, 0, -728101000795557501020160, 0, -38514071075151921753312, 0, 0, -462141094155500514503960, 0, -995969336370802816348512, 0, 0, -1631092213389050465667840, 0, 1137477577089130278992640, 0, 0, -1580356384076734368721344, 0, -2723423640887425649172428, 0, 0, -2159200001961958526971904, 0, 3098233303964762951288448, 0, 0, -362856022063901955700416, 0, 7007096100981915275205168, 0, 0, 9035404931133540735742656, 0, 3074922909909770825594880, 0, 0, 8438921012811072312402160, 0, -9135346621373901930131712, 0, 0, 25311988002313138301263872, 0, -18502321812673149387771552, 0, 0, -32820716341536049843227000, 0, -17520273483080813333687392, 0, 0, 39591484660138211286216192, 0, -35319459237188217944251392, 0, 0, 53048532589525132130915424, 0, 19775113062028507668296448, 0, 0, 108262981149758583318971136, 0, 210711547101000304541464128, 0, 0, 14275648013005016589145092, 0, -185828109017484940123156560, 0, 0, -43585908371480195289279360, 0, 72417002160911962152665088, 0, 0, -176932493816309590229236080, 0, -8142633123592467970682632, 0, 0, 445725580267955512634941440, 0, -426147312056898615669909504, 0, 0, 204895582129334764003956480, 0, 449428479388158236017759488, 0, 0, -1754816106064098825880491744, 0, -220777026193676042605785984, 0, 0, -642572463400891758512972000, 0, 1120165958208447085224564288, 0, 0, -1374498714708644424289496064, 0, -443508367321103588771939712, 0, 0, -444306276839766153239317440, 0, -417402974524136948158246672, 0, 0, 1088528420144768261715464256, 0, 777715299591817932562636800, 0, 0, 2267261470899073667715388704, 0, -1365836105698050101348196432, 0, 0, -1394095734003860095627689984, 0, -3320926828057033209983948832, 0, 0, -946889667105480642044135480, 0, 1053111161698276938595785216, 0, 0, 5813457092350702952794578144, 0, 9897896511215441181990996480, 0, 0, -7369867064451720123337688640, 0, 842642480304485345706185288, 0, 0, 12002023122636897346640041216, 0, -2526476918429885954977390464, 0, 0, 7423440256516007598654999744, 0, -7774484822090039534763490992, 0, 0, 4688566434514846768880941056, 0, -8916197696640624603416231936, 0, 0, 12975921168234719042907640256, 0, -9935575657402111664410695240, 0, 0, 2266277422120373704628551680, 0, -13987323888157677678619783680, 0, 0, -12726305746565976707965332120, 0, 34210185661613452478755686848, 0, 0, 48073132224580512642335607456, 0, -13734180254513847517722611712, 0, 0, -15226545819805494503131472256, 0, 44179403077384695593976633768, 0, 0, -92395606907456437850691001344, 0, 56372328879632632813034664576, 0, 0, -30606415418854569914059919692, 0, -96419730162392870857734916512, 0, 0, -40364417713369834285383115584, 0, 25554736344398060112406087680, 0, 0, 46841842357873173370721876544, 0, 22038668387573223771542055808, 0, 0, -208514409274609506015248875520, 0, -125301330841134094996064149152, 0, 0, -14155190801266002062930971776, 0, 70764041187192666973173488928, 0, 0, 118604011043163142005837289056, 0, 18164207184776096326826301440, 0, 0, -39687311495253209904914513760, 0, 52649046805944425868387396288, 0, 0, -117980153836567683765224234112, 0, -22235172889803210144699325632, 0, 0, 318922870204860425794271955456, 0, 405443114454636253799842634768, 0, 0, 262764526583776428409031197056, 0, -176971510140629971487970557952, 0, 0, -277872252425195991410426039136, 0, 70419139076313255262554533376, 0, 0, 183466373039710661101045616640, 0, -1321313346533346960372751232352, 0, 0, -190125666150627985184832685400, 0, 249363719935447278016324203840, 0, 0, 137509280659067768489545332480, 0, 134652933522132720381922878720, 0, 0, 1159917106249418409781202535840, 0, 532280342797465805002649998164, 0, 0, 1660942421242672679154627024896, 0, -663101275359540306037748448384, 0, 0, -837006327306948625438562898696, 0, 79281917344736772565910810688, 0, 0, 352176142321969041273343166592, 0, 2245487143517097638295682990080, 0, 0, -1869600838695080735863537401680, 0, 1668691062436570798804359948288, 0, 0, 25077212401123376762223329280, 0, -1689722674470481621407292629792, 0, 0, 452490835868318497398573593160, 0, -1861282205086707750628436098752, 0, 0, -2112505360872378799050631386144, 0, -1729165639738207298298656527872, 0, 0, 1527645773538682579497901570560, 0, -188719329782660283328244724792, 0, 0, -3812684003280533332540977018624, 0, -1552184327208917724415190334720, 0, 0, 644040703474797469224788938840, 0, 3567684009147596728385396760288, 0, 0, -5896714163597238096697344748416, 0, -865458790149415106102072573952, 0, 0, -8856311372979981297820623756720, 0, 2276234005565964855496274318648, 0, 0, 6389544224891168144643975690240, 0, -3528205582423575116646862354944, 0, 0, 1175308694584652513077101157248, 0, 8456160120576378969235657128768, 0, 0, 4247049976459686273503246487552, 0, 9225043636397230177549422990080, 0, 0, 3550460714203274137991024424160, 0, -1341963054652361335240687404876, 0, 0, 8040164543192694868135704308736, 0, -16950771120572141367874408100352, 0, 0, 2755994365360428422381700593400, 0, -3761692949788603473384762636384, 0, 0, 1300558978220874741081609713856, 0, -4135341815747873153015098982400, 0, 0, 6442841606131337579394223394880, 0, 17660866850650848380778622994328, 0, 0, -10668063619739122077758357422080, 0, -34239570185963718854690140071072, 0, 0, -8390707047566260083837679433344, 0, 11641506627779466939328129862688, 0, 0, 29944411617641123288092073149440, 0, 10216496375612527665615725279232, 0, 0, -9384132168276343095334665905280, 0, 14336006113104058731238194073168, 0, 0, 31516004303825283074879708672384, 0, 10468576496620342554084273843648, 0, 0, 18060761044130987510869170838464, 0, -14991471320203318002305160128112, 0, 0, -32971338595675060199589842605440, 0, -20307046894147088702751771983872, 0, 0, -10072730221653600224434041177200, 0, 14938079684738360852151236239488, 0, 0, -45591843367761157694751344271360, 0, -20813296854582132299980968651264, 0, 0, 66352205555344174963014514515240, 0, 20614662119410088428621628563648, 0, 0, 20296639816094498474701429268256, 0, 4707650934723684298249269762048, 0, 0, -85541484926006717326901786769696, 0, -47704409510756798815390068400152, 0, 0, -106073265359795943063333727471104, 0, 85273982699834279396276224599168, 0, 0, 16246578289928625178414970487452, 0, -51840248620865320861966692013680, 0, 0, 15210260638379529789718412622720, 0, 33665706367154629124641949306880, 0, 0, 7231322444923425722994412726896, 0, 13115932492860852141203527283288, 0, 0, -134459896305608280605145071222784, 0, 63277367935323249666338106295296, 0, 0, -118446058180067610531364933707576, 0, 77619272104011211906842986032800, 0, 0, 158084012608843626154987863404256, 0, -138604383221653594828925372423680, 0, 0, 32954652161594224273184270693024, 0, 44710459654458448315359794630016, 0, 0, 94283500614339880501581329473536, 0, -94765450627206946645491216612672, 0, 0, 104414547490610545333848674225880, 0, -186326732700263933911928766047152, 0, 0, -151879475386510998379091234419968, 0, 16642602577164356690166799663104, 0, 0, 73456914245433025699264346925984, 0, -209749442511081437222637324339072, 0, 0, 446385992767319210489190974269440, 0, 422959300098058011307215880178208, 0, 0, 168222052573079397808262217551360, 0, -293161506750316654417932864335712, 0, 0, -85520217459126034118874445079040, 0, 555356044172643748279958344032000, 0, 0, -323171225219964762973562929034400, 0, 21936476152314794873868899671208, 0, 0, 382149278035298143315757122456576, 0, -449280524663481378438468185284224, 0, 0, 40015244208907306118473980330240, 0, 451729758390903340169442717495168, 0, 0, -260249766603417245624392328238144, 0, -288060431079145088542597475696640, 0, 0, -276330937767446207242705082283920, 0, 21286137250986889724690727709440, 0, 0, -139016181607141012719520639942656, 0, 352242952876619706718037397430368, 0, 0, 566771954419382304132395260739856, 0, -891454645478319743891354437054432, 0, 0, 140471946670394034383088192937056, 0, -349097879552604898891691257039872, 0, 0, 333573604431190674958821014407584, 0, -272837491790868491188405434053112, 0, 0, -616950102199923387403740295225344, 0, 1298988342492058134939792640417920, 0, 0, -340350884362922454003830154880320, 0, 404527250804179289752144824938496, 0, 0, -30982307532043836089923049473920, 0, -886098556657646115687683948593152, 0, 0, -221598250057258964809177181272560, 0, 961738834768742179325519736267128, 0, 0, -1327624519331758233084365878824960, 0, 245635946037733268943794946534048, 0, 0, -1134209072360944320215217740637696, 0, -420721512490835870817445022687904, 0, 0, -2655053688878602145697701303154144, 0, 317012014559503328881639180900224, 0, 0, 1720767128312346780264649226017856, 0, -1491596118291439529463665846757312, 0, 0, 2571673853085062530945112061626880, 0, 2706751337784677283211533231264000, 0, 0, 470593643810215692920018550786864, 0, -1561316418712024810932298888826512, 0, 0, 6955164743355177096670728411456, 0, -231565690706203736390537612697600, 0, 0, -1862383151033662517306176027589856, 0, -1003674134427889580071864603492392, 0, 0, 730981188901471770067740672393216, 0, -3961824650409209951790018321537312, 0, 0, 1921798720062817080698785480730440, 0, 1893731367206126356134181295232960, 0, 0, 2734474820804504197553109357868032, 0, 3308327790134512452593713799523840, 0, 0, -2336244581458455558101469018659520, 0, 442589411080063938700226355244288, 0, 0, -874785711113632583463576297000704, 0, 2859971596894602529583115298641984, 0, 0, 1603421628046852253429299585358412, 0, 24332084593519301946430198399008, 0, 0, 6128035602535956809452959936665856, 0, -2675085153080377966759258813366272, 0, 0, 2391828422273811820475727941031760, 0, 1248823155086796398834186138436480, 0, 0, -268685975943047125362090342481920, 0, -3790045432537007411354805369469152, 0, 0, -1072796653335476538911396577538944, 0, 2155301849734989774219414047686208, 0, 0, -2768819935855715475018353346317760, 0, -2512892019770284343852637908951040, 0, 0, 433169694739452118133330033545728, 0, 3811690147933761659088765451109928, 0, 0, -1798489283184069079034088693080064, 0, -12490692982764407023506849438492672, 0, 0, -7801912027694938461331827476954120, 0, -2568895147844243693820921667319712, 0, 0, -1742068910237442054497507186502336, 0, 7147657691749915355438116039342080, 0, 0, 6381877247747098062221901031097760, 0, 3155445737500987700939486490788736, 0, 0, -1820637166527855368545007045517312, 0, -4031151978153626697690953064808704, 0, 0, -590768727764826295573696874987136, 0, 3184694450719004493860557220664768, 0, 0, 33119374647281077500988599586656, 0, 13771562066184921464975048161664000, 0, 0, 3095132418363563193437070811779456, 0, 188280031985054906066345649201480, 0, 0, -8405487391099485367726172042840064, 0, 4043459444559640819542350291782656, 0, 0, -2474398667274845064262094424153960, 0, 11004492696901929877423584455005328, 0, 0, -4612990474303441097203869894523008, 0, -13890476178788057078962831042609152, 0, 0, -6006316081395664920147673796513856, 0, -6470960602740584448915753297266952, 0, 0, 2960459037958426111846813922058240, 0, -14827330740786147533025267092375040, 0, 0, -8246143083743173038284633370385880, 0, 10587891063046098987305665028841888, 0, 0, -3409192786331965441093997861479680, 0, 10905859176653299400125312620165120, 0, 0, -1026650875447410017204546890057440, 0, -12989101205565340012804778271362756, 0, 0, 18919178422008755866313976221180416, 0, -18897129016883826175409011302097152, 0, 0, 14135479500406895730256726168225344, 0, 5780447698317926978593699897837248, 0, 0, -15858404407623340446838912298251008, 0, -5242826677795837101733355174891520, 0, 0, -9212076051405466723725540284868560, 0, 2277139886354494401096418892257536, 0, 0, 6846031769671774879292668528558080, 0, 16983255709132590422736072319400928, 0, 0, -337720075057616380009427909640960, 0, -6186322881262748330648812225310432, 0, 0, 47095599755278369979248897092072960, 0, -13150539722694922418439917865280512, 0, 0, 12481781378198417286190128087621984, 0, 51536709028151879700755861824720968, 0, 0, 7463865757804124920090173769591296, 0, -14782709696082100916363646335836992, 0, 0, -3535665729809883749347644273823744, 0, 4364393225832869459537802829066128, 0, 0, 11089132719630780275752098763152000, 0, 24453458550617931094272514782658560, 0, 0, 5503439851476574695315911171101440, 0, -38294832999835856382786526848576912, 0, 0, 2747964843416884471783592928675840, 0, -5491543623159580036069475160129024, 0, 0, -6577253669860960331655975211053336, 0, -61799378686664878741439890738884672, 0, 0, 1406526120565417247868708672452256, 0, 29244742354246202791106617752631040, 0, 0, 24676778273625611444524659939088480, 0, -35416868313802132321381866548958912, 0, 0, -11167098485927509566937905305960448, 0, 55154217969530309553393954654989568, 0, 0, -58526227230729856530978652082111880, 0, 15210747664157854780547108015560560, 0, 0, -34883661552303946343412429347540544, 0, -69567690766186582508190472578938880, 0, 0, 11327746951687389325552348154194464, 0, 73103301132566464585331166062936088, 0, 0, -51642769306044364692850701141442560, 0, -12580680208850820612210188100006144, 0, 0, 47708376794887938125877930137120144, 0, 10998410317992111340537587177811488, 0, 0, -94595386749258873519696571403937696, 0, 107952409258839533574516517679646720, 0, 0, -46443282513386670498439609329150144, 0, -42862999047475633351644663630474108, 0, 0, -43289552337491567595537242319198464, 0, 30916514697386554402767291516973056, 0, 0, 114582720526989453625107003238143360, 0, 1059614196566747669115882171986448, 0, 0, -42450061365859017648640956130710144, 0, -128758831522493446007906074183155712, 0, 0, -4501316806228698097364662438968480, 0, -58976126185072900561248348950534280, 0, 0, -19782599132630853043977167722782720, 0, 47111306312596445960056384071055680, 0, 0, -16379931686051465571114995276958336, 0, 57458899819063495359562903535017088, 0, 0, 144148082530450978527984570273334272, 0, -71539435679740680952661614369708032, 0, 0, -42208706690387172541498847280736320, 0]