# Trace form for 42.5.h.a, downloaded from the LMFDB on 04 June 2024.
[0, 20, 0, 0, 80, 0, -64, 130, 0, 52, 32, 0, 0, -324, 0, 964, -640, 0, 576, 1030, 0, -1442, -1280, 0, -256, 22, 0, -3780, 544, 0, -128, -318, 0, 842, 1024, 0, 832, 2806, 0, 5542, -256, 0, 1632, -6644, 0, 1526, -3008, 0, 0, -8350, 0, -5266, -1296, 0, 7040, 49696, 0, -3840, 7904, 0, 3856, -15960, 0, -144, -10240, 0, 896, -12490, 0, -56932, -19904, 0, -4608, -23746, 0, 31738, 16480, 0, 5888, 15474, 0, 29788, -9984, 0, 7168, -39368, 0, 16084, -5120, 0, -30208, 16074, 0, -15176, 15360, 0, 2048, 102512, 0, 73276, -176, 0, 30944, -2066, 0, -39160, 10560, 0, -15120, -30394, 0, -143472, -3968, 0, -32768, -332, 0, 31342, 5888, 0, -2048, 406, 0, 50328, 2544, 0, 45248, -118188, 0, 35238, -41856, 0, 13472, 33254, 0, 15604, 4096, 0, -6496, 50012, 0, 93852, 88576, 0, 3328, -96532, 0, 1512, 44896, 0, -82944, -60364, 0, -87668, -46048, 0, -44336, -35456, 0, -9654, -4096, 0, -112896, -91496, 0, -102130, 10240, 0, 33792, 103024, 0, 103064, -26576, 0, 152320, 129692, 0, 102250, 131520, 0, -12208, 206748, 0, 7132, 24064, 0, 22208, -54100, 0, -73346, 199168, 0, 0, 97786, 0, 67656, -165904, 0, -117920, -263336, 0, 20048, -439936, 0, -84256, -102120, 0, -140450, 10368, 0, 319424, -53048, 0, 113240, -6912, 0, 112640, 314892, 0, 176072, 198784, 0, -129536, -453536, 0, -23508, 118592, 0, -15360, 241118, 0, -381338, 126464, 0, -337792, 313380, 0, 88816, -277888, 0, -30848, -20492, 0, -206640, -255360, 0, -304128, -363210, 0, -234868, 183456, 0, 127248, 21512, 0, 155918, -40960, 0, 832000, 202214, 0, 275648, 289088, 0, -7168, -234960, 0, 262284, 99920, 0, 110272, 154908, 0, -400736, 176000, 0, -227728, 408406, 0, 237640, -255488, 0, -284448, 4262, 0, -130666, -804096, 0, -73728, -329726, 0, -200056, 189968, 0, 630464, -241408, 0, 232364, 28224, 0, 507808, 480770, 0, 482614, 65920, 0, -100544, 707420, 0, -226368, 490368, 0, 23552, -70654, 0, -682514, 247584, 0, -614208, 52180, 0, -490620, -792640, 0, -238304, -819534, 0, 27944, -159744, 0, -779776, -138842, 0, -383872, -154240, 0, 149632, -1006812, 0, 504328, -157472, 0, 780864, 318964, 0, 340202, 826112, 0, -128672, 905528, 0, 762508, 40960, 0, 254272, 361096, 0, -321530, 924672, 0, -120832, 338916, 0, -526484, -256992, 0, -596992, -833438, 0, 674352, -982784, 0, -242816, -556930, 0, 41322, -122880, 0, 1054080, -202660, 0, 829150, -391104, 0, 32768, 92852, 0, 237878, 410048, 0, -114240, 1182008, 0, -50828, 965824, 0, 293104, -1018746, 0, -627466, -2816, 0, -732864, 249726, 0, -1774612, -1568192, 0, -247552, -274910, 0, 318334, -33056, 0, -516608, -124988, 0, 366326, 708032, 0, 457808, 72444, 0, 218190, 42240, 0, 178304, 2542176, 0, 132276, 813760, 0, 120960, 812092, 0, 2061616, 243152, 0, 512544, -654780, 0, -568982, 1125504, 0, -573888, -940860, 0, -2181204, -66560, 0, -944704, -292440, 0, 246050, -646656, 0, -524288, -568510, 0, 419648, 2656, 0, 922432, -3597124, 0, 1220658, -997760, 0, 501472, -842096, 0, 405378, 23552, 0, -20416, 1835180, 0, 1719372, 976512, 0, -8192, -53370, 0, -1122092, 6496, 0, -810592, -1011014, 0, -1898484, -124480, 0, -402624, -1396496, 0, -70862, 40704, 0, -263680, -894274, 0, 90544, -504576, 0, 627200, 2286728, 0, 309302, -472752, 0, 783488, 1009384, 0, 124662, 837504, 0, -281904, 3246696, 0, 217708, 334848, 0, 401504, -820418, 0, -152838, -713472, 0, 53888, 493042, 0, -2493988, -385744, 0, -768096, 659976, 0, 1200366, -7360, 0, 249664, 1857174, 0, -1418, -32768, 0, 1066496, -1141416, 0, 859138, 28736, 0, -103936, 2243982, 0, 774254, 200048, 0, -112000, 1618500, 0, 541996, -376448, 0, 375408, -1779352, 0, -1180518, 1417216, 0, -530656, -1496514, 0, 128940, -1260288, 0, -26624, -2044822, 0, -621264, -1544512, 0, -727680, -904728, 0, -781188, -676128, 0, 24528, -2474292, 0, 354968, 179584, 0, 979328, -1420408, 0, -424950, 990912, 0, 663552, 67924, 0, 101712, 482912, 0, 186304, 3023730, 0, 1880996, 946944, 0, -350672, 1697544, 0, 552384, -639232, 0, 12640, 61262, 0, 1144904, -733312, 0, -709376, -972818, 0, -471614, 283648, 0, 155200, 2845648, 0, -12432, -91872, 0, -154464, -956742, 0, -434336, -16384, 0, 64512, -4802228, 0, -3396616, 206336, 0, -451584, -1581008, 0, -2077880, -1463936, 0, -101760, 2652944, 0, 726864, -1347456, 0, 817040, 1692854, 0, -2258388, 163840, 0, 503616, -502040, 0, -181032, 2309504, 0, 165888, 3757156, 0, -1689002, 412096, 0, 1778560, 4668688, 0, 49458, -1627488, 0, -824512, -2442472, 0, 1154000, 212608, 0, -662464, 2308318, 0, 1466444, 606720, 0, 609280, 714624, 0, 5176700, 1207376, 0, 723776, 548378, 0, 148890, -1123200, 0, 1636000, 115912, 0, 830428, -1052160, 0, -1217888, -7167840, 0, 866568, 712640, 0, -195328, -6397738, 0, 1820874, 826992, 0, -383424, -721948, 0, -2827004, -1597120, 0, 28528, 4120518, 0, -2338760, 385024, 0, 340992, 325998, 0, 3557036, 4282944, 0, -177664, -802044, 0, -2728208, -865600, 0, -332544, -1386798, 0, -2255244, -817344, 0, -1859648, 5021832, 0, -2977730, 796672, 0, -549952, -1091024, 0, 66118, -1333184, 0, 0, -4422940, 0, 1521996, -782288, 0, -1656192, -367494, 0, 2110262, -2103040, 0, 270624, 66296, 0, 6181768, -792832, 0, 859648, 4002168, 0, 209622, 4754688, 0, -1886720, 2494332, 0, -969498, 2106688, 0, -2515008, 3883896, 0, -227178, 2208576, 0, 320768, 521924, 0, 1440466, -1759744, 0, 110720, -2335624, 0, -8778884, -2876992, 0, -337024, -3678970, 0, 987334, -1633920, 0, 3132640, -1750216, 0, 3386104, 408736, 0, 1123600, -1713658, 0, -1413384, 165888, 0, 843648, 2240288, 0, -1330322, -1239168, 0, 1336832, -2502932, 0, -3828880, -212192, 0, -3575808, -896362, 0, -2976928, -1226944, 0, -905920, -6831860, 0, 5883580, 55296, 0, -432768, 6719728, 0, 5489208, -2711808, 0, 450560, 2661044, 0, 1869532, 4878480, 0, 2864512, 3420342, 0, 2683164, 3454208, 0, 2817152, -786304, 0, 3612924, -1590272, 0, -4326336, 4674748, 0, 1312318, -250304, 0, -2072576, -9772530, 0, -2770082, -1814144, 0, 1290240, -4654200, 0, -6052968, -401536, 0, -94032, -6961764, 0, 2888144, 1897472, 0, 3346560, -590994, 0, 168140, 3657600, 0, 122880, 4380764, 0, -3400698, 3857888, 0, 2999168, 2453678, 0, -1022986, 1577216, 0, -3121472, 13140236, 0, -2120128, 505856, 0, -7435008, 5436880, 0, -5316242, -2132608, 0, 2702336, 7812148, 0, 2442272, -2507040, 0, -1371008, 886128, 0, 7285448, 2786048, 0, 355264, -4093098, 0, -648780, -1397248, 0, 2552640, 122892, 0, 4274648, -1152896, 0, -493568, 2060704, 0, 4071582, 163936, 0, -3927392, -17034044, 0, -2780630, -1066528, 0, -3306240, -6994502, 0, -2007350, -1021440, 0, 462784, -10430424, 0, -5441088, -2011392, 0, -1216512, 152248, 0, -4885980, -5811360, 0, 5055232, -4415726, 0, -4500384, 6677312, 0, 1878944, -1878938, 0, -3819018, 2935296]