# Trace form for 23.25.b, downloaded from the LMFDB on 18 September 2025.
[0, 47, -4232, -434562, 368092008, 0, -5593673229, 0, 74005246931, 5067330597741, 0, 0, -20495626037781, 5771152551358, 0, 0, 2645975722662160, 0, -67874545343901, 0, 0, 0, 0, -51460339967149681, -138403526810384928, -510719149831430737, -156378094452632245, -75036056343782244, 0, -1583078054945709602, 0, -77249813729122274, 1729924952099667744, 0, 0, 3418569899175948192, 59704767230759576787, 0, 0, 5479950003975867036, 0, -9150679195666184738, 0, 0, 0, 0, -153049487518536134480, 22735751396127769438, -1057301601893947741005, -1267367077864783003633, 284936617115007894520, 0, -14496567845913196581, 0, 427769653530153047427, -5430040696094013021792, 0, 0, -3667715980251537830869, 6557824862401315128190, 0, 0, 22074091739305233447011, 0, 30861270600445749976931, 0, 0, 0, 0, 24476879859710435470878, -118028399895318845638416, -68204988047209908888578, -61925219427170615767677, -7319375899831086678722, 0, 12913295383070041819998, 0, 111116199573084838704480, -133352085616887279140973, 0, 0, -92050958955139484028597, 446732006608621898235851, 0, 0, -113385735487939722862944, 0, 792703860282786755228796, 0, 0, 0, 0, -3135455949007530391355688, 2490474357216657706818876, -607510120409074977795901, -1668692394291208047471936, -7831523450234609872700637, 0, -2067304853876486831513192, 0, -3311534920046257704771912, 6112917149079857285552542, 0, 0, -4950315090735565846177520, 6355555847973676042290720, 0, 0, -9493803224141492558339637, 0, 3150007204963427829243216, 0, 0, 0, 0, 13061898617045418827014944, -29612605723085781024297909, -1170376924290516697772646, -36618997496991420086818624, 39275890640415371917359072, 0, -12631931796670093969976977, 0, -64760778845230058267469924, 3222921251426043012578811, 0, 0, 39012599239690343851763998, 79569080104333055641331392, 0, 0, -945621623770192062798050, 0, -18133474385867353178605440, 0, 0, 0, 0, 306019776446443219850477931, -222104085359268115242788642, -91421609576814041355607824, -113673451836649365668456004, -145358717772036120674973709, 0, 679967340434002015605482979, 0, -588594631467128885955295573, 816486160071948232194779358, 0, 0, 906125787664700330883897507, -237244772895820629948459650, 0, 0, -1546368676220501786056624032, 0, 281327736582418323643432635, 0, 0, 0, 0, 146090441137028136728461920, -401987000625884035147813650, 655553654803161079999583038, 208796399543351235430891371, -814040921205476962782268320, 0, 1862857921821820560340734238, 0, -1609752310954310521988924211, 2504943349835356265090094432, 0, 0, -1260550620744733269645956642, 4610318511157489123021138179, 0, 0, 4747601031074743073156874876, 0, 7100129115604497006946735198, 0, 0, 0, 0, 2090164080817457811066555875, -278844428068090568018655264, -16424250705478826053973177541, -7103109071149286997739308000, -7936759160005545463884659781, 0, -1150823240897121702603179232, 0, -13857301263723583475091977184, -5428413378368979219080498402, 0, 0, -36354695171337332500685873448, -16603108657080421653603249122, 0, 0, 27720264263121294276053407091, 0, 18407911796796260638961243696, 0, 0, 0, 0, -495822246793501820436532083, -908768253782459349283745485, 24832387388397449342070767808, 104491778145315920995210113600, -26892734976322002026313786242, 0, 35976255771263949167915691036, 0, -13638980865594616500928385664, -250770844229285366838436314, 0, 0, -26278894539184947731805348804, -230076097956020303398865627376, 0, 0, 66234455887183644404981770558, 0, 35531385229201859085731497869, 0, 0, 0, 0, 111239340821908274538421771248, 36384645817726819188236543520, -154446317946179220425400381488, 210051859048503163867029839038, -249177191368991177651498993754, 0, 331696398779675405117024278512, 0, -190045725683844993503625935760, -66291669762007476893742865730, 0, 0, -270388554208421316023321901992, -192270569031567400973300204166, 0, 0, 822614542930195668234993369987, 0, 840505168247660427412607421952, 0, 0, 0, 0, 314787112534116934805866332000, -121132267380860022761592730909, -400648779283346177349503556000, 1327161644098519968330420288, -588101818015017829454059598402, 0, 251033483599767752274924416352, 0, -730875742922662614066153570726, 272863196044153135895274811811, 0, 0, -754188132519679996456395100800, -936037522788642401550278592096, 0, 0, 457890321448219555068283268926, 0, 1121603281936725063579499115998, 0, 0, 0, 0, 1586964167072474550235973813451, 199610106222676923288936958558, 19949545820071158459684386531, 669756355649844815620366046586, -4674256161297749511881069404512, 0, 2049995265203842409897306713467, 0, -4033206262886033934772784221461, 2563542069390217412666520462720, 0, 0, -165666606262219845184926369693, -1738662888231022875508728146545, 0, 0, 2732482688120271224925532034619, 0, 4178741657191727860817055171651, 0, 0, 0, 0, 866971192568515731002123483902, -1793415781140551551858204141125, -1644586643191928266337180131776, 753675946702173325432248626291, -3545044196459484946663843819044, 0, 3441716932998671991481710129984, 0, -1872477871626147533476912451522, -5289298397297002258364494416240, 0, 0, -1159893265666039401408645595682, -3910713181371772838184134580186, 0, 0, -1074469509921326159066363053632, 0, -1633678942003096287295294881122, 0, 0, 0, 0, 7348863132610136121286743804480, -6169420910953268269648145285760, -167478129143680450916902189074, 5401846533357441308422992827422, 4381463562659530611413508857939, 0, 1233068979193117072702862983312, 0, 12705660103251475166627340763200, -4915083069085519160591505056738, 0, 0, 6504567202835389694334177285152, -602295240599489893998756330144, 0, 0, 6242612778786120274388308176579, 0, -323197259353414529187934796112, 0, 0, 0, 0, -14902730575531757197225932385440, 21266485293516935645611032664016, 3431544817563984830900817252958, 2322505722585239130525078084363, 5244580848628743579729346674622, 0, -2212141058992553617073401442568, 0, 8419385431531518371513637549118, -21053846123090990277013324624746, 0, 0, -24425734032077587753066281862560, 38464002570531996191545110431171, 0, 0, -30915482436596866992729927948529, 0, -27280625438686783911850465736802, 0, 0, 0, 0, -48889197562738958085967880835920, 41407341580319362594913254342650, 33868485542793747541562530386912, 5749098146935593144716192988096, 16241109797880323811320032054443, 0, -32964450695831538685235140415856, 0, 100326519949502701822346802218368, -10919086942446368958830456586244, 0, 0, 39303885329347191147172923282432, 84568064697251680175949413240316, 0, 0, -139091555436685288658609134396029, 0, -110465625981486830275445867545333, 0, 0, 0, 0, -10229342510936696063042178973536, -140876524486550906774578738179949, 12930342546513866647787319249756, -94149069022233207796555222100725, 106252757189554355539989461807616, 0, 14214073067589070008908103983998, 0, -3088176781406161131713302588800, -171040170432458400325612257599312, 0, 0, 42073340701930067418797593317596, 261734948666349893954507059577184, 0, 0, -166282203808876953458153911721760, 0, -137915424090895747143686719180610, 0, 0, 0, 0, 63342849499352004275548526689587, -95022885467042863353048246062688, 221677207856784633424592349564387, 9836408526137719634684500244316, 45816636018998241977587038638880, 0, 247006120969965163857688492409520, 0, 120896145630561785780924172504896, -72501999219013497914494654946886, 0, 0, 155625592326169016685108749907387, 207362622508261298612202316880640, 0, 0, -229409746651695213788664418215648, 0, -365569202490822813963016746729645, 0, 0, 0, 0, -1719635944857854120619099762240, 548404391260776773324900672471667, -9510599154351534272052937710914, -137897421128947930285019811197088, -346495604455063277964862137576339, 0, 228757839412415050881662719959358, 0, -26735671021728826620535493022528, -142046007976130511261058856357584, 0, 0, -534011670294822920130370822223138, 456500070756220361871190491881763, 0, 0, -174666008772659871790305800817444, 0, -160056225062284627929155308142112, 0, 0, 0, 0, 442706946324368172857681499781392, 138213952148903742599423104003966, 982545497733399253260673049201520, 237577273930949422461960478609918, -1312053179987461227239060067949453, 0, 1037151732730683226586363895193259, 0, -208381793690634080675464761432618, -989144620787705928702173229509088, 0, 0, -1710129744481630804336723445812058, 289273158670812722766440959697280, 0, 0, 1386218644180163466959386777962960, 0, 373859177338800866622268988180531, 0, 0, 0, 0, 1040757708000298474966238844216480, 417264466385897499415660778699736, 142079346035354338836744021740064, 1765965460863919709686464322715910, -981120852130569916444313509878722, 0, 1783598559821568596212166655185916, 0, -130955145075630150090136546941794, -3580275653582154386948025198938037, 0, 0, -2835920646115239289610074263187968, 216454021199808429417764752850003, 0, 0, 1550204933086831981935882789819550, 0, -1221579042312022320633758549851524, 0, 0, 0, 0, 2263381782331625862997023496273536, 925394568482819762103706263573114, 806839350097895816184943136069979, 709039515397226209877447683723294, -5206911713743571660474627501021040, 0, 5030982017487475741136851737828515, 0, -2570575648085390568974896103064181, -2918910304446300799154524925836704, 0, 0, -5726565016827868086414622812110160, 1588471847664898070302410305949276, 0, 0, -1702422694256252486756239303224762, 0, -3840459067588518802808638147963365, 0, 0, 0, 0, 3540103350321351549663466397944367, 3677745893180228502849571871144160, 6257333641870105130500168901859642, 4936573504732562856394670363480640, -4619561731766964949528905925154404, 0, 4711836962689575842485238409038016, 0, -3936419461905749010000184444056804, -2889751626281239373092291227393589, 0, 0, -3530112624585938181117406552678850, 5598752381324515964226391911340736, 0, 0, -2888982126187199729545452262744320, 0, -3097604031505201599590646585103202, 0, 0, 0, 0, 9544482938747918414261020268153232, 5509843747804308731200533961714560, 3863544732030954753298389920920907, -967469391210819532994335275536160, -3283563098096958331241982041929029, 0, 16301755602640317631906499442012918, 0, -6141750079564058523817558659680160, -11358915701976634897859513672239200, 0, 0, -21287312480915899591202924730618645, 14616006254224245576323615891688480, 0, 0, -6048306740985795932610906774398048, 0, -19048483541014161697312425821962080, 0, 0, 0, 0, 6518239286154707999024959262801039, 11441642128773632686096847599674915, 7078171718718991975856400492013918, -4260498630110309767233073029429512, -7303931000831227816923125173520292, 0, 5714153904596624872060172755961952, 0, 7313209476640477936808659784442240, -20821032620409572918851554394266608, 0, 0, -3918751670979634332543313954213442, 59002598566094621816200623929434299, 0, 0, -12031704728426797307166776427749892, 0, -11078860321579775236526251238984642, 0, 0, 0, 0, 2281090863946450754085462574130771, 13089741004433047077435755584054366, 31949647729915671805101469100155968, -1983009596704910263474495732798082, -122037617549450333465006069808000, 0, 8193217853733517860545568657753483, 0, 7830550375028025936280240115968854, -27700977301706242583768113469145122, 0, 0, -32133280191244061824418959786257792, 21577262309828812312443014941857884, 0, 0, -45523479383349594189480414113406304, 0, -65771856889579737529034989479297024, 0, 0, 0, 0, 13534740441296554605477419569788156, 20464249134368191435329750875033411, 41699572673590057667548758914030400, 7621766888509439442209508163769427, -9511579550086003535454213897982705, 0, 24473378091883710469175574699409920, 0, 10032754479940544867425505811752928, -87373024258884609580527523962383424, 0, 0, -37237156718268503129081278942324164, 31731730061629573553821210712385392, 0, 0, -21102862581846672970635235413093602, 0, -75677507806627237745972568173047878, 0, 0, 0, 0, 14500012936508346849430336152352848, 34067239422647176050033877989837120, 54637527172538228457316081904193312, 47581528369527123903953259873586558, -2849184878158459634642432854021005, 0, 26297006863678095705309060624676715, 0, 23440352334312789799012132389844299, -27411160215130234836514360080720482, 0, 0, -24162083243234617822154649234797005, 83854749172281370032518901259874874, 0, 0, 1875726006747379341914787001811280, 0, -85748432138999790264296107570899229, 0, 0, 0, 0, 20583290963002668251551109921310238, 69297621216899049377979269335659984, 14278082518861891571014720199201436, -44719268696227859495477869690260528, -13785442676763745967802170876791872, 0, 39261334868480876206967567750816638, 0, -4926550312238819180028975102062148, -118549326453003895946723710973929629, 0, 0, -86106864547425420765716747905975584, 104258587307896351453674137215711104, 0, 0, -24038513873920157897278638913891682, 0, 14813261455538592260627016922325952, 0, 0, 0, 0, 78304553772860096838647288423534880, 16343194853583377191245061342636030, 52278109634909063420493839139873504, -29445450032870353144944960299392320, -113286712102590260385269437562195920, 0, 181353760267114491473745370783228038, 0, -21679092100954284951560485011603349, -83181357749706085804604112857267844, 0, 0, -118886283461791346950191084724259031, 23129519201708352837428015936038080, 0, 0, 112363826680366809324242322021747179, 0, 59063488815045078378537787356106038, 0, 0, 0, 0, 39931973846689844042463877826567038, -54312414372905284658344546747766880, -47866575912391329914955025735118688, 77098751528697250123713766492432251, -124174124555409439514004418524158244, 0, 82204504569194498764256948611225822, 0, -92933888646265650511614143042347296, 173810970549952407261239835928934968, 0, 0, -11141688154360738999445160397219586, -39222625813422807392428676331095709, 0, 0, -87074801705755359234486977278805943, 0, 98558161036837064838162279697032000, 0, 0, 0, 0, 32735862840477217765524699362083200, 3530417395003972731642693004642080, 34189440018675739977966004277717478, 171304769974599402154671278493058558, -462448165999923680341963551683923152, 0, 273812675500356588527849731372975680, 0, -287551198772132734326947143635265002, 9092881604570452736923865472018816, 0, 0, 7047146877415549985010404560952880, -95741229291940366131642008092403328, 0, 0, 183929322614525469564102692160218675, 0, 24709069612743850941398050464460891, 0, 0, 0, 0, 75921211445517045930997519303062240, -161316037717600025759769664739033664, -116716803646858878661610489603481314, -39744459682292577066220371041631813, 135666890817789786407272870424328000, 0, -68593364617521100270838737913073216, 0, -196803272371041258027497644483298884, 125665815640820194254177214652877507, 0, 0, 78351078443319142971804816806705148, -474359587729648445748340486763574741, 0, 0, 210106457886817770319006883491439038, 0, 505489997255060753357710823554796640, 0, 0, 0, 0, -192596452442281091088337895502011280, -172429305337427023071561833158587048, -572548666494931597535661781914810896, 98562206590094610395092405073423808, 448634377098511907563035303320290107, 0, -127910966109500052239063069992405461, 0, 313090797227353201435948206554401632, 41386026906652589821897150228009056, 0, 0, 319914039077630870803117735338910283, -510621470219525884119561942538620480, 0, 0, 667679650306716393191715598407313440, 0, 159649364318428917187658391546237216, 0, 0, 0, 0, -35118703814820540399412624275230496, -119321676775551529877633350035473213, -602021478712211225666835160174675044, -84807877814018616106772049168515258, 36861346535672716723165800613703614, 0, -874680347846315858106951720276005186, 0, 284800245289816095370411733595099516, 452898874155785590693199475886014864, 0, 0, 257011704617483744505838670815439040, -683165216230568818004086825756657909, 0, 0, -403730602535521221105135304520755490, 0, 357169733455938142924069338765006718, 0, 0, 0, 0, -1375983874052979169923004049565248589, 98483337582836883566195879685578590, 178745209995115248404733919793463984, -109496699215677177383657551745066052, 1150075236678647300383543600996960096, 0, -1238482589893314920408961294527961093, 0, 924575395341088901707708934743303104, 799600247568463268628591533474274072, 0, 0, 2538472371749903204293564292101035840, -21834948749299353409627287920557875, 0, 0, -37762361250619464482372558826265008, 0, 740829799874149165346078209045109622, 0, 0, 0, 0, -963127132088642196773281785531140256, -230688944165849498741831975545837797, -811848030632227213002354574898418722, -1299590889826910248629107427785988096, 1153768270186301204963191470964387776, 0, -1778007413933521545067159463181385922, 0, 826840755094377658351552132980607678, 2664421373264562936445611603796675488, 0, 0, 2243531992110352559003169408688793278, -611998626053483049833868102034433277, 0, 0, -668117342524540623512037419562446562, 0, 927407444585991258537753656624088192, 0, 0, 0, 0, -1999962068353529105949376818404495712, 417641761358494752608699514248388096, -1654054616106427459636446786565409157, -664252898037673421323599674027474402, 2292338738169105775319142562356201011, 0, -2908414609152506254228733585526687840, 0, 355307601408975986301668701636671939, 60457161846901668705724660871930878, 0, 0, 1072344496951486263277101738286915091, -1105798188635955473562111478500256322, 0, 0, 595780802077733601241418075614487904, 0, -404732572165216650546263724760460736, 0, 0, 0, 0, 181070227680120317784527835188441916, -5016854905962572116590045969671313904, -758792476364986707418213162927507588, -2493534221091515520983387306748277293, 1858605551058008156230315987744026816, 0, -4079564475317839252612589814849516480, 0, -1124487967275124703795668239001881504, 5183191265630284447076241398973682107, 0, 0, 4293672769608067990137519913457843130, -1399511676064874779583156498026589424, 0, 0, -1011141814055533718990959373407629600, 0, 3923492553280712931457542565106718720, 0, 0, 0, 0, -835961746343097867496386508999216224, -1017880447298238914487489670222160004, -2490530988264297000429127573540679989, 364232686112838483469250081276085116, 6173612493833819064419614811632500720, 0, -137270267873641324626869619380629264, 0, -1473152181832233710528313107777150397, 1407723404634469951494210788390526814, 0, 0, 3051679969226775285168605447298526299, -2898693635309223242824633616612062404, 0, 0, 3478459332537790560174164642759239590, 0, -2901468505223290322837018793334870080, 0, 0, 0, 0, -271416322794188703146057204139502562, 1642159287665515425702640627712383712, -3259623397041739923960968777803966560, -3960903526484771140105035973943048256, -2734771742651086017734918512764669602, 0, -3007337399978115509669892121443905476, 0, -826025212690847455238743256438198244, 5705033498627004476222750750098590240, 0, 0, 1891028424226103322468269366006132832, -6652336875830110188323053842123863061, 0, 0, -1932993524510387001694450990651199040, 0, 6597308160184298182685349969465201357, 0, 0, 0, 0, -5458319638825123400247249713652538800, 5556110102591136630094546730035956958, -1560131902093292398515558627677002189, 4624066580993762067640825459355554560, -4828233354160638096780378486418744512, 0, 4776378501993652443462259201348383462, 0, 2523953784994955548624484765766836051, -273249549846525049899850165137313668, 0, 0, -8772419112276649041593367356830894533, -267090649822282417945542172167976896, 0, 0, 12627284990357806395773753336815919651, 0, 7085257641087040285213121692201882854, 0, 0, 0, 0, 3387508298131400294074325401865136768, -4091303780414872833110105229463224576, -5098353809771192241767631282184561250, 3317721839599500819271697479928417283, -894043801021943318222532519320167524, 0, -3517008473693193659047407016927913184, 0, -1844460307358641049976187003673565602, 5716459762141483649643410955788378051, 0, 0]