# Trace form for 3025.2.a, downloaded from the LMFDB on 25 April 2024.
[0, 159, 1, -2, 147, 0, 2, -6, 3, 133, 0, 0, -12, -2, 4, 0, 123, 12, 11, -8, 0, 6, 0, 14, 16, 0, -4, -2, -8, 6, 0, -2, 7, 0, 40, 0, 123, -2, 8, -24, 0, 2, 56, -14, 0, 0, 30, -4, 24, 59, 0, 2, 14, -4, 6, 0, -20, 0, -12, 18, 0, 6, -22, -16, 63, 0, 0, -14, 14, 46, 0, 18, 39, 10, -24, 0, 8, 0, 40, -22, 0, 95, 16, -22, 64, 0, 68, 32, 0, 54, 0, -88, 0, -46, -64, 0, -4, -30, -7, 0, 0, -44, 24, -56, 32, 0, -34, 34, 12, -48, 0, -86, -4, 38, -48, 0, 6, -54, 2, 20, 0, 0, 10, 8, -60, 0, 76, 44, -13, -34, 0, 18, 0, -16, 10, 0, -56, 76, 14, 18, 0, -16, 46, 0, 75, 0, -26, -30, 8, -32, 0, 46, 116, 26, 0, 0, -8, 32, 80, 52, 0, -26, 9, -16, -98, 0, -72, -32, 76, -53, 0, 72, -28, -28, -208, 0, 0, -42, -56, 70, 0, -58, 16, 52, 32, 0, 42, 0, 36, -42, 0, 70, 64, -30, -20, 0, -129, -16, 0, 52, 0, -22, 86, 68, 32, 0, -44, 44, -42, 0, 0, -12, -84, -66, -160, 0, 68, -14, -176, 24, 0, 6, 54, -34, -144, 0, -64, 26, 0, -58, 0, 0, -152, 46, -16, 0, -112, 10, -40, 18, 0, -70, 0, -108, 2, 0, -92, -60, 24, 158, 0, -30, -12, 0, -108, 0, 67, 12, -88, 10, 0, 18, -20, 50, 0, 0, 36, -82, -56, -84, 0, -8, 26, 20, 20, 0, 88, 16, -164, 136, 0, 96, 0, 28, -96, 0, 0, 24, -61, -93, 0, -58, 2, 10, -34, 0, -102, 0, 16, 148, 0, -60, -160, -66, -156, 0, -188, -16, 0, -8, 0, 112, 148, -6, -44, 0, 28, 84, -92, 0, 0, 34, -92, -152, 3, 0, -40, 22, 132, 160, 0, 10, -20, 128, 16, 0, -32, -40, -57, 190, 0, 0, -88, 60, 28, 0, 54, 12, 0, 28, 0, -48, 0, 134, -58, 0, 64, 120, 58, -76, 0, -57, 28, 0, -184, 0, -348, -166, -56, 26, 0, 48, -160, 24, 0, 0, 28, 18, 172, -214, 0, -176, -10, -74, -112, 0, -168, -60, -164, 18, 0, 6, 3, 82, -16, 0, 0, -8, 16, -352, 0, -12, -94, 12, -202, 0, 312, 0, 68, -68, 0, -126, -100, 6, 20, 0, 176, -10, 0, 4, 0, -152, -156, 152, 110, 0, 18, -208, 60, 0, 0, -150, 228, -90, -72, 0, 18, -16, -20, -60, 0, -119, 12, 94, -280, 0, -190, 42, 44, -130, 0, 0, 16, -2, 456, 0, 16, -54, -28, 114, 0, -6, 0, -178, -102, 0, 232, -162, 30, -34, 0, -94, -20, 0, 64, 0, 284, 180, 8, 40, 0, -260, 78, -34, 0, 0, -28, -14, 254, 132, 0, 128, -80, 210, 168, 0, 168, 6, -60, 12, 0, -80, 82, -54, -184, 0, 0, 2, -12, 44, 0, 24, -97, 0, 102, 0, -100, 0, -104, 2, 0, 96, 148, -40, 108, 0, 380, -62, 0, -99, 0, 56, -128, 106, -6, 0, 60, -6, 6, 0, 0, 26, 88, 34, 244, 0, 352, -48, 74, -122, 0, -16, 48, -12, -260, 0, 84, 56, 52, -92, 0, 0, 182, 52, 308, 0, -116, -6, 8, 6, 0, -80, 0, 86, 140, 0, -561, 150, 123, -252, 0, 40, -30, 0, 134, 0, 368, 148, -8, -28, 0, 62, -100, 90, 0, 0, 194, 12, 192, 160, 0, 40, 0, 12, 328, 0, 304, -34, 152, 220, 0, -92, 146, 18, 324, 0, 0, 156, -80, -54, 0, 350, -48, -22, 268, 0, -116, 0, 174, -6, 0, 102, -56, -12, 144, 0, 388, -2, 0, -96, 0, 98, -128, -14, 92, 0, 52, 122, -21, 0, 0, -70, -144, 168, 44, 0, -230, -90, 180, -46, 0, 22, -34, 204, 148, 0, 78, 56, -124, 174, 0, 0, 408, -20, -576, 0, -353, -40, -126, -142, 0, 286, 0, -148, 92, 0, 44, -246, -16, -60, 0, -194, -102, 0, 40, 0, -952, 162, -372, -100, 0, 100, -372, 8, 0, 0, 44, 72, -320, 172, 0, -116, -74, 58, -140, 0, -456, 94, -112, -94, 0, 164, -3, 8, -364, 0, 0, 266, 32, 31, 0, -24, 8, 22, 206, 0, 20, 0, -348, 14, 0, 272, 272, 24, -268, 0, -94, -36, 0, 252, 0, 282, -384, 130, 216, 0, -344, 108, 102, 0, 0, -6, 236, -212, -80, 0, 114, 92, -128, 134, 0, -308, 42, 194, 316, 0, -78, -58, 96, 100, 0, 0, 228, 64, -289, 0, -648, 24, -38, 118, 0, -330, 0, -64, -202, 0, 416, 168, 0, 212, 0, 332, -22, 0, -444, 0, 48, 204, 254, 126, 0, -94, 68, -36, 0, 0, 172, -144, -20, -332, 0, 152, 34, -114, -204, 0, 108, -52, -336, -162, 0, 6, 22, -60, 96, 0, 0, -126, -124, 114, 0, -237, -50, -46, -208, 0, -228, 0, -196, 204, 0, -190, -348, -32, -300, 0, -288, -34, 0, -370, 0, 352, -124, -224, 44, 0, 272, -226, -28, 0, 0, -4, -200, -116, 292, 0, -140, -82, -480, 248, 0, 118, -21, -176, -150, 0, -14, 54, 112, 32, 0, 0, -120, 48, 628, 0, -40, -60, 8, -156, 0, -76, 0, 168, -178, 0, -400, -300, 148, 106, 0, 76, 0, 0, 44, 0, -152, 128, -20, -102, 0, 136, 252, 68, 0, 0, -250, -88, -228, 8, 0, -188, -22, 220, -302, 0, -100, 62, 252, -126, 0, -120, 98, 16, 100, 0, 0, -146, -44, -444, 0, 186, -64, 104, -314, 0, 336, 0, 312, 106, 0, -223, 314, -52, -6, 0, -276, -20, 0, -220, 0, -466, -176, -96, 154, 0, 10, -286, -104, 0, 0, -34, 256, 118, -292, 0, -96, 48, 72, 78, 0, -224, 16, -326, 108, 0, 24, -40, -52, -438, 0, 0, -260, 14, 84, 0, 168, 8, -76, 176, 0, 166, 0, 236, -22, 0, -360, -232, -52, -86, 0, -190, 16, 0, -477, 0, 180, -84, 352, 48, 0, -92, -216, -58, 0, 0, -296, 176, -248, 150, 0, 200, 60, -264, 234, 0, 336, -126, 348, -186, 0, -2, -80, 14, 264, 0, 0, -140, 7, -10, 0, 330, 48, 64, 240, 0, -124, 0, -168, -210, 0, 48, -140, 44, 258, 0, -56, 84, 0, 268, 0, 424, -30, -134, -284, 0, -114, 296, -14, 0, 0, 34, 116, 220, 200, 0, 406, -52, 286, -202, 0, 402, -24, -210, 416, 0, 40, -40, 10, 202, 0, 0, -412, 52, 310, 0, -96, 26, 56, -138, 0, -60, 0, -228, 162, 0, 120, 146, -48, -52, 0, 216, 152, 0, 660, 0, -408, -414, 402, -26, 0, -12, -204, 36, 0, 0, 374, -202, 448, 254, 0, 10, -41, 280, 420, 0, -117, 32, -284, -228, 0, 98, 0, -38, -284, 0, 0, 178, -54, 608, 0, -250, 30, 62, 192, 0, 176, 0, 380, -180, 0, 208, 544, -50, 354, 0, 356, -52, 0, 130, 0, -184, 604, -358, 4, 0, 140, 88, -72, 0, 0, -8, -220, 24, -556, 0, -464, 118, -308, -160, 0, 24, -36, 40, 128, 0, 72, -28, -32, 376, 0, 0, 412, 18, -1496, 0, 372, 126, -16, -234, 0, 294, 0, 366, 22, 0, 508, -12, 6, -58, 0, 220, 42, 0, 524, 0, -260, -272, 36, 18, 0, -124, 528, 14, 0, 0, -450, -312, 218, 318, 0, -328, 26, -32, -100, 0, -224, -54, 46, 484, 0, 92, -144, 64, 148, 0, 0, -16, 124, 126, 0, 148, 160, -68, 84, 0, -62, 0, 84, -18, 0, 308, -344, 82, -442, 0, -757, 78, 0, 398, 0, -42, 572, -94, -204, 0, -260, -92, 44, 0, 0, -148, 612, 112, -262, 0, 380, -40, 504, 6, 0, -298, 24, 134, 160, 0, 76, -104, -8, -334, 0, 0, 428, -74, -232, 0, 176, -2, 118, 44, 0, -194, 0, -52, -132, 0, -158, 262, -122, 360, 0, 224, 29, 0, 392, 0, 1088, -158, 436, -112, 0, 6, 432, -104, 0, 0, 348, 412, -56, -779, 0, 152, 80, -274, -326, 0, -72, 60, 350, 96, 0, -46, -150, -140, 54, 0, 0, -80, 144, 338, 0, 0, 96, -64, -112, 0, -298, 0, -336, 328, 0, 138, 92, 12, -356, 0, -84, 82, 0, -430, 0, 272, 532, 178, -260, 0, 300, -102, 108, 0, 0, 294, -572, -158, -244, 0, -310, 92, -264, 8, 0, 428, 28, -24, -784, 0, -272, -20, 2, 312, 0, 0, -716, -108, 379, 0, 504, 24, 122, 124, 0, -52, 0, -386, 102, 0, -308, 72, -139, 180, 0, -330, -96, 0, -748, 0, -116, -124, -440, 132, 0, 362, -172, -56, 0, 0, 106, -308, -568, 432, 0, -326, 0, 10, -384, 0, 616, 14, -100, 96, 0, -78, 74, -66, -464, 0, 0, -532, 32, -82, 0, -428, 30, -12, -172, 0, 502, 0, -86, 138, 0, -338, -284, -50, 466, 0, -576, -52, 0, -50, 0, -647, 408, -58, 36, 0, 200, 614, -40, 0, 0, 148, -540, -356, 556, 0, -96, -52, 88, -140, 0, 130, 44, 228, -472, 0, -130, 48, -24, -94, 0, 0, -440, -90, 360, 0, -112, -50, -8, -108, 0, 66, 0, 210, 32, 0, -168, 244, -41, -224, 0, 208, 100, 0, -472, 0, 76, -276, -544, -86, 0, -354, -124, 158, 0, 0, -144, 516, 116, -716, 0, 382, 80, -234, 200, 0, -896, 58, -36, 12, 0, -20, -150, 10, -440, 0, 0, -118, -176, -548, 0, 136, 72, -28, -248, 0, -166, 0, 226, -208, 0, -352, -72, 8, 636, 0, 28, 142, 0, 336, 0, 380, -296, 194, -168, 0, -262, -222, -32, 0, 0, 220, 330, 220, -180, 0, 426, 188, -256, -266, 0, 312, -68, 204, -96, 0, 28, -124, -16, -80, 0, 0, -664, 80, 668, 0, 896, 72, 44, 8, 0, -298, 0, -128, 242, 0, 704, -276, 26, -248, 0, -413, 15, 0, 608, 0, 412, 112, -704, 72, 0, 228, 964, -60, 0, 0, 210, -356, 260, 528, 0, 168, 46, 340, 576, 0, 540, -32, -32, 508, 0, 276, -72, 220, 438, 0, 0, -244, 130, 752, 0, 148, 128, -22, 264, 0, 128, 0, -92, -280, 0, 34, 288, 12, 542, 0, 364, 30, 0, 364, 0, -730, -108, 580, -86, 0, 94, -394, 16, 0, 0, -248, -656, 288, 496, 0, -480, -2, 584, 44, 0, 276, 108, -260, -933, 0, 332, 0, -84, -340, 0, 0, 284, -82, -396, 0, 40, 70, 24, -320, 0, 268, 0, 374, 228, 0, 668, 310, -44, -120, 0, 268, 20, 0, -352, 0, -224, 376, -8, -172, 0, -22, -366, -194, 0, 0, -336, -172, 236, -466, 0, -156, 188, -390, -156, 0, 196, 42, 162, 552, 0, 46, -64, -124, 240, 0, 0, 572, 34, 314, 0, 278, 2, 32, -36, 0, 236, 0, 396, -32, 0, 32, -560, -40, -318, 0, 252, -24, 0, -9, 0, 648, -588, -130, 28, 0, -246, 354, 66, 0, 0, -236, 200, 682, 460, 0, 180, 28, -148, 186, 0, -178, -82, 78, 672, 0, 36, -28, -18, 474, 0, 0, 652, -44, -1008, 0, 0, 166, 100, 200, 0, 12, 0, -294, -38, 0, -100, -156, -20, 496, 0, 174, 10, 0, 900, 0, 92, 568, -104, 178, 0, 192, -652, 34, 0, 0, 188, 538, -580, 148, 0, 230, -65, 226, -464, 0, -852, -88, -414, -462, 0, -66, -36, 48, -552, 0, 0, 250, 0, -68, 0, 582, -66, -176, -296, 0, -724, 0, -700, 34, 0, 106, 454, 28, -584, 0, 144, 16, 0, 130, 0, 410, -496, 244, 40, 0, 242, 396, -32, 0, 0, 36, 470, -134, -364, 0, -204, -202, -536, 474, 0, -356, -120, 270, 456, 0, -54, 50, -116, 374, 0, 0, 276, -76, 824, 0, -380, -78, 66, 300, 0, 60, 0, -384, -600, 0, 200, 196, 36, -90, 0, 466, 80, 0, 400, 0, -1724, 372, 428, -146, 0, 168, -216, -2, 0, 0, -184, -162, -640, -534, 0, -494, 12, 28, -278, 0, 482, 50, -536, 4, 0, -328, -58, 164, 732, 0, 0, 258, 115, -48, 0, 272, 0, 22, -356, 0, 466, 0, -368, 312, 0, -704, -536, 148, 8, 0, -496, 56, 0, 288, 0, 52, -764, -470, 140, 0, -132, -518, 54, 0, 0, -324, -428, -146, 782, 0, -296, 60, -108, 44, 0, 372, -240, -472, 456, 0, -24, 14, 28, -218, 0, 0, -468, 126, 1080, 0, -1316, 26, 20, 532, 0, 194, 0, 262, -20, 0, -845, 232, -186, -96, 0, -576, -84, 0, -1836, 0, 556, 142, 92, -182, 0, -208, 842, -50, 0, 0, -312, -2, -384, 886, 0, 460, -144, -142, 308, 0, -210, 24, 860, -172, 0, -72, 122, -68, 744, 0, 0, -458, 40, -788, 0, 316, -48, 0, -246, 0, -514, 0, 928, -402, 0, 392, 820, 116, 160, 0, 676, -88, 0, -102, 0, 486, -108, 238, -132, 0, -420, -326, -64, 0, 0, 194, 490, -12, -148, 0, 578, -196, 280, -640, 0, -282, 14, -362, 328, 0, 86, 212, -40, -709, 0, 0, -688, 6, -1008, 0, -264, -242, 38, -238, 0, -64, 0, 300, 244, 0, 80, -472, -46, -288, 0, 586, -72, 0, -300, 0, 356, -34, 512, 206, 0, -218, -208, -56, 0, 0, 336, 684, -386, 72, 0, 108, -48, -394, 454, 0, 572, 176, 720, -424, 0, 12, 32, -84, -256, 0, 0, -46, -8, -262, 0, -412, 48, 18, 602, 0, 6, 0, 100, 84, 0, -658, -628, -12, 280, 0, -504, -6, 0, -688, 0, 4, -60, -402, 294, 0, 456, 496, 78, 0, 0, 128, 212, 608, -685, 0, -452, 76, 508, -198, 0, -594, 49, -412, 442, 0, -32, -30, 40, 624, 0, 0, 248, -106, -1464, 0, -540, -52, -80, 74, 0, 640, 0, 168, 210, 0, 250, 56, 72, -142, 0, -546, 98, 0, 544, 0, -872, -498, 596, -174, 0, -108, -732, -8, 0, 0, -236, -394, 624, -504, 0, -372, -66, 568, 80, 0, 348, -40, -628, 156, 0, 160, 42, 82, -184, 0, 0, 264, -60, 500, 0, -584, 44, -24, 38, 0, 68, 0, 668, 240, 0, 854, 976, 12, -600, 0, 492, -48, 0, 610, 0, -741, 716, -22, 250, 0, -556, 104, 72, 0, 0, 394, -680, -164, -996, 0, 216, 72, -752, 100, 0, 100, 88, 318, 828, 0, 608, 96, 168, 1072, 0, 0, 996, -154, -228, 0, -524, -176, -100, -4, 0, -444, 0, 380, -76, 0, 688, -386, 122, 438, 0, -1552, -210, 0, 984, 0, 1564, -384, -346, 230, 0, -58, 476, 42, 0, 0, -6, -74, 324, 726, 0, 162, -80, 10, -522, 0, -140, 138, 44, -594, 0, 12, 84, 212, 1044, 0, 0, 910, 136, -504, 0, 496, 76, 14, -240, 0, -588, 0, -116, 182, 0, 744, -512, 82, -678, 0, -464, -50, 0, -710, 0, 302, 886, -296, -292, 0, 672, -346, 70, 0, 0, 438, 706, -222, 800, 0, -108, 114, 676, 366, 0, -206, 232, 302, 616, 0, 250, 34, -112, -476, 0, 0, 572, 94, 684, 0, 1144, 80, -34, 146, 0, 74, 0, -110, -552, 0, -576, 498, -170, 58, 0, 266, -144, 0, 588, 0, -368, -456, 360, 126, 0, 540, 316, -10, 0, 0, -28, 358, -128, 292, 0, -276, -68, -72, -116, 0, 320, -160, 204, 704, 0, -410, 47, -36, 788, 0, 0, 144, 26, 342, 0, -1267, 4, -72, -192, 0, 318, 0, -1032, -432, 0, -864, -166, 156, 84, 0, 888, 184, 0, -170, 0, -822, 1000, 184, 230, 0, -176, 186, 66, 0, 0, -244, -536, -498, -644, 0, -272, -198, -684, 324, 0, 648, -96, -566, -724, 0, -278, 2, -20, -1148, 0, 0, -28, -102, 1484, 0, 568, -124, 186, 240, 0, 186, 0, -258, 282, 0, -1288, -520, -24, -62, 0, 108, 20, 0, -1368, 0, 92, -366, 132, 268, 0, -38, -1136, -168, 0, 0, -148, -198, -184, -200, 0, 484, -2, -140, 686, 0, 44, 0, 124, 918, 0, -512, 16, -236, -1181, 0, 0, -422, 10, -44, 0, -166, -208, -146, 302, 0, -516, 0, -284, -10, 0, -532, -586, 38, 504, 0, 120, -118, 0, -552, 0, 264, 176, -136, -68, 0, -80, 604, 85, 0, 0, 184, -820, 96, 448, 0, 908, 72, 516, -532, 0, -512, 160, 362, -1108, 0, -96, -10, 40, 170, 0, 0, -92, -296, -1004, 0, 752, -12, -18, -396, 0, -316, 0, 320, 324, 0, -380, 894, -6, -408, 0, 1356, -152, 0, -1896, 0, 520, -756, -322, 314, 0, -114, -572, 0, 0, 0, -60, 284, 404, -444, 0, -106, 58, 56, 434, 0, 376, -28, -20, -333, 0, 328, -8, -12, -776, 0, 0, -528, 228, -182, 0, -728, -144, -106, 614, 0, 562, 0, -304, -364, 0, -208, -192, 248, 464, 0, -378, -140, 0, 4, 0, -490, -468, 144, 4, 0, -38, -652, 150, 0, 0, 94, 1112, 174, -200, 0, -636, -76, -432, -66, 0, 414, -100, 56, -1096, 0, 50, 152, 316, -672, 0, 0, -832, -100, 92, 0, 912, -206, -136, -524, 0, 202, 0, -564, 540, 0, 1072, -478, -105, 62, 0, -438, -80, 0, 944, 0, -928, 298, -724, -240, 0, -192, 776, 90, 0, 0, -472, 216, 672, 742, 0, 96, -128, 678, -72, 0, 3, -6, 44, -320, 0, -52, 222, -62, 1040, 0, 0, -420, 240, 1320, 0, -166, -242, 40, 68, 0, 456, 0, -490, -130, 0, 600, 120, 114, -452, 0, 680, -20, 0, 1050, 0, 148, -560, 536, -276, 0, -308, -626, 160, 0, 0, -188, -968, -42, 1256, 0, 278, -102, 792, 416, 0, -458, -276, -624, -912, 0, 176, 184, 44, -920, 0, 0, 288, 8, 526, 0, -208, -40, -48, -118, 0, -590, 0, -164, -216, 0, 1492, 766, -162, 284, 0]