# Trace form for 8.20.a.b, downloaded from the LMFDB on 25 April 2024.
[0, 3, 0, 23732, 0, 2140218, 0, 55851720, 0, 646753951, 0, -297392964, 0, -14862401022, 0, 292635653528, 0, 803332464534, 0, 3212269666884, 0, 11192319829728, 0, 24948509305560, 0, 72340360289109, 0, 64092343553864, 0, 77667139511058, 0, -248431735193568, 0, -252071696774128, 0, -1384378114232208, 0, -414866302559142, 0, -5522045976027016, 0, 2818737880869678, 0, -6663230715469860, 0, 22824972038174722, 0, 1500497644728624, 0, 39641123057321787, 0, -1085042177122520, 0, 56067344774978154, 0, -56817855560205432, 0, -6408983732955152, 0, -154317270851496852, 0, -134994376571654862, 0, -78435010097874072, 0, -563892790723886724, 0, 151032181904450292, 0, -153590366326625632, 0, 1210541848845584136, 0, -81876123599662770, 0, 2698278154129173484, 0, 97235023193490336, 0, 1439028483035907408, 0, -318667537468381733, 0, -983438102798849916, 0, -1618537843962618540, 0, -4280411824494387144, 0, -1312857528832070946, 0, -11488143382330124496, 0, -4308257105281185920, 0, -10926153348157720968, 0, 14033245412567998566, 0, -11415749644087184660, 0, 27443258292900322458, 0, 14138891218791163176, 0, 41400611209155189312, 0, 8679071891179346460, 0, 38600255461144222818, 0, 26453740336040078616, 0, -34014907744204398090, 0, 5547892359662206032, 0, -148111244819839738262, 0, 28121211690648265488, 0, -153547201568854397865, 0, -36477312114559617336, 0, -148520623027140828348, 0, 135665442033280743552, 0, -212980943387288623216, 0, -131742518397482101452, 0, 192996936377282946144, 0, 427752536376260126576, 0, 234250821688817246862, 0, 138889175566647932220, 0, 539896599381758527296, 0, 406746500956041440040, 0, 829644068781214296924, 0, -1151156264966305190444, 0, 70665968101274051274, 0, 145904957644242502488, 0, -240791782459720530418, 0, -3457412315460486834240, 0, 282004754995589895570, 0, 48526561638515947736, 0, -737131830596445964224, 0, -1530618942082883648940, 0, -1965152118036019112992, 0, 1694476475031528862056, 0, 3373949045892142964013, 0, -1654686800140232417260, 0, -1555164082664010373470, 0, 13296367741912503388536, 0, -3944804929966754547376, 0, -481938065506595784732, 0, 5223467892709114552554, 0, 9904603554662219005880, 0, -5063702344516882628916, 0, 993062412694835566776, 0, -6752310953731812005184, 0, 3754558446641942225088, 0, 4242922049661079083462, 0, -35105369307975576876784, 0, -13599348102010279511814, 0, 17416287215805257115528, 0, -12062616687712826277584, 0, -34215179139598996133712, 0, 26233729031322119546916, 0, -479542772041072144712, 0, 5653373482504329663312, 0, 5356292578420001342724, 0, 20187438397793468302816, 0, -2415571590271071265464, 0, 51320647859004835394304, 0, -22287682719915851159992, 0, 8910433818731574611556, 0, 80163190023486564014304, 0, 16055042088868083542681, 0, -50740746873681814702956, 0, 38680439113702352979738, 0, -9247413391793311819392, 0, -59882398877246352125202, 0, 62488700173377910202784, 0, -125358166636065168392512, 0, -23578246841331956291088, 0, -57203635746756157423242, 0, -36276402702448889007940, 0, -141360188735892574374966, 0, 45425361390882527031000, 0, -109489704033637426999568, 0, 47706104360249943818028, 0, 15319783404052224842976, 0, 14475788000838874951600, 0, 98811000683671198251270, 0, 210201200988834859287408, 0, 76804271825930770650810, 0, -87274399262645814799416, 0, 216651494524066450222764, 0, 244102725501144234173448, 0, 285877853555722298235138, 0, -214035127081453670654448, 0, 18856547651840181546816, 0, -30891992996123987738076, 0, 174986359187889657588042, 0, -572426379942219127683424, 0, 114819833109957706694046, 0, 15005416875461032289868, 0, -7085299712831474621408, 0, -674251602076830757941936, 0, -462379315794462102944583, 0, 354438150233854279733224, 0, 1070059237158363698010, 0, -1147635238948702366203864, 0, -141062646869784245363296, 0, 337271168474758708669584, 0, -831445676377750988964192, 0, 385737526568027602910232, 0, 812852178068689074597660, 0, 902380854210469833814116, 0, 274995585139001228711264, 0, 226659296935516030074360, 0, -801499169326648098559554, 0, 2603685201390091821868848, 0, 1308196220241579110889522, 0, -99770316324814112614296, 0, -215134766993955612701040, 0, 1089155925521779289425224, 0, -2773149653428636891826802, 0, 1644930414100727460663032, 0, 976096305326245953651840, 0, -1297550894830698911900676, 0, -463947801127035585019230, 0, -2083581395070916668860136, 0, -2378928196050503206871082, 0, -1078478115120310986707544, 0, 1294837432315424114291328, 0, -2543506193044339316369904, 0, 538793238557962343375552, 0, -2762695326553785798078324, 0, -1047758951813935599087534, 0, -841513506358076820374992, 0, 3829003809401651121483366, 0, -2260553903570831412869136, 0, 2566278037511869427513280, 0, 628505279222366258009640, 0, -1127774948113581826589169, 0, -411265176425934382509980, 0, 6578792734507183058498532, 0, 5548019465822165862814320, 0, 3567769224604548579318918, 0, -4117439557036590532162320, 0, 547060347816526995571626, 0, 10086780455899513321427952, 0, 4516790377770422340668940, 0, -991778019186458192034900, 0, -6312408033687700052099584, 0, 3057457988483346847863168, 0, -7384842940123968169021248, 0, -2921844773571707141410676, 0, 1727964882286815980068794, 0, 7153764874737476405859888, 0, -16914066155197268621391824, 0, -20973280502008370850426528, 0, -7874617721302347431987838, 0, 8708783608357717914617472, 0, -4655235693169736203424490, 0, 9473007044595443881929408, 0, -15954641551844117327745398, 0, 623602439102141635657224, 0, 4254224974604835708886302, 0, -5918858688869851482197688, 0, 6649381617800876365653024, 0, 20065064769714239307946488, 0, 7167067713368002895161872, 0, -18505483396368229621096620, 0, -511499293703967736207398, 0, 15585293130325485934776048, 0, 20094230494521528774193050, 0, 24532258931962606433831856, 0, 16408002030688433531272544, 0, -33930677229510735176635728, 0, 31224399272353407888325686, 0, -7249519471512905775916656, 0, 28303555471322417287420704, 0, 21094482790401017486194296, 0, -33680149898990181892874953, 0, -41378916413696216128397844, 0, 16637021494562886505942212, 0, -15576718952926368503779496, 0, 26511837908952089405563590, 0, -6758358466465775157681000, 0, -37758561299070404022982496, 0, -83728315292540654666181216, 0, 2316282728947695872474574, 0, 11350749880791490608129040, 0, -30556084500747187722368574, 0, 18454815132811258959652560, 0, -76146887572644081697713920, 0, 30588020242310949830842884, 0, -8008552759894716373541664, 0, -35759196724142562540636616, 0, 5930435573216585140750128, 0, 91432385354551526072454876, 0, 34060005818410639688481778, 0, -906785192497962049627680, 0, -27617471482356895203056580, 0, 106729184870334465172123392, 0, 16453344304064200363251636, 0, 81216268257377826408937128, 0, -13356729154188996779435088, 0, 17049368225789999898108828, 0, 12870056308024706900104068, 0, -29017262091161446676421848, 0, 128759735880026047993070784, 0, 77326742602933766266755876, 0, -128256468521897229766708128, 0, -93885952658592898074248520, 0, -84081587181294294109147572, 0, 195954792954547112041921164, 0, 66859081827587563264533234, 0, -223468411018539077239107504, 0, 30085936624746317841533536, 0, -66357253199219900550913104, 0, -42394551556228732392071232, 0, -92752551804282825098627592, 0, -134758645604355311185577970, 0, -121673020388557021344768324, 0, 100131871578931094070728736, 0, -14206526759874517689227712, 0, 16228444264395776335144875, 0, -220106835425060452300885412, 0, 20786547630371326360730484, 0, -238675806737717703282452280, 0, 243934605949934849672735088, 0, 112995963691569107873007900, 0, -153530283128586708265530606, 0, 130835535763571894894182104, 0, 270575892304088636845266108, 0, 123003599974225167778878420, 0, 232971930313289493539778394, 0, 9805220456769503955407256, 0, -96861290039030303496202368, 0, 48806593234137618890237904, 0, 352138439724007143196193826, 0, 230667537765354711351699432, 0, -32131697377301337797416160, 0, 211211695145455763795384676, 0, -461771313092834068294672236, 0, 476529315979425567547439880, 0, -206107307068591724993654082, 0, -655561891717377076963014036, 0, 223779558690309516834090240, 0, 377768697697322938610849256, 0, 51370847442684348926938182, 0, 30094856233333522121146984, 0, -852890849970770398597031328, 0, -54090319460526546132635832, 0, -870782627187197970139765076, 0, 323075004946624439132888316, 0, 67897268482992732788518272, 0, -370551976729756877427268968, 0, 126112178212324982613976278, 0, -649111720492718213123496480, 0, 219368963071184986156622816, 0, 656585439169901235761783064, 0, -600658750103828569404834594, 0, -448015646294148828493020028, 0, -68892918659429640868153710, 0, 519722131637387638243238496, 0, 832480365708532985357093184, 0, -770264923802466650987391456, 0, 235284909937949113188193434, 0, 280165339565577869414611056, 0, 157254914132457604889752686, 0, -68868929924717856229399524, 0, 583266783668271123690437696, 0, 673086565877315250906066384, 0, 1290062249569932132126411831, 0, -79664554689935501238024512, 0, -61944726028263002521457772, 0, -107358284830302610752031944, 0, 418182451862463140224990448, 0, -361808930963985372712571136, 0, 1918518930026671217715058386, 0, -86087590392670476021873496, 0, -805120619371391252806584954, 0, -449342633883377217598759116, 0, -1417902973242636972204131104, 0, 674987519526904599351225672, 0, 492689889121801309694540400, 0, -2027996857582485004358323200, 0, -606080819194651746785906046, 0, -1133643253268933295253511016, 0, 730021609867184210078777638, 0, 663142424597939495584345284, 0, -1675756749716276651394051894, 0, -900888047599811584263213200, 0, -3086269956738796099323740352, 0, 1207185476657792440860891408, 0, 1098556751830599988384846976, 0, -732329052558096249088437528, 0, 2017155202411898476500580518, 0, 409710335145698874199931128, 0, -2195402501677644959461785894, 0, 1135822685843228909653249680, 0, -3313348781219279639003077968, 0, 2013394318733339323003397724, 0, 2417757845651848159703499108, 0, 1071655511294707719115862552, 0, -66606198241113561226236516, 0, 2728126314236631817627707876, 0, -1211919522526720898911256544, 0, 617546181773313073060608648, 0, 430190917434692214105437436, 0, 898887537913274813283715016, 0, 372359015094052393886066610, 0, 7920152952357774240748536, 0, 3524940685864286299179540864, 0, 3279259857095338447690688880, 0, 514288136446568852843537658, 0, -4556265889870648790108571248, 0, -2209208270958668253977392896, 0, 2180033298952283817795639216, 0, 2985131367342040121406624832, 0, -2432380322217994039008725040, 0, 2464601709018567752334444480, 0, -1899428076343450218717065304, 0, -3923930703172503662691510018, 0, -2280666300870321064054621800, 0, -2464411146966162824153065289, 0, -1690125659508595414276619016, 0, 3881071930823124857929887186, 0, -5496345371045486103515583656, 0, 1279450093444337764140525840, 0, -2444535813322726649812146540, 0, -2640626441341008805335934304, 0, -2514796298531630335727089752, 0, -4461861059085947255473068564, 0, 1737793785074619247118601044, 0, 3889139866129685287237883040, 0, -4166051659052706465074816016, 0, 4481759338975173963471142480, 0, 1414582070785640251718085456, 0, -4246713943713988325852239062, 0, -1351962118002044466335431552, 0, 2406551173439191440822972798, 0, 1379600442955395803048190000, 0, 5449270435002495868502202980, 0, 5863818824271068008237596744, 0, 5116188157593292806731057670, 0, 8156714781389968521980155240, 0, -3090491131800471448174591686, 0, 1567797025500783646826838240, 0, -4868740164251440979168227776, 0, 628605296060950670149448040, 0, 600057391591471425525979296, 0, 5724697438353688412587369392, 0, 7273185081921423215130863196, 0, -2203243336932664397167466172, 0, -1659420820122866673310416160, 0, 4780497205060230291410349072, 0, -14590097895557107158798461748, 0, 5674289565920828115640049744, 0, 861564510510943473226051602, 0, -970736790317582353092605088, 0, 5268429366873332569865743350, 0, -1556079191482488167690105064, 0, -14850029197008594602663624832, 0, 4825020009343663597107070072, 0, -6966232745385664312289995218, 0, -4984958158967296196267829540, 0, 740221273397482727350356928, 0, -131452161473230652088655272, 0, -7210506462460397362066103088, 0, -12549429127236997981214610192, 0, -531795978007594255638664854, 0, -3499651424138712848881549320, 0, -8219538436261860373357375376, 0, -10337601462297906750055015572, 0, 849761454350101365099000882, 0, 23361741228874406119981790552, 0, 14411136141643366721389404294, 0, -14259208503635849230964163792, 0, -16357593690659086633631571200, 0, -5167158096243394568785911288, 0, 1228564314138258316645114845, 0, -6848630954071550771609335544, 0, 42466651689573242435685736806, 0, -360000158817010137355204440, 0, 18744700900280980300837284304, 0, -6867163133269721307254135472, 0, 4556997721552281195065251722, 0, 22627950647559379646366316248, 0, -7582722602352253016801841954, 0, -3053274314771927635073043828, 0, 22597039312306123483703238336, 0, -4781644852149399939846726816, 0, 3052942100314880994154033212, 0, -6767912385303255383369060516, 0, 12991685458749370126551048768, 0, 19453064019153148617220012536, 0, 6780329963685395812276474142, 0, -11860421547887342485182808992, 0, -24637483991201381201408656542, 0, -17349463565586737202541145832, 0, 30717593594915790862243590390, 0, 6525698760294183909321960612, 0, -41329954327520828745523582624, 0, -4678976269755599696112825288, 0, -18745907654196089692338975744, 0, 4140012482040894740919279004, 0, -5130331140236768550711734208, 0, 29331720451349976185668354872, 0, -37654521227979458726251875904, 0, -35507972871893068002010226496, 0, 12618999064690892597460245172, 0, -15667390512503655935348363904, 0, -21606470924992955801889799764, 0, -2471621096908611649766148036, 0, -7700645730913033195884539934, 0, 13573202163989591044780511376, 0, -3499997306244663600182988720, 0, 52532561596949049277071735440, 0, -47083486295511469203813141792, 0, -7402338532438621869705599400, 0, -7350498085306731487844358288, 0, -14288217666571633803529309008, 0, 25393005205523475644798236662, 0, -6549457434794147943626735288, 0, 30502769438309158688472088998, 0, 61060254334025060464263935460, 0, -14066568994832733839978207712, 0, -14045454088053426323217659760, 0, -5464082288641012956813722706, 0, 15018282712923084822535135368, 0, 31037012044305478497285234594, 0, 31864887006184832443431266544, 0, 11061042102721147450000063104, 0, 883684858679275116338075364, 0, 16884370758196276564991109684, 0, 24766798430373781736849986488, 0, 21369010030102149542324402238, 0, 57541948906786953139533532800, 0, -5727416431022975209440552864, 0, -72687666274464248846497935792, 0, 46245071887101764004698466531, 0, -38110172912067633551420407860, 0, 21835777418912346048986442996, 0, -8499648921191105180440319352, 0, -3405831410508527215191204640, 0, 25631834318961612471428140668, 0, 17230284003060543405445877664, 0, -134586840107045734212620589752, 0, -104261877871731212150772802218, 0, -15900761520384939668274551208, 0, 60123548560662392526571983946, 0, -89874250323732968967319643496, 0, 48260329618760617224271691148, 0, 1082282330343514453540867584, 0, -39630507413179326055226606112, 0, -60249263536130221801915620384, 0, 1663278961075757622298033936, 0, 45153785126984746417688078064, 0, -45747024270299217728851094502, 0, -33789227635657725304498623888, 0]