# Trace form for 4.17.b, downloaded from the LMFDB on 23 April 2024.
[0, 7, 92, 0, -94832, -177074, -1187136, 0, -17051968, -94527801, -57874504, 0, 254142720, 913245134, 1073417856, 0, 4439986432, -8358073586, -11642804388, 0, 26026352416, -27228321792, -138624795840, 0, 403778497536, 227516256981, -608125219400, 0, 1617685224960, -176896760114, -4663806986880, 0, 5762833206272, -767957621760, -8005289437000, 0, 16925800165776, 2413818661454, -20462346561600, 0, 24501932445056, -1327955367026, -20386577111040, 0, 3644055863040, -19975329785394, 5034653652864, 0, -56248898088960, 27705684811399, 118000083874836, 0, -210279285389536, 98705564114254, 366965883430272, 0, -342617610295296, -122486852367360, 321191372059064, 0, -641633781542400, -383495951895346, 619512054551040, 0, -234959061020672, 699899621945372, -54995333852160, 0, 1065376587414304, -265820219762688, -1698017749451520, 0, 2261801294200512, 235441778666894, -2350047094151240, 0, 2768729450169600, -665543599687680, -7024870687386240, 0, 5819231699984896, 1575454067124615, -4270338132400456, 0, 3591637752471552, -5210063079493988, 2096299590206784, 0, 719241463526400, 13469607176070286, 5260731231794616, 0, -9798772065277440, -20365632048291840, 16900683550077696, 0, -32790566117523456, 18568097590556174, 22092056504978012, 0, -33871368622760784, -38289660620962226, 41893687606527360, 0, -24586147103396480, 75187868250378240, 24609778618237880, 0, -821108506406400, -63633663957185074, -113474898672000, 0, -4733252046888960, 99941279269280014, -35179947407877120, 0, 50114698809243424, -214522939696844466, -125239926468304320, 0, 182909287395809280, 245010088578496327, -144101379040669256, 0, 194439552967219200, -377418647255023204, -183357216832180608, 0, 83173663053627392, 535686781784343552, -85805285560538768, 0, 146847417849999360, -383622770597713920, -65349236011608384, 0, 43242442132561280, 526841459486606734, 108595691000248320, 0, -387824747944166400, -1031581644693737472, 327435758518538880, 0, -654619498804866816, 1089162400244872732, 508305112725398200, 0, -609636052218601696, -1156629754654345394, 944044187795265600, 0, -391946197215790080, 1649618514085210254, 539191632937359360, 0, -606874638319971840, -1525072723975506226, 1237014786280531200, 0, -406244882268841984, 1266760816322039808, -345933864687756708, 0, -9036549500206304, -1993494948673075200, -1895740873489298496, 0, 1662363210068951040, 991952009130115413, -664889989837226128, 0, 1727484527735535360, 726807405569216974, -3344033630492224128, 0, 1777774415727390720, 258257294965232640, -1957147930473013576, 0, 3960490065690060576, -163557952331555506, -1058160577041335040, 0, 2516178586516125696, 68675154303065372, -3044448018388869120, 0, 795347703370122240, 567159298785644544, -1906581117836419200, 0, -238714092580700160, -3066453044817960946, 3656139979750020280, 0, -3230423834711890544, 3428118575143223374, 4942015844292774720, 0, -11169483695727059904, -11335071402639885312, 3488562269520521144, 0, -4288189685894622720, 14843328996000468892, 15139032720008098944, 0, 219969486461755904, -13024387469317893120, 7222918463289446400, 0, -18784569541444718816, 28247993507240478720, 5046285937564604736, 0, -8076763467934083072, -23570110887144407040, 10236374107423714744, 0, 5119236019190054400, 9768190382733565340, -12543221795625175680, 0, -9824013911516872704, -24632362954200817899, -14877551907680942920, 0, 26305582193148579840, 27372885828396512846, 4353706774105624320, 0, 26824248741563264384, -28397240364368755826, -26343638148658848840, 0, -6597954065916284160, 39015831084048322560, -35859335343345427200, 0, 55253512672161177600, -34008607899300606706, 8420267115256899932, 0, 48388414524873963296, 39795342897507428686, -59690368461311793792, 0, -23844667818738769920, -37435864152011240448, -36334628248625454224, 0, 18446808909579886080, 10252135302174320640, 58756567601247307776, 0, 15719353588421558272, -11599304889910743026, -3789082076387281920, 0, -105499756588899625408, -4542229816649788338, -2515749705480402240, 0, -9272083031028449280, 18373183857634247452, 113669481925587732480, 0, -10319650389976753920, 3131034630768761806, 34846143289773730560, 0, -163921543116878798336, 71458784996456632320, 24408873609255579320, 0, -8841955515072602112, -72666306320432990386, 255791195502516298560, 0, 9958103504201502720, 79695994907943217294, -44177250691448524800, 0, -175902197339622781440, -212958245144912947200, -76845729205514705280, 0, 19259655093855931392, 115299085966634802453, 155973527933900550512, 0, 125395422020268970784, -114285067532669894066, -223089773485941456192, 0, -105543511244168704640, 195544759417146132480, -206763146977187052616, 0, 291934734237342432000, -227540465451709089792, 152780824608451370880, 0, 281429615677332049920, 406035116543773725212, -232863981071422134600, 0, -108891224255573975040, -202463359860034787328, -442221321514021248000, 0, 464504887545239623680, 179052873891415593614, 137699352115777341880, 0, 331307378459238374400, -586372404525267469106, -448421092323548088960, 0, -455059949880457355264, 629621499003986838528, -191632476875991674880, 0, 177020242155137131920, -205483439483329093398, 567171623723476042944, 0, 215016261345048427904, -57276586493969031168, -125211776997546547200, 0, -674314295371685088000, -520994455956798416946, 1853245142002874496, 0, 54853363285376237568, 526599348296841726734, 611310229963988594196, 0, 33930772969601760832, 184298524175762350080, 496012319422453909440, 0, -1021039882972258397184, -282806163421134704640, 237225612181826442680, 0, -289237913407594851840, 165690602250613486286, 1155317905679851670400, 0, -195340002166510632960, -100349713669749921266, 99462715170840069120, 0, -1041991670319321849056, 577067672793031741440, -420225173396023256640, 0, 18515671000212974976, -565176217291192503353, 575268425675660839864, 0, 259602390824275000320, -293740544359188753508, -660888312810847005312, 0, -209915599895948451840, -380894910993065981682, -486714967048005722768, 0, 920103101395295109120, 1226244086455317760334, 205831462966494787200, 0, 925919497278424756224, -1134367563544529304292, -1025678734494543360000, 0, 343170909206205811200, 1064521636954941063168, -1112377502695289410560, 0, 2202159694232729419776, -619553598824571801600, -438215475194059858760, 0, 1048578444023612934944, 3465573743609191840846, -1848381312571277702400, 0, 242130436580878446272, -4400782822068002472960, -1181077525590988331080, 0, 904149598612198752000, -634950957703027260466, -73553425863347168640, 0, 149105252552756933376, -657257981940905463026, -232612953547640878080, 0, 658564939437183344416, 4770907644482354397006, -261993463370471277312, 0, -1538218366694140815360, -4473189137374802932594, 1058543520461364632432, 0, -487979158978206128640, 647520962072594749440, 1174651860036063328128, 0, -442780332043319797760, 1493322785481319326720, 1409405802172140487680, 0, -3212135923517384048640, 5020215085327801166414, 1955084987978761483200, 0, -2513429809830502625920, -4324647494185250543958, 2983328327489388963840, 0, -1012552562466050054400, -3242880111301303449600, 4612972049402133371520, 0, -3941722584431273041920, 3870694232683984830734, -868233507042540011520, 0, -2796706576507006810336, 3387774678481206097920, 3699077991888237782400, 0, 1129865048009675827200, -5815570559875268403897, 2083484314825991867248, 0, -1310684801424032263680, -5571525683366419414628, -5333930125915751072256, 0, -7463117900216401920, 4317268173318488133646, 384033498334570260756, 0, 2252495930082485603104, 5340381625292942776320, 813047435354502396096, 0, 520843787439817605120, -3571664547399883935346, -5104454385853095256136, 0, 1048531818642807936000, -9493454283660962390066, 317809097253525749760, 0, 9376152498427801985536, 16387432783874043494400, -1176275612280460895560, 0, 7581677104602097307424, 1424570108650711959552, -13940263148280982264320, 0, 1807972770276825523200, -290283978340215628800, -2845935366304245166080, 0, 8706846006061743160320, -21042447636529312404786, -2902463488286592426240, 0, -1455658521066415226880, 17160139712206096346140, -8522988298695115038536, 0, -2447359569354396997232, -502790692843904072548, 241991669436111669312, 0, 13328359309008166251904, -392066756079342363648, 4133482702384186784696, 0, -9766196539814079475200, -19193902608071730076772, -13011794356211729170560, 0, -10481985878070921953280, 22509958701425863127040, 7075815015450834017280, 0, 10495554034119742254656, 4708077198814046251008, 20365079328091146968640, 0, -5329372949933977147392, -6584805774122121259748, -3723370971631050455040, 0, -9245800482668548300800, -26767232604112674211634, 23058584324807038790400, 0, -2072252642964274413568, 31341800952613545154560, 9153860139563003969720, 0, -24911227182228537249792, 8563587232150539079680, -3465941174546892276480, 0, -17926781673083331822848, -14256564535589287834226, 17716440631229123198904, 0, 11694950491516175304960, -35297922657680631244800, 12005366996910685789824, 0, -15165533165560944721920, 33969500161550660740999, -5207353110944568339088, 0, -17756106937895190896640, 25277162838873530711708, 1380300130724438812032, 0, 15724558877611568016384, -30112165144915713561600, 3555199208258845554104, 0, -9132196547968780262400, -36806939831489144688946, -5806121568664443252480, 0, 1961169687026147563520, 35152818072433669325852, -726964154608719605760, 0, 25085017721721406645024, 40613225143343926633038, -5898450142783586664000, 0, -5373703001978853949440, -41209574690568485806080, -29477258491790188049480, 0, 21082952070606421466880, -12910992691953473066546, -20572078199035340090880, 0, 33738124133020558540800, 25336340446696441989120, 2047133510021287575224, 0, 40299764909876741947392, 71050351902712028924572, -40565274075378530252736, 0, 5992320832203976058880, -74564674593446915882354, -10749682967799387801600, 0, 5587324474180580851200, -34969163563941494538240, -30537812291782544302848, 0, 24722383336655282343936, -3107128277180616299506, -25270955004954491427564, 0, -15472215414005883996608, 84074217380632331102208, 23095123242997417706880, 0, 17370855757271817665920, -101652991997945434690788, -5149182777196118315080, 0, 675019224325199980800, -1043754305745819525120, 18777398311864119350400, 0, -18418922482335697870336, -5254436981311529555186, -6376307356206361958400, 0, -3053650207612854915296, 127057691012338747607040, 4700839767362314817280, 0, -31433558563808335641600, -61751183126832421157746, 57948946348497724692480, 0, 4919151905929879472640, -11823610313794264798514, 39631651713690807235968, 0, -41444460371773077995520, 31830710537824017813504, 50140927005235952759152, 0, -92752525632813240466656, 71665002713658260450894, 25672646557188213506496, 0, -24254316683535555133440, -114015894855378559173746, -2076424748903417149440, 0, -99887377330169523916800, -14642971883131869057024, 60655020125989142686080, 0, 42127197991562913914880, 16950537244459298703011, 47139769392524573999800, 0, 42945819957223877121824, 68527156423178429049500, 20686211396186528021760, 0, -126421990671676566712320, -113779000554948903859200, -60719001451729563801160, 0, 23240445617115707281920, -5790886670530948472626, 14754851535631579489920, 0, -4696660558830236237824, 32383300503236334371854, 31814075267713977431040, 0, 15272776331598527250432, 99770874125942132213760, -20230011052194979336320, 0, 102272293092608155184832, -61788286374052202296320, 28199507927144617955112, 0, 30759154809978723713280, -55722716677730639625266, -196202058699775872739968, 0, 23728038235007251915264, 116664740190001502636814, -128739434894009937715200, 0, 108671544285949740441600, -10238038905059977648306, 123966628644213837176640, 0, 205969331040609781840896, -43021136562782650675200, -104226300590792826751560, 0, 9533454255996891256320, -189888206127568240877568, -116833005944374623150720, 0, -23182059317397246443520, 184441883393743540032014, -22504317897310522205000, 0, 77647092647443095663792, 66547572921647134614094, -239652356107502975253120, 0, -87673720340513584407808, 54921668877416170626048, 45898761291610969006080, 0, 170090357327352077518080, -308494548897431407049828, 112977451748658972695808, 0, 88699442171680067481600, 193890373661783458058780, -22050134903504145715200, 0, -304287573807719429118176, -112255062989743441152000, -227964359427013075084224, 0, 78457975480922016503808, 82945707258305395272988, 113727691055588653052344, 0, 33224328971144797248000, -48230284577701351109426, 255058066811117726657280, 0, -77235280458669316177920, 278393637277190021898240, -35581645929039095342920, 0, 66870879887419838115840, -98215813542499578161074, 438624216286795717920000, 0, -261105888610756532699776, 99299708460039772323840, -82573490350402741186560, 0, -224283827036958672741120, -304122364808880463073280, 24748158045908370015360, 0, -234194239787297681677824, 89359227084623450615808, 409408362729785914940252, 0, 103970881429897987624736, -186134958111196585719318, -1444064086190127041856, 0, -136430694654054332313600, 258539902868920845721671, 75054455497634685162352, 0, -322621135151619394137600, -107042865967506567869746, -45376049582661490546944, 0, 36115057378599958708224, -25204321385031069834240, -71258805488912448916296, 0, -258749882461824766556608, -394222144801012431022080, 252757417272096038534400, 0, 390378095302559266897920, 415537884140460263126812, 24737892257579192845240, 0, 201299616630350870576640, 126024636213681876744192, 2174920482615998688000, 0, -417800364798063710945280, 86072936043043029980160, -307447842532149202797200, 0, 237525732582496585629696, -214396315465440745932466, -154976610997426857900480, 0, 176236520473539602380800, -68702314605526906833266, 139373667684860952084480, 0, 385388351351975610716160, 277504550594192693873052, -367072864239151761893376, 0, 475476488218026143907840, -143916872176841735513074, -65650029602525889024000, 0, -144222935106811207980256, 124490906010247804036174, -807323317504620420917952, 0, 173873683266122756709760, 159749491723773899673600, -270760365354850025672776, 0, 43876318046912890905600, 305459231462897069537280, 250612515400301764488960, 0, 601409634838281191313664, -905912852430304709290468, -280922944232644064179200, 0, 365908979742103584349984, -31990270463989443606528, 80470118829692939635200, 0, -493218229605991617530880, 91447141117287580442908, -537939252250735235045960, 0, -12008836253868079403520, 638170745204275200593614, -179305030638046174740480, 0, 113721887760557616915456, -767106958617650395069938, 526076875407110998251704, 0, 591656720697538664435712, -122434268239672752168960, -180345317859689763855360, 0, 13905551887493950131584, -273814038349698530985074, 512883321375246642551736, 0, -639057556668947059983360, 1019162090465998621102080, -221512724176949046983040, 0, -231099450318732204564480, -407320090655171803499520, -200662788488744174138696, 0, -804949088997165374894528, 396555702348629416934734, 1736328977297697261168000, 0, 271829681749752197400576, 284712681815334603648000, 402726509652299021629440, 0, -211433715385024389649920, 704081656015487139886286, 267489386865484333057920, 0, -1374921857353235160948736, -1457706725152710324705266, -229765050480116403809280, 0, 141073700376961291530240, -420029738362987839406080, 90395679592822849164480, 0, -1095434355005793047347200, 9683452406065820688981, 774009830061796426571704, 0, 388745804325110537852160, 1891802162953939999070058, 418781918804016553489152, 0, 864099094312286350795264, -1669878163812091074628608, 646088131798646008819752, 0, -1972854687016286613872640, -301505143535132337650866, -1389059711046397925622528, 0, -518684155110643528313856, -55915730444249802436466, -163442867248079268894720, 0, 474464458517193269030400, 1164215905302175670439936, 1412512853574719153376000, 0, 747652448242297691799552, -866373535054789891470308, -541294704191817587502920, 0, 604791472825212574433280, 399538847727254052433920, 547785778720060330248960, 0, 175498016280309665213824, 928110064599933398872974, -864282946749928760125440, 0, 417481439881544444367360, 999952827868628951002574, -1785494413056349296266880, 0, -327492315850874562355200, -1273127816455429824136946, 740044278038675612873052, 0, 2312735137401986664418880, -2153457134683446116505600, -376136184942913950492096, 0, 1078930051796674744473600, 1254551160151901108109312, -1207342079220848419861648, 0, -1324654136367094385203200, 1379329261321803237273600, -1729554117238213858839168, 0, 1700959164770563146645504, -449423482096396713185280, -608285474787391854617416, 0, 104343035660546332149936, -2323780331342116374818660, -160095584914420929325440, 0, 1416614999403791539690880, 654858651837311815746332, 97195429975804283566080, 0, 1697859684098189936636160, 767431562325449612039118, 704440523788543787481600, 0, -2257514322724018304778240, -487784272909322837437440, -2218828678175200404939080, 0, 48093468101317697978144, -1421603763664464292362240, -1169543585759473180488960, 0, 65829653094879973601280, 4574069884574599373319168, 1837704409030217137726904, 0, 741695455955864154931200, -391889448831517492194198, -1060440317644950332572416, 0, -292797105390855483713536, -1894397326861182223072754, 1765499623911349718630400, 0, -578407214833673422114016, -4017115704260011343431680, 529046197547151930803136, 0, -577255243045962951619200, 4229118891058341410428814, -736015664502351872808960, 0, -2711495078978218696243200, 2402785413329464445766094, 4487352406168947180082560, 0, 1694054840997664580874240, 1121090792565626727505920, 800713890823127957253120, 0, -2226651002043801353994240, -3805535286598178718956900, 554700598969698129672000, 0, -2477818038791591956131840, 232180548030606635715214, 14208598993420734239160, 0, 155994335540677362324480, -1562390707641343264143360, 894282308038215586106880, 0, -2314779247258456552243200, 470819824150772476285447, 2339238026026820850493808, 0, 565684740816421475015456, -646921923364993422567268, 788746203648181954215936, 0, -525213486196868213301568, 4630766691437343297607680, 757158080509484804601712, 0, -2537248975465721486296320, -2332602398884420661053440, -2575369973264429956477824, 0, -851090679243830150995456, -2611613162685683663745266, -436104469791737340318720, 0, -1143377679914734739435744, -4660812939681422664320178, 4065622933557162786427200, 0, 2886144446095005154793472, 4830130657308248135764252, -580356410164215955188880, 0, 1300040110858336173181440, 2082912101100562057193472, 1494907180412368972867200, 0, -2081472732025254997524480, 2498088463246973022888960, -1945666442410035463802880, 0, 1990222440543362412269568, -2501141521914750214357426, -2207750750728759111410240, 0, 2278359562580118580615936]