# Trace form for 9025.2.a, downloaded from the LMFDB on 19 April 2024.
[0, 515, -1, 2, 487, 0, 0, 2, -9, 473, 0, 2, 0, 6, 0, 0, 439, 2, -29, 0, 0, 6, -12, -16, -16, 0, -14, 8, 2, 0, 0, 16, -9, 6, 10, 0, 427, 16, 0, 52, 0, -4, 58, -6, -10, 0, -4, -10, 40, 389, 0, 2, 30, 18, 50, 0, 32, 0, 24, -2, 0, 24, 54, -12, 281, 0, 86, -20, 10, 0, 0, -18, -65, 22, 14, 0, 0, -28, 0, 24, 0, 315, 8, -20, 56, 0, -40, -66, -16, -2, 0, 24, 48, -40, -24, 0, -26, 58, 23, -30, 0, -38, 70, 10, 20, 0, -22, 6, 28, -50, 0, -32, -58, 4, 0, 0, -6, -22, 54, 16, 0, 313, 2, 62, 100, 0, 4, -22, -33, 34, 0, 36, 112, 0, 20, 0, 26, 18, -72, 14, 0, -62, -60, 24, 309, 0, -94, 64, -34, 2, 0, -30, 0, 86, -92, 0, 18, 54, 50, -94, 0, -8, -49, 28, -82, 0, 20, -26, 88, 231, 0, 0, -74, -56, -12, 0, 60, 50, -48, -54, 0, 28, 54, 14, 32, 0, -8, -74, 86, -56, 0, -108, 96, -2, -110, 0, 255, -20, -60, 34, 0, 60, -54, 34, 24, 0, 30, -28, -78, 0, 0, 10, -14, -40, -88, 0, 202, 36, -38, 62, 0, -68, 32, -18, 196, 0, -90, 44, 0, 36, 0, -14, 72, -32, -84, 0, 168, -20, -40, -32, 0, 0, 147, 46, 94, 0, 20, 0, 66, -72, 0, 86, 284, -52, -18, 0, -37, -22, 90, 114, 0, -36, -36, 36, 218, 0, 0, -40, -32, -82, 0, -158, -4, -172, -158, 0, -24, -148, 92, -96, 0, -44, -82, -112, -136, 0, -44, 94, 3, 37, 0, -166, 72, -6, -204, 0, -124, -4, -6, -48, 0, -40, -90, 32, 0, 0, -74, 4, -12, -80, 0, -84, 44, -12, 10, 0, -44, -48, -80, 6, 0, 74, 144, 0, 67, 0, -28, -54, -6, 4, 0, 52, -60, -68, 94, 0, 128, 78, 25, 56, 0, -44, 0, -68, -128, 0, -188, 40, -76, 46, 0, 74, -60, -74, -8, 0, -42, -166, -12, 134, 0, 0, 130, -48, 168, 0, 20, 90, 248, 52, 0, 12, -12, -46, 52, 0, 52, 162, 184, 30, 0, -200, 96, -48, -174, 0, 110, 78, 46, 54, 0, 92, -17, -34, -182, 0, -250, 164, -48, 0, 0, -62, -104, -158, -170, 0, -98, -30, 190, 6, 0, 150, 48, -74, 88, 0, -46, 86, 0, 78, 0, 46, 132, 226, -146, 0, -136, -246, 132, 2, 0, 88, 172, 112, -110, 0, 30, 0, -64, 30, 0, 77, 262, -64, 46, 0, 264, 50, 162, -110, 0, 186, -74, -80, 12, 0, 0, -34, 10, 136, 0, 98, 306, -28, -6, 0, 78, -40, -22, 216, 0, -36, 72, -6, -44, 0, -28, 86, 120, 36, 0, -104, 120, 96, -27, 0, 46, -74, -114, -28, 0, 54, 38, 50, 0, 0, 348, -6, 216, 56, 0, -2, 100, -18, -156, 0, -32, 2, -60, -26, 0, 70, 107, 0, 204, 0, -64, 14, -86, 20, 0, -90, -10, 10, 240, 0, -32, 172, -12, 79, 0, -130, 0, 38, 68, 0, 20, 88, 74, 254, 0, -20, -144, -40, 94, 0, 68, -16, 34, -146, 0, 0, -104, -8, 66, 0, 38, 174, 82, 216, 0, 126, -84, 66, -268, 0, 68, -96, 28, -122, 0, 44, 28, 26, 2, 0, -3, -8, -179, -34, 0, 162, -80, -40, -298, 0, 18, -66, -220, 0, 0, -168, -130, -116, 300, 0, -26, 26, 48, -28, 0, 28, 0, -88, -60, 0, -176, -4, 0, -42, 0, 20, 294, -118, 288, 0, -240, 210, -24, 120, 0, -228, 8, 92, 230, 0, 262, 0, 26, -118, 0, 98, -254, -88, -706, 0, -128, 2, -282, -62, 0, 166, 24, 36, -200, 0, 0, -48, -85, -98, 0, -274, -222, 56, -124, 0, -126, 74, 0, -126, 0, -82, -286, 154, -8, 0, 320, -40, 44, 14, 0, 254, 120, 20, -304, 0, -211, 76, -16, 100, 0, -186, -26, 88, 0, 0, 36, 42, -260, -142, 0, 26, 26, 126, 8, 0, -240, -34, -54, 22, 0, -122, 96, 0, -40, 0, -266, 138, 42, -242, 0, 248, -58, 0, -694, 0, 204, 34, -80, -56, 0, -90, 0, -148, -194, 0, -306, -80, 346, -103, 0, -418, 120, -170, 368, 0, -236, -112, -428, 88, 0, 0, -316, -96, -180, 0, -82, -410, 106, -102, 0, 4, 76, -122, -108, 0, -72, 22, -194, -52, 0, 90, 128, -136, -856, 0, -222, 20, -60, -152, 0, -706, 70, 12, -4, 0, 64, -100, -150, 0, 0, 58, 72, -110, -335, 0, -502, -104, -498, 34, 0, -2, -104, 20, -70, 0, 4, -46, 0, -6, 0, 82, 92, -350, 148, 0, 444, -78, -138, 20, 0, 40, 20, 156, -316, 0, 184, 0, -122, -16, 0, -110, -226, -250, -80, 0, -16, -120, 252, -54, 0, -258, -22, 102, 178, 0, 0, -126, 68, -26, 0, -199, -408, -542, 84, 0, 28, 48, 134, 226, 0, -52, -72, -98, -48, 0, -90, 52, 56, -72, 0, -48, 4, 162, 546, 0, -122, -84, 56, -68, 0, -200, -396, 174, 0, 0, -312, -136, -40, -36, 0, -36, 75, -24, 188, 0, 300, 150, 180, 62, 0, -468, 60, 0, -46, 0, 456, -12, -66, -96, 0, -328, 516, -130, -558, 0, 368, -48, -80, -342, 0, -290, 0, 138, 346, 0, 98, 86, -172, 30, 0, 196, 66, -84, 56, 0, 60, 70, 74, -110, 0, 0, 128, 82, 100, 0, -176, 194, -120, -248, 0, -124, 64, -40, 300, 0, 180, -360, 156, -12, 0, -182, -56, -78, -40, 0, -258, 236, -56, 52, 0, -283, -44, 202, 134, 0, 764, 68, 67, 0, 0, 336, 56, -142, -68, 0, 446, -58, -398, -176, 0, 142, -92, -24, -172, 0, 348, -54, 0, 244, 0, -86, 172, 326, 24, 0, -140, 54, 228, 654, 0, -96, -64, -6, 360, 0, -56, 0, 214, 218, 0, -378, -424, 422, 146, 0, 102, 32, 94, -18, 0, -46, 24, 410, -707, 0, 0, -70, -42, 138, 0, 254, 422, -50, 504, 0, -36, 296, -32, -408, 0, 2, -44, -10, 78, 0, 10, -18, 108, 656, 0, 44, -488, 130, 190, 0, 516, 138, 7, -216, 0, -156, 134, 64, 0, 0, -344, 156, 350, 40, 0, 270, 20, -84, 24, 0, -154, -82, 132, 28, 0, 240, 2, 0, -636, 0, -40, -444, -256, -27, 0, -360, -412, -8, -204, 0, -690, -84, -334, -306, 0, -104, 0, 398, 20, 0, 170, -18, -406, -280, 0, -186, -72, 44, -282, 0, 168, -72, -44, -566, 0, 0, -226, 102, -386, 0, -122, -84, 26, -264, 0, 108, -548, 38, 484, 0, -136, 112, -362, 200, 0, -422, -108, -106, 192, 0, 490, -386, -132, 22, 0, 162, 7, 120, 322, 0, -783, 206, -320, 0, 0, 156, -16, -588, -838, 0, -540, -102, 328, 178, 0, -184, 2, 112, -48, 0, -518, -82, 0, -172, 0, -48, -182, -380, -522, 0, 586, 146, 24, -466, 0, -142, -122, 58, -208, 0, -4, 0, -110, -252, 0, 118, 44, 292, -360, 0, -796, 62, -48, 308, 0, -106, 308, -22, -248, 0, 0, -48, 160, -236, 0, -210, -76, -26, -194, 0, -358, -486, -16, -14, 0, -166, -170, 182, -238, 0, -262, -86, -4, 98, 0, -10, 368, 110, -320, 0, -604, -86, -48, 184, 0, -48, -296, 242, 0, 0, -66, -72, 456, 278, 0, -42, 136, 128, -300, 0, -208, 38, -6, -20, 0, 280, -132, 0, -196, 0, 12, -80, 240, -296, 0, 246, -244, 184, -558, 0, 172, -144, -80, -4, 0, 174, 0, 208, -236, 0, -967, -16, -130, 384, 0, 308, 96, 88, -376, 0, -214, 184, -418, 298, 0, 0, 124, -184, 434, 0, 732, 154, -84, 106, 0, 56, 316, -180, 260, 0, 300, -92, 6, 214, 0, -132, -350, -12, -504, 0, -520, -144, -176, -180, 0, 4, -24, -72, -104, 0, -50, -116, -62, 0, 0, -84, 149, -52, 602, 0, 556, -32, -204, -154, 0, 178, 40, -10, -236, 0, 322, -228, 0, -353, 0, 198, -556, 340, 568, 0, -372, 88, -44, -596, 0, 40, -84, 134, 332, 0, 188, 0, -540, 186, 0, 342, 318, -242, 220, 0, 1030, 50, -182, 26, 0, 350, 162, 396, -834, 0, 0, -232, 104, 220, 0, -170, -180, 270, -300, 0, 0, 184, 226, 290, 0, -30, 186, -172, 346, 0, 656, 86, -20, -104, 0, -212, 114, 16, -868, 0, 392, 228, -72, 188, 0, 104, 74, 84, 0, 0, 268, 146, 538, 364, 0, -354, -100, 586, -48, 0, 592, -148, 163, -252, 0, -68, -176, 0, 1216, 0, -270, 116, 210, 556, 0, -104, 404, -88, 108, 0, -6, -206, -28, 368, 0, -60, 0, -314, 500, 0, 854, -120, 302, 160, 0, 144, 130, 246, 108, 0, 168, -86, -190, 144, 0, 0, -152, 10, 88, 0, -352, -22, 728, 636, 0, 128, 446, -184, -646, 0, 348, 240, 132, -36, 0, -335, -170, -222, -356, 0, -956, 12, -96, -4, 0, 154, -100, 66, -88, 0, -58, 58, 110, 0, 0, -196, -48, 0, 1030, 0, -186, -108, 14, 100, 0, -210, 186, -60, -32, 0, -94, -172, 0, -214, 0, -38, -268, 0, 1372, 0, -240, -458, 255, 98, 0, -352, -284, 82, -158, 0, 202, 0, -42, -20, 0, 410, -42, -38, -874, 0, 256, -110, 512, -340, 0, -98, 64, 316, 700, 0, 0, 44, 72, -372, 0, 134, -234, -162, -618, 0, 404, 122, -52, 54, 0, -330, -276, 634, 96, 0, -124, -240, 126, 194, 0, 576, -420, 118, -700, 0, 494, 66, -144, 248, 0, -472, 860, -16, 0, 0, 254, 52, 598, -184, 0, 380, -102, 218, -32, 0, -524, 212, 96, 120, 0, -38, -156, 0, -142, 0, -112, 236, -72, -902, 0, 394, 272, -154, -396, 0, 214, -98, -128, 394, 0, 170, 0, -32, -296, 0, -28, -222, 70, 184, 0, -849, -135, -576, 482, 0, -632, 98, -98, 80, 0, 0, 758, 8, -196, 0, 14, 82, 202, -248, 0, 22, -4, 244, -408, 0, -38, -164, -542, -110, 0, -174, -4, 36, -312, 0, 680, 166, -36, -426, 0, -36, 112, -6, 80, 0, 202, 394, 4, 0, 0, -74, -50, 530, 690, 0, -738, 98, 406, -94, 0, 114, 80, 120, 174, 0, -670, -30, 0, 226, 0, -182, -304, -50, -68, 0, 428, 588, -112, -376, 0, 442, -146, 6, -179, 0, -180, 0, 466, -66, 0, 80, -282, -98, 1182, 0, -678, 226, 26, 96, 0, -308, 148, 64, 544, 0, 0, 448, 432, 362, 0, -334, 40, 412, 328, 0, -394, 248, -224, 308, 0, -24, 784, -180, 368, 0, 450, -184, 94, 1072, 0, -330, -278, 130, 1112, 0, 1006, 48, -166, 94, 0, 862, -458, 286, 0, 0, -148, 370, 234, -282, 0, -70, 14, 114, 172, 0, 624, -178, -80, -30, 0, 656, -56, 0, -222, 0, 216, 350, 654, -615, 0, -562, 94, 100, 372, 0, 702, -140, -346, -310, 0, -328, 0, 260, 630, 0, -126, -708, 164, 626, 0, 580, 70, 60, -54, 0, 352, -34, -552, -226, 0, 0, 228, -112, -32, 0, 1084, 62, 160, 38, 0, 124, -166, -138, 80, 0, -16, 518, 304, -82, 0, 54, -304, -42, -1050, 0, 482, -16, 30, -112, 0, 350, 56, 82, 540, 0, 126, 28, -184, 0, 0, 214, -177, 270, -146, 0, 1124, -118, 256, 26, 0, 94, 64, 100, -460, 0, -159, -196, 0, 128, 0, -174, -88, 468, -184, 0, -328, -402, -368, 712, 0, 112, -262, 164, 774, 0, -216, 0, -398, 254, 0, 128, -38, -16, -544, 0, -144, 194, 198, -78, 0, 408, 368, 682, 678, 0, 0, 152, 16, 96, 0, 158, -74, -584, 1360, 0, -72, 354, 252, -564, 0, 46, 410, -134, -86, 0, 562, 48, 320, -12, 0, 896, 58, 28, 886, 0, 154, -94, 292, -370, 0, -156, -74, 182, 0, 0, -320, 82, -432, 246, 0, 322, -128, 164, 108, 0, -394, -48, 12, 168, 0, 322, -188, 0, -1298, 0, 14, 94, -130, 368, 0, -284, 234, -96, -228, 0, -836, 72, 103, 240, 0, -36, 0, 10, 120, 0, 608, 410, 230, -432, 0, 98, 152, -260, -676, 0, 538, 124, -58, 602, 0, 0, 830, -6, -388, 0, -1360, -28, -664, -308, 0, -214, -686, -142, 274, 0, 148, -196, -794, 150, 0, -620, -16, -96, 810, 0, -180, -66, 166, -212, 0, 58, -44, -168, 628, 0, -1328, -198, 392, 0, 0, 160, -20, 130, -298, 0, -421, -54, -1094, 216, 0, -348, 42, -120, -80, 0, -564, -244, 0, 828, 0, -34, -1060, 226, -78, 0, 1196, 50, 242, 32, 0, 4, -392, -28, -540, 0, 396, 0, -998, -60, 0, 128, 122, -60, 40, 0, 268, 102, 406, 450, 0, 10, 96, -156, 204, 0, 0, 934, -196, -240, 0, -368, -432, 344, -236, 0, 226, 676, 23, -480, 0, -30, 816, 300, -28, 0, -1274, -224, -132, -166, 0, 534, -480, 186, -360, 0, -1090, 72, -136, 92, 0, 244, 720, 102, 0, 0, 128, 50, -864, -515, 0, -1008, -112, -180, -260, 0, -606, -102, 58, -254, 0, 430, -184, 0, 258, 0, 180, 420, 240, 70, 0, 360, -536, -162, 472, 0, 340, -140, -400, -330, 0, 388, 0, -164, -48, 0, 214, 356, 62, 160, 0, -156, -120, 408, -472, 0, -400, -146, -1050, 372, 0, 0, 874, 12, 288, 0, 620, 156, 430, 126, 0, -182, -24, 164, -112, 0, 170, 664, 228, 268, 0, -434, -128, -374, 520, 0, -1886, 732, -188, 834, 0, 296, 252, -14, -352, 0, 632, 156, -248, 0, 0, -104, 176, -262, -385, 0, -496, -34, -242, -292, 0, 288, 37, -10, 80, 0, -1836, -36, 0, -376, 0, 650, -440, 204, -192, 0, -688, 22, -404, -170, 0, 126, -180, 244, -2, 0, -698, 0, 156, 268, 0, 116, -42, 424, -24, 0, 1540, -186, -1194, -300, 0, 268, -48, -108, -896, 0, 0, -8, 12, -164, 0, -46, 630, 92, -720, 0, -20, -150, -130, 600, 0, -106, -16, -158, 312, 0, 358, 50, -28, -648, 0, 94, -1010, -30, -414, 0, 256, -180, -4, 218, 0, 772, 316, 334, 0, 0, 264, -210, 366, 312, 0, -557, 102, -208, -66, 0, 556, 248, -80, 98, 0, 116, -244, 0, 284, 0, -412, 136, -1126, -88, 0, -318, 844, -122, -378, 0, -566, -46, -68, 90, 0, -136, 0, 34, -2, 0, -822, -446, -356, -304, 0, -162, 296, -318, 400, 0, 456, 282, 334, -906, 0, 0, -296, -74, -84, 0, -738, -382, -184, 784, 0, 380, -64, 38, -840, 0, 178, -510, 754, -26, 0, 724, -84, 88, 236, 0, 816, 120, -64, -288, 0, 1158, 172, -92, -364, 0, -1022, 292, -140, 0, 0, -400, -16, -308, 1006, 0, -542, 24, -298, 196, 0, -210, 140, 166, 582, 0, -132, -184, 0, -536, 0, -124, -92, -24, 846, 0, -632, 242, -20, 498, 0, -678, 12, -66, 108, 0, 328, 0, -1004, -4, 0, -374, -302, 278, -32, 0, -1510, 86, -1032, -110, 0, -16, -32, -532, 772, 0, 0, -496, 118, 56, 0, 138, -662, 248, -598, 0, 692, -6, 312, 344, 0, -516, 910, -934, 558, 0, 1118, -18, -108, -516, 0, 362, 82, -16, -1514, 0, -544, 258, -114, 164, 0, -200, -968, 142, 0, 0, -124, 292, -110, 240, 0, -258, -129, -474, -42, 0, -436, -162, 240, -68, 0, -1027, 202, 0, -188, 0, -132, 946, -456, -404, 0, 472, -446, -52, -200, 0, 172, -62, 0, -628, 0, -312, 0, -102, -802, 0, -84, -688, -600, 744, 0, 14, 192, 302, 676, 0, -968, -226, -90, -796, 0, 0, 274, 122, -522, 0, -346, -494, -284, -266, 0, -82, 600, -254, -320, 0, -128, 88, -104, -2, 0, -480, -24, 204, 252, 0, 1130, 102, -184, 124, 0, -1408, -68, 98, 212, 0, -1012, -594, 136, 0, 0, 88, -70, -572, -70, 0, 510, -14, 382, -332, 0, 68, -202, 76, 120, 0, -380, -16, 0, 298, 0, 66, -138, 118, -381, 0, 764, 148, 430, -586, 0, 606, -44, 144, -632, 0, 128, 0, 172, 56, 0, -648, -156, -360, 186, 0, -642, 48, 752, -472, 0, -366, -124, -152, 362, 0, 0, -40, -207, 352, 0, 252, 594, -558, 188, 0, -354, -356, -200, 258, 0, -22, -620, 64, 158, 0, -262, 72, 56, 244, 0, -292, -78, 8, -32, 0, 750, -120, -142, 20, 0, 640, 844, -94, 0, 0, -424, -152, -740, -310, 0, 342, -128, -728, 552, 0, 628, 180, 96, 90, 0, 706, -14, 0, -782, 0, 388, -304, 822, 578, 0, -60, 50, 26, 792, 0, 724, 108, -80, -1557, 0, -350, 0, 420, 96, 0, 250, -62, 1172, -150, 0, 322, -416, 94, -214, 0, 38, 252, 1142, 548, 0, 0, -1252, 226, -64, 0, 868, 450, -442, -298, 0, -160, 708, 82, 532, 0, -20, -732, 370, 114, 0, -784, -176, -28, 754, 0, -2470, -592, -190, -440, 0, 742, 0, 12, 660, 0, 616, -38, -372, 0, 0, 510, -4, 82, 410, 0, 352, 74, 176, -12, 0, 508, 80, 34, -488, 0, 530, -12, 0, -858, 0, 264, -704, -26, 160, 0, -530, -726, 48, 204, 0, 164, -60, -18, -380, 0, -370, 0, 1060, 70, 0, -32, 632, -1268, 1290, 0, -667, -168, -58, 394, 0, 332, 248, 14, -1018, 0, 0, -684, 508, 156, 0, -46, -546, 274, 1472, 0, 140, -864, -28, -790, 0, 190, 12, -448, -52, 0, -694, -128, -180, 208, 0, 442, -870, 226, 1728, 0, 810, -126, 160, -672, 0, 82, 344, 50, 0, 0, -152, 112, -566, -1286, 0, -54, 376, 556, -580, 0, -180, -76, -66, -104, 0, 360, 112, 0, -722, 0, -30, 196, -866, 30, 0, -370, 506, 150, 1060, 0, -1140, -84, 12, 518, 0]