# Trace form for 7.12.a, downloaded from the LMFDB on 24 April 2024.
[0, 5, 23, -20, 9593, -8474, 20606, -16807, -238857, 553993, 1042644, -1789868, 1819958, -1890770, -2201717, -9435032, 2149889, 19957386, -1990249, -5658356, 6668648, 4369820, 80192256, -58884264, -198158526, 63067331, 67980080, 207253576, -23412151, -65337794, -265674448, 146902960, -473095673, 573117184, -212873502, -311366482, 375771185, 39902998, 468983810, -1868351576, 4382370240, 715406594, -1814181194, 2286943060, -4718958808, -4391788658, -4651377792, 3292066368, 4287400094, 1412376245, 10622634109, -6461937192, -15294285692, -4092389850, 32250303908, 1274569032, -8219681841, 5946205456, -17444657898, 9010519428, -34060585216, 17149402798, 13269410460, -12824497315, 13615008977, -2914537052, 891867824, -17170761380, 36598047990, -11808442704, -3006503388, -7747961400, -7237262385, -24853197998, 4955041758, 11893755908, 11061587194, 4844382452, 19699573880, -52902212480, -25423990864, 82069315789, -92408290926, 128838218460, 51064136662, 17293659084, 71981969896, -36276200504, 79695820872, -193189723934, -273768252412, 31457224918, -269180571312, 274848055968, 374073101844, 96812954440, -460410920270, -263465735750, 6496930727, -158745210908, 414029548763, 306564036374, 239173740660, 427266136, 248584704564, 117757774904, -172273834638, -334709786444, -63867926668, 116724978094, -731304652432, -14337416760, 342615921977, -284990143526, 640762778876, -433351124352, 844791657842, -478531758698, -958234201878, -195587798574, 614567639520, -162421801999, -381591928948, -140788379368, 833003228764, 1963459869996, -34758002069, 336617004496, -1260283268841, 406521575840, -1920641792328, -69669434132, -464117903536, -509908715876, -56954068132, -558863371280, 321067931514, 333070507074, 4956586768704, -243992946092, -1164652628216, -133064519040, 717640825584, 906530648968, -4278731423287, 1310430535140, -336023281218, -5649504980, 2796103915498, -2493406947162, -3939208202438, 850246824088, 2545748941998, 2854842796914, 275835946176, -463738975488, -3245840579128, -4466503384034, -2654113282952, 1117598940552, 1840717797744, -1234268566776, 7687658378219, -3165833168132, -1159652309354, 1330560990016, 2908160930010, 1911270347224, 612338943762, -989363288853, 5579413700136, 5134765489324, 1264752965776, -218404415506, -13282909003396, -1256864956417, -3867328272232, 677764584528, 1400518679862, 320553891788, -9400404792184, 8491606279030, 5629602533968, -14801760755192, 7435941645648, 9499240686804, 2019232596648, -11304193134840, -8833887263628, -3430235690392, -419266592400, -739657150160, 6374573429470, 5311167117610, -2791268870670, 17064399047584, 2709785063657, -3212721761162, 20577196975136, -527601876584, 9987781215525, -20366813687168, -25640007400716, 3165918085526, -3381233608284, -13382596731588, -10619062032788, 32960804857944, -18722740425284, 2888102891872, 14876029786576, -3001913107988, 21822838607118, -1304766112704, -4564679030196, -14287064680792, 2200501192860, -2982672137648, 21759455661822, -27548916171144, 8456330072736, -5700697878372, -2826850955316, 33002846486176, -2316394102225, -27520456756513, 14863482221298, 27644715297564, -10943667183988, 21690246821974, -71450766419328, -16799874907648, -16821288423330, 18585902048898, -26256265432768, -10678380108096, 52754545361490, 27146677865984, -899929235142, 1401889157952, -14723913128992, 8548541795242, -71749623433685, 25661015656612, 27790076879152, -2393695260026, 82350608544820, -25729299982456, -20930394922380, 11647759208400, 63759078682344, 13519611741076, -4712361870335, -897619581120, -18180011957040, -20824105379088, -4633948335679, -46181050246006, -11437928425760, -18392566968146, 41524833099344, -81877673724170, -50605390147374, 1681333057576, 105412729044528, 68610507013428, -9244539927350, -10132271189864, -89458032117164, -43657734224082, -88414690271200, 34838014351696, -24899826532170, -9198740953192, 111109732714782, 6212339323532, -43956506209056, 71174630497702, 109096796776254, 59369171888400, 12232796123520, -76877103101614, 138476030450040, -21730510963244, -69908838471648, -60462485282960, -80260779784752, -18016412795318, -31763149743425, -44842813768033, 219764161065080, -26777504706120, -166522172107886, 49639779916118, 5820684980894, -14938584190920, 104376152269926, 128865557438080, 44606001335226, 36344980334880, -63560966097566, 22967562219028, -320938024703096, 11226257427080, -89690846589518, 52647793455172, -174799328784702, -129949179171140, -23305181705624, 163136765944448, 43129252977408, 71253381959544, 305231353346808, 45922484903410, 93798308185328, 95898430331606, 97576866583768, 53284882116510, -156020845727676, -89107682054376, -335742480771632, -151212011409440, 129275589415392, 7730420371032, -14295679080307, -142889967056942, 201810254765744, -365088239700888, -25118177842758, -36228916422720, -111928777357696, 269313718328020, 412168912882482, 19339331735022, -79067593093020, 51583927399384, 101248789132078, -93638140118534, -79558718179995, -116156005432472, 134032663483152, 66928266309600, 169346311514642, -4747561509943, -280433856672192, 149338904800704, -7483907303928, 105230420737796, 112765848116684, -133100389961714, -203794821533863, -44518454700944, 160800083323368, 253617055252618, -71595403593972, 15239746762512, -85601813325238, 121208672716824, 109222582586100, -78909101323960, -88308825868800, -311226009371559, -58798584543496, -384704543125252, -108834702566492, 76903651595388, -598231158897376, -3941037328976, -756899522544528, 709246816310858, 637456275871896, -71921235319458, 300912548710536, -150743113682810, 463868239200864, 36915836254128, 222189684523068, -285846255336236, -241492320490316, 329994700517380, 147839953876160, -752273548339248, 704092639594920, 409789628716464, 691428089034450, 158356370282376, -338329135581734, 43940724114404, -790083111234074, -433889056034346, 194075272844096, 85332254369808, -67471190550393, 910888834132048, -1328322376778694, 37969883928320, -20950717214680, -274234056325058, 466410338870628, -30053012975776, 468606867537251, 479102477329338, -893616550721992, -557202533453440, 1452109235416168, -425482172612954, -199324530850914, -203436526551240, -821998245720852, -381931986528014, -886935380505272, 717011512309368, 219676052576092, -46855049196396, 127068251250432, 439649774686248, 1462766348065540, -222050347158864, -85579486029552, -1587989956593684, -13892618871488, 109801381798678, 473370913334876, 770242086551520, 448919515622994, 90150962011494, 1612844530030464, 217411777520854, -1494692997914188, 387481429193152, -176103284605008, -896605681726464, -1598741113130332, -158563642833974, -519633790555572, 115342013502160, -493869967590374, 674741450707920, 1871792177286396, -39381438321320, -1634302015535040, 156489310619257, -33846202870704, 1432011759972516, -547887223168740, 1486642470158460, -595739668924120, 167261000086248, 549121555398185, 347601027526602, -161748085039907, -655955326662552, -751970593484314, -1226671404518704, 1003204184975634, 118785794756804, -396265180023900, -657458856203966, 2278198697034016, -292398175815024, -1849790963602176, -421639966549858, 745224410016688, 477699052176832, 2827397065415090, -1777084860306144, 1687381956180006, 607870702222668, 197681130146948, 619906183174012, -2082080793723264, -1423186699269080, -1136026352991018, -134950478170864, -2589911571759536, 347762398783300, -290525001818730, -784277229864930, 304576021392024, 1500297808328432, 3258910735575712, -1566826581753916, -2058826436261870, 118706711300688, 194354330391365, 132769942884684, 267989007759914, 1488963551321320, -514217835834504, 994687819630720, 294521123518356, -1186656664672588, 357414942710308, -38952078778884, -2020450144197016, 108796490297704, 529635989913868, -687003961529592, 907850425687884, 878198437736524, 4788669894238608, -318406064643296, 1314594601110462, -1638107008962312, 522942647655015, -626659340961708, 2257755668755200, 1030332617512164, -1861589857001456, 20627575580846, -1134806679605472, -620628826189862, 268382906065703, 1000834354536544, -2520441717045090, -2221061692823632, 1845245344512640, 782160412255392, -895376670715002, 344321139811112, -4175263679136480, 115917866900802, -3680286034436554, 468323877551764, 512716529879498, -28254078083756, 2116137594527184, -437862138653664, -6703641106379440, 3428271538237661, 5224548246888792, 1641530451727428, -470511481664294, 42019060885004, -3720139095754036, -919508526364056, 707872744558668, 2125692318106304, -962133852287736, -505593408977132, 5061441520782080, -2163332198259650, 2341321942453712, 1926470440756456, -229312677921222, 4346107898794020, 1177408963868536, -270580235556740, 458071824206706, -4738717710385034, -4540912755435552, -606560566662968, 1046081039033952, 956113607412544, -2840409533754334, -2550766953240048, -2953827115256570, -3179576938127474, 6738381756977340, 1056141059082536, -2380225747295312, 5866586162494080, 3252694988610918, 6809670700936300, -2065246358883624, 2669403495603228, -4793269143526054, -2565571348119535, 4502779899712704, -7093549863688622, -4940590616362720, -2264533633395932, 6608641071295424, 2671919630114656, 1436014433847210, -8817965288711352, 1921049001502297, -3068798228510006, -4229442091749163, -4705484003127352, -2142838930802640, -1988002369968468, 7036382850164052, -437888463226920, 7928266231012590, 5670487735864756, -413095013933364, 6828862403623540, 514093089219542, 2329819152222368, 7043259357816720, 6352953696944584, 1502094117288682, -3867626942534310, -8752186192888672, -1241568671830788, -12557782128470154, -5800916723668224, -3460574152990080, 1236893814685848, -1927907916781050, 3490891330564834, -786960653745784, -11640122911050260, 2667368047989592, -41636235908722, 440017663889392, 1528916818985440, -1621419298991618, 3353881328985992, 11015927780884728, 5185962067007232, 1204741048344582, 2010698503628182, -8700492139606078, -279110842080784, 4628967201707016, 909200699666850, 3138710051289256, 476987566259044, -1632983951559744, -5888339122827360, -1831991469786312, -166269999241654, -3204286814575672, 947163284173361, 2083408760674690, 2865470408820928, -6832842702986972, 2377966574959596, 4987286623863124, 1820734900460920, -6340138487329656, -5445399737318336, 18472317721300914, -213413499786096, -1303058734240620, -534095726551730, 4063656053792672, 10087733754090984, -7803446842921680, 10040530391471178, -5553236522151496, -3714002627404580, 448153843357584, -2618214430761856, 518857039211724, 5897211042441272, 3990338182796499, -8642704646414976, -7935927322335488, -2787287665857408, -11248107983613272, 1194251880852270, 4319225056963692, -14329523250238008, -9799602464549450, 7271252128229946, 1834784304164196, -3709186130561748, 11950983698329088, 3426218165363974, -9341250593788664, -3176037641186256, 2341975593769686, 2279697793888760, -5044020530933634, -8532041683451856, 15862276323181652, 7516747459585504, -2747009475709104, -12091662013452824, -536330016122782, -6837961247347766, 18823580102733242, 11923257230465240, -421042441275117, 7553184819609222, -5769653889989644, -2033504249442974, 12809064989920320, -11706345131825712, -945872875384800, -1132904063093484, 1929738605947082, 4087861288206684, -621930557802533, 8087374754774408, 1831999542688672, -13939797840098844, -2543661180991104, 14484253192506940, -2226326510046212, 3308654405745668, -15180874610184888, 5156855029696440, -11229487920671004, 7511282613315012, 13782199603152344, 6338348075801208, -5711103538594741, 8017573007346654, -24879694052417008, 9105330225565064, -9280964078573864, -2586837981346848, 21534532172803326, -2148449554345346, 10722617344087068, -7899985283340554, -17069709459585312, -15575105316059200, 17712845829201750, -5405833678688928, -7228843216734972, -1813750899857904, -16373750318247284, -28157432075315856, -6979259967192504, 5515755715132512, 16838533222634672, 783761350134616, 4765425017383047, 17310076823823416, 10354491968534812, 9456250805203730, 8586918735579814, -7290214237328120, 5755120857692052, 19366134768130897, -25373241207194808, 2287261195255752, -5036159040780112, -14851989979202450, 10233218659887144, -2665163013522968, 21200455038151056, 3567962132797840, 2073211184124850, -9737382891625028, 15931066519773552, 4230743710109392, -8015137992435126, 274131490881384, -16223060343928680, -13608861887940780, 6201460775821978, 19392867370485756, -19033265490683472, 7690211382192500, -12261187121095008, 8288469011218720, -36814461739124796, -23275349535603536, 21684241693801008, -16957238744942368, -15124232274656204, 20605312374247366, -3340832670245136, 34328090029247232, -9962162669374560, 11566287627348114, 26629071135917568, -6479204319393050, 5684307272142056, -12783656137115172, 30935601855552612, -21643673772746760, 15480273231474814, -10165269755939942, 226893073959664, -49220143829183080, 25224334935609358, -26777999064534682, 15907920144607816, 14554017674265712, 28603688618509578, 6921188229452616, -26515125166235730, 6527609081487704, 40325401945240832, 4483216129798176, -41767919496840960, -46136564998303952, 607290430597361, 40351790290719364, -1922062610166052, 30902297267786764, 16089294999224726, 3869052285124288, 21564522271176960, 748328401769522, -19856128738552056, 15904168035656852, -17902097156236824, -14887020848563536, -39705316110645164, 1205107060909822, -1488399179962772, 7541329547221248, -27437987785174411, -42480787761519350, 10252007216892954, -442758363719928, -21391722252073096, 22205438994656064, -9870077905701552, 44978232341272296, -29811057333902592, 10897914164447202, -53024758718978476, -7604443274813756, 13621628181156562, 49310347241396320, 95986079663136, 6783007256421208, 39543156793867476, -16879958107020352, 11526243402248986, 3189752601578942, -40590360790008624, -18087109051124314, 53724494509364988, 10828935260428408, -34633922415938220, -22748337336125824, -10380539596110894, -20866692949426524, 43081923010000080, -57167151247187666, 61925002818862512, -283350525606488, -3997560711606308, 5637467579739114, -20787590780401788, 28931660577291024, 8868048792108464, 49129234727490240, -4876774040463066, 11942782910986648, 10689631254660960, -5819790624618949, -27037153796548766, 62211947913921080, -49534585780643468, -21302745206182038, 36338072182852212, -3057024372658123, 41245608918461502, -14206169751401072, 65710818561297366, -3790949144317200, -28400544272319744, -15961531884846842, 5649989521305724, -37475019222706040, -766654433103540, -19312825148040206, -49275984280032832, -15089232079396556, -3481205172880736, 3680023127850328, -49137123116339016, 113652917131728, -14678034228506180, 4298952207468708, -50139625122135430, -67326906942837308, 1712819357053084, 14149225674735680, 68329518661002080, 64126734601921880, 90343267859558934, 26409056703574818, -8134556844541248, -9818943858572772, -65806799327602452, 53475075510961582, -78857751068363784, -60667875524062072, 50211611733460992, 69369182150631258, -562196081847001, -9182172583340852, -41091720251820168, -31492867979004240, 19090753629370068, -26047784911980472, -41208336499754412, -6585757851245216, 44724610303186760, 21033967645739764, 91682060418215848, -8096424297363648, 66403754303204532, -65341890984618120, 3549253679047167, 11042012838240384, -15080606811759618, -6993851671273248, -63372708976482749, -5604206436685812, 73804831804582816, -15632679862222304, 43552349500902474, -74277356577052748, -9695590604549072, -53004239946781196, 57923146117015914, 65239920331964990, -15268695427670664, 7734470366375616, -49741971153616228, -46507944885328416, 42572531840358242, 45614544408342016, 42231997890784996, 18394006388265788, 111805534021760472, -16914266137269128, -163268918787144960, 29356238752295056, -19892537255152128, 6948314053566480, -37494284834668592, 57726389080872634, -99686954872030480, 56341122672765464, -66921560250522210, 33394049854365434, -62775764061297216, -1598345520030644, -5337436668451302, -50518946326828704, -44306840582365542, -1598128257771312, 52280344593613332, 3170754950990578, 37991401835417548, -4706485004641768, 93605040026498112, -82390710992109106, -67317507229628872, 114620950719904272, 72888675986005962, 12054275007886160, 2216757889322208, 25906212200535116, 56482425888085456, 59671198283250764, 36166593977820550, 19812861885044520, -31868640671525238, 48093027599679506, -30184348561721742, 76156922391639552, -8154570894467208, -68789478921389696, -168773215707641316, -36755050749675510, 1604500538683744, -57507125631059931, -55540288102660368, -98951386939013660, 113423530894083046, 44076929471997788, -36734027379030912, -169711688463896408, 23327300355941931, -6112867820873664, -137690195903954904, 29057933117865396, 23312242250120978, 9017516858573188, 77083342356376976, 30618610732418744, 74483987944921528, 76486051967522586, 141735135188735792, 58039513576851144, 1883728004293352, -31297896499850586, -2427814657792716, 24586659184105320, -55920229711975188, -120064776582469356, -7912059627866412, -48442856178106656, 48311444000254904, -75187424885407488, 980787010903856, -14382996965906768, -110957198402737260, 78210621550034720, 23803968494125680, 4427469506456880, 5807894165835804, -12554671365898010, -3158491389417796, -33361242852880848, -35610819005668800]