# Trace form for 3022.2.a, downloaded from the LMFDB on 18 April 2024.
[0, 125, -1, 0, 125, -2, -4, -8, -1, 117, -6, -6, 0, -10, -8, -4, 125, 2, -13, -16, -2, -8, -10, 4, -4, 107, -10, 12, -8, 0, -12, 4, -1, 4, -10, -16, 117, 8, 0, -44, -6, 6, -8, -34, -6, -18, -16, 8, 0, 93, -7, -36, -10, 0, -16, -12, -8, 4, -16, -2, -4, -30, -4, -36, 125, 4, -24, 10, 2, -4, -16, 36, -13, 2, -16, 44, -16, 28, 20, -52, -2, 101, 2, 26, -8, -12, -2, -12, -10, -10, -22, -24, 4, 12, -20, 44, -4, -10, -17, -2, 107, -10, -8, -16, -10, 36, -40, 10, 12, -38, 8, 60, -8, -10, -32, -24, 0, -22, -26, 20, -12, 53, 38, 0, 4, 0, -64, 4, -1, -36, -28, 20, 4, -24, -30, 64, -10, -18, 0, -10, -16, 56, -24, 12, 117, 24, 14, -4, 8, -56, 28, -16, 0, 18, -4, 60, -44, 8, 32, -20, -6, 0, -9, 24, 6, 76, -10, 0, -8, 39, 16, -152, -34, 0, 52, -48, -6, 0, -18, -56, -18, 16, 20, 32, -16, 4, -36, 8, 8, -44, -4, 4, 0, -46, 34, 72, 93, 2, 6, -12, -7, -16, 6, 36, -36, -108, -32, 16, -10, 100, 112, -70, 0, 8, -34, 16, -16, -44, 10, -80, -12, -16, -52, 32, -8, 131, -26, 8, 4, 44, 68, -60, -16, -66, -6, -72, -2, 40, 24, -40, -4, -6, -29, 16, -30, 170, -28, -44, -4, -68, -12, 18, -36, 4, -8, 116, 125, -38, -8, -56, 4, -36, 88, 16, -24, 124, 12, 12, 10, -142, -156, 24, 2, 24, -50, -6, -4, 20, -18, 72, -16, 6, -24, -26, 36, -4, -4, 120, -13, 167, 8, -80, 2, 82, -4, 24, -16, -88, 4, 76, 44, -60, -4, 136, -16, 36, -82, -72, 28, -32, -60, -76, 20, 98, -24, 228, -52, 92, -4, 0, -2, -124, 56, -56, 101, -50, -12, 40, 2, -60, 60, -56, 26, 204, -36, 140, -8, -62, 17, 44, -12, 88, 12, 8, -2, 148, 24, -68, -12, -50, 16, -192, -10, 42, -24, -4, -10, 64, -32, 108, -22, 33, -44, 368, -24, -4, 24, -96, 4, 98, 56, 268, 12, 48, -8, 24, -20, 184, 52, -8, 44, 44, -8, 92, -4, -44, 10, -174, -10, -38, 64, -128, -17, 52, -58, 76, -2, -64, 16, 20, 107, -26, -32, -12, -10, -14, -104, 64, -8, -162, 40, -48, -16, -44, -80, -108, -10, -28, 112, 6, 36, -60, 134, -16, -40, -78, -24, 12, 10, -68, 48, 60, 12, 70, -8, 4, -38, -60, 12, -44, 8, 37, -44, -30, 60, -76, 20, -104, -8, -18, -155, 28, -10, -16, 4, 12, -32, 2, -28, -172, -24, 48, 72, 32, 0, -108, 14, 184, -22, -156, -8, -16, -26, -64, 40, -84, 20, -48, 76, -12, -12, -152, -70, 28, 53, 56, 148, 80, 38, -144, -30, -70, 0, 4, 8, -56, 4, 140, 0, -38, 0, -144, 50, -36, -64, -140, 8, -8, 4, -82, -20, -296, -1, -24, -114, -148, -36, 20, 76, -80, -28, 166, -144, 18, 20, -204, -28, -16, 4, 149, -120, 82, -24, -8, 36, -92, -30, -32, 6, -22, 64, -90, 20, -8, -10, -140, -24, 88, -18, -138, -130, -32, 0, -160, 24, -68, -10, 238, 16, -120, -16, -32, -82, -100, 56, 188, 94, -68, -24, -138, -8, -96, 12, -208, -120, 132, 117, -130, -99, 108, 24, -68, 68, 164, 14, -16, -78, 24, -4, -104, 32, 164, 8, 58, -192, -12, -56, 88, -20, 192, 28, 18, 168, 10, -16, -218, -20, 52, 0, -76, 4, 168, 18, 8, -36, -28, -4, 58, 48, -18, 60, -56, 56, -128, -44, 65, 54, 56, 8, 136, -8, -8, 32, -60, -156, -48, -20, -130, 16, 96, -6, -26, -72, 46, 0, 36, -36, -44, -9, 168, -226, -116, 24, -122, -20, -44, 6, 58, 104, -180, 76, 116, 0, -244, -10, 32, -128, -92, 0, -32, 32, 28, -8, 62, -74, 220, 39, -50, -16, -64, 16, -196, 88, 64, -152, 36, -28, -176, -34, -168, -216, -4, 0, -96, 84, 80, 52, 96, 10, 24, -48, -40, 44, -76, -6, -108, -42, -256, 0, 32, 68, -160, -18, -160, 16, -76, -56, 144, -88, 232, -18, 60, -53, -152, 16, 76, -4, -88, 20, 33, -60, -108, 32, -4, 36, -488, -16, 216, 2, -28, 4, -172, 4, -116, -36, -40, -8, 106, 8, 220, -56, -100, 8, 104, -64, -20, -44, -150, -40, -184, -4, 50, -52, 188, 4, -132, -148, 40, 0, -126, 24, 60, -46, -206, 122, 176, 34, -268, 30, 72, 72, -264, 68, -256, 93, -76, 136, -108, 2, 100, 32, 72, 6, 4, -104, 260, -12, -72, 48, 136, -7, -186, -146, -152, -16, 184, 120, -200, 6, -26, 34, -46, 36, -12, -88, -180, -36, -144, 30, -76, -108, 182, -124, -80, -32, 240, 16, 246, 16, -38, -8, 56, -10, -90, -80, -24, 100, 120, 10, -228, 112, 115, -104, -4, -70, -186, -52, -44, 0, -148, -134, 68, 8, 142, 48, 144, -34, 118, 152, -46, 16, 56, 52, 4, -16, 80, -2, -184, -44, 132, 28, 136, 10, -270, 176, -48, -80, 234, -48, 148, -12, 310, -117, 68, -16, 224, -102, -148, -52, 144, 104, -162, 32, -180, -32, 12, -8, 248, 134, -24, 131, 76, -96, -20, -26, 36, 28, -56, 8, -138, -28, 40, 4, 76, 10, -116, 44, 72, -112, -96, 68, 152, 112, 64, -60, -28, 96, 52, -16, -82, 48, -120, -66, -116, -52, -136, -6, -194, 0, 100, -72, -40, 160, 172, -2, 72, -64, -172, 40, -64, -60, 108, 24, 98, -232, 176, -40, 184, 60, 56, -4, 101, -144, 334, -6, -192, 36, -88, -29, 8, -112, 102, 16, -96, 132, -540, -30, -178, 136, 132, 170, 30, 46, 12, -28, -64, 80, -80, -44, 16, 252, 68, -4, -296, 24, 200, -68, -176, -74, 208, -12, 16, 272, 104, 18, 124, 116, 404, -36, -62, -180, 172, 4, 78, -20, -184, -8, 42, -146, 144, 116, 88, 144, 60, 125, -182, 96, 80, -38, 148, -116, -104, -8, -182, 88, -116, -56, 112, -72, -264, 4, 60, -26, 8, -36, 44, -54, -60, 88, 6, 44, -288, 16, 38, -64, -96, -24, -308, -97, -376, 124, 132, -34, -152, 12, 156, 24, -228, 12, 268, 148, 332, 10, -220, 48, -170, -142, -60, -154, 36, -156, 56, 74, -332, 24, 28, 172, 48, 2, 109, -212, 78, 24, -34, 0, 388, -50, -90, -110, -44, -6, -336, 96, 176, -4, -368, 152, 116, 20, -134, -132, 260, -18, 200, -174, 108, 72, 20, 64, -152, -16, 164, 56, -20, 6, -464, -60, 176, -24, 2, -28, 356, -26, -48, -336, 192, 36, 328, -10, -4, -4, -236, 132, 104, -4, 108, 108, -232, 120, -204, -52, -20, -13, 30, -58, 168, 167, -132, 60, -184, 8, 88, -52, -60, -80, -388, 140, 272, 2, 108, 252, -214, 82, 20, -112, 120, -4, 232, -88, 92, 24, 398, -124, -44, -16, -332, 142, 186, -88, 244, -20, -244, 4, 34, 24, 52, 76, -60, -144, -192, 44, -222, 22, 120, -60, 232, -350, 184, -4, -180, -118, 268, 136, -10, -112, 160, -16, 70, 56, 80, 36, 320, 56, -276, -82, -461, 24, 12, -72, 62, -20, 92, 28, 58, -138, -92, -32, -40, -34, 136, -60, -252, 292, 4, -76, -216, 44, 76, 20, -110, 91, -298, 98, -228, 224, 32, -24, -64, 80, 30, 228, 148, 32, -160, -52, 376, 8, -104, 92, 56, -144, 68, -4, -156, -210, 140, 0, 552, -328, 20, -2, 384, -2, 230, -124, 132, 98, 32, 56, 90, -116, -188, -56, -44, 156, 80, 101, -286, -40, 236, -50, 20, 248, 8, -12, -256, 46, -154, 40, -400, -156, 144, 2, 152, -2, 88, -60, -188, 112, 312, 60, 174, 228, 56, -56, -308, 400, -268, 26, -332, 80, 372, 204, 68, -260, -396, -36, 148, 56, -396, 140, 180, 20, -200, -8, 244, -106, -108, -62, 176, 32, -68, 17, -612, 6, -212, 44, -96, 280, -152, -12, 150, -304, 36, 88, 276, -136, 316, 12, 287, -64, 212, 8, 106, -28, -16, -2, 78, 8, -264, 148, -240, -8, -268, 24, 412, 264, 32, -68, -432, 8, 32, -12, 44, 20, 376, -50, 252, -136, 384, 16, 464, -144, 8, -192, 116, 48, 584, -10, -338, 248, 44, 42, 284, 4, 100, -24, 236, -64, -96, -4, 172, 544, 132, -10, 336, -112, -198, 64, -270, 304, 40, -32, -94, -20, 264, 108, -100, 64, -48, -22, 0, 320, 40, 33, 318, -84, 88, -44, -112, -16, 98, 368, 174, -20, 356, -24, -88, 83, 14, -4, 24, 292, 232, 24, -148, 148, 244, -96, 0, 104, -340, 4, 216, 144, 282, 98, 148, -92, -336, 56, -10, 264, -74, 268, 1008, 48, -160, 12, 134, 152, -268, 48, 64, 138, -272, -8, 420, -120, 334, 24, 180, 332, -8, -20, -12, 152, 72, 184, 164, 228, 1, 52, 180, -310, 340, -8, -380, 124, 44, 44, -177, 98, 12, 44, -102, -40, -64, -8, 360, 352, 168, 92, 88, -108, -416, -4, 120, -170, -688, -44, 388, -168, 120, 10, 172, -114, 196, -174, 50, 92, -4, -10, 94, 232, -132, -38, -164, 56, -20, 64, -380, 28, -92, -128, -408, 56, 172, -17, -180, 16, 260, 52, -390, 0, -208, -58, -68, -148, 64, 76, 120, -8, 152, -2, 96, 12, 4, -64, 196, 184, 176, 16, -460, 32, -156, 20, -316, 0, -240, 107, -134, -2, -272, -26, -108, -64, -104, -32, -86, -100, -228, -12, -634, -112, 100, -10, 16, 130, 272, -14, 176, -78, -48, -104, 4, -160, -294, 64, 76, 224, -92, -8, 80, -256, 264, -162, 198, -4, 104, 40, 128, 10, 108, -48, 484, 144, -164, -16, 320, -208, -28, -44, 272, 126, -72, -80, 514, 34, -664, -108, 208, -252, -144, -10, -268, 142, 248, -28, -168, -4, 228, 112, 92, -296, -66, 6, -464, 80, 452, 36, 307, 89, 388, -60, 276, 104, -28, 134, 16, -10, 364, -16, 90, -96, -32, -40, -394, 184, 282, -78, -228, 60, -396, -24, 180, -94, -172, 12, 484, -56, 188, 10, -176, -62, -100, -68, -312, -130, -176, 48, 290, -80, -294, 60, 4, -28, 164, 12, 340, -168, -144, 70, 140, 272, 128, -8, -298, -152, 188, 4, 320, -44, -500, -38, 356, 138, 18, -60, 316, 4, 212, 12, -474, -174, 180, -44, -128, -80, -324, 8, 192, -2, -140, 37, 340, -32, -212, -44, 20, -240, 96, -30, -78, -4, 64, 60, 50, 280, 384, -76, 44, -314, 380, 20, -844, 112, -138, -104, 436, 64, 216, -8, 260, -40, 432, -18, -188, 188, -24, -155, -102, -284, -84, 28, 562, 68, -268, -10, -108, -200, 248, -16, -56, -68, -936, 4, 164, 46, 520, 12, -24, 232, 388, -32, 50, -24, 100, 2, 332, -92, 420, -28, 208, -224, 48, -172, 76, -24, 200, -24, 320, -184, 76, 48, -812, 328, 352, 72, 385, -44, 208, 32, 40, 12, 400, 0, 108, 14, 482, -108, 238, 88, 212, 14, 84, 120, 256, 184, 224, -164, 336, -22, -270, 190, 280, -156, 318, -456, -164, -8, 860, 60, 244, -16, 148, -64, -140, -26, 474, -16, 416, -64, -24, 76, 280, 40, 76, -228, -790, -84, 558, -96, -172, 20, -20, 66, -210, -48, 232, -104, -196, 76, 166, -48, -72, -12, 40, 44, 80, -12, 160, -161, -168, -152, -360, -378, 124, -70, 440, -32, 252, 28, -60, 132, -512, 53, 248, 144, -272, 56, 232, -194, 296, 148, 424, 240, -24, 80, -128, -12, 304, 38, -100, -310, -672, -144, 4, -152, -120, -30, -200, 146, -504, -70, -164, 112, -88, 0, 36, 52, -208, 4, -44, -188, -84, 8, -96, 160, -220, -56, -416, -16, 152, 4, 204, 8, -360, 140, 80, -68, 44, 0, -110, 248, 96, -38, 158, 228, -180, 0, -144, -8, 382, -144, 140, -84, -48, 50, -54, 160, -164, -36, -348, 28, 212, -64, -310, 142, -332, -140, 28, -108, -404, 8, 259, 22, -190, -8, -80, -72, -156, 4, -336, -34, 264, -82, 24, 128, 264, -20, -584, 120, 204, -296, 128, -124, 60, -1, -164, 62, 216, -24, 180, 44, -200, -114, 54, -108, -64, -148, 48, 168, 252, -36, 204, 110, 196, 20, -186, 108, -28, 76, -60, -300, 162, -80, 12, 160, -24, -28, -122, -208, -130, 166, 112, 220, -272, -144, -294, 20, 532, 18, 52, 76, 460, 20, -462, 134, -432, -204, -288, 80, 8, -28, -340, 2, -226, -16, -200, 48, -36, 4, -134, -184, -192, 149, -60, 248, 208, -120, -48, -44, 196, 82, -252, 140, 16, -24, 50, 248, 172, -8, 368, 40, -472, 36, -154, -264, 104, -92, -102, 72, -396, -30, 16, -60, -88, -32, -316, -46, -404, 6, 6, 336, 60, -22, 20, -32, 116, 64, -238, -104, -668, -90, -696, -172, 332, 20, 346, -232, -208, -8, -8, 152, -972, -10, 120, -153, 358, -140, 184, 66, 184, -24, -824, 126, 356, 88, 36, -100, 140, -18, 316, 198, -332, -138, 256, -116, -224, -130, -272, 308, -262, -32, 290, -180, 188, 0, 305, 248, -84, -160, 22, -152, 92, 24, -188, -126, 412, -68, -284, -120, -408, -10, 218, 96, -276, 238, -180, 288, 80, 16, 504, 80, 160, -120, -118, 12, 80, -16, -220, -112, -172, -32, 368, -416, 508, -82, -284, -148, -146, -100, 164, 100, 108, 56, -148, 146, -114, 188, -32, -48, 264, 94, -12, 192, 80, -68, -374, 188, 244, -24, -218, -48, -8, -138, -180, -116, -144, -8, 262, 144, 156, -96, -288, -116, -84, 12, -340, 216, 32, -208, 128, -40, 228, -120, 478, -48, -864, 132, -484, 260, -168, 117, -212, 94, 152, -130, -522, 96, -100, -99, 174, -500, 132, 108, 356, -144, 340, 24, -56, 0, 44, -68, -452, 100, -388, 68, 264, -132, -200, 164, -90, -336, 224, 14, -152, -64, -74, -16, 464, -22, 168, -78, -520, 208, 330, 24, 264, -52, 56, -4, 172, 32, -344, -104, -92, 148, 172, 32, 92, -262, 0, 164, -12, 8, -216, 8, -92, -128, 30, 58, -364, 130, 392, -192, -250, -24, -784, -12, -332, 20, 24, -56, 456, 38, -176, 88, -118, -396, 112, -20, -302, 384, -368, 192, -616, 28, -320, 28, 21, -122, -432, 18, -324, -8, -60, 168, -500, 128, -468, 10, -168, 148, -424, -16, 202, -96, -500, -218, -110, -28, -324, -20, 70, 50, 240, 52, -708, -704, 252, 0, 88, 190, 24, -76, 168, 216, -96, 4, 78, -584, -392, 168, -252, 32, 228, 18, -276, 73, -424, 8, -120, -8, -116, -36, -360, -266, -62, -28, 200, 8, 588, -4, -824, -218, -496, 58, 240, 100, 8, 48, -74, 76, -402, -18, 140, 184, -508, 60, 36, -76, 528, -56, 316, -280, 92, 56, 444, -156, 260, -128, 88, -276, 0, -44, 532, 94, -212, 65, 484, -262, -148, 54, -256, 52, -436, 56, 72, 48, 16, 8, 136, 48, 628, 136, 500, 322, -336, -8, -382, -4, 232, -8, -122, 348, 216, 32, -282, 112, 108, -60, -348, -188, 268, -156, -472, 384, -68, -48, -464, -48, 88, -20, 12, 336, -158, -130, -124, -36, -128, 16, -4, 228, -432, 96, -68, 284, 60, -6, 148, -296, 212, -26, -308, -94, -20, -72, -52, -456, 396, 46, 300, 312, 136, 0, 412, -26, 368, 36, 204, 340, 720, -36, -864, -404, 236, -44, -408, 48, -312, -9, -118, -106, -48, 168, -12, 32, 288, -226, 331, -180, -508, -116, 0, 224, -856, 24, -82, -8, 20, -122, -32, -130, -276, -20, -94, -4, 68, -44, 76, 316, 104, 6, -44, -92, 508, 58, -168, 176, 72, 104, 146, 64, 368, -180, 566, 204, 144, 76, -140, 258, -36, 116, -382, 188, -84, 0, 116, -600, -980, -244, -4, 0, 728, -10, 50, -272, -234, 32, -220, -180, 284, -128, 100, 352, -328, -92, -188, 320, 236, 0, -772, 216, -454, -32, 214, 132, -48, 32, 200, -304, 664, 28, -52, 92, 352, -8, -42, -188, 300, 62, -234, -392, -328, -74, -508, 164, -238, 220, -392, 20, 332, 39, -660, 200, -74, -50, -948, 136, 120, -16, 70, -288, -1036, -64, -392, 384, -340, 16, 8, 330, 360, -196, -430, -92, 160, 88, 170, -124, -28, 64, 500, -256, 164, -152, 376, 353, -188, 36, 28, 64, 272, -28, -68, -150, 48, -176, 256, 12, 140, -34, 62, -610, -164, -168, 172, 204, 80, -216, -16, -256, 148, -4, 524, 256, 52, 0, 292, -240, 448, -96, 204, -136, -108, 84, 18, -84, -496, 80, -652, 292, -12, 52, -184, 192, -92, 96, -132, 88, 116, 10, -60, -172, -92, 24, -428, 508, -212, -48, -462, 256, 184, -40, 628, -76, -96, 44, -1, 132, 484, -76, -116, 184, 12, -6, 978, -318, 240, -108, -212, -72, 496, -42, 702, 144, -232, -256, -72, 356, 244, 0, 202, 292, 340, 32, -86, -272, 360, 68, -4, 20, 94, -160, -756, 104, -676, -18, -120, -696, -90, -160, 84, 70, 24, 16, -586, -146, 80, -76, -34, -304, -40, -56, 596, -74, -240, 144, 364, 24, -52, -88, 82, 148, 656, 232, 8, 320, -4, -18, -188, 104, -16, 60, 52, -28, 384, -53, -516, -322, 114, -152, 348, 72, -112, 16, -98, 624, -224, 76, 40, -26, 380, -4, 688, 194, -516, -88, -314, 108, 52, 20, -32, 152, -64, 33, -36, 482, -580, -60, -420, 76, -268, -108, 322, -48, 664, 32, -684, 180, 184, -4, 132, -100, 684, 36, -260, -40, -152, -488, 328, 164, 172, -16, -636, -72, 308, 216, -332, -374, 392, 2, 26, 148, -720, -28, -316, 264, -48, 4, 116, 110, 80, -172, 264, 506, 1172, 4, 194, -208, 286, -116, 248, 376, 268, -36, 0, -58, -480, -40, -440, -108, -156, -8, -168, 172, 464, 106, -674, 68, 784, 8, 216, -168, -188, 220, 832, 10, 300, -56]