# Trace form for 23.12.a, downloaded from the LMFDB on 20 April 2024. [0, 19, 0, -1012, 16384, -10432, 12233, 105466, -40071, 1260757, -109758, -1062858, -2604959, 1222128, 3646312, 3346510, 10241040, 23260068, -25179907, 382840, 6962684, 25725202, 17415740, -19309029, 32557348, 197070865, 209496629, -38237608, 106649178, -95586388, -136471906, -163252512, 837948392, -327863610, 297154370, 248488936, -343536333, 750518188, -216096540, 1051627080, 328205590, -1375634160, -6158862544, 3147831684, 402422302, -4638106350, -411925952, -5174732048, 370802383, 7012992143, -8653744088, 5720596506, -1774949925, 155731150, -3574988121, -20671629116, 8631305314, -19440326480, -7122394101, 16044567480, 39279750516, -1442882470, 11943220917, 31167155116, -1073827621, -22294710950, 46515470870, 43682546986, 3395689084, -6256125396, -47993932556, -7070730468, 3663094407, -3227563732, -31549322634, 1033548616, 23537658280, -25369490848, -137039230277, -5835545108, 6642036542, 177934952675, 43399719725, 27899376526, -52533515418, 175633300012, 43215093946, -134870993896, -229314364564, 47963046142, 30811067900, 81080069838, -39544891392, -60331743946, -92889902095, -319826718836, 111158628927, -124763057260, -298731563076, 283285847736, -329121601572, 218923677990, -498511704012, 837579862390, 79920077576, 325346576944, -784481688350, -552230918540, -780111528921, -148348506882, 837208019184, 419635943826, 701727480228, 454225878084, 440873865478, -80454287500, 1137055752685, 189438542778, -947843167748, 409655457564, -173207433726, -536660384325, 993060368322, -932388376996, -1107610730907, 307627338360, 2051313788996, 293892041668, 1786157530196, -2241573602656, -964801818738, -1620021044844, -946949887512, 2116609431892, -3270633927596, 3680738449530, 4031237739836, 663407052938, 366890860029, 495389531468, -243188200660, -3978391215570, 1765788159041, 1359318295254, -4718232030117, -1578692600322, -2519971550409, -1715110958760, -1089964401916, 2663373707402, 1559208279155, 1189401075452, -6611497271314, -2296490357706, 2044678431540, 2394315329078, -3602694471285, -5553747892486, 3980616939598, 3667915341364, 4582536128092, -1375459371786, -1624897416156, 1426626922876, -1372115001737, -3910291418228, 2232482996510, -7658959451084, 3082110035162, -53033577805, -8774527213388, 6026544166084, 8204769769986, 3348386637330, 10348387251805, -1905711121098, -867017089044, 5483202262340, 9821005731082, -8375794183344, -15342543465572, 13981130496124, 13554754390796, 656263076416, -1744667315295, -7501643234512, -14682919702807, -2974577073232, 18291228666209, 753311068686, 5350035037956, -5243289884238, 10145465676040, -14929104266072, 3763240242478, 2761547644154, 2299355876136, 5681622927992, -12567868699218, 7694235361538, 2091752678767, -5814882393926, 11340979173968, -1582284146654, 975353618238, -13158224605286, -22816926615592, 237314402753, -3765685818789, -1823558903580, 18975070273540, -7713537310936, -17176938908538, 12885642651986, -12433912399632, -14139531331592, 7066285460180, -835921175214, 10757373821028, -9609767333204, -7122245690964, -5441384151038, -7473720624654, -18914937685400, -39736426403882, 47271402273547, 35681042798110, -30422039714222, -7965263628642, 33234903220734, 7373101232906, 2565335093400, -6182152411464, 32668009127096, 57883317455648, -36476443093250, 10019005516392, -59376290291800, 25070591711964, 39644812685024, -92312035175378, 34968511091712, -46408025723548, -103306253758828, 46848448062786, 53952976186664, 11701888770211, 14064723274284, -34905569037868, 39442633010490, -17994094456364, -49200558451314, -34835731235944, 3089019841362, -60613244062889, 21154991705400, 146040813826304, -31383432362240, 49874162454448, 107819987202584, -17944111148184, 79313912903330, 29562345597381, 58680733797100, 7754045157966, 26605815073976, -91364301856368, -1070631746452, 30297179850210, -50560851008572, -148429436031678, 18700624370672, 114492804521346, -60295110242290, 1803923745750, 57999895456802, 5384535135969, -46763952204136, -65093874735693, 3289570392960, 54149943612216, 16358661003416, 255513259779589, -88959694030938, 113042592927205, -86878089793348, -114954406344678, -377464264482, -237658404229171, -135528469840059, 87805881331298, 189234655904226, 64691278603165, 106908200271394, -199671632257723, 27734808403640, -111867697642822, 50227711052602, -145767018096610, -36331482785820, -322798313478849, 80701979648160, 20231016114857, -202016284656508, -437324871456, 213436058147472, -96615207489982, 55334278936280, -294880566625788, 760379652326, -61343040252906, -244616240069748, -98722485384740, 201773102043806, 364886694457248, 74674909950624, 166913395224746, -176219013087274, 147666976151642, -17715500473110, 406926437366946, 17979595809596, -35563884519640, -202206789531332, 434878061940460, 106648549644900, 13080756099759, 254369712243512, 152289587304196, -247132470542022, -105696281405648, -303497397274900, -499621103234784, 660439186641594, -333239880151472, -124675317775892, -278481159466340, -45195097448234, 221432538792861, -319709696951174, 87102330211116, 21941052895878, 373224614076242, 207968336910596, 362959349306310, -49927806829310, -473862260897304, 293361761942084, -78335845495811, 306063100508528, 420652839447600, 322543217908896, -206961323965798, -89688801246124, -405688502328616, -774099265435826, 863436001437122, -553681474789900, -238748608036641, -718349096114332, 910967990683776, -31892598900585, 32250363779482, 474718209483040, 449253141041298, 475388606011406, 477746414089958, 265540719639406, -176122339166704, -318446479180522, 192936291667304, -310337726001364, 455468111559911, 648647928005932, 729965372663704, -501077693654668, -1139662500858172, -573706271732938, -2088558770109664, 600321562014728, -1184968607129896, -447462871666218, -774675109753610, -187418431099712, -534391810449083, -363730952773848, 537939121881307, 841685937711060, 953150978694536, 1150985074615274, 1243114066899674, -224053785487704, -1188787431133675, 130581980610286, -116069635750325, -30168321155796, 833647010520138, 461250602277148, -508419544614686, -883222248376108, -2279801655823608, -1192579481716432, 3004760864903602, -1122519162725376, 77026573638132, -2018725099479928, 1434392607368100, 398777367132300, -78685248599642, 258122405049908, 913706994271398, 252244548083432, 1852154541058470, 840476801305960, -498933472925223, -1730770959814376, 236831974476669, 564734479659682, 578821441870712, -110058157843320, 2749970626255556, -1179543847414640, -346253337759880, -1544548314904784, -2905530211702156, 1952583423448908, -3299473851707683, -345571410826980, -1728332159555064, 2842961017217946, 400157252970072, 148018406161796, 1385090739821113, 359423819754512, 1652213800095824, 3240828827975542, 912544087100472, -272991154983488, -4264790824194675, 915343638349152, 85337159045020, 1788058738481925, 1674971802980580, 1851510735048200, -4053213805639364, 520643046879908, -3559491887610572, -3648613025646520, 4637938903032894, -1549379220227882, -3774553832414017, -924704901785378, 4635276102875768, 2394151333465842, -363612802082766, -1915736879099064, 1137109625484392, 707537683503972, 1599510857256464, 731921151740686, -888021188149748, -3056403455733072, 1774474893100108, 2017702999479016, 391207543844557, 2296947535715410, 4535806750534953, -1745852602495792, 824679381653328, -5109183437226384, -3821067979431586, 4301639381474660, -5366443458095368, -1734126091242576, -1239022014176550, 3957875085724048, 1476349981380072, -1853058221744194, -1354954770388143, 916524960818302, 2642751925136492, 3180101563667742, 199847967999708, -631197109840066, -7940176427999040, 1988194739456468, 4951702065345128, 888816202959256, 3131569609518428, 6777866045326954, -8867192958125422, 1069109751188772, -7377110973401737, -4634629876754010, 7367281129673734, -10716724857264496, -8550153244579197, 770595182373682, 6489818862393396, 225680930050448, -2276503085601104, -2155640178890884, 4510572296491830, 536817675186644, 6774630088704528, 102717039480112, -1181141722666644, -7537149396097404, 844939832305291, 3393097860268912, 3395660836091364, 3325866710134786, 12604854035832529, -6192775244367248, 5089910793882793, -4576505731526816, -12720533167921552, 5854745694329486, -11188389003937844, -6474746511537872, -3913026845752938, 6763574142269038, -3831867695078664, -1922563808722650, 3077849445585733, 9080337510217550, -657842486827490, 4630268866690882, 5843709180748054, 787103713059331, -12632431704018252, 1423187391299164, 5883016927987212, 4182828290685710, 2085086500151436, 10319085480994932, -11649917152025268, 1544638088697870, -7517518328921205, -10573651633867522, 21821443791043212, -5429206830488592, -10524784280072016, -7978214600783598, 12738436394595668, 818337688211972, -7053427418345600, 1366441682032036, 8066076087165522, -291220206103618, 7608705560405052, -1371152991469500, -1873817712409772, -9059218760750068, 4965896267250023, 10221253416878012, 6034087783883267, 2224071365912082, 27112502476595778, -7263243770701032, 284628662293996, -9270746740533904, -12839879542761898, 11253295452771420, -18864760649774261, -10310445394780324, -4098071146841616, 14648531829935282, 2729152224383344, -4519291892884872, 2438513142804116, 5042850270550098, -310542205375752, 9621932662678502, 10540129267897172, -1738161157282479, -29389707188487383, 4892445081863744, 8188737880149144, 2963219826300528, 6247581280907640, 12354598550770508, -15110689035547320, 1807682918296604, -16962868668772616, -26353888940819888, 16900224352395224, -14556918612850544, -17753189039473735, -4735584494696016, 18264656140804184, -2457626168507412, -5388714092476638, -1766559947346786, 17128032402407370, 2715284516323560, 10471249851485798, 5862425032432998, -2884097963151279, -14070332903700936, 9384311433794744, -3155060308025992, 12583168168307544, 2238156917339640, 19411607927221213, -12993830558533696, -903546708955114, -5732387229318308, -31074096262434848, 27876199552540866, -26773706578510588, -9510344857828800, -14941566471182574, 10245897263378192, 3651858052113792, 735023889317778, -1987876012765624, 4872739776176346, 14470898184889292, 10287206792806800, 3887855783766420, -4833674489933976, -22289495826442883, 4942120617757264, 15626505060789117, 2696352016568259, 12879126716150610, 19957569476813948, -14119935079997224, -6646093345730260, -49903570285912520, -7579190120214124, 31262540337457912, -20705348384735788, -7232901952002972, -3030297011530702, 25349943888721286, 6046395593264844, -4381496685587514, 1444117100417504, 5897644128269298, 11233049512153230, 30260683904278210, 10393915170765802, -5742770672258006, -33768054799488160, 5617858349767892, -1122360325233592, 12398620253304393, 20362627619625152, 25936594016638127, -35438800350208790, -5903774310505449, -22614357276511932, -38438215400220176, 29375862628847598, -37623976090168837, -15551725525692274, -14097824041542768, 21355481455555758, 18482633961656212, 6508579686006322, 4787460854120711, 2751094631539790, 22389299344146328, 19871192029647984, 6530676654443916, -3533452363465896, -20077952891749492, 1953638553612304, 9972420186813280, -8138371319292716, 33847280248611738, 16995000668219796, -9021567018897278, -5870200649719308, -44635178786349757, -25368269839769470, 30579516561667820, -14638061550007276, -3554945704618168, -15647177769091762, 28571652051234798, 11249868968061032, -1906386541877566, 8519289987630372, 12173654384878152, 21261148620290616, 45805939157090778, 3841140593410316, -7448769288406282, -25556207490204596, 25409824350681816, -13217653466408576, 133837470179856, -1080699777818510, 29527038189530132, -16683166525739798, -10483314560272109, -15033790054435836, -53639247096620114, 13971978016725284, -47605757449925483, 2361225872225860, -35560767967374948, 35301525232982106, -3126735045906153, 9848995347117220, -7619683578742732, 4866349502935832, 11329014600249574, 46217571289583960, 23192793247577026, -4293794914436624, -41383546203827140, 10446017356757412, -13022569647138117, 7985169202156382, 21414980783177810, -910877062251064, -24302499213644296, -14807085014284044, -27210126086305528, -26079595565366534, 51761310728690184, -14863455039277472, -15449298869252755, -33781947657671106, 19164051999622466, -2112812711919089, -29220344078202662, 6862250721594888, 24351879910477646, -5437420532227376, 2590909690562012, 35441302122805286, -4983563221866072, 5429300991124972, 9157585821738632, 22025253064586600, -374752392333724, 13304818372428752, 11288922478180384, -13141672375773150, -9540460015398806, -9642935707184816, -40641568693432190, 41038114051661376, -47278280285479792, -32652596172413260, -40197547266493236, 11482063165491188, -8232201013861993, -28753260246939486, -2744171525708901, 39713140417208942, 9512144806311610, 5051238761702524, 26510749194440358, -4960808754094742, -40221560729256908, 20255279760742756, 2590837103423483, 30778618842406128, 22195021811270632, 36610229065594428, 3621254809924092, -41360272793308, -8964579972537479, -27573267640036368, 18961267231269016, -25174924957520564, -11474229393023283, -4935561693960998, 24255354137483938, -13262963744313228, 6855578749257508, 24171663973323312, 21484927108962844, -2169194240130684, 17045069766063276, -14373024697625282, -2275909382849782, -8707651566550384, -24080788328582196, -28222750166649052, 28354156908893853, -30606168528178120, 40292604631660969, 3740912453568568, 15110466585044900, -7388601770971860, -11644731237620398, 18869996603448744, -12386631728733187, -25043296145630276, 11873097748107884, 21693159061561862, 184724199217088, 10851008014039178, -10670517725762804, -33603455356770206, -2549716306371392, -11117557217145694, -39144303633341728, 6172150943786440, 4711236065052527, -1176259549630128, 34114103666493674, -18546578500513322, 41969786552390378, 10938905941557236, -14024070953375522, -1834174580465856, 5966616897426064, 3278686257550514, -13436787670690112, 18808145306822064, 8246385324612595, 62223231240719356, -12402079867113440, 34266042064097410, -6108520614214492, 18303311404446636, 80251353079322730, -14788008488076606, -47713766905162616, 8654329063541056, 11102329212343955, -7075741486007346, 23854839001490740, 52136751555485284, -13081950929376804, -2399600482040828, 21970891525436243, -33326563266578464, 26463353676468612, -9726266329960726, 23997893082199230, -26477809745779762, 48360379553774608, -31800438983558717, 63012939118519136, -39847146299015722, -31739511741491332, -6398746755685278, -30200676063352630, -5676787843762182, -77958255296985870, -17446976416659298, -32799895952255490, -2556735253586136, 16718642480097311, 8131026571017798, -18070049623118760, -37007534421539728, -82021559505018798, 35392824271561752, -4722757725256094, -13291730874408400, 45828281800166376, 42395137896338702, -72775195720568780, -26399783178174328, -3768080150706167, 46862272482929928, -22733668950664200, 8249442808008192, 31910634309298110, -65390804308962052, -103818229494258458, -42115488991669062, -72644132321296112, -83152719613702554, 8531163671315476, 36658712923999232, -20093446573759759, 43709031130363678, 13907358729227359, -83881193509171340, -42021485514597672, 41813125339550056, 112632437632045421, 52601225750804020, 103209799300572174, -107718978165860544, 48360479988793185, 39881665962927884, 98096378939860974, -39638534844482162, -21294600570837792, 47577837863692590, 51177359373450796, -51951268392313984, 67461828046175950, -26467562582607054, -286616608708252, 22209705019634664, -15288868896854152, -27072219150152240, 56055439146382385, -50040365119466008, -29657700206969070, -143129570312702176, 31077512653435208, 12031413341066976, 92819477123174685, 77746089964093476, -165855046201332952, 208213278102746190, 39997967410476012, 93445012115735520, -70696883760702526, 56770454001781960, 6201314199561310, -122834249042088092, -154837859438844708, -77143979434538078, -161881014172588676, -22487797426429950, 15109984842498406, 47311854438060668, -78003189123797573, 18556925377358604, -19835879655867292, -16044690966136420, -64188404250117356, 84104598799908532, 114644586844225131, 117200094579012332, 311331214174055082, -59373758129372608, 112288263968418315, 61965977466926954, 15917284425664092, -66763477425303992, -38689623234274834, -93629412169870108, 11295592616227564, 61590164117123124, -34455081291626268, -19325167555105448, 15011219392743032, 13461988528454428, 226722486005028316, -111707467791556976, -104858170340117292, -33070520097330768, -69481856536788070, -71061525567313902, 199020875815841196, -822711194886596, 182994233239604012, 22485711253847554, -152937872668541740, 145596009177495212, 78658210212750161, -59501583931398250, -212085294452409240, -20777591415916648, 8090730334941718, 99784782567215033, 2877122201877618, -100061175594012284, -180493157414265870, -113419302010865730, 44025558677172672, 222276137018656620, -8711974967747835, -46176808051333484, -11610919741751796, 7639277202314172, -322401952769967248, 206533312592735486, -169817654960072365, 201950351939319140, 349298369356154418, -193325863571641592, 213847632346402211, 95127844474174816, 45025323044053300, -233868085673518282, -181556538121306441, 52370461020350496, 1587257189397504, -72042714723697378, -64652549565860580, -43244085388928046, -74219998901003622, 11927129723884324, 432890102031107272, -144957208496356320, -331121790749084869, 69219830111070266, -141288100048233544, -356760760631017324, 131574443732470714, 73788776493213290, 220675982545213341, 183840757244335606, -213389078887011260]