# Trace form for 1025.2.a, downloaded from the LMFDB on 15 May 2024.
[0, 64, 2, 0, 64, 0, -6, 2, 6, 60, 0, -6, 8, 12, 4, 0, 64, 8, 6, 4, 0, 20, 4, -8, -38, 0, -28, -18, -2, 4, 0, 0, 14, -16, -56, 0, 28, 20, -34, -8, 0, -4, 28, 4, -14, 0, 24, 8, -4, 76, 0, -28, 32, 8, -22, 0, 8, -8, -36, -20, 0, 8, -28, 40, 52, 0, -28, 22, 20, 16, 0, -20, 54, -16, 20, 0, 20, 4, -72, -4, 0, 32, 2, -12, 16, 0, 16, -36, 28, 28, 0, 28, -20, 0, 14, 0, -14, -4, -22, -32, 0, -72, 48, -24, -116, 0, 36, -28, 14, 12, 0, -18, -34, -4, -28, 0, 32, 12, 4, -60, 0, 64, -20, 4, 0, 0, -66, -28, 30, -56, 0, -40, -24, 44, -60, 0, -88, -64, 64, 56, 0, -92, -38, -36, 56, 0, -12, 34, 16, -4, 0, 12, -54, 40, -28, 0, -28, 68, -22, 56, 0, 68, 14, 52, -12, 0, 20, 42, 4, 108, 0, -6, -20, -4, -72, 0, -6, -96, 36, 14, 0, 40, -32, 40, 8, 0, -64, -16, -44, 12, 0, 18, -76, 64, -28, 0, 72, -16, -90, 34, 0, 28, 40, -4, -92, 0, 12, -84, -12, 0, 0, 14, 64, 60, -36, 0, -206, 36, 36, 106, 0, 28, 102, 32, 44, 0, -16, -16, -36, -60, 0, 94, -100, 12, -44, 0, -100, 100, -40, -20, 0, -40, 122, -104, -68, 0, -6, 76, 72, -92, 0, -36, 12, 12, -104, 0, -104, 36, -72, 78, 0, -28, -64, -24, -144, 0, -180, -40, 18, -56, 0, 4, -36, 64, -40, 0, -32, 80, -72, 144, 0, -52, -64, -44, -36, 0, -280, 14, -146, 20, 0, 112, -152, 36, -36, 0, 116, -72, 20, -152, 0, 80, -18, -68, -72, 0, -60, 16, 32, 56, 0, 102, -36, 4, 108, 0, -168, -56, -44, -48, 0, -8, -8, -68, -76, 0, -48, 48, 6, 60, 0, -138, -56, 64, -36, 0, -52, -12, 58, -202, 0, -144, -172, -2, 56, 0, -32, -96, 4, 88, 0, 132, 172, 44, -48, 0, 152, -164, 88, -8, 0, 68, 152, 22, 152, 0, 232, -8, 48, -12, 0, -84, 168, 68, 232, 0, 30, 48, 32, 144, 0, -100, -96, 58, 130, 0, 240, 12, 36, -100, 0, 32, -26, -100, 4, 0, -24, -108, 64, 30, 0, -4, 8, -160, -148, 0, 228, 62, -16, -100, 0, 64, -148, 8, 244, 0, -200, 4, 84, 108, 0, 24, 244, 226, 304, 0, 48, 16, 68, 28, 0, 132, 214, -4, -216, 0, -20, -120, 26, 250, 0, 84, 88, 8, -10, 0, 204, 220, 10, -104, 0, -10, 76, -80, -190, 0, -12, 32, -176, -180, 0, 24, 278, -16, 232, 0, -72, -12, -148, 188, 0, 252, -256, -24, 308, 0, 292, -4, 46, 6, 0, 0, 228, -100, 176, 0, -82, -8, -164, -24, 0, 160, 24, -36, 356, 0, 112, -164, 32, -44, 0, -236, -152, -36, -414, 0, 92, 84, 44, -164, 0, 146, 98, -28, -64, 0, 88, -136, 146, 320, 0, -152, -76, -44, -172, 0, 114, 132, 48, -256, 0, -72, 76, 0, -148, 0, -24, -300, 0, -28, 0, -36, -120, 12, -444, 0, -132, -52, -144, -112, 0, -56, -108, -16, 468, 0, 68, 140, -56, -12, 0, -268, -168, -18, -564, 0, 108, 328, 74, -32, 0, 18, 76, -52, -28, 0, -60, 52, -78, 0, 0, -120, 84, -76, 148, 0, -152, -86, 6, -8, 0, -152, -88, 64, -124, 0, 112, -68, -84, 268, 0, 176, -124, 244, 348, 0, 264, -56, -46, -136, 0, -172, 144, 16, 68, 0, 248, -72, -76, 204, 0, -64, 128, -132, -128, 0, 36, 166, 88, -68, 0, 204, 194, 120, 80, 0, 272, 112, 56, -114, 0, -248, -264, 18, -80, 0, -208, 132, 102, 32, 0, 144, 256, -96, 68, 0, -12, 112, 196, -12, 0, -44, -24, -28, -84, 0, 188, 276, -86, -80, 0, 180, -120, -44, 56, 0, 60, -128, -174, 212, 0, 28, -44, 44, 494, 0, -26, 148, -112, -224, 0, 72, -76, -40, 150, 0, -300, 12, -128, 268, 0, -88, -364, 30, 90, 0, -20, -100, -108, 16, 0, -14, -152, 48, 164, 0, -86, -8, 236, -104, 0, 168, -26, -124, 564, 0, -4, -4, -44, -132, 0, 248, 36, -24, -120, 0, 300, 88, -30, -168, 0, -36, -184, 260, -296, 0, -248, -52, 84, -60, 0, -10, -316, -144, -140, 0, -432, 12, 96, 216, 0, 48, 384, 132, 54, 0, 300, -196, -12, -64, 0, 32, 296, -160, 20, 0, -68, -36, 40, -24, 0, 24, 220, 104, 344, 0, 240, -20, 108, 80, 0, -186, -206, 92, -204, 0, 118, -100, 54, -8, 0, -144, -116, -106, 328, 0, -16, -76, 116, -68, 0, -76, -40, -156, -58, 0, -476, 112, -48, -64, 0, -180, -300, 164, 48, 0, -116, 138, -28, 16, 0, 14, 292, 156, 160, 0, -388, 124, 120, -26, 0, -140, 88, -36, -106, 0, 80, -256, 72, -56, 0, 192, 188, -4, -548, 0, 136, 92, 128, 336, 0, 0, 180, -36, -494, 0, -4, -8, -80, 28, 0, 92, 240, 28, 280, 0, -58, -96, 40, 80, 0, -96, -586, -136, -184, 0, 8, -2, 38, 152, 0, 88, 248, -84, 12, 0, -252, -68, -88, -248, 0, -152, 32, 36, 148, 0, -64, -128, -132, -300, 0, 108, -132, -188, -312, 0, 16, 128, 328, -150, 0, 72, 8, 48, -562, 0, -18, -176, 72, -140, 0, 30, -232, -172, 164, 0, -340, 100, -76, 8, 0, -328, 164, 4, -8, 0, 276, -68, 84, -212, 0, 332, -12, 28, -436, 0, 452, -176, 144, 260, 0, 176, -260, -148, 288, 0, -416, 150, -126, -344, 0, -120, -276, -108, 12, 0, -132, 144, 176, -264, 0, -156, -44, -124, -58, 0, -244, 162, 184, 112, 0, -180, 164, -4, 64, 0, 244, -128, 30, 56, 0, -292, -120, -92, -268, 0, -238, -152, -192, -120, 0, -174, -144, 72, 162, 0, -220, -160, -16, 76, 0, -240, 54, 80, -452, 0, 144, -136, -232, 316, 0, 26, 72, -140, 292, 0, 126, -8, -216, 58, 0, -16, 60, -220, 496, 0, 232, 26, 20, -184, 0, 200, -264, 176, 324, 0, -32, 232, 190, -594, 0, 52, 468, 28, -512, 0, 32, 36, 300, -184, 0, -108, 26, 40, 340, 0, -336, 376, -262, 8, 0, 44, -172, 42, 96, 0, -244, -208, 8, 72, 0, -152, -32, 136, 502, 0, -244, 260, -204, -44, 0, 204, -144, 16, -476, 0, 244, 34, -176, 252, 0, -140, -488, 156, -20, 0, 508, -68, 48, -272, 0, -352, -140, -96, -516, 0, -88, 208, 360, -200, 0, -40, -76, 24, 310, 0, -20, 44, -172, -180, 0, 252, 64, 24, -780, 0, 472, 196, -14, 136, 0, -308, -402, 56, 284, 0, 136, -188, 76, -156, 0, -556, -204, -154, 540, 0, 48, -92, -28, -76, 0, -132, 328, 204, 92, 0, -60, -144, 184, -52, 0, -48, 356, -66, 548, 0, -152, -4, 12, 16, 0, 584, 260, 104, 564, 0, 180, 240, -68, -52, 0, 44, -120, 142, 232, 0, 174, 68, 274, 296, 0, 204, -208, -148, 100, 0, 204, -296, 60, -348, 0, -12, -220, -162, 220, 0, 660, 54, 24, -124, 0, -392, -288, 48, 132, 0, 228, -52, -56, 156, 0, -396, 556, 134, 734, 0, -292, 20, 164, -140, 0, -88, 280, 32, -366, 0, 36, -380, 28, 22, 0, -176, 252, -92, -68, 0, -360, 256, -124, -148, 0, -32, 332, -80, -412, 0, 240, 16, -168, 4, 0, -196, 360, 116, 264, 0, 236, -44, -120, -340, 0, -200, -436, -156, -236, 0, -8, 16, 176, -172, 0, 296, 476, 44, 288, 0, -212, -112, -84, -260, 0, -108, 34, 220, -268, 0, 660, -364, -70, -54, 0, 88, -140, -410, -594, 0, 652, -70, 200, -44, 0, -426, 156, 4, 328, 0, -320, -192, 136, 84, 0, -72, -28, -8, -556, 0, -808, -28, 152, -16, 0, -24, 162, -20, 20, 0, -458, -348, 184, 78, 0, 124, -24, -12, -416, 0, 166, -232, 224, 200, 0, 204, -114, -184, 392, 0, 424, 312, -112, 96, 0, -36, -118, -82, -388, 0, 16, 354, -192, 344, 0, 484, -16, -152, -56, 0, 60, 248, 204, 408, 0, -80, 16, 52, 476, 0, 262, -430, -8, 88, 0, 208, 140, -72, -408, 0, -140, 68, -144, -312, 0, -388, -308, 36, 624, 0, 20, 4, -72, -88, 0, 408, 160, -40, -176, 0, 212, -68, -322, 204, 0, -248, 284, -92, 412, 0, -44, 342, -116, 548, 0, 172, 126, -4, 118, 0, -232, 136, 130, -228, 0, 528, -236, 170, 1340, 0, 380, 116, -124, -236, 0, 88, 352, -8, 44, 0, 8, 72, 196, -68, 0, -92, 228, 38, -536, 0, 276, 324, -164, 312, 0, -370, -152, 168, 432, 0, 324, -268, -64, 572, 0, -36, -148, 68, -258, 0, 352, 340, -4, 452, 0, -102, -260, -60, 272, 0, 756, 32, -428, 500, 0, -172, -268, -74, 76, 0, -704, -152, -212, -264, 0, 82, 106, -80, -156, 0, 678, 112, 108, -530, 0, 176, -48, -144, 516, 0, -40, -92, -212, -148, 0, 242, 108, -76, -984, 0, -424, 144, -50, -188, 0, 96, -260, 300, 64, 0, -164, 4, 14, -396, 0, -12, -236, -12, 12, 0, -44, -136, 148, 496, 0, 236, 314, 100, 148, 0, -284, -272, -108, -732, 0, 512, 284, -244, -16, 0, -506, -84, 24, -60, 0, 112, 624, 204, 632, 0, -146, 100, -8, -52, 0, 16, -220, 308, -124, 0, -736, -140, -56, -416, 0, 376, -100, 122, 560, 0, 736, 44, -114, 384, 0, -48, -100, -116, -380, 0, -632, 80, 56, 216, 0, -100, -324, -152, 412, 0, 770, 52, 40, -140, 0, 120, 352, 168, 80, 0, 556, 56, -208, 334, 0, 344, 214, 156, -400, 0, -1040, -110, -100, 192, 0, -208, 236, 192, -388, 0, 196, 512, 0, 44, 0, 64, 114, -32, -144, 0, 484, 92, -84, -20, 0, 140, 682, 64, -274, 0, -56, -228, -280, 56, 0, 208, -368, 160, 360, 0, 392, 94, 4, 464, 0, 300, 476, 132, -372, 0, 476, -104, -336, 412, 0, 8, 60, 180, 96, 0, -264, -380, 10, 500, 0, -388, -116, -36, 70, 0, -704, -204, 304, 206, 0, 304, 24, 148, -256, 0, -160, -196, 172, 604, 0, 68, -74, -212, -272, 0, 82, 300, 464, -360, 0, 224, -8, 16, -1340, 0, 758, -324, -44, -200, 0, 20, -276, 12, -472, 0, 782, -232, 52, -280, 0, -4, -210, -128, 364, 0, -420, 196, 164, 268, 0, 392, -190, 20, 28, 0, -192, 332, 60, -144, 0, -292, 232, -328, -102, 0, -924, 40, -12, 252, 0, 320, -124, 24, 316, 0, -250, 32, -156, -280, 0, 340, -128, 316, -112, 0, -156, -144, -88, 596, 0, 220, -332, -44, -492, 0, -228, -100, 144, 22, 0, -188, -36, 16, 464, 0, 164, -100, -322, 24, 0, -312, -60, -212, -32, 0, -52, 72, -248, 286, 0, 68, 212, -192, -136, 0, -1160, 110, 192, 112, 0, 282, -428, 176, 60, 0, 128, 128, -180, -40, 0, 52, 304, -232, 1052, 0, -12, 160, 64, -480, 0, -96, 116, 420, -172, 0, 296, 296, -352, 600, 0, 448, -308, 144, -20, 0, -80, -400, 20, -364, 0, -512, 6, 312, 204, 0, -422, 428, -88, 424, 0, 4, -158, -16, -664, 0, -248, 24, 104, 108, 0, -88, -196, 44, -916, 0, -228, -112, -292, -70, 0, -48, -278, -36, -322, 0, 116, 244, 424, 4, 0, -200, -72, -236, -320, 0, 1064, 12, -160, 244, 0, -440, 116, 164, 548, 0, -456, 64, -48, -100, 0, 252, -276, 172, -198, 0, 532, -152, 208, -146, 0, 412, -234, 70, -16, 0, 408, -218, -16, 108, 0, -56, 236, 332, -720, 0, -104, -144, 292, 56, 0, -372, 340, -170, -772, 0, -36, -88, -208, -32, 0, 144, 244, 368, -280, 0, -366, 200, 320, 168, 0, 124, -190, 234, 328, 0, -244, 248, 4, -124, 0, 158, -64, 8, 136, 0, -748, -344, 22, 592, 0, -220, 28, -318, 314, 0, -408, 40, -110, -464, 0, -464, -276, 40, 364, 0, -12, -40, 260, 96, 0, 640, 216, 238, 196, 0, -232, -64, -120, 356, 0, 140, 54, -92, -504, 0, 368, -172, 188, -8, 0, -308, 156, -100, -812, 0, -904, 32, 140, -480, 0, -8, 320, -248, 398, 0, -172, -16, -204, 372, 0, -356, 18, -138, -186, 0, -468, 196, 236, 220, 0, 200, -364, -220, 544, 0, -852, 36, -98, 516, 0, -252, 204, 192, -4, 0, 46, -292, -136, -180, 0, 336, 20, 368, 116, 0, 76, -300, -356, -408, 0, 440, -260, -306, -200, 0, -24, 290, -28, -448, 0, -542, -140, -60, -300, 0, -580, -172, -100, -204, 0, 0, -228, -200, -508, 0, 436, -32, 96, -840, 0, 696, 160, 0, 52, 0, -248, -180, -218, -22, 0, -172, -68, 32, -260, 0, 348, -396, 400, 780, 0, 452, -304, -276, -300, 0, -640, 72, -500, 192, 0, -304, -348, -46, -532, 0, -664, 306, -16, 360, 0, -438, -96, -200, 170, 0, 1108, 140, -76, 4, 0, -500, 176, 152, -312, 0, 36, -348, -24, 624, 0, -236, -40, -152, 728, 0, -168, 12, 24, -108, 0, 96, -108, 54, -1096, 0, -372, 40, -116, -360, 0, 172, -42, 160, -468, 0, -536, 48, -692, 76, 0, 544, 328, -92, -24, 0, -696, 52, -80, -92, 0, -256, 90, -132, -496, 0, 404, 332, 96, -456, 0, 168, -532, -26, -382, 0, -120, -120, 464, -92, 0, -480, 440, 76, -624, 0, -24, -220, 396, -166, 0, 44, 130, -14, -48, 0, -104, 704, -284, -296, 0, 212, -178, 32, -488, 0, -768, -172, 312, -124, 0, -176, -140, 20, -136, 0, -336, 148, -132, -4, 0, -18, -356, -108, -360, 0, -408, -20, -440, -440, 0, 224, -316, -102, -928, 0, 56, -128, 174, -528, 0, 180, -58, -188, -308, 0, -280, 88, 304, 910, 0, -84, -236, -176, 632, 0, 276, -18, -264, -80, 0, -392, 196, 368, 24, 0, -844, 196, -28, 32, 0, -296, -388, 56, 248, 0, -408, -100, 48, -148, 0, -376, -76, -240, 220, 0, 508, 276, 360, 328, 0, 660, 380, 464, 376, 0, 338, -144, 328, -420, 0, 208, 376, -136, 664, 0, 932, 116, 108, -12, 0, 172, 376, -84, 964, 0, -56, -256, -12, 276, 0, -128, 34, 400, 28, 0, 500, -40, 336, -208, 0, -296, -200, 162, -504, 0, -360, -186, -40, 292, 0, -36, -152, -48, -278, 0, 1020, 284, -44, -124, 0, -72, -228, 398, 400, 0, -368, 70, -104, 368, 0, 538, 208, 68, 560, 0, -68, 144, 236, 270, 0, 388, 88, -272, -452, 0, 262, -314, -84, 932, 0, 360, 188, 156, -364, 0, -52, 380, -268, -380, 0, -40, 688, -52, 128, 0, 140, -48, 94, -424, 0, 212, 376, 12, 1320, 0, -848, -68, -304, 280, 0, 440, -256, -116, 876, 0, 1040, 148, 470, -364, 0, 82, 232, -76, 152, 0, -420, -8, -312, 322, 0, 628, 64, 328, 1476, 0, 228, -272, -88, 376, 0, 176, -132, -284, -536, 0, 690, -176, 156, 36, 0, 20, 28, 48, -196, 0, 434, 0, 64, 768, 0, -238, -42, -68, 64, 0, 204, -104, 308, -56, 0, -520, 156, 32, -388, 0, 564, -8, 316, 312, 0, -168, -102, -72, -332, 0, -304, -444, 488, -120, 0, 20, -4, -296, 1136, 0, 252, 46, -24, 232, 0, -456, -64, -280, -1284, 0, 940, 116, -84, 132, 0, 228, -128, 20, -76, 0, -348, 118, 84, 116, 0, -340, 120, 264, 212, 0, 240, -112, 12, -564, 0, -384, 104, -128, -344, 0, 818, -80, -100, 496, 0, 124, -304, 16, 1016, 0, -4, -88, -100, -118, 0, -420, -38, 136, 216, 0, 472, -200, -64, 308, 0, 538, 214, -192, -520, 0, 68, 104, -364, -326, 0, 600, 52, -200, 1032, 0, 244, -80, 200, -88, 0, -1024, -236, 208, -48, 0, -376, 76, -92, 160, 0, 20, 320, 320, 660, 0, 176, -136, 292, -88, 0, -380, 166, 300, -420, 0, 364, -112, -520, 172, 0, 652, -256, 412, -16, 0, -212, -444, -96, -184, 0, -172, -140, 204, 566, 0, 126, 308, 126, -1040, 0, 632, -188, 84, 774, 0, -536, 26, -448, 12, 0, -868, 44, -116, 1136, 0, -340, -44, -52, 244, 0, -492, 116, -512, 860, 0, 638, 184, 80, 336, 0, -496, 52, -244, 470, 0, 546, -108, -176, 216, 0, 936, 208, -52, -1224, 0, 852, 196, -28, -196, 0, 128, -12, 52, -696, 0, -428, 160, 24, 272, 0, 116, -36, -32, -920, 0, -864, -374, 376, 160, 0, 316, 170, 56, 414, 0, 986, -116, 144, -68, 0, 356, 240, 52, -248, 0, -828, -260, -88, -4, 0, 136, 432, 400, 768, 0, 476, 484, 212, 244, 0, -404, 156, 356, -818, 0, -346, 240, -348, -80, 0, -420, -36, 52, 304, 0, 548, -220, -120, -682, 0, -188, -164, -438, -370, 0, -684, 76, -80, 208, 0, -436, -132, -12, -236, 0, -276, -128, 256, -140, 0, 292, 416, 356, -268, 0, -1044, -48, -230, -476, 0, -776, 84, -208, -56, 0, 580, 4, -68, -200, 0, 676, 188, 12, -696, 0, 512, 20, 176, 484, 0, -40, -32, -584, -512, 0, 364, 28, -426, -120, 0, 560, 376, 170, 628, 0, -498, -164, -356, 648, 0, 236, -272, -64, -1196, 0, 1032, 40, -176, -122, 0, -472, 376, 80, 500, 0, -520, -192, -244, -416, 0, 380, 58, 36, 20, 0, -580, -324, -148, -356, 0, 328, -128, 58, -200, 0, 276, -132, 112, -468, 0, 574, 136, -16, -1146, 0, -772, 4, 620, -408, 0, 724, -190, 48, -812, 0, -1000, 332, 164, 512, 0, -752, 136, 32, 508, 0, 1116, -472, -336, -228, 0]