# Trace form for 6.19.b, downloaded from the LMFDB on 16 April 2024.
[0, 6, 0, -6258, -786432, 0, -15753216, 28233804, 0, 695971638, -434257920, 0, 820248576, 29566196220, 0, 119627095680, 103079215104, 0, 315939373056, -438814047012, 0, 2876527406172, -2844452929536, 0, 2064805527552, -25696048717290, 0, 11197265522814, -3700661157888, 0, 13072787619840, 21775814927148, 0, -962560003968, 99067611119616, 0, -91222394535936, 638446564817436, 0, -736541155104180, 56919054090240, 0, -203954622480384, -1688313718883652, 0, 390590504075520, 1979247919104, 0, -107511621353472, -895767896448270, 0, 9636273526722048, -3875300470947840, 0, 2993011804200960, -1259959207783680, 0, 4023767318253996, 21251172660756480, 0, -15679762684968960, -16279597277700036, 0, -32525159214131028, -13510798882111488, 0, -60047751762690048, 11153724314613276, 0, 3612037794746112, 161904998736691200, 0, -41410805505196032, -78910243347781140, 0, 348225828845090910, 57516234769956864, 0, -168903906208235520, -476518976428926228, 0, 630680446106425062, 396536393269149696, 0, -377032200181776384, -967978669078932480, 0, 419256510981966720, 372828134380142592, 0, -2046848246643179520, -1032060167365562760, 0, 764294136047005116, 2566175766871080960, 0, -270638190107295744, 834695417243310348, 0, 761688154713814272, 3368032497472634880, 0, -5302844437305950208, -1827219178831765812, 0, 6260382539649434880, 2634009609147826176, 0, -1467647986606276608, -10545707912471175300, 0, 8375409685950199788, 485053059286695936, 0, -2665794236157247488, -17464260651908728320, 0, -1784149652339195940, 5799380416872431616, 0, -1713476418907668480, 2632915078213570134, 0, 9303561162127243008, -2854199614131142656, 0, -1285828528403349504, 49582275019429120428, 0, -16108964627557805556, 536258158129152000, 0, 126164664840093696, 37016869452713983032, 0, -72161048282181240960, -12984989924670308352, 0, 51931715763157106688, -45048893186192421444, 0, 13180796991444948480, -69218054679806115840, 0, 11956701696614203392, 41935564931931198720, 0, -50567677502833653750, -83682468143750971392, 0, 160683656751941591040, 14471523049680837516, 0, -68203712529904186368, -124228717466155646976, 0, 96539922281815080960, 117623503637633258940, 0, 67711575113421107328, -7460494257715937280, 0, 76773838964236517376, 448709895163108098588, 0, -279358799090296746240, -128731621542131515392, 0, 26732740277748891648, -185982061279598214174, 0, -509169149507788584516, 221290655761518034944, 0, -111687509761172029440, 12279142929189223020, 0, -22769617963654668672, -448711078275360129024, 0, -51195478550186557440, 490271825177496516828, 0, 631599737120759235468, -259423983252799488, 0, -315385631608420220928, -1410246807243688369152, 0, 1231063014406490056764, 1498825602079345704960, 0, 14091763234042281984, -1337371478945090456820, 0, 752204938036871635200, 117410089723267645440, 0, -703944744863286509568, 1329281800327398231372, 0, 1173075544591946060268, 945521548245244035072, 0, -1263045643694512275456, -3137489675458849543680, 0, 363074996858562344448, 507943383328075284480, 0, -2918092453471940935680, -2109261107479831610532, 0, -1823626577060940983040, 2848044360844011552768, 0, -392300043200228229120, 4198626268329423883992, 0, -411377635946225691780, 165145373282622504960, 0, -184165977943085531136, -1366133323381346103252, 0, 5242746245648656050630, 2329094369161868673024, 0, -527403229938187763712, -4469585514411477437412, 0, -516270532862375163648, -2785433702990673346560, 0, 2107099665570537308160, 11259700650255182054400, 0, 3960947097676430666364, -5602152620889169330176, 0, 2055177854644251525120, -12844738707073784319156, 0, -1677390122154035865618, 2133799374382699118592, 0, 8820778443247062908928, -1852592182761983998440, 0, -9687336152804820510336, -18884558700234126950400, 0, 4263137668514582102016, 15503443010103046390272, 0, -22096941718911130229760, 1770887431076116955136, 0, 2259099589827804413952, 15508498545643917343416, 0, -9164903463046870375680, 2452322459949907525632, 0, 7870578919039309971456, 23595501912172773937920, 0, -11475788316029593857792, -1461940953364991311872, 0, 15827950484345413877760, 23686588969707010795500, 0, 14182486060923827548440, -25814097439258198376448, 0, -473437017832962392064, -2485760852827251726756, 0, -32430333683528967220596, -21221211994415588966400, 0, 8147276608597189263360, -6293721063705908462340, 0, 44310839184819675705600, 16230059522953414410240, 0, 5427797099177054306304, -103925888384569441415994, 0, -13428694307403820893156, 10342923416080369582080, 0, 4490061278925636034560, 27613940518799664572160, 0, 38395765576665537125760, -3074206608868809719808, 0, -45642655838383755755520, -38668572262056197161992, 0, 15153773636001649320576, -7538767923767786078208, 0, -64343094849568830062592, 77606186320810951751388, 0, 66214747376357420386524, 120001231323186254807040, 0, 22138572794525846077440, -8249655215428941229908, 0, -81092834489686400478720, 62458295278492218556416, 0, -90150193610063722856448, 50158734499689926088960, 0, 93404846536319064657024, 141885899633935076622336, 0, -82664547432061345726464, -307533730823930282489700, 0, -35586515647052173495860, -51974818138573988954112, 0, -52361104005969716183040, 38377106932799519118012, 0, 177397027781189448462588, -106379268651391658655744, 0, 49418364542225794203648, -59830984755376635266484, 0, -84947357249337574891008, 126874900113513838018560, 0, -30174674513905085939712, -203860668593359554209256, 0, 375908918475817869672960, -21756110965602601254912, 0, -54952789407428341923840, -144477068991397271232324, 0, -143952246242753253029460, -48867329229474049818624, 0, 69666801284662074851328, 499981619304405162155520, 0, 183297631262673051712512, -108276334580097521270784, 0, 268284493384014826045440, -252731671909476227526942, 0, -584830278973521699672162, 135274190256939042078720, 0, 43666023824281182683136, 1250143144067958670795116, 0, -93877037782866938460672, -192142445554256909598720, 0, -100177560999953054564352, -393023785333522279091748, 0, -780386242224870550137600, -336353790115326323589120, 0, 409971822313342090199040, 50107039676702522688252, 0, -65168443958227551468996, -410890759199939400302592, 0, 35473088853743467757568, -321644178916764536793600, 0, -312264580372873885327716, -109405197728915173933056, 0, 524463818535693221068800, 966564406372873755506688, 0, 422726686441944749594496, -42994905153111739219968, 0, -99835989814649064259584, 93818761289103045872892, 0, -838823666520118569150504, -441454755508733198991360, 0, 681831043398258305286144, -103372885876813525412040, 0, 1723335278899025484403200, -144841455300121655869440, 0, 695054426086565505662976, -1098209880147918213636180, 0, -1032581789856429781480704, 239497272207837208510464, 0, -429837889089142194536448, 1367369068492386817009920, 0, 1415948526998578212307212, 171178430623982322941952, 0, -820560860236930728591360, -983102069267060743631076, 0, -994138777299430096266240, -345244907490223872540672, 0, -1166095254761950211112960, 1552356923351104152990456, 0, -259760943330395466689280, 142319404725981628170240, 0, 192367556900457887563776, -1164318886295482369423668, 0, -1001884103648456376026880, 1382247027503421888921600, 0, -947075022162156396134400, -2286692300591846068783092, 0, 512149477697012990416770, 3173546285296412548792320, 0, -1097781698356864586612736, -2280196989439894033021440, 0, 1169355144970959318873216, -63576874586825809723392, 0, -1551936868894157767557120, 4169978258529668820890112, 0, 4166697960141031455561372, -584935332435498855481344, 0, 349410982121602742747136, -1279539216455008698757140, 0, 415091055058548035074560, 2289075572166980838359040, 0, -1244284518121508021501952, -3866282591339497304565780, 0, 4785791520876591483383040, -70704899316571249410048, 0, 233852063231403090247680, -2304965117534590198348104, 0, -1321692945010501781636340, -760136390000303356772352, 0, 333320561809760503676928, -2383324252165169808646020, 0, -1649559729476212584254208, 1672085898580749479903232, 0, 224588781179065923010560, -1403174359903116217544040, 0, 2105374225368478856007168, -345101445131609064603648, 0, -2011963436596849280016384, 5449995161513918730885324, 0, -2635309397078468407077396, -2784501922744302282915840, 0, -1219436368642341995544576, -4340913754879646745707520, 0, -4412997551925025245492480, 374105651823397130207232, 0, 3401948733679038210195456, 6954946588425720184605660, 0, -5903421932821818114162432, 1514120484515452582477824, 0, 168536116874883826188288, 9099466606286085811633920, 0, -4231247643070217220338118, -6498847951346613672738816, 0, 7334729029604674602270720, 7259987879372715260659800, 0, 3220044800997641690711052, -3925719456100955892744192, 0, 2111434211663256689836032, 13567539630654976949130240, 0, 257161357570167130091904, -70288429302304210944000, 0, 3210430951469472052101120, -15411076122866408645698500, 0, -4738693577523702130021380, -2663991009918416931028992, 0, -16536654949920760922112, 1574511330844981449917286, 0, -1943769348235121589649152, -4851875112906127183970304, 0, 9725972848406364334030848, -10033686611652870711624960, 0, -12640311050167302100232832, -12502799930354956550258688, 0, 9458292920442059615109120, -1708956329580193908554052, 0, 18217747274534374211542956, 1701968599406386656313344, 0, -1746354401509362488279040, -3724309659409650826335204, 0, -6245928415364700714674148, -2994365479003473494753280, 0, -6806793848508528287809536, 14091606573004199310272088, 0, 6581413666939600872495360, 5904648527700613063507968, 0, 172276399482806476505088, 301665840893284954942680, 0, -26693039291579792283995136, -4492789181002090295230464, 0, -1727633423262672287170560, 18853166866482025967324160, 0, 7716757845175912775717388, 9072548862991547215380480, 0, -12463937089135831736156160, 19305503946243769501297020, 0, 3390341291355831182383104, 27829784558234032693641216, 0, -1567188804778616866996224, -25155167424148493557329012, 0, 18982308060655706412918300, -5496578366758086078627840, 0, -13011509935401144207065088, -17120963804874662655021312, 0, 4169858835065835518323200, 19051433677482342375997440, 0, 6628006625651412664320000, 26792717190385928836819704, 0, -1043102869862277346498944, 10968428464537727322292224, 0, -23662099795861268657750016, -103212385002627251022305280, 0, -6859559127109763637525156, -21805280986580151860920320, 0, -21061128257790488220794880, 45447334385245421105497260, 0, 73226628659551874769847548, -1896811469167766734897152, 0, -24241649499054974687330304, -55520657051602957550203092, 0, 1870437810930693016170240, 26033616474182885586862080, 0, 8939597008719601515626496, -44067247447615144514761956, 0, 61811135372328912591598080, 16282906455723952960438272, 0, 26351534439063291663040512, -22030214696996949625320132, 0, -47071250846680829853346560, 37523596884756798231576576, 0, -12653680693322066291589120, 69590554702209319753386150, 0, -11857484369773865798671104, -15417147868791866515783680, 0, -6047777111507665900830720, 9325208211347516275897356, 0, 4631869055472767867633196, -4871609585013409422557184, 0, -8875091573266331379695616, 16420312372272797915666100, 0, 18778889901030420871180800, 977861903347343331164160, 0, -6082428149057223122632704, 49117519865012207592404892, 0, -31274711898534306848229120, 21407010147476753131634688, 0, -10062900620720408805507072, 47475492082143318103364352, 0, -42436759502928177776943624, -58813303378818904698126336, 0, 27000591706017781300346880, -85212681436749866861617920, 0, -136288663065867978262149300, 2061294916258407145144320, 0, 36616116514363375123169280, 81359971253400289896667740, 0, 70135438292590890964700160, 16873111098770261985460224, 0, 26892112713972328644378624, 30813753362625926739832320, 0, -77522246504703250539989316, -198327569483854091131453440, 0, -3503913733685102726086656, -77772498355673187930436596, 0, 6141305197104670213329870, 24377040736039497128214528, 0, 87065896672890693294686208, 54352990115099245138633368, 0, 39737386911569219097383808, -34296409525702486544252928, 0, 66737818764284865349681152, 58622417491015872953049600, 0, -16390979363971364097754644, -29005008831973691876179968, 0, 78541969028665000282030080, -15622974348077464463686308, 0, 42352368460585008124819968, 46964777412892513736835072, 0, 14639105279416340242759680, 114801621756105741203699712, 0, 44338116625391877563563776, -1609451822014689839677440, 0, -21290990061092937851289600, -76413769454875171838913192, 0, -47929952169146820876364800, -184751942215198462600937472, 0, 2984459365732144732176384, 63002591400291009712752540, 0, -184362666218212699802490804, 58813458451708002831433728, 0, -971365940800689086005248, 139479696913713455224512000, 0, -74689210860053978524045824, 14347065588821019175256064, 0, 6710293764530052456775680, -4452090566986609408544232, 0, 4007517287062995176571228, -64260908669664823453679616, 0, -107404951164400659968385024, -74583036318290966875221108, 0, 28863798028681845448608534, 384862879021349418849239040, 0, -82785040743892154511261696, -153980842839369292757405508, 0, -116786079496989595227323520, 34003220332910934491136, 0, -41239412787724684205064192, 3611614229882625521125020, 0, 164313887324378365076629560, -205086507062588100657709056, 0, 41338225506178855197474816, -449669729596027920755938560, 0, 67262987189553025312141056, 184843869519044721921490944, 0, -104824091437156711305216000, 455648182417395098725619820, 0, 145607187666484766127076992, 142306674980948860981248000, 0, -161357891424287464720171008, 16965435041406259088042460, 0, 162957420596874776386300416, -196454069315744000240517120, 0, -59506320764734325287600128, -168306879330987393864226440, 0, 598309951264171057876055040, 371670618715471390481842176, 0, -1847035590612389984206848, -135376354874847861844448244, 0, -49113971485612409373843456, 175291954488290896356311040, 0, -74829479890596468276953088, -327029190570055731222263220, 0, 353371357906107363049785432, -216788069029821977222332416, 0, -98593005638368838968934400, -610303780590743923627461120, 0, 383269502904574841124480, -15389175280208136823111680, 0, -139197846259672900697309184, 175003729587701620127111388, 0, -197375883476763977448051456, 493929401686273179793981440, 0, 92267445598720689382096896, -341482056230443769789742120, 0, -631499956125207602255458560, -174231624132512740982390784, 0, -178127453117822636561498112, 262724520342529801166008320, 0, 241998778730335550921722368, 217163209129033257726050304, 0, -153757357780755554011447296, 616661035562843341338055680, 0, 3135982047871570026304896, -123931400371600626164957184, 0, 11527516791332332597002240, -21967650679054494302269764, 0, -78772019167301326145399940, -698931707271225693608116224, 0, 165549918610327112968568832, 120331079344304106281205144, 0, -719513425027037394560999880, 411237046741742327389224960, 0, 364472873745433446469238784, 1328569256504542103838298380, 0, 279781942398385177105349760, 87709773170427323405008896, 0, -47588965988245483611488256, -1607859529290113250578241732, 0, -243256264129228948939657428, -66577155139577483687362560, 0, -17500772726776819974782976, 1085417219549424442161784320, 0, 517850764611702163570646172, 35270730292307863557980160, 0, 382480214061474242321448960, 635231896031556272327972406, 0, -631603304974275203020637952, 276465071879596488855650304, 0, 786460712159440444358983680, -758304400448350113256609044, 0, 484091007932886710218198860, -2156942442006141673282928640, 0, 239026382708531656529018880, 158122243413649295442030684, 0, -663442010053331494432273920, -373298870464546282244407296, 0, 212982847561923672871895040, 559280143046597389523594364, 0, 510456595972688274476441088, 277754666641531328171409408, 0, 51419551262340314447216640, -1354556302533929641692890880, 0, -488802149271488123078904498, -550322342242474247322599424, 0, 287930842935570062605025280, -787338533863737918493640040, 0, -1037370955973402242460622996, 550504640750591994585219072, 0, 53920089498743693872988160, 1842699026120975171990988924, 0, -393807223456177741019452800, -21645934366899896970117120, 0, 1805762225704101979668480, 1099207614509892915740646492, 0, 142351482797110763488408320, -1142567666040673269908914176, 0, 24139003060956106737057792, -350220244164181976350610472, 0, 296971512101778496566753792, 179061826962239796445446144, 0, 73825793915164387073703936, 2732697081342772981399998720, 0, 37441550303572266770019840, 965944436244613573607424000, 0, -687177235909660645868175360, -2165749666672376898525846528, 0, -788995372004263694124286824, -305279057154784450710601728, 0, 462160239087198535188824064, 611719283599295638059198012, 0, -544980244322386085609297664, 2153319086283483180176179200, 0, 69127796154458146565259264, 708198767000012745682746624, 0, 523068987476779515378028800, 585837512544941170676465664, 0, -1048091778843141858962374656, -2218889584746945519631781748, 0, 444401952895234762098275244, -909501435370131511302144000, 0, 67668611283337237449670656, -26094163047854782146890820, 0, 1762170536948028406697532204, 365092366318393536880312320, 0, -1238176708278066121771745280, -614141864577179739024040620, 0, 946750270162150199108752128, 506400509286902464732348416, 0, -276181767365661466055147520, -1183214220532064937915312660, 0, 829314354753034626450967356, -1475831483630247222234316800, 0, -1001967548050833628594421760, -3256736454271986979440632832, 0, 306070705366730763971086080, 1562564204222889760770981888, 0, -519169257986645120301662208, 371810098629427226982703800, 0, 1506866394245487557266896768, 734285348325185202444828672, 0, 718175312522950699144101888, -2799299213951298461563023360, 0, 1342595645617385217317817600, -1166129521186522926057652224, 0, -269376271763931335900528640, -1581854478112215449583713262, 0, -1129328017871194842344780544, 1683585591813575058280415232, 0, -1054829651172916995802202112, -576032722593216082861675956, 0, 1137420629162345801415527424, 3168923280846831434823598080, 0, 219858878090973788978282496, 4484476197653222756550267384, 0, 2495664625260542725104264300, -279681351599089138872090624, 0, -2156402127486120788065763328, 1224184922570496585792978432, 0, -962904531356609994963160740, 1697474487120064460070764544, 0, -1156157072113279029599010816, 3185205571321227925921601280, 0, -687832874822159845213271040, 242822962578978766643527680, 0, 133093638301760109061079040, 158590880882588444054907180, 0, -4532036917485310498220686836, -4066054109395763555683860480, 0, 1269738524220433433930760192, -3942474679582408387438395108, 0, 3513979748003311879953013836, 2475236877957087487642828800]