# Trace form for 8025.2.a, downloaded from the LMFDB on 25 April 2024.
[0, 336, 2, -2, 336, 0, 0, 0, 6, 336, 0, 12, 2, -4, 0, 0, 344, 12, 2, 4, 0, -16, 8, 16, -12, 0, 0, -2, 8, -32, 0, -8, 34, -8, -16, 0, 336, -20, 28, 0, 0, -4, -4, 12, 68, 0, 4, 0, 2, 328, 0, -12, 24, -12, 0, 0, 8, -24, -4, 24, 0, -64, 12, 0, 340, 0, 16, -20, 48, -4, 0, -16, 6, 0, 48, 0, 12, 24, -24, -16, 0, 336, 12, 68, -12, 0, 76, -20, 24, 68, 0, -68, 112, -28, 120, 0, -24, 0, 50, 12, 0, -60, -20, -8, -12, 0, 12, 0, 2, -68, 0, -28, 32, 60, -20, 0, -36, -4, -112, -28, 0, 340, 112, -32, -20, 0, 0, -44, 98, -8, 0, -24, -88, -40, 76, 0, -4, 72, 0, -84, 0, -4, -4, 20, 344, 0, -32, 14, 8, -132, 0, -28, 120, 12, 72, 0, -36, 32, 48, 8, 0, 88, 2, 56, 64, 0, 68, -40, -4, 400, 0, 4, 52, 4, 32, 0, 232, -8, 52, 88, 0, -132, 52, -28, 100, 0, 0, 28, -196, -16, 0, -88, 58, -12, 12, 0, 324, 20, 8, -4, 0, -24, -52, 152, -8, 0, 76, 16, 32, -36, 0, 44, 4, -8, 6, 0, -12, -72, -40, -68, 0, -56, 76, 8, 100, 0, 96, -48, -112, -132, 0, -4, -4, -4, 0, 0, 128, -24, -104, 12, 0, 56, 66, -2, -304, 0, -112, -72, -132, 0, 0, -88, 8, 32, 16, 0, 192, 108, 32, -52, 0, -32, 132, -32, -88, 0, -28, -32, -180, -28, 0, 40, -32, -64, 92, 0, 84, 120, -40, -8, 0, 68, 32, -144, 132, 0, -268, -16, 34, 308, 0, 32, 120, 84, 16, 0, 228, -8, 52, 56, 0, -92, 108, 16, 116, 0, -16, 140, -88, -84, 0, -8, 44, 116, -240, 0, -24, 156, -32, 16, 0, 10, 108, 40, 336, 0, 24, -52, -44, -72, 0, -48, 184, -20, 44, 0, -28, -48, -134, -36, 0, 16, 28, 60, 232, 0, 124, 32, -56, -112, 0, 0, 176, 92, -96, 0, 108, 0, -204, 112, 0, 236, 60, 46, -184, 0, 92, -116, 152, -4, 0, 80, -132, -164, -240, 0, 240, -24, -4, 52, 0, -116, -68, 36, 64, 0, 12, 12, 120, -76, 0, -48, 14, 40, -100, 0, 68, 60, -324, 4, 0, -156, 28, -44, -164, 0, 256, 4, 4, -204, 0, 4, 72, -80, 4, 0, 224, -60, -192, 88, 0, 72, 32, 0, -4, 0, -88, -52, 0, 44, 0, 16, 2, -160, 296, 0, 96, 104, 4, 108, 0, 328, 424, -8, 36, 0, 116, -56, -48, -60, 0, 176, 352, 24, 116, 0, 40, -124, -124, -12, 0, -80, 56, -96, 252, 0, 244, 112, 24, -84, 0, -72, -232, -80, 104, 0, 224, -12, 236, -360, 0, -192, -32, -56, 244, 0, 0, 68, 412, -52, 0, -136, 76, 104, -44, 0, -12, -44, 80, -100, 0, 88, -76, 52, 8, 0, -136, -46, -20, -4, 0, -224, 198, -24, 76, 0, -188, -148, -36, 0, 0, -292, -4, 44, -532, 0, 144, 208, -116, 556, 0, 24, 216, 196, 88, 0, 184, -104, -56, -92, 0, -60, -188, -76, 48, 0, 120, -56, 68, -64, 0, 360, 0, -152, 136, 0, -428, 68, 12, -88, 0, 48, 188, -152, -128, 0, 108, 0, -32, -76, 0, 84, -12, -40, -208, 0, 340, -56, -62, 56, 0, -128, 96, 56, -332, 0, -84, -28, 42, -44, 0, -32, -160, 28, 16, 0, -104, -56, 64, 128, 0, 12, -96, -20, -100, 0, 56, -44, -188, -24, 0, -24, 48, 120, 44, 0, 520, 124, 8, -156, 0, -4, -172, -64, -180, 0, -392, 20, -80, 16, 0, -12, 80, -4, 308, 0, 72, -44, -272, -16, 0, -36, -8, 32, 472, 0, 156, -240, 6, 96, 0, -20, -88, -4, 12, 0, 4, 0, 8, 160, 0, -276, 84, -32, 76, 0, 48, -72, -356, 20, 0, -180, 152, -72, 64, 0, 296, 120, -28, 228, 0, 28, -4, 4, 12, 0, 280, -12, 308, -28, 0, 24, 16, 24, 36, 0, -136, -16, 8, 48, 0, 68, -24, -256, 252, 0, -196, 96, 96, 124, 0, -16, 260, 16, -72, 0, 572, 104, 164, -96, 0, 36, -98, 4, -632, 0, -148, 40, 52, 336, 0, -212, -76, 128, -528, 0, 276, -32, 12, 28, 0, -244, 336, -184, 136, 0, 120, 68, 268, 0, 0, -144, -436, 28, -88, 0, -12, 168, -320, -80, 0, 24, -80, -136, -300, 0, -556, -56, 242, -60, 0, -56, -84, -4, 76, 0, 272, -96, -92, 52, 0, -112, -200, -20, 68, 0, 88, -56, 160, 60, 0, 52, 24, 144, 140, 0, 108, 152, 172, -300, 0, 68, 252, -96, -124, 0, -104, -72, -196, 436, 0, 76, 264, -72, 228, 0, -176, -248, -360, -68, 0, 84, 64, 104, 264, 0, 168, 128, 112, -168, 0, -88, 28, 84, -196, 0, -260, -28, 260, 256, 0, 168, -96, 8, 352, 0, 120, 64, -24, -44, 0, 0, 28, 96, -84, 0, 18, 24, 280, 24, 0, 80, -96, 48, -24, 0, 184, 50, -96, 408, 0, -100, -16, 0, -208, 0, -252, -24, -208, 64, 0, 48, 50, -88, 140, 0, 8, -40, 200, 216, 0, 12, 12, -216, -32, 0, 320, -124, 160, -296, 0, -48, -272, -8, 84, 0, -36, -204, 116, -60, 0, 600, -80, 8, -272, 0, -616, 92, -20, -200, 0, -64, -188, 48, -116, 0, 192, -8, 548, 36, 0, -72, -488, -40, -208, 0, -12, -60, -592, -72, 0, -256, -92, 168, -288, 0, -508, -32, 32, -296, 0, -68, 48, 100, 12, 0, -268, -160, 172, -304, 0, 168, -396, 0, -368, 0, 8, -264, 126, 24, 0, -56, 2, -96, -424, 0, -280, 392, 192, -88, 0, -68, 12, -152, -96, 0, -412, 84, -108, -112, 0, -112, -332, -56, -520, 0, -172, 24, 268, -28, 0, -408, 144, 96, -332, 0, -520, -204, 32, -180, 0, -200, 96, -68, -4, 0, -172, 60, 4, -76, 0, -188, -320, 116, 48, 0, -20, 48, 140, -116, 0, 216, 76, 64, -136, 0, 20, -256, -204, -260, 0, -40, 32, 128, -36, 0, -580, -44, -136, -288, 0, -160, -496, -4, -324, 0, -88, -136, -206, 16, 0, -148, -112, -240, 20, 0, 96, -440, -88, -116, 0, -28, -532, 456, -104, 0, 24, 112, -252, 276, 0, -96, -192, 150, -100, 0, -24, -116, -348, 340, 0, -24, 184, -188, -412, 0, 196, 88, 112, 204, 0, 56, 128, 284, -236, 0, -168, -32, 256, -96, 0, 0, -200, 88, -264, 0, -20, -164, -392, -272, 0, -408, 280, -48, 708, 0, -540, -256, 232, -92, 0, 40, -196, 136, 0, 0, 12, -172, -84, 180, 0, 12, -76, -44, -428, 0, 8, 292, -424, -32, 0, 232, 98, 12, -528, 0, 216, -44, 60, 284, 0, -8, 204, 104, -132, 0, 224, 148, 112, -156, 0, -156, -252, -40, -220, 0, -52, -12, -216, -24, 0, -156, 336, 300, 440, 0, 184, 96, -88, 360, 0, -8, 124, -348, -148, 0, -240, -40, 220, 80, 0, -176, -484, -4, -32, 0, 76, 120, 0, -52, 0, 164, 240, -148, 364, 0, -224, 124, 272, 456, 0, -24, -132, 112, -4, 0, 420, 28, 460, 96, 0, 72, 112, 72, -520, 0, 52, -232, -504, 272, 0, -112, 0, 292, -164, 0, -648, -104, 208, 272, 0, -84, 296, 332, 24, 0, -796, -16, -484, -168, 0, -476, -32, 116, 272, 0, -452, -72, 116, -4, 0, 112, -24, 336, -648, 0, 80, 300, -4, 156, 0, -308, 380, 176, 30, 0, -732, 20, 884, -20, 0, -40, -212, 16, 296, 0, 344, -340, 8, -216, 0, -148, 172, 224, 104, 0, -156, -68, -252, -164, 0, 272, -492, 284, -32, 0, -760, -136, -368, 296, 0, 164, -356, 14, -292, 0, -152, 216, 92, 216, 0, 360, 8, 132, -48, 0, 336, 468, -92, 48, 0, -132, -156, 96, 60, 0, 388, 56, -172, -240, 0, 292, -702, -16, -924, 0, -392, -40, -296, -28, 0, -68, 96, 472, -392, 0, 416, -88, 120, 20, 0, 28, 332, 228, -344, 0, 632, 12, -40, 232, 0, 36, -68, 228, -144, 0, 72, 272, 396, -112, 0, 0, -40, 192, 220, 0, 88, -192, -96, -168, 0, -36, 432, -432, -36, 0, -428, -64, -152, 156, 0, 352, -12, 32, 88, 0, -80, 296, -24, 204, 0, -432, 48, 312, 16, 0, -408, -316, -252, 220, 0, 8, -248, 192, -176, 0, 564, -152, -188, 356, 0, -24, 192, -200, 204, 0, 248, -240, 480, 88, 0, -200, 74, 64, -236, 0, -360, -312, 2, -4, 0, -200, -76, -104, 176, 0, -120, 56, -404, -120, 0, 240, 920, -32, 560, 0, 64, -452, -80, 0, 0, 164, 44, -328, -528, 0, -64, -112, -396, -128, 0, 268, 40, 200, 68, 0, -732, -68, -16, -84, 0, -96, -328, -40, 64, 0, -8, -48, -140, 100, 0, 260, -4, -40, 412, 0, 296, -100, 68, 160, 0, 400, 756, -108, -548, 0, 192, -48, -160, -232, 0, -4, 248, -88, 88, 0, 260, 72, 68, 4, 0, 128, -148, -324, 220, 0, -304, 92, 52, 180, 0, -16, 216, -108, 164, 0, -220, 4, 712, 292, 0, -244, 160, 100, -336, 0, 32, 240, 186, -64, 0, 624, -132, -584, 188, 0, -204, 68, 144, -20, 0, 112, -384, 100, 232, 0, -284, 94, -236, -256, 0, 244, -672, -8, -804, 0, -80, -260, -452, 348, 0, 172, 52, 176, -252, 0, 16, -128, -120, -72, 0, 88, 308, -36, 156, 0, -312, -260, 184, -192, 0, -8, -24, -124, -592, 0, 116, -24, 28, -132, 0, 824, 28, 200, -136, 0, -280, 164, 52, 304, 0, 48, -112, 432, -272, 0, 60, -28, 384, 52, 0, 272, -312, 24, 44, 0, 100, 100, -660, -24, 0, -300, 188, 36, 368, 0, -264, -124, -92, -300, 0, 100, -640, 264, 0, 0, 60, -208, -588, 1024, 0, -64, 662, 28, -84, 0, 36, 424, 368, 192, 0, -28, -196, 168, -32, 0, -1052, 132, -276, 520, 0, -16, 236, 112, 32, 0, -264, 40, -724, 628, 0, 376, 0, 24, -124, 0, 4, -112, -268, -88, 0, -372, 8, -72, 68, 0, -404, 208, 58, -348, 0, -200, -248, 172, -388, 0, 384, -12, -312, 512, 0, -512, 48, 16, 464, 0, 12, 232, 848, 48, 0, 252, -216, -4, 108, 0, -128, 216, 72, 428, 0, -352, -36, 288, 324, 0, -188, -32, 892, -384, 0, 204, -672, 20, 140, 0, -260, 72, 896, 192, 0, -40, 8, 36, -808, 0, 640, 172, -28, -420, 0, -4, -64, -400, -208, 0, -632, 164, -32, 392, 0, -104, 112, -4, -352, 0, -260, 52, 576, -24, 0, 164, 96, 64, -48, 0, -324, -168, -52, 40, 0, -276, -216, 324, -60, 0, -120, 152, -264, 200, 0, 656, -616, -88, 576, 0, -8, 272, 480, 100, 0, 288, -156, -672, -444, 0, -44, -120, 112, 392, 0, -128, -920, -12, 76, 0, 216, -140, 72, 440, 0, 280, 452, 16, 452, 0, -192, 120, -324, -176, 0, 796, 32, -40, -1072, 0, -880, 108, -220, 340, 0, -36, -52, -236, -332, 0, -664, 196, -368, -124, 0, -224, 792, -60, -576, 0, 88, -160, 252, 44, 0, -108, 4, 376, -132, 0, -268, -48, 4, -284, 0, -140, 548, 404, -144, 0, -692, -8, 160, 300, 0, -324, 458, 112, -1188, 0, 6, 40, -188, 24, 0, 504, 8, 184, -332, 0, -404, 316, -48, 276, 0, 48, -284, -16, -12, 0, 136, 176, -324, -412, 0, 588, 408, -72, -140, 0, -296, 208, 88, 192, 0, -196, -40, -272, 284, 0, -860, 264, 80, 192, 0, -68, -632, 404, -288, 0, -912, -192, -928, -652, 0, -300, -96, -260, 276, 0, -308, 376, -472, -56, 0, -536, 80, 288, -160, 0, -456, 436, 76, 248, 0, 408, -324, -360, 52, 0, -760, 8, -4, 92, 0, -216, 180, 24, -1208, 0, 100, -112, -336, -284, 0, 184, -156, -300, -440, 0, -32, 184, -98, -148, 0, 332, -372, 0, 96, 0, -1368, -176, -692, 312, 0, -132, 788, -48, -848, 0, 80, 256, 178, -272, 0, 1088, -112, 136, -336, 0, -228, 308, -304, 312, 0, -132, -84, 220, -324, 0, -1268, 140, 4, -76, 0, -428, -444, -80, -580, 0, -228, -704, -628, -4, 0, 464, -8, -8, -1696, 0, 1048, 128, -4, 64, 0, 136, 228, 720, 340, 0, -1692, -4, 500, 384, 0, 56, -196, 100, -200, 0, 0, -48, 488, -96, 0, 328, -432, -120, -1196, 0, 636, 344, -420, 196, 0, -96, -352, -120, 128, 0, -556, 44, 192, -300, 0, 28, 272, -24, -928, 0, 168, -352, 1084, 180, 0, -444, -104, 328, 424, 0, 392, -512, -220, 540, 0, 12, -300, 320, 128, 0, 844, 56, -680, 192, 0, 104, 312, -200, -64, 0, -428, -56, -664, 56, 0, -240, -124, 280, -256, 0, -520, 636, 66, -36, 0, 52, -20, 16, -128, 0, -548, -2, -212, -804, 0, -56, -324, -108, -348, 0, -304, 232, 16, -268, 0, 472, -140, 40, 124, 0, -784, 384, -240, 524, 0, -280, -608, -300, -112, 0, 28, 52, -532, 80, 0, 248, 248, -72, -684, 0, 496, -104, -336, 68, 0, -960, -132, -64, 620, 0, -1028, -20, -220, -132, 0, 0, -376, -272, -280, 0, -888, -20, -196, -80, 0, -60, -612, -164, -416, 0, -88, 196, -256, -88, 0, -516, -248, -336, -296, 0, -1648, 256, 8, 68, 0, -152, -28, -668, 36, 0, -4, 32, 272, 208, 0, 648, -496, -52, 684, 0, 16, -176, -472, -180, 0, 296, -148, 184, 168, 0, -240, 268, -48, -620, 0, 40, -236, 288, 192, 0, 552, -124, -404, -96, 0, 820, -142, 108, 552, 0, 84, 424, 4, -176, 0, 512, 32, -80, -680, 0, 392, -360, 196, -344, 0, -52, 1208, 516, 388, 0, -920, -252, -32, 724, 0, -596, -376, 128, -316, 0, -92, 144, -444, -32, 0, -56, 250, -96, 0, 0, -384, -872, 132, 36, 0, 80, 612, -628, 316, 0, 276, -32, -420, -416, 0, -172, 8, 464, 152, 0, -88, -84, -552, 68, 0, 312, -236, 376, 268, 0, -164, -504, -312, -32, 0, 380, -568, 288, -28, 0, -832, 160, 656, 344, 0, 456, 420, -32, 232, 0, 260, 280, -104, 376, 0, 8, -180, -272, 500, 0, 316, 324, 104, -336, 0, -28, 600, -280, -24, 0, 308, 56, 164, -36, 0, 764, 500, 104, -188, 0, -32, -160, 504, 40, 0, 364, 32, 816, 356, 0, 456, -344, -32, -24, 0, 148, 240, 164, 52, 0, -356, -64, 276, -176, 0, 36, 752, 292, 1312, 0, 92, -284, 472, -152, 0, 536, 244, -44, 584, 0, -272, 152, -104, 416, 0, -32, -328, -504, 84, 0, 952, 252, -856, 728, 0, 272, -264, 120, 568, 0, 196, -136, -800, 192, 0, 12, -40, 32, -1220, 0, 952, -104, -204, -456, 0, -8, -424, -484, 16, 0, 828, -364, 144, 752, 0, -228, 344, 130, 464, 0, 372, 40, 616, 68, 0, 184, -76, 768, 568, 0, 604, -96, 32, 580, 0, 184, 232, -696, 156, 0, -8, -144, 608, -268, 0, -552, 496, -72, -284, 0, 132, -512, 224, -32, 0, 468, 28, 48, -648, 0, -80, 56, -24, 436, 0, -68, -452, -80, -268, 0, 992, -152, -636, 228, 0, -680, 288, -16, 664, 0, -240, 16, -536, -64, 0, 488, 34, -412, 576, 0, 648, -196, 36, -48, 0, 308, 396, -136, 80, 0, 348, 224, -448, 132, 0, -120, -196, -72, 816, 0, 116, 52, 256, 32, 0, -40, 48, -84, 372, 0, 328, -48, 120, -624, 0, 0, 696, 708, -288, 0, 1320, 84, 208, 232, 0, 688, -416, -276, -252, 0, 16, -320, 744, 436, 0, -68, -420, -76, 88, 0, -68, -136, -176, -76, 0, -64, -108, -536, 228, 0, 96, -272, -872, -728, 0, 952, -1004, -8, 1160, 0, 592, -136, 1288, 168, 0, -144, 52, -408, -156, 0, 992, 156, 404, -592, 0, 56, 240, -276, 220, 0, -460, -56, -28, 24, 0, 600, 184, 264, 328, 0, -560, -356, 1088, -92, 0, 492, -172, 296, 1112, 0, -88, -476, 108, 1044, 0, -260, -364, -336, 440, 0, -288, 16, -124, 668, 0, -332, -640, 88, 176, 0, 116, -24, 546, -56, 0, -300, -348, 8, 1120, 0, -1276, -16, -156, -120, 0, -220, 252, 124, -16, 0, 788, 108, -256, -272, 0, 384, 532, 140, -804, 0, 256, -72, 1136, 56, 0, -40, -88, 152, -692, 0, 1264, -180, -200, -124, 0, -84, -28, 128, -648, 0, -668, 356, -856, 980, 0, 288, -316, -280, 728, 0, -20, 280, -1484, -8, 0, 360, -168, -140, 72, 0, 996, 152, 44, 624, 0, -400, 260, 280, -352, 0, -556, 116, 568, -52, 0, -816, 468, 164, -68, 0, -240, -92, 968, 216, 0, 436, 200, 280, 532, 0, -640, 244, 312, -544, 0, 200, -1156, -596, -24, 0, 988, 104, 1100, 264, 0, 628, -472, 156, -456, 0, -448, 52, 1008, 336, 0, -1708, -32, -304, 1052, 0, 300, -280, 72, 500, 0, 16, 368, 540, 544, 0, -1316, 88, 304, 864, 0, -468, 1088, 222, -276, 0, -400, -400, 558, 10, 0, 576, 116, 436, 984, 0, -1192, -92, 108, 36, 0, 144, -364, -252, -136, 0, 848, 40, 1580, -476, 0, 520, -144, -416, 1084, 0, 336, -488, 276, -520, 0, 816, -240, -592, -652, 0, 528, -200, -380, 184, 0, 308, 200, 156, 24, 0, -60, -48, 376, 568, 0, 640, 1272, -52, 1436, 0, 328, -248, -80, -176, 0, 392, -44, -296, -1456, 0, 1268, -348, 180, -652, 0, -72, 332, -568, -296, 0, -684, -28, 544, -460, 0, -240, -496, -12, -516, 0, -272, -328, 104, -48, 0, 196, 520, 408, 108, 0, -68, -96, 184, -992, 0, 244, 692, 808, -8, 0, 28, -20, 712, -404, 0]