# Trace form for 1380.2.p.a, downloaded from the LMFDB on 19 April 2024.
[0, 48, -4, 0, -2, 0, -2, 0, -4, -48, -2, 0, 0, 0, 20, -48, -6, 0, 4, 16, 0, 0, 28, 4, 2, -48, -20, 0, 0, 32, 4, 0, 16, 0, -28, 0, 2, 0, 0, 0, 2, -8, 0, 0, 0, 0, 14, 0, 16, 40, 4, 16, -16, 0, 2, 0, 40, 0, -8, 0, 2, 0, 24, 0, -26, 0, 0, -48, -44, -8, 0, 0, 4, 0, 20, 0, -64, 32, 0, -64, 16, 48, -20, 0, 0, 16, -40, 0, 0, 0, 2, 0, -4, 0, -32, 0, -2, 0, 24, 0, 2, 0, -24, 0, 28, 0, 20, -8, 0, 0, 0, -40, -28, 0, 20, -8, 32, 0, -36, 0, 4, -16, 116, 0, 52, 0, -20, 0, -32, 0, 0, 0, 24, 16, 20, 48, 4, 0, -8, 0, 0, 32, 80, -112, 6, 0, -16, 0, 84, 0, 2, 0, 0, 0, 24, 0, -28, 0, 44, 40, -2, -56, -4, 0, -28, 0, 12, 0, -60, 112, -24, -16, 116, -64, 4, 0, 0, -16, -84, 0, 0, 0, -8, 0, -10, -40, -48, 0, -52, 0, 20, 0, -24, -80, -120, 0, -2, -96, -28, -48, 4, 0, -20, 48, -20, 0, 112, -4, 76, 48, -20, 0, 16, -16, 116, 0, -2, 0, -132, 0, 24, 0, 0, 0, 120, 48, 76, 8, 36, 0, -8, 0, 68, 64, 20, 32, -4, 0, -120, 0, 6, 0, -112, 0, 72, 0, 24, 32, -68, 0, 2, -96, 0, 56, -100, 0, -22, 16, -8, 0, -28, -32, -36, 56, 52, 40, 160, 0, 0, -32, -4, 0, -100, 0, -28, 0, 14, -32, 108, 0, -60, 0, -24, 0, 24, -16, -160, 0, -16, -24, 4, -24, -80, 0, 82, -16, -112, 0, 176, 64, 0, -16, -100, 0, 16, 0, 28, 0, 244, 0, -48, 0, 76, 0, 20, 0, 152, 64, 52, -16, -24, 0, 52, 0, -2, 0, 16, -16, 28, 0, -28, 0, 164, 0, 48, 0, 4, 0, 8, -16, -20, 0, 0, 192, -200, -4, -96, 0, 76, -80, -20, 0, -232, 80, 48, -16, 152, -16, -24, 0, -2, -56, -148, 0, -128, 0, 0, 32, -8, 8, 0, 0, -40, 0, -24, 48, -144, -64, 0, 16, 36, 0, -92, 0, -54, 0, -80, 0, -176, 0, 20, -48, -96, -16, -24, 0, 0, 0, 116, 0, 6, 0, -48, 0, -208, 0, 72, 0, 20, 0, 24, 8, -20, 0, -14, 0, 28, -16, 116, 176, 0, 0, 84, 0, 148, 0, 36, 0, 84, 0, -8, 160, -16, 0, 220, -32, -144, -48, 0, 0, 52, -40, -140, 0, 8, 0, -36, 24, 204, 72, -4, 0, -92, 16, -204, 0, -48, 0, 132, -16, 14, -88, -88, 0, 24, 0, -128, 8, 16, 40, -24, -40, -104, 112, -36, -16, -32, 0, 144, -176, -16, 0, 192, -8, 174, -24, -2, 0, 84, -24, 82, 0, -28, 0, -144, 0, 12, 0, 16, 0, 0, 16, 208, 64, -40, 0, 56, 0, -20, -24, 28, -224, -40, 0, -48, 0, 120, 0, -72, 0, 76, 0, 8, -48, 92, 0, 156, 304, -52, -112, 52, 0, 20, -112, -44, 0, -272, 80, -64, -224, -2, 40, 148, 0, -100, -16, -124, 0, -164, 0, -28, 160, 32, -32, 92, 0, -4, 0, -24, -16, 4, -32, -216, 48, 0, -16, -220, 0, -40, 0, 0, 208, -176, 0, 240, -4, 26, 0, -52, 0, 76, 216, 124, 0, 136, 0, -228, 0, 56, 0, 48, 0, 168, -80, 0, -16, 0, 0, -164, 0, -2, 0, -20, 48, -12, 0, 76, 0, 224, 0, 0, 0, 44, 0, 0, 8, 48, 0, 44, -272, -40, 8, -4, 0, 44, 48, -188, 0, -196, -40, 0, 224, 244, 0, -16, 0, -48, 208, -224, 0, -54, 0, -4, -48, 16, 0, -80, 0, -4, 0, 20, 24, -64, 16, -72, -16, 84, 0, -252, -112, 0, 0, -112, -48, -252, 0, -20, 128, 28, 16, -48, 0, 64, 112, 192, 0, -30, 0, -100, 0, 20, 0, 228, 0, 64, 8, 236, 16, -92, 0, -14, 0, 128, -32, 8, -16, 40, 0, -76, 0, 0, 0, 0, 0, 208, 0, 136, -144, -120, 0, 36, 64, -188, -48, -12, 0, -92, 0, -236, 0, -16, 80, -48, 96, 336, -32, -42, 0, -296, -48, 0, 0, -108, 0, 108, -40, 74, -112, 20, 0, 8, 0, 20, -48, -20, 24, -200, 0, -60, -72, -4, 48, 144, 0, 112, 16, 0, 0, 232, -32, -48, 88, 52, 0, 160, -16, 148, 0, -96, 0, -88, 0, 132, 0, 40, 0, 232, -16, 164, 16, 16, 0, -24, 0, 58, -40, -4, 304, -232, 0, -36, 0, 0, 0, -76, 0, 192, 0, 68, 352, -16, 0, 164, -224, -148, -8, 64, 0, 100, 136, -2, 0, -368, -128, 144, -24, 48, 32, 44, 0, -28, 24, 20, 0, -176, 0, 128, -152, 4, -96, 16, 0, -60, 0, -80, 16, -112, 0, -204, -176, -40, 136, -252, 72, -28, 0, 32, -416, -280, 0, 28, -128, 96, 64, 216, 0, 156, -144, 4, 0, 120, 0, -312, 0, 2, 0, 276, 0, 220, 64, 8, 80, -12, 0, -264, 0, 168, 112, -28, -40, -52, 0, -24, 0, 240, 0, 48, 0, 176, 0, -44, 0, 64, 0, 156, 80, -424, -8, -16, 0, -2, -248, -224, 0, -196, 0, 164, -304, 372, 0, -124, 0, -128, -144, -268, 0, -168, 0, 24, 304, 32, 120, -184, 0, 16, 0, 76, 0, 320, 88, -24, 208, 240, 0, -356, -32, -28, 0, -16, 80, 0, 0, 44, 72, 12, 0, 184, 0, 88, 80, 0, 0, -300, 0, -20, 0, -296, 0, 340, 0, 26, -264, 296, 8, -56, 0, -148, 0, -404, -64, 124, 368, 0, 0, -28, 0, 312, 0, 64, 0, 56, 0, 32, 136, -156, 0, 388, -96, -432, 168, 0, 0, 72, 96, -144, 0, -132, -96, -472, 40, -2, -128, -208, 0, -384, 48, -284, 0, 28, 0, 76, -24, -12, 192, -102, 0, 180, 0, 60, 192, 44, -48, -224, -48, -2, 8, -20, 144, 140, 0, 44, -400, -28, 0, 424, 8, 64, -304, -120, 0, 44, 32, 288, 0, -32, 0, -208, 0, 220, 0, 0, 0, 176, 0, 216, 0, 28, 0, -332, 0, -48, -64, 36, -192, -160, 0, 264, 0, 64, 0, -4, 0, 372, 0, 84, 0, 392, 0, 400, 336, -4, 64, 380, 0, -36, 24, -4, 0, -268, 16, -72, 0, 228, -16, 136, 0, -436, -144, -116, 0, 0, 0, 148, 128, 174, -48, -56, 0, -204, 0, -20, -144, -172, -64, -308, 16, -52, -64, -352, 0, 64, 0, -44, 240, -408, 0, 340, -156, -48, -112, -100, 0, 160, 208, 20, 0, -224, 0, -236, 0, 64, 0, 472, 0, 336, 16, 124, -192, -56, 0, -14, 0, 32, -112, -136, -32, 238, 0, -84, 0, 40, 0, 280, 0, 64, 0, -152, 104, -332, 0, 0, -368, -176, -24, 16, 0, -86, 208, -64, 0, -120, 0, 120, -272, 288, 64, -96, 0, -24, 120, -12, 0, -148, 0, 76, 0, -12, -16, 172, 0, -16, 0, 136, 56, -80, 96, -20, -416, 24, -48, -42, -160, -12, 0, -316, -48, -424, 0, 176, -112, -108, 32, 100, 0, -4, -40, 336, 0, -36, 0, 20, 0, -240, 0, 492, 0, -36, 48, 240, -24, -20, 0, 8, 0, -328, 0, -312, -192, 180, 0, -4, 0, 316, 0, 56, 0, 568, 0, -148, -176, 0, 0, 220, 80, -280, -32, -120, 0, 132, -32, 52, 0, 44, 176, -164, -16, 384, 128, -80, -64, -96, -32, -232, 0, 12, 0, 4, 112, 640, 120, 40, 0, 284, 0, -360, -16, -6, 272, -432, 80, 16, -120, -188, -320, 24, 0, -120, 344, -204, 0, -4, 24, 64, 288, 16, 0, 56, 144, 348, 0, 0, 0, -260, 0, -92, 0, 220, 0, 292, -80, 68, -96, -84, 0, -188, 0, 304, -160, 96, 256, -148, 0, 116, 0, 156, 0, -288, 0, 544, 0, -2, 160, 244, 0, 444, -128, -92, 120, 68, 0, 48, 200, -56, 0, -368, 0, 408, 424, 0, 16, 20, 0, -604, -288, -140, 0, -104, 0, -52, -416, 4, -296, -20, 0, 304, 0, -24, 160, 352, 232, -80, -400, -272, -16, -508, 0, -212, 0, 232, -368, -40, 0, 256, 136, 28, 72, 336, 0, 32, -408, 32, 0, 4, 0, -352, 0, 44, 0, 604, 0, 96, 376, -44, 192, -40, 0, -308, 0, -44, -248, 4, -40, 124, 0, 100, 0, 240, 0, -148, 0, 2, 0, -100, -224, -50, 0, 132, 320, -244, 56, 8, 0, -152, -240, -52, 0, -448, -256, 4, 80, 168, -120, -156, -48, -172, -40, -252, 0, -136, 0, -24, 304, 192, 32, 72, 0, 28, 0, 392, -104, 176, -8, -108, 240, 96, 0, -564, -144, -56, 0, 156, 168, -464, 0, -12, -8, -160, -32, -108, 0, -2, -104, 524, 0, -264, 0, -236, 0, 4, 0, 164, 0, 60, -48, 212, 0, 72, 0, -260, 0, -128, -112, -176, 496, 204, 0, 224, 0, 384, 0, 24, 0, 592, 0, 112, 120, -74, 0, 464, 16, 16, 240, -136, 0, -384, 0, -92, 0, -116, -384, -24, -176, 424, 160, -92, 0, -528, 64, -252, 0, -28, 0, -160, -136, 356, 80, -4, 0, -24, 0, 44, 368, -12, 288, -452, 0, -320, 544, -148, 112, 88, 0, -92, -400, 0, 0, 264, -128, -276, -272, -20, 0, -28, 16, 220, 0, -296, 0, -392, 0, 26, 0, 84, 0, 232, 8, 248, 256, 48, 0, -148, 0, 180, 80, -52, -64, 104, 0, -244, 0, 0, 0, -252, 0, 568, 0, -24, -176, 52, 0, 64, 368, -112, -160, -32, 0, -148, -128, 8, 0, -156, 56, 252, -496, 56, -96, 316, 0, -540, 368, 0, 0, -264, 0, 116, 96, 10, 272, 536, 0, -132, 0, -108, -192, 12, 40, -540, 352, -112, -72, -208, -216, 160, 0, 48, 48, -496, 0, 312, 328, 28, 152, -4, 0, 96, -24, 8, 0, 348, 0, -102, 0, 52, 0, 700, 0, 212, -320, -4, -240, 44, 0, -436, 0, 152, -48, -340, 272, -52, 0, -20, 0, 524, 0, 72, 0, 200, 0, -300, 0, -28, 0, 308, -320, -240, 8, -24, 0, 24, 336, -120, 0, -508, -352, 234, 32, 432, 80, -104, 80, -32, -24, -304, 0, 48, 0, 120, -288, 372, -224, 0, 0, -164, 0, 252, 0, -220, -368, -192, -384, 28, -144, -704, 208, 2, 0, -680, -208, -584, 0, 36, 288, -348, 96, 32, 0, 28, 176, 504, 0, 64, 0, 28, 0, -20, 0, 680, 0, 136, 288, 84, 48, 100, 0, -320, 0, 36, 272, 348, -512, -4, 0, 380, 0, 688, 0, 152, 0, 580, 0, -4, -496, 16, 0, 540, 16, -188, 48, 20, 0, 228, 40, 8, 0, -312, 0, 8, -48, 252, 120, -116, -96, -580, -64, -128, 0, 20, 0, 92, 64, 174, 72, -100, 0, -88, 0, -200, -240, 168, -176, -20, 176, -4, -32, -112, -64, 160, 0, 392, 272, -52, 0, 256, 4, -176, 0, 80, 0, 188, -240, -44, 0, -76, 0, -336, 0, -56, 0, 188, 0, -48, -48, 192, -384, 192, 0, 32, 0, -364, 80, 20, 288, -192, 0, 120, 0, 276, 0, -12, 0, 64, 0, 80, 848, 576, 0, 524, -408, -16, -24, 124, 0, -88, -224, -68, 0, -368, 16, -156, -64, 32, -104, 392, 128, -704, -32, -116, 0, -72, 0, -84, -400, 104, 256, 220, 0, 338, 0, -168, 288, 64, 0, -528, -336, 2, 104, -732, -192, 196, 0, 0, -400, -772, 0, 420, -24, 152, 320, -56, 0, -86, -408, 132, 0, 284, 0, -260, 0, 312, 0, 120, 0, 156, -128, 236, 64, -48, 0, -568, 0, -24, 104, -444, -80, 276, 0, 32, 0, 816, 0, 76, 0, 132, 0, -276, -16, 52, 0, 0, 240, -16]