# Trace form for 80.20.n, downloaded from the LMFDB on 06 June 2024.
[0, 114, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 112923669462, 0, 0, 0, -42364280082, 0, 0, 0, -9918902588136, 0, 0, 0, 26973862521054, 0, 0, 0, 0, 0, 0, 0, 689032218787272, 0, 0, 0, 3952603949871810, 0, 0, 0, 7850498798737416, 0, 0, 0, 20722645429408530, 0, 0, 0, 0, 0, 0, 0, -79098121985181294, 0, 0, 0, -250767500076504336, 0, 0, 0, 0, 0, 0, 0, 506915487237623778, 0, 0, 0, 0, 0, 0, 0, 1700055099800182266, 0, 0, 0, 1296318837845656488, 0, 0, 0, -15232653158202723018, 0, 0, 0, -14225328500192394426, 0, 0, 0, 0, 0, 0, 0, 42790646876642334168, 0, 0, 0, 4693473982793794794, 0, 0, 0, 15358829086596146916, 0, 0, 0, 46679803028812685064, 0, 0, 0, 0, 0, 0, 0, -138220561143834127482, 0, 0, 0, 274344476591265340374, 0, 0, 0, -405695554107017774298, 0, 0, 0, -21877160634543279792, 0, 0, 0, 0, 0, 0, 0, -774666882773106647856, 0, 0, 0, 790126497245314216962, 0, 0, 0, 1187031450631511780184, 0, 0, 0, -493828707443436629064, 0, 0, 0, 0, 0, 0, 0, 1768375628942021853714, 0, 0, 0, -1542761025775604052378, 0, 0, 0, -330088583608106711496, 0, 0, 0, -352733349911873583672, 0, 0, 0, 0, 0, 0, 0, -3259160306019245404470, 0, 0, 0, -13181954559232011898224, 0, 0, 0, -1211835384872607225588, 0, 0, 0, 3518237915028361618410, 0, 0, 0, 0, 0, 0, 0, -14146519446654876121458, 0, 0, 0, 25089881085274500234186, 0, 0, 0, 3567007966013517663768, 0, 0, 0, -20019971763614306029656, 0, 0, 0, 0, 0, 0, 0, 88496967577160437321656, 0, 0, 0, 524284697401482346872, 0, 0, 0, 37224530402357236060212, 0, 0, 0, -140977722481553604972744, 0, 0, 0, 0, 0, 0, 0, -815904342750324145218, 0, 0, 0, -258493240298203133356800, 0, 0, 0, -81698737900919685119448, 0, 0, 0, 178886916485800371813894, 0, 0, 0, 0, 0, 0, 0, -391865494537007894146008, 0, 0, 0, 38841502134002649221862, 0, 0, 0, 130230301585394266504296, 0, 0, 0, 270869128509575454119334, 0, 0, 0, 0, 0, 0, 0, 510134433451906994799288, 0, 0, 0, -469778614437616216931946, 0, 0, 0, -464426444972391290560680, 0, 0, 0, 144075877169595791420592, 0, 0, 0, 0, 0, 0, 0, -460027276440995108323362, 0, 0, 0, 1575322474288772537299200, 0, 0, 0, -781240231190363319122856, 0, 0, 0, -597638851398221122075992, 0, 0, 0, 0, 0, 0, 0, -2236342634204101838879994, 0, 0, 0, 54834717101388289615278, 0, 0, 0, 6176963572321025620682520, 0, 0, 0, 1746531590072354350867554, 0, 0, 0, 0, 0, 0, 0, -2043556673001914763358290, 0, 0, 0, -4552581524484978314574942, 0, 0, 0, 8189087490770922514260432, 0, 0, 0, -14705422781439618023776752, 0, 0, 0, 0, 0, 0, 0, 10486013755858729598994882, 0, 0, 0, -11504806586696194050763368, 0, 0, 0, -553634497472900535068838, 0, 0, 0, 18369454778352146275735134, 0, 0, 0, 0, 0, 0, 0, -19127572439905138655334198, 0, 0, 0, 31075509086108481783508488, 0, 0, 0, 26917044664770223554033432, 0, 0, 0, -29630226834831328980974136, 0, 0, 0, 0, 0, 0, 0, 13418880794539159429744104, 0, 0, 0, -18019881321196376498192598, 0, 0, 0, -18226810059775777691006172, 0, 0, 0, 42265802741689311654111048, 0, 0, 0, 0, 0, 0, 0, -99343848091986169132340304, 0, 0, 0, 4023615971842920717760656, 0, 0, 0, 50953817229083357613822672, 0, 0, 0, -43160536450922234319780678, 0, 0, 0, 0, 0, 0, 0, 91292683949884910387534346, 0, 0, 0, -46529862768293464085209296, 0, 0, 0, -6591555261593255326068630, 0, 0, 0, 180240264308138658663188064, 0, 0, 0, 0, 0, 0, 0, -104562656536463686353831624, 0, 0, 0, 115925384775274536818421126, 0, 0, 0, 120065099387979017476560564, 0, 0, 0, -312552540100460885734366248, 0, 0, 0, 0, 0, 0, 0, 218587086650506467980101512, 0, 0, 0, -382276714888968532748549118, 0, 0, 0, -362299779476200723513681140, 0, 0, 0, 174712801680476017905589362, 0, 0, 0, 0, 0, 0, 0, -365968929180903483043889832, 0, 0, 0, 283727324472105593384664024, 0, 0, 0, 514254923174728395595822296, 0, 0, 0, -551733974397884141661561072, 0, 0, 0, 0, 0, 0, 0, 841247153215365455048275200, 0, 0, 0, -290358030476555546039192472, 0, 0, 0, -167054370241547256126821412, 0, 0, 0, 910254720565176656824551672, 0, 0, 0, 0, 0, 0, 0, -1270559208086601854829151416, 0, 0, 0, 563428771105203690770283504, 0, 0, 0, 292579484314136210683497108, 0, 0, 0, -679586545659613580775300924, 0, 0, 0, 0, 0, 0, 0, 1034288094587452882088275200, 0, 0, 0, -561185527971460233122941518, 0, 0, 0, -1292454574206116843166231408, 0, 0, 0, 1031755622379349731651955602, 0, 0, 0, 0, 0, 0, 0, -552442592614123504228535016, 0, 0, 0, 1065843178479376183954316214, 0, 0, 0, -65584374389697057009206568, 0, 0, 0, -1566969022765602847427677938, 0, 0, 0, 0, 0, 0, 0, 1508358488102414222541934386, 0, 0, 0, 172541767596061956436201632, 0, 0, 0, -2234178884672275730986561608, 0, 0, 0, 1868244461560282143459570768, 0, 0, 0, 0, 0, 0, 0, -2493591251971428612127344042, 0, 0, 0, -315610493288586940787954226, 0, 0, 0, 4277113929495990775300838400, 0, 0, 0, -1217198992728210201974629182, 0, 0, 0, 0, 0, 0, 0, 3879400594250906449152782184, 0, 0, 0, -174477581320954336748572782, 0, 0, 0, -3507443357698184852590576920, 0, 0, 0, 4060868190926474630215931088, 0, 0, 0, 0, 0, 0, 0, -678352782368583912103476846, 0, 0, 0, 2398434605293053867310633002, 0, 0, 0, -3859959366919560255800340384, 0, 0, 0, -2587390478109880467350190384, 0, 0, 0, 0, 0, 0, 0, -1959702279607020674673429510, 0, 0, 0, 166183409445492956908138170, 0, 0, 0, 4416895368184589786479816920, 0, 0, 0, -5496837267311068589458850454, 0, 0, 0, 0, 0, 0, 0, 6782834404713708025864338504, 0, 0, 0, -1504192805239338225190876824, 0, 0, 0, -4427166912858532289871008688, 0, 0, 0, 7278127775125774269877018824, 0, 0, 0, 0, 0, 0, 0, -6716763686928959916325548552, 0, 0, 0, 2561062840180727828313666624, 0, 0, 0, 3423485442146438270745351864, 0, 0, 0, -9170079271656735294480615264, 0, 0, 0, 0, 0, 0, 0, 10876049634017241235809607962, 0, 0, 0, -13986742811486554173681165144, 0, 0, 0, -1739761580085867661536744864, 0, 0, 0, 20303634388677634190425955820, 0, 0, 0, 0, 0, 0, 0, -22225376927435627245520186808, 0, 0, 0, -2602766061065887881799130298, 0, 0, 0, 14435746675749346540342872756, 0, 0, 0, -7953998189125685701658828634, 0, 0, 0, 0, 0, 0, 0, 10273158603488260912479746022, 0, 0, 0, -5763872900870987484210598440, 0, 0, 0, -1847719686809214009121641456, 0, 0, 0, -18453307542857607758476532514, 0, 0, 0, 0, 0, 0, 0, -31616767118396314739317539408, 0, 0, 0, 44862487180947983636345808606, 0, 0, 0, 20446656384185185862675965248, 0, 0, 0, -34079929844747535464520519576, 0, 0, 0, 0, 0, 0, 0, 40591588542245379170630370648, 0, 0, 0, -26898956384992405947325427856, 0, 0, 0, -16815658902636494424871994928, 0, 0, 0, 63245048873718443240275298184, 0, 0, 0, 0, 0, 0, 0, -37133375458720600657382565402, 0, 0, 0, 32421138470484677746248230400, 0, 0, 0, -12303024631073485979795776998, 0, 0, 0, -44427720843501001559813575698, 0, 0, 0, 0, 0, 0, 0, 41264770962736636574618008902, 0, 0, 0, -68352394189262304260828117550, 0, 0, 0, -11981688124546931653384448592, 0, 0, 0, 62031972229079018257114791150, 0, 0, 0, 0, 0, 0, 0, -53268141478800990542460203418, 0, 0, 0, 22001630849938592594092469430, 0, 0, 0, 113284528313220921305982852024, 0, 0, 0, -36142157792501364947924577072, 0, 0, 0, 0, 0, 0, 0, 66898688963090059598217712464, 0, 0, 0, -94899283482811336354547719992, 0, 0, 0, 18794218609286970112615231836, 0, 0, 0, 7204149671769266187014602464, 0, 0, 0, 0, 0, 0, 0, -51419709977789125584760835064, 0, 0, 0, 39099969381365592299700083016, 0, 0, 0, 6554625284624288355548352408, 0, 0, 0, -24024139050534073967945192250, 0, 0, 0, 0, 0, 0, 0, -50728130944110040800957021960, 0, 0, 0, 58860718209966095746104585246, 0, 0, 0, 10067552122862105720827531932, 0, 0, 0, -15925905907796520037051687680, 0, 0, 0, 0, 0, 0, 0, 46733391910259534668262068278, 0, 0, 0, -8422769418444293272248000672, 0, 0, 0, -284836206249883295494941272898, 0, 0, 0, 83808789970210430859574962378, 0, 0, 0, 0, 0, 0, 0, -53573583011538226514901228624, 0, 0, 0, 198462331720699857955049918106, 0, 0, 0, 174224495070109553129873059092, 0, 0, 0, -69016890198575581535451916782, 0, 0, 0, 0, 0, 0, 0, 181939187354511327484934551176, 0, 0, 0, 102140178579469947384051968190, 0, 0, 0]