# Trace form for 4025.2.a, downloaded from the LMFDB on 19 April 2024.
[0, 210, 0, -4, 212, 0, -10, 0, -6, 206, 0, 0, -2, 16, 0, 0, 232, 4, 22, -12, 0, 4, 4, -6, 36, 0, -2, -28, 0, -8, 0, -8, -12, -24, -52, 0, 258, 24, 56, 24, 0, -48, 20, 8, 44, 0, 4, 24, 14, 210, 0, -24, 22, 16, -26, 0, 0, -4, 42, -60, 0, 4, 34, 0, 262, 0, 52, 4, 36, 0, 0, 64, 106, 8, -20, 0, -76, 0, -22, 4, 0, 146, -26, -8, 16, 0, -24, 4, 24, -4, 0, 12, -12, -44, 50, 0, 54, 8, 0, 24, 0, -100, 8, 12, -76, 0, 60, 20, -62, -60, 0, 44, 32, -20, -24, 0, 82, 92, -32, 28, 0, 218, -120, 16, -38, 0, 24, -40, -24, -24, 0, -24, -20, -8, 96, 0, -92, -40, -6, -4, 0, 116, 38, -48, 278, 0, -114, -4, 24, -16, 0, 40, 172, -4, 24, 0, 146, 100, -200, 60, 0, 8, 152, -88, -262, 0, 72, -8, 20, 306, 0, 0, 176, 44, -50, 0, 92, -88, -12, 120, 0, 68, 28, 168, -6, 0, 58, 28, 2, 52, 0, -44, 48, 32, -104, 0, 212, 48, -80, 24, 0, -172, 136, 24, -104, 0, 92, -18, -94, -160, 0, 56, -152, -60, 104, 0, -20, -4, -60, 56, 0, -136, -104, -20, 40, 0, -116, -24, -12, -96, 0, -20, 52, 0, -260, 0, -268, 52, -40, 80, 0, -164, 32, 52, -184, 0, -374, 84, -32, -232, 0, 92, 72, -8, 78, 0, 172, -16, -264, 32, 0, -116, 2, 104, -312, 0, 16, 64, 92, -64, 0, 44, -140, -32, -480, 0, -78, 120, -158, 148, 0, -152, 70, 24, 114, 0, -20, -4, 102, 46, 0, 20, -102, 64, -10, 0, 208, -288, 52, -8, 0, 16, 78, 96, 56, 0, -164, -128, 72, 164, 0, -12, 76, -104, 124, 0, -276, -36, 104, -56, 0, -260, -4, -56, 340, 0, -10, -24, 12, -52, 0, 88, 72, 4, -260, 0, 28, -8, 6, 16, 0, 88, 216, 0, -40, 0, 152, -48, -130, 104, 0, 0, -60, -48, 44, 0, 308, -40, -182, -12, 0, 338, 152, -20, 56, 0, 260, 24, -24, -260, 0, 24, 102, 36, 4, 0, -256, -4, 60, 100, 0, 148, -24, -60, 106, 0, 218, 128, -108, 36, 0, 0, -6, -220, -142, 0, 312, -16, 12, 24, 0, -308, -88, 88, -40, 0, 32, 128, 152, -216, 0, -108, 96, -16, 14, 0, 62, -132, -192, 120, 0, -100, 184, -100, 248, 0, -130, 40, -28, 144, 0, 108, 34, 36, -52, 0, -68, 12, -90, 36, 0, 206, -224, -112, -60, 0, -376, -156, 16, -172, 0, 24, -164, 84, -96, 0, -588, -60, 272, -88, 0, 176, -60, -72, -322, 0, -26, -128, 376, 72, 0, 72, -120, 160, -168, 0, 100, 44, -242, 92, 0, -260, -192, -8, -28, 0, -372, -8, -132, 20, 0, -24, 54, 112, 264, 0, -46, -16, -216, -64, 0, 368, -148, -116, 24, 0, 68, -92, 6, 104, 0, 28, -198, 124, -346, 0, -456, 40, -8, 232, 0, -276, 72, 124, 142, 0, 244, -112, 356, 210, 0, -32, 0, -60, -360, 0, 188, -308, -78, 0, 0, -112, 0, -8, -4, 0, 40, 136, 156, 260, 0, -20, -12, -32, -302, 0, 210, 72, 372, 136, 0, -176, -56, 68, 314, 0, 316, 16, 100, -96, 0, -60, -28, 132, 12, 0, 390, 64, 72, 104, 0, 56, 36, 24, 68, 0, -272, -20, -2, 204, 0, 104, -60, -252, 52, 0, -344, 56, -54, 96, 0, 192, -40, 8, 178, 0, -136, 120, 36, 68, 0, 120, 228, 304, -484, 0, 112, -56, -212, 236, 0, 0, -82, -36, -210, 0, -272, -64, 212, 32, 0, 128, -228, 152, 104, 0, -508, 16, 100, -80, 0, 68, 88, 308, 24, 0, 440, 112, 354, 128, 0, 56, -170, 208, -232, 0, -246, -124, 20, 52, 0, 24, -150, 168, -56, 0, -508, 0, -224, 400, 0, 60, 0, 80, 184, 0, 466, -80, -264, 56, 0, 304, -60, -192, -864, 0, 0, 52, 144, -36, 0, 64, -88, 32, 144, 0, 396, 136, -6, 188, 0, 176, -114, 112, -56, 0, -598, 0, -456, 100, 0, 296, -228, 24, -32, 0, 14, 36, -144, -120, 0, 88, -240, 72, 208, 0, -522, -84, 12, -262, 0, 112, -28, 84, -272, 0, 32, -120, -144, 232, 0, 276, -88, 184, -388, 0, -248, 72, 52, -16, 0, 328, 50, 108, 26, 0, -208, 172, -100, -28, 0, -272, 98, 24, -44, 0, 196, -176, -210, -8, 0, -328, -14, 24, -232, 0, -280, 64, 300, 156, 0, 152, 52, -232, 232, 0, -394, 16, -174, -184, 0, 16, -224, 240, -278, 0, 20, -64, -24, 144, 0, -308, 448, -200, -164, 0, -374, 104, 12, -236, 0, -280, 40, 136, -40, 0, 88, -56, 178, -56, 0, 100, -44, -96, -100, 0, 152, -32, -114, 228, 0, -100, 52, 4, -270, 0, -128, 4, -320, 180, 0, 154, 76, 108, 304, 0, -120, -16, -124, 288, 0, 32, -114, 44, -180, 0, 428, 208, -4, 276, 0, 0, 396, -8, -66, 0, -472, -104, 72, -272, 0, 268, -68, 188, 16, 0, 106, 52, 74, -404, 0, -376, 22, 160, -784, 0, 278, -68, -68, 56, 0, -64, 12, 196, 200, 0, 192, -40, -40, -28, 0, -424, 100, 56, -228, 0, 286, -140, -24, -140, 0, -104, -144, 24, 324, 0, -108, 116, -248, 316, 0, -424, 66, 24, -180, 0, -88, -48, -50, -304, 0, -12, 190, -196, 124, 0, -1180, 0, -16, 92, 0, 56, 32, 24, -484, 0, -320, -192, -60, -236, 0, -36, -176, -60, 124, 0, -346, 152, 276, 64, 0, 574, 0, -336, -712, 0, 12, -32, 114, -184, 0, 172, -180, 44, -526, 0, -400, -128, -246, -724, 0, -324, -70, -180, -620, 0, 136, 96, 100, 24, 0, -256, 258, -20, 88, 0, -584, 124, 86, 692, 0, 88, 128, 32, 304, 0, 136, -88, 80, -152, 0, -220, -28, 112, -156, 0, -604, 76, -302, -340, 0, -144, -84, -56, 496, 0, 376, 276, -434, 4, 0, 168, -448, 120, -156, 0, 160, 256, -36, -288, 0, -168, -140, -72, -368, 0, 516, 16, -64, -304, 0, 328, -36, 168, 272, 0, -1244, 72, 0, 232, 0, 48, 284, -324, 128, 0, 286, 28, 344, -132, 0, -64, -264, 132, 830, 0, -110, 332, 4, 72, 0, 32, 50, -260, 428, 0, -436, 104, 92, 310, 0, 224, 16, 264, 122, 0, -680, 132, -308, -12, 0, 376, -384, -40, -234, 0, 88, -208, 298, 100, 0, 88, -44, 176, 344, 0, 960, 108, -392, -600, 0, -80, 360, -144, -748, 0, -564, -6, 160, -152, 0, -272, -300, 24, -16, 0, -306, -20, 36, 84, 0, 64, -108, -144, 440, 0, -624, -116, -80, -292, 0, -36, -298, -48, -366, 0, -156, 48, -322, 104, 0, -208, 8, -112, 152, 0, 416, -64, 318, 104, 0, -132, 28, 24, 62, 0, 36, -280, 496, -84, 0, 300, 22, 104, -320, 0, -8, -12, -964, -420, 0, 224, 168, 116, 12, 0, -38, 72, 112, 120, 0, 64, -14, 0, 144, 0, 64, -392, -76, -228, 0, -8, -340, 200, 492, 0, -348, 136, -268, 40, 0, 392, 106, -188, 348, 0, 344, 328, -256, -80, 0, -528, 208, -148, 188, 0, 744, -32, -244, -16, 0, -184, 134, -392, -210, 0, 48, 32, -174, 188, 0, -736, 100, 56, -560, 0, -132, -352, 368, -364, 0, -204, 64, 344, 16, 0, 244, 52, 224, 836, 0, 472, -92, 104, -2, 0, 420, -240, 236, 276, 0, 48, -228, -48, -84, 0, -480, 168, -12, 208, 0, 136, -64, -212, 382, 0, -220, -64, -128, -744, 0, -784, -208, -380, 796, 0, 58, -68, -200, 120, 0, 100, -86, 152, -1004, 0, -336, -252, 140, -328, 0, -64, 212, -28, -310, 0, 920, -56, 232, -484, 0, -480, -380, 48, -30, 0, -744, -96, -280, 196, 0, 316, -84, -268, -188, 0, -314, -396, 412, -60, 0, 32, 174, 0, 876, 0, 264, -80, 60, -376, 0, -192, -136, 76, 332, 0, 78, 140, 216, 294, 0, -376, 0, -40, 756, 0, 440, -540, 152, -32, 0, -56, -4, 32, -168, 0, 192, 172, -656, 64, 0, -20, -18, -136, -392, 0, 922, 224, -210, -372, 0, 128, -72, 4, 378, 0, -560, -116, 292, -152, 0, -128, 114, -108, -16, 0, 856, 496, 188, -176, 0, -8, -520, 388, 1164, 0, -266, -124, -128, 32, 0, 636, -636, -28, 566, 0, 140, -572, 212, -80, 0, -152, -40, 84, 244, 0, -92, 196, 356, 24, 0, -88, 1102, 236, 320, 0, -268, -380, 376, -508, 0, -28, 16, 80, -80, 0, 676, 216, 200, 152, 0, 152, 42, 12, 320, 0, -104, 16, 82, 232, 0, 404, 304, -532, 40, 0, 216, 12, -78, 44, 0, 76, 184, 196, 104, 0, -1572, -68, 184, 152, 0, 40, 80, 540, -314, 0, -836, -48, 322, 492, 0, 400, -100, -296, -800, 0, 344, -180, 128, -8, 0, 802, 10, -148, -710, 0, 288, 32, 468, 480, 0, 416, 88, 88, 100, 0, -300, 92, 556, -540, 0, 12, 202, -64, 300, 0, 1024, -40, -184, 480, 0, -656, 152, 212, -496, 0, 332, -204, -112, 488, 0, 80, 572, -544, -40, 0, -1130, -44, -12, 492, 0, 96, 6, 152, 0, 0, -364, 88, -4, 356, 0, 224, 160, 136, 320, 0, 492, -4, 390, 80, 0, -32, -64, -16, 132, 0, -40, -176, 40, 840, 0, 52, -372, -92, -1472, 0, 164, 116, -316, -592, 0, 184, -26, -204, 318, 0, 624, -24, 48, 128, 0, 288, 74, 484, 384, 0, -476, -120, 584, -140, 0, -88, 680, -48, 576, 0, -66, -248, 240, 632, 0, 156, -328, -44, 192, 0, 406, 384, 356, -360, 0, -424, -128, 100, 768, 0, -6, -24, 328, -68, 0, -96, 778, -68, 126, 0, -52, -108, -318, 612, 0, 1124, -256, -88, 46, 0, -16, -192, 404, -96, 0, 386, 414, 484, -124, 0, 708, -76, 352, 1004, 0, 96, 72, 180, 64, 0, 808, -420, -244, 528, 0, 280, -12, -104, -692, 0, 768, -92, -88, 308, 0, 644, 472, 12, 202, 0, 68, 80, 14, -24, 0, -176, 280, -292, 288, 0, 298, 156, -40, 0, 0, 360, -472, -48, -1066, 0, -388, 28, -120, -276, 0, -288, 768, -80, 628, 0, 524, 88, -12, -392, 0, 200, 364, 96, 736, 0, -442, -128, -324, 116, 0, -180, -32, 368, 258, 0, -184, 844, -424, -504, 0, 16, -230, -44, -210, 0, -240, -216, 48, -624, 0, 132, 668, -208, -1044, 0, 288, 424, 140, -4, 0, -152, 160, -104, -42, 0, 136, -240, -398, -100, 0, -52, 1112, -416, 76, 0, 88, 336, 20, -76, 0, -736, -298, 24, -752, 0, -192, -92, 396, 248, 0, 464, -220, -148, -708, 0, 872, -48, -12, 488, 0, -300, 272, 316, 220, 0, -448, -480, -260, -124, 0, 104, 160, 232, 1058, 0, 38, 268, -276, 218, 0, 828, -112, -312, 1064, 0, -628, 228, 126, 304, 0, -268, 56, -6, -284, 0, 770, 36, -716, 304, 0, 368, 768, -152, -852, 0, 336, -156, -460, 396, 0, -184, -400, -44, 328, 0, -22, 464, -176, -468, 0, 96, 584, -328, -542, 0, 324, -24, -638, 728, 0, 316, -200, -296, 20, 0, -728, -108, -428, 24, 0, 24, -524, -60, 196, 0, 648, -676, 200, -848, 0, -592, 398, -216, -180, 0, -816, -272, -508, 300, 0, -48, -20, 256, 290, 0, -560, 132, 192, -16, 0, 212, -8, 116, -924, 0, -220, 344, 22, 516, 0, 352, 304, 56, 396, 0, -334, -80, 12, 88, 0, -504, -316, -88, 990, 0, -80, 40, -706, -984, 0, -280, -144, 552, -24, 0, 1460, -76, 80, 36, 0, -224, 168, 524, -964, 0, 258, 164, 128, -616, 0, 476, -976, -668, 416, 0, 46, -20, 272, -604, 0, -112, 96, -448, -512, 0, 776, 192, -476, -48, 0, 420, -396, 8, 792, 0, 368, 0, 36, 132, 0, -512, 636, -136, 120, 0, -1306, -352, -900, -272, 0, -1116, 174, -56, 124, 0, 1166, 224, 168, -144, 0, -712, -166, -336, -480, 0, 844, 48, 132, -300, 0, 48, 252, -204, 984, 0, 20, -204, 20, 280, 0, 36, -456, -104, -64, 0, 64, -412, 196, -280, 0, -264, 8, 200, -168, 0, 412, 220, 678, 160, 0, -284, -152, 32, -308, 0, 232, 176, 124, -1436, 0, 680, 48, -20, -1698, 0, 1018, -60, 408, -372, 0, 440, -198, -164, 168, 0, -14, 8, -592, 752, 0, -736, 544, -324, -16, 0, 212, -428, 1046, 360, 0, -264, -514, -104, -20, 0, 744, 840, 136, -944, 0, -428, 542, 380, -84, 0, -456, -456, -452, 84, 0, -360, -316, -40, 572, 0, -536, 144, -766, 136, 0, 1000, -1116, -68, 648, 0, 44, -32, -120, 880, 0, -508, -102, -128, 598, 0, 182, 328, 696, -1388, 0, -264, -204, 20, 202, 0, 396, -68, 718, 232, 0, 420, -728, -88, -8, 0, 594, -16, 174, 32, 0, -132, -16, -616, -1136, 0, -1556, -52, -80, 816, 0, 28, 272, -160, 1228, 0, -612, 152, -70, 510, 0, 152, 88, -36, -878, 0, 340, 172, -388, -40, 0, 280, 992, 912, -586, 0, -24, -40, 236, 1336, 0, -16, 208, -16, 232, 0, -608, -120, -828, 336, 0, -592, -120, -188, 600, 0, 28, 24, -96, 304, 0, 576, -320, 88, 4, 0, 1234, 416, 314, -528, 0, 224, -510, -48, 936, 0, 496, 84, 344, 8, 0, 808, 110, -20, -620, 0, -40, 64, 212, -152, 0, 280, -72, 336, -256, 0, 1048, 192, -396, 200, 0, 364, 660, -208, 840, 0, 332, 476, -164, 332, 0, -416, -304, 24, -942, 0, -22, 356, 186, -492, 0, -104, 62, 300, -128, 0, 794, 56, -112, 140, 0, -840, -448, 52, 192, 0, -696, -216, -220, -1056, 0, -72, 120, -184, 1552, 0, 302, -764, -112, -272, 0, -520, -632, 904, 48, 0, 32, 240, 598, -48, 0, -200, 14, 16, -280, 0, 340, -588, -412, -40, 0, -16, -128, -328, 218, 0, -176, 744, -480, 20, 0, 920, -304, 184, 368, 0, -512, -48, -382, -536, 0, 92, -646, 176, -452, 0, 548, 12, 68, 132, 0, -628, 52, -4, 216, 0, 888, 72, -176, 912, 0, 210, 100, 1072, 26, 0, -76, -152, -88, -632, 0, -516, 1360, -52, 1296, 0, 998, -152, -574, -48, 0, 428, 56, 352, -1088, 0, 992, 504, 368, -112, 0, 736, -72, 164, -1208, 0, 0, 360, -12, -608, 0, -344, 432, 164, 1566, 0, -46, 184, -756, -124, 0, -536, 452, 272, 1334, 0, -444, -280, 584, 384, 0, -4, -164, 308, 552, 0, -1380, 624, -144, 420, 0, 28, 412, 120, 1554, 0, 1360, 200, 0, 360, 0, 136, 312, 116, -186, 0, -912, -104, -228, -452, 0, 436, -28, 660, -432, 0, -448, -128, 56, -24, 0, -616, -480, -344, -696, 0, -80, -52, 384, -652, 0, 964, 564, 40, -352, 0, 192, -212, 164, -620, 0, 160, 316, -404, 696, 0, 1672, 128, -468, 340, 0, 280, 64, -48, -80, 0, -428, 112, -206, 212, 0, -124, 386, -344, -2152, 0, -848, 144, 22, 124, 0, 572, 512, 132, 598, 0, -324, 56, 56, -184, 0, -612, -240, 232, -172, 0, -410, 416, 732, -80, 0, -392, 636, -296, -1472, 0, 56, -284, -106, 160, 0, -680, -170, -56, 696, 0, 108, -168, -206, 532, 0, 532, -100, 156, 314, 0, 0, 16, -228, 12, 0, -582, -306, 80, -504, 0, -900, 736, 134, 152, 0, 24, 742, -116, -1328, 0, -1544, 128, 176, -28, 0, 264, -88, 432, 140, 0, -24, -108, -1232, 8, 0, 484, -148, 252, -262, 0, -376, 676, -244, -252, 0, 284, -520, -316, 848, 0, -26, -120, -172, 248, 0, 628, 256, -56, -362, 0, -472, 88, -250, 924, 0, -1004, -1064, 556, 732, 0, 48, 108, 6, 32, 0, 264, -272, -976, 40, 0, 808, 556, 364, 684, 0, 296, -1196, -204, -588, 0, 988, 116, -20, -284, 0, -140, 414, -36, 1108, 0, 616, 452, 368, -440, 0, -460, 248, -280, 298, 0, 100, -220, -784, -136, 0, 128, -1152, -412, -16, 0, 392, -672, 36, 568, 0, 548, -358, 216, 1280, 0, -502, 416, -112, 744, 0, 636, -186, -408, -448, 0, -776, -8, 152, -8, 0, -108, -440, -496, 0, 0, -746, 92, -432, 248, 0, 40, 280, 120, -628, 0, -556, 332, -56, 432, 0, 168, -258, -124, 608, 0, -146, -72, -584, 356, 0, -24, -8, -272, 144, 0, 20, 160, 1264, 156, 0, 372, -928, -30, 538, 0, 56, 328, 912, -792, 0, 84, -484, -4, -468, 0, 526, -700, -480, -232, 0, 72, 564, 292, 68, 0, -68, -160, -244, -178, 0, 340, -136, -532, 68, 0, -548, -436, -70, 328, 0, -168, -56, -68, -1044, 0, -372, -112, -328, -320, 0, 368, -1048, -96, 128, 0, 516, 792, -440, 464, 0, 84, 42, -76, -336, 0, 1196, -272, -172, -64, 0, 736, 54, -420, 530, 0, -568, 184, -282, -408, 0, -360, 800, 236, -722, 0, 64, -232, 1102, 940, 0, 384, -900, 204, 180, 0, 1072, 144, 434, 432, 0, 552, -564, 784, 448, 0, -1616, -248, 114, 68, 0, -60, -156, -448, -96, 0, -760, -96, -20, 528, 0, -644, 32, 100, 316, 0, 296, -136, 300, -1032, 0, -544, -440, -428, -26, 0, -772, 488, -460, -256, 0, 88, -246, 136, -1160, 0, -480, -656, 252, -344, 0, -404, 868, -184, -832, 0, -1040, -232, 352, 516, 0, 192, -4, 88, 124, 0, -14, -184, -552, -1196, 0, -424, 140, -496, -448, 0, 382, -816, 1000, 576, 0, 16, 520, -24, 1612, 0, 228, 0, -24, -132, 0, 500, 464, 8, 516, 0, -1454, 196, 172, 72, 0, -848, -156, -88, -76, 0, 400, -60, 456, 4, 0, 64, -340, 316, 598, 0, 240, 24, -610, -156, 0]