# Trace form for 3.25.b.b, downloaded from the LMFDB on 24 April 2024.
[0, 6, 0, -616842, -63346800, 0, -2673890352, 1988064876, 0, -791186949882, 2770823311200, 0, -18492861842352, -73542438063924, 0, 227151045057600, -433335898904448, 0, -1227888881468640, 6095219493474156, 0, 2706110098936524, -4132747004902560, 0, 79223562819483264, -206274704562968250, 0, -153687400093414602, 11425252275435936, 0, 1679034252186079200, -1137843910975220628, 0, 7067811391497299520, -15440589345121992576, 0, 23041875850704576144, -14032623495718823604, 0, 25380736596180392364, -121930725979226707200, 0, 209343891033396594720, -114603298148542353684, 0, 311304965429932790400, -346860905830754272704, 0, 51162839242132733568, 107947782097205854482, 0, -479022139696737883392, -124107229893322470624, 0, -1113391638534691344528, 1679273232066520675200, 0, -1140401446469855973684, 7395366373865537628960, 0, -14436777252623118393600, 10013078414594836175052, 0, -8325410033672205875604, 11741892494977734042624, 0, -5418873997530695523360, -5445087092431082846484, 0, 11943290073056639859072, -55632387081854182017600, 0, 63773250138227244591360, 7228988839203443040396, 0, 37723327374597984717750, -4244116415001816243552, 0, 235720510135983845200800, -423484844106082827915924, 0, 102726090691231740574086, -272255725325320387035840, 0, 200996808333809534079264, 319008824808936798988800, 0, -252430535429613815803200, 160152458683551892335360, 0, -1246806301659161625597600, 1497033316223591396871768, 0, -501165623869166897253684, 1979316836866080826257024, 0, -1420600675222724601424896, -1411607470255832450422644, 0, -1834460043482282449115520, 2089562272892008310490000, 0, -928889512249453618354560, 4355386086740154680541036, 0, -1450830803076215209353600, -7995675087644188325055264, 0, 7211155162032840685063248, 181327689950459025714636, 0, 13138417969245383998712364, -16764148652424306970147584, 0, 25117019949413786247576864, -7264834136444276281209600, 0, -8555023882993802001151284, -35178258982809418146830880, 0, 11377886300110654318022400, 1736617125083064297583686, 0, -31042677778289017236385920, 56744818478515660675055520, 0, 9123330221348604958589760, 28231688113560800949082476, 0, -28352801202034143789640116, -23923056160916666925537600, 0, -54122603490005085465534720, 149951531496367460819668632, 0, -193010305607966145362414400, 77203098523385083772716032, 0, 21200553298544891169326400, 111429768434621480733969516, 0, -159672079381926386525905152, -124039602922197497180224320, 0, 136986759046507299727335552, 40140989990927646254582400, 0, 77926598665729533312979554, -689700100466994279510953184, 0, 1016431763441382301023234000, 365238209705178680345420652, 0, -124128453817972404850291200, -1115166677193347618235654720, 0, 484695230718245343205459104, 649370742224758489850664396, 0, -603864776017186566544605888, -1250265258010679653754726400, 0, 1487567503105211673543389760, 563195239006963952383189356, 0, -1393652399795432566795843200, -498465049014095396715758304, 0, -167557975615102208612232960, 22071021938840012929769682, 0, -1244210021539187029230709908, 3630300217995265899216636576, 0, -107878839916542026741831520, 5534769668611519329298315500, 0, -5470973806757081448348216000, -2343423192882654123052902720, 0, -1717066899133895859813849600, 2522473571207675737893015372, 0, -2933320451360000719085007444, -1834350722148631612402847232, 0, 6778813146137739138666141216, 833049013446045113596623360, 0, 3217743768380772640356082764, -8543479948531728725935195200, 0, 4683083442449299843721499648, -5247806444998355344606742004, 0, 2208335626901922981772982400, -4632694776471758704726212432, 0, 9629778211063783732881456480, 1035630076247277566216061036, 0, 2872025276090700275551920204, -8581418969198838639269853600, 0, 15638509244431266854219559936, -1066234204712013616500883200, 0, 3262851719180466021433716480, -13118651628822545708982292224, 0, -16162292479394176769606702400, -16881879025509460707820350228, 0, 438043066983182650170867840, 30723071415923447801332935264, 0, -44118443407157632132698766464, 22642888205473787933722124952, 0, 19109274516819405508799437164, 58458789192388131384851059200, 0, -104022222075185249097323480160, 37836255854110442871720765036, 0, -10851437956044407826494072250, 97381624855440574656790505856, 0, 5157015598962021524365018656, -118926484613311295587615321524, 0, 47101351965078629102569534080, 15413103955253222700538210560, 0, -13978954363189993976937378240, -58916139951736957491294912000, 0, 18800245976485507269770871756, 38847548855733029078645986560, 0, 25355619676675075482644428800, -236379055377776255465995019508, 0, 147261353264294867232778753398, 9539256712551634208061599520, 0, 4915028805786469877161757760, 72281922991872993940904106072, 0, 247089561323788025729671603392, -162783476578759506990093000000, 0, -37048471745109563835414478944, -55941681921796016046939237120, 0, 176469355935142320865037529600, -199114774479165161669491679232, 0, -19196644900383194110859270880, -392430974276124071348152049832, 0, -629724561576441673326042240, 854018314979130115571909769120, 0, -263401101323895213779518091520, 287349516369498300551188387200, 0, -461013933917227235975503228800, -95316017884360817194899595104, 0, -677797298004893963950280224800, 405037969787127168086268221292, 0, -214444398005305850656290676968, 19151634405333399389947658304, 0, -212014527778608116551279105536, 512579960190248542716837017676, 0, 401163475168033443462332832876, 1149921304089337032332290444800, 0, 185079752566815583464823831680, -433656770043071722863262106004, 0, -358583045364698367620664432000, -1419981074121654062828550861120, 0, 904606126202100634111082465280, 538830519420329976958044551430, 0, -1125941958834395538411624777876, -1344883918433254866660356316384, 0, 1958147671926395521257309881712, -292416009924195059511692995200, 0, -92604680628257721111509724480, -647475767781140330782869895200, 0, 1561001452911767951497670994000, -1262053046307337139997812658792, 0, 116176376188239418522670184000, -2497810748968264294383089922816, 0, 3309038386148189625674289952896, 3240124022120177183264934907116, 0, 316702661914562299159456577484, -5247922439783739617214703617600, 0, 311176268934474504817914727680, 987620265236167615895461012236, 0, -3052281032574923498590212652800, 6504508319087803808041641805728, 0, -828264486965683131376373319840, 1808860443085707793581943946880, 0, -4434271615911772032108275500992, -3640025028775024582180666577280, 0, -4568343755070129415606595360880, 9443906597979222415548643015500, 0, -1123610755523510358882092371284, 575923081433299467056421603840, 0, -365751170213589803357871552000, -8116145681548239149238437531028, 0, -3141816849776257963228007783604, 15122590684055138725443422852544, 0, -66056405468950464911737986816, 2218065627544016479892469442956, 0, 176756576709611325515239049472, -18131455564852109971885876684800, 0, 2304260590365939172251022320960, 12905947081836243461646017247192, 0, 4281167934847527224997225427200, -4182357583673505440613858413664, 0, 2255909173184283231448219034880, -7775465559491899563301652682804, 0, 2703052643429067564079716002604, 17329195199699463912562354821120, 0, 1177851819407940561213466788960, -22921900354458635482469753913600, 0, 18176331504316602128771807976960, -30972770048873419468151897219040, 0, 10766204127106465534070901062400, -3865865393344436550772188742062, 0, 7579543323309808419437248646838, -11413092780987808378567293711552, 0, -7361889117450169086901728565344, -28807503972608601085173521770644, 0, 4484147678838770602482395032320, 80115267864589255451517639710400, 0, 6958399789314569101834871889696, -9986483161834400839646119778484, 0, 620243556730339840178187600000, -7807311067741148423924433865728, 0, -40946380924090173000393677991840, 40741047369333796145000462133996, 0, -21129259404611829976168077507636, 2397034802302146244184097461760, 0, -57133584543311304357726504640512, -22332581887029275094157849478400, 0, 45120144195718053129161558541036, 94810884696679573845560046609696, 0, -41597865918683785170021077006400, -28814267783085825480399890187264, 0, 15818928399108462394448304845760, -2349501463066182154323452673696, 0, -29114888689576285102417247377920, 15775571935632828339027641409996, 0, 5780623415094643383508258426968, -58783586964088378630154253744000, 0, -6709524261761857173420907887840, 16653369853668062855482966628952, 0, -11774911235795105708023185427200, 71569051574396910720581138506560, 0, 37916277987646644359376868439040, -18455535226449035551580791925364, 0, 53498496373678345666492328300928, -80824727614977657691390860415584, 0, 72094330292569038761256435299904, 3769218510515886912174560016000, 0, -11498210994889419120050115487284, -127973731818071870202228263115840, 0, 136107394746750571421346097190400, -149381710828098320819353482210228, 0, 52589948601298277363978327201280, 74480403231957669838509364270848, 0, 68760280559388377616385527852480, -52279557805071202244197196601768, 0, -43473206987632052302477364507520, -202642390873289512724139220161600, 0, -42026215490975579904270587117952, 204006729708318224055694296276876, 0, -62921986212514322491431831446400, 57400298544672555946607706079008, 0, -38856009732421357908907020862560, -29411587343940466908365789597844, 0, -133900482100133420007373049637870, 144373576110196669311665369145600, 0, -14235749486876799812362208736096, 374743726140939178653863956627200, 0, -261774008051502374419683286929600, -34992685265610302004867340867584, 0, 74655293740230968050803408180000, 204785228250309156757422962837760, 0, -104803291306197211658286031818804, -7686933208229036216839474341216, 0, -33188837215940806731527947454208, 90256882844293864718197253963916, 0, -61559301938888349461029152538368, -158014940758119616073076736128000, 0, 64618202156521001410815434838720, -167322710074782122631840171051924, 0, -392273240876219498069690207164800, 137783863723260416163708024565056, 0, -206625303082887499493883352368864, -6353655518383353577987844904552, 0, 242516010675935649252527988434604, 80872461907411717166443946622720, 0, 679794127005853610776829458365984, 442032780677553945831061827115500, 0, -96397729251284433335696093692800, -1155545981957099378500323400552320, 0, 288267393790538729686379670681600, 174472037683593791873130183527448, 0, 577109646463192211008812770277120, -568459704640632632441301687170160, 0, 374370777382506687223248495855888, -736683951552560975977016917247124, 0, -155487406508777290282398935300916, -226098028851089944469768105580000, 0, 425970418707487650637404678136320, 620294689808735282611038114393600, 0, 619157404281037035801393638755200, -301630311010480166978479670397696, 0, -24577217480827142102608730160480, -975917044462123775296954002613524, 0, -366861835655864150337568321517952, 1860089712180923832658121351916000, 0, -660323569391134061979894586836480, -627782648499852147236011890384000, 0, -678368593221678084554623493854686, 850438264454699581002216799798176, 0, -1890518874740432029719062235187200, 207071474608087370531551906743768, 0, 416559540975075167168569654446156, -799310505062972733294229409903616, 0, 132466426870616934045891412168224, 1492143131601115582509898847654400, 0, 1092300013605073269208869477807552, 2788804422403480219342485747340800, 0, -1711072258297671018612223868663520, -2534319843113184372906210243837204, 0, -309033846231919504049538421240500, 2364651287245828702076177320502976, 0, -1137175786757619704404019223152640, 1666412459601034622263734573477510, 0, 843095649184517309013271625915520, -2503596887642849449035727633971648, 0, -1098991942781933515062825918826560, -1036251013007967779615539256553600, 0, -542388668952505694561164718510400, 3076180468361295684802568987963040, 0, 1092714609857341177714963632364800, -1601391980243245578266519194247988, 0, 1387805912172894960994856532032556, 1519506057913550389905769754468352, 0, -41654489353241991394787989755840, -5011402954739232388132616595770004, 0, 90693557352146774580258198323916, -4853885244186591233038955890980000, 0, 840594072369915161294520632855040, 2147913346070315739131182202537112, 0, 5964868056504344400738032365238400, -1529392768953377191492953148552032, 0, 2312630167201597858469698939072320, -1474796679266721557474337986156712, 0, -589365834190906760562593124564480, -609609921188403249523593146652480, 0, 389914471523571165933354405651456, 2804660729553795551981075953036800, 0, 3538649488140978526360336027154796, -4742117040027170574321860192647680, 0, -215568787820843629106237401761600, 680928472481104765349139093279852, 0, -5454535246660553245003982556933120, 4136072445766541898350059348667520, 0, -4850889105005461404680022129761280, -462747905651401557259437245402484, 0, 672098014742511449164304590356204, 3681829380614254867303639233062400, 0, 1615317853211178349978439423448480, 2173370063561015995536935081927040, 0, -8576656319468395463957385769900800, -1597655896930615361760304976348064, 0, 1880892722660415967837772952467184, 3060778867937992083873137022615192, 0, -198483794009481658280488686585792, 7630559670640872235946164588114176, 0, -2074532286812082622941872463305760, -5552951345680749815472752933452800, 0, -4947061801028780926731254067022644, -251737326852022478179512196225920, 0, -3212016884071295091849918363888000, 11923691239201504351004986150558092, 0, -632418175010713512855820395261204, -1201211825126301135224159106553440, 0, 1878335889773863742387784149695200, -55812723409063094355645884235924, 0, -12081067317764855680874389841139840, -2620777639301514741124067050209600, 0, 8839447356444317298257817890211840, 11689590528890468817405712500873036, 0, 8057504407631015618326947158611200, -5914942293105362307926386576765440, 0, 10505858416405021008910598078000160, -562535674832577270637312437299604, 0, -8950959305090008723717908113331072, -11170216517659635614722891856429760, 0, -249757843562681146539239411294976, -1506290459446375416314334618656250, 0, 13108972423077876879393189537398400, -27768322230238725382701778279275744, 0, 18703787651020405769757494843390400, -15122949755512790563502625955424148, 0, -8569551499757262714290955537210804, -21027883395262080167235449883189216, 0, 14898878502800345673204149299010304, 16904009523959068624331162212164708, 0, 13869647648570333677479233075631360, 19031058065878031029751740584345600, 0, 3343687414784998281753668705230560, -12542841762862668440036171456447124, 0, -20697738420897916686937962167817600, -4634494839876447989989666210407168, 0, -4823115862600328624697695472668160, 37215263421427548753111313741541760, 0, 4907567548813268813824934994229848, 7166295559898141873359471305207456, 0, -9237617157092363066300525209159776, -42903696296960191958635586497046400, 0, -13776355953596971614845022941433204, 31128829701561678529504175570346240, 0, -9543645729196233846015176277235200, 21006523174350239368681953164673612, 0, 22305032141697009966750961301706240, -5743159656096793965717335881197312, 0, -35802981972721489902052022050415040, 23430613801072780767108842988814080, 0, -8845083339243141556036735952225076, 10443398341605405530251857611198400, 0, -33427985817377167665790072159549440, -25671080964781610272655385027175284, 0, 19079316838849466203551518784837750, 40810294476615524702533198665060528, 0, -8437842142657455431995598972142720, -20947381769706110022958146247542312, 0, -32044827742214525964023005946659392, -13872450571408044253782073572793920, 0, 10367599312594182177195018489436320, 51683900295299121755570017690041600, 0, 3865439357989710434430712242833196, 20055706299689037851700217247206656, 0, -11863136993631504899048622816076800, -43405158416627723988398338205419668, 0, 8856551271051354719005967443011840, 84372358339270476285450532148339424, 0, -12961240734704524280547277393693440, -30204253308033147576830648502850560, 0, 93383770704450175846552961233418112, -72933466690770114354326949589692000, 0, -14869264967812897263369808307039520, -88166617845933603405713720650483368, 0, 13912492226535250838073651119270400, -35459323764758871891688238972223744, 0, 70158535570376376301141566671266560, -22623215461177292390883124199676084, 0, 59001847707148796031678662204208492, 89131511463845733941732799184442880, 0, 15671621546127360176190020209578240, -92057958173163843297329027895302400, 0, -33380596619384352754259433166214400, -42156938374373357157226010733679680, 0, 16277424694085222800604102079590400, 88008499507398670201702518599750808, 0, 64650434129681374229810072005554156, -144547306494554802850662313385507040, 0, -68355020703396555241280411664298032, -38024032787066656981243319961195924, 0, -73541371826281915769986728769123962, 100526925240822680109544457354270400, 0, -40929783388004288077916144012928864, 73110259366198666157964471468225996, 0, 15906185914988222686180782923025600, 40150210011416504949709686056030208, 0, 28304442869016401298712194894285120, -26717064980350857335590909719656724, 0, 25447358044475074329593372550983448, 85699552019485235977213805815323840, 0, -89813269075385385328922494295277312, 115478102801209435911516151559664000, 0, -30722682505637431611193504974641280, 8049427553953867050963227164170240, 0, -32375484077540345106868984271400000, -1544904127440454662573907259037588, 0, -20269552844354176261646473133419200, 11475495758161271465644947791146560, 0, -96809121269973226702996046150160096, 67680901155291255244514810917664076, 0, -33705014254460389806152868384802560, 25029018370329083444475100182412800, 0, 4170303262760706250246354204461600, -74762870919691470130540908394540968, 0, -137839004105429468496975002910144000, -18320278057903915886967481729142784, 0, 24619370150744269144515145652871168, 62931711853391868891036031042243596, 0, -98643309089913070296015734652413952, 82640437974913703937728083483105056, 0, 120007749308153958140136121803044160, 135516806450595116147212588807243500, 0, -109440593952507298008625992357691368, -248334736043468029391027887131868320, 0, 247498070360722757621476203290918400, 117779663161511013959746122513012480, 0, 147423272140683734813368066657212480, -176141997286375114815342944160380544, 0, 127731326065026786779617480293407520, -61249221316123899544830287020261524, 0, -9973364889687423455155064299221888, -463443975978138185761726505911195200, 0, 155631342806848719993274646297230080, -256551896515769621734609557050049768, 0, 112405717426817327129750273663894400, 312711108713911475201961678385119648, 0, 323302888304899738827608368523384640, 152603759509866952578640051655399424, 0, -170279872631422913638180109688318720, -267875151543167711156285535421257600, 0, 17217290204244825199352575444544544, -15829130357674663563588428018265600, 0, -47825234941282011246543677738510400, -132974711321994963284222377768377600, 0, 188279017827201497550186552578191200, 119965397692043622384361791449284332, 0, -83253267017456664344433576922675764, 245580376171715765557916141332889280, 0, -226058514419640749982529300597923840, -176786108632086493008636837385552488, 0, -173134745654315887709826267190428072, -514216016687495740765693619403187200, 0, -157943434980333579942410961104145600, 268088003934916807703541999134857836, 0, -46163795679091635338400195398040000, 771115225621674447816181582595901120, 0, 116858495459780668804068462015267840, 187090372453636086134311516253529036, 0, -166171654137889408907170575565786836, 33096546742936170325935894305949696, 0, -400446816771851153862622656155656416, 341734813430514257769100672393900800, 0, 236376375174947863122722428554245196, -885174381976186753285162369730744160, 0, -57970918764123403867194639576844800, 277594204569114608456712405047720646, 0, 39362951672697944001396746877586560, 855064397012572882252164842776509600, 0, -645386760816062556218488177081497984, -224948580261120853927519637794111764, 0, -48203037505262994269565940635275316, 702540781347750685398841170426192000, 0, -424404894631993267033249871195312640, 316562721021787603124645944861771596, 0, 1200757971110850134459637045868800, -94937433209112336579333111219510528, 0, 278730164914719543863556658345897920, -376601693197139522200329455443028244, 0, 190945403343092112823927598014206720, 913216139409479672497519559176571520, 0, -58139843419101108274426234445497344, -1576977140615876186769044262975945600, 0, -313156503372120015522065092725663882, -733533157320587150025179182891988928, 0, 431601040802254351124869131199680000, 148270357069860705756238283819575128, 0, 1044320633975107253012924863272280716, -753165000268036335465889504200527232, 0, 21333401410228085775044103222508704, -393737461091039703678997501768631604, 0, 229962406455705164744261806218787392, 43344825503498454922959637331251200, 0, -87135852200727736383340298959608480, -458130582408366621709193232845889684, 0, 1291277818150350817523989670937187200, 638070269043361503728369191272654816, 0, 1210680246717180444612815847953337600, -269463413740334741813643321572240232, 0, -518198293184381045829007749298103040, -269622486395402101464616138976974944, 0, -332203333030983351887260475310199200, 341985473180899417113762745257206400, 0, 604848481109093909541399454180995840, -705842939238248247568365415437158400, 0, -959201137800489934545045507625158000, -846373987820654947167020740762873344, 0, 331381660454641201751159062339829592, 579959058859764459471380914870422528, 0, -1662546493318312069965402300309456864, 1497772660289919328800781056263227116, 0, 371830547377728076131438170232182400, 225132793122397245092411221959523200, 0, 13582217842627025218880677734533376, -1718379772614098096359500423146505600, 0, -402692008187888664487369440573052800, 1949403059683906851870543970340667168, 0, 1084425543990975499623219603411216000, -363921357483910826306787448617372564, 0, -1050785776054838126088625272235105716, 2177313330478547054128107566723963040, 0, -769771249189923328383638510930373120, -1129548249457341885234141329621224500, 0, -1464696651166725688957375815816052884, -1131398541034121904378834764002129920, 0, -588058566116378944732895276576481600, 1538472151450885207419232228982152260, 0, 1463314853794890054985235799685557120, 117485105929479242081911187305491744, 0, -1709180170215825393202000244848750080, 2369013762173886037085718537699600396, 0, -578601070382622380109778531960792596, 300404372638604871630909385167206400, 0, -1978887357951203886459559562243011680, -392634366492781398568066447469345280, 0, 1359092495498982959034592376029027200, 1482889672742427719220803886679020480, 0, 1667038250138583601935842857437316896, 885300687706895893141982854348305048, 0, -3722522451948839885231419322958372672, -1618199901719065217885088226246318080, 0, 1589229491433860466361080571061163744, 2854561115312815754561456221070284800, 0, 343580907590019371002378418448289920, -3451886455168201312306510711433475840, 0, 3352885222965495019484290536639283200, -1903383676422870564838309535490986862, 0, 1118059762494640614500689325226138240, -41154395511451494305135833849010400, 0, 16858553843241539909869952446692480, 632205105217234501129973728446667116, 0, 2016686258450215538486744364066123264, -6448804444336492969766865744171105600, 0, -1459258078514199822536890044015729072, -1961296216685713730194328797841515368, 0, -1973197016501805092549500145226220500, -197758493640701758220962070838587136, 0, 6708250287114921644979470646518618400, 965971363108906728604871848990160640, 0, 1009522773259727983420027202918692812, 1168772101173248128436490388850993760, 0, 1601350035792893972298471917042680320, -4275914455542840559646435686146384000, 0, -3684106380759601817633308404763138560, -2583003615110246317213816943365956288, 0, 2796913052535456651739380488088192000, 6567371303663808276735106979356871532, 0, 1271359414771399129550450478117111756, -1664345542089376997069444945223719040, 0, -2883526105619465453891594446733765376, 2793138175676473763906773796092363596, 0, -3413001909853766727328027684869952596, 2194752170134381712699394806961600000]