# Trace form for 12.20, downloaded from the LMFDB on 25 April 2024.
[0, 40, 0, 0, -47880, -2642328, 21771144, -22356880, 0, 740208312, -4162950000, 19697749344, -2268767880, 33702689744, 0, -76604031504, 791689296672, -593676014040, 2852271258192, -1120481284000, 0, -2274601593528, 7247870602416, 3058170374880, 23719435803936, -82077069150416, 0, 0, -7629081673968, -20632695071256, 37456727138640, -353268036790864, 0, 562050181030320, -248241675948480, 101839235263776, -1177548745309416, 3492436239515120, 0, 151949185567200, -40433256181440, 481400137188360, -2709671988768336, -5148001223004640, 0, -5389102119946392, 17206125364795104, -10457602667272800, 1561106052682272, -33043775752066320, 0, 1342847550674016, 16558671470242896, 30131832529686600, 40087412948587896, -13367303894026368, 0, 83994822579003192, -34645536255764880, -95254877571624576, 50260381053157440, 142698311428025072, 0, -8661513382114320, -139766490424918656, -301750589490544080, -87772097712685968, 420432590712268160, 0, -780638608309943808, 244663962371376480, 147467537428629600, 54134736422921280, -1085559448828078192, 0, 1083175956794066112, 2744130151937256048, -3446123571889300800, 1125465917961999024, 249052172722763888, 0, 1633676782541038920, 1064985418859680800, -4459007835083711520, 1920709484261873424, 3133310833050055056, 0, 6329919533648769360, -9209792381828477760, -5967971715685201560, -5194944179528261040, 6611734573552861600, 0, 17075256530728117896, -3835186345170303552, -34539126254816774400, -11947184361208227456, 30758007426443375888, 0, 7631311683051909216, 22590279958600753560, -47344079139992642808, 11615955161545154880, 21284996246608956560, 0, 14612710212002707488, 24197517235475748432, -58932555093630336960, 15260405401885621464, 48270562543940283152, 0, 68305543875070826688, -60906366669804194880, -109303722250184947320, -24138528914333624112, 82088557482764873664, 0, 87697377733105215792, -140690038922258900112, -167633400116834125344, 10371328064835750720, 152117294842260153352, 0, 89776877405394684960, -58376437574476238640, -266648231926819961712, -3281685681691549728, 107927408884443560720, 0, 222425924401878072696, 96362083407318265440, 65992291729658788608, -129383917184732899392, -95030840601930050768, 0, -29677971344651085456, 537299610444303992064, 248080879669403369160, -84518257447041469344, -1682322925501114624, 0, -827437436280720117792, 802182578165267714208, -91732457751775790400, 513154375597019145888, -1444321157694850697328, 0, -507706917243525901440, -518214989558285255664, 1076055740456882471208, 217279230389686581480, -1012681002040038382480, 0, 358069640980504465512, -1307305659202456269024, 2472995516067205309728, -918524542040584388784, 699525768677985589808, 0, -1650108543528663599472, -1043665562340423993600, 3373601559372314135424, 825846917983749239328, -1051434051051318170080, 0, -1713405163636406307744, 897648951997442921040, 1554133252060650568320, 2671907841752156664768, -1139897091986000888616, 0, -434097406962627876000, 1346505375749902414128, 3576773141224366068360, -3891036424435787971152, -5202499778324301042928, 0, -8237797512088969779696, 3170636899054890867936, 10778356920669566949504, 322061763230043062400, -5500959693009436102576, 0, -1781960667692039994240, -3534198055523664068736, -1878008991340927198032, -668665511074313484048, 6491512220785617579840, 0, 6094709467424263795752, -4994473494612736487520, -1542152974524883830144, -4352107193351875460736, 9903867567016247959760, 0, 1635867978386944289760, -1729183042078267661784, -8509206423219043796280, -5143583990875742690832, -4551103776534485423152, 0, 38667599884992713357016, 6569264886418911581712, -20804685799805052743520, 17920976792156766372096, 14814329801431176841680, 0, 1184797862081322916320, -32225315504215371663168, -11867284750516473268800, -25035647834657580636960, 27899982157092402665600, 0, -29287197361493838743616, 36009350193153548864304, -51297219136136979472896, 30837467403719063746272, -3843298261861419049136, 0, 33045606022111145753472, -13582152987933061653120, -39687497162341140488400, 4917978515726245166832, -11079877361653055216560, 0, -26094727106901448409664, 66679315458300030893760, -44172742349844626824800, 24821533965690846007920, 19473853595541116418704, 0, 26352881244887020865856, 23782370778028086323904, -110747891061247913340120, -97949723906196971408160, 41200842831362843338944, 0, 112339754041080890082888, 62427262047804677692800, 13998883687707305844288, 161991333339016343904000, 138908108230870919434256, 0, 0, -342482520937104279780912, -22869047219525764267608, -211636839127892253777504, 80720602690347125848000, 0, 47726923824917856511632, 170488073576566361757600, 130329940886026692301152, 186926894565865596657360, -340325165507915449922688, 0, -73415292112278764006112, -84209886243116542877184, 38053714489169455493640, -233801365181025031044336, -233501737837370306400992, 0, -40920123729138717528216, 412537273761057204802320, 117168584722692935477760, 424003587110846502959808, -35811277362619315632432, 0, -216816687350192116624320, -557328577343271268853520, 338518280031859011577896, -682624939000874133383280, -14992501795364865753904, 0, -385065381764603685616848, 836028809786532262635936, 440870860792626475764384, 816926584674466131078528, 588748879171933247328080, 0, -136863275561586521612496, -1256128449626453994645120, 445901831186531669809704, -1173194071089904173268800, -771621521313636450880000, 0, 113579922974679716631840, 1470612357787474618279200, 734226793345506412971360, 1491571641530830969486080, 23956518273760718130352, 0, -324783197068264770483648, -2300868202967154100584144, -257897341530652030828920, -2114738803839234957035688, -222086293824701500993728, 0, 312476514762485643739632, 1610904594744895094671824, 238862805461584411521600, 3018970988893332886527000, 235086496744248029316976, 0, -343405095919851744929520, -2870396007160590840756672, -487035098360854106718096, -2967977811752411061594816, -80965826510261358390400, 0, -454820014869119745133464, 4461086815068930582612960, 1539353025534419454822336, 4171821813509951623161024, -2546633768244643535050096, 0, 39454606325278141906464, -3623643169433499891253680, -1196449509728788878265560, -5384741503462989785626608, 1007167986962001467875584, 0, 1461632623679798504982288, 9077105375743285388863296, -1581742900107726098258880, 7361898384859981725495096, 1284459222133892959816640, 0, 60565250901689788119840, -8610009642291920332431744, -3256771639497455540111616, -11546811535544329779918720, 659165945058904264574528, 0, 977986552680840495947472, 10153229207573896609225248, -1930730536576031727387456, 12924073682065419095844288, 4254362287011254036658896, 0, 612916654632158071213632, -16012073913352539846612480, -3818008873848169945600704, -13866517976959366910852832, 93806299549139566436320, 0, 2405974081682453973996672, 13242003658747236463417776, 1757429190416836235501280, 14505543451024539040156608, 2230793943778263605587184, 0, 58868227775596366360800, -20437784280253590612164352, -3685548686280614588817720, -19496875812468792833938896, -2221758938097365979977280, 0, 5848672731614344581320736, 24103841948248579896628944, 30027207285537057090144, 29865852329842202432961600, 7421892904629862601342256, 0, -1372280194922912125021440, -31823014616269072320590496, -8569662642399377265069168, -31338593951347675223876304, -5043032868432751115465680, 0, -666585499582146354247224, 45035436926569567595885280, 6033852753113396801929248, 40256535401743935339800784, 914797920140644143044528, 0, -5376503716537965399307296, -40195578465726420249706752, -768307423784253001218000, -50043093427367710054378416, -2015180699737738985394592, 0, -945262875479171893148952, 49382509808271596081893632, 10259180966271558887205120, 51631864034953682927596032, -1747658108535725079281664, 0, -1994441151189055678068960, -62154241348232608865596944, 2074183378403078125449576, -72542828802125196218069280, -5906101982234329754853696, 0, 3137396630151844865365488, 59615763942418319304781200, 26015184451070355462408864, 72714839368043094544971648, 5002028710967186189366768, 0, -15210441164574782870702400, -92255147876478052065633120, -9814132098425979668140056, -79292346696281899266495408, -5764131689875769659244000, 0, 999467257904333678599272, 104080420369989681355320480, 20275679176013877031794240, 98765490191477201606110464, -5831410003296688526568112, 0, -15418498745799333552150432, -94740647951048505713474544, 2349128653487863463678400, -114564000677197473431155872, -18432754190430618386774016, 0, 13241036286142653517858008, 135465510171719052265736160, 34901028106999735834693152, 162364263909468075600785280, -38353196970385053172052272, 0, -4051489539122532472399200, -156320602502720537460523968, -2320240455256148854392168, -156497978664944397226395360, -14054110388754675149736800, 0, -11197595774077820305577568, 183042447763047241333439520, 15637169407631606494219872, 160001397884232111420941472, 25819379974361515603651280, 0, -20958493212211931538125184, -171610102614720611773608624, -18198508910504289168222720, -173154715362375933173056560, -16317981403615202383970032, 0, -27710561414265353184428064, 181815643401793372305777024, 13534752232229648402734560, 192143415851635834006287120, 69819472299315356142477840, 0, -12538346995608319330033680, -230391469867202366269416192, -63694210295786217919880472, -229997288643551236513954800, -36864322901231923508149440, 0, 81262414230696353621030472, 219017021943555015713886096, 10090105909836759993274560, 230661687990777180232173120, 79107434501872097558356304, 0, 520246654734579558313824, -276609507765547916537452800, -75127428921549352454993016, -293320741115077639516782432, 20724285985686790247059280, 0, 65270781998713575196601184, 318160415116908251156853792, -22045991976722083934031840, 311775491166586265493915408, 16249103259632057134112944, 0, 18479563225418786545824192, -302698629702103450417971264, -45835692950493720041526720, -330959435174243519738798736, 82169212631288052060970400, 0, 44589275445449679614247240, 262934219795072477408784576, 20298617436554913481125984, 355048679617715935017066240, -92813023664035987898592800, 0, 7844164154222002824896640, -349716918600770680974541032, -132635974686482433228639408, -293575539368004823503342360, 20118000174452859300692720, 0, 76749306355683995042085624, 395269361289187344583533360, -70320113112420486389525184, 273059763084448277278133376, 47835964547003449697529744, 0, -5178767411235299669453952, -244849520780154740995691328, -148175395161527121216992640, -317273751898978164462604656, -95913276473497720275690496, 0, -36476280942332524994070432, 304110323414823237383153520, 133644355225629120589252320, 325716680362332326400312192, 2490400483283404512338256, 0, -22181496959293443388771200, -314393372875732109191770672, -8447262509853484938825048, -322817583711380837123750400, -10163931315509349838732448, 0, -19189680242686513311572136, 147724845013822542060989952, 60374093292034475182366176, 277324587517697308740712752, 393178777485457309384401792, 0, -31752379618927280600858064, -284723568060684586877934720, 129492230108993735004801288, -223238693495962564744358736, -123701342107205123915873440, 0, -155618098099634531086384824, 339888026046717792851850144, 58186045074251663875893600, 142780069658988317804067072, 145755147994882559990558440, 0, -36903691248433925758337664, -188973576268919310789517536, 68590627192271476239750000, -72850083997327643864511648, -163250826066364672438201152, 0, 139037146759146085337217456, 103671948162953855640562992, 83108001963832796089118304, 99778733496160828597725120, -704721351573326817207916528, 0, -118179863328480380623110240, 23929334671711834163174400, 270313996628766379247984304, 132665972111599371929326368, -30631614442911793798059040, 0, -68713742411834844348767664, -56694525526919532450531600, 262708585914658433434185600, -179486037823029150962037888, -557044073429782675499608112, 0, -197483161313769537964074336, 657021566879892760559758128, 330613361809774139980470600, 469047751646653687670492256, 98794357988284604312660800, 0, -598073944366243288451790432, -837677695635806130308010528, 182092350172945397886574560, -755140483289184934157690112, -176343575213423047380495408, 0, -3355647749978773708302480, 637794475946538633819082368, 156680723224028952339375816, 959666324767199834969187360, 295035188313158329723472960, 0, 489625435538248650675958656, -1176901384709310728717153088, -300897199002357116515802592, -1016642283452196789347915904, 459762685533596374029116240, 0, 96701343520811479156377216, 1315065879342575500211568000, 265422188951000572127770944, 821924612312475340240825104, -190486103126654601269602560, 0, -178031219865610779474175440, -826090772715889851087340272, 206618272225014848966988480, -1652499643671255464492856408, 136948671146210876019398896, 0, 248598236452044153478035024, 1561842515787613737613783488, -317328811666449026519794680, 1786121048499991285294844208, -25374679260151573780903872, 0, 46016404012972417270416552, -2610397620334004173045103808, -597255548404465374710798304, -2418605643916482773429086560, 1024900393699773525215354000, 0, 162884199885283788846330240, 2163225702778586017826575248, -43252551015857014118447160, 3057497913057018307793349840, 243934390237781391543132560, 0, 169056984776076908364974112, -3808654372637175994199229600, -628127989856587972079092800, -3419907047496626585634602496, -491599426073339902333862992, 0, 628452844612692960736139040, 4397432065160876910402837120, 24421981279668020870538600, 3786592896956947146745999536, 1329902234607056846427945344, 0, -923390458112410493378472576, -3772155817196888954524617888, -1681788561446625228649199520, -3832725187394093440330820928, -1580630784304586311868469704, 0, 994267886037651478228907520, 3511806532149505312565545680, 482344424875597364061918768, 5398505401104620349588488160, -274781642034282096498942352, 0, 680914988096771423309891544, -3966506934211038451336198416, -2073892346721555020247678624, -4476268312423945884838072512, 726067830983060042372664576, 0, 57131945462225482231874400, 6510474805820321533965603840, 165698070473769969260711016, 5012105390765522824671059184, 413881941873363509158801760, 0, -261096311757946909409412768, -5352574041340288719986510208, -1324279030171880758927848480, -5856317436861062455130388864, 1034442959009397836563979136, 0, 780611626852273533793112064, 5358935903387723326522140912, -444760622802460990410653880, 6184531134338777948839569840, 2127749330502346219747475904, 0, -152990311148120964599394768, -7793841184740171596963537280, -732158059567016008567328832, -8547437236943225407510569600, -372180288033436446346055824, 0, 602337988951635138412953600, 7394753937365999395749211968, 2090571357177457682767574400, 7163636207299355585282172768, -673804833770935648675068480, 0, 458671547712472972200184104, -8198068009986247639952365920, 587964578409977838498681408, -9140803879607843495384095488, -1565081112377392071817100848, 0, 419644558854199965409368768, 10974218008205921275880193672, 1094452470524567520497160360, 8280084811596115655185905600, -247056825474057208723527968, 0, -3378593524014038015610857712, -8772122246033683839915874656, -566394440182162908998404320, -7343818134060062439652195152, -4211827338180514151598843312, 0, -314464843147363725628075680, 8323238077484767097733589824, 1226896166891067501415071600, 11243357060545179457802507520, 951283737872384458578831392, 0, -252441789319183541591904192, -9188667268035407587969488144, 604741283385738881542625088, -9109993035663340259125260096, -947287158564460003428559536, 0, -468391133731469937986162880, 9968213787633873409826984400, 1603994362239384123282558504, 9352684615927843205359784784, 60853829160967074261290560, 0, -1892957263768540141371638208, -8062051193685864475604279424, 1703636783914689535670871840, -6515824694614811123855116608, 1615958041172897381850965648, 0, 96487914542765646920501232, 4877947140480399071626503552, 5677229051254502839181784960, 7768442439990529097192643456, -1871660946092151527949588480, 0, -1580240976814807162531256448, -8023863441510209942017352928, 1127970104725858882168967328, -8324784724577430304762606080, -4882127357655304551059858672, 0, -409402975772047117056580800, 9074108629438241135702280336, 6502997194421873008217833944, 5113327522167613606323368808, 3165808359005273298026845040, 0, -397565362144926599471085096, -10988319817568705669493291360, -2390688485104143006292712256, -9450350044788760099952001840, 2581608674804215243201475024, 0, -502673609099251523755180944, 4769505465372788288857016832, 272377780502127614430166080, 7941250626336374452856558496, -6712649880569937422896173760, 0, -761835576343829519145699504, -6355012428104073522406500384, 847841211301095108291055680, -7948781471552103961926030144, 10137130632887102999476571664, 0, -1727510995922962873013333280, 1840555499240134507075499520, -613473146478563861384361792, 3311767943575099542746906400, -415940265027199911750525712, 0, 2137051653524832678238553328, 2199138344533909012986295200, -3025392071791150494451576800, -2196475880110361778631436208, -7770638587875047787806746096, 0, 525297622657012725004677504, 35999285334086287945779840, -2107196491684306289854641912, -5470052513304854923463438352, 10016658646974551396700338080, 0, 1681319937951195447931678224, 6017592720098513302407290880, -579943241040810950741750400, 10261950446941929935924875776, -4004931726593181684845931952, 0, 2255052367175912123468133888, -387102498227872042961211408, 983790766591227493169810760, -4849306637291387376132228192, -5240477992169751894387298864, 0, -2471577169224793929239121552, 9531686902751128742194368144, -1029675001703113215440280000, 11888632328690620968949779840, 1564749872347657961248486272, 0, 2452340521056858179699417040, -10869552525962706177596568480, -11759707537319143746598529808, -10301048877783633774314342832, 2257718062758945614876990240, 0, 12147966413079616217162348640, 15054991723003531341492315360, -4511355417920448859326278688, 20604143261479174355800009152, -4226675395964840078334587168, 0, 3480340774400475759953771904, -23626493043186586502548397808, -19285403124276938292579450360, -19658045211391848473298303264, 12039318990043095909701484864, 0, -8080708972493359544190437592, 26959988080381900717731134016, 1924085999849351643575524800, 25555076806216251903117902064, 3252231870575028647053012992, 0, 1471644449147825942260441680, -23449510769542538630419415232, -9221017328513605941500987064, -38653485210983076492721048560, -14317044632606518516005891040, 0, 9727521200172045509993559720, 30021072557780272590162242208, -3040918578893201990083585920, 26833888673595295025035115520, 31624604442563873140921165456, 0, 2561521441624056108421322400, -52505639201955360432288142080, -4842373389593956261554460536, -39857490111861605293204248288, -4244015996262524235598682320, 0, 4688012302156939869164752272, 40410979481129860500919047072, 8179325760612325187898544320, 43983604704477692333410069248, -15373965619626902147628827248, 0, -1936627656871952821535323488, -51452659777900208556693784320, -3745512652122153899160329880, -53861438835959391240312414960, 23007239529420044720141186688, 0, 2167732348848635334459816168, 58612039752382774002308561040, 1397528581382147888646938784, 69946086115936415522871653760, 34003793779825621455462243376, 0, -9343393891622486372689159680, -53975425022250408717950527632, -3615842212412398632881472744, -67651137407718339032749011264, -31102458105861580736298479440, 0, -16602258505533589016169327144, 80737274225330135594294702400, 280256128385867995210155072, 83040285968045067582836758656, -3309505902809301567362418448, 0, -13381165183273853343450681600, -75723027095370205203213605184, -2200457595425780271702569400, -71799161899216627437251119200, -11000024920713265107589131040, 0, 24856975110839674470020248608, 95710791546924796256979902400, 11745722436218767614255431040, 77484601857146720206629672576, -23489913296417130594794426544, 0, -13824876610172714015785633920, -88969336884715093258884785568, 10538495223198464730949685568, -87098996605346883343525011840, 14272410932458419504116867200, 0, 13942654595952542537972895792, 79597074544158869094534250176, 40901704208141288537860617024, 80705341695515975567321814576, -47739980545580311651329305104, 0, -17114385252130079355733784688, -120749599025991278456445089280, 3217569517801993610379397320, -92624457015781418977547676048, -27016660833537611266847390560, 0, 17461632360734558722660019616, 75061762894351409080487355504, 48949230524595439349497478400, 86761808455708871770948447680, 51566509922383209344369160784, 0, 2956526503959383680846326624, -82657364175904107000484638000, -16412310890970717221272149120, -124059911841229700648469645936, -40301246534048141676329176128, 0, -26955932272127243854256961792, 94036842965475385930227677184, 20348852303546597060527598496, 118293304830583985416942814520, 19560179495868450902088507216, 0, -24085859136646665743190786240, -108848409166838447998313787648, 7429706855098955151935998320, -106702758630139607554313895120, 32888671260470472283838265440, 0, 9188310516151788920075352840, 131487850339736716323323449920, 46146023958879510004542843072, 123130268713264384054165750848, -6635336260525012618580577024, 0, -14324430893444927548902412128, -151322388437118477775834249200, -12981082683327675624522809280, -131378388088486472108123608512, -52410414056861800775108438992, 0, -15461828397603641254586669352, 149019808687834042926452986416, -9075270246367797910034078400, 130520431311338051594710521984, 63344177946237619595457939296, 0, 8246243654224406542254957840, -60645183278002900256386066176, -11449056895385359591204425432, -123867491858888933888533660320, -6422169175419439435465648800, 0, -22350493540151781128544228768, 108940612986466698176919981648, 23670062372530134871580007936, 107256618788432690959668323712, -62675048265082405151183781232, 0, -5896832566834471299238468224, -98992317208720823806570836480, -4441967615937443025378405240, -40988680719454906258392191952, 66189184575424549410038754240, 0, -50218616342456419017882116448, 59385250451737247388486115680, 2097823272126193265326807680, 60856151096629778463787529808, -116716159724717537504619354080, 0, 2482435137000994811914361616, -55613215559457208310464977408, -29393101125580672579308256440, -49297074303262110859129649904, -68017817755826670993375958272, 0, 129585261554959441424444959968, 65827102490469335291867296128, -17906132060138179485716759712, 89013756646974784864832271360, 158536093634770420757546381424, 0, -22831679312393705930277973440, -84870698287826902731709225104, -58484569098311011346733851184, -54962701464496252674836670912, 25975582770817673881294818320, 0, -84501370168992941334450437664, 36833982410109680792728584480, -33213236141520837662411995488, 8599755144293558577092727864, -135686550223846988959132083344, 0, 23501051667802115983480367520, -19272377382032516729954889024, -56385620697187743222471701400, -64437686696996006251738148784, 64299651110422640221360616640, 0, 220401115426317265356917590128, 25880606786739675991779075888, -64308331684316629917116254080, 12186961704480955089621267072, 205071294994144630722579228624, 0, 43132345948706474198525656320, -6750671992021836683616636000, -9403773865303155735420762624, 31288979463444608239299697920, -66249064828131725147112125968, 0, -46352948274218073897727406568, -32621525938354922521943409216, -86959782226682271467359901856, -55731764594737126673001966528, 55590419827654993242803330096, 0, 26462967209490894585099210432, 17409401573266137137285174400]