# Trace form for 138.3.b.a, downloaded from the LMFDB on 16 April 2024.
[0, 8, 0, 0, 16, 0, 0, 0, 0, 24, 0, 0, 0, 16, 0, 0, 32, 0, 0, 0, 0, 0, 0, 16, 0, 72, 32, 0, 0, -144, 0, -128, 0, 0, 0, -112, 48, 0, 0, 48, 0, -16, 0, 0, 0, 0, -80, -112, 0, 40, -160, 0, 32, 0, 0, -64, 0, 0, 128, 80, 0, 0, -96, 0, 64, 0, 0, 0, 0, -72, -144, 32, 0, 64, 0, 48, 0, 224, -144, 0, 0, 72, 0, 0, 0, 48, 0, 96, 0, 0, 0, 0, 32, 192, -16, 112, 0, 0, 224, 0, 144, 464, 0, 0, 64, -48, 0, 0, 0, 0, 96, 0, 0, 0, 0, 96, -288, 48, 112, 112, 0, -56, 0, -480, -256, 0, 0, -96, 0, 0, 0, 160, 0, -240, 0, 0, 0, 0, -192, 512, -224, -384, -224, 0, 96, 0, 576, -336, 0, 0, 48, -224, 0, 0, -256, 0, 96, 0, 0, 0, 0, 656, 0, -160, -32, 384, 0, -768, 0, -728, 224, 0, 0, -560, -288, 0, 0, -192, 0, -1008, 0, 0, 0, 0, -160, 672, 192, -1088, -224, 0, 592, 0, 0, 240, 0, 0, 80, -240, 0, 0, -320, 0, 384, 0, 0, 0, 0, 48, 64, -960, 96, 1184, 0, 432, 0, 944, 0, 0, 0, 0, -128, 0, 0, 192, 0, 216, 0, 0, 0, 0, 256, 0, 256, 1424, 96, 0, 160, 0, 272, 640, 0, 0, 896, 0, 0, 0, 192, 0, -192, 0, 0, 0, 0, -544, -1056, 816, 128, -1520, 0, 352, 0, -432, -992, 0, 0, 176, 992, 0, 0, 592, 0, 1632, 0, 0, 0, 0, -144, 208, -928, -384, -288, 0, 96, 0, 64, -96, 0, 0, 0, -24, 0, 0, 128, 0, 432, 0, 0, 0, 0, 304, 96, 2016, -64, 672, 0, -1312, 0, -832, 448, 0, 0, -464, -288, 0, 0, -336, 0, -2224, 0, 0, 0, 0, -704, -1232, 144, -224, -1216, 0, 0, 0, 192, -640, 0, 0, -448, 1104, 0, 0, -448, 0, 96, 0, 0, 0, 0, -432, -64, -2320, 192, -144, 0, 144, 0, 1296, -1056, 0, 0, 288, -656, 0, 0, -1400, 0, 1344, 0, 0, 0, 0, 64, -48, 320, 1264, 384, 0, -160, 0, -32, 1024, 0, 0, 224, -480, 0, 0, 0, 0, -928, 0, 0, 0, 0, 896, 448, 1488, 128, -16, 0, -400, 0, -1680, 288, 0, 0, -640, 928, 0, 0, 3136, 0, 368, 0, 0, 0, 0, -240, -704, 128, -1344, 1472, 0, -96, 0, -1504, -336, 0, 0, -768, 800, 0, 0, 1040, 0, 0, 0, 0, 0, 0, -400, 768, 608, 192, 120, 0, -1280, 0, -1600, 2720, 0, 0, 144, -480, 0, 0, -1152, 0, -896, 0, 0, 0, 0, 192, 1616, 672, -192, -576, 0, -1024, 0, 96, 240, 0, 0, 224, -96, 0, 0, 224, 0, 192, 0, 0, 0, 0, -192, -112, -1024, 0, 0, 0, 1056, 0, 4560, -960, 0, 0, -192, -512, 0, 0, -352, 0, 1632, 0, 0, 0, 0, 1984, -384, -192, 2992, 1008, 0, 0, 0, 320, -1200, 0, 0, 320, 288, 0, 0, 384, 0, 320, 0, 0, 0, 0, -1400, -608, 240, -480, -1568, 0, 2624, 0, -1536, -448, 0, 0, 1584, 1760, 0, 0, -1088, 0, -544, 0, 0, 0, 0, -384, -176, -640, -1824, 1024, 0, -288, 0, -448, 480, 0, 0, -768, -2176, 0, 0, -448, 0, -288, 0, 0, 0, 0, 608, 192, -240, -2144, 240, 0, 0, 0, -704, 1152, 0, 0, 224, -672, 0, 0, -576, 0, -2192, 0, 0, 0, 0, -48, -1088, 96, -2096, -800, 0, -448, 0, 960, -2976, 0, 0, -1536, -1312, 0, 0, -1888, 0, -512, 0, 0, 0, 0, -216, 3792, -4528, 192, -808, 0, 1536, 0, 4576, -432, 0, 0, 1824, -2048, 0, 0, -1440, 0, 96, 0, 0, 0, 0, 1312, -336, 1488, 1840, 0, 0, -224, 0, -320, -336, 0, 0, -64, 192, 0, 0, 768, 0, -704, 0, 0, 0, 0, -64, -1536, -96, 1776, -1216, 0, 4720, 0, 144, -1456, 0, 0, 2656, 448, 0, 0, 608, 0, 4304, 0, 0, 0, 0, -1152, -3360, -1120, 672, 1104, 0, -576, 0, -3680, -480, 0, 0, -432, 3232, 0, 0, 1344, 0, -384, 0, 0, 0, 0, -1120, 1632, 256, -2016, -480, 0, -1104, 0, -144, 4384, 0, 0, -2672, -2112, 0, 0, 216, 0, 656, 0, 0, 0, 0, -320, 1344, 0, -2816, 1344, 0, -1392, 0, 384, 3664, 0, 0, -2176, -2144, 0, 0, -448, 0, -1472, 0, 0, 0, 0, 1344, 1184, 4368, 2112, 2560, 0, 144, 0, 3168, 0, 0, 0, 1248, 480, 0, 0, 384, 0, 288, 0, 0, 0, 0, 2144, 288, 160, 3712, 960, 0, -480, 0, 400, -2512, 0, 0, 1408, 3312, 0, 0, 2160, 0, -640, 0, 0, 0, 0, 256, -1472, -384, 768, -1360, 0, -3872, 0, -2880, -1408, 0, 0, 2032, 3744, 0, 0, 592, 0, 160, 0, 0, 0, 0, 96, 4144, 160, -2112, 128, 0, -1344, 0, -1920, 576, 0, 0, 192, -1000, 0, 0, 2368, 0, -48, 0, 0, 0, 0, -1408, 864, -352, -4672, 336, 0, -848, 0, -2016, 1888, 0, 0, -4432, 0, 0, 0, -1584, 0, -2624, 0, 0, 0, 0, -576, -2368, 0, 1504, 416, 0, -256, 0, 672, 960, 0, 0, -1536, -5040, 0, 0, -3168, 0, 384, 0, 0, 0, 0, 288, 128, 1152, 432, -5280, 0, 1872, 0, 928, -2880, 0, 0, 1392, -256, 0, 0, -3264, 0, -1440, 0, 0, 0, 0, 512, -2016, -960, 2784, 0, 0, 1664, 0, 512, -4496, 0, 0, 2848, 960, 0, 0, 192, 0, 2208, 0, 0, 0, 0, 640, 320, -144, 640, 4720, 0, -1024, 0, -1728, 544, 0, 0, -2336, 1280, 0, 0, 5392, 0, -2760, 0, 0, 0, 0, -1248, -6528, 1792, -1200, -896, 0, 0, 0, -4416, 2064, 0, 0, -2496, 6080, 0, 0, 2608, 0, 384, 0, 0, 0, 0, -3728, 288, -3616, -384, -2016, 0, -2032, 0, 528, 3712, 0, 0]