# Trace form for 8.12.b.a, downloaded from the LMFDB on 25 April 2024.
[0, 10, 22, 0, 436, 0, -24308, -33616, -208472, -472394, 29864, 0, -476216, 0, 2264272, 3391792, 3757072, 2639732, 2329130, 0, 8296432, 0, -24201892, -45357808, 10668944, -41502654, -101931080, 0, -95722144, 0, 261362768, 442035392, 343908512, -54732216, -187103796, 0, -431195700, 0, 375100844, -431459312, 1519138784, -654907964, -3697737056, 0, -4127012952, 0, 6028867440, -560226528, 9357606048, 1143661722, -9626584226, 0, -11595427248, 0, 20050494008, 5632783984, 18698733760, -783862360, -22828679464, 0, -43681325472, 0, 40774631744, -14483624624, 55266728512, -80291360, -83128448712, 0, -83303223768, 0, 100120831168, -11769460176, 112862051672, 32304890372, -102103996184, 0, -97501928568, 0, 144445560944, 57291670496, 128322038976, -23172996094, -123309929604, 0, -199990865984, 0, 130201908124, -73844404272, 169216119632, -108276011804, -228506434984, 0, -141139403232, 0, 145336130016, 70146835376, 109508068928, 60995282900, -6194726778, 0, 121264119204, 0, -214932562088, 62313133808, -214322545504, 193313087104, 330599663624, 0, 591851639888, 0, -529542803184, -5109738320, -621906584704, -148544742348, 748169246680, 0, 568642297104, 0, -859050573508, -239653941664, -1451867878720, -536239823514, 1452446712600, 0, 1090847750528, 0, -1890828652240, 385430734592, -1579913961856, 592629539272, 1928630722080, 0, 2882552997648, 0, -1721729286516, -1380622167328, -2602641673008, 1259075240196, 2781241833952, 0, 2831843787904, 0, -2418531564720, 2475250794960, -1452153564688, -807500719520, 1414720639548, 0, 8425062768, 0, -1501704128996, -4560421996528, -1190144574704, -1234608627188, -969265196000, 0, -690651911136, 0, 1037982458656, 6419987339376, 819607957376, -598897258624, -464764959074, 0, -1902464854584, 0, 2170252270892, -4482285757328, 5123170189184, 891620209330, -4303158787376, 0, -2116718240472, 0, 9145521300144, 8618311399152, 7809217578528, 592862729864, -9243341324964, 0, -12362571120112, 0, 8632081453120, -14545141206192, 14101652198976, -696252945248, -17180890003840, 0, -14103357974976, 0, 13173014748624, 13903246792832, 14143444969088, 1194105983252, -16430981088404, 0, -16232754525228, 0, 18716628758820, -25589105217232, 9399868837000, -7227761120280, -2259903164056, 0, -18049498720496, 0, 7251872394384, 47240535537904, 11833430927424, 5533042682376, -10041664073344, 0, 785071672368, 0, 16593544335644, -55034341517456, 3001418133664, 19266378414592, -4286835671944, 0, -1230097512224, 0, -3078533270320, 66487573911872, -2341533625600, -9746237449346, -194704203252, 0, 8781944257488, 0, -27989536200128, -107428494929472, -17608194117088, -14755329673532, 19455373419848, 0, 21291872867048, 0, -28598178540384, 106775003547552, -43005402116224, -1965948902476, 60886508023418, 0, 55238580536976, 0, -64464724905544, -110485884692592, -53473934595328, 10146740134568, 53359026915472, 0, 81915743297184, 0, -53352898172672, 179860296322912, -67517178420992, -1923080228844, 78916244635064, 0, 69416260416960, 0, -52425111364852, -146393079505232, -48341321467104, -19130708058848, 57249821476256, 0, 24894929622216, 0, -68017386548192, 157091542246496, -82260582211808, 1577984071552, 25919046948924, 0, 63670261979968, 0, -73388844073636, -275190490498240, -40694559848192, -5977939940508, 23043757390272, 0, 82251950297184, 0, -49037748948816, 286965679825888, -8609567122592, 24935071554238, 52497614654880, 0, -48512775215032, 0, 39658537796844, -356286690314768, 10157653805792, 59249669007696, -1083028355896, 0, -65867541439448, 0, 53783017978992, 456445101702064, 71677586902944, -19564414844064, -150076823598412, 0, -63859240421184, 0, 234289173650176, -398361101913136, 221893278618176, -67908368472412, -52826063074856, 0, -253828553982016, 0, 254722442956560, 412850430916240, 126024006798080, 30294534023880, -295436356026240, 0, -267105096114396, 0, 87596573061964, -588069618643312, 167614643426832, 3903620773632, -392336700375264, 0, -123245801289592, 0, 210502856776464, 451822281600816, 380872357540608, -3989081398156, -101496145351698, 0, -274524402501408, 0, 233605331427028, -391727225596832, 68701727030864, -10595419708544, -208017802009864, 0, -365099100208224, 0, 139652440351888, 535160202692000, 452926108812608, 29662421720916, -231351103679240, 0, 141719789034504, 0, 324541278145772, -262775803589392, 268123777793056, 253361398212118, -145061391697144, 0, -117068173141632, 0, 282222746444592, 280232007880352, -246925832263040, -384776476812868, -59676106376352, 0, -356582301014272, 0, -500975321625864, -183383487526944, 5608587034752, -285683715117024, 65383075302464, 0, 445880141476704, 0, -61162410253440, -33705529943808, -403259689045760, 230300484326528, 661690003727916, 0, 275528208889064, 0, -281607728781760, -74833027589856, -840776881569816, -226602282624280, 370635620013608, 0, 716906898130776, 0, -1264252845380528, -56655674710336, -188261143897392, 360022678574196, 403177362865560, 0, 992333031380080, 0, -123314465104064, -30487177819152, -361083273472480, 521099237870564, 1448975804437520, 0, 392951107082720, 0, -493559925103984, -311791100499536, -1223119064292736, 182948778630728, 199809035030904, 0, 376857418757376, 0, -1295915502075860, 813872070360288, -492959578390432, -290460487445404, 682364935059360, 0, 1414308473288232, 0, -478779154616304, -684621222751200, -791836021387200, -645256553454028, 1557848192763392, 0, 105401397182160, 0, -176472605652168, 872760822761168, -1907748255389760, 238165918299174, -202442374406160, 0, 88594760570208, 0, -1432869954008896, -2051793307847952, 88386270502400, 98890589330196, -84166589177374, 0, 1686424637158824, 0, 172486361299916, 2591796065624320, 980432281632928, -898026900179836, 1274339787178088, 0, -1227764672006784, 0, 1100925243253824, -2968467075326752, -318879531804864, 333638220589568, -1104493286358660, 0, -994416245347408, 0, -936727086946176, 3987282731270608, 1765663436458448, 1575713089446312, -2750455004245952, 0, 839127465379008, 0, 2737529943600480, -3379290737733824, 2985310526495488, -135995441115936, 1116483944760716, 0, -2764953783242196, 0, 2508544546674052, 4174064644555760, -718687547636448, -539063147719064, -2978989111878936, 0, -3348408049444528, 0, -785846413788944, -5726682765182064, 2167457217199616, -1803310327081344, -4056709855660328, 0, 1338082860215136, 0, 2543041246783676, 4643236535090256, 3742096247471936, -699117965492576, 927382156273248, 0, -3615606250177024, 0, 3979694017178528, -4460401483120160, -2140209944024576, 2069514122270992, -3785899784545236, 0, -4987755365870064, 0, -313571651349824, 5832765764870544, 4195821600954240, -848227932103164, -2450780817794520, 0, 644633043337160, 0, 3659061358805712, -4278075309126272, 5010739494090048, -327361127070278, 1582757541743328, 0, -2421778832072256, 0, 5023973421333368, 5882595730703728, -2684530589467248, 1921889482001192, -3775454287427656, 0, -2656465366880832, 0, -3717279659307360, -7823108239844752, 3889375282194240, 2828801613051104, -3596976381413248, 0, 3842660840589384, 0, 2112305118383148, 2843815437370704, 2307892334728832, 883808903000320, 6228895362267080, 0, -1760224860139608, 0, -313989909989696, -4780676218946352, -8437312507319808, -5584788822986736, 281880644779740, 0, -1419345619903872, 0, -8254052978735876, 6184631917992176, 1300226021543616, -1720581566831964, -863294721985376, 0, 9989906265753504, 0, 1696593376498464, -6695249498773552, -3974254398407232, 4850427374887316, 9222173681820578, 0, 189729429442240, 0, -382905920852840, 7794084348594352, -10458590591499504, -1728599046968800, -115463505566488, 0, 436386194910984, 0, -11866581606238832, -5352291885873616, 1546757703326400, -3611383230642060, 2425699261203888, 0, 11790829438634160, 0, -882588392586048, 6823810409936528, -1413935495709616, 922576853753060, 13997900694516256, 0, 1577789457859616, 0, -811933012920880, -1227844666245568, -10712770316172224, 6410978076088704, 1481043188716704, 0, 3594799746502872, 0, -16394486203644180, 3450472902199520, -1868837839498880, 1245924700052420, 550260061605408, 0, 15930482054087168, 0, -704183997831504, -4933721745155360, -1439873969585536, -11041874703967942, 15506629825151132, 0, -441597530444016, 0, -2198016923770048, -3833278202777776, -17268329162732672, 2403711315985576, -4358800803207400, 0, -4321144028336928, 0, -14393952765859344, 4911535008313296, 3374682985958912, 7879705720117652, -2692452949153608, 0, 17071862824142592, 0, 2073079655829144, -7714931924359248, 3435941154899848, -5571982037898392, 10643045726867800, 0, -5308760661876408, 0, 7535792349653488, 6591142629323056, -10273988475713632, -10328318214326916, -10088994869647104, 0, -12549712724657472, 0, -4728132937653284, -8642379037194464, 9992841972729104, 7855338696559232, -3341602108430824, 0, 6045218513573088, 0, 14251324577427024, 18734255227821072, 17003457332985344, 14861815080035156, 11154631964876236, 0, -13488352673795708, 0, 23702281832922072, -16278984195589280, -6022071478451776, -7585587972752024, -16719999898264448, 0, -10383035180130440, 0, -12727515189061984, 22830199529084336, 12463981627810848, -14050053577323936, -22504951399240576, 0, 444330509612496, 0, 12476147440258172, -22921648462836112, 18765873304115520, 7123393317781320, 10492550093263192, 0, -21189407298680352, 0, 18661201559054176, 12203968462707504, -9314722168619904, 24131270071901952, -22534814823258900, 0, -24323897310590064, 0, -6292372040086848, -34217768808939488, 21654889146545808, -13629541413827072, -28120502214038720, 0, 11877439571930888, 0, 22258283413612176, 28709182652803808, 28031254211091264, -21252112675630976, 2487764591437002, 0, -22214645348774352, 0, 23305629880076564, -28118675603560048, -2587031310830848, 14987390776741870, -19744395073496816, 0, -24958726022841696, 0, -1223006652098976, 34470603259058352, 18401578782353664, 22645505230962504, -21877497509808380, 0, 7794402636656448, 0, 19445225220563392, -17835863201728016, 18913264675540480, -19172343576266720, 10577030527785608, 0, -22852162210643760, 0, 23243463728856864, 41714986667555744, -17012158303642368, -35469630418790520, -3900166742714400, 0, -1422766884910720, 0, -17698221574304836, -40838085052423872, 15043524884333760, 30682085115641636, -14557568529817088, 0, 27589443821355264, 0, 5808974263914240, 32965382592304208, 12090973867756032, 31917139893271700, 27568801444060032, 0, -6053959376086168, 0, -18349266373342492, -27787269494846016, -32164869827232176, -28138349049789824, 2201135127194024, 0, -5941920860775040, 0, -35478436058050592, 36039118196762400, -5728637195653488, -58705123208595872, 10787913954813592, 0, 25131978860282096, 0, 5636352227238784, -56425258535540640, -16474181538542928, 22255499803083552, 20377519608761528, 0, 22517072783478368, 0, -9225910499993792, 44364652694506560, -38072221073046496, 66870299461316252, 3821797695682764, 0, 18010966099557456, 0, -37572302809966336, -64283832287749104, -5158102276116256, -34366075047198780, 16123955445978760, 0, 31402324845925248, 0, -18271129793503344, 53225772609382960, -17708183571505344, -42603869861374584, 32005206819483484, 0, 29507633331892320, 0, -30998456830081224, -33060784388165680, -35243149411083840, 37541059924033704, 43817382896020768, 0, 12766580682747360, 0, -43671561855266864, 58471056343381232, -27061642723170048, 79261847702538132, 27929703574829368, 0, 51173498503273104, 0, 14413565576094284, -32451207340672976, -33518661700748800, -3825919230506094, 56664428242022888, 0, 9179947912440456, 0, -35655303422248416, 17943504480251856, -37113498348009024, -118241651516273912, 16672298336271324, 0, 36973147834944960, 0, -34909493815571136, -13636004597971376, -27072806668455856, 4641177086104164, 6823943726690400, 0, 25693616586537696, 0, -37250668966071072, 25848797155392, -17878717378350464, 97022602025610976, 30318923765074700, 0, -28088704305474560, 0, -5881051318461120, -25540448948842992, -22263200557394528, -45925028544596564, 3134423015666400, 0, 6567116860222032, 0, 24167643298540464, -12002827715603280, 7597927976870272, -93952445717144012, 1312740257041338, 0, -2873675944601696, 0, -12802399133749444, 11435186801430864, 33071740638685376, 41491154658347008, -40365284153451376, 0, 8626571544236672, 0, 35766799696736400, -41068740908971856, 23411465188109312, 152291825535901312, -53365458589948884, 0, -22795927306733604, 0, -225621076650024, 70681351760090560, 46224264765348816, -22101457423132384, -2312038672165920, 0, -44021118061890488, 0, 31825679735166720, -27314919282308256, 11625246700926016, -157692883693993208, -28905880094594884, 0, -4036454082142608, 0, 79991840121261296, 59239998831510032, 70719179742685952, 35389738866828072, -29881965280850632, 0, -34996480326728832, 0, 40743994259239456, -46971738865358064, 26645907798472832, 161341800217941332, -26882374734391808, 0, -51189094273053240, 0, 19815074247879980, 70898772213556704, 21608486226427744, -74584111102937788, -99305938618026336, 0, -52716486950853888, 0, 44745607810209968, -112171369157733984, 100954474110832416, -213445270798763776, -32775255628000296, 0, -118855501118185088, 0, 77657102570389052, 110051801252299600, 8512954953311616, 83040256701071268, -82186634956582152, 0, -81955863220684992, 0, 57476535932723904, -59871534953010720, 78796357655195136, 176968825675919946, -64995342571283680, 0, -48919269560198488, 0, 19911551203879168, 88954432391224112, 148306216603458584, -84678188209344304, -44642179679970224, 0, 9404433839795608, 0, 117460006048063376, -143846615681054000, -34196574851381952, -217892974901370892, -94813593318420712, 0, -114078375071261328, 0, 17297269025638172, 90828649293719440, 9279252172946080, 100039823247522208, -45330288462615504, 0, -69935516414860512, 0, 2130253463307504, -137978109575766208, 81592263649094656, 296511106318525768, 19529367075182976, 0, 85427762787859920, 0, 153365276964659052, 176211752864722400, -17627153335277888]