# Trace form for 3.23.b.a, downloaded from the LMFDB on 24 April 2024.
[0, 6, 0, 86670, -11258688, 0, 293575104, -3447063060, 0, 57339715158, -186869600640, 0, -1325972980800, 2025132496860, 0, 2628031314240, -9703467227136, 0, 42127150135680, 100485688668636, 0, -789079193287812, 1045890315676800, 0, -2472467233277952, 1396569263732790, 0, -10731657558901410, 44570708098492800, 0, -116169123436801920, 114109662401153292, 0, -174850022773609920, 319017868488396288, 0, -707589966262651200, 683782874080661820, 0, -1038045209126993748, 1781949720499015680, 0, -1108714403505421440, 273273330169769340, 0, 3228622736179443840, -8349686917048426752, 0, 10392767955626526720, -8294807529216677070, 0, 14237699192275302144, -22636595958302682240, 0, 48383805955937626944, -40874587160137441920, 0, 43721391850797114540, -67285958146132360320, 0, -44311576503733309440, 121649250388145492892, 0, -184494903535705683060, 285203601894474055680, 0, -374640791614422030720, 75701571086175260700, 0, -233446021721582921856, 1113607014897000234240, 0, -639860863731149721600, -57178481309533986900, 0, -333973626119358339330, -731229802672243966080, 0, 735750453969076417920, 384537395891327736396, 0, 3109769787236091157926, -5166859472437001068800, 0, 6698665889827068753792, -6772579853411844011520, 0, 4995406256507248236480, -404168025320661381120, 0, -3858783621100493362560, -2806742501496183911304, 0, 2087220280517252053020, 8135725180445469439488, 0, -15069021592890694238208, 1565231688506989945740, 0, -6095367699696122981760, 42258273842303703648960, 0, -60180094504830903851520, 28834918398679127964780, 0, -17899031931173570298240, 70696732431010726113408, 0, -60847665641256559233600, -35577328865793096571044, 0, 92886458770866759351948, 438074761679221739520, 0, 14496485715693666361728, -298807393325383643247360, 0, 231220488702274989228540, 59627672719810868972160, 0, 134208584816841650442240, -183379620932414129725194, 0, 324960390410735711157120, -142907458864532411458176, 0, -326605484487475495169280, -418413606164517671793780, 0, 433108721896227677906892, 637158990709202942511360, 0, -559063187393891430666240, -353480819941583314989960, 0, 290696431795019406636480, 1303762207619919782854656, 0, -2703655250958218858231040, 265548144269096177689596, 0, 45196738262795129543424, 3599154518010461133292800, 0, -1738831846245904794507264, -1643653737533127940018560, 0, 2034560443695723332463690, -361257251618614561595520, 0, -1100898670220603761780800, -1640042867019129307428948, 0, 3302864741210906453276160, -66899506025348403644160, 0, 1394364553734904807287168, -6885231797518682409219300, 0, 3683807381793173231075904, 88690800592020762132480, 0, 4018702909936694432889600, -5031874878687767409946980, 0, 5401724372430077106771840, -1244990694993055553596032, 0, 1218760222069120436858880, -1600793966767823214540030, 0, 85021333899715700847612, -1744330089866948791831680, 0, -14620016566047073700050560, 12968546373583384733437260, 0, -10609797758456851096616640, 14564067352845482806237440, 0, -18849758495887957443747840, 18471329350430081775462012, 0, -19308767585428158173814420, 32230123398595636096720896, 0, 3607862421870754319230848, 1719304960972032245813760, 0, -25388207041162756724286948, -43993699218071609263845120, 0, 43934667194204157828464640, 31299428940420152733113100, 0, -6584171261222545201215360, -47968756705855118964583872, 0, 63742531330432027388557440, 25247878884350155869022956, 0, -20834075280335999399567892, -125682355038517724922940800, 0, 67864351943335360370982912, -3940578366713134918490880, 0, 42723037245467678731948800, -150919986771214875997532160, 0, 190542477187801193159819520, 39449700751333999880149212, 0, -74747370285092767430931840, 70527014612685733124700288, 0, -21834305965423466395195392, -47110610358619156228451880, 0, -241714075039483527180469188, 92962779563368052178001920, 0, -1393463138507027919826560, 433204767830659152207379980, 0, -214537674108002872221079290, -206773940717528735188495872, 0, -212586462670619833063701120, 258046123847562788292105276, 0, -146175909990945019711827840, 380944133322123064348569600, 0, -110665101929255858111166720, -346301176045523111105748480, 0, 225382439515098649666121820, 195141627752670755637304320, 0, 86201459088899984627466240, 281799636847325601546663372, 0, 155292924944331471873077550, -909926311103488649273709696, 0, -24653474753535227984590080, -300993056631720217940560680, 0, 498343422969111094343849664, 264326333143859453935699200, 0, 800824203978835206914190720, -1631011799978255217796796160, 0, 882696282816035770196451840, 7225902748917365087404032, 0, -4876547390414920660613760, -417126586306277142593860296, 0, 824742686344981843390734720, -1118829801195352326613507200, 0, -760803240159766645977231360, 545737948469372383435140480, 0, 78921424881512151436736640, 3354970018442789549090674560, 0, -2672413012567344915381674880, -2291541621887048626391728308, 0, -111022113985143884269626600, 5427645453498385303515525888, 0, -2470476040954344351904555008, 1333539294588181630869697020, 0, 633235450299193710567298476, -3444893983870321459369697280, 0, -3110345808278606041788633600, 468668658524319254508570300, 0, 622438059845105654273032320, 5494300092004737780118344960, 0, -1197545659767817187793960960, -5737622764629246102343341498, 0, 836050712341888756061993628, 4934034977641065476619427200, 0, 1051021719563585587763851584, 5006650970583431756323678080, 0, 1618687778803882288524792000, -15621892330158035026342243200, 0, 4961682907934852223075142080, -1961838235129695371045018184, 0, 3119209239170526723960609600, 3237714563733945353180024832, 0, 5950056918682710963602431488, -12943710879075801576238015140, 0, 4906542213690639070818758652, -3195163883826728472745716480, 0, 3468086834153557079398625280, 11101083553862656720444860780, 0, -5912570294305159337771063040, -24706018540019196872039414400, 0, 5105173952364289615257713280, 8646977576813801642248487040, 0, -6049034886817037280538593216, 28027877345673040605204610560, 0, -5212166445862354120972891968, -7296171606604627849896769860, 0, -21092875130704004368356529620, 11476034166677038034250424320, 0, -3158140170526760533806489600, 32037497664914116548361436412, 0, -6775456048694323798120343460, -38778478340505342652106272512, 0, -2959008047590521469950554112, 26890772829038154481681389900, 0, -11619726850496223432265694976, 21566262020431982783093637120, 0, 11090932524341122431096979200, -6875732214124626397045305000, 0, -21921675118704310837055604480, 1406252865540822649500555648, 0, 4801384956194220693654835200, -4083001950299622905625851364, 0, -11850335138803076060386672692, -49611354339788975361658060800, 0, 44646982821718874227920919680, 33696986782263171476926037760, 0, 13384369851418408603477409280, -21573033041712784933883387520, 0, 49405072208703239517379153920, -64866445416999712711392662142, 0, 31571007123097956917970944190, -10442101652588449742721505536, 0, 26884878576378985635262639488, -5667726223845816980211542580, 0, 27938543407682671064419695360, -81292030790559821343222255360, 0, -20191721782966826476833866880, 10449684774970472279714268540, 0, -6811195713649041325405219200, 45618081865965155606878273536, 0, -72018540098995411827950647680, 33274150395265894130908590396, 0, 11054294648510324079369541788, 53912958937897406652831283200, 0, -31764481366165250776775000064, 7651406960436696031991243520, 0, -31225285318791289181952677220, 81390652597237165604119505280, 0, -109046908481952106435794174720, -24420132621049351541354284032, 0, 13997881958868711518971631040, 202973513558970166002080028288, 0, -80922256587367374537326960640, -81562329878481409861024802340, 0, -65031064918610184877415112936, 45843424796890488203472906240, 0, -88084215925090480194494244480, 14890500978484366038857943480, 0, 184156439633188691877947992320, 235420149969831214309157349120, 0, -55485778483606935826719129600, -227376964694154063861172827924, 0, -1597377117221427613121387136, -178897182093223222404804224640, 0, -133742375177535958622414452992, 60890924747869046553267054720, 0, 374593723094673100520969667660, -109833092425957190572377342720, 0, 121183146942391768466051850240, -324123085710699439420018783428, 0, 95615165683360781648828997120, 39822690786674037019386679296, 0, 302109427318782390222412949760, -189086460657950936172273774600, 0, 179454643060868000070493184640, -379805046951031454920010192640, 0, 137105939871419202464518195200, 60738635521310453873931987660, 0, -255547486533682912838569130880, 96543761217697802837709759360, 0, -104213168937707004591680039040, 136099398337463695362823282476, 0, 85341701126779878458437633314, 691114970298140542795848330240, 0, -343865615520407295329692080768, -192002208971180638594629070080, 0, -242114909157981395781327576000, -530174010341663547574802841600, 0, -247444444996871801420455516800, 1009334505660277500328082008320, 0, -105203990758764041204824757700, -208721281805596854602763587712, 0, -131642745493041141656576937984, -542788485288881970649972025940, 0, -660639288757630603937513792256, 1691615375581546574617121832960, 0, 62686546595502657186423778560, 836285144367452953416389955660, 0, 39138460191781510508317399680, -1103181167637039223907977496832, 0, -14459940039097328765551655040, 1010271916599531536675817819384, 0, -1139400582387413853982135397652, -997420122578455025530786099200, 0, 640016026418163889897592139648, -151482060664342598887563296580, 0, 285828835075494374259850527360, 589478508530572049228124311040, 0, 1183282150690174492899494461440, -947949112163860743940910298984, 0, -764413773304276728739503048960, -1914136343591748967217280376128, 0, 1821560026220089911675471639744, 1443556145933364860252643620460, 0, 1521381362070527181817582293612, -2189953901906685493322729086080, 0, 470968729580606071494611312640, -1425714224667169629588338557440, 0, -1058203449871034769934942654080, -3304352473807543143784230912, 0, 568265246603972897442920956800, 607567425939993441586884488796, 0, 1150463958436831482783758934144, -464689038636190287036636220800, 0, 792748389457477921512391925760, -230938849791478777668147100800, 0, -2316713700140025094688122765350, 700835599119430968018181426560, 0, -688202388348849468858957004800, 2203838971712139475879998135576, 0, 797521878889267703930673943500, 1653061706548053381634243903488, 0, -1603447489175363728416754169472, -1533654478658754351956251768320, 0, -1878975530175630426745256744256, 1298354868983110539194375086080, 0, -2469763679536864148588702697600, 3420947340875747777169523554300, 0, 1679639775514641425185809157980, -267769957184326197703878550272, 0, -1456634311722692306690292449280, -3624159097054013639665019518938, 0, -2192520497796283900104205580160, 2983485944485266557940343668480, 0, -1716709507918890066930694337280, 4033927988021421330607748592000, 0, 2777007723209023763769439884480, 4067585159230621923837872987520, 0, -3300877647788978533503153991680, -4752376004630486719498885225188, 0, -1533859270882495029165802734900, -767057252579914091187864600576, 0, 295263642092767671395909733120, 1747708362028310261047375048860, 0, 7151471379106755604886874435516, -1076603875295112192420259401600, 0, 3817747288298577735638592675840, -7684422091768824011647928362920, 0, 999661412424245668120139103360, -3712387935985737564971783621760, 0, 584652556357362197118914722560, -4429621270676253222428533551336, 0, 9802916761793287477433550359040, 3866618284933695829529986310400, 0, 252449871494060517905533059072, -8221742971594987681237054487040, 0, -1150598262211898715277262906580, -7154590113834309883590182461440, 0, -3517537648453945992923164220160, 4010897126726175914876265050172, 0, 3625168079614034976176566840320, 9364956662765835297458533301760, 0, 3728792279718632832548919902208, -11342115859607340206937902652660, 0, -4478078630020471306164223998948, 12081373246552172159576633794560, 0, -2297876072236743144607463836800, 10253959428080271340095920933760, 0, 2863305922336101086880624733440, -13392247418816265042411353392512, 0, -11139111816660202178883978037440, 1969664902392593916139466955192, 0, -8006315817935854661571937411776, 9345746643467165234829936168960, 0, -6922609780486589609242524958080, 3035371245190598864961385067520, 0, 9012846681228522735351601826940, 12818155184715468270941772940800, 0, -2328507810223258372030657382400, 11853623623276462184506811282412, 0, -17575331495896373692570795806660, -9589417965710313915362497535616, 0, -2016442472994293107589672803200, 9632907691409696887990945225740, 0, -58315590880067724504218709120, 6874632225816267254433434507520, 0, 1303956738806568126846249369600, -14036781759843338640355863636420, 0, -19678628821449010390668193386240, -5676425310984216101775959777280, 0, 4241395252477531513589980279680, 28665120206887746850649399424636, 0, 17409262983166075779725397623424, -37573834306827323250481543200000, 0, 17648511896304460188543419338752, -13885270039351588138496747895450, 0, -1997571079714092591019315086720, 28052816528486397166017423162240, 0, 29111840742583338838214712341760, -20373271429069942545474246059988, 0, 409497736416509852492895750060, -24823505236307978413505870762112, 0, 21769204483503870553892373000192, -10464100237598861475759276096300, 0, -12295047172239070880013681073920, -50194787612265125535054708080640, 0, 36090011757968840877172576871040, 47825794856893753343879283199260, 0, 5054433780311783829555523136640, -17116309056246030775287330960384, 0, -16468879238767460441141267374080, -9780717226646610460963642389120, 0, -12821819231071562522712054628104, -15811180838148568291138680604800, 0, -75482744272115073253364529792, 43857918336447630829134527898240, 0, -5671907766412148667844551444660, 13800121612807122135737372666880, 0, -9462816719045302685952220323840, 1289563198977026292685731690492, 0, -36310732858348726183177340275200, 8199239564853825187821463351296, 0, 16806577339557358944786681880320, -20910311623867304027487257913600, 0, 812309512072518213928987076892, 51606620637551465233293802103040, 0, -1339357340388379759292092907520, 7834627252330303968971698048140, 0, -31071861603767112802624026728370, 25558979778150711806626527140928, 0, -74597234165529653790907133806080, 19945195835670071648400361302744, 0, 13019314633789168144085413639104, 14020549820333552809761097478400, 0, -26755161669416118127204664470656, 52939618489133686593261462954240, 0, 10821751793833960006102317856140, 42204264473896470200354358005760, 0, -43042562329678532234147026944000, -80087802567850352286635422826148, 0, -16078492930260455094291448677120, 8269863423695267455898364751488, 0, 47977299305390536252571077816320, -11443618624207059482752508175360, 0, 37672783465660631444295443873664, -46791025755565610512731403397760, 0, 29199801651496314313277477727360, 38176518738511403638127239257240, 0, 26939357045620711303140255029760, -90730461473678474057176095624192, 0, -16175494136132108565714753638400, -71683796346616606702404561250884, 0, 122541073021381319567998717889772, 25968718883261697576841457049600, 0, 27987617494111179190843396869120, -85704097185662968694665127358720, 0, 46749146822700408618440169219840, 5414472997367688321873994287360, 0, -14842860997895112029678591016960, -66782205895382617026778936633704, 0, 28402311438899582568910537476060, -60550171323491148339748051130496, 0, 47893437692192317094874201345984, -92268602349283498126134437412180, 0, 21635490561508800107300443299318, 252328533581469266319530309448960, 0, -18765654162560658229118811315840, 22005009146379856735555024719900, 0, 33712772023376300421065031583680, -24113673743786082120687238250496, 0, -190927444382367073490439423555840, 12349220421652376723385420568476, 0, 37831602638817731932928750449656, -89241449846235516613247030542080, 0, -52739652898513395451278885556224, -46707671389143043521637817616000, 0, 32396745393665636064917458331520, 273841463844276294278766310686720, 0, -155075510770089412543721484998400, -105703486446667083508484182117428, 0, -165391822075678874010720728683200, -9394612620257049796131976869120, 0, 103621573240917759069828834077568, 239929847169175316782007101135740, 0, 43265994575929824207253294091520, 75403627829528830598968927395840, 0, -20248443892673354275295491336320, 98788904378361569153891900547960, 0, -210100747451607889543692960007680, 178030299057181855166651227066368, 0, -269464609959760618378312915353600, 9353289246397572948473041542156, 0, 124670734581662547545612161142784, -201766250753776870314711888819840, 0, 89302816133316685474042585409280, 53517571352561231696219992764780, 0, -121253672281539795588183058338600, 83148889512085024448426437607040, 0, 22568907904190013613413224079360, -164499929616318979930098978551040, 0, 21867213695962477549809539384640, 118589114697994946811843038066688, 0, 394694938509444914918696744135040, -184447610157779904717636218939940, 0, -23852597639979563395357058107776, -440136430934696767014098898942720, 0, 244861193121495650220498998169600, 457572649875132213074710391962200, 0, 178312156385193584526265056339840, -686241401954608896834241102116480, 0, -72749858247869223205127200677120, -363225761767256196204389321091072, 0, 66986149763219631482826024111360, -198156993106885144909289024832000, 0, 375043165968695321715201409318272, 548218841828442865734712911874560, 0, 145286950445588230356476097789120, 143217163989034085896161093734400, 0, 22896910021942620287705735890560, -345392257752156721149966829948548, 0, -698847033609644983752143431937700, -248522698752069718238810581820160, 0, 308126731172832079811868489154560, 150222012618619907958197899282200, 0, 71527154950702053967952771709624, 341589313204972317764910763130880, 0, 479369253917250492911232092040960, 198307966877214202274862739092780, 0, -373212605545532424780999691838400, -501191518526375683788365363055360, 0, -591822453759893128328047064432640, 383493139175221207511844881099676, 0, 233212474400736934304194805952588, -137038808024862181728754573639680, 0, 55282825991460007318301130999168, 52525036798989194268782835598080, 0, -232794064816304402748850758072900, 856554794082576152950955204200320, 0, -577675625372334558124882613821440, 329974258863344573319486491644566, 0, -417878455518929744143146025407360, 199925662627112674418739630067584, 0, 230201427232382489197330742281728, -643369494476111691744032139093300, 0, -708777110363036065697490693242868, 242149633717527241999462836518400, 0, 250992766868147941083176847237120, 1082432047882218660733352835906300, 0, 117011911576756690152913474264320, -725814914552464284016811890274304, 0, -760783408911899661207740461090560, 203984467594244519518586025350076, 0, 84359746987676399826798070890240, 463190950379747228868938106201600, 0, -217607089986253334098528107429888, -320388742489051007150008359231360, 0, 1142287221264953250798711987261390, 797675763256493115857030153583360, 0, -295528894068415548678495508684800, -643691541216752407478282022813864, 0, -554589674336103980258171959000020, -1071518433806249036042469223647744, 0, 1255597985885304638140461100891008, -284787728568770699865616422394020, 0, 786274266035700434142679297253184, 725089514148257767293692816916480, 0, 622500863395999262642633743701120, -1133462788973181025985172345431460, 0, 273446322489831231823545557907840, -1345780022766618038784646458160512, 0, -582615720604139691746183659868160, 158611851370229570986400171294424, 0, 1313683721161886880482984936766720, -1799358399055179808631226660209280, 0, -439114287576179371547018008252800, -210214387839216043498575781618560, 0, 404492435878476579277353998365440, 2679656977261950417836417156659200, 0, 148545244410442276771371049295040, -1576309720972496476213529420262912, 0, -410422246513493947996982452027560, 717735819475307820758534795575296, 0, 271541243710045093582879236955008, -488155304731442588827302999143940, 0, 248836383561907741035679543094400, -13742374778010436883066767388160, 0, -215087307227328960306181954252800, 1636727080770211274484401702666880, 0, -26245437281706019047240253288320, 256724318083244885895883236712320, 0, -1933277360484704649458529263454720, -1498183254810304296581990940303444, 0, 833809565188750993027771234046508, -196929351543637257360220739779200, 0, -474941120395937892336586487439360, 559903046530241639963931711064860, 0, 574183079292901052483308975584780, 1295582479344955576215281492951040, 0, -1966979908900891223692836062365440, 663717671507206150238727001924308, 0, -1038386857448954524450301098542720, 2851486119658709069231932011439488, 0, -28275345383036887678831692226560, -662523865119509572431583950112980, 0, 120890018949677366889838104414972, 1265049965767436974122678253486080, 0, -620687565912165212756811438080640, 770402231643357920676861697973760, 0, -1409826383673221955166747164823680, -1498524175305513294687713504643840, 0, -3003473805732259614284779546934400, 1434662048274212544539003436134904, 0, 928520548662898060224082440375744, 14311654615455724978634584719360, 0, 1008690732427280198906008363310208, -1178848483537936859115837615175680, 0, 473561005237010633156146082156160, 1246192779914687833167136050478080, 0, 738457737731815085635498420469760, -1650467292885209953530178011066222, 0, -1504827981434129329720040687026560, -2050501922355655122890269549485696, 0, 4917251502639980668297614410012160, 1328225567932700470161431405208300, 0, 606014504719107194063770411488768, 130578965271519395659071453584640, 0, 1553126209252881451982809539641280, -2313826690561412418043175692547400, 0, -340080117726092704570122178017780, -3699335712348830806229558724882432, 0, 244343727376364657946958340929920, -986077197932099716420874082996480, 0, 1453233388605591513916372049032572, -2018355583264234737294082202236800, 0, 3008878267736611729319744706600960, 3054606591614034731960373578190720, 0, -91953768665156908454439078689280, 277235095029159961648448188097280, 0, 791882724738332980103357587046400, 989951481599383226001483929986572, 0, -1394937100421275179278779183019700, -7257794476365369082263038882526720, 0, 1659643921712187213408361645166592, -402719810615448844741676427647940, 0, -308515043251952935252349916781908, 1991825478108760783555352665497600]