# Trace form for 4.12.a, downloaded from the LMFDB on 19 April 2024.
[0, 1, 0, -516, 0, -10530, 0, 49304, 0, 89109, 0, -309420, 0, -1723594, 0, 5433480, 0, -2279502, 0, 4550444, 0, -25440864, 0, -7282872, 0, 62052775, 0, 45427608, 0, -69040026, 0, -141740704, 0, 159660720, 0, -519171120, 0, 711366974, 0, 889374504, 0, -1225262214, 0, -33606220, 0, -938317770, 0, 123214608, 0, 453557673, 0, 1176223032, 0, 1106121582, 0, 3258192600, 0, -2348029104, 0, -9062779932, 0, -3854150458, 0, 4393430136, 0, 18149444820, 0, -15313764676, 0, 3757961952, 0, 20619626328, 0, -2063718694, 0, -32019231900, 0, -15255643680, 0, 13689871472, 0, -39226037751, 0, 65570428908, 0, 24003156060, 0, 35624653416, 0, -29715508854, 0, -84980078576, 0, 73138203264, 0, -47916175320, 0, -23439626206, 0, -27572106780, 0, -152019999234, 0, 169857791672, 0, 267892297920, 0, -33993225612, 0, 120016223318, 0, -367065358584, 0, -11761206318, 0, 76688642160, 0, -153587737746, 0, -112388566608, 0, -189570934211, 0, 632235302424, 0, -139255564500, 0, -75467913856, 0, 17340809520, 0, 760244232060, 0, 224355090976, 0, -478352712240, 0, -683846748774, 0, -947422383916, 0, -63578737728, 0, 533314455480, 0, 726991473780, 0, -234035759268, 0, 1071599988366, 0, -894016742200, 0, -203124143718, 0, 1492529613120, 0, 455657155046, 0, -570758736312, 0, -359074721088, 0, -1455188276260, 0, -1681227381600, 0, -363036267144, 0, 1178615882799, 0, 405485514396, 0, -1791331859178, 0, 3059450018600, 0, 4676394444912, 0, -717419953908, 0, -1816822473490, 0, 1988741636328, 0, -7490694236220, 0, 705323508840, 0, 2239762784832, 0, 4656439752768, 0, -3544456173502, 0, -9365113527120, 0, 866061471006, 0, 522515672, 0, 7901902572816, 0, -3403949441904, 0, 12902011113420, 0, -648969441048, 0, -1407998382480, 0, 3512915200364, 0, -10639727185248, 0, 353873496600, 0, -6988383670016, 0, 1064878846104, 0, 3928935970188, 0, -13417135972960, 0, 5529460727475, 0, 6804356324508, 0, -6917214879874, 0, 7871912138880, 0, 7431603730362, 0, -1297449822240, 0, -7063973679552, 0, 12474725227344, 0, 6409841197394, 0, 12193271005140, 0, -4775962296690, 0, -7843117975736, 0, -33834341316528, 0, -18066327860700, 0, 2253466254240, 0, -12385628526960, 0, 29975357360898, 0, 35073237286096, 0, -6152087676834, 0, -13504181232744, 0, -11647460258460, 0, 15333202568664, 0, 28211620197942, 0, -30115579278160, 0, 43849720545216, 0, -19200369640500, 0, 8749240178702, 0, -12630372392736, 0, -50985087552054, 0, 15760397296772, 0, 24724746465120, 0, -60410328199056, 0, -29075766939629, 0, 12094847122296, 0, -10521953211330, 0, 95431072683960, 0, -14056210467360, 0, 12552714481968, 0, -1656921070880, 0, 78442319604744, 0, 40584204322740, 0, -56224086191476, 0, -87646620502752, 0, -19456679682648, 0, 26118948791594, 0, -46262819332080, 0, 32116037564358, 0, 21362364844920, 0, 17540504415792, 0, -10372746198888, 0, -106953790673350, 0, -61928371232088, 0, 6074973032832, 0, 26911117041428, 0, 63389199686166, 0, 161253942038280, 0, 43752773623154, 0, 6068782460088, 0, 43857408631680, 0, -75127910227280, 0, -39571339354560, 0, -91789174369980, 0, 110756993006630, 0, -78298752583152, 0, -6254192538846, 0, -217124665233840, 0, 57992500369728, 0, 20709026615736, 0, -95783718301083, 0, 97818602052876, 0, 21730957847820, 0, 205328535113936, 0, -109181890627326, 0, 54536218478928, 0, -165040661066962, 0, 71855871282000, 0, 118996974573444, 0, 119092025451428, 0, 38941443549696, 0, -49776505057152, 0, 160641927950400, 0, -2994616657980, 0, -193513207790754, 0, 16601321289744, 0, -392286023742960, 0, -144154346600160, 0, -40750205499466, 0, -115767226943616, 0, -15546232186830, 0, 244303426970176, 0, 413050177518030, 0, -220111169095080, 0, 361195246007114, 0, 352864922367384, 0, -446831301767328, 0, -690456616401240, 0, 488869950100656, 0, 311673503174364, 0, 262038534006206, 0, 10979530504272, 0, -141449424718050, 0, -190025034181232, 0, -275190259027680, 0, 381245413669776, 0, -290597562166894, 0, -375127600470480, 0, -33140301195168, 0, -55150686487768, 0, 40416070683357, 0, -124887220682652, 0, 312904308232620, 0, -552945593996856, 0, -182239655791806, 0, 379120634255880, 0, 461312638975200, 0, 894840227405280, 0, 277455380410202, 0, -103552323291216, 0, 50854981640310, 0, -4598856229648, 0, -770145280369920, 0, 285606814067820, 0, -755029853585504, 0, -235119092003736, 0, 10398436592400, 0, 282367677682100, 0, 98565388050438, 0, 632900805699744, 0, -1226107848184556, 0, 185282556081408, 0, 246819263949180, 0, -743315927441608, 0, 750877150550160, 0, -1260438550649100, 0, 157376877347052, 0, 290334284393400, 0, 1016630056475712, 0, 448549676457164, 0, 187326713846304, 0, 423495043422696, 0, 1600770591934020, 0, -608165795524284, 0, -969213472138746, 0, -101749586488976, 0, 206715786257952, 0, -1788602546306160, 0, -38125064007360, 0, 924327239335848, 0, -674209041592806, 0, 455642021850452, 0, -1578676209597600, 0, 323098218249408, 0, -899769533345543, 0, -807575256960588, 0, 2111854600477116, 0, 357948665694360, 0, 370188696216528, 0, -140339815179660, 0, 1149655554125414, 0, 937480396320840, 0, -1263770831538540, 0, -871516747100068, 0, -343439493161922, 0, -314162772071544, 0, 674965423055488, 0, 3865198225889520, 0, -680516490520170, 0, 57923479154680, 0, -363946930561440, 0, -884626418027124, 0, 123845502528540, 0, -1934000565275304, 0, -1858918585270230, 0, 174453115623908, 0, -2402722912428288, 0, -451922417569800, 0, -679199226574654, 0, 1828939385527032, 0, 3232884426880032, 0, -342256139902440, 0, 1617278878465380, 0, -334702485949932, 0, -644983136072576, 0, -446887719039096, 0, 1985417488681074, 0, 1183451606382240, 0, -269618086752, 0, 419215720932360, 0, -2532839410071670, 0, -1364594256513684, 0, 1996181937241830, 0, 943382780481056, 0, 1756437912022464, 0, -212371959061152, 0, -1267448139994114, 0, -6657437734524720, 0, 4351862573035578, 0, -1268505581899660, 0, -330843454330176, 0, -1465093448537616, 0, -1563559560111875, 0, 726527165359680, 0, -1621562439966948, 0, 3347764582856552, 0, -1812664243387824, 0, 794677132903680, 0, -781749283836762, 0, 1837394282461752, 0, -475533475034238, 0, 4599550884406652, 0, -182598724245600, 0, 4982166938035224, 0, 2804205366559440, 0, 3606005973728256, 0, -3595982119671114, 0, -8005371763591800, 0, -183895909103646, 0, -3261770403977556, 0, -294480694406002, 0, -2027330960617008, 0, -2362459107977280, 0, 502809672234672, 0, 6923242162047360, 0, 1192551234714360, 0, -3070228507817758, 0, 2818909138012200, 0, -4041569937884994, 0, -1155667330460624, 0, -3511047863446128, 0, -6601263252921036, 0, 7200906264590220, 0, 3569282878014984, 0, -1906504522005708, 0, 973448772421388, 0, -1359415152681120, 0, 9976357702635480, 0, 2792987667337428, 0, -3834707524866792, 0, 4393271584455750, 0, 3237035578636456, 0, 669484108275840, 0, -7495194042233136, 0, 1727319198028574, 0, 1219890756998448, 0, 1032279404421888, 0, -5615801216204400, 0, -6436958217309504, 0, -6550728469575696, 0, 8374668560596288, 0, -3307478057855304, 0, -4284125199372150, 0, -2686113921244792, 0, 657047070824157, 0, 76605445702440, 0, -379856499556186, 0, 2464396545092040, 0, 4738385066047920, 0, 1975569086472860, 0, 4047048875479776, 0, 7865792853310008, 0, -11283947877493980, 0, 5842915349562972, 0, -1676001995574048, 0, -5454290872913584, 0, 9322225176121200, 0, 9413996295366000, 0, -11463612353206354, 0, -1162788587187840, 0, -7250920774871958, 0, 5917279874470672, 0, 2138897233350540, 0, 15620553114115608, 0, 10629422183813378, 0, -15467284398223368, 0, -337767945383970, 0, -8795404013653600, 0, -18097790439625536, 0, -5575487090123016, 0, -6380124778409760, 0, -3136323237437808, 0, -4798069842634380, 0, 10533413874260012, 0, 6968157516095904, 0, -579874516302672, 0, 6642990604506052, 0, 6010089493365360, 0, 14407209517592934, 0, -280867945365216, 0, -2647919278471086, 0, 638555838297480, 0, 3781056813056640, 0, -14557196022138072, 0, 3252952648182906, 0, -3715978698543436, 0, 15539638907530560, 0, 15323132549017800, 0, -152923222161680, 0, -7572489821828784, 0, -17345071857972114, 0, -11335955986295896, 0, 9907390734498000, 0, 273854895148260, 0, -681354134168122, 0, -4514607932210232, 0, -1033885622718846, 0, 3822771893026320, 0, -6438941138956032, 0, -12582381424076712, 0, -7433984575625153, 0, 26308305176859864, 0, -12410825245873470, 0, -9346605340339144, 0, -8132365005134352, 0, -5180794616669328, 0, 17465116665230030, 0, -4269762466589880, 0, 142451115790986, 0, 14282820229199684, 0, 31171729350712896, 0, -25669052847728352, 0, 18862724477144340, 0, 15003095740848564, 0, -4235920030866240, 0, 26394712912965544, 0, -2088681651590454, 0, -6865856352108000, 0, -27547248605485738, 0, 5429327857046280, 0, -619011513320238, 0, -14565711418306228, 0, -49242433504923360, 0, 13784546611098216, 0, -3720870024756224, 0, 12137320600914420, 0, 560681173685952, 0, 7554432114651240, 0, -6477200672695488, 0, 9785781889418304, 0, -2521406358412164, 0, 854971272574080, 0, 19131140645849700, 0, -16051505041069612, 0, -13546350111742506, 0, -5368878644053968, 0, -20288802112713360, 0, -20941449430533840, 0, 37483081617486240, 0, 18234710042086856, 0, 29011628474801616, 0, -35539864221182832, 0, 44142294780052850, 0, 15135857958100248, 0, 13886574264210402, 0, 2063888791756812, 0, 10039646716246368, 0, -7427056548085200, 0, -34492183232562694, 0, -13477377576462504, 0, -3726794636423658, 0, 8923427870998608, 0, -23584702124280960, 0, 31840364955462156, 0, 3557013158666236, 0, -16571875383208728, 0, -2831167897007958, 0, -49032310596647040, 0, -11022980259978720, 0, -33716380101553296, 0, -5318049725989215, 0, -3029102341059708, 0, 37323123506976060, 0, 23265058980496856, 0, 5352337038626208, 0, 22697309315706516, 0, -46711713216594464, 0, 55188155987448600, 0, 19745596877953266, 0, 9194572749604680, 0, 10694525643643662, 0, -8327030168396664, 0, -9119627289693180, 0, -3134686084941312, 0, 244749798663840, 0, -27294705267720544, 0, -13886136393376848, 0, -5502090026160, 0, 38503727850961022, 0, 32315700039018192, 0]