# Trace form for 5390.2.a, downloaded from the LMFDB on 19 April 2024.
[0, 134, 0, -4, 134, -2, -4, 0, 0, 122, 0, 0, -4, -16, 0, 0, 134, 8, 0, -8, -2, 0, 2, 12, -4, 134, 4, -16, 0, -4, -4, -20, 0, -4, -8, 0, 122, 84, 0, 80, 0, 20, 0, 72, 0, 6, -20, -12, -4, 0, 0, -32, -16, -12, -16, 0, 0, 80, -16, 24, 0, -36, 40, 0, 134, 8, 0, 60, 8, 40, 0, -20, 0, -8, -24, -4, -8, 0, 0, 112, -2, 86, 0, 40, 0, -8, -32, 40, 2, 16, 0, 0, 12, 80, 28, -8, -4, 12, 0, 0, 134, 4, 8, -4, 4, 0, -24, -48, -16, 68, -6, 84, 0, 20, 28, 4, -4, -16, 24, 0, -4, 134, 8, -56, -20, -2, 0, 72, 0, -16, 4, 16, -4, 0, 4, 12, -8, -36, 16, -8, 0, 48, 0, 4, 122, -12, -4, 0, 84, -12, -4, 104, 0, 88, 0, 0, 80, 20, -64, -28, 0, 0, 96, 68, 20, 4, 0, 8, 0, 186, 4, 96, 72, -8, 84, 0, 0, -56, 16, -56, 6, 36, 0, 104, -20, 8, -16, 12, -12, 0, 12, 16, -4, 56, 48, 56, 0, -88, -6, 52, 0, 48, 40, 0, -32, -12, -12, -140, -16, 12, 0, 32, -12, 96, -40, 8, -16, 0, 16, 8, 0, -64, 40, 52, 0, 122, -8, 72, 80, -36, 4, 0, -16, -112, 60, -4, 24, 0, 0, 40, 0, 52, 0, 28, -36, 0, 128, 136, 40, 96, 0, 24, 0, -4, 176, 64, 134, -68, -8, 0, 8, 84, -24, -120, 0, -40, 0, -96, 60, -28, 152, -112, 8, 0, -72, 0, 40, -16, -56, -88, 0, 76, -80, -104, -20, 32, 8, 0, 0, -26, -28, -80, -8, -48, 0, -24, -24, -64, -40, -24, -4, 0, 32, -136, -8, 4, -100, -144, 0, 144, -16, -28, 0, -156, -48, 0, 112, -116, 104, -4, -2, 40, 0, -136, 86, -16, 68, -120, 0, 0, 4, 264, 40, 180, 68, 36, 0, 264, -64, -112, -8, 16, 32, 0, -32, 144, -100, -160, 40, -36, 0, 360, 2, 68, -136, 72, 16, 0, -128, -64, 0, 482, -48, -4, 0, -72, 180, -68, 12, 52, 16, 0, 80, 216, 8, 0, 28, -152, 0, 32, -8, 48, -88, 28, -4, 0, -120, 360, 12, 12, -48, -128, 0, -64, -140, 8, 0, 4, 24, 0, 134, -152, -48, 304, 4, 14, 0, 16, 8, -92, -24, -8, -4, 0, 204, -80, 4, -240, -40, 0, 0, 332, -112, 12, -24, 8, 0, 0, -48, -32, -40, -120, -16, -60, 0, 80, 68, 48, -8, 8, -6, 0, -176, -196, 84, 28, -12, 104, 0, -100, 0, -24, 20, -256, 24, 0, 28, -32, -128, -88, 4, 84, 0, 188, -4, -36, -128, 28, -16, 0, 148, -44, 24, -24, -24, -8, 0, -76, -16, 96, -4, -56, -128, 0, 134, 36, -52, 228, 8, -4, 0, -152, -56, -16, 72, 0, -20, 0, -72, -40, -2, 136, 112, 0, 0, -12, -4, -92, 72, -4, 44, 0, 0, 400, -56, -28, -16, 12, 0, -40, 4, -4, -184, 48, 16, 0, -36, 0, -4, -98, -16, 112, 0, -160, 104, 24, 4, 88, -80, 0, 12, 356, 56, 40, -8, 36, 0, -200, -36, -36, 2, -52, 16, 0, -60, 0, -8, -8, 184, 32, 0, 12, -88, 48, 48, -84, 48, 0, 0, 108, 24, 264, 4, -48, 0, 12, 122, -60, -160, 0, -12, 0, -168, 0, -4, 16, -164, 44, 0, -80, -16, 96, 84, -56, 12, 0, -12, 64, 8, -252, -4, 36, 0, 156, 104, -2, 104, 24, 0, 0, -44, -56, 88, -152, -80, -104, 0, 44, -48, 0, 0, 200, 112, 0, 80, 134, -48, -40, 20, 16, 0, -164, -64, 16, -208, 40, -28, 0, -4, -320, 0, -40, 16, -132, 0, 72, -88, 156, 96, 16, 4, 0, 68, 4, 96, -48, 20, 152, 0, 0, 4, -92, -120, 344, 0, 0, -72, -216, 8, -104, -28, -12, 0, 280, -64, -16, 186, 0, 24, 0, 4, -224, 8, -180, 96, 4, 0, -48, 72, -24, -120, 40, -8, 0, -136, -24, 84, -168, -112, 16, 0, -212, 104, -96, 0, 24, -40, 0, -56, -68, 40, 568, 16, 40, 0, 4, -56, 96, 8, 36, 6, 0, -176, -168, 36, -4, -4, 148, 0, -58, -68, 120, 104, 184, 92, 0, -20, -4, -184, -56, 8, 184, 0, -24, -16, -20, -12, 200, 12, 0, -4, 276, -12, 96, -48, 64, 0, -164, 40, 24, 12, 236, -160, 0, 16, -168, 92, 32, -4, 196, 0, -128, 56, -4, -128, -20, 48, 0, -64, -224, 56, -72, -64, -80, 0, 0, -212, -256, -88, -96, -64, 0, -6, 488, -160, -160, 52, 20, 0, -184, 0, 124, 16, 4, 48, 0, -296, -504, 40, -276, 32, -120, 0, 0, -40, -48, -32, 184, -96, 0, -12, 356, -120, 260, -12, -4, 0, -32, -140, 84, 16, -112, -16, 0, -144, 48, 12, 160, -16, 112, 0, 294, -192, 8, 32, -46, -4, 0, -12, -216, -8, 96, 96, 136, 0, 16, -40, -8, 56, 40, 8, 0, -40, 196, -16, -104, -32, -180, 0, -48, 64, -152, 16, -132, 8, 0, 8, 120, -8, -344, 0, -116, 0, 228, -64, -8, 4, -216, 40, 0, -96, -96, 52, 560, -180, 48, 0, -144, -176, -24, 122, 112, -44, 0, -8, -12, 16, -124, 72, -284, 0, 100, 80, 48, -104, -128, -36, 0, -400, -16, 4, 296, 48, 32, 0, 84, -212, -4, -16, 120, 40, 0, -112, -224, -132, 8, 60, -32, 0, -432, -4, 20, -280, 296, 24, 0, -24, -300, 0, 24, 0, -36, 0, -64, -280, 40, 40, 24, 112, 0, 0, 26, -96, -544, 52, 56, 0, -40, 0, -108, 8, -152, 28, 0, 116, 80, -36, 76, -128, 32, 0, 476, 40, 124, 128, -16, -8, 0, 136, -488, -18, 32, 40, 88, 0, -80, 96, 104, -376, 260, 0, 0, -200, 160, 24, 280, 128, -192, 0, -276, 64, -144, -4, 92, -28, 0, 176, -532, 112, -32, 64, 44, 0, -136, 134, 20, 36, 64, -68, 0, -36, 336, -8, 368, -20, 12, 0, -128, -152, 24, 8, -304, -64, 0, 84, -8, 152, -296, -24, -280, 0, -224, -120, -144, -60, 48, 0, 0, -80, -328, -40, -20, -184, -16, 0, -108, -104, -56, -96, -44, -40, 0, 60, -424, -152, 72, -28, -224, 0, -352, 152, -32, -24, -460, -112, 0, 56, 372, 8, 122, -40, 120, 0, -84, -80, -200, -72, -272, 96, 0, 0, -104, 96, -444, 40, 0, 0, -832, -16, -100, 32, 32, -56, 0, 12, -68, -88, 88, 128, -376, 0, -392, 48, 44, 76, 6, 48, 0, -80, 84, 40, -536, -104, -68, 0, -152, -20, -272, -16, -56, 32, 0, -104, -88, 8, 100, 208, -120, 0, -256, -20, -128, 0, 68, -48, 0, -26, -352, -168, 132, -28, 48, 0, 216, -80, -16, -24, -8, -8, 0, -36, -136, -48, -592, 60, -12, 0, -24, 8, -200, -24, 204, -96, 0, -24, -168, 76, -536, -64, 88, 0, -272, -40, 140, -256, 72, -24, 0, -208, 176, -4, 276, -104, -96, 0, 204, 108, 176, 32, -136, 0, 0, -136, -252, -52, 156, -8, 16, 0, -304, 4, -16, -8, -456, -100, 0, 68, -200, -144, -276, 48, 8, 0, -420, -80, 24, 144, 172, -208, 0, -16, 0, 48, 40, -28, -128, 0, 88, 0, 220, 0, -568, -156, 0, -80, -72, -48, -528, 48, -152, 0, 288, 64, 24, 112, -36, -100, 0, -116, 16, 56, -48, 104, 0, 0, -32, -4, -460, -80, 192, -2, 0, -16, -304, 40, -68, -212, 92, 0, -244, -72, -16, -136, 192, 44, 0, 86, -80, -8, -120, -16, -132, 0, -132, 68, 108, 24, 12, -120, 0, 68, -552, 0, -240, -28, 16, 0, -384, -176, -48, 4, -8, 176, 0, 264, -12, -120, 528, 40, -272, 0, 0, 180, 32, 264, -108, 68, 0, 128, 568, 36, -292, 20, 8, 0, -60, -152, -184, 264, -240, -16, 0, -64, -16, -12, 64, -112, 96, 0, -288, -8, 228, -328, 168, 16, 0, -92, -316, 32, -50, 40, -32, 0, -44, -64, 0, -32, 248, 192, 0, 144, -276, 48, -888, -100, -24, 0, 704, -160, -56, -8, 368, 40, 0, -232, -104, -36, -24, -56, 200, 0, -60, 80, -376, 360, 132, 156, 0, 2, 96, 96, 56, 68, -28, 0, 240, -136, 288, -208, 40, 72, 0, -392, 220, 16, 80, 168, -144, 0, 212, 16, -236, -128, 268, 16, 0, -64, -208, 48, -44, 0, 36, 0, -240, 482, -22, -440, -8, -48, 0, -16, -152, -4, -52, -4, 24, 0, -664, -48, -16, -72, 104, 192, 0, 180, 368, 156, 108, -68, -64, 0, -216, 12, -352, -12, 24, 52, 0, 16, -268, 16, 60, -16, -36, 0, -32, 4, 208, 80, 120, -76, 0, 216, -560, 24, -104, 8, -256, 0, -40, 0, 72, -160, 136, 28, 0, -56, -104, -152, -312, 16, -340, 0, -352, -176, -104, 32, 168, 24, 0, -8, -10, -72, 404, 48, -36, 0, -584, -88, 24, -4, 232, 28, 0, -256, -16, -4, -248, -104, 216, 0, 88, -456, 68, -120, -256, 120, 0, 360, -60, 40, -160, 12, 128, 0, 8, 12, 24, -240, 136, -48, 0, 184, -808, -128, 220, 260, 188, 0, -136, 40, 40, -64, -16, -192, 0, -140, 24, 360, 240, 8, 80, 0, -168, 0, 8, -272, -132, 4, 0, -48, 512, 24, -664, 64, 0, 0, -256, -128, 480, 134, -300, -96, 0, -152, 40, 40, -260, -48, 88, 0, -280, 304, 152, -48, -44, 4, 0, 408, -512, 14, 36, 208, -104, 0, 8, 72, -56, 16, 100, 44, 0, 8, 456, 64, -200, -92, 260, 0, -36, -24, -200, 296, -248, -8, 0, -396, -320, -4, 88, 0, 336, 0, -64, 32, 72, 204, 16, 80, 0, -80, 16, 120, 344, 4, -92, 0, -200, -240, -52, -96, 16, -40, 0, -160, 60, 0, -640, 296, 216, 0, 106, -560, 116, 332, -72, -96, 0, -112, -648, -96, 232, 12, 176, 0, -160, -24, -68, 168, 176, 8, 0, -120, -216, 0, 40, 12, -392, 0, -476, 88, 280, -48, 736, 136, 0, -32, 144, -208, -720, -40, 48, 0, 8, -120, 40, -36, 72, -16, 0, -12, -640, -60, -544, 44, 96, 0, -312, 296, 152, 80, -172, 136, 0, 68, -164, -24, -236, 48, -144, 0, 384, -8, 244, 12, 256, 8, 0, -480, -248, -6, -60, 112, -32, 0, -156, 4, 240, -176, -68, 112, 0, -196, -312, 24, -20, 84, 208, 0, -760, 28, 80, -78, 60, -12, 0, 144, -340, 104, -4, 120, -8, 0, -108, -96, 104, -100, -224, -16, 0, 0, 268, 16, 40, -24, -26, 0, 656, 20, 64, -88, -176, -256, 0, 188, 0, 24, -528, 88, 152, 0, -24, 120, -344, 28, -8, 16, 0, -32, 248, -8, -96, -128, -112, 0, -196, -88, -88, 88, 16, 4, 0, 136, 416, 84, -116, 184, -64, 0, 38, -24, 64, 188, -608, -116, 0, -4, -240, 192, -128, -36, 116, 0, -68, -128, -104, 688, -136, 28, 0, 8, 924, -16, 412, 100, -4, 0, 368, 536, -228, 148, 152, 112, 0, -44, -56, -280, 400, 24, -244, 0, 648, -24, 304, 76, 160, -24, 0, 608, -8, -8, 76, -120, 20, 0, 384, 216, -388, -76, 48, 56, 0, -16, -288, 96, 212, 96, 48, 0, 520, -4, -256, -224, -272, -56, 0, 568, -264, -128, -20, -20, -304, 0, 448, -100, 24, 134, 104, -320, 0, 36, 48, -248, 712, -52, 84, 0, 48, 228, -28, 0, 120, 8, 0, -272, 408, -4, 640, -76, 204, 0, -172, 544, -48, -152, 224, 100, 0, -56, 56, -108, 48, -16, -52, 0, 112, 72, 64, 448, -232, 0, 0, 136, 1008, -20, 76, -224, -64, 0, 136, -112, -104, -72, -368, -20, 0, -40, -88, -304, 248, -2, -56, 0, -316, 136, 12, 536, 388, 112, 0, 16, 616, 0, 88, 108, -24, 0, 324, -160, 288, -12, -560, -520, 0, -4, 86, -56, -100, -92, -76, 0, 816, 72, -80, -568, -40, -4, 0, 176, 324, 44, 504, 0, 56, 0, -4, -4, 64, 0, -108, 0, 0, 400, 392, 112, 632, -56, 8, 0, 440, -28, -172, 320, 384, -16, 0, -112, 336, 12, 84, -156, 88, 0, 104, 488, 40, -40, 80, -288, 0, 4, 316, 192, 492, -4, 48, 0, 648, -184, 20, 24, -192, 48, 0, 328, -72, 16, -944, 192, -24, 0, 328, 56, -136, -36, -124, 228, 0, 0, 16, -4, -200, -4, 52, 0, -148, -98, 224, 296, 48, -16, 0, 320, 68, 112, -8, -140, 184, 0, -164, -104, 384, -160, -96, 68, 0, 104, 292, 144, 376, 24, -180, 0, 468, 4, 32, -20, 112, 88, 0, -32, 360, -80, -240, -72, -8, 0, -704, 656, -272, 12, 440, 128, 0, 356, 172, -188, 92, 56, 292, 0, 232, 40, -216, -20, 40, -8, 0, 0, 168, 36, 536, -16, -360, 0, -216, 624, 136, -200, 80, 176, 0, -36, -360, 48, -320, -36, 160, 0, -504, 2, -188, 240, 244, -52, 0, 340, -288, 16, 134, 40, 112, 0, -648, -72, -12, -60, -576, 176, 0, 0, 1124, -76, 992, -8, 16, 0, 504, -8, -128, 300, 8, 184, 0, -108, 144, 32, -356, -320, -64, 0, 128, 344, 144, 12, 44, 92, 0, -88, -552, 0, -208, 48, -96, 0, -32, 48, 120, -440, -104, -84, 0, 448, 368, 48, -200, 68, -140, 0, 348, 104, -288, 0, 144, 424, 0, 108, -164, -280, 400, 24, 160, 0, 232, 264, -48, 80, 0, 4, 0, -152, -392, -48, 572, -136, 8, 0, -52, -256, -8, 12, 416, -8, 0, 122, 324, 376, 168, -60, 164, 0, 180, -160, -124, 176, -220, 0, 0, -528, 20, -12, 164, -168, -120, 0, 80, 168, 288, -168, -224, -156, 0, 0, -204, -112, -224, -4, 392, 0, 104, 16, -364, 128, -216, -164, 0, 984, 716, 44, -420, 28, -184, 0, 288, -72, 64, -80, -180, 72, 0, -16, 112, -144, -208, 96, 24, 0, -840, 84, 112, -24, -200, -56, 0, 96, -8, 12, -132, -192, -136, 0, 260, -104, -160, -12, -92, -96, 0, 64, -356, -88, -80, 8, 136, 0, 24, -252, 224, 44, -308, -4, 0, -72, -664, 36, 352, -384, 232, 0, 64, -200, 16, 156, -224, 252, 0, 104, -400, 152, -144, -2, -236, 0, -340, 104, 12, -168, -104, 24, 0, 292, -120, 0, -144, -108, -4, 0, -592, 792, 96, -44, -12, -64, 0, -56, -240, 124, -452, 88, -8, 0, 840, -152, 52, -344, -168, -80, 0, 400, -88, -104, 456, -16, 72, 0, 356, -360, -60, 44, -48, 96, 0, -48, -340, -88, 0, 0, -216, 0, -280, 0, 376, -320, 368, 200, 0, -12, 1624, 112, 892, -88, 216, 0, 928, -88, 128, 80, 16, 96, 0, 134, -112, -264, 40, -48, 120, 0, 408, -40, -48, 8, -484, 20, 0, -360, -48, 16, 944, 112, -88, 0, -404, -120, 92, -164, 4, -112, 0, -64, 572, -12, 240, 16, 48, 0, -224, -208, -272, 336, 160, 40, 0, 456, 904, -28, 20, 96, -488, 0, 828, 8, -168, -4, 328, -208, 0, -320, -228, 312, 816, 0, 88, 0, 156, -40, 160, 184, 512, 16, 0, 64, -368, -132, -448, 16, -4, 0, 352, -64, -184, 72, -248, -456, 0, -88, -12, 384, 192, 156, 240, 0, 32, 96, -400, -120, -56, 16, 0, 296, 56, 4, 270, -272, 608, 0, 340, 612, 8, 68, -172, 64, 0, 4, 592, -84, -216, 96, -160, 0, 696, -48, 372, 488, -760, 20, 0, -440, -632, 152, -136, -40, 312, 0, 468, 0, -264, 0, -304, 160, 0, 4, 208, -96, 40, -92, -2, 0, -312, -120, -188, -24, 88, 344, 0, -60, 416, 0, -472, 192, -112, 0, 56, 2, 420, -72, 160, 8, 0, -216, 880, -96, 184, 8, -116, 0, -48, -104, -172, 1080, -144, -28, 0, -80, 512, -12, -272, 392, 564, 0, -88, -112, 424, 280, -20, -568, 0, -64, 1504, -264, -224, -16, 144, 0, 688, 186, -20, 184, -204, 0, 0, -88, 328, 24, -480, -80, 184, 0, -64, 496, 40, 4, 524, -112, 0, -224, 68, -88, 416, 8, 8, 0, 320, -180, 384, 748, 64, 96, 0, -272, -72, 4, 92, -40, -40, 0, 100, -264, 168, -48, -188, -6, 0, 72, 76, 72, 104, -24, -160, 0, 1388, -120, -56, 632, -512, 40, 0, 588, -112, -8, -312, 36, 64, 0, -608, 32, 84, -136, 220, -112, 0, -24, 32, 112, 12, 84, -224, 0, 368, -168, -124, -200, -472, -112, 0, -88, -112, 16, -132, -360, -128, 0, -28, -16, 20, -212, -88, -112, 0, 104, -562, 64, -712, -96, 456, 0, 192, 0, 308, -48, 104, 24, 0, 432, 72, -40, 20, 64, 176, 0, 1336, 344, 132, -56, 320, -136, 0, -68, -352, -32, -540, 40, -444, 0, -132, 568, 60, 356, -256, 16, 0, 28, -496, 40, 188, -96, -104, 0, 56, -168, 272, 4, -60, 336, 0, -56, -224, -104, 1416, 96, -128, 0, 40, 8, 920, -544, 4, 36, 0, 168, -320, 6, 568, 48, 372, 0, 308, 1368, -212, -176, -264, -160, 0, -168, -24, 136, 80, 36, -484, 0, 184, -4, 368, -288, -128, -4, 0, 112, -96, 148, -308, 96, 224, 0, -128, -64, 8, -58, 400, -72, 0, -68, 752, 288, 272, 120, -16, 0, 60, 104, -80, 36, 944, 184, 0, -292, 40, 92, -48, 8, 456, 0, -512, 56, -96, -20, 136, 204, 0, -4, 600, 24, 944, -184, -68, 0, 376, -56, 268, 912, -64, 8, 0, -424, -476, 184, -168, -292, 336, 0, -60, 16, -104, -24, 624, 132, 0, -16, 1168, 192, -112, -20, 8, 0, 1360, -12, 36, 12, 328, 200, 0, -24, 8, 12, 416, 184, 168, 0, 1492, -280, 128, -4]