# Trace form for 12.15.c.a, downloaded from the LMFDB on 23 April 2024.
[0, 1, 0, -2187, 0, 0, 0, -1389022, 0, 4782969, 0, 0, 0, 88071962, 0, 0, 0, 0, 0, 1512529226, 0, 3037791114, 0, 0, 0, 6103515625, 0, -10460353203, 0, 0, 0, -23014293166, 0, 0, 0, 0, 0, -111626070166, 0, -192613380894, 0, 0, 0, 528051507962, 0, 0, 0, 0, 0, 1251159043635, 0, 0, 0, 0, 0, 0, 0, -3307901417262, 0, 0, 0, 6214599846074, 0, -6643649166318, 0, 0, 0, -11973142765462, 0, 0, 0, 0, 0, 17278443497906, 0, -13348388671875, 0, 0, 0, 38383122173618, 0, 22876792454961, 0, 0, 0, 0, 0, 0, 0, 0, 0, -122333892801164, 0, 50332259154042, 0, 0, 0, -11651694897022, 0, 0, 0, 0, 0, -181554565596574, 0, 0, 0, 0, 0, -82560107906854, 0, 244126215453042, 0, 0, 0, 0, 0, 421245464015178, 0, 0, 0, 379749833583241, 0, 0, 0, 0, 0, 970569860053394, 0, -1154848647912894, 0, 0, 0, -2100936370556972, 0, 0, 0, 0, 0, 1055778395752058, 0, 0, 0, 0, 0, 0, 0, -2736284828429745, 0, 0, 0, 2355113278757954, 0, 0, 0, 0, 0, 2023382846839418, 0, 0, 0, 0, 0, 1518633172942442, 0, 0, 0, 0, 0, 3819294104830155, 0, 7234380399551994, 0, 0, 0, -8477917480468750, 0, 0, 0, 0, 0, -11144273272619446, 0, -13591329863363838, 0, 0, 0, 0, 0, 14529660726737466, 0, 0, 0, -10633733625505918, 0, 0, 0, 0, 0, -3754744686332254, 0, 26185263228065394, 0, 0, 0, 0, 0, 0, 0, 0, 0, 11416039276365194, 0, 0, 0, 0, 0, 31967359522023652, 0, -37787955929920422, 0, 0, 0, 14266400147685842, 0, 29192926025390625, 0, 0, 0, -25574941734778774, 0, 0, 0, 0, 0, 0, 0, -83943888193702566, 0, 0, 0, -91122277589703646, 0, -50031545098999707, 0, 0, 0, 133211416516161412, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 155051067234117652, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 21073128773336882, 0, 267544223556145668, 0, 0, 0, -250224002298217462, 0, -110076650769889854, 0, 0, 0, -90410572611632998, 0, 0, 0, 0, 0, 168377826559400929, 0, 25482256739787114, 0, 0, 0, 0, 0, 0, 0, 0, 0, -733475161692393164, 0, 0, 0, 0, 0, -482000066333093302, 0, 397059834959707338, 0, 0, 0, 588344327485203602, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 537548596191406250, 0, 180558955992289698, 0, 0, 0, 686498758122537722, 0, -533904033195802854, 0, 0, 0, 640149744052518818, 0, 0, 0, 0, 0, -795820668013111292, 0, 0, 0, 0, 0, -777937365832208902, 0, -921263829801194286, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1488737973721274955, 0, -830512886046548067, 0, 0, 0, -190714462270323982, 0, 0, 0, 0, 0, -1638820860758420278, 0, 0, 0, 0, 0, 2179712822418264986, 0, -2122636283936772678, 0, 0, 0, 0, 0, 2525653992985499178, 0, 0, 0, 0, 0, 0, 0, 0, 0, 532786231128047258, 0, 4594747842408097764, 0, 0, 0, -2026913953172811692, 0, 0, 0, 0, 0, 696209258588407826, 0, 0, 0, 0, 0, 0, 0, -2308987351509750846, 0, 0, 0, 316126818784379882, 0, 0, 0, 0, 0, -8632215907393399628, 0, 0, 0, 0, 0, -4462802223279132958, 0, 0, 0, 0, 0, 4287863724226598786, 0, 5984254919775852315, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -5150632740643645398, 0, 0, 0, 8215115618081499314, 0, 0, 0, 0, 0, -8076168725889072334, 0, 0, 0, 0, 0, 16630958710367558164, 0, -4425138286037807166, 0, 0, 0, 9231745764160156250, 0, 0, 0, 0, 0, -9831127009869285692, 0, 0, 0, 0, 0, 5894524061592226658, 0, -3321250749225120654, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2794559535367563574, 0, 0, 0, 0, 0, 0, 0, -8352796207263548985, 0, 0, 0, -24000138144348387932, 0, -15821589933820210878, 0, 0, 0, 0, 0, 0, 0, 0, 0, 16641959661091882682, 0, 18541205529785156250, 0, 0, 0, 11592836324538749809, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -13527543936829561606, 0, 24372525647218728402, 0, 0, 0, 6517486797482829674, 0, 29724238411176713706, 0, 0, 0, -53315001127843221596, 0, 0, 0, 0, 0, 46506532343271961444, 0, 0, 0, 0, 0, 0, 0, -31776368009374838142, 0, 0, 0, -2648253596886622246, 0, 0, 0, 0, 0, -24613447602987418942, 0, 23255975438981442666, 0, 0, 0, 0, 0, 0, 0, 0, 0, -34809791029307069516, 0, 0, 0, 0, 0, 0, 0, 8211626629008639498, 0, 0, 0, -1638646448950274926, 0, -57267170679779016678, 0, 0, 0, -55146890768915418286, 0, 0, 0, 0, 0, 62245750687098751466, 0, 0, 0, 0, 0, 65306513088765945146, 0, 0, 0, 0, 0, 37252902984619140625, 0, 0, 0, 0, 0, 57270498816431628674, 0, -24966877897410679278, 0, 0, 0, 110192031746978061870, 0, 0, 0, 0, 0, -89786700651705312214, 0, 0, 0, 0, 0, 0, 0, -69912615274665726924, 0, 0, 0, 0, 0, 82642259618735962914, 0, 0, 0, -66459828376904442358, 0, 0, 0, 0, 0, 0, 0, -31200617122988936454, 0, 0, 0, -100073141273645623294, 0, -63844929217529296875, 0, 0, 0, 16184460549251292484, 0, 0, 0, 0, 0, 0, 0, 55932397573961178738, 0, 0, 0, 80912452487477671562, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -168837693509601671516, 0, 0, 0, 0, 0, -170916357885542484694, 0, 183585283479627511842, 0, 0, 0, 0, 0, 0, 0, 0, 0, 252183285814084410628, 0, 199284421088681873802, 0, 0, 0, -150414255843136949182, 0, 109418989131512359209, 0, 0, 0, 163598227829503780346, 0, 0, 0, 0, 0, 121801903847712530858, 0, -291333367920845008044, 0, 0, 0, 0, 0, 0, 0, 0, 0, -56434228167125389198, 0, 0, 0, 0, 0, -234099107758614585142, 0, 0, 0, 0, 0, 114677806204994156788, 0, 0, 0, 0, 0, -278367189653616861694, 0, 0, 0, 0, 0, -140468097937011718750, 0, -339096684041015304924, 0, 0, 0, 0, 0, 0, 0, 0, 0, 242602909269807984458, 0, 0, 0, 0, 0, 547332001488635177188, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -387857339816251882246, 0, -46086932627287760934, 0, 0, 0, 798693338625896697412, 0, -585119216917290575916, 0, 0, 0, 503723684507178662402, 0, 0, 0, 0, 0, -498089301656077206982, 0, 547239893026201589394, 0, 0, 0, 0, 0, 240737635233749110698, 0, 0, 0, 297558232675799463481, 0, 0, 0, 0, 0, -527480873343460580302, 0, 197727922301641366626, 0, 0, 0, -61448187999353354998, 0, 0, 0, 0, 0, -338702276706248733862, 0, 0, 0, 0, 0, 0, 0, -368242306685409831723, 0, 0, 0, -1054498174660344176444, 0, -55729695489914418318, 0, 0, 0, 517897041519948447578, 0, 0, 0, 0, 0, 262906392966611034122, 0, 0, 0, 0, 0, -1348142888151085440668, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1604110178621263849668, 0, 0, 0, 743690235101930717114, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 319457337854078119106, 0, 1054134145070475051474, 0, 0, 0, -681311463415527343750, 0, -868369859056879948206, 0, 0, 0, 1892414619872146776510, 0, 0, 0, 0, 0, -1255403399107188319822, 0, -1286709044210140277574, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1521746419166724311572, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -227286245290202016765, 0, 0, 0, 0, 0, 203182527012407192354, 0, 0, 0, 0, 0, -1466499418824315107276, 0, -1175618779870605468750, 0, 0, 0, 0, 0, -394882436755137569526, 0, 0, 0, 0, 0, 0, 0, 0, 0, 303685677320738993234, 0, -1501372784013989998014, 0, 0, 0, 1193734679462045450474, 0, 1167648120599220841698, 0]