# Trace form for 6002.2.a, downloaded from the LMFDB on 20 April 2024.
[0, 251, 1, 4, 251, 2, 4, 4, 1, 255, 6, -4, 4, 8, 0, 8, 251, 2, 5, 14, 2, 8, 0, -8, 4, 269, 8, 4, 4, -12, -16, 20, 1, -8, 18, -16, 255, 14, -2, -12, 6, 2, 4, 10, -4, 6, 4, -32, 4, 259, 15, -12, 8, 16, 4, 12, 0, -4, 12, 12, 8, 18, -8, 12, 251, -8, 24, 34, 2, 12, 20, -4, 5, 14, -2, 72, 14, -12, -20, 0, 2, 283, 18, 6, 8, 4, 10, 12, 0, 34, 30, 40, -8, 56, 8, 40, 4, 62, 41, 0, 269, -44, -24, 24, 8, -8, 8, -26, 4, -12, -16, -12, 4, -2, 24, 40, -12, 12, -4, -4, -16, 227, 26, 52, 20, 48, 16, 32, 1, 56, -16, -14, -8, 12, 10, 52, 18, 6, 0, 10, -16, 56, -40, 32, 255, 40, 10, 80, 14, 44, -40, -20, -2, 26, 16, 28, -12, 24, -40, 44, 6, -36, 65, 14, 2, 8, 18, -36, 4, 277, -4, 110, 10, 26, 36, -52, -4, 76, 10, 22, 6, 12, 16, -8, 4, 48, 52, 8, -32, 28, -60, -28, 4, -70, 26, 64, 259, 28, 0, -8, 15, -76, 24, 76, -12, 52, 20, 64, 8, -16, 64, 56, 16, -64, 30, -108, 4, 36, -20, 8, 12, -4, -12, 124, 0, 257, -14, -46, -4, 40, -48, -12, 12, -10, 8, -72, 12, -72, -104, -80, 8, 38, 61, 56, 18, -26, 12, 100, -8, 104, 0, 64, 12, -16, 8, -40, 251, 34, -8, 44, -8, -128, 6, -20, 24, 36, -36, 100, 34, 28, -60, 40, 2, 96, -26, 56, 12, 68, -90, 92, 20, -66, 24, -42, -4, 12, 16, -16, 5, 221, -40, -12, 14, 42, 0, 112, -2, 8, -8, 24, 72, -28, -52, 28, 14, -44, 122, 58, -12, 48, -28, 4, -20, 26, 20, -36, 0, 126, -92, 48, 2, 32, 0, -44, 283, -32, -6, -140, 18, 88, 4, 52, 6, 110, -16, 28, 8, -30, 47, 20, 4, -52, 50, -16, 10, 56, 30, 184, 12, 36, -32, -68, 0, -22, 16, 44, 34, 108, -18, -8, 30, 315, -44, 104, 40, 32, 40, -84, -8, 94, 60, -24, 56, -2, 44, 128, 8, 48, 44, -20, 40, 128, -36, 108, 4, -184, 46, 134, 62, 102, 12, -112, 41, 24, 0, -56, 0, -100, 4, -4, 269, -6, 64, -64, -44, 90, -80, -80, -24, 42, 104, -100, 24, -92, 40, -84, 8, 16, -16, 110, -8, 36, -4, -184, 8, 10, -60, -84, -26, -56, -92, -20, 4, -30, 8, -188, -12, -132, 12, -24, -16, 275, 28, -14, -12, -204, -4, 56, 4, -10, 35, -68, -2, -124, 30, -160, 24, -62, -60, -92, 40, -172, -40, 24, -12, -312, 34, -136, 12, -56, -48, 56, -4, 200, 48, 102, -4, 128, -124, -188, -16, 56, -90, -260, 227, -32, -44, 212, 26, 128, 10, -28, 52, 52, -48, -156, 20, -84, -72, -34, 48, 60, 20, 4, 16, 20, -20, 32, 32, -84, -84, 60, 1, -208, -30, -8, 56, -60, -36, -112, -16, -18, 8, 74, -14, -224, 44, 32, -8, 259, 48, -172, 12, -68, -124, -56, 10, -60, -76, -264, 52, -198, -80, -12, 18, -120, -48, 168, 6, -66, 112, -100, 0, -4, -80, -132, 10, -86, -68, 148, -16, -360, 74, -136, 56, 112, 130, -68, -40, -98, -136, 24, 32, -140, -24, -156, 255, 74, -29, -84, 40, 20, -40, -32, 10, -28, 30, -64, 80, -52, 12, -108, 14, -106, 176, -104, 44, 20, 8, -120, -40, -142, 56, 170, -20, -170, 140, 96, -2, -240, 44, -92, 26, 18, -14, -56, 16, 38, -116, 22, 28, -24, 64, 12, -12, 335, -26, 72, 24, 132, -28, 104, -40, -20, 54, -36, 44, 44, -36, -444, 6, 62, 24, -182, -36, -104, -64, 92, 65, -124, 0, -308, 14, 130, 76, 44, 2, 298, 8, 56, 8, 168, 44, -108, 18, -148, 38, -16, -36, -164, -76, 0, 4, 54, -6, 96, 277, -310, 116, 52, -4, -4, 108, -2, 110, -108, -60, 56, 10, -112, 72, 54, 26, -96, 52, -188, 36, 92, 144, -316, -52, 52, -176, 8, -4, -184, -46, 20, 76, -170, -60, -92, 10, 84, -96, 172, 22, 0, -160, -108, 6, -128, 85, -180, 12, 80, 16, 32, 16, 351, 124, -272, -8, -16, 4, -60, 4, 56, -6, -144, 48, -204, 24, -8, 52, 36, 154, -190, 8, -56, -52, -56, -32, -96, 68, 340, 28, 198, 72, -160, -60, 18, -104, 76, -28, -88, 48, -92, 4, 66, -128, 40, -70, 82, 190, 60, 26, 152, 46, 4, 64, -56, 12, -80, 259, -220, -208, 288, 28, -108, 64, -228, 0, 240, -100, -160, -8, 50, 60, -24, 15, 106, 6, -180, -76, 144, 28, -100, 24, 54, 30, 224, 76, 12, 44, 52, -12, 44, 130, -280, 52, -248, 12, 112, 20, 28, 80, 94, 64, 128, -72, -184, 8, 78, -144, 64, -16, 204, 46, -8, 64, 325, -136, -92, 56, 54, -4, -128, 16, -44, 134, -12, -64, 188, 40, -272, 30, -218, -140, -6, -108, -372, -80, 16, 4, -8, -10, -12, 36, 140, -184, -128, -20, 58, -36, -372, 8, -66, -116, -240, 12, -146, 5, 104, -4, -180, 14, -120, -12, 0, -8, -152, 124, -12, -44, -256, 0, -64, 30, 64, 257, -44, -16, 0, -14, 116, -148, 330, -46, 28, -152, -208, -4, -288, 22, -380, 40, -8, 76, 32, -48, -60, 116, 124, -12, 26, 32, -28, 12, 42, -512, 110, -10, 96, 128, -180, 8, -114, -164, -12, -72, -42, 44, -180, 12, 424, -64, 32, -72, -76, -194, -188, -104, 230, 16, 52, -80, -36, -204, -364, 8, 103, -56, 46, 38, 24, 48, -20, 61, -32, -128, -148, 56, -60, 32, -244, 18, 34, -248, -196, -26, -272, -68, 304, 12, 60, -160, -328, 100, 8, -316, 28, -8, 88, 80, -28, 104, -138, 54, -136, 0, -392, 84, -268, 64, -16, 84, -260, 12, 62, -88, -264, -16, 60, -132, -112, 8, -78, -8, -318, -40, 62, -160, 0, 251, 22, -168, 148, 34, -172, -92, 204, -8, -114, 92, -52, 44, -180, -272, 68, -8, 160, 2, -4, -128, -220, 30, 48, 6, -118, -140, -106, -20, 140, -164, -236, 24, 168, -63, -216, 36, -158, -96, 164, -36, 220, 136, 44, 100, -146, 192, 4, 34, 204, 16, -30, 28, 336, 60, -56, -60, -96, 26, 136, 40, 164, -204, 332, 2, 111, -16, -244, 96, 116, -32, -308, -26, 98, -170, -196, 56, 112, -152, 180, 12, 168, -48, 160, 68, -232, -172, 76, -90, -136, 118, 72, 92, 164, -12, 40, 20, 44, 24, 2, -66, 188, 8, 48, 24, -2, 48, -252, -42, -220, -100, 204, -4, 148, 38, 196, 12, 204, 124, 64, 16, -32, -36, 204, -16, -64, -112, 40, 5, -162, -198, -116, 221, -8, 44, -28, -40, -228, 108, -32, -12, -180, 56, -4, 14, 160, -360, 268, 42, 328, -84, 56, 0, 92, -44, 90, 112, -10, -116, 60, -2, -424, 34, 50, 8, 96, -200, -604, -8, 210, -28, 52, 24, 216, -132, -80, 72, 150, -86, -76, -28, -112, 114, 120, -52, 104, 50, 308, 28, 136, -28, -80, 14, -226, -192, 52, -44, -448, -40, 68, 122, 441, 34, 64, 58, 4, -52, -12, -12, -126, -62, -164, 48, 158, -46, -24, -28, -112, -252, 64, 4, -400, 48, -208, -20, -218, 189, 310, 26, -120, -260, -156, 20, 288, 80, 24, -36, 52, 92, -212, 0, 144, -144, 44, 126, 80, -248, -300, -92, 152, 76, -16, 48, 324, -208, 184, 2, 84, -14, 142, 32, -88, 22, 80, 0, -138, -416, 122, -44, -156, 16, -496, 283, 22, -248, -36, -32, -134, 124, -140, -6, 212, -210, 58, -140, -664, -192, -780, 18, -328, 114, 212, 88, 192, -32, 192, 4, 118, -60, -184, 52, 136, -276, 212, 6, -628, -128, -12, 110, -288, 28, -112, -16, -132, -240, 148, 28, -232, -256, -84, 8, -304, -302, -68, -30, -4, -256, 92, 47, -188, -62, -136, 20, -324, -136, -236, 4, -218, 128, 132, -52, -568, 2, -244, 50, 393, 92, -88, -16, 190, -420, 4, 10, -66, 36, -88, 56, 186, 118, -324, 30, -500, -272, -196, 184, -8, -272, -336, 12, 284, 132, -228, 36, -148, -228, -52, -32, -152, 100, -108, -68, -88, -64, -160, 0, -218, -376, -380, -22, 36, 8, -772, 16, 28, 162, -260, 44, -444, -84, -112, 34, -768, -80, -96, 108, -532, -128, 88, -18, -190, -312, -168, -8, 92, -452, 120, 30, -20, 64, -104, 315, -270, -336, -156, -44, -576, 112, -36, 104, -72, -4, -356, 40, 180, 77, -294, 32, 76, -220, -152, 40, -332, -192, -98, -84, -20, -436, -120, -8, 84, 24, -404, 94, -72, -96, -140, 60, -322, -64, -138, -24, -648, -52, -348, 56, 138, -88, -544, -2, -254, -2, -88, 44, -280, 96, -56, 128, -20, -96, 136, 8, -312, -392, 144, 48, 468, -4, -412, 44, -120, 42, 140, -20, 120, 28, -48, 40, -123, 46, 16, 128, 318, 116, -324, -36, -84, -4, 260, 108, -152, -32, -188, 4, -140, -14, 46, -184, -96, 196, 44, 46, -88, -2, 148, 134, 126, -216, -216, 62, 238, -56, 52, 102, -98, -248, 140, 12, -280, 32, -80, -112, 216, 192, -348, 41, -128, -160, 2, 24, 468, 4, -644, 0, 416, -68, -58, -56, -100, -56, 36, 0, 80, 80, 376, -100, 188, 76, 152, 4, 240, 86, -220, -4, 32, -32, -600, 269, -214, -14, 260, -6, -376, 84, -336, 64, -10, -100, -134, -64, 10, 308, -64, -44, 116, -162, 382, 90, -152, -68, 108, -80, -348, -36, -278, -80, 136, -116, -176, -24, -40, -208, -252, 42, -218, -56, -120, 104, 244, 264, 4, -100, -624, -128, 244, 24, 208, 0, 212, -92, -452, -126, 16, 40, 82, 148, -48, -84, -152, -96, -68, 8, 240, 258, -56, 16, -74, 288, -124, -16, -168, 124, 686, 110, -260, 8, 108, -8, 373, 71, 468, 36, -232, -140, -8, -4, 120, 254, -424, -184, -28, 140, -200, 8, -666, -72, -122, 10, 232, -20, 328, -60, 520, -76, 72, -84, -380, -280, -316, -26, 468, 222, -276, -56, -204, 58, -684, -92, 118, -224, 212, -20, 84, -160, 168, 4, 16, -52, 48, -30, -234, 160, -620, 8, -338, 176, 8, -188, 104, -160, -64, -12, -456, 26, 30, -132, -40, 68, 148, 12, -30, -142, -256, -24, 68, -252, -104, -16, -212, 162, -188, 275, 116, 44, 168, 28, -40, -64, -128, -14, 228, -16, 112, -12, -74, 32, 332, -204, 604, 144, 272, -4, -40, 4, -168, 56, -208, 76, -208, 4, -368, -120, 76, -10, 468, -28, -568, 35, -262, 196, -288, -68, -530, 268, 80, -2, -88, -80, -174, -124, 522, -46, -160, 30, 4, -104, 160, -160, 108, -92, -396, 24, -114, -168, -32, -62, -244, 92, 312, -60, -388, 196, 20, -92, -84, 120, -236, 40, -128, 40, 340, -172, 396, 92, 20, -40, 711, -218, 160, 24, -412, 64, 104, -12, -288, -98, -232, -312, 116, -170, 344, 34, 172, 24, -326, -136, -180, -20, -88, 12, -22, 242, 152, -56, -630, 12, 124, -48, 108, 70, 28, 56, -56, 120, -612, -4, 86, -296, 220, 200, -64, -156, 36, 48, 272, -20, 516, 102, 482, 216, 148, -4, -620, 106, -104, 128, -128, -12, 296, -124, 162, -196, 4, -188, 408, -288, -112, -16, -72, -55, 504, 56, -164, 202, 20, -90, 408, 60, -202, -260, 150, -56, -336, 227, 64, 8, -172, -32, 72, -104, -176, -44, -104, 156, -148, 212, 178, -248, 56, 26, -320, 6, 28, 128, 104, 156, 372, 10, 192, -196, 124, -28, 184, -160, -460, 52, 164, -184, 264, 52, -156, 12, 220, -48, -20, 24, -102, -156, 8, 76, 120, 20, -220, -232, 72, -84, -380, -100, -260, -72, -278, 62, -428, -34, -282, 156, -172, 48, 12, 328, 18, 60, -432, 196, 504, 20, 30, 160, 172, 4, -44, -136, -328, 16, -106, -282, -192, 20, 116, 352, 252, -20, 65, 308, 338, 32, -134, 432, 280, 32, -36, 266, 412, -84, 548, -2, -448, -84, 48, 86, -538, 60, 244, 188, -92, 1, -340, 246, 272, -208, 292, -24, 372, -30, 338, -24, 164, -8, 8, -336, 116, 56, -192, -46, 140, -60, -490, -56, 176, -36, 160, -300, -162, -112, 344, 204, -136, -16, 314, -216, 236, -18, -84, 8, -28, 8, -166, 516, 172, 74, -64, -152, 84, -14, 58, -126, -660, -224, 96, 162, 292, 44, -128, -140, 378, 32, -404, -88, -144, -8, -38, -128, -300, 259, -340, 252, 116, 48, 428, 150, 84, -172, -8, 136, 420, 12, -110, -24, 342, -68, -96, -48, -56, -124, 138, 174, 60, -56, 100, -372, 344, 10, 224, 272, -476, -60, -404, 90, -776, -76, 26, -236, 224, -264, -316, -208, 16, 52, 706, -144, 808, -198, 24, 20, -204, -80, -114, -344, 0, -12, -300, 132, -172, 18, -608, 129, -302, -120, -108, 132, 380, -48, 208, -20, 172, 168, 428, -576, 756, 6, 56, -30, -556, -66, 256, 184, -116, 112, 4, 368, -96, -100, 354, -96, -316, 0, -21, -200, 116, -4, 252, 72, -24, -80, 152, 52, 404, -132, 444, -392, -36, 10, -54, -8, 456, -86, -480, -72, -44, -68, 392, 72, -604, 148, 62, 52, 204, -16, 396, 160, 236, -360, 424, -162, 88, 74, -128, -200, 36, -136, 88, 88, -380, 56, 264, -26, 664, 112, 392, 308, 760, 130, 384, 108, 42, -68, 430, 152, 136, -40, 578, -272, 1352, -98, -208, -44, 484, -136, -14, -28, 136, 24, 44, -212, 668, 32, -216, 56, 336, -140, 346, -336, -628, -24, 346, -64, 182, -156, 876, -244, -132, 255, 352, 162, 300, 74, 162, 364, 564, -29, 262, -68, -112, -84, 704, 60, -36, 40, -108, 72, 24, 20, 1644, -172, -684, -40, -108, -32, 404, -32, 38, 4, -40, 10, 268, -16, 352, -28, 226, 160, 908, 30, -124, 208, 254, -64, -448, -364, 256, 80, 560, 0, -344, -52, -70, 674, 828, 12, 524, -6, -12, -108, -356, -204, -68, 14, -72, -264, 462, -106, 664, -106, 40, 176, 326, 144, -388, -104, 322, -460, 64, 44, -172, -134, -264, 20, 410, 72, 176, 8, -42, -164, 568, -120, 364, -456, 20, -40, 459, -38, 536, -142, 256, 228, 88, 56, -392, 0, 100, 170, 476, -116, 120, -20, 230, -120, -128, -170, 464, -124, 280, 140, 294, 232, 48, 96, 188, -68, 180, -2, 84, -38, 132, -240, -160, 32, 76, 44, -202, -280, 620, -92, -332, 36, -160, 26, -40, -65, 992, 18, 100, -328, 368, -14, 1304, 176, -376, -56, 272, 324, 572, 16, -208, -378, 136, 38, 576, -72, -120, -116, 950, 34, 168, 22, -180, 76, 56, 28, -400, 236, -48, -24, 4, 56, -28, 64, 116, -108, 148, 12, 636, -120, -44, -12, 452, 50, -736, 335, 220, -546, 584, -26, 344, 100, 524, 72, 60, 424, 340, 24, 160, 56, 100, 132, -128, -212, -248, -28, 514, 276, 936, 104, -484, 84, 464, -40, 366, -128, 322, -20, -64, -168, 224, 54, 12, 540, -394, -36, -40, -444, 244, 44, 36, 112, -834, 44, -42, 408, -64, -36, 76, -44, 20, -444, 362, -88, 388, 6, 32, -32, 808, 62, -152, -306, 24, 24, -228, 164, 64, -182, -540, -224, -336, -36, 700, -102, -140, -104, 792, 30, -232, -64, -348, -52, 424, 92, -4, -460, -224, 65, -82, -310, -224, -124, 448, 328, -140, 0, 37, -418, 20, -308, 508, -180, -336, 14, 378, -304, 464, 130, 260, -194, -376, 76, 34, -72, -228, 44, -632, -640, 640, 2, 132, 100, 500, 298, -452, 152, 368, 8, 278, -116, -220, 56, -130, 108, -228, 8, 164, 478, -392, 168, 142, -132, 496, 44, -312, 428, -60, -108, 648, -176, 636, 18, -254, 8, -166, -148, 196, -156, -48, 38, 512, 56, 128, -16, -28, 0, -364, -36, -220, 64, -46, -164, 14, -180, 144, -76, 328, 52, -226, 0, -548, -132, -696, 4, 334, -128, -136, 54, 328, 116, 568, -6, 236, -176, -846, 96, 640, -260, 948, 277, 436, -48, 508, -310, -388, -64, -224, 116, 342, -124, -112, 52, 160, -412, -168, -4, -444, -262, 116, -4, -284, 96, -860, 108, 18, 368, -88, -2, 904, -188, 148, 110, 168, 375, -268, -108, -56, 128, 592, -60, -272, -118, -148, 56, 32, -220, -684, 10, 442, 50, 340, -112, 4, -40, 440, 72, 376, 398, 554, 54, -48, 4, 236, 26, -692, -16, 160, -96, 572, 392, -24, 52, -674, -180, 248, -188, 596, -232, 84, 36, -224, 32, -624, 92, -136, -84, 504, 144, 588, 120, -680, -316, -94, 56, -4, -52, 98, 24, -72, 52, -212, 148, 480, -176, -95, 12, -344, 8, 392, -268, 144, -4, -402, 186, 20, -184, 708, -92, -320, -46, -186, 216, 28, 20, 428, -272, 20, 76, 710, -52, 132, -170, 366, -128, 92, -60, 216, -184, 302, -92, 596, 72, -484, 10, -380, 408, 316, 84, 406, -264, 160, -96, 998, -184, -556, 172, -196, -440, 312, 22, -556, 90, -472, 0, 36, 132, 480, -160, 554, 324, 224, -108, 312, 84, -416, 6, 0, 296, 100, -128, 260, -332, -408, 85, -512, -274, -208, -180, -372, -248, -280, 12, -142, 176, 348, 80, 532, 368, -348, 16, -284, 348, -508, 32, 76, -504, 48, 16, 40, -48, 332, 351, 524, 54, 568, 124, 172, -340, 308, -272, -72, -64, 396, -8, 100, 212, -660, -16, 428, -118, 348, 4, -184, -272, -400, -60, 204, 28, -396, 4, -60, 152, -524, 56, -224, -40, 256, -6, 22, 168, 84, -144, 306, -516, 288, 48, 636, 330, 154, -204, 248, 210, -168, 24, 98, -484, -324, -8, 640, -476, 524, 52, -164, 270, 28, 36, -124, -344, 164, 154, 1132, 74, -964, -190, 190, 564, 492, 8, -12, -88, 156, -56, 838, -48, 356, -52]