# Trace form for 15.12.e.a, downloaded from the LMFDB on 04 June 2024.
[0, 40, 0, 504, 0, 0, 2940, 31504, 0, 0, 305140, 0, -1714188, -3448472, 0, -6075120, -43202180, 0, 3729120, 0, 0, 33570840, -21743260, 0, 0, -68969000, 0, 113282712, 253355948, 0, 536094300, 67990880, 0, -563443560, 0, 0, 1116103980, 1292573224, 0, 0, -2754089880, 0, -5132304780, 4012128208, 0, 4994447400, -8170829920, 0, -13847034876, 0, 0, 5424535440, 10287332704, 0, 0, -23061806800, 0, -10576855656, 56277468420, 0, 66297294060, -24994982320, 0, -50371112832, 0, 0, 56311074600, 37314988144, 0, 0, -90895488900, 0, -92983114440, 51361482568, 0, 96079968600, -121004023440, 0, -104085843000, 0, 0, -22936122360, -56747065840, 0, 0, 5885083240, 0, 84564024000, 148338843420, 0, 17247857160, 230876677280, 0, 38932525008, 0, 0, -437860137180, -294950050616, 0, 0, 639643392900, 0, 599838983040, -238063099952, 0, -489443980800, 673703934080, 0, 912275755884, 0, 0, -763134586560, -1253122959356, 0, 0, 357070798960, 0, 1186463803344, -1855209056460, 0, -589315695300, 1086264155640, 0, 272847256560, 0, 0, -3067352750400, -2991129539696, 0, 0, -1348375588000, 0, 4563121740180, 1978674999216, 0, 992528986320, 6883946367960, 0, -3226148265000, 0, 0, -2654001012360, -3520655852920, 0, 0, -2427764841600, 0, 3120173112696, 8810360254808, 0, 8124001992600, 3444947967680, 0, -7059964294200, 0, 0, -8861844437760, -1264040056376, 0, 0, -20780685662180, 0, 9745117922160, 7896014088688, 0, 13215439959000, 10775613097280, 0, -25269015238620, 0, 0, -10070634193920, -25981665111896, 0, 0, -22983851889200, 0, 18977315012400, 35902835817960, 0, 36476855143800, 27275045618480, 0, -23220755884512, 0, 0, -41814334398120, -32976226039840, 0, 0, -34039868627280, 0, 66624434211612, 21946168009768, 0, 23626273249200, 74467280826620, 0, -37415683225740, 0, 0, -54237958374360, -80852781519100, 0, 0, -11607191807200, 0, 60973461450480, 52011974405728, 0, 40168253671200, 66897245029280, 0, -18773571987720, 0, 0, -175959143186220, -99734254261792, 0, 0, -42535807411500, 0, 170724574674240, 26385269123248, 0, 36485096850000, 189246460014680, 0, -77237181651312, 0, 0, -160316701404000, -276696896660940, 0, 0, -85612395204560, 0, 175297879588584, 84691528924120, 0, 132144964109400, 223356406046480, 0, -76667186793816, 0, 0, -274859064897600, -188329639543872, 0, 0, -129750844334000, 0, 356454020541684, 156017599318160, 0, 119019197808000, 301433152576900, 0, -198713737316160, 0, 0, -142202201691600, -302963528973580, 0, 0, -114432657263240, 0, 182393907310800, 318744950796368, 0, 302678267123700, 187212773737280, 0, -235072587586584, 0, 0, -413550530303280, -252296033605496, 0, 0, -546294598505100, 0, 341956172728680, 169773008470768, 0, 270262444064040, 375050223863200, 0, -502207296624840, 0, 0, -343909688663760, -316073591825756, 0, 0, -382901597461200, 0, 279823219540920, 604446007433100, 0, 540780708753900, 304788106375280, 0, -345993983496000, 0, 0, -432462609129720, -305727972939056, 0, 0, -383798531214520, 0, 454983749818080, 280412297287048, 0, 202942356000000, 658670512578360, 0, -333449827304280, 0, 0, -2439032209560, -346067866072480, 0, 0, -112709938827800, 0, 227676947547744, 3796332620880, 0, 92943503582700, 270378952510880, 0, 78966431190768, 0, 0, -85376140337160, 112114367218984, 0, 0, 10664837894480, 0, 180217358663760, -304114944044064, 0, -290384894087400, -651927783864520, 0, 359279022352260, 0, 0, -239096163663360, -619538804233180, 0, 0, 616867153270400, 0, 93570342425160, -254650963343580, 0, -676637574290820, 434490862002520, 0, 669484008549864, 0, 0, -274005206230920, -176008260037616, 0, 0, 941163125653800, 0, -513683872852776, -1133215522479992, 0, -739202485788000, -566303550495840, 0, 924373035606420, 0, 0, 247771280116440, 2269316224420760, 0, 0, 770810623605200, 0, -941649563873136, -1027182206888932, 0, -1092373030455000, -1340215537285120, 0, 1095864555264120, 0, 0, 2795190833982000, 152340884962024, 0, 0, 2727278694917200, 0, -2701494477172440, -746501649542944, 0, -1365648011251200, -1848723052233000, 0, 1785045497896680, 0, 0, 2700293969858640, 3266291532833644, 0, 0, 798301865078560, 0, -2336562027737256, -2031356173667280, 0, -1335437484510900, -2767838311003120, 0, 1181816534106960, 0, 0, 4196324036781600, 4527348465202688, 0, 0, -198070699889800, 0, -5581789381338588, -723351874156472, 0, -1061410282000800, -10051464191576040, 0, 518477265682980, 0, 0, 2718611966815680, 4169906460477200, 0, 0, 2852091381841200, 0, -2988089097975600, -1340433849036892, 0, -357093749064000, -1116225088899200, 0, 1299375583725168, 0, 0, 7236169997438160, 2911001066992744, 0, 0, -560216855088080, 0, -7793465521723080, -3702701231467472, 0, -2501739053229840, -4161613050535720, 0, 3134911704562848, 0, 0, 4888625396346240, 13060980907663620, 0, 0, 3293693806860000, 0, -4204735030307400, 1066648404632760, 0, -4404989265962100, -7668876311685520, 0, 3861482266971840, 0, 0, 9185488457837940, 1938026923128304, 0, 0, 7357129492832960, 0, -7908554680470480, -5057748630003600, 0, -5501721325042800, -2821052943168760, 0, 2902673799590040, 0, 0, 1304714082892440, 3898700289801500, 0, 0, 969582064670000, 0, -915629050991544, -11650991647219372, 0, -4578929285683920, 372659095587680, 0, 4856522586147288, 0, 0, 4376800483248240, 5697938627003600, 0, 0, 2973258916845600, 0, -2946675271890420, -1652464689819632, 0, -5445160951662600, -12435205991236720, 0, 5240986422014820, 0, 0, -2551132414116000, -5378246580682992, 0, 0, 11571871997311840, 0, 2389279844890800, 686741892736380, 0, -2460343712105160, 7010064169168880, 0, 8013665223335088, 0, 0, 993842370759600, -7526277690388976, 0, 0, -7195243095230500, 0, 3151068175349040, -12172302867363024, 0, -3772183947890400, 7442087383162560, 0, -5401551160473360, 0, 0, -6342032741094000, 14490438314457320, 0, 0, 3097922336056360, 0, 4476181048008624, 10773575332654440, 0, 9397715274439200, -3195424260692320, 0, 6154406656355160, 0, 0, -4428498897146940, -14200474119492056, 0, 0, 2746712176149300, 0, 431205718378980, 4891976268130880, 0, -1012833410508600, 12990714915343280, 0, -16227119379556668, 0, 0, -7973251877900160, -16886518085591096, 0, 0, -2959054795627200, 0, 11444718656685384, 13571669329774160, 0, 21049345787460300, 16778827578655280, 0, -7151028521870832, 0, 0, -10623621988374600, -1379896369269296, 0, 0, -40751469668639320, 0, 15569681953867440, 9509018633068648, 0, 3390775600866000, -3460305025942200, 0, -41482134081585780, 0, 0, -21606933780482760, -31610686426927960, 0, 0, -3327055116035000, 0, 22309646018601600, 47528924912002688, 0, 47117330594324700, 26393909739157280, 0, -3613605543893232, 0, 0, -27811799837039280, -25358779886472008, 0, 0, -39326300215521960, 0, 15627975844587960, -7698812108196272, 0, 7916535916422600, 28140739351959360, 0, -35101227008923920, 0, 0, -31459770718972320, -6858235992196016, 0, 0, -9198902886852400, 0, 32295681832343424, 51855653350493680, 0, 44384946043770600, 17081714670187280, 0, -376152870645120, 0, 0, -2046620211666000, -44454127124879520, 0, 0, -39929506736196000, 0, 40484753508458460, 10593660945682408, 0, -8449165636014600, 65079849579580420, 0, -43323354212287440, 0, 0, -35216470942208760, -29475979194030920, 0, 0, 14617829525448040, 0, 44532180438931824, 15303802445180488, 0, 44895531414525720, 32628145560498080, 0, 8476912181502480, 0, 0, -68868461123533800, -32560796779560160, 0, 0, -53208286158553300, 0, 26311733369140680, -21038324166485184, 0, -18880916094963600, 16520555165374280, 0, -37706381083939980, 0, 0, -58171599896332320, -68309907628966920, 0, 0, 32304784209824000, 0, 60212932400971200, 54972796456069440, 0, 6968689468446600, 91638831503512880, 0, 23117839338917088, 0, 0, -26437371050314260, -65783308064774096, 0, 0, -67092130212192100, 0, 42026292847937064, -39481204285546232, 0, -33753332130124080, 44020078325775440, 0, -53220988977609360, 0, 0, -41253878495254320, 14160122372075840, 0, 0, 41623207460916000, 0, 40791544405669920, 24091513188525880, 0, 69419204301607500, 36944088082990880, 0, 53770493998992600, 0, 0, 4227598627563240, -35121508053642296, 0, 0, 7730034556048560, 0, -22500477457601700, -51785952518748384, 0, -51862723610508240, -67884897097391920, 0, -14668698843092676, 0, 0, -37861208821653360, 46292271625843084, 0, 0, 40553741550932000, 0, 27181251040182888, 77264297404060260, 0, 32567452069634400, 21910722728456800, 0, 70872527439120960, 0, 0, 99458030004318600, -40793805467570096, 0, 0, -87709852854758880, 0, -61918112881393020, -48057109775340784, 0, -63318357880395600, -49535447222415840, 0, -102163320320721120, 0, 0, -20582726307721200, 112493026292533400, 0, 0, 67992874968867200, 0, -6783868330059600, 27816468722550300, 0, 118339331832547740, -17938082171132320, 0, 68587435701283248, 0, 0, 115987905347817000, -4105404693895632, 0, 0, -37683646945866000, 0, -161303541748795200, -84651708230787152, 0, -98078340195381000, -186338665969513800, 0, -59032408431436320, 0, 0, -324701133185760, 78477247028379424, 0, 0, 99766129539244240, 0, -14664755090812176, 125700740059348980, 0, 8348468315874000, -4948366330052360, 0, 109644920460144720, 0, 0, 197534568379836480, 75230768954781264, 0, 0, -99187292732416200, 0, -221040564004959240, -166808681818683032, 0, -111813398395171200, -237375144096019440, 0, -95296679354524560, 0, 0, 82897984171020000, 305952826695858320, 0, 0, 177057269437723960, 0, -46318418361116568, 29099766888766696, 0, 108146572066250100, -29715861341533120, 0, 163271348902499808, 0, 0, 178450828471408440, 10330852147150024, 0, 0, 66568863644170100, 0, -297888366872491680, -208645092724600592, 0, -212103010561353600, -258063857372852920, 0, 123466509811389000, 0, 0, 100010855680689600, 314550170134072084, 0, 0, 213380784951764400, 0, -39559186567934760, 122490550801528200, 0, -76156757911892400, -9830602377652720, 0, 257590294015668336, 0, 0, 291302478826402080, 68625909618800944, 0, 0, -21729271191343600, 0, -217183286572690896, -260086395293599600, 0, -251519150828707440, -375773617382769240, 0, -84672289057028400, 0, 0, -25846796384341560, 122831312576839340, 0, 0, 212199357999125800, 0, 15935157402810144, -272350830233924940, 0, 39314470604994600, 144696424950807360, 0, 256161232832651640, 0, 0, 328989323084457600, -25617319388286776, 0, 0, 24961863189342080, 0, -280847698208554680, -265636085680113760, 0, -331338257566378200, -395685553921588400, 0, 102062735482658568, 0, 0, -140482781894120160, 345900339471764520, 0, 0, 458666790222720800, 0, 57444659341894320, 145152666868597320, 0, -134169641900860860, -208318737970649880, 0, 340421199113467680, 0, 0, 360205684612678800, -206791486509730256, 0, 0, -228344679964047300, 0, -239599093150042308, -457679330727843984, 0, -337539367298558400, 264509005925189240, 0, -174570019411765800, 0, 0, -69708379787788320, 511027445830650260, 0, 0, 228154309358192440, 0, 52273158744267840, 115973539511899776, 0, 223976256903606000, 66543585125290880, 0, 321828491900833488, 0, 0, 222238413213257520, 51128961291103624, 0, 0, 182915736500260500]