# Trace form for 72.19.b.b, downloaded from the LMFDB on 01 May 2024.
[0, 16, -426, 0, -444332, 0, 0, 0, -304914744, 0, -1569837600, 2471571264, 0, 0, -26163923904, 0, -192320075504, 176439301344, 0, -833365634368, -1256486405760, 0, 59927319356, 0, 0, -15320509140080, -4184514840864, 0, -12301604294400, 0, 0, 0, -141481742931936, 0, 80653465357268, -20487495736320, 0, 0, -493456694265564, 0, -519930573603840, 594931562445024, 0, -2540155017577792, -73781630442072, 0, 153882272211264, 0, 0, -3186415704132848, -5668141028706330, 0, -4594372123628160, 0, 0, 0, -8184134137073664, 0, -10505700099162720, -556807886314176, 0, 0, -6212402633091840, 0, -56432885385732032, 21153177930524160, 0, 162428574934613696, 70717864614203736, 0, 4248100663257600, 0, 0, -7655712852492256, -9613779604149984, 0, -151130166278324584, 0, 0, 0, -26870186366192640, 0, 329788507250077556, -866357336138514624, 0, 0, -1269201398006865468, 0, -758460699051663856, 883646550464284128, 0, -379834560933460992, -1413121475102841600, 0, 671428514272869504, 0, 0, -2614894858526780128, 81635840192738166, 0, -1017419361810262220, 0, 0, 0, 3304383175002233856, 0, -3632704044024314016, -4021152879383368896, 0, 0, -7418864787799108800, 0, -9016028590232770560, -11889492589400054304, 0, -7668714720630574080, -16874243912689353600, 0, 19699310683624171388, 0, 0, 4491035271615130032, 30038789240935620960, 0, 32666457724834452480, 0, 0, 0, 26425841621441794176, 0, -61748115932430040320, 43518222460676083008, 0, 0, -17330984985918035868, 0, -70067657427452587408, -2788006999129026336, 0, -54505469465106910528, -170771427226006210560, 0, 197747140314160566720, 0, 0, -16640546241406533120, 202839597316846366668, 0, 263921551987017421440, 0, 0, 0, 323376502884866066544, 0, -444165793372359222912, 139660267979069706240, 0, 0, -560458079404541155200, 0, -649057502864211609600, -117092079206434818048, 0, 127063688859881633984, -588843925380928693992, 0, 423789415322646478172, 0, 0, -245629011441481997168, 1064569397617049839680, 0, 573542957960333868632, 0, 0, 0, 1249460391970327812384, 0, -1225300414556960354956, -455118306559104046272, 0, 0, -1980782298355211036160, 0, -2042802457783821766656, -128605231200249669120, 0, 326777841785722976128, -2106674298832366210560, 0, 2542990671557097635520, 0, 0, -1076999731815887232736, 943162851430471336428, 0, 1779975683563334673940, 0, 0, 0, 1393817217494625177480, 0, -1795236346687269975840, -196213455301368222720, 0, 0, -1503155045042258814144, 0, -2019540934053754629120, -1271892582256367631168, 0, -5023957132998069553984, -681982839881461799040, 0, -979822814109699636292, 0, 0, -1549682720917944606720, 245234902601647465440, 0, 414293804690910670080, 0, 0, 0, -527430072187563823104, 0, -2307391228938512156908, -4078040269667916027072, 0, 0, 2184312479191101534720, 0, 3106970209059909350400, -6796070009098081647648, 0, -3670751885039154984960, 3683589786905046679848, 0, -12798406563304728850560, 0, 0, 15328735288599013519136, -12439750287440905801422, 0, -19593369940090561073280, 0, 0, 0, -19155207448163465871360, 0, 27264601950482235211200, 20431955125757188824384, 0, 0, 24181521806223909098496, 0, 25669827650625444249856, 27166516238647422786528, 0, 2962057589880654855168, 39537718066364377236480, 0, -15002587837808649159268, 0, 0, 9784422177399696821760, -40854479099383171759488, 0, -22924075707813228382696, 0, 0, 0, -35197157073419578745376, 0, 51081693809079031493108, 4269624584406647234880, 0, 0, 30143309946679281676356, 0, 62671507055434328186880, 27514417195629151024608, 0, 55416496395329690673344, 74402704818907926193920, 0, -68633786940925133207232, 0, 0, -31034796271037154842064, -75079911088474961022720, 0, -83635211245614823173784, 0, 0, 0, -63197688931059790715904, 0, 56879100629329339789920, -12890420701239234014208, 0, 0, 45672978897820372013760, 0, -6460578557479758611488, -63796328099068385579520, 0, -33382364605182275278144, 197162554540466449920, 0, 45962694732766552934400, 0, 0, 14748614402490513582368, 17324250229022497390176, 0, 26058583013862619537920, 0, 0, 0, 115824880712863368130560, 0, -91327238269679062656000, 123200975286831133373568, 0, 0, -71755895508599913889692, 0, 4245972899531726484464, -53033520074086901403648, 0, 36127038089278897992896, -395478400565004267030936, 0, 157856811966823135161024, 0, 0, 256475595102604094191136, 209119503567272118623046, 0, 288240786044438569401600, 0, 0, 0, 55073189711503690637808, 0, -325732476040626298823136, 232870716641006423701824, 0, 0, -512638760131425389438400, 0, -542187266453733626935744, 388441016274790751765472, 0, 103597344811928263080960, -335625694193203970380776, 0, 340739326774897154885084, 0, 0, 2301711583226692005552, 778295396274552269051040, 0, 663267203291353965262848, 0, 0, 0, 559888276050529193625600, 0, -868639541189197713212160, 244084597113168734548992, 0, 0, -604824702495064286841720, 0, -937529839907818780041216, -219551936272915391024640, 0, 484221977950730955138752, -667727682703609508701440, 0, 639877181205092487160320, 0, 0, -151714334182912723814400, -92680707206331698588052, 0, -183142834244257651649752, 0, 0, 0, 237331835650448448172104, 0, -287597377300262381354016, -1445248380813918040995840, 0, 0, -161489716290769114176960, 0, -608414856910064976986480, 1327277062778070798546144, 0, -1185600878153405346263040, 98187053190969307616640, 0, -410219741524145441702400, 0, 0, -767049967001777077082848, -545688020331990505920, 0, 477289354119326779034880, 0, 0, 0, -163348911859387697547264, 0, 656417795811645975911272, 2342976833700595170193728, 0, 0, -1042909348584622901438556, 0, 1855117538207432680909824, 1580568768996717775365600, 0, 1942264755401427012695040, 811556136334034918489256, 0, -1193697403298536381197120, 0, 0, -746860178151017624533216, -2592637156978064133427200, 0, -2721315940505634585513600, 0, 0, 0, -3216056293323896172810240, 0, 2676570083045915092153920, -2386182925389161318249664, 0, 0, 4277292671266396065313536, 0, 4918200637202669699850240, -3397651025346667232508192, 0, -2995685561901662369078912, 1516939666176782626622424, 0, -6098151345839260068108388, 0, 0, 561258401595797167835936, -5894154849617453860596960, 0, -5736503609022545349765120, 0, 0, 0, -5238963030968235084211200, 0, 646645963852060559840948, 2543958399806413231341888, 0, 0, 4501619079851883777684480, 0, 976207143274663091589392, -729731095129772902494528, 0, 5074620280114537469554880, 4331568440047654053527040, 0, -5681864318711056261349760, 0, 0, 3307024583547935952849408, -591790770754547047902036, 0, -2704685571163341180216420, 0, 0, 0, -6156513559584937551959040, 0, 3126233397088422302185440, -2277101374020987669819072, 0, 0, 5576614698888332069959872, 0, 4577815098243102652047360, 1650363471150311571548160, 0, -9330971425476249411505984, 4474262613281615521094400, 0, 8255945918324551855409276, 0, 0, 2309320284616444516369920, -2473310545155845912320128, 0, -912895323823945240473600, 0, 0, 0, 967255266320160240812544, 0, 14092709678185367798156372, 24374196520487915790013440, 0, 0, -1977612915506828559260160, 0, -7872956677863171732049920, 5204786452322028535705824, 0, 31325365859025945515451584, 1025699978254789951062504, 0, 7303464238769613584524224, 0, 0, -2985437766203455301385968, 16462509753602700464183040, 0, 16266793086532224901808640, 0, 0, 0, 25586148987447271252687728, 0, -18591978134855713885728480, -40026508982487761155704000, 0, 0, -24688714042168652348184960, 0, -9929607404981125564674112, -2021283971994373474552320, 0, -35209578050441148446112064, -20237952887857549504493544, 0, 21360291797950409596660700, 0, 0, -2917013314590649744773120, 24536498858656779483228576, 0, 8782080344848996310019416, 0, 0, 0, 30205221186899918863564800, 0, -14685088659901399686065548, 36446061094437529494940992, 0, 0, -8039582322257088992273532, 0, -23883623686193189463797760, -16559979972506722300376352, 0, 49415790077354653885844672, -32800519757501144449186560, 0, 28687464712373325169857408, 0, 0, 3457070365756481458596896, 20027494876397908695384642, 0, 30883612655625705091722240, 0, 0, 0, 15796928916302177819515152, 0, -26248990169633815908753696, -69684884642685704459987136, 0, 0, -35125841825070141717670080, 0, -34255062403016921307878400, -24219518835024355110564384, 0, -110251990260977719458908160, -19547238772232033119009920, 0, 16263558569331429497233920, 0, 0, -33477349078629265882185184, 23410339841005312903747200, 0, 17498837269188529992887040, 0, 0, 0, 231490198509391649981376, 0, -33545592342665628474251520, 132169733693310139182630912, 0, 0, -2930614781154518596232028, 0, 382733548641885935628288, -39120327310436114081274912, 0, 111820370779048808582119616, 15432612605802485513871360, 0, -33814565413441302111560640, 0, 0, 334413459556233528086800, -18881144818282185572663988, 0, -5701662283415654864039040, 0, 0, 0, -41809819364918838761594880, 0, 46512073457402823968351904, -239322948370779023872081920, 0, 0, 52896966125094542068969920, 0, 85270458004997393833943040, 41446621581342010233378528, 0, -176611615422215228230603072, 60366076909729668527542272, 0, -31154170157859993273029960, 0, 0, 4333989924467941026735424, -95184301908540458159776800, 0, -88675425322401461703574504, 0, 0, 0, -2865051698838763698022176, 0, 81424191403278615839938560, 253121642702504860843099968, 0, 0, 89923411437538983542824644, 0, 49348755944077347485913488, 1837126737403884469831680, 0, 308308595203739749670968320, 67060950139489811527699200, 0, -148252313576603282168980800, 0, 0, -100686814909593250043960032, 14436766857946811396377452, 0, -213845795547699939351740300, 0, 0, 0, -144390557029407419210741760, 0, 147948513411023776873152000, -441142699343866890470487744, 0, 0, 108696951212641163181359232, 0, 37564420125914608295560928, -42484691493423893331829248, 0, -389793323122126444300051264, 218695078408298249836222080, 0, 4505742164631129544657148, 0, 0, -137577722114958682415164352, -119375858542333862652143520, 0, -149287034076911149486176000, 0, 0, 0, -140516322406704178473005952, 0, 268704634293581180912211668, 506593759579650200254202880, 0, 0, 200362164471890908914255360, 0, 261911491921760615376748016, 69464153397790798783733760, 0, 584652703847631310888104960, -79787540808353067987096216, 0, -115654683013462366567744320, 0, 0, 48646648984324729703528448, -87405684145453856142067182, 0, 68798534838506960485968000, 0, 0, 0, 24785576997235010217123840, 0, -56351289282037900060438080, -340271905313844240690301824, 0, 0, -64624160982995402612517504, 0, -43031033227192685406621696, -5030269422870667202027328, 0, -411089423448723387463545664, -174049235353477445886182400, 0, 61736735173869172075000320, 0, 0, 96769861378167386002521600, 144231392621770917644934816, 0, 137405061018489925097517232, 0, 0, 0, 213754375125842620449116160, 0, -206958794520562161748104960, 752121058806818782366387200, 0, 0, -178855131678431102534915964, 0, -217021890926744811025920000, -327993159270772343512178976, 0, 808599679048543911576560640, -336861243792800894749194240, 0, 194086874343532555492475904, 0, 0, 288050364654697699089281312, 423607908339032092198026240, 0, 79482217495516192370100776, 0, 0, 0, 15570916559115239535118992, 0, -476211197778604918030018080, -582613789530104514492540288, 0, 0, -559273649614415606597151360, 0, -714414435110850036227042288, 171783574405880393755246080, 0, -806121048863721838099471168, -501986391946749113672945280, 0, 247528966424233735163335680, 0, 0, 68141827387911887390522880, 678304302521220257527900896, 0, 623130451797578219493730560, 0, 0, 0, 623254982305677869098885920, 0, -45668449330241796912335404, 781869679386031882731243648, 0, 0, -982213961139452707270686720, 0, -298623839299745996444083200, 396172769693967365270517984, 0, 1185034854505231210669322432, -719579312306308577994332160, 0, 698795853713908210440992448, 0, 0, -708919714823623768136708288, 419921778003539997854714316, 0, 784422486757649009691014400, 0, 0, 0, 924679305873621660365746176, 0, -661743157947323339346210432, -426508440960119183438536896, 0, 0, -679239722176639513094819520, 0, -150051488779505370822266880, 282697236830421243334631136, 0, -1117964374679741415561999360, -657322957777856926147815888, 0, 664358009060500624562480924, 0, 0, -184497737586226307188248944, 294937762044080694821502240, 0, -871038478971608729784740968, 0, 0, 0, 564825809647182872336286720, 0, 652919277461195025503052980, 552282584924853854740687872, 0, 0, -279530274200416576688893440, 0, -321882184190151632701144048, 456139565175352271317358304, 0, 892488859181329024013196992, 534310967146341044220261120, 0, -313129230786758545013669760, 0, 0, 421188602112472428377418240, -649138420226275801521750612, 0, -642868648999645860883906560, 0, 0, 0, -272116844155751549754147840, 0, 872248282736600985371468928, 57600614719331008861440000, 0, 0, 632203584890928137449560000, 0, 937174076604410998668871680, -962266487379384213581109792, 0, 916616060046198170733020864, 179933223941731079220122880, 0, -950698499573295585453556228, 0, 0, 746435053725773374557093888, -372139492372553212679663040, 0, -956434843039599454925583360, 0, 0, 0, -609117469020893615439888384, 0, 324180874883584643746952084, -1458326296994396938587770880, 0, 0, 1453281123433301118392615112, 0, 597558680050800350359887728, 1015043109464082164087370240, 0, -2849797591920807065095528768, 716200960945900534537383912, 0, -2015285873832267383102238720, 0, 0, -663719593759319261846368448, -396289077851965686633569268, 0, -3256337734561473925292737920, 0, 0, 0, -1118535425574402001982545920, 0, 2086427027393251218547840800, 2577008385621659339754593280, 0, 0, 622780020588512720133219456, 0, 2884358395063944821228267520, -1513897366959510691645345056, 0, 1893228340048836288003794624, -976517930118930722171872872, 0, -4250757951770025775635795748, 0, 0, 321893313000016211821937696, -1257328874595350456532858240, 0, -2890636292167526166016757760, 0, 0, 0, -3977742229730985484670513376, 0, 1753910279164681613232123304, -617592826896771497269977792, 0, 0, -755530679290911319751999100, 0, 2554258017525775334818652160, -2488191144851484387646657824, 0, -3706157792398700333332684800, 1026340611782079869963942400, 0, -3266042342520138888098568960, 0, 0, -2869554823303001272124728304, 507694934852021085588215040, 0, -412594849975282425625274968, 0, 0, 0, 2023697147835078917568970392, 0, 2505298494678172570680361920, 1349372127675614786593890624, 0, 0, -786282812874918252818614464, 0, 717558556432351553335526400, -1104709252346826394537548576, 0, 5801887523033282571697422208, -2773469983706835713275428480, 0, 2990087113943082165732956732, 0, 0, -2039469714487139136379292160, 2044162238393073645410685120, 0, 548367635747627445269594880, 0, 0, 0, 4361849530550578739813007360, 0, 1202605095377240975982965760, -6689969736170483051324636160, 0, 0, 162958280729470644205149732, 0, 1450434208644858057555916800]