# Trace form for 9.12.a, downloaded from the LMFDB on 24 April 2024.
[0, 4, -54, 0, 3508, 540, 0, 71696, -239544, 0, 594180, -1172448, 0, 1713776, 1763424, 0, -5059952, 3821580, 0, -29453392, 28783080, 0, 20792520, -33955632, 0, 109740340, -73630404, 0, -32545792, -139157892, 0, 108538448, 215594784, 0, -494588052, -68197680, 0, 463378616, 1777763592, 0, -2203896240, -1206953892, 0, 2206321904, -1787357232, 0, 1790729712, -1131607152, 0, -107107836, 947334150, 0, 4662811640, -2196361332, 0, -4455675360, 5719109760, 0, -16399512684, 4633896816, 0, 5721657464, 2704881168, 0, 4989370432, 6905043720, 0, -28417068400, -22613987592, 0, 79161094080, 5039600976, 0, 16675082432, -56222904276, 0, -104166445360, 26657870688, 0, 63074361008, 15795280800, 0, 51819654492, 20566645632, 0, -251722500120, 74308863672, 0, 169487151264, 50465686284, 0, 77023474432, -34357788576, 0, -330468480576, -156270898080, 0, 299666878400, 53396148186, 0, 30119207980, -91053740628, 0, -18112477936, -70004901456, 0, 439669851012, -315836971632, 0, -53836001776, 329136210000, 0, -696645025024, 444811438332, 0, 241631762400, 145622465928, 0, -412204818168, -30011291856, 0, -396992329004, -219177349956, 0, -27583627552, -10558809000, 0, 886192270640, 349864465536, 0, 607036336920, -533636979120, 0, -833936246240, -784370989368, 0, 1314693250416, 452213452476, 0, 1033163493296, -720697184640, 0, -1055454805872, -179853205248, 0, -2608553102040, -1054607414652, 0, 2942073707288, 2500014433212, 0, -2444220798640, 2124839588256, 0, -2103293294208, -18301336560, 0, 2611106627864, 624601992240, 0, -2779778001600, 737234059968, 0, 610886583440, -3174138513576, 0, 7412234294520, -2746024466976, 0, -5084506440708, 491376647160, 0, -2339447462992, 1681239024972, 0, 10000824328400, -2970177183936, 0, -7552861024932, -5605098646320, 0, 3565858079888, 1891235331648, 0, 2304344053440, 4449748563720, 0, 1158229086336, 10234749050496, 0, -4693536874800, -6149492077248, 0, -11749807024312, 4849540243092, 0, -1052365921836, -3481758767988, 0, 5479945439696, 5254093841400, 0, -962297067420, 2448495645840, 0, -5778873827640, -9206977183488, 0, -5168470144672, 6745352812704, 0, 7108969174736, -17655589120536, 0, 35384117042664, -5061459229920, 0, 14634563058592, 7180776233532, 0, -19330167932640, -6353095713048, 0, -12450060523024, -3817994558976, 0, -5345060022900, 1775687400864, 0, -16478609938384, 8574863199840, 0, 34825336545168, 17582117508396, 0, -11061617119200, -9879726650544, 0, -61796556690624, 24764820094944, 0, 24618208678112, -9466841519838, 0, 6820528240952, 1716313851900, 0, -36822607483616, 12362747826240, 0, 69941375692200, 11244987811296, 0, 16393518071424, -25826511181968, 0, -25088623779584, -31766109916932, 0, -16514776801184, 12498822687600, 0, 17562200266296, 7678153689120, 0, -4429687626360, -46532008448640, 0, 35545926225872, -54361296800676, 0, 78991374899312, -4993709670432, 0, -51200186868900, 26383314664800, 0, -27712894365232, 102171744764568, 0, -87090518188800, -37010582342676, 0, -28799660109424, 74271330417312, 0, 33232828910256, 30110785252848, 0, 81157057399300, 19388170150920, 0, 54817691146376, -24248537180820, 0, -157979213398080, -87683991296400, 0, -227620062991836, -961617926304, 0, 211718404673632, 34704177967872, 0, 37553209470272, -7016031178200, 0, 48753530439632, 58286065446144, 0, 147311057550240, -84479426100288, 0, -142499702292280, -134676246502980, 0, -31068036635104, -1544951445732, 0, 120805593626592, -63062558570880, 0, 34981385548032, 133807139839296, 0, 117801076774400, 4170043753704, 0, 182576400294960, 1809583507584, 0, -371441137928272, -78570747200592, 0, -150711185865744, 103197408004800, 0, -43971398843872, 58994866281366, 0, -113000078857680, 60740299197216, 0, 82626327532960, 149989902571872, 0, 192380479659540, 57793055726880, 0, -465479792652616, -33039583106400, 0, -89621907539328, -169155736018596, 0, 202281694247520, 66018522400344, 0, 395112768701400, -33234865910064, 0, 240649937481972, -201708687810132, 0, -58257124769024, 67954185892440, 0, -9554991435952, -77038513852032, 0, -268120347766920, 78553140145488, 0, 209392239898904, -242058221902224, 0, 213715609115904, 65947622140872, 0, 15655826486672, -347076765082080, 0, -200429104055040, -295791423373440, 0, -158049219551040, 515095510998420, 0, -143709262279768, 189761605221276, 0, -268102548368928, 330476767237512, 0, 599848716661092, -164125052161200, 0, 294425560562552, 312753155654016, 0, -868279842817040, 99263446209900, 0, 153425654742784, 82747321559208, 0, -794162569078080, -326582207819712, 0, 32218951256096, 412202700503640, 0, 603440367658688, -71472707212320, 0, 1160657427670560, -99172088845632, 0, -941363390320992, 27884138959584, 0, -797924142086128, -177036561856152, 0, 286876335162960, -114435950107500, 0, -613265537208608, -777669166481904, 0, 2199064707941040, -441395530489872, 0, 395800585611560, -89058389352192, 0, -415784919372808, 100001889187200, 0, 606146657474288, 312979780975680, 0, -598499297618040, -217122018487776, 0, -1365069588136920, 2433330898416, 0, 887696599651328, 700699557472812, 0, 772895502952704, 1326270045697848, 0, -890459660191464, -160944146134560, 0, -634954639705504, -1697518123446132, 0, -354059541541440, 1426441495285836, 0, 477619127914064, -167924227642848, 0, -510583197515652, 297374048035488, 0, -946715225258144, -340120381691520, 0, 561898186155936, 620168811610464, 0, -1480942730235760, 515780763668352, 0, 860147857080288, -900455614485840, 0, 600001377336352, 63877758828660, 0, 244759187664100, -572242233400200, 0, -236854835785360, -1355315398999632, 0, 2280760264255140, 1344821309744400, 0, 1676869218716328, 1018264871316528, 0, -1295684814715264, -247762324850112, 0, 1061745481600304, -2019993414678000, 0, -2560002670512792, -1598618707617456, 0, 406037225876040, -522602400999744, 0, 1820978161632032, -962124494623524, 0, -340284215735168, 1653357698560512, 0, 314689891516524, 1351245303359280, 0, 907178652139968, 1512573537893184, 0, -2230698962610720, -555585412657572, 0, -3006180545118256, 1324701561977136, 0, -1128313931705424, -207822457119312, 0, -3013023055267484, 1403477020673640, 0, 1883807648454400, -510685885138104, 0, 3693987217687680, 487244132586144, 0, -1046780705097612, 1676900496179232, 0, 1814597609302736, -1914069915514800, 0, 2841213911288256, -727874160567480, 0, -2670668436554224, 188162800046424, 0, -1919196083493000, -1159224796822752, 0, 492357409461280, 1974347012845548, 0, -4686523326913552, -1771138038777300, 0, 1702192369802272, -490999816558080, 0, 4650069727166364, 730826631931392, 0, 6149155912789320, -1837835326334664, 0, -2002695017349312, -3276700267707396, 0, -86035651200688, -2427119633830176, 0, -2455374402675648, 781501821505200, 0, -1588295165149720, 2253255897918078, 0, -2642678647694640, -247774624801632, 0, 1227890424983904, -2290061042766000, 0, 7740634454038116, 5549326342905168, 0, -1756770674472224, -368936639354160, 0, 2460159446126816, 2510548647678396, 0, -10706508601679520, 3946249868801832, 0, 1969697962106784, -1709601448069008, 0, 4384897951646504, -2067341818718592, 0, -2040762238482880, 650172120294060, 0, -6284001151584400, 1728627759365760, 0, -6371373860519400, 2744614143533664, 0, -805237202614312, -1639866037287384, 0, -2025070329300480, 1906649651189196, 0, 7499900531376272, -1479684812287680, 0, 6601841228791440, -1125605476360080, 0, -1796999568511700, -3370853921139036, 0, 6271701117292856, -3308649158379096, 0, 1002366825287408, -3797033303557440, 0, -11014412046697836, 2612890390935600, 0, 2188605297369264, 1112657134636944, 0, 15833219295479040, -2139739736215572, 0, -10425465815062576, 1256083157435904, 0, 6353912479671792, -2059463548761840, 0, -563824969072416, 1548334314900900, 0, 401021520454544, -1367371383622740, 0, 12615359440824000, -3746027352714912, 0, -3954128621359104, 1338310267300080, 0, -10951227300111880, 1126878070173912, 0, -10612779583898016, 3770814971563200, 0, -373290200716320, 4090670329610592, 0, -10711259670486960, -6876573698129472, 0, 12123754476042152, 7579662246883188, 0, -3859690527141108, 982778324627772, 0, 15152811718260736, 5386208342548320, 0, -3568323525863616, 6843598159374720, 0, -10961206342057080, -5417792957378880, 0, -19395425531686720, -3827905049075544, 0, 842857111640144, 1550746632511368, 0, 15183784114112808, -8930558020691520, 0, 2591868339266472, 10522156778002044, 0, 5868245372499200, -1014792498944100, 0, -14715413259845600, 4498770355727616, 0, 25241158824316524, 1627171402365648, 0, 8644990464566768, -5077119813107040, 0, 3656013386390064, 1765141360629696, 0, -6871445823072960, -13361113826459280, 0, -30166356964030128, -9736053707653488, 0, 11673427871768992, -20675746097497422, 0, 11744271814272728, 3489200447537700, 0, 14421631369766384, 2480997349958400, 0, -5321461347474840, 2836379231945280, 0, 9804388553129264, 8218914375891888, 0, -5741932577395968, 4901087644399584, 0, -12295010845219024, 13111647794310960, 0, -2720226523341888, -8123318063175744, 0, -30744414728593560, 1384732567705932, 0, 14735422805412960, 7773536630454624, 0, 13405542851854544, 3304565876943360, 0, -8373346640288136, 230590660988880, 0, -16369285940973136, 14942130678362520, 0, 38926505271850560, 1534247133508764, 0, -2664530855859200, -9604032368712192, 0, -6181077594921984, -3423484129805856, 0, -22908420090089464, -8454135180591360, 0, -33693607090543768, 14095742522140620, 0, 18844985147711120, -275307649965936, 0, 24398441389177092, 14252501128916160, 0, -5301525021444864, -6773822571029472, 0, -20105880968176368, 5092905191973480, 0, 21113473169860592, -29893890393581400, 0, 6010955376841440, -11409987689276112, 0, -4943115155444384, -3316398054366564, 0, -12321106840549696, 13689771723836748, 0, 2494773029276640, -5393462158202400, 0, 37337560447082796, -9693770485362624, 0, 14359369708978560, 3776966170936416, 0, 7918702456092624, -15063308475541380, 0, -17979994061795440, -1960295268251520, 0, 35563998210402672, 849990933770400, 0, -14265477306792608, -9108144220203612, 0, -22823217272059920, 10761979102981164, 0, 11528432593536848, 11539551325462272, 0, -36989173183340160, 513628414241040, 0, 29071342919699792, 272229904004400, 0, 153837443723648, -7997211547789716, 0, -5442246038638080, 58618318616345664, 0, -33436183186761192, -13059051086094480, 0, 7564174697326228, 16425107215825356, 0, 17201068932679184, 572710717114020, 0, -33536523275787952, -12946641968464992, 0, -78960276030213900, -6781698520735392, 0, -6618445906193800, 7923544889352768, 0, 11158731215640864, 14289741738283068, 0, -6671890265721232, -20883655622334240, 0, 90587930379092352, -6781729940616384, 0, 50087684818493640, 8241281857845684, 0, 10227026096286976, -22750818959409120, 0, -901760130820832, 4561561205490096, 0, -38827011649446720, 4247868660948000, 0, -62240675770774984, 28033399503234720, 0, 7273053151102080, -20480381792890596, 0, 69852467199685904, -3665162998777392, 0, -30038584593044376, 13412353889863008, 0, 49662132541141216, -13566703047612840, 0, -12203063151343840, -59005648884511296, 0, 16039982770401600, -13436431975249920, 0, 73002054569266764, 7333054454402640, 0, 3851068351688712, -40764652670583504, 0, -95532672153474576, 17054310001582440, 0, -62399867590274128, -323321979222288, 0, 57812003503724160, 39233924911537056, 0, -29367668615778720, 8018425932221124, 0, 79805440675347608, 7856841720960288, 0, -36411252001509808, 5143334520240000, 0, -56952913510079532, 17020699036499808, 0, -10128934644850600, 17591935133009232, 0, -1246632119801280, 7437165148606284, 0, -23356869641187024, -25777524530550888, 0, -41239508165530056, 28396802292505920, 0, 92177049946564808, 17680991345956224, 0, -679159984838400, 12605557573790028, 0, 17251347503152224, 2996033010064704, 0, -73094062854276000, 66316123749356496, 0, 10804995956820304, -36949026397120200, 0, 78984206210891520, -44829115266310596, 0, -94070911406463360, 60626021237210304, 0, -7122680559116640, -9279504052440336, 0, -73707206184978972, -37201513630284792, 0, 8897078201396840, -52756578279168840, 0, -5923114359461680, -18885954850021080, 0, 156557941362399240, -14371021446507072, 0, 112061525118791200, -19048448659614048, 0, 56367273999452000, 20741134635185580, 0, -9878354472878784, -38218408753285080, 0, -101010080955164184, -7465557661453152, 0, -40213293282188280, -23868959527088424, 0, -58687670678033696, 14987711436080256, 0, -20282974858213552, -11356714330083072, 0, 55591061037334272, -23846455625786640, 0, -28840558301161576, -49507402940716248, 0, -24242465074111200]