# Trace form for 25.12.a.b, downloaded from the LMFDB on 19 April 2024.
[0, 1, 24, -252, -1472, 0, -6048, 16744, -84480, -113643, 0, 534612, 370944, 577738, 401856, 0, 987136, 6905934, -2727432, 10661420, 0, -4219488, 12830688, -18643272, 21288960, 0, 13865712, 73279080, -24647168, 128406630, 0, -52843168, 196706304, -134722224, 165742416, 0, 167282496, 182213314, 255874080, -145589976, 0, 308120442, -101267712, 17125708, -786948864, 0, -447438528, -2687348496, -248758272, -1696965207, 0, -1740295368, -850430336, 1596055698, 1758697920, 0, -1414533120, -2686677840, 3081759120, -5189203740, 0, 6956478662, -1268236032, -1902838392, 2699296768, 0, -3233333376, 15481826884, -10165534848, 4698104544, 0, 9791485272, 9600560640, -1463791322, 4373119536, 0, -15693610240, 8951543328, -3494159424, 38116845680, 0, 1665188361, 7394890608, 29335099668, 6211086336, 0, 411016992, -32358470760, -45164021760, -24992917110, 0, 9673645072, 27442896384, 13316478336, -64496363904, 0, -49569988608, -75013568546, -40727164968, -60754911516, 0, 81742959102, -41767088832, 225755128648, -48807306240, 0, 38305336752, -90241258356, -107866805760, 73482676310, 0, -45917755128, 16528605184, 85146862638, -64480268160, 0, -189014559360, -65655879534, -124540889760, 115632958896, 0, 498319933, 166955487888, -77646351384, 77785143296, 0, -45668121408, 262717201024, -338071388160, -4315678416, 0, 631528759932, 198311113728, 178514816480, 371563845216, 0, -583413304320, 297198746214, 112754509056, 596793577940, 0, 677211820992, 234995646528, 308865667656, -112181096448, 0, -35130991728, 427635232164, -268217998208, -1115433620850, 0, -824447297848, -900676761600, -784811057562, 214837039872, 0, 214308444672, -1315116754406, 914804296320, -402206035896, 0, -312162946368, 39964520664, 357832759588, -453553290624, 0, 704042392032, -2754833892216, 356462346240, -1458379197393, 0, -1211595753060, -25209042176, 950387449578, -776603298240, 0, 527734751232, 1307679342480, -599830010640, 1681384224780, 0, -996774496018, 232167481728, -1753032622824, 1574983618560, 0, 319595480064, 3691995187608, 3955776986112, 1226984915520, 0, 2762403350592, -680222785536, -5442387685442, -1800325645104, 0, 2497932784704, 2876091504354, -1458117876384, 728391402200, 0, -3901420374768, 1961831018448, 2150040612720, 2561714781696, 0, 5418123087552, 2118677359896, 570305978368, 5699723069040, 0, -6793168439188, -2349393987456, -2467454288544, -2165790200544, 0, -6190616678400, -884806004992, 1763584231440, 368875413144, 0, 3989820497292, -1102026123072, -7334863021472, 3293650354176, 0, 2043524703312, 1359839565924, 3954789780480, -11824411223170, 0, -2255788918656, -10847792102400, 17563353448518, -1575741108816, 0, 7638507905280, -9605445111360, 2775191013504, -7139577462960, 0, -231306909358, 11959678392, -13400796651732, -10239936590464, 0, -1863512433216, 6159507467960, 4464190832640, -7392445116336, 0, 12983053545252, 2800978113024, -9966916930464, 6305212824576, 0, -13641873096704, -23961192565506, -103576281984, 3050979729616, 0, -14592514653090, 15156690238368, 24273728464488, 11381333483520, 0, 4284355595520, 6298215111720, -22789249173248, 25837706543670, 0, -3767932360528, 6817096065024, -2437758558144, 7132769909136, 0, -6915609888768, 16418932005874, 14323045870560, 6005256141024, 0, 21035722907082, 16253083703808, -16713176326532, -14413066320384, 0, 7412776023744, 5159168680848, -22354294505472, 13420028104723, 0, 18903419273592, 2154700825984, 23926858987458, 10263245571936, 0, -15393380766720, 39175875516960, -26770406900400, -10770926678736, 0, 286752854752, -19786735148352, -20599225693704, 10524271493120, 0, -18835465381488, -15311092828556, -13176671778816, -56890292419296, 0, 49875160575912, 12299441172480, 99480832756438, -31562802105744, 0, -56107996840960, -83369248359366, -9652944861504, 68647725277560, 0, 22740797105712, -7491910712832, 73627062866280, -2451157267392, 0, 8587986230112, -18517634430120, -26030014940160, -44996963217024, 0, -63584021925868, -43181266711296, -20707267642902, -66116013413184, 0, -4165208506368, -121001428335986, -35001100737432, -21457009384776, 0, -28250591730816, -29078298073440, -61522344410800, -1446779811840, 0, 22809298789872, 155661561078204, 47631668958720, -25643022194650, 0, 42336109121040, 105161550594048, -24909815245602, 31384304219520, 0, 36789573985920, -29139505641792, 40353221394720, 157584150853560, 0, -2824382481819, -23922587904432, -125576623116, -14239605545984, 0, -42072782947776, 177901220129584, -18403444948992, -35015731390206, 0, 26724356607312, -19601856110592, 55161734023378, 88607884502592, 0, 227027200942080, 74185389602940, 29447637972480, 146463116322980, 0, -66204734658048, 66297680414208, -231449571733632, 85193989816320, 0, -130617304450608, -1946216834244, 110419972899712, -149871571611810, 0, -128749205976048, 143359620687360, -159145247502864, 69026196104496, 0, 89431229751552, -208110680273846, 17481393652800, -44985733752960, 0, -133407937691598, -93634088994432, -30529506193984, -120325635798144, 0, 51600974705280, 97413424224168, 147020152688640, -206167580638390, 0, -74894084045928, -332311549369856, -86888027422560, 50848256637504, 0, 113644706660352, -150391981640880, 136793353656960, 73403515193820, 0, 171111932338622, -163036042540512, 305398345130928, -134834785367040, 0, -59218902925056, 116479278716528, 132835132300032, -77834148249312, 0, -71775829446768, 72336417914880, -99881248225682, -21235344119808, 0, -108166499528320, -198763752966240, 8853009915456, -29031220908760, 0, 192848217019101, 95755691935008, -328369848718692, 67590935548416, 0, -176036712515328, 281089272454200, 45197025083392, -612368143631550, 0, 164724885738504, -125336181803136, 207760719057696, 32636149582176, 0, 226970543923200, -303483032911706, -283785869356080, 506060490060720, 0, -729307946668938, -54138934047744, -122188164073712, 126754807111680, 0, 421520482764432, 617380683662484, 96645454674048, 259227709345696, 0, 331409422110312, 438383931955200, 9155609005296, -230530682672640, 0, -170211715494912, -181380557687814, -171349859111040, 1050837984850080, 0, 105271555603732, -5551365824592, 78665062484736, -733526941376, 0, -321619119641568, 219909971761864, -587683317365760, -90173855416176, 0, -483863128068108, 114295429237248, 886767711942420, 147828179231040, 0, -52163393486848, 163948629394368, -177418682792064, -108877719272500, 0, 694218140838432, 311593285086048, -506588355787752, 160751787356160, 0, -239206006331136, 367511557743036, -386719719907328, 85753393288710, 0, -24509721895568, 364965248630784, 781259049093600, -575068621572144, 0, 6352678628352, -1436688754143552, 73223513510784, -239497637293656, 0, 927574652509722, -350220351674160, 21818651341228, -929610334619904, 0, 582569483147712, -364931430558912, -132989157310464, -605238167047943, 0, 589716680624820, -262773809858560, 178012887920196, 151157162681280, 0, -1307904735160320, -423708824644560, 620104957048080, -907217963244684, 0, -1695266465052058, -90430376652672, 251187172996536, 1358440752807936, 0, -58506205395456, -752144751323996, -437476554427008, -790555104585666, 0, 1368997013214600, -396895871877120, 638228464065920, 394054368140976, 0, -878480146727680, -187489032934806, 144126147384576, 9894172288504, 0, -930382787277216, 504857349769968, -244971285916812, -996855800500224, 0, -401116231836768, 27881913916584, -827184675778560, 1352425875836970, 0, 1432228477996772, -454650262789632, -696125644349184, 123820048340352, 0, -306756182605824, 877659324192574, 322080674513352, 1371481696731384, 0, 491186908840992, 453682062566208, 853270528819176, 123661090882560, 0, 574244615698992, 2434250501782764, -629479061745408, -563383208178560, 0, -724775059097208, 179869321928704, 303318212278158, 940221012407040, 0, 1641918289891200, -183554633354400, -258502240289664, -1701984261329400, 0, 2339216023326602, 6882068514048, -1759401252578412, 1213586422432256, 0, -494381416648896, 2496072486898144, 2097168523591680, -541810234405440, 0, -1552583345382048, 1155241876731264, -2473009012516862, -367466227885344, 0, -756226380349440, -24336777156666, -1365367018063104, 4225450805148020, 0, -1366161820349760, 1197003853821888, -418481404089840, -143717106548736, 0, 2387539986154512, -1436330213398080, 1935851862485632, 1258353120405276, 0, -4263261111420568, -3220111123046400, 1711878446675376, -2000861960624784, 0, 592047284838912, -980401284761766, 1647545406661440, -1112733760765896, 0, 1008295928583042, 545779130537088, -303982416160892, 459503857053696, 0, 1767049508790720, -3435828424131096, -140675112737280, -2774210589848880, 0, 222971113257984, -526729822113536, 1185387156769098, -444423226322880, 0, 304156780634112, 166349637206046, -1079927117208576, -2265102374509140, 0, -5330121520762738, -1526016526220832, -1005434765317584, -2478229219952640, 0, -496974423429648, -2393919729693360, 4055115489341952, 1848385481410944, 0, 3719016970449144, -829999889252352, -4741198635421922, -2904034280063664, 0, 2146734178562496, 1413071638641474, -514968225234624, -1256027191734224, 0, -342679570612848, -678014201539584, 3031157627077068, 1783468948504320, 0, -1476536265859200, 2979751628238840, 16905402892288, 922102026851124, 0, -2747313442193908, -1398970325778816, -1017280238423904, 3735877465876896, 0, 2733643609804800, 2127859436502828, -615432532671600, -4425965069026536, 0, 5727465442629702, 1016066618904960, 1942652670145880, 1443076443734016, 0, -597835565894448, 1368704107203888, -1924903992130560, 698326457818910, 0, -4331712693612240, 2111401637452800, 985169554365696, -699348135403008, 0, -2474997578876160, 1799173520665920, 3782019620485440, 9709787093595120, 0, 3780043874082112, -67785179563656, 58289341158216, 1467252058138496, 0, -3013838954784, -2464686886685576, -817229535682560, 3082017633650397, 0, 118269009151272, 2580464020796928, -7912852398754982, 4269629283110016, 0, -3667249129586688, 8276770434109008, -840377553364944, -8406936179151460, 0, -1552195881925920, 641384558575488, -1362869794471992, -1124976089825280, 0, 1323881616561072, -3333728731570524, -5434616916158976, -1510999629912864, 0, 6817220120892752, -2652778444947456, -3271729493403504, 1780449350470560, 0, -1806121795645440, 667048975014994, 3515114791751520, 2511663066476928, 0, -7744079729695638, -1588913631793152, 1230393932134640, -4066257732071424, 0, -5554789721607168, -2998000190340120, 3437752020369408, 2524111226919170, 0, 6038220526507512, 8011194672970624, 11145268112466978, -46709204021856, 0, 6337146270766080, -768846891863232, -3596917718683440, 3285001442747640, 0, 5234645524234464, -3089980943425152, 9409519712300400, -1675135446577152, 0, -3819485940068736, -13227104255899436, -4233606694409088, -6116979573050976, 0, 1425699068010672, 5132574924871680, 4019022069226556, -4994656326572304, 0, -1072192144038400, -2302477758246246, -1079657610071040, -18558651348375264, 0, 2840270079131730, -3201790504598352, -782560406237064, 5742890791658496, 0, -732708148655616, -6511102049004840, -6905645184936960, 5604717670694010, 0, -5085164185024588, -3164859781923840, 949518954853056, 2337922181380032, 0, -1717908208386048, 182584365785360, -4948021935321360, -1099342046917296, 0, 279110773799022, -1797458017102272, 13526517861603928, -19071793268183040, 0, -2085312658141440, -272543929352676, -3118693073766912, 18045917610367430, 0, -4137570865480248, 1559486316150784, -11719129719838338, -3609407559381120, 0, -8389992357626880, -3872298735325440, 1761684364651680, -7961834707368360, 0, 4287752862251071, 4106686376126928, -5301002172584664, 9999543942484736, 0, 7329560283142272, 8343868958152, 1575524037500928, 4211720434286064, 0, -3397052374923408, 3632092712736768, 14982644001390898, 2795502689196672, 0, 7623581505914880, 22256130175851894, -1868019557983488, 5442366024533060, 0, -1300110507573696, -1722619906722432, -10810987426382112, 14414456987320320, 0, -2397149957416368, -3381847082390196, 1302434439348224, 20377723102676160, 0, 8944439700308392, -6207816494668800, 8524766970273078, -4770330071189760, 0, -542984608147968, 28102437759471274, -696749301810240, -6029568464839416, 0, 4222089494633682, 4628357208458424, -516091995437132, -5873015772013824, 0, -7880876369248608, -5719060466578536, 3879131953213440, 4398936813945856, 0, 890229680050932, 10796918367606784, -28650951002224320, 6746142538900800, 0, -5660667323351040, 2714273523041472, -14696835447157200, -6785413121403840, 0, 11022255310711932, 3953397257724096, -72261719397504, -7193206955658240, 0, 4986257257384704, 84377784300844, -2001683841040128, -9289515101228586, 0, -11009058285505488, -2652116416266240, 15682896303708816, -7283592789880944, 0, 17405533320506240, 10574317556301408, 12145451761457280, -4863513801242680, 0, 3858395392796112, -17503390720054512, 5656913118074736, 3320521288261632, 0, -2932515937769088, -25655490084944664, 25258393596395520, 3575343976258530, 0, -18092058797213940, -25853256276218496, -12568540465129824, 14817136407899616, 0, 5546608703032320, -38637331724206586, 6221465024296704, -25069169854622376, 0, -34899727878407658, 7953826130647488, -5744373208966224, -5122449823088640, 0, 219734616127104, 28512291118415604, 14139215203921920, -845687870789636, 0, 21009050586560232, -9768672367534080, -40033434235820202, -4353133384507536, 0, 10509458025477120, -17299226769945120, 25220111636401920, 4976295806607216, 0, -22616076492128607, 2526517334489568, 10255287323350908, 340483770574976, 0, 1887961499633664, -18495304308397016, -42098067939840, -18554019842302560, 0, -21487665696030828, 19725972671349504, 9992711669027360, 5277839322284736, 0, 6866990520492032, 8738799717564174, -2164172529988224, -13361513402011320, 0, -8350791783897330, -11612715073634592, -11892426157508232, 6559563764920320, 0, 21282425086618080, 11339234730690048, -9066794992837120, -319279232436576, 0, 23440857788319392, -10394584268931072, 16023173525318736, 3934767105464832, 0, 10881679211246592, 21400415987399554, -2613065262540000, 13352424013671120, 0]