# Trace form for 5.13.c, downloaded from the LMFDB on 25 April 2024.
[0, 10, -2, 318, 0, -4250, -175080, 279598, -469980, 0, 1552150, 312620, -2359992, 5290738, 0, -5821650, 30547960, -41269502, -140573742, 0, 334988100, 107493420, -155490544, -510099842, 0, 942201250, 1475846420, -1993958640, -3562106488, 0, 5922516000, 3077089820, -4623883832, -7503698004, 0, 9330787150, 7760793660, -2599618502, -15310240920, 0, 15901243500, 7412079020, -18593270064, -5784410402, 0, -10510145100, -7382547880, 16053249598, 42572492208, 0, -68314688750, -33139878180, 96763417228, 101763514618, 0, -84180068500, -172002747600, 27733489920, 135238672320, 0, -220124568600, 7731718220, 193287375176, 207465112158, 0, -338075024150, -60815472960, -80010636002, 204699541412, 0, 376969924200, -46557252580, -13986370620, -448527032342, 0, 719724648750, 305095930800, -425580405844, -1690993241784, 0, 873032236000, 1107831051810, -671946416464, -91118376722, 0, 543768569650, 414117747320, -2078422804320, -1842434230560, 0, 3098742811350, 2737742572220, 906853941448, -91295366484, 0, -1044695070000, -3473259523680, -1409507601302, -1481746533298, 0, -1507308300000, 700792402820, 7207151564136, 5924948092318, 0, -7406477764500, -9617353168180, -2227672735202, 7499383622640, 0, -2102553785200, 5928545713020, 7615474251088, 7606165451938, 0, -11987938701650, -5726891520000, -6431318654298, 1069090481640, 0, -3823822530000, 62079973230, 20130869515856, 10803495399276, 0, -611402656250, -19907322914280, -10198603450802, -21850476489360, 0, 21486456890000, 18271015923020, -1192624333824, 2836712863680, 0, -819478062000, 11230641276600, -38297269754102, -37207521892944, 0, 53400081949400, 64525389971820, 4743308479016, -14353559951764, 0, 246281520000, -42520230684580, -43750351740882, -42682306623988, 0, 37287133665000, 39927294025820, 25777575464400, -1881961980342, 0, 4831328511500, -25069952051280, -25941551335502, -29941785766080, 0, -3920547320600, -13783143805780, 46855994791698, 54026326045438, 0, -42180216081300, 19129491143720, 38840535633598, 85806557046240, 0, -88012450842300, -67497321337200, 6331215536488, 94040338836058, 0, -113884118101250, -97592356396480, 16623974823360, 148424580824160, 0, -143848306374000, -44447132510380, 169507068784376, 28965267816396, 0, -14527950015350, 6258145585440, 30755540430956, -1078109665288, 0, -18502596381000, -139828485665380, -83566589560992, -71036285298302, 0, 60482891770800, 53421982059140, 223099274843098, 52100291320176, 0, 176968563637500, 331671109211820, -483956085486604, -209589361973280, 0, 164737713651500, 20399773246520, -119318078264718, -109982388976472, 0, 9244869118800, -80248834952980, 8954710052308, -346301210401044, 0, 597143314718350, 735667464679200, -29029906239124, -569811910031460, 0, 58628799583200, -795012498520780, -872716435301064, -263095571381042, 0, 433931668200000, 1174305141056420, 906791731520398, 377530963642080, 0, 297097756844000, -342139868073960, -427091846246400, -581437277434622, 0, -371095561882850, -655367877176400, 77852295790080, 1084324115969704, 0, -1248590423900400, -148054385764180, 545950347405474, 604134079931358, 0, 412532467721100, 270884522091840, 288924975293520, 68199430080240, 0, -1576147550843750, -1017662875628980, -144311285135352, 486901192242476, 0, -883315213360500, 204415007356960, 1273052087907298, 1748988683589936, 0, 490325240419900, -547885399557600, -155161891213024, -234229708341362, 0, -538161153809150, -2133518646391200, 471377992299840, 1271790536081912, 0, -1021856465610000, 690231418890620, 1793462974657288, 102844768699116, 0, 482858897427500, 1376218004865120, -1367392542175502, -2559705765436440, 0, 194787345528000, -305731014700180, -2386124119984464, 597605090790478, 0, 1128805946496000, 2351885001891040, 987298507056236, -2000171322513672, 0, 3619790392536000, 1856915353009020, -3316199682109052, -3162643826611502, 0, 290042629890000, -2697881626287000, -3219373859518080, -1140732543719100, 0, 2061224216355000, 2756668463247020, 5736609664706696, 1778092375431036, 0, 2670322193631500, 2739820619110620, -3098588032192802, -3745293313156736, 0, 1575646172325800, -2251713549168580, -1501516707782640, -1968867458848862, 0, -3898728521905650, -485071899369600, 939754599470098, -1199571318486024, 0, 4240990978959600, 7179635612171820, 902178665180816, 2240844739184880, 0, -2291277562463750, -13157824019034280, -5046846076733040, 2364077231156640, 0, -2422900862448000, 3788703086362220, 10670806804013368, 5799027280755858, 0, -6181828983142850, 1618269318035520, -5405227033720502, 1775695083793918, 0, -7749509309094100, -2665039220245160, 5569408161812520, 10456793013562800, 0, -4002048066883200, -4404647948260180, 6927202001645998, 3843168028408320, 0, 1500161938200000, -4608097392765600, 2737315069877696, -2028070913932982, 0, -5488497683528500, -7716244560984000, -3549485429513364, -1166736822931080, 0, -1971890727763500, 7408400594954410, 4858670580572876, 5777145207896634, 0, 10028300307960850, -6299759860445760, 1402694319982798, -4114937864739152, 0, 555406402214700, -220075021102180, -5338782926788704, -3486827036344742, 0, -10590966529781250, 6992307621925200, -9237395998861920, -3245690741692320, 0, 4260808997496000, 14646163712747820, -7061951745041464, -6137762385708722, 0, 13697232695072300, 14961738538556420, 6039090728917842, -1585951890912388, 0, 19035538037218200, -9079503409942180, -8785265469454980, -20804024485113684, 0, 1998652853520000, 6056689261920, -10399485381065702, -16211845809910800, 0, 15669412115845000, 5152670718038420, -9250490402286864, 3827046078562556, 0, 22226595774207750, 16141001055100800, 5477043674046956, -7412765031134160, 0, -5148250371461200, -17943170636658180, 4895315207276008, -20281200604162560, 0, -17183129892291650, -782566329257680, 975222127093440, 4240381373405760, 0, -16729059370624800, -4944411976595380, -13271704155392944, 27065072660772558, 0, 20794838360886250, 21848233569620640, 30048696862084556, 30449061762512312, 0, -24997907454508000, -6511836297830980, -6114190799723040, -19305251835832022, 0, -16753402592076000, -14551515697606200, -2902771012970880, 36716415294676056, 0, -26932759735068000, -30761280037947990, -7597669022799124, 41151961424379598, 0, 19260957056760000, 5631905996814920, 54064052999343600, 1369555270159712, 0, -37116316845701250, -35556119262214760, -6218698466373572, -54534230327926164, 0, -46492766714240500, 15394103574926400, 35171587409955298, 62166291953749920, 0, -10271404593896600, 3521667372510020, 4573358105006592, 25612999017889438, 0, 43066573463702700, -40419399290125180, 16725858426097198, 7735649781650388, 0, -46783385513461800, -74554202272863780, -11362068752650800, -17129720828085844, 0, -33781654800000, 94773465434516080, -22649731794284178, -15707049481603440, 0, 51346828711056000, 57416338157679620, -74186643277340464, 13971580031965356, 0, 31743684275054650, 12038524174708920, 10819410115721998, -20266380793798560, 0, 55179523592064650, 9104888699045420, 18480474494537856, -93074673786216480, 0, 8517654872812800, -36449551636269280, -85911352590995284, -85075641877294704, 0, -18031876065562500, 68243288039863020, 29037802122202496, 48864659883541918, 0, 82590539100891500, 110036868742757440, 42382152212664162, -57302639826662488, 0, 76685851614313800, -78810095225378980, -91599244583412512, -98524753105723200, 0, -90029840639121650, -101533753425557280, -45552624650277844, 21647203193920504, 0, 94466164457505000, 56529292914015620, 72479120890006080, 66110866936346158, 0, 86001362027827500, 34681108881779720, -51814544407312324, -42650145058967424, 0, -13520026526314000, 44044235155717200, 59295368831995680, -9683583420347284, 0, -116598212449462850, 82691353907787600, -36031986183625920, -18098325030305820, 0, -73825848260478000, 15355970302033220, -48034341769172584, 134975117259442716, 0, -8052594027885000, -293612229321670560, 117397411448331598, 143464761324011612, 0, -35106788158090000, 74023996162003200, 97900665890120160, 7832266742008320, 0, -194457864229192500, -70846280352862800, -119733359204261702, 15634137706738296, 0, -85850342020319600, 38916997668234840, 199861875472284176, 155169295460051038, 0, 42581449719825850, -189865440738746680, 83096872056127998, 15248707981569840, 0, 30956494671180000, -191582850810680980, 51718488700642016, 7023138851391276, 0, -146913023329951250, 26307239917698960, -107333595995099102, -10091111726459518, 0, -40861253309376000, 365971523277840620, 116612175869291736, 96728675976231596, 0, 74483176206715350, 14297972900517620, -94944159161024402, 9217401086805192, 0, 30742831742067000, -140224102234242180, 65876704745308888, -50979782841995702, 0, -168910776001486800, -214956369705976200, -192229289881603200, -122692428432189304, 0, 99878649807600000, 109343300497623020, 10289563209738896, 148182271829866158, 0, 186578334442607250, 334732149623383440, -18699477929294402, -125472641905890720, 0, 224795529471054800, 129678665460789020, -38269491712598652, -166639453163254862, 0, -98489189945625300, -226119115325347200, -108941646022775102, -308393564145684624, 0, 159170001124057200, -90657838912248000, -208994183714171944, -108275838568568640, 0, 216327370953906250, 180379981713162020, 9641343041922240, -127124564946897388, 0, 235124296893228000, 325737722676383420, -2281195825430400, -245683740865648404, 0, 31253587068727150, 272341769288323920, -26586637819619462, 13073301184775040, 0, 149425818777042000, -270352336678967380, -92663039859803664, 113136734991459598, 0, 158458288748668800, -139348674271784400, 146530989109817998, -53096464020186180, 0, -266481671642972500, 136067345188440, -163413422937518072, -213044646155389382, 0, -30138807536588500, 388145213338953920, 8154621619186782, 284435422007246704, 0, -137828797949779200, 63816046621385420, 88452419702083376, 272133438544112316, 0, 106148247667344000, -673791972353463180, 78865282148328480, 198085508103488312, 0, -559181815647349800, -516857927211656360, -213091299861954624, -106727236034605142, 0, -115302777557850000, 515751284186492260, 438225285789884698, 466290810570920616, 0, -275635506723732000, 535281733947818220, -104273236643352128, -7632028079845922, 0, -240764091925965350, -307828422608770800, 486440187139930080, 201032973263391088, 0, -211749358699066800, -1125153564478487380, 444839627855071348, 71289617900218476, 0, 311728079540610000, -207398470019558400, 183694201323101036, 521495167094128800, 0, -120490093724005000, -498085780921801780, -314587038210594480, 274601938067195280, 0, -445950149459428500, 1547575805758655420, 274737852839469596, 239796974768636640, 0, -197571663605342200, -38276192292912000, -308004542187163200, -279418583180840404, 0, -102415636052161300, -1548963613198566000, -79762527125290560, 95505637757684640, 0, -323310421765686600, -158260669785152980, 430023159993113278, -68743939354208724, 0, 580066641208800000, 1278729004772621160, 34924399418357998, -481927846352056560, 0, 57759816175814000, 758718836220433820, -834864703583783424, 114281654424546778, 0, 145762852693323150, 491849474199535520, 187110781032702956, -268943069667300144, 0, 548966023519628900, -976137063325545600, -777889658569409464, -1150139845506704402, 0, 259653499448325000, -792115911312570580, -316904892744071838, -21961998622499936, 0, 325750564222500000, 812734067921848220, 488917844639242288, -1728779289689364, 0, 1206277607865591500, 2240089535659464000, 47251066004579698, -647042022388063080, 0, 191173043384010000, -459466178609327980, -1036341765418142064, -445907427129866160, 0, 55796348055332850, -1029335749622119480, 76710212007014160, 305219791541398848, 0, 556515108976622400, -534537315071334180, -237782398091653412, -580927952028640142, 0, -16091013944522500, 497208709378456200, 259586994689200236, -351329203331867940, 0, -101728682802432000, 1282977009354894040, 812030558672296616, -87522152213260800, 0, 347370782666999650, 310073649760803840, -771335628502684802, -537504381686216788, 0, -51809200398504000, -828263971660939780, -7846776214532640, 1071764197399466636, 0, -587722859811625200, -1761737735744613600, -73441132118534702, -142412550992879040, 0, -139036663166645000, 1376801994708115200, -754074005219179204, -577587937167677524, 0, -1327392299027636500, 860324308045931440, -113218136828473680, 693453034153934040, 0, -69909200562025350, 1160588460630751820, 1299379496038110720, 2082960245411317356, 0, 253741175657738350, -2463925593567062880, 431955894670216320, 897797015415077940, 0, -379974601743400800, -2243892410698849780, 1537694574897395736, 911735055955191358, 0, -1891398526039852500, 158664444043432800, -369502178565027602, 279459559704247608, 0, -607443614041252000, 1420670520443715420, 838539450727566928, 880605871083767702, 0, -504789031582042850, -888986341074902400, 97260575032336320, -618581903388972120, 0, -343378868643708000, -1785289269156208790, 2082322700548352816, -409730340688622484, 0, -988037695014074100, -3025861859829185880, -977801522775660726, 1000781594681354008, 0, 175228302816900000, 2583556742128823420, 259382295829563936, 1761295349684586418, 0, 1034575673049684000, 2494144960446824400, -881778921697797302, -582676401037693248, 0, -268092295341044600, 660664530346194840, 864234023288358776, -1361815938000279362, 0, -2009449976873789150, -3154009555756663780, -2372925737144752962, -1333360949494905056, 0, 1914805438629120000, -944475519520207780, -604966795002289800, 710127563108378658, 0, 1343329590075718750, 2084365255310875920, 742720740280538098, 1122006786455043360, 0, 1604845291287392000, 3452833584178771820, 304701411257346558, -1210397008668988322, 0, -1161159464623272000, 967145593910459720, -1068883623701521202, -1183679813985630960, 0, -678512003241132000, -782510989037205780, -916452801384675752, 666498524026884480, 0, 2372858113458870000, -3304681370893483200, 498408523317934164, -3184393095110632500, 0, 2116667849151682500, 1093731230603101220, -1200092006368078208, -2354036745610010964, 0, -205264580137388500, 3988093967079889440, -1131593885362005602, -1909205263442469688, 0, 3440181887167275800, 3190672702085550620, -222754162975202880, 1305706297070643116, 0, 2812048444382978700, -509988724552363200, -223904155886554324, -2784942512934639120, 0, -894205181951010000, -4429622730039607380, 84803463843061556, -1721877044625014404, 0, -962012843275388750, 266187626816542520, -1211932973488960878, -1153253914326266880, 0, 41961075240192000, 1692136381253823600, -1101245641037866532, 1797269036635495596, 0, 1308516907463912300, -326080089474690600, 1846262288081333698, 4523730073756454704, 0, 1175245467570895400, -439227848492476780, 264897821841449736, -1266301857345645844, 0, -3093448158088200000, -3192140100203236160, -2393078605242213602, 300702802250161920, 0, -4006810623000825000, 2734803076301005020, 2147892898225490640, 468936606015120418, 0, -67344780819248500, 7121748362721112800, 3516585061121520960, 2081206475136358320, 0, -986130530033613600, -5177372567945048370, -1783970393815269724, 1393607217834221358, 0, -1506998554673594150, -4470458494748976960, 2017695405920373598, 4788053118145711260, 0, -2057302427362419300, 1788440697283207820, 149763950642542248, 1105612858682837760, 0, 2040349224060600000, -1262938183230066880, -1184074249567396502, -480535047899178384, 0, -3944239022500378000, -4887569772127503000, 1838708713060333136, -3158601892930210322, 0, -1189627488352395350, 3529874323392048000, 4555927979717272236, 97982674690638480, 0, -1546778506298242800, -7510565942299493380, -379921709375562784, 3816820113146092716, 0, 2955140340893100000, -4824681057799738080, 4911863758922006098, 6978910447517790600, 0, -2556073829119687500]