# Trace form for 20.12.a.b, downloaded from the LMFDB on 25 April 2024.
[0, 2, 0, 220, 0, 6250, 0, 3340, 0, 43738, 0, 298320, 0, 1209820, 0, 687500, 0, 9056340, 0, 19439368, 0, 41862752, 0, 55926420, 0, 19531250, 0, 48081880, 0, 41841708, 0, 62230792, 0, -112979280, 0, 10437500, 0, -729235940, 0, -1046733592, 0, -608419068, 0, -1129440740, 0, 136681250, 0, -1653072900, 0, 656908386, 0, -883429896, 0, 5724887340, 0, 932250000, 0, 7813100240, 0, 3756433896, 0, 4923703564, 0, 9202019900, 0, 3780687500, 0, -5843244140, 0, 8595645984, 0, -43352162664, 0, 33647099620, 0, 2148437500, 0, -15684992880, 0, -54799425296, 0, -51460199582, 0, -9303032100, 0, 28301062500, 0, -121318983000, 0, 3688968372, 0, -128938931512, 0, 228621221120, 0, 60748025000, 0, 65892157780, 0, -25550825520, 0, 9530013852, 0, 349576084420, 0, 130821100000, 0, -158596451820, 0, 175581192076, 0, -353600790328, 0, 568127039940, 0, 174770062500, 0, -233101480660, 0, -193514542056, 0, -469266082822, 0, 168386193240, 0, 61035156250, 0, -189178345220, 0, -777964107280, 0, -1273730526960, 0, 662363187920, 0, 150255875000, 0, -861613418700, 0, 775265621128, 0, -1371623031936, 0, 640584130080, 0, 130755337500, 0, 210854398140, 0, -892657761348, 0, 2336138537560, 0, -215464905660, 0, 194471225000, 0, 1722007729900, 0, 2093689139976, 0, 364652237424, 0, 2431243861420, 0, -353060250000, 0, 1079331594780, 0, 871003755678, 0, 1673568885992, 0, -4764425994420, 0, 32617187500, 0, -2688267029520, 0, -1957989746856, 0, 4551429954460, 0, -7210442119000, 0, -2278862312500, 0, 2083898319840, 0, -5358831009856, 0, 1441706067096, 0, -4330812876620, 0, -3271042475000, 0, -439710767220, 0, 6891091939504, 0, 1942916097872, 0, -13907418715320, 0, -1901309587500, 0, 1760677631460, 0, 686415924480, 0, 11487175179088, 0, -8082859507680, 0, -3529502312500, 0, 24721042996640, 0, -532973357992, 0, 11410374375576, 0, 9290751519220, 0, 427128906250, 0, -7150812350700, 0, 19930055630332, 0, 4220620705920, 0, -2226913753980, 0, -5165852812500, 0, 9292393904960, 0, -4929175501872, 0, 16687176741748, 0, -25150144473740, 0, 2052838706250, 0, -6150505265680, 0, -6314709789936, 0, -32235128086800, 0, 7388926291440, 0, -2760718425000, 0, -11976176258460, 0, -31563540918808, 0, -26787709281348, 0, 23338567723380, 0, 17890272937500, 0, -62416875471720, 0, -25208433366996, 0, 825032756920, 0, 8947381879360, 0, 2913281250000, 0, 3587980361020, 0, 50151608670248, 0, -24036153293628, 0, 49888712275420, 0, 24415938250000, 0, 25103604426360, 0, -18084379473178, 0, -34487829368008, 0, 67090977672060, 0, 11738855925000, 0, 26282342070240, 0, 26118007963896, 0, -74449710508480, 0, 170861233317960, 0, 15386573637500, 0, -81976154860940, 0, -5218367944864, 0, 50663949962184, 0, -3796977875660, 0, 28756312187500, 0, 28629857379900, 0, 55350521808480, 0, -103624627015056, 0, 59492020643280, 0, 11814648437500, 0, 13936447528040, 0, -134826768178896, 0, -179848226724704, 0, -76092324896020, 0, -18260137937500, 0, -95121936449660, 0, 38171031949176, 0, -77210230325280, 0, 9876752483480, 0, 26861393700000, 0, -149120588327820, 0, -243479866541300, 0, 183732842258576, 0, -70576104833820, 0, -135475508325000, 0, 163472430855360, 0, 281874371103792, 0, 42107001280074, 0, -95112678384020, 0, 105147186312500, 0, -107695641469460, 0, 38463187360308, 0, 172059181973736, 0, -136655689878980, 0, 6713867187500, 0, 422718945283560, 0, -46761619091144, 0, 338639356947392, 0, 114632373917940, 0, -49015602750000, 0, -168519377236660, 0, -8976828141828, 0, 240957213617448, 0, -144659269106160, 0, -171248204050000, 0, 380213359325020, 0, 485658525079168, 0, 415002310048740, 0, -662280503715280, 0, -160813123693750, 0, -2152746408480, 0, -286666905546812, 0, -136635690330792, 0, -337990453540560, 0, -29071975312500, 0, 336212288510000, 0, -115270664834472, 0, 21299740038172, 0, -297903754096020, 0, 88440820312500, 0, -852254910773560, 0, -193709309802720, 0, 28133675836632, 0, -308016977792780, 0, -379121821875000, 0, 580683099572400, 0, 238312401716944, 0, 44856714143034, 0, -277474906037460, 0, 11528026162500, 0, -322559695845240, 0, -483507982399212, 0, -182523581563680, 0, -197739721547680, 0, -402934160975000, 0, 884646635199220, 0, 464100713264688, 0, -114987591071220, 0, 844324483938100, 0, 714441316000000, 0, -388659396879420, 0, 277251480099392, 0, 529552652124968, 0, 86485613314800, 0, 189837578125000, 0, 447266898405180, 0, 579746425685328, 0, 421680432879368, 0, 1204536033555840, 0, 205912993062500, 0, -434798163579140, 0, -834315400780720, 0, -8994663303600, 0, 822600025299000, 0, -79846329750000, 0, -440265610873920, 0, 1190807801426248, 0, -1761894518740512, 0, 956860032415620, 0, 29781293287500, 0, -1331551908712860, 0, -1958931233616372, 0, -413800472731912, 0, -276496790875360, 0, 1092425263812500, 0, 217443801281040, 0, -185010735192984, 0, -2475422088120012, 0, 1978443714519100, 0, 408815937500000, 0, -833297287941360, 0, -325762561851646, 0, -600174993905976, 0, -1110684367936200, 0, -495613911937500, 0, -1718325358968240, 0, 43932609340560, 0, -449194112876372, 0, 885807821407880, 0, 548691225237500, 0, -110949160129100, 0, -1597774419187684, 0, -1504801266178128, 0, 1609041666070400, 0, -1105002469775000, 0, 1197672058744140, 0, 1379948077243880, 0, -711318582790560, 0, 1790578033921500, 0, 1775396999812500, 0, -1303826284594900, 0, -139642234156860, 0, 1156425622102816, 0, 1457654581399680, 0, 546156445312500, 0, 2124562409186500, 0, 1720631838980024, 0, -602878828348896, 0, 282983097929760, 0, -728442127062500, 0, 3115140519090660, 0, 3971420793429728, 0, -161791323849912, 0, -2514169015729500, 0, -604732943925000, 0, 1255220022880160, 0, -2146482534591360, 0, 4663183307060740, 0, 441062143622180, 0, -1466456508818750, 0, -3882717670839140, 0, -871986881184192, 0, 2755001172887016, 0, -729922282106900, 0, 526206853875000, 0, 1269963738454020, 0, -1253913133766600, 0, 1024203184227648, 0, -6967154904001800, 0, 190734863281250, 0, -495121865449920, 0, -1927525346355816, 0, -3164728982548136, 0, -3196430112852400, 0, -591182328812500, 0, -40033713470820, 0, -1677175200519816, 0, 2038596640281684, 0, -6436705289338100, 0, -2431137835250000, 0, -316457155313220, 0, 1769884835578560, 0, 4380824682049792, 0, -2041157424660420, 0, -3980407896750000, 0, -195685527972460, 0, 982491019857048, 0, 2351911889591836, 0, -5224261584830640, 0, 2069884962250000, 0, 346879158720120, 0, 3642214132710080, 0, 3757718932911840, 0, 1280418651965620, 0, 469549609375000, 0, 5273160358927980, 0, -4522652402850088, 0, 9253701273818064, 0, 444681211863420, 0, -2692541933437500, 0, 4838012260030280, 0, -1157189435970456, 0, -2002244261488064, 0, 965098273705680, 0, 2422705066025000, 0, -3938175168885720, 0, 10156509618781656, 0, 1935676749255660, 0, -11237924722810000, 0, -4286321974800000, 0, 18865150552293480, 0, 7547771692588828, 0, 2172064119456176, 0, 3189921332020320, 0, 2001825406500000, 0, -8677853760421440, 0, -6332570281819632, 0, -4263770771666704, 0, 14899498685540600, 0, 408610429687500, 0, -4372495171188020, 0, 4204260506376154, 0, -1827367228721160, 0, 1148852510016460, 0, 658919994187500, 0, -1879990747698480, 0, -9354167166047720, 0, -8711247840784928, 0, -107835431329500, 0, -2789555504212500, 0, -1367550785960820, 0, -9830726996488416, 0, -9244528225529528, 0, -2893747866502800, 0, 7300432929875000, 0, -17223248520707300, 0, -2899591542840960, 0, -11338792252137516, 0, -303680088868600, 0, -673327830187500, 0, 12060558764529840, 0, 3752912708135716, 0, 901918119595704, 0, -3777486770712180, 0, 607722578125000, 0, -19058493189414080, 0, -2341600507404912, 0, -5173901153252640, 0, 17511461659334160, 0, 5381274155937500, 0, -14024860675847420, 0, 2851269389707488, 0, -1751074454609064, 0, 27443865779741480, 0, 6542778562425000, 0, 6246358254893340, 0, -1503156068550792, 0, -13740311589053532, 0, 6670121562634080, 0, 1139538241950000, 0, 21523663027202280, 0, -7424491005662988, 0, -6033346915950512, 0, 21722880971314880, 0, 7597637066937500, 0, -20901362090384560, 0, 2268980662813672, 0, 5987922723341052, 0, 9009810762485620, 0, -1103313281250000, 0, 28520930396593620, 0, 24692112543291916, 0, 733510105815176, 0, 2277739822514580, 0, 3372911233687500, 0, -27573846032427520, 0, -13110743396706144, 0, 18889766667986174, 0, -10282601116498920, 0, 2721886736493750, 0, -5611442787682340, 0, 28549210906037936, 0, -22178894408765736, 0, 22137268465103980, 0, 5229902768725000, 0, 7636426161751860, 0, -30164752468002872, 0, -9468913682683968, 0, -3539994038944860, 0, -14888831232562500, 0, -19011825607906220, 0, -14148811245284160, 0, -11695020653253832, 0, -7740917080746940, 0, 101928710937500, 0, 23058516250756780, 0, -9116709374658360, 0, -12618246988617516, 0, -18147892492269380, 0, -8400834467250000, 0, 32019534962936940, 0, 39582908379779312, 0, -3396738297540720, 0, -34128282713332080, 0, -6118717958925000, 0, -28640157317824320, 0, -73401050610823632, 0, 18562514800575672, 0, -32714460485872640, 0, 14223218607687500, 0, -19364743065486140, 0, 37567256867662188, 0, 22733034760489704, 0, 675996472949040, 0, -22532631621875000, 0, -2632059116625360, 0, 45076382864927392, 0, 11907044443680272, 0, -15764788901276400, 0, -7121444726562500, 0, -1962902800653100, 0, -44406034181218476, 0, 8488806069692424, 0, 809811761272800, 0, 6512182249500000, 0, 47056632861985060, 0, 18003681466293272, 0, 27034405298037804, 0, -15475113722051640, 0, -16746346905800000, 0, 67292593558209780, 0, 33716458053036152, 0, 74058141605489064, 0, -34681144267752300, 0, 4505331459675000, 0, -15744049143613920, 0, -6085156193619912, 0, 82687895464163970, 0, -22427729614119900, 0, -13533790239437500, 0, 22169438688170860, 0, 13971061100005536, 0, -27748839037759488, 0, 29148264377920880, 0, -10222007734375000, 0, 27150676371790740, 0, 25051084699497120, 0, 2656738697439644, 0, -47305398746123340, 0, -1374096147562500, 0, -51115306404862080, 0, -35856193011552960, 0, 32947032983635432, 0, -41369193408999760, 0, 21534662310950000, 0, -65954832132560660, 0, 18303220175464784, 0]