# Trace form for 1143.3.b, downloaded from the LMFDB on 18 April 2024.
[0, 84, 0, 0, -160, 0, 0, 0, 0, 0, -48, 0, 0, 16, 0, 0, 360, 0, 0, 64, 0, 0, -8, 0, 0, -388, 0, 0, -120, 0, 0, -160, 0, 0, 192, 0, 0, -152, 0, 0, 208, 0, 0, -24, 0, 0, 56, 0, 0, 564, 0, 0, -80, 0, 0, 136, 0, 0, -136, 0, 0, 168, 0, 0, -736, 0, 0, 168, 0, 0, -608, 0, 0, 80, 0, 0, -32, 0, 0, -168, 0, 0, 528, 0, 0, 288, 0, 0, -392, 0, 0, 176, 0, 0, 176, 0, 0, -120, 0, 0, 832, 0, 0, -536, 0, 0, 360, 0, 0, -64, 0, 0, 488, 0, 0, -80, 0, 0, 40, 0, 0, -1548, 0, 0, 952, 0, 0, 0, 0, 0, -1072, 0, 0, -208, 0, 0, -1664, 0, 0, 184, 0, 0, 1008, 0, 0, 96, 0, 0, 1448, 0, 0, 944, 0, 0, -152, 0, 0, 640, 0, 0, -1400, 0, 0, 1328, 0, 0, -496, 0, 0, -244, 0, 0, 16, 0, 0, -1288, 0, 0, 408, 0, 0, 344, 0, 0, -176, 0, 0, -1048, 0, 0, 520, 0, 0, 1032, 0, 0, 0, 0, 0, 440, 0, 0, -1024, 0, 0, 1096, 0, 0, -1512, 0, 0, -904, 0, 0, -1280, 0, 0, -1072, 0, 0, 2136, 0, 0, 1080, 0, 0, -56, 0, 0, -464, 0, 0, 1648, 0, 0, 272, 0, 0, 56, 0, 0, 824, 0, 0, -720, 0, 0, -1416, 0, 0, 960, 0, 0, -496, 0, 0, 1976, 0, 0, 232, 0, 0, -480, 0, 0, 2024, 0, 0, -4632, 0, 0, -1360, 0, 0, 288, 0, 0, -1688, 0, 0, 4392, 0, 0, 936, 0, 0, -1060, 0, 0, -1940, 0, 0, -1852, 0, 0, 1856, 0, 0, 1812, 0, 0, 432, 0, 0, -1952, 0, 0, -2856, 0, 0, -192, 0, 0, -344, 0, 0, 2876, 0, 0, 2448, 0, 0, 2360, 0, 0, -1384, 0, 0, 620, 0, 0, 688, 0, 0, -112, 0, 0, -192, 0, 0, -2248, 0, 0, -888, 0, 0, -2936, 0, 0, 1320, 0, 0, -1304, 0, 0, -896, 0, 0, 396, 0, 0, 4172, 0, 0, -392, 0, 0, 656, 0, 0, 3256, 0, 0, 464, 0, 0, 180, 0, 0, -968, 0, 0, -288, 0, 0, -4136, 0, 0, -1808, 0, 0, 1360, 0, 0, 1920, 0, 0, 2488, 0, 0, -6824, 0, 0, -1992, 0, 0, -1096, 0, 0, 888, 0, 0, 3080, 0, 0, 144, 0, 0, 2140, 0, 0, -680, 0, 0, 1728, 0, 0, -216, 0, 0, -1168, 0, 0, 40, 0, 0, 3872, 0, 0, 664, 0, 0, -2540, 0, 0, -3336, 0, 0, -1048, 0, 0, -160, 0, 0, -1656, 0, 0, 2048, 0, 0, -2456, 0, 0, 4592, 0, 0, 3016, 0, 0, 2360, 0, 0, 5968, 0, 0, 2656, 0, 0, -2456, 0, 0, -2312, 0, 0, 2080, 0, 0, 416, 0, 0, -10296, 0, 0, -456, 0, 0, -4092, 0, 0, -3088, 0, 0, 1608, 0, 0, -2768, 0, 0, 0, 0, 0, -3376, 0, 0, 1048, 0, 0, -4216, 0, 0, 8768, 0, 0, 2920, 0, 0, -1012, 0, 0, 2028, 0, 0, 2096, 0, 0, -3096, 0, 0, 1568, 0, 0, -1728, 0, 0, 7888, 0, 0, -2568, 0, 0, 3296, 0, 0, -1400, 0, 0, -3344, 0, 0, -3696, 0, 0, 7408, 0, 0, 664, 0, 0, -2896, 0, 0, 3632, 0, 0, 536, 0, 0, 3968, 0, 0, -3232, 0, 0, -4520, 0, 0, -3112, 0, 0, 2752, 0, 0, -13164, 0, 0, 6224, 0, 0, 3336, 0, 0, 800, 0, 0, -2008, 0, 0, 7104, 0, 0, -4376, 0, 0, 472, 0, 0, 6424, 0, 0, -2224, 0, 0, 848, 0, 0, 5268, 0, 0, -10212, 0, 0, -1544, 0, 0, -9448, 0, 0, 3408, 0, 0, 4496, 0, 0, 2168, 0, 0, 2800, 0, 0, -856, 0, 0, -9240, 0, 0, -2800, 0, 0, -1024, 0, 0, 216, 0, 0, 3672, 0, 0, -2656, 0, 0, 3168, 0, 0, -392, 0, 0, 736, 0, 0, -2352, 0, 0, 1928, 0, 0, -7312, 0, 0, -160, 0, 0, 5408, 0, 0, 392, 0, 0, 3600, 0, 0, 23320, 0, 0, 5160, 0, 0, -1492, 0, 0, -6960, 0, 0, -616, 0, 0, -4352, 0, 0, 3528, 0, 0, -4352, 0, 0, 1728, 0, 0, 3408, 0, 0, 10272, 0, 0, -2296, 0, 0, -7496, 0, 0, -1976, 0, 0, -1328, 0, 0, -1736, 0, 0, -2340, 0, 0, -6336, 0, 0, -7624, 0, 0, 2088, 0, 0, -9912, 0, 0, -960, 0, 0, -5688, 0, 0, -112, 0, 0, -11920, 0, 0, 1280, 0, 0, 11640, 0, 0, 2192, 0, 0, 1136, 0, 0, -5192, 0, 0, 7232, 0, 0, 1896, 0, 0, 7584, 0, 0, -1576, 0, 0, 3888, 0, 0, 4872, 0, 0, 8976, 0, 0, 1096, 0, 0, -3800, 0, 0, 7912, 0, 0, -4952, 0, 0, 16, 0, 0, -19424, 0, 0, 3320, 0, 0, 576, 0, 0, 4640, 0, 0, 5012, 0, 0, -4524, 0, 0, 10096, 0, 0, 6408, 0, 0, -3448, 0, 0, 816, 0, 0, 7272, 0, 0, -4848, 0, 0, 4584, 0, 0, -2944, 0, 0, 3144, 0, 0, -8200, 0, 0, -5200, 0, 0, -2256, 0, 0, -12104, 0, 0, -3328, 0, 0, 4148, 0, 0, 0, 0, 0, -9392, 0, 0, -528, 0, 0, -12080, 0, 0, 7904, 0, 0, 7032, 0, 0, 280, 0, 0, -3288, 0, 0, -5288, 0, 0, 7080, 0, 0, 10416, 0, 0, -7280, 0, 0, 17064, 0, 0, -2704, 0, 0, 5728, 0, 0, 1896, 0, 0, -8592, 0, 0, -8960, 0, 0, 3368, 0, 0, 7992, 0, 0, -6000, 0, 0, 504, 0, 0, 2920, 0, 0, 4032, 0, 0, -1892, 0, 0, -10184, 0, 0, -448, 0, 0, 1896, 0, 0, -15152, 0, 0, 4208, 0, 0, 2576, 0, 0, 2360, 0, 0, 6808, 0, 0, 22260, 0, 0, -5928, 0, 0, 9000, 0, 0, -3720, 0, 0, -13720, 0, 0, 584, 0, 0, 6160, 0, 0, -1984, 0, 0, -4360, 0, 0, -10192, 0, 0, -1512, 0, 0, 24, 0, 0, 5792, 0, 0, 1576, 0, 0, -4512, 0, 0, -14384, 0, 0, 9712, 0, 0, 200, 0, 0, -2940, 0, 0, 13008, 0, 0, -3176, 0, 0, 9704, 0, 0, -10400, 0, 0, -3128, 0, 0, -5224, 0, 0, -2864, 0, 0, -1824, 0, 0, -1920, 0, 0, 13744, 0, 0, 9360, 0, 0, -7792, 0, 0, 11368, 0, 0, 22168, 0, 0, -8608, 0, 0, -12880, 0, 0, 6544, 0, 0, -984, 0, 0, -5672, 0, 0, 5232, 0, 0, -6240, 0, 0, -3912, 0, 0, 4416, 0, 0, 2048, 0, 0, 3112, 0, 0, -16688, 0, 0, 1592, 0, 0, 4968, 0, 0, 1616, 0, 0, -11032, 0, 0, -9656, 0, 0, 6184, 0, 0, -7480, 0, 0, 4168, 0, 0, 5248, 0, 0, 416, 0, 0, -1856, 0, 0, -14612, 0, 0, 8216, 0, 0, 8008, 0, 0, -6072, 0, 0, -6824, 0, 0, -5176, 0, 0, -5992, 0, 0, 6160, 0, 0, 9976, 0, 0, 1296, 0, 0, -10328, 0, 0, 4208, 0, 0, -13360, 0, 0, -7120, 0, 0, 12136, 0, 0, -1512, 0, 0, 7944, 0, 0, -10320, 0, 0, 26432, 0, 0, 11944, 0, 0, 10796, 0, 0, -3664, 0, 0, 11712, 0, 0, 13380, 0, 0, 1216, 0, 0, 10784, 0, 0, 13264, 0, 0, -4216, 0, 0, -21328, 0, 0, 2064, 0, 0, -11088, 0, 0, 3792, 0, 0, -11856, 0, 0, -944, 0, 0, 5608, 0, 0, -11344, 0, 0, -15832, 0, 0, -5648, 0, 0, 0, 0, 0, -3576, 0, 0, -10144, 0, 0, 912, 0, 0, 27896, 0, 0, -6096, 0, 0, -8968, 0, 0, 6888, 0, 0, -13096, 0, 0, -3072, 0, 0, 21832, 0, 0, -1368, 0, 0, 9672, 0, 0, 496, 0, 0, -2784, 0, 0, -1504, 0, 0, -30744, 0, 0, -7712, 0, 0, -10576, 0, 0, 10872, 0, 0, 696, 0, 0, -16, 0, 0, -1328, 0, 0, 904, 0, 0, -21612, 0, 0, 1816, 0, 0, 2720, 0, 0, 6440, 0, 0, -9952, 0, 0, -808, 0, 0, 21984, 0, 0, -16024, 0, 0, 7976, 0, 0, 14668, 0, 0, -3256, 0, 0, 15360, 0, 0, 5752, 0, 0, -1712, 0, 0, 25752, 0, 0, 3048, 0, 0, -11296, 0, 0, 8408, 0, 0, 112, 0, 0, 2416, 0, 0, 10104, 0, 0, -9408, 0, 0, 21116, 0, 0, -6408, 0, 0, -34912, 0, 0, 2808, 0, 0, 784, 0, 0, -2376, 0, 0, 1472, 0, 0, -10504, 0, 0, 18112, 0, 0, -560, 0, 0, 10920, 0, 0, -13792, 0, 0, 760, 0, 0, 5856, 0, 0, -1504, 0, 0, 5160, 0, 0, 11368, 0, 0, 4816, 0, 0, 23464, 0, 0, 12456, 0, 0, 3864, 0, 0, -16856, 0, 0, -3720, 0, 0, 4168, 0, 0, -22792, 0, 0, -16008, 0, 0, -20992, 0, 0, -7240, 0, 0, 8048, 0, 0, 3904, 0, 0, -34016, 0, 0, 5360, 0, 0, -11168, 0, 0, 2376, 0, 0, -18520, 0, 0, -11592, 0, 0, -12096, 0, 0, -992, 0, 0, -9432, 0, 0, 8128, 0, 0, 5120, 0, 0, -11968, 0, 0, -16568, 0, 0, 4344, 0, 0, 31128, 0, 0, -7256, 0, 0, -2876, 0, 0, 1336, 0, 0, 26536, 0, 0, -5344, 0, 0, 16880, 0, 0, 11304, 0, 0, 1048, 0, 0, -10288, 0, 0, 21400, 0, 0, 4512, 0, 0, -6864, 0, 0, 12136, 0, 0, 18296, 0, 0, -1384, 0, 0, -34480, 0, 0, 14824, 0, 0, 24088, 0, 0, 6536, 0, 0, 20544, 0, 0, 9880, 0, 0, 39264, 0, 0, 480, 0, 0, 15568, 0, 0, -5392, 0, 0, -10364, 0, 0, -3176, 0, 0, 8096, 0, 0, 7344, 0, 0, -20616, 0, 0, 3256, 0, 0, -23944, 0, 0, 10256, 0, 0, -23160, 0, 0, -11264, 0, 0, 9784, 0, 0, 0, 0, 0, -19888, 0, 0, -29480, 0, 0, -43096, 0, 0, 20208, 0, 0, -13912, 0, 0, -4304, 0, 0, -27744, 0, 0, -12536, 0, 0, 36520, 0, 0, 2940, 0, 0, 7280, 0, 0, 16720, 0, 0, -10040, 0, 0, 9512, 0, 0, -7416, 0, 0, -18008, 0, 0, -17392, 0, 0, 4608, 0, 0, -16560, 0, 0, -10992, 0, 0, 22080, 0, 0, -6656, 0, 0, 11088, 0, 0, 3264, 0, 0, -5592, 0, 0, -1784, 0, 0, 3096, 0, 0, -21536, 0, 0, 5376, 0, 0, 11728, 0, 0, -27464, 0, 0, 7360, 0, 0, 54720, 0, 0, -1952, 0, 0, 5088, 0, 0, 7784, 0, 0, -3496, 0, 0, -2504, 0, 0, 26004, 0, 0, -5384, 0, 0, 6832, 0, 0, -10528, 0, 0, 35792, 0, 0, 12032, 0, 0, 12864, 0, 0, -4216, 0, 0, -3472, 0, 0, -16864, 0, 0, 22080, 0, 0, 29776, 0, 0, -37824, 0, 0, 10488, 0, 0, -28056, 0, 0, -536, 0, 0, -2216, 0, 0, 29984, 0, 0, -20392, 0, 0, -5888, 0, 0, -12728, 0, 0, -16600, 0, 0, 18496, 0, 0, -152, 0, 0, 22648, 0, 0, 15320, 0, 0, 50708, 0, 0, -6132, 0, 0, -33576, 0, 0, 432, 0, 0, -7968, 0, 0, 9824, 0, 0, -33512, 0, 0, -13800, 0, 0, -6232, 0, 0, 23232, 0, 0, -800, 0, 0, -16672, 0, 0, 8392, 0, 0, -5456, 0, 0, -2496, 0, 0, -5760, 0, 0, -53608, 0, 0, -8120, 0, 0, -24752, 0, 0, -18400, 0, 0, 1968, 0, 0, 10424, 0, 0, -12472, 0, 0, -42064, 0, 0, -17816, 0, 0, 9936, 0, 0, 17568, 0, 0, -11128, 0, 0, 10472, 0, 0, 7952, 0, 0, -11200, 0, 0, 25816, 0, 0, -1672, 0, 0, 22168, 0, 0, -12160, 0, 0, 9720, 0, 0, 7544, 0, 0, -16544, 0, 0, 61080, 0, 0, 7264, 0, 0, 41368, 0, 0, -36120, 0, 0, 56360, 0, 0, 20216, 0, 0, -1784, 0, 0, 3368, 0, 0, 21480, 0, 0, 18392, 0, 0, -4376, 0, 0, 1888, 0, 0, 22912, 0, 0, -6144, 0]