# Trace form for 23.25.b.a, downloaded from the LMFDB on 20 September 2024.
[0, 1, -1951, -1062686, -12970815, 0, 2073300386, 0, 58038408481, 846871998115, 0, 0, 13783903509090, 25363320370274, 0, 0, 104381230004609, 0, -1652247268322365, 0, 0, 0, 0, 21914624432020321, -61676604155039966, 59604644775390625, -49483838042404574, -599825101783988924, 0, -647932355939762206, 0, 1237087799571624194, -1177370695120961055, 0, 0, 0, -10984620016230013725, 0, 0, -26953245471004995964, 0, 12576527614080568514, 0, 0, 0, 0, -42755432266871646271, 192261621286365409154, -110924471788677919774, 191581231380566414401, -116288661956787109375, 0, -328982936308555553310, 0, 1170258773580562390724, 0, 0, 0, 1264116026438476063906, -3163397976515704019038, 0, 0, -2413558296964238802494, 0, 545823784047988829761, 0, 0, 0, 0, -23288364579165946842206, 0, 2861536906024780963394, 49151102957719032013315, 3932686548449574639554, 0, -63341021537780761718750, 0, 0, 52585781913930747125764, 0, 0, 398244072228062297956549, -24536805375071189170814, 0, 0, 0, 0, 688548643604202139645316, 0, 0, 0, 0, -284250539302215659931615, -1314635885375571028225084, -375102423129698913259454, 0, 1251175354515313619693730, 0, -373774982423485074496351, 0, -773120820522308349609375, 1232803099897302784125602, 0, 0, 1472046748084430581893794, 0, 0, 0, 7780220427596290295253060, 0, 0, 0, 0, 0, 0, 0, 8404210721408806718017890, 21479485800804824030033510, 6171789452182138541143138, 0, 0, 9849732675807611094711841, 0, -13364899824096823031868604, -16046036987000616669898110, 0, 0, -34054487784315418400160766, 18688100261436883540459169, 0, 0, -50230119898997545243507486, 0, 0, 0, 0, 0, 0, 45435599293952762289143906, 55486301924243508820625954, 0, -204313733278322511192227644, -5582858503654347659581694, 0, 88397540819704614489312035, 0, -7672671456025120121769854, -203590692450888600654141086, 0, 0, 123578333020210266113281250, -67789970468513895647884606, 0, 0, 0, 0, 349605560653993666724790660, 0, 0, 0, 0, 0, -776974184916949543313227099, -700669856961336349190119966, -163127813024630449289918910, 0, 0, -899102398309431810000511678, 0, 100497249830785523691239715, 0, 0, 0, 1038399667405760692100147042, -1343358403671798374448011516, 0, 0, 3361698742071567441175416068, 0, 378968248745884231925131874, 0, 0, 0, 0, 1271889924493298006290742401, 0, 2564854612367739076067138884, 0, -2493789921305507744535840510, 0, 0, 0, -580039293774821057543398046, 2302106973484457366912143874, 0, 0, -2484964709709521556408706815, 4730488563435911112368744354, 0, 0, 3459358720839023590087890625, 0, -2405198847899637731829049502, 0, 0, 0, 0, 18558881780684846231553694915, 2647454577250155100606592866, 0, 0, -15341146573471631676258636958, 0, -3040915208515850382865316284, 0, 0, -34812894274496550996691664444, 0, 0, -4179210937425684675409082044, 0, 0, 0, 29485559307247725091216285442, 0, 50477504617869853973388671875, 0, 0, 0, 0, 0, 0, -37604962742088605541833669086, 15886566552020007319263490754, -41906476797370211682595378010, 0, 41031849924759541425698375970, 0, 0, 56812462912989014867864629634, 0, 0, -19216828450500649245782801791, -253800074673229973173695294170, 0, 0, 26074919556812901735175646404, 0, 71798607038399381787994389314, 0, 0, 0, 0, 0, 66440305667199381298713654466, 0, -45617887132973822749923364095, -164519206105451200016016319486, 0, 0, 0, -548715768918065807973180241690, 97998963922944210770083105186, 0, 0, 0, 0, 0, 0, 176123215735582852399671284834, 0, 290580725766681755395767204482, 0, 0, 0, 0, 302069068608914350790088217890, -14152290310903172639719965406, -108253775054199085709041236254, 1047655016666910022228656394310, 0, 0, 398616093626007219336036133444, 0, -37116465823719819291705346110, 0, 0, 0, -997082273099134770266948411325, 339448671314611904643504117121, 0, 0, -51010149672927969478346616510, 0, 397205440971683659876229258786, 0, 0, 0, 0, 555827640263565294967612337954, 821584672277569770812988281250, 0, 132258232384070610409022866306, -1310082595017465106451299486972, 0, 0, 0, -597478028014721872023695632798, 0, 0, 0, -336656220423594426486465035326, -1564323470534851197350388370684, 0, 0, 0, 0, 956675925746788455019694020322, 0, 0, 0, 0, 0, 0, -5165550185716833875269275117435, 1511771700994610786437988281250, 1367006890931567217269924053666, 0, 729921646938584362660239167234, 0, 0, 3458490515857348255450593679394, 0, 0, 1754148779101701461310998283778, 0, 0, 0, -196070134419862556721608683965, 0, 0, 0, 0, 0, 0, 0, -2025917751108639110287386878942, 6091634595875038459962372485282, -8931037074691039175943559452540, 5886131418247189742996317412834, 0, -15213556222679521693832394845176, 0, -3714821802709540469396461502206, -6558674245781628077733236748668, 0, 0, 0, -739367053303220136485932286174, 0, 0, 4898762930960846817716295277921, 0, -10467173018323287003794947464926, 0, 0, 0, 0, 2287475453303336994982011659489, 10650709069884884666046336351110, 0, 0, 17051898861567737326467342923460, 0, 0, 0, 11158558511437400292308548635074, -16433715921966594717923431064444, 0, 0, 0, 36189227405563014717993243777476, 0, 0, -19859582514425316022076392467934, 0, -4491410705268176322845592698174, 0, 0, 0, 0, 0, 11119069764158289124154758934881, 53378845194986105364641996267396, -9229183187263462580231420234654, 0, 0, -23685180763912862220347978747806, 0, 0, 6221606135643064975738525390625, 0, 0, 31376654186692415250747656809156, -15990460940194433411878120305630, 0, 0, 0, 0, -33959397294442239576664224316606, 0, 0, 0, 0, -36208378354116134997761258779165, 0, -29862030134925130710721333679070, -58964516246666637414555712552444, 0, 0, 0, 0, 29930576964843153400380600705058, 162820983379613690656267491744710, 0, 0, 5932825571814424096970232070084, 0, 0, 0, 0, 0, -62610481911852552087618924950716, 0, 0, 0, 0, 0, 8153640538917510801723119067844, -101769508386620241105857095107646, 0, 162244780220592419344235980854115, 0, -86362735901012980139856918991966, 0, 0, -57526326208440311652962972897342, 0, 0, -60508317569160446090218912780798, -98481611509464085102081298828125, 0, 0, 72039452557303157710467900411716, 0, 0, 0, 0, 0, 0, 0, 54843144095618725946496367720034, 0, 57067133099963577830644556511362, -67631976272776505198319744007454, 0, -30994691342991034279883070461054, 0, -278606436617366223601119102010650, 0, 0, 0, -183598583948987274968220844661278, 0, 0, 0, 0, 0, -110841115143241568007203892415934, 0, 0, 0, 0, 0, -127759060337355499101454767920415, 0, 495163945687471677661879518925670, -350419095089232038112680000803006, 0, 744592047614814679575451826188676, 0, -322689615093360357202166842008286, 173353643111892433634106766792260, 0, 0, 0, 129128746142981344135704235910146, 0, 0, 476655074639221180608886353079394, 0, 955463531249856852442203753047108, 0, 0, 0, 0, 0, -106797020433678145029348767774490, 441714460970115193716081266044290, -576114846418450066007768240494366, 0, 0, -224533796919351137340027734144159, 0, 320976971111735291231247839317186, 0, 0, 0, 0, -1103492788956758206845136859474812, 0, 0, 1070544465159146391355674651537190, 0, 651525592637715844807665552021090, 0, 0, 0, 0, 480250763996501976790165756943041, 0, -2678993165204802108278647060113370, 0, 318982499021523150778574905952836, 0, 0, 0, -402724252386768730887590690653564, -343616393900122145031758676711134, 0, 0, 1202149800224223373512421010161634, -566922995970796104777141815944382, 0, 0, 0, 0, -46652060222847078846828053311006, 0, 0, 0, 0, -1351619616300084885113083879149086, 0, 27611118396572089820093652507106, 0, -719702557293506567863207433532510, 0, -2043974937517141453368108625298810, 0, 0, 0, 0, 0, 2650115636312464803009814208209860, 0, 0, 0, 166079047835323147462013680144514, 0, 0, 0, 0, 0, 0, 1306213404656667768955230712890625, 462242878615410563306898647900515, 1591627341595707816374247516559874, -662264357734807825959476532503071, -2446416851224304061414398524885564, 0, 0, 0, 0, 228246868326650410161133391657474, 0, 0, 2753656579469682272029396938188834, 2640737207502372624693743010405090, 0, 0, -5027023969523454636358691462574844, 0, -3691347395692388409497555644751998, 0, 0, 0, 0, -1084419726154215890481811671348254, 90016743521838561208163564126402, -3676212081613538622856140136718750, 4424054172813196309247702593995074, 0, 0, 879291165802557065378016365773890, 0, 2555971142879074422686485299082372, -3690724985326582961886369069753598, 0, 0, 0, 4876393095594377069491496789088196, 0, 0, 1165679632656722372318230179588898, 0, 0, 0, 0, 0, 0, -13144941830494479506201143606924604, 656816286046432726075093283921026, 0, -2813412914879658323243217746398076, 3552713678800500929355621337890625, 0, 0, 0, 0, 0, 0, 0, 16302821687576274379516585874349188, -1866474731131984275743423033648222, 0, 0, 4859136148436896617913019845915874, 0, 2423355477285021236174691452002310, 0, 0, 0, 0, 0, 0, 0, -5844206582830408042588366734625726, 23113452139109147439917722451092069, 0, -2949466588640485644340515136718750, 0, 9088259090721955938120445906792290, 10452462645176222449482984531357794, 0, 0, 1312753421544660276363889560281026, 3330482115245474030320926892440710, 0, 0, 0, 0, -6747514996437686446384108268497694, 0, 0, 0, 0, -14199194237773999793282868899788126, 11662090874527952762631786880677570, -31333891077981855986284269511217212, 0, 0, 0, -10397210292565823918480805275897086, 0, -35752362119197185277938842773437500, -1303531235563900332477187463917725, 0, 0, 0, 0, 0, 0, 9394552094589686782446266057532194, 0, 0, 0, 0, 0, 0, 0, 5568944888109601499890147441918562, -13468889981981651871502968754579230, 0, -11884779096552200035386588718785182, 0, 39962267436539171868829054466324996, 0, -11483842397000267188585815272439134, -16882431862899933498078841935405244, 0, 0, 29681648190447746824667002342938376, 0, 0, 0, 7247617337086313455792496390803906, 0, -43603972469143018039509704366055420, 0, 0, 0, 0, 27110314517046573556929802783246274, 0, 0, -4915527045356846383717979388257310, -60373808963152644253871591807236924, 0, 5338788262801869818206023250158722, 0, 0, -9557486478304612141364492087223871, 0, 0, -38619777914271486163139343261718750, 20421454558748732944403942504070626, 0, 0, 157233897428518547539401709831976551, 0, 0, 0, 0, 0, 0, -25801636600842561681119048809598655, 0, -20779533395345409983456402221015610, 42965952155836517046022904384927714, 0, 0, 0, 0, -76299374519208485434756605602537404, 0, 0, 0, 0, 0, 0, 0, 20068504512551137449456637590790786, 0, 32062179763756826294668614006730244, 0, 0, 0, 0, 0, 0, -74339050886831891613215081646687166, -70605182668253441714804818609855676, 0, 0, 0, 0, -80234276337044308416522676105276412, 48477490005791419802825060096659170, 0, 0, 174832257059377513940220318489299396, -29860203663276801881604539443037310, 0, 0, 73736178849436294674873352050781250, 0, 0, 0, 0, 0, 0, 0, 388646091350707605687931986697806344, 19997484577301118327299123833974209, 0, -104142126975417891566416534717689596, 0, -61358292015942967394979194798028510, 0, 0, 0, 0, 0, 46209787670393994191898906536969506, 0, 0, 0, 0, 0, -70176762051639619767665863037109375, 0, 0, 0, 0, 0, -61215852318236902154208678434663356, -187163675637183599085197078995104124, 71549929888482708135220251286030562, 73490102078638330206229890903226562, 0, 135154849097126968831390603475879714, 0, -308796069142091967914506267462158652, 0, 0, 0, 0, 66254784121456809414071901641698306, 0, 0, -62233425641466356683720896611658718, 0, -192355925510416578594649248416390206, 0, 0, 0, 0, -240723822184133713772930139308905725, 141623079962043290670833380193414882, 0, 15039440781332448919813451157440516, 13843903500524391860238782470924514, 0, 115039771197246609595798195189818244, 0, 0, -742036315293780371779778906786427256, 0, 0, 0, 294631437058917647078819531016526755, 0, 0, 198987174092384442220890672134380770, 0, -317663738573626310470377876393929210, 0, 0, 0, 0, 0, 39443148600345519883825187436251460, -163461649468999917936693586020945118, 0, 0, 0, -33413516582638169442225861626897086, 0, 321027656218964732324651083408197794, 0, 0, 0, 101695728460736570778312841008882434, 706216497038416256449455862355354820, 0, 0, -360727350724639666497986816206847006, 0, 0, 0, 0, 0, 0, 0, 0, 54207771915325132173066252512545860, 351654520678728803269933342824102242, 198552310862296090397527192555017346, 0, 0, 0, -316539566210375810140604398646378365, 407247085852114150521262060260685922, 0, 0, 168493697742876324252860848953325666, 445179824716683881424664040598585794, 0, 0, 0, 0, -382451734945838401329024563455375230, 0, 0, 0, 0, -590670251721127149047952084970984444, 118051727577432030322017098835336898, -801549212480778814734512277556411964, -654734374060035569965839385986328125, 0, 0, 0, 0, 0, -140548971939298460693122873703257916, 0, 0, 1044026424492394760091601068867240230, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 634931535678852727293373017235575428, -106998974130552134321614413421786334, 72578077298869163845890054519749956, 0, 0, -111337976678028940347587529753667262, 0, 762856568304159787956062322886887330, -494975930502249480163939964354573566, 0, 0, -206061715731439391236812674824344510, 357759852257067866705195582530445636, 0, 0, 1246635170868949775610409465498198310, 0, 0, 0, 0, 0, 0, 275609879321508261591000065280772994, -330199371782800401096890736563746142, 0, 0, -934907343917508657286989019432318366, 0, 99745988844193644487510559366217796, 0, -1016646112828151636111058559679904892, 0, 0, 0, 0, -736903946138741608883321556026131710, 0, 0, 0, 0, 909973562883435345159671779592992515, 0, 0, 0, 0, 0, 563091060878359724363180350501611074, 571662808467175279283673406945523521, 0, 0, 0, 3291993815572651434490964527049648550, 0, 683667654519091706357838681566664706, -1606538621843158958196640014648437500, 0, 0, -1452699084896503439851706512894106876, 0, 0, 0, 629567439047146056901427508758165986, 0, -775677515298576462017958919671230524, 0, 0, 0, 0, 0, 0, 692487153287694396767835562988885762, -1456510922507303324932407040569764670, -3675289452334381988191769594780492284, 0, 0, 0, -1399341932338677743037678223559764318, -929954050621120523367937274857897694, 0, 0]