# Trace form for 8035.2.a, downloaded from the LMFDB on 18 April 2024. [0, 535, 1, -4, 537, 1, -4, -4, -3, 527, 3, 4, -8, -6, 16, 0, 545, -6, 1, -8, -1, -4, 24, 8, 8, 535, -30, -28, -4, 10, -4, 0, -15, -28, 14, 0, 493, -6, -32, -16, 15, 6, -4, -8, -32, 13, 44, 32, -52, 539, 1, 12, -14, 2, -44, -4, -20, -72, 26, -12, -16, 10, -80, -8, 557, -2, -64, 8, -66, -40, 12, -48, -39, -58, 2, -4, -20, -28, -64, 8, -1, 479, -78, 12, 0, 6, -24, 28, 36, 10, 23, -24, 28, -64, 8, -12, -4, -26, -55, 8, 537, 6, 48, 4, -58, 16, 62, -48, -40, -46, -24, -52, 0, -22, 52, 12, 78, -94, 36, 0, 28, 563, 6, -4, -24, 1, 116, -36, 69, -36, -18, -36, -36, 0, -80, -12, 118, -30, -8, -48, 36, -60, 96, -96, 497, 14, -2, -72, 42, -102, -4, 4, -88, -74, -4, 0, 104, -70, 72, -48, 43, 36, -91, -72, -54, -28, 20, -104, 132, 521, -2, -20, -28, 6, -100, -4, -16, 44, 106, -28, -13, 26, 0, -124, 188, 38, 112, 0, 140, 36, 40, 24, -80, -42, -38, -16, 729, 54, 216, 28, -3, 44, 82, -72, 24, 10, 116, -32, 46, 40, -24, -88, 178, 0, -16, 4, 52, -16, 10, -84, -36, -20, 96, -116, -92, 527, 58, -80, -124, 18, 16, -192, 118, 106, -166, -4, 4, -24, -48, -80, -28, -82, -107, -148, -14, -31, -108, -104, -224, 64, 3, -136, -116, 36, 152, 72, 617, 2, 172, -72, -38, -18, -16, -68, -152, 30, 212, -268, 204, 6, 72, -108, -26, -188, 106, 4, -172, -10, -28, -36, 52, -2, 36, -68, -108, 0, 120, -68, -255, 477, -10, 20, -126, -46, 172, 12, 146, -140, 142, -76, -8, 20, 52, -12, 48, 14, 86, -144, 132, 4, 48, 72, -52, 26, 18, -20, -20, -50, 12, -32, 7, 68, 20, -48, 305, -6, 84, 56, -234, 48, -48, -32, -112, 38, 52, 28, -8, -122, 79, -8, 78, 12, -172, -128, -92, 48, 94, 4, 56, 70, 16, 96, 220, 22, -200, 24, -6, 248, -4, 12, 59, 599, 114, -132, -124, 22, 92, -84, 108, 46, -30, 4, -284, 2, 88, 0, 12, -12, -16, 72, -60, -16, -68, 56, -64, 36, 126, 52, -166, -30, 40, 36, -355, -84, 58, 32, 220, 50, 128, -40, 545, 114, -106, -116, -120, 25, 40, 8, 114, 2, 58, 156, 0, 20, -58, -40, -6, -156, -164, 84, 24, 58, 182, 108, 250, -6, 76, -100, -68, -148, 24, 0, -218, -42, -96, 40, -258, -92, 140, 28, -4, 583, 300, 96, -110, -30, -48, -4, 24, -26, 1, 8, 50, 36, 36, 32, -112, -46, -32, -48, 72, 14, 144, -4, 262, 40, 26, -88, -330, 100, -76, -88, -104, -48, 58, -8, -88, -150, -204, -116, -28, -124, -118, 152, 841, -14, -288, 64, 390, 32, 3, 24, 142, 0, -72, -36, -148, 40, -112, -112, -1, -168, 40, 128, 24, 62, 108, -36, -232, 6, -44, -100, 223, -260, 2, -4, 48, 68, 124, 132, -98, -94, 422, -140, -156, -4, 32, -12, -104, 767, -54, 200, -328, -244, 530, 28, 24, 48, -54, 20, -20, -66, 136, -8, 158, 30, -296, 196, -154, 74, 24, 164, -132, -188, -22, 96, -324, 130, -150, -188, 24, -352, -170, -204, -4, 54, -276, -4, 176, 46, 16, -44, -104, -236, 152, 8, 493, 30, 403, -32, 154, -144, -140, 28, -204, -70, -126, -60, -424, 4, 92, 76, -106, -122, -48, -80, -50, -332, -168, 152, 8, -178, 156, -48, -76, -11, 208, -64, -448, 268, 10, -76, -464, -102, -144, 4, -284, 22, -112, 104, -80, -196, -460, -152, 140, 535, 182, -436, -398, -104, -28, 76, 256, -192, -186, 28, -356, -302, 428, -112, 103, -130, -158, -132, 152, 64, -96, -12, 37, 116, -30, -316, 64, -190, 168, 12, -190, -18, -304, 140, -56, -254, 116, 68, 80, 20, -110, 52, -264, -152, 4, 160, 1168, -10, 132, -28, 227, -138, -192, 88, -122, -100, -160, -184, 20, -38, 364, -72, -200, 272, 232, -416, 246, -204, -144, -68, -404, 0, 118, 92, -4, 106, -212, -28, -108, 80, -10, -8, 178, -110, 12, -124, -62, -44, 160, 60, -140, -200, 108, 32, -21, -284, -199, 28, 2, 10, 264, -64, -24, 167, 46, 0, -552, -382, 156, -8, 528, -100, -498, 136, 130, -60, -204, 212, 222, 14, -74, 16, -304, -96, -4, -52, 272, -120, 344, 16, -24, 154, 56, -88, 160, 146, 168, 32, 644, 110, -68, 324, -224, -66, 120, 72, -178, -14, -16, 0, 2, -268, 114, 244, -128, -104, -170, 112, 1165, -50, -216, 32, -82, 220, 108, -140, 240, 40, -62, 40, 312, -154, -488, 4, -15, -54, 94, 72, 124, -72, -184, 464, -82, -6, 19, 260, -364, -136, 80, 36, -68, -108, -54, -60, 78, -282, -282, 68, 144, -28, -388, 384, -120, 34, -112, -44, -142, 38, -480, 8, -76, -448, -476, -16, 80, 673, -14, -316, -228, 63, -652, -104, 190, -96, 14, -164, -132, -94, -80, -36, -140, -58, -836, 80, 16, -136, 112, 200, -490, 34, -150, 252, -36, 80, -48, 224, -262, -490, -8, 0, -936, 118, -216, 380, -100, -190, -307, 60, -284, -148, -208, -24, -352, -132, 26, -84, -532, -420, 40, 36, -532, -280, -374, 196, 493, 116, 148, -216, 518, 14, -64, 60, -138, -126, 100, 128, -364, 60, -98, -8, 6, -200, 12, -244, -72, -36, -98, -36, -308, -6, -140, -140, 66, 86, -112, -344, 190, -232, 80, -56, -782, -26, 80, -4, -52, -270, -388, -268, 260, 168, -312, 312, -284, -364, -32, -256, 308, -246, 860, -64, -400, 132, -264, 52, -76, 623, -176, 148, -618, 62, -832, -76, 81, 16, -198, 44, -96, -148, -412, -16, -282, 94, 124, -104, -153, -226, 12, 108, -352, -18, -240, -164, -764, -108, 64, -284, -512, -300, 264, 40, 560, -218, -4, 40, 15, -452, -266, -272, -624, -24, -68, -136, -580, 66, -122, -292, -84, 42, 348, -28, 408, -290, -294, -128, 176, -150, 392, 496, 541, 6, 24, -128, -270, -284, 96, 208, -348, 78, -200, 16, -152, -124, -48, 184, -10, 88, -82, -116, -322, 8, 124, -88, 660, 14, -4, 80, 158, -270, -232, -52, -312, 108, -427, 356, 258, -170, -184, 172, 496, -92, 120, -204, -712, -18, 12, -92, 628, -264, -152, -8, -126, -112, -200, 128, 320, 316, 26, -356, -4, -96, 220, -336, 102, 227, -34, 88, -576, 122, 336, -8, 354, -234, 342, -12, -32, -412, 304, -4, -434, -12, -100, 92, 498, 50, -48, -340, -264, -304, 470, 44, 276, -378, -500, 32, -52, -120, 608, 92, 50, 13, 348, 20, 140, 318, -82, -136, 16, -496, 924, 112, -236, -48, 74, 4, 208, -364, 608, -464, 284, 14, -88, 28, -112, 304, 44, 292, -179, -38, -2, 168, 143, 32, 2, -180, 22, -556, 196, -152, 164, 14, -300, 56, -334, -304, -146, -36, 406, 148, 352, 32, 548, -20, 916, -164, -36, 14, 132, -448, 298, -116, -418, 204, -236, 164, 28, 356, 422, 258, 96, 88, 36, 216, 40, 276, -52, 54, -498, 8, 364, 34, -280, 100, 32, -48, 303, -56, -396, -202, -190, -56, 296, 42, 444, 392, -6, -16, 180, 220, 1122, 539, -582, -28, -476, 178, 88, 400, 532, -58, 178, 140, 324, -566, -248, 156, 68, -420, 208, 144, -244, 0, -324, 124, 376, 90, 1, -24, -210, 52, -184, -36, 50, 176, -216, 316, 144, -416, -200, -436, 364, 0, -28, -356, -294, -4, -96, -128, -354, -324, 34, 12, -116, 110, 116, -156, -177, -356, 246, -40, 236, -46, 320, -24, -424, 86, 104, -96, -380, 320, 224, 88, -235, 214, 392, -24, -14, 38, 164, -96, 32, 174, 122, -12, 336, -200, 132, 108, -194, -88, -410, 8, 168, 260, -440, 468, -160, -262, 266, -456, 260, 2, 540, -120, -384, 284, -88, 60, 804, -520, 292, -108, 128, 296, -232, -200, -80, -506, -16, 196, 156, -66, 2, 408, 34, -136, -44, -36, 395, -108, -14, 96, -508, -232, -448, -204, 282, -66, -8, -420, 456, 44, -236, -344, -244, 869, 46, -32, -172, 166, 72, -4, -268, 90, -136, 300, -192, -134, -68, -4, 10, -94, 192, -552, 608, -80, 184, -84, -88, -84, 422, -80, -82, 488, -992, -172, -20, -204, 42, 220, 288, 42, -172, 368, 732, 278, 348, 128, 102, 150, 452, 48, -972, 136, -54, 388, 120, 330, 244, 352, 194, -72, -100, -4, 108, -370, 32, -448, 188, -94, 160, 164, -556, 264, -464, 288, 319, -100, -112, -280, 1353, -53, 660, -28, 450, 720, 26, 192, 240, -162, 304, 160, -1024, 192, -773, 204, -30, 808, -312, 28, 664, 62, 102, -308, -44, 124, 116, 208, 364, 184, 408, -12, -562, -108, 616, 544, -126, 242, -520, -536, 300, -156, -172, -60, -816, 346, 10, -56, 102, -90, 456, 80, -244, -588, -20, 16, -16, -636, 328, 20, 228, 120, -64, -12, -196, 368, 0, -288, 616, -60, 138, 100, 356, -260, -76, -380, -188, 25, 110, 132, 210, 10, -396, 60, -504, 276, -146, -76, 676, -448, 336, 20, -448, 732, -490, 296, 60, 440, 520, 96, 210, 104, -886, 416, -876, 314, -80, -140, -466, 286, 680, -8, -26, 614, -300, -64, -80, 272, -48, -244, 216, 34, -352, 216, -1003, 288, 90, -292, -88, -50, -12, -8, -138, 48, 336, -224, 160, 4, -252, 264, 896, 18, -724, -4, -54, 276, 56, 200, 938, -220, 170, 48, -520, 130, -1020, 176, 557, -386, 302, -108, 338, 184, -1028, -53, -784, -202, -176, -352, -612, 234, -452, 72, -590, 24, 106, 240, -161, 194, 4, 132, 388, -2, -1104, -440, -280, 514, -16, 44, -484, 16, 516, 116, -454, 174, 968, 116, 210, -68, 486, 164, 268, 64, -372, -100, -292, 180, -64, -288, -908, 952, 452, -140, 296, -22, -438, 260, -8, 8, -990, 152, -730, -74, -998, 136, -676, -106, 40, 264, 16, -64, 464, 8, 208, 156, -128, 200, -88, 549, -17, -20, 650, 126, -844, -304, -180, -408, -23, -44, 316, 198, 124, 16, 354, -438, -196, -168, -66, 1128, 144, 148, -164, -88, 130, -356, -820, 458, 4, 148, -580, -444, -134, -36, -1344, 116, -84, -240, -96, -82, 328, -132, -252, -40, 156, 620, -1048, -240, -186, 4, 174, 314, -1198, 176, -996, 34, -276, 496, 320, -42, 204, -340, 10, -186, -1122, -76, -200, 464, 12, -92, 264, 86, 174, -104, 20, -328, -988, -312, 80, -76, -194, 480, 785, -38, 132, 168, 872, 76, -160, -96, 8, 362, 732, -48, -208, -390, -192, 56, -66, -24, -72, -384, -232, -164, 44, 284, 268, 26, -168, 1140, 720, -140, -96, 128, -634, 720, -232, 508, -39, -290, 80, -8, 204, 173, -1080, 304, 48, -348, -74, 0, -492, -94, 512, -40, 4, -344, -258, 56, 192, -68, 616, 8, -1008, -58, -376, -328, 250, 488, 72, 412, -534, -524, -148, -256, -44, 592, 356, -16, 64, -248, 504, -540, 22, 82, -640, 312, -760, 211, 2, 88, -48, 372, 472, -264, 574, -632, -98, 176, 100, 134, 848, 576, 178, 246, -692, -612, -264, 784, -24, -228, 46, 382, -458, -4, -144, 782, -124, -156, -396, -72, 230, 448, -394, -108, 64, -728, -152, -218, -96, -80, 264, 500, 348, -4, 24, -140, 296, -16, -20, 238, -784, 12, 440, 184, 246, 472, 74, -32, -172, 232, 36, -250, 1436, 160, 48, 156, 572, -84, -92, 608, 261, 228, -612, -28, -816, -204, -86, -792, -186, -296, -280, -386, 264, 44, 1265, -84, -232, -196, -54, 88, 368, 132, 116, 134, -136, 388, -184, -170, -64, 28, 1034, -400, 450, 40, -128, 528, 116, 504, 243, -180, 272, -92, -344, 72, -84, -4, -496, -132, -186, -476, 840, 266, 756, 8, 124, -68, 840, 500, -276, 360, -220, 1460, 280, -118, 340, -704, 1240, 716, -96, 532, -192, 58, -402, 24, -632, -282, 1396, -192, -1, -372, -72, 28, -148, -134, -548, 56, -640, 212, -48, -442, 948, 388, 492, -42, -488, 346, -478, -172, 210, 902, 724, -460, 524, 479, 134, -108, 4, -288, 176, 124, -728, 252, 378, -20, -598, 524, -396, 298, -404, 28, 192, -604, -412, 34, 368, -124, 337, -404, -78, -130, 372, 238, 72, 144, 210, 338, -948, 184, -56, -34, 184, 208, 376, 106, -262, 988, -532, -162, 56, 120, 1608, 52, 228, 12, -1032, -392, 448, -428, -202, -212, 360, -160, -194, 108, -632, 916, 1278, -322, 132, 8, -136, 128, -672, 228, -168, -54, -62, 270, 0, 272, -264, 88, 24, 6, -702, -732, 372, 152, 56, 644, -156, -730, 400, -140, 653, 128, -868, 30, -166, 24, 90, 488, 846, 6, 672, 248, -1080, 146, 64, -512, -1348, 440, 20, -52, 452, -474, 126, 40, 144, 344, -976, 64, -156, -104, 680, -168, 516, -228, -24, 260, -622, -74, -632, -40, -720, 292, -836, -100, -244, 310, 16, 260, -94, -132, -208, -68, 148, -74, 208, 672, -832, 300, 180, 28, -618, 632, -1119, -136, -46, 804, 624, 244, -544, 136, -510, 0, 744, -432, 180, -406, -1118, -560, 314, -96, 66, -588, 32, -408, 36, -128, -216, -496, 388, 285, 116, 468, -122, 939, -160, 176, -724, -174, -320, 132, -78, -556, -1378, 26, 136, 106, -416, 116, -412, 10, 604, -400, 806, 188, -344, 60, -752, -52, 218, 104, -708, -146, -220, -464, -152, -192, -680, -488, -692, 242, -280, 372, -18, -206, 23, 192, -932, 104, -432, -136, -340, -700, -562, -356, 106, 552, 1028, -524, -836, 44, -404, 292, -696, -70, -132, 4, 496, -446, -1112, -24, -102, -784, 452, 472, 200, 40, 944, -648, -20, 18, -372, -1188, -508, -60, 66, 476, -556, 454, -94, 24, 384, 154, -548, -756, 28, 228, -684, 468, 505, -42, 394, 224, -586, 46, -368, -228, 619, -418, 732, 166, -388, -128, -1248, 192, 506, -608, 220, 88, 112, -64, -64, -204, -472, -360, 114, -520, 364, -250, -12, -20, -602, -256, 896, 168, -82, 870, -1148, 1448, -210, -144, -788, -8, -576, -314, 8, -42, -504, 324, -96, -240, 160, 338, 140, 196, 272, -440, 934, 184, 568, -196, -716, -80, 82, -136, -104, 108, -282, 1180, 1080, -12, -908, -10, 408, -212, -464, 6, 242, -312, -1370, 6, -242, 292, -2176, -188, 40, 700, -376, 70, 1728, 112, 256, 164, 812, 372, -4, 559, 822, -88, -34, 124, -144, -580, 184, -1024, 294, -104, 244, 172, -128, -220, 4, -54, -364, -136, -101, 78, 688, 248, 672, -26, -762, 272, -404, -422, 12, 192, -320, -604, 946, -12, 868, -746, -172, -720, 194, 78, 20, -772, 496, -96, -704, 284, -910, 196, -55, -480, 58, 616, 340, -60, -780, -704, 678, -264, 244, -16, 172, 24, -232, -180, 582, -96, 182, 40, 256, -22, 210, -390, 186, 8, 944, -158, 512, -736, -56, 744, 156, -316, 376, 160, 524, -508, -452, -300, 408, -204, -900, 598, -188, 92, -892, -264, 122, -720, 537, 572, 1068, 56, 870, 152, 736, 236, -1640, -436, -88, -360, -294, 436, 1228, -250, -508, 520, 396, -344, 148, -682, 760, 40, 296, 6, -1076, -772, 652, -398, 272, -184, -1136, -156, 608, -180, -286, -832, -504, -276, 180, 656, 368, -152, 268, -2, -604, 108, -678, 526, 48, 264, 1276, 580, 766, -120, -708, -22, 156, 444, 395, 194, -248, -640, 72, 128, 600, 280, 428, -636, 186, -412, 92, 532, 1104, 4, 100, -1356, -494, 180, 152, 208, 280, 156, 164, 96, -340, -588, -1328, -36, -268, -472, -723, -506, 1178, -240, -316, 290, 92, -8, -58, 553, 230, 720, 196, -118, 336, 308, 32, 44, -6, -512, -198, -720, 124, 92, -724, -494, -944, 812, 20, 494, 668, -460, 890, 16, -396, 628, -278, 208, 88, 660, 372, -58, 1296, 76, -284, 142, 76, -60, -44, -632, 826, -748, 50, -63, 936, 460, -116, 208, 62, 16, 1392, -324, 64, 284, -104, -282, 994, -170, -220, 1216, -512, 532, 74, -8, 440, 348, -168, -536, 48, 332, -284, -1168, 832, -48, -120, -346, -276, -32, 68, -56, 542, 292, 560, 216, 232, 1044, 2132, 30, -110, -516, 342, 614, 784, 284, -714, 52, 1056, 440, -40, 44, 1012, 948, 331, 278, -612, -236, -1438, 720, 112, 330, -128, 478, -388, -8, 224, 292, 148, -472, -274, -184, 706, -244, -172, -46, -364, 276, -640, 466, 360, -44, -36, -288, 708, 4, 852, 204, 291, 316, -366, 906, 556, -940, 488, 102, 414, -408, -668, -314, -24, 1192, -596, -206, 448, 200, 644, 344, 1096, 456, 296, 56, -242, 136, -272, 294, -1184, -648, 1182, 596, 202, 272, 1076, 260, 872, -52, -680, 746, 484, 28, 92, 224, 1036, -176, -472, 306, -548, 268, -888, -274, -168, 236, 334, 60, 1612, -80, -404, -182, 388, 348, 0, 482, 488, -336, 138, 200, 108, -304, -32, 189, -90, -144, -332, 208, 364, -28, -928, 702, 1150, -304, -248, -834, 88, 620, 38, -22, 286, -456, 952, -164, 356, 460, 200, -294, 1904, -40, -262, 86, -1156, 940, 36, -408, 1318, 260, -488, -22, 512, -112, -166, 32, 52, 256, -546, 614, -192, 228, 372, -94, 626, 384, 144, 58, 1160, -536, 136, -412, 398, 20, -880, -456, -240, 412, 528, 38, 276, 12, 232, -1024, -740, -162, 75, 80, -536, 296, 88, 174, -836, -536, -975, 384, -79, 48, 108, -156, 644, -152, -686, -38, -356, -380, 78, 712, 380, 176, 1076, -88, -818, -792, 312, 346, 0, 176, -484, -308, -596, -168, -1335, 250, 652, -188, 86, -508, 828, 240, -676, -94, -252, -100, -732, 772, -138, 20, -1210, 736, 176, 60, -344, -564, -232, 258, -572, 176, -980, 224, 1660, 24, -940, -600, -796, 136, 36, 164, -2036, -510, -612, 96, -264, 286, -1612, -20, 350, -224, 1154, 84, 28, -110, -880, 404, -712, 214, -560, 500, 1448, -152, 808, 0, -196, -120, -350, -948, -86, 368, -380, 244, -178, 260, 650, 828, -1232, -22, 92, 196, -1208, -112, -824, 240, -772, 1326, 648, -292, 28]