# Trace form for 1005.2.a, downloaded from the LMFDB on 23 April 2024. [0, 43, -3, -1, 41, -1, 1, -8, -15, 43, 5, -4, -7, -14, 0, 3, 41, -14, -3, 0, 9, -8, -28, -4, -3, 43, 38, -1, -16, -26, -3, 0, 17, 4, 26, 0, 41, -2, 52, -14, 9, 6, -8, -28, -4, -1, 32, -20, 1, 27, -3, -2, -26, -30, 1, 4, 48, -20, 30, -16, 5, -30, 16, -8, 1, 10, 20, 7, -14, 8, 16, 24, -15, -6, -34, -1, 76, -16, -2, -48, 1, 43, 66, 20, 16, -2, 4, -22, 4, 42, 5, -8, -104, -24, -40, -20, 5, 14, -11, -4, 41, -46, 50, 8, 30, -8, -66, 64, -7, -22, -28, -14, -64, -2, -36, 0, -154, -14, -28, 8, 9, -17, -98, -10, -40, -1, 0, 20, -39, -20, -26, 68, 12, -16, -3, 3, 26, 14, 8, 36, -32, 48, -128, 8, 41, -22, -54, -25, -42, -42, 1, -28, 124, -14, 0, 16, -66, 14, 32, 10, -7, 40, -3, 80, -14, -4, 76, 40, -8, 37, -38, 0, 20, 78, 30, -8, -28, -12, -14, -76, 9, -34, 0, -14, -40, 18, 48, 32, 32, -8, -4, 8, 33, -62, -110, -6, 17, -30, -28, -4, -15, -1, -26, 40, -38, -10, 40, -4, 30, 8, -16, -20, -170, 24, -52, -28, -3, -128, 78, 46, -28, 44, -26, 12, 24, 43, 10, 96, -60, -6, 24, -8, 14, -34, 38, -16, -76, -40, 32, 56, 29, 26, 25, -1, -90, 23, -22, 112, 32, -12, 5, -52, -16, 0, -32, 6, -23, 10, -28, 40, 22, -26, 52, 0, -20, 26, 16, 14, 13, 50, -3, 16, -126, -64, 26, -4, 40, -94, -68, 0, 96, 46, -48, -16, 104, 12, 48, 32, 17, -75, -42, 22, -118, -6, -47, -20, -114, 4, -42, -24, -7, 160, -16, 66, 188, 18, 26, 32, -24, -72, 24, -32, -130, -34, 14, 0, -152, 50, -34, 88, 1, 12, -168, 188, 41, -14, -172, 34, 98, -64, 28, 12, 276, -2, 32, -1, -24, -66, -93, 6, 2, 24, 52, -16, 140, 0, -202, -20, -74, -38, 0, -14, -92, 14, 52, 24, 26, -8, 124, -44, 9, 123, 246, 75, 0, -42, -18, 72, -296, 6, -2, 88, -152, 26, 152, 3, -168, 60, -8, -28, 4, 24, 56, 176, -59, 16, 162, -28, -38, -94, 30, 12, 81, -36, -106, 0, -4, -114, -40, -64, 41, 22, 13, 0, 118, -1, 16, 96, 122, -18, -54, -18, 152, 216, 32, -20, 38, -4, 160, 72, -56, 166, -20, -20, -130, -14, 72, 112, 20, -88, 68, -124, 1, 78, 120, 2, 78, -60, 18, -68, -52, 27, -76, -4, 70, 30, 176, 66, -80, -94, -3, 104, 42, -56, 28, -32, 44, -174, 14, -2, -40, 86, 144, -16, -162, 0, -86, -116, -26, -8, -48, 82, 132, -40, -120, 0, -432, -30, -88, 4, -15, -156, 82, -40, -75, -74, 1, -88, -274, -44, 125, 0, -94, 176, -32, 4, -168, -144, 36, 68, 9, 40, -60, 96, 48, -86, -128, -23, 8, 46, 34, -88, -87, -20, 114, -16, 4, 24, 16, -30, -162, -34, 30, 56, 164, -8, 232, 144, -20, 71, 14, -16, -32, -4, -126, -44, -15, 20, 62, -68, 5, -6, 56, -38, 242, -78, 144, -100, 74, -30, -28, -84, 104, 16, -114, -6, -116, 146, 16, -8, -40, 48, 42, -12, 104, -18, 20, -8, -304, -270, -20, -8, 272, 64, 216, -4, 1, 86, -129, 22, -98, -88, 90, 80, 186, 10, -114, 52, -15, -32, 44, -70, 46, -130, 20, 8, -362, -56, 48, -8, -3, 34, 104, 7, -112, -37, 6, 0, 140, 64, -26, 200, -14, -138, 300, 22, -168, 26, -64, -28, -48, 8, -48, 240, -194, 43, -102, 120, 190, -8, 16, 104, 40, -4, -2, -72, 62, 10, -264, 24, -23, -18, -84, 196, 368, -12, -8, 176, -15, -88, 38, -24, 204, 58, -82, -12, -78, -6, 120, -104, -52, -62, 52, 92, -100, 144, -34, 244, 168, -64, 9, 80, -120, -74, 58, -1, 119, 82, 122, 80, -46, -68, 248, 132, 76, -26, -280, -70, -388, -76, 24, -128, -42, -16, -4, -36, 110, -204, -18, 78, -16, -126, -2, 124, -20, 0, 82, 312, 92, -190, 8, -48, 130, 0, 16, -32, -156, 40, 80, 44, 1, 8, 41, 46, 102, -26, -3, 136, 8, 43, 170, -48, 14, 106, 104, -5, 264, -12, 66, 204, 46, 0, 72, -312, 200, -94, -10, 20, 272, -144, -3, 180, 320, 76, 4, -72, 16, -158, 412, -96, 36, -94, 112, -224, 216, -2, 336, 40, 129, -74, -56, 46, -62, -154, 4, 0, 58, -144, -82, 24, 62, 0, 80, -22, 185, 90, 68, -84, -114, -72, -8, -104, 4, -244, 158, -38, -88, -38, 88, -132, 17, 42, -190, 16, -7, -24, -120, 58, -146, -58, 5, 124, 144, 88, -160, -44, 42, 112, -214, -8, 114, -42, -14, -212, -80, 4, -168, 40, -104, -146, 4, -38, 142, -462, -36, 24, -8, -24, 4, -100, -40, -183, -242, -58, 20, -23, -40, -32, -370, 20, 26, -212, -24, 102, 400, -20, 68, -42, 152, 164, 68, 8, -96, 172, 5, 82, -54, -35, -376, 72, -10, -14, -170, 14, -40, 0, 34, 38, 56, 138, -68, -22, -11, 148, 92, -36, -44, -348, -154, 136, -94, -4, -112, 100, -34, -12, -256, 80, 306, 24, 41, 140, -392, -176, 146, 90, 128, -32, 252, -46, 88, 12, -108, 0, 130, -54, -234, -72, 50, -184, 88, -68, -130, 128, 40, -2, -128, 8, -186, -210, -24, -16, 298, -8, -92, -80, 30, -74, -24, -34, -48, 354, -26, -232, -196, -8, 240, -320, -120, 60, 52, -94, -40, -62, -66, 40, 24, 136, 8, 128, 141, 19, -196, 64, -230, -26, 104, -24, -267, 176, -30, -128, -7, 56, 112, -14, -154, 90, 68, -272, 97, -22, -84, -32, -22, 82, -140, 176, 80, 152, -28, -8, 104, 28, -144, 56, 4, -70, -4, -14, 9, -16, -88, 172, 4, 7, 56, 72, -64, -110, 238, 22, 120, -254, 87, -40, -280, -2, -98, 8, 10, 102, -360, -112, -71, 6, -36, 200, -270, 80, 96, -44, -148, 94, -296, 0, 0, 4, 110, -8, -98, -84, -366, -320, -154, 24, 332, -158, 692, -50, -8, -60, -168, -14, -288, -36, -12, -168, -347, 126, 94, 118, -28, -56, 144, 40, 36, 88, -70, -10, 52, 8, 13, -304, -100, -28, 222, -184, -292, -72, 9, 52, -74, -61, -160, 32, 206, 96, -46, -17, -154, 212, -80, 62, 84, 30, 170, -330, -98, -168, -4, 64, -24, 192, -120, 44, -328, -10, -290, -86, -50, -240, 164, -48, -250, 32, -40, 90, 152, -118, 136, -124, -248, -228, 234, -1, 300, -356, -224, -50, 186, 52, 108, -40, 0, -28, 512, 12, -110, -14, 68, 168, 52, 20, -224, -150, 208, -120, 32, -64, 32, -176, -39, -82, 82, 96, -77, 84, -94, 104, 70, -20, -104, 72, -14, 62, 288, 18, -166, 336, -26, 180, 70, 80, 292, -20, -235, 40, 480, 68, -4, 242, -34, -344, -290, 64, 50, -44, 12, -4, -200, -110, -10, -130, -128, -8, 232, -16, -120, -168, 1, -262, -70, 6, 136, -98, -3, -64, 392, -136, 129, 80, 214, -6, -232, 3, 348, -346, 288, -80, -66, 80, 144, 272, 26, 27, -242, -10, 396, 10, 2, -60, -184, 14, 74, -120, 112, 74, -20, 176, 0, -144, 8, 320, -80, 84, 0, -120, -10, 246, -3, 36, 98, 552, -232, 36, 118, -44, 36, -12, -32, -260, 584, -150, -64, 64, 92, -376, 278, 48, 80, -96, 150, 24, -202, -2, 432, -10, -128, 48, 65, 80, 122, -24, -60, 62, 164, 8, -496, 90, -52, 172, -112, 40, -168, 72, 41, -42, 112, -122, -26, -206, 40, -312, -52, -22, 182, 68, 174, 288, 308, 48, -174, -68, -54, -48, -232, -72, 436, -296, 36, -34, 94, -25, 28, -30, 36, 68, 836, 20, -192, -288, -42, 440, -328, 30, 48, 224, -64, 208, -7, -42, -160, -96, -304, -54, 218, -50, -54, 64, 1, 144, -105, -136, 182, 16, 114, 140, -496, -28, 58, -170, 132, 76, 144, 48, 156, -8, 124, 137, -286, 110, 648, -394, 166, 4, 532, -14, 148, 184, -80, -142, 132, 18, -258, 26, 0, -364, 596, 168, -36, 144, -34, -24, -284, 16, 30, 64, 258, 68, 48, -108, 30, -104, -66, -18, 64, 40, 164, -58, 32, -160, 514, 14, 104, -44, 60, 148, 646, 128, -120, -146, 32, -68, 106, -20, 464, 156, 8, -242, 144, 10, -108, 262, -80, 8, -168, 80, 128, 64, -7, -216, -176, -52, 125, -19, -406, -228, 198, 40, 30, 524, -195, -46, -56, -18, -16, 112, -3, -92, -62, 144, 56, 48, 94, 74, -106, 80, -160, -188, 5, 132, -320, -180, 12, -16, -14, -56, -100, 52, -18, 54, -264, 240, 0, -4, 120, 240, -152, 170, -58, -200, 54, -230, 76, 128, -72, -156, -216, 176, 5, -24, 24, 40, -232, 160, 140, 80, 156, -32, -136, 128, -8, 184, -314, -14, -140, -60, -128, -96, -44, 37, -462, -96, -72, -30, -136, -30, 376, 328, -38, 292, 72, -64, 32, -28, -195, 68, -110, 0, -232, -20, 34, -104, 122, 40, -130, -112, 20, 130, 16, 8, -326, -122, 24, -128, 630, 78, 224, -104, -50, -280, -104, 110, -64, -82, 30, 68, 129, 164, -122, 316, -236, -478, 12, -8, -210, 232, 8, 132, -104, -72, -248, 224, -28, -22, -188, 119, -10, 0, 6, 16, 88, -12, -346, 104, -392, 262, -448, 76, 1, -242, -14, 232, -6, 44, -416, 128, 33, 266, 48, -76, 480, 74, -170, -104, 246, 60, -198, -60, 9, -190, -212, -142, 0, 10, 368, 324, 128, -34, 116, -88, 234, -56, 152, 26, -310, 18, 0, 192, -190, 108, 566, 48, -158, 0, 408, -14, 272, 460, 20, -272, 688, 160, -244, 132, -40, 138, 494, 24, 20, 56, -186, 428, -346, 18, -206, 212, 292, 138, 200, -6, 40, 72, 48, 7, 268, -24, -544, 372, -192, 289, -405, 32, 102, -130, 10, -144, -364, 12, -93, 172, 32, -350, 400, -26, -490, 358, 204, -8, -14, -8, -336, -112, 144, -24, -298, 30, -56, -342, -4, 116, 484, 4, -190, -24, -200, -244, 44, 8, 236, -194, -160, -92, -24, 8, 376, 400, 33, 432, 110, 78, 354, 138, -53, 156, -160, -62, 112, 132, 22, 186, -42, -32, 214, -190, -110, -60, -624, 216, 16, 24, 450, 134, -538, -6, 184, 144, 150, -280, -212, 12, -190, 480, 17, 94, -28, 208, -164, 284, -12, 440, -220, -30, -8, 24, 278, -110, -400, 174, -30, -116, -28, 40, -48, 88, 552, -236, 78, -54, 316, -4, -528, -160, -136, 24, -222, -184, -176, -216, -15, -138, -364, 150, 128, -93, -264, 168, -654, -1, -130, -204, 200, -442, -92, 47, 476, 296, -26, 428, 208, 24, -176, 204, -212, -6, -88, 40, -398, -232, 30, -280, 502, -128, 280, 104, -38, 64, -360, -262, -48, 24, -148, -16, 22, -10, -128, 40, 240, 367, -34, -130, -232, -324, 40, 72, -626, -60, -54, 28, -32, -198, 372, -4, -198, 42, 232, -108, 276, -8, -8, -264, 30, -142, -38, -1, -56, 6, -86, 128, -256, 8, 14, -40, 254, -76, 64, 204, 484, -202, -16, 48, -920, -144, 284, -68, -112, -160, -324, -20, 76, -474, 366, -40, -792, -56, 346, -268, -170, 16, 88, 138, -48, 62, -16, 184, 192, 24, 424, -96, -159, -20, -579, -138, -244, -16, -52, 24, 170, -44, -118, 60, -88, -166, -368, -28, -251, 340, -72, 64, -318, 120, 404, 6, -3, -54, 8, 160, -392, -334, -2, -8, -162, -128, -14, -32, -292, 88, -80, 74, 57, -36, 78, 104, 348, 108, -48, -488, 58, 24, 222, 46, 380, -62, 80, -48, 520, 148, 40, -72, -28, 256, 112, 298, -376, 26, -292, -12, -296, 44, 136, -88, 68, -82, 366, 16, 244, -10, -26, 168, 1, -16, -192, -60, 16, 54, 328, 12, -212, 422, 13, 40, 224, -176, -800, 8, 24, 230, -550, 134, -74, -536, 90, 96, 8, 43, -306, -160, -273, 46, 176, -230, 80, 660, 10, -56, 262, -112, -4, 4, 90, 4, -474, 96, 48, -90, -112, -612, -111, 44, 66, 360, -60, 162, 424, 30, 18, -150, -280, -352, -48, -6, 168, -192, 196, 136, 194, 124, 608, -10, 24, -88, 40, 60, -164, 20, 246, 0, -552, -8, -58, 106, -148, -48, -94, -76, 40, -468, 14, 406, -216, 228, -108, 80, 102, -164, 388, -34, 266, -168, 16, 56, -396, -174, -144, 218, 38, 196, 952, -80, -164, -16, -188, 18, -376, -16, -327, 304, 10, 280, 38, -120, 6, 24, -76, -2, 160, -182, -824, 286, 80, -336, -412, -40, -56, 240, -270, 50, -154, 128, -36, 534, 32, -560, 57, 16, 108, 208, -60, -104, 4, 56, -50, -174, -104, 40, -700, -24, -72, -12, 29, -10, 208, -192, 454, -50, -99, -104, 304, 26, -128, 104, -138, 140, 360, -22, 530, 248, 25, 24, -122, -184, -436, 140, 336, 128, -10, -1, -308, -336, 82, -496, 66, 128, -54, -168, -90, -124, -592, -118, 4, -72, -288, -36, -1016, 23, -472, -216, -24, 23, -324, -12, 384, 26, -22, 148, -218, 132, -258, -168, 22, -26, -280, 112, -100, 42, -64, 304, 358, 72, -248, 168, 32, -152, -154, 114, -768, -378, 214, -128, -136, -12, -328, 76, 104, 134, 228, 72, 538, -212, 5, -52, -372, -112, -40, -120, -160, 404, 642, -52, -6, 80, 116, -8, -84, -40, -464, 224, -16, 122, 12, -62, -160, 210, -44, -8, -622, 0, 66, -24, -92, -106, -64, -186, 156, 78, -32, -172, 264, -40, 150, 88, 40, -198, 160, 6, 880, -18, 528, 0, -104, -40, 200, 212, -23, -30, -78, -50, -102, -462, -16, -12, -141, 10, -100, 216, -78, 96, -400, -118, -34, -160, -28, 88, 448, -24, -308, -664, -38, -12, 98, 40, -208, 390, 14, -108, -62, -16, 536, -196, 22, 146, -44, 144, 382, -8, -96, 220, -476, -26, -40, 448, 121, -460, 88, -22, -512, -182, 52, 272, 92, -140, -50, -312, 110, 80, -504, 0, 838, 32, 56, 268, 394, 72, 492, -20, -20, 446, -444, 124, -56, 470, -410, -296, 334, 26, 330, -328, 72, -102, -24, 170, -416, 486, 16, 24, 720, -64, -256, -548, 5, 219, 178, 14, 106, 92, -6, -16, -120, -152, -14, 524, 13, -108, 368, -32, -496, -50, -128, -304, -275, 50, 888, 408, 142, 14, -138, 246, 456, 120, -3, 328, 68, -4, -118, 96, 72, 154, 376, 16, -106, -66, 392, 344, 544, 20, -248, -44, -126, 104, -11, -160, -98, 456, 2, 52, 492, -64, 286, -228, -70, -252, 368, -62, -232, -204, 26, -176, -22, 48, -96, -40, -24, 190, -66, -4, 292, -222, -288, -34, -136, -4, 620, 120, 40, -128, -552, -62, -336, 560, 36, -232, 280, -94, 184, -116, -106, 104, -398, 54, 41, 252, -68, 332, -270, -24, -320, -136, 256, -132, 124, 0, 622, 88, 164, -184, -852, 184, 700, 32, 96, -418, -220, -87, 224, -46, 78, -128, 208, 46, 48, -36, 132, 32, -104, -91, 238, 752, -48, 292, 48, -168, -248, -356, -274, -150, 28, -16, -282, 250, 50, 280, -280, -112, -138, -144, 104, 74, -128, -150, -263, 116, 496, -328, -134, 12, -284, -84, 204, -32, 186, 38, 596, -104, 48, 8, 480, 4, -774, -480, -52, -168, 388, 32, -48, 184, -160, -104, 56, -104, -312, -256, 17, 398, 170, -14, -48, 58, -86, 208, 30, -75, -402, -32, 536, -34, -712, -304, 404, 230, -42, -160, 118, 10, 644, 140, -74, -118, 112, 22, -172, 578, 144, -336, -190, -8, 44, 112, -118, -488, 8, 274, 120, 614, -96, 240, -428, -6, 592, 216, -12, 104, 74, -146, -218, -201, -47, -168, -868, 172, -66, 64, -220, 584, 480, -20, -468, 758, 348, 84, 344, 200, 416, -232, -114, 44, 64, -16, 896, -136, -206, -384, 224, 4, -256, 64, -152, 550, 472, 88, 21, 208, -42, -396, 536, -148, 144, 456, 224, -14, -98, -24, 202, -310, 194, -100, -198, 56, -848, 180, -7, -240, -760, -92, -289, 26, 224, -404, 94, 160, -24, -464, 514, -206, -192, 34, 184, 456, -16, -296, 178, -236, 386, 288, 84, -22, -160, 66, 200, 42, -160, 68, 316, 304, 568, 52, 188, 312, -29, 72, 178, -22, -278, 304, 520, 18, 462, -42, 198, 226, -28, -200, -356, -394, 26, -168, -300, 224, 80, 152, 56, 88, 70, 32, -300, -88, 310, -224, 926, -400, 174, -100, -24, -548, -264, -14, 36, -186, 120, 168, -156, -72, -320, -828, 294, 98, 96, -434, -204, 314, 24, 360, 94, -164, 48, 296, 26, -318, -248, -32, -64, 10, 180, -144, -210, -128, 448, -136, -130, -259, 26, -178, 512, 140, -24, -4, 124, -34, 474, 276, 8, 344, 568, 122, -566, -2, 14, 232, -168, 32, 276, 52, 172, -398, -516, 0, -98, 190, -240, -184, -192, -124, -218, -696, -152, 110, 416, -12, 210, -136, -36, -424, -184, 50, -132, -140, 64, -266, -426, 78, -88, -482, -34, 224, 28, 32, -318, -64, 440, -28, 144, 88, -416, -50, 128, 0, -488, -8, -472, 124, 1, -28, 80, 63, -216, -194, 92, 252, 69, 12, 95, 600, 370, 560, 312, -74, 174, -430, -168, -8, -154, -128, -588, 220, 217, 48, -242, 188, -128, -366, 26, 8, -240, -244, 184, 120, 41, -10, 580, 224, 162, 68, 152, 88, 224, -14, -1304, -392, 62, 140, -2, -234, 414, 336, -172, 148, -224, -88, -700, -476, -227, -264, 312, 34, 360, -336, -108, 240, 36, 112, -28, 488, 98, 102, 544, -94, 36, 14, -340, 56, 302, -64, 226, 416, -120, 94, 124, 272, 1032, 26, 28, 12, -96, -40, 24, 8, 232, -172, -870, 12, -178, 0, 128, 100, 398, -72, 86, -24, 276, -366, 160, 50, -192, -52, -436, 120, -912, -2, -332, 64, 9]