# Trace form for 4235.2.a, downloaded from the LMFDB on 25 April 2024.
[0, 218, 4, 4, 216, 0, -12, 2, 0, 232, -4, 0, 0, 4, 2, -2, 220, 12, 8, 0, 0, 2, 0, 0, -8, 218, 12, 4, 14, 18, 20, 20, 24, 0, 20, 4, 252, 8, 24, -2, -24, 12, -4, 20, 0, -8, 16, 28, 24, 218, 4, -6, 32, -20, -44, 0, 6, 28, 20, -28, -4, 0, -56, 2, 148, 6, 0, 4, 56, -28, -2, -16, 24, 40, -40, 4, 40, 0, 28, 10, 0, 290, -8, -24, -20, -6, 64, -36, 0, 32, 0, -2, -40, -28, -84, 4, 80, 52, 4, 0, 216, -40, 44, -4, 96, 4, 48, 52, 128, 6, 0, 36, 30, 48, 8, -4, 4, -72, -8, -6, 24, 0, 48, -4, 16, 0, 6, 60, -32, 72, -4, 20, 0, 4, 8, -14, 8, 72, 0, 20, 10, -82, -96, 0, 388, 16, -8, 4, 88, -52, -12, -38, 104, 32, 0, -28, 84, -16, 108, 4, -32, 4, 12, 88, -8, 0, 72, -60, 32, 300, -12, -72, 0, -68, 52, 2, 0, 28, -56, -24, 32, 20, -24, -24, -24, 4, 144, 0, 248, 14, -8, 14, 192, 16, 68, -8, 216, 36, 0, 52, 0, 60, -24, -20, 76, 4, 84, 40, -64, 0, -4, -54, -140, -112, -140, 0, -40, -20, -296, -60, 0, 10, 0, -12, -206, 232, -40, -28, 24, 68, 40, 0, -188, 24, 232, -34, -72, -4, -32, -46, 48, 12, 0, -464, -40, 0, -368, 148, -32, 24, -4, -436, 22, 0, -164, -48, 196, 32, -312, 24, 20, -4, 120, 20, 0, 4, 40, -376, -156, 76, 20, -16, 8, -8, 32, 0, 72, 72, -504, 104, -6, -30, -44, 92, -148, 0, 0, -24, 96, 316, 100, -422, 80, -36, -12, 12, -48, 0, 232, 12, 0, 48, -136, -12, 120, 0, -360, 68, 0, 142, -64, -64, -8, 172, 48, 14, 28, 20, -136, 0, 0, -56, -212, -412, 400, 4, -96, 84, 64, -6, 0, 24, -232, 56, -44, -12, -32, 80, 128, 92, 20, 0, -272, 2, -76, 40, 132, -48, -168, -16, 2, 18, 0, 92, -48, -24, 136, 48, 48, -64, 32, 242, -200, 0, 32, 68, 296, 188, -300, 8, 40, -32, 64, 32, 0, -2, -112, 132, 44, 64, 48, -44, -100, 88, 24, 0, -264, -16, 232, 214, 188, 36, 0, -112, -100, -40, 0, 100, -48, 0, 220, 158, 72, 108, 16, 56, 16, 0, 144, 112, 80, -280, 48, 44, -72, 48, 424, 24, 0, 108, -8, 118, -152, 104, 208, 12, 112, -20, 40, 0, 40, 46, 64, 80, 24, -46, -4, 8, -264, 84, 0, 232, 140, 60, -16, -8, 52, 48, 46, 50, 8, 0, -84, 92, -412, -24, -368, 36, -48, -58, -440, -32, 0, -64, 176, 20, -368, -476, -112, -12, 28, 156, -80, 0, -324, 0, 72, 144, -196, -92, 96, 84, 40, -32, 0, 42, 160, 160, 304, 100, -4, -62, -96, 52, -136, 0, -392, 72, -384, 38, 0, -26, 192, -92, -34, 20, 0, 248, -104, 252, -396, 40, -216, 164, -48, 6, 24, 0, -176, -94, 24, 144, 184, -64, -8, 2, -392, -60, 0, 234, 64, -360, -48, 132, 16, -16, -136, 32, -96, 0, 36, 2, 208, 108, -280, -32, -36, -48, 168, 136, 0, 160, 152, 24, 12, -64, -136, 0, -256, 56, 6, 0, 244, 104, -300, 12, -180, -38, -240, 140, 24, 0, 0, -28, -52, 0, 620, 148, 256, -136, -64, 32, -108, 0, -56, -4, -380, 96, 0, 120, 16, 44, 116, 108, 0, 0, -48, 52, 40, 86, -8, -16, -32, -72, 140, 0, 168, -204, 208, 78, -344, -58, -168, 156, -4, 4, 0, 80, -220, -4, -16, -228, -24, 52, 104, 218, 4, 0, -48, -52, 26, 142, 140, -20, -24, -84, -280, 4, 0, 96, -152, 28, -192, 132, -16, -12, -328, 40, -120, 0, 12, -4, 224, 4, 300, -40, 344, 0, -12, 14, 0, 24, 128, 348, -192, -16, 128, 32, -32, 102, -64, 0, 56, -64, 68, 4, 532, -36, -8, 18, 16, -98, 0, -280, -40, 80, 2, -36, 168, 52, 16, 0, 24, 0, -256, 0, -896, 132, -712, 24, 14, 34, -996, -8, 0, 16, -20, -8, -736, 130, 96, 36, 152, 32, 52, 0, -1200, -76, -4, 20, 96, -54, 132, 176, 280, 18, 0, 128, -124, 370, 40, 248, -184, -108, 60, -2, -136, 0, -1112, -42, -8, 56, 68, -44, 176, 24, 392, 120, 0, 40, 20, -62, -512, 24, 108, -8, -20, 176, 256, 0, -328, -244, 480, 28, -56, 28, -128, 36, -840, 80, 0, -172, -88, 68, 336, 20, 88, 88, -148, 232, -80, 0, 264, 252, 220, 4, -656, 164, -16, 72, 4, 0, 0, 256, 148, 124, -328, 196, 88, -190, 24, 88, 124, 0, 64, 0, -1168, 440, 88, 70, -76, -124, -120, 0, 0, 124, 248, 248, -8, 88, -120, -42, -184, 140, 136, 0, -24, 16, -832, -84, -120, 196, 88, 12, -136, -2, 0, 4, 336, 124, -56, 348, -60, 124, -52, -24, -104, 0, -64, -94, 20, -136, -1344, -16, -20, -48, -192, -128, 0, 128, 40, -44, -344, -500, -216, 34, 200, -160, -8, 0, 84, 172, -136, 280, -72, 4, 40, -108, -1168, -70, 0, 136, 8, -368, -68, 36, -64, 88, 136, 68, 8, 0, 408, -228, 152, -8, -298, -272, 60, -116, 252, 108, 0, 4, -224, -60, -900, 48, -264, 16, 48, -24, -128, 0, -108, 56, 128, -8, 244, -94, -32, -158, 288, 56, 0, 8, 136, 56, -248, 4, -64, 0, 232, 180, 284, 0, -512, 28, 104, 438, -44, 32, 104, -304, 192, 4, 0, -252, 16, 180, 24, 168, -140, 28, -304, 64, -132, 0, 216, -44, -352, 474, 192, 152, 328, -8, 104, 100, 0, -1216, -12, -44, -1040, -40, -64, -2, -304, -988, -160, 0, 0, -156, 116, 212, -744, -28, 20, 0, 656, 128, 0, -320, -376, -1184, 104, 76, 80, -308, 188, 452, -24, 0, -948, -164, -976, 12, -540, -120, 54, 62, -48, 124, 0, 104, -184, 2, -272, -896, 40, -112, -176, 256, 52, 0, 352, 12, 120, 300, 456, 2, 20, -66, -1152, -96, 0, 24, 4, 152, -860, 96, 96, 28, -112, -388, -160, 0, 256, 172, 168, -896, -4, 182, -136, 116, 16, 0, 0, 24, 212, -114, 136, 178, 288, 48, -16, -92, -48, 0, -752, -96, 168, -188, -120, -184, 208, 20, -1184, 104, 0, -36, -168, 172, -16, 316, 16, 28, 256, 96, 256, 0, 12, -120, 80, 276, 264, 120, -240, -32, 624, -32, 0, 82, -56, -264, 80, 144, -124, -100, 88, 100, -16, 0, -1168, -140, 112, -190, -696, -228, -32, -264, 26, -56, 0, 340, -236, -8, 136, 0, -120, 158, -40, 70, 120, 0, 98, 78, 8, -840, -112, -108, 32, -44, -12, 232, 0, 4, -268, 432, 4, -20, 16, 64, 8, 256, -452, 0, 148, 56, -696, 408, 432, 128, 0, -20, -1220, -88, 0, 300, 232, -162, -24, -126, 232, 112, -64, 28, -8, 0, 432, 360, 88, -68, 176, 86, -32, 58, 188, -136, 0, 116, -8, 342, 928, -1260, -32, -104, 416, 8, -196, 0, 24, 258, -984, -92, -116, -24, -104, 104, -32, -4, 0, -30, -32, 172, 212, -284, 360, -60, 100, 304, -24, 0, 244, 340, -552, 218, 320, 212, 160, 68, 176, -248, 0, 256, -24, 64, 572, 56, 24, -68, -88, 168, 168, 0, 200, 16, -12, -604, -1424, -112, 4, 264, 256, -80, 0, 112, 88, -1068, 464, 120, -18, 242, -68, -108, -24, 0, -284, 80, 20, -138, 16, -64, 8, 88, 12, -6, 0, 260, -384, 116, 64, 224, 64, 136, -304, 108, -116, 0, -232, -196, 112, 64, -752, -316, 152, 44, -372, -28, 0, 56, 32, -396, -16, 20, -56, 8, -216, -220, -56, 0, -72, 176, 176, -172, 432, -64, -132, -96, 444, 24, 0, -96, 184, 4, 80, -20, -252, 96, -760, -1128, -40, 0, 424, 80, 252, 152, 152, -48, -204, 46, -80, 16, 0, -52, -80, 48, -1264, 252, 264, 16, -44, 100, 328, 0, 476, -48, 392, -552, -80, -44, 24, -52, 484, -12, 0, -186, -328, 20, -1088, 462, -112, -20, 14, -312, 384, 0, 104, -84, 224, 80, 352, -76, -64, 272, 0, 36, 0, 160, -24, 400, -56, -560, -112, 20, 32, 8, 40, 0, -1576, 32, 6, 126, 320, -24, 92, -176, 288, 76, 0, -1034, -172, -296, 456, 424, 92, 2, -576, 180, -108, 0, -80, 18, 600, -116, 416, 28, 168, 268, 80, -148, 0, 332, 272, -276, 468, -32, -16, -136, 168, -94, 24, 0, -92, -40, 848, 184, 384, 308, -440, 48, 20, 56, 0, 80, 232, 88, 132, -220, 68, 88, 80, 196, 288, 0, 936, -70, 484, -224, 1456, 388, 20, -8, -116, -92, 0, -28, -40, 56, 540, 274, 320, 38, 440, -204, -76, 0, 80, -100, 984, 132, 112, 8, 456, 144, 472, -48, 0, -1332, -144, 458, -4, 320, -60, -472, 104, -20, -280, 0, -880, -78, -428, -84, 240, -184, -16, 128, 552, 96, 0, 20, 216, 528, 816, -456, -216, 0, -136, 376, -112, 0, 128, -136, 392, 56, 512, 106, 0, -28, -72, -64, 0, -176, -104, 420, -716, 304, -4, -8, -344, 356, -56, 0, 672, -268, -16, 12, 964, 240, 32, 16, 224, -86, 0, 540, 352, -142, -756, 24, 24, 64, 160, 256, 80, 0, 596, 2, -592, 360, 136, -102, -112, 148, 196, 36, 0, 48, 192, 372, 296, 2, -168, -208, -296, -1148, -92, 0, 8, 68, 308, 244, 148, 184, 24, 104, 156, 68, 0, -348, 840, 264, -40, -476, 224, 112, 184, 16, -392, 0, 192, 350, 112, 220, 200, -228, -108, 6, -1080, 16, 0, 720, 120, -388, 512, -136, -16, 118, 568, 476, -4, 0, 264, 96, 316, -72, -1144, 12, -72, -48, 568, -106, 0, 436, 176, 548, 568, -8, -104, -4, -80, -110, 72, 0, 496, 20, 712, 56, 20, 176, 256, 20, -36, 96, 0, 136, -128, 4, 552, 844, -392, 80, 72, -2, -56, 0, 564, 188, 388, -20, -944, -256, -40, -272, 912, 172, 0, 80, 544, -1192, 172, 132, 56, 24, 208, 272, 208, 0, 648, -128, 132, 162, -40, 44, -176, -392, 440, 4, 0, 212, -200, 300, 240, -160, -112, -212, 164, -28, 8, 0, 600, -32, 124, 390, 808, 188, -24, 28, 248, 184, 0, 28, -100, 572, 624, -96, 400, 100, -256, 140, 128, 0, -2, -214, -2072, 260, 456, -32, 168, -72, 484, -232, 0, -20, -216, -696, 252, 122, -264, -232, 616, 424, 128, 0, -276, -416, 488, -16, -240, -120, 160, 158, 208, 176, 0, 220, -136, 54, 32, 368, 192, -44, -160, 624, 30, 0, 672, -192, 252, 556, 664, -24, 24, -250, 208, -228, 0, -64, 128, 112, -240, -956, 56, 288, 0, 8, 48, 0, -184, 0, -704, -312, -92, 130, -400, -52, 32, 40, 0, 20, 160, 304, 160, -366, -16, -308, 16, 86, -124, 0, 868, 24, -904, 88, 12, 196, 224, 104, 360, -408, 0, 754, -40, -668, -44, 436, -112, 24, 504, 112, 8, 0, -408, 60, 24, 760, -304, -8, -312, 100, -776, -80, 0, -374, -360, 292, 324, 4, -24, 196, 268, -708, 272, 0, 760, -60, 624, 210, -704, -408, -456, -84, 52, 80, 0, 532, -72, 0, -96, 24, -464, -108, 40, -218, -296, 0, 236, 148, -1004, 604, -828, -80, -148, -2, -796, -164, 0, -792, -688, 424, -1040, 384, 120, -52, -388, 272, 0, 0, -268, -68, 712, -1158, 432, -60, -56, -180, 132, 40, 0, 432, 296, -72, -20, 704, 336, 12, 424, 200, 96, 0, -452, 132, 28, -108, 744, 72, -24, 80, -648, -20, 0, -208, -24, 480, -348, 20, -68, -124, -12, 4, -40, 0, 208, 140, 336, 332, 116, 10, -368, 60, -724, 56, 0, 14, 0, 688, -704, -30, 240, 220, 128, 368, 24, 0, -792, 372, 356, -4, -1120, -96, 152, -186, 0, 300, 0, -760, 308, -8, 528, 32, 0, 12, -72, -422, -192, 0, 280, -28, -1166, 280, -256, -296, 152, 232, 248, -66, 0, 290, 128, -100, -152, -160, 8, 118, -32, -120, 144, 0, 1016, 88, -644, -248, -752, 20, 176, -64, -60, 12, 0, -64, -736, 648, -8, -98, 8, 300, 244, 96, 136, 0, -4, -312, 140, 264, -560, -248, -40, 4, 184, 220, 0, 146, 336, -264, -500, 864, -32, -24, -500, 128, 168, 0, 144, 220, 360, -60, 424, -108, -180, 172, -380, 152, 0, 244, 200, 96, 144, -148, -272, -8, -816, -304, -20, 0, -604, -188, -756, 176, 660, 20, 128, 224, 164, 78, 0, -172, 100, -256, 20, 224, 260, -140, -128, 24, -268, 0, -464, -6, 824, 100, -280, 134, 32, 0, 480, -204, 0, -12, -288, -44, 312, 40, -224, 28, -36, -68, -296, 0, -700, -232, 528, 78, 64, 68, -376, 252, 648, -184, 0, 952, -352, 268, 136, -116, 496, -32, -12, -84, -12, 0, 256, -8, 80, -354, 1168, 104, -72, -36, -360, 124, 0, -950, -176, -108, -944, 104, 200, -112, 24, -604, -112, 0, 184, 134, 940, -852, -696, 104, 240, -4, -76, -2, 0, 32, 420, -936, 1008, -8, 232, -156, 568, -64, -100, 0, -1036, 28, -672, -744, 992, 100, -80, 20, 160, 116, 0, 1008, -240, 32, 304, -1304, 72, 324, 164, 148, 264, 0, 600, -188, 400, -100, 2024, -140, 62, 264, -304, 132, 0, 8, -548, 124, -276, 222, 0, -256, 592, 620, 16, 0, -1824, 8, 604, -920, -216, -96, 356, 256, -208, 10, 0, -252, -242, 238, 52, 704, -496, -128, 16, -2, 320, 0, -864, -8, 96, 288, -92, 56, -352, 36, -540, -220, 0, 42, 48, -10, 1248, -504, 264, 104, -188, 124, 184, 0, -40, -468, 312, 28, 1412, 144, -168, 28, 1040, 340, 0, 350, 232, 336, 808, 360, -88, 32, -672, 650, -48, 0, -176, 176, 120, -28, -84, -72, 304, 320, 32, -20, 0, 136, 68, 114, -872, -624, 148, 136, 256, 748, 404, 0, -168, -12, 656, -936, 256, 298, -84, 268, 24, 124, 0, 256, 432, 164, 400, 64, -216, 62, -168, 304, 224, 0, -38, 216, -364, -236, -124, 308, 0, 112, -1132, 4, 0, 496, 928, 544, -52, 46, -28, 164, -104, 72, 204, 0, 736, 86, 268, -706, 400, 224, 48, -104, 772, -180, 0, 152, 80, 218, 92, -1088, -416, 8, 788, 192, -120, 0, 272, 252, -1036, 488, 944, 52, 232, -436, -176, 0, 0, 648, 72, -304, 1104, 52, -752, -108, -64, 60, -16, 0, 1720, -440, -956, 164, 428, -152, 528, -80, -800, 132, 0, 48, 340, 144, 764, -332, -880, -252, 4, 120, -464, 0, 696, 128, 88, 192, -84, -226, 64, -352, 880, 44, 0, -166, 80, -736, 564, 700, -40, -70, 72, 404, -56, 0, 856, -180, 224, 240, -144, -228, -48, -380, 1416, 56, 0, 524, -184, -1240, 384, -1148, -12, -88, -136, 32, 352, 0, 624, -6, 216, 440, -1464, 364, 64, -32, -1028, 336, 0, 488, -88, 652, 632, -128, 352, -22, -80, 632, 96, 0, 130, -50, 972, 272, 380, -40, 268, -134, 432, -308, 0, 678, -152, -336, 156, 184, -112, -48, 836, -1000, 120, 0, 1080, -180, 224, 16, -784, -320, 32, 154, 44, -224, 0, 320, -468, 20, 300, 532, 208, 92, -320, -148, -96, 0, -36, -160, 736, 404, 136, -78, -80, -260, 712, 208, 0, -4, 136, 768, -856, 280, -64, 480, -248, -4, -160, 0, 764, 172, -912, 684, -108, 70, -64, 324, 848, 64, 0, -20, 552, -664, 96, 1396, 248, -336, -48, 60, 248, 0, 196, -60, 104, -348, 448, 324, -20, 72, 824, -44, 0, -1142, -192, 432, 936, 1216, 256, 4, 392, -216, 88, 0, 56, -32, 48, 216, 944, 12, -380, 64, 784, -34, 0, 352, -88, -64, 568, 160, -44, -156, 912, -808, 48, 0, 1936, -120, 328, 192, 528, -88, -608, -516, 0, -296, 0, -316, -352, 68, -48, 124, 16, 124, 176, -306, -232, 0, 28, 52, -548, -12, -780, 152, 48, -64, 1024, -128, 0, 152, -532, -524, 152, 398, -64, -16, -312, 524, -220, 0, 192, -4, -192, 526, 128, -16, -100, -268, 1108, -208, 0, -1264, -96, 104, -232, -106, 96, 104, -72, -580, 40, 0, 108, -112, 264, 412, 208, 68, -524, 6, -132, -124, 0, -140, -116, 270, -616, 432, 160, -64, 216, -72, 236, 0, 168, 244, 808, -156, 6, -72, -168, -216, 672, -216, 0, -4, 184, 492, -548, -124, 496, 228, 132, 496, -56, 0, -508, 632, 848, -18, -1128, 184, 152, -328, 232, -100, 0, 372, 352, 36, -1020, 452, -312, -158, -80, 566, -136, 0, -1312, 0, 152, -1748, 384, 184, 248, 656, -1864, 28, 0, 196, -8, 344, 656, -2208, 30, 114, 92, -656, -620, 0, -624, 172, -1264, 526, -172, -214, -32, -364, -48, 64, 0, -840, -556, -2184, 320, 236, 176, -104, -32, 48, -120, 0, 260, 8, 236, 16, -712, -196, 52, 44, -224, -44, 0, -1166, 320, 588, 20, 608, -136, 72, -224, -2448, 72, 0, 8, 336, 768, 624, -692, -40, 24, -240, -1672, -92, 0, 272, 224, 64, -1916, -254, -340, 152, -1080, 120, -20, 0, 184, -264, -848, -4, -1232, -56, -404, 166, -1472, 312, 0, -1796, 52, 78, -240, -336, 272, 136, -216, -28, -88, 0, -1564, -32, 1336, -72, -1436, 158, 4, -208, 376, -132, 0, 72, -96, -536, 456, 206, -236, 48, -212, 596, 464, 0, -568, -24, 256, 28, 264, -392, -192, 440, 424, -72, 0, -2204, -248, 680, -1668, -200, -72, 180, -136, 24, -288, 0, 312, -32, -4, 134, 840, 196, -456, -248, -1212, 44, 0, 690, -8, -574, -2744, 732, 4, -116, -76, 172, 252, 0, 144, 196, -1832, -324, -512, 118, 268, 88, -120, -36, 0, -628, 168, 384, 524, -6, 640, 28, 784, -2128, 144, 0, 120, 504, -520, 164, 464, 164, 136, 0, 376, 26, 0, -728, -76, 8, 128, 608, 196, -576, 24]