# Trace form for 85.4.a, downloaded from the LMFDB on 11 August 2026.
[0, 16, 4, 0, 44, 10, 68, -12, -48, 116, 20, -12, -204, 8, -236, 0, 396, 68, -80, -444, 120, -192, -208, 100, 944, 400, -540, 576, -548, 556, -200, 136, -740, -152, 0, -260, -488, -788, 1224, -1056, 240, 392, 2020, -1120, 636, -390, -1160, -560, -2304, 2080, 100, 0, 1100, -1440, 1900, 0, -1928, 976, -1292, -876, 980, -92, -1736, 2252, 3372, 260, -656, 1976, 816, -184, 180, -632, -5732, 648, 1004, 0, -996, 424, -2340, 408, -320, 2208, 3036, 80, -4216, 170, 4008, -2072, -1244, 4084, 3080, -1152, 432, 2144, 892, 1520, 1660, -1528, -2656, -564, 1100, 472, 408, -2456, -332, -200, -844, 800, -6076, -308, -2640, 4584, 1504, 3288, -3048, 580, 1996, -2400, 1536, -680, -3980, 3696, 4488, 1584, 2756, 250, -14752, -11416, 5648, -7512, -520, 1940, 1324, -2672, 1648, 1320, -1836, -5920, 5236, -1332, -6180, -3376, 2940, -2808, 1584, -2100, -5476, 5584, -10500, -4936, 1700, -464, 12672, 748, 12808, 960, 4252, -2080, 18432, 4016, 6340, -6928, 2432, -9952, -4412, -120, -800, 1988, 12148, -5372, 1020, -608, 3284, -1868, 1948, -300, 15864, 8608, 14036, 8088, -10040, -3980, 10740, 12128, -23084, 1040, 3348, 1496, 8340, -11320, -2000, 11576, -17164, -768, -16824, -1580, 9252, -4884, -180, 1024, -1200, 2144, -7060, -8200, -3060, 580, -2512, -332, -14724, -7080, -10540, 9404, -5576, -16224, 13916, 5100, -116, -18344, -14328, 1860, 4500, -272, 8976, -4144, -13764, 2900, -9372, 15240, 32368, -1696, -3800, 25112, -32012, 8144, 3376, 4740, -21668, 2584, 272, -8496, 0, 4216, -3552, 16952, -2928, -2190, -11232, -4448, 3124, 22088, 500, -8512, 29712, 6632, 9596, 3060, 20332, 10560, -16420, -3144, 5100, 16956, 4452, 14584, -9704, -10540, -18352, -7592, 17068, -5940, -2200, 16888, 7616, 6120, -17872, -300, 728, -13604, -18136, 136, 16040, 9476, -26692, 8928, 11584, 10960, -28332, -14272, -52168, 4624, -5780, -20180, 28244, -7128, 6128, 2640, -10308, 6792, 10600, 20224, -5100, -20832, 18136, -2120, 3300, -13460, -6324, 12848, -61852, -13936, -13680, -25640, 20252, -9760, -13128, -15700, 16420, -34396, 21160, 3776, 5160, 32032, 34796, 5440, 33028, 200, 4888, -1040, 81052, -4200, 7040, -8420, -21972, -28036, 32796, 16940, -43472, 3312, -2636, 8028, 2040, 9992, 31576, -4608, 61336, 16880, 19796, -6800, -7112, -3320, -5900, -34432, -17592, 31856, 8176, 720, 36196, -16320, -39424, -2568, 3380, 23636, -11388, -44696, -2076, 5260, -30036, -580, 4108, -29552, 4620, 23592, 39116, -31680, -68, 0, 77380, 37000, -24392, 5988, 1960, -14480, -15456, 20720, 19312, 3840, -40692, -36832, 52328, -2088, -17060, -6120, -51908, 9376, -37628, -3980, -90344, -34604, -37032, -20712, 9900, 6432, 5420, 504, -21568, 16370, 37368, 15720, 12988, 3228, -13740, 18896, -18100, 65376, 39012, 5700, -51932, -9120, -38896, 9116, 42800, -4048, -17620, -105672, -18404, 1700, 12884, 20720, -52916, 21760, 22800, 2064, -57804, 56400, 59464, -11240, 9712, 11536, 94376, 272, -9260, 77252, -13600, -12616, 41440, 740, 41196, 1160, -64900, 16920, -2000, 34872, 30916, 47872, -57552, 16960, -89656, 60112, -99380, -4284, -16880, 32400, -31996, -55608, 1492, -25920, 26080, -59328, -20740, -47520, 21120, -76072, -26584, -15512, 23552, -11100, -6392, 41768, -54888, 22392, -36560, -66704, 96068, 31400, -20340, -19180, 95660, -12356, 156544, 4192, 29640, -31300, 90152, 9996, -38044, -34560, -1128, 31768, 80020, -15204, 3000, -4064, 5800, -25876, -56852, 2460, -155776, 2136, -67428, -1992, 4080, 33272, 35996, 34896, -31544, 35540, 85572, 22664, 97200, 65760, -39880, -76352, -18556, 72040, 39744, -4800, 93100, 8908, 22700, 19648, -29880, 50672, -126736, -54512, 26012, 14160, 19992, 16272, 97496, 35044, 67260, -70412, -10336, -113160, -4488, -9900, 44304, -31368, -87388, -91340, -5200, -39144, 32420, -70320, 25600, 31880, -28572, -48856, 153676, 9448, -93920, -30056, -38328, -41336, 56100, -16660, -67728, 17012, 61680, 4356, 10460, 77636, 50292, 75424, -24328, 2500, 50584, 6200, 1156, -51552, -55760, 73648, 81288, 151840, -41620, 9700, -8844, 13800, -175744, -7328, 5320, -102304, -119724, -23832, -51120, 4760, -47824, 21072, -3036, -15760, 23600, 32440, 14964, 115168, -138632, -10110, -17220, -48492, 164632, -93800, -4000, 107788, 4624, -3624, -69480, -25560, 120096, -21768, -169148, 27844, 64000, -21312, 123116, 47528, 25596, 10000, -18260, -73848, -151864, -2244, -160, 73544, 36244, -161944, -52712, -6380, -16336, -20488, -81048, 39040, 64880, -9920, -143756, 30096, 11152, -71080, 8976, 55440, -140340, 34168, -13500, -157912, -21144, 53460, -2324, -10280, 114972, -46696, 136164, 1732, 11660, 43952, -25800, 28696, -37968, -26440, 74900, 81864, 188292, 130048, 27840, -59632, 153972, -107392, -33648, 14400, -154024, 33300, 19664, 103752, 12240, 7628, -35388, -77304, -60288, 61740, 116188, 7432, 155580, -72068, -47980, -123756, -176300, 269720, 37224, -38800, 261300, -13056, 13472, 10396, -13700, 96904, -118520, -101472, -37988, -1420, 102816, 150680, 143944, -4516, 73620, -86416, 40044, -140328, 11220, 1720, 190552, 32048, -169424, -67192, -139400, -68944, -22700, 28496, -5692, 13900, -168136, -55976, 124180, 25088, -50400, -16456, 27576, -112152, 37780, -46640, -273648, -2712, -4116, -28020, 1100, 51056, -64840, 26268, -172948, 55740, 106136, 94088, 40664, -18568, -5000, 52360, 111380, 270768, 36656, 31040, -299880, 45584, -69932, 49920, 38440, -101168, -139644, -61072, 122208, 7650, 10948, 47392, -90368, 85548, 116720, 85440, -52828, 121880, -100424, 3400, -205824, -63488, 123612, 116024, -43040, 66120, -55692, -192144, 167132, -52900, 87120, -10496, -207956, -43184, 48440, 20120, 159992, 62952, 86992, 67420, 42700, 42296, -360656, -680, -18500, 127728, -39192, -102352, 21524, -89400, -150004, -75552, -103004, -117032, 64120, -70948, 133552, 116928, 99792, -80960, -81600, 48488, -81096, -99168, -380, -275452, 46188, 25868, -36696, -3800, 248408, -6616, 164156, 43104, -51800, -968, 63404, 36380, 35216, -13380, 54176, 183608, 355356, -33112, -36620, -55468, -3932, -188264, 96152, 37110, -114232, -123596, -92168, 3708, 0, 14024, 51268, 6804, -9456, 153640, 272744, -78272, 201552, 141924, -19260, -10944, 19464, 170672, 237420, 1520, 244880, 0, -258228, 33944, -77720, 99624, -193008, -120776, -107768, -6500, 57044, 36156, 33148, -21528, 141280, -23992, -75212, -218768, -14348, -7440, 113152, 140820, -301560, -158168, -23140, -25988, -97996, -824, -8312, 54120, -386184, -127304, 68924, 1708, -12200, -27064, 51944, -114456, 31876, -18200, -296896, 34928, 225936, 66392, 17500, -7232, -43024, 182760, -31016, -6160, 14432, 84296, 72556, -96992, -121740, 23496, -37936, 219136, 39868, -19700, -25028, -131504, -423244, -133560, 143280, -288396, -206256, 1704, 151296, 26180, 200928, 40808, -95276, 126832, 183260, 166020, -67864, -18896, -38940, -102280, -84404, -94376, 209844, -50960, 30600, 237184, -49572, -71384, 15688, 40640, 165760, -96784, -191576, 116840, 150900, 63044, 7056, 33200, 2444, 12340, -82012, 33288, -410068, 23188, -52460, 94452, -104780, 824, -5676, -26400, -123600, -212688, -126332, 23608, 69640, -10084, -93856, 124796, -177640, -144200, -98600, 226944, -154520, -20368, -67180, -307040, 176608, 194272, -92472, -48280, 315612, 55708, 177668, 92712, 6000]