# Trace form for 15.18.b, downloaded from the LMFDB on 07 June 2026.
[0, 16, 0, 0, -862698, 292740, -2480058, 0, 0, -688747536, -158256910, 907386144, 0, 0, 38248328748, -11415352680, 64410639650, 0, 0, 44375877728, 124652464020, -20437095096, 0, 0, 219244567374, 1631404456600, 2940223801452, 0, 0, -5348468604504, -6441904596780, -16935964052224, 0, 0, 60848757680284, 25456583995440, 37136320113258, 0, 0, 44207617726512, 246023763543250, -4873344779184, 0, 0, 224598182313996, -12601497105540, -1042392874396424, 0, 0, 85575569613760, 669894278364600, -640351191010752, 0, 0, 106758364789818, 2661435553553280, -8893968141042660, 0, 0, 2882362957102272, 3680941291545510, -6340947108203680, 0, 0, 2538830661242878, 13690132732535880, -10330303385194884, 0, 0, 6599935349396928, 10824491372201640, -11739285749899008, 0, 0, -6749027807219172, -2439088433863200, -32687788759104192, 0, 0, 28655274740363840, -7449390713147460, 29648323021629456, 0, 0, -35925592092243948, 27636069676463240, 261659254088221464, 0, 0, -119080233211377312, 6812441051092110, 201912942604136256, 0, 0, -186654825194113808, -434666709576297600, -40354765976105406, 0, 0, -39059998180033824, -304290645818245950, 419096940568974024, 0, 0, -522775962020319252, 56466557699451120, 520590655924193836, 0, 0, -656806768867390672, -294530483448621420, -866575225935263376, 0, 0, 630429551851351968, 535777542336572480, 1885308840936429696, 0, 0, -237829449282986112, 1381912691096297700, -2698489758910702976, 0, 0, 5198694619311954768, -479467895374723500, -1646465136331435308, 0, 0, 1303539173840645280, 6534564751890371880, -1916022675024890880, 0, 0, -618711094787548656, 491393501932562280, -13922189548569753892, 0, 0, 260734743011342432, -3694416680030500980, -5229869519202061680, 0, 0, -2772666834445087650, 1775935727473231800, 15072203427241972536, 0, 0, 3966555341638834824, 8593303468317772050, 1255032983551968512, 0, 0, 1591463445426499896, -19059290744046634320, -7583476974546132252, 0, 0, 16312941056130174288, -23059252102706425410, 16812423635798414496, 0, 0, -42748935585771061332, -7695959275532120760, 45460733580638174680, 0, 0, -22192142018691657632, -2089723807052331960, -1910236027687329888, 0, 0, -13186623247884725184, -12962018672913722400, 83668546893836740548, 0, 0, 46821083196457425600, -5365879840631478420, 9033174547393680656, 0, 0, -11995951014946350280, -43609300790678715960, 61318881087025498128, 0, 0, 879749930647980216, 86867087429783264800, -119082364567090415616, 0, 0, -29758081247185418736, -14119305312630868560, -86884286156946290622, 0, 0, 131215065020927291264, 266224751859945603000, 22500290465122247568, 0, 0, -84708253925545111884, -90916235072084799720, -433921015800647944716, 0, 0, 153344851277942610048, -21466305730062579780, -193051215699101093344, 0, 0, -424025951423418835448, 191317459191162017280, -9437759722514280654, 0, 0, 138303670542907513248, 156543242206782228840, -425502020407616932656, 0, 0, -119404420163585320572, -70226612481416808600, 599546059609455391660, 0, 0, 900997518920386767152, 496656562719486356880, 9194046576087048768, 0, 0, -126566993658663638892, -789488512515219040960, 437698812570354183492, 0, 0, 815731853970768953088, -363073513868469945630, 719595343314912056384, 0, 0, -1395024929017890369108, -756218764868270386980, 722524209856714516428, 0, 0, -152029301232033376416, 221199245018716427750, 647228445651398231712, 0, 0, -2314392788148050882196, -236623510885365233280, -21012876637062579198, 0, 0, 1428712881885906248448, -1177083676015489245060, 230234035795343031384, 0, 0, 537599425021295650524, -671161135290883109320, 1724749863356371606080, 0, 0, 1080395231845271245848, 277302869886206158380, -1940131372738784490496, 0, 0, -476783351468822183420, 16928593843753003200, -2459381455130355639576, 0, 0, 729037719422115957504, 892417742464586560200, -565428018274681596672, 0, 0, -3143033443877285484216, 520970663701906992000, 74387655946754003448, 0, 0, 3328213218094252697568, 5512412491884450969600, -2615970764951004530592, 0, 0, 2318613093579307504338, 102769881051309588000, 1668368358220319001180, 0, 0, -4792930904759554558848, 2275462608961956359400, -8959397088584741700384, 0, 0, 4218552977806601779072, -1669606203366891148920, -2619339495059792548764, 0, 0, 4814995276169667647640, 5211838582585575452080, 1091231490433032891264, 0, 0, 1665685511514092492340, -1095822468864770952240, -2754027409641042117120, 0, 0, -3933557302758927966144, -555721658006467427580, -168455358114177183840, 0, 0, -1598596810882105527018, 2768005870840514203200, 19477496574931662705888, 0, 0, -9703075871369576533632, -6782827460126191952760, 6136451603164020800672, 0, 0, 9928520959582127150248, 7766958172819322195040, 3454778386990571355324, 0, 0, 4341578703183707305824, -27548384531999036820180, 8576833019332147806432, 0, 0, -44352436228943218011336, -8946570866597271642960, 3377452451047101391300, 0, 0, -12650216893459888511104, -2840681188992468651900, -1902992986347816367152, 0, 0, 20996020894235198005332, -7126064132231409412320, -11249397515583525430692, 0, 0, -13625457661696912613568, -10590516308616254183250, 26253361815798628622544, 0, 0, 47629912096097000983368, 40494985636377517415280, -2389608344606152471668, 0, 0, 209781513046340255664, -41044710766608718376760, 10274410935909176916576, 0, 0, 2636236242479311812312, -12544908678589184703000, -1135877676943059353968, 0, 0, 4155345525677447471840, 79840613658397543804800, -1115983140814385984952, 0, 0, 48093809336221092651774, 23857470259912116776880, -52856135257350909203400, 0, 0, -78270658326194415165048, -46419121461923795706660, -47148148261278837061184, 0, 0, 76807261857862958755636, 76732289150001416677200, -9668215291177720207116, 0, 0, 34446250693349446380480, -25907174367281304026650, -9421899348267076785360, 0, 0, -58980581274321150729264, 542453130084487934340, -118869074033115382859520, 0, 0, 65139795639657573375632, 55881951064814138838180, -19400519209310946278208, 0, 0, 44871595236530907325704, -13640616985916500030720, 78095663216768453075316, 0, 0, -218190841890204712173792, -116922335879501560400040, -36626197966273658389552, 0, 0, 80678938511525683751660, 133245374235787264617600, -72650947792737557834136, 0, 0, 131709519504719768149200, -86061225914716434041520, 133448500372581297533376, 0, 0, -367389568981956457465824, -62562610940776773084000, 128726062703698861978788, 0, 0, 80661037212556281790400, 144276695604313483337700, -3683747669579604480960, 0, 0, 308129708969954441995572, -225445065928793385226200, 364420599378923032970052, 0, 0, -328654605684810133300176, -28836752100257272476600, 28010173392563210194752, 0, 0, 153329189562707257172248, 148208446240412591774880, -219469161082651697373696, 0, 0, 27565019061457549344192, -199479723248626585253160, 380709780835347584483352, 0, 0, -733485358634516184742656, -118920182928358210353360, -224901458760481089819836, 0, 0, 318772133808145461854208, 209389975437109703252640, -176541874577203246198128, 0, 0, 426766144647988194194880, -96954161476680567052000, 551396722787757216653544, 0, 0, -406288065709104661830720, -279841787420802643746180, -156165999460617387541104, 0, 0, 628629503063529625034982, 271887877724129071038240, -4595597543523519086778, 0, 0, 535959286750139743075536, 76556171720952407683670, -69808020468924620071680, 0, 0, -1449188342839406574060864, -114566073733288602794880, -588714901290852755266064, 0, 0, 537362530444632400235168, 1270423716014685431524500, -333236051091860484528576, 0, 0, 382856165150352034117860, -208970187381752830234920, 288391263390227492903472, 0, 0, -627828555527448243066168, -544078683753602548348980, -1055075906520179196859584, 0, 0, 760530527943381831241732, 401512852300119600640080, -712395811073336932856664, 0, 0, 1071859249361459850831504, -615159973606328773277400, 286340327684896184266896, 0, 0, -1767141203984199810443628, -779432228651676234040200, -196007818430187138305672, 0, 0, 924197290694737614115440, 2066717425976160987319080, -124076274035116471250112, 0, 0, 997990206027507525551868, -950248591275821736945760, 560066841222188083440528, 0, 0, -1648384443627896707733856, -158452452794539227772710, 677471282382475376244176, 0, 0, 880947911187380025668868, 876206155947439768336200, 142390161500449249853928, 0, 0, 272956981042600624133280, -964874215102343037310800, 141471338331102368566656, 0, 0, -2976429086373900857155044, -1038513614121064810756080, 1513030162531992164050872, 0, 0, 993181681976312238915456, 1981595731714724454451140, -191026448306902712567088, 0, 0, 2103098880288369597322608, -1106099434788574102158520, 1820807752036832555936352, 0, 0, -1221047067145750827544272, -1848308476109187365179200, -192248487414494400725536, 0, 0, 1374205666834559644036056, 1461768642185501921539200, -109288335140767682503038, 0, 0, 1377539312572555397987904, -2178892924757277818342400, 2213418906687694655627616, 0, 0, -6047602099375220723109960, -589315324190439648849480, -2098111640628701264285012, 0, 0, 1463648634930123739530880, 2446727209174089168539100, -163297929872419612011504, 0, 0, 444685687667839702175364, -729039193059375838928160, 373356315409146233936184, 0, 0, -3938761815420159859629696, -2235516230402949843609750, -286592045047363245911056, 0, 0, 1488552909429759508033104, 2548504730281122777452820, -1003626382078781316050544, 0, 0, 2320185067926742247814720, -523517926036129875169820, 358684944555141648195648, 0, 0, -3543297411245129256245688, -552458332045494875140560, -3010883315541567860544840, 0, 0, 2374350714120629783182112, 4602375830851924474585440, -284105575603527077873088, 0, 0, 5469019255531555791738444, 331838864459219926810000, 1046158976160511171138488, 0, 0, -3484080917704404321604272, -465958860066071152822440, -1410782422100313002261248, 0, 0, 5370499668372940409858332, 4206772741337477988470640, -4599761290468383487390236, 0, 0, 505337758415178375552768, -1093244011050120333639550, 3248053833413603704355376, 0, 0, -2749863169872053375610672, -254696340001411617690960, -3160165631386729037076544, 0, 0, -175058274390898326504048, -495248824139631656058300, -3287685304187616614425632, 0, 0, 3484304279630353282622148, -996112163111483240183520, 757816079030369840217156, 0, 0, -5834694169445414340852480, -333048436467788954239380, 207227794416755850238592, 0, 0, 3868832958367821845511992, 716138187383424392803200, 290523517038605482935012, 0, 0, 664946254623129280386552, 1152952738366943736159840, 3182633027509595375787456, 0, 0, 179923878058978218925176, 104994759306836122567200, 1033621620140609538470790, 0, 0, -81165354189670607789952, -3686338538649130878396600, 1109244957332938343131104, 0, 0, 1407102122820094362954432, -1872296632210200090033160, 10236033524018967660033720, 0, 0, -11053582011263430072770448, -2969813400908582286302760, -4923082028042075986992736, 0, 0, 5432514578504135908312264, 2317665298871858803024800, 1344370510143725855712768, 0, 0, -1502365638315602476190880, -9001746782164835222929200, 8418506690385330489395640, 0, 0, -2203465453271750427017988, -759774257018577836819280, 131897023443942860603332, 0, 0, -4105622491388348701110832, -8702077009387781433786120, -1233515616926789658968640, 0, 0, 1979432686814775350674824, 5915959208270003148744960, 1202266588224034525021380, 0, 0, 1723431775904778651755904, 320671843648849742478660, 12950765566397103763644336, 0, 0, -5450650900525446675564372, -8429113771121165888559000, 1212285747647312430800022, 0, 0, -1276263089229960157813776, 2328473761682589868801680, -17188169812280922037128000, 0, 0, 11241427567544784093059436, 3446513951090534864467560, 5368361191893050099026056, 0, 0, -7649429525731324156168288, 11426344671103649371547820, 3427267885405237846272384, 0, 0, -15007880638579553960845680, 2070583378662923949925800, -17421229334312762926614996, 0, 0, 18233283386655490271724768, 7419984382060876281244500, -2271942506594614817520256, 0, 0, -4023156519085646644386048, 1472446570011817782884880, 1546478939554631493494508, 0, 0, -6471781858254099188055744, 4371585807528783793836800, -11215241657054324014895952, 0, 0, 39816983849857289595696456, -1189642180899273359036040, -2841357337332805379705792, 0, 0, -9919870813928762167983376, -160464199855412784132720, 5833110104304585850666080, 0, 0, -11263572907803778747019544, 19419486908769508130007200, -20791927007399890441675632, 0, 0, 43712783444851133136584640, 13403476894204977758491320, 10572682974351830679943008, 0, 0, -24646833284745999949172122, -16047753742184819287848360, 14857429459122686134440612, 0, 0, -6161363556341173316214624, 17464036628753447681771200, -35852712205504711315965504, 0, 0, -1454731625078652625114788, 10467696291403479491816640, 8160915724472537173910784, 0, 0, 8926216325246522265496960, -34097523329113362232241400, 5126013575665093175393952, 0, 0, -41767405358388144070248144, -12919466447287450034742720, -32550175620023930491519968, 0, 0, 30228134824928157219894960, -293253249255308804471310, -27959416863181857876409888, 0, 0, -57482927312064449878678824, -16076584039888243993302720, 30008361737490861698659260, 0, 0, -8691690106569266858016576, 28312342632024832829811240, 23315763594189762719109528, 0, 0, 67537382761610942690144964, 7988514283911856695033600, 32336439499898839283766120, 0, 0, -31379141591219263371078640, -44524395398769496419151920, 1634292502369899116751216, 0, 0, -47587430039545345376788488, 1627277215600913556311840, 4070979850871799860174208, 0, 0, 77606563914784854623244480, 37969047519119321906843100, 42691227415949348181414208, 0, 0, -28058585658230347984175352, -80372903457529780993430220, 8034878183434787935223568, 0, 0, -43936465623917987056008528, 8212304250688212145158100, -6790763748513451123096704, 0, 0, 74830883150962916217179736, 18710976575118911000169600, 82285569198487758347059112, 0, 0, 14289759249851920611449120, -86931283800110076717523560, 17718515763214697700833808, 0, 0, 1737140351993702078673726, 2846589163939106929884680, -13736179696188055842501192, 0, 0, 42720025546643489813566560, 55044263753414733708129600, -34870428548079787418023296, 0, 0, -116521752308790949163935360, -41506060039759119387846000, -10366125809629229038077336, 0, 0, -47766821315481532240514064, 60342323801521801592924280, -26356944949337975541543072, 0, 0, 127330628984885052963152136, 34155168080830780234570200, 7028413556492281849661032, 0, 0, -29782739003937032514355632, -39866818052322388784148300, 1681404843916423792291104, 0, 0, -72674396001987999130174536, 72044963053816539330180000, -36642146014904179087790340, 0, 0, 107177518617893430120271200, 13098714533447850119029950, 28619428578072431989204336, 0, 0, -79431105512620829098690708, -76643286179979369751359720, -6905189865777284061164016, 0, 0, -18040749072626206067375304, 88709184896278089720860280, -94156942204206387041550528, 0, 0, 127905895205180991673151808, 55407584070053917764960240, -171568617808678635537232548, 0, 0, 15225188507602082727958400, -118997083939559339134143600, 21419765437110530551958880, 0, 0, -84660898113201177415558296, -22693116487024371460478400, -27074940245152042932711876, 0, 0, 53094186803887225949118768, 51561803394670309899711840, -47470707050736592527780064, 0, 0, 87593696854272306353607112, 46279564626382391203495680, 22503790982595279171772692, 0, 0, -29266909531061494316148864, 113061831969938042315467920, 49619929511043983245964376, 0, 0, 38309341475067916282307628, -2430700155118674215777520, 67470303471218246094447600, 0, 0, -142388267590127655312077088, -40298846335846885428432000, -8860282090262002219937040, 0, 0, -22409720720775769208211756, 125959634045356834614386880, -121860055315018417986154872, 0, 0, 13671224407662336043603968, 18809513691677226076973310, 101008168013696046493503696, 0, 0, -114785430040885075527082524, -115635575685150504777610320, 68948850434108110862943888, 0, 0, -98353923467089711027130496, -172079945485742858865564960, -69555848472991429643967264, 0, 0, 323511739555767863475516084, 45710759893052638600563600, 171671052602982179416302532, 0, 0, -105406825108637622497038272, -63430392959380425235171140, 28273377730346052255586512, 0, 0, -78806923036478153251020900, -71545999410739948978541560, -144640085190250640077936128, 0, 0, -47176901284733498185784448, 12678571547007924101363820, 39329522356150883348620352, 0, 0, 50851958678394112854194256, 69657690009598861019106000, 137683688597083692708903720, 0, 0, 37303221976347246608190096, -66090526239789678949936250]