# Trace form for 6003.2.a, downloaded from the LMFDB on 10 May 2024.
[0, 258, 2, 0, 262, 0, 0, 4, -6, 0, 4, 4, 0, 12, -8, 0, 270, 12, 0, 0, -28, 0, 16, 0, 0, 266, 28, 0, 8, 6, 0, -12, 30, 0, -36, 20, 0, 20, -16, 0, 24, 40, 0, 16, 8, 0, -4, -16, 0, 302, 66, 0, 32, 4, 0, -4, 24, 0, -2, -20, 0, 4, -8, 0, 286, -16, 0, -56, 4, 0, -64, -76, 0, -24, -44, 0, -8, 4, 0, 16, -4, 0, -32, 0, 0, -20, 52, 0, -76, -24, 0, 32, 0, 0, -24, -56, 0, -8, -6, 0, 238, 36, 0, 44, 4, 0, -44, 12, 0, -12, 28, 0, -44, 120, 0, 0, 18, 0, -140, -20, 0, 238, -12, 0, -84, 0, 0, -36, 34, 0, 56, 76, 0, -36, 72, 0, -88, 60, 0, 56, 60, 0, 32, -44, 0, 0, -68, 0, 52, -100, 0, 28, 0, 0, -4, 92, 0, 64, -44, 0, 164, 0, 0, -28, 64, 0, -84, 20, 0, 338, -8, 0, -24, 56, 0, 52, 4, 0, -48, 24, 0, 116, -108, 0, -12, 48, 0, 44, -52, 0, 84, -76, 0, 24, -32, 0, 206, 32, 0, -4, 122, 0, 48, 0, 0, 108, 4, 0, 36, 132, 0, 24, 36, 0, -92, -20, 0, 136, 8, 0, 120, -8, 0, 56, -8, 0, -228, -148, 0, -24, -8, 0, 6, -4, 0, -24, -144, 0, 84, 44, 0, -8, 42, 0, -100, 24, 0, 68, -128, 0, 128, 112, 0, 4, 96, 0, 190, -48, 0, -152, 140, 0, -68, 4, 0, 32, 84, 0, -248, 24, 0, 16, 32, 0, -16, -152, 0, 120, 88, 0, -180, 24, 0, -16, -420, 0, 24, -80, 0, 166, 0, 0, -124, -68, 0, -80, 124, 0, -48, -4, 0, 8, 44, 0, 60, 68, 0, -88, 76, 0, -104, 56, 0, 48, 76, 0, -44, -36, 0, 0, 80, 0, -8, -120, 0, 80, -152, 0, -136, 28, 0, 40, 272, 0, -12, -200, 0, -156, 2, 0, 28, -76, 0, -148, -80, 0, -160, 76, 0, 52, 364, 0, -128, 32, 0, -92, -124, 0, -20, -68, 0, 274, 56, 0, 180, -92, 0, -52, -32, 0, -116, -204, 0, -72, -92, 0, -64, 12, 0, -40, 108, 0, 32, 24, 0, -116, 12, 0, 164, 180, 0, -28, -158, 0, 92, -100, 0, 108, 88, 0, 18, 44, 0, -140, 248, 0, -24, -212, 0, -68, -96, 0, -68, 116, 0, -120, -44, 0, -108, 16, 0, 184, 140, 0, -280, 176, 0, -160, 88, 0, -164, -84, 0, -148, -16, 0, 12, 20, 0, -136, 404, 0, 264, -44, 0, 104, -16, 0, -108, -48, 0, -256, -60, 0, 24, 160, 0, -208, 72, 0, 0, 68, 0, 80, 10, 0, -124, -172, 0, 176, 284, 0, 0, 24, 0, -100, 96, 0, 168, -32, 0, 68, 204, 0, 414, 220, 0, -48, 196, 0, -304, -36, 0, 16, 444, 0, -388, 52, 0, -64, -40, 0, 208, -96, 0, -84, 0, 0, 192, -180, 0, 188, 130, 0, -104, -236, 0, 180, -16, 0, -32, -8, 0, -92, 312, 0, -204, 48, 0, 258, 112, 0, -268, 240, 0, 180, -52, 0, -84, 164, 0, 208, -64, 0, -76, -52, 0, -24, 40, 0, 92, -12, 0, -80, 40, 0, -180, -12, 0, 76, 168, 0, 232, 52, 0, 16, 36, 0, 416, -32, 0, 116, 132, 0, -168, -24, 0, -88, 174, 0, 0, -84, 0, 60, -196, 0, 140, -136, 0, 144, -212, 0, 248, 76, 0, 24, -140, 0, 8, -44, 0, -24, -80, 0, 356, 364, 0, 136, 136, 0, 52, -124, 0, 180, 112, 0, -80, -108, 0, -20, 0, 0, -20, -68, 0, 266, -4, 0, 140, 96, 0, 128, 172, 0, 28, 472, 0, 40, -56, 0, -264, 132, 0, -4, -36, 0, -84, -160, 0, 12, -44, 0, -104, -208, 0, 176, 108, 0, 80, 260, 0, 108, -444, 0, 88, 80, 0, -8, -80, 0, 120, -80, 0, 120, -216, 0, 362, -144, 0, -252, 256, 0, 28, -196, 0, 116, -340, 0, 152, 68, 0, 212, -116, 0, -180, -200, 0, -148, -68, 0, -236, -36, 0, 96, 32, 0, -276, -220, 0, 216, 156, 0, -412, -16, 0, 200, -384, 0, -48, 68, 0, -144, -114, 0, 80, 14, 0, 16, -104, 0, -340, 36, 0, 4, -392, 0, 52, 260, 0, -160, 232, 0, -352, -104, 0, 296, 40, 0, 260, 280, 0, -168, 120, 0, 64, 16, 0, -64, -152, 0, -20, 40, 0, 312, -156, 0, 52, 116, 0, 144, -40, 0, 32, 112, 0, 140, 244, 0, 304, -240, 0, 96, -68, 0, 266, -76, 0, 40, 68, 0, -548, 40, 0, 160, 44, 0, -244, -244, 0, 352, 22, 0, -224, -160, 0, 48, 76, 0, 424, 44, 0, 144, 0, 0, 84, 56, 0, 112, 160, 0, 456, 172, 0, -140, -316, 0, -16, -24, 0, -8, -172, 0, -112, 224, 0, 228, 4, 0, -408, -388, 0, 258, -80, 0, -144, 204, 0, 280, 332, 0, 172, 24, 0, -64, 200, 0, -408, 96, 0, -384, -516, 0, -12, -416, 0, 212, 40, 0, 264, -32, 0, -8, -348, 0, 16, -316, 0, 176, 192, 0, -288, 392, 0, 68, 168, 0, -396, 176, 0, -256, 104, 0, 404, -88, 0, 128, -680, 0, 240, 36, 0, 68, 360, 0, -400, -224, 0, -132, -360, 0, -196, -220, 0, -28, -648, 0, -128, 52, 0, -364, -40, 0, -84, 280, 0, -192, -284, 0, 10, -72, 0, -12, -112, 0, -280, 232, 0, -404, -284, 0, -712, 52, 0, -40, -304, 0, -364, 32, 0, -200, -232, 0, -156, 8, 0, -136, 12, 0, -180, -164, 0, -170, 36, 0, 144, -48, 0, 164, -542, 0, -464, -264, 0, -240, -64, 0, -12, 80, 0, -104, 0, 0, -300, -76, 0, 80, 0, 0, 760, 36, 0, 320, -24, 0, -256, 232, 0, -148, -404, 0, 304, -156, 0, -256, -4, 0, -172, 44, 0, -344, 140, 0, -8, -124, 0, -8, 388, 0, 124, 160, 0, -72, 320, 0, -154, 32, 0, 204, -124, 0, -44, -140, 0, 440, -320, 0, -560, 204, 0, 36, 204, 0, -692, 32, 0, -344, -60, 0, -280, 12, 0, -168, 64, 0, -252, -184, 0, 180, 2, 0, 648, -204, 0, 216, 80, 0, 120, -216, 0, -84, -392, 0, -348, -36, 0, 208, 108, 0, 228, -280, 0, -16, -72, 0, -64, -128, 0, -60, 428, 0, -44, 88, 0, -540, -620, 0, -280, -48, 0, -16, 52, 0, 4, 256, 0, 60, -196, 0, 208, -212, 0, -248, 340, 0, 296, -60, 0, -88, 440, 0, -644, 32, 0, 200, 700, 0, -88, -16, 0, 152, 68, 0, -360, -52, 0, -276, -580, 0, -156, -196, 0, 4, -80, 0, -256, 196, 0, 132, -444, 0, 28, 156, 0, -60, 112, 0, -138, -92, 0, -8, -92, 0, -160, -84, 0, -308, -508, 0, -168, -156, 0, -264, -60, 0, 24, 300, 0, -392, 16, 0, -484, 24, 0, -204, 72, 0, 176, -80, 0, 28, 60, 0, -204, 188, 0, -88, -88, 0, 244, 168, 0, -100, -300, 0, -60, -244, 0, 204, -308, 0, -60, 300, 0, -112, 8, 0, 276, 112, 0, -16, 252, 0, -32, -92, 0, 610, 280, 0, -56, -188, 0, 236, 212, 0, -76, 72, 0, 96, -488, 0, -352, 208, 0, -264, 4, 0, 172, 0, 0, 360, 394, 0, 84, 128, 0, -156, 156, 0, 96, -256, 0, -64, 508, 0, 472, -16, 0, 116, -300, 0, -196, -148, 0, 56, 284, 0, 84, -104, 0, 60, -376, 0, 400, 364, 0, 76, -108, 0, 20, -8, 0, 156, -48, 0, -88, -328, 0, -12, -192, 0, -44, 316, 0, 172, -408, 0, 428, -372, 0, -444, -248, 0, 20, 252, 0, 408, 88, 0, -184, 324, 0, 176, -288, 0, -192, 40, 0, -348, -8, 0, -136, 48, 0, -216, 16, 0, -480, -252, 0, -108, -876, 0, -4, -144, 0, 28, 48, 0, -728, -52, 0, -364, 190, 0, -508, -144, 0, 28, -404, 0, -172, 136, 0, -28, -76, 0, 232, 40, 0, 714, -136, 0, -124, -548, 0, -104, -640, 0, -492, -136, 0, 148, -272, 0, 72, -112, 0, 232, 64, 0, -468, -224, 0, -12, -56, 0, 360, -80, 0, -48, 640, 0, -744, 60, 0, -476, 604, 0, -724, -124, 0, -172, -4, 0, -432, -164, 0, -120, -224, 0, -676, 38, 0, 72, 88, 0, 0, 168, 0, -216, -748, 0, 88, -304, 0, -168, -480, 0, -180, -328, 0, -40, 264, 0, -514, -192, 0, 68, -160, 0, -14, -300, 0, 24, -68, 0, 44, -92, 0, -292, 232, 0, 140, 580, 0, -152, 104, 0, -84, 320, 0, 192, -64, 0, -484, -24, 0, 12, 12, 0, -252, 60, 0, 168, -812, 0, 240, -352, 0, 328, -536, 0, -464, -128, 0, 0, 48, 0, -188, 220, 0, -220, 108, 0, -448, 472, 0, 36, -48, 0, 356, 316, 0, 164, -108, 0, 304, 496, 0, -56, -56, 0, 412, 464, 0, -380, 688, 0, 176, -116, 0, -104, 428, 0, -40, 20, 0, 72, -288, 0, -848, 4, 0, 244, 360, 0, 304, 64, 0, 52, 368, 0, 448, 352, 0, 96, 248, 0, -552, -80, 0, 76, 276, 0, 24, -376, 0, -108, 230, 0, -40, -408, 0, -256, -312, 0, 484, 568, 0, -660, -176, 0, 480, 272, 0, -204, 192, 0, -36, 312, 0, -112, 16, 0, 376, 24, 0, -456, -476, 0, -242, 280, 0, -44, 424, 0, 200, 420, 0, -164, 104, 0, 148, -360, 0, 100, 596, 0, 572, -316, 0, 240, 688, 0, -48, 440, 0, 140, -796, 0, -228, -108, 0, 92, 96, 0, -44, -104, 0, -308, 140, 0, 348, 108, 0, -148, 8, 0, 544, 180, 0, 364, 660, 0, -440, -484, 0, 36, 364, 0, 104, 24, 0, -244, -212, 0, -504, -256, 0, 76, -52, 0, -392, 216, 0, 116, 184, 0, 532, 64, 0, 122, 2, 0, 96, 200, 0, -40, 540, 0, 552, 412, 0, -108, -612, 0, -432, -120, 0, -140, -520, 0, 76, -508, 0, 360, -96, 0, 28, 156, 0, -60, 340, 0, -156, 452, 0, -72, -376, 0, 84, 248, 0, 136, -676, 0, 972, -272, 0, 192, 256, 0, -108, -152, 0, 152, 120, 0, -212, -188, 0, 152, -432, 0, -296, 404, 0, -148, 176, 0, -68, 168, 0, -44, -420, 0, -508, 16, 0, 64, 1480, 0, 28, 296, 0, -736, -192, 0, 284, -52, 0, -48, -16, 0, -104, -552, 0, -496, -440, 0, 880, -280, 0, 244, -20, 0, -508, 436, 0, 260, -616, 0, -1052, 360, 0, -112, -924, 0, 68, -488, 0, -136, 768, 0, -312, 668, 0, 172, -528, 0, -88, -248, 0, -372, -48, 0, -784, -44, 0, -180, 908, 0, -596, 244, 0, 36, 60, 0, -632, 92, 0, 256, -224, 0, -180, -140, 0, 244, 528, 0, -60, 556, 0, 160, -88, 0, 520, 48, 0, 258, -760, 0, -136, 156, 0, -248, 26, 0, -252, -36, 0, -704, -360, 0, -1028, -80, 0, -232, -372, 0, -944, -292, 0, 8, 132, 0, 460, -124, 0, 60, 836, 0, 252, -600, 0, -60, -56, 0, 384, 428, 0, 840, -368, 0, 156, 480, 0, -60, 612, 0, -412, 340, 0, 176, -340, 0, 364, 416, 0, 72, -480, 0, -416, 68, 0, 168, -596, 0, 480, -468, 0, -244, 506, 0, 264, 216, 0, 252, 976, 0, 324, 224, 0, -380, -116, 0, -34, 684, 0, -212, -148, 0, -20, -24, 0, 324, 4, 0, -156, 364, 0, -228, 316, 0, -64, 72, 0, 72, 304, 0, -712, 272, 0, -488, -52, 0, -540, -304, 0, -400, -156, 0, -68, 440, 0, 444, 956, 0, 68, 8, 0, 236, 24, 0, -584, 344, 0, 732, 776, 0, -244, -196, 0, -120, 60, 0, -168, 268, 0, -172, 648, 0, 320, 288, 0, -192, -264, 0, 776, 204, 0, 412, -212, 0, -64, 424, 0, -308, -128, 0, 316, 392, 0, 116, -24, 0, -216, 268, 0, 300, 0, 0, 792, -452, 0, 24, -740, 0, 28, 80, 0, 1036, 276, 0, 1008, 352, 0, -48, 86, 0, 716, -428, 0, 20, 236, 0, -228, 188, 0, -4, -620, 0, 356, 276, 0, -272, -228, 0, 560, 340, 0, -256, 284, 0, -56, 360, 0, 388, -172, 0, -44, 108, 0, 468, -856, 0, -992, 456, 0, -192, 316, 0, -36, -60, 0, -568, 788, 0, 1128, 132, 0, 364, 428, 0, -500, 108, 0, -152, 240, 0, 356, 72, 0, -20, -236, 0, 262, 64, 0, 220, -320, 0, -592, -672, 0, 524, 564, 0, -316, 244, 0, -292, 1144, 0, -228, -180, 0, 124, -240, 0, 1336, -52, 0, 344, -404, 0, -32, -264, 0, 232, -704, 0, -172, -48, 0, -440, 696, 0, 596, -344, 0, 140, -8, 0, 8, 416, 0, 392, 28, 0, 20, -144, 0, 392, 92, 0, 324, 252, 0, 108, -564, 0, 276, -284, 0, -32, -480, 0, -688, 52, 0, -356, -184, 0, -144, 164, 0, 912, -388, 0, -688, -124, 0, -112, -48, 0, -352, -132, 0, 786, 1060, 0, 168, -308, 0, -88, 476, 0, 84, 208, 0, -336, 336, 0, -644, 440, 0, -256, -608, 0, 584, 92, 0, -16, -348, 0, -436, 132, 0, 268, -140, 0, 644, -348, 0, 712, -376, 0, 1068, 140, 0, 216, 116, 0, -60, 140, 0, -288, 208, 0, 1104, 24, 0, -200, -260, 0, -816, -124, 0, 540, 532, 0, 332, 176, 0, 120, 220, 0, -276, 60, 0, 188, 156, 0, 540, -128, 0, 28, -236, 0, -808, 4, 0, 564, -72, 0, -536, 404, 0, -56, 0, 0, 776, -168, 0, 712, 248, 0, 336, 440, 0, 708, 594, 0, -120, 380, 0, -88, -836, 0, -56, 484, 0, -32, 56, 0, 232, -112, 0, -200, -12, 0, -492, 308, 0, -472, -460, 0, 360, 268, 0, -540, -140, 0, 400, 452, 0, 356, -164, 0, -192, 204, 0, 72, -532, 0, -228, -428, 0, 72, -1040, 0, -192, 176, 0, 664, -432, 0, 500, 20, 0, -144, -252, 0, 396, -332, 0, 240, -4, 0, 728, 324, 0, -204, -656, 0, -16, -92, 0, 508, 0, 0, 24, -16, 0, 12, -604, 0, -692, -416, 0, 1090, -144, 0, -64, 380, 0, -40, -308, 0, 948, 524, 0, 284, 112, 0, 64, -300, 0, 568, 632, 0, -1068, -96, 0, -60, -12, 0, 612, -288, 0, 732, 0, 0, -436, -520, 0, -628, 196, 0, 412, 500, 0, -312, -476, 0, -728, 360, 0, 212, -430, 0, -408, -80, 0, 96, 124, 0, -420, -268, 0, 80, 308, 0, -264, -28, 0, -88, 476, 0, 112, 192, 0, 408, -212, 0, -380, 248, 0, 468, -688, 0, -328, 296, 0, 24, -204, 0, 148, 8, 0, 692, 516, 0, -32, 204, 0, 128, -568, 0, -38, 472, 0, -244, -188, 0, -468, -28, 0, 240, -636, 0, 572, 28, 0, -420, -636, 0, 540, 32, 0, 184, 296, 0, -256, 724, 0, 224, 772, 0, 200, 520, 0, 376, 1072, 0, 88, 172, 0, -564, 808, 0, 288, -608, 0, 308, -312, 0, 696, -536, 0, -212, -168, 0, 464, -300, 0, 772, -384, 0, 812, -24, 0, 528, 116, 0, -360, 216, 0, 324, 720, 0, -236, 172, 0, 32, -212, 0, -288, -32, 0, -16, 344, 0, -56, -36, 0, 36, -752, 0, 640, -164, 0, -276, -488, 0, -412, -440, 0, -148, -788, 0, 708, -48, 0, -104, -300, 0, -352, -40, 0, -400, -464, 0, 620, 380, 0, -536, -20, 0, -180, -64, 0, -644, 4, 0, 292, 68, 0, 212, -76, 0, 896, 704, 0, 260, 952, 0, 1516, -88, 0, 404, 160, 0, -120, 0, 0, 556, -1324, 0, -976, 664, 0, -404, -376, 0, -368, 336, 0, 676, 796, 0, 412, -604, 0, 252, 68, 0, -20, 424, 0, 76, 296, 0, 904, -616, 0, 200, -960, 0, 92, 292, 0, -504, 100, 0, -940, -68, 0, 72, 24, 0, 380, -372, 0, -136, -216, 0, -1124, -208, 0, 228, 208, 0, 670, 528, 0, -80, -1068, 0, -348, -628, 0, 68, -48, 0, -952, -708, 0, -140, 768, 0, 324, 408, 0, -324, 52, 0, -1048, -140, 0, 68, 360, 0, -200, -376, 0, -8, 126, 0, -328, -48, 0, -260, -648, 0, -156, -220, 0, -544, 440, 0, -52, 328, 0, -88, 740, 0, -240, -504, 0, -968, 580, 0, 1148, -512, 0, 408, -352, 0, 444, 196, 0, 92, 228, 0, -844, 820, 0, -852, -1024, 0, -436, -112, 0, 404, -704, 0, 380, -420, 0, 172, -192, 0, -116, 516, 0, 232, -1004, 0, -304, -4, 0, -452, -188, 0, -8, -232, 0, 14, 16, 0, 8, 20, 0, -36, -300, 0, 328, -244, 0, -360, 424, 0, 452, 64, 0, 620, -1420, 0, -796, -148, 0, 396, 432, 0, -424, 236, 0, -264, -748, 0, 70, -472, 0, -428, 152, 0, 288, 56, 0, -92, -48, 0, -1540, -48, 0, -392, 288, 0, 160, -440, 0, -372, -1320, 0, -984, 476, 0, -368, -640, 0, 720, -272, 0, 12, 400, 0, -772, -92, 0, 508, 916, 0, -888, 224, 0, 8, -370, 0, 148, 72, 0, -48, 96, 0, 276, -476, 0, 128, 98, 0, 176, 256, 0, 160, 48, 0, 436, -308, 0, -412, 784, 0, -124, -796, 0, 572, -276, 0, -376, 24, 0, -316, -20, 0, 572, -276, 0, -52, 288, 0, 1540, -148, 0, -396, -172, 0, 328, 92, 0, -988, 376, 0, 44, -868, 0, 644, 144, 0, -172, -572, 0, 216, -752, 0, -884, -144, 0, -660, 516, 0, 1132, -60, 0, 648, -420, 0, -764, -224, 0, -332, -1012, 0, -8, 484, 0, 1196, -752, 0, 120, -236, 0, 104, 308, 0, -728, 32, 0, 728, 40, 0, 156, 112, 0, -1084, 1000, 0, 36, 236, 0]