# Trace form for 6.17.b, downloaded from the LMFDB on 25 April 2024.
[0, 6, 0, 6006, -196608, 0, 159744, -167892, 0, -10215738, 39297024, 0, -196804608, 1763152140, 0, -8080218432, 6442450944, 0, -12549169152, 60306979692, 0, -155770661748, 94233305088, 0, -5234491392, -75722441466, 0, 330190979958, 5501485056, 0, 987679531008, -2846203650132, 0, 3282289396416, -1812957659136, 0, 334749302784, 2483836081932, 0, -8759076866580, -1287684882432, 0, -3652917731328, 46155081190764, 0, -46496752783488, -17111605395456, 0, 6448893394944, 42155513811090, 0, -3055668993792, -57774969323520, 0, 240022278328320, -155561818958208, 0, 27052692784332, -366644114104320, 0, 264772597579776, 306036501898764, 0, -801652315914324, -211106232532992, 0, 1157574327017472, 1979846570008812, 0, -2345782552693632, -2197723307360256, 0, 411211174772736, 3864207384753420, 0, -3376263465802122, -1976139110547456, 0, 5837442492456960, 1835806484101548, 0, -703356001465338, -9913023387353088, 0, 5104293044158464, 2872972366990848, 0, -3000080900606400, -3087836941123584, 0, 12789804912058368, -1824281133603240, 0, -11156835457641972, -4579876939530240, 0, 171523813933056, 31097493125645196, 0, -28794216850745472, 2481272961957888, 0, -9451692824887296, 8693744095863084, 0, 5400657352487808, 18498038297665536, 0, -10819698031263744, -44264809095777780, 0, 61808767736127468, -180272662315008, 0, -55563517181632512, -77210062765039872, 0, 141989441844835980, 56245599631024128, 0, -32364282872070144, -82269025705988346, 0, 132306322560856704, 93264401207525376, 0, -198697747162742784, -338609553895914324, 0, 33766392276398796, 333887982077952000, 0, -107554058941759488, 219192108862182936, 0, -72675130269942720, 59406996574568448, 0, -292929362890407936, 168018752248899564, 0, -6791326036058880, 346514692274012160, 0, -10969065153626112, -978369754062948480, 0, 458663448627114210, -81390340732747776, 0, 234776183613321216, 536731819982113836, 0, 166166625833703936, -1248179797715042304, 0, 287017430764093440, 600733711990994700, 0, 145762960970400192, 42194858227531776, 0, 1178760449213448192, -1348173970749740436, 0, -1769134270100593536, -986418124379430912, 0, 119698808220155904, 4193635360849566354, 0, -2135179268806195476, -1512409700458954752, 0, 1751416882823946240, 4183031789080245804, 0, -3930110831549358144, -597533370583007232, 0, 1523605595209334784, -3147301694895151092, 0, -179293717238046996, 560713085598302208, 0, 2597126088783224832, 2863240676783156736, 0, -1224431034946340724, -4473581081265487872, 0, -211317338765524992, 1633625777830169100, 0, 5347025230194288000, -1381351876561797120, 0, 864500568504016896, -14332779926575863252, 0, 2934752182951089228, 1957589192889114624, 0, 100128161588576256, 9128762270855578368, 0, 5516894496675845376, 1893170194793103360, 0, -11499679884705841152, -4159688953950948372, 0, -6436226342264469120, 13837467039609987072, 0, -7865050016262389760, 4373070491165258904, 0, 9903127538941936620, 5097449683622559744, 0, -15736312264493309952, -16304788084411264596, 0, -6512968061310331962, 16955202403600072704, 0, -886462637156990976, -2203382478355499508, 0, 31163951258346920832, 12014194330970357760, 0, -7333529251489136640, -41060591430313536000, 0, 10780434864799804428, 10923459854694285312, 0, -8676068477494099968, -8157631259046578676, 0, 35989699630234203126, -10028204094218698752, 0, -3138246860700598272, -55398800970562906920, 0, -21384675217840665024, -16586019067149729792, 0, 26268543087880568832, 108514448658491256576, 0, 23630426341319702016, 6917529027641081856, 0, 12984861527119159296, -40578044618672879016, 0, -109000259160705187200, -13329664260956430336, 0, -37931395547708522496, 119287015398129670272, 0, 4304305992423908736, -64875612406048751616, 0, 57431656906199506944, 92535831969290363820, 0, -163902681320673932520, -78606651349419835392, 0, 76866602686664933376, 26426063256471035148, 0, 56663723539715790636, 72014997335580868608, 0, 105164933054855086080, -123201949418449957140, 0, -148957462471263410304, -134321469038938275840, 0, -13474567774953013248, 259626650033429872134, 0, 225968176261631118444, -126622347583600066560, 0, 97270098490313625600, -274658650282253812608, 0, -135886900543334815680, 16324957135221497856, 0, 110633401247403933696, -18131158616954789352, 0, 131459173719242413248, 64754126374419038208, 0, -25465856434893914112, 40212106327515070956, 0, -326157444250340597364, 87759174660034609152, 0, -191281315592829665280, 371476064223645911436, 0, 217829260838975945472, -60155706871039524864, 0, -275996761450889601024, -318806010230669320320, 0, -163174611862863279936, 177248827944357691392, 0, 23047569456016195584, 345391029919331359500, 0, 540148452256151048940, 324829950356785987584, 0, -327089078917245960192, -722772461750744570388, 0, -265877298237166048116, 228435960758187147264, 0, -167257474470984548352, 36565656214776163212, 0, 832816715754401342208, -94141558521556107264, 0, -260437096618421796864, -901245587605971809448, 0, 25905142147868971776, 400357800974332551168, 0, 98306650951070515200, -18747694599994568436, 0, 1211414074067356474860, 101182240886737600512, 0, -49211538577960624128, -776201767516135422720, 0, -206685097511230895616, 407659795391233548288, 0, -419096327358328602624, -254727440189829123822, 0, -435488309336202532746, 59778044185910968320, 0, 125635560170024656896, 288416905986712367532, 0, -687668553398166052608, -487368336331478974464, 0, 365587184276012138496, 2190893648602758534156, 0, -637598548994386172544, 150073407554526904320, 0, -117605939565297623040, -939917235698255823252, 0, -818303181955084762356, -280207801096163426304, 0, -5620492334958379008, 3364278963943315767552, 0, 254899625798579218668, -1019002654741141782528, 0, 1121253588395329536000, -576471316214014036992, 0, -1439847584026925337792, -1326975284570712072192, 0, 943528897765227626496, -2012961918181169230836, 0, 90710292835434194904, -81306352417436073984, 0, 1846570955257426403328, 2768182409721709106520, 0, -701839206216231858432, -3453454879958877880320, 0, 309713070485906915328, -100736945799009852660, 0, 1425583434549378807936, -284876606533241536512, 0, 1372759792184517378048, 229170058493369452416, 0, 953481175923988552524, 1406873134124726501376, 0, -176968740126320492544, -1764829739043838291956, 0, -4466177530182986042880, -606143718937904283648, 0, 951866159830563962880, 358686484430020757592, 0, -873856717321821655680, 1066463760210550013952, 0, 354539865088450363392, 4083619330791485069196, 0, -3398839077507531730560, 1450469264450446295040, 0, -2859012313176762163200, 3022742909783697668652, 0, 4925220918942150436050, -197442461604732272640, 0, -2025349701177424871424, -5457712331409257657088, 0, 827250805556249429952, 5907174598738182144, 0, -3552768113207499104256, 1430733312072766870272, 0, 132868495928434825356, 6522842345710390861824, 0, 1820705331007734153216, -8750606522820532169460, 0, 2373851257227770561280, 2530019336684826525696, 0, -3284399239923831128064, 1375830150202339655340, 0, 7610725272906898107264, -2090936277734823641088, 0, -4652710030371585392640, -6849214613018223747816, 0, 7526331625519336647660, -1843055808709398626304, 0, -2860922595231341027328, -658665546057129096852, 0, 12596839674288681446784, 3822839896515840147456, 0, 1060512821151994478592, -20772888171758869929960, 0, -10853705114788338291456, 2695791434333826121728, 0, -557868190565126098944, 13887745238113256291628, 0, 8195966481188678361036, 12893153709460742922240, 0, -4335413577674152476672, 1254567739378028198400, 0, -17459167078983517520256, -3056087898768191520768, 0, -5687480946522874355712, -1020710097382024284180, 0, 10498583749584471182208, -7110422088701742047232, 0, 6510927779028755546112, 18470491611247576457856, 0, -13217404192246120194846, 11095557862061320568832, 0, 3095310881728864714752, -166402252438035609000, 0, -8117357653859714469684, -8935677658397268246528, 0, -1106457142113035747328, -25490934780726131182080, 0, -13925271263169896835264, -10940841396730331136000, 0, 13469219836138692403200, 46565723272761420494700, 0, 7386806796344937123468, -1250430497604911480832, 0, 3524331403403574902784, -13638927226523425327866, 0, 1270331892813472610688, -7182487023196010446848, 0, 15068566439787484495872, -598835415634965415296, 0, 17369712607083431109696, -26484302041233435500544, 0, 2381418668685483048960, 7108971434145644553228, 0, -23518029257726744541972, -1946648463755458904064, 0, 17645321497559769661440, 6598424686206670524012, 0, 1228940676664646810508, -31655555523365939306496, 0, 9598709363192887246848, -4575190810831325124456, 0, -26310881622507919198848, -5505638473691940913152, 0, -11636892692003045376, 28962621109127997118680, 0, 14280006523836262454784, 35435090484110584922112, 0, 222538171549577379840, 24929724434020853672448, 0, -21945526669670133874644, -11354593436434830458880, 0, -7537409030191248359424, -30016265627590215404820, 0, -17701730237084248470528, 2436944036293658640384, 0, 359434326954020438016, 5989008282334472962956, 0, -11701887483174613937940, 32059220101134695792640, 0, -7099744273908106469376, 63721766293005221933184, 0, 638071780733974368000, -31381497762351761940480, 0, -15029483884613278433280, -58642904763038768226024, 0, 15678720650033040321216, 2666998685130679123968, 0, -13266016470910457339904, -39895143153970920256512, 0, 22779483895059610429068, 99913305091894096527360, 0, -7693145984641309605888, -15091094364918789457140, 0, 60000246716000311305324, -17587628277173906178048, 0, -20664151847187415916544, -79678936387870067516244, 0, 32284881742137413627520, 5200925242834310086656, 0, -5444947995318810574848, -30898355529900826632948, 0, 68897630547337148557056, 40900355611526506217472, 0, -43599888695147065319424, 15779395122705157194732, 0, 25474117014888240516480, -70070897329115567505408, 0, -9404987171277813841920, -57199571536381823276922, 0, 76597504205009121873792, -19684842274520914329600, 0, -40900115838048098107392, -40407864235270679291604, 0, -80631084033717737290932, 170339277057045259935744, 0, -4776360705078073491456, 128572146399633363108900, 0, -10804607677950792894720, -1382641114399761235968, 0, -23528958321550759354368, -88167600568479106286484, 0, -47033560766039379601536, -12157982514097807491072, 0, -38625622399826270355456, 49828373161013291914368, 0, 31686866643220572397656, 44176964673527494606848, 0, -6454630307409162608640, 33247839666576456256896, 0, -77888211352468967574900, -163553860118344393359360, 0, 57970991762656248987648, 84191712143221290578700, 0, 31495632790046859256320, 32322949099665192124416, 0, 42734594372052618952704, 14084813953964919686400, 0, -87028374634656886588404, 164597607420687348350976, 0, -3922290547758068662272, 59916527456081283550092, 0, 32327231109469416014454, -137417043504318590287872, 0, 117547075650619782365184, -265839384182704882252968, 0, -166934073706807041554112, -148143720922060832096256, 0, 69965554280241413357568, 194781907850029324736256, 0, 82989951008375747416812, 49558641064639029313536, 0, 134522283029040932585472, -9327680537265746117268, 0, 46428831578655364172544, -259218612610777050734592, 0, -57390428416375070392320, -85497124266156994108416, 0, 110797307431574100845184, -137069585664581494505472, 0, 66371707239416246476800, 191539329068441950292184, 0, -205819472078979764544000, 167195165248908183011328, 0, 128781871728209367662592, 296696693946128590649100, 0, -59979625401436432748244, 19579973487263980978176, 0, 70354792055693354139648, -431918565491823189984000, 0, -354051350420214721552128, -266723724159741566435328, 0, -49925508143819482202112, 627513129724399456258968, 0, 144121684281785697584364, 103130781938324310982656, 0, -66309173684481482133504, 60322851969328311082284, 0, -110752149892162710880314, -131560242508301397442560, 0, 5875096526456323964928, -188585864797517610736884, 0, 34852874623159861615680, -18373446388885166751744, 0, -87764063171285919154176, 91306350609518495517420, 0, -164792297999565212179560, 451757652642615938531328, 0, -85102627677248711294976, 97503406966898267647104, 0, 78979264303755393954432, -93822670496830479925248, 0, -21465141882980433444864, -229893030262108688284500, 0, 384715095531044408473536, -8244778664114989056000, 0, 40122156153121692844032, 254976781270263326995980, 0, -47033941274909212974336, 146590304870907506589696, 0, -125006815775236084801536, -849099063792390888337320, 0, 185634564517383214542336, 91509956228326814908416, 0, 6924446556668722937856, -817081913430693945013236, 0, 417999473049168582948864, -53530649487938981068800, 0, -92852086601711484813312, 299457657040974584649132, 0, 148584177640177596798744, 521310891744146611740672, 0, -175211322743006429184000, -240167016527548272249600, 0, 400547458247221893216960, 45264138291176968028160, 0, -396640199389366933069824, -179767489057880145130644, 0, -3432143413353714643584, -105051673288204169822208, 0, -28327954628739625648128, 250639933799465427303960, 0, 556420958627848041873024, 469656532634037887041536, 0, -124874574751695785312256, 187292209247332580689920, 0, -625306360677309559648512, -157404587011275453530112, 0, -96165959530941291823104, -560504438237949412280832, 0, -713901444972433947972288, -64146282672590507999232, 0, -110756768699921877983232, 573311172589623562222956, 0, 576312149652503078972940, 735350136070504727199744, 0, -3280999598934466756608, 305837492272779038050968, 0, -122890931222258365082280, -299131282091395591962624, 0, -272969503456721175724032, -327932178808126165193940, 0, 415859108994540893262528, -227056196215405680574464, 0, -180777598867074101280768, 462866244845707792131852, 0, -953243037303153403714068, -62035400942980410900480, 0, 303604538864158347288576, 586600621252996931428608, 0, 346859832560795093755404, -796588707245146208870400, 0, 376821510462041002868736, -719872616634845505707514, 0, -254026838639769018685056, 136304687643064676253696, 0, 499867734352008472657920, 718007636953441861155372, 0, 40940809815853800902220, 232681477865151231000576, 0, 210902264783322124124160, -774296084810490850552308, 0, -417783357950069959163136, -453426119953940056375296, 0, 884457868330785920532480, 179153381263981391044716, 0, 204263187875082641611008, -728898629293192836317184, 0, 257721958932885987655680, -1564999007511305627777664, 0, 111926472497393411876214, -143296773854503203766272, 0, 494615231131465592340480, 2877920779054319458324440, 0, 538836508358448236263692, -1002634933548680331558912, 0, -324505683196049379164160, 107341717054540026583308, 0, -1190585373312333926940480, -167033231232944037691392, 0, 585037477165812230430720, -1006826721240151880961684, 0, -1099148674075330538007936, 180300105468528407322624, 0, 515647480282916780507136, 1067854134998866104747672, 0, -1657350106110235360551168, 534275295949988318281728, 0, -77541919994226071494656, 1565122747833741802879872, 0, 655565436587426952280320, 80329106174239339315200, 0, 213416937433016957730816, -454141256323609516866048, 0, -1469995772510594774070312, -555588072361167182364672, 0, -559434361141893809381376, 293580983882781567019884, 0, 1198161159173196806577024, -623421590953869766656000, 0, 29047607694360280301568, 1950056868007375016406912, 0, -238634769463874128775808, 72200437050753007878144, 0, -94509467969454515847168, 765894777893304392038188, 0, 1831891029795845854185804, 166568515997633427824640, 0, -1021180354833511901822976, -1866996669649818661076724, 0, -2927923033161768390590292, -393681119837236683079680, 0, -317743531120368394223616, -1427445172125652081641660, 0, 771410364631336691063424, 1210678720326017022910464, 0, 240305086512796029419520, -2780534157230004511404660, 0, 3119919096617470705215084, 1345473459988513947648000, 0, 8588111195353418096640, 1360954780840473901023744, 0, 2883589153941292259748480, 470157444124072774483968, 0, -353253289649759991496704, -2799011466124900934759400, 0, 203084852563307195408448, -357939932518622341103616, 0, -1495335561498500446937088, -350331939383961728342016, 0, 581971091451917473192320, 280667207458229264252928, 0, 284297411870526667751424, -1210925173187895523228782, 0, 2051959594626143658730368, 267309261096438290055168, 0, -649984658507553415790592, 1345032668827199076830508, 0, -508155524631120735143424, 1979502637386800635527168, 0, -1179310477483514368032768, -2065901431633928655328488, 0, -3139336953371991003028500, 328604191759358320705536, 0, -1622013699820005503606784, -3734306707789292449727232, 0, 2461178153650943453751180, 2888300808218245662056448, 0, 102834073131437204176896, 1958822166337818824693376, 0, 2253485709253505985569280, 1815307910203405333954560, 0, -2202142884492907750883328, 149112370622144542435500, 0, -1639380286501552064552628, -1511343487112727567237120, 0, 700733037538202911506432, 1960177034445679477815564, 0, -2807721444220262662690836, 543490672792362345824256]