# Trace form for 80.20.c.c, downloaded from the LMFDB on 05 June 2024.
[0, 10, 0, 0, 0, 2902670, 0, 0, 0, -8718754970, 0, 2965225880, 0, 0, 0, -225010487480, 0, 0, 0, 4196987836200, 0, -501224287480, 0, 0, 0, 19247576437650, 0, 0, 0, 219360620418300, 0, 667121586663680, 0, 0, 0, -1477908982965160, 0, 0, 0, 3387373771795440, 0, 3587345408194420, 0, 0, 0, -13139237288012990, 0, 0, 0, -30324198320796930, 0, -106899828254155520, 0, 0, 0, 99144934237329160, 0, 0, 0, 332698279801897400, 0, 533407565011656620, 0, 0, 0, -682989395388761520, 0, 0, 0, -95759593423262840, 0, -1975827158504532720, 0, 0, 0, 3881333883421828400, 0, 0, 0, 2303771531732690400, 0, 12793501534789009010, 0, 0, 0, -6445103007057591040, 0, 0, 0, -11076199503631707100, 0, -7638137420731759920, 0, 0, 0, 7279632536499161400, 0, 0, 0, -41542573713793315160, 0, -38944116117430856980, 0, 0, 0, 120940453899796174040, 0, 0, 0, -53526735743407117300, 0, 241472722651276212880, 0, 0, 0, -60250436168326640680, 0, 0, 0, -329036719182018192640, 0, -144895923671568456670, 0, 0, 0, 52129079769462581750, 0, 0, 0, -310530372547021645640, 0, -14253728972230224120, 0, 0, 0, 475616587612620688400, 0, 0, 0, -591971388659689975400, 0, 668937772132137982120, 0, 0, 0, 339569007299744836500, 0, 0, 0, -1724893400078834399300, 0, -1421854023410447925520, 0, 0, 0, 3666653311269990895360, 0, 0, 0, -649054828271678766960, 0, 6472883617489545284120, 0, 0, 0, -2006522394797655403040, 0, 0, 0, -1808862753722611496270, 0, -1489033894241273380200, 0, 0, 0, -2743736826049661177200, 0, 0, 0, -2063777916203002768600, 0, -19771710584313835830580, 0, 0, 0, -3662329397389508012240, 0, 0, 0, 40807294492258350490000, 0, 26382332458898262996480, 0, 0, 0, -21861401890384636659120, 0, 0, 0, -3174920894887375388400, 0, -55096900859758775592680, 0, 0, 0, -7040827632145416497860, 0, 0, 0, 33110160333728470946400, 0, -25162368632440013052120, 0, 0, 0, 7616497582776059705320, 0, 0, 0, -38089992843396228019360, 0, 40063149658366585413120, 0, 0, 0, -182099099946075338782050, 0, 0, 0, 37017758178197320638700, 0, -96991025084385021463840, 0, 0, 0, 156066399367152497309240, 0, 0, 0, -137718026366560173125600, 0, 102595195549427493674020, 0, 0, 0, -43184894597278657155510, 0, 0, 0, 249806513779394054556760, 0, 200634392955471653717880, 0, 0, 0, 467416990089944763093760, 0, 0, 0, -642972913319184247253840, 0, -365864941961885330257500, 0, 0, 0, -171638459648274320679120, 0, 0, 0, 424979669254242187241100, 0, 606365915348553152115680, 0, 0, 0, 293898460333937038702200, 0, 0, 0, -1801730640394495541858560, 0, -804519052707019329876780, 0, 0, 0, -203154042279473911461600, 0, 0, 0, 644331868134879542907370, 0, 1262506057595710418991680, 0, 0, 0, 17034899520332931217000, 0, 0, 0, -1783726330241977578765360, 0, -1447544110949821140251480, 0, 0, 0, -882641863893086312804060, 0, 0, 0, 3923479307590283941109960, 0, 641940260908011108863280, 0, 0, 0, 3628512140836067461932520, 0, 0, 0, -1762002926975221531513200, 0, 852479861459236191705720, 0, 0, 0, -4466413904860903064858400, 0, 0, 0, 1557223222059343116542840, 0, -5145339517852951359098920, 0, 0, 0, 2945422820885917994104840, 0, 0, 0, 438845994060854088719040, 0, 4823969796297496880573440, 0, 0, 0, -8033238926056476108999080, 0, 0, 0, 8050136243212713887675900, 0, 5166708732001250106981600, 0, 0, 0, -687774292065831465276240, 0, 0, 0, 1627368237845802570896400, 0, -12818434559092277555638990, 0, 0, 0, 5146334204543799647778080, 0, 0, 0, 11365364331697632983255660, 0, 6159112211999664010607280, 0, 0, 0, -12161190444838603245397000, 0, 0, 0, 1850751809666318243905400, 0, -2305294414154623644158680, 0, 0, 0, 13495205263473202646204320, 0, 0, 0, -11037194568509110848571300, 0, 16786082298493154524762880, 0, 0, 0, 2800530008891253159703200, 0, 0, 0, -10452503667486326726239200, 0, -1063977272797345731208780, 0, 0, 0, 5527367984549724556264070, 0, 0, 0, -22241827502434924737166700, 0, -33570334124060117050458720, 0, 0, 0, 2289970174755596962610120, 0, 0, 0, 14487219939807236135374600, 0, 38517047965423981105041820, 0, 0, 0, 32917401182014951687923200, 0, 0, 0, -109037696679952695081670080, 0, -4914993188088075422679520, 0, 0, 0, 23342585628915698051214000, 0, 0, 0, 20747184916634821727492400, 0, 88993488323907442279843410, 0, 0, 0, 11140254142206198882628300, 0, 0, 0, -83523912771736810688187900, 0, -88771004276490075184079440, 0, 0, 0, -99145936633727099134337040, 0, 0, 0, 160404942360801716915417600, 0, -7710625745799597432471780, 0, 0, 0, 16733813840052461071324160, 0, 0, 0, 32394660783266298005047240, 0, 38501545704665070535274480, 0, 0, 0, -26891091587518828149987000, 0, 0, 0, 178303183232697300134603200, 0, -15870887385956228800445280, 0, 0, 0, 146134528412479028851808960, 0, 0, 0, -29902740049791891530112040, 0, -144023530107468930312610920, 0, 0, 0, -300541377536646560940520520, 0, 0, 0, -24197220180317049564202200, 0, -217758526407459271173956280, 0, 0, 0, 11038711782256642397523940, 0, 0, 0, -83595508888571528717640900, 0, 491163564563542022864360480, 0, 0, 0, -95421289603026013949375080, 0, 0, 0, -292007870231370791287601360, 0, 31251657800925015238316420, 0, 0, 0, -161367655857765149601658200, 0, 0, 0, 124061294924570590658276830, 0, -484753728606715688190779000, 0, 0, 0, -4902278994278078082092760, 0, 0, 0, 861598237875229164962373960, 0, 266575617466697567983649020, 0, 0, 0, -39828498853184186070592700, 0, 0, 0, 33283800220430176029683060, 0, -449678397840320293905027600, 0, 0, 0, 1010220801536643531326816560, 0, 0, 0, -688299179887337248256346960, 0, 247707508366987944457354240, 0, 0, 0, -544826100573994008544105920, 0, 0, 0, -492496270336053711697206700, 0, -181702094765244971145514120, 0, 0, 0, -229903330181327478353215600, 0, 0, 0, -1551633717022056513055514560, 0, 257106876582238324005117320, 0, 0, 0, -538507365190789672008868560, 0, 0, 0, 836084521038323817559987200, 0, 2595321403360903692521299280, 0, 0, 0, 859332350272864983004529920, 0, 0, 0, -181996525508195432834475600, 0, -541720733666228393296449580, 0, 0, 0, 1364343252355016938183250710, 0, 0, 0, 2629118026212960468781162800, 0, 656656748436261523396830480, 0, 0, 0, 617654108799146957141645840, 0, 0, 0, -2391368377741903561785476200, 0, -1206881431066938871251910000, 0, 0, 0, -885841971402778272903883750, 0, 0, 0, -642805804928273409625064960, 0, 1363813104427605730324450480, 0, 0, 0, -675785871675165742103807560, 0, 0, 0, -2767042250878869320265705360, 0, -693627416775864982842211580, 0, 0, 0, -2919054053916581973925533080, 0, 0, 0, 1149580300537388855375994400, 0, 330378294160026830621916160, 0, 0, 0, 543902558019599928463859160, 0, 0, 0, 3575054577256609697488893800, 0, 813846632068975197294599420, 0, 0, 0, 918150089314208083100392800, 0, 0, 0, 3662773618262028903944401960, 0, -2809085419597797087903790640, 0, 0, 0, 47923923504719349662428000, 0, 0, 0, -234095063627816326368082240, 0, 874818974772978835016194520, 0, 0, 0, -4824079339468499772913988640, 0, 0, 0, -5732725983150739093208396640, 0, 1172232768751809619614917480, 0, 0, 0, -2172997329613287147903076600, 0, 0, 0, 1178610681612018696126223840, 0, 8707928288274989615071914220, 0, 0, 0, -4623910112426527102552479560, 0, 0, 0, 5772993807573404923748304300, 0, -1699558965527344733609445600, 0, 0, 0, 371767913930401323887951040, 0, 0, 0, 8508164856979266956443372000, 0, -485273449986004459610442280, 0, 0, 0, 5600796388586022108956467500, 0, 0, 0, -4534822937599667931540203570, 0, 688475834128611352619342080, 0, 0, 0, -6676735787131263256072507560, 0, 0, 0, -2310724336184423238230526200, 0, -4529391960284713465404840000, 0, 0, 0, 6279490196386206915716172500, 0, 0, 0, -20221974898834263069006951960, 0, 3068851906570247631892922080, 0, 0, 0, -15227343085327828856157041840, 0, 0, 0, -8234981657355912704206802720, 0, 7174781402547175697065752420, 0, 0, 0, 11266529233140919473549658880, 0, 0, 0, -3342288543994531160436446700, 0, 26404621705944179873637396480, 0, 0, 0, 2633357063617300852802131200, 0, 0, 0, 2690908426512215403549954000, 0, 3896340994829188203318075840, 0, 0, 0, 7615008184085389515455278160, 0, 0, 0, -30136114580360125211875301240, 0, -3938437837070541905524470720, 0, 0, 0, -18303276857983846569660864720, 0, 0, 0, 13602496169901262303816636160, 0, 35415100745983759135297392700, 0, 0, 0, -5925761223173356388154122360, 0, 0, 0, -15258203011483300019499239100, 0, 2768493917407903528217896280, 0, 0, 0, 2774730548497064977315125320, 0, 0, 0, -4111382809910801672770190160, 0, 18914932192526923080508713020, 0, 0, 0, -29279218390368843562573316800, 0, 0, 0, -9832324234514385677411030100, 0, -43399954974934458521897478320, 0, 0, 0, -5545184159906679126424829160, 0, 0, 0, 14312086807460193810494786000, 0, 19071688623896417357625715510, 0, 0, 0, -25403472536271976835343119290, 0, 0, 0, -3023729737181113706588157640, 0, 37281648491267486125018383280, 0, 0, 0, -8137155394725393589130935800, 0, 0, 0, -1907682326045232529079854600, 0, 20401407642720505457451210640, 0, 0, 0, -157852794175059679153780720, 0, 0, 0, 47230752785257905649639632000, 0, 35902936929863692914645114480, 0, 0, 0, -50839193301738128083597199000, 0, 0, 0, -7033761438930796116229912560, 0, 3550230205281237930775838820, 0, 0, 0, -28040150897758618108086788000, 0, 0, 0, -886826358068274267818922760, 0, 112541428611034461056126495480, 0, 0, 0, -29386034362806002674723008200, 0, 0, 0, -42024738029720875310493964800, 0, 24976451249747861623674769920, 0, 0, 0, -38266295936479196450529108860, 0, 0, 0, 40943778539427139702154577460, 0, 75534886138654872056143440480, 0, 0, 0, -3151252859440208543631721360, 0, 0, 0, -79890702823903518677282216400, 0, 19717426002526204280421247320, 0, 0, 0, -44438498362592133525058680800, 0, 0, 0, 75896437529444531918859461700, 0, 56965555417072189659571582200, 0, 0, 0, 20478831797441546592501038080, 0, 0, 0, -64944109151939281175329632160, 0, 25932978730354673806063200220, 0, 0, 0, -88972768746379111954917813200, 0, 0, 0, -61321440777813420821663154240, 0, 123792061261620186612967743280, 0, 0, 0, -20742882292630919764790883840, 0, 0, 0, -172045941169790815063205963040, 0, 48313662651069021684458438730, 0, 0, 0, -141908705324799751482826227520, 0, 0, 0, -26877056602580771133567974400, 0, 78740897016976307749565057880, 0, 0, 0, -67393734606857546301401240400, 0, 0, 0, -67715082348033036125640918800, 0, 312673830263644677208979028500, 0, 0, 0, -93636532411265013589557994640, 0, 0, 0, 22121867260100750487430629160, 0, 71354026190547282704033401280, 0, 0, 0, 174392381253751925655764967600, 0, 0, 0, -120705844045416168995424018400, 0]