# Trace form for 20.12, downloaded from the LMFDB on 25 April 2024.
[0, 71, -2, 526, 0, -1005, -22360, -28734, 74836, -541267, 141686, 1591240, -822800, 1683696, 0, -3579398, -9951048, 17157688, 7500306, 2915508, 19078396, 12662164, 11921800, 22871382, 0, -21444893, 137924084, -31679468, -111299120, -99211842, -488561080, 368018364, 894200968, 242796800, 0, -198176602, -1921753988, -1009458468, 1225929280, -434288212, 1481289516, 556160998, -4639041880, -16928250, 0, 4684258285, 7692828040, -1145164758, -8859314720, -4798597599, -6505828614, -1872185332, 18163869196, 4023859300, 0, -792966600, -23336652160, 1769435864, 15872923352, -8259115724, 17596714000, 4224748082, -15717288920, 11880551714, 0, 47691466040, -1233051600, 2526990306, 15025583492, -59350995716, -5648378720, -54542711388, -22275369852, 23952274556, 0, 103111464398, 29079600800, 12621147840, -28110803160, -190446554136, -87469704784, -4477542297, 165949305656, 56064195942, 0, 123468971548, -192079958360, -121965495516, 98741644960, -298514754598, 197558381526, 92641274196, -212561751280, 152834305816, 0, 460054091404, 334276984640, -30346976548, -201918342874, -1031718518440, -86890488784, 50320158458, 234424387400, 411661327038, 0, 1426093441244, -225353724356, -250018915398, -212728152160, -1211383933734, -115252293400, -2945689076, 260362048800, 454032038160, 0, 1012459747794, -548108352496, 223330412872, 224479324320, -1590158847596, 728522549280, 278945125583, -393835386304, 536222405796, 0, 35409297795, 1327840583720, -354398629854, -1436714005904, -3602570752020, -1179822062128, -731166210120, 1821432539520, 3708988432424, 0, 2421132853596, -2856119849096, -823915274060, 1878684116840, -49076949372, 2572620763600, -3938413174332, -2010024152120, 639381166560, 0, 5329711464586, -823125419476, -79412693562, -1213646809108, -2571295042238, -890737261400, -361684132380, -1513966856480, -5866990019380, 0, -1097904714396, 5591229954400, 5727239640680, 1111409259520, 2507758767036, -137499406744, 7812216573588, 5170988574618, 261928128870, 0, -14945179158400, -4386990919160, 800270444034, -988027045600, 4000039880043, -1535364465468, 3292864368164, -7870204881680, 6964895268300, 0, -1397284510398, 8623584675200, -14679215321192, 823087971072, 9873379734604, 2902143929496, -7525594137646, 13952992518440, -10166707151428, 0, 6065959846800, -12686132769200, 2110812158880, -1885307701840, 24581225334744, -8638900244000, -8098263905868, -22982104404160, -30319525112296, 0, -19761430246796, 15470070258772, 17259613194740, 19413884279400, 33989942312664, 11603793384396, 23872327868804, 8856005204476, -13839653217156, 0, -59242572474374, -17724876072760, 4521136909878, -28534958190328, 17414621724960, -47438669084600, 11142076278696, -599142620524, 34073484482568, 0, -23400209091390, 20944726566080, -12449718095064, 54464985793212, 36718947808188, 55509965556800, -6914444913160, 6739289017320, 1050528436470, 0, 23340305128277, 14945115364884, -5375718479958, -97247975352000, 24240179092662, -63736602006680, -59091889321760, -10839160127184, -61896690634920, 0, -11046668485794, 2477538074400, 27941113054192, 98667974045560, 30505937986088, 126849390176800, 49866097995870, 28029781711338, -13962315267110, 0, -28430451523331, -62412965989520, -9859423153704, -128285010663040, -2535849999956, -144659121172974, -17551722780600, -96576748254640, 24521305982240, 0, 44213967041588, 85099248245792, 15138361584848, 207714778611400, -75152072549388, 179984130998972, 43682759116158, 126962650394440, 53800376177934, 0, 10934282064628, -185498415784800, -66555908502324, -181570721999600, -163487603618166, -271632703195040, 9891624003540, -210840759591704, 15936942051144, 0, 100450461762600, 295356913182080, 17354089902744, 245516262943520, -114780016588932, 275424900205920, -51795036291242, 395420006739240, 91077269799438, 0, 122214095718792, -318452237306800, -13451881460964, -449920423120424, -129552125814273, -347797029048568, -89589412473636, -353599307843164, 55294041690952, 0, 187939455178188, 424908148406824, 89048890248800, 438921049531092, -109526996457924, 637317080786000, -29064779895580, 423847807144840, 114753969177636, 0, 65325673456150, -600112524516356, -80451169913694, -728667363005120, -371472724207124, -599218708894200, -20828776856772, -584701557392000, 217692158524848, 0, 309974747065398, 423321508246400, -20364973456352, 1067914369788680, -156854515173840, 904052987540816, 219473449595828, 578603773401800, 142471443868728, 0, 263796691961804, -599011138601560, -75688185137092, -1062469502312128, -378519398857876, -1554753682030000, -390975262705968, -599401621538160, -580012236713624, 0, 74000625883398, 938000122545280, 103782257614932, 1409393337407078, 477453090863436, 1547305296763452, 688317035899840, 899007033896800, 103722454292220, 0, -591084325587628, -746055517439476, -117475029882030, -2276367475712000, -306738205486770, -1966266408341600, -403104084527608, -794412327090560, 424054936649828, 0, 149807716892412, 673474136613184, -271639980198488, 2177609908762080, 554599610201352, 2958842735857716, 25542721345955, 992907434554196, -182409518800586, 0, 243456129588060, -1311713611443120, -336133325553366, -2434171964234400, -14638676943442, -2719646468705908, -337228320390588, -1875687109163520, -631019834231236, 0, -227497321773798, 1818581484389440, 1199527746796668, 4134258819413440, 837534584270316, 2670475610112000, 703760122838644, 1952191012541800, -152285914970778, 0, -1763526395228800, -2279292217918396, -261426407789050, -3204130485489668, 425015775883202, -4228441314191800, -315295757787684, -2580625880253012, 16874426523680, 0, -280307637559208, 3551432779246400, 559879240257812, 3367547059456960, 2071127974967248, 3477415206563176, 1207964331463054, 3727621136506600, -641470739435016, 0, -1196285518892513, -3119829443559520, -1576529163360, -5588926598515200, 169219651377438, -4239169538779688, -1683046399787364, -3483275560869680, -664836108772632, 0, -119749485123006, 3434317255614064, -441442793547656, 5039081116026080, 1201723623035708, 7007155641024960, 685859333735338, 3578874709735720, -340319670942582, 0, -800092792053564, -5473466359961200, -542388098191548, -5203080011234480, 986719880139360, -5281653901580280, -1129371699420956, -5836308217150400, 62912639187996, 0, 399401074929612, 5178021698944344, 273322096853048, 7686469673047720, 1120988675185944, 6577576528186400, 1485497183706515, 4815272867704172, -49513143900378, 0, -1570734634579962, -4588674346635160, -435038515207764, -7633552435386560, -1374614016843882, -9944180749281994, -1305058351034160, -5249937995708084, 717529301596680, 0, -117968939437204, 5455198415216000, 1354574813071424, 8549152751839352, 1638761091713608, 8260682195297200, 1444467734449554, 6631849088833360, 821965064933598, 0, 105458529555592, -4088647007723036, -1011884266069230, -12189649123765948, -1348068253226388, -9615023136789120, -2856645762971844, -4321427393692320, -1324875006119680, 0, 1736587693262196, 4880696412629600, 3546470190820588, 10065812829018720, -182482569433912, 13023304205400320, 3861321444527344, 4875849414853016, 1528959463932312, 0, -1510301977679920, -6802441735134680, -1173871393001862, -10953746244183248, -6207912814805300, -11692115533283694, -655042199196600, -5647316526347520, 423790862105852, 0, 4768278811543400, 5605946003188800, -3313237637152072, 14663252551000200, 149993757991668, 11796181567224756, 315349536621876, 4901525235535720, 1486264509497214, 0, 5210119996595786, -5953937423894800, -1864069039832046, -11800130079199280, -6273386564504802, -14533861107538200, -2902151334056604, -5401120616451872, -847260359226352, 0, 2079178801713386, 7771520004930880, 1400295011068160, 12674813063946200, -2080183056662884, 12412234755415512, 4437022727910510, 9046791768865816, 2697714549184398, 0, -244822802053804, -6919543183353560, -1298873040645288, -15370180011478400, -2619211926210351, -11730189530470048, 492441390527108, -8028777802881600, 1953255907759828, 0, 3796866232765806, 7104266225336640, -1442756695535768, 11135194452912932, -4555567080724680, 15047101722280800, -7813504761295870, 7329711778022600, 1855570874759300, 0, 3676192640491610, -13594522419734000, -1526992939367382, -9931248364431188, -5806185442760654, -10169718913043000, 358809453499224, -11869975836544800, -5784667815292528, 0, 3125539403838804, 7786663144388000, 10704864172072956, 12774403858443560, 2238243642958620, 9646407596320800, 5392373315873280, 12266361201231976, 1994614269363774, 0, -676020240832552, -7350423871203960, -995490924269446, -7929240818230400, -798445382127010, -11011713386187200, -4102414185667728, -9635934528876800, 6158432249819368, 0, 663125072465206, 10249697298646352, -6970151973271920, 4928279258994498, -2637788844227316, 4845961139854432, 1092761599205348, 11926984355433320, 293017006660320, 0, 2026057491768540, -7516992122299996, 2675981973412362, -6157935202209040, 3211094685505968, -3002636133128000, -6529009381373204, -4142064674104264, -1056819844269452, 0, -869457763569588, 9803967393547464, -3609690674956848, 1857485326770760, 57187662167280, 4757435661958400, 3494111715426854, 2123710128719080, -257944505197726, 0, -5586666147500833, -6183315457515920, -2109774257502726, -3592763287288640, 10598709245992248, -3470515806512768, 6418925639295972, -436109677957804, 4327151689535616, 0, -4244971361532788, -3978279576673600, 5049666978571368, 3443316245551080, 11986386233069340, -1596972715397600, -8638240410814424, -7437267776806040, -6533313905885484, 0, -19947360741784713, 8489118447873684, -468820152565440, 2207616989434612, 2472818574958684, 4785939822724360, -1816413153218412, 5734548207870080, -2207277912352256, 0, -7958530285652602, -8321250622658400, 13098887227056148, -6486545502446560, 17081293546162884, -8211979080065264, 20723115407911582, -16083331813490840, -9768089082336402, 0, -3530473526068860, 13217210444753600, 3535157027562666, 13422842319790956, 7023039024441120, 11218150725318412, -9392911503393936, 9952080173117680, -29140822718991804, 0, -10924015971166200, -12082499787399616, -20091725070623228, -13887380206985480, 2784415918936348, -20918590399128000, 11261216990944106, -17539908797305720, -5579632343689512, 0, -8679276450721992, 37395902882108164, 416717380235988, 14721326167065840, 25414520624562300, 19840860041207680, 19430653893453680, 30843650167949440, 25690298223980540, 0, -12961240565047596, -32821064935186204, -7328558308590940, -34976994410699640, 11326080633371652, -21393016024349168, -24211984752674732, -28554858911010960, -2978716192066554, 0, 29966000235334984, 23116507830189280, 1331801766704756, 41815857941900640, 4404016255719804, 46902931644911400, -3423534441660288, 29175070745590756, -6945228937865280, 0, -21908186310264196, -28381064371857920, 6478721746314084, -43888416964192248, 6239550603207596, -47983622804402000, -26716299855122206, -37818447390111840, -9461360086990056, 0, -34319598985647572, 28487291508273244, 24746145290975676, 72943305093987520, 12406676945116518, 54702204698748200, 12478583451559592, 28588215767450816, 12438088919661272, 0, 8523816461872800, -36116908293988000, 20545794584427184, -60971538665877600, -31176938303574232, -91767015632572344, -5988875442692188, -29848896564368362, 10928500648634804, 0, 12379971312683038, 41200045173409240, 1998928118840082, 80212037102710080, 7511675566457249, 82457793434965792, 23798923365537980, 48193676710562880, -33126613792135572, 0, 8961268392233394, -23018455972064960, -30621404005471840, -118744061878149448, -12691538556467700, -89070171389487788, -4584925188824976, -36654614942868920, -8551018818065658, 0, 13277545361561178, 19206716528496524, -6826433366976282, 96330397867567040, -9823856112110916, 121646934032553000, 1066638736608924, 40485732569497440, 64811083297860160, 0, 4381155310744380, -84531466677987840, -30495974907580840, -100405915331196160, -29000635613036320, -114197379975408800, -14021772956067178, -66149068853205720, 9090504447410628, 0, 86140019983973228, 74425825156219240, 12698964830880312, 136211993244507520, -6975954231845454, 129755345503044000, 30248105326093068, 64565081822738876, -15418056440833488, 0, 13100250164715996, -72881268740799416, -12967785514195384, -117918627829299028, -72598796868664392, -149560675594864000, -115430971330225280, -53759919847581400, 17679980318729688, 0, -32162924818175316, 60320137931318000, -15939592443630822, 132270830649480572, -16648537896605972, 112983474372016000, 77468120826568212, 103661998036612320, 30057284920870292, 0, 31306523253567588, -41335919986600000, 50306940608690112, -175962646788393760, -27473412910733532, -125212023798262344, 41707528600197410, -81323573354880644, 6574798987414560, 0, 51623804537688828, 107040684943102800, 14577092018274012, 119280648664630792, -68014441409836518, 175237633822732226, -4818573597923304, 110237140300780800, -34668695357247000, 0, -24474369162165790, -173261196177316800, -104963763232999240, -157317357888275428, -59681937797018828, -120811376671830368, 46056506944066298, -141543453702346840, 21240227948686806, 0, 83998457250988800, 136656841871128800, 43058508961816050, 178439801704864240, 35830637348345946, 131890020655616520, -13432115953952708, 103533004283858576, 22304325997999088, 0, 21042798665866182, -83174171423964800, 25511322299194672, -119135277445957440, -47776119766253024, -190937601122543200, -29532047240315411, -144796771648532304, -11461753689740124, 0, 25505451416529307, 121766903425446920, 3538749563693274, 143914809421320632, 80001380641071676, 148520000804191152, 65807020410784988, 166095893700866560, 54200899138165952, 0, -19396907118426596, -150508986990733760, -17074351225878300, -193128447732594320, -28970143021094172, -141804172773455600, -273269315572241896, -115099107970075640, -7450184633948778, 0, -40023996021865332, 199744897269092364, -21548334735345974, 150112629729675840, -52787771837603520, 203673672787231360, -14244929433971244, 102863455818855176, -7029165944252984, 0, -80633173086230202, -157876641774765600, 152612279010195144, -141366662561359520, 42781957617415500, -149790283487952000, 241370977439066062, -141121597506081402, 3073033821059838, 0, -12777827374261176, 1486214695615240, 64234241825154354, 211265627316556480, 95898945390470652, 161831900086247872, 44148356836317160, 85071627767022640, -77966032640680632, 0, -34166744251690188, -11959638995986560, -269149052322079592, -133214830021944108, -110540515835008632, -211250282460979564, -184217345974068208, -81828715164447280, -43633374520776200, 0, -10821676089822518, 135607575159408400, 5041851206610642, 110897436007956080, 168432650473095718, 144772208648614600, 86008365551295468, 83272176499040000, 63583143990421760, 0, -36057951949237996, -163180360942893296, 92136114348805280, -173787844207953440, 100141032554779872, -129966927475716320, 35107586896801604, -40589012546275924, -18538433923172568, 0, 83353767686578704, 66417872813685640, -7147703496924898, 141734409987243552, 27489561614972454, 148005647659598000, -10209176724060492, 8314905124604316, -45830654981122728, 0, -112179706606338400, 87562261149600504, -95954306821444120, -128347156420956040, 125390112333162252, -116122879985843600, -78738898854073878, -9221189934619320, -55209884910988428, 0, -211736334476946488, -102039069236894800, 68917986948162834, 148384668332499200, 133604856622979532, 67392344753844000, -100722756660832612, 14655209887390400, -48261872268586320, 0, 20204393954416812, 11590062428811200, 313283829796169760, -119698639579327200, -2896215028106172, -86531943975256000, 264329985546479387, 12959753742121492, -14792948258257542, 0, -77945254776365424, 131746400407789360, -23674060653609126, 36226072486487676, 132688800966660336, 49649648661873372, 154922766387725904, -51894131684303440, -78105691080244216, 0, -20442601484511604, -52434402434457376, -272307326118624900, 11013601251035400, 81195224469122640, -5477446842060024, -282383053339296138, 58547994728814280, -83138451994404306, 0, -123306646076695736, -166631063479215792, -56100244003293528, -19089548611334560, -123223812520446740, -57905315741573400, -42255731647201956, -86329174476028480, 191646068305131888, 0, -89607511329608408, 194099721209222080, 92789463005066304, 96599069360148160, 158930601712791624, 60871958834711636]