# Trace form for 1584.4.a.bb, downloaded from the LMFDB on 30 April 2026.
[0, 2, 0, 0, 0, -8, 0, -36, 0, 0, 0, -22, 0, 60, 0, 0, 0, 92, 0, -44, 0, 0, 0, -24, 0, 342, 0, 0, 0, -100, 0, -264, 0, 0, 0, 704, 0, 36, 0, 0, 0, -188, 0, 12, 0, 0, 0, 448, 0, 522, 0, 0, 0, -688, 0, 88, 0, 0, 0, 24, 0, 84, 0, 0, 0, -800, 0, 352, 0, 0, 0, -304, 0, -1156, 0, 0, 0, 396, 0, 1932, 0, 0, 0, -968, 0, -2608, 0, 0, 0, -1312, 0, -1640, 0, 0, 0, -2064, 0, 84, 0, 0, 0, 460, 0, 864, 0, 0, 0, 1128, 0, 988, 0, 0, 0, -2136, 0, 1776, 0, 0, 0, -3896, 0, 242, 0, 0, 0, -4848, 0, -1300, 0, 0, 0, -1848, 0, -1448, 0, 0, 0, -2248, 0, 1300, 0, 0, 0, -660, 0, 1520, 0, 0, 0, 1972, 0, 764, 0, 0, 0, -64, 0, 4796, 0, 0, 0, 2112, 0, -4968, 0, 0, 0, -4512, 0, -2034, 0, 0, 0, -1092, 0, -10636, 0, 0, 0, -336, 0, 2500, 0, 0, 0, 7696, 0, -1012, 0, 0, 0, -752, 0, 3844, 0, 0, 0, -2676, 0, 296, 0, 0, 0, 2920, 0, -7088, 0, 0, 0, 484, 0, 4276, 0, 0, 0, -14608, 0, 3632, 0, 0, 0, 5000, 0, 5120, 0, 0, 0, -4008, 0, 828, 0, 0, 0, -4284, 0, -1232, 0, 0, 0, 3712, 0, -4660, 0, 0, 0, -22248, 0, 920, 0, 0, 0, -13328, 0, 264, 0, 0, 0, 144, 0, 7192, 0, 0, 0, 5312, 0, -1168, 0, 0, 0, -13456, 0, 9540, 0, 0, 0, -3762, 0, -6212, 0, 0, 0, 12404, 0, -4452, 0, 0, 0, -4456, 0, 3366, 0, 0, 0, -5708, 0, 9984, 0, 0, 0, -2400, 0, -14776, 0, 0, 0, -17696, 0, -5452, 0, 0, 0, 7064, 0, 3164, 0, 0, 0, -1768, 0, 1100, 0, 0, 0, 6936, 0, 14740, 0, 0, 0, -7504, 0, 14120, 0, 0, 0, 9792, 0, -2660, 0, 0, 0, 2904, 0, -17208, 0, 0, 0, -16824, 0, 8676, 0, 0, 0, -12816, 0, 14096, 0, 0, 0, -1328, 0, -3790, 0, 0, 0, 6864, 0, -6352, 0, 0, 0, 8464, 0, -4572, 0, 0, 0, -4120, 0, -14040, 0, 0, 0, -12840, 0, -7744, 0, 0, 0, -18328, 0, -7824, 0, 0, 0, -17248, 0, 1460, 0, 0, 0, -5304, 0, -6800, 0, 0, 0, -396, 0, 9676, 0, 0, 0, 9648, 0, -10688, 0, 0, 0, -7968, 0, -10828, 0, 0, 0, 33652, 0, -18872, 0, 0, 0, 3152, 0, 10364, 0, 0, 0, -6192, 0, -12780, 0, 0, 0, 28584, 0, 23168, 0, 0, 0, 15264, 0, 2068, 0, 0, 0, 33440, 0, 25692, 0, 0, 0, -8124, 0, 15984, 0, 0, 0, 6808, 0, 4864, 0, 0, 0, -132, 0, 10396, 0, 0, 0, -128, 0, -6760, 0, 0, 0, -16016, 0, 16008, 0, 0, 0, -15528, 0, -9080, 0, 0, 0, 18352, 0, -13920, 0, 0, 0, 14896, 0, -26480, 0, 0, 0, -3328, 0, 23048, 0, 0, 0, 5504, 0, -4928, 0, 0, 0, 19320, 0, -3988, 0, 0, 0, -7664, 0, -19006, 0, 0, 0, 2200, 0, -4512, 0, 0, 0, -5742, 0, -8884, 0, 0, 0, 31328, 0, -30612, 0, 0, 0, -2280, 0, -44296, 0, 0, 0, 9604, 0, 14920, 0, 0, 0, 7416, 0, 15264, 0, 0, 0, 24412, 0, 9884, 0, 0, 0, -17544, 0, 19572, 0, 0, 0, 2864, 0, 7568, 0, 0, 0, -17944, 0, 10288, 0, 0, 0, 21844, 0, 81664, 0, 0, 0, -25368, 0, -31372, 0, 0, 0, -968, 0, -11956, 0, 0, 0, 12880, 0, -11228, 0, 0, 0, 56632, 0, -19416, 0, 0, 0, 41536, 0, 20322, 0, 0, 0, -29704, 0, 22168, 0, 0, 0, -13280, 0, 35820, 0, 0, 0, 8976, 0, 6728, 0, 0, 0, 13112, 0, -264, 0, 0, 0, 19152, 0, -9408, 0, 0, 0, 25000, 0, -21940, 0, 0, 0, 33792, 0, 4560, 0, 0, 0, -924, 0, -7628, 0, 0, 0, -27524, 0, -17192, 0, 0, 0, 36320, 0, -10048, 0, 0, 0, -16720, 0, -9000, 0, 0, 0, 12720, 0, 22712, 0, 0, 0, -13884, 0, -32152, 0, 0, 0, -32920, 0, 43548, 0, 0, 0, -192, 0, 8800, 0, 0, 0, -20000, 0, -6592, 0, 0, 0, -26060, 0, -30744, 0, 0, 0, 58792, 0, -6228, 0, 0, 0, -3872, 0, -32740, 0, 0, 0, 5024, 0, 51472, 0, 0, 0, -20304, 0, 16872, 0, 0, 0, 38944, 0, -16300, 0, 0, 0, 39020, 0, 17496, 0, 0, 0, -9360, 0, 35268, 0, 0, 0, 3200, 0, -36184, 0, 0, 0, 35496, 0, 3344, 0, 0, 0, 26736, 0, -50068, 0, 0, 0, 45168, 0, 19880, 0, 0, 0, 16760, 0, 18368, 0, 0, 0, 12716, 0, -45408, 0, 0, 0, -51124, 0, 43204, 0, 0, 0, 15392, 0, 57976, 0, 0, 0, -10564, 0, -9872, 0, 0, 0, 5112, 0, -1204, 0, 0, 0, 104652, 0, -35712, 0, 0, 0, -23640, 0, -41538, 0, 0, 0, -25464, 0, -4356, 0, 0, 0, 23088, 0, 58436, 0, 0, 0, 70828, 0, -11880, 0, 0, 0, -18936, 0, -119952, 0, 0, 0, -21252, 0, -640, 0, 0, 0, 130944, 0, 12180, 0, 0, 0, 25448, 0, -2320, 0, 0, 0, 6432, 0, 4920, 0, 0, 0, -12096, 0, 98784, 0, 0, 0, 10960, 0, -15968, 0, 0, 0, 70640, 0, -14408, 0, 0, 0, 21104, 0, 10648, 0, 0, 0, 16464, 0, 21668, 0, 0, 0, -22000, 0, -56564, 0, 0, 0, 35928, 0, 69156, 0, 0, 0, 28688, 0, -22812, 0, 0, 0, -95508, 0, -21264, 0, 0, 0, -320, 0, -36920, 0, 0, 0, -18084, 0, -30032, 0, 0, 0, 21424, 0, -22494, 0, 0, 0, 8144, 0, 4412, 0, 0, 0, -50248, 0, -5480, 0, 0, 0, -52472, 0, 14432, 0, 0, 0, -3784, 0, 51024, 0, 0, 0, -43824, 0, 66456, 0, 0, 0, -98624, 0, 29092, 0, 0, 0, 18040, 0, -39216, 0, 0, 0, 30816, 0, -13028, 0, 0, 0, -47920, 0, -59840, 0, 0, 0, 7560, 0, -54444, 0, 0, 0, 30572, 0, 67480, 0, 0, 0, 2160, 0, 23324, 0, 0, 0, 73304, 0, -70528, 0, 0, 0, 23864, 0, 22704, 0, 0, 0, -26472, 0, 55788, 0, 0, 0, -110064, 0, 28248, 0, 0, 0, -26640, 0, 40220, 0, 0, 0, -924, 0, -79516, 0, 0, 0, 13880, 0, 118532, 0, 0, 0, -14480, 0, -3696, 0, 0, 0, -68288, 0, -94104, 0, 0, 0, 37128, 0, 42356, 0, 0, 0, 55724, 0, -40408, 0, 0, 0, -4000, 0, -112960, 0, 0, 0, -90912, 0, -5060, 0, 0, 0, -148160, 0, -15732, 0, 0, 0, -40848, 0, -67912, 0, 0, 0, -66744, 0, -19508, 0, 0, 0, -9504, 0, -24288, 0, 0, 0, -28608, 0, 84944, 0, 0, 0, 17968, 0, -20432, 0, 0, 0, -67920, 0, 64812, 0, 0, 0, -57280, 0, 67592, 0, 0, 0, -72808, 0, 87696, 0, 0, 0, 27456, 0, -85056, 0, 0, 0, 72128, 0, -12408, 0, 0, 0, 54648, 0, 3012, 0, 0, 0, -1016, 0, -6280, 0, 0, 0, 102080, 0, -126848, 0, 0, 0, -10868, 0, 3204, 0, 0, 0, 4080, 0, -65504, 0, 0, 0, -104664, 0, 52372, 0, 0, 0, 39132, 0, -3504, 0, 0, 0, -20192, 0, 250542, 0, 0, 0, -96380, 0, 66220, 0, 0, 0, -58560, 0, 22724, 0, 0, 0, -62136, 0, 23496, 0, 0, 0, -29720, 0, 65916, 0, 0, 0, 103488, 0, 25312, 0, 0, 0, -10000, 0, 18200, 0, 0, 0, -19536, 0, 35640, 0, 0, 0, 40496, 0, -52544, 0, 0, 0, -38552, 0, 17936, 0, 0, 0, 12616, 0, -182016, 0, 0, 0, -35844, 0, -26944, 0, 0, 0, -159808, 0, -19628, 0, 0, 0, -15504, 0, 87512, 0, 0, 0, 6872, 0, 42856, 0, 0, 0, 38440, 0, 47072, 0, 0, 0, 133632, 0, -42644, 0, 0, 0, -86288, 0, -51964, 0, 0, 0, -2662, 0, 27536, 0, 0, 0, -19504, 0, 16960, 0, 0, 0, 126952, 0, -10576, 0, 0, 0, -44832, 0, -45672, 0, 0, 0, -104800, 0, 29952, 0, 0, 0, -62940, 0, -21280, 0, 0, 0, -4576, 0, 9102, 0, 0, 0, -44544, 0, 53328, 0, 0, 0, 88488, 0, 27100, 0, 0, 0, -10432, 0, 16472, 0, 0, 0, 33840, 0, -102768, 0, 0, 0, 14300, 0, -38612, 0, 0, 0, -53088, 0, -125776, 0, 0, 0, 15016, 0, 13712, 0, 0, 0, 70448, 0, -5640, 0, 0, 0, -66420, 0, 43456, 0, 0, 0, 92696, 0, -153612, 0, 0, 0, -28232, 0, 106304, 0, 0, 0, -33624, 0, 20328, 0, 0, 0, -219544, 0, 130852, 0, 0, 0, -84504, 0, -5396, 0, 0, 0, -60256, 0, -136956, 0, 0, 0, 15928, 0, -15248, 0, 0, 0, -70800, 0, -47316, 0, 0, 0, -76536, 0, -169928, 0, 0, 0, -18372, 0, 113840, 0, 0, 0, -86032, 0, 87868, 0, 0, 0, -63212, 0, 66720, 0, 0, 0, 20640, 0, -4424, 0, 0, 0, 324544, 0, 24728, 0, 0, 0, 7560, 0, -132032, 0, 0, 0, -113144, 0, -28584, 0, 0, 0, 135816, 0, 153244, 0, 0, 0, -14300, 0, -192244, 0, 0, 0, -126032, 0, 26560, 0, 0, 0, 29376, 0, -35704, 0, 0, 0, -182960, 0, 32892, 0, 0, 0, -48188, 0, 152624, 0, 0, 0, 28832, 0, -219840, 0, 0, 0, -212016, 0, -24072, 0, 0, 0, -122160, 0, 7260, 0, 0, 0, 79536, 0, 93356, 0, 0, 0, -154752, 0, 234992, 0, 0, 0, 31824, 0, -203624, 0, 0, 0, -16720, 0, -137348, 0, 0, 0, -47420, 0, 6376, 0, 0, 0, -36128, 0, -132620, 0, 0, 0, -51180, 0, -81504, 0, 0, 0, -63528, 0, 85404, 0, 0, 0, -189120, 0, -2140, 0, 0, 0, 147672, 0, 42288, 0, 0, 0, 20664, 0, -21692, 0, 0, 0, 98656, 0, 145376, 0, 0, 0, 66584, 0, -20520, 0, 0, 0, 24160, 0, 2484, 0, 0, 0, -8404, 0, -11916, 0, 0, 0, -12760, 0, 57596, 0, 0, 0, -178816, 0, -29408, 0, 0, 0, 20592, 0, -10410, 0, 0, 0, 118160, 0, 69320, 0, 0, 0, -42816, 0, -2540, 0, 0, 0, 79104, 0, 82096, 0, 0, 0, -38640, 0, 704, 0, 0, 0, -115104, 0, 18960, 0, 0, 0, 385792, 0, 119720, 0, 0, 0, -223512, 0, -10476, 0, 0, 0, -52756, 0, -71440, 0, 0, 0, 190924, 0, -3264, 0, 0, 0, 15904, 0, 145364, 0, 0, 0, -21824, 0, -63352, 0, 0, 0, 3904, 0, 130268, 0, 0, 0, 211904, 0, -40156, 0, 0, 0, 202712, 0, 212544, 0, 0, 0, -38920, 0, -23232, 0, 0, 0, -155024, 0, 39116, 0, 0, 0, -48400, 0, -51656, 0, 0, 0, -125568, 0, 37444, 0, 0, 0, 54648, 0, -345248, 0, 0, 0, -184032, 0, 172276, 0, 0, 0, 113720, 0, 21080, 0, 0, 0, -72712, 0, -272844, 0, 0, 0, -51744, 0, 51888, 0, 0, 0, 110480, 0, -215596, 0, 0, 0, -23328, 0, 117400, 0, 0, 0, -102272, 0, 49632, 0, 0, 0, -27296, 0, 60872, 0, 0, 0, -104736, 0, 219618, 0, 0, 0, -95672, 0, -155936, 0, 0, 0, 22374, 0, -121772, 0, 0, 0, 333568, 0, 30316, 0, 0, 0, -97752, 0, -30316, 0, 0, 0, 182588, 0, 17512, 0, 0, 0, 177808, 0, 78080, 0, 0, 0, -145788, 0, 23632, 0, 0, 0, 85280, 0, -238360, 0, 0, 0, 196488, 0, 12012, 0, 0, 0, 85832, 0, -32064, 0, 0, 0, -93340, 0, 32880, 0, 0, 0, 88440, 0, -125136, 0, 0, 0, 116996, 0, -49952, 0, 0, 0, -210952, 0, -126412, 0, 0, 0, -200, 0, 76536, 0, 0, 0, 4800, 0, -24688, 0, 0, 0, 33588, 0, 77352, 0, 0, 0, 135456, 0, -54848, 0, 0, 0, -67264, 0, -19080, 0, 0, 0, -299432, 0, 3696, 0, 0, 0, 131904, 0, 406532, 0, 0, 0, -19960, 0, 132776, 0, 0, 0, 77040, 0, 65972, 0, 0, 0, -27500, 0, -23932, 0, 0, 0, 220404, 0, 208876, 0, 0, 0, -50040, 0, 273216, 0, 0, 0, 233172, 0, -97616, 0, 0, 0, 67520, 0, -60300, 0, 0, 0, -11872, 0, -266668, 0, 0, 0, 147696, 0, -51068, 0, 0, 0, -24816, 0, -84656, 0, 0, 0, 252600, 0, 97960, 0, 0, 0, 233456, 0, 69504, 0, 0, 0, 64664, 0, -54412, 0, 0, 0, 11132, 0, 40960, 0, 0, 0, 65648, 0, -213312, 0, 0, 0, 91960, 0, -162856, 0, 0, 0, -49048, 0, -68864, 0, 0, 0, 177236, 0, 86528, 0, 0, 0, 28800, 0, -76884, 0, 0, 0, 100320, 0, 297312, 0, 0, 0, 216536, 0, 8272, 0, 0, 0, -199728, 0, 527292, 0, 0, 0, 71376, 0, 297532, 0, 0, 0, 62280, 0, -144560, 0, 0, 0, -42284, 0, -397728, 0, 0, 0, 152364, 0, -162380, 0, 0, 0, 411488, 0, -10556, 0, 0, 0, -134060, 0, 40936, 0, 0, 0, 20112, 0, -49704, 0, 0, 0, 75972, 0, -159328, 0, 0, 0, 14120, 0, 46252, 0, 0, 0, 128784, 0, 29436, 0, 0, 0, -81600, 0, 119552, 0, 0, 0, 53728, 0, 202912, 0, 0, 0, 141552, 0, 14688, 0, 0, 0, -3256, 0, -256312, 0, 0, 0, 155840, 0, -159240, 0, 0, 0, 14368, 0, 1920, 0, 0, 0, -262576, 0, -106734, 0, 0, 0, 123036, 0, -3456, 0, 0, 0, 259744, 0, 15356, 0, 0, 0, -367712, 0, -17808, 0, 0, 0, -48048, 0, -32120, 0, 0, 0, -192456, 0, -73524, 0, 0, 0, 21144, 0, 157344, 0, 0, 0, 91560, 0, -50292, 0, 0, 0, 77968, 0, -241528, 0, 0, 0, -178608, 0, 148112, 0, 0, 0, 20328, 0, 58676, 0, 0, 0, 19572, 0, -495480, 0, 0, 0, 97792, 0, 294828, 0, 0, 0, -27728, 0, -68788, 0, 0, 0, -115640, 0, 580, 0, 0, 0, -368, 0, -5324, 0, 0, 0, 96768, 0, 234096, 0, 0, 0, -138908, 0, 64976, 0, 0, 0, 186944, 0, -173520, 0, 0, 0, -47036, 0, -79440, 0, 0, 0, -107520, 0, -27248, 0, 0, 0, 79296, 0, -347552, 0, 0, 0, 23096, 0, 204804, 0, 0, 0, -122496, 0, 103656, 0, 0, 0, -62176, 0, -5640, 0, 0, 0, -42688, 0, 155400, 0, 0, 0, -11880, 0, 160688, 0, 0, 0, 16512, 0, 122580, 0, 0, 0, -68064, 0, 4652, 0, 0, 0, 170544, 0, -254996, 0, 0, 0, -39952, 0, -90684, 0, 0, 0, -290804, 0, 26272, 0, 0, 0, -35424, 0, 447658, 0, 0, 0, 252160, 0, 19280, 0, 0, 0, -260200, 0, 102520, 0, 0, 0, -77700, 0, -143376, 0, 0, 0, 380336, 0, 139804, 0, 0, 0, 232272, 0, -55000, 0, 0, 0, 170048, 0, 145412, 0, 0, 0, 105284, 0, -143288, 0, 0, 0, -1176, 0, -235984, 0, 0, 0, -56320, 0, -31968, 0, 0, 0, 44712, 0, -13536, 0, 0, 0, 199840, 0, -33968, 0, 0, 0, 391968, 0, -115276, 0, 0, 0, -12076, 0, 163136, 0, 0, 0, 10480, 0, -390368, 0, 0, 0, 107856, 0, -158032, 0, 0, 0, 272960, 0, 44088, 0, 0, 0, 235144, 0, -34708, 0, 0, 0, 93984, 0, 91800, 0, 0, 0, -326656, 0, -151424, 0, 0, 0, -9108, 0, -37900, 0, 0, 0, 275780, 0, 166780, 0, 0, 0, 182040, 0, -146728, 0, 0, 0, -261936, 0, -131928, 0, 0, 0, -165504, 0, 305072, 0, 0, 0, 168284, 0, -172636, 0, 0, 0, -456192, 0, 135748, 0, 0, 0, -120600, 0, 47124, 0, 0, 0, -132856, 0, -13344, 0, 0, 0, 156896, 0, 76064, 0, 0, 0, -95568, 0, 101440, 0, 0, 0, 13552, 0, 106320, 0, 0, 0, -114304, 0, -245196, 0, 0, 0, -38448, 0, 45792, 0, 0, 0, 125616, 0, -396480, 0, 0, 0, -111780, 0, 397576, 0, 0, 0, 173872, 0, -244164, 0, 0, 0, 184200, 0, 451864, 0, 0, 0, 174848, 0, -40832, 0, 0, 0, -38720, 0, 274816, 0, 0, 0, 135760, 0, -100280, 0, 0, 0, 35704, 0, 18828, 0, 0, 0, 51260, 0, 281840, 0, 0, 0, -231812, 0, 16588, 0, 0, 0, -31056, 0, -191360, 0, 0, 0, 36936, 0, -256904, 0, 0, 0, 192888, 0, 8636, 0, 0, 0, 212640, 0, 56444, 0, 0, 0, -319120, 0, 11860, 0, 0, 0, -152592, 0, 244728, 0, 0, 0, -103536, 0, 10552, 0, 0, 0, -404064, 0, -119584, 0, 0, 0, 284616, 0, -62292, 0, 0, 0, -10120, 0, 123788, 0, 0, 0, 231904, 0, -113292, 0, 0, 0, -71152, 0, -112552, 0, 0, 0, 306128, 0, 244992, 0, 0, 0, -24564, 0, 221240, 0, 0, 0, -189888, 0, -41628, 0, 0, 0, 152280, 0, 96480, 0, 0, 0, 137344, 0, 146608, 0, 0, 0, 889504, 0, 126620, 0, 0, 0, -210608, 0, 15456, 0, 0, 0, 360816, 0, 56600, 0, 0, 0, -2904, 0, -136976, 0, 0, 0, -21420, 0, -299700, 0, 0, 0, -499840, 0, -240628, 0, 0, 0, -413932, 0, 379440, 0, 0, 0, 347472, 0, -33642, 0, 0, 0, -35560, 0, -453024, 0, 0, 0, 150320, 0, 162720, 0, 0, 0, -419016, 0, -1584, 0, 0, 0, -280824, 0, 294004, 0, 0, 0, 342260, 0, 7488, 0, 0, 0, -158800, 0, -344048, 0, 0, 0, -79112, 0, -243668, 0, 0, 0, 585424, 0, 99692, 0, 0, 0, -94072, 0, 97992, 0, 0, 0, 1456, 0, -184808, 0, 0, 0, 40836, 0, 189216, 0, 0, 0, -447696, 0, -289088, 0, 0, 0, 450352, 0, -247632, 0, 0, 0, -356616, 0, -58432, 0, 0, 0, -204272, 0, 281280, 0, 0, 0, 51104, 0, -20416, 0, 0, 0, 171520, 0, -151744, 0, 0, 0, 12848, 0, -252876, 0, 0, 0, -39840, 0, -98504, 0, 0, 0, -138864, 0, -72280, 0, 0, 0, 408864, 0, 133376, 0, 0, 0, -131784, 0, 447048, 0, 0, 0, 279168, 0, -48136, 0, 0, 0, -79920, 0, -23356, 0, 0, 0, -274048, 0, 148016, 0, 0, 0, -276656, 0, 344944, 0, 0, 0, -77964, 0, 345176, 0, 0, 0, -1194856, 0, 3560, 0, 0, 0, -104940, 0, -289192, 0, 0, 0, -25280, 0, 646884, 0, 0, 0, 77304, 0, 580272, 0, 0, 0, 3088, 0]