# Trace form for 3.17, downloaded from the LMFDB on 18 April 2024.
[0, 4, 0, -2052, -12464, 0, -403056, -3141544, 0, 18618660, -18646560, 0, 572494608, -1580730424, 0, 6829958880, -14561268608, 0, 42304978080, -56117116360, 0, 124455437064, -173545812000, 0, 100515572352, -8074048700, 0, -317983667652, 746852001056, 0, -1762329117600, 2471781156248, 0, -3610697951520, 2721261612672, 0, -1219654126512, 370563213896, 0, 7022170227384, -11795287092480, 0, 27587883687840, -28065022062664, 0, 18795326443200, -43994579504832, 0, 41041959355008, 29478262537164, 0, -82841575222656, 42193089120416, 0, -107063660756304, 290253653236800, 0, -335129108488344, 8796421982880, 0, 56126440892160, 362269793083208, 0, -266698363786344, -653949742779392, 0, 1332768950045280, -26774405363464, 0, 58823173290816, -2292362286177600, 0, 2397649754476800, 317628887539976, 0, -1511365865026500, -2008642200508384, 0, 1538179445855520, 4794017165184920, 0, -6444192852054396, 1589112481320000, 0, -1210523902199136, 7999994092573440, 0, -8850169595242080, -3370289894104320, 0, 3549134645307360, 9328538231657008, 0, -2064207396761784, -12859596129667968, 0, 15507630559798272, -13833795002601784, 0, 18943177097338560, -9067888376308400, 0, 15918776711867520, -22944715776609064, 0, 11433510544478400, -16759471105367712, 0, -16916078389550832, 21230991847927880, 0, -5947946382063816, 55146997690916096, 0, -75135030885288288, -14093001497139840, 0, -20103266905805304, 194469772399140960, 0, -107189648406432000, -73695280948697276, 0, 55964211492409920, -12479172064508128, 0, -85962591583404480, 48708552323320856, 0, 205290958024612584, -109278582489460800, 0, 56966737814173440, -429746582764178288, 0, 304642197999810720, 273749853377995776, 0, 80686827628292160, -393792794973458440, 0, 109085810943625344, -317975185462939200, 0, -136667629948537728, 798274547968363200, 0, -208081989351898956, -35701759694510944, 0, -335629169702924400, -389543517734147752, 0, -620858876244791040, 1755649864036474560, 0, -264712427800475616, 476487528690122696, 0, -581364164514577824, -1335619239038945280, 0, 560061454046817600, 2261342191846692536, 0, -585889179371179200, -2314846251634365792, 0, 1549063431035930880, -1628089895008700916, 0, 485551694777641848, 1232812218986056736, 0, 2317206998267350560, -1966849978504201000, 0, -45306680533068960, -4889494988275613760, 0, 1795234374641088000, 6143870636602176968, 0, -575814775639485384, -2397436002637733376, 0, -425819329748829792, -2104992114063125760, 0, -3636060742253585016, 7095962607128061120, 0, -2061126856031542272, 1834692372583673096, 0, -1849753869283944000, -1249612110087805968, 0, -3359951991312982560, 7521970537480529240, 0, -3263067974196679896, 1464854573527192800, 0, -1859428648875912192, -4718956538052892800, 0, 7064149875530140800, 7964473859278366976, 0, 1994949536128113600, -14852856773008398472, 0, 6009999740968628160, -6975283501642153248, 0, 131000474886680448, -2977933445196732848, 0, 18580474239727968504, -3526364715050073600, 0, -1315581566325423840, -19593333569169578344, 0, 3072240120431513700, 9735886265533561728, 0, -5777583563364884064, 6273914558100100040, 0, 12756120871752941760, 14479390036638777600, 0, -19384683479108326080, -12389642210859874560, 0, -24856763842193630904, 20406607889827057920, 0, -20272577273146828800, 37601053895741821448, 0, 13090512731342037948, -3468654905974074208, 0, -18249940830643058880, -1780888113815137808, 0, -33250729492081440864, 25653636511309656000, 0, 5174147739744327456, -22368431310550047360, 0, 31122404773389100800, 7341011070877573120, 0, 45206323461957716640, -7787752544551312592, 0, -21935213591264326080, -113547624723456818400, 0, 54802110266479445760, 48970880585238461760, 0, 38878832252011815360, -19577390417776267744, 0, 57530970893070741600, -118492314119375975272, 0, -58209516131916724848, -22152667269846506688, 0, 21190214346005371392, 186158590348466499656, 0, 13139082113367758040, -138175447803291763200, 0, -674717353533244800, 14282425773890902136, 0, -145581435749357040960, 150460174535492352960, 0, -11283634870639810560, 68712477817696929796, 0, -30689094368417670216, 111470775540641291936, 0, -45807387875108902224, 42971555727804398400, 0, -220311495345486837600, -211551556399637047200, 0, 8231468298977610000, 270585344839526097808, 0, 196127060582879877600, 74793631282939122944, 0, -22863375417785346432, -340652519499129539464, 0, -52666899620768549496, 3429775293319270080, 0, 42593626907319870720, 32156682170668001096, 0, 387513146514948451200, -149322755705438812384, 0, 190133102739287731680, -384824113501329311040, 0, -93881687541188929056, 110221852880673959040, 0, -1548045149512926384, -96578189307259075000, 0, 337347625054308317496, -5415955682360993280, 0, -126258689382628492800, -238869895097811386632, 0, 13539950596252989576, 303134445191981575872, 0, -501847894173024274176, 212133757633703951816, 0, 226573656492017229696, 186430428864816814080, 0, -437278695065238744000, -169982553220441120208, 0, -301749378873197904000, 557654806306666875168, 0, -65469334329173779200, 398166569395762805960, 0, -70813062395401117896, 853439001012596275200, 0, -413344428576191074080, -604495013779764374400, 0, -394448557009705793280, -816292719638445172320, 0, 177466664171043521280, 1037179839756952825932, 0, 1079013886425925644348, -349611581244303315392, 0, -123077175967127899872, -882729813681168289384, 0, -120279108673196645760, 106404942873208305600, 0, 358701907639375410336, -1101118189784915222584, 0, 821152119716865432000, -846326131422192036864, 0, 1562705677173803793120, 1009807790141482001720, 0, -895378999982730634296, -411968369507257152000, 0, 550156785803185987584, -796920905650469846400, 0, -522346946620978061064, -183608882000407153504, 0, 727327281395411985600, 576602882378229662208, 0, -180556868756855432160, -1119992257963560487968, 0, -1127940448769218275840, 3686005944661754311496, 0, -1217134842795733840272, -509861967964770608000, 0, -724752424018842311520, -1029219281730324880208, 0, -1093027722179784796800, 3015970284017981344320, 0, 1325482079046647731200, 330844179645065655560, 0, -2710854870505524248256, -315129498525100152544, 0, -324037361729285823168, 2529596403960456519360, 0, -994410603586540056024, -2362499261429639872320, 0, 1162104966144155174400, 1404781144767245918408, 0, 2278220697973134961920, 43086777976351989504, 0, -891228201008269803840, -792263047778163581648, 0, 1928478816446220941760, -3454152810599233569600, 0, 95609682718751634048, -4607704999134780558904, 0, 1450526011260364785600, 2023278972635628645536, 0, 4129033207481908572960, -555496743050117815720, 0, 533164619548073476908, 64471599263201045760, 0, 88700467595610698784, -4476993900336186134400, 0, -1813311647323742052000, -2606774229766200653824, 0, 565214407550133156000, 3366547665197000296320, 0, 7469771355369929986056, 5018931077821067522592, 0, -6233030338120328519424, 656951739508963868936, 0, -2888844647145233422464, -1809960739182296110080, 0, -7207222162790546487360, -3047916714594852840424, 0, 4111670760221612756160, 11734653713083584902208, 0, 695168944734334071456, -4245369580750084743152, 0, -8790540460198224309576, 10257314581141788153600, 0, -5455294479725429540448, 5958729325537667785400, 0, 1289085768132771695040, -11557764766993677644160, 0, -442406971685477836800, -525490750103117472752, 0, 4591852199035382413440, 6476883739231604362576, 0, -4910537342388516361776, 472717740252215882456, 0, 5272224604269628328424, 3486365004015124025760, 0, -362963966056301514240, -10188315763636764983040, 0, 2247735062238427713600, -9281368594999126971136, 0, 13840761338233858375200, 111316608082792206200, 0, 1909837792156337636544, 602240478743927368800, 0, 2620443004264283466240, -17358464537753750424000, 0, -4073950169610339922956, -5374124924884669998304, 0, 7014149782175129057280, 24154468770995369411248, 0, 15972524340496242224616, -21065851339330001384448, 0, -5199163420038894635616, -2490815324229347047680, 0, -13327632220365749820384, -2793564907522231564800, 0, -4723224145222911400800, -4050685134849489847624, 0, 1951290932461145541000, 26875920913531394747328, 0, 15855215664557670635520, 17282284914390982540036, 0, -30727190353256118250560, -7286478686629364266688, 0, 429313824827648038080, 7054295178378572965440, 0, -11741661328070926666080, -7190355362188081805280, 0, -863428049550288956160, 11680145743915413334088, 0, -12311046732527319589704, 14195230740545394548736, 0, -12800103502609709657280, 34675480766263666419896, 0, 2486463729330215308680, -19627392962161647828000, 0, -1368753417560441341440, -32926611778758728140208, 0, -154595182431469723200, -5951499495310248915424, 0, 26483963555193469968960, 23657716143711121374448, 0, -4642007277148656687360, 6169387612601693592000, 0, 6830516833103547122688, -18444451831174838327040, 0, 367870280699963779416, -26174107903501210544640, 0, 22914628816041189144000, -16438880244293202829192, 0, 28425617951526153285120, -23948080113553109861760, 0, 1873912528532525331456, 13783370245719571700936, 0, 13523309482636886296824, 8672821634739390912000, 0, -6994506007812863397600, -35114883213475148149440, 0, 12912314228643137443200, 11029199104834665255648, 0, 5414228603245745108784, -31606352458611208317680, 0, 2821210100835242475744, -3397747935681386362624, 0, -25545847105119777685920, 39581691708838932979200, 0, -5530518862595931732984, 21211890970984871414400, 0, -20287396134551742883200, 10224254581429830432008, 0, 6599374369450848816696, 44833430785893477530912, 0, -54981180946184258340000, -46919824166363554835944, 0, -13240283127255941561280, 5634872223946472249280, 0, -19341115831568955340800, 88398133300646292794696, 0, 1762571724165237283200, 71748221817917731806720, 0, -11993132276231282125920, -64436245056696783460360, 0, -11539729969326214641216, 68491631591731043956800, 0, -39963796828947664448256, -70004965532192481117500, 0, 21267131030594484361920, -52761349287279570519904, 0, -12350700186961456353600, 52824585155176463121368, 0, 43524453794775880873896, 34636959912741390855072, 0, 3889349142649869042432, -24352215674398057670952, 0, 64024864002265412776320, -39474458439553177436160, 0, 40039710528965266424160, -142952938203380666255944, 0, -21817945566229821537600, -104962087806999333836544, 0, 8125074488547108241920, 108332568984900287142720, 0, 78063754304374405520688, 31547416622327595654176, 0, 75169765837084956125472, -6459406756574374785600, 0, -36983037380920560757944, 632006167090514791680, 0, 44248873065877217548800, -122280881640412737220792, 0, 9503648375590988985600, -68573231760144540393216, 0, 6391011071997945472320, 15763305536803344643200, 0, -101861003187945524302776, 61663177564120549828800, 0, -9167172586340421703680, 180697594065241863599816, 0, 48580457384180611237500, -24381833601651708902928, 0, -81107828576614448138880, -38332283306674201072592, 0, -63991440439299933893856, -117737253328560631444800, 0, 4620494360857748523552, 239546404891527881005440, 0, -81201919319047542097224, 170090106119575718917376, 0, -67173290475495403668480, 16083984699272873839928, 0, -246831937526429099349120, -92646749183079495761568, 0, 138738722905532099185920, 45376003863720908904960, 0, 22131375124806427484736, 11782485893950032884000, 0, 117071962840802818124640, 17009824116940006247152, 0, -102654874879497722246400, 109370127173691219948288, 0, -92179849405908098131200, 127759812437140857218120, 0, 68274076498988595420888, -317676259793110261824000, 0, 59505167595510553754880, -143471058573061414166400, 0, 94410333473721207788160, 79200826695526023380160, 0, 41516842255826521190400, -65877216991120150786352, 0, 97629262417356256530936, -74099747479354800263008, 0, 238574053309946687389584, 9405632992850140317656, 0, -79698216060447902032860, -353482058920007486606400, 0, 54264852278206700053536, -28986074442907651563064, 0, 23948528980407200860320, 23715496368396405264384, 0, 43172844261956902301760, -182521722592639097587720, 0, 57587901603551906687568, 249521867242589118098880, 0, 51561576205691556190464, 120887736979209375240000, 0, 287296756286740669385280, -27772053962557541345280, 0, -272888662655486691720000, -348416813212495610457832, 0, -332394267052758593239200, 149367249291930194790720, 0, -33199689020896233765216, 17601838615576176147656, 0, 201349669253504025386880, 602259131737920882101760, 0, -198134984372579584541280, 436732815518251820594992, 0, -35047283873479922269440, -649478707271717095636992, 0, -390102998800615749476352, 51305688677707285734920, 0, 76119926884841424927744, 81070138585663138203296, 0, -378773159006515059794880, 7799459357224565336600, 0, 19897600484418239236752, 889306039072418946063840, 0, 38807233332962202201600, 84320222572385825477760, 0, -399716150140187197097760, -175969895907078009227904, 0, 295995668622009895931040, -710845029038223119807944, 0, 290851522710148546255296, 398275810246689112739520, 0, -124593677392190748192000, -168835250421237340813808, 0, -19982239018117179940800, -33468948055999850509024, 0, -275843069759684460035520, 273268775914984753615872, 0, 860196087323002680370560, -266240919296613886704000, 0, 16464468618506205081504, -391222327337049625401600, 0, 280389246212381771746080, -233942040820221476025600, 0, 97736616906341002691040, -287232226356013700700232, 0, -179100239625970781216184, -91978405005633535794240, 0, 175989651191650075484160, -342562538596278859767728, 0, 153047219199201113977008, 10754750693437433625600, 0, 764113569132612711666240, 528605539095680239140056, 0, -115097538428512814196000, -561016865472203875613760, 0, -27291193416295564631040, -336847245677805378235960, 0, -172832940324954892612296, 100656389971928367589376, 0, -225926503051853614087008, -111258512255674072114560, 0, -171311596725844492246584, 386180714350236774719520, 0, -202422935135593095436800, -30291967733873235499196, 0, -89974151416289844970560, 261711131326029604385312, 0, -44935603794056376058752, 1413532327826789170980056, 0, 136694538216079404957864, -283613347876570595107200, 0, 191846212016639430458880, 634843877159668819616456, 0, -1455398749778820065308800, -216628855616766154892544, 0, -838174809250924104548160, -363695113534518339204040, 0, -84875256028149485592960, -209542725580939181539200, 0, 802423294218177358261248, 1311017861094250858868160, 0, -638023110591239483168772, 468495687297163908972352, 0, 332491733118241844313600, -205137731883126069536912, 0, 13144844216366461934856, 393047155888995386300544, 0, -70636523853450175420896, -926347494998907477851704, 0, -1194445341353039265421344, -1212106545907666959052800, 0, 394606886357576361984480, 1668979276175711161086776, 0, 1300054680181287106459200, -473198434213096968027552, 0, -66994928215188774255360, -1171504764533412553599152, 0, 907485126958362121614720, -610421472452044701839584, 0, 941377528739474123954400, 893490975598694365483200, 0, 211264227773609404268160, -1276642685832473975500800, 0, -49553407134192773127600, -468458863796479183610112, 0, -1150639108838140174677648, 151034107160230537227264, 0, 1653177650852416970102688, -229272715188955767016264, 0, 224745174107561188728000, 959815982676038470819200, 0, 815413494562042153718016, -2777838725455440620339520, 0, 565247398917841036378560, -487449924667493056384864, 0, -764031107267212821275520, 1434834343799528656661720, 0, 74784297592382215766184, -456597740429934317676000, 0, -740980545172413909834240, 91738014145085264333000, 0, 25425864186344757737496, 1743023081314674178467840, 0, -1092981999264995011291200, 330704700049535317446696, 0, 1184623036494487081519680, -800021926630772726322528, 0, -719801365631197159964160, 567255865755597049908296, 0, -772374236549002194248136, -615458442872973658245120, 0, -1945247512812534006708960, 167731178282572978402560, 0, -220635079764764031460800, 3734035579208676033927360, 0, 824866944659747638178976, 1108395272977127739814288, 0, -2119056569976314152623456, 1693623009140955962173440, 0, -450520557388370764986528, -2640699289538805226060800, 0, 831537202992605205243840, 652758282426433002497280, 0, -1444323967541795691970560, -1375548282467519154672948, 0, 880362762831939325775040, 584346734456099349970592, 0, -1453304172795374905568640, 2148954842205945976632536, 0, 2523480834285704618295552, 774106082161178378328000, 0, -1071796202982874287847152, -1248467704172092724580848, 0, 635909458596342384051000, -1457537758983315078919936, 0, 1200107194389269788367520, -1061490367336314983886720, 0, -615763527516114770948472, -2501190906994605152628000, 0, -860597846876589108456960, -477907360667883920410560, 0, 1470308455027072627303680, 345595083369636415362112, 0, 3257393010879105115776000, 544331674133137721575448, 0, 1767614252123812510950696, -1123029752428290446167680, 0, 863153796580921102908672, -2547051681488025131320504, 0, 152674192737058051224504, 42929908284839698368000]