# Trace form for 42.3.c, downloaded from the LMFDB on 25 April 2024.
[0, 4, 0, 0, 8, 0, 0, 8, 0, -12, 0, -24, 0, 0, -24, -24, 16, 0, 0, 0, 0, 12, -24, 24, 0, 28, 0, 0, 16, 120, 24, 0, 0, 0, 0, -24, -24, -80, 0, 96, 0, 0, 48, -128, -48, 0, -72, 0, 0, -20, 96, -24, 0, -216, 0, 0, -48, -24, 0, 0, -48, 0, 0, -24, 32, 240, 0, 176, 0, 0, 72, -120, 0, 0, 288, 0, 0, 24, -48, 128, 0, 36, 0, 0, 24, 216, -240, 0, -48, 0, 0, 0, 48, -144, 0, -240, 0, 0, -192, 72, 56, 0, -264, 0, 0, -120, -96, -168, 0, -8, 0, 0, 32, -360, 192, 0, 240, 0, 0, 552, 48, -268, 0, 168, 0, 0, 72, 224, 0, 0, -288, 0, 0, -360, -96, 72, 0, 120, 0, 0, -48, 336, 456, 0, -48, 0, 0, -240, -160, 504, 0, 16, 0, 0, 96, 0, 192, 0, 576, 0, 0, 264, 0, -496, 0, 72, 0, 0, 96, -188, -480, 0, -256, 0, 0, -232, -96, -336, 0, -408, 0, 0, -336, 48, -144, 0, -288, 0, 0, -36, 432, 24, 0, 112, 0, 0, -40, -600, 72, 0, 192, 0, 0, 240, -48, 504, 0, -72, 0, 0, 192, 256, -432, 0, 24, 0, 0, 720, 192, 48, 0, -336, 0, 0, -96, -84, -96, 0, -48, 0, 0, -216, 0, 840, 0, 576, 0, 0, 360, 600, -96, 0, 288, 0, 0, -528, -168, 576, 0, 384, 0, 0, -48, 72, -192, 0, 64, 0, 0, -1024, 480, -360, 0, -984, 0, 0, -96, -648, 352, 0, -72, 0, 0, 336, -768, -456, 0, 416, 0, 0, 144, -264, 96, 0, -240, 0, 0, 168, 0, -1796, 0, 528, 0, 0, 48, -1152, 576, 0, -480, 0, 0, 464, 432, 504, 0, 192, 0, 0, 48, 336, -288, 0, -96, 0, 0, 72, 256, -72, 0, -720, 0, 0, -288, 2064, 72, 0, -288, 0, 0, -528, 0, 1024, 0, 240, 0, 0, 48, 760, 768, 0, 432, 0, 0, 680, -480, -360, 0, 264, 0, 0, 24, -288, -96, 0, 480, 0, 0, 744, -504, -408, 0, -140, 0, 0, 0, -528, -96, 0, 96, 0, 0, -144, -288, -472, 0, -480, 0, 0, -144, -512, -480, 0, 600, 0, 0, -72, -288, 384, 0, -312, 0, 0, -384, 288, 192, 0, 144, 0, 0, -624, 112, 888, 0, 576, 0, 0, -720, -384, -528, 0, -672, 0, 0, -624, 216, 288, 0, -1392, 0, 0, -240, 128, 240, 0, -192, 0, 0, 144, -336, -432, 0, 1272, 0, 0, 864, -720, -16, 0, 624, 0, 0, 60, 2016, -2088, 0, -792, 0, 0, 64, -840, -288, 0, -720, 0, 0, 1344, 384, 1528, 0, 72, 0, 0, -360, 608, 480, 0, 864, 0, 0, 640, -480, 1008, 0, 1488, 0, 0, 1104, 648, -744, 0, 96, 0, 0, -360, -536, 816, 0, -656, 0, 0, 576, 792, 336, 0, -1632, 0, 0, -1608, 480, 544, 0, -816, 0, 0, 144, 360, 288, 0, 448, 0, 0, -1296, 0, 72, 0, 1920, 0, 0, 1056, 216, -576, 0, 0, 0, 0, 660, -888, -3456, 0, -1324, 0, 0, -720, -1680, -504, 0, -192, 0, 0, 696, 144, -1504, 0, -192, 0, 0, -672, -1744, 240, 0, -744, 0, 0, -1472, -1056, 1344, 0, 3000, 0, 0, -96, 936, -480, 0, 672, 0, 0, 72, 912, 2760, 0, -1264, 0, 0, -504, -696, -96, 0, -1056, 0, 0, -1344, 240, 1584, 0, -720, 0, 0, -480, 2016, 1632, 0, -320, 0, 0, 1872, 1008, 24, 0, -24, 0, 0, 288, -528, 32, 0, 648, 0, 0, 360, -288, -2496, 0, 152, 0, 0, 192, 216, -1248, 0, 0, 0, 0, 1656, 384, -452, 0, -432, 0, 0, -216, -640, 1152, 0, 3168, 0, 0, 2016, -720, 360, 0, 264, 0, 0, 528, 48, -144, 0, 0, 0, 0, 576, -992, 552, 0, 288, 0, 0, -1440, 2616, 144, 0, -432, 0, 0, -1776, -864, 720, 0, -216, 0, 0, 192, 1168, 576, 0, -376, 0, 0, -1008, -960, -1584, 0, -4104, 0, 0, 648, -864, -512, 0, 576, 0, 0, -72, 2184, -2976, 0, -1512, 0, 0, -464, -936, 144, 0, -192, 0, 0, -1800, -672, -56, 0, -384, 0, 0, -384, -576, -816, 0, -24, 0, 0, 2160, 768, 1200, 0, 840, 0, 0, -672, -108, 1152, 0, 96, 0, 0, -456, -288, -768, 0, 4112, 0, 0, 1104, 984, -576, 0, -1728, 0, 0, -408, 192, 976, 0, 192, 0, 0, -72, -3896, 1296, 0, 864, 0, 0, -592, 48, -648, 0, 3648, 0, 0, -288, -1656, 224, 0, 720, 0, 0, 1488, -1728, 1680, 0, -648, 0, 0, -80, 2880, 288, 0, -1200, 0, 0, -432, 144, -576, 0, 1008, 0, 0, 528, 1728, 384, 0, -2688, 0, 0, -792, 1728, 2328, 0, -792, 0, 0, 480, -624, -1248, 0, -96, 0, 0, 0, 1008, 3528, 0, -1120, 0, 0, 864, 3240, -144, 0, 192, 0, 0, 48, 192, -864, 0, 432, 0, 0, 384, 236, -1824, 0, 512, 0, 0, -1400, -864, -2376, 0, -3072, 0, 0, -96, 720, 48, 0, -288, 0, 0, 840, -1512, -264, 0, 360, 0, 0, 1440, -2496, 720, 0, 384, 0, 0, 96, 96, -2632, 0, 888, 0, 0, 576, -4832, -672, 0, 1656, 0, 0, 1024, 288, -216, 0, -96, 0, 0, -192, 1008, -2208, 0, -168, 0, 0, -1824, -192, 528, 0, -2720, 0, 0, -2016, -600, -96, 0, 576, 0, 0, -864, 792, 1936, 0, 648, 0, 0, -432, 2896, -1728, 0, 0, 0, 0, -864, 1680, -672, 0, 144, 0, 0, -1248, -1632, 1152, 0, -864, 0, 0, 360, 2208, 1032, 0, 864, 0, 0, 720, -3816, 288, 0, 1200, 0, 0, 2544, -192, -1340, 0, 504, 0, 0, 72, 3488, 576, 0, -576, 0, 0, 1008, -912, 96, 0, 888, 0, 0, -1056, 24, 2520, 0, -336, 0, 0, 384, 1152, 1392, 0, 3664, 0, 0, 1632, 1680, 768, 0, 3504, 0, 0]