# Trace form for 5.12, downloaded from the LMFDB on 24 April 2024.
[0, 7, 14, -1012, 6012, -3425, 31504, 40344, -346200, 454723, 260150, -1413316, -1220576, 3040218, 1818264, 1645700, -5401168, -2406346, 2755958, 20406740, 10859900, -63279336, -105430632, 26485848, 275764320, 188449375, -419449996, -242961400, 179345712, 380079610, 117768400, -268050976, -476025056, -70979744, 584514364, 158492400, -772438948, -270337326, 928850600, -321965704, 181921000, 458473294, 1902541008, -1129907292, -1378140656, -1294625525, 3670019704, 221408384, -5130637952, -5511437393, -4484451250, 13942147384, 13174967064, 493431938, -22959047360, -7305926100, 8131081920, 5021442800, 9757106100, 11444056220, 10152654400, -14725486366, -22735073952, -10750886232, 3780862912, -8608720550, -7362926752, 19529964204, -1251711608, 52825715016, 34748023800, -50363939096, -63347763000, -20102028402, 53336626564, 9449727500, -53974552560, -26504706672, 120428573776, 50566058960, 48367377200, -30124770233, -68124845412, 16503964428, -104885035296, -61874541850, -77495824096, -21134853400, -33934826400, 168774049830, 123557259950, 148769636064, 232124189904, -301987859184, -271190537336, -282533715500, 299296601984, 123413770134, 73456940302, 27251190476, 45916717500, 316477874514, 65052570128, 66476872488, -849962617680, -352251600600, -253877013596, 352399787844, 288929569600, 109739855570, 323760251800, 571084463224, 12866188224, -637905563482, -578624558720, -502829756800, 67199657960, -149249708654, 595456020600, 1177120946064, 635903076000, -374716074869, -549518212732, -507314476504, 699126549984, -146068015625, -1260046227576, -359519862336, -32918294400, 2006773148456, 1593026310900, -2059263788076, -1725822915712, 335950771200, -58873685136, -116731249000, 306392855120, 331152332574, 2627969268336, -439146780820, -161616049200, -2104489587656, -1308870498192, -469711996984, -687827831632, -235223265750, 1938121525004, 2126402645884, -1046429607048, 3703038893050, 138098230000, 3717621239864, 1014086344800, -2228118630562, -4620228402432, -2855115639600, -1385632140416, -28693357206, -2759219344800, -6128076558824, 717685754400, 5401657310664, 6075108910574, 3115195220268, 1874828113304, 1825558938400, -138367403696, -4077700685496, 545584003200, -4905520129247, -7783187749700, 2815926029860, 4775190600384, -2131124935302, -812770074080, 3415459155000, 5974980107584, 1860218854000, -2999196731700, -927256347340, -1507980223300, -2109720448126, 1233810043488, 7763127276056, -1235728919680, -794660390350, 1416135301728, -2696588606952, -4852318205168, -7433932427760, 796094989000, -15383142405056, -13560949597696, 4758543236358, 43251729143164, 18567107424200, -18017315315892, -1526627295966, -3421243140104, -663805432600, -11073023175000, -7893487475016, -11016633738972, 2967641190000, 10175803632704, 17968088571150, -3525319521896, -15366571948344, 15435104792928, 110478964880, 225214582800, -3606979747516, 18081631612024, 13507335850736, -1170730900736, -12614081459300, 10922996798400, -527344033392, -48719399923100, -22459522081384, -569508601200, 11210495384084, -2789197158832, 6714938298048, 15406585945344, 6034129766875, 20231912727004, 28495510595164, 15299639344000, -39818470372990, -42692377686600, 3137383671168, -4898179030800, 2700491190078, -50433335495164, 14998804045400, 19334266929520, 5686372744800, 15570052088064, 44901948412880, 19365733523200, 19392332805494, 52290689754262, -11120466020092, -27341799604056, -51765714085225, 18625109959168, 4966364182200, -90081180734400, -54659998496664, 14766347093750, 8041724626764, 4897665863664, -4069852481424, 42038761851464, 24848422731400, -4244720295168, -13263739918506, 74578975100656, 15722577286464, -57547668790600, 24218766075490, 6951114259848, -19136878019432, -35005824716160, 4385343224450, -25762799673120, -76769098120200, 58141260633792, 49216605373490, 79030350112000, -58884175164496, -35381999803616, -4947394964304, -27342710812436, -21260644982500, -100693832003616, 29188948288914, 37085829640600, 142693430161536, 109707728832000, 20330841267774, -73770271756912, -9019951439772, 194822010395264, -15302224318000, -169571548984752, -39395969943552, 66597583243168, -49421114630403, -8885222201500, -115340147650856, -138009370875096, -110976816372942, -146818340937856, 16971266533500, 135877543073520, 192983399435200, 15841637723700, 315503545523136, 48274351180000, 147350862008664, -63975505388272, -95655568848024, -225545878573760, -207637204392350, 30249402034444, -40882667793156, -61272362321856, -30893152875224, 126663523964800, -154891459441416, 217987221388800, 117427234200318, -107222882280236, -37312511200800, 190229495208960, 113416955496154, 162163322454416, -146431850518680, -67062635201600, 193861506618264, 62000522848368, 46887793123400, -388770285489988, -154825288053750, 146220039036304, -97211336071400, -61934989436400, -109274673063336, 21629790000800, 95882678634524, 123315837205344, -212290705958422, 113613956695864, -33403592513100, -112682005374336, 60173346829974, -239788129881582, 287174267781496, 13984258549800, 247529342179488, -37914569630200, -87182827701600, -44135326003680, -18390160105800, 33059400404404, 52057261228484, 131793780395200, -159884670324550, 37942292235000, -167895566517040, 62729561862528, -44528662639962, 171612738155840, 101760114893400, -172966132350120, 12665046896688, 135557280738600, -69658935022680, -24679093107000, -258339035295933, -275263897136252, 316483917250204, 602165187909984, 246339064181950, -112115812996352, -250410183538896, 216066351878208, -39143105373434, -208268469656700, -491591646483936, -657842852696832, 181950242064498, 140261834750768, 417427589562500, -365203477281280, 98926382400700, -146382019332000, 337409559380060, 150908637674000, 254130464530904, 286677232881888, 335178309764928, 482779356541440, 34321833238800, -399860738432996, -739563963942524, -453063261210168, -829641711194070, -517236147539600, -406517622244016, 587599566599400, -431386181071584, 565713461624164, 654047053518000, 536480120990224, 119434552892634, -121276683108400, 405841560960480, -369409139410000, 1005459388529214, 425540363803728, 465336306814176, 63286887865224, -96032867577425, 273207524851920, -476923317778712, -598146611347200, -914316093613330, 80191175756300, -746845693420776, -366861256134576, 307733263034400, -204147006621144, 76616422585700, -609526085182016, 1218389196996400, -452221971400800, -814565442478460, -693935952655200, 1225731173784554, -7926729243032, 832555946168048, -314731827185680, -131785346976250, 2266771495317088, 113268155065728, 997783692527712, -1553047077270848, -708139746741600, -921553901924976, 1193076999136000, -1195146499350522, -1451699747768352, -101337984757000, 485004561913320, 180360519537600, -1369341222511664, 952523635060280, 591510756252000, -50089370836933, 796588939259208, 863935349112708, 1241400021288704, -650601451622250, 904748185486504, -453676851358600, -349060898235648, -442736825655850, -134218133766250, 115447553896728, -1457701002084536, -699171125188624, 1146285195632464, 1389132269204400, -1403855670115200, 554754531011694, 825407103951300, 1616892627551440, -345403831875600, 26603148282234, -717863582901504, -163781159303232, -1236828121308640, -642040698267600, -2951472351936596, -1627385169458996, 642666648735608, 118586515517064, 1813387828709800, -747092001853736, 51492974282400, 1073868028056896, 2339213162109120, 742522853712500, 792745245120096, 491967764328986, -6299212740000, 642131679053760, -128432100553600, -366274326577476, -1623758438149012, -321875973432144, 756724334765196, 697253614634150, -3518950748269136, -1106036373902376, 957751410975600, 243920076565096, 58210968448550, -1859043774533156, -853932524288192, 153741591459300, -1745448819496720, -863375674711300, 3643370623191424, 1321821108791568, 965492389021296, 3758755491048500, 853337539437500, 4454169408207384, -30712566326472, -1315996309855112, -875242932526080, -2331847259584350, -800828972588352, 190820032219956, -938529697361328, -3269713441114630, 316983691266800, -3751062653167536, 1995358854439424, -856195737416800, -467235779439236, 674388812673200, -2498047404677216, 326228530709808, 2063434522865184, 3125229539985816, 1562984651526000, 3316767440543254, 486912763768100, -2251033371896652, -3540746182356816, -2933444037945000, 4288524843045304, -1578967356137472, -1182458840257024, -1065216356270817, 1771608499900900, -966995726717620, 464610950126400, -992658071512844, -3206298928230240, -2129019068130100, -2345691361958880, 4422021329203600, 3103918737118500, 2884168377135484, 183484836592000, 6013028770729994, 2353224906819008, -1212896003533784, -5088899332549056, -2820523575712750, 5857552754282208, -443815958866116, -660142826605848, -1892293293084374, -1024102483665000, 2034397785081400, 929750862960000, -98152720610400, -5172851291367036, -259090326284600, -952485154762320, 1358587389598794, 1055353497821856, 3386234909867976, -217382052177600, -3728135257072192, -2232483134296452, -748907941183332, 3039213869796704, 215556788916950, -1391348552232096, -2432084607574296, -2085328822886400, -380406134695410, 1705348096384000, -579904625722996, 571984462919968, -1150883251005904, 915551256284688, 2242438893915000, 6647898378768832, 3346972738693014, 394031145265162, -1453292398460744, 1221156828801000, -4474373094507336, -6189739412356912, 5906283479815656, 7551440348290320, 870127001196850, -16341904050196796, -410943770324076, 2996404385798432, -465581918112320, -2074394639873000, -5817725518670856, -6277489508164896, -15702861099242, 4059229190655680, 3483818475664800, 6486822423086600, -5332747184024800, -1755244848067104, 12969059178302200, 4694391614700000, 762248993149214, 100236040795728, 1934385726115788, 4450501275061824, -319576324390525, -1266636448552992, 3363902854168944, -1101141869878400, -1791899843375280, 1668885877969300, -13121063099027056, -165492055871576, -2382972452197182, 5108810378861264, 2354034783409400, -6975623267400960, -2778405644138946, -4508953253179984, -13929926019031060, -10749380798743200, 13956478918019760, 6461500142025168, -2404271437290000, -6302137353035264, 3446016058984375, 15955835689602604, -1995544219222400, 7518873691788312, 4490127149813764, -151818124164600, 9517811516136824, -938511476812800, 9692922681535456, 3674700740757364, -656698693838600, -22386517795983616, -3165444815466726, -7164681821298800, -15074262988800344, -2509413704368000, -9847730947194906, 7527803652469008, 319538069955708, 2797048901751264, 7430516500554200, 11384434528905680, -3587206343674216, 400110691194600, -10200028445673360, -14289432681707500, 19071637586458848, 5466548026234464, -583733614539062, 5792894905639040, 2064613311252900, 9142645068798944, 3315927033192406, -3925060882651056, 932886763298420, 1835805472332800, -9370419678976966, 14265837157233048, 2876507122449136, -574964351771680, -1774931061876000, -5115114210123116, 605163250138800, -14744900561681808, -13890242044830584, 1427874269782800, 15328305461392808, 1824665638483968, -1772191961866602, 111598100429564, -3547233409675000, 23643060209848212, -2320439816840286, -9116112130000624, -15211615055232336, -10406303591958000, -11846568468651496, -7900432589433024, 2892371324330628, -5774879046613360, 4219494906107150, -9288366302175600, 13999208789685000, 9625884120634368, 23412463322906396, -508245076899600, -3956317143834556, 5346669393727704, 8010308984753616, -5130411909494336, -4573958513768500, 7695783698779200, -4666180758908532, -12697987887949900, -3115673723625864, 8638082763510000, 581378740858114, -12747204205671200, 6479364151843800, 11571596613542144, 7165963353867400, -9281173382696996, -64834294251312, 6857973751836800, 6633559530492770, -5704132563089200, -17533317069299760, -13403847820172400, 1351004271468336, 7202824003622688, 6348928427543400, -12395900632184240, -12904539683712800, 24712803650110800, -4563028728057360, 1394671918247600, -1279397479859736, 2620330257280134, 8202174867204296, 7259510218259784, 10246641580506250, 9155909767172432, 5404812742977864, -8671987468123200, 9896158846566163, 9680735508765900, -8337136274747416, -10276785217493312, -15343335181152822, 6686619822477864, -2968782064585100, -47152086061410816, -3718495652060352, 7499551212456236, 4325282045481380, 4656338522987800, -15558633074200480, -17257630069173792, -13227822352930792, 25923783678954240, -263882527383750, 33701935774168004, 5984801547295116, -12957256378209696, 40036982137617864, 9397233124750000, 30662415450180464, 562089329145664, -19458721038165024, -8825760861811080, -16999473933080600, -8855982985450560, -6008032318768206, 10253301422089400, -22818925339310208, 1754913058460000, -33026011124412666, -7099146626722352, -5161792663780800, -37471231209116896, -2909265840956050, -12927297778023896, 9413598679932200, 27700922499934208, 18871067585066990, 4993466207745600, 39776341548323064, 25204002174736584, 26521718834960898, -19853980104821104, -22350969185620000, 53174015016960720, 5304204820730928, 20330068475630100, -28135986119280920, 12020532925926400, -4709175891413952, 17264369554682688, -23584875227837200, -30683843397343888, -1359041422631350, -41611547598389472, 5872684607871324, -22629185500096968, 18970591471752296, -3370297201484000, -2537733558237936, 14579859447660000, 2320225681310316, -32641997659373836, -20551031959155800, 44689641746608800, -24665112297776966, 4192520420193600, 5033208228669664, -5642071303820000, 49218246592345470, 5833185307714428, -6195492241692424, -23420924396707296, -11187129761130600, -22510030060246272, 43069341411232600, -32392193848376400, 28114991528516470, 5503965706472150, 25483403906095484, 9086742890215200, -3156826387558864, -12731192145902832, -11939343089794300, -8448988911222016, -2268072962607600, -5178168291875300, -25739287122228864, 10941851180395800, -4536652784879046, -13206702152218032, -19691277045053352, -3241459983415680, -15589710204020000, 31094414255027040, -8346064273442236, 17937376404956688, -5541850901685790, 13227454787048400, 23520803517977304, 3776691211561344, 9609429528124822, 11721535610192960, -3208464593245600, -27108364402118720, -17581409931808800, 2127108323219400, 54172725473975080, 3687796442592000, -57929201308237703, 22555996754537108, -51175024108724184, 35180991202725744, 39416205981381225, 9504051289917304, 24945736199980152, 71136875626433248, 23854243165337736, 15480330082097500, 15471851104029024, -52093806338588672, 9373804156461138, -41569115211257232, -9389929052361500, -73229980514114080, -33250585652865106, 190424815402112, -25442664804274180, -5717319209005600, -63619177374296112, -50839507606013952, 18889720472859568, 17925667037853440, -14103120503520550, -16210199756340196, 24698089022191204, 21787782794515584, -8400709369956480, 10702753229716000, 38925612468668184, -52298267592867600, 37639654447484798, 108601101771085280, 47401949222250000, 40796125488213184, 34538911809042714, 16199422594406000, 37783735019886456, -7835392561233600, -79067304729218026, -13216802541080906, 18049915654196028, -63152946057956816, -5564932155374000, -26254003222769696, -56236475527640376, -79519391051520000, 8105223754758264, 36923938437745500, -22112918212428196, 34556081955003504, -11150141139988000, 49183973684329600, -58645753293019500, 50072193753968640, -26850864509238768, -70843911433655700, -31373595513444480, -24238983035822500, -2112126079218716, 48467851047721456, -30068280705636624, 90769874446362320, 87928117574061650, 26446310794602208, 64184437413227844, 20700712249700672, 61933200085174746, -22806361225507200, -42314438340012016, 9274248860377600, 29493420325429536, -79980837394637236, 17709658139203400, -26093856056046840, -37775638899920592, 19167514351215200, -92662730392789960, -3388851255624000, 36677539444497464, -43819465465163532, 65672492869265296, 6879631660798848, -5014345962738750, 42952483315984104, 18871032913181336, -13739113196078400, -83736217702442090, -115833414923071200, 76721130508857140, 27447125955797544, 8836936973315856, 35193377268658864, 25635836896727800, -20808933060303120, -26733980231401026, -802130447861136, -88265565992964104, -7236463475173200, 27235215888104794, 95774259558779408, -29104605994284384, -35187002185705280, 4615530921942000, 38420012703366048, 20357200105873884, -54886690495795200, -54638722768084764, -21349032893575000, 40873659662740184, 2668942114689600, 3305239664712638, -10686066723755084, 755160551312400, 53680220777428480, -607761308964800, -92726859993297600, -56327369028391536, -8750333259289600, 101632705705156551, 123569566921143448, 22829337309755268, 15144579246619704, -12156846667463050, 9364838477390208, -44307838641708696, 46619423433947400, 2575915996278880, -75540485200037700, -25853520550251396, 108274225259231584, 29820081877600800, -134368296616928936, -7671500407885000, -34433400311189216, -16840085520983386, 16559797560475376, 49728057779775960, 17639152547584300, 14323117730714330, -90571383831462312, 3592450050375528, 123327555992149440, 46239562535331650, 33291043391758120, 9849140420810448, -14788447115656800, 6385174453631496, -33703313547590600, 19241832086428544, -67212082521384192, -39262564701509184, 76694742980987808, 126500861588905000, -154761894547816416, 50822550676446834, -105958012044472600, -4528570669690160, -28553252969375000]