# Trace form for 8.12.a, downloaded from the LMFDB on 24 April 2024.
[0, 3, 0, 20, 0, 4378, 0, 35592, 0, 364351, 0, -437924, 0, 2424354, 0, -10369192, 0, 11571734, 0, -29163996, 0, 42049248, 0, 3749272, 0, 25230069, 0, 67917320, 0, -242433102, 0, 297882912, 0, -592852720, 0, 101747952, 0, -182227398, 0, 826449464, 0, 979775598, 0, -1743278724, 0, 2138827042, 0, -701569872, 0, 2864997627, 0, -9990058520, 0, -531170102, 0, 10134953928, 0, -4445419280, 0, -9014835572, 0, -1840230702, 0, 36447883176, 0, -10820210564, 0, -2485905324, 0, -19932595552, 0, 30489530696, 0, 4016618382, 0, -81254774516, 0, 14365261728, 0, 47757712848, 0, 20946031387, 0, -147967912348, 0, 86218163220, 0, 47261838840, 0, 81753623454, 0, 7178123184, 0, -32147884160, 0, -11404963528, 0, -71551453338, 0, 113298667660, 0, -137810222982, 0, 132013923432, 0, -349841500608, 0, 105663277500, 0, -198455325822, 0, -61434831144, 0, 351781911414, 0, 517815283152, 0, 89540559562, 0, -903239029872, 0, -58040233545, 0, 619408780680, 0, 1169240778372, 0, -1013453468544, 0, 349198976144, 0, -548256957292, 0, -762825943968, 0, -839973005584, 0, 841196291790, 0, 1154667726300, 0, -782408835264, 0, -1323277351064, 0, -1490875958436, 0, 3424759488820, 0, 877932572714, 0, 913109697048, 0, -1938038363698, 0, -252318629440, 0, -990389241294, 0, 2913998989976, 0, 2480495639616, 0, -490507955532, 0, -3136205696032, 0, -1356387392856, 0, -2134712544627, 0, -4852304343820, 0, 7336826968002, 0, 1308950940216, 0, 3785961100880, 0, -10626466090812, 0, -3158638188726, 0, 4790166621560, 0, 2070891354444, 0, 757566001656, 0, 5353596977856, 0, 63384239808, 0, 4955343886278, 0, -2293978851184, 0, -3498985719846, 0, 13941296489928, 0, -18004576067024, 0, -7429930270416, 0, -1435238569884, 0, 14071774141816, 0, 5455736727632, 0, -983284345116, 0, -18768230343200, 0, 2273852978056, 0, -11059147504896, 0, -2347418284792, 0, 5521375433636, 0, -317657052192, 0, 18436752269081, 0, 10636840253172, 0, 10272358051578, 0, -26906654278272, 0, -7534985624018, 0, 2071845730464, 0, 38549516830400, 0, -18863664047248, 0, 32332026650358, 0, 4744914526940, 0, -37865996704726, 0, -25393777050216, 0, -13700929994768, 0, 19775473891148, 0, 37294354254048, 0, -41009206715600, 0, 1944394866950, 0, 14678999977968, 0, -56436030732390, 0, 12990007233544, 0, -64084379717076, 0, 82654001144520, 0, 21039513197858, 0, -26581579287408, 0, 63315083031360, 0, 85225337317124, 0, -82495903884630, 0, -24951766279264, 0, -89810727216034, 0, -21803509280916, 0, 99089394944032, 0, 91238476048848, 0, 105659394432057, 0, -54858377214296, 0, -75678949348038, 0, -59333242673304, 0, -61685457716320, 0, -46176597837296, 0, 104244949150368, 0, -91343688880680, 0, 29933368856860, 0, -66615869199036, 0, 43506844613984, 0, 67907577810360, 0, 23089592892798, 0, -77897331884112, 0, -13569877614126, 0, -46931675280216, 0, 166256627510160, 0, -45312485657336, 0, -97771931120082, 0, 244059627867320, 0, -115833481315200, 0, -45858880507236, 0, 61661935578306, 0, 346252389560024, 0, -63691414682538, 0, -177327282418584, 0, -116332477508992, 0, 92502187372176, 0, -271397670975808, 0, -61672590517332, 0, 155165310360306, 0, 126469684054448, 0, 72615551638886, 0, 141028191721584, 0, -402493072050240, 0, -163436238228120, 0, -38356977337809, 0, -104614222749500, 0, 102983640710692, 0, 61822782478320, 0, 395746322095878, 0, -223350044806800, 0, 153062382534666, 0, -126331826033808, 0, -88467265451892, 0, 28164902305740, 0, 315176299920896, 0, -268844672135808, 0, 112964131937472, 0, 302461482608428, 0, 374757861749914, 0, -60378217987152, 0, 80297963022640, 0, -224263101975968, 0, -390572019745374, 0, -643770298912128, 0, 115964745235350, 0, 330092140102848, 0, -363320794049558, 0, 210381054890568, 0, 32374664298462, 0, 939019562113032, 0, 54284040103968, 0, -141862266505032, 0, -1347166295808240, 0, -456791721273420, 0, -10046367062598, 0, -465562831932816, 0, 585163676085850, 0, 1262846926967856, 0, -242244815802016, 0, 42789127084592, 0, -359846338385994, 0, 1390383584960784, 0, -56226374257888, 0, -603559733265864, 0, 475002113011607, 0, -892627858047988, 0, -729311238003708, 0, 403204651499800, 0, 830747940800710, 0, -172673168698920, 0, 1332683861637280, 0, -104893707521376, 0, -409703265496050, 0, -745191799172720, 0, 333952341185506, 0, -765875175359664, 0, -402317122707200, 0, -613070843964444, 0, 823300442125536, 0, -630555402533896, 0, 809425733671984, 0, -22381826837124, 0, -1429260714660206, 0, 96528041358560, 0, -383523995032260, 0, -378590297790720, 0, 925000502081396, 0, 1391280284895720, 0, 1609234745752752, 0, -1249567288549572, 0, -877295165148732, 0, 1624248889672552, 0, -2008564430610240, 0, -1098487671198204, 0, 179125850029152, 0, 3081283634878584, 0, -102788413633332, 0, 823347168574380, 0, -427062431616366, 0, 771517420141776, 0, -1083504576997280, 0, -602799404421584, 0, 92513782767552, 0, 98160467112888, 0, 518108140623950, 0, -95460586071204, 0, -2771447368825824, 0, 2687483404038208, 0, -643243166794005, 0, -880818543803012, 0, 874450961729076, 0, -2189828120538360, 0, 1767800781183600, 0, -2882097198689860, 0, 500834356657074, 0, -2498783160061800, 0, -3195568873956932, 0, 1940473979531316, 0, 4918836944015674, 0, 2357192816549976, 0, 4150097780645760, 0, -690921750768816, 0, -3598768991145662, 0, -2082114544204248, 0, -802797117190880, 0, -3652443226677692, 0, 3468804446188884, 0, -1383740686374072, 0, 2772621397069438, 0, 1275214273506444, 0, 960207311228160, 0, 4368247928536616, 0, 1610270556460614, 0, 1713488206973224, 0, -3231517196834208, 0, -4434607398786168, 0, -912965194815956, 0, 3659865032735644, 0, -2291820271813248, 0, -7141390141459368, 0, -3976194913783466, 0, 5580693846294240, 0, -28842034070560, 0, 3798417779398104, 0, -2051236652601954, 0, 5928059920294628, 0, 425070428279090, 0, -3768541376474784, 0, -2126049432543936, 0, -611921641319136, 0, -1340401707849606, 0, -4252156965767184, 0, -4261173298273362, 0, 2598166554297276, 0, -1506870241553344, 0, 6058790398485072, 0, 2832933106571511, 0, 6313671334694080, 0, -1771792682351532, 0, -3361547610831624, 0, 6039472038145520, 0, -6551020974500096, 0, 5674698042386034, 0, -4440142650141976, 0, 2519782730992006, 0, 3194692993177236, 0, 1066651519921376, 0, 114607847719304, 0, -1351570751932560, 0, 567646569108480, 0, -412866434071902, 0, -4242819802530216, 0, 4060976843335846, 0, -4500885643412316, 0, 2525015021121066, 0, -5207902420958480, 0, 1152324020075328, 0, -4976179380441456, 0, 3103167369028736, 0, 4882372245034792, 0, -3384919099024986, 0, -6726431445829832, 0, 6160995336783034, 0, 1389194273709840, 0, -3724486990117968, 0, -3148676674729988, 0, -8635619301744732, 0, 5700501228610520, 0, 5477740500352924, 0, -1718025461009724, 0, -12297016708917216, 0, 12989946910402248, 0, -7640316123132804, 0, 11989599181504136, 0, 6241957966830930, 0, 1389135799889592, 0, 3892809083812224, 0, -17274150279506448, 0, -5279057976085542, 0, 16841200817619472, 0, -5683340675335936, 0, 3975709239687216, 0, 9718056769883200, 0, 10382217807672400, 0, -50631659457600, 0, 4017052526235240, 0, -11602069085069538, 0, -78369174085032, 0, -22158115356019049, 0, -20381255042998216, 0, 10296715105453170, 0, 3157476062982424, 0, 24622687537120784, 0, 14066838756571380, 0, -11475672539948384, 0, 2279989316584168, 0, 5444085224771436, 0, -22921843284932044, 0, 3917986615009440, 0, -2279877599027856, 0, 2276139208743760, 0, -21786239917570864, 0, -17696731787390070, 0, -13016185121894272, 0, -416355139540162, 0, 8415224580100272, 0, 36512002937354660, 0, -3636225152804984, 0, -396318674382330, 0, 14638766878940200, 0, 20865595445314074, 0, -4128573212858400, 0, -2403050733213120, 0, -14167692361772760, 0, -2842376672226144, 0, -1463009334090960, 0, 9510473343778396, 0, -11245465428468444, 0, -34222884680369440, 0, 6219705018590352, 0, -6951954081320628, 0, 31689585181893584, 0, 23774710728124594, 0, 12360800993542752, 0, 21908405224491510, 0, 7098583311129688, 0, 569135733088128, 0, -33292718353563080, 0, -27363042521787538, 0, 38405503801711740, 0, -45152791466822720, 0, -28239916443787752, 0, 11559633159289296, 0, 39181989557125488, 0, -7188954495360054, 0, 1330982175104952, 0, -24864756364846736, 0, 450087299302796, 0, 20415522910924242, 0, -14310611548502248, 0, -24554973909137786, 0, 374708479113648, 0, 2333045706269440, 0, 22602969561031752, 0, -7068222565476675, 0, 1404198467168200, 0, -19776744537276474, 0, -13957619163399960, 0, 14555614725367504, 0, 11418415585502928, 0, -10571964006028566, 0, -8779792267509352, 0, 35297283037738398, 0, -9764671193117268, 0, 50599405901059776, 0, -5143967410326944, 0, 6434787775748412, 0, -15259262497975940, 0, -18961777404181952, 0, -33938208647488584, 0, 8614137244993886, 0, 17226990709831008, 0, 17383709397566082, 0, 6841660252979928, 0, 3742982662554230, 0, 25201827023113092, 0, 45013990367801696, 0, -24977036531497480, 0, -13008792417383424, 0, -31680642664073156, 0, 12932390012033088, 0, -33061764483635208, 0, 5078819929664960, 0, -12099979854816576, 0, -3461846247824268, 0, 9212484578144640, 0, 12331438127533356, 0, -13352098723323684, 0, -75086842701034494, 0, 62928257271663376, 0, 23502568583980368, 0, -38089969198992880, 0, -32202022586324256, 0, 28935134026112280, 0, -21188132423280528, 0, 21208940055587120, 0, 18661461808756182, 0, 3087975205493896, 0, -33470917382010202, 0, -42992293031155260, 0, 46335782651627040, 0, 62463788919134480, 0, -17593310230979346, 0, -682572213260472, 0, -70504810100725566, 0, 14310849224147568, 0, -32240862607506816, 0, 16433329151084484, 0, -6622955395617036, 0, 84547367289086328, 0, -22347971859337218, 0, -35823848051045760, 0, 73195137431000160, 0, 65236046874237648, 0, -19034981425054749, 0, 2804185629038700, 0, 18471795658513076, 0, 1794180504445128, 0, 106207935070189280, 0, -16843084706932452, 0, -102646919394260064, 0, -17606525151256952, 0, -61811102224771626, 0, -56806697558908008, 0, -8274716156003414, 0, -81455978306294952, 0, 109870784420307468, 0, -57608011325882880, 0, 46452841777543648, 0, 48167754032615136, 0, -23776846960198640, 0, 57457078760562544, 0, 125925273728750586, 0, -8074261967078928, 0]