# Trace form for 1001.2.a, downloaded from the LMFDB on 23 April 2024. [0, 59, -3, 0, 69, -2, 4, -1, -15, 51, -2, 7, -12, -1, -3, 12, 77, -10, 17, 20, 30, -4, -3, -8, 44, 45, -3, -12, -7, -18, 24, 12, -23, 0, 26, -2, 89, -10, 12, -4, 6, -18, 28, -32, 13, -22, 24, -16, -28, 59, -53, -24, -7, 30, -56, 6, -15, -64, -82, -32, 32, 10, -40, 3, 117, -2, -12, -8, -70, 44, -10, 76, -43, -2, -2, 60, 36, -1, -4, 36, 6, 19, -46, 28, -28, 12, 20, 136, -15, -38, -34, 7, -40, 12, 32, 44, 52, -6, -3, 31, 43, -30, -48, 80, 9, -24, 46, 92, -136, 10, 22, 28, -31, -66, -72, 4, -66, -13, -20, 46, -88, 59, 62, -24, 104, -24, 1, -24, -7, -64, -10, -4, -12, -16, -52, 212, 98, 2, -192, 60, 14, 56, -48, -1, 9, -60, -54, 0, -130, -38, -76, 96, 12, -98, 5, 8, 12, 54, 32, -32, 102, -8, -27, -4, -54, 20, 220, 88, 20, 59, -108, 140, 84, 18, -112, -31, 45, 12, 34, -36, -226, 14, -3, 40, 56, -56, -96, -18, -40, -16, 24, -44, -212, -66, -102, -24, 69, -86, -39, 120, -225, 20, 70, 18, -224, -76, -208, 28, -31, -12, -56, -48, 6, -60, 12, 56, -72, -4, 22, 64, 6, 22, -80, -44, -23, -31, -14, -108, -112, -18, -120, -4, -138, -46, -39, 4, -84, -88, 10, 104, -272, 102, -3, -116, -74, -2, -104, 40, -176, -64, -156, -64, -27, 20, -184, -16, 29, 30, -16, -6, -26, -162, -132, 148, -60, -76, -44, -20, 12, 66, -24, -32, 26, 4, -62, 29, 120, -42, -12, 144, 54, -50, 0, -52, -16, 144, -3, -2, -43, 97, 84, -84, 122, 90, 4, 36, 38, 60, 78, -8, -52, -12, 16, 72, 396, -148, -14, -20, -7, 16, 216, 0, 100, -94, -138, 78, 360, -74, -32, 26, -106, 64, -56, 32, -43, 1, 124, 104, -62, 4, -56, 48, 164, 114, 96, 20, -20, -30, -3, -20, 92, 4, 28, -1, 84, -20, -42, -52, 416, -30, -45, -40, -23, 154, 112, 76, -166, -40, -92, 48, -290, 115, 46, 0, 13, -8, -128, -4, -192, -18, -68, -38, 48, 10, -38, 68, 40, -30, 64, 88, -40, -80, 56, 20, -84, 2, 10, -272, 10, -170, -8, 296, -15, 56, -58, -32, 113, 98, 224, 0, 43, 102, -48, -28, -34, -66, -26, -34, 280, 30, -156, -4, 120, 44, 200, -100, -15, -56, -28, 68, 48, 122, 36, 16, 174, -126, 240, -14, 268, 12, -32, 0, -40, -46, -32, -136, 78, 32, -48, 80, -10, 51, -14, 60, 272, -76, 320, -120, -127, -70, -49, -2, -190, 160, 140, 34, -152, -2, 222, 80, -136, -110, -4, 20, 198, 228, 82, 8, 21, 12, -280, 20, -212, -20, 216, -76, 98, 22, -208, 48, 104, 10, 218, 24, 69, 124, 172, -12, 86, -160, -2, 116, -40, -140, 28, -22, 208, -8, 136, -12, 420, -80, -84, -32, -115, -300, -56, 0, -64, 46, 32, 10, 193, -104, 146, -16, 248, 72, 94, 312, -66, -206, 166, -28, 76, 68, -232, 48, -84, 131, 132, -148, -60, 22, -112, -104, 108, -196, 62, 7, 352, 114, -96, -140, 26, -196, -12, -8, 50, 74, -61, 32, -16, -32, 78, -60, 28, 146, -184, -36, -66, -24, -134, -4, -16, 248, 164, -9, -64, 18, 24, 32, -7, 116, 74, -144, 129, -222, -265, 8, -148, -48, 312, 58, -102, -2, 142, -68, -12, 332, 240, -168, -114, -74, 88, -44, 38, 24, 80, 60, -148, -2, 12, -92, 40, -2, -112, 128, -4, 24, -28, -28, -70, -86, -52, -120, 9, 54, 184, -24, 144, -156, 24, -54, -44, -49, 170, -56, -2, -164, -58, 244, -296, 96, -90, 32, 408, -1, 46, -200, -98, 126, -352, 272, -104, -40, -136, 212, -255, 0, 99, 48, -68, -178, -304, 304, -270, -202, -48, 24, -64, 142, 228, -40, 148, 24, -138, 108, 160, -28, -320, -38, 52, -22, 178, 56, 69, -102, 384, 34, 4, -88, -32, 36, 476, -40, -3, -20, 204, -6, 320, 104, -10, -13, -108, 184, -440, -228, 494, 8, 55, -114, -40, 368, 29, 16, -438, 10, -56, 142, -240, 132, 66, -28, 176, 10, 140, -184, 144, 28, -186, -24, -111, 192, 198, -202, 4, 12, -15, -225, 252, 0, -80, 186, 248, 12, 16, 0, 234, 108, -300, -32, 30, -152, 64, -196, 22, 4, 74, 36, 712, 176, 80, -116, -74, -72, 16, -18, -44, -12, -24, -234, 240, -22, -72, -180, 224, -44, -116, -26, -18, -96, -278, -94, 84, 400, -566, -96, -50, -24, 48, -52, 264, 120, 77, 96, 200, -4, 270, -352, 0, -82, -43, -38, -306, -256, 104, -338, 80, 88, -441, -26, -326, 6, 144, 12, 88, -208, 14, -134, -10, 164, -82, -16, -58, -192, -576, -120, -142, 27, 76, -198, 192, 20, -112, 156, 4, 108, 144, -58, -168, -80, -79, -10, 200, 28, 92, -36, 36, 4, -152, 9, 334, -424, 60, -2, -264, -1, -66, -160, 102, -4, -24, -14, 102, -12, 148, -146, 4, 240, 400, 96, 32, -104, -64, -124, -190, 208, 88, 24, -192, 28, -330, -146, -8, 24, -160, -254, 352, 104, 150, -230, 17, 68, 42, -292, 204, 208, 240, 16, 420, 15, -216, 108, 256, 468, -63, -32, 106, 120, -49, -92, -94, 160, -318, -88, -296, 56, -28, 42, -18, -348, -640, -28, 34, -40, 134, 92, 160, 88, -152, -176, -130, 56, -28, -202, -48, 184, -34, -42, 24, 20, -294, -104, 252, -28, -75, -154, -92, -76, -96, -222, -224, 64, 92, -64, -116, -176, -168, -14, 180, -28, -102, -190, 262, 36, 0, -16, -56, -26, -552, 147, 46, 340, -70, -476, 80, 80, -15, -224, -148, -160, -396, -44, -88, -12, -106, -134, -96, -22, 30, -94, -204, -68, -160, -252, 140, -64, 92, -60, 94, -96, -840, -180, 40, 32, -664, -230, 316, 196, -228, 19, -128, -256, -84, -20, -400, -80, 109, -18, 28, -224, 0, 54, 4, -40, -160, -158, -186, -292, -360, -222, -86, -20, 509, -102, 336, -48, 98, -4, -144, 180, -80, -122, 88, -304, 110, -164, 72, 108, -26, 32, -318, -38, 6, -8, -452, 192, -252, -78, -68, -116, 416, 71, -40, -232, -84, -32, 29, 36, -84, -338, -540, 120, 76, -140, -6, 58, 176, 66, 400, 6, -228, -68, 520, 20, 118, -40, -3, 104, -248, -64, -602, -384, 392, -64, 224, 328, 266, 51, -28, -44, -4, 150, 500, 88, 10, 302, 998, 42, 59, 36, -472, -100, -272, -12, 72, 312, 438, 210, 408, -70, -372, -136, -66, 168, 344, -282, 156, 280, 110, -56, 48, 156, 210, -180, -100, -8, 96, -202, 676, 32, -164, -16, -179, -104, -120, 308, 346, 0, -144, -52, -188, -40, -15, 144, -104, -124, -62, -356, -40, -272, -251, -94, -302, 8, -49, 10, 608, 400, 636, 128, -68, -180, 424, -68, -42, -20, 314, 52, -114, 36, -34, 40, 556, 168, 44, -12, -56, -276, 56, -238, -360, -1, 342, 400, 50, 224, -48, -12, 156, 248, -170, -134, 296, 168, -120, -72, 176, -22, 172, -266, 34, -24, -196, -256, 252, 88, 384, -48, -2, -6, 24, 114, -160, 424, 604, 110, 88, -20, -60, 52, -80, -56, 106, 45, -138, 160, 44, -334, 512, 96, -31, -226, 178, -112, 16, -14, 4, -64, 64, 212, -600, -54, -24, -144, -166, 108, 172, 86, 1, 108, -278, 108, 64, 68, 382, 96, -428, 24, 262, -6, 112, -168, 560, 28, -144, 178, 398, -48, -56, 64, -104, -216, -3, -272, 14, 222, 24, 372, -418, 24, 10, -264, 8, -132, -220, -13, 24, -250, -120, 228, 48, -152, -144, 12, -75, 2, 84, 124, 39, 38, 64, 260, -228, 364, -34, -220, 856, -18, 0, -576, -494, -22, -382, 224, 16, 232, -12, -144, 24, -62, 142, -12, 204, 190, 144, 44, 356, -492, 80, 7, -18, 432, 152, 76, -112, -80, -384, 8, 296, 2, 134, -80, -100, -284, 18, -140, 130, -8, -712, -42, -15, 16, -10, 208, 264, 36, 2, 368, 68, 238, -304, -40, 104, -8, -380, -80, -484, 169, -268, -208, -7, 310, 600, 144, 108, 174, 22, 10, 112, 6, 252, 184, -530, 308, 1, 212, 60, 372, -400, -28, 176, -88, 340, -316, -306, 120, 96, 96, 31, 68, 150, 272, -160, -276, -440, 80, -119, -270, 472, 0, -30, 362, 174, 240, 48, 2, 142, -96, 432, -18, 72, 60, 42, 224, 48, 508, -168, 214, 14, -104, 156, 46, 208, -44, 240, 72, 392, -20, 766, -36, -80, -88, 721, -14, -464, 296, -106, -168, 178, -452, -12, 46, 192, -252, 13, 404, 41, -188, -396, 116, -240, 44, -416, -184, 182, 420, 72, -50, 24, 584, 584, -48, 44, -588, -254, 60, 260, -16, 204, -154, 80, -168, -138, 28, -104, -168, 480, 490, 332, -8, -226, -38, 340, -12, 90, 656, -116, -212, 72, 528, -128, -48, -184, -100, 16, -38, -106, 384, 208, 188, 264, -100, -578, -192, -228, -84, -8, 12, -400, 51, -374, -400, -144, 182, -10, -380, 64, -76, -164, 124, -320, -56, -76, -332, -260, -368, 90, 228, -18, 188, -432, 200, 66, 536, -34, -18, -140, 230, -208, -16, 18, -226, -8, -344, 38, -230, 304, -56, -168, -20, 104, -60, -88, 200, -240, -208, -23, -144, -428, 68, 128, -1, -44, -195, 30, 116, -80, -76, -192, -320, -6, -220, 217, -24, 78, -36, 86, -76, 40, 120, 592, -388, 70, -76, 184, 66, -248, 40, 19, 342, -30, 18, 266, 120, 66, 100, 488, 102, 280, -8, 24, 42, -680, -32, 30, 0, 410, -140, -834, 158, -212, 352, -138, 0, 496, -212, -122, 82, 184, 86, 320, 12, -24, -24, -126, 246, -39, -30, -236, 184, -250, -8, 160, -160, -8, 144, 272, -260, 28, -40, 180, 208, -620, -60, 320, -170, 150, 152, -232, -24, 168, -132, 121, 380, 26, -48, 96, 234, 888, 112, -108, 0, 288, -44, 380, 8, 280, 80, 312, -199, -533, -66, -74, 468, -456, 66, -52, 288, -2, 108, 136, 266, -3, -172, 334, -130, -88, 276, -178, 28, -752, 60, 720, 188, 230, 24, 86, -50, 560, 128, 428, -272, -766, -2, 20, -124, 508, -32, -288, -118, 40, -156, 584, 232, -288, -2, 136, -20, 60, 92, -374, 42, 260, 216, 80, 270, -88, -208, 248, -154, 36, -136, 102, 352, -622, -64, 528, -32, -52, 256, 296, -74, 390, 80, -56, -68, 912, 148, -138, 352, -822, 80, 89, -152, 92, 384, -174, -484, 832, -8, -148, 10, -240, -88, 1000, -250, 240, 384, -524, -90, -195, -236, 672, 56, -560, 152, -232, 106, -696, 560, -383, 100, 8, -56, 42, 320, -96, 14, -221, -114, -396, -112, -166, 238, 88, 76, -286, -156, -460, 292, -40, -10, -252, 12, -188, 300, 734, -176, 38, 104, -696, -248, 0, -542, 52, 186, -230, 308, 392, 172, 342, -96, -20, 148, -488, 0, 304, 80, -192, -56, 104, -36, -1050, -244, -16, 176, 28, -165, 434, -224, 184, -52, 408, 264, 198, 468, -214, 7, 104, 242, 12, 88, -358, 316, -144, 60, -108, 104, -116, -128, 173, -198, 130, -264, -60, 162, -480, -276, 280, -36, -394, -86, 256, 88, 280, 248, -812, -210, -48, 360, 156, 140, -292, -324, 104, -8, -134, -328, -500, 74, 120, -78, 146, 88, -318, -388, -250, -72, -144, -4, -320, -186, -168, -228, 160, 92, -302, 416, 392, -308, -59, -164, 174, -31, -404, 168, 674, 92, -804, 628, -144, -90, -544, 320, 77, -54, 320, 26, 748, 76, 324, -112, 852, -240, 52, -60, 128, -22, -172, 212, -802, 12, 122, 72, -400, 72, 58, -308, 6, -84, 214, 24, -204, 40, 56, -42, 448, -80, -388, -104, 36, -122, 224, 272, 4, -104, -744, -284, -90, -76, -336, 28, 216, -72, -136, 132, -104, 158, 328, -18, -128, -106, 134, -16, -588, 90, -624, 636, 788, -248, 5, -184, -104, 20, -296, -144, -516, -18, -648, -108, 312, -72, -232, -32, -315, -398, 90, 312, -796, 208, -240, 45, -112, 325, -522, 56, -12, 102, -284, 216, -80, -504, -78, -8, 182, 64, -108, 104, -168, -14, -378, -244, 226, 72, 128, 28, 449, -496, -410, -26, -552, 94, -8, 4, 106, -10, 28, -112, -824, 170, -448, 248, 16, 24, -334, -160, 216, 98, -160, -336, 214, -268, -196, 396, 792, -60, 216, -16, -26, 262, -64, 116, 106, 0, -130, -88, -18, 390, -40, -232, -844, 20, 40, 48, -652, -158, -62, 576, 172, 20, -300, 120, -896, 484, -27, -32, -104, 184, -176, 80, -212, 142, -328, -252, -131, 52, 600, 60, 508, 72, -226, -50, 492, -280, 216, -244, -156, 82, -624, 20, -110, -168, -166, -156, -416, -326, 134, -36, -312, 498, -190, 108, 316, -24, -652, -408, -264, -48, -132, 224, -114, -138, -32, -544, 13, 220, 36, 464, 200, 370, -384, -160, -410, -232, 12, -38, -784, -26, 240, -36, -336, -292, 344, 240, 42, 240, 17, -8, -132, -76, -732, 636, -20, 260, -178, -628, -220, 80, -408, 78, 226, 72, -278, -400, -298, -1, -18, -168, -33, 76, 176, -320, -216, -22, -488, -120, -816, 407, 108, -44, -256, -102, -464, 268, 638, 960, -666, 74, -920, -78, -170, 48, -500, 354, -120, -40, 286, 584, -432, -44, -960, -22, 854, 384, -276, -34, -248, 936, -186, 160, -928, 332, -16, -144, -220, -168, -78, 50, -340, -164, -12, 60, 24, 44, -152, 92, -422, -164, -436, 136, -24, -364, 4, 760, -32, -248, 113, -362, 40, -240, -240, -34, 400, 29, -566, -48, -312, 68, -512, 242, 196, -296, 276, -12, -976, 248, -31, -168, 92, 60, -88, 118, 456, -464, 66, 10, 608, 20, -400, -48, -336, -16, 369, -340, -38, 104, -470, 226, -72, 332, -749, -458, -54, -156, 768, -4, 360, 504, -996, -36, -328, -64, -132, -352, 12, 12, 1096, 516, -772, -86, 78, 230, -184, 340, -78, 528, 144, -724, 118, 126, -76, 12, -58, 80, 608, -176, -340, -578, 112, 328, -28, -38, 44, -460, 264, 358, -220, -34, 528, 560, -170, 384, 552, 240, -3, 36, -234, 120, 632, -36, 146, -208, 372, 76, 200, 146, 188, 72, -164, -118, -704, 128, -322, -180, -494, 40, -32, 314, 680, -52, -24, -90, -308, -212, 296, -792, 78, 508, 396, 59, 114, -204, -118, 20, 256, -232, -116, -64, 300, -108, -348, 544, 56, 80, 608, 238, -224, 96, 30, 514, 190, 308, 272, -46, 326, -208, 368, 20, 512, 38, 60, -144, -166, -484, -8, 114, -88, 648, -420, 246, -216, 94, 16, 0, -144, -656, 338, 192, -53, -88, -10, 44, -184, -24, 340, -8, 86, 92, -168, -168, 96, -624, -7, 264, -22, 104, 218, -220, 224, 86, 416, -42, 526, 9, 492, -286, 352, 420, 208, 328, -108, 48, 464, -144, 122, -44, 336, -280, 472, -384, 194, 94, 272, 64, 164, -12, 666, -24, -111, 364, 276, -96, 218, 152, -260, -544, -296, -18, 432, 268, 94, 176, -120, 352, -524, -92, 212, 62, -146, 138, -78, 168, 472, 142, 8, -93, -920, -162, -264, -16, 656, -68, -90, 12, -578, 552, 448, -412, 1184, -4, 184, -896, 1480, 324, -840, -596, -7, 78, 56, 48, 78, 140, -658, 84, -856, 66, 712, -32, -530, -78, -248, -90, -174, 432, -124, -216, -88, 0, 428, -552, 356, 140, -39, 272, -200, 196, -110, 108, -304, 244, -820, -154, 440, 112, -440, -48, -152, 152, 20, -56, -599, 78, 1090, -392, 12, 30, 976, -528, 255, 489, -194, -256, -96, 568, 448, -152, -36, 14, -388, 170, -330, -48, -500, 128, -64, -18, 42, 260, 560, -606, 48, 240, -494, -184, 102, -292, 530, -72, 48, -440, 56, 498, -48, -160, -148, 386, 864, -10, -128, -368, 546, -468, 222, 18, -56, -384, 484, -288, 186, -58, 0, 100, -280, -256, 108, 606, 992, 284, 248, -168, -3, -20, -834, 28, 24, 96, 264, -452, -120, 384, -136, 60, 16, 68, 488, 238, -56, 136, 8, 112, 582, -4, -202, -84, 344, -348, 284, 426, 404, 24, 130, 502, 616, 6, 66, 800, 176, -160, 144, -604, 122, -112, 77, 140, -24, -144, -578, 68, -304, -4, 840, 58, -320, 100, 330, 12, -128, 544, 396, 32, 762, 42, 280, 702, 656, -424, -192, -306, -72, -200, 244, -424, -64, 120, 1652, -64, -381, 112, 484, -94, -368, -100, -15, 132, -106, 344, -240, 170, 4, 0, 908, -74, -1038, -100, -90, 344, 110, 8, 560, -48, -882, -532, 524, -76, -88, -80, 750, -48, 284, -208, 85, 416, -176, -584, -644, 158, -240, -50, 736, -424, -36, -8, -1112, -20, -232, -432, -676, -118, -864, -264, 1486, -64, 64, -100, -344, 82, 512, 544, -65, -666, 736, -420, -818, 32, 56, -186, 264, -15, 236, 552, 360, 44, -136, 440, -3, 582, -6, 648, 176, 8, 216, 464, -126, 82, 374, 158, -194, -440, 488, -32, 224, -82, 86, 94, 478, -26, -96, -288, 144, 244, -82, 88, 608, -148, 200, 120, -206, 42, -728, 188, -1016, -286, -580, 344, 280, -158, 134, -1032, -2, -34, 936, -6, 332, 692, -46, -224, -768, 368, -44, -30, 488, -10, 56, -316, -96, 168, -376, -248, 142, 136, 76, -1036, 8, 312, 312, 12, -499, -688, 170, -32, 728, -160, 200, -688, 246, 310, -232, 116, -678, -136, 244, -216, 44, 104, -626, 24, -560, 514, -1024, -40, -23, -620, 48, -84, -15, 354, 564, -96, 660, 344, 24, 312, -192, 61, -60, 16, -592, -556, 644, -340, -122, -132, 500, -36, 1072, 300, -14, 364, 32, -164, 352, 520, -32, -288, -704, 26, -244, -260, 332, 252, 874, -114, -44, -16, -260, -138, 576, 98, -1052, 132, -678, -68, -64, -400, 172, -80, 70, 14, -352, 40, -144, 0, -40, 114, 656, 114, -862, -340, -708, 72, 32, 232, 158, 1328, -330, -264, 356, 10, 200, 536, 66, 44, -184, 120, -84, -234, 724, -280, 280]