# Trace form for 25.38.b.a, downloaded from the LMFDB on 23 April 2024.
[0, 4, 0, 0, -75440539648, 0, -45013087694592, 0, 0, 1797894756803538828, 0, -53468072709697076112, 0, 0, -6338838239168130372096, 0, -62304680212386352726016, 0, 0, -746552933145027427412240, 0, -456377731622756562390912, 0, 0, -3739591058186201911787520, 0, 322396580542781534089442688, 0, 0, 2541347654251764835903258440, 0, 522841639582837790963090048, 0, 0, -31856790960783222718230988416, 0, -33793503315298662900199643136, 0, 0, 23215418940485201693602693536, 0, -2520966590932746267949369683672, 0, 0, -2666988540110127096326793977856, 0, 25087518794220441775096515245568, 0, 0, 7656027316299536676614307676572, 0, -2293205978177429604169034585952, 0, 0, -40492586655842738676101442685440, 0, -447650982444052146061518514421760, 0, 0, 475924919212180257517798739401680, 0, 203597682746077400400212510399288, 0, 0, -3749345404038864334832998367100928, 0, 337112749155120186234694899096576, 0, 0, 1806159650811062164844443598560896, 0, -1492266179587664985379924317736032, 0, 0, 134223318190050404586810430559958144, 0, -133566840432061294264268018268037120, 0, 0, -544803276068191678071295890289348160, 0, 806647675100076682006471654701238884, 0, 0, 30492439951528129009923673520799744, 0, -2012857661573965282511992269432943872, 0, 0, 2665737843422476235828687957589885720, 0, 2276797572623063452955712766020415168, 0, 0, -1406921774426085174217572329151998976, 0, 346517251436435219180772622942076928, 0, 0, -24051537836769278923892831683960619184, 0, -366830506581383203454579234826273192, 0, 0, 60482477016372860431672691395050209280, 0, -98860478111267712135013951857214296192, 0, 0, -58969081108682269089788488552683612920, 0, 9664446246648115762497930159802726368, 0, 0, -2227365107972863887821912612157588480, 0, 215660395711216553580814906211580702720, 0, 0, -448059604006749161825487716299006291776, 0, -36922150867166505683184098650791688748, 0, 0, 728289710774515775482919656862296244224, 0, -2847565675595548333725628030437026575872, 0, 0, -144939630934850553102551759139838958784, 0, -497681847824954524745306871645106543152, 0, 0, -6720106647237996972947900926376895734016, 0, 1602469113959856843063236039414440919040, 0, 0, 19038485475893980772364868329745352479120, 0, -101321329675806204787401063099893206272, 0, 0, -27992843395028574191544572080064468877312, 0, -3124258556165050201146769414162443484032, 0, 0, 999366732941559072541003664750976244200, 0, -42915646621041383521848123372863898805792, 0, 0, 34398710147140268500619851010822045042688, 0, 1164598564979654489595638563869052551168, 0, 0, -7117091505435478883346618403053402265824, 0, 283358477730841545698593574463773990062848, 0, 0, 114044863538725024878542368277896504356864, 0, -48750161557520897914264830425439553911552, 0, 0, 67805524788689239145466107689417000886628, 0, -336321007432951109080721986548183285733680, 0, 0, -9623617202088841954764980343009300549120, 0, 466321383581868623175405058376194691432448, 0, 0, 151243612836528016141105692553675654742640, 0, 621083663702275193065727272749857785860248, 0, 0, 1098934604080426782784380215556998580142080, 0, 47252910139149469447397481755991246544896, 0, 0, -410515921699394433618045465009129653187840, 0, -3356373364885788438138750775237233061769472, 0, 0, 7409449132242157835527769700100477787735424, 0, 3655614853875972759981937649289716744718336, 0, 0, -5485064409069048824607556719752442441514400, 0, -483788862215418482718462190128632743369152, 0, 0, 430603281145011574087290238052886593716224, 0, -24347031440424938603395564843400843249505792, 0, 0, 34424707828518202423162879121721390794502720, 0, 18195861118539270321644739459730091737065488, 0, 0, 11971463624070712328980319785698943473640704, 0, -3365038033543517692383782812989831079526400, 0, 0, -224840560844830533782038287154155497270304, 0, -36972163118205218476703707178249549842576272, 0, 0, 67524716061435756914093662027311200719601664, 0, -31154245695398518512834525706458280117936512, 0, 0, 168283841056934136950640597710901190174128040, 0, 2476950821762787025583970173003886243073536, 0, 0, 145024095858245895102865576953019274444812416, 0, 46057284804027593091921375640588952751267840, 0, 0, 341872562837067265656755777288438305883161920, 0, 72771997603752111730389971521042229199241928, 0, 0, 327293565722454371897693319888331926003257344, 0, 33156133693483291954560239650087768907475456, 0, 0, -3512552117628615563445335020206693677991744, 0, -435758542219969380655504608728751317660662992, 0, 0, 1868481915597405360359907367721380294552510464, 0, 229702902163248623307884212758580662699556864, 0, 0, 1188286866870294170554204731637999520632952384, 0, 1143634831956268475628942149667488438636197080, 0, 0, 59974149732827040911614847044986175944130560, 0, -838874924411906313153432697831430947129866240, 0, 0, 3256519149437707936525296190815371877939482760, 0, -4179648444119395677392408419355021167788106432, 0, 0, 3172655713049038354626664604179187392775170944, 0, -169119713242816668995603866054077761267761152, 0, 0, 238828656888894217452253290325098124612695936, 0, 3721978831649052119300345174230386297329667048, 0, 0, 2017287998274778998424627670714976454499549184, 0, -7993864571845771130831986435173608336136267264, 0, 0, 5092592941110237180183272669064273082420725812, 0, 533447926387237608716145007104744830033370528, 0, 0, 187392481318606940274572486143671892867225344, 0, 17013882893226248658662983023396812456131952640, 0, 0, -555803805474321492878027429592157910965191744, 0, -15382424562935770531444647023825342557046628992, 0, 0, -3094722011125050198873229890091886238016471040, 0, -14290910148724264628962056615476286869125514112, 0, 0, -1752878682425930395326834783781416104717457024, 0, 14113462327005010264614739373465845387297224288, 0, 0, -3620835192699375796820124222939255551585728896, 0, 14939621940137806620785512023098534492375121920, 0, 0, -77612248502864031929515673281179029417113996320, 0, 862014737642425275395254856049677428301930688, 0, 0, -15058276027503367985602294901269545948630878208, 0, 25309992533844693026437501368045456888228165888, 0, 0, -6890277729152962824866050431952577425243239936, 0, 139292565568709777542040738970404406589806382448, 0, 0, -157958144995692253871218039544330303533636041216, 0, 9290969957522398406045763816672353688011931648, 0, 0, -2242789167237004648267902159780720161584008864, 0, -129202520001328726078539124413657051680013433344, 0, 0, -337956529338503069686553216847766100374494904320, 0, -137118610594010313034757819200379258858493551232, 0, 0, -461945275774217169092958871171234979636882934200, 0, 20896553382331351901155850464663283971787459520, 0, 0, -1394079787265030636095231567072808317764848640, 0, 216336674995249638606248422207221054941025423360, 0, 0, 94689001399675094504434592515710496519003162080, 0, 297321205979413207426543350344163260353880437044, 0, 0, 106759456780815727100696762157886576165572214784, 0, 21545868912452762594585173140316775617878437376, 0, 0, -1132763555676072041214756447713565683315746804104, 0, -1205286428772557484098721168968941066503165928512, 0, 0, -464924030539620824710870488973973908346749220352, 0, -367409666886017908341782636648511281200559554560, 0, 0, 621542386371479367350235197227147966302710764240, 0, 134532469087530456411021845291552139720340113408, 0, 0, 53636699981464114527977116357137602820031119360, 0, 877290339105386432328190480432155619825044083328, 0, 0, 2233495707068761280329436250261898284219601806120, 0, 2839317528884559867594719243099501546989754947008, 0, 0, 1389536353508781768733020735053131632819785092224, 0, -1199919635476177246181094688095942229563289608192, 0, 0, -60382681260943187727301331904887272044256289280, 0, -1352323049722506518386355327964556380855968964792, 0, 0, 3893775383160473796182668697193650358590988079104, 0, -417568454651976634149491675668629529038309442560, 0, 0, 3196642499469022214102422230386699739924999379480, 0, 228424222732366420826447082305935885933307047968, 0, 0, 11266458640359297076130208983159648948568208728576, 0, 5509991367372338517966866468030708983491521937408, 0, 0, 3680322564895885501756381814270630922413082966960, 0, -16583223117057971145709544344033328609535951960232, 0, 0, -1317830087668388351578569295417315144729301483520, 0, 159983593395956096397087269531409561059386484736, 0, 0, -575633528429671849293330010071578311052879803008, 0, 12703331988860225785994671445330269926724923853248, 0, 0, 9280018997608505130119600744901469218228301774848, 0, 5823568117876794003066565601019091877795572183040, 0, 0, 27484442741097690563599304093766997239023218671520, 0, 3460874486847933223594923216685108973586621784404, 0, 0, -103150859113178568862269452261861252347641839616, 0, -59065352632131197833797644169834034477242510968832, 0, 0, -20657653417380423161054199194447928349453373723400, 0, 22687722890521975981557658286869319515517114910816, 0, 0, -1279332981534235543546092188851443604724275988736, 0, 1099143389037767933935928237594626801996215091200, 0, 0, -2061322232174696318901907165530942799147958360640, 0, -37913272435141696982858505335210410406755924357512, 0, 0, -13299560027240368751482439733643008610464442613760, 0, 86710734699696625358937598107026607230711313771648, 0, 0, -81976423685170318717891072717040621786661525813376, 0, -261286853321566990336143997043791959505006180512, 0, 0, 6466602847968218061743251339177314567497459527680, 0, 62579229103224679274433361681724347323401473523712, 0, 0, -147407663630089731645901641410608681771243778712960, 0, -142910347316150864950726584419041877418611919672752, 0, 0, 98954730338724309155525055892943164332817390770176, 0, -27299412896672029033194542859486728388865947063552, 0, 0, 1821473640334781856140878043670413259449640063936, 0, 269026711805600115750949835420057581576450613522928, 0, 0, -208179199440460891996543682846324574391996637345280, 0, 65463533347600893718179626344178884692593038327808, 0, 0, -410349914809305568016616909193584889794107720378000, 0, -11371759233724202006585060450937015282185626887552, 0, 0, -201202833469260239459079305969581597156192427704320, 0, -24755122257175165204816083213525124938054076667904, 0, 0, 562580470387899089040430749890672293790812436558280, 0, -61032443669121227682265328593784581723260765282752, 0, 0, -591527203858978929114540676778649218312696321172096, 0, -4415483478815370600884884424108612617595586772992, 0, 0, -9869515973250519846305753698591306507509626308704, 0, -230272289202864179062071660771462724269195260889432, 0, 0, 678321386753145457940204784466083603185745431322624, 0, -65218120323319883589315144821269509937514223693312, 0, 0, -400368197029698013609922193924010710406076861230372, 0, 214200911745197312163401765564708618492272793147760, 0, 0, -10805850559367205027753816082037034904922345986560, 0, -88008147674886243913172982941489851172519730216960, 0, 0, -731495870333615557231613751531839340010267116812016, 0, 400756959830952299613771251070283806355461432838328, 0, 0, 1252935961548827360157470544155490456813552002924544, 0, -14845089404721931882317019265707072938451286052864, 0, 0, 93227735091143400619146547738831160477609726888616, 0, -2227482954852912343012379110008925436575509615386400, 0, 0, 1322277827542349695265356288417428279121654177601664, 0, -844773813602584884691016273504732787289550020157440, 0, 0, 3183896070338443895793450757353026862872139815799776, 0, -33479728608506645007663758503852570433414840905344, 0, 0, -12531893643903106347337115617205549098669541031936, 0, 3085983734791464897652007178759580631564822698338048, 0, 0, -306964409870061752315601957287260598147545668276840, 0, 2273790908513876637899074541536537747081985374161968, 0, 0, 4905668818814179601353260713263265276039708064304128, 0, -1687836616603842659637911416266568838812946814468096, 0, 0, 63154571742429315846757536340763867627108558699616, 0, 269351566834410585397908908471920572528260701350528, 0, 0, 737773000973587504913664944937595770349102696366080, 0, -736576098259492456214004059567987789656005458719872, 0, 0, -5007104420683118176874819034708275854373560681146880, 0, 100054407869201556302952478292782742220278140060128, 0, 0, 303423394994421737037201533289359552707188096952320, 0, -984471145947722517463380347720423113064324446310400, 0, 0, 13406919852589893587779094582026965771466470925312800, 0, -4961553011121038308576060361481511610302710152551192, 0, 0, 1899743551813132840693225800298537233497816922210304, 0, 283927756859484292055861266112015133557953682044416, 0, 0, -30088426219005028698321518090841651629085771544320, 0, 3874224460663736443151446451248286862141600382382208, 0, 0, -19059614903262746970000427458874417123272774860733696, 0, 5839819186178057362061810085531342329794781018849280, 0, 0, -13269569074163818292005177149718853206918941727251440, 0, 1624406007208638058692009876941942650072997196414720, 0, 0, -201813657287822541017091309369207434362888749318144, 0, -5407236268053117028452602643272691539551129300950912, 0, 0, -2451980288969655775269216332118865916605735154892336, 0, 48511459912020421909484228471779807594288975146848, 0, 0, -10252575734239629333261159620361896245105935436358016, 0, 883348581370143931955288730933828700584480181567488, 0, 0, -660426642579423858417415578793425070018488859662624, 0, -6564204354962258782862935167816105681308190693178872, 0, 0, -26501557798443424581548908489484589681163967303909376, 0, -29837352482503600295538662060467820769765219586967040, 0, 0, -15473417386895063783646589390110187071919810519967040, 0, 668064869138798006026300981642983091548767110189056, 0, 0, 1002750705709002218060906522336724255985370157212160, 0, 45898206388650725991570007428682332612851836479602688, 0, 0, -43985218708429199038208404255556297970391591401077520, 0, 28522009471318653555110678045523017363604727866904088, 0, 0, -29992707380657815394859860489423618759871637121925120, 0, 60335539012614032538204531231652174353624617900903808, 0, 0, -4252683638998057801627075175971141130165393433275904, 0, -57546404210288350571214821881062212041246030291652064, 0, 0, 74876302285399327494962110241600668667393897834588544, 0, -45171355557508804980875182673691435928770594662516736, 0, 0, 80939357201713888662486545223733605541723094739318464, 0, -92687414234066418132171095023429964529948560428992, 0, 0, -60041820323090264273471329618372481075121280210083840, 0, -77755776859587043696118867187611671659674234363673600, 0, 0, -35672885453222006638411898857600611147782485967603664, 0, 127805363006252109634877099824268731101088570378544528, 0, 0, -50364426982370103621631505200289065827473680788600576, 0, -3092140073509804352167044441245078978966129226547200, 0, 0, 6242840097894148366465036304859749150578911198898656, 0, 69128958212914606680669380462205674053188517762231608, 0, 0, 133332793896028608544180391940075052377091966431657984, 0, 85326642100505263411058838184656539659698482216942208, 0, 0, 323010911186745060863647258211239988349274950756579880, 0, -244850566640158370366321931783872225733749870561469120, 0, 0, 8938655819152724725345576338770116500733403862478848, 0, 111594380084695638146370055884423053096424835773112320, 0, 0, -48096281030555572249393204037773573732721696101400640, 0, -266276691033489569726479788718609067842598158615354112, 0, 0, -86328364711633621498826767076186662869547686521778176, 0, 7488733202714196326970790683932867487915436174312704, 0, 0, 361254953732914310953925267660670087020695136184047148, 0, 167988024969449938152729070260409038319908361202182368, 0, 0, 258302694446264891804530251452152162741111717962384384, 0, -426794685335420363286297400401232951875866388974272512, 0, 0, -244963763311327352370089585519716008238653387540000080, 0, -14990922685805504816547487500872103264148167464300160, 0, 0, -2494538637605988570297526365160494305819615287050240, 0, -83314731161374781263299256389016391028416675097493632, 0, 0, 95327962170874224046745233744027842296075592304892544, 0, 595562276481008084033884431638077914396877707986019008, 0, 0, 469065027448014162416730262453666477869842504580391680, 0, 27420540758981821659921601940894867512377779259310080, 0, 0, -1782211528511357242699386314431730290222722690329088, 0, -712390292678663573390559848923007387693938482264809112, 0, 0, 235434264401389247781982278943441993471417016246206464, 0, 794110774657556286401297894574137698292433074131918848, 0, 0, -739612401579057567226572697658709638661369711038303240, 0, -42591311796994965830964421821923345950105645753890912, 0, 0, -905240998126167863716813241476733976287045478707445504, 0, 417952322300443801076141300055537342589104153512509440, 0, 0, 28215828526220321801037034273177346590474122948436320, 0, -309390234353498756806856272258978986993963582382783104, 0, 0, 259680268239082731335976310538942022780560462642675712, 0, 53754581277707691576591113636465691432682114663658496, 0, 0, -4702214351210249734223041454405049987230772733198464, 0, -392810236960124994310071796260690773673846450108196032, 0, 0, -1627479359731406679311605675382311360855294442586658176, 0, 624741663745427086374963319460646801639348131632332800, 0, 0, 325293293966977611735878797847427896222585106055330944, 0, 1199560610716087776516571151838494677899813750983444040, 0, 0, 60159406795261505117581690785993770767797168103194624, 0, 782094667215281744753576802740760081327297112599392256, 0, 0, -2203828909152324606174249649515768255734061787753729320, 0, -2801653747504011442011545762258333584408130559968445712, 0, 0, -1975932136652494965908128097652258279759680780419564032, 0, 74345708221425890840270871318270977963143366661111808, 0, 0, 1024136350791589093813029788516192939046382541053555776, 0, 153564938207773684670151267794808233285494450116706968, 0, 0, -1362681974825108738393500446928051020140299998548459520, 0, -551716880546718161815460446130311776174599022520320, 0, 0, -1436985075343953284533461506150886107920578132988303160, 0, 95182712344871892998869271643782980352136264363779808, 0, 0, -249209297614708709797911636091966576905411950561909760, 0, 2010315391548423398504444449636739628244089457701519360, 0, 0, -1450069768138140524560611175853304002133028992466661280, 0, -393397858874169431025819381782498010320684125963798436, 0, 0, 3271190454157282569527830408930214995705731673840082944, 0, -633413718388891017613923150342362662242635560814380032, 0, 0, 222180355315987956741298561880593654054549395329979456, 0, -3231778015291315715524565411444222968622671026007534272, 0, 0, 4212049463722385184587662358916683365624466612492633088, 0, 1879502141692998008910435208339098864849766357358346240, 0, 0, -4637734129581845852214376427860999023034474357850847920, 0, 353187506118690256829890938153108926070093260400297216, 0, 0, 311480497184593350310801308247189325576290413009960960, 0, -3546205328776302177701912451240016930442411809627066752, 0, 0, 6510096352157351259564086075979503786568077583902388480, 0, -2444647841168632140725399572207802282301716388928621472, 0, 0, 7794622261014411229348090473204960186011141964263761920, 0, 84034447475147892442557235472107261540401315530293248, 0, 0, -53024883793217197686538721836351499439677371856930784, 0, -1308442121676837706522957892029070396860111283940580152, 0, 0, -2255890942860010177201675435917672682821011014480551936, 0, 19646815680177456902021130313060620329960918973441347328, 0, 0, 17515094459577654671714122557695579087870349057601531904, 0, -10808171515924172160348092423986568144230882576120084752, 0, 0, -80757586894042301120599437284952175043237441566041600, 0, 8339229783849105235794725613793112861980480878862663680, 0, 0, 9097033900551051785856412877438269397742794423276801280, 0, -15962377952452866467249365455473598135011804032664265552, 0, 0, 25821754800697184575359097727104917402971599289057280, 0, 561431401477011582712718676287961813059024079096969216, 0, 0, -144738968595303562875219740243972022312516876822474744, 0, 11503659645284580844669065668593907930631634791548129088, 0, 0, 9335194813311152911266947076955356004332421259196357504, 0, -533940921211046531111600590544666131987753960189972480, 0, 0, 4139614892477398909250855392981719941553253872053692960, 0, -1372267781334567531294182204438193763312365625966226112, 0, 0, 80089009176333151064864223160427782535195082856071168, 0, -8433456311795658184090981006674039869780676255203699712, 0, 0, -20721459490640802789461488184815903443661771606842804360, 0, -26703190144251732138133503674298433462655593211862910320, 0, 0, 5337752282236129442104358273589746558018131368354749184, 0, 27208227713061837749724979218824602904911270152903720960, 0, 0, -389246473726070784137091366859607609937443826827045664, 0, -18593305743796103936394317370996139044765532127995454472, 0, 0, -1925239940542004219159052692947787506689415805895966720, 0, 43342485728617635308470685061757354826524296421985596416, 0, 0, -10923113821565189756609377001610982673486983943915264944, 0, -737943030072009993664528571404538283928606531950997152, 0, 0, -44381265472782751102444124624929356890101488473831055744, 0, -23365335466084242880829377877395551579508132093146071040, 0, 0, 32651227819469038005531997076579623885460460318849653184, 0, -35982663308518255160334389288908433457817145561396601468, 0, 0, -40244173109102878593586082178261346514354777884382990336, 0, -4711747414253067800125676286810284374424573655550869504, 0, 0, -2148329004883795688734751266920687776043873835764746880, 0, 20839480113016343588300517891328248019404234307289997168, 0, 0, -79355735854106243531080623264845583091352300445335456256, 0, 29848919166902743961797673335366752664228563094599630848, 0, 0, -79775368014138785795389768823158571529104219382066680160, 0, -26480635942843723589478347287537139501426837548498174440, 0, 0, 2176151773101323331664365076452947049001952115212943360, 0, 43642829604500590302438510726815581953452425185193962240, 0, 0, 18041133094939380876775500563962804326873777643062769536, 0, 180450759486245050281938809267159014010439907512044928, 0, 0, 29605050319590195630924328112512572298076612425604640768, 0, -1677088284297866184791443493346964125934977987417833472, 0, 0, 8696068922469589265503375491640811249027460542876861760, 0]