# Trace form for 25.34.b, downloaded from the LMFDB on 19 April 2024.
[0, 48, 0, 0, -189304795346, 0, -16344155009654, 0, 0, -88843709186818414, 0, -395313248894571414, 0, 0, 2422594115036596908, 0, 917466578268344886338, 0, 0, 2070337530736198032830, 0, -24614790102063805942764, 0, 0, 324779962521289241515890, 0, -563317182234034861520064, 0, 0, -758916992764935433073580, 0, 2742578389969088111052716, 0, 0, 69541638341963944556902798, 0, 316844286815529903747059828, 0, 0, 1300053168681902195022686512, 0, -101050066658206457343345894, 0, 0, 1365527165809683624372816078, 0, -6612157666573223087599205124, 0, 0, 6084104657300297353883839664, 0, -6100975722682679767563687134, 0, 0, 495711093787149831312700336130, 0, 132538109391288335079744680220, 0, 0, 589264687828773075421346021640, 0, 220113703303751276269744691536, 0, 0, -6365985146533162829697190230786, 0, 4314465860188742909708493448922, 0, 0, -13036126514695856174835357542508, 0, -10493069708189310903017158919424, 0, 0, -53594289067042452475372173420972, 0, 74706613528983596931454804425090, 0, 0, 24858177510370750965976081061620, 0, -81438414611307874837774948874312, 0, 0, 624046648976724143125242259514028, 0, 159751560945039428228587710082056, 0, 0, 577312522671761460627909099259410, 0, -788178144282192462520177558680824, 0, 0, -1809471639635906758613568641856632, 0, 342617643704611025444749137375806, 0, 0, -490131131145430790146269196501148, 0, 3667567426733709925256212194026496, 0, 0, 5543697051756558921195679550529240, 0, 522387099210122867668492103455796, 0, 0, -19045313073691097974677319709729160, 0, 22607061800441872926217338543337276, 0, 0, -35361049870240998628847083697350090, 0, -68148398181821762521393223179989840, 0, 0, 105049516067383597453284782502356868, 0, 76957730877856744717023795811465814, 0, 0, 132612234140279343090057231264989068, 0, -95325781541223984811189931937051144, 0, 0, 186979004344761334522639563831973552, 0, 350240404042761183286329290824484616, 0, 0, -824231738231582735881429634820485502, 0, -1869543070996833401993601049443333930, 0, 0, 151807569718532807306449437328174110, 0, -1104327379930412045396606462606820944, 0, 0, -351871323333855955283656808363073884, 0, -2202428415261423271320819656206774674, 0, 0, 1612196332160687859891887624502221100, 0, -2190215456437990927750542115744586804, 0, 0, 8716100738984016368823358475028385356, 0, -9120882293625625519092812670891770024, 0, 0, 5721500542906709746706058744621569132, 0, -11515359370815678682406746388151470784, 0, 0, 11625112977561889705988663362879885038, 0, -47920162600841769090289500216825236634, 0, 0, -3591397233457957076463980686405448664, 0, -59596858585847290552226501680512574940, 0, 0, 6361490450955045941222253321341639840, 0, -117673727440250053594443382765329556134, 0, 0, -29920348259185710864065563530576770730, 0, -156264995992313724268722674318037488184, 0, 0, 241452754656314201123339561064312935340, 0, -638198675237726919797407223980303099068, 0, 0, 319030168321479544297021715913044735580, 0, -342607275280079569988753706607098088044, 0, 0, 543283208195595653208874438688581912068, 0, -1119340340265707383183161821699505325078, 0, 0, 391924025531381775677383172597304489800, 0, -1847080590671432654835325406288016085734, 0, 0, -238182808959745394130250794843494334482, 0, -2115341954186737057521853716732922314504, 0, 0, 709272578136427597926994974530448984810, 0, -2336996597438286501642532871539370067114, 0, 0, 715731459719901814600014852807906414558, 0, -7466022044889629001826871010362944412550, 0, 0, 1688332567126147618880486502542380432642, 0, -2036711358652065964768080655747432707744, 0, 0, 1328123431703726405001551478626729081988, 0, -6099303424240647549516174676256165609914, 0, 0, 2743552412251517675039672158431178356220, 0, -6599365858064600387551069448636435700348, 0, 0, 8982537548313303004664631497883710836552, 0, -16691307220999755303001033695428744477280, 0, 0, 4111027479921127912560343900335830273760, 0, -267766829062144902658224937941428152094, 0, 0, 14052661373717279922895197359599103506428, 0, 2281761744303071777400655160960723354962, 0, 0, -21648767564157903730835927035884591266178, 0, 34358054636937321498676527250406442099846, 0, 0, -22771658281064971115327848217381766057012, 0, 47424256805593179283427638322803167026178, 0, 0, -21335803401119257597965306000946748301952, 0, 34182728585730451925849547668479881090940, 0, 0, -114944682400531808321074600482889613961270, 0, 121424361924925740338593716862500389148180, 0, 0, 15668190822807560139441928622147718929580, 0, 124759753945103424589207524999810149938876, 0, 0, 10304939495012614125987905670037270065678, 0, 276886259166905245960893123726376950843516, 0, 0, -113973500527600543183782553426318409203488, 0, 84987229555704346084735023108916425771216, 0, 0, 258152088607404375754747154108260376995848, 0, 331897030698836175857514481411461772118552, 0, 0, -344714061195796904436657353264302541474366, 0, 423604202299455667474199169378441956306956, 0, 0, -86709072491788372600833355009064805589922, 0, 974916080985039314891211669949025926537020, 0, 0, -206003786035290227094149752247195965154328, 0, 630538222646367376273705587492345935521096, 0, 0, -917646077355703733370365592796700331697770, 0, -685753258348071142105581585929647117047164, 0, 0, -181991710661567323298491178969666409575968, 0, -10347207104539856331605899340156318057964, 0, 0, -928407968033062966904162514615836899812492, 0, 117892367112496431414328077447237417987260, 0, 0, 1728238364045085963983978503190456248767440, 0, 450179413663968936065530563851563570427286, 0, 0, 2527703002607102996420411267103063822995374, 0, -1113345138110846154877958937136325803653714, 0, 0, 1270534430280333972598044269330309587144488, 0, -2874133939359065268302184070591688965662334, 0, 0, 2984233546324946183349984567502197497652648, 0, -11305188296648844549238774252352619949943484, 0, 0, 64935163944162010052278943028618817291562, 0, -6911897567091722709750270168997158881081988, 0, 0, -94312455953747103325710654249119855997960, 0, -1026940076955619904165735166974090570922024, 0, 0, -2943372477252983769459529574933966708647600, 0, -10216175402734925256253180840308966561795640, 0, 0, -5384729887841460492153171321217204481522720, 0, -20326858045361048839910114864232114371088570, 0, 0, 17917098518644578601640590641882660699686340, 0, -5563680291553346417566581472209251885149482, 0, 0, 8967697076045971757687525734385023986221648, 0, -3341201893085155993741989977574393425016428, 0, 0, 7163222172577260896498987391495989922024992, 0, -13555967369445468654341002808429712283598064, 0, 0, 632804580936264169114529290224013376884086, 0, -3387191213998519085851954030383176271617880, 0, 0, -2518004443816408728162046007741939580165430, 0, 14419305541467271799310095730741263374746596, 0, 0, -9781753007573339845369622668473669699260670, 0, 17214109498579489306467428759225246390325906, 0, 0, -27944815834626519666433576041398309084603640, 0, 29031603070121467288594426190112122596968996, 0, 0, -846258636647844661259306189257818450638532, 0, 91470128706866424308392309267229967360780796, 0, 0, 15110868548880740257135434688880487216936060, 0, -7654297157256742338971193330751380946431054, 0, 0, -64858873377760033888139517730785296019738492, 0, 149396145536587227122917660358633723252032320, 0, 0, -100597498968254254474400515354526880896325210, 0, 256740744595252940068771745778578100767957826, 0, 0, 12418158040405476778708531406742369564436632, 0, 14767321118808861360183224957253073756296, 0, 0, 14255232840487069588530232469408229417701430, 0, 31480568292374029608454109420758379446280476, 0, 0, -163841914887506719395102476417998590442639860, 0, 292998612696509998465906449584063955708344152, 0, 0, 24009684226544284475494069169273539583868584, 0, 38655043696395062071194600285570425885069316, 0, 0, -79478890424858562588507466054539929526182664, 0, 426193598455251254696768251599943173003831820, 0, 0, 251074157965624922382106026937177685177196560, 0, 76737658905888688588717847141280854428221398, 0, 0, -171742274191769873368548746649362463308704052, 0, -368971900524568534656328118379310748003134824, 0, 0, -52697907241172966935294852224509770865694450, 0, -54344584596085038301321020581542399324599758, 0, 0, -136148941265948994765687525787805899438095112, 0, -354123912997680991483630334867424722011877850, 0, 0, -360758526066930493751397632303223815278276270, 0, -207381879489585645034625441511922236106052364, 0, 0, 886464275253127058757522152681692763489939520, 0, -1144699666545051456127961204435236372913344284, 0, 0, 422435019536007492162971421962744082416004068, 0, -584112239860545689968733319571114901183252564, 0, 0, 809748009432126189707964272264350201147462740, 0, -3022236935330386020708611782667582030283718236, 0, 0, -621926207249208084098815133967824643657864780, 0, -1587562695279654922454094765594267543228726184, 0, 0, 552232212412934577094654443069179521716951372, 0, 87768019105427827532796215212596857778045616, 0, 0, 2290025579169206497945700999674649278667279462, 0, -2506365081587447785675822322585521524546376344, 0, 0, 3266747079372078819276339417454823333153683560, 0, 565510674969393416502111080347548316503635396, 0, 0, -2327800102330152775762979216143171983676000, 0, -1783831340256188632515634324314424601519987184, 0, 0, -5481340880653315764785859205156347921629349960, 0, -5183655250987357813220454880113030587606096868, 0, 0, 1624562281286760681516232526688044156851576440, 0, 2730151943093954107607307148727061297362868916, 0, 0, 576892181942598233643968796829524009838084908, 0, -3719981271222230462488361677919074329921120104, 0, 0, -509269503776097660101580691346358969033134808, 0, 5384130443958242987580584548312417830607918626, 0, 0, -8354536077515777949323447097332296577729342232, 0, 5780677030139519912010590325923200156256061436, 0, 0, -5525016907334890751139429971298159000263829264, 0, 829688534513488902529971713622398463267743480, 0, 0, 1635577607212861933477877091952473502308288570, 0, 11732484137639997197802857342824901577663066570, 0, 0, 8200746245761499120315413468423765493330542398, 0, -1300138189338908511533064766478424765701150644, 0, 0, 18670491083281578300536737873232637829372846778, 0, 33590035457039553488329117422432794883450218352, 0, 0, -2897487276448213637642518484607366733495746748, 0, 10945567618592031653114352709238441568814615200, 0, 0, -27305386050953047153809547317244856387369607912, 0, 5383656038593012535051105659804846506235814530, 0, 0, -7514085555794657157183915473295224491386079368, 0, 18899620344856748638981835171509923615808929062, 0, 0, -16344947745341441746947864385893412768435621112, 0, 7312780215699760332894327090500564311760861166, 0, 0, 4767611433296444277826815194264869291999800030, 0, 16727967684753670404870435823474419351833193576, 0, 0, -21080620902767323466489320990812726952381922724, 0, 32679201306596477034680504292094776183254682748, 0, 0, -21246707879135424121766134273348506461104618498, 0, -19848729859611996380494170840328604938845441444, 0, 0, 2615700619819387932984176062990129501062919590, 0, 34451428332997412727636372712033378247162093556, 0, 0, 36234861737088213803769384590936659576936905860, 0, -59349291848193699858347938513624859073159593244, 0, 0, 31809601550253313105849361623054423858169045410, 0, 8753158271651787417855672350298842652626482800, 0, 0, 13462831319796334218079803753344541272171910900, 0, -58940042850671339706645710784159191951778530754, 0, 0, -50471064705614861069471420470365899229757811892, 0, -108728117733601315464938836539436674333709571508, 0, 0, 20407461789519863194418754835029743812230127440, 0, 29060043939394201042739328626463989876564650296, 0, 0, 137109097464039659460370429744918395425112902358, 0, -260615540583767498263860723369856011985542893460, 0, 0, 125924573169859880254884281696723002878952722480, 0, -48878135275047706316071093448108830908921412740, 0, 0, -45015006446130537747988864619437553597634212728, 0, -128211311354204399345481623600947582337395757364, 0, 0, 42016318947684836707306513356253612477670189388, 0, -65187317048374682041370272365485843696062566884, 0, 0, -216146265295478854566182147892426461502557894752, 0, -26588072910279297046918673037554768356679585764, 0, 0, 187598296232612127937453758933660557765094639032, 0, -34786602602422314458544552731318104241998458744, 0, 0, -86996450778883936960477510806831335288751549432, 0, -114220357983779600400675082434575353922133345670, 0, 0, -19660128239288628865201832693042207775850783520, 0, -122636611574332342755798114203839821980436533688, 0, 0, -80189106529121826933473273310378441452767681820, 0, 128193893293514008165686921126463297979759488986, 0, 0, -8401647258678240071993776709397777458605132710, 0, -12180458415663205673666143399566481201372055564, 0, 0, 251137459366299569893478925274183964691484712190, 0, 197822860077590266245987925399575868260608365696, 0, 0, 249219062252305197572798757170614694580441352592, 0, -14043299659912124197851445342794478989530642748, 0, 0, -368799012729790091946357174078739618313019833022, 0, 451516415489026642209777103202524973140358685078, 0, 0, 235778086727239447270792778957687987613521698688, 0, 180249740596547766373844170432177674593648568896, 0, 0, -507476214410875538753036668148394665393035278620, 0, 753533452176282639512213230660725611931981430200, 0, 0, 281546675456856540923954472951489983154952743912, 0, 161231335464500939556856329353382356363409312706, 0, 0, -813684616379263754263787513192176649451476827682, 0, 856250448135533463067522089818946648289097481600, 0, 0, 171695575399120932512750382318856293234170153772, 0, 126135358298765052790560912367330425364112328396, 0, 0, -284860970192845453508279119113417502998320827002, 0, 962430207787759771843104040066026228654537732996, 0, 0, 911555449484475062226928813354551867630035835740, 0, 115050931486759698768453163512015304476633894840, 0, 0, -3018499658271929566931105322350192028246327811764, 0, 1745636224352409380511264745821616797723728313210, 0, 0, 38227728987178039651032053101678386856564492380, 0, 554178783149391625427426353464437269453764972136, 0, 0, -255739033739065880631186454141156044105042424132, 0, 855797317111248875601694787837743893354850033628, 0, 0, 1808087400166766733771452814062877267121759782896, 0, -431039788941656341349682934599503856621060784224, 0, 0, -1354908355535522307549594734103218689727152488552, 0, -1794859705128275217308177508792760719718328084364, 0, 0, 2767071360531455443110899162511493799205091760, 0, 362875006000427747213053774439896727183705614520, 0, 0, 437298062526227389270989786218659986026635033380, 0, -1073435837730251983499758768435830151935105578724, 0, 0, 4404423264451320525990895365066762554011692338028, 0, -110804891102990180844513083014787924047010524904, 0, 0, -1211564976013019413274973706615384766549162792560, 0, -1717774475036541337851579995420412684897187866660, 0, 0, 5202904977661160238780824032679044430695012125444, 0, -6863047829467853876110432404317089827940227024414, 0, 0, -3159076817943781457118022555155733139659396514412, 0, 1523944282484371970795026799813809729683096620316, 0, 0, 1323720452601336371824052383857053834345598412830, 0, -3768341478834146034426567799736010634496036656764, 0, 0, -5801864304861325592738110346673842589332177304608, 0, -3055121436120575333667566263128320496241297477380, 0, 0, 5475133876475194816393402053612032958254085486510, 0, -2118763378960019470644043854360117432375607296968, 0, 0, -980041400469392916634727041177115059360161351866, 0, -7564948038245634260234557897860764203172317317768, 0, 0, 1784975294894979308617073386717937154583093357012, 0, -3026148737951411013445448081197131289288036620924, 0, 0, -8293929134750737003088136039927280878181969193232, 0, -3516538505578986381702786954160340551504483404600, 0, 0, 8260620908937436788038901902881504520158567726528, 0, -6570353913846253548692898594067374287252458364880, 0, 0, 7380700053776585862391103366540542287437574445218, 0, 934114009170732569408389658959577324411613329712, 0, 0, 7433669848700510038108226969239334191525327946640, 0, -4429796338438683235746216671851500743363231279464, 0, 0, -14430556620134412741166109501281180761056125804804, 0, 18713854808916073441377900542942607008349800771546, 0, 0, 11890642329668286722278815601139104674602811800232, 0, -4311004853614419139601035955764978363673436383424, 0, 0, -194098420325139564764240824332435296145157164360, 0, 3038330005849819396486507860748201450828417669440, 0, 0, 4794215357436770287557598262487385249035157415620, 0, 9812626563044639950368978553730615677271191186296, 0, 0, -28874743945276819392589818333045707062065409839530, 0, 7819200973523845676424585272138837484836462453130, 0, 0, 8332926987388315604526219481003687300124589644160, 0, 15073843821895143851230737725136577496452671775928, 0, 0, -22698059409560368376958133277647296872233920015022, 0, 16123268477179926082172191861363319724405868882576, 0, 0, 5581470736606567462484679605606744400109293556422, 0, -986069291670221525365915366773772888556362472544, 0, 0, -19468322443841961050134485782809817541651041083944, 0, 29397669069312936225305745810279228656935040752470, 0, 0, 4206320878816802746476663121300087767867571338590, 0, 12745002900101380578004486787122844739691868099292, 0, 0, -10313302483053856770617419692715657841206168922570, 0, 33735063825278227076822524953660419959831573525266, 0, 0, 12987143218270066352488386818790682924274787401340, 0, -5138850084647517699011935517575151692892110695344, 0, 0, -21465171276298093154645662820189328992470756020540, 0, 25119122457281565023179184767078296714199661611966, 0, 0, 45887460522377301839999379476569087087027767929052, 0, 24828377420465121608204777726424881544101401355616, 0, 0, -52334494633918267140010659683871821890202581495512, 0, 31021543278408150701681909141525182050540969842406, 0, 0, 41194300972725368818456216200824292468295800929408, 0, -26217044770898689626100633588726413245814148446934, 0, 0, -2867726767526790530874596974394431401895230632800, 0, 17993470220690980848104466542795734798803223385340, 0, 0, 19419861666602265322206417958326174954411781382640, 0, -26476635910354487738112023853149516482249758007684, 0, 0, -37923009975844455396329913579197610712101103811010, 0, -58422001794451353125578550392520891490934142498108, 0, 0, 6885154907573360987507323065886402035968412132972, 0, -19110687228014809650947525310492846322141547960064, 0, 0, -21900945155654567544814646356719249747982946670042, 0, -76263430741387536126792004224987362766502703594440, 0, 0, 58094135052378445700674206434077457292863693360180, 0, -24424038378310166788652579632713519000629598940114, 0, 0, -41720848579707948781090499022476512395436267344804, 0, 10672567186772087793422286679012637572336077539736, 0, 0, -7521740018067720870700991254725373968106236258480, 0, -56634382369118827473390249133791589937441337442310, 0, 0, -50946909324156420384280069279750281315731934206152, 0, -172127472823065995413306965819426950252956535158320, 0, 0, 96487838685617306387143910817067327378162849957412, 0, -104772462172885988069509744256216138620549511014044, 0, 0, 193524502504497246803119431917665039990726746291840, 0, 12894741961151301316496981168683955307031361598392, 0, 0, 74720262821773617558976064992442231570289473433072, 0, -171461269086006669587375984677926190137079089397984, 0, 0, -114486823890343198983211745101183191077491362522928, 0, -25436288884309544714719062346595068104755015723520, 0, 0, 63423715282400956295960070364203429749954920446948, 0, -92706964401452552092287439052405987816380572884696, 0, 0, -13422042381669941877259163984683794361537394297562, 0, -30182661234340889123261852389138351583729309210568, 0, 0, 197244881283558337958395150082323689922401282145610, 0, 63500772191997746495556533441399614915222808010426, 0, 0, 12972447781379206185359149751279115263468500302828, 0, -177895401729761186034081704267733347347185129234684, 0, 0, -219021965049876129554231280879654117045312456186630, 0, 38710883922102067750759556510852870858204766090380, 0, 0, -173338404745892681788199444402244931451724680267670, 0, 101569485111386897015154113115326931822503917699920, 0, 0, 19136910063145472227460491208440024057254812631912, 0, 97876632803259195615470811877386593790672996645156, 0, 0, 236614310949066910319464632445513018459458567442896, 0, 391575696540007624632055188590906134102483850217606, 0, 0, -49371827044865648354316647715439080922485423354220, 0]