# Trace form for 6.23.b.a, downloaded from the LMFDB on 25 April 2024.
[0, 8, 0, -69720, -16777216, 0, 156352512, 5645581840, 0, -53592329016, 46180761600, 0, 146213437440, -2875682381360, 0, -731868641280, 35184372088832, 0, -55595702845440, -314803957551536, 0, 661593766080336, -511896111513600, 0, -327894983245824, -6264418212884920, 0, 11756777174853480, -11839643246919680, 0, 51661456814407680, -110293228249214576, 0, 256091518967454720, -100789882794934272, 0, 112391259980562432, -752490366563284400, 0, 1437242122292286480, -96848076550963200, 0, 255515905807319040, -1301015563442074160, 0, -4916408514089748480, 1601638996847296512, 0, -306631802754170880, 12029391373660580760, 0, -18532151948158119936, 6030743057433886720, 0, -18559682184349532160, 56456085576783974400, 0, -35832783024333133680, 34659140078143242240, 0, 1534839784797634560, -124415281411828286768, 0, 223305694023597186960, -73786976294838206464, 0, 122984956040514011136, -349673137262790165680, 0, 217762533639160621056, -485339414077397729280, 0, 116592639413720186880, -65576379188480063600, 0, 923803988759061007080, 660191749187118825472, 0, -1049693699266563440640, -325232563432330354544, 0, -2780170203320395644024, 2935193462963889438720, 0, -1387462689722908803072, 6970706743345629511680, 0, -3070393070764643665920, 1073523954052969267200, 0, -4943089610251404410880, -6363735561736496595040, 0, 3617627578345665462480, 2855373122028803850240, 0, 687645619903946293248, -23922503524683181095920, 0, 36535312526138292658176, 13137437183988035747840, 0, -20961823519142980485120, -68487027236595418331120, 0, 95485562875154796595200, 44356075277421303595008, 0, -24655748765798325288960, -64758050872983226345520, 0, 24830605703378981045904, 24829531514564100751360, 0, -205648840589543342505984, 111333347990712599224320, 0, 1535585580382401475920, 300916537933948568371200, 0, -108341927481248694927360, -276462402414824561332408, 0, 87138488901402767093760, 231301664209296846487552, 0, -674834483597133380124672, -381312495854252773024880, 0, 651434725171740020420112, 1078149553071489392640000, 0, -537062841185635600957440, -949946637405895708881760, 0, 1684233225407980079953920, 211371704283161998393344, 0, -1087124350020425907240960, -2488178357365553017900592, 0, 2432070841058041022853120, 1542294302776306193203200, 0, -235701555650756465393664, -1867998114664048863959040, 0, 1573518729504345434142840, 1578086677218925006028800, 0, -4302419168458247892910080, -3152472011732075178755312, 0, 941079185402305842708480, 5705202326171735072243712, 0, -3014115191249513176104960, 1472066810836680495747280, 0, 888888705340429670344704, 203105137435005576806400, 0, -6983394636135184146432000, 1299917021729281900041040, 0, -1023347436053541586606080, 6341295135193952562806784, 0, -535855692895630739374080, 2591081566025438716617048, 0, 5312187856498460381160912, 2728427390903672708792320, 0, 6120060761843164169994240, -13780351422174658051433840, 0, 4417466136389669199928320, -19662792728303383413719040, 0, 10310455948140344204328960, -15605621787601481408494256, 0, 2733514504046267023741200, -3358880425516301574733824, 0, 20348940634931928397479936, 23839452775575217315307520, 0, 1867523382341618541899472, -26310973918208713242378240, 0, 643053498409514969333760, 10621531991242618900675600, 0, -76106315713510591927603200, -25227462178055034261995520, 0, 64722875567349553267507200, 95270722895755092879290896, 0, -75519911459031523593772656, -55910885926772647733329920, 0, 38864739522383697540022272, 156361887120569305271685120, 0, -159050841832320943186575360, -12647384864383590402621440, 0, 108238128214076607870074880, 111435500471212826706919504, 0, -141505949220437318246000640, -208215315589235153663655936, 0, 38922474612272990068408320, 193856298329865113193524000, 0, 68198171160682668833549520, -118396992779523665480908800, 0, 176294213580826394656604160, -369695437994821782356474480, 0, 120987525069386028442392840, -78374349419863291980546048, 0, 75146792585046279963279360, -134595737081944467614772656, 0, 39871362872082395253067776, -72685484933158256750100480, 0, 178052163532044284265431040, 502924158414358378035609600, 0, -225492832498919029669758000, -38964423730308647512965120, 0, -3218792324367928912773120, -421931239366707961394221808, 0, 115299821656249141472303400, 260917756243378515252084736, 0, -420835679629053026643542016, 64373344161937551070514720, 0, -31044696936547279994293248, 654259707466717197705216000, 0, -468305982832974887827537920, 1167238009495016930319298560, 0, -197362141235797045892751360, 154742504910672534362390528, 0, -1387766614916245271289692160, -1372144237907023355421028192, 0, 535572325304380969640110080, 1826342150452081580173393920, 0, -257918146530276039481884672, -3015686768256139757393848320, 0, 1757442352301375848759296000, 733317719156934921536143360, 0, -1566446458838739391505203200, 858992993100541052817519760, 0, 3450100742091196025882933280, 442681154448759925713862656, 0, -456681132946432974768832512, -4668023688713092880643892400, 0, 1754854348624572194270471952, 1017830522911242802755010560, 0, -1417618376205395367751188480, -2584526336093768126037508400, 0, 2840263543662176776922634240, 509026681501376111816540160, 0, -244512486931762117355765760, 4262246350550078197437285128, 0, 729001248919100294263528272, 137523634767879342338867200, 0, -2382632007787697080508006400, -7374445861129451456914575360, 0, -854883600557370875693706240, 7677126835507318653804380160, 0, -1937357382634042309119836160, 522381780327845715606072224, 0, -4547237030567049986818283520, -1384522447191264619076255744, 0, -279637856786792379081424896, 19070909652344175350029790800, 0, -9882057392970086017929744048, -4248073970206821244998451200, 0, 2201367240804272052665057280, -8742620379333427128413678960, 0, -5491614608082002037293015040, 682062120867238467692658688, 0, 8835548766955868614319308800, 2941386302248525752408944640, 0, 2479124506676353616757722112, -20980677686912027482252247040, 0, 5830439502233774365656219648, 27253050845570766677783813200, 0, 4114829056814443684471468560, -6155546841241646664190525440, 0, 23292274897560773488426352640, -12361393412234525935739664944, 0, -8620097929687283270706304560, -8960821362509931302766968832, 0, 2909720154677777642180050944, -22489965038587468034517931760, 0, -14694082082881327271289913344, -14618631588220773621678735360, 0, 19264087267445020256345456640, 43209040730193504253944672800, 0, 7513197354219968318892994560, -21167512616688959351669293056, 0, 6439080969140213993271459840, 13366447379826975930890050768, 0, -33302942510784461186827094640, -2251342907290092604647014400, 0, 11362863976698464850115067904, 6842925242984481785520168960, 0, -27658091464032734239808471040, -30068565696855989230154711040, 0, 10366410262317953263085813760, 62871478304547965423387929944, 0, -73803071384820266810655891480, 13345720760766817307281326080, 0, -13491687120698034046109908992, 49544195300575422665178036880, 0, 22546704729404652133365633024, 46619243157941812871963934720, 0, -7586714911182769015970856960, -53022863764309783791405233840, 0, -13602007769494602554837913600, -5988151453608950052138516480, 0, -7059775255191184605887692800, -8543018092328122224436511024, 0, 106350021153855976100933272272, 15147635951232070413417185280, 0, -1442097387072800776777629696, -161491891889845891732046008320, 0, 60010928363852840192016021840, 50169126111796382601670819840, 0, -76426037072154524854561996800, -33419086116137350490150977536, 0, 163606244984657809838307578880, 68339887967961651726054752256, 0, -76620103734815972724679114752, -192401594944889678106654782000, 0, 95276447719172143154809513248, -27551202665274877144654151680, 0, -114935977032086695261004267520, -61527630472466272157817443680, 0, 124415335282502636910899343360, 80821158937210019255039754240, 0, 43960130116817739810330378240, -30706975508776126200600871280, 0, -13898890541515633697808986112, 143627706143280554743944970240, 0, -129877341668469541284332765184, -35614355160599943860774522880, 0, -45748612684853449214775993840, 272207836163956120147284787200, 0, -200247739154756631989216870400, -18087427570671066644192117168, 0, -151534253952419867241601351680, -93021431980194641676878217216, 0, -255571233629728699794890096640, 411351953094691866330481988000, 0, 259131561267781410958666414080, 326959684477315081586539560960, 0, 51706852835691489476393041920, -514375144846178055765700490480, 0, -111935866890158072130667991040, 135807475904378519096959959040, 0, 14396403726956781907319685120, 395364764184423201671733619984, 0, 393837885175513855820400279000, -409995318197564136150627778560, 0, -52073554412052636858379665408, -391541721005498471817564303360, 0, -648553789384825036239117342720, -52071301674831133018916126720, 0, 366708172602531952508120432640, -304418882993142211113638928384, 0, 647056045471345691507137024080, -401729446140964399736437112832, 0, 431276877340041999823109357568, 89609456685980466110497574800, 0, -690474271975874592764920565760, -233482953405418908888481136640, 0, 621223829128984703019204280320, 942933245248633990164114850960, 0, 447772214991345196386591221760, -230962614895286969032460795904, 0, -3220356371070114020028579840, -1534958681502310217991803873632, 0, -846074179253057699197114921200, -631067719361256108056798822400, 0, 723360373287651479075049406464, 2656590551685991363560912018640, 0, 117377071365799791417313843200, -1162959771709427174399659868160, 0, 227209489901155663064302878720, 632937114250894381373265335840, 0, -1824230700487916227351185776640, 579783680149054158447382102016, 0, 225368251718138826494118248448, 1126950193554533511243446145040, 0, -649453635870791008416470130288, -408976426169138777681987665920, 0, -182742656276554615816212971520, 482493736049710481930545643520, 0, -2654096363238769853266339614720, -485074747699855300205062651904, 0, 635171782146566906132579450880, 3187637767474172420446799168080, 0, 1171386320877115364508792182784, -961714566673457421130462494720, 0, 1415230486944695462395216134144, -3161779492237276713134184990720, 0, -1927169323581487962173993336520, 799670263305737911454673141760, 0, 655024474420723673928554250240, 1408546949249411720098645371680, 0, 2614361244392241832858678797840, -628691378390644138560712605696, 0, -1366157636763364927304078721024, -3544007824585749243684063928320, 0, -805582801516381523212545312768, -2261043491522980122753761280000, 0, -168326005104554960869682872320, 317480807868915177686586446800, 0, 5182052891857042765760179434960, 2535871478616773034067101548544, 0, 1126302411518138071819097210880, -1985107201148197380036100321912, 0, -805366775270828644740192485376, 1992182490529048997672800747520, 0, -1274085829752537182163239632896, -912837547931405388219828817920, 0, 6027765368596219891168042337280, 1648765162704145585211574681600, 0, -3532093077130796240635523235840, -5546352518980347229338525625136, 0, -1762122993114419020099178459760, -443278592380841751254598156288, 0, -4891372456942217692033350696960, 1036558616343846726380357262160, 0, 4776732417619617103644145624656, 5836900381072813907511913512960, 0, 2279865004894036232222193745920, -5567571955217284143933969676000, 0, -6970214307619883466247626362880, 5218088218505884242596262313984, 0, -4397128234116713981632231833600, 12820192236390558547126466834720, 0, 4427997715593075131299921231872, 1728217530235717387205517312000, 0, -5100422228466552847158466314240, -9016383062849179862051843235840, 0, -7728055015018991206901272804080, -3234425581655936085688477286400, 0, -4600473192863082572495354265600, 3503962649299216251992941719760, 0, 12914063435416045630890209402880, 3235723586204871837205680488448, 0, 494301988836095222913253244928, -7993710307285874218785692975600, 0, -3969190021223773745481770128560, 3917475982163939403149428654080, 0, -2899654767361881351555336929280, -577412354573661596495788339200, 0, 18255211544942018660557415116800, 7039987310987146300304811786240, 0, -3299907950617497035903525191680, -13940559757521442403041663271008, 0, -7390772667922542429329677228032, -3309487631303023014243309977600, 0, 4317690807450069343064565645312, 17886334432083687319678779801600, 0, 4849648927524350005674445607760, -8935217976108970259735176151040, 0, 9022826963970551485112160092160, -28141618527563202946187759066480, 0, -1243294634796281416259354326320, 6611212984347944925277060071424, 0, 7358962942887715577092679958528, 11514687016810702038943802757520, 0, 11578025095592060526410165852160, -13786589463905465797002965483520, 0, -1973586095824816502647774248960, 6547939946241904003741088837200, 0, -14286752526864239857444901068800, -11964676468735706550226045108224, 0, 10856012966208118403109629952000, 1792612244619153187180263657424, 0, -14151744610331991496296301578240, -3799246141661494627819163811840, 0, 6321057701559299056294869073920, 6356425509495172422773024126600, 0, -43731188527321234354605472972800, -3087147856479766175017399746560, 0, 9554728952111567264333321011200, 68982234120863512127980063517968, 0, 4861133435880742664276937079440, -13841195531452111422174592008192, 0, -1864134726182092764022736683008, 4807567464002078713903981887600, 0, -27009356800650882892116999782400, -425942345182096815410695372800, 0, 8409425061501295945478525583360, 101195510282600233026616551760, 0, -7799497253005020877672844912640, -12158050308159942957955942711296, 0, 14645240027960173703058161664000, 13034588740434626915262813382656, 0, -27948251380578840352062322500192, -2726123581953606995234867118080, 0, 18659129296997928549519633776640, -11026615119436306992439083479040, 0, 8965053641968593905903274861840, -11498405459124402612641035714560, 0, 2146115122214556845434113884160, 11280574458012520798331274464080, 0, 15126438297313635931633771192320, -13298659775362268004995372679168, 0, 13904863884877786696330576330752, 39481542353614089582788938260480, 0, 17090504503278758695805875856592, -34250638869998855499363622256640, 0, 1123770838067457796339830620160, -33605498476814171504635283582960, 0, 11333573213281399145476870459560, -5433891888353380855430875447296, 0, 22621761074031748519507028213760, -14606485512228117012705322011616, 0, 4937507482609548353906825094144, 11705574673213041859269748654080, 0, -11140465387631459185272368922624, -109121122261714407429450915164160, 0, -6216366112233856360464924885360, -5721926959688419028589231472640, 0, -10630530347076403224619348131840, 60175408601216547678433951133776, 0, 57085962225888333602484524298240, 39168784940933054285774113898496, 0, -12834697666820915425431760404480, -15104108955040546118870539468800, 0, 15636984191181081804924739657728, 28899491545716428481880580423680, 0, -74876098384315726881218231500800, -102825515082223478289689999891680, 0, 11985264114369540240426189004800, 88019669551998538557315775463424, 0, -9264097942861867541968076144640, 56875435021048673092992051445840, 0, -59787203239339561186785483923952, 41235865095746897132847712174080, 0, -89029195866438858229132521897984, 19400989773933569063887764480000, 0, 5652662048557882438792099737600, 66931237684112281473184847953920, 0, -21622593312554419128796887121920, 21109192208035760056669673859104, 0, 108356343566361187323748988907600, 32727360943112021938786545958912, 0, -101151507938682251687599292301312, -30343194386571692688594663019760, 0, -35000753299657547825893900354488, 12103898031170383594895693905920, 0, -5732595409189636981372905062400, -9199445770478054737477510406960, 0, 147748245236945061391597387069440, 7044082802132362880056188469248, 0, 4915929448908589801287349370880, -229888309343730289543106984477360, 0, -96547860755398482403646715473760, 53804920963681574787394970910720, 0, -42674821550428763502631842742272, 113631618660577919044593551677440, 0, 147576653846788094131229256867840, -49994956067203118143231796183040, 0, -3093451804085754445513541222400, -45286066656306636761991687494000, 0, 86753575448165103570074529745920, 64427709330815057211694964736000, 0, -3916480396324490008381561503744, -225134285134519947756489506502320, 0, 153844537716469806750517479948288, 55178111574519239393680010772480, 0, -18104207763679561637409584087040, -374752418071244653920067906253920, 0, 27889287609756076545691084308480, -55615961240106630502595655892992, 0, -1348580930296511136968233451520, 322127248927838394765021901873168, 0, 7457835752539229933775162335232, -22274967058498440712789635891200, 0, 52816038288276706958158284128256, -262700047148910058492230077093360, 0, -198820989786193876025460807041760, -214939267577318332272460382699520, 0, 159606512211220164882156906086400, 628049534025510968906972009041920, 0, 175265259318702736324521856911360, 52905822761632471212612428759040, 0, 34696911685289674370128259678208, 308290560027307768220220236111440, 0, -471486755341977475451705487157248, 27519918848742282187373082378240, 0, -135733707941818250334059259494400, -115515519512328950716888052182240, 0, -29178529365660658999378462863360, -199797187062278584541990661128192, 0, 215124766540494319794593791672320, 161835325750868675682118154158080, 0, -760423132095858867210933331685376, -37625821759021294981461896724480, 0, 158376733356130877767727513075712, 305825411693037427521842112307200, 0, -80546096457826133036932061890560, 117253626243103111739248308387840, 0, 337150113190181140052539100528640, 96706691047690087777861783338448, 0, 6775687024652564195549888544720, -445184394007883000689940081344512, 0, -81505266218846016063452787769344, 619454527234555818380033576514080, 0, 151872035856075770108168416171680, -327914644298676159689124992778240, 0, 159457323851463079892882409062400, -382480196986295843372881842061040, 0, -428717554331629989984528341099520, 47202602651078531266177115947008, 0, 333553791050335530645612889374720, 101041387228633374038746081384144, 0, 25506128088243965203972573662096, 26523488463111775380038358138880, 0, 142926070887731955954597061558272, -738353905868437882087698923397120, 0, -391248114844444081871101783055280, -283764316037636761629867024875520, 0, -226991807060407186347943274741760, 832204418867175649952194054092488, 0, 1037155701129525959478390909296640, -233697182684204921954069651652608, 0, 108365980300913754305678178385920, 87055166838921006973634495650960, 0, -100643238700936503389591403586800, -611663005766210173091840260177920, 0, 296759484419538562834236734177280, -676748567373591845495245466533040, 0, 797337224766541083447621803704320, 436659165518595680976043373494272, 0, 229314900731970316977210976174080, -520988658823141915382210520922928, 0, -804653222924818198300463392444416, 267622891844780480883198687313920, 0, -81626345478077525667942645104640, 765299429636473655091799425976320, 0, -223846005152601425089208310624600, -406546123755073281864025243648000, 0, -251768605737961666108285475880960, -511112135395533551006745725140960, 0, 260835451642286436382215219277200, 974028683532216565453225800892416, 0, -143021931045967980309616042967040, 1433659411665443272298616538528720, 0, 248610877164727181217768448419840, 248296490201563614110618851737600, 0, -886468866607797705445571632005120, -776977243519997684327729306014640, 0, -495792687823873070550858427668480, 419613858284397461735230909612032, 0, -369715762599457235206886727352320, -714284092290753332436204440133856, 0, -146864508756853713899272027766784, 775307527181716490512445168680960, 0, -734501323092506968027241033859072, -803639763988170728212991840071680, 0, -436785328156558220637619947909120, -99729381413578333664951740661760, 0, -253729230174313048320021029191680, 1353165963963876489530786515992576, 0, 2389663896606579462337247266336800, 164362923634565142503586105655296, 0, -1272824201726528725029706592452608, -1103063980749818054681870121362480, 0, -446922137665804581925368227039232, 2183957649908980049488836299980800, 0, -157594246363314976117551236382720, -1112644306817210581524670897244160, 0, 1843407667078108280098256463851520, 282267719212874004147255705075712, 0, -3847970362240748329243089960960, -1065342844377807850609394056945904, 0, -405556840168811757195937008033648, -662181602235143346296049128079360, 0, -83616308389913339369761592573952, -1349855987094508498407506270803760, 0, 669427769245696230513539665910160, 152432510098542704459986721832960, 0, 55349461166389498793315707453440, 30934909522829758027452014112240, 0, 1630556361108330498193502144931840, 192985911156918332928580266590208, 0, -373402450855553734835817236398080, -231615761860683084710535356520560, 0, 446094527040376794918020596755408, -1054708404666988501214134743859200, 0, 146357245698630835795223164846080, -1918706065700578517281393617223680, 0, 2075699530004491561971726474762240, 2438304761050426450819672057380864, 0, 472892744660773040909992329216000, 548215581759463081062807307056800, 0, -1060790543550163944861500488329216, 81714319154864240749109827338240, 0, -196651937059744180741314516320256, 264701208196234476680344934400000, 0, -664780608390597608958606970030080, -3497176290634777549934047879495680, 0, 6750296760632850855279974154240, -302387634302104340264455513251816, 0, -317701737926836797776285890805760, 884853942500370334653815053090816, 0, -1245149045649962550328750638759936, 3255501263859003409769257495770640, 0, -550245954369743043623585983070208, 2515424471347232018190421524480, 0, -241801251586046199536924019916800, 9700033344991558350744711627680, 0, -2952293786738763484038645120466800, -547184194341313740017940008271872, 0, 1811749199771916361538844707880960, 3059480991893000020635563878957056, 0, -2735193490069022363744425361081520, 891716139136761090632863029166080, 0, 882556387205427812931557425938432, 1638143122310377219891264182958080, 0, -3560765073675851058896138324705280, -135000687455895659102632086077440, 0, 2248341753522387837287037916938240, 1515281821421718073501912448686480, 0, 1245902450878395253824973121314320, -3996932469758446971580339222609920, 0, 65105448269874001334592073629696, -248851899171033475973985102584240, 0, -4116911783898164134635176122866672, -1372082054033240904601889144832000]