# Trace form for 2394.2.a, downloaded from the LMFDB on 18 April 2024.
[0, 46, 2, 0, 46, -4, 0, 0, 2, 0, 4, -4, 0, 12, 0, 0, 46, 12, 0, 0, -4, 0, 0, 0, 0, 78, 12, 0, 0, 4, 0, 0, 2, 0, -4, -4, 0, 12, 0, 0, 4, 28, 0, -12, -4, 0, -24, 8, 0, 46, 14, 0, 12, 12, 0, 8, 0, 0, -8, 24, 0, 12, 8, 0, 46, 16, 0, 16, 12, 0, 0, -24, 0, -68, 0, 0, 0, -8, 0, -16, -4, 0, 20, -32, 0, 32, 0, 0, 0, -36, 0, 16, 0, 0, -8, 0, 0, 36, 2, 0, 78, 52, 0, -16, 12, 0, 16, 24, 0, -12, 0, 0, 0, -28, 0, 8, 4, 0, -48, 0, 0, 50, 60, 0, 0, -48, 0, 8, 2, 0, 32, 64, 0, 2, 8, 0, -4, 24, 0, -80, -4, 0, 12, -80, 0, 16, 36, 0, 12, 76, 0, -32, 0, 0, 0, 64, 0, 12, -60, 0, 4, 0, 0, -44, 28, 0, 16, -16, 0, 34, -8, 0, -12, 68, 0, -32, -4, 0, 4, -88, 0, -20, -8, 0, -24, 80, 0, 0, 8, 0, 4, 56, 0, -140, 28, 0, 46, -60, 0, -80, 14, 0, 28, 0, 0, -56, 24, 0, 12, 0, 0, -64, 12, 0, -32, 56, 0, 0, -64, 0, 8, -8, 0, 16, 0, 0, -20, 96, 0, -12, 16, 0, -8, -40, 0, 72, 24, 0, -8, -40, 0, -12, -6, 0, 12, -4, 0, -16, 8, 0, 120, -40, 0, 56, -20, 0, 46, 60, 0, 0, 16, 0, 32, -16, 0, 88, -10, 0, 16, 4, 0, -32, 12, 0, 28, 160, 0, 68, -32, 0, 0, 116, 0, -40, -24, 0, 24, 0, 0, 106, 64, 0, -68, -60, 0, 120, 0, 0, -52, 0, 0, 8, -8, 0, 0, -144, 0, -8, -8, 0, -32, 8, 0, -28, -4, 0, -16, 12, 0, 56, -4, 0, -16, -8, 0, 20, 96, 0, 20, -68, 0, -48, -32, 0, -24, 32, 0, -52, -18, 0, 32, 0, 0, 0, 0, 0, -20, -40, 0, -68, 16, 0, 0, 36, 0, 48, -36, 0, 0, -112, 0, 46, -20, 0, 16, -40, 0, 24, 0, 0, 64, -32, 0, -84, -48, 0, -8, -40, 0, 24, 0, 0, -56, -112, 0, 8, -84, 0, 36, 12, 0, -16, 2, 0, 44, -152, 0, -68, -152, 0, 78, -92, 0, -128, 52, 0, 0, 8, 0, -60, 68, 0, -16, 32, 0, -216, 12, 0, -8, -80, 0, -28, -16, 0, 16, -12, 0, -12, 24, 0, -184, 24, 0, 4, -8, 0, -12, 16, 0, -64, 0, 0, 40, -156, 0, 112, -112, 0, 0, -108, 0, -144, -28, 0, -64, 16, 0, -64, 12, 0, 8, -92, 0, -120, 4, 0, 12, -136, 0, -48, -64, 0, -48, -80, 0, -16, 0, 0, -96, -144, 0, -232, 12, 0, 50, -16, 0, -96, 60, 0, 4, -72, 0, -152, -24, 0, 0, 48, 0, -164, -48, 0, -96, 0, 0, -144, 176, 0, 8, 4, 0, 16, 2, 0, 36, -136, 0, 56, -32, 0, 32, -108, 0, -64, 64, 0, -48, 32, 0, -50, -72, 0, 2, 64, 0, -80, 8, 0, 52, -4, 0, -116, 24, 0, -4, 40, 0, -168, 24, 0, -24, 32, 0, 0, -60, 0, -80, -12, 0, 32, -4, 0, -52, 152, 0, 24, 16, 0, 12, 84, 0, 44, -80, 0, 36, -40, 0, -36, 38, 0, 16, 8, 0, 16, 36, 0, 28, 112, 0, -8, -100, 0, 12, -28, 0, 40, 76, 0, -96, -136, 0, 28, 0, 0, -32, 300, 0, 0, 0, 0, 56, 80, 0, 36, 32, 0, 0, -64, 0, -8, 64, 0, -88, 40, 0, 174, 20, 0, 12, -72, 0, 56, -60, 0, 72, -16, 0, 12, 8, 0, 4, 252, 0, 40, 0, 0, 16, -112, 0, 176, 220, 0, -44, -92, 0, -160, 28, 0, -48, 32, 0, 252, 8, 0, 16, -12, 0, 104, -16, 0, 32, 48, 0, -92, -60, 0, 34, -220, 0, -56, -8, 0, 128, 32, 0, 40, 0, 0, -12, 112, 0, 64, 68, 0, -88, 200, 0, 8, 4, 0, -32, 36, 0, -32, -4, 0, -100, 56, 0, 268, -144, 0, 4, 80, 0, 216, -88, 0, -32, -112, 0, 56, 2, 0, -20, 196, 0, 56, -8, 0, 128, 232, 0, 116, -88, 0, -24, -136, 0, 68, 80, 0, 72, -32, 0, 96, -8, 0, 0, -16, 0, 64, 8, 0, 8, -96, 0, 116, 24, 0, 4, 204, 0, -112, 56, 0, 80, 152, 0, 36, -16, 0, -140, -140, 0, -96, 28, 0, 68, 12, 0, 200, -272, 0, 46, 128, 0, 280, -60, 0, -208, 16, 0, -24, -52, 0, -80, 84, 0, -248, 14, 0, -196, 192, 0, -40, -32, 0, 28, -8, 0, 24, 0, 0, -40, -232, 0, 32, -20, 0, -56, 84, 0, 120, 24, 0, -12, -56, 0, 44, 16, 0, 12, 12, 0, -176, 0, 0, -32, 48, 0, 62, 44, 0, -64, -92, 0, -48, 12, 0, -60, -8, 0, 52, 32, 0, -32, -12, 0, -64, 56, 0, 68, -160, 0, -8, 92, 0, 0, 8, 0, 16, -64, 0, 16, -72, 0, -124, -56, 0, 8, 36, 0, -12, -8, 0, -48, -144, 0, 0, -64, 0, 16, -40, 0, 32, 0, 0, -36, -88, 0, -136, 0, 0, -20, 64, 0, -176, 96, 0, -80, 0, 0, 232, 116, 0, -12, 0, 0, 32, 16, 0, 68, -88, 0, -36, -72, 0, -8, 124, 0, 0, -40, 0, 32, 208, 0, -116, 0, 0, 72, 20, 0, 224, 24, 0, -256, 132, 0, 8, 32, 0, -8, -84, 0, -200, -40, 0, -24, 32, 0, 110, 56, 0, -12, 216, 0, -328, -6, 0, -64, 136, 0, -88, -28, 0, 12, -140, 0, 72, -4, 0, 40, -112, 0, 24, -16, 0, -16, -200, 0, 88, 8, 0, -16, 156, 0, 68, -160, 0, 120, 96, 0, 176, -40, 0, -120, -8, 0, -100, 56, 0, 56, 244, 0, 72, -20, 0, 132, 296, 0, 156, -8, 0, 46, -108, 0, 16, 60, 0, -152, 88, 0, -64, -88, 0, 0, 0, 0, 352, 16, 0, -68, -48, 0, -48, 0, 0, 32, -140, 0, -100, -16, 0, 64, 176, 0, -64, 178, 0, 88, 156, 0, -224, -10, 0, 0, -40, 0, 52, -136, 0, 16, 196, 0, -188, 4, 0, 0, 176, 0, 200, -4, 0, -32, -32, 0, 112, 12, 0, -88, 104, 0, -12, 48, 0, 28, -212, 0, -92, 160, 0, 0, -8, 0, 64, -40, 0, 68, -60, 0, 208, -32, 0, -76, -312, 0, 108, -128, 0, 0, -20, 0, 40, 116, 0, -16, 0, 0, 252, 128, 0, -40, -128, 0, 336, -24, 0, -76, -64, 0, 8, -160, 0, 24, -196, 0, 200, 0, 0, -72, 136, 0, 172, 68, 0, 106, -216, 0, 0, 64, 0, -64, 236, 0, -336, -156, 0, -68, -96, 0, -120, -60, 0, -64, -40, 0, 160, -16, 0, 120, -140, 0, -32, 0, 0, -180, -148, 0, 136, 112, 0, -52, -164, 0, 32, 0, 0, -148, 16, 0, 40, -12, 0, 8, 264, 0, 96, -8, 0, 60, 80, 0, -36, -120, 0, 0, 108, 0, 80, -144, 0, 256, -64, 0, 78, 116, 0, -8, 28, 0, -224, -8, 0, -148, -32, 0, 204, -64, 0, -32, -24, 0, -264, 8, 0, -20, -328, 0, 68, -54, 0, -28, -48, 0, 408, -4, 0, 176, -80, 0, 88, 64, 0, -16, -80, 0, 16, 12, 0, 32, 224, 0, 16, 12, 0, 56, -204, 0, -56, -4, 0, 156, -272, 0, -8, 32, 0, -16, -84, 0, 264, -8, 0, -136, 152, 0, -56, -96, 0, 20, -124, 0, 232, 96, 0, -36, 40, 0, 104, 136, 0, 20, -136, 0, 32, -68, 0, -56, -128, 0, -204, -4, 0, -48, 268, 0, 40, -32, 0, 12, 168, 0, 192, 104, 0, -24, -24, 0, -160, 32, 0, 328, 192, 0, 272, 68, 0, -52, 48, 0, 64, -18, 0, 44, -172, 0, 192, 20, 0, 32, 332, 0, -112, 0, 0, 96, -32, 0, 46, -16, 0, 0, 4, 0, 216, 0, 0, 72, 24, 0, -60, 112, 0, -20, -16, 0, 8, -40, 0, -248, -208, 0, -20, 96, 0, -68, 8, 0, -400, 16, 0, 388, -24, 0, 120, 32, 0, 0, 156, 0, 336, 36, 0, -8, -48, 0, -288, 12, 0, 48, 4, 0, 56, -36, 0, -32, -56, 0, -60, -152, 0, 0, 348, 0, 64, -112, 0, 48, 32, 0, 232, 40, 0, 46, -156, 0, 192, -20, 0, -40, 4, 0, -140, 232, 0, 16, 176, 0, 168, -40, 0, 368, 0, 0, -104, 28, 0, 24, 200, 0, 72, 0, 0, -80, -408, 0, 48, 80, 0, 64, 108, 0, 8, -32, 0, 92, 160, 0, -12, 136, 0, -84, 228, 0, -48, -48, 0, 48, 252, 0, 56, 92, 0, -8, 140, 0, 72, -40, 0, 128, 160, 0, 112, -180, 0, 24, -248, 0, 0, 0, 0, -20, 416, 0, 364, 8, 0, -56, 112, 0, -104, -112, 0, -8, -216, 0, 288, -76, 0, 8, 192, 0, 64, -84, 0, -28, -80, 0, 356, 72, 0, 36, 68, 0, 8, 12, 0, 0, 552, 0, -80, -76, 0, -16, -256, 0, 368, 2, 0, -72, -400, 0, -228, -64, 0, 44, -40, 0, 16, -152, 0, 48, 32, 0, -120, 136, 0, -68, 24, 0, -72, -152, 0, -20, 296, 0, 180, 120, 0, 78, 132, 0, 148, -92, 0, 80, 176, 0, -244, 40, 0, -128, -268, 0, -112, 52, 0, 220, 20, 0, 20, 192, 0, 0, 136, 0, -216, 8, 0, 16, 96, 0, 160, 8, 0, -60, -28, 0, -56, 68, 0, -20, -16, 0, 64, -8, 0, -16, -144, 0, -392, 32, 0, 104, 16, 0, 236, 164, 0, -216, 208, 0, 208, 12, 0, -4, 16, 0, -388, 56, 0, -8, -64, 0, -248, -80, 0, -104, 112, 0, -122, 14, 0, -28, 216, 0, 0, -16, 0, 284, -92, 0, -292, 96, 0, 16, -4, 0, -312, -12, 0, 344, -112, 0, 48, 76, 0, -12, -212, 0, 120, 24, 0, -228, -4, 0, 184, -16, 0, -184, -220, 0, -408, 24, 0, -228, 384, 0, 12, 88, 0, 4, 108, 0, 96, -8, 0, -64, -160, 0, 412, 48, 0, -12, 192, 0, -344, 16, 0, 0, 0, 0, 20, -112, 0, -64, -8, 0, -120, 0, 0, 204, 56, 0, -176, 256, 0, 40, 184, 0, -24, -156, 0, -56, -40, 0, -188, 0, 0, 112, 136, 0, 448, -112, 0, -36, -360, 0, -372, -136, 0, 0, -108, 0, -336, -108, 0, 272, 48, 0, 204, 216, 0, -144, -4, 0, -64, -28, 0, 32, 280, 0, 12, -48, 0, -64, 264, 0, -224, 16, 0, 172, -32, 0, -524, 208, 0, -64, 96, 0, 24, 12, 0, 16, -440, 0, 144, 176, 0, 8, -8, 0, 148, -92, 0, -48, -56, 0, 98, 0, 0, -120, 264, 0, -168, 4, 0, -180, 68, 0, -116, 0, 0, 12, -208, 0, -344, -136, 0, -104, 144, 0, -160, -172, 0, -48, 148, 0, -8, -64, 0, -132, -72, 0, -496, 40, 0, -48, -76, 0, -144, -80, 0, 80, -560, 0, 20, 104, 0, -16, -332, 0, -320, 0, 0, -212, 160, 0, -112, -384, 0, -96, 108, 0, -440, -144, 0, -32, 56, 0, -200, 290, 0, -232, -192, 0, 120, 12, 0, 16, 120, 0, -300, 32, 0, 50, -344, 0, 112, -16, 0, 0, -280, 0, -432, -72, 0, -96, 300, 0, -80, 60, 0, 188, -256, 0, 72, 224, 0, 4, 16, 0, 64, -72, 0, -32, -224, 0, -72, -152, 0, -152, -148, 0, -24, -24, 0, -24, -488, 0, 112, 252, 0, 0, 288, 0, 280, 48, 0, -56, 128, 0, -52, -244, 0, -164, 60, 0, -160, -48, 0, -96, 168, 0, 56, 8, 0, -96, 28, 0, 212, 0, 0, -32, 128, 0, 252, -100, 0, -144, 56, 0, -128, 176, 0, 172, -8, 0, -36, 44, 0, 8, 32, 0, -152, 4, 0, -24, -240, 0, 648, -76, 0, 16, -400, 0, 400, 2, 0, 156, -16, 0, -220, 160, 0, 36, -332, 0, -56, -136, 0, 448, -304, 0, 0, -140, 0, 56, -180, 0, 40, -32, 0, 176, -104, 0, -208, -184, 0, 32, -76, 0, -288, -108, 0, -32, -352, 0, -332, 8, 0, -64, 160, 0, 56, 64, 0, 332, -408, 0, -8, 320, 0, -48, -72, 0, -12, 32, 0, -112, -304, 0, 20, -96, 0, -50, 56, 0, -288, -72, 0, 228, 128, 0, -144, 176, 0, 2, 128, 0, 40, 64, 0, 128, -48, 0, 0, -180, 0, -80, 68, 0, -152, 8, 0, 312, 80, 0, -96, -96, 0, 52, -164, 0, -624, -4, 0, -240, 432, 0, 804, 48, 0, -116, -136, 0, 88, 24, 0, 8, 80, 0, 176, -72, 0, -4, 92, 0, 448, 40, 0, 32, 296, 0, 8, -176, 0, -168, -136, 0, 184, 24, 0, -12, -352, 0, -72, -48, 0, -24, 416, 0, -104, 32, 0, 64, 280, 0, 42, 384, 0, 0, -212, 0, -248, -60, 0, 36, 0, 0, -36, -32, 0, -80, 28, 0, -368, -12, 0, 112, 160, 0, 112, -200, 0, 32, 52, 0, -24, -4, 0, 0, -152, 0, 584, 352, 0, -52, -216, 0, 348, 152, 0, -24, 96, 0, -40, 60, 0, 24, -36, 0, 128, 16, 0, -112, -40, 0, -268, 64, 0, 12, -692, 0, -160, 84, 0, -256, -40, 0, -244, -80, 0, 44, 112, 0, 8, -80, 0, -56, 60, 0, -108, -144, 0, 36, -24, 0, -32, -40, 0, 536, 8, 0, -320, 4, 0, -36, 404, 0, 688, 38, 0, -136, -536, 0, -48, -4, 0, 16, 224, 0, -352, 8, 0, 48, 144, 0, 272, -568, 0, 16, -428, 0, -152, 36, 0, -8, -32, 0, 460, -56, 0, 28, -48, 0, 176, 112, 0, -352, -400, 0, 104, -56, 0, -8, 412, 0, -80, -100, 0, 156, -112, 0, -136, 0, 0, 12, -32, 0, 152, -28, 0, -288, 0, 0, -148, -224, 0, 40, 92, 0, -400, 76, 0, 276, 64, 0, -260, -192, 0, -96, 188, 0, -68, -136, 0, -132, 392, 0, 46, -156, 0, 28, 160, 0, -32, 0, 0, -204, -8, 0, -128, 192, 0, -32, 272, 0, -52, 300, 0, 88, -104, 0, -364, -196, 0, 0, 32, 0, 272, 0, 0, 108, -488, 0, 212, 72, 0, 56, -484, 0, -40, 80, 0, 88, 400, 0, 72, 14, 0, 36, -240, 0, 16, 32, 0, 100, -32, 0, -128, -216, 0, 0, -360, 0, -456, -64, 0, -48, -112, 0, -276, 76, 0, -8, 300, 0, 648, 64, 0, 72, -48, 0, -24, -48, 0, -88, -120, 0, 680, 40, 0, 188, -200, 0, 32, 268, 0, 174, 416, 0, -112, 20, 0, 16, -256, 0, 104, 8, 0, 12, -72, 0, -324, -72, 0, -304, -104, 0, -156, 40, 0, 56, 252, 0, 0, -60, 0, -432, -68, 0, -280, 40, 0, 72, 24, 0, 40, -16, 0, 32, 320, 0, -296, 48, 0, 12, -308, 0, 0, 8, 0, 68, 96, 0, -124, -8, 0, 4, 232, 0, -460, 252, 0, 72, 176, 0, -4, -140, 0, 40, -320, 0, -240, 0, 0, -20, -152, 0, 352, -64, 0, 16, -436, 0, 56, -112, 0, -4, 336, 0, -404, -124, 0, 176, 12, 0, -192, 220, 0, 180, -32, 0, -104, 72, 0, -44, 428, 0, -144, -92, 0, -48, 560, 0, -236, 56, 0, -160, 276, 0, -632, 28, 0, 520, 264, 0, 64, -32, 0, -48, -24, 0, -688, 32, 0, -16, -24, 0, -8, 60, 0, 252, -484, 0, 160, 8, 0, -124, 384, 0, 32, 0, 0, 16, 80, 0, 56, -12, 0, -144, 96, 0, -632, -120, 0, 104, -352, 0, 40, -16, 0, 144, -104, 0, 4, -224, 0, 32, 64, 0, 168, 48, 0, -200, 96, 0, -52, -80, 0, -92, -300, 0, 8, -60, 0, -48, -316, 0, 744, -72, 0, 34, -312, 0, 320, -220, 0, -136, -64, 0, -188, -168, 0, -56, 64, 0, 336, -8, 0, 52, -56, 0, -700, 128, 0, 128, -52, 0, -128, 32, 0, 404, -400, 0, 80, 30, 0, 40, -196, 0, -704, 0, 0, 132, 48, 0, -644, 72, 0, -12, -360, 0, 132, 112, 0, -64, 120, 0, 488, -128, 0, 64, -128, 0, -264, 68, 0, 392, -288, 0, 168, -32, 0, -88, -884, 0, 132, 200, 0, 128, -72, 0, 280, 128, 0, 8, -188, 0, 32, 4, 0, 124, 304, 0, 60, 136, 0, -32, -52, 0, 80, 36, 0, 128, 96, 0, -210, -72, 0, -32, 32, 0, -312, -4, 0, 340, 400, 0, -32, 256, 0, -100, -12, 0, 112, 56, 0, -288, -32, 0, -236, 24, 0, 268, -212, 0, 32, -144, 0, -8, -688, 0, -536, 40, 0, 4, -128, 0, 164, 80, 0, 0, -8, 0, -184, -236, 0, 216, 68, 0, -72, -88, 0, -12, -268, 0, -64, -168, 0, -32, 4, 0, -320, -112, 0, -304, -272, 0, -384, 96, 0, 56, -600, 0, 32, 2, 0, -436, 24, 0, -600, -144, 0, -20, 164, 0, -320, 196, 0, -352, 32, 0, -8, 188, 0, 56, -276, 0, 840, -8, 0, 312, 184, 0, -884, -32, 0, 128, 400, 0, -68, 232, 0, 20, 112, 0, -472, 256, 0, 116, -120, 0, -744, -88, 0, 216, 320, 0, 168, 276, 0, -24, 136, 0, 80, -136, 0, -512, -304, 0, 100, -40, 0, 68, 404, 0, 624, 80, 0, 132, -96, 0, 152, -16, 0, 72, 8, 0, -144, -32, 0, 168, 120, 0, -240, 164, 0, 96, 24, 0, -64, -8, 0, 124, 344, 0, 12, 240, 0, 0, -80, 0, 208, -16, 0, -432, 96, 0]