# Trace form for 12.20.b, downloaded from the LMFDB on 19 April 2024.
[0, 36, 0, 0, -47880, 0, 21771144, 0, 0, -809473644, -4162950000, 0, -2268767880, -25913431656, 0, 0, 791689296672, 0, 2852271258192, 0, 0, -1650825908424, 7247870602416, 0, 23719435803936, -118879690462380, 0, 0, -7629081673968, 0, 37456727138640, 0, 0, 529254701828640, -248241675948480, 0, -1177548745309416, 1847838600168120, 0, 0, -40433256181440, 0, -2709671988768336, 0, 0, -4365410114088000, 17206125364795104, 0, 1561106052682272, -49399737041580084, 0, 0, 16558671470242896, 0, 40087412948587896, 0, 0, 44803667812766472, -34645536255764880, 0, 50260381053157440, 174742350239997144, 0, 0, -139766490424918656, 0, -87772097712685968, 0, 0, -957190369821780672, 244663962371376480, 0, 54134736422921280, -1445122541399481432, 0, 0, 2744130151937256048, 0, 1125465917961999024, 0, 0, 1033298241353042436, 1064985418859680800, 0, 1920709484261873424, -1802899595088057600, 0, 0, -9209792381828477760, 0, -5194944179528261040, 0, 0, 6719944190337314136, -3835186345170303552, 0, -11947184361208227456, 12765226159947004488, 0, 0, 22590279958600753560, 0, 11615955161545154880, 0, 0, -31607997194279424960, 24197517235475748432, 0, 15260405401885621464, 3626167578827946264, 0, 0, -60906366669804194880, 0, -24138528914333624112, 0, 0, 64600870828033851192, -140690038922258900112, 0, 10371328064835750720, 119575952553586026132, 0, 0, -58376437574476238640, 0, -3281685681691549728, 0, 0, 103023993263599386792, 96362083407318265440, 0, -129383917184732899392, -193763779628067932688, 0, 0, 537299610444303992064, 0, -84518257447041469344, 0, 0, -649947373308012537216, 802182578165267714208, 0, 513154375597019145888, -713071855005137115840, 0, 0, -518214989558285255664, 0, 217279230389686581480, 0, 0, 588071892647452131072, -1307305659202456269024, 0, -918524542040584388784, 385125067709606512728, 0, 0, -1043665562340423993600, 0, 825846917983749239328, 0, 0, 1096758677819277737280, 897648951997442921040, 0, 2671907841752156664768, 2372351411584557707292, 0, 0, 1346505375749902414128, 0, -3891036424435787971152, 0, 0, -5655913732536291022176, 3170636899054890867936, 0, 322061763230043062400, -5437716143078932640136, 0, 0, -3534198055523664068736, 0, -668665511074313484048, 0, 0, 6336372948373565491608, -4994473494612736487520, 0, -4352107193351875460736, 12143883732887659799880, 0, 0, -1729183042078267661784, 0, -5143583990875742690832, 0, 0, 28931329536190171839432, 6569264886418911581712, 0, 17920976792156766372096, 4318644985348673520000, 0, 0, -32225315504215371663168, 0, -25035647834657580636960, 0, 0, -55986645305645001562176, 36009350193153548864304, 0, 30837467403719063746272, -46234212200995119347376, 0, 0, -13582152987933061653120, 0, 4917978515726245166832, 0, 0, -40352816652064362840060, 66679315458300030893760, 0, 24821533965690846007920, 24726021087023505619128, 0, 0, 23782370778028086323904, 0, -97949723906196971408160, 0, 0, 93579184989389436553368, 62427262047804677692800, 0, 161991333339016343904000, 60131582325658973604744, 0, 0, -342482520937104279780912, 0, -211636839127892253777504, 0, 0, 37357932347024860590048, 170488073576566361757600, 0, 186926894565865596657360, -175899667041069961385088, 0, 0, -84209886243116542877184, 0, -233801365181025031044336, 0, 0, -32926594915244828164032, 412537273761057204802320, 0, 424003587110846502959808, 24825702835503743325120, 0, 0, -557328577343271268853520, 0, -682624939000874133383280, 0, 0, -204941876477931218112048, 836028809786532262635936, 0, 816926584674466131078528, 412249551579201394400760, 0, 0, -1256128449626453994645120, 0, -1173194071089904173268800, 0, 0, 330775359760576427221440, 1470612357787474618279200, 0, 1491571641530830969486080, 208075716432422614786788, 0, 0, -2300868202967154100584144, 0, -2114738803839234957035688, 0, 0, 299770874173181448518112, 1610904594744895094671824, 0, 3018970988893332886527000, -135620295952743571633488, 0, 0, -2870396007160590840756672, 0, -2967977811752411061594816, 0, 0, -922827582893710455706440, 4461086815068930582612960, 0, 4171821813509951623161024, -2182810317914706554358936, 0, 0, -3623643169433499891253680, 0, -5384741503462989785626608, 0, 0, 67143983943634901287200, 9077105375743285388863296, 0, 7361898384859981725495096, 577561484789879751286200, 0, 0, -8610009642291920332431744, 0, -11546811535544329779918720, 0, 0, 340835731036780115264472, 10153229207573896609225248, 0, 12924073682065419095844288, 2361567822780820604169096, 0, 0, -16012073913352539846612480, 0, -13866517976959366910852832, 0, 0, -754584578368274765462400, 13242003658747236463417776, 0, 14505543451024539040156608, -1922433188221467860450472, 0, 0, -20437784280253590612164352, 0, -19496875812468792833938896, 0, 0, 2306659909324592056156416, 24103841948248579896628944, 0, 29865852329842202432961600, 3438833872989894160454172, 0, 0, -31823014616269072320590496, 0, -31338593951347675223876304, 0, 0, -853089776136327870555264, 45035436926569567595885280, 0, 40256535401743935339800784, -414460035728378100555912, 0, 0, -40195578465726420249706752, 0, -50043093427367710054378416, 0, 0, -3361986714590392845832488, 49382509808271596081893632, 0, 51631864034953682927596032, -4922238027135974923336320, 0, 0, -62154241348232608865596944, 0, -72542828802125196218069280, 0, 0, 4482343915964586907917408, 59615763942418319304781200, 0, 72714839368043094544971648, 12740998563514149614719128, 0, 0, -92255147876478052065633120, 0, -79292346696281899266495408, 0, 0, 1396066515399382771992960, 104080420369989681355320480, 0, 98765490191477201606110464, -1064939338703753219362968, 0, 0, -94740647951048505713474544, 0, -114564000677197473431155872, 0, 0, 10787720980381370148553128, 135465510171719052265736160, 0, 162364263909468075600785280, -38813200705077172060631112, 0, 0, -156320602502720537460523968, 0, -156497978664944397226395360, 0, 0, -21728545531790638718184768, 183042447763047241333439520, 0, 160001397884232111420941472, -5367071773680804566148600, 0, 0, -171610102614720611773608624, 0, -173154715362375933173056560, 0, 0, -34047195935113846205538660, 181815643401793372305777024, 0, 192143415851635834006287120, 31498597929208076611021440, 0, 0, -230391469867202366269416192, 0, -229997288643551236513954800, 0, 0, 41705245065650195044770552, 219017021943555015713886096, 0, 230661687990777180232173120, 68265880008396047708802984, 0, 0, -276609507765547916537452800, 0, -293320741115077639516782432, 0, 0, 8773405525221323470390080, 318160415116908251156853792, 0, 311775491166586265493915408, -13726300507647225089907600, 0, 0, -302698629702103450417971264, 0, -330959435174243519738798736, 0, 0, 32915586152332390025499840, 262934219795072477408784576, 0, 355048679617715935017066240, -94909815274026890740330800, 0, 0, -349716918600770680974541032, 0, -293575539368004823503342360, 0, 0, 15142107042813520145077704, 395269361289187344583533360, 0, 273059763084448277278133376, 6849331896637292552250624, 0, 0, -244849520780154740995691328, 0, -317273751898978164462604656, 0, 0, -62989521720296620754767680, 304110323414823237383153520, 0, 325716680362332326400312192, -58390864899048870845878080, 0, 0, -314393372875732109191770672, 0, -322817583711380837123750400, 0, 0, -34373136586696624063728216, 147724845013822542060989952, 0, 277324587517697308740712752, 264532113004012713698326272, 0, 0, -284723568060684586877934720, 0, -223238693495962564744358736, 0, 0, -81715809589985202038447400, 339888026046717792851850144, 0, 142780069658988317804067072, 152349821907493837483079172, 0, 0, -188973576268919310789517536, 0, -72850083997327643864511648, 0, 0, 215006840911818691044240096, 103671948162953855640562992, 0, 99778733496160828597725120, -418270816986873607956905640, 0, 0, 23929334671711834163174400, 0, 132665972111599371929326368, 0, 0, -56299225225765645160184456, -56694525526919532450531600, 0, -179486037823029150962037888, -403086780620055028900564272, 0, 0, 657021566879892760559758128, 0, 469047751646653687670492256, 0, 0, -409788672767781532998974208, -837677695635806130308010528, 0, -755140483289184934157690112, -186784560008822254617849600, 0, 0, 637794475946538633819082368, 0, 959666324767199834969187360, 0, 0, 599005381815038720918693376, -1176901384709310728717153088, 0, -1016642283452196789347915904, 845272195419091196896760520, 0, 0, 1315065879342575500211568000, 0, 821924612312475340240825104, 0, 0, -61126858929145931124520320, -826090772715889851087340272, 0, -1652499643671255464492856408, 540897583484185224848360496, 0, 0, 1561842515787613737613783488, 0, 1786121048499991285294844208, 0, 0, 743113565110652738407992, -2610397620334004173045103808, 0, -2418605643916482773429086560, 172086036497688490486726248, 0, 0, 2163225702778586017826575248, 0, 3057497913057018307793349840, 0, 0, 224723015057542446684651456, -3808654372637175994199229600, 0, -3419907047496626585634602496, -523390608934379917429017672, 0, 0, 4397432065160876910402837120, 0, 3786592896956947146745999536, 0, 0, -991790227891137710517579072, -3772155817196888954524617888, 0, -3832725187394093440330820928, -1370783298287114483363999100, 0, 0, 3511806532149505312565545680, 0, 5398505401104620349588488160, 0, 0, 674985198642772472036269704, -3966506934211038451336198416, 0, -4476268312423945884838072512, 473558862694387157550131976, 0, 0, 6510474805820321533965603840, 0, 5012105390765522824671059184, 0, 0, -138253311162225474346877760, -5352574041340288719986510208, 0, -5856317436861062455130388864, 1616648319520153039389799872, 0, 0, 5358935903387723326522140912, 0, 6184531134338777948839569840, 0, 0, -292292420298486275256379128, -7793841184740171596963537280, 0, -8547437236943225407510569600, -687839463096791497326443016, 0, 0, 7394753937365999395749211968, 0, 7163636207299355585282172768, 0, 0, 1216103498629236392733019224, -8198068009986247639952365920, 0, -9140803879607843495384095488, -940595422369002097701231288, 0, 0, 10974218008205921275880193672, 0, 8280084811596115655185905600, 0, 0, -2116532202474708723935516832, -8772122246033683839915874656, 0, -7343818134060062439652195152, -1144049570897808640611761280, 0, 0, 8323238077484767097733589824, 0, 11243357060545179457802507520, 0, 0, 1082657090056596028212187008, -9188667268035407587969488144, 0, -9109993035663340259125260096, 541002645140575739520443904, 0, 0, 9968213787633873409826984400, 0, 9352684615927843205359784784, 0, 0, 35160302882873577986484480, -8062051193685864475604279424, 0, -6515824694614811123855116608, -666522880012632205240412616, 0, 0, 4877947140480399071626503552, 0, 7768442439990529097192643456, 0, 0, 899993127977155973368904832, -8023863441510209942017352928, 0, -8324784724577430304762606080, 886535737495284115825556112, 0, 0, 9074108629438241135702280336, 0, 5113327522167613606323368808, 0, 0, -630164310157086838232645772, -10988319817568705669493291360, 0, -9450350044788760099952001840, 5484398206009720459776340824, 0, 0, 4769505465372788288857016832, 0, 7941250626336374452856558496, 0, 0, -61125624065680334361524304, -6355012428104073522406500384, 0, -7948781471552103961926030144, 3715656063053671283198754240, 0, 0, 1840555499240134507075499520, 0, 3311767943575099542746906400, 0, 0, 1721969886087935410804064928, 2199138344533909012986295200, 0, -2196475880110361778631436208, -5283425937131407024189383816, 0, 0, 35999285334086287945779840, 0, -5470052513304854923463438352, 0, 0, -231069119924971516792930560, 6017592720098513302407290880, 0, 10261950446941929935924875776, -3022146763486424233411585464, 0, 0, -387102498227872042961211408, 0, -4849306637291387376132228192, 0, 0, -4657435371622210501633786992, 9531686902751128742194368144, 0, 11888632328690620968949779840, -7070920017442878738181868928, 0, 0, -10869552525962706177596568480, 0, -10301048877783633774314342832, 0, 0, 7188751445220259142701980096, 15054991723003531341492315360, 0, 20604143261479174355800009152, -3289091364281082308593081968, 0, 0, -23626493043186586502548397808, 0, -19658045211391848473298303264, 0, 0, -5768594452064429785751674752, 26959988080381900717731134016, 0, 25555076806216251903117902064, 2517016974976782896562927360, 0, 0, -23449510769542538630419415232, 0, -38653485210983076492721048560, 0, 0, 3004801698995308047339060120, 30021072557780272590162242208, 0, 26833888673595295025035115520, 11189137461267122696661325776, 0, 0, -52505639201955360432288142080, 0, -39857490111861605293204248288, 0, 0, -4084956562264484889959215200, 40410979481129860500919047072, 0, 43983604704477692333410069248, -4982293839754372025474954280, 0, 0, -51452659777900208556693784320, 0, -53861438835959391240312414960, 0, 0, -1844127821813304309342422472, 58612039752382774002308561040, 0, 69946086115936415522871653760, 25369800621193790126962769268, 0, 0, -53975425022250408717950527632, 0, -67651137407718339032749011264, 0, 0, -18778438474272087614600437656, 80737274225330135594294702400, 0, 83040285968045067582836758656, -26641510175338476956945274888, 0, 0, -75723027095370205203213605184, 0, -71799161899216627437251119200, 0, 0, 25692256620445085023547991168, 95710791546924796256979902400, 0, 77484601857146720206629672576, 12002720686570379510607113280, 0, 0, -88969336884715093258884785568, 0, -87098996605346883343525011840, 0, 0, 6971882479216479013459281192, 79597074544158869094534250176, 0, 80705341695515975567321814576, -38782130535342865531322838504, 0, 0, -120749599025991278456445089280, 0, -92624457015781418977547676048, 0, 0, 16974838520988184800082797120, 75061762894351409080487355504, 0, 86761808455708871770948447680, 4979064163746516195825469008, 0, 0, -82657364175904107000484638000, 0, -124059911841229700648469645936, 0, 0, -22677268889192428558061937792, 94036842965475385930227677184, 0, 118293304830583985416942814520, 46434671153035369441450737408, 0, 0, -108848409166838447998313787648, 0, -106702758630139607554313895120, 0, 0, 27530376807822438053153045952, 131487850339736716323323449920, 0, 123130268713264384054165750848, 29150332031874296239491629376, 0, 0, -151322388437118477775834249200, 0, -131378388088486472108123608512, 0, 0, -13369639010232535953074056440, 149019808687834042926452986416, 0, 130520431311338051594710521984, -8064781925814889127891980200, 0, 0, -60645183278002900256386066176, 0, -123867491858888933888533660320, 0, 0, -35135827650575953708019617728, 108940612986466698176919981648, 0, 107256618788432690959668323712, -5478790652188496279167879512, 0, 0, -98992317208720823806570836480, 0, -40988680719454906258392191952, 0, 0, -68125465407724164442849043520, 59385250451737247388486115680, 0, 60856151096629778463787529808, -142190024915174526268848539280, 0, 0, -55613215559457208310464977408, 0, -49297074303262110859129649904, 0, 0, 98000792135329167868927336128, 65827102490469335291867296128, 0, 89013756646974784864832271360, 44191350991128409947745733484, 0, 0, -84870698287826902731709225104, 0, -54962701464496252674836670912, 0, 0, -111463115250743010242564753664, 36833982410109680792728584480, 0, 8599755144293558577092727864, -62720903784694022912309319504, 0, 0, -19272377382032516729954889024, 0, -64437686696996006251738148784, 0, 0, 203104962097824305859835891896, 25880606786739675991779075888, 0, 12186961704480955089621267072, 208571495258383110230490106560, 0, 0, -6750671992021836683616636000, 0, 31288979463444608239299697920, 0, 0, -76156039982377175762674415448, -32621525938354922521943409216, 0, -55731764594737126673001966528, -64218177199581023252536146504, 0, 0, 17409401573266137137285174400]