# Trace form for 4.19.b, downloaded from the LMFDB on 04 October 2024. [0, 8, 84, 0, 352016, 860880, 310944, 0, -154160064, -729541560, -853591160, 0, -2983758720, -6658778288, -3330240576, 0, 35282993408, 213854181648, 197420552436, 0, -421824543840, -771822339072, -586750684320, 0, -3940602195456, 528925732440, 12314194404552, 0, -20860043224320, 11238056568912, 63814514963520, 0, -133632603995136, -21541938424320, 295093712425768, 0, -595880470532208, -158886968816432, 830666716492320, 0, -1609388875268480, 451509984725136, 3247297173265920, 0, -3429204744604800, 394282398204240, 3658225092496704, 0, -6713415182530560, -2251201133570680, 6942506471898780, 0, -6479715597253472, 1216384760086992, 3284600487812928, 0, 7432202560564224, 2661563378188800, -17440122911455928, 0, 36392091128935680, 184592915104336, -42580340982416640, 0, 74097564160495616, -5670291051587040, -140809597617788160, 0, 131212356714741792, -26839260584143872, -153862868594448000, 0, 156072744876684864, 31494366486758032, -108949653815722872, 0, 152098090223483520, 180811187963888640, 14085206442507840, 0, -152292076037383680, -260466732987857784, 335145451981844968, 0, -850166994683553792, -204660361893474400, 950236163482864224, 0, -1369014843355476480, 162001265029847952, 1771450132254688200, 0, -1193579560451823360, 668158876340367360, 1478730179820369024, 0, -2028358051400441856, -1214976752903766512, 2427758859173433876, 0, -1393837227578191440, 2921301547349024976, -945957646225141440, 0, 2222902383004172928, -4379088566249318400, -5114019515436418808, 0, 5130044858413912320, 1817514742683928912, -5866660613579350080, 0, 9338230399463239680, -3343670547647183088, -14142402274925756160, 0, 16834743193148120736, 13854231946277961168, -9043935036685639200, 0, 16970374592250762240, -17344749139403181112, -14629444886421471672, 0, 3787482857817185280, 19530071214820874400, -6777663131634389568, 0, -13397796740500537344, -48689956158081464832, 16318015777617861200, 0, -24115846669081789440, 72892016495315389440, 24032429838260993184, 0, -28830347605709787008, -81133805634971398512, 86079434907855505920, 0, -80884377619748160000, 134086780360872019968, 81783951334542636480, 0, -102079181661961762560, -156045413426500703200, 72342822553704711912, 0, -61255786123451697248, 148025608195400540112, 50925824443496728800, 0, -16534251471635781120, -253770652750054340208, -16433326218975690240, 0, 43798967598968044800, 341711019055790563408, -97905806384089096320, 0, 98067975535911823360, -478900300550303680512, -189857006928310606956, 0, 257621510347105672992, 690747416358913489920, -228237893003938131936, 0, 490103499386205265920, -657354036593849808936, -447095895824506832880, 0, 408014275647111937920, 872587882491064298832, -378731340616836414912, 0, 133447138353939855360, -1192011534921019752960, -364103132233374552728, 0, 58539171766190428320, 930652803462615652816, -143114828998533847680, 0, 56287454103272530944, -1180405666516444397280, 328741190595334133760, 0, -77731350546175403520, 1636438856515287791616, 959631070827904683840, 0, -1274997408500153548800, -1320998634382435052528, 1356935325586302601128, 0, -1540038258935117080048, 1957362145440228400848, 1256269729071206383200, 0, -881213787159694889280, -2529737375192034350592, 1693300367625610256008, 0, -1989936441123808577280, 1097584981698643509920, 432466702530469681344, 0, -1738757274403564656128, -695005089861711536640, 1277208821179746585600, 0, 237352737950330847648, 1304783841452395207680, 259402309997292853344, 0, 137393504188460909568, -900905907993369108480, -1544877838341717901368, 0, 1595121931355967118080, -46112781594996698976, -2111442277796083139520, 0, 6008589683955627638784, 2819546684492503547160, -5186423087490190898648, 0, 5467433680054705075200, -3542292144669338167088, -5575349136194238445440, 0, 3742696442646137776768, 4981060904443543293072, -5978725982169104656632, 0, 5619443728427046491520, -8374852318131076761600, -1937006618015533852800, 0, 3515448945991759319040, 4824666082495860791056, -9938185570744270914636, 0, 497827557499805102752, -12408633895423703404080, 1151312418688429639488, 0, 2727811023103895040000, 19100180799303950934528, 10945128636377873747600, 0, -8295631327339684957440, -6380106399308041344000, -895155175520274502656, 0, -10386108418021243420672, 17521464738212873572368, 24989951979105071850240, 0, -7099378865837688745920, -33007267268139439312176, 16018127913099253168800, 0, -31005300104440695951360, 33974972292174348411680, -292816248537146964480, 0, -21831166872178087605120, -48479421157587509650608, 24491198846373463186560, 0, 526820033401798107648, 46940837125409937807360, 26428327515161415438568, 0, -25678071220537898760192, -39545103673987995797552, -5954443704626052485280, 0, -18304427072130107443200, 38039431053453014468496, 12306892738457493857280, 0, 45214398418729015284480, -35460989191483783695360, -1356963973702880201280, 0, 24901403128227429344256, 35452780380800956281624, -76666773252596820342960, 0, 6712534379334617981728, -12524183215592582542128, -18754396200760027214688, 0, 84822758989840687926912, 25605443706801609968640, -18039122397068759520248, 0, 27052119133616518128000, -52076750288635510152192, -104545936742373031208640, 0, 2185361418789848033280, 25505746564734118924320, -39596687825098342725528, 0, 145115449141123958138880, -33665448102378280891392, -16662873373445857559040, 0, -16138807668672554142720, 7554767796604409106832, -126324537916252851558072, 0, -54608845825227707435520, 58862630691406716625488, 67205186858406596796480, 0, 138086683396679935303680, -57768877824262931814912, 117691156115912409431040, 0, -124389213235311964198896, 84631121067790692989040, -38581019128123395847776, 0, -139806887799713167676288, -66704222156771485765632, 216383920446586976509440, 0, 50882895307495897272960, 137514973577055954172752, 186414071818065787387584, 0, -319356500233867082760192, -256492829187072378378992, -105021932667276901635492, 0, -276575554041801525019840, 128723475241505342115840, 229591490766106364048160, 0, 146138895824000103120384, -269284792020277145303040, 340184526802523946643912, 0, -304144464649425522144000, 436857530052010901138512, -207807430203699983467200, 0, -254162630378838938296320, -366351347375792984226288, 300776193442709654265600, 0, 417090391359316938421536, 412975039282027169249280, 125903987678281191017760, 0, -25168811601396872088960, -279167142242761903454392, -647665146367584601260792, 0, -49055178553675737223680, 456909150028736521971360, 49605374723987424234048, 0, 586025234057594741821440, -529247547981364934331120, -39213155178020675464240, 0, 52784407741049725378560, 218916088402366992033232, -835704647694901722066240, 0, 173494303328505860941824, -464043434314836739448544, -154922706602360279884800, 0, 1028505356850157137711360, 764527264917913641074688, 13901607776449344913920, 0, 54419172966817749663744, -723002979690971247974400, -1431651303043577159962968, 0, -154958592467233890096608, 233816987532975618804432, 146204159370434068398720, 0, 1149304756437593075425344, -313559034688878135129600, 438126779890266062791048, 0, -190168617795953634783360, 693869074944112995492688, -813237063054776907808320, 0, -773598682091143744124160, -216218882865322248113904, 1101059758509636507260160, 0, 678530307162767036571552, -24302002148970432940080, 1091201846975956350926208, 0, -1417091531019037575552000, 658630431325428969027472, -565092241170337255282800, 0, -1200857009270500472336640, -498512882816937514798080, 977968837868621983831872, 0, 590848369671076743555072, 74658209633759136929280, 1598607839746119886606080, 0, -2114904167464231662489600, -1488938918477752400489264, -659174955978743533417440, 0, -1957779257637178253724032, 1363495925844139470909360, 2258082350083741029649920, 0, 438344095037168137852800, -896253252818828387804160, 1573806160466218859083200, 0, -1197265964433194347130880, 954761116358922451796752, -948540793205474954833920, 0, -722650426257897091989344, -1334866381344472669977600, 884076843209839377149760, 0, 1917963255663216441584640, 3427160544623753045480904, 424833508201762676060816, 0, -377801942752275359312640, -1458202247719433844100960, -1429502772371554000110336, 0, 303885251730875450327040, 996220752655294478590992, -1094604190354319101506180, 0, 3471931069267993110178848, -5577128049127844483312640, -742125960250495906068576, 0, 389908396906784627281920, 4013331203404808307925648, -4411597825928159951117688, 0, 583346834235951575984640, -234660481210696809638064, -2025796681247394045358080, 0, 4360617413684406443837952, 1404117541311426362204160, -1743417122381678979313688, 0, 2460085888284598079789472, -6718754748812665235899392, -3233074675919400252721920, 0, 1235066945896860885112320, 7663326912634155551808000, -1311325036391832315479040, 0, 2687761446423070371386880, -1171218427842475820214192, -1435832746736164855966080, 0, 1469196214850026928947200, 554465771152679895547424, -421891250212091237089752, 0, -1357280634085216952877424, -7774765056651631492591200, 1729048860606855444283872, 0, -1531794040710118332171648, 9504774765902467519953408, 1805046834172469610551560, 0, -2067555234582425848139520, 2742376706326067793939104, 2858050071695733743718720, 0, -1318888542778230163783680, -4098953055538365980497920, 3746762126663431913713920, 0, -3988777001435580600120000, -6737286612573500964099072, 2066391773036736511142880, 0, -5582934589015270551794688, 4453487684545123653896480, 4793301520130351093306880, 0, -3994119461097707673784320, 3385367440102704092687952, 5482740273451156723658880, 0, -10149820554396270497366016, -10248979309727134732508160, 6485875571399131518331048, 0, -6072892108304059738678272, -313306668448338763008000, 7234117050751990446053760, 0, -1238175393772273168080640, 839883417854364183946896, 2327472836264782025898888, 0, -5899840890917535956261760, 17981060418193073955148800, -253075301584868730263616, 0, 2558375677104725789491200, -8982463904993176441987960, 6360088194123793245919440, 0, 6518865047970896487659520, -2567780661499628806456416, -4570189623490658191334592, 0, -3087583347287090293526016, -216001478998699278405120, -4014778516633187824718648, 0, 10969992041186847878576640, 18198297727076855184275536, -2449435652250550868557440, 0, 5976058348804049854793728, -24710710281285055368100320, -18645306087473278807741440, 0, -7477627434221827235943648, -1975853377872117194564400, -14427733317002973882712800, 0, 22513701592595083263221760, -319356450516463645962240, 713459020280368110776328, 0, 16539754293087560849957760, 36905092064227681631634768, -13912497941085152745073920, 0, -2858200914577654590873600, -45718170237479024396866560, -27915445187942442345845912, 0, 23077664031973313329778688, -1462930225330741195162720, 11716492413797658833113824, 0, 20936402451280263368494080, 4524329681933686017155472, -21115707681850233814033920, 0, -8414906055823501256060160, 61993651442572462148689920, -8727599706947628973794432, 0, 5227509758945572483141632, -53909161081958702038883312, 33615583643548989042919548, 0, 11827994120023955699577920, -10242598854475169889825792, -14984065494691000215096000, 0, -27827864828800191944360832, 14378696063295114677648160, -13348389699182601682811768, 0, 162854741925212679212160, 45012310493316851871313920, 31489008793876561049008320, 0, 3895997130406297663871488, -46299566563168792573045488, 11356292432895957989475840, 0, -43700204748475237081686624, -35407337800711938178360320, 5213907155090033622817920, 0, -6130496456998495502400000, 28884988656771518546951056, 58220139800597726219112960, 0, -28037187994353453746415360, 60254610931658219544171600, 6125344144651753277164608, 0, -59399391656861743295324160, -67979262714116044487829504, 4950815616850239569138000, 0, -10722247609657661154692832, -40429870087463712411488048, 54488331356053926150015264, 0, -2996798940079877121269760, 63814107013099994892371088, 8093748017321249056089600, 0, -46823691935082950916188160, 49486414872521034877003776, -11815301196490754947999680, 0, 918474439625125130588160, -52707928885065887509952600, 61088652643080533498687592, 0, 39990721023147822625009312, -71437792627980800017456224, -21127848579951437096438400, 0, -26582131362110263418234880, 108185589624852402837250560, -21018767601164512799373752, 0, 38610881775315854939792640, 55617403854044611045196368, 25230505297932553792827840, 0, 55234380476165357226065920, -48693075185516617897553904, -85506449211311547366616320, 0, -55547771429816564707479552, -149837833237531528884249600, -32548897115935634481485760, 0, 39275755681347550260058176, 117149095425626399929950720, -16818081711514322391874920, 0, 84250038365373652516851840, -6709600335370337745759408, -46468885612884409673591232, 0, 10155555928229369437917696, -17180840875196805593628912, -85719565345943661984000000, 0, 100523063369797767018977280, -165486410868503792001867824, -45263538168537200370951840, 0, 45423876130213561988073984, 201067295988128242186598400, -59171092304379210324128568, 0, 4136419361336901422073600, 54096061139544229621321728, -49439727160499105306066880, 0, 121246455629466755131637760, -12964244096178970958052848, 41091916283240792090432808, 0, 8438732525323608912630960, -229541191376823682670340912, -16606381923195468381009600, 0, -37663082681096427531252480, 280906379969857444497136128, -38574738818497663431137280, 0, -12515919724003873381626240, 19600582061834386489761440, 24379613583490404523575168, 0, -39718997435008072913356800, -57295711537151760789917664, 13486839985348369387422720, 0, 16204253231956776611391648, -287747532300032640049536000, 72081765622766820537303264, 0, -72466011230603027672189952, 235471792859357002053145376, 82181725548141356078718792, 0, -60457228345902853501228800, 85726703810720063055694416, 24614148101988856106586240, 0, -124037876353137043678986240, -108570641375048740477317120, 116036109392873573693419432, 0, -201172310070707340350960640, -206166665630714863595598128, 51141440608932592655533440, 0, -42327635965878031690316672, 190496183870857341728808960, 215952409188456214332963840, 0, -47671868020946637641558400, 173460908727057278273710080, 122413268563452172117045440, 0, -109403321398965731302233600, -165208998741743584460224512, -51526430889551227263137676, 0, -117582180655036165529349728, -279694880432087005817665680, 126334553621552483094673824, 0, -38151775621978762232678400, 255902955256912279905046728, 61053008903109936891136400, 0, 41246451056537499975118080, 236554839201857914663027792, 47259376073903691251647104, 0, 7089649718115140672569344, -148815921515635154879531520, 68808689973674144610958632, 0, 142711248479784445259480640, -228634884417693706497469440, -115653779915436759706128000, 0, -95503732409065594331627520, 246402695325366354230800160, -191571721500869902178237688, 0, -161512843011277918401112320, 394296612050898090153796608, -85861687533917104464124800, 0, 406184583348895023918981120, -574018304079566341528773120, 112297799837862338714584016, 0, 109041002290884845032943616, -210057539348084877163672112, -250005260216733818369456160, 0, 116764448934738299676410880, 169232794270381327673978256, -368267493157770380328345600, 0, 254476914273121537353984000, 517603726802958706778578080, -155610105799993340724182016, 0, -36327027448713609821552640, -660046760235084269602842608, -554999947478899226954419200, 0, 322115666307202364227360288, -24551902973464389486132528, 91753562564336164903562592, 0, 477631610291712852527356032, 15406007846833229219174400, 97539035920159372104927112, 0, 108815302714805929276961280, 810013990298774503752115200, -444616415922590497827634560, 0, -327541481988697547354771200, -488195630287807265192502240, 144257701657245087146231040, 0, 365213632294217365579496352, 195959091696991823596305408, 32254329751729521194914560, 0, 259022741629474264385502720, -144494166080370745881139936, -123059435927258801896681272, 0, -310125541894798238169857280, 488900111377254133975656528, 376076384227568028270735360, 0, 368140790171369696035630080, -848699976850263876898496496, -148084251886250430861725912, 0, -822487320980881814487677952, 30752638049731701623500800, -121922777926635514950750720, 0, -458294740268199591290261888, -204658995942310133617969008, 372764856573428494156890120, 0, 559290286409810879124180480, 870242652993933715992975360, 691980658927412733779728320, 0, -778722520861208648743219200, -609976847123207018711216640, -8937202052902875708031128, 0, -393038925873448851246735040, 69288927861759143508201936, 68048374590721367479467840, 0, -274523770387607943150683136, -212454730049503674371673600, 944367015269494315602639360, 0, -587463815969586515117018880, 407213966274287453850931792, -374745360541118701267657920, 0, -161758749975532784555220992, -237188181219877719120661488, 1308816025375680934865898240, 0, -105887632221704604504683520, 144563472262146921212436480, 711652591913298975084396960, 0, -211549228130008635068006400, 122479244766731410871889624, -1037957529022963341828732792, 0, -836705297755319462442679680, 179182623005892519374004720, 262956345372843691684010112, 0, 213327408201897550060534272, -299893977306705287885025792, 134634680694851050191988920, 0, 546821951742729075929241600, 350320089304613115557678032, 43459696045833172762144128, 0, -300416887550745672455102976, 64206056317567991740011408, 517158956153044699284917760, 0, 860206452350043227307283200, 52636193947456348280272896, -461026565243287567230568320, 0, -646980258769695977779740672, -120978737380930971701924320, -985355619570762373759955928, 0, -62933887849622230533980160, -797450774351958581043394560, -517907358536851024110867840, 0, 1605420883778227357402739328, 481782147983801455979878032, 74134373792895754528227840, 0, 279078799791089633839468800, -459517159773331514851370672, -574641471399101755257969600, 0, 1243101557792094582282301440, 238696185241424073400866576, -1897481647748998260160474956, 0, 118162780154233393618410816, -653470950963035688242426880, -366090920696711485004859936, 0, 43173797038783959057454080, 981987555900848895132991488, -1444106601314684757424909680, 0, 1511802360261807604530693120, -1079539702470040371138385920, 668339024486739257610205248, 0, 693847014259296919893049344, 1342205065582950173871851520, 542215876112353372304479912, 0, 852541183195500944760629040, -1007442858256457322773271136, -1628012936575275493133386560, 0, -943356098679455468536913792, 1965977665301942653475738400, -149776979311243184065697280, 0, -63007600450779235897530240, -1382621719655948707481473200, -533111834807078388766675200, 0, 1907893576859689734954762240, 1369546334451596209079877120, 1842180632146354619625407208, 0, -331296712583895368587563104, -1230390744357392141978158080, 713177651114109686976128640, 0, -106459894945036707311278080, 200595161933371548355834368, -1974034187711863324838067512, 0, -2198484061235423213539737600, -1576229100218184070853805840, 417205879456793880595161984, 0, -1663873781339983450199840768, 2736983931158434873014473232, 84437856667683785443307520, 0, 1084382835786972808500426528, -572850431086772653339130880, 1961788080257852185723159584, 0, -1524626437023509122241194368, -1200147008880174349578438512, 3094652337655041826799992320, 0, -615576010839059030109281280, -2833074967959757427164738224, -1131275193114107466739899840, 0, -3152865512528719514487367680, 2476575097339944207763353600, 1075572738133791960143105280, 0, -2060563648313357729648332800, 398951363214701783586946976, 1556332876057760052729487200, 0, 1893369249797207512073656320, 1307939271433372415169247632, 3299900996598655015468805448, 0, -2236852864751210516213399040, -2335803073665304070568944640, 1555836972017380779149579520, 0, 572581553692908196106403840, 3007086749287807286790950408, -1020236593467553411299851184, 0, -1916553529706805767178879968, 292376903020342574748028320, 278952319151251342619959296, 0, -2935728874186322534193008064, -1316309905961833137783782400, -1184960184251337172510282480, 0, 3528198294018291808997201280, -3383140410666166246940113920, 3958234470983990549733522624, 0, 923639729701307210147908096, 4148552238749256654379365648, -203454540008074564173054720, 0, -978228447856426059001265760, 1762659568021138021241428944, -4562446388572590445913772960, 0, -1432961224880627842072722432, -3368825001584256554522733280, 1883272598182308573484942224, 0, 637566987560229282249734400, -4106930744089092430622487552, -3272821044509401716750189120, 0, 2740193318318759865051709440, 1533337725256673647415784960, 449144948709264603532907520, 0, 3084926063900871995638084608, 6100948497336866002171484368, 1310572534184862025304597280, 0, 4000760917721322088972064000]