# Trace form for 2842.2.a, downloaded from the LMFDB on 25 April 2024.
[0, 97, -1, -4, 97, 0, -2, 0, -1, 95, 2, 0, -4, 4, 0, 0, 97, 2, 11, 16, 0, 0, 2, 4, -2, 105, 18, -4, 0, -3, 22, 0, -1, 14, -6, 0, 95, -46, -12, -24, 2, -18, 0, -32, 0, 14, 4, -16, -4, 0, 9, 4, 4, 8, -26, 8, 0, -8, -1, -56, 0, 42, 10, 0, 97, 42, 16, -20, 2, 20, 0, -8, 11, 38, 18, 48, 16, 0, 34, -8, 0, 97, 10, 8, 0, 56, 10, 0, 2, 6, 62, 0, 4, 50, 26, -24, -2, -2, 0, -60, 105, 14, -4, -24, 18, 0, 38, -48, -4, -32, 10, -16, 0, -14, -56, -20, -3, 38, -12, 0, 22, 175, 14, -68, 0, -42, 0, 0, -1, 14, 36, -40, 14, 0, -68, -144, -6, -50, -36, 16, 0, -54, 36, -32, 95, 4, -26, 0, -46, 28, -20, 4, -12, -10, 0, -132, -24, 38, 30, -40, 2, 0, -49, -72, -18, -150, -4, -24, 0, 137, 32, 88, -32, -10, 6, 0, 0, -116, -6, -68, 14, 52, 0, -28, 4, -60, 44, -52, -16, 0, 80, -120, -4, -50, 2, -92, 0, 70, -48, 20, 9, 32, 18, 0, 4, 84, -12, -64, 4, -72, 0, -8, 8, -68, 20, 16, -26, 0, 14, -160, 8, 0, 32, -8, 0, -83, 86, -20, -8, -34, 4, 0, -1, -132, 70, -212, -56, -74, 0, -100, 0, -24, -29, -96, 42, 0, 0, 0, 10, 108, -24, 12, 0, -108, -8, 4, 97, -88, -32, 0, 42, -1, -12, -136, 16, -58, 0, -220, -20, -22, 162, -24, 2, 0, 38, -92, 20, 6, 20, 0, 0, 92, 36, 48, -8, 176, -2, 0, 11, -21, 10, -140, 38, 10, 0, 4, 18, 114, 14, -36, 48, 0, -8, 32, 16, -8, -26, 36, 0, -36, 6, 0, 34, -64, 30, 0, -8, -82, -18, -8, 0, -24, 0, -200, 97, 110, 74, 224, 10, 0, 44, -80, 8, -62, -12, 32, 0, -86, 33, -112, 56, -50, -84, 0, 10, -36, -26, 28, 0, -16, 0, 56, 2, 50, 12, -56, 6, 0, 0, 56, 62, -19, -30, -32, 0, 12, 4, 24, 4, -162, 68, 0, 50, -52, -12, 48, 26, 0, 0, -28, -24, 56, -8, 28, -2, 0, 34, -124, -2, -110, -34, 16, 0, 64, 74, -44, -60, 140, -8, 0, 105, -100, 64, -188, 14, 144, 0, 88, -4, -6, 192, -16, -24, 0, 32, 20, 18, -12, -24, -4, 0, -210, 26, -104, 38, 138, 72, 0, -48, 134, -126, 284, -4, 46, 0, 24, -32, 24, 56, -100, 10, 0, 48, -60, -16, 212, -20, 16, 0, -6, 189, -20, -14, 8, -12, 0, -56, 114, -2, -84, -20, 106, 0, -84, -3, -74, -50, 108, 38, 0, 14, 36, -12, -54, 28, 0, 0, -82, 60, 32, 22, 76, 102, 0, 175, 124, 20, -188, 14, -26, 0, -40, -68, -10, -152, 112, 0, 0, 4, -96, -42, -84, -90, 32, 0, -108, 44, -144, 0, -72, 12, 0, -1, -56, -26, -128, 14, 94, 0, 168, 36, -132, -5, 76, -40, 0, -94, -28, 14, 177, 92, -132, 0, 28, -72, 76, -68, -116, -50, 0, -144, -86, 22, 56, -6, 38, 0, -120, -50, -18, 52, 12, -36, 0, -46, 80, 16, 110, 4, -64, 0, 228, 46, 4, -54, -32, -20, 0, 36, 34, -112, -292, -32, -200, 0, -96, 95, 114, -3, 4, 4, 0, 16, 16, -26, 160, -78, -8, 0, 120, -148, -80, -46, -68, 8, 0, 28, -136, 36, -168, -20, -42, 0, -164, 4, -2, 72, -32, -12, 0, 96, -68, -10, 80, -46, 116, 0, -58, -72, -52, -132, 20, -96, 0, -24, 417, 14, 32, 38, -36, 0, -48, 30, -74, -2, 40, -40, 0, -10, -152, 2, -246, -68, -8, 0, 34, 8, 20, -49, -52, 98, 0, -72, 82, -74, 0, -18, 94, 0, -288, -150, -34, 2, -132, -4, 0, 186, 20, -24, 148, 64, -12, 0, -88, 106, -56, 137, -38, -52, 0, 32, 180, 20, -52, 88, -124, 0, -164, -32, -46, -284, 116, -10, 0, 200, -372, 6, 148, 90, 12, 0, 204, -66, -24, 0, -242, 22, 0, -116, -124, 100, 8, -6, -28, 0, 180, -68, 100, 222, 56, 14, 0, -173, -44, 52, -31, 144, 128, 0, 365, 100, 204, -28, 198, 88, 0, 4, 168, -122, 48, -60, -64, 0, 256, 44, -6, -34, 4, -52, 0, -278, -208, -16, 210, 10, 228, 0, 230, 20, -12, 80, -190, 56, 0, -120, 332, 40, -148, -4, -94, 0, 300, -50, 14, 40, -176, 2, 0, 178, 24, -92, 180, 32, -36, 0, 20, -360, -44, 70, -198, -118, 0, -48, 16, 58, 228, 20, -22, 0, 44, 9, -58, 62, 120, 32, 0, 98, -156, 18, 214, 66, 16, 0, 254, 88, -120, 4, 88, -42, 0, 84, 460, 200, 272, -12, 112, 0, 120, -64, -62, -180, 176, 4, 0, -268, 80, -72, -98, 60, 56, 0, 97, -178, 116, -8, 54, 108, 0, 8, -156, 74, 128, -68, -86, 0, 120, 20, 104, -292, 132, 16, 0, -20, 120, -26, 16, -106, 60, 0, -142, -14, -112, 14, 438, 136, 0, -160, 152, 4, 320, 8, -22, 0, -536, 0, 196, -140, 208, 32, 0, 0, -48, -8, 376, 146, -96, 0, 84, -90, -4, -83, 88, 208, 0, 86, 322, 100, -428, -20, -74, 0, 104, -8, 4, -194, -132, -34, 0, 12, -176, 4, -146, 58, 192, 0, -146, 124, -40, -1, 178, -248, 0, -132, 16, 18, 228, 70, -158, 0, -260, -212, 88, -248, -336, -56, 0, -88, -424, -74, -36, -68, 60, 0, 220, 42, -40, -100, 42, -26, 0, 0, 11, 12, 268, -24, 12, 0, 72, -29, 168, 80, -152, -96, 0, -16, -128, 42, -272, -320, -148, 0, 150, -74, -24, 0, 72, 30, 0, 0, 60, 12, -232, 10, -10, 0, -36, 108, 54, 104, -296, -24, 0, -104, -8, 12, -40, 62, -8, 0, -120, -188, 132, -108, 6, -164, 0, -8, 62, -78, 232, 4, 40, 0, 256, 97, -46, 8, -116, -88, 0, -148, 0, -32, -470, 84, 88, 0, 436, -116, 12, 42, -36, -58, 0, -1, -224, 8, -520, -12, 58, 0, -412, -136, 164, -140, -96, 16, 0, -233, 256, -58, 182, 0, -32, 0, -108, -16, -76, -220, -226, -224, 0, -20, 10, -32, -340, -22, -10, 0, -68, 162, -212, 274, 28, -24, 0, -14, 32, 2, 455, 92, 28, 0, -138, 60, 48, 38, 152, -46, 0, -92, -88, -8, -40, 20, -108, 0, 84, 6, 92, -288, -56, 20, 0, 106, -24, 0, 262, 14, 48, 0, 240, -396, 16, 92, -32, -126, 0, 36, -422, -52, -8, 48, 284, 0, 160, -8, -128, -130, 128, 176, 0, 20, 352, -2, 436, -88, 80, 0, 352, -80, -60, 11, -96, -118, 0, -21, -124, -48, -72, 10, 210, 0, 240, -140, 6, -30, -88, 38, 0, -268, -80, 10, 416, 28, 80, 0, 168, 40, -176, 4, -306, 100, 0, 18, 610, -122, 4, 114, -22, 0, 8, 14, 178, -116, -116, -36, 0, -162, 368, 48, 182, -54, 4, 0, 330, -28, -144, -8, -38, -18, 0, 32, -354, 14, -344, 16, 32, 0, -324, -8, -64, 162, 80, -26, 0, 182, 624, 36, 154, -160, 68, 0, -498, 254, 80, -36, 110, -46, 0, 6, 252, -100, -144, 0, 52, 0, 40, 34, -58, 75, -212, -64, 0, -192, -360, 30, 156, 12, -128, 0, -292, -148, 20, -8, 140, -40, 0, -82, 222, 24, 172, -18, 72, 0, -144, -8, -12, -448, 336, 0, 0, -78, -348, -24, -190, -88, 40, 0, 20, -252, 180, -200, 92, 132, 0, 97, 366, -76, -488, 110, -58, 0, -256, 74, -18, -18, -36, 224, 0, -352, 96, 10, 68, -218, -308, 0, -28, 6, 120, 44, -64, 78, 0, -80, 342, 52, 176, 8, 248, 0, -228, -62, -66, -4, 244, -12, 0, -416, -304, 32, 742, 164, -268, 0, -152, -42, 128, -86, -200, -168, 0, 33, 240, -30, 52, -112, 136, 0, 24, 56, 182, -456, 52, -50, 0, -84, 472, -84, 71, 108, 88, 0, 302, -184, -192, 10, -86, -36, 0, -36, 78, -128, 160, -26, -192, 0, -192, 28, -140, -236, 132, 0, 0, 68, -552, -16, 192, -114, 188, 0, 566, 14, 8, 56, -298, 64, 0, 2, 42, -16, -120, 50, -122, 0, -28, 12, 82, -346, 52, -56, 0, 12, -600, 6, 136, 60, -76, 0, 294, -182, -112, 0, 150, -244, 0, 56, 398, -52, 64, 62, 240, 0, -152, -19, -104, 66, -136, -30, 0, 9, -104, -32, -526, -248, 52, 0, -150, -637, 132, 12, 48, 212, 0, 4, 344, 98, -324, 24, 152, 0, -104, 4, -70, -16, -364, -162, 0, 174, 36, 68, 214, -32, -372, 0, 134, 312, 24, 50, 2, -180, 0, -52, 338, 120, 540, -12, -260, 0, -72, 48, 88, -208, 424, 26, 0, 208, -16, 0, -10, 176, -184, 0, 84, 86, -168, -28, -108, 204, 0, -24, -19, -10, 608, 56, 154, 0, 304, -8, 108, -12, 4, 28, 0, 364, 512, -2, -20, 2, 272, 0, 312, -62, 96, 34, 540, 214, 0, -124, 546, 16, 664, -2, 130, 0, -16, -110, 66, -200, -280, -34, 0, -296, -252, 16, -62, -6, -4, 0, 352, 80, -56, 64, -122, 164, 0, 74, 376, 100, 292, -44, 148, 0, 328, -60, 160, -136, -260, 140, 0, 114, 424, -8, -156, 174, 0, 0, 342, -612, 396, 105, -68, -314, 0, -100, -216, 16, -584, 64, -58, 0, -508, -188, 142, 36, 304, 14, 0, 278, 44, 144, 250, 136, 168, 0, -270, 484, -84, 88, 318, -62, 0, -4, 96, 8, -332, -6, -34, 0, 160, 192, -128, 230, 228, -16, 0, -136, -868, -24, 540, 104, 168, 0, 88, 18, -120, 32, -104, 46, 0, 20, -368, 140, 264, 18, -412, 0, 288, -12, 214, 116, 104, -24, 0, -516, -364, -4, -874, -174, 120, 0, 403, -1, 24, -210, 320, 286, 0, 26, 358, -62, 328, -104, -46, 0, -512, 38, -294, 188, 148, 138, 0, 256, 440, 72, 330, 170, -368, 0, 170, -24, -56, -48, -208, 318, 0, 134, 244, -170, -176, -126, -38, 0, -4, 284, -8, 332, -12, -4, 0, 412, -68, 46, 288, 138, 96, 0, -618, 300, 40, 24, -24, -272, 0, -32, 150, -66, 444, 24, -142, 0, 440, 56, 16, 334, -452, -100, 0, -644, 400, 10, -100, -18, 292, 0, 0, 380, -64, 48, 54, -164, 0, -60, 802, 2, 264, -16, 254, 0, 404, 212, -156, -142, -24, -20, 0, 80, -692, 16, -132, -44, -16, 0, 418, 20, -172, -6, 14, 26, 0, 189, 182, 80, -204, -20, -40, 0, -260, -14, 312, 412, -192, 8, 0, -20, -144, -12, 172, 202, 0, 0, -26, 270, 48, -56, 146, -220, 0, 114, 68, 108, -120, -2, 98, 0, 336, -84, 76, -28, -16, -20, 0, 48, -488, 106, -44, 196, -192, 0, -89, -66, 96, -84, 64, -152, 0, -3, -386, -138, 12, -74, -42, 0, 356, -50, 114, 368, -192, 108, 0, -4, 448, 38, -254, -106, 132, 0, -574, 26, 276, 14, -368, -206, 0, 36, 22, -96, 640, -12, -184, 0, -132, -54, -524, 242, -8, 28, 0, 156, -524, 0, 20, 12, -240, 0, -32, 102, -144, -82, 256, 88, 0, 60, 64, 0, -156, 32, -516, 0, 104, 22, 356, -273, -28, 76, 0, 260, 132, 102, -256, 40, 36, 0, -82, -70, 168, 175, 46, -280, 0, 124, -212, -44, 4, 20, 100, 0, -20, -188, 124, -256, 176, 14, 0, 326, -64, -26, -136, -32, -12, 0, 396, 410, -124, -40, -120, -150, 0, -68, -444, 76, -640, -10, 88, 0, 400, -152, -38, 316, -272, 112, 0, -204, 432, 0, -446, 0, -72, 0, -36, -336, -392, 4, -110, 210, 0, -96, -82, -96, 112, -42, -4, 0, -80, -84, -226, 400, -224, -90, 0, -448, 124, 32, -12, -32, 264, 0, -8, -378, -196, -108, 54, -84, 0, 44, -1143, 66, 280, -144, 260, 0, 72, 0, -144, -122, -96, -72, 0, -60, 572, 12, -444, -230, 436, 0, 88, 478, 0, -1, 384, 162, 0, -56, -308, -106, -32, -26, -282, 0, 40, -128, -226, 380, -148, 14, 0, 334, -44, 94, 114, 8, -272, 0, -320, 380, 164, 168, -64, -12, 0, 36, -134, -56, -264, -132, 268, 0, -116, -5, 76, -536, 368, 76, 0, 406, -440, -40, -150, -50, -120, 0, -256, -60, 184, -94, -24, 386, 0, -28, -832, 162, -480, 14, -256, 0, -536, 177, 26, -180, 144, 92, 0, 270, 460, -132, -532, -234, 32, 0, -78, -176, -276, 28, -198, 64, 0, -72, -680, 6, -20, 76, 110, 0, -288, -68, 122, 26, 280, -116, 0, -44, 16, -50, 4, -68, -308, 0, -540, -172, 0, -144, -210, -188, 0, -86, 404, 38, -240, 22, 250, 0, -520, 56, 124, -498, 20, -6, 0, -609, 68, 38, 400, -22, -120, 0, -784, 458, -572, -120, -80, -152, 0, -50, 828, 62, 428, -18, 122, 0, 720, 52, 220, 144, -44, 12, 0, 472, 152, -36, 595, -36, 376, 0, 72, 32, 104, -46, -150, 34, 0, 80, -14, 56, 520, 16, 90, 0, -464, 110, 0, 196, 8, 4, 0, -258, 108, -64, -28, 122, 8, 0, 540, -16, 48, 228, -88, -484, 0, 46, 352, -108, -1264, 4, -200, 0, -140, -54, 44, 202, -24, -32, 0, -210, -424, -20, -432, -24, -188, 0, -418, -124, -44, 36, 130, 504, 0, 34, -472, 0, -480, -112, -126, 0, 768, -292, -360, -224, 0, -32, 0, 8, 24, -200, 406, 88, -324, 0, 90, -420, -72, -96, 44, 40, 0, 95, -192, -34, -460, 114, -70, 0, 304, -3, 202, 320, 76, 4, 0, -64, 4, 4, 10, 184, -56, 0, 280, 286, -80, 16, -164, 328, 0, 16, -346, 32, -800, -26, 168, 0, 520, 160, 146, 226, 296, -78, 0, 584, 260, -8, -51, 192, 72, 0, -2, -500, -60, 120, 378, 468, 0, -148, -300, -222, 224, -80, 38, 0, -168, -46, -24, 80, 248, -68, 0, 260, -40, 8, 346, 14, 212, 0, 406, -70, -76, 28, -160, 110, 0, -136, -338, 20, 340, 36, 58, 0, -260, -168, 260, -422, -200, -20, 0, 262, 572, -42, 40, 126, 8, 0, -320, -160, 168, -164, -408, -176, 0, 4, -366, -120, -480, -2, -298, 0, 472, 72, -46, 90, 168, -32, 0, 304, -356, -12, 344, 70, -20, 0, -308, 396, -472, 96, 72, -184, 0, -68, 378, 136, 648, -10, 342, 0, -1280, 80, -140, -68, 40, -46, 0, 38, -36, 116, 104, 60, 256, 0, 24, 142, 92, -58, 144, 160, 0, -72, -354, 302, -1044, -52, -282, 0, -824, -132, 342, 124, 216, 20, 0, -364, 244, -96, -40, -236, 268, 0, -350, -26, -204, -24, 428, 138, 0, 417, 468, -24, 128, 14, -4, 0, -316, 32, 12, -282, 432, 38, 0, -448, -180, -36, 234, 60, 60, 0, -54, 456, -4, -48, 26, 524, 0, 30, 490, 4, -280, -74, -200, 0, 440, -2, 300, -140, -260, 40, 0, 320, 300, -40, -258, 184, 100, 0, -266, -248, 260, -10, 160, -158, 0, -152, -616, -170, 256, 2, -192, 0, 356, -246, 296, 424, -312, -68, 0, -416, -556, -8, 844, -276, -8, 0, -46, 342, 272, 34, 26, -26, 0, 8, -494, 132, -124, 20, 100, 0, 128, -49, 74, -318, -32, -52, 0, 256, 272, 98, -507, -98, 16, 0, 230, -10, -88, -72, 4, 94, 0, 82, 424, -30, -168, -74, 56, 0, -660, 0, 246, 376, -252, -18, 0, 452, 216, 94, -380, -26, -328, 0, 912, 100, 364, -288, 110, -72, 0, -150, -424, 38, 304, -34, 24, 0, -280, 2, -64, 462, 84, -132, 0, -160, 200, -4, 122, 80, 40, 0, -622, 666, -28, 186, -352, -204, 0, 20, 108, -320, -184, -24, 96, 0, -148, 148, -188, 476, -96, 64, 0, 226, -64, -12, -92, 28, 296, 0, 298, 128, 464, -88, -144, -284, 0, 106, -250, -184, 304, -56, -60, 0, 708, 137, -284, 204, -380, -38, 0, 258, -360, -52, 384, 120, -244, 0, 72, -48, -192, 32, 200, 110, 0, 180, 118, 18, -224, 20, -250, 0, -652, -52, 142, 384, 372, 88, 0, -703, 20, -124, 502, 132, -160, 0, -100, 282, 48, -164, -114, -146, 0, -32, 138, 130, 0, -46, 44, 0, 156, -284, -226, 214, 120, 116, 0, 548, 40, -10, -860, -84, 188, 0, 332, -344, -24, 200, -64, -188, 0, -372, -84, 112, -48, 6, 96, 0, 760, 148, -324, 356, 60, 90, 0, 208, -660, 12, 32, -96, -288, 0, 506, -352, -148, 204, -116, 152, 0, -66, 185, 32, -128, -24, -6, 0, 712, 0, -558, 22, 60, -242, 0, 168, 952, 22, -158, 218, -212, 0, -296, 68, 0, -116, 58, 188, 0, -124, 216, 42, 640, 100, 94, 0, 552, 8, -72, 526, 48, -6, 0, -560, -712, -28, 450, -128, 208, 0, -370, 90, 188, 180, 18, 90, 0, -68, -544, 14, -4, 100, 232, 0, 92, 222, 58, 20, 28, 56, 0, -16, 56, 14, -144, -24, -112, 0, -328, 712, -192, -173, 104, -90, 0, -44, 1022, -86, -52, 52, 382, 0, -280, -31, 234, 12, 208, 144, 0, 218, -544, 128, -290, -200, 248, 0, 488, 312, -140, 365, 194, 240, 0, 100, 144, 116, -208, 204, -194, 0, -360, -28, -14, 276, -212, 198, 0, 24, -68, 88, -256, 12, -220, 0, -100, 568, -176, 4, -184, 48, 0, 168, 330, 32, 416, -122, 284, 0, 72, 48, -312, 20, 132, -60, 0, 270, 712, -64, -682, 44, -380, 0, -274, -636, -104, 256, 92, -328, 0, 44, -212, 146, -300, -6, 138, 0, -616, -34, -312, 222, -8, 4, 0, -636, 840, -52, -52, -124, -252, 0, -166, -316, -168, -278]