# Trace form for 5.24.b, downloaded from the LMFDB on 17 May 2024.
[0, 10, 0, 0, -41272680, 124761750, -2262077880, 0, 0, -189250631370, -992748199000, -1448637536280, 0, 0, 20750531044440, -14566613457000, 307971806876960, 0, 0, 887626815301400, -2363707755099000, -781158183715080, 0, 0, 58473619965621600, -15436708968968750, -49259739315596880, 0, 0, 68538893585329500, -283259561673249000, -303703652281842880, 0, 0, -288299835336191360, 568057466315481000, 3242003939215214760, 0, 0, -8628905972055907440, 9426000384456940000, -6658832954283527580, 0, 0, 14990828914855427040, -8490880963475889750, 16736621075351903320, 0, 0, 51294362631233173870, -96456356624588250000, -117334349391643270080, 0, 0, 6367892697021344400, 8046234911696751000, -93285217288146540000, 0, 0, 461218638014732785800, 1248088814097510276000, 202894074812420701820, 0, 0, -2597882075263561124480, 404224351485216078000, -2067527591150630859360, 0, 0, 1761142984477245282360, 2651929720118465517000, -6362428274364321596880, 0, 0, 21369976437605310645840, -1268180400269994750000, -28533821601830896716000, 0, 0, 8008906997916696975200, 50390556129429851388000, -63620987817532049079390, 0, 0, 26983560053969205971040, 58719411820058643416000, -73642932902287825779480, 0, 0, 17045340818835962686500, 218378490181286718303000, -261754857315780277067280, 0, 0, 163995755653951693894840, 287254967024630517105000, -1029134712278532215134080, 0, 0, 411070875879864759534360, 614005288979184364875000, -715585672719053372424180, 0, 0, 1648021844922870395611200, 883737671371226036181000, -2506105803804689865746480, 0, 0, 210718545301974495695900, 2027944339438646310132000, -2025378008856151260313680, 0, 0, -264792440930098614564000, 2234434437509102738513000, -5007068520657454235401200, 0, 0, 738258736678591426530240, 5661310226655106661940000, -3870397326165583347417470, 0, 0, 3990817762865845812963840, 322133342541354949218750, -4203186952801727426163480, 0, 0, 5180917646477970411624360, -5647693226576734429254000, -1496375875077704298532680, 0, 0, -5325209658849472026474360, -4397377974004919225610000, 18690768580309255097331200, 0, 0, 3974859270736255486010600, -15862250551266085264308000, 33613294765971300021525720, 0, 0, -40401610808619852270796320, -17549404148683359811417500, 40727619625219681275969120, 0, 0, -47674459595902925660666100, -47224336007965769991375000, 55970021212750954728594320, 0, 0, -53841846171758279418796320, -59716120339009360563144000, 241696783935156539478064320, 0, 0, -47614725795453109445095440, -148660177290181469409264000, 108213344609860956584163720, 0, 0, 146383439564217115651483440, -114972086323495583273124000, 117818111247142365570734920, 0, 0, -125396265056866656027759470, -104797524406343589044688000, 36523930524785378941530600, 0, 0, -241641627750496451935573200, -16935295249192459223250000, -21919942372482034294634880, 0, 0, 158152831751200470401799000, 293881357924102435671603000, -13341087625225312519362580, 0, 0, -151272454419247690248095200, 585811427399158963940586000, -465746024093661379711234560, 0, 0, 275767542072059824291950000, 166343721873232587554860000, -902605627881822012942564480, 0, 0, 880389865668073351465410240, 297149551458906188364678000, -2216489273557302570138671160, 0, 0, 1209509218096827996092049200, 2408106032332234482045000000, -1545601286412080109913537080, 0, 0, 1889495725966274675083184640, 387597452675818835525233500, -4254312995308860354844418280, 0, 0, 607059871888198545440104800, 1645029275992546542425892000, -1337807157817300988449131880, 0, 0, -1625608839548266420539004760, 1482608236313998565446083000, -681288253866652368341908800, 0, 0, -549139773700021694365326240, 1206920131151775015439332000, -2532704105453165722057399680, 0, 0, -286627135755532558454328960, 114891584544437047489968750, 8207770671496411995225373120, 0, 0, -980945230332977356850106100, -478196676352442009757459000, 5975188421465920820777238240, 0, 0, 894782507591843214957873360, -5681119004726700865634179000, -3422165669188962048406864800, 0, 0, 270564132393758387125466400, -22920564525984997696892112000, 10922194145361354671268499220, 0, 0, -11144568539096651265627827760, -7013402365215481802927892750, 37410727001211359111041169040, 0, 0, -8218823536832837723431115640, -11827861731586047801390625000, 14972694864256444656468368520, 0, 0, -15510421652580493096337733960, -16098482349786193033089384000, 42782988700346819491808616960, 0, 0, -9808587728187410996110125360, 13192980633619977328015896000, 10811730976577339412872600100, 0, 0, -32158995761238704624753308800, -28861622362853626969502782000, 14792269985128216209543943200, 0, 0, 23857351000423611917888036700, 960151504641228850783230000, -2121848421203641141368251680, 0, 0, -2429732271326911009764270560, 14714912116448823203071125000, -45044499489290052397019621280, 0, 0, 52162721904025342446446266560, 24406084606766280490117980000, -54088209437521576202323840380, 0, 0, 35060160373248020469490923840, 4236713319145324629874980000, -74548580405644985523305463360, 0, 0, 84347816074886957114390603370, 49498152662888051860008390000, -95446123297722300552568462080, 0, 0, -83162427475136840283518347560, 88570044026882624341328715000, -242802337042019154850615310400, 0, 0, 116532274970560112076061250160, 291571854679984940284743000000, -148298145901687160899591173480, 0, 0, 125913120629186571956807228800, 45023204475954544321543138500, -98669720297492047832762148480, 0, 0, 41199020982588512099277767160, 255900013536244164007148992000, -88738844441675677554395298480, 0, 0, -256297052751262760500464138960, -57128544110705929607313657000, -132988844756361300298621468800, 0, 0, 169104658880186624064886614000, -117089143558972624241738544000, -328703147630984713300740190680, 0, 0, 188601759162692690727307603320, -339025192948279613105833500000, 393270438558248637815784526920, 0, 0, 210758467211249282415750795240, 108714429003966933722183532000, 54785004455196800749563244520, 0, 0, -556015130097547954932464441960, -490955506661881424103725409000, 764179540389040846380538043520, 0, 0, 546561142195454254685656234560, 49495696023795472700450112000, 667063757386939193841887120640, 0, 0, -1284727051646162502355629876000, -560154859067358008671662387000, 972290130910132676385561393520, 0, 0, 31325953466029282438685428700, -282195245569751381032072125000, 489857866875850217805309175200, 0, 0, -2373456326677898598464975128800, -1050249161971722250473002334000, 2506324130824995586206058748400, 0, 0, 1464846712779018542235241273200, -726057499969804412144943180000, -46587691721131990854841103790, 0, 0, -1329861356015706299421227021760, -1125838917072254051699992812000, 1286986485257286538066286025840, 0, 0, 1723589512966725782959338290460, 1272798445653117244824626502000, 379512928388477727693625714320, 0, 0, -1884961711862001332611542289920, -1706894842121160189333234375000, -860396202099942170265207503200, 0, 0, 2055358828682599032861627230600, 424164081284928537214108860000, -2784726560972006013572478645480, 0, 0, 952923800996377121413868275200, -1079921831314294620977202108000, 220459465359403078987227549120, 0, 0, 3087610059704220524791655933100, 6649111786289365941617303496000, -2968997221830950592417441558080, 0, 0, -3819154105446584012941863202160, 430677525748706310320189220000, -3090066074037076324958739053280, 0, 0, 4351242789452869305518253607200, 4494803223188844511523346500000, -3374877818422038557205441101580, 0, 0, -5175174362153194330506363011760, -1182210075679291378971026933250, -2565617823785034731499848031600, 0, 0, 6528469484978980430837141130500, 9208727570567269960851662322000, -6740732193915691340058783662880, 0, 0, -5451783975271003162792778754840, -823987479568390110418985977000, -13127673537011439437324858830080, 0, 0, 11442611735006087236073191275000, 4826509016335883583352315092000, -6465915283096729835579633356180, 0, 0, 2929364699709708532527919409600, -4133457106918247219864862000000, 6306139380539420687807370901440, 0, 0, 13218657538503145206012049120320, 7804437699094898821664607531000, -8364925406324396181540645283680, 0, 0, -11480470556377983049111257822720, -10173342707095805137357330230000, 19991672161743111685186085432400, 0, 0, 7251035848820511512727756280400, 1254942695610599711101972080000, -1950273074639361932522284886190, 0, 0, -29157663321748786355620488711360, -15232112842217670415919134102500, 7793303858231465838461654376120, 0, 0, 10822308370118409174614772794100, 8243335801928353470271310250000, 9412167098282087880905298132240, 0, 0, -36530989621115496175666693855160, -15695547444579634050474961974000, 38013682825937738021661448118400, 0, 0, 4341931961221125621455467075200, -9476705641816688177957685684000, 15703275123294602659776086218620, 0, 0, 2583223356358022828548696593600, -23615280039087186254965626144000, 23115413545605787751848770039520, 0, 0, 10117735557548319268608879525240, 2571554023265216189420424897000, 12520565556337367138403603936720, 0, 0, -50205650230993953248164044220800, -20214124068810270427044563125000, 21772491863015091207599685434880, 0, 0, 18643966185891431376569392929600, -33752889577883399332220306064000, 12609899727434456347320503821920, 0, 0, 7343436822433267614025012587960, -6649781683623963592626237504000, 34721199879822891066545125360920, 0, 0, 38533887620296043348569375029960, -11426682822412065450365119093000, -15464329554352737336810686542680, 0, 0, -34471410115498264657803712113600, 302326477630241557215447153000, -14801774453644350685149831956480, 0, 0, 7654773853737938488866290211800, 55582687140035891395405640625000, -23560176104296655197435593551880, 0, 0, 1690218821816009033394087986400, 21323718426336021376162525048500, -44671672393356275164176237852960, 0, 0, 3008755857241509874223192953500, 76630025657787134668167717312000, -51681966022188604777610887728480, 0, 0, -29507069733278226647756547445760, -11608984479043745506585901607000, -131132256820831284561902024995680, 0, 0, 5721977893795201431541978242960, 117052051054263671317659357240000, -74922473284996512904315844229180, 0, 0, 70774575253101306808403476782240, 71066726184876829321017342375000, -51015036052111506964792322199080, 0, 0, 56156161866383894944613446801230, -16465240902363579597717287274000, -106665672893726772894933310379400, 0, 0, 254965384446926326516222574792400, 34530365659844540656204957331000, -43358534226645259781512910032800, 0, 0, -5110954550078464825345343172360, 37290767255765032802810217480000, -48228456073968294579151552841380, 0, 0, -62515240179695045837620424693760, -9236039147105120351683420897500, -122926233952091843300546064164160, 0, 0, -96390792685870455765902913209340, 6934133198780806206855051000000, 37588727686254354391023061021200, 0, 0, 118845002547262441274662252788240, 97819757187139740231824820786000, -278348858254687842893723884346400, 0, 0, -25010078980116364023969975864240, -116494018168128058624234817904000, 180795543622599112199837066154240, 0, 0, -120386733037722410320407652284960, 124551475250390393366721775928000, 256177978645729803809242346540520, 0, 0, -273602380095514953863710535005500, -233856103988277056336807200140000, 298591317350440002238051406099720, 0, 0, 10533851288545857069931997730480, -11265511563394379134877597250000, 400135747944085968049781708856960, 0, 0, -249870732160661053787955986835840, -347784498049790363445269570610000, 247333884800491210370956583976120, 0, 0, 284254226572950411422372325532800, 12856080234666953806043344434000, 249994917474877836189895735514320, 0, 0, -364281460361139902388491193171200, -571380011230363399500763558620000, 139724010606887138946026163180720, 0, 0, 84097065820829738483027435860800, 34652953267020985767441242472000, 422308321530735155182578472582800, 0, 0, -491312946038927407616923047538800, -424297930294000045921709392500000, 429364980813377057534483720694020, 0, 0, 495600266460245419101037416450240, -136836984617249067308166865457250, -156456353372053283823300758822160, 0, 0, -381599664436097450580781014836400, -466245725812649298889337379218000, 452847728878534213178144967103920, 0, 0, 1150201486787596645719341367744840, 556094559384947854788245225046000, -108420826555845475408698580080000, 0, 0, -855929025736527880450017014503000, -162013269332809942589283455808000, 108082930099043428140081444490800, 0, 0, -786142182725935503436659522205440, 350095060684950911056139160156250, -967489204632955773592101209717280, 0, 0, -194190530620188846815779020024960, -36951340122206978246495176149000, 112634694592413870827588002304720, 0, 0, 636533727172042039832654557773040, 432470088182976504453781529301000, 377571415002476079224836958771520, 0, 0, -379131392434309687400690092987440, 921085160155666613087228607680000, -1005263511826921194268729773571980, 0, 0, 1181773912353359264806384146903840, 1027260195778739861193326406183000, -1033115312776521109805400627520000, 0, 0, -500726769569320196413277930354400, -246488752391290838282149628250000, -181550640603668725838074033992960, 0, 0, 2289755552547430165575873406268400, 948185558807770957941670614381000, -3537093190287276878690436684127680, 0, 0, 898762196868607397215143740232600, 287181539451562192282571018832000, 11337767307955463567150323419020, 0, 0, 864055169890339582210437724930400, 502796015041171951907499609660000, -2362000494861127316484930347344080, 0, 0, -1583542601523713250978906735867240, 149420291588960023673579107287000, -1384126890546924759083696440002960, 0, 0, 1152588092128269495891393180315840, 778527836372327651631878332500000, 617715462031216214829388469207160, 0, 0, -811843479364491880153640733807360, 97243540320818944773013385280000, -1223322891026352285352266082177080, 0, 0, 1038866429402484881716062525304800, 762786392953305109954599478436000, 278958719456609263315659549769200, 0, 0, 488092930616612409968222689601760, -395173020513932830195270821084000, 1438141437398715898037439874978520, 0, 0, -1995433950774811304796911617497560, -58252641815424349760469804465000, 3567773652242913581299288641921600, 0, 0, -2519164270784558703936637540407840, -587474570559967902574958619000000, 1935758097837530617473113065268220, 0, 0, 1874716103006072557649031381757440, -11933427256155720204780787479000, -900945291207339200065588252954880, 0, 0, -1360195272925994296556278825170100, -1773395351258287468205515934088000, 2551225792983017173737041561047200, 0, 0, -3076408657235011461156426443281920, -1696731722520792240227374890504000, -494631125127138226625682375103200, 0, 0, 3406252274894881385930765159676000, -2895063483617268472338010428636000, 3437131055696044276026609777368520, 0, 0, -6591107245261537291996904830528560, -3756633397224509413884495835312500, 7540475373553514628675743477544360, 0, 0, 277144392073510419870271064665230, -827766725990964463901718965484000, 1755544317369292499168389914073920, 0, 0, 5264848739005640403328126326222840, -2683673026614411042931395202299000, 5726581357686111602231362998645120, 0, 0, 920023761250895087811333138567800, -7206800494212148121062118759448000, -27490021525166958363778228008000, 0, 0, -8464518865881287048930286377932800, -1810540598499871119082248316087500, 4806086612148708390397702263423120, 0, 0, 5178333282924859999554780499785240, 6301823598961872318708887671875000, -2672965050909610383935410614621280, 0, 0, -9864783158324408375581385014629600, -5729594325199685698144224328314000, 2360978803560537060864103019563200, 0, 0, 876595789265429564267673662845920, 7292546627545800835048041328400000, -913440402694312738481705948356380, 0, 0, 3884788041027035668259443793648640, 309993241596093285945421716648000, 5852116682809484521693089556609720, 0, 0, 1487287869353317814389792080007700, 268588304889858779363209639044000, -6885707282260573114312951247047680, 0, 0, -9435883158448900540904831210700840, 3919285750243367731598246633000000, -8399279175029818050217663306387200, 0, 0, 10086460918063487527611717025090800, 17336350313900032616123872557096000, -6385135408936947356740672184919360, 0, 0, 2876182473024502674708655857991520, -8563765002478762098477062963994000, -4581631314817862278316643058736160, 0, 0, 8624503132387546227028028703123960, 11962044810844334314729434585040000, -14586743492708319552465131682569280, 0, 0, 3357113317901234859903484431086640, -280631392390008935329368832182000, -19370129585652186194844629130321600, 0, 0, 8031802020090637921540573026523840, -11687332782119521056266730852000000, -5111773432042367004218945139233700, 0, 0, -5340208836100235519173708983771360, 4511098963406981045632728834171000, -10972115680510176569335713159490560, 0, 0, 24449348023571528701028484187796100, 23526804718364206188677729726061000, -2676121943105370404448541094165080, 0, 0, -22404007297833132404579379846275520, -6972829256745025064131774404897000, -8457172143978120817717198086113280, 0, 0, 4472890224093634022063754738719760, 26334900488639188371454987680522000, -12021946085178242401456279562246580, 0, 0, 32996015296858546952920007489997600, 5017330270956559058946373293000000, 4470241138308397014521707107036000, 0, 0, 7221742565069671348341050096383100, -6735423964637194427962550237889000, -1644938942025447818272407139940880, 0, 0, -49463720010196236755787995095202400, -2036522608314063037704622971559000, 1377566589841683698710301537808000, 0, 0, 24797012574078468408124625376577200, 13868424924864812938088721186480000, 2851876305824297399305412740293910, 0, 0, -41584190106091005973573121268008160, -26959455583633725339862827180347250, 14849818640935549408396136311933320, 0, 0, -5257526712168732520091763914898840, 2061181495493825766615124066000000, -9826642828049208128505023479055280, 0, 0, 20258299445901214998649152609088080, -7425954064641211626768617119185000, 58498073055509971876428389592812000, 0, 0, -12864605196721606926662916959126200, -37668511913870031638340972822444000, 16242912642880434261411260646974640, 0, 0, -33773598417826045159928845965561600, -5569479020516594361325142954962000, 16933738441754179439797533537409920, 0, 0, 41449320736599428592018151630166400, -13332139284397580264739983749110000, 25391502495821867216604997659826320, 0, 0, -22500520073826756180397792718687200, -40542555426232193319060918890625000, 46945953992133566557521690857051520, 0, 0, -23847475010828117837135945540796240, -8711012368253415458424494485584000, -1733286833583215886284707583062380, 0, 0, 57821760474579347420997686714711040, -24141993997787781198214523892660000, 16204478241160160398576174599890920, 0, 0, -35467541215501554491069648386652760, -20833627316772540841092176145030000, 40973435267827547483077766092270920, 0, 0, -27969954393252978594749366396197200, 14365932380946623288435864564745000, -14233020691731624344363037938880000, 0, 0, 42299637965642242013420828232624000, -2842598794740267387257425267875000, 25992731858217806405569828428200320, 0, 0, -101562806199805248185010695161772800, -23831310905160992527484336543731500, 70520230878479480140532845378059840, 0, 0, -57218053958530952661221843617139340, 20470611928560382025449716105432000, -45252190551727485024647846694869280, 0, 0, 98231567393247930694805432179758240, 45897112062587149475696309624826000, 31752574189758217773278865416715600, 0, 0, -14696520384353794620448119040322800, -56038826726085413479188084215460000, 42454652422752764305665110745882120, 0, 0, -15335040102744850577562334268373120, 64093363181927668246848011635500000, -132529029270483850810568556122414280, 0, 0, 23017649051433711685108052066651700, 45722371305572392333474670179392000, 2963980279861214127627409968801800, 0, 0, -14225198869111259690440656907341560, -17917902118673380216508990870688000, -133648509186471513501581111554075200, 0, 0, -53806831086062208807055397269916640, 19951769650318535547146913208572000, -84660661366388845708255345808077380, 0, 0, 281301059718729756885891853949136000, 74088355237362691361021910362130000, -53937972228690356918146580030254560, 0, 0, -83609482363888488668915990505157440, -80889751110093322973130133395000000, -26938664003942860704269422712120880, 0, 0, 92335540114014855373540779007869360, 92522559244686259855225385218896000, -143635818980961650901830694344956800, 0, 0, 77598634670694451071212512451550240, 145725704307760182864632710011456000, -18405382107358941588937967560588470, 0, 0, 6463680781686950102728786094429040, 9902019837383236249846604998608000, -53507036648617336346509533292774560, 0, 0, -107935040781391250926171914864902400, 50592341679688661221030011472872000, -122699720892018650191351664675667480, 0, 0, 329498844800075522649711715417674840, 154093822705055947427260146785250000, -40375760779909805961346578865993280, 0, 0, -129933022856246686854079808316822000, -162489515684843846001810414117393000, 82310901710318304255863324336268900, 0, 0, -285731412175631334988217244109204800, 66330627214577046377420626666346000, -140533020177660416021784828538886400, 0, 0, 37947969223282944421371028154924760, -49423190564071783205864496006804000, 79327788938554489165833419929075520, 0, 0, 7156150989669023874933925545065280, 11299602710234693135975528626050000, 60949392510306823875063278493311520, 0, 0, -143048027573739482688738389539418400, 81787327776272167278906380312500000]