# Trace form for 5.17.c.a, downloaded from the LMFDB on 19 April 2024.
[0, 14, -2, 7908, 0, 192880, 4417368, -386452, -10493340, 0, 398727830, -539141632, 1973309928, -681358582, 0, 3514452060, -22953579016, 13124182498, -11293583022, 0, -20186820060, 133652286048, -244784660624, 236373052228, 0, 13144083650, 223473840788, 608106053880, -1494176423768, 0, 2252131613760, -1105223074952, -2024535639992, -6385551058704, 0, 6956678093980, 12514339524924, -9027827087002, -7824802789560, 0, 31912538913900, 39543901484288, -70814500818384, -63017457929452, 0, 126481294123110, 44357914058008, -2826187575452, -405160526368272, 0, 461109216233650, 208649050954008, -389623094881012, -275142037498442, 0, 330504874256560, 865011118900080, -644237427525840, -991296507673440, 0, 1631207111049480, 683634528395968, -938995013191864, -1361911146729372, 0, 517066464980110, -196778043917184, -181547742064252, -917821658187868, 0, 1066699466039880, -1337544011098792, 2573199832214340, 778038215296478, 0, -1442550824447700, -233750796900240, 1099376123524976, 8472064951325256, 0, -14934736099860320, 809940307363794, -303814693723184, 13357181209550188, 0, -16045734952112470, -20034048539985352, 17327533268211840, 22952328705949920, 0, -21878453293909290, -24534035720748632, 40652972845631848, 15958372062212256, 0, -22489885958711400, -27488119051061472, -3303551663290402, 48233459501789102, 0, -9389532041392800, 25469477653636628, -9445586054924184, -19826028359942092, 0, 26857291522972560, 28775861346365068, -21698100656597852, -108925749142998480, 0, 6930181566350960, 84358886335719528, -117686774679611632, 18166252923352018, 0, 150532623398705660, 83208864146667840, -143631354813368598, -370997593832737080, 0, 518965506653986800, 65772777334268562, 122064032642690576, -277211186947708464, 0, 56747653173682000, 214797966252596568, -237227249641539652, -185924260410491280, 0, 344146888243580560, -63212419942208752, -417244625484910464, -28810063548417360, 0, -167101065736367400, 288369619349079480, -172913593892614802, 52170796018722576, 0, -684650897138293960, 503408193731297088, 927708916891641256, 644717450444952416, 0, -195423646364469600, -1952603872435886692, -26925250082620692, 699031250131208332, 0, -549129446967250200, 537764512799526328, 1770458347892624400, 1730774152149625278, 0, -2239385295132841840, -3249568685290080912, 642906462138809498, 1443456631445895360, 0, -2066156266499975320, 815623698487587488, 2883657155608334898, 2295589649983627268, 0, -2942421514945691280, -2966205788963978072, -2744939552930811452, 1386499838556733920, 0, 1998707776715994180, 1302181735170315240, 697100391084197768, 1056556489822780678, 0, -2266234515847683100, 4023860243025363008, -3924220912372023120, -5418901386038476320, 0, 6882209577996450480, 5188767740473078348, 4769964755205089336, -1896399769345107504, 0, 5101407261221989630, -8915130381641301024, -6035854572531326624, -15986522182741331368, 0, 12022956155844720600, 8823525931498007288, -565317671551728672, 1297627910745336098, 0, 227122919750990520, 1533319809053572036, -21270428756396332202, -17875559615154498864, 0, 17271999455083309500, 27556565790801479808, 6890845032882450196, -969905573870336640, 0, -7643876083627861040, -9489813824406353032, -17102751313222677708, -1915455809717207512, 0, 17998203752208294960, 3539104096068040768, 13892228582784991828, 21542057224256263776, 0, -9014752529896830740, -19772059615321384800, -11396639877277379264, -22700348864625121380, 0, -17407430104603314720, 8283343609979335628, 59998039564704871416, 24711711543344077628, 0, -43754209897947433200, -59388830045864762012, -3299181317181436052, 31486852035821564640, 0, -5516376609402912640, 23158309619350826976, 26038010170738449600, 43725010316774104738, 0, -39507536021367351820, -64922008461481771920, -34834866601163880960, 28691648352978777704, 0, -69321636711992001840, 58505623589111248288, 89798039961263549634, 75575223403157375028, 0, -50228761444951099110, -75786381242237478144, -38583557988052250040, 60711914388497763120, 0, 34302259962751888250, 28154337549413468528, 24567351262595460648, -13656182620295558864, 0, -19221372363331569840, -27096046583021795296, 2325590615634174898, -140666859903193350384, 0, 86458451858257832380, -4357470115142367840, 22954076714383817536, -21126115478616524132, 0, 43128718290475769810, -8018352752926526880, -100287982143511548480, -171928286729369859368, 0, 241209392977562583600, 82317346305879300808, -48711887138581363832, -122014283959910007744, 0, -3801544889472311200, 348472215542096272608, -152739278538462870502, -84733155486713256120, 0, 180501298096612814400, 10057720215493094048, -223457157681735827184, 47627207635099257788, 0, 91131025900667065200, 144574856895312541856, 8191341695401662416, -186665041605200379912, 0, -16125572039623101600, 166386639141005687688, -102098456995602102652, -216069388735732534502, 0, 259695089314091035800, -554384926310559213720, 109831293324653146560, 32349552845608301700, 0, -66043245650874090600, 152558438325837264928, 138769592853664793096, 19695129856642313016, 0, 147885660912749460560, -46072431547681585572, 254129513575380365348, 146381097209334448384, 0, -681199351168634148440, -550789694089069962232, 3758287992745340880, 134559860463938585618, 0, -315065261993965432740, 539293264784830707840, 542716127198810688298, 1166591595909846321336, 0, -267176667278183625360, -940287848488097146752, -460708724325359187344, 3479720355929054040, 0, -494251430429523217450, 780677919224749979288, 497005500168174568680, 934183566202392978720, 0, -1322643958520361650880, -1026376354039798077152, 452261265497374787608, 295476774130709345178, 0, 586928088085975117780, 263943373454839437888, 250259949178461165998, 75588157438164320158, 0, -888385382772470999060, -261904146094126997024, -851217299020961560440, -274209811629961572600, 0, 164335783692030999120, -632018567521823623892, 1406094094834935666748, 367814994982405983360, 0, 896685127115201294400, -143158567528954730160, -364135406937268157504, -1416392346785530668242, 0, 538051397484336601360, -822268517852755020480, 155403195134532110016, 560794969460619918360, 0, 474521636374436553300, 707746888119765964334, -720373020218082719764, -753484474911114136836, 0, 2235687624587596238410, 4987732389981800918016, -538530496008488566852, -2607247252597190791952, 0, -336797071673575787220, -2218782306958812767752, -4052748432818563291104, -613284786284747873722, 0, 753556804270454176500, 3639272509570109713680, 1164043895875395323040, -231272945155726572960, 0, 2751804334898319508800, -80919756425421208032, -3916163824214619424184, -3716625656060486679812, 0, 1083297322904299779760, -1099310614547388870652, 787812687358788066372, -444900053122410033668, 0, 923408934415930389720, 1546374164942017657048, 3415178325515171529660, -703068290332482223344, 0, 342278392223615534400, -472303674518164487712, 456400600643394885398, -1000527196606042664400, 0, -1478434427791664548600, -3450119392401313380772, -1762316558902830491184, 2700962379569989981576, 0, 91273259801022115680, 1478389849008700558080, 2931043461220190581376, 4518165156087654987120, 0, -769980862211341950640, -186254546553387663672, -759873310634734990072, 858124009579748393520, 0, -2081984859933739798540, -7496366093453736851152, -1179809303630040553680, 2340956081966813705280, 0, -8412254710916918994720, 3326462928148343869408, 10556369189386544208176, 3953238691266661360428, 0, -1005227149406093122850, 229020251994561772896, -3345666637275439851824, 3670616514316099860632, 0, -6990150053844175279040, -5049364831069970686552, -825223113386100220320, 4685316295527188727038, 0, -8506915497346996627200, 912677928239892086280, 3789319101893707139760, 4017599973059708823576, 0, 3435613833345252976800, 1492485475061026377774, 2311177173284087110636, 2763193127273469287548, 0, -2967888266379881848800, -17669243509326446894392, -6734845759133528908200, 1322435904837452619232, 0, 3232516106311187075550, 5883749963102550325856, 22565090274629441662588, -92432561181624223584, 0, 1873022638739832953360, 10491066497124695822400, -8870032062763908925102, -15189339758415999920640, 0, 6862286585837449990280, -5972412358963907578732, -3621575552663271263808, 3104522268764850409268, 0, -1681345247960238862080, -2661227952111302789372, 916551063946225600348, -7654348668000980951532, 0, 23186656253294343577080, 26430691095526980846648, -22533182745195456034800, -6101378555698698571024, 0, -5848248653136624312000, -20555602710245792347088, -21843917313058537108938, -6900050951425596051120, 0, 2257696794871804056960, 25153621041589395363748, 19956107480685697208816, 7882524951605250047376, 0, 10536874877463556833430, 8063413853461341888888, -10155995556683809285252, -41122562211788199178080, 0, 11547361556644084181290, -5344477632676540453312, -9903371046061555098624, -1367372625215168315040, 0, 5516830853455838746320, 19975829252246682045088, 3142168034848699561856, -7286739960019672700304, 0, 34394806215332634433500, 17528164248362541638208, -2097825176388812945504, -12470268326732343385292, 0, -4534279171148538506240, -36852219123453429173504, -14396618469162672344868, 17112289466317061090632, 0, -6530595842442280000440, 6535743304555079035288, 28774056283920028281568, 8536285640189234656800, 0, -1033278422791103269940, -7138012954875176149152, -20058809087348861459024, -22231294845134983010696, 0, -28168686144752940634200, -264191014809458081692, 23477240741517402481440, 24206513103343681937228, 0, -32364321690853706971200, -15452411011198964475512, 30108758315480360860136, 43579337849280423275136, 0, 26366466184281391747760, -3217116272222596573080, -1485481634649807886560, -10754937499270507512544, 0, -55886886520166109323020, -34907225871541984193520, -24745480752963552222960, 43143195628604854336740, 0, -51702417621589696153200, -15677792099734235290412, 49048685514395543594456, 67498580972930581586856, 0, 20047303774889872017300, 21191594078310547715616, -10186373688852846830452, 8578018461170001311132, 0, -56542536211747033761200, -29054977137293724028800, -5759527318204710258720, 12178154534789956988160, 0, -32959426677643164494640, 15228323863089152868720, 49103906149991358275398, 9952241369408092205496, 0, 23946215947673635347280, -924986183200004217504, 6597596405726970801136, -3494739332959025997932, 0, 53439110322086060523110, -74748856307999307689272, 37853482212990651693348, -11065657661725798062480, 0, -35688021632953509952800, 5905531771050886472608, 27740472300555856252256, -52396479894075318538464, 0, 11020230246195159100300, 1273440181415838635664, -5631005398629771512302, -4386074537821009656958, 0, -12799923371592338476800, -11249447823256627216192, -140117484230439516724584, 4739723175930901060096, 0, 77729377853334546317970, 170706426884571976231348, 23188785853748815859548, 6347436441168748317672, 0, -29379142589953689388200, -57423014473372251079512, -68295305869813815710632, -119050584854677943955602, 0, 14309715894710029621080, 35541944771891423273400, -19581662526760868277600, 13776896990480239916296, 0, 131686376794110086544000, 28051515125768170488928, -72186896832229854828304, -62415286855873901937972, 0, 96210257414014143269040, 187964713844706881265936, 39255678221492181000548, -86228161590571502345760, 0, 105553719395494844194960, -121020446475590305712392, -70372750486836031013052, -90886108872602072295382, 0, 22578135367828394957520, 43494951260693594808960, 33528962868027656057698, -14816893253368887196464, 0, -21972700598743282483920, 61855228963212487647840, -141523542559551085470824, 40169607429254472454080, 0, 55769438472389594228750, -51117021445564529597212, 107500136887356828289920, -73863940615827423215468, 0, -38997791086098845255040, -92851206373126424580152, 62007003025338242889600, -71021445780506229029904, 0, -14656749688839342158420, 43012981982171513831568, 12944534964009987623318, 54078173905863265038720, 0, -55699691085708560161200, 11810115101256762565088, -110266042979137191131184, 4032411789149943579548, 0, 144839041821117700546320, -10692565205555501915280, 173453471529852104994748, 90323102821138868395260, 0, -159250928790017779263700, -189130086611816213223264, 10205553530060768914088, 39259691399979300697558, 0, -165902075605769387933840, 161068946654982616814528, -27831533908446916759458, 246262554223581494351504, 0, -323785390033776579354240, -33918456483293805988832, -5249142312086802865264, 147993121917312451812456, 0, -13294034057500549676400, 22556839512895036973748, 126693540209454664170240, 448779645632069595079832, 0, -47059490578654119709320, -153332243298622290509984, 127833981930802805977536, -200465372709366714561922, 0, -252794160515439515187000, -248652522145491751625116, -172126791244202799467402, 99275217799449956028456, 0, -42346088811056363541600, -78400158321622914260832, 277560749265837143138432, 236200037228989454365588, 0, 122357840274368706182630, 24985431950799183819600, 423250688595034519439040, 42681850788695185608368, 0, -92632022147816719081680, -280825117818666059527712, -121140843259017518037452, -176037859582857850202064, 0, -237732250373027642029800, -397371266914890516998400, 36848262480298206118816, -181239439251095909025600, 0, -4917510414136997301800, 528481755804022575384128, 162325876156746438652560, 265578052936044251568840, 0, 370402169840442926322960, -18478417490632656756932, -240562415280617773271704, -288081749358090582792480, 0, -30928847073760208197240, -51870341620643422587840, -336485149264791806011200, -231014295429712429225504, 0, -79237130900197769559680, 545081293701474224729040, -212870958366314908507680, -135294620311609679578080, 0, 481340347550478839811960, 170764895732703088135648, -445602873367792712273762, 482195879840218144651536, 0, 249218909740226375232000, 291603947806370898754344, 86405398066610265124748, -363151075302077591346480, 0, 249076338846237671821360, 351880333160999468956088, 311459938138235697620736, -589776189911302198533562, 0, -230279014615183893331620, -128653567134222221496032, -786565542050880734932624, -586767851371825076379024, 0, 302834467686835020840740, 239696628480623324386080, 524796772612801463849416, 275385011854185194189548, 0, 463261280864101149079500, -513842476308464233547092, -171501046548037868178468, -342626922534606490606816, 0, 814732800177233869464000, 450198014841264699894328, -638179421140435925305232, -653518674736871267627184, 0, -550260303449375213152240, -407064458621571322703040, -383481200642700129332902, 7094638663792598802360, 0, 594982501107977816658000, 721180797118987330241468, 737869781267074363608816, 444689124681990016863720, 0, 377433794955880270181610, -716319791979484181049272, -419255461622274002865720, -720742941117538687906752, 0, -276703120454692198069440, -737378204416775839181352, 1251259698103483058031068, -112464298085878228626422, 0, -478530767378285437218200, 1655235571906029523084680, -416504397287054655482784, -351460910127928195291620, 0, -174534171026126548592640, 24564917259205113564896, -358111729909822010825944, 1072729155307594786531200, 0, -128455525751001232070270, -1104659251920554877378624, 300496231470985197707348, 1648044398210625809153132, 0, 278885307697363504142400, 440179548059882713162568, 297814858881626847322080, 27200219503641001611616, 0, -1832510816061432986665080, -1527947014848990018568800, -884487999771374259842102, 201316191041327151113280, 0, -1248886169257025880254600, 1023113243198971097520480, 669564474337330974046396, 1610403992824763243467136, 0, 373476764546716155774160, 525948790893957945722416, 866834408938979966238360, -564952063775890808248680, 0, 151225518947021640959130, -361639137004344643095632, 3457336829712514546560, -534101072355261407817024, 0, -1442258645295264143619140, -1748485100175224408451552, 90752317032176098725360, 901719603168961490372820, 0, -768074313849013258583520, 218149665937033576625408, 1344949619943908135337816, 788053482034158685457828, 0, 1105483982900937170247600, -1215587214118202998715040, 773521261926167498401948, 491345259742476988927128, 0, -982226711441635539331840, -723054948831908282492232, 594774489341969988926288, -238101291963423240878398, 0, -734722140109138632354220, -293253172805249421866880, -671574129031211675055840, -407669758267064917127160, 0, 1147556038304934632656800, 144427053079049666686094, -680326439559550253915344, 740441988078646888010256, 0, 607237742919050335457610, -252878029710831634104792, 393516573428388256471284, 782701263979746809279128, 0, 701661308893635927698400, 3456183218182331225768, 108427214666001756525216, -1492347984597338340683542, 0, -438099985083976158592800, 2694225513197332952872080, -1594859428245027723188402, -536746553754873209344128, 0, -1367931037241432874888920, 1597718796608433487888416, -115530029901623111557064, 435108002842144554216868, 0, 1652482385947719569721410, 1089693541983119537425628, 799951081091029701392868, -751581539635630614119776, 0, 1593891505100604664540800, -1767893215966116062432072, -2687865287054334938281800, -2839148855117074500557022, 0, -1138909537328464441095500, 557998801105687546563408, -1443257721109075574125702, -846947730272978451546720, 0, 2628213925113699553788160, 2635093532088149294200448, -1242142579530221476513122, 730925267690701767322388, 0, 4043057005734370801455600, 1120008795425661101695048, 881654976760495044717148, -2985795522874748802930480, 0, -153674679383247189544800, -3916440408089483312506272, -851381653833590310695752, -2125885283222021824787760, 0, -448285899134316716292600, 1605172729770971496951360, 130650410153552360964384, -1930009654709991987988500, 0, 338167341648072822672900, 68566812582577154014708, -1120229549379529413833408, 369029385879006267896016, 0, 2610016189229496581920160, 5242540243506031639962336, 2803557755499733350230948, 1277021792321212077885032, 0, -677112494931386154179240, -890094649582467027977032, -320793681474184220274240, -1577713699579002320379344, 0, -1822039058556354640223280, -4422053666698944119199360, -116501348389868054770864, 1773034397668914044779440, 0, 2379798695224206785794800, -722311099964461626116352, -2238133572976341324713324, 1397852690241814450579496, 0, 2581556420376144441222650, 947568653863999494580088, 2466307037378656034914212, 1219220633845148798597760, 0, -3854158575266696527087680, -241622750179432352600040, 198131527417834882754908, -3030703391147316118019904, 0, -996398119437701757252640, 708160870525930077746520, 138760947476128505856098, 3194541236166353959562704, 0, -4983112903990847115314360, -3131642488155297351749812, -2239146822774517689492984, 2563358382068260282824976, 0, 1253462250782943270381600, 2549079124006860472962176, 2129878621137919810258948, 5226639715311802124924160, 0, -3328350158252834580837000, -3945424059118313879344392, 1430404904840854590725520, -3556654532810397964602542, 0, -3884719135433655068749040, 4158474171183734928205920, 1274405509685349289342080, 4651796444650668677704560, 0, -4816154219956697021097120, 223290852575082569110002, 84437875125257881870436, 3480853774127131684509228, 0, 3394895663481352422487510, -6472356744928634458172544, 4290494917102891149762548, -2464006870437481453253220, 0, -1053116201255025897336420, -6627587563781996490732592, 2230487670045689334043848, -493448306525407135728720, 0, -4425703758373836177662400, 682839754331422727996608, 1370930331041979075419998, 7282655912774391307461456, 0, 790842515717767972573520, 4011813319795116577466220, -2567012561994433059314384, 1817424797424310627209388, 0, 690574331238101450176430, -2465372001959125349267520, 3354508090274943352198416, 1600489705054761360741840, 0, -2831958930139306060542480, -3839382354661214921355512, 3791134340583231192527456, -2203583173146653626680144, 0, -488771306823964242294000, -669649105946903863128672, 293672350593294330448298, -4886188668857786187394200, 0, 413771668316723507272500]