# Trace form for 12.9, downloaded from the LMFDB on 20 April 2024.
[0, 11, 6, -21, -52, -336, 1134, -2154, -12960, -13653, 36628, 0, -11340, -53258, 52728, 142560, 99440, -193200, -13122, -419178, 335592, 764166, -556968, 0, 221616, -1973253, 21564, 1477899, -594672, 2063472, 46980, -937578, -3602784, -777600, 1568476, 0, 113724, 10292470, 3659400, -2156298, 1749184, -8865456, -5288328, 5472726, 2395920, -13806288, -13649856, 0, 10916208, -799471, 14581842, -7413120, 18592888, 8706672, -2480058, -2566080, -45565632, -15072378, -8816444, 0, 28348056, 28369078, 80783976, 34876566, 1268864, 7293408, -51205608, -61469994, -117288264, 3623616, -60373104, 0, 28343520, 60447958, 119548428, 122666955, 144621360, -56971392, -140630580, -145689834, -163857888, 2604555, -188383460, 0, 199712304, -67764256, 240327384, 108773280, 156323520, 188992272, -80105436, -99306132, -387657984, -245827770, -38749872, 0, 246092256, 92717014, 691081830, -14541120, 130761444, -156609168, -287915796, 271444758, -660341568, -343636992, -230339900, 0, 24800580, 546394102, 458831568, -77463114, 519797184, -509037168, -430971192, -220682880, -465551928, -208834506, -518416152, 0, 471622176, 893272043, -49296852, 341858880, 240408240, 1316005728, -115316136, -754802922, -149022336, -59991162, -308792632, 0, 173429424, -879643572, 514902072, 547858080, -213478208, -479126064, 305995968, 244861206, -281093664, 1057945536, 288129312, 0, -217475280, -2996557216, -28352244, 462757185, -1197715304, -452816976, 618273162, -564501738, 1688620608, 1178666640, 1879964256, 0, -885156984, 2462177974, -1152595416, -1267500960, -606790976, -2463232512, 28697814, -534530154, 2738882616, -1721689344, -76391832, 0, -1871195904, 2541104193, -4656503928, -1477863018, 1165464336, 2883236784, 2409786612, 7098045270, 3832223424, 1052979264, 863278732, 0, -733939704, -6930620618, -6517183056, -3905602314, -4427986176, 2884166496, 3367669608, 133436160, 2458560864, -1050937146, 3935623536, 0, -2872143360, 6727587862, -1594772148, -1039832640, -4716341620, -1007297808, 1218089016, -1102468458, 4258049568, 6526909830, 1639407364, 0, -4699424952, -9701702560, -3121136664, -1250536320, -4940638112, -8369179776, 3210234768, 5225470422, 10260303816, -390007872, 5199988392, 0, -484674192, -4871345076, -4091543076, 3883186326, 5795733984, 10741103136, 154215900, -1345019754, 53201280, 6254852571, 697004908, 0, -1253137392, 2075934262, -7500759168, -441080640, 6804284608, -14429816304, -47160468, -15180929280, 1588986096, -962110266, 1368829488, 0, 2954799648, -6228906986, -3004887258, 5305077099, -8024238632, 23878069680, -2140423380, 10428577644, -7645416768, 2484670464, -6121468888, 0, 1300547664, 1690348416, 19614307320, -6805244160, -1023725824, -19342305264, -3810030696, -5142528276, -17318686704, -15607687824, -15191433672, 0, 3584725632, 27358605536, 21905787168, 9854032320, -808187952, 22916059248, -102745260, 5560385046, -7417126560, 5624157516, -762205508, 0, 13868692992, 233654710, 15898082376, -13056327018, 12022141824, -42768051312, -21119754672, 984917526, -30981292992, -37056724992, -10910197392, 0, 7879288608, 44388140187, 7090179384, 12335419542, 40149036952, 34325728368, -13940461746, 3620738880, -4716361536, 2560248000, -1957381292, 0, 18551106972, -46391069748, 14926366680, -5523202080, 22880503872, -18511916448, -3430257012, -42923116074, -36194100288, -34391333562, -30984351312, 0, 18019083744, 28846292758, 44511496524, 44990225280, -17847811536, 20321849328, -16230467340, -1957919040, -32227933440, 52431696576, -10976676096, 0, -248714388, -41535144618, 43413602760, 16279805046, -10634950976, -71143390464, -6641257392, -26954400234, 7431819888, -16185023946, 26828985936, 0, 4856428224, 30834527446, 6231988626, 24475271040, -2219738224, 108012319872, -8003107800, 31243964844, -35812355904, 61772222592, -41981957036, 0, 1003232952, -30187576778, -5113300248, -25932241098, 8485905792, -42825829488, 7653412008, -76248501120, 16196441496, -38431692864, 1717191576, 0, -3825465408, 28571235569, -44260279908, -4370666421, 26604035232, 82957838688, 5940982908, 57585027606, 12363474432, -15480853488, 32563442216, 0, -20793997296, 4997657206, -87702189072, -71535182400, 17394507648, -161460230304, 11565573336, 72109945302, 81218130336, -80307752442, 18956789376, 0, -34320827520, 47720167296, -21567693492, 20220741846, -39629418728, 115299128496, 40977148968, 11475509760, 43386259296, 57285081792, 40372813540, 0, -5239877040, -80986914506, -30639942648, -109824326292, -54852087984, -158067290928, 44813605752, 58428477804, 81255395400, 37915686576, 136779232080, 0, -58735821600, -10022723114, -30021904632, 22194596160, -100646937552, 171889738368, 29852235072, 107706075840, 124126037568, 143462484102, -27340412256, 0, -73004164704, -131600828234, -76041747240, -86025265920, -142850434880, -154926457872, 74699172000, -215972530836, 57548272752, -74650844160, -69121666608, 0, -23873746896, 101360549590, -143157364320, 99853871040, 88630270648, 247263883776, 60128077788, 129521711382, 85347451008, 99981638577, 182029587608, 0, 4714037352, -164963440672, -164357892840, 73667737440, 20429853696, -147800531376, -31890488454, -6153459840, 21113069400, -103664084730, -91400710872, 0, -48455024256, -498063530, -233631413316, -28488620160, -144400197120, 42382134192, 56643782112, -58093638762, 149208534432, 155049033600, 41894657740, 0, -40662646056, 76710602700, 105767987808, -80564217738, 139437536832, 32733388416, -2852202456, 42381535830, -46147246176, 110243606256, 80499479808, 0, -39976265664, -50570191444, 244382719212, -37932935040, -25736647156, -168072333984, 5423886846, -21612034794, 23531593920, 7496412294, -72405865388, 0, -12199625784, -21644101792, 67342963536, 3487302720, -209436123840, -111100308480, -15064597080, -5801047338, -38260964400, -230487970176, 73384412472, 0, 99652037184, 332420266976, 74293055232, 115551337185, 165524124816, 166197134064, -57816791064, 221351002284, -283392276480, -208331673786, -36824479220, 0, 141755727024, -472150588416, 57355945968, -178278835680, 207692085632, -50055623856, 19281563028, -34537638954, -64121614896, -167289423738, -257705782896, 0, 202287015360, 98149483979, 130369419576, 20517520320, -275533163712, 219964523040, -200818961316, -124590882240, -272134838592, 244039988160, -274082559164, 0, -61997198472, 597839477110, 61057361016, -22055169354, 588350469184, -35628996384, -188101114704, -246851119722, -131299064712, -238402304010, 317436751368, 0, 108076177152, 490969300812, 180870805212, 165269522880, 465806717232, 120245241648, -176674555512, -139487498772, -335472275328, -155122713792, -440336493908, 0, 173655542304, -228586150048, 461797258152, 417166582806, -453355439616, -131173858992, -197900051472, 34681675542, -424085837664, 152279502336, -235106834640, 0, -2775005568, -638269722794, 346210912722, 51193891542, 330722926448, -277952067456, -95208610788, 22815017280, -125129212224, 90112245984, 518638623172, 0, 126345789684, 686787930444, 266350251696, 201443124960, -282634620704, 143383307664, 111986664696, -412851479040, -330108871320, 520948942662, -655853135232, 0, 146306415888, -833201068970, 525661919328, 40600186326, -120477203376, -156549916752, -120718025676, -514321598442, -99968061312, -679780066176, -123391885336, 0, 256509433368, -433981270922, 65538326808, 313826451840, 623327508480, 237864542352, -78601634712, 557246167062, -40913365344, 66003916608, 555387221136, 0, -28952756640, 525441396523, -413818376148, -11451274560, 391218175768, 246182300832, 132035978448, -429395079018, 174141759168, -360719113722, -683524467548, 0, -23550637896, -17332100030, -138065987184, -432074839680, -511545707264, 678475631184, -30785683608, 663756957078, 216650010624, 141084602496, -251483000112, 0, -61987278240, -66007841088, -261361225932, -453661420692, 426996187056, -1748469146064, 112413509100, 297072515520, 372044600160, -32531920362, 1350581217600, 0, -185744905056, 1929338010742, -220151920152, 54071297280, -236703404736, 616192540416, -261452412036, -168381037440, 322531233504, 106171141638, -576348255984, 0, -260322263424, 111529125718, -368530763988, -637039175445, -1646905486236, -947544473040, 382530159036, 592669715628, -44967063168, -443736641664, -71920556256, 0, -316286914320, -710624558752, -190526249616, 425996136246, 515501400768, 1699966636896, 542067873408, 567324781206, 586130794344, 169586659584, 1491226417272, 0, -400304071008, -195522064096, -388590478356, -719967061440, -162474071760, -1001385790224, 307559078460, -316417070868, 321212141568, 63356245632, -846165869588, 0, -545923653552, -1046400659786, -1100504038464, 48407143446, -1295032198976, 712721828352, 450715418928, 18716987520, 688540256784, 1346173105536, 446819960160, 0, 358357201056, -1166443564212, -897062281050, -564922588074, 615503604280, 92410030416, 314722644750, -525770728554, 1158101352576, 529670383659, 1634339175464, 0, -221897747160, 299062066294, -313718782584, 542873469600, 495989809152, 1557887526528, 411994627020, 523883106006, 1003905100752, 1172615338572, -1411655781552, 0, -342069931008, -2217599133088, -665995829844, 610334429760, -1933913324640, -2387487987072, 305067379464, -179889064554, 1341345773184, -1164628616832, -115651672, 0, -436770808848, 1335427056310, -797366145960, 11254826880, 1672650808704, -331109197104, 134627390712, 808842372204, -51275311872, 258685568352, 1951286243520, 0, -637827063552, -934868841962, -274091862720, -235682472960, 759507481624, -1297619127312, -525595988808, -1484831603370, -53879767872, -259249137204, -827282807660, 0, -229961536272, 1572648524928, -470959208832, 418015715040, -2857289651344, 2689335385440, 206844792696, 253867793046, 47636470536, 1528754643072, 292953613872, 0, -341879538240, -104056280788, 749703583212, -1163565881280, 965090415600, -1258026365136, 176653916064, 789408322560, -769865979936, -1418437395504, 1206874153276, 0, 135936360432, 650844408576, 224581432848, -197802712800, -381312508736, -452158565424, 175190588532, 1016970760662, -518235669408, 341655825414, -654798310224, 0, 408334335840, -2300509258548, 451924492140, -1009018886292, -1865335238512, 2215273448688, -258154997940, -730878660714, -424653364800, -512779180608, -1161442173792, 0, 847808011008, 3463205264374, -202991110224, 850165782582, 3391637505280, 2889470619216, -518343835896, 2628871977600, -1606342424256, -429164832762, 1403604610536, 0, 812744451072, -622544913093, -323613167076, -740428983360, 644969225616, -3202321165296, 84745970064, -453789578154, -140394336864, -3157568283642, -2991304705260, 0, 880168379328, -1505704345610, 1087743182448, 1168030005120, -2331288630720, -449168482992, -550435918608, -2846020964394, 879798577632, 896358913344, -2692885760784, 0, -538203763872, 2490388709600, 2447148188652, 207381790059, 4165281146688, -1025350212480, -986794123176, 602937264108, -894489218880, 1377194678550, 3036353211648, 0, 1385034969960, 1800287614390, 3663686998536, 451765939680, 1066855569024, 1473424544016, -1511395962210, -1630739925354, -2114602036176, -764789019264, -3865322053704, 0, 330950860128, 1299070559820, 264400212264, 39522764160, -2093025546672, -4031572472064, -800411020092, -3552817308480, -2939107090944, -1432157023872, 453992499484, 0, -285975278028, -3059631963808, 965175816432, 1453604424684, 2735778385600, -269555841312, -867968652456, 2164723898838, -715152343056, 905870862576, 3366491510688, 0, 1485424381248, 383043436608, 1609375498668, 2761266594240, 1152852481912, 867656664960, 629671845852, 640080871062, -2691089892864, 1291681510662, -2042199992108, 0, 675141231168, -1181684968746, 2476160263992, -16857647082, -2460743216192, 3340459630032, -738984266064, -3328451423550, -2140502699496, -2336016941568, -1380869292600, 0, 1444167009216, 3185639849878, 161056418784, 1937690792022, 1659935982912, -160250222928, -1086152937444, -529197546240, -1877982044352, -1908182157696, 671413872864, 0, -97300620144, -1165299199636, 1309170465432, 536753653920, 2353545548928, 1833849078096, 503753361300, 1104892462080, 213434665728, 1530602842752, -4635656262768, 0, 888107784192, -2355444848047, 1594933976184, -706014999360, -2713709633960, 1129952146272, -710151411456, -1620774997482, 679173805920, 2858197565376, -2355022989400, 0, -54238868460, 4212205005132, -2058687041544, -1796870269770, 1033647576544, -1458029208624, 12324079368, -177372581760, 2485953411432, 585349360182, 4800162034920, 0, 204137519328, -1223871410464, -1007579190936, -2609433066240, -219923935776, 1289811568128, -1003464639216, 1975350356502, 703569418368, -1574866924026, -4006229238144, 0, 555762183120, 258684626806, -2142107052648, 1364819101686, -1924960174720]