# Trace form for 1342.2.a, downloaded from the LMFDB on 19 April 2024. [0, 49, -1, 0, 49, -2, -4, -8, -1, 41, -6, 1, 0, -14, -8, 8, 49, 14, -13, -12, -2, -8, -1, 4, -4, 47, -2, 24, -8, 10, 0, -4, -1, 4, -10, 32, 41, -6, 0, 0, -6, 14, 24, -28, 1, -2, -16, -12, 0, 17, -31, -16, -14, -14, 8, 6, -8, -32, -22, 12, 8, -1, 24, 0, 49, -12, -4, -36, 14, 80, -16, -4, -13, -10, -14, 8, -12, -8, 8, -32, -2, 25, -10, 52, -8, -36, -20, -8, -1, 42, -6, -56, 4, 24, 16, 24, -4, -46, 7, 13, 47, -14, -8, -44, -2, 64, -54, 36, 24, -38, -6, 8, -8, -14, 8, -56, 10, -30, 44, 88, 0, 49, 9, 12, -4, 84, -60, -56, -1, -48, -44, 0, 4, 8, -12, 24, -10, 42, -4, 68, 32, -96, -24, 10, 41, -20, -10, 124, -6, -22, 4, -64, 0, 142, 8, 64, 0, -30, 4, 64, -6, 0, -57, 72, 14, 24, -8, -16, 24, 3, 20, -16, -28, 26, -64, -136, 1, 0, -26, -40, -2, 34, 112, -4, -16, -68, -28, -2, -12, -24, -8, 52, 0, -42, -2, -24, 17, -22, -13, -36, -31, -48, 10, 12, -16, -4, -16, -20, -14, 16, 72, 4, -14, -56, 16, -48, 8, -24, -10, -80, 6, 68, 68, 12, -8, -25, -18, -12, -32, -26, 40, 8, -22, -18, 22, 80, 12, 120, 16, -56, 8, -34, -1, -28, -1, -58, 0, 40, 24, -40, 36, -52, 0, 20, -8, -88, 49, 58, 32, -72, -12, -6, 24, 88, -4, 76, 20, 16, -36, -26, -40, 32, 14, -80, -42, -1, 80, 74, -28, 60, -16, 22, 0, -36, -4, -104, 2, -24, -13, 95, 36, -36, -10, -142, -140, 8, -14, 40, 54, 0, 8, 0, -8, -24, -12, -6, -138, -76, -8, -80, -72, -76, 8, -6, 2, -80, -32, -74, -76, -30, -2, -96, -24, -40, 25, -66, -60, -88, -10, 128, 16, 4, 52, -142, 72, 64, -8, -66, -55, -96, -36, 4, -32, -40, -20, -56, 58, 96, -8, 18, -120, -32, -1, -70, -48, 32, 42, 64, 36, -136, -6, 69, 2, 0, -56, 20, 8, 36, 4, 54, -44, 16, 24, -22, 10, -48, 16, 12, 84, -48, 24, 144, -56, 68, -4, -24, -34, -20, -46, 106, -32, 216, 7, -32, -10, -32, 13, -30, 96, -240, 47, -14, -8, -184, -14, -50, 0, 14, -8, -146, 60, 100, -44, -160, -56, 32, -2, 104, 12, 84, 64, -102, -60, -76, -54, -174, 88, -4, 36, -24, -24, -40, 24, 34, -8, 96, -38, 160, 80, 128, -6, 49, 4, 120, 8, -84, 60, 104, -8, -38, -115, -14, -14, -152, 20, 96, 8, -58, -54, -16, -56, 66, -24, 76, 10, 8, -18, 4, -30, -64, 96, -120, 44, 28, 8, -76, 88, 194, 8, 0, 0, 76, 6, 36, 49, -52, -140, -204, 9, -172, -22, 140, 12, 52, -112, 78, -4, -100, 8, -116, 84, 184, 44, -40, -60, -20, 4, 208, -56, 74, 136, -8, -1, -124, -2, -48, -48, -16, 112, 8, -44, 42, 14, 52, 0, 24, -80, -64, 4, 5, -36, 52, 8, 172, 32, -64, -12, -20, -54, 9, 24, -102, 56, 120, -10, 172, 112, -180, 42, -13, 1, 192, -4, -96, -30, -120, 68, -6, 72, -144, 32, -72, -58, 24, -96, 124, -80, 256, -24, 34, 112, 84, 10, 96, -160, -44, 41, 2, 45, -56, -20, -160, 168, -10, -10, 92, 22, 68, 124, 128, 136, 48, -6, -274, -40, 168, -22, -80, 48, 60, 4, 86, 168, -180, -64, -2, 36, 64, 0, -28, 6, -56, 142, -70, -100, -248, 8, 178, -200, 64, 64, 136, 152, 120, 0, 61, 94, 32, -30, -116, 72, 12, 4, -136, -22, -80, 64, -6, 30, -108, -6, 162, 104, -76, 0, 312, 112, 260, -57, 40, -14, 12, 72, 122, 40, 120, 14, 98, -8, 164, 24, -174, 84, -32, -8, 216, 202, -112, -16, 128, 96, -1, 24, -26, -98, 240, 3, 18, 24, 96, 20, -32, -20, -160, -16, -92, 56, 96, -28, -116, 168, 200, 26, 40, -64, -32, -64, -44, -50, -200, -136, 146, 0, -8, 1, 144, -98, -16, 0, -238, -56, -232, -26, 84, 0, 20, -40, -80, 104, 60, -2, 48, -45, 216, 34, 86, -4, -92, 112, -127, -196, 48, -4, 202, 72, -312, -16, 40, 22, 36, -68, -64, 160, 256, -28, 12, 42, -184, -2, 48, -64, 116, -12, 208, -12, 144, -24, 46, 12, -32, -8, 118, -32, -176, 52, -108, -40, -64, 0, 110, -16, 136, -42, -74, -84, 36, -2, -124, -230, 56, -24, -12, -16, -160, 17, 172, -16, 52, -22, 208, -32, 200, -13, -6, 50, 72, -36, 198, 76, -72, -31, 226, 126, -30, -48, 88, 8, -48, 10, 286, -54, 268, 12, -120, -26, -40, -16, 168, -34, -200, -4, 170, -128, 68, -16, 4, 144, 172, -20, 214, 120, 176, -14, 206, 24, 48, 16, 168, 60, 60, 72, 259, 58, -8, 4, 2, -8, -8, -14, -300, -86, 276, -56, 34, -8, -16, 16, -274, 0, 64, -48, 24, 32, 76, 8, -340, 118, -248, -24, 8, -168, -40, -10, -134, -136, 48, -80, 98, -120, 248, 6, -62, -133, -164, 68, -304, 36, -200, 68, -120, -116, 57, 12, 8, 8, -136, -8, -224, 62, -240, -25, 156, -42, -96, -18, -44, 44, 108, -12, -158, 136, -180, -32, 40, -10, -24, -26, 32, -56, -80, 40, 184, -66, -160, 8, -130, 64, -196, -22, -122, 0, -260, -18, -280, -28, 60, 22, -34, -80, -72, 80, 42, 72, 160, 12, -448, 44, 84, 120, -20, -16, 24, 16, -42, -214, 16, -56, 24, 144, -104, 8, 77, -116, 176, -34, -20, 16, -208, -1, 8, -4, -8, -28, -32, 112, -176, -1, -110, -160, -22, -58, -134, 56, 92, 0, 324, 100, -168, 40, 136, -22, -12, 24, 96, 40, -136, -40, -206, -156, 128, 36, -56, -120, -152, -52, 176, 24, 136, 0, -122, -68, -200, 20, -118, -36, 288, -8, 54, 34, 148, -88, 86, 124, 40, 49, -14, 80, 136, 58, -272, -32, 32, 32, 78, -24, -328, -72, 10, 232, -220, -12, 64, 62, -104, -6, 16, -172, -72, 24, -70, -136, 180, 88, -142, 64, -216, -4, 144, -57, 32, 76, -14, -4, 112, 20, -144, -156, 50, 16, -198, -88, 120, -36, 84, -160, 124, -26, 16, -57, -64, -40, 40, -70, -460, 32, -184, -8, 268, 14, 41, 148, -4, -80, -18, 188, 216, -42, 118, 17, -132, -1, 96, -12, 228, 80, 200, 176, -292, 74, 218, 32, -38, -28, 140, -66, -256, 60, -46, 88, 128, -16, -320, -8, 12, 22, 76, 72, -196, 0, -234, -244, -352, -36, -56, 52, -48, -4, -64, 14, -8, -104, 40, 112, 40, 2, -156, 36, 36, -24, -8, -56, 240, -13, 18, 14, -128, 95, 124, -48, -20, 36, -240, 132, 212, -36, 4, 38, -208, -10, -168, -236, 32, -142, 384, -36, -84, -140, -96, 80, 64, 8, -218, -104, -48, -14, -80, 22, -68, 40, -196, -144, 24, 54, -46, 8, 16, 0, -248, 92, -62, 8, -194, 14, 152, 0, -76, -84, 224, -8, 160, -6, 60, -24, 50, 72, 48, -12, 74, 48, 20, -6, -64, 48, 136, -138, 31, 22, -456, -76, -126, 152, 40, -8, 450, -154, -144, -80, -94, 116, 48, -72, -100, -28, 82, -76, -280, 96, 112, 8, 62, 147, -44, -6, -48, 56, 136, 2, 64, -164, -88, -80, 124, 112, 248, -32, 8, 280, -100, -74, -232, -96, -128, -76, -544, -66, 16, -30, 62, 252, 188, -2, -8, -2, 260, -96, 204, -12, 50, -24, -34, 72, 60, -40, 112, -4, 128, 25, 270, 60, -424, -66, -50, -352, 36, -60, -36, -102, -244, -88, -32, 128, 144, -10, 12, -10, -184, 128, -408, 144, 40, 16, -38, 154, 428, 4, 6, 112, 304, 52, -252, 32, 1, -142, -152, 224, -160, 72, 360, 112, -72, 64, 34, 9, 108, -8, -172, 186, 36, -66, -272, 104, 76, -55, -72, -258, -248, -96, 184, 60, -240, -36, -82, -72, 256, 4, 88, 4, 248, -32, -137, -44, 200, -40, 34, 208, 36, -20, 438, 80, -96, -56, -254, -212, 224, 58, 12, -32, -100, 96, 264, -248, 332, -8, -120, 20, -24, 18, -48, -80, -200, -120, -88, 18, -24, -32, 124, -20, 48, -1, 74, -144, 160, -70, -134, 72, -72, -48, -52, -18, -8, 32, -230, 100, -184, 42, 264, 208, 20, 64, 50, -4, 312, 36, -102, 216, 144, -136, 128, 80, -36, -6, 24, 36, 120, 69, 34, -256, 96, 2, -364, -122, -156, 0, 250, -80, -264, -56, -184, 59, -168, 20, -408, 64, -52, 8, 60, 150, 544, 36, 172, -16, -320, 4, 184, -20, -140, 54, 264, 116, 104, -44, 150, 248, 80, 16, 8, 44, -32, 24, -78, -116, 316, -22, -102, -168, 704, 10, 128, -60, -76, -48, 360, 8, 32, 16, -16, -96, 90, 12, 8, 224, -72, 84, 268, -182, 512, -48, -76, 8, -132, 24, -165, -10, 236, 144, 33, -80, -304, -56, -44, 292, -180, 68, -320, 24, 256, -4, 284, -38, -96, -24, -272, -224, -252, -34, -32, -102, -184, -20, -302, 200, 64, -46, 126, -80, 128, 106, -166, -24, -80, -32, -104, 12, 272, 216, -100, -20, -24, 7, 320, -36, -8, -32, -14, -260, -208, -10, -132, -336, 12, -32, 352, 44, -200, 13, -316, -14, 64, -30, -48, 144, -272, 96, 96, 42, -12, -240, -238, -140, -88, 47, -186, -274, -72, -14, -24, 46, 44, -8, 50, 88, -24, -184, 306, 48, 176, -14, 52, -34, 196, -50, 138, -204, 216, 0, -552, 136, -320, 14, -62, 16, -244, -8, 80, 56, -280, -146, 538, 48, 90, 60, 144, 98, -20, 100, 288, 0, -40, -44, -292, -52, -456, -160, 192, 104, -144, -56, 38, -118, -248, 32, -112, 104, -152, -2, 28, -310, -188, 104, -6, -64, 96, 12, 256, -148, -124, 84, 80, 192, 128, 64, 7, -39, 94, -102, -164, 16, -296, -60, 200, 30, -184, -76, 66, -8, 0, -54, 74, 232, 24, -174, 192, 224, 76, 88, -32, -26, 392, -4, -66, -248, -8, 36, -372, 142, 224, -24, -148, -180, 28, -24, -374, -4, 176, -40, -8, 32, 22, 24, 72, -132, 96, 34, -30, 124, -24, -8, 22, -8, -48, 96, 34, 132, -120, -38, -516, -10, 40, 160, 96, -160, 224, 80, -102, -126, -128, 128, -216, -56, -104, -6, 464, -82, -344, 49, 100, -220, -576, 4, 50, -280, 32, 120, 386, 164, -68, 8, -74, -112, -8, -84, 124, -57, -176, 60, -480, 16, 148, 104, 18, 40, -116, -8, 36, -80, 16, -38, 8, 160, -384, -115, -234, -108, -4, -14, 246, -24, 192, -14, 440, -108, -548, -152, 162, 20, 8, 20, 360, 50, -384, 96, -584, 120, 24, 8, 378, -64, 420, -58, -408, 0, -372, -54, 280, 152, -8, -16, 112, 288, 160, -56, 288, -120, -32, 66, -140, 304, 56, -24, 101, 238, 384, 76, -124, 80, -32, 10, -28, -274, -41, 8, -118, -64, 268, -18, -372, 432, -76, 4, -448, -12, 16, -30, 482, -138, 384, -64, 50, 184, 124, 96, -72, -10, 240, -120, -24, -292, 144, 44, -146, 0, 8, 28, 448, 300, -800, 8, 104, 20, 172, -76, 26, 376, -150, 88, 280, -170, -136, 194, 288, 88, -72, 8, 390, 56, 40, 0, 480, 52, -416, 0, 372, -257, 440, 76, 72, 96, -80, 6, -16, 60, 380, 36, 154, -168, -168, 49, 268, -128, -588, -52, -256, 188, 240, -140, -4, -368, -80, -204, 154, 376, -36, 9, -476, 142, 200, -172, 16, 22, 440, -22, 128, 126, 80, 140, -112, 136, 132, 12, 100, -116, -44, 52, -238, 336, -544, -112, 68, 288, 12, 78, 40, 32, 336, -4, 484, 48, 204, -100, -36, 256, 94, 8, -122, 50, -352, -116, 130, 116, 168, 84, 116, 96, -380, 184, 60, 80, -20, 44, 218, 192, 132, -40, 4, 280, -152, -60, 90, -294, -208, -20, 488, 88, 0, 4, -905, 282, -304, 208, 142, -272, 368, -56, -204, 230, 20, 74, -104, 92, 180, 136, -284, 34, -124, -8, -84, -40, 208, -1, -64, -102, -168, -124, -262, -168, 352, -2, 14, -260, -284, -48, -66, -40, -504, -48, 152, 150, 504, -16, -362, 400, -100, 112, 436, -18, 852, 8, 0, 48, 40, -44, -18, -128, 168, 42, 344, -176, 312, 14, -234, -64, 696, 52, -96, 112, -248, 0, 262, -42, -40, 24, 36, 160, 496, -80, -236, 22, -124, -64, 144, 104, 272, 4, 146, 96, 40, 5, -36, -424, -560, -36, 556, 198, -130, 52, -56, 156, 200, 8, 22, 24, 396, 172, 744, -50, 24, 32, 138, -86, 248, -64, 186, -392, 68, -12, -104, -340, 404, -20, 256, -300, 480, -54, 518, -200, -80, 9, -16, 24, 112, 24, -198, -144, 648, -102, -84, 180, 58, 56, 298, 152, 208, 120, -188, -72, 200, -10, 468, -13, 164, 172, 728, 12, 364, 112, -32, 154, 28, -180, -64, -280, -440, 42, 0, 54, 280, -13, -76, 312, -864, 1, 320, -88, 364, 192, -82, -48, -488, -4, -131, -320, -8, -96, -118, -416, -288, -30, 40, -158, -104, -120, 162, 38, 568, 68, -2, 8, -48, -6, 200, 112, -296, 72, -56, 30, -56, -144, 198, -60, -280, 32, 316, -164, -116, -72, -396, 20, -336, -58, -364, -28, 188, 24, 88, -84, -28, -96, 10, 78, 60, 124, -96, 160, 56, -80, 160, -16, -172, 256, -354, -272, 144, -24, -314, 240, 200, 34, 108, 104, 376, 112, -102, 64, -472, 84, -436, -240, -104, 10, 40, 60, 64, 96, -74, -40, -104, -160, -166, 80, -12, -44, -56, 88, -184, 41, 444, -162, -184, 2, -214, 16, -44, 45, -258, -284, 304, -56, -328, -20, 104, -20, 20, 32, -156, -160, -544, -8, 48, 168, 428, 28, -548, -10, 118, 136, 688, -10, -460, 192, -452, 92, -134, 132, 0, 22, -144, -240, -292, 68, -6, -176, -40, 124, -332, -44, -584, 128, 398, -72, 312, 136, 144, 2, 128, 48, 112, -228, 88, -6, -104, 160, -124, -274, -312, -172, -560, -40, -302, -172, 104, 168, -446, -264, -8, -22, 220, -74, -88, -80, 306, -112, 176, 48, 106, 532, 272, 60, 24, 50, 140, 4, 369, -170, -176, 86, -16, -136, 88, 168, -24, 44, -100, -180, -48, 80, -712, -64, 126, 168, 240, -2, -194, -352, 204, 36, -386, 158, -112, 64, 0, 40, 72, 0, 344, -162, -216, -28, -286, -160, 328, 6, -282, 32, 40, -56, 168, -16, 44, 142, -496, 345, 272, -70, 12, 0, 344, -100, -880, 38, -68, -248, -224, -96, -176, 8, -616, -82, 340, 178, 248, 128, -184, -200, 378, -470, -61, 64, 90, 240, 400, 64, 92, -92, -552, 136, 176, -34, -328, 152, -368, 288, 208, 120, 354, -176, -128, 0, -36, -214, 56, 61, 14, -380, 16, 94, 336, 120, -72, 32, -300, 56, -468, -30, 348, 32, 272, -116, -96, 20, -210, 72, -90, 180, 108, 12, 110, -328, -336, 4, -170, 80, 108, -136, 228, 8, 48, -22, 144, 272, 204, -80, -8, -36, 24, 64, 164, 296, -284, -6, 402, 88, 368, 30, -32, -206, 112, -108, 438, -8, 128, -6, -164, -32, 54, 162, -120, -196, -196, 104, -744, -220, -144, -76, 344, -78, 340, 0, -492, -282, -324, 312, -36, -148, 216, 112, 96, 176, -56, 260, 64, 64, -288, -57, -266, -58, -48, 40, -46, 384, -88, -14, 215, 114, 264, 12, 60, 184, -72, 72, 46, -76, 0, 122, 48, -28, -360, 40, 22, -120, -508, 120, 18, 28, -44, 14, 1248, 60, -168, 98, -64, 464, 144, -8, 178, 272, 544, 164, 34, -164, 824, 24, -648, -330, 296, -174, -218, -232, -272, 84, 32, -74, -30, -32, 296, -144, 24, -8, -194, 640, -260, 216, -424, -1, -172, 202, 360, 184, 376, -112, -212, -128, -228, -16, 164, -112, 516, 128, -350, 200, 528, 96, 84, 190, 172, -1, 104, 136, -116, 24, 66, -132, 440, -26, 262, -248, -90, -98, -268, 52, 160, 240, -644, -64, -8, 3, -324, 136, 116, 18, 80, -544, -288, 24, 302, -120, 392, 96, 8, 440, 64, 20, 392, -106, -340, -32, -202, -48, -200, -20, -350, 64, -80, -160, 88, 8, 80, -16, -88, 17, -152, -92, 50, -32, -448, 56, -78, 58, -320, 96, 130, -84, 216, -28, 186, -506, -32, -116, -184, -80, -352, 168, -56, 134, 332, 200, -256, -176, -376, 26, -88, 252, -240, 40, 544, -144, -240, -64, -30, -288, -268, -32, -264, 88, 4, -64, 28, -380, -584, -44, -294, 32, -520, -50, -108, 40, 56, -200, -522, -384, -436, -136, -178, 80, -504, 146, -272, 12, 184, 0, 23, 28, -272, -8, -436, -440, 424, 1, -678, -66, -24, 144, -184, -128, 32, -98, 142, 46, 130, -16, 96, 88, -424, 0, -418, 220, -208, -238, 202, -72, -24, -56, -544, -54, 12, -232, -276, 232, 24, -26, 64, -312, 124, 84, -170, -60, 400, 0, 86, -102, -56, 20, -110, 52, -268, -40, 464, 78, 16, -80, 120, -32, -254, 104, 258, 160, -672, 60, 320, -64, 96, -2, -88, -28, -840, 48, -484, 16, -148, -45, -68, 310, 580, 216, 144, -336, 376, 34, 266, 48, -144, 86, -352, -160, 120, -4, -72, -78, -536, -92, 14, 248, -48, 112, 172, 136, -60, -127, 418, -200, 368, -196, 584, 16, 344, 48, -594, -8, -452, -4, 268, -180, 236, 202, -88, -172, 352, 72, -96, -132, -388, -312, -228, 100, -552, -16, -432, -400, 508, 40, -152, -212, -64, 22, 130, -296, 408, 36, -142, 80, 14, -68, 296, 150, 284, -64, 444, 332, -16, 160, -402, 8, 140, 256, -320, -376, 40, -28, -196, 78, 124, 12, 136, -392, 240, 42, -32, 162, 112, -184, -57, -264, -88, -2, -660, 64, 232, 48, -350, 84, 288, -64]