# Trace form for 5225.2.a, downloaded from the LMFDB on 25 April 2024.
[0, 286, 2, 2, 288, 0, -4, 0, -6, 300, 0, 4, -24, 16, -4, 0, 300, 16, -22, 0, 0, 32, 0, -10, -20, 0, -20, 14, 32, 8, 0, 14, 10, 2, 20, 0, 360, 38, -6, -36, 0, -4, 64, -20, 18, 0, 48, -32, 28, 322, 0, -32, 84, 36, 16, 0, 44, 0, 4, -2, 0, 28, 28, -24, 268, 0, 8, -14, 56, 42, 0, -2, -30, 48, -44, 0, 0, -12, 84, 16, 0, 334, 36, -48, 168, 0, 24, -28, 0, 30, 0, 24, -28, -14, -72, 0, -4, 50, 42, -18, 0, -104, 16, 20, -44, 0, -20, 28, 48, -88, 0, -38, 40, 74, 8, 0, -28, 4, -100, 72, 0, 286, -52, -8, 68, 0, -92, 76, 50, -12, 0, 28, 8, -4, -20, 0, -76, -26, 16, 40, 0, -176, -92, 0, 368, 0, -236, 62, 12, -84, 0, 44, -30, 56, 40, 0, -256, 38, 112, -76, 0, -48, -190, 72, -252, 0, -56, -100, 144, 318, 0, -8, -96, -68, -340, 0, 38, -74, -84, -6, 0, 22, -80, 52, 104, 0, -120, 4, 8, -104, 0, 26, 44, 28, -44, 0, 364, -16, 44, 96, 0, 30, -100, 44, -32, 0, -36, 4, -60, 10, 0, 84, 32, -78, 64, 0, -56, 0, -48, 40, 0, -80, -56, 18, 196, 0, -204, 48, 52, 26, 0, -20, 28, -20, -128, 0, 160, -80, 56, 92, 0, -100, 2, -96, 104, 0, 60, -16, 76, 24, 0, 98, 136, 14, -72, 0, 356, 4, 132, 240, 0, 44, -108, 132, 80, 0, 0, -22, 180, -164, 0, 8, -104, 68, -156, 0, -84, -36, -56, -100, 0, 40, -168, 52, -104, 0, -12, 136, -62, 146, 0, 134, 56, 40, -228, 0, -476, 50, 76, 100, 0, 192, -152, -8, 0, 0, -244, -52, 4, -68, 0, -8, 92, 106, -140, 0, -64, -46, -248, -4, 0, 36, 104, -16, 184, 0, 72, 140, 28, 144, 0, 66, -136, -20, 360, 0, 408, 28, -154, 6, 0, 2, -18, 96, -112, 0, -356, 172, 112, 160, 0, 12, 0, -66, 104, 0, -140, -200, 52, 16, 0, 286, 4, 2, 304, 0, -224, -2, 152, -12, 0, 64, -100, 48, -120, 0, 136, -136, 372, -10, 0, -92, 120, -138, -340, 0, -180, 168, 52, -58, 0, 40, -102, -132, -148, 0, -82, 64, 16, 44, 0, -12, -352, 4, -416, 0, 264, 34, -16, -204, 0, 282, -84, -264, 272, 0, -380, -56, -4, -16, 0, 20, -160, -72, 284, 0, -176, -184, 192, -36, 0, -52, 92, 82, -108, 0, 84, -8, 104, -12, 0, 704, 56, 10, 108, 0, 12, 84, 288, -498, 0, -4, 236, 4, 216, 0, -8, 52, -84, 64, 0, -16, -80, -142, 76, 0, 236, -126, 388, 376, 0, -190, -316, -16, 136, 0, -32, 80, 304, 20, 0, -220, -36, 24, 288, 0, -60, -54, -36, 64, 0, 36, -288, 120, 40, 0, 96, 32, 60, 144, 0, -76, 96, -44, -284, 0, 72, 130, 32, -298, 0, 72, 162, -36, 244, 0, -56, 32, 56, 56, 0, -166, 36, -72, 136, 0, 56, -16, -12, 456, 0, -136, -12, -60, 0, 0, 132, 62, -92, 44, 0, 108, -188, -62, 20, 0, 232, -76, -280, -488, 0, 60, 120, -8, 204, 0, 104, 132, 196, 284, 0, -16, -4, -20, -520, 0, -372, -88, -340, -120, 0, 188, -36, -114, 440, 0, 192, 110, 62, -232, 0, -112, -184, 40, -404, 0, 44, -88, -236, 16, 0, -144, 272, -104, 8, 0, -216, 128, -80, 60, 0, 308, 8, 4, 512, 0, 432, -136, -6, -36, 0, -176, 288, 228, 328, 0, -96, 24, -136, -34, 0, -306, -104, -96, -104, 0, 164, -8, -80, -288, 0, 38, 128, -180, -36, 0, -128, 240, -76, -188, 0, 6, 360, -78, 400, 0, -60, -246, -310, -98, 0, -120, -8, -126, 16, 0, -540, -64, -64, -348, 0, 114, -36, -272, 40, 0, -28, 4, -416, -294, 0, 32, 352, -56, -172, 0, 564, -240, 152, -144, 0, 176, -24, -20, -32, 0, -340, -106, 16, -248, 0, -14, 108, -24, -392, 0, -1140, 48, -108, -388, 0, 76, 180, -20, 62, 0, -516, 272, -180, -142, 0, 120, 52, 10, -648, 0, 164, -140, -404, -370, 0, 152, 2, 144, -636, 0, -4, -18, -128, 522, 0, -376, 240, 92, 264, 0, -40, 22, 184, -80, 0, 24, -200, -76, -872, 0, -476, 104, 12, -136, 0, -2, -32, -362, 32, 0, -480, 112, 196, -174, 0, -272, -16, 40, -276, 0, -444, 92, 116, 216, 0, -484, 92, -28, -148, 0, 236, 136, 60, 48, 0, -10, -72, 340, 56, 0, -376, 48, -280, 196, 0, -256, -4, 240, -220, 0, 200, 58, 136, 176, 0, -76, -52, -68, -84, 0, 640, -108, -316, 128, 0, 248, 308, 120, -16, 0, -8, 12, -140, 300, 0, 232, 16, -138, 44, 0, -104, 52, 184, -118, 0, 260, 4, -72, -140, 0, 30, 178, -336, 82, 0, 446, -260, -492, 312, 0, -256, 0, 312, 396, 0, 82, 168, 76, -320, 0, 464, 80, 80, -14, 0, -76, -80, 192, 400, 0, 468, 222, -176, -8, 0, 132, 232, -140, 48, 0, -560, 116, -128, 396, 0, 142, -190, 56, 328, 0, 232, 12, -304, 544, 0, -68, 200, -32, 480, 0, 260, -196, 12, -140, 0, -600, 92, 8, -564, 0, 232, -132, -104, -504, 0, 124, 68, 36, 412, 0, 40, 244, -56, 144, 0, 116, -188, -20, -76, 0, -592, 200, -60, -72, 0, 32, -416, 32, 0, 0, 144, 356, -4, -194, 0, -236, 40, 152, 236, 0, 40, -150, 0, -296, 0, -178, 32, -268, -556, 0, 360, 0, -188, 208, 0, 684, 240, -256, -132, 0, -352, 228, -6, -64, 0, 154, -328, 304, 92, 0, 480, -110, 80, 98, 0, 140, -44, -58, -388, 0, 168, 128, 88, 412, 0, 152, 164, 46, -208, 0, -424, 80, 160, -202, 0, 24, -400, 288, 580, 0, -8, 0, -168, 256, 0, 120, 28, 274, -748, 0, -8, 348, 84, 212, 0, -252, -192, -30, -12, 0, -32, 64, -272, 432, 0, -72, -172, -72, -16, 0, -520, 48, 148, 54, 0, 532, 164, -176, 796, 0, 424, -120, -196, 294, 0, 172, -64, 480, 168, 0, 208, 40, 266, -366, 0, 126, -108, -4, 64, 0, -1088, 14, 212, -236, 0, 688, 144, 108, 144, 0, 168, 128, 152, 236, 0, 536, 116, 2, -704, 0, -248, 288, -272, 300, 0, -220, -340, -126, 32, 0, -308, 216, -236, 344, 0, 274, 80, -62, -40, 0, 424, -416, 232, -292, 0, 44, -360, -200, -508, 0, 480, 144, 456, 252, 0, 32, -144, 140, -140, 0, -328, -66, -208, -284, 0, -80, 40, -44, -72, 0, 332, 138, 532, 200, 0, -104, -204, 32, 124, 0, 640, 114, 128, -214, 0, -180, 250, 42, 492, 0, -360, 236, -532, 24, 0, 292, 264, -352, -364, 0, 56, -126, -176, 504, 0, 230, 604, 528, -136, 0, -788, 68, -72, -768, 0, -452, -392, 304, -412, 0, 300, -88, 44, -760, 0, -336, -124, 310, -288, 0, -472, 8, -316, -36, 0, -140, -236, 52, 664, 0, -1204, -136, -432, 540, 0, -540, -320, 106, -352, 0, 0, -104, -32, -516, 0, -238, -248, 4, -1364, 0, 36, -152, 96, -228, 0, 244, 116, -596, -524, 0, -156, 44, 192, -256, 0, -112, 360, -10, -392, 0, -1592, -172, 364, 380, 0, 72, 72, 472, 12, 0, -564, 72, -56, 254, 0, -372, -144, 52, -784, 0, -840, -56, 44, -432, 0, 72, -168, 40, 20, 0, -80, -174, -228, 306, 0, 688, 308, 280, -608, 0, -8, -36, -288, 84, 0, 260, 8, 108, -984, 0, -1404, 228, 76, 190, 0, 98, 28, -250, -328, 0, -220, 32, 168, 96, 0, -140, -300, -64, -324, 0, 224, 124, 256, -344, 0, -242, -20, 46, 120, 0, 240, -20, 176, 974, 0, 4, -784, 124, -336, 0, -608, 56, 16, 0, 0, -368, 48, 312, -344, 0, 428, -190, -44, -48, 0, 468, -538, -8, -284, 0, 876, 230, -504, 40, 0, 48, -528, -120, -192, 0, -124, -240, -114, 236, 0, 236, 288, -22, -784, 0, -1032, 96, -120, -152, 0, 164, -176, -296, -1068, 0, 288, 48, 80, 286, 0, 120, -112, -216, -96, 0, -176, -84, 200, 608, 0, 302, 36, -28, -1016, 0, 4, 672, 56, 514, 0, -296, -476, 232, -920, 0, 480, 488, 476, 112, 0, -376, -160, 194, 112, 0, -696, -48, -232, -204, 0, -660, 244, 124, -1372, 0, 584, 164, -528, -28, 0, -24, 352, 148, 288, 0, 92, -184, -508, 832, 0, -28, -24, -170, 168, 0, 392, 48, -350, 184, 0, -242, -592, -32, -80, 0, -780, 40, -372, 196, 0, 244, 152, -484, -40, 0, -708, -184, -24, 256, 0, -384, -120, 402, -336, 0, -136, 68, 288, -194, 0, 80, 12, -208, 220, 0, -296, -16, -512, -586, 0, 24, 580, 240, -464, 0, -128, -130, -232, 556, 0, 218, 1012, 16, 420, 0, -20, -304, 8, 394, 0, 704, -524, 194, 888, 0, 328, -590, -184, 36, 0, 560, 204, 224, -648, 0, -1308, -240, 92, 8, 0, -2, -384, -224, 244, 0, -436, -488, 112, 26, 0, 88, 392, 212, 768, 0, -1096, 20, -24, 328, 0, 520, -40, -130, -792, 0, 440, -112, -70, 72, 0, -676, -704, 16, -256, 0, 436, 12, 268, -72, 0, 128, -216, -88, -74, 0, -408, -88, -412, -1096, 0, 324, 312, -558, -748, 0, 164, 312, 496, 260, 0, -516, -300, 56, 512, 0, 64, -310, -448, -500, 0, -1204, 0, -524, -760, 0, -112, -70, 284, 116, 0, 544, 0, 108, -32, 0, -264, 0, 208, 356, 0, 312, -128, -18, -216, 0, -540, 442, 624, 24, 0, 372, -292, -252, 472, 0, 72, 428, -236, -344, 0, 400, -808, -28, -776, 0, 120, -56, 532, -472, 0, 92, 192, -472, -1340, 0, -4, 140, -488, -200, 0, -140, -12, 64, -880, 0, 272, 260, -156, -424, 0, 78, 246, -68, 544, 0, -364, 244, -672, 860, 0, -44, -1096, -320, -4, 0, 284, -240, 272, -340, 0, -72, 304, -160, 72, 0, -36, -340, -464, -378, 0, 492, 264, -292, -452, 0, 32, 168, -280, 316, 0, 118, -192, 216, 568, 0, 348, -106, -372, -128, 0, -294, 100, -28, 996, 0, -636, 68, -80, -472, 0, -590, -192, 48, -164, 0, -308, -254, -56, -60, 0, -904, 120, 0, 428, 0, 136, 376, -4, 368, 0, 136, -60, -220, 1548, 0, 960, 56, -88, -120, 0, -256, -204, -408, 408, 0, 1224, 640, 152, -360, 0, 372, 68, 502, 204, 0, 48, -226, 624, 504, 0, 464, 1016, 56, -24, 0, -1556, 12, -676, 224, 0, -108, 856, -80, 44, 0, -72, 68, 616, 6, 0, 36, -176, 78, 972, 0, 112, 16, 44, 216, 0, 240, -60, 72, 168, 0, -120, -128, 536, 70, 0, 18, 28, 128, 1080, 0, 1240, -36, 376, 476, 0, -184, 112, 108, -776, 0, -180, 80, -336, 354, 0, -320, 588, -432, 444, 0, 1324, 402, -84, -244, 0, -320, -62, 62, 636, 0, 512, -564, 132, 8, 0, 138, 724, 72, 1188, 0, 1688, -64, -24, 154, 0, 30, 328, -352, 64, 0, 1416, 496, -524, 332, 0, 268, 76, -230, -336, 0, 624, 460, 504, 848, 0, 142, 192, 8, 328, 0, 440, -120, 136, -344, 0, -164, 872, -300, 112, 0, 952, -162, -200, 72, 0, -8, 458, -158, -672, 0, 1576, -368, 124, 62, 0, -268, -240, -160, -392, 0, 300, -144, -104, 448, 0, -650, -468, -148, -732, 0, -1200, -10, -144, -728, 0, -198, 52, -160, -204, 0, 232, 108, -80, -202, 0, 132, -96, -200, -448, 0, 420, 4, -24, 30, 0, 848, 352, 46, -344, 0, 72, -412, -24, 464, 0, 796, 500, -154, 760, 0, -224, 44, 416, -544, 0, -222, -380, -4, 652, 0, 640, -104, -320, 540, 0, 20, -116, -156, -48, 0, -344, 120, -888, -380, 0, -50, 152, -36, -4, 0, -1988, -330, 620, 172, 0, -208, -452, 32, 224, 0, -700, -50, 340, -94, 0, 820, 128, -16, -996, 0, 44, -288, 576, 128, 0, -700, -308, 264, 608, 0, -468, -270, 1338, -672, 0, -728, -40, -4, 0, 0, -268, 16, 572, -252, 0, -700, 40, 204, -368, 0, 156, 120, -8, -88, 0, 52, 1000, 30, 192, 0, -1544, 2, 404, 12, 0, -400, 640, -194, 796, 0, 872, 248, 1068, 256, 0, -232, 40, -296, 944, 0, 976, 112, 244, -74, 0, 82, -412, 356, 1208, 0, 1288, 308, 392, -56, 0, 1072, 148, -32, -8, 0, 860, 88, 224, 88, 0, -800, 396, 72, -796, 0, -304, 294, 4, -192, 0, 156, 244, -160, 32, 0, 1168, 154, 540, -266, 0, 300, 488, -34, 564, 0, 1040, 108, 564, 16, 0, 768, 228, -352, 632, 0, 346, 178, -328, 496, 0, -106, 656, 456, 520, 0, -4, -132, -76, -980, 0, 184, -372, -40, 720, 0, 620, 280, -22, 22, 0, 298, 584, 310, -104, 0, -692, -538, 80, -288, 0, 712, -516, -40, -788, 0, -512, 176, -116, 260, 0, 78, 72, 322, 20, 0, 560, 628, -312, 606, 0, -138, 128, -216, 532, 0, -252, -64, 284, -432, 0, -304, 168, -80, 120, 0, 408, 24, 520, 100, 0, 750, -252, 104, 1048, 0, 468, -60, 492, 524, 0, 400, -36, -140, 232, 0, -4, -312, 364, 8, 0, 4, -448, -290, 624, 0, -680, -36, 28, 836, 0, 8, -360, 184, -596, 0, 336, -86, 248, 226, 0, 616, -244, -156, 1008, 0, 164, 148, -512, 1368, 0, -778, -224, -528, 880, 0, -656, -4, -180, 0, 0, 560, -60, 202, 912, 0, 1160, -438, 168, 0, 0, -100, 360, 40, 824, 0, -188, -256, 80, -788, 0, 570, 22, -72, -1264, 0, -256, -80, 116, 1004, 0, -44, 148, -136, -1656, 0, -356, -212, 632, -440, 0, 824, 92, 198, 640, 0, -636, -40, -544, -432, 0, 194, 332, 54, 332, 0, 816, -450, -760, -504, 0, 856, -680, 84, 224, 0, -60, -122, -268, 40, 0, -880, -692, 464, -528, 0, -1272, 248, 168, 712, 0, 380, -632, -72, 620, 0, 72, 62, 760, 656, 0, -736, -136, 216, -1640, 0, 276, 88, 552, 716, 0, 254, -696, 532, -160, 0, 788, -912, 116, 10, 0, 1622, 300, 86, 580, 0, -920, -68, -32, -216, 0, -44, 384, 0, 560, 0, 704, -188, 156, -416, 0, -1128, 40, 466, 1216, 0, 1380, -144, -528, 16, 0, 160, 66, -376, 164, 0, 140, -156, 656, 672, 0, -1000, -40, 144, 1304, 0, 664, -182, 0, 408, 0, 60, 856, -22, 1212, 0, 784, -188, 452, 812, 0, 452, 376, 576, -56, 0, -652, 78, 492, -934, 0, -216, -448, -150, 524, 0, -1108, 36, 472, 446, 0, 516, 304, -292, -1292, 0, 280, 238, -104, 36, 0, -80, -1032, -112, -104, 0, -976, 160, -380, -432, 0, -496, -404, 0, -76, 0, 340, -876, -20, -872, 0, 842, -692, -436, 1176, 0, 24, 390, -864, 66, 0, -628, 72, 458, -300, 0, 1032, 0, 312, 124, 0, 1034, 656, -24, 792, 0, -316, 92, -136, -1024, 0, 32, 512, 424, -416, 0, 248, 936, 428, -44, 0, 224, -284, -762, -932, 0, 1000, 410, 752, 612, 0, -856, -920, -40, 684, 0, -432, 48, 1048, 1096, 0, 500, -412, -240, -156, 0, 1152, 54, -132, 184, 0, -1188, -428, 300, -660, 0, 96, -296, -428, -600, 0, 84, -294, 360, -428, 0, -8, -212, 152, 22, 0, -1492, -20, 24, 1304, 0, 384, 72, -376, -1208, 0, 596, 344, -508, 204, 0, 40, -200, 0, 106, 0, -804, 8, -8, 356, 0, -216, -578, -432, 80, 0, -456, 328, 226, 984, 0, -1664, -300, -128, 472, 0, 92, 228, 114, -220, 0, -2808, 40, 404, -1112, 0, -168, -104, -664, 440, 0, -416, -384, -368, 552, 0, -356, 0, 226, -540, 0, 784, -632, -344, -376, 0, -616, -1304, 212, -128, 0, -1324, -418, 548, 104, 0, -456, 1580, -92, 116, 0, 24, 186, -264, -318, 0, 120, -44, -218, 1400, 0, 1292, -612, 96, 394, 0, 80, 816, 1056, 1960, 0, 208, -402, -180, -308, 0, 350, -856, -428, -160, 0, -576, -16, -224, -4, 0, -1056, -80, 144, 456, 0, 208, 592, -144, -708, 0, 184, 12, -760, -748, 0, -192, -800, 30, -324, 0, 208, -112, 256, -20, 0, -476, 128, -864, -88, 0, 1108, -24, -210, -612, 0, -1064, -400, -944, -78, 0, 2, 36, -152, 644, 0, 944, -608, 12, -1564, 0, 760, -248, -536, -100, 0, -1152, -244, 376, -376, 0, -28, -232, -10, -1692, 0, 1688, 232, 104, -280, 0, -276, 548, -120, 80, 0, -1000, -16, -952, 736, 0, -448, -176, 452, 664, 0, -160, -624, -812, 58, 0, -972, -104, -20, -540, 0, -2, 928, -436, 822, 0, 736, 0, 592, -972, 0, 700, -40, 480, -1512, 0, 0, -528, 440, -448, 0, -144, 0, -40, -808, 0, -802, 416, -292, 1072, 0, 1224, 752, 300, -40, 0, 76, -460, 492, -1088, 0, -1856, -472, 84, -664, 0, -70, -832, -4, 1640, 0, 364, 552, 144, 88, 0, 180, -860, -32, -632, 0, -1068, 8, 36, -588, 0, 580, -200, 764, 296, 0, 208, -370, -6, -508, 0, -482, -120, -224, -256, 0, -1064, 408, -392, 1244, 0, 244, 856, 288, -20, 0, -724, -32, -316, 230, 0, -96, -1080, -354, -648, 0, 196, 172, 464, 8, 0, 676, 368, -120, -664, 0, 20, 560, 512, 552, 0, 214, -208, -312, 1056, 0, -56, 186, -304, -1004, 0, -480, 816, 636, -80, 0, 312, 80, 24, -102, 0, 56, 56, -340, 1016, 0, 360, 646, -56, -504, 0, -1744, 500, -122, 128, 0, 624, 940, 152, -4, 0, -410, 24, 480, -68, 0, -656, -12, -876, -708, 0, 84, 712, -104, -1132, 0, -1292, 168, -192, 708, 0, -1048, 284, 528, 2064, 0, -904, 270, -760, 416, 0]