# Trace form for 4.20.a, downloaded from the LMFDB on 19 April 2024.
[0, 1, 0, -36, 0, -196290, 0, -35905576, 0, -1162260171, 0, -12016099980, 0, -45529656874, 0, 7066440, 0, 496563248178, 0, 1410273986444, 0, 1292600736, 0, -7039745388792, 0, -19034956564025, 0, 83682778968, 0, 38996890912134, 0, 173641323230816, 0, 432579599280, 0, 7047905513040, 0, -1108106825662306, 0, 1639067647464, 0, -1444509198124614, 0, 4646075748354260, 0, 228140048965590, 0, 8950457686524048, 0, -10109684797481367, 0, -17876276934408, 0, -32948524384463538, 0, 2358640265074200, 0, -50769863511984, 0, 36999205673523588, 0, 82929105285760742, 0, 41731620901613496, 0, 8937016347797460, 0, -186668590860047716, 0, 253430833996512, 0, -596514630027659112, 0, 310786775495585306, 0, 685258436304900, 0, 431444991055488480, 0, 700397513485701872, 0, 1350847198802088009, 0, -1357882121724855732, 0, -97470399984859620, 0, -1403888072836824, 0, -5991411253779123894, 0, 1634768555143329424, 0, -6251087636309376, 0, -276822680799092760, 0, 4531118407744664354, 0, 13965834417507896580, 0, -11306061403761825954, 0, 14088410396113772792, 0, -253724598469440, 0, -29747284881344907372, 0, -3392152994657490442, 0, 39891845723843016, 0, -29194338131675925678, 0, 1381831622365981680, 0, 52917306783946565454, 0, -17829389446262040528, 0, 83227568280941454109, 0, 52002331132486104, 0, 7480306255300123500, 0, -8913781142039049856, 0, -167258726940753360, 0, -181967519173495261860, 0, -50636699801088011744, 0, -16426092683628720, 0, -21042702278115410214, 0, -39703555915523048716, 0, -322216476714865728, 0, 547088909053078262520, 0, -7654699717142782860, 0, 363948652709329212, 0, 125137072583899092846, 0, 237556802350509666440, 0, -577135685739677718438, 0, -34084055336976872640, 0, -921543275658415432954, 0, 1186146877840687368, 0, 252766113077920704192, 0, -929757393625967589700, 0, -84911049542671200, 0, 2238442494716862540216, 0, 611029364688729341199, 0, -1639105284641255121924, 0, 2814069355078688373942, 0, 683461079566298503400, 0, -1331971404246849168, 0, -2772954867802331413908, 0, -1310290630655991860530, 0, -2985447790287386712, 0, 217510288809254044740, 0, -5966753636500400836440, 0, -3004678380126725568, 0, 2030388272024151924288, 0, 3973802265567158492738, 0, -321732588520708560, 0, -367933372735782009474, 0, 10531224605480068172312, 0, 6720069270961717776, 0, -1400205830409336659184, 0, 283542710499880482060, 0, 8182015679373851403432, 0, -16945993220304268671120, 0, -9574028075937910800436, 0, 21474526680995728032, 0, -911978208644457695400, 0, -6234691728004629430016, 0, -11188323917841071016, 0, -22608354305783245675572, 0, 34294362262766514980000, 0, 22123571871081268948275, 0, -13642571561401290800772, 0, 21673987935098711266526, 0, -15532019677997585280, 0, 20983759863249076435962, 0, -1756885339287805381920, 0, -25214310485485267392, 0, -36913162847708358981936, 0, -26850106755639087502126, 0, -145891768602859594380, 0, 1984430028897617528430, 0, -64209290701123447416056, 0, 48883756382094806352, 0, -28807527979035037770300, 0, 84590284425468643424160, 0, 3508934399454946320, 0, 35911234590614651343618, 0, 39787213844936678418256, 0, -45324533100005208814914, 0, 160373423437148099658456, 0, 6467465851426347874020, 0, 215690805136048460184, 0, -15995767088471154352938, 0, -218066385408340761442000, 0, -58851667985159859264, 0, 228725941188281671219500, 0, -234468332749426632682258, 0, -201816394030914476629536, 0, -180365242657088356177014, 0, 274010500663433604859172, 0, 9965616508767339360, 0, 51865934795962385447664, 0, 7502623755934695472531, 0, -163120262678807916744, 0, 394115452458772376296350, 0, -7262574081655945088520, 0, -1005540638683729220640, 0, 320517192032023485356208, 0, -166820025884290757353760, 0, 407018210535425734344, 0, -16278154076541976047180, 0, -348844886248790299006996, 0, -507182774260095820512, 0, -903990695972622565540248, 0, 566954752227964267262954, 0, -8191499866777713129840, 0, -418449716646125651693082, 0, -468590540109355539157320, 0, 1070902255728416665392, 0, 700290231529569379699032, 0, 866655040971552262357850, 0, 122117507807669655912, 0, -321371338698273381291648, 0, 118374629345340843210548, 0, 1287908428680538959814326, 0, 36641177699918766173640, 0, 310589212526600886320114, 0, 1050996172740333324408, 0, -2086491500600981672983680, 0, 772277953226461305747760, 0, -49745938405175340480, 0, -945736168421318183539740, 0, -832861594010719351297210, 0, -3810048212675823826032, 0, -1694735666557768308267486, 0, 117089856728129207094480, 0, 641858020065433459008, 0, 2136943113161335741481976, 0, 10453061180337906641157, 0, -2996192458113892347924, 0, -61004336162028439714740, 0, 1585061278762345855696976, 0, 1678895507623386746948994, 0, 1183035746374208782887888, 0, 1583052559938447881973518, 0, -269291025190804446000, 0, -1775515062382269903109116, 0, -3384062314585120849286332, 0, 320896121113405794816, 0, 2470606465964578590284928, 0, -84688337294281833739200, 0, -5399948793761175196178460, 0, -1357195092466111364617794, 0, -3495678836604652995620976, 0, 6550830690245829426960, 0, -137481027922108420454880, 0, 3472389421935583751766614, 0, 1822921192839168422784, 0, 6887791088283444596590770, 0, -7905829865846377583029184, 0, -265157796652861855286610, 0, 13315122405678698613353880, 0, 2439353935679611628387594, 0, 757537282012154767704, 0, -1328477791250332376726688, 0, 266538681673371931634280, 0, 1429328012958829753776, 0, 848029238278417352602044, 0, 3237174960108150459812126, 0, -10402760481267704424092208, 0, -9452059860359396221596450, 0, -2977617292449884039697392, 0, -19695200725910817450720, 0, 10121403610812553634950416, 0, -17791073095026834909797614, 0, 275569189817140182960, 0, -9927969793002460517535648, 0, 7051904331735562399072232, 0, 11750083981476793978733757, 0, 9040847827366928418865668, 0, 1176054115004304229153260, 0, -4504934613020367342456, 0, 809263877029325064630594, 0, 17357366946694990322907720, 0, -8552044884618347991840, 0, -320888719689084132636960, 0, 21548095481232985219076762, 0, 41553792540911702720304, 0, -20069615447284788885551850, 0, -21449426664845652431478928, 0, 1227025992131167415040, 0, 4473143195661600519277260, 0, 6702443275938348630464416, 0, 33175557923702955586344, 0, -55827710706878108618914800, 0, -26844504075335921668077100, 0, 38294757585284261419144998, 0, -31862808730463984721684576, 0, 50451723552142129975591444, 0, -9099580070805145350912, 0, -889413232256200166046660, 0, -21189588058824409477827208, 0, 33471266170534833229200, 0, 53732964214916660849274900, 0, 19364422820172388233591852, 0, -2741353637812625019688200, 0, 21418201383569996348008512, 0, 47366329127940058108416044, 0, -80583929809807051447776, 0, -71333004388373487567531864, 0, 2219266792944408816510660, 0, -21997057128794256283164, 0, -1672867351136269514468826, 0, -11158978187351675869066256, 0, 118015646291913480309792, 0, -2765414076653172461341680, 0, -107549594428032459442319040, 0, -101306496782832781461912, 0, -50397363968133453953285286, 0, 24540185177951982694454132, 0, -24604598864386746122400, 0, 86223899481420002185453248, 0, -25057455788572483322689223, 0, -43002703112973695561413548, 0, 65768008141950559713696636, 0, 5839094549359191868049880, 0, 99826375240883930900688, 0, 121478983292822158059072660, 0, 48014481422101488790936454, 0, 47170462703615706979080, 0, 665845711321318798860180, 0, 45263391806086553686591292, 0, -96385196090305283862006882, 0, 54996300805577011511111496, 0, -25148176150671893478438272, 0, -7830370397133145610640, 0, 2297953619452858541296950, 0, -211534234633182227996183240, 0, 214803130914014430111840, 0, -52653900797714335715724564, 0, 5730556631866667451334620, 0, -48502946760975479965838184, 0, 98790449671865265948366570, 0, -254388374151508020950397052, 0, -73093977792869469274368, 0, 134001247697451006065407800, 0, 16066787470567087786056386, 0, -143056881560417705738568, 0, 48755539720633058574361632, 0, 395912763197181831272529240, 0, -10387138148620871332965660, 0, -361660336892415011322432972, 0, 244881841124134025867058304, 0, 13245601418488152341064, 0, 394889883357051265531244274, 0, 3499730854406775935241120, 0, -379124085797282454203232, 0, -171788824968780254761429560, 0, -450110213869517051580090550, 0, 216957468333328095466319436, 0, -16336739377865998027055610, 0, 137008686043777528323227936, 0, 50407409894736119730624, 0, -407511267332695759189505952, 0, -303094798159404250861691554, 0, -10207537577995697354160, 0, -246952524266096459714944902, 0, 81612918459264540394761620, 0, -589105457361278160526656, 0, 215125072119821620189432944, 0, 361594674465531202478888125, 0, 610055755930953672160320, 0, -550245124679087433497778468, 0, 400989207118487414903214632, 0, 344665010733764788815696, 0, 1749686100370845096234240, 0, 460290479933620818918466758, 0, 693305195899948814242828152, 0, -62578712006701354242404478, 0, 141386465042844508814396252, 0, 32831215511200477034400, 0, -438366534375431642247579816, 0, -444586154553642672296328240, 0, 224448902208166659480576, 0, 657327671613218428537458006, 0, 35718404338565384950499400, 0, -361215090832037587496647326, 0, -342517113571020685163666676, 0, -846916583325417875328037522, 0, 813900755008196844320592, 0, 9939477803955565825229760, 0, -274528182975919977340402128, 0, -1234597041459594539280000, 0, -996484420365647546230985160, 0, 1002159292376124980093722082, 0, -1592898062812784815426200, 0, 554384540965329128202003486, 0, -162692416354275034557037904, 0, 491132576210446468827792, 0, 138934273443761540908907604, 0, 4130472030171273870906060, 0, -780263565663553605594936, 0, 1500135009729246941704060212, 0, 1124089482906066706555443308, 0, -501451329081245511253330080, 0, 7793410990658019232463640, 0, -717290179443756473852453292, 0, -755415355076966751694632, 0, 1681678458662709853351039590, 0, -1562734230432586803165779864, 0, 63247872214360993749120, 0, 405950646993436927690119504, 0, -702660264376156551325172866, 0, -814044133791866663805740112, 0, -1222390704517878123475414272, 0, -107388081958028732150050800, 0, 1328873862517500923349696, 0, -88482938101434350423960976, 0, -505852490196853173629888192, 0, 966603843203007150076536, 0, -742304124644491952820379350, 0, 600967279780734760250160968, 0, -1570032394868885749058051523, 0, 2307070464883823483443538280, 0, -613228694254024193001428026, 0, -71439481040314231023480, 0, 2243028450900047543026645680, 0, 1196447584608852158236792700, 0, 2311534465240444106978016, 0, -475806809265782734846912392, 0, -24563155977493552934741340, 0, 1578212306993773638024650172, 0, 1068093398100780553858306272, 0, 633365539266787342224698576, 0, 1037071007245261359730800, 0, -46630024733381542425507600, 0, -2090483786211754058536253554, 0, -3045250239316871163269760, 0, -1298849217794156355220504278, 0, 121797207153302117034504592, 0, 113285963753841339352195020, 0, -1684561138926083028185343912, 0, 1374577754590111897747282178, 0, -1292804445262127448370248, 0, -4739856915495989618911964610, 0, -3305255045418407739356994400, 0, -1432339698417720423057216, 0, -2037153745294225194458732616, 0, 7167779433945062055150017760, 0, 3263368202639317431197712, 0, 180889729578990365334540660, 0, -352338800566747455866247028, 0, -5773443243737331587704416, 0, 1048239526556587956801780528, 0, -3775733708528506301319640508, 0, -232828770651348523464720, 0, 5363369338930290618026083974, 0, 4444468341500128573189184544, 0, 6963578668348648933270625874, 0, -3734444966816767085514893880, 0, -49615460336065055025847680, 0, 575847615184961556705768, 0, -3588146085784153396025310534, 0, -1370886253985140309659387436, 0, 7850389874700267411912000, 0, 182502078794841178182213000, 0, 6552239766952352822549651440, 0, -1900026380446308985847571504, 0, -7674746476264977527395809714, 0, -136407618594703790163655576, 0, -8234133882778140163902000, 0, -4663907853334939734342784380, 0, -2735990349669610610133334042, 0, 8440859978979358776561288, 0, -5020097921093093710951699326, 0, -439383877287972948018998640, 0, 14530788471635418974277888, 0, 10754150598340026315485061528, 0, -4582503745777112131070415713, 0, 6493148735655180822372504, 0, -119938953994750682383951710, 0, -2988333778206532732061211784, 0, -9864378023883609774930192, 0, 7800789916245159314869274352, 0, 9116134016347094721248573870, 0, 321739976322231967882461960, 0, 783349680263458136334203466, 0, -2566678332066851005787217436, 0, -1867173652654645876115904, 0, 11081231696839042624146543648, 0, -552373673708395740921075180, 0, -270094455213649037011116, 0, -8416046547787591994425162560, 0, 8498956891011065064747399784, 0, -5266338455406561316417644534, 0, -268584704752953987138636000, 0, -5928801942904390682883863818, 0, -14188156288515805546668600, 0, 4363666995256050494392847442, 0, -17272838112587813536786841428, 0, 261452666939614023186720, 0, -3374388265965000334695295704, 0, 320054446242849899572397056, 0, -16231914998508825748903139820, 0, 12622597642072610870632005312, 0, 544303311000919633236001320, 0, -11538618913152845472823488, 0, 6771471739870730886057121344, 0, -16361026291021252507285933764, 0, 6005520931834467264735360, 0, 257196947891464642303433700, 0, 9933075615858820967359278068, 0, 13140584860472719876568278134, 0, -1461086104950322996081915728, 0, 16316447335700396526788085360, 0, 586013546755511137698480, 0, 6533648589215391310354131360, 0, -19899341396991204482138474104, 0, 12558415904956450764251856, 0, 27159106425480376498799535888, 0, 21092765294781617912718141650, 0, -16374398276105371300685067432, 0, -3738228283943228341731856158, 0, -14257425481036350249900588948, 0, 32543665055014412359448928, 0, 1171214071308663680184807600, 0, -146101669700813458593446854, 0, -20410371080206713621466344, 0, -20657702892619490647463862858, 0, 10168976966565380940694926288, 0, 589788319235074961742720, 0, -18530280298035936818195864724, 0, -14150015249290870283976293444, 0, 15064189799260523460950952, 0, -17953738542556186867636712598, 0, -398544913915620781218491520, 0, 16869259443936799409663520, 0, 755550345892245998209953264, 0, 8480646913378324077697748385, 0, 34574084412977646752159880612, 0, -780017646708177540539542020, 0, -18429005494646674150062247144, 0, -25210448335064497669165152, 0, -2173447180241077580320126284, 0, 1425579044395062405424040416, 0, -31199581474975881444882600, 0, 2700367727237373096971680626, 0, 71993396646707105547110922120, 0, 3942564319628776927549785582, 0, 14818455952558435464880126536, 0, 72221641734306650639651460, 0, 11569368193137841726499328, 0, -32707190325455242417849453920, 0, -25242979736770461416990622304, 0, -4261486656432270355579728, 0, -2067174077809682581543122480, 0, 35275337013769775299851265502, 0, -92729458564830863207180208, 0]