# Trace form for 25.12.b.a, downloaded from the LMFDB on 26 June 2024.
[0, 2, 0, 0, 1784, 0, -53856, 0, 0, -900234, 0, -937576, 0, 0, 1193808, 0, -3143648, 0, 0, 758920, 0, 27808704, 0, 0, -158336640, 0, -25434856, 0, 0, -139393420, 0, 342897264, 0, 0, 253251448, 0, -803008728, 0, 0, -592482528, 0, 382686484, 0, 0, -836317792, 0, -2207150256, 0, 0, 3338227214, 0, 5899269024, 0, 0, 14701072320, 0, 3509795520, 0, 0, -1851138440, 0, -21797178676, 0, 0, -16724963456, 0, 25247046528, 0, 0, -51413617728, 0, -45933887456, 0, 0, 19811157128, 0, 676956640, 0, 0, 41537772480, 0, 182974755762, 0, 0, 24805363968, 0, -119670302656, 0, 0, -126352642260, 0, 13133362704, 0, 0, -110395954832, 0, -239621285376, 0, 0, 422018896392, 0, 65781020604, 0, 0, -74778476640, 0, -43852427656, 0, 0, 332273576660, 0, 461483424864, 0, 0, -20436197760, 0, -124338930640, 0, 0, -130767130032, 0, -131098963334, 0, 0, 305864359488, 0, -537353275536, 0, 0, -2787614108928, 0, 1063014557064, 0, 0, -258105836352, 0, 744559257120, 0, 0, 2092073858840, 0, -2571576359616, 0, 0, 1415009406816, 0, 671895791144, 0, 0, -890577871900, 0, 533229648704, 0, 0, -559642864704, 0, -528494414976, 0, 0, -1021503608928, 0, 1139668526304, 0, 0, 341356343728, 0, 217930616544, 0, 0, 3304505952546, 0, -341602793640, 0, 0, 3753586013760, 0, 1473704458624, 0, 0, 7567659301480, 0, -52765520036, 0, 0, -6489021752640, 0, -9233537524992, 0, 0, -7590941930880, 0, 6376979693584, 0, 0, -8601624223432, 0, 2977698674888, 0, 0, -9012546369200, 0, -6012347717376, 0, 0, 5262147969408, 0, 5183122676944, 0, 0, -355772588960, 0, -20947875877976, 0, 0, -3798246919392, 0, 43221152620800, 0, 0, 15651219605472, 0, 2786078768024, 0, 0, 5311605159168, 0, -12202712508856, 0, 0, 20559595246980, 0, -13036386730752, 0, 0, 11448661078152, 0, -1651215488480, 0, 0, -26792022676160, 0, -33456390230716, 0, 0, -19443083378992, 0, -10304981641152, 0, 0, 5076501420672, 0, 37667754120504, 0, 0, 3658051671088, 0, -35985977179648, 0, 0, -10229549251152, 0, 62743348030140, 0, 0, 74226316792320, 0, 453002383680, 0, 0, 51484491204820, 0, 32028859186544, 0, 0, -26712278877672, 0, -45860947013376, 0, 0, -154343887779888, 0, 74359331323764, 0, 0, -40973027610752, 0, 11923555274528, 0, 0, 40803180195674, 0, -200367246616416, 0, 0, -89891782418592, 0, 58244801956320, 0, 0, -24281379295728, 0, 61792112747904, 0, 0, -1192888670080, 0, -113992782019416, 0, 0, 120736269415872, 0, 62653579163424, 0, 0, 110131920223208, 0, 37051693052160, 0, 0, 65345962574960, 0, -88476810592896, 0, 0, 163213482139704, 0, 105884026584544, 0, 0, 57003275971488, 0, 234792979235064, 0, 0, 55093183135248, 0, -43710388356096, 0, 0, -284251420794528, 0, -160746122596032, 0, 0, -351830689808640, 0, -246785390671656, 0, 0, 193831229931700, 0, 161729955668160, 0, 0, 49847455912320, 0, -112706556895920, 0, 0, 107699026348560, 0, -232692538013238, 0, 0, 11714959531968, 0, 586954427387328, 0, 0, -172253692118628, 0, 22643329997904, 0, 0, -118721239805024, 0, -324564107206080, 0, 0, 118760400883480, 0, 85211085985344, 0, 0, -40374576506880, 0, -147733567180856, 0, 0, -306723394977660, 0, 241766435244624, 0, 0, -210148858994232, 0, 376440855581664, 0, 0, 10552290819840, 0, -250159365411996, 0, 0, 58676670378768, 0, -83204489971680, 0, 0, -383803045322740, 0, -622238966797536, 0, 0, 993475851779952, 0, -113167203061376, 0, 0, 678176491562120, 0, 819669173374844, 0, 0, -128926137308640, 0, 1236907721415168, 0, 0, 277748699336064, 0, -1117935381576336, 0, 0, 204676748470656, 0, 296388030380720, 0, 0, -178267250906960, 0, -1502592818884038, 0, 0, 411643214978688, 0, -247382735491856, 0, 0, 482809087649500, 0, -179398831461392, 0, 0, -1127874967602112, 0, -60082421414400, 0, 0, -1610323465481280, 0, 517653898276524, 0, 0, 219101922998080, 0, 199076782786344, 0, 0, 133273707735168, 0, 2565425906375904, 0, 0, -1118529137341440, 0, -116644279988544, 0, 0, -529637484181920, 0, 217947201013864, 0, 0, -116940275293928, 0, -2322893364888096, 0, 0, 2466474972204672, 0, 475839200234584, 0, 0, -9651510457760, 0, -538974149089536, 0, 0, 1853018167779400, 0, 1283347089503424, 0, 0, -1579818630075840, 0, 1034685554209728, 0, 0, 445333510751860, 0, -346935367921296, 0, 0, 81706290569208, 0, -2486551785163776, 0, 0, -5748647923880928, 0, -2008981177674956, 0, 0, 948208984901088, 0, 258168833286544, 0, 0, -201435956733074, 0, 833228881197480, 0, 0, 3402423950777280, 0, -758831158874880, 0, 0, -1564920859196632, 0, 3153447435939084, 0, 0, 1126790654580608, 0, -353655190893312, 0, 0, 9811280674105092, 0, -52894227153200, 0, 0, 1575014189001288, 0, 1866129882085280, 0, 0, -1316521157236928, 0, -2765506527222912, 0, 0, -2293846112777472, 0, 651307972057344, 0, 0, -4679112865948980, 0, -453862479567656, 0, 0, 228427093045536, 0, 7528190375924352, 0, 0, -3441323094330528, 0, -112529114824896, 0, 0, 1975373625963360, 0, -4427156039285256, 0, 0, 130115795797440, 0, -4895232244806816, 0, 0, -6891686290748160, 0, -794395461734800, 0, 0, -2515756838522800, 0, -1700139230182796, 0, 0, 475640846643968, 0, -1771351322824512, 0, 0, -1938175178163840, 0, -1214491874625616, 0, 0, 2297526953838208, 0, -1645350022229760, 0, 0, 1073845356171320, 0, 14034375231212160, 0, 0, 931278257091072, 0, 4345385330603944, 0, 0, -2170071033400312, 0, -2723041206228736, 0, 0, -785516996408152, 0, -911181219163776, 0, 0, 20675623620032352, 0, -4297918278567516, 0, 0, 1016584325463168, 0, 96098794458080, 0, 0, 867791487010720, 0, 4767764258492928, 0, 0, -8947462872300480, 0, -601515800026816, 0, 0, -2123975844468440, 0, -1775152296883876, 0, 0, 640716012639360, 0, -8917338612983976, 0, 0, -5762562544398528, 0, 10218255797164688, 0, 0, -249831785225672, 0, 2947619309671032, 0, 0, 4441473966663888, 0, -26272852186496256, 0, 0, -304709691926880, 0, 4353149661352800, 0, 0, -482430874861928, 0, -892763920199416, 0, 0, 4032168561427168, 0, 11035542880454400, 0, 0, 4637317999023072, 0, 11598597560565004, 0, 0, 7840462168611328, 0, 2676438972843144, 0, 0, -7422992430591740, 0, -18696857535380160, 0, 0, 3521297277501696, 0, 6750352096920160, 0, 0, -508147007470080, 0, -2676320638718496, 0, 0, -47066843872112, 0, 3530232884657952, 0, 0, -21696322264304634, 0, 13108424494044224, 0, 0, -3098564281785552, 0, -9820264805419776, 0, 0, -7651859939939960, 0, -224823420074880, 0, 0, -27146600323476480, 0, 11515202265785144, 0, 0, 1961235968142528, 0, 2452128211209104, 0, 0, 1772725782523760, 0, -6771120202344960, 0, 0, 24102087027473664, 0, -10453962907800876, 0, 0, 5688265886676928, 0, 8228170663768944, 0, 0, -19445031610954180, 0, 1903275945023904, 0, 0, 53865637620610752, 0, -25288775216890080, 0, 0, 145214213218640, 0, 21533255232723328, 0, 0, -5247105652418336, 0, -28624855992619392, 0, 0, 6013815175380672, 0, 6300906494278704, 0, 0, -9048167181003032, 0, -8039191361326400, 0, 0, 12092532618748528, 0, 56873472276144420, 0, 0, -5363014163899392, 0, -4360771266316992, 0, 0, 8049786681256460, 0, -22418904648206376, 0, 0, -9287232727720864, 0, -9272612634379776, 0, 0, -5911549820236368, 0, -42285380747723556, 0, 0, 15238380670215360, 0, -1104951939389760, 0, 0, 22322973704592180, 0, 36688565814382944, 0, 0, -56335364870843520, 0, -317349149352320, 0, 0, -6950278870638160, 0, -14685756761763458, 0, 0, -18685505283154592, 0, 49691096001115344, 0, 0, 15171644525571072, 0, 18912716490796464, 0, 0, -13010823140419104, 0, -11166845943012480, 0, 0, 39377982001114360, 0, 5321007579178368, 0, 0, 65409422269086720, 0, -22167979141390456, 0, 0, -19472409285354240, 0, -2839483036493376, 0, 0, -837525236141760, 0, 13960887888081024, 0, 0, -103126693620997728, 0, -5038554479239036, 0, 0, 2485182261077408, 0, 37740955112564544, 0, 0, -1888845739341792, 0, -85776369804156456, 0, 0, 23981480934523200, 0, 894969779235840, 0, 0, -23898811168801440, 0, 4803499481919224, 0, 0, -35875974776036640, 0, -14358807980301312, 0, 0, -29609155651210668, 0, -43003535759921776, 0, 0, -2454487450293992, 0, 18339158960306160, 0, 0, 38727649856872720, 0, 53518863159995904, 0, 0, -11628456963830784, 0, -38407957053439056, 0, 0, 35701060812199580, 0, 1266723698624440, 0, 0, 26402345944259648, 0, 33659063569766880, 0, 0, 101221917112891872, 0, 61196843527619884, 0, 0, 2909663827314560, 0, 56100001841500928, 0, 0, 7391683691502472, 0, -18297925328095776, 0, 0, 19738723179235752, 0, -23898484227134720, 0, 0, 13792963764012048, 0, 7972313036533186, 0, 0, -29843100085798672, 0, -30688994076314112, 0, 0, 2238536623847040, 0, -24216625507008456, 0, 0, 65308863604726928, 0, 34261328575225024, 0, 0, 59232602459780880, 0, -149561985505469220, 0, 0, -30296646024986880, 0, -17650792728336080, 0, 0, -114243226272832128, 0, 84217589420187184, 0, 0, -27418121158036224, 0, 4528239267239424, 0, 0, -125971130485126080, 0]