# Trace form for 8022.2.a, downloaded from the LMFDB on 20 April 2024.
[0, 189, -3, 1, 189, -2, 1, 1, -3, 189, -2, -4, 1, -26, 1, -10, 189, -22, -3, -12, -2, 1, 12, -8, 1, 187, -10, 1, 1, -10, -2, 0, -3, -4, -22, 6, 189, 14, 20, -2, -2, -14, 1, 4, -4, -2, -8, -32, 1, 189, -29, 10, -26, -34, 1, -56, 1, 20, 22, -20, -10, 22, 0, 1, 189, -12, -4, -4, -22, 8, 6, -24, -3, -30, 14, -1, -12, -20, 6, 0, -2, 189, -14, -12, 1, -4, 12, -2, 12, 18, -2, 14, -8, 0, -16, 8, 1, 58, -3, -4, 187, 30, 10, -8, -10, 6, 14, 28, 1, -18, -40, 6, 1, 26, 4, 80, -10, -26, -4, 2, -2, 185, 6, 26, 0, -84, 1, -48, -3, -4, -12, 20, -4, 12, -60, -10, -22, -30, 8, 92, 6, 48, 40, 88, 189, -12, -62, 1, 14, 46, 31, 72, 20, -22, -4, 48, -2, 38, -16, 6, -2, 24, -3, -52, -14, 40, 4, 40, 1, 195, -36, -12, 4, 22, 14, -33, -4, 20, 2, 84, -2, 30, -2, -50, -8, 4, 16, 104, -32, 1, 8, 1, 1, 26, -38, 52, 189, 14, 12, 104, -29, 20, -18, -2, 10, 92, 72, -8, -26, 80, 6, 108, -34, 8, 68, 88, 1, 0, -90, 42, -56, 60, 22, 80, 1, 187, 26, 148, 20, 46, 16, 12, 22, 98, -10, 128, -20, 48, 18, 160, -10, 170, -15, 1, 22, -2, 26, 88, 0, 52, 12, 124, 1, -16, 48, 60, 189, 90, 28, -10, -12, -10, 132, -56, -4, 100, -12, -22, -4, -10, -2, -64, -22, -18, 18, -12, 8, 70, -4, 0, 6, -142, 48, 140, -24, 40, 88, -6, -3, 183, 4, 18, -30, -194, 1, -40, 14, -4, -42, 16, -1, 12, 8, 54, -12, -60, -22, -28, -20, 16, 112, 88, 6, -174, -58, 6, 0, 22, 6, -24, -2, -52, 24, -72, 189, -70, 84, -34, -14, -16, 72, 44, -12, 14, -8, -40, 1, -150, 27, 2, -4, -112, 20, 1, 12, -96, 54, -20, -2, -42, -1, -2, 12, 26, -20, -16, 18, -14, -60, -8, -2, 225, 14, 5, 14, -148, 62, 96, -8, -14, -76, -10, 0, 62, 184, -36, -16, -28, 1, -180, 8, 32, -15, -16, 1, -40, -38, 4, 58, -98, -28, -48, -3, 52, 22, 64, -4, -170, -56, -12, 187, -118, 36, -96, 30, -2, -2, -296, 10, -14, -212, 74, -8, -36, -8, 24, -10, 92, 80, -140, 6, -186, 52, -32, 14, -314, 24, 6, 28, -104, 8, -128, 1, -70, 0, -76, -18, 32, 74, 24, -40, 189, -20, -20, 6, -196, -64, 22, 1, -86, -29, -152, 26, -24, 132, -76, 4, -78, -98, 10, 80, -138, 4, 96, -10, 48, 34, -156, -26, 4, 48, 94, -4, -192, 80, -260, 2, -34, 0, -96, -2, 164, -86, -24, 185, -276, 1, -104, 6, 4, -2, -100, 26, 60, 72, -56, 0, 72, 4, 28, -84, -40, 108, -200, 1, -12, 32, 119, -48, -26, 108, -22, -3, 20, 26, -48, -4, 48, 38, 14, -12, -158, 22, 140, 20, 31, 120, -64, -4, 53, -76, -20, 12, 28, 42, -88, -60, 84, -42, -4, -10, 118, -32, 54, -22, -220, 14, 244, -30, 22, 196, -72, 8, -16, 14, 68, 92, -154, 0, 200, 6, 24, 66, -76, 48, -340, 172, 1, 40, 66, 88, 44, 88, 1, -6, -200, 189, 186, -185, -94, -12, -12, 66, -152, -62, -12, 46, -20, 1, 112, -88, -10, 14, 90, -4, 12, 46, 48, -16, 8, 31, -238, -20, -4, 72, -282, 22, 80, 20, -18, -12, 96, -22, 150, -12, 60, -4, -62, -32, -4, 48, 8, -8, -38, -2, 265, -14, 32, 38, -228, 6, -104, -16, 36, 70, 96, 6, -26, -136, -24, -2, -150, 108, 84, 24, 72, 104, 120, -3, -128, -70, 16, -52, -314, -18, -88, -14, -30, -48, 36, 40, -130, 76, 28, 4, -40, 14, -96, 40, -24, -24, 8, 1, -246, -54, -1, 195, -226, -62, 18, -36, -68, 32, -164, -12, 76, 1, -106, 4, -364, 0, -140, 22, -20, 20, 24, 14, 4, -138, 42, -33, -74, 6, 120, -4, -32, -102, 6, 20, -298, 32, 0, 2, -208, 18, -64, 84, -16, -88, -192, -2, 104, 9, 162, 30, -246, -59, -40, -2, 189, 76, -88, -50, 150, 96, -10, -8, 16, -14, 36, 4, -88, 38, 56, 16, -332, 62, -12, 104, 44, 12, -208, -32, 52, -124, -352, 1, -122, -132, -16, 8, -62, -48, -18, 1, -4, -16, 280, 1, -102, 8, -30, 26, -18, 12, 80, -38, -10, 158, 184, 52, -352, -144, -2, 189, -412, -44, 196, 14, 72, 48, -14, 12, 356, -10, -92, 104, -154, 4, -64, -29, 18, -6, 264, 20, 16, 32, 78, -18, 50, -2, 332, -2, -24, -120, 24, 10, -224, -14, 14, 92, -338, 42, -88, 72, 100, -4, 268, -8, 246, 40, -90, -26, -22, -36, 112, 80, 0, -140, 88, 6, 243, 78, 154, 108, -398, -16, -27, -34, -172, -218, 48, 8, -226, 30, 8, 68, -430, 24, 284, 88, -14, -16, -144, 1, -28, 202, 115, 0, -400, 68, -264, -90, 58, 192, 12, 42, 150, -152, 150, -56, -326, -3, 148, 60, 104, 140, -184, 22, -96, -20, -4, 80, -320, -42, -136, 1, 112, -326, 192, 187, -4, 120, -36, 26, -204, -72, 156, 148, 30, 36, 128, 20, 48, -62, 196, 46, 36, 10, -88, 16, 84, 182, 32, 12, -110, 128, -8, 22, 298, 0, -12, 98, 8, 20, -96, -10, 18, -60, -70, 128, 166, -34, 176, -20, 6, 176, 68, 48, -164, 124, 190, 18, -78, 14, 6, 160, -8, 176, -22, -10, 77, -156, 28, 170, -164, 24, 56, -15, 120, -100, -180, 1, -124, 136, 146, 22, -70, 36, 104, -2, -18, -60, -184, 26, 212, -36, 0, 88, 224, -40, 432, 0, 44, 8, -224, 52, -242, 52, 6, 12, -8, 120, 208, 124, 144, -136, 200, 1, -78, -204, 178, -16, -114, -9, 76, 48, 26, -202, -564, 60, -122, 26, 56, 189, -114, 4, 112, 90, 1, 80, -136, 28, 74, 0, 80, -10, -116, 14, 112, -12, -68, 66, -10, -10, 136, -36, 190, 132, -270, -1, -28, -56, -26, 0, 216, -4, -88, -219, 18, 100, -338, -4, 312, -12, -16, -4, 136, -22, -378, -72, 2, -4, -60, -60, -28, -10, -40, 12, 104, -2, -96, -58, -3, -64, 0, 6, 192, -22, 185, 260, -60, -18, -34, -60, 76, 18, -414, 6, -106, -12, 176, 184, -160, 8, -312, 16, 26, 70, -322, 180, 152, -4, -2, -42, 592, 0, 318, 40, 6, 6, 80, 8, -124, -142, -84, 84, -8, 48, 66, 60, -28, 140, -336, 1, 96, -24, 188, -78, 248, 40, 164, 28, -48, 88, -156, 1, 176, -6, -48, 136, -32, -3, -278, -102, 24, 183, -4, 2, -48, 4, -4, 28, 220, 18, 60, 72, 86, -30, -88, -12, 396, -194, -64, -68, -544, 1, -192, 0, 20, -40, -138, 102, 55, 14, -40, -70, -60, -4, -196, -20, 14, -42, 290, -48, -48, 16, 12, -232, -616, -1, 282, -14, 18, 12, -196, -60, 128, 8, -80, 326, 14, 54, -170, -160, -10, -12, -150, -26, -256, -60, -8, 0, 200, -22, 187, 158, 154, -28, -74, 12, 0, -20, -30, -14, 768, 16, -146, 28, -4, 112, 244, 8, -16, 88, -72, 26, -88, 6, -22, 25, 92, -174, -12, -64, 184, -58, -220, 28, -180, 6, -84, -152, -26, 0, -96, 68, -66, 22, 48, 48, -272, 6, 192, -10, 126, -24, -58, 40, -320, -2, 6, 74, 500, -52, -356, 68, 88, 24, -222, -24, 172, -72, 80, -312, 20, 189, 154, 16, -62, -70, -146, -32, -184, 84, -12, -18, -100, -34, -144, 8, -96, -14, -540, -62, -208, -16, -200, -148, 8, 72, -126, 78, 1, 44, 162, 28, 0, -12, -52, -40, -456, 14, 368, 32, -36, -8, 1, -88, -272, -40, 46, -216, -416, 1, 140, -166, -158, -150, -256, 31, 66, 27, 152, -98, 80, 2, -224, -126, 72, -4, 106, 4, -96, -112, 36, 172, 360, 20, 91, -196, 42, 1, -426, -90, 64, 12, -22, 20, -26, -96, -18, -140, 102, 54, 180, -4, -232, -20, 32, 296, -88, -2, 40, 36, 48, -42, 576, -166, -88, -1, 140, -98, -96, -2, -180, -88, 4, 12, -614, 32, 360, 26, 38, -50, -152, -20, 196, -130, -96, -16, -10, -16, 8, 18, 108, 0, -236, -14, -266, 80, 6, -60, 2, 80, 44, -8, -192, -160, -256, -2, 0, -24, -28, 225, -390, -14, 104, 14, 24, -406, -100, 5, -202, 120, 60, 14, -128, -3, 36, -148, 344, 168, -96, 62, 108, 6, -52, 96, -132, -2, 240, -8, -100, -304, 244, -14, 68, -44, -20, -76, -14, -152, -468, -10, 40, -120, 64, 0, 122, 52, 16, 62, -274, 4, 176, 184, -44, 12, 92, -36, -64, 16, 40, -16, -40, 12, 200, -28, -48, -256, -40, 1, 116, -34, 260, -180, -340, -128, 0, 8, 195, 18, -108, 32, 10, -18, -50, -15, -608, -36, 44, -16, 50, -24, -360, 1, -284, -70, -12, -40, -96, 18, -264, -38, -224, -114, -4, 4, 54, -208, 272, 58, -22, -18, -136, -98, 22, -152, -344, -28, 176, 256, -102, -48, -324, 14, 48, -3, 124, -92, -60, 52, 238, 196, -33, 22, 192, -8, 148, 64, 64, -30, 16, -4, -476, -204, -215, -170, 20, -188, -264, -56, 20, 134, -368, -12, 286, -336, -52, 187, -102, 2, -106, -118, 232, 88, -344, 36, 98, 0, 84, -96, 262, -74, 256, 30, -4, -14, -156, -2, -2, 108, 30, -2, 440, -40, -164, -296, 30, 88, -86, 10, -272, -112, -12, -14, 142, -2, -168, -212, 36, 78, 448, 74, -48, 40, -50, -8, -124, 4, 400, -36, -288, -100, -312, -8, -110, 54, 0, 24, 208, -106, -128, -10, 4, -22, 132, 92, -114, 464, -114, 80, 16, 16, 20, -140, 104, -232, 0, 6, -49, -277, 104, -186, -468, 10, 50, 52, 84, 114, 40, -32, -26, 69, 44, 14, 10, 124, -316, -314, 1, -256, 88, 24, 104, 46, 10, 6, -330, 8, -88, 28, -68, -30, 6, -104, -452, 92, 1, 8, -430, -30, -108, -128, -120, 32, 264, 1, -8, -60, -110, -70, -338, -109, 568, 0, 26, 0, 160, -76, 214, 392, 20, -18, -476, -38, -12, 32, -72, 12, -160, 74, -94, 150, 52, 24, -68, -82, 104, -40, -20, -262, 248, 189, 76, 308, 176, -20, -364, -40, -176, -20, 14, -152, -328, 6, -86, -96, -22, -196, 60, 12, -88, -64, 44, 416, -356, 22, 310, -8, 104, 1, 480, 48, -32, -86, 72, 64, -222, -29, 146, 156, -22, -152, 342, 44, -152, 26, 20, 20, -124, -24, 14, -84, 70, 132, 320, -18, 56, -76, -8, -400, -240, 4, 206, 240, -2, -78, -464, -204, 168, -98, -176, 28, 96, 10, -240, 104, 102, 80, -88, 36, 232, -138, 92, 64, -24, 4, -199, -110, -70, 96, 684, 72, -44, -10, -44, -150, -268, 48, -194, 20, -8, 34, -108, -24, 28, -156, 18, -272, -592, -26, 82, 66, -211, 4, -338, -134, 200, 48, 80, 22, -146, 94, 56, -240, -212, -4, 218, 6, 128, -192, 88, 228, 424, 80, -80, -244, 108, -260, -234, -242, -152, 2, 208, 2, -524, -34, -320, 6, -2, 0, 498, 168, -304, -96, 8, -54, 280, -2, -476, 349, -366, 164, 52, 68, -256, -86, 20, -84, 156, -24, 150, -264, 88, 185, -332, -168, 118, -276, 104, 252, 296, 1, 372, 92, 208, -104, -170, 10, 48, 6, 0, 138, 608, 4, 336, 120, -226, -2, 484, -90, 752, -100, -184, 200, 26, 26, -128, -76, 42, 60, -34, -32, 80, 72, -92, -224, 364, -56, -4, -16, -42, 0, -300, 92, 244, 72, 60, -112, 168, 4, -190, -402, -96, 28, -778, 22, -336, -84, 288, 24, -12, -40, -36, 168, 80, 108, -14, 104, 300, -200, 72, -8, 560, 1, 186, -342, 2, -12, 400, 18, 115, 32, 187, 46, 92, 119, 166, -28, 198, -48, -32, 26, 208, -26, 34, -156, -216, 108, 4, -106, 148, -22, -180, -176, -144, -3, 140, 158, -26, 20, -18, -48, 92, 26, 210, 1, -296, -48, 46, 104, 448, -4, 104, 226, 100, 48, 558, 16, 216, 38, -36, 92, -148, 14, 352, 448, 12, -12, -134, -180, -140, -158, -184, 6, -120, 22, 658, 432, -140, 140, -16, -234, -440, 20, 98, 50, 644, 31, -28, 172, -130, 120, 52, -10, 4, -64, 312, -200, 64, -4, -118, -72, 128, 53, -788, -262, 312, -76, 62, -178, -72, -20, 640, 200, 166, 12, -198, 48, -252, 28, 48, -280, 116, 42, 18, 70, 224, -88, -346, 18, 256, -60, 240, -444, 568, 84, -36, 388, 160, -42, 66, -24, -160, -4, -176, -232, -512, -10, -6, 320, 56, 118, -100, 221, 56, -32, 170, -176, 176, 54, -308, 192, -94, -22, -40, -15, 332, -220, 368, -348, 392, 14, -336, -114, 1, 244, -336, -340, -6, -30, -64, -206, -544, 22, -148, -178, -370, 196, -320, -48, 156, -72, -2, -192, -560, 8, 125, 136, -128, -16, -146, 26, -168, 14, 196, 110, -2, 68, -2, 360, 88, 92, -498, -2, 408, -154, -152, -48, 400, 0, 200, -266, -188, 200, 22, -106, -208, 6, 52, 128, 292, 24, -36, 180, 108, 66, -44, 12, -204, -76, 112, -8, 672, 48, -300, 98, 124, -340, -24, -268, 264, 172, -176, 512, 44, 1, -250, -152, 182, 40, -342, -4, -78, 66, -16, 472, -424, 88, 34, 100, -6, 44, 92, 48, 32, 88, -34, -60, -96, 1, -298, 16, 60, -6, 338, 16, 116, -200, 168, -288, -32, 189, -412, -294, -158, 186, 126, -40, -8, -185, 90, -84, -112, -94, 60, 312, 118, -12, -864, 28, 176, -12, 352, 244, -24, 66, 116, -212, -10, -152, 246, -282, 400, -62, -56, -24, -220, -12, -418, -220, -64, 46, -280, 48, -132, -20, -10, -128, -80, 1, 180, 592, -348, 112, 398, 132, -14, -88, 156, -458, -152, -10, -368, -41, -56, 14, -80, -256, 212, 90, 58, -204, -528, -4, -190, 60, 228, 12, -138, 22, -240, 46, 100, 50, 32, 48, 6, 160, -34, -16, -750, -12, 352, 8, 32, -232, -160, 31, 189, 234, -22, -238, -440, -14, -456, -20, -176, -180, 204, -4, 256, 160, -16, 72, -566, -96, -312, -282, -10, -42, 664, 22, 38, -282, -326, 80, 92, -2, 0, 20, 12, -54, 64, -18, -194, -176, -64, -12, 674, -88, 14, 96, -200, -120, -624, -22, 128, -29, -176, 150, -624, -134, 56, -12, -18, -74, -52, 60, -288, -272, -26, -4, 472, 18, -76, -62, -216, -416, -190, -32, -94, 270, -12, -4, -26, 60, 248, 48, -484, 196, 14, 8, -24, -120, 318, -8, -528, -104, -480, -38, 70, -216, -376, -2, 256, 26, 10, 265, -68, -4, -168, -14, 0, -76, 608, 32, -164, -184, 0, 38, 72, -12, -240, -228, -24, 76, -232, 6, 306, 348, 7, -104, 274, -266, -35, -16, -142, 592, 164, 36, -516, -122, -406, 70, 256, 48, -292, 96, 101, -256, 416, 6, -60, 624, 140, -26, -130, -42, -120, -136, -416, -74, -196, -24, -218, 208, 38, -2, -316, -74, -160, -150, 40, -28, 832, 108, 80, 236, -182, 84, -224, 88, 200, 24, 12, -478, -204, 72, -820, 316, -6, 104, 144, -96, 416, 120, -160, 68, 112, -3, 378, 10, 564, -128, -34, -270, 416, -70, 183, 222, -200, 16, -388, 88, 144, -52, 90, 4, -58, -314, -136, -68, -344, -18, 546, -168, 18, -88, -474, -160, 136, -14, 108, 356, -256, -30, 80, 224, -82, -48, 178, -120, -288, 36, -194, 296, -284, 40, 384, 194, -46, -130, 94, 1, 72, 76, 308, -94, 728, 28, -132, 288, -40, 4, 58, 204, -188, -40, 56, 72, 408, 14, 552, 288, -32, -96, 204, 76, -752, 40, -4, -31, 468, -24, -18, 432, -400, -24, 48, -42, 772, 8, -8, 240, 320, 1, -566, -60, 16, -246, 222, -270, -56, -54, -64, -192, -100, -1, 428, -94, 236, 195, 484, 40, -236, -226, 12, 336, -376, -62, -478, 96, -124, 18, 256, 8, 48, -36, -36, -182, 38, -68, 90, 368, 54, 32, -94, 84, 380, -164, -304, -760, 488, -12, -16, -413, 256, 76, -194, -118, 24, 1, -60, -226, 200, -106, 630, -224, 36, 4, -150, -22, 1056, -364, 248, -122, 128, 0, -208, 30, -28, -140, 144, 182, 240, 22, -48, 36, 56, -20, 272, 40, -70, 20, -62, 176, -242, 24, 16, -312, -440, 14, -12, 8, 146, 4, -210, 112, 200, -138, 20, 320, 480, 42, 86, 232, 88, -33, 90, -172, 84, -74, -144, -144, 210, 6, -397, -580, -102, 120, 748, 20, 712, -4, -174, 74, 260, -32, 96, -136, -450, -102, -26, -58, 56, 6, 432, -248, -472, 20, -118, -268, 6, -298, 590, 128, -112, 32, 180, 22, -20, 0, -452, -208, 284, 2, -216, 92, -212, -208, 22, -268, 280, 18, -222, 62, 234, -64, -506, 6, -38, 84, -26, -110, -848, -16, -336, -4, -24, -88, 950, -144, 304, -192, -142, -160, -208, -2, 160, 560, -319, 104, 252, 100, 248, 9, -52, -198, -20, 162, 208, 136, 244, 30, -326, 24, 192, -246, 232, -4, 40, -59, 248, -234, -72, -40, -410, -260, -32, -2, -316, 48, 368, 189, 590, 388, 12, 76, -544, -312, 528, -88, -70, 16, 176, -50, 644, -1004, -30, 150, -284, 84, 232, 96, 456, -148, 588, -10, -308, -32, -34, -8, 240, -116, 86, 16, -200, 516, 88, -14, 322, -44, -188, 36, 246, -100, -248, 4, -16, -238, -444, -88, -212, 412, -32, 38, -14, 72, -596, 56, 288, 368, 126, 16, 84, -54, 44, -332, -816, 0, 704, 62, 16, 246, -352, -12, 22, -240, 102, 104, 452, 132, -400, 44, 14, 436, -312, 12, 370, -352, 72, -208, -4, -8, -160, -32, -168, -40, -588, 52, -208, -504, -40, -124, -368, -88, 36, -352, -184, -152, -112, 1, 31, 356, 338, -122, 332, 4, -62, -132, -150, -580, 368, -16, -170, 0, -42, 8, -326, 27, -152, -62, 36, -220, 264, -48, -478, -54, 2, -18, 464, -34, 864, 1, 92, -96, 0, -4, 214, 412, 318, -16, -540, 2, 300, 280, -112, -152, 88, 1, -176]