# Trace form for 4.23.b.a, downloaded from the LMFDB on 19 April 2024.
[0, 10, 1540, 0, 2264464, -17091100, -791935776, 0, 9804431680, -104309613702, 159414035240, 0, 519021175680, -531230356540, -5894008940736, 0, -27717620084480, 14058178115540, 16283956279140, 0, 233643631625120, -313135665760512, 120589650366240, 0, -2007619616180736, 7710175817606670, -3953973318046744, 0, 1177952265288960, -14464474185570172, 10252783730669760, 0, -73831192092953600, 72906957628179840, -26625976920357496, 0, -36609276067793136, 324587767823538020, 369140808808591200, 0, -1158049295468479360, -1355457345814233100, 2644455724909770240, 0, -1919761520625210240, 9367295763131460, 6132624002565203904, 0, -18374169355003791360, 183553700661552298, 29084394113996178540, 0, -38492433127521128800, -11424344766226018780, 79182840955393027008, 0, -102844865827678657536, 30188516183231506560, 173059696836432320360, 0, -377769459746631548160, 58241718146183220740, 317897221476923285760, 0, -412080172429987966976, -121531695066047433560, 700585278654050000640, 0, -667890522330713878240, 54497497397908094208, 1014396282552321513600, 0, -1244773253376491901120, 83030422224875883380, 801906083011176262184, 0, 286747421140990627200, -704201825495570814720, -964412732782594923840, 0, 1509611955050789726720, 251577744224553978858, -2389572513290905036600, 0, 6185640644326191863808, -1796890366112110859960, -8221838255181360278496, 0, 11178210842814940531200, 3420669206528505615668, -24782809563337507735320, 0, 21476264197983864733440, 15493754050318100597760, -20874543047091388369536, 0, 29250284502468708163584, -20429910746446196146540, -23110416876469762175420, 0, 30736235391151635052080, -20451181288120097707420, -37072584337535403024960, 0, 19622060855605077375104, 29640100897154007590400, 10819709415785396181416, 0, -49064193942898512441600, 3608970935944738391108, 101417173500156631191360, 0, -141532491766064928829440, -26117671669453415340460, 204512967501960637451520, 0, -117107523093784046965600, -60735234421149680629980, 236249295345554599877280, 0, -484530448360401133102080, 45171449267917008090010, 348306168992777067726440, 0, -465000036644636543155200, 362095184670655347829000, 509513802873815878915392, 0, -622070880844756642611200, -313887768969015435411072, 276459746797100080975120, 0, 140050158582976059939840, 23839672459236145908480, -187005274047402829775136, 0, 574523252604211082132096, -94308196423583204491660, -313452620380990527598080, 0, 912321617852426606092800, -330290255284778321690112, -1326514170205026374604480, 0, 2651277804745164024031488, -39603429537868934568920, -3334440367920606446087224, 0, 2627668896935172591681440, 1454195906537661356481188, -4745848890017515743612000, 0, 4200678601783315543457280, -3665913224054184740136780, -3915048846029723676341760, 0, 5182294488460850009352960, 2702828985869795625625220, 66453575982216666998400, 0, 1083108318733789710387200, -1185315414364229711012352, -3544668968592962951742780, 0, 421817555874960760690208, 11988905077030640089224960, -3074757568480685488518816, 0, -9952166781959635039887360, -11639828843970883358689362, 10034906877049040849020240, 0, -11572495096908366384447360, 2778614312508628925851460, 23468068521946122845185728, 0, -13705046064708251461908480, -12966994268677666922279040, 32755780815647761928384840, 0, -35778439937846308045258080, 12885457958712825312226340, 17369759914053833132864640, 0, -10558181470940562450134016, -32066337577041618628165400, 21574252172665847505991680, 0, -38947381132154894914152960, 68716421192876217426279936, 29972839827205790848336320, 0, -18304780354138686400266240, -74026133947223540579976940, 11294481003496155746309384, 0, 6178796863981733788649104, 91093392477447086641106660, -21861280775667287161421280, 0, 43326155359983595945460160, -135934137832447790369430912, -72080112681452581613496280, 0, 99701988068517976729163520, 181208920064497896246342280, -120097523418510026122370496, 0, 81269899954690443439577600, -198012397680499701286500480, -162381113778422516832691200, 0, 120894887236638568436174240, 242471519253115515270270720, -106818964147273924583080416, 0, 193897860036596930418674688, -230587034460275010012149760, -160746093494163404484933400, 0, 222333417776315478358007040, 371773121117946887220349192, -147880277568716596119846720, 0, 105828124418049127397474304, -663873187905453930828283170, 2561183703670963309350536, 0, 84192904669208457476183040, 451454822108244742668679268, 79065459992045647748177280, 0, -267829246966273212686266240, -736395402244423253126272780, 320727219678862474887365544, 0, -475398447318376785641727360, 1366997971658851375249559040, 216178193659139457164764800, 0, -557862886841082215017697280, -1202353074219599056941451180, 356072564984737437578656420, 0, -474660283102425593750239072, 1634302381634664016158424100, 1034516498679566825159037888, 0, -495241244455902032025169920, -2035633088283610547905863552, 979812813503777617321877200, 0, -1266456755776715624631847680, 1343046210504169636996227840, 698769174633275367194379264, 0, -892606967806489793623162880, -1317871178942974054092825580, 383918633556270574423668480, 0, -109141534802313658330781120, 3187636233444188100884809188, 69282938890751030909679840, 0, -91539994955789260232478720, -3160092136736369679734754200, -467875719239940330404037120, 0, 1939558699886650218935978880, 1729537105317412642897276868, -1982546531446071779628923520, 0, 913138906560399866968670720, -3666269758993897281916193280, -622805798292175285597867576, 0, 1949337101212308482995980288, 3288085962532375800679643300, -1599398698872088881428847840, 0, 3584970925760933926043904000, -3934565953518278272990387660, -4457889614011578239922048000, 0, 3934594494987529774724547840, 6242817151066278956437566720, -2691049920432387712739302080, 0, 4069506483781428263670420480, -4398895412279681678321863842, -5126421959011776036133134320, 0, 145967430554793064753586720, 4928290307563914050972957540, -3085307831974528423125642528, 0, 2516307128656173284835191936, -1558751167838280783185153280, -4310009480617169934811480, 0, -3071034813728608418026684800, -934575772133049509095272192, 1067577311018086780674755520, 0, -493103402896308147090155520, -359669307549022092823676120, 5719737907048612175686462536, 0, -3614181940924176544749066240, -4982331911204523741289235712, 4251030343593777368114465280, 0, -5679352864983724726543303680, 5492668231890014556732181940, 7772244629976096828905030504, 0, -10588882068303087792287884800, 792883799409675561821241860, 18962803552032318728582735040, 0, -15748899430174554307481067520, 3653809242906628717138459008, 14331300099751826820918266880, 0, -14426413489135179569412052848, -11602695548274345412147716180, 915242286791243890132952544, 0, -18256678654653154670844215680, 12471754418356869461082958848, 19251102040308529661965432320, 0, 4401360733197307147173590400, -21990467714307847464464739900, 13685414992633013754588984384, 0, -37659701233356014029012992, 15691491193582422308831037140, -8068665591131283430898278740, 0, 4544194055703704801780933440, -31777315459481604626963205120, -5649340760636659113413953440, 0, 3607026639842746039067564544, 53553023167095910126694638080, -13844756155355933254186174744, 0, -5611788429235382823701955840, -30661712134037759213813280892, -32513729728791814945593076800, 0, 25723740590576278832862044160, 68117299144382226046430090900, -49382668615889737881895230720, 0, 57616177756677509493093623840, -75582677757225279490576151040, -22659301790581177599093620640, 0, 60735922607539104090461735040, 71837877733504354449833788090, -46292843410063866506928241240, 0, 43439292742493945051813614080, -126681078699271546663157987960, -47708150434099725464619077952, 0, 68271136560118796883444264960, 126297229316638403031000427476, -14110906721957838078907798640, 0, 6637540707387071294934343680, -91949853294998879673873769180, -46076023748760677342406014400, 0, -40169531662469207741730686976, 45541139091790711868907046120, 3600532325639358853898112000, 0, 66491029616967283298945345280, -109790732908104152289455296512, 9647016338388106299146626560, 0, -59660788799291708129921335296, 121507129446787509607982553600, -10738825342277251801186417144, 0, -44009105825582805032165728480, -49072334031820977496379326492, 148968403540259372413720767360, 0, -15924283340284647686937225920, 121599263390282912346315315840, 133750523536307884804981583144, 0, -189975281478024915287041968000, -159872281816190875049464752700, 25711499169727609045941898560, 0, -196997906636637424665480295680, 124159787659942873918060839380, 243002274497150285158835892480, 0, -57246807434338683528084883552, -195872293832898971894797650780, 180842514227288205969312763008, 0, -170485728227756613639997608960, 191541006934255253328129381428, -41410243243502864981882726960, 0, -224644386040651134170928879360, 54975729513815198228305347840, 135784732729704227663217988032, 0, 88385906936548131200673499136, 6646750993425058807046993280, 44645115675851389992738804480, 0, -191390611407028506991810252800, -25538401487908186636962533020, -126923905326565396597015216800, 0, -139495285635243222395616574336, -16424046083735853639332410020, 239324502222592486639929239040, 0, 414287719274756040769783785600, -37878921714723805529745465600, 18240014612012353003650580800, 0, 272802466548714789878886789120, -248141186544844379838420546220, -592033477200199444561261178880, 0, 35552659146986284444970468000, 96726736664382523261715585280, -222286276223863639667856475200, 0, 879153039386864176107347665920, -453794082021139803526621456614, -162029427933204329848907432240, 0, 234808266616938845475129434880, 914733651611703281943751784200, -903782146719018777558437673216, 0, 82217072489652327016235335680, -660760819648934302999776406252, -363820269599744235481455629940, 0, 799049530512704568683177219360, 854941848366934909286155480320, -21786813306882266740312858656, 0, -2213110416550465683516026880, -496831217689596197413882795660, -841574286912021460069708897240, 0, -57979851123136827456931514880, 376237600737020367352610382020, 189082293306074972442082160640, 0, 837279405031372845935906912768, -1186930566684583062726791301120, 182183863311398452918367310536, 0, -156536351728747259511039527520, 642797298990114064000030541568, -1028839624053571684822111176960, 0, -780847174256545184189041958400, -861087655118986985619591868800, 962578095051935453860468730880, 0, 893343837809003066555805227520, 2336513268495520306694607149700, 1709712959731898582837701311360, 0, -2305774427662083208089898598400, -1228556814672876131198381593688, -830343645717968625299140537720, 0, -1405630742682892584054058632176, 1932036039943039339948197002440, 1633989124034211504348273677472, 0, 635014079643759736144360292480, -2245593033634092162518668413312, 2594944311422487777010511144360, 0, -2726578421705943736847617593600, 569731337917292080859429128840, -660594236100573365916413336640, 0, -1324411953878805977101033390080, -2255359281619730654474425751040, 2661502646077501179177480142080, 0, 1167993404606459016946969057600, 2473780590097181035075954545408, 1135279868361881662575544678560, 0, -1773096818705007508925694655488, -2719487240540422004766080450840, -1498074853787986044023200535040, 0, -2686994278527711785434648473600, 1853392421483715237588039633668, 2714592882127415936180256455040, 0, 2622385684103817925772612730880, -1571987308580003149764057757440, 1802305260495162098226052064264, 0, -909815456776598390704438674432, 2203068597237382694804827307520, -3648506431756205158277949175680, 0, -1364220903776354495487080426240, -320881009696648387231132747660, -558498649502210008718355324120, 0, 5925054038664496106866519405440, 918745558095042787309180243200, -488608325784024191299633373376, 0, -570508649534090756276386283520, 739572734244061707163772875498, -8772457853283674556133485730160, 0, 243413328541825398221138442240, -1035455091151389039078442575800, 139678945647871588762109243328, 0, 7429591877533396360217965499904, 1382953096621425453219842716800, 907711198791550530554024981480, 0, 2833615913291937923270791288320, -1079848631068498456112006858620, -8321343013496556444904003048320, 0, 231817924078058150976981100544, 309100525987780156573622225320, 233813103934979820677022858240, 0, 8096620848897262934428342000160, -5361425028265790529040779276444, 1431527475367617136410913941600, 0, -1244032461468530275285322588160, 2992365933632837981609867473920, -9884176223982392454173156529496, 0, -2178516602261961258288151528320, 2496171880136430886833926076740, -2461008697097725625757374580480, 0, 10666964062390674292120581120000, 1591833703822842486341625649920, 3497715160585869201824005161800, 0, -6351556785135613584606264471552, -7419065814605405313841688847800, -5454724842142310867167389135456, 0, -4085884421392136604936209464320, 10185135984653941002166615509428, 10911116379642163482023754416640, 0, 4828804342271982714284982662400, -8200153342243893101987732797440, 11120768171089579229675372792448, 0, -10144783181678005799922895220736, 2717917352951898560285825376020, -6478579504250895026811719866740, 0, -12485978875112453435909975222720, -15693193986773632495167012463872, 17711820707354224084480598147520, 0, 6707919355197355480000739667584, 19625920956419721638170424290920, 16140130908762930297289733648936, 0, -16639683709041673125830269084800, -9460640618606902681622151521280, -10091807984843803609894036463040, 0, -13573794537124655208187150620160, 14217570816307204377288154526420, 10921766259239799610883295628800, 0, 4410342141658230522677750268320, -17744258325144260099423848055040, 8893641257702496528919988638080, 0, -22189962275727157814146136870400, 20333668170799617118942754737460, -7787618577864151582614905710080, 0, -16741246774184459777555244560640, -17253748327241315618068849814140, 16218924708765789340627026333888, 0, 12607622842931137275474813050880, 25161974806554539523922333718016, 13292712687751238198260993242640, 0, -1983489249459341938716225047520, -21796068415064360197211400250780, -12783202360886580649660198505376, 0, -5764001319538856576955373117440, 10726525545028064264169959174900, 2279897674704520738969868213760, 0, 32603701075650299280741069957120, -10148326779729651467234166756864, 3745036192368841729128368560320, 0, -2459775335554054028495677870080, 2813000956017014821825914112850, -27346302809903258843248797999544, 0, 5897155467356816483749916155040, -16154786739561946098275278029752, -18287121278539518984260317641600, 0, 31413949568791256475677306603520, 19093466008723252245270160003200, -15207020628223432531578501910936, 0, 12715953598505688845722859877120, -1055860120956936950620598472700, -28557396091731337025007672319680, 0, 9616377746260506054273246986240, -2724838026686433125682631165420, -3984846356759544731928082602240, 0, 32493045340755352579803308863488, -23691782223052896469531262112000, -10433525291127800813450630733120, 0, 18038802437077231929385888660800, 26229205602004590975897068142720, -40643821447781326055861767514760, 0, 7550472646308257597224618600320, 8697041319695361879150953116100, -11131047926537121285202569413952, 0, 36658009072331048058002363240960, -24927634015156246208076371023020, -5798773650351356849803196467200, 0, 11512670569318665907047582013440, -972760058575244644865463197020, -38305470042312228794464915119840, 0, -10060490149004824580230986686976, 3616196248955142769999497408000, 10966047884005738799142832220136, 0, -2086587500753173119848673857280, 11345642239371528095466206450688, 36642830114653636647696405101760, 0, -16171991930615701254587608596480, -18233426705556843840692587950700, 2647855171064348986559614475144, 0, -25152879347934528564503782639824, 22568306622327593931317069682020, 52553746582342219174643179001280, 0, -33620254527640792555040344037120, -16302637379954398835884838965632, 11970150248390460959395186821120, 0, -56612046307004225749747341348480, 116409273249646985555824029844360, 17823733322141500711608651896448, 0, -58692007754839750188275489126400, -76999517265127649485460463082712, 65954671822634052336176410997760, 0, -36712932536807556813814857581920, 26048568327788815327667399328000, 15054704717269028009745427322784, 0, -18147562657860577402417700570112, -48109597057991477118412630023320, 71011714600752452675828629867880, 0, -31167124849669665672705476563200, 81384087250285774443534338661380, 45679532129525163165058412968320, 0, -45362039866243759711830937927680, -216191869734092985107002722216960, 55722773690314861209184090084616, 0, -65313341228879447177601212175360, -5553737509808879834865628049692, 85600555118266127267178544417920, 0, -37194285562666840746636474505600, -7319501379804897634345408604160, 24662124902060222328523428572160, 0, -5362655854892069362195680865920, 288481464957537121959387649313280, -11101389139643698770765560763840, 0, -702498867748291164313563932160, -199230106093743113059710158310912, 8458542896976107593365733741540, 0, 34766397110843228483076635016608, 25992949766403952322677990983660, -75666243360310751295265871386656, 0, 8562796586114124376630763366400, 29687444287333321576590981570906, -93084756335492919062558534392880, 0, 73895690393692927149427778476800, 165273143371626189622106062324100, 15162835059990343273931321802624, 0, 103364257842701405937295092793344, -193297851093985124219089759416960, -151580652205041047837041375142520, 0, 17164215568259018276536052438080, -25558564477202774276066989044480, -107151146210635001444576701718400, 0, 186492542560309136583307075092480, 252931407634718243416193536360, 27229458287404921266043815419816, 0, 136862768207896752503933026371840, 189768269328106028435717030961408, -222462328592772970800913531843200, 0, -43005596518672205222077693009920, -261503972750529780421870017267840, -118075066543491292186014089866352, 0, 110774780879384581482942941147136, 39561368313697656131695218247460, 48037961729334608109466486492320, 0, 235896458376576334272693347773440, -8605572882932494207778532866380, -327753013229227795983999800647680, 0, -82209442184280101850192927221760, 340129346050596195251242582293000, -160161458236428479113928034333696, 0, 263381721454400511879342171095040, -163293719585673634552985609091052, 112183648572529309727025877017600, 0, 101756746153403988076035383870240, -67443733854280999016039583616540, -3860247143568082863171045966048, 0, -269622295772397808260237925657984, 143556042766493304348795185702400, -101586188287955197784550537017560, 0, 54058620910776871270237693079040, 45755727021410821946737731866880, 156793196864432686600016261101440, 0, 19867472726076632200488873419008, -201908373316967002636113786040280, 165866651164061079804914968224000, 0, -233518488271959378600446226617440, -442423640245046311722324687743232, 14539860242655984203290140238080, 0, -122033768489040109381371935147520, 287623958635126805482546130412520, 464127261653220828822060560027624, 0, 127503835876485516173025514394880, 274180327998324094008669273126020, 78731457927516944664251568721920, 0, -588142687158894226876473917506560, -97558426480631127764886732599532, 87222246304590006655392972884360, 0, 68549607304306786932155713594368, -536165736966379217469278507750400, 489466158503505531595181706263040, 0, -101367763302412575142380202472320, 674932315663704053231606592926708, 48023124317232826689198093107880, 0, -697171768191559584789289400471040, -107106289300085464182045879544320, 42781139283309363826955701880640, 0, -188430876170639900015515123322880, -3441324896703555702084083018880, 570710262056278445747665503749960, 0, -65014449301461270022930840283840, -906992045858693698228607313665500, -118348669962867429429759374400, 0, -757416951832141545757868683570176, 1127490015825552088894019072054400, -74961883104654483592718157749760, 0, -46052669867787138409438768830720, 246476568424910114731893392679428, 691618910491946410174305926792640, 0, 414884387345175618495062374522880, 22453662261040342073433953352980, -312366778875716431307192349016320, 0, -462454520385034867455295350543360, -1079976478734220580537180949227520, -397986405776560362897546948325920, 0, 616719562675033184267985745920000, 1003074370322524605871189520921070, 378773797129309931022063398940200, 0, 301334073234767744425646553056640, 388696330541428271559588456780, -323663345003922789128089221260928, 0, -88113472080645727871886247360000, -267915123128703303383888479243392, -590755289478967278275846684124840, 0, 821008260501320937217818883184640, -1363323977036469650629966439595100, 73209119033314174833523714555008, 0, 688630631272489180755615398459904, 1387386238392153439903978138340660, -676930253719841809236550548011520, 0, -237726249211374075247837047724800, 565071371308420128864395813961216, -750468368837715593812745469148800, 0, 292456038607907605531955044466688, -531111144897707298306903159642200, 114662704075891981371255492490376, 0, 321701897246971426253854144020480, -1613871166195643627388996915678720, -1355302179984244232816814181461120, 0, 119959973987471898645211082360960, 2276923449477323140544961970188660, -708658441039123855906260240668160, 0, 1551332265141404108240943767228160, 7846491630891817891602323945540, 512164944949901890022024222358720, 0, 1238612893272314858198013894021120, -818862106623881539450830814057900, -1056060996049522783941839704549980, 0, -288223176417392228332462438868672, -2749939923690297835704382460970240, -387168270869007639252944383207776, 0, 285267673431245473932043765324800, 2129646098440993324723601065648128, 741691521850440957027568241306320, 0, 895737590233693084623186008448000, 1245667660222047881348296501516800, -353768195409722872207526713672512, 0, -565507073019229771176343030726656, -960153014739984795295447720619520, -228545513159692349909273443557880, 0, -149561411005238623289505564371280, -1823400795456955378996961655393848, 651014841661454789966381270783040, 0, -479534042115975010484061218256256, 2100659529893111720993462173884520, -34310374313954474349655982968320, 0, -1791282078983118631044734755827840, 2244430935995339715065686400199876, 296828030756056767499913665670400, 0, -356674395710697397810185629122560, -1737891165142390930199189242458240, 917806776821852777070350631915464, 0, -451025209345567814903640159606880, -1661852349109994991088335370594560, 1084388940534493287039556437229440, 0, -810793920452086570101200753264640, 1616262068781153779757774712530048, 398832530592802810386925248802280, 0, -1169713750498858708970227933593600, 2691641799490674933242298429303180, 762286962446750956170057905107584, 0, -909719439009103677900299384043520, -3042407869687987638933822309389932, 1584350868778540870851342062530560, 0, -967117453881724817001934516879840, -1420023898962762112774018822567680, 1372016013190689910406755791906144, 0, -1522685401917777306322517498534784, 1069542722277863995617760930729460, 1890664785830716015298315054077440, 0, -1403628226668696520588679216931840, 3200004250810075667366508047377220, 538949844637615380261952195266240, 0, -1025282075592209062011010183895040, -5198899385860592675202033781478400, 837760703175284296133109696702720, 0, -483018861010414159113957210378240, 18082285214019764929475251868488, 852994675434390363087878374682400, 0, 358919992594443173860903295600640, 525126646175813871579987265299380, 1149834885045740899577273471445864, 0, 29003129931173233808552815111680, 4600025713519810158800850800520960, -986352925854877445351369505419520, 0, 364708206007179519901922872197120, -3733800301623654157838191364891510, -1568601415252023701232643811794160, 0, -834290176706658842623914032880352, -1097707726524992494223791879002680, 346469029865388663475558726803456, 0, 1611660839541110412684584112304960, 480330484084768015444877665009920, -1814581898215107719699073281597360, 0, 2401873934302178487583580130837120, 5744458107578583336035666933909760, -569801046701540651368950604771776, 0, 27197048857261139619047746419200, -4635138673270635866871795803922220, -755355178483639949844962926053120, 0, 3658791906957693233190036890533280, -1491125096651974476527483131909212, -1541545095853323553127780210181600, 0, 724954215170138187229715379391488, 1428969523548887557066216894925800, -2215480419909083861901783478131248, 0, 519001504241440004379760080695040, 6319113784731475073501262055987968, -2879801835488619453958496357626560, 0, 2496248594307937893252174001274880, -10955282902195088405852274229453440, -874533867991365352912013613726720, 0, 2352475210096057930197450572878848, -1864018742935638390808535346314140, -5417873299969089798406611182747040, 0, 1864427124713772454648236147155200]