# Trace form for 42.3.b.a, downloaded from the LMFDB on 19 April 2024.
[0, 4, 0, 0, -8, 0, -8, 0, 0, 20, -16, 0, 0, 40, 0, -16, 16, 0, 0, -64, 0, -28, 40, 0, 16, 12, 0, 0, 0, 0, 56, -128, 0, 40, 16, 0, -40, 80, 0, -112, 32, 0, 0, 80, 0, 112, -8, 0, 0, 28, 0, 16, -80, 0, -152, -32, 0, 0, -160, 0, 32, -56, 0, 0, -32, 0, 112, 240, 0, -8, -56, 0, 0, 120, 0, 224, 128, 0, -80, -128, 0, -124, 240, 0, 56, -248, 0, -160, -80, 0, -80, 112, 0, -280, 48, 0, -32, -360, 0, 224, -24, 0, 280, -160, 0, -56, 288, 0, 0, -72, 0, 0, 0, 0, 128, 544, 0, 200, -160, 0, -112, 60, 0, 240, 256, 0, 112, -320, 0, -336, -384, 0, -80, 0, 0, -304, -32, 0, -560, 480, 0, 48, -200, 0, 80, -208, 0, 0, -160, 0, -24, 0, 0, 560, -112, 0, 224, 200, 0, 288, -64, 0, 0, 560, 0, -56, 400, 0, 0, 172, 0, -320, -160, 0, -112, -224, 0, -160, -240, 0, -224, -536, 0, 560, 16, 0, 256, -640, 0, -28, 256, 0, 0, 320, 0, -384, -56, 0, 200, -352, 0, 112, 560, 0, -32, 984, 0, -1120, 160, 0, 112, -880, 0, -200, 24, 0, 304, 280, 0, 448, 64, 0, -160, -160, 0, 60, 32, 0, 0, -360, 0, -112, 320, 0, 448, 96, 0, 560, -280, 0, -64, -520, 0, 0, 112, 0, -504, -640, 0, 400, 0, 0, 0, 1160, 0, 448, 64, 0, -160, 0, 0, -224, -400, 0, -224, 576, 0, -240, -480, 0, 56, 352, 0, -280, -352, 0, 16, -160, 0, -640, 112, 0, 0, 480, 0, 256, -48, 0, 0, -276, 0, -224, -240, 0, -56, 128, 0, 760, -480, 0, -448, 336, 0, 560, -256, 0, 80, 0, 0, -840, -48, 0, 160, 360, 0, 224, 256, 0, 0, 1024, 0, 24, 560, 0, 248, -776, 0, 1120, -480, 0, 64, -688, 0, 400, 464, 0, -112, -200, 0, 32, 496, 0, 0, 0, 0, -1064, 560, 0, 320, -888, 0, -112, 160, 0, -448, -1184, 0, -280, 120, 0, 160, -420, 0, -1120, -224, 0, 112, 800, 0, -1008, -320, 0, 560, -1560, 0, 0, -96, 0, 0, -48, 0, 560, 840, 0, 64, 56, 0, 400, 720, 0, 1008, 2816, 0, -400, 64, 0, -448, 1240, 0, 448, 48, 0, -480, -160, 0, 1120, 112, 0, -560, -424, 0, -352, 320, 0, -40, -320, 0, 280, -640, 0, 112, -992, 0, 0, -576, 0, 784, -560, 0, -48, -992, 0, 0, -2680, 0, 896, 144, 0, -240, 1792, 0, 140, -960, 0, 0, -312, 0, -480, 0, 0, -896, -192, 0, -2240, -192, 0, -256, 3000, 0, 304, -1088, 0, -280, 1440, 0, -48, 256, 0, -400, -112, 0, 1680, 320, 0, 256, -192, 0, 0, 1080, 0, 224, 800, 0, 560, -120, 0, -872, -160, 0, 1344, -112, 0, -480, 880, 0, -160, -512, 0, 1120, -1104, 0, 464, -1440, 0, -224, 1736, 0, -2240, 640, 0, 496, -448, 0, 0, 1584, 0, 672, -240, 0, 560, 768, 0, -800, -640, 0, -84, -1848, 0, 160, -3492, 0, -896, 0, 0, -168, -1632, 0, 120, 1040, 0, 608, 1984, 0, 560, 64, 0, -224, -2960, 0, -280, 1016, 0, 1120, -560, 0, -320, -960, 0, 1120, 2144, 0, -1624, 640, 0, -96, 1184, 0, 0, 400, 0, -896, -80, 0, 840, 504, 0, -160, 600, 0, -2016, 416, 0, 720, -1440, 0, 2016, -912, 0, 0, 2048, 0, 64, 320, 0, 112, -448, 0, 0, 2160, 0, 48, -88, 0, 1200, 0, 0, -616, -1760, 0, 112, 1344, 0, -1120, -1160, 0, -2688, 224, 0, 320, 960, 0, -152, -1840, 0, -448, -372, 0, -640, -400, 0, -280, -544, 0, 1680, -1056, 0, -576, 280, 0, 1568, 128, 0, 1680, 1760, 0, -992, -256, 0, 0, 1696, 0, 896, -1120, 0, 144, 320, 0, 600, 0, 0, 112, -792, 0, -960, -800, 0, 0, -1280, 0, 2016, -736, 0, 0, 1040, 0, 224, -344, 0, -1120, 224, 0, -192, -2400, 0, 640, -1264, 0, -560, 320, 0, -1088, 3488, 0, -560, -456, 0, 224, 2040, 0, 256, 448, 0, -1520, -1280, 0, -336, -1296, 0, 320, -1336, 0, -640, 480, 0, -112, -96, 0, 1080, 2360, 0, 448, 840, 0, 0, 1072, 0, -120, 480, 0, -2860, 416, 0, -1120, 760, 0, -112, -32, 0, 1200, 1936, 0, 1792, 0, 0, -512, 1056, 0, 2240, 1280, 0, 672, -2528, 0, -1440, -1152, 0, 56, 520, 0, 2912, -512, 0, 640, -1120, 0, -1240, -32, 0, 0, -2664, 0, 1584, -640, 0, 1344, -2624, 0, -560, 800, 0, 768, -568, 0, -3040, 112, 0, -1120, 160, 0, -1848, 1632, 0, -400, -2800, 0, -2016, 704, 0, 0, -96, 0, -336, 1440, 0, -224, 1064, 0, 1040, -1120, 0, 496, 1536, 0, -280, 800, 0, 64, -1280, 0, 560, -1968, 0, 560, 960, 0, 1016, 448, 0, 2240, -4584, 0, 2016, -320, 0, -960, 2048, 0, -280, 0, 0, -224, -60, 0, 640, 1760, 0, 240, 1120, 0, -224, 2288, 0, 400, -1960, 0, -1792, -48, 0, 0, 3968, 0, 504, 2280, 0, -608, -280, 0, -1120, -560, 0, 416, 1952, 0, -1800, 128, 0, -896, 3000, 0, -912, -128, 0, 0, 2000, 0, 224, -3320, 0, 320, -560, 0, 2240, 320, 0, -2016, -96, 0, 2160, -4000, 0, -120, -576, 0, -560, -64, 0, 0, -2000, 0, -1232, -1008, 0, 0, -4240, 0, 1344, 720, 0, 280, -96, 0, 1120, 80, 0, 224, 240, 0, -800, -640, 0, -672, -448, 0, -1840, -3520, 0, -896, 4040, 0, 1792, -192, 0, -400, -4800, 0, -1064, -544, 0, -1120, -592, 0, -1056, 560, 0, 1440, 4704, 0, 2800, -80, 0, 128, 3052, 0, 3360, 1040, 0, 56, -1120, 0, -256, 992, 0, 0, -280, 0, 1904, -224, 0, -1120, 1536, 0, -360, 1320, 0, 1008, -992, 0, 0, 1280, 0, 224, 2144, 0, 3360, -784, 0, -800, 3800, 0, 0, 0]