# Trace form for 3150.2.el, downloaded from the LMFDB on 16 April 2024.
[0, 3840, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 12, 960, -36, 8, 0, 0, 0, 0, -8, 0, 0, 0, -36, 0, 0, -12, 0, 0, 0, 0, -48, 0, 0, 0, 80, 0, 0, -4, 0, 0, 192, 0, 0, 0, 0, 16, 0, 0, 40, 0, 0, 0, -48, 12, 0, 16, 0, 0, 112, 0, -16, 0, 0, -144, -420, 0, 0, 8, 0, 0, 384, 0, -96, 16, 0, 0, 0, 0, 672, 60, 0, 0, 36, 0, 300, -144, 0, -8, 48, 0, 128, 0, 0, 48, 0, 0, 0, -28, 0, 0, 8, 0, 60, 36, 0, 0, 0, 0, 52, 240, 0, 0, 84, 0, 0, 8, 480, 0, -64, 0, 0, 160, -48, 0, 0, -48, 0, 0, 36, 0, -40, 0, 192, 0, 0, 20, -20, 48, 0, 0, 0, 0, 228, 0, 0, 0, 0, 0, -72, 120, -256, 0, 0, -16, 0, 0, 20, -112, -144, 0, -144, 0, -60, 4, 0, 20, 0, 0, 0, 0, 0, 0, -168, 0, 0, 0, 0, -144, -72, 0, 0, 0, 0, 0, -80, -192, 0, 0, -48, 0, -72, 0, 256, -80, 0, 32, 0, 0, -220, 120, 0, 120, -144, 0, 0, 24, 0, 40, -576, -120, 120, 0, -12, 160, 0, 0, 80, 84, 36, 0, 276, 0, -480, -72, 0, 0, 0, -48, 16, -600, 0, 0, 36, -36, 240, -12, 0, -296, -240, 0, -44, -40, 24, 0, 0, 0, 0, 112, 48, 0, 108, -960, -192, -72, 360, -56, -80, 0, 120, 0, 0, 0, 84, 0, 0, 52, 0, 36, 636, 0, 120, 0, 0, -132, -1020, 12, 0, -204, 0, 0, -96, 0, 124, -8, 0, -96, 80, 0, 408, -400, -36, 0, -216, 36, 0, 204, 0, -40, -192, 0, -160, 0, 0, -64, 0, 0, 0, 16, 0, 0, 172, 0, -184, -156, 0, 0, 0, 0, -120, 0, 180, 0, 288, 0, -120, -144, 0, -168, -204, 0, 360, 0, -252, 56, -780, 0, 0, -168, 96, 0, -396, 0, -352, -36, 0, 0, 240, 0, 120, 0, 0, 0, 40, 24, -280, -72, 480, 0, 12, 0, 568, -240, -180, 8, -660, 0, -360, 208, -84, 0, 480, 0, 0, 568, 0, 248, -60, -48, 240, 0, 24, 240, -252, 0, 0, 0, 0, 48, 188, 0, 48, 0, 0, 0, 0, 0, 320, 48, -36, 0, 168, 0, -176, 28, 0, 80, -360, 0, -68, 40, 192, 0, 108, 0, -600, 4, 0, 112, 252, 0, 0, 0, 24, -60, -240, 0, -160, -144, 0, 0, 136, 0, 0, -108, 0, 0, -120, 0, -392, 0, 0, 0, -612, 0, 0, 160, 0, 52, 336, 0, 136, 0, 768, -156, 180, 0, 0, -148, 0, 0, -240, 0, 384, -84, 480, 124, 80, 0, 80, 0, -288, 0, 100, -24, 0, 12, 0, -192, -556, 0, -456, 0, -180, 0, 0, -84, -40, -4, 0, -220, -612, 0, -716, -272, 0, 0, 160, 0, 0, -140, -144, 0, -12, 48, 1380, 204, 0, 0, -8, 0, 768, 60, 288, 216, -720, 0, 0, -488, 108, 0, -852, 0, -48, 0, 0, -528, 0, 36, -676, 300, 0, -40, -972, 108, -840, -32, 0, -1440, -968, 0, -456, 0, -36, -192, 0, 84, 0, 0, -36, 240, 12, 0, -224, -528, 0, -72, 40, 0, 0, -480, 0, 0, -112, -48, -560, -720, 0, 0, 516, 0, 152, 0, 36, 48, 0, 0, -40, -188, 24, 0, 580, 0, -180, -128, 120, 72, 0, 0, 120, 0, -888, 0, -124, 0, 0, 0, 0, 44, -108, 120, -12, 80, 0, 0, 80, 24, 0, -72, 0, 0, -24, 0, 184, 68, 0, 0, 0, 0, 172, 0, -144, 0, -328, 0, 0, 176, 0, -16, -696, -360, -216, 0, -24, -688, -340, 0, -120, -408, 0, 360, -708, 0, -612, 112, 0, 0, 120, -144, -136, 0, 228, 0, -168, 576, -460, -60, 0, -800, -72, 0, 404, 240, 0, 60, -520, 0, 0, 4, -264, 0, -336, 1920, 0, 504, 960, 48, -40, 0, -804, 0, 0, 120, -488, 0, 0, -120, 0, 0, 1160, -480, -488, 0, -672, 576, 0, -156, -160, -244, -288, 0, -444, 0, 1040, -472, 0, 180, 360, 0, -708, -140, -240, 0, 312, 120, 0, 48, 0, -248, 932, 0, -496, 0, 288, 144, 480, 0, 1080, -72, 0, 0, -480, 0, 372, 360, 0, 0, 0, 288, 600, 160, -144, 0, -48, 0, 0, 364, 0, 0, 124, 0, 0, -40, 168, 184, 0, 48, 0, 0, 0, 0, -72, 0, -820, 0, -1080, 392, -100, -48, 1068, 0, 504, 0, 84, 0, -680, 84, 0, 120, 0, 0, -680, 0, 0, -16, 0, 144, 0, -80, -48, 0, 344, 0, -12, -24, 0, 64, 0, 48, 0, 0, -360, 0, 660, 0, 0, -192, 0, -20, -340, 0, 0, 0, 0, 0, -340, 24, 400, -384, 0, 0, -372, 0, -608, 384, 0, -64, 0, 0, 1764, -240, 192, 0, 444, 0, 0, -152, -480, -600, 216, 0, 504, 0, -336, -40, 0, 0, 0, -576, 360, 360, 424, 0, 576, 248, 0, 120, -280, 0, 760, 0, 192, 0, -144, 12, -160, 856, 0, -40, 888, 0, -416, -160, 144, 0, -920, 0, 0, 840, -192, 0, -888, 0, -600, -84, 120, -528, 260, -144, 204, 0, 0, 0, -896, -96, 0, 124, 0, 264, -472, 0, 76, 0, 468, -360, 900, -96, 40, -32, 0, 80, -2220, 0, -488, 96, 0, -120, 260, -216, -432, 0, -288, -80, 336, -12, 0, 264, 0, 16, 472, -1260, -600, 0, 0, 224, -640, 36, 0, -1124, 0, 0, -532, 0, 1064, -36, 0, -708, -600, -36, -376, -440, -216, -80, 636, 0, -460, -16, 960, -480, -544, 0, -2868, -20, -192, -24, 0, -12, 0, 660, 48, 0, -852, 0, 752, -240, 0, 432, 0, -48, -276, -160, -252, 0, 188, -24, 440, -444, 0, 0, 780, 0, -488, 40, 36, -440, 0, 0, -400, -680, 108, 0, -828, 0, 0, -132, 0, 1936, 360, 48, -1836, 1020, -60, 0, -504, 0, 300, 0, 0, 104, 68, 0, -1212, -160, -252, -768, 640, 0, -40, -72, 144, 0, 612, 0, 756, 124, 0, 16, 0, 0, -524, 60, -360, 0, -396, 0, 0, -36, 0, 120, -1068, 0, 0, 0, 60, -344, -880, -108, 160, -84, 0, 160, -1172, 0, 0, -244, 0, 0, 180, 0, 1120, 0, -192, -240, 756, -24, -880, 80, 0, 76, -876, 0, -400, -20, -384, -36, 400, 864, -900, 376, -96, 0, -1140, 0, -3360, -264, 0, 212, 0, 0, -1272, -420, -684, 480, 464, 0, 600, 204, 0, 528, 176, 0, 104, 0, -108, 0, 0, 0, 0, -760, -144, 0, -1488, 0, 1104, 4, 0, 0, -80, 0, 0, 100, 144, 0, 936, -288, -2040, 228, 60, 72, 232, 0, -436, -720, 0, -124, 0, -144, 0, -8, 1260, -1080, 1956, 480, 544, -216, 720, -960, 0, -276, 88, -320, 0, 0, -348, 0, 980, 640, 0, 408, 400, 0, 432, 80, 180, -208, 0, 0, 0, 276, -456, 0, -1412, 0, 412, -24, 0, 780, -240, -144, 0, 0, 0, 0, -1188, 120, 0, 96, 0, -216, 84, 0, 448, 0, 108, 40, 0, 0, 0, -12, -192, 780, -364, 0, -96, 320, 960, 48, 0, 0, -516, 0, 420, -120, 104, 0, 3080, 276, 0, -64, 340, 0, -1452, 40, -2592, -360, 560, -36, 0, 1056, 252, 0, -36, -60, -1000, -16, 0, 544, 0, 0, 432, -560, 192, 0, -828, 0, 0, -56, 0, -608, 1308, -120, -612, 0, -336, -176, 120, 0, 0, -156, 0, 0, -144, 0, 1680, -72, 900, 0, -420, -48, -16, 900, 312, 0, -564, 0, 700, 564, 0, 1000, 48, 0, -1120, 0, -252, -1464, 0, 0, 0, 280, 240, 0, 1500, 0, 0, 312, -840, -492, -240, 0, 856, 0, 0, 0, -460, -96, 0, -372, 0, 0, -1944, 0, -1296, -360, -600, 168, 2160, 72, 0, -4, 288, 240, -852, 0, -332, 488, -960, 432, 20, 0, -768, 0, -72, 0, 1128, 252, 0, 348, 120, 56, 1160, 0, 264, 0, 0, 688, 280, 0, 0, 248, 324, 0, 248, 180, -968, 168, 0, 0, 600, 96, -648, 0, 0, 0, 48, 0, 2400, 68, -60, 0, -1056, 0, 0, 160, 48, -448, 0, 0, 0, 144, 732, 960, 444, 0, 176, -168, 0, 296, -160, 0, 372, 0, -648, 0, 720, 0, -380, 288, 0, 120, -1344, 0, 1272, -80, 0, 80, 0, -108, 40, 388, -384, 0, -540, 0, 912, -360, -480, -636, 0, 24, 0, 0, -300, 80, -184, 252, -320, -36, 0, 1856, 296, 0, 0, 0, 0, 0, 0, -144, -320, 12, -384, 0, 1260, 0, 392, 128, 0, 80, 60, 144, 316, 200, -120, 0, 576, 180, 0, 668, 120, -32, 636, 0, 156, 360, -312, 176, 1480, 0, -480, 360, 288, 160, -560, -60, 948, -48, 0, 480, 540, -84, -320, 0, 204, 0, -1476, -48, 0, -8, 0, 588, 2316, 0, -168, -160, 288, 0, 1620, 0, 0, 8, -384, 680, 1800, 0, -84, 720, -360, -128, 40, 216, -736, 0, 0, 0, 1056, 48, 3960, 32, 0, 240, 2312, -720, -928, 0, 864, 1608, -2220, 192, 0, 432, 0, 0, 2280, 0, 2948, 252, 0, 1236, 480, 0, 2016, 1200, -408, -240, 2172, 24, 0, -300, 0, 376, 1648, -1440, 1220, 0, 0, -48, 900, 312, 0, 208, 0, 0, 2440, 0, 256, 1416, -1200, 504, 0, -240, 1984, 0, 36, 0, 2328, 0, 220, 1188, 0, 0, -456, 0, 3516, -240, -312, -980, 0, 0, -480, -384, -540, 320, 568, 0, 280, -48, 0, 1740, -180, -36, 1956, 1440, -2592, 0, 156, -624, 1160, 1152, 0, 0, -2016, 0, -12, 0, -684, 416, 2940, 0, -200, -112, 1080, 0, -592, 0, 0, 600, 0, -80, 0, -528, -432, 0, -600, -360, 1308, 0, 0, 696, 0, -68, 2036, -120, -360, -100, 648, 432, 800, -12, 0, -1464, -324, 0, -1800, 0, -76, 52, 0, 1552, 0, 0, -540, 0, -240, 0, -84, 108, 1800, 92, -480, 288, 2352, 0, 0, 0, -636, 448, 120, 216, 0, 252, 0, -560, 1140, 0, 0, -960, 0, 0, -320, 336, 856, 0, -240, 0, -168, -24, 1680, 1020, 540, 120, 2220, -1440, -2684, -40, 96, -108, -720, 0, 0, 1620, 96, 0, -660, 0, 1836, -36, 0, -80, 120, 0, 2080, 0, 648, 0, 164, 48, 0, -96, 0, -732, 244, 0, 448, 0, -264, 0, 0, 120, -560, -108, 0, 520, 804, 0, -724, 1112, 0, 0, 80, 0, 0, -120, 768, 0, 192, 0, 0, 684, 0, 408, 188, 0, 736, 0, -684, -1728, 1420, 48, 0, -44, 360, 0, 2524, 0, 1060, -288, 0, 1104, 0, 0, 0, -1240, 0, -80, 936, 288, 0, 320, -240, 624, -1660, 0, -1104, 340, -120, -52, -960, -120, 0, 336, 252, 0, -1596, 0, -336, 564, 0, -364, 0, -240, 0, 0, 0, 0, 1380, 192, 2880, 156, 0, -156, 168, -720, 344, -220, 360, -160, 300, 0, -840, 680, 192, 0, -880, 0, -240, 148, 0, 816, 0, 0, -492, 0, -528, 0, -1532, 0, 0, 240, 0, 480, 344, 0, -36, -160, -360, -384, -20, -168, 560, -84, -276, 0, 2136, 0, 1296, -1516, 0, -48, 0, 0, -1588, 320, 168, 0, 1088, 0, 0, 696, 0, 1440, 1620, 0, -540, 0, 96, 1104, 0, 432, 0, 972, -36, 0, 556, 0, -1188, -580, 0, -552, 200, -24, 1448, -2160, 120, 0, -1152, 120, -520, -8, 0, 224, -276, 0, 984, 0, 24, 192, 380, 252, 0, 484, -276, 440, -564, -480, 0, 1080, -1140, 252, 380, 0, 588, -900, 0, -360, 2232, 180, 0, 1188, 0, 0, 464, -1200, 944, 0, 960, 1188, 0, -96, 0, 724, -144, -200, 1440, 180, -1392, -96, -2400, 96, 0, 0, 720, 0, -168, -80, -1836, -312, 0, -60, 0, -348, -984, 0, 2736, 0, 1728, -124, 200, -720, 0, 408, -360, -1920, -760, 0, -1676, 660, 0, 0]