# Trace form for 12.15.d.a, downloaded from the LMFDB on 18 April 2024.
[0, 14, 182, 0, 9308, -16124, 56862, 0, 4352816, -22320522, 586324, 0, 621108, 109934140, -200755992, 0, 380631536, -291483380, -290166786, 0, 5316726088, -1117661976, -9373833288, 0, 2880331488, 12506859258, -45510637748, 0, 83579713776, -12126204812, -44941179132, 0, 67974212192, -34345330344, -57269346212, 0, -14839958484, 119365701580, 102957884712, 0, -491601579872, 189318893932, 240539889384, 0, -997611383472, 25706864052, 1368039641184, 0, -465649986384, -769149171250, 2170057449522, 0, -2399333559176, 1251391890964, -90656394426, 0, 2319191796096, 1805052294792, -5157502168892, 0, 2354207329944, -7882441676660, -9161379391272, 0, 17520900128384, 5858206778312, -6614704234440, 0, 18747786717976, -13777261381728, -8213486211792, 0, -6939794663568, 39185062250428, -7698562888484, 0, -9224963770896, -41289727781472, 10470873014172, 0, -57127847610848, 35586121596606, 107070799921084, 0, -28102976768880, -188880254078680, 102443851819896, 0, -83262676567680, 223721333984572, -934789838652, 0, -79895035003584, 12688158423960, -52692266305296, 0, -2264434006752, 282902280361756, -228639957171082, 0, 177143188764084, -471443347800428, 30455045204076, 0, 463606366213984, 318083642980272, -105670520012828, 0, -990246769884, -1113125789344868, -753810928749168, 0, 517103597127744, 1253531521598332, -172683538630488, 0, 180260133586600, -175270527887220, 590457670961256, 0, -569590905528000, 1150395741681374, -337392333504740, 0, -417789916332912, -1834392912435256, 320069895433416, 0, -825788787316864, 490167040642200, 3370511676261608, 0, -1592503069684176, -2674408789555488, 964230615390072, 0, -2401155904917536, 2768735541502924, 1282795659238752, 0, 2154498527314464, 821253015443952, -239364513104832, 0, -606849612370128, -2945342716824616, -6847541358288500, 0, -1071742932422888, 2815900910623876, 3167928064146474, 0, 12216883497386112, 464718656851740, 9398436069024, 0, -4491018681015384, 2685328497538924, -15438622005732648, 0, 3619028495788864, -5346436078992000, 462619580755878, 0, 14861140266218200, 1535653860519888, 5415818312350728, 0, -11219582723308992, -7292824361360166, -15568684682449720, 0, -17057842035712560, 15848617138994212, 15629129894265012, 0, 14234498450771136, -9063809508613752, 22702243321399948, 0, -8476578686798424, 35571224602002556, -23864922486298032, 0, -39050586871630848, -52164725484742744, 40996016693473752, 0, 43303512126170784, 1781914194562248, 52388160515507376, 0, -41233741574837760, -17650106668548644, -63615454094611220, 0, -46588764750676516, 41536275488665396, 14944918009224024, 0, 104975876734366224, -6136899465689640, 12577196560318564, 0, -56378702846443896, 15383166386563688, -126446216839939464, 0, -42879130678255904, -11578888603323360, 96072359243078448, 0, 179143974363963880, 6365275234357248, 13308551852915304, 0, -4592178738942624, -5520444369961824, -213972582865990484, 0, -68319907426901664, -71933517966469288, 120524928104101356, 0, 275677701963805056, -19939973372792334, 85733566696129996, 0, -167685988252188528, 34961346296461084, -268678248577514688, 0, -190683148583666144, 124422539705683900, 72558656506304604, 0, 254335073960032368, -61081798306242024, 267746857358845968, 0, -293163919902831456, 224039869036624636, -267711553225787578, 0, -297048046922416232, -184750301333778044, 293752553983287372, 0, 277117837311791232, 20882604593739240, 411771379302462056, 0, -133253060006493648, -348803021044955520, -420563840740800696, 0, -296760399579734272, 292173296508000796, 363926508828199416, 0, 664890098607604496, 19333087234482276, 206539840166271480, 0, -405759687195580992, 27484200390772376, -834604778457048096, 0, -193268465495423280, -91030130997432140, 71650755537267636, 0, 819146633111559520, 205608405828632400, 173292105782362396, 0, -320941295057542464, -247416606375398084, -817897462356444216, 0, 11124521534972160, -143554301912688356, 396845022950050032, 0, 962956200153020544, -48663274766683536, 185637256333713648, 0, -108372849904586016, 180012357270505770, -1102985457984801544, 0, -360374513621245448, 73270876521738964, 564478104040195806, 0, 739771846625984992, 54757550110037112, 709865084486589652, 0, -670907615040823428, -430495744208957280, -670439250401078712, 0, -476415764215888320, 706788504849742376, 91305835860754476, 0, 126105290030130240, 389681780557137912, 900926360362508112, 0, -720729795569569344, -1082026743314950244, 81401515956435964, 0, -494091038182509936, 13759373573405332, 213513511449438036, 0, -823374016419497216, -166272560579884536, 1141022937412759680, 0, 23659687130086332, 2482741044587342676, 541117304249952168, 0, 103651140563506912, -2820266911472851392, -216568503120287088, 0, -371461735791482064, -190307483440130340, -904574702957150448, 0, 556266062507618880, -443549438865568004, 189029227072677906, 0, 378829148318033360, 3293248008991878240, -164148123627689976, 0, 112250545457793408, -798041298257140032, -2711878764782189324, 0, 1561530650325843384, -236254876145254964, 935939667767691384, 0, 1559949980126120064, 1637163802194852028, -1499422890642504984, 0, -471599854729815560, 1199155820029384464, -2883211441937877672, 0, 783771705626266656, -4739057632865350210, 3282677980140892684, 0, 2517985200068817120, -2394764957000656696, -2661887947637083860, 0, -2790227398004664576, -301835466930348036, -2926456637084810296, 0, 3431414935894266864, 4758943099850499820, 4823495576742375984, 0, 2905536234033490176, -4595786652315927640, -383498278062367032, 0, -8527687779068708832, -1247525653960930680, 1037114861633266176, 0, 3971160364229640576, 7448594155388238528, 10400014278533449516, 0, -1607216601176728136, 1239689689562044804, -5005821342239421624, 0, -12518921162898673360, -2592282152063705256, -4285158758061766652, 0, 1590514773731229456, -5304875289748767476, 10451414492958035160, 0, 3562145022913893456, 10214080447131276844, -5304945645702012168, 0, -9919606233993957656, -40985044615976796, -3846515906648609424, 0, 6648146283757337280, 632238882847400092, 14184003730607122952, 0, 5209525248667943760, -17471411761786770720, -2181097064851398432, 0, -12162120473637811520, 3510937125206581608, -10141696886168842848, 0, 11316003245305933536, 2314783913452803772, 8550728353715830680, 0, 13872012733204696864, 826500402605400900, -10386382908647206080, 0, -5446375408400894352, -2433708200574047952, -12136964514143234544, 0, 742396483241698032, 13167147821838428476, 4271967303228895776, 0, 6327707263016877112, 8220939774736968576, -9903980925908646948, 0, -13833510152137332480, 1226272214154813750, -4854241871414034568, 0, 10572299553722181768, -24217344092016323128, 14210535196308676776, 0, 15768456677842046976, 17476777861856394124, -3459772503094263606, 0, -14927951768519452040, 5708539102536641736, -12340624009893355512, 0, 8634918925168098624, -13686599617669065188, 9758080616238230188, 0, 2243608404952323456, -20014875007580437340, -4205349834667413984, 0, -9896396719160505440, 2786241792102600528, 4269848620098871564, 0, 3825312678066157848, 15561545471884501920, 26605776634133014560, 0, -8667422940035233152, -4564828293295669152, -8426771801122228776, 0, -23431631954944520352, -1995122873777397372, 961869895768792512, 0, -4967597344950485568, 4983304804655704280, 23225065320827622220, 0, -2404349090344522756, 13837378477655245832, 144535574730443598, 0, -5057896325787727904, -18233540412798031992, 19813380963977134804, 0, -14744827368249127992, 4647898886967461768, -24242843119379751216, 0, 5276383379015214528, 16349199319247155200, -93885653571620472, 0, 18789284603256702992, 21219384795458293584, 35304235286348333592, 0, -3697540821927163008, -64993535057550471784, -27305820518864909952, 0, 14583182107159896624, -9688339732985694764, 11723931796368836520, 0, 6651613020861922304, -2877836389789665816, -21030998091888041108, 0, 1117269024832944, 51215603122340991936, -54477150383800325616, 0, -3438770307176231104, -17330526835672149140, 8222724330414400116, 0, 80297537668895402448, 26156293027753698936, -23190343497758026800, 0, -22556447920360542528, -9150684029186931154, -52128660186255234376, 0, -58516087295004773184, 26815294607469675032, 25432699337953779420, 0, 61305944940191028096, -29991752185793938632, 2100507055926198532, 0, -3753366892898307912, 13498762982830812316, -23823169438967781624, 0, 1492634088372171712, 14249306673972093704, 51622119253961413200, 0, 86511095889837702808, 12567158061257601180, 45956151039188503656, 0, -69581961370052377344, -40528905675891486048, -94914544620973783604, 0, -67277991457685866320, -52459893965189924156, 14606197875230948856, 0, 41366493098402035584, -22899459111472097424, 127320947001065579116, 0, -45087118200192873888, 53684146010582336840, -56950501204964119128, 0, -44603942253748102656, 32109793262745398188, 93854580398792216496, 0, 8895583094539874208, 18119372002559311104, 58236877474959933072, 0, -27933974055385564032, 13893839758392524668, -117470497265602722270, 0, -136272096078761900368, -101437218583965960864, 89181556002358596540, 0, 158182769716619638624, -9339873805418722776, 41807883758877564580, 0, -78132468482798243148, 35744598167029636896, -98854484610313112016, 0, -114857353147671312032, 100378334789899841788, 10545975099165084120, 0, 150156614628218944072, -8421644727460344744, 37796507633217560256, 0, -84722979510986709600, 50652565929259983484, -52401033719621545056, 0, 43232843844773940528, -140130576064614492572, 65671597088729755092, 0, 208432030948925786496, -75819382632489905424, 6761397417038235464, 0, -29890027563563650248, -35105583527873291348, -254136448650967416360, 0, -2953299475644380928, 178871377280235101212, 63077949348329946744, 0, 167651293307738870496, 21965404697900730144, 103731892350514706448, 0, -19248716425857165216, -26688946388057569178, -123645418590574190612, 0, 37696280109739762264, -245784600098960788744, 13094949977642856816, 0, -28801759672584989568, -58379701612641811848, -124931584616643072284, 0, -31340781380245912200, 83898556944973450684, -127014377165972054448, 0, -141354733163865784064, 288996257939672419468, 80257131221657927400, 0, 185309000479731427584, 127717061956308170064, -17860332399278611824, 0, 11064274247403724464, 13868690977224933408, -11106180166410522876, 0, -215037825742493606160, -230457716559622685564, -9639536481765484164, 0, 61429124364289272928, -62473646002289120244, 38409455870985372480, 0, -54044656652722160736, -200246127667024230644, 234180073660914224808, 0, 126488227479041549952, 525920533976939955264, 12273995880056476332, 0, -127529712004697961888, 209746953783643186152, 159881322362289061392, 0, -73542444706847779200, -308241844423185189188, 5541579861299892172, 0, -38521806380100673932, -493599822950506394588, -39256635486882218724, 0, -295913674757342165440, -126660915782584894872, 380573070782558186592, 0, 14707571914106223408, 433598446760721850280, 134198478899148667728, 0, 159249415166567895744, -11555099783328324376, -137432958171615223488, 0, -523888231183736591480, 65829162665739783456, -292561879664892565800, 0, 170136942103961976384, 40417941780335328056, 116951264294665583452, 0, 169854911656524681552, 55278037565751951700, -16693953676573745556, 0, -32914955472064874496, -415918044550140392160, -234935478519307500020, 0, 239225209427871054864, 241017004453468348636, 453217813599117467520, 0, 91058232676447812448, 543982730128628290176, -412416645748254287856, 0, -174786624995686802928, 425982546894957814080, -510678281422038801024, 0, 91080241386470015904, -1068319910746626660576, 446185731536272762022, 0, 728685217832772066808, -791984113577179285188, -264371572224381237138, 0, -169909458780434091264, -56735772142265667738, -237810711474205943704, 0, 309155652825446586888, 712844743359455344444, -37774568407276848648, 0, 353426479667867386368, 144837044494763316576, -170705438942582406132, 0, -564519318854938100272, 673335157536074999952, 24600824921935193328, 0, 470951700004441626048, -487007376602061671752, 427369712560600706812, 0, 507970945253367793440, 33648076914038290656, -371459950547779462968, 0, -1085079777604344603264, -652468811485711561416, -500333984052980167480, 0, 44805222231091068240, 471320889115294311004, 696739220450126680248, 0, -55903515812872531200, 1067654462724990519628, -332375660382237331896, 0, -571643105394733688832, 301136133323483333640, -253864226785502714688, 0, 442557082456983901440, -996991246754205333476, 1276915022259632555712, 0, -182246782326404477384, -1183852572085155896588, -163328589165052050408, 0, -749053302574365419936, -748875655048842428400, -448885961772285845804, 0, 417609113168330378928, 864306892435340353536, 1357353530208165676992, 0, 404241779526726328304, 872654438382398418536, -304111421732746718856, 0, -676266738971267992280, 569032033352889893904, 2000498574777359184, 0, 132747600293413280640, -49655006040023568808, 822749273256334531228, 0, -134398059311197525104, -1321676448742791198716, -556074326974592675232, 0, -1022136164566860154848, -356684068362284784756, -167175786729748876676, 0, 349147938135515740848, 392633835835285363968, 538576214758680034608, 0, -27030213290276576480, 1940085946735826213068, 1490356939929172596, 0, -1019183818722175140960, 887447982278462481864, -457675192281283037136, 0, 582527330604129765600, -99327881873407034592, -80621000168613110420, 0, 1213333657978128397904, -2398768012866438096140, -404601622069574680020, 0, 389717797138945027200, -1170210685498592859576, -881645628420112656672, 0, 127378491892019053632, 1137767839173683038108, -135378402033446524176, 0, 144297224852006753536, 2232205226460436906636, -453729353029695295416, 0, -361506083334445960128, -20229022802963179080, -452378993096399438520, 0, 345978298746847575936, -224961311224185134502, 833072718197522963788, 0, 871642626063496406928, -3379097003382643343700, 84008492092658434608, 0, 887427543532500234400, -1551787695508639300920, 65329935653241834420, 0, -326663801585334315648, -135051188719579465844, -1112293558111509315312, 0, -239872560251705942400, 3702447353114039244076, 159862063573926647280, 0, 1265318215359647772768, 1927422952380468318096, 37787755793049750096, 0, 3610239218946868896, -945826589479441344136, -797124950699084807924, 0, 79891625706040017216, -3708668017136030144928, 661553098562751656472, 0, 96258976384185169504, -451037612333195911188, -273509399939785352064, 0, -235756619637132554712, 1428250853089942126924, 644094911399268643224, 0, -1832273881123065692544, 3854002641236874196636, 364525942436870967486, 0, -272419134785783118928, 2305382965846469418096, 527703419197810209816, 0, -508292922980056802112, -1890784352167779299616, -981896484728360065432, 0, -2011610805853386892176, -4098092792063133991104, 1064095504966062177156, 0, 1550185897154695254528, -2408908139879999691456, 1964041913770304791516, 0, -282423460139920695132, 2352371129208937799624, -1102739710444741081680, 0, -769651822128325880480, 3769728067864079164232, 1564094455416046591560, 0, 773131610149770104112, 751632972595221770244, 1185920922062421592416, 0, -1659919325429574747072, -1565863678734651545184, -1163037783235657347092, 0, -1132610744548887692744, -4279898052629771407968, -48555179034898060548, 0, 233849694629198776320, -2798190360321886209096, 2455455206846583385204, 0, -1812770011940325468480, 1493127300923403530628, -2121269827595181925560, 0, 88322714167803388480, 6013059837036676803628, 1405651585357264943952, 0, 3545568234114979812088, 3483942513646490455248, 2219854515271857339048, 0, -739138292601377612832, -4352558309036836687844, -4927757000222035746912, 0, -1407175156937150879040, -5467742124915792834716, 1306790172847444587660, 0, 4253916189438868238400, -507128067927236195856, 337958351472312396000, 0, -2606906598155012490768, 4504676955183576797624, -4442217018168419418312, 0, 1240365850286998079232, 2757927181571926439596, 168472940478411975444, 0, 4484393944759998893184, 3766795870319004538512, 581667598321042164336, 0, -1774943650613404523520, -3386018885564012407570, -4389917680116689256328, 0, -857535648087525918344, 250636979296903473800, 1718198910282339861120, 0, 3918935331673229145008, -5164011469155045830832, -441232725498072728152, 0, 1578773200901768532, 3172627254541418063712, -3433459749025566384792, 0, -3862807591977757736096, 4441312800369377682796, 2025985883879551366440, 0, 4738267413157704587848, 1774682047845677984364, 533245731654466790568, 0, -1874946945906680429376, -8482849902178107743656, -2594631454761212440792, 0, -271481982650646783264, -6720606755881196227968, 1201818101356159773264, 0, 3530804028424936614528, -4336568878322180443320, 4086017531714330650368, 0, -2382681556630172853936, 7782120083386874729068, -1637801329345729513512, 0, -736074917106975901888]