# Trace form for 3525.2.a, downloaded from the LMFDB on 19 April 2024.
[0, 146, -2, -2, 142, 0, 2, -4, -6, 146, 0, -8, -6, 4, 12, 0, 150, 16, -2, -8, 0, -12, 24, -8, 6, 0, -12, -2, -16, -32, 0, 0, -14, 16, 12, 0, 142, -16, -12, -16, 0, -16, 20, -4, -56, 0, -80, 0, -14, 154, 0, 8, 20, 0, 2, 0, -32, -12, 8, 60, 0, -16, 12, -4, 78, 0, -16, 4, 36, 8, 0, 40, -6, 12, -48, 0, -44, 0, -28, -20, 0, 146, 0, 44, -24, 0, -12, 16, 32, 4, 0, -36, -16, 12, 8, 0, 14, 32, 26, -8, 0, -108, -12, -4, -60, 0, -100, -24, -6, -104, 0, -28, 16, 8, -28, 0, -120, 4, -64, 28, 0, 182, 84, -8, 52, 0, 12, -36, -86, -16, 0, 48, 32, -32, -44, 0, 116, 48, 40, -36, 0, 4, 56, 20, 150, 0, 148, -2, 12, -76, 0, -72, 116, 16, 24, 0, -36, -8, -44, -40, 0, 16, -2, -4, -24, 0, 64, -48, 56, 106, 0, -8, 92, -40, 88, 0, -48, -4, 52, -72, 0, -96, 160, -52, -128, 0, -60, -80, 0, -12, 0, -60, 18, -68, -8, 0, 350, 32, 24, -40, 0, -40, 108, -80, 44, 0, 52, -8, 52, 88, 0, -48, 108, 16, -56, 0, 6, -32, -68, -76, 0, 40, -56, 28, 160, 0, 72, -16, 44, 40, 0, -40, -64, 8, -12, 0, 144, -48, 8, -120, 0, -28, -30, -2, -28, 0, 40, -152, 52, -28, 0, -12, -16, 108, 44, 0, 22, 112, -44, 116, 0, -32, -80, -84, 64, 0, 216, -20, -12, 108, 0, -116, 68, -80, 144, 0, 56, 44, -172, 0, 0, -24, -4, -148, 72, 0, 184, 40, -14, 206, 0, -16, -28, 64, -2, 0, 28, 16, -36, -92, 0, -92, -212, 4, 68, 0, 12, 52, 48, -8, 0, -24, -4, 4, 112, 0, -48, 112, 68, -196, 0, 0, 40, 32, 142, 0, 28, -60, 224, 0, 0, -56, -96, -16, 136, 0, -24, 8, 34, -48, 0, 140, -12, -188, -268, 0, -292, -140, 72, -92, 0, -16, 208, -20, 56, 0, 12, -20, 112, 8, 0, 190, 52, 38, -120, 0, 52, 76, -288, -16, 0, 4, 68, 68, -88, 0, 24, 140, 20, -24, 0, -100, -88, 36, 86, 0, -188, -4, 212, 32, 0, 24, -126, 64, 84, 0, -56, 20, -60, -68, 0, -96, 100, 8, -308, 0, 216, -128, 20, -208, 0, 16, -112, -52, -80, 0, -292, -4, -152, 120, 0, -92, -108, 0, -220, 0, 64, -40, -232, 36, 0, 12, -14, 84, -312, 0, -396, -16, 4, 80, 0, 154, -40, 96, -76, 0, -28, -68, -64, -80, 0, 80, -264, 60, -128, 0, 4, -56, -12, 8, 0, -8, 16, -20, -280, 0, 224, 112, 20, 124, 0, 16, -264, -124, -60, 0, 40, 0, -208, 76, 0, -320, -112, 56, 86, 0, 2, 32, 300, -80, 0, -52, 8, 144, -136, 0, -60, 40, -8, -48, 0, -48, 0, -200, -32, 0, -340, -38, -340, 136, 0, -104, -318, -12, -96, 0, 12, -12, -44, 152, 0, -212, 8, 20, 72, 0, -440, 56, 48, 118, 0, 60, 160, 136, 36, 0, -316, 32, 44, 96, 0, -32, 100, -60, 244, 0, 120, -44, -8, -16, 0, 224, -24, 100, -148, 0, 420, 24, 12, -68, 0, -112, -216, 160, 12, 0, -196, -4, -16, -88, 0, 220, 64, 84, -24, 0, 78, -60, -110, -16, 0, 292, 56, 216, -76, 0, 376, -208, -110, -124, 0, -136, 204, 208, -16, 0, 92, -76, 176, 136, 0, -188, 56, 4, -452, 0, 92, 68, 420, -64, 0, 4, 36, 56, 364, 0, 0, 8, -92, 208, 0, 8, 64, 144, 4, 0, -412, 64, 164, 4, 0, 48, -176, -52, -8, 0, -76, 20, -388, 40, 0, -56, 88, 32, -56, 0, -104, -64, -6, -56, 0, -28, 116, -4, 68, 0, -176, 12, -8, 72, 0, 68, 72, 16, -24, 0, -48, -148, -192, -32, 0, 200, 320, 12, -88, 0, -166, 16, -40, 112, 0, -160, 80, -24, -44, 0, 52, -12, 28, 32, 0, 220, -92, 0, -88, 0, 104, 112, -52, 0, 0, 120, -28, -24, -192, 0, -4, 96, -24, -108, 0, -20, 92, 36, -176, 0, -416, -8, 192, 112, 0, -476, 182, -28, -492, 0, 46, 28, 648, 146, 0, 112, -108, -32, -148, 0, -312, -28, 0, -92, 0, -164, -280, 88, -172, 0, 268, 44, -480, -104, 0, 4, 32, -60, 72, 0, -24, 124, -220, 128, 0, -296, -60, 328, -56, 0, -16, 8, -30, -152, 0, -16, 60, 160, -12, 0, -36, -48, -216, 128, 0, -344, -48, 16, 422, 0, 16, 84, 140, 212, 0, 288, 32, -64, 356, 0, -220, 32, 72, 24, 0, 4, 60, 188, -284, 0, 240, 12, 220, -56, 0, -40, -248, -200, 72, 0, 76, -128, 164, -36, 0, 72, 136, -4, 264, 0, -120, 168, -16, -60, 0, 24, -76, 20, 244, 0, 40, 12, -416, 296, 0, 250, -4, 40, 372, 0, 8, 192, 252, -252, 0, -152, -136, -180, -352, 0, 232, 144, 192, -60, 0, 176, 16, -148, 14, 0, -84, 114, -144, 272, 0, 260, -244, 32, 112, 0, -236, -180, -324, 8, 0, 24, 26, 40, -168, 0, -288, 96, -188, -88, 0, -8, -20, -12, 172, 0, 256, -92, -40, 76, 0, 200, 192, 64, 64, 0, 20, 212, 288, -108, 0, 156, 12, 56, -456, 0, -188, 80, -12, 64, 0, -68, -264, -152, -192, 0, 356, -4, -32, -208, 0, 36, 152, 72, -88, 0, -60, -44, -64, 64, 0, 196, -200, -48, 24, 0, 496, -132, -192, 16, 0, -24, -104, 120, -100, 0, -424, -184, 40, 24, 0, -50, 32, -24, 228, 0, -80, -124, -478, -48, 0, 72, -6, 72, 304, 0, 20, 160, -212, 136, 0, -104, 64, -328, 248, 0, -440, -16, -368, -124, 0, -120, 116, 8, -512, 0, -240, -36, 20, -28, 0, 492, 168, 112, 344, 0, -344, -240, 16, -56, 0, 184, 64, 80, -194, 0, -188, 8, 136, 0, 0, 20, -48, -4, -146, 0, -28, 120, -160, -252, 0, 88, -212, -52, -36, 0, -216, 96, -36, 168, 0, -4, 44, 8, -120, 0, -916, 28, -528, 392, 0, 48, -288, 4, 40, 0, 256, -64, -14, -20, 0, 200, -64, 68, 592, 0, -328, 224, 68, -216, 0, 28, 100, -88, -8, 0, 572, 120, 592, 304, 0, 20, -204, 14, -360, 0, -36, -188, 188, 182, 0, 408, -320, 224, -404, 0, -8, 60, 84, 256, 0, -160, 176, -248, -224, 0, -260, -8, -308, 120, 0, 256, -180, 52, -400, 0, 52, -52, 96, -48, 0, 48, -8, -328, 32, 0, 80, -16, -12, -372, 0, -28, -200, -136, 12, 0, 168, -128, -168, -352, 0, -124, -136, -36, 176, 0, 8, 40, 376, 76, 0, 200, -86, -68, 700, 0, 154, -104, 44, 468, 0, -16, 208, 40, -156, 0, -296, 120, 292, 536, 0, 472, -296, 112, 0, 0, -194, -124, 128, 48, 0, -28, 52, -452, -476, 0, -128, -36, 32, 96, 0, 104, -100, 404, 44, 0, -360, -32, -24, -12, 0, -84, 480, -8, -304, 0, -44, -168, -212, -220, 0, 20, -188, -260, 132, 0, 116, -144, -96, 184, 0, 32, 40, -324, 116, 0, -536, 84, 16, -324, 0, 104, 464, 48, -780, 0, 304, -180, 308, 132, 0, -440, 40, 72, 112, 0, 368, 292, -340, -184, 0, -36, -4, -24, -104, 0, 836, 56, 408, 100, 0, -28, 28, 20, 16, 0, -332, -32, 336, 4, 0, 136, 276, 176, 236, 0, -696, 196, 56, 80, 0, -388, -128, -64, -80, 0, 440, 20, 320, 320, 0, -192, -528, -180, 40, 0, 150, -208, 848, -16, 0, 392, -120, 136, 124, 0, -276, -392, -276, 368, 0, -144, 80, 520, 148, 0, 72, 48, 48, 248, 0, 172, 348, -2, 152, 0, 24, -300, 168, -264, 0, 312, 12, 168, -164, 0, -64, -260, 76, -64, 0, -76, 96, -388, -8, 0, 284, 8, 204, 136, 0, 156, -266, 88, -208, 0, -368, -256, -164, -72, 0, 312, -72, -32, 648, 0, -240, -248, 116, -78, 0, 268, -248, -160, -116, 0, -220, 16, 8, -460, 0, 124, -244, 88, -508, 0, 24, 208, -304, -92, 0, 268, 120, -40, 248, 0, -212, -40, 40, 148, 0, 104, 408, -24, -36, 0, 1288, 48, 448, 112, 0, 32, 388, -8, 304, 0, -56, 40, -200, 116, 0, -128, -44, 108, 52, 0, 432, 196, -120, -208, 0, -40, -56, 224, 216, 0, -168, -124, -320, -128, 0, 96, 732, 56, 518, 0, -168, -36, 300, 16, 0, 264, 442, -444, 1044, 0, -768, 24, -2, 520, 0, -76, 152, 104, 228, 0, 136, -4, 340, 120, 0, 120, -144, -12, 680, 0, -24, 32, 444, 224, 0, -8, -200, -180, 48, 0, -304, 248, 196, -24, 0, -80, -116, 96, 64, 0, 664, -92, 24, 568, 0, -24, 44, -48, 56, 0, 64, 352, 480, -16, 0, 192, 56, 392, -796, 0, 240, -128, -380, -348, 0, 106, 148, 192, -684, 0, 464, 96, -440, -216, 0, -64, 736, -32, -96, 0, 174, -88, -228, -8, 0, -260, 256, -108, -292, 0, 372, 168, 92, 40, 0, 32, -12, 184, 132, 0, 112, -40, 8, 252, 0, -556, 360, 228, -232, 0, 88, 220, -174, 100, 0, -176, 136, -364, -76, 0, 940, -320, 56, -88, 0, 56, 576, -116, -48, 0, -216, 110, 180, 64, 0, -8, 292, -4, 96, 0, -8, -4, -56, -392, 0, -144, 52, -72, -356, 0, 440, -60, -92, 240, 0, -72, 744, 192, 124, 0, -1020, 96, -32, 332, 0, -80, 196, -60, -48, 0, 92, 20, -528, -96, 0, 80, 196, -64, 248, 0, -164, -88, 160, -40, 0, 36, -504, -352, -8, 0, 4, -52, -208, -628, 0, 440, 48, -240, 104, 0, -128, 24, -84, -96, 0, -288, -260, -36, 428, 0, 484, 384, -140, -48, 0, 192, 32, -472, -60, 0, 392, -240, -248, 604, 0, -498, -42, -80, -204, 0, -296, 228, -428, -88, 0, -288, 0, -208, -1536, 0, -1116, -144, 116, -252, 0, -12, 56, -56, 288, 0, 124, -80, 168, -576, 0, 168, -728, -64, 136, 0, 416, -48, 444, -60, 0, -696, 128, 236, -784, 0, 16, 120, 18, -76, 0, 320, -148, -104, -34, 0, -1136, -68, 152, -16, 0, 212, -432, 116, -812, 0, -8, 100, 168, 256, 0, -4, -204, -144, -444, 0, 464, -332, 152, 48, 0, 184, -120, -96, 350, 0, -32, -128, 168, -384, 0, 164, 128, 32, 1032, 0, -20, 332, -312, -112, 0, -104, 24, 28, -580, 0, 68, 16, -116, -364, 0, -40, 144, 32, 208, 0, -64, -328, 272, 536, 0, -368, -232, -12, -328, 0, 48, 8, -760, -40, 0, 212, 436, 36, -68, 0, -80, -296, 108, 32, 0, -220, -48, -156, 220, 0, -408, -80, -652, 184, 0, -52, 92, -12, 560, 0, 44, -68, -524, 44, 0, 204, -60, 184, 408, 0, 152, -396, -208, -10, 0, -120, -268, 208, 52, 0, -256, 40, -444, -144, 0, 412, -500, -8, 88, 0, 264, 64, 392, 8, 0, 384, 52, 412, 508, 0, 312, 168, 212, -524, 0, 88, 4, -104, -348, 0, 144, 148, -680, 12, 0, -652, -232, 148, 232, 0, -264, -172, 536, -48, 0, -308, -272, 144, -648, 0, 120, 312, 108, 56, 0, -348, -104, -424, -180, 0, 696, 16, -384, 552, 0, -136, -282, 8, -1064, 0, -56, -36, -196, 0, 0, -68, 120, 56, 172, 0, 358, -88, 216, -124, 0, 288, 32, 164, 6, 0, 656, 112, 192, -424, 0, -412, 500, -32, -60, 0, -188, -144, -632, 372, 0, -436, -68, 208, -264, 0, -568, -88, 312, -100, 0, -76, 96, 24, 16, 0, -552, 112, 88, -400, 0, 744, 316, 228, 68, 0, -224, 188, -40, 40, 0, -276, 168, 172, 292, 0, 52, -320, -56, 292, 0, 56, -224, 504, -440, 0, 232, 28, -72, -760, 0, -468, -392, -280, -96, 0, 160, 204, 428, -52, 0, -56, 80, -76, -416, 0, -24, 44, -170, 168, 0, -40, -868, 32, 72, 0, -736, -88, 248, -220, 0, -892, -448, -16, 208, 0, 288, 384, -1078, 208, 0, 208, 44, 72, 240, 0, 256, -60, 4, 232, 0, 40, -48, -208, 196, 0, -308, -24, -72, -344, 0, 220, -56, 60, -392, 0, 348, -456, 132, -40, 0, -544, 352, 36, -260, 0, 536, -368, -64, -148, 0, 128, -56, -220, -100, 0, 624, 8, 192, 816, 0, -400, 76, 24, -888, 0, -12, 268, -40, -336, 0, 312, -48, -156, 216, 0, 310, 228, -76, 124, 0, 48, 396, -124, 144, 0, -44, -28, 640, 160, 0, 152, 560, -48, 368, 0, -204, 76, 668, 124, 0, 248, 8, -236, -524, 0, -168, 456, 72, -208, 0, -120, -188, 232, 184, 0, 432, 344, 0, -176, 0, 268, 124, -40, -436, 0, 194, 176, -168, -28, 0, -236, -276, 144, 476, 0, 596, -432, -30, 368, 0, -288, 488, 660, 616, 0, 32, -2, -412, 404, 0, 292, -104, 56, 524, 0, -28, 368, 268, -204, 0, 184, -244, 332, 568, 0, 304, 464, 88, 146, 0, 60, 96, -148, 40, 0, -900, 72, 524, -16, 0, -468, 312, -152, 1204, 0, 160, 8, 856, 40, 0, 40, 52, -220, -684, 0, 200, 160, -124, 112, 0, -28, -32, -68, 256, 0, -64, 200, -784, 248, 0, 508, 168, -44, -496, 0, 28, 408, 192, -12, 0, 1120, -16, -128, 56, 0, -40, 128, -16, -248, 0, 48, -272, -340, -68, 0, -232, 108, -120, 560, 0, 196, -760, 216, 344, 0, 44, -28, -808, -300, 0, 648, 120, -20, 96, 0, 520, -168, -400, -880, 0, 112, -232, -16, 22, 0, 716, -20, -148, 108, 0, 984, 254, 112, 904, 0, -252, -160, 320, 160, 0, -400, -44, 352, 1984, 0, 216, 116, 52, -8, 0, 116, 176, -32, -432, 0, -644, 160, -136, 300, 0, 480, -36, 64, 432, 0, 328, -44, -544, -32, 0, 680, -302, -304, -164, 0, -552, 60, -80, 232, 0, -48, -76, -152, -556, 0, -300, -84, 332, 448, 0, -72, 248, -72, 40, 0, 64, -160, -640, 20, 0, -184, -324, 84, 412, 0, -284, 668, -532, -232, 0, 280, 872, -408, 216, 0, 424, -16, -40, -492, 0, 466, -228, -20, -36, 0, 300, -216, 96, -428, 0, 344, -12, 216, -712, 0, -1652, -760, -48, 296, 0, 108, -624, 208, 4, 0, -572, 200, 4, 596, 0, 288, 84, 136, 1132, 0, 304, -92, -520, -116, 0, -872, -128, 504, -72, 0, 448, -76, 68, -504, 0, -4, -172, 64, 708, 0, 864, -80, -692, -224, 0, -204, -48, 16, 32, 0, 144, 260, 180, 308, 0, 720, -224, 28, -60, 0, 616, 224, 336, -24, 0, -504, 120, 144, 56, 0, 416, -12, 728, -504, 0, 56, -440, 44, 744, 0, 100, 28, -248, 492, 0, 160, -172, 312, -4, 0, -80, 132, 440, 12, 0, 0, 132, -736, 104, 0, 904, 160, -576, -192, 0, -664, 368, 202, 724, 0, 396, 260, -48, -24, 0, -560, 20, -208, 1496, 0, -280, 160, -4, 340, 0, -292, 192, -512, -204, 0, -40, -148, -28, -1136, 0, -1236, -424, 64, 636, 0, 72, -60, 660, -56, 0, -400, 112, 92, -616, 0, 1224, 48, 200, -116, 0, -296, 208, 72, 184, 0, -72, 172, 472, 64, 0, 136, -324, 40, 832, 0, 48, -376, 112, 364, 0, -316, -14, -320, -808, 0, 312, 44, 396, 416, 0, 206, -596, 528, 56, 0, -296, -144, 548, 180, 0, -292, 588, 120, 800, 0, 332, -320, -8, -16, 0, -944, -248, -256, -480, 0, 680, 96, -28, 240, 0, -192, 56, -364, 204, 0, 1080, 64, 56, -252, 0, -264, 228, 288, -92, 0, -2, -332, 576, 364, 0, -776, 624, -92, -12, 0, 512, 548, -568, 28, 0, 296, 328, -24, 28, 0, 616, -32, 392, -604, 0, 192, -176, 16, 272, 0, -244, 148, -160, 52, 0, -60, -36, 492, 2152, 0, 288, 196, 472, -744, 0, -92, -164, 216, 376, 0, -1084, 28, 464, 112, 0, 400, -528, -224, 370, 0, -8, -156, 904, -92, 0, 336, -56, -76, 568, 0, 488, -80, -212, -856, 0, 40, -152, 368, 216, 0, 48, 4, -240, 636, 0, -208, 456, -300, 600, 0, 68, -544, 94, 304, 0, 88, -176, 16, -864, 0, -472, -448, 140, -468, 0, 256, 540, -640, 12, 0, -112, 36, 368, -288, 0, 400, -400, 52, -388, 0, 216, 28, 148, 136, 0, 32, 48, 0, 616, 0, 616, -40, 356, -68, 0, -8, -152, -280, 408, 0, -24, 296, -160, -420, 0, -556, -924, -12, -528, 0, -240, 56, -256, -24, 0, 128, 64, -68, 248, 0, -336, -156, -4, -170, 0, -368, -56, 24, -168, 0, -1208, 4, 240, -680, 0, 60, 864, 148, -388, 0, 112, 92, -56, -168, 0, -160, -8, 276, -8, 0, 156, 392, -176, -264, 0, -60, -432, 304, -48, 0, -652, -184, 300, -400, 0, 504, 1312, 112, -176, 0, -576, -196, 396, -8, 0, -312, 68, -256, -384, 0, -72, 32, -112, 724, 0, -196, -216, 72, 272, 0, -984, -384, 408, -512, 0, -4, 48, -130, -1136, 0, -328, -52, 842, 0, 0, -368, -484, -224, 20, 0, 4, -648, 40, 124, 0, 80, -864, 48, 70, 0, 596, 32, 140, -272, 0, -288, 1032, -112, 4, 0, 142, -116, 192, -672, 0, -24, -264, 228, 88, 0, -968, 136, -540, 8, 0, 176, 276, 448, 28, 0, 780, 272, -328, -1080, 0, -680, 484, -60, -1016, 0, -416, 192, -392, 280, 0, 68, 224, -628, -1112, 0, -184, 264, 192, -240, 0, 0, 68, 32, -672, 0, 1132, -124, -856, -1380, 0, -112, 688, 176, -320, 0, -324, -264, -624, -56, 0, 656, 176, -24, 300, 0, -1324, -184, -96, 1020, 0, -116, -48, -88, 412, 0, -208, -16, 216, 168, 0]