# Trace form for 2873.2.a, downloaded from the LMFDB on 20 April 2024.
[0, 206, 2, 0, 206, 4, 0, 0, 6, 210, 0, 4, -12, 0, 4, 4, 206, -2, 6, -16, 24, 0, -4, -16, 4, 214, 0, -12, 12, 4, -16, -4, 14, -20, 2, -8, 194, -4, -8, 0, -36, 0, 8, -28, 28, 40, 20, 16, -12, 194, 22, -4, 0, 12, 28, -4, 8, -20, -8, -4, 16, -8, -16, -20, 194, 0, -16, 24, -6, 24, 4, 8, 54, -4, 24, -28, -60, -8, 0, -12, -28, 198, -24, -52, -20, 0, -24, -20, -56, 4, -76, 0, -96, -28, -80, -44, -56, 0, -34, -20, 182, -16, 12, 4, 0, 40, -32, -32, -80, 0, -28, -84, 12, 32, -56, -16, -56, 0, -52, 12, -12, 230, 24, 0, -40, 12, 32, 68, 58, 92, 0, -44, -28, 64, -16, 44, 18, 20, 0, 4, -36, 24, 56, 0, 242, 52, -164, -28, -56, 20, 52, -32, -20, -2, -24, -52, 0, 64, 40, -32, -140, 40, 18, -64, -8, -28, -28, 20, -72, 0, -20, 4, -28, 68, -92, -48, 48, 48, -128, -4, 132, -32, 0, 100, 20, 48, -128, -4, -16, 28, -80, -12, 52, -8, -20, 0, 174, -8, -96, 88, -26, 64, 196, 12, 8, -24, -8, -112, 0, -76, 8, -72, 64, 32, 12, 12, 44, 128, -64, -20, -48, 0, 0, -68, 16, 158, 48, 16, -96, 24, -16, 56, 144, -12, 0, -108, -60, -32, -20, 4, -28, 60, -50, -116, -140, 40, -92, 0, -84, 8, 16, -32, -12, 48, -124, 0, 38, -32, -196, 68, 0, -72, 40, 28, -176, 128, 100, 76, 32, -36, -292, 4, 2, 0, -40, -56, 68, -16, -140, 72, 68, -40, -88, 92, -72, -56, 0, -68, 34, 206, 44, 128, -40, 64, -36, -28, 296, -104, 236, 0, -228, 8, 404, -168, -196, -52, -22, -88, 204, 12, -48, -44, 0, -72, -100, -184, 212, -68, 80, 16, 20, -68, 4, 16, 22, 0, 376, -40, -188, -108, 52, -100, -156, 56, -60, -200, -12, 88, 0, -140, 28, -68, 84, 36, 100, -112, 0, -16, -156, 100, -152, 0, 268, -44, -284, -72, 96, 8, -8, 36, -292, 6, -32, -132, 0, -36, -20, -136, -32, -120, -104, -52, -8, 4, 8, -44, -104, 0, -96, 40, -12, -260, 16, -68, -360, 36, 236, -88, 44, -12, 0, -20, -34, -96, 28, -108, -88, 56, 64, -96, 278, 148, -72, 0, -200, 72, 444, -44, -8, -12, -24, -60, -72, -56, -44, -72, 0, -244, 196, -148, -76, 36, 16, 208, 32, 2, -240, -96, 180, 0, -56, -40, -348, 188, 212, -40, 12, -16, -240, -40, -136, 182, 0, -28, -56, -12, -128, 132, 80, -112, 6, -72, 528, 120, -172, 0, -168, -40, -208, -40, 56, -64, 196, 20, -220, 168, 224, 256, 0, -16, 128, 404, -16, -68, 92, -144, 4, 132, 100, -80, -92, 0, -104, 112, 282, 228, 240, 20, 308, -16, -36, -172, 48, -16, 0, 284, -76, 4, -216, 0, -24, 60, 132, -40, -196, -52, 340, 0, 320, 112, -72, 480, 46, -132, 116, 132, 368, 8, -220, -64, 0, 144, -280, 316, -272, -256, 24, 0, 64, 58, -288, -36, 268, 0, -176, -32, -96, 124, -164, -60, 148, -52, -144, 460, 58, -48, 0, 84, -80, -256, -108, 52, -168, -172, -92, 364, 180, -84, -228, 0, -132, -8, -32, -68, -32, -12, -152, 48, 204, -64, 176, 304, 0, -76, 56, 312, 198, 48, 2, 8, -12, -200, -308, 76, -132, 0, 0, 124, -252, -156, -52, -32, -44, -64, -152, 24, -56, 84, 0, -32, 148, -64, -12, 48, -40, -340, 20, 268, -228, 108, -244, 0, -62, -40, 24, 36, -108, 60, 52, -108, -412, 244, 224, -64, 0, 158, 80, 144, 208, 24, -140, -28, -72, -104, 56, 12, -248, 0, 148, 152, -284, -4, -80, 32, 400, -60, 48, 288, -158, -176, 0, 404, -44, -296, 68, 84, 24, 56, -56, -168, -148, -172, -296, 0, -104, -20, 164, -68, 208, 52, -128, -52, -152, 0, -12, 192, 0, -208, -284, -136, -64, 24, -36, 112, 12, -200, -288, 104, -356, 0, -480, -88, 40, -124, 80, 72, -276, 0, -116, -168, -304, -88, 0, 384, 100, 380, -356, 88, 100, 92, 32, -92, -628, 208, 16, 0, 144, -192, -44, -188, -148, 64, 230, -12, -28, -8, -160, -176, 0, 78, 64, -40, 320, -24, -144, 200, 52, 256, 16, -92, -288, 0, -352, 112, -184, -176, -176, 60, -64, 20, -356, -196, -208, -244, 0, -160, -128, -220, -40, 32, 12, 72, 116, 388, -96, 68, -300, 0, -200, 88, -412, 128, 16, -44, -364, 88, -28, -248, -72, 0, 0, -224, 44, -160, 174, -20, 44, -156, -272, 16, -368, 136, -208, 0, -84, -96, 64, -72, 340, 8, 38, -40, 92, -104, 192, -308, 0, 320, 112, -408, -516, -172, 24, -140, 12, -144, 48, -72, -72, 0, -256, -20, -64, -72, -12, 16, -508, 16, -420, -36, 124, 412, 0, -10, -72, -156, 12, -108, -44, 180, 36, 102, 168, 284, -168, 0, 416, 108, 500, 380, -10, 80, 80, 92, 524, 16, -104, -116, 0, -220, 176, 280, -160, 52, 120, 196, -52, 0, 148, 0, 600, 0, -496, -164, -524, 64, 384, -44, -216, -20, -440, 496, -306, 80, 0, 108, 24, 52, -196, 156, -16, -160, -168, -120, 680, 228, 4, 0, -220, -164, -582, -52, 16, 104, 164, -196, -240, 228, 152, 516, 0, -164, 324, 112, -188, -52, 32, -204, 28, -172, -476, -204, -300, 0, -508, 88, 572, -12, 420, 188, 468, 28, -328, -416, 116, -16, 0, 0, -80, 176, -480, 28, -44, 152, -16, 644, 32, -200, -64, 0, 12, 36, -96, -216, -128, -12, 268, -76, -452, -36, -268, 154, 0, -192, -240, -208, 224, -164, -158, -56, 140, 204, 364, -120, 920, 0, -424, -96, 48, -352, 12, -100, 68, 172, 532, -64, 16, -280, 0, 676, -232, 172, 800, -16, -48, -332, 132, -116, -108, -52, -388, 0, 704, 0, -304, -172, -252, 124, -280, 132, -340, -328, 304, -120, 0, 440, -88, 128, 480, -4, 16, 40, -116, 444, -430, -80, 24, 0, 800, 452, -64, -288, -288, 80, -24, -24, 168, 8, -156, 508, 0, 412, 120, -216, 496, -148, 108, -340, 32, -312, 108, -52, 84, 0, -52, -140, -276, 16, -262, -232, 148, 120, 488, 604, 556, -84, 0, -88, -136, 28, 208, 36, -120, 196, 36, -256, -196, -60, 228, 0, -548, 144, 712, 496, -152, -120, 636, 88, -22, 22, -76, -264, 0, -200, 216, 96, -176, 56, -52, -160, -8, 320, -124, -192, 572, 0, -184, -240, 360, 12, 4, -4, -268, -92, 416, 504, 228, 32, 0, -336, -216, -336, -104, 36, -196, 232, 36, -20, 360, 156, -380, 0, -140, -36, 608, 412, 128, -32, -104, 56, -476, 332, -164, 144, 0, 112, 116, 508, -736, 280, -68, 180, -90, 352, 588, 100, 206, 0, 136, -180, -332, 144, -212, 68, 476, -4, 264, 120, -324, 400, 0, 312, 84, -72, -288, 48, 96, 252, 88, -380, -192, -208, 472, 0, 44, 0, -44, 484, -236, 96, -104, -112, 276, -380, -292, -324, 0, -136, -88, 228, -1068, 8, 248, 140, 12, -272, 552, 40, 452, 0, 268, -124, 256, 204, 192, 132, -416, 24, -332, 284, -192, 96, 0, -168, 50, 162, 248, -128, -212, -16, -256, 204, -148, 312, -156, 0, 188, 28, -316, 660, 308, 0, 168, 108, 488, -8, 300, 44, 0, -44, -86, -332, -336, -152, 52, -152, -88, -300, 48, -8, -400, 0, 16, -12, 604, -424, -372, 0, -712, 72, 284, -220, 212, 344, 0, 4, -4, 92, 680, -52, 320, 252, 48, 232, -148, 164, 520, 0, 40, 204, 204, -16, 40, -88, -76, 104, -418, 432, 24, -188, 0, -380, 448, 264, 520, -84, -56, 244, -12, 24, 500, -168, 692, 0, 380, -320, 412, -192, 280, 36, -276, -48, 548, 228, -420, -352, 0, 428, 120, 596, 736, 108, 20, -260, 192, 196, -124, -112, -104, 0, 340, -80, -756, -24, 32, 64, 212, -8, 320, -200, 360, 160, 0, -564, 240, 116, -372, -48, -140, -296, 12, 12, -432, -200, -488, 0, 500, 244, -116, -34, 216, -100, 360, -20, 372, 28, 644, -58, 0, 532, -224, 484, 660, 248, 120, 48, 340, -88, -152, -88, -384, 0, 784, 228, -32, -44, -208, -48, 348, 140, 396, -84, -232, -108, 0, -220, -264, 124, 44, -272, 320, -16, -4, 12, -24, 12, -732, 0, -88, 60, -24, 8, 64, -84, 200, -304, -640, -260, 64, -116, 0, -280, -204, -312, 884, 168, 240, -416, 116, 544, -804, 32, 512, 0, -426, 4, -308, 108, -260, -128, -300, 104, -472, -416, 360, 168, 0, 32, 262, -176, -184, -36, 16, 56, -176, -208, 700, 244, 116, 0, 300, 304, -688, -324, -16, 64, -248, 4, 716, 48, -28, -596, 0, 164, 108, -448, -284, -132, 92, -336, -8, -480, 484, 204, -760, 0, -84, 48, 556, -196, 48, -76, -12, -272, -476, -144, 544, 284, 0, -68, -272, 168, -912, 76, 128, 276, -128, -256, -324, -120, 536, 0, -316, 64, 180, -60, -76, -16, 524, -168, -4, 32, 148, -236, 0, -556, -4, -184, -196, -88, 104, -80, -180, 428, 188, -460, -432, 0, -604, -184, 1024, -136, -140, -48, -320, -188, 40, -76, 232, -244, 0, 276, -360, -524, -100, -212, -64, 360, -270, -328, -576, 88, 372, 0, 60, -32, -144, -188, -16, -88, -308, 16, 364, 312, -252, -52, 0, 160, 40, -12, -452, 300, -80, 164, -232, -268, -684, 104, 48, 0, -230, -28, -336, -72, -220, -84, 316, -80, -380, 32, -480, -452, 0, -268, -88, -108, 428, 100, 44, 112, 112, -176, 564, -100, -24, 0, -660, -36, -16, 344, -76, -284, -144, 184, -376, -544, -268, -196, 0, 368, -224, -464, -836, 312, -128, 272, 288, -228, 1028, 20, 764, 0, 728, 140, 664, 204, 308, 64, -212, 108, 708, -572, 72, 416, 0, -576, 58, 372, 452, -124, 72, -192, -16, -252, 100, 304, -484, 0, 1344, -352, -1188, 346, 166, 8, 192, -128, 44, -368, 32, -428, 0, 320, 176, -84, 240, -332, -172, -32, -92, 548, -42, -156, 236, 0, 760, 84, 460, -312, -180, 40, -948, 68, -4, -324, 96, 320, 0, -12, -332, -400, 864, -88, 72, 300, 208, -48, 508, 436, 168, 0, 56, 12, 440, -212, 0, -92, 124, -112, 704, 336, -396, 304, 0, -148, 588, 156, -588, -8, -160, 260, 172, -56, -1152, 0, 260, 0, -532, -404, 300, 332, 388, 44, -300, 48, -366, -48, -464, 76, 0, -528, 324, 448, 628, 64, -92, -112, 52, -204, 488, 52, 612, 0, -292, -64, 136, -80, -224, -112, 352, 156, 196, 12, 284, -40, 0, -508, 52, 132, 344, -8, 14, -244, -12, 92, 632, -44, -12, 0, 452, 112, -280, 336, 272, -8, 524, 52, 444, -520, 320, -64, 0, -280, -272, -128, -1084, 208, -32, 464, 44, 40, 740, -124, -228, 0, 552, 324, -152, -200, -480, 152, 400, 128, 456, 360, -304, -132, 0, -64, -264, -46, -608, -260, 28, -60, -172, 380, -580, -356, 788, 0, 524, -48, -300, 616, 320, -8, -132, -36, 696, 428, 64, 116, 0, -128, -332, 628, 208, 12, -84, -372, -56, -648, -388, -236, 348, 0, 340, -8, 1068, -216, -468, -116, -196, 176, -308, 860, 412, 168, 0, -244, 160, -284, 928, 40, -56, 108, -132, -268, 176, 336, 628, 0, -24, 240, -544, 260, -188, -16, -116, -208, 744, 28, -14, 984, 0, -244, 296, -340, -696, -360, -72, -168, 64, -244, 76, -48, -90, 0, -60, 80, 904, -288, 108, 288, 72, 116, 312, 96, 440, -376, 0, 380, 264, 524, 660, 80, 204, 328, -20, 660, 632, -8, -780, 0, 388, 216, -576, 496, -216, 116, 432, 244, -20, -252, -320, 252, 0, -248, 512, 112, 620, 0, 116, -152, -36, -556, -204, -244, -852, 0, 828, -324, -432, -24, 176, 248, -360, 212, -472, -184, -164, 540, 0, 784, -448, -484, 16, -144, 340, 408, 152, 212, 396, 144, 188, 0, -1356, -48, 148, -448, 256, -128, -376, 0, 208, -10, -80, -312, 0, 896, 156, -204, 168, 232, -180, 260, 240, 496, -76, 228, -32, 0, -436, -296, 1028, -644, -420, 72, 622, -224, -384, 680, -524, 612, 0, 828, -8, -58, -828, 80, -104, -64, -160, -620, 988, -28, 92, 0, 948, 88, 268, 172, -52, 160, -84, -216, -636, 788, -168, -640, 0, -496, -292, 312, 332, 448, -36, -20, 12, -484, 316, 32, 236, 0, 12, 40, -944, -508, 580, 56, -416, 268, -364, 20, 64, -28, 0, -192, 92, 712, 752, -48, 76, -12, -280, 532, -586, -20, -448, 0, -832, -256, -44, -108, 256, -48, 208, 252, 544, -392, 568, 276, 0, -64, -32, -1140, -532, -296, 292, -400, 44, 536, 88, -164, -176, 0, -464, 108, 928, 540, -312, -124, -688, 88, 440, -96, 40, -24, 0, -64, 120, -52, 960, -120, -220, -16, 232, -40, -36, 256, 232, 0, 268, 168, 352, -372, 34, 100, -14, -56, 268, -312, -288, 836, 0, -524, 284, -348, 368, 208, 140, 268, -8, 44, -360, 204, -760, 0, -1168, -336, 28, -504, 604, -56, -316, -164, -248, -88, -720, 150, 0, -12, 8, 28, 416, -124, -436, -572, -116, 432, 888, 28, -564, 0, 624, 12, -1316, 320, -140, 328, 364, -248, 248, -332, 36, -736, 0, -252, 88, 640, 100, 172, -220, -280, -48, -116, -688, -336, 496, 0, -1208, 24, -264, 576, 196, 40, 440, 68, -744, 628, -72, -52, 0, -8, -12, 216, -16, 228, 24, 252, 16, 244, 16, -248, -592, 0, 168, 288, -72, -388, -292, 60, 156, 136, 320, -408, -24, 340, 0, 412, -556, -244, -960, -136, -152, 8, -64, -516, 136, -188, 1060, 0, 472, -112, -270, -696, 280, 124, 132, -200, -748, -72, 6, -324, 0, 276, -208, 480, -224, 28, -32, -384, -60, -128, -1340, 168, -760, 0, -1300, -12, -736, -352, -392, 88, -252, 80, -268, -520, 340, 92, 0, -324, 240, 880, -232, -144, -32, 36, -72, -504, 376, -56, 408, 0, -720, 404, -808, 136, 328, 36, -116, -276, -320, 8, -8, -548, 0, 1072, 268, -412, 324, -288, 268, -420, -204, 616, -1132, -36, 4, 0, -32, 84, 1080, 320, -264, 180, -184, 52, 336, 716, 548, 420, 0, -332, -284, 372, -944, 72, 136, 28, 4, 150, 568, -124, 412, 0, -668, -4, -380, -292, -264, -16, 696, -180, -116, 496, -352, -672, 0, 412, 44, -636, -696, -196, 8, -8, 380, 32, 620, -252, 160, 0, 504, -212, -56, 872, 52, 36, -216, -304, -644, 92, 412, -24, 0, 432, -384, 992, -78, -116, -122, 676, 0, -420, -408, 164, -320, 0, 108, -340, 640, -176, 644, -404, -348, 56, 320, -544, -128, 488, 0, 36, 72, 356, -228, 360, -488, -32, -404, 320, -1124, -16, 20, 0, 20, -312, -724, 436, 0, -300, 444, 224, -448, -392, 140, -296, 0, 12, 24, -144, 374, 152, 500, 36, 256, -576, -332, -184, -1228, 0, 268, 128, 544, -300, 104, 232, -52, 108, 824, -692, -216, -520, 0, -468, -372, -656, -596, 332, -340, 284, 128, 208, 772, 20, -704, 0, -716, -356, -1160, -552, 316, 28, -208, -140, -1296, -592, -640, 180, 0, -276, 132, -328, 276, -128, -184, -128, 64, 976, -696, 268, -824, 0, 948, -256, -624, -20, 316, 24, 20, 32, -32, -616, 372, -696, 0, 0, 64, -948, 1008, -60, -312, 68, -44, -644, 40, -32, -204, 0, 1056, 208, 340, 992, -454, -32, -504, 184, -856, -636, -72, -180, 0, 210, 316, -364, 276, 4, 304, 300, -236, 388, -432, 436, 468, 0, -8, 412, -448, -36, 88, 220, 140, -36, 252, 564, 112, -436, 0, 444, 540, -708, -544, -180, 8, 192, 340, -32, -464, -12, -392, 0, 108, -528, 220, 984, 236, 180, -484, -332, -548, -444, -348, 276, 0, 512, 460, 600, -392, 160, -204, -72, 148, -244, 1256, -208, 424, 0, -368, 148, 504, -44, 48, 64, 476, 80, 884, -252, 292, -200, 0, -476, 272, 40, 780, -96, -52, -284, -80, -424, -1324, -172, 408, 0, 616, 92, 816, -224, -16, -368, 376, 348, 128, -132, 768, -124, 0, -16, 184, 8, -1208, 396, -172, 204, 200, -356, 404, -452, 732, 0, 1068, 168, -56, -96, -248, -132, 240, -240, -384, 540, 40, -60, 0, -224, -288, -636, 960, -140, 80, -64, -138, -320, -1196, -204, -588, 0, -1136, -104, -808, -512, -92, -276, 132, -52, 248, -268, 98, -428, 0, 776, -112, 688, -796, -188, 120, -532, 24, -712, 468, 152, -800, 0, 380, 20, 720, -468, -320, -328, -256, -72, 704, 16, 488, 384, 0, -44, -176, -640, -336, 172, -24, -76, -44, -672, 612, 480, 1472, 0, -932, 408, -1084, -652, 0, 88, 120, -48, -756, 404, 128, 564, 0, -198, 140, -188, 72, -116, -208, -224, 116, -60, 1036, -160, -24, 0, -120, -60, -704, -592, 216, -92, -180, 160, -436, -44, 436, -688, 0, -676, -156, -28, -52, 64, 24, 312, -400, -268, 684, -236, 308, 0, -1244, -92, 376, -212, -72, -232, 524, -112, -56, -492, 112, -820, 0, -752, 436, 372, 636, -156, 44, 24, -196, 624, 556, -308, 704, 0, -172, -344, -424, 144, -372, -284, -408, 168, 200, 968, 76, -116, 0, -728, -486, -124, 0, -364, -24, 64, -108, 1212, -856, 208, -700, 0, -636, -120, 880, -540, 304, -68, -256, -64, 976, 292, -128, -80, 0, -232, -16, 688, -1342, 356, 260, 192, -100, -768, -564, -44, -48, 0, -1200, -80, 600, -268, -588, 180, 136, -252, 664, -600, -388, -308, 0, -176, 60, -104, 748, 60, 372, 200, -308, 448, 904, -4, 428, 0, -116, 60, 8, -624, 64, -488, -168, -300, -1120, -88, -220, -220, 0, -576, -156, -352, 304, 412, -8, -168, 456, -124, -344, 8, -984, 0, -640, -28, 280, -552, 264, 248, -312, 448, -96, -472, 88, 800, 0, 204, 44, -372, -288, 100, -44, -80, 8, -676, 888]