# Trace form for 80.20.c, downloaded from the LMFDB on 25 May 2024.
[0, 56, 0, 0, 0, -1782960, 0, 0, 0, -20920706408, 0, -14147686144, 0, 0, 0, -171664614752, 0, 0, 0, 580623345472, 0, 1655474954288, 0, 0, 0, -7572523271368, 0, 0, 0, 79383044476816, 0, 293571751612224, 0, 0, 0, -522648878066944, 0, 0, 0, -4303318323799552, 0, 1571492013157312, 0, 0, 0, 3434701914168096, 0, 0, 0, -69806499068140168, 0, -35129163512437696, 0, 0, 0, -8832875570149664, 0, 0, 0, 176629204906096576, 0, 50658534938298976, 0, 0, 0, -10187480035402144, 0, 0, 0, 33350997260359536, 0, 435402503078649280, 0, 0, 0, 339972632849928192, 0, 0, 0, -881128147472587968, 0, 7454037985760851880, 0, 0, 0, 1413183170843974208, 0, 0, 0, -5063487349901476112, 0, -13342853148887984960, 0, 0, 0, -26716443534646212128, 0, 0, 0, -548603476137644096, 0, 9535512198329686864, 0, 0, 0, 3109033578782279664, 0, 0, 0, 52087944835636738592, 0, 39139796316683198400, 0, 0, 0, -34541906339950877888, 0, 0, 0, -240860697209098651712, 0, 276623882519675443544, 0, 0, 0, -17242923807653839920, 0, 0, 0, 170216187113954922032, 0, -45400120431844207680, 0, 0, 0, 126546564090335886464, 0, 0, 0, -484949917970987571712, 0, -243295518607274490640, 0, 0, 0, 8246911301697674912, 0, 0, 0, 96389219120882068064, 0, -1849827713720317618432, 0, 0, 0, 270715316909928208064, 0, 0, 0, 2210610706075122163456, 0, -362249722317167994576, 0, 0, 0, -801106668719466103040, 0, 0, 0, -4599366514515498881192, 0, -2368633498327272201728, 0, 0, 0, 160738509857263589312, 0, 0, 0, 7412523568386467006592, 0, -2872108667451512442288, 0, 0, 0, 1278204946379702181984, 0, 0, 0, -9415740275017998524384, 0, 7771837045165470897024, 0, 0, 0, 9207898203176249918656, 0, 0, 0, -5709784796327969822016, 0, -20731718677297190793360, 0, 0, 0, -14327756071778669858992, 0, 0, 0, -26203024767052722232192, 0, -20156557817548211071808, 0, 0, 0, -29931576080336445159712, 0, 0, 0, -27799715984852997549376, 0, 50667866458507740398976, 0, 0, 0, -50570899309559926925352, 0, 0, 0, -3812645800186963801008, 0, -92957373270152627665984, 0, 0, 0, -57133902708198641272320, 0, 0, 0, -37219386814363322263232, 0, 118859241031916499705920, 0, 0, 0, 110064481126875575468832, 0, 0, 0, -11746536623179840413200, 0, -71851829054991264259456, 0, 0, 0, -10896696913225843705408, 0, 0, 0, -7830700582430994982016, 0, -175964688162282580149424, 0, 0, 0, 44039927393859552124832, 0, 0, 0, -205637995391833658459808, 0, -144966310666648902433088, 0, 0, 0, -220238867287438275709824, 0, 0, 0, 276004495635780617497792, 0, -425746471757535003287040, 0, 0, 0, 310209854539911927956992, 0, 0, 0, -1160031714097832471813960, 0, -707167711936964018110912, 0, 0, 0, -781358913620489096535904, 0, 0, 0, 692610806699892686664256, 0, 2173241723079314043440, 0, 0, 0, 1055229928252416519349776, 0, 0, 0, 810072558649718104185072, 0, 2875237117253720980622592, 0, 0, 0, 1977722250440467155067840, 0, 0, 0, -51401103423916289590016, 0, -912099057739370199948944, 0, 0, 0, -1920281909130583736480320, 0, 0, 0, -156402386946464162872784, 0, -1665848040609706532002240, 0, 0, 0, -2018926237292571846782496, 0, 0, 0, 3707748602343508072222976, 0, 2456583129998336355974912, 0, 0, 0, -1664144599164486714839888, 0, 0, 0, 362452579387624777310736, 0, 4925722059657846140783488, 0, 0, 0, -595131458060923530781312, 0, 0, 0, -3555000338944090947643136, 0, 4587321730869187654766104, 0, 0, 0, 8186707490329927843336832, 0, 0, 0, -6144164992041121079842336, 0, -10152233273958334997083072, 0, 0, 0, -7856597189760688554657952, 0, 0, 0, 3563198344385367737970560, 0, 5735642136130686009663280, 0, 0, 0, 7765515197274141537343104, 0, 0, 0, 16045979041400760885075040, 0, 18332404272954682325057984, 0, 0, 0, 25355223251077188369286208, 0, 0, 0, -5897988793082795274703552, 0, 5520172974788887386799664, 0, 0, 0, -12675315241370527969050240, 0, 0, 0, 16839855590852131039173952, 0, -60501664607184687196288384, 0, 0, 0, -29653389355138896236377888, 0, 0, 0, 29387348351207898074760704, 0, -20012717374402197171199520, 0, 0, 0, -6983304648835179889760384, 0, 0, 0, -11676053143927410555016960, 0, 102518278008413750192508096, 0, 0, 0, 75890319569503722943241408, 0, 0, 0, -72658642554971758312519168, 0, -13464328434960656555999496, 0, 0, 0, -34819883441109553346204320, 0, 0, 0, -27269732646060972826421952, 0, -134017839802007133373658688, 0, 0, 0, -75518273272810188030127744, 0, 0, 0, 43486261480177289464105600, 0, -20448275898600215518052208, 0, 0, 0, -527604891127553117865728, 0, 0, 0, 9725035855229921422946416, 0, 246150092426510314319300928, 0, 0, 0, 172011489502036423861127360, 0, 0, 0, -65247744856727155667860736, 0, 1210038835899402394876864, 0, 0, 0, -43653396850992074462767936, 0, 0, 0, -28584835259943535837041360, 0, -290434924448903177366974784, 0, 0, 0, -330137484686164505720665248, 0, 0, 0, 62774346930924812102324992, 0, -61784726388459031375982736, 0, 0, 0, 59961844250045098585296800, 0, 0, 0, 60488941637088744294875792, 0, 492209907577671675353340096, 0, 0, 0, 172769564846559204475694400, 0, 0, 0, -420130654095900975717562816, 0, 75736776290162341943166896, 0, 0, 0, 30834539946307925012666736, 0, 0, 0, 96991145008397516671679352, 0, -985176676823913442937649664, 0, 0, 0, -407544964071864907053266016, 0, 0, 0, 369043500382576283482752192, 0, -89671785508061005109275760, 0, 0, 0, -51761950115451430844984368, 0, 0, 0, 45303275735257473280748288, 0, 950423525556766524814580864, 0, 0, 0, 909802493261928968403147136, 0, 0, 0, -332453914495025650647455616, 0, -101087102237793459789899008, 0, 0, 0, 207550299511159034482487424, 0, 0, 0, -180671308899597666928021184, 0, -1446609539898176668693563136, 0, 0, 0, -922055493418790984052287680, 0, 0, 0, 713051598807591198520614848, 0, 166070521511123495392644848, 0, 0, 0, 105496401789084583652659744, 0, 0, 0, -185011305112898623620878080, 0, 2094743529823887885874861696, 0, 0, 0, 1103056074903164092395039296, 0, 0, 0, -104211478369216905821314880, 0, 318054921563121576530130560, 0, 0, 0, -4315977268215205675636464, 0, 0, 0, 633832587117512848829061664, 0, -700631189812913428312486464, 0, 0, 0, -945511069537883150998598272, 0, 0, 0, 1097198126503350348456829888, 0, 338202972618216782807819424, 0, 0, 0, -382943083376865461558142088, 0, 0, 0, -1531216704874671208194318208, 0, 234461342226406523147922944, 0, 0, 0, -122201392834758600294562496, 0, 0, 0, 278727235747830679887167168, 0, -727453316266848754659748672, 0, 0, 0, 414533619604436362187361200, 0, 0, 0, -1342168889412507990470409856, 0, -375852932866191843183292672, 0, 0, 0, 144617584771450950139539168, 0, 0, 0, 1149338964816074182304704768, 0, 2609164431330020869622287648, 0, 0, 0, 399876167980590903262408832, 0, 0, 0, 982531563988300041830435504, 0, 368493305636677704545372608, 0, 0, 0, -831277029659270699721043584, 0, 0, 0, 783957912163976939130447552, 0, 201823266058883255739311664, 0, 0, 0, 23690003402564084962314432, 0, 0, 0, 822148327581055112116959040, 0, 165387231038647505634467136, 0, 0, 0, 1516877077179671758418172384, 0, 0, 0, -3761639374692917871801872704, 0, -724983392865330516415370208, 0, 0, 0, -758328276746140350252211792, 0, 0, 0, 4724757023032735821596976336, 0, -4915858990228011556081250368, 0, 0, 0, -253349617871364962470851712, 0, 0, 0, -2254069456708922303214164928, 0, 852194399714656926262923440, 0, 0, 0, 1474757092268221573351534224, 0, 0, 0, 3238336090093191381205993288, 0, 3365574244165420442105025344, 0, 0, 0, 4017530329533722508292048416, 0, 0, 0, -10280799126713129950740557696, 0, -8035879789451587118300500736, 0, 0, 0, -1770011249773562433732876464, 0, 0, 0, -6998411057168434129524966928, 0, -12353514206386965241446256768, 0, 0, 0, -10335774935593787514222556224, 0, 0, 0, 8956951352645382174865795776, 0, -6923732537431647485852816528, 0, 0, 0, 945680593122154879525466560, 0, 0, 0, -4312187951254544488807610256, 0, 27417449210446921333871222784, 0, 0, 0, 12248634417759779615518655552, 0, 0, 0, 2562557377990623703912924864, 0, 4241581614281111146721668096, 0, 0, 0, -1251558725402235482985260640, 0, 0, 0, -824358792443821602810382672, 0, -18565644814831084739300874752, 0, 0, 0, -24326574214900794494679391168, 0, 0, 0, 11269564513750187546914812608, 0, -46749908611365091620071632, 0, 0, 0, -10148835083305508779500481488, 0, 0, 0, 8764335584693054251362969264, 0, 36768910710910747302072922752, 0, 0, 0, 31631968673293897066586129184, 0, 0, 0, -26159933985255353629074651712, 0, -4248577063966911385104238688, 0, 0, 0, -596136112703519664197395200, 0, 0, 0, -10408752605867054210353683360, 0, -50042697478347608711323987264, 0, 0, 0, -10401071785746096662543650624, 0, 0, 0, 9696513562140354211018021888, 0, 14590774632153976053220918728, 0, 0, 0, -7105509694466990050818972080, 0, 0, 0, -2665668933443899498989471248, 0, 41565444452420882280616112128, 0, 0, 0, 22818827798518155915049423328, 0, 0, 0, -35020177887971037786929169728, 0, -363653196258757144512783584, 0, 0, 0, 16173847521074471678492314400, 0, 0, 0, 22527417340469438003855081728, 0, -40991646630823752530846094464, 0, 0, 0, -37004465063633911549969286144, 0, 0, 0, 29866009431722428899256898624, 0, 678058179479502333743600896, 0, 0, 0, 5799098376445323606260662784, 0, 0, 0, -6757182435417370360638965264, 0, 5208501288303189411100601792, 0, 0, 0, 15378174656297645192451619488, 0, 0, 0, 49850710534468056754881317760, 0, 16902596124518641154563696256, 0, 0, 0, 102919748298774252723342880, 0, 0, 0, 67095456907668646499938190096, 0, 1855129518810584288535355200, 0, 0, 0, -10196297784555067235995642624, 0, 0, 0, -3098524569795952880129581888, 0, 46991122956227893951974752624, 0, 0, 0, 24818788625764807942995619008, 0, 0, 0, -11496062219696087183737935296, 0, -25580768536330177599634410496, 0, 0, 0, 19538389123938778802039251712, 0, 0, 0, -24155217553471300286014423936, 0, -37572746415320734231745250032, 0, 0, 0, 13861858053772120568701680672, 0, 0, 0, -83228144397551697631720073216, 0, 8210120077758693409541055872, 0, 0, 0, 16181593358714235371247603840, 0, 0, 0, 58561440597804893454442493440, 0, -30053157178124914151791422664, 0, 0, 0, 9023678131043777341740100160, 0, 0, 0, -72848762205050737319622470400, 0, 23683980447416364124084834752, 0, 0, 0, -80151454950433581654554247936, 0, 0, 0, 20688109925670072985204911872, 0, 66866116324583989435344726592, 0, 0, 0, 29106610840397643955302224544, 0, 0, 0, -45396373151532973660174450576, 0, 109369461263780911771333948160, 0, 0, 0, 54543563692967316424644544640, 0, 0, 0, -21382056028652851231913528832, 0]