# Trace form for 17.12.a, downloaded from the LMFDB on 25 April 2024. [0, 14, 46, 20, 15370, -4292, 17746, 71852, -173058, 797046, -673214, -526804, 1942838, 3758516, -3613816, 912360, 8226226, -2839714, 8686466, -11240288, 44409558, 41986976, 29992986, -76798340, -151613346, 200012338, 3898736, 174116456, 210859792, -258972468, -159989456, -371456620, -74491658, -246365216, -90870848, 687191560, -1184787162, -1048571284, 1499726344, 324651000, -2917454058, -1116864084, -383375592, 1108450592, 3258533550, 2275669548, 4189620772, -5567527520, 4501089838, 10091243646, -2038342106, -1380101004, -3084898544, -487871740, -2810024660, -6299451048, -6178133760, -12155866720, 15131715978, 14529638592, 26595432800, -25675611524, -43307851592, 15170417228, -20861279734, 42496345080, 12924702860, 70124663480, -8723601408, -10532027568, -76100421800, -26116702620, -13980317574, -12455392836, -144742795930, 43318267804, 10119859400, 100619066928, -52631742492, -71714375700, 122289744734, -84963717282, 99296045040, 143601653440, 120528571208, -30492848932, 117618276260, -159891378936, -280242226026, 254963977324, -14714658934, -189744657976, -12966101244, 43609152976, 337819101216, -170603129056, 14769913038, 57157923628, 21076786366, -11267044468, 252470692946, -120242143900, -23629260194, 445259275504, -210900850088, 129684442512, -153456249840, -361216398796, -821665722700, -94346763732, -231150566640, 227529418312, 346395064432, -12023211796, -177725147448, -335809848088, 448239896462, -333345977804, -266995541508, -168571102468, -1320213425312, 1051838504774, 856240443294, -902199994968, 1344480341536, 1762627851672, -101363806296, -270125196248, -1748047424530, -406281698896, 744749468716, -2131060089308, 2838117515748, 522158110432, -1232128349612, 975012492336, 458142418476, 1657731740, 3256477093216, -319953835660, 518900022296, -1156425225088, 2873763011180, -2263599680264, -1653484813730, -3183537201336, -1230719462284, 3920439557540, -1609064015390, 1200469119844, -787165306602, 767583339400, -3431296062504, -290005792250, -2110977673704, 5394383005368, -1307992784420, -2749189875484, 4620043323108, 1592629331272, -6920213297674, -4006516397456, 1300521573938, 2804884035948, 4220200514288, -7247415901792, 8720571508244, -7267653890604, -892679770776, 3457986229122, -963886962734, -72387705760, 6540638118892, -2888738680852, 3398099511248, 6867157883332, -3912810883098, -8482524536208, -7589341342244, 9455688509360, -13885890545714, 1733598207500, -12425453810032, 2990479367464, 16266297692868, 6644308796840, -2187091483016, -1983988903812, -2135749741024, 10859752388240, 1457432582984, 5071852858400, 15845717348622, -16747174382948, -18909016130352, -13818144529424, 20977751011962, -10403330725012, -1923895686662, 1509531121124, -101324755986, 44296320292512, 22187437832264, 15966718522344, -9438536323782, -19826716229832, 24000397188904, -9050307981012, 9877061037040, -911001932160, -46723046133504, -17244365122916, -41122223510160, 19192578997952, -44926522335058, 1191953775952, -2285816568636, 18394662279728, 53276564813658, 19169194953256, 45149529937152, -6572591885564, -58327908173016, 13838619488520, -55170385351040, -1663806278006, 31873709729332, -37564857358788, -112891459731976, -24170284235820, 102374642860632, -41932628367072, 9758899571406, -5375201201556, 40137933652776, 38135326025520, 18331045673780, 12129647540048, -17560904964560, -14838416107152, 160038724082016, -31721520708084, 52849901626514, 86892241908332, -52724136784534, -127390033277508, -144087249454996, 72165219402016, -66288183808976, 55742954237584, -105137237923980, 69893049140984, 113120801872928, 6880901317824, 6992838174072, -28131535870152, -84462663772702, 70621653136812, -18904288370208, 36220204079912, 176633486225828, -27373523795076, -242180116633034, -48521502100776, 128427821138356, -83974259504088, 88676332148992, -82998383046696, 152665411820140, 46926852693452, 89142356584384, -8666333417648, -47167036161776, -194641010124848, 302216816774688, -32230153480092, 64471754950016, 194808439215484, 75401982747302, -354248721476700, -447320875915368, 12481228344540, -179841835814496, 56987495119468, -254589984035588, 184682132097120, 172422490489044, 1731726014712, 84674213914290, 28223914606286, -258078395385076, 413329576440328, -27184766465412, 64010712330372, 346018589708882, -12854002098864, -589539698468782, -405383502780464, 165756956378516, -248727304760808, 281786576430082, -212918319018400, 328123604540720, 293188507552248, 14085265423784, -72738130122968, -69682759304956, -290058783871272, 767838079085160, 83550335118560, -8165854425224, 228620597590180, -232194498921268, -407824879680932, -380405726963772, 351063538441128, -224870756468508, 47631651180668, -389790927354940, 159331113378456, 579698479613070, 44437105868400, 250718191830544, -59004531635904, -643970573583594, 595357640919532, -339424513289210, 194834621378280, 566828189819112, -126065835995376, -1291326309415296, -366667011530656, 360015863946812, -363627325742436, 295880005320464, -4027875693008, 700858424111336, 120393682685804, 250568698462290, 316406346030824, -197097997519802, -158730645160032, 811773629334648, -284574337902344, 437326636433868, 483308607944816, -642622158305054, -326649359954628, -883030427359136, 620574473180532, -923039012066360, 183342661679808, -346275796084794, 174972112764972, 759421950058256, 178132892988088, 40819679306196, -219857132427920, -555031246601208, 300750907041912, -412594374102322, 157825121849478, 913790377641350, -475979142453916, -1450493030850704, -714226346109736, 1255416513913000, -60748087485124, 37920954346964, -662371846748388, 191511813596668, 814545141431736, 795819365499080, 142756329989700, -189609671701802, -384011198332080, 426285273985440, -390278289314216, 603632593536432, 34158281225780, -776232739996232, -1156415704449632, -836602640752216, 831054365539784, -1276308867215858, 317452448499600, -288996249246392, 410242220256128, 1574334932565872, 416818634820308, 367369311190592, -172579648429828, -908814868115634, 552994121874192, -718366454424066, -219921263183544, 934072653657054, -704596891667172, -893405031948740, -702327456930752, 1363136027912378, -321494989726196, 159037172277376, 68772967945064, 858833160155096, 905030322922524, 761791753052952, 1364843399537144, -98681353569870, 343705482733324, 1398305297222708, 86192075546344, -715228848923272, 128306510008416, -645965548163740, -689104223694128, -687831972559864, -235698371445504, -577380999281688, -868226789439716, -220016105654784, -118037784424252, 179265931682466, 283271541052864, 68245324704984, -96323959313342, 471337914847360, 933401670178792, -71174809636742, -158632466949328, 770508610223416, 275897170421580, -957859940500508, -256234829982500, -962530330726144, -959139972950240, 1304362596198078, -780957923204608, 1921762111204, -184944859936108, -1602673540115008, -1092347552199722, 205886494911844, -1548731414470616, 613613017539624, 1558259913346424, 670477555151568, 318575738441464, 707574685154384, 452711300253244, -366773943310446, -1183239934456872, 1034481647303644, 580389903336544, -1092733814412834, 1303135802524240, -1101655289039016, -783983701181172, -458434370613252, 51471190671576, -142345812524936, 931435676279860, 1367720851872, 596015893373872, -2003445047082954, 1049604375561712, 1147504003427652, 1701739000404144, -1351806080597160, 1329464454281120, 1519763963580704, -1415611083173144, 98213208117876, -1967585818406352, -292704638138448, -1188213539357632, -7329290475144, 1328853536711732, -1731353373843400, -2999790800385212, -560977088410208, 345657594951800, 3963355037213016, 2189674758499584, 1316708987451862, -1820474753336552, 3201176713191238, 527546982456124, 1623987098860186, -808459083300672, -4287017375363502, -654173571588112, -1624721923555292, 838198943643372, 1027312610584768, -3323670204985928, 3572634806487904, -1700389114306240, -2332155140283792, 1015463444936476, 5957179419512764, 2360619615228224, -1934772306019668, 776368978171292, -1326700790273808, 858192110709976, -476205663038400, -2387142989843524, -768198974741896, -1137928508153324, 1367238439925008, 3237633723590904, -3794431265341402, 6064884104576480, 187409721894312, -2066216128087168, 1533035061530240, 1947271377288384, 3280492572700232, -4004225972724664, 4398815039778852, -3975379369066100, 2703662372874994, -1965855507790440, -5853504243339278, -1032480191833408, -2002621015069048, -38066814844812, 5411183342546196, -3284846541398786, -1713429808217124, -4949720173122624, -8052392625836032, 1859383648356040, 9985602975419812, 6657588726812584, -5212228981159860, 4455420678634336, -5031174222797966, 8428011463165228, -11955837733087552, 3992584661820540, -2014224763810968, 970746224409416, 1428411155673620, 2785516640178632, -14719923028158000, -2322299021359852, -188188608122304, -2939767316736564, -131846294782098, 8437574589933600, 11285831506066816, -1633945190492304, 366603815097130, -3819025880643712, 6408299590263730, -4021363063851820, -4954962515740552, -3747824252269984, 4156905618900344, 1821994533532576, 9111120346560960, -8560766353312192, 5374524734273344, -3171791759856040, -9288407939654366, 391089795502028, 14735223847376796, 6696289936757948, -3942486079701504, 1793203049493596, -4693018081736180, 6941647876675296, -11456337897280896, -9790055016599116, 1906122633047894, 639720829266188, 92735719420654, 6061073562493384, -19631282715825084, 177174697109312, -407858467150820, -4501369154179944, 3596690637866212, 12800088639923480, 6701778165339300, 4800199074399552, 12933413331238310, -4396423118155904, 9719754290047832, -9129253446237176, -3764676090267014, -2437317324828180, -8035597255495480, 1308674052600248, 3377003753654716, -14503134817374384, 3730768593395368, 4909324590694656, -17187230913244614, -6531495018662452, 27381386653217264, 12171805964248696, -13983648064883392, 7577042334183564, 1088830543396516, 6168944200239220, 3173689424317688, -8667590540812080, 7007353618412300, 1264556329669536, 3463509311569612, 7610862768128132, -19895430655780344, 7235875768872304, -1160964557453304, -5731490216515188, 8177377939291968, 3745565049011196, 24434685151501944, -5127892099558992, 12999988557777136, -10400451004829864, 11679690330004652, -12068315608466138, -18524225870512984, -14702259320387040, -15050149292899988, -742565338681428, 11464252582067928, 2745921302350616, -16791422894710716, -1323482266602384, -12146225483924218, 9018365116871920, 19355394197493612, 4754632912712004, -5508800725649040, 7309332641532868, -6112022340414522, -1516354681797332, -12727940170864716, -15199195030569068, -12114027183175600, -5737736585404032, 4045518379294352, -5268811284016672, -13515101429756646, 19606378889322288, -3336357217710920, -4574042795355296, 11239904883246690, 15306446005805420, 7300340690715216, -14142941739758392, 3941561523084624, -11542817852430612, 4834042567566912, 13000545947299656, -1659119807901920, 5194201261254772, 401158805694940, 1320558528302792, 15897908657782140, 1164133598683328, 9531777030276174, -14093891373126360, -1141996863300776, -886408999597536, 665734813211992, 7707985918470744, -22502953421722008, 3145802616479932, 18627421786254180, -8449158897661448, -13649837459977194, -8549452786353204, 1653243994279860, 8876587061824024, 6009951498934790, 15250462251907296, -12700957706802504, 1799407347445316, -2404427039068360, 2913274250879352, 27137790048662176, 10181327194414808, -8982978011044388, -10861681053379784, 13090749651492416, 1933292022582140, -2207584002122314, -8914718889668640, -5383980809639074, -25435987913162136, -8341998450308320, 2058441860129580, -20101621733279064, 18483195989214792, 16648680673176128, -9792812860199340, 838930610747544, 9615571155103840, 9970260173517126, -1301155084768096, -11959021710463656, 18451728946376, 16851751037999440, -3602871144534020, 26470431058289224, 4507935553231580, -1128887239806756, 5245860251800896, 2397971054821416, 6660418792332336, 14075591414647624, 15332068995104384, 8717974743539640, -18521831819566508, 497307596339766, -23108055753461888, -12397211157245402, -11957517498088408, -17731263907308446, -10753707229912236, -1930297283716062, 2045320139583056, -7268375117374224, 10572264972009894, -10107784510738092, -4728615580311664, -11888661781988632, -1078327182481276, -45498255284769124, -9383921562217272, 24271954059366500, 11955735966274784, -28882350100624616, 24715358147601968, 32485045033606676, 3385936329596896, 36587276241030336, -12427947482815308, 783552762357992, 12557113815425800, 12479087136582560, -2292155558453056, -7459485225422046, -4960954701015712, 226518439840, 7709490190669108, 5305664962003872, 31514369519448544, -17453968428577572, -21273814029639664, -61658999317292560, 36039110129097140, -41517197944988806, -25913177568687568, -25600752694584648, 37264528706151932, 38808418075130656, 11950989149541096, 18850394235949368, -8076949579210068, -11062677578148288, 34519540144477312, -18996660857273586, 8869433695912364, -19740898324432512, -59789296519811832, -22595782554925480, 23124582936310708, 25187628957130644, 9152184257672380, -8836755985633400, -26307234301313936, -3039760430301876, 5840359180534848, 49712342012583360, -10603580189935824, -11320456813669772, 15461559235007760, 39278851831703970, -31514247362038712, 41769343088884916, 51013881111090548, -28095430117312310, -61287978471299488, -87535223950895736, 41617705628476024, -8561459889324634, -19293535941600008, 17019220070912950, 38211896524871792, 66329168734658140, -45329486181102172, 8410657391127360, -8645362084943952, -85189115036501098, 52682211069978828, -38792588919130064, 1404113160747096, 36821223478440288, -79012812308273920, -40605025140537776, -35371429364019928, 40314356131874592, -58818937533745636, 99477886971432434, 920343254045540, 34689721036474680, 40044461922611776, 61171533839792040, 70972811068613944, -13090114307854174, -16891632882057056, 40576534290489104, 14989645479720952, 40054991338724412, 34063342719571564, -25694297038548772, -39872912785687748, -22355573729185032, 85219605518676000, -67486047314360880, -26287000103386260, -38455034763563468, -687798323786780, 101624324905248584, 7594838524325960, 57027358545645632, -19918956606359858, -53102645043414684, 48598833236389624, -52928281985721384, -59909576711338352, -2250867886931386, -8708982923199412, -173043985717517952, -27027544517685886, 54040316872306616, -70530571539150792, 38518867728690518, -45085968377983868, 2561387930697696, 61885273076125484, 67427933762897040, 2623168168421024, 2534904409505180, -41360464168105720, 68888626690035648, 34254007495121308, 99349530736897192, 119159785418873568, -38650673251557390, -25666456633414244, -188334154214899624, 24149326299070976, -124191396133630168, -54319996336088448, -31388821905070476, 35566100771107504, 102959281303311780, -18253065167266264, 16280702469773340, 40319878008980, -44108416057322720, 89845052777534784, -46115627120213984, -29546068267566640, 39465370681855102, -70799169004619748, -132864201716391952, -5860417510711920, 77548549588127852, 28593433585942860, 103193615755703924, -47668288403964072, 75791001428137536, -19363524750446868, 76754845910869138, -16989356651996040, -14456854147955348, -31901781025698560, 104823843765687388, -5274304748035564, 44310465753085192, 111622057005163168, 43862021167405524, -187256045582466580, -177819402357392640, -18918109556321184, -91343988174808612, -25352221122539616, -68056363807439136, 66855587176790896, 86929097675707216, -38201295051257288, 8215622545687030, -27391775510088924, -145519949460649380, 154897184153745760, -21948565730429916, -57500036056515800, 44038257889068800, -65703733907262116, -99090064468747350, 43136869706204388, 48774516128178160, 37691364854653740, 93001498291731608, -51841941280517232, 109523051328787244, -45813513305788160, 8437328054025108, 57038061972292864, -1579052519763884, 40297764987633792, 138232259839181112, 34523679537654384, 67525290422237176, 112410602479339192, 96307369827488976, -96879212791714700, -185737063026509168, 54676026447371600, 5487649438501422, -54680361821770420, -79707307000100160, 48606665367611520, 4919419331516588, -91001116723846080, -129603011347492632, -21526248823860440, -99091854554003360, 68814458126425676, -137185970642813872, 31666033605343848, 65027784169204992, 88441143522158172, -27235517100190324, 40464051017688984, 12332177681132292, -7937484341724768, 200951276092381152, -45520377487120396, 99623856334173104, -50163961964191992, 104628342922757576, -25070286498785208, 24968230110251496, -10419804567939604, 28024956520332232, 97286811385899856, 44699451642243784, 113624904533869216, 110722230114659244, -145078852251193560, -120691108136320544, 38129102779333806, -23780018758980396, -90113025995164380, -70424789438122680, 63812462286103224, 148883203969074384, -126099794352954696, -29226133019549750, -21141434374924352, -184314863018925724, 77064615045430832, -46310439222149614, -18074458104595792, -77098095604828132, -71691974647881496, -105182839410292702, 60725510176425900, -102523929179308636, -13068188060564712, 152165771100055526, 24444941223701884, -96826966260694600, -74743102699021836, 113252721429012500, 100303735754242056, 19170733915615066, 73760977727904576, -80739337646362624, 119907935447610304, 69454971897573744, -180871185564300, -98425296230542672, -50953276775643440, -118482466351352368, 50067933546690136, -111027631369844560, -174662209419286516, 62933117470108026, -74121552998204048, 59045126829245244]