# Trace form for 5415.2.a, downloaded from the LMFDB on 25 April 2024.
[0, 228, -4, 2, 228, 0, 2, 0, -12, 228, 4, -8, 6, 8, 0, 2, 220, 8, -4, 0, -8, 8, -8, 0, -6, 228, 24, 2, 8, -8, -2, 0, 12, 0, 8, 0, 228, 8, 0, 4, 12, 8, -8, -24, -16, 0, 32, -16, 30, 260, -4, -12, 40, 0, 2, -16, 48, 0, 48, -48, 6, 32, 80, 0, 236, 8, 32, -24, 96, 8, 8, -16, -12, 8, 40, 2, 0, -8, 4, 0, 0, 228, 40, -16, 8, 0, 0, -12, -8, 24, 4, -48, -40, 24, -48, 0, 10, 56, -36, -8, 228, 16, -20, 8, 56, 0, 8, -8, 6, -24, -24, -4, 0, -16, 0, -8, -56, 8, 32, -8, 6, 204, -40, -36, -16, 0, 0, -24, 20, 0, 8, 32, 32, 0, 8, 2, 40, 16, -56, 0, 24, 40, 8, 0, 220, 0, 40, 18, 24, 40, 2, -32, 0, 8, 32, -32, -12, 64, 16, -4, -12, 8, -4, 8, 88, 0, -48, 24, -16, 308, -8, 0, -56, -16, -4, 0, 0, -8, 48, -64, -8, 8, -32, 28, 48, 24, 0, -48, 8, 8, 0, 0, 38, -24, -8, -12, 268, 56, -8, 32, -12, 32, -24, 0, -68, 0, 24, 0, 40, 0, -24, 16, -96, 0, -72, 0, -6, 80, 72, 20, -56, 16, -28, -8, 80, 228, 16, 88, 0, 72, 56, -16, 176, 64, 24, 8, -64, 24, 16, 72, 30, 24, 28, 2, 120, -16, -12, 0, 144, 0, 4, -16, 8, 8, -40, 4, 380, 48, -24, 0, 24, -8, -72, 96, 56, 48, 0, -36, -56, 56, -2, -140, 160, -180, 40, -8, -24, -164, 48, 0, 72, 40, 56, -196, -48, 0, 152, 32, 12, 292, 88, -200, -8, -32, 90, 0, 120, 0, -72, -32, 6, -260, 16, 44, 0, 16, 8, 8, 224, 32, 8, 88, -12, -196, -24, 0, 0, 0, -52, 64, -56, 16, 96, 0, 228, 8, -32, -184, 8, 40, 32, -80, -72, 8, 88, -40, -24, -8, -92, 4, 16, -48, 0, -252, -64, 0, 8, 16, 36, 16, 0, 4, -120, 64, -72, 0, 88, -32, 16, 48, 12, 0, 56, -54, -128, 8, 36, 80, -56, 8, -32, 0, 24, -40, 80, 2, -96, 24, -8, -64, 0, -220, 104, -40, -6, 56, 72, -24, -104, 64, -12, 48, -28, 0, -120, 0, -16, -40, -128, 0, 220, 8, 64, -220, 8, 0, -32, 16, -36, 40, 32, -44, 8, 48, 32, 0, 224, 24, 0, 40, -32, 56, 32, -16, 72, 8, 16, -188, -120, 16, 56, -96, 30, 120, 200, -4, 40, 0, -20, 16, -40, 260, 80, -96, 76, 0, -16, 12, 176, 56, -4, 32, -16, -204, 40, 0, 0, -120, 72, -12, 24, -96, 0, 104, 24, 0, 8, -152, 40, -16, 8, -36, 184, -32, -32, 0, 136, 0, 104, -56, -10, -252, 184, 16, 396, -56, 2, -40, -40, -48, -28, 48, -68, 64, 0, -16, -64, -64, 16, 0, -8, -24, -24, 248, 48, -16, 144, 46, -136, 40, 36, -172, 108, 0, 160, 8, 0, 48, 144, 12, 64, -40, 48, 56, 80, 8, 144, 48, 80, 196, 40, -48, 0, 160, -12, 8, -128, 56, 264, -48, 6, -8, 96, -216, -24, 16, 80, -8, -32, 32, -8, 0, 8, -192, 120, -12, 96, 192, 80, -32, 80, -96, -64, -120, 104, 0, 0, 0, 200, -40, 0, 112, 176, -72, 80, 0, 236, -180, 4, -20, 16, -8, 12, 32, -56, 8, 128, 176, 54, 0, 16, 28, -56, 40, 32, -8, 208, 0, 144, -32, -6, -56, -16, -24, 112, 0, -60, 40, 0, 96, -24, 96, 96, -172, 0, 4, 208, -80, 168, 72, -112, 8, 232, 144, 28, 228, 136, 0, -16, 64, 8, 112, -1152, 16, -1176, 56, 124, -24, -1104, -16, -20, 8, -32, 160, -1304, 40, 0, 112, -12, 48, 24, -220, -1288, -120, -36, -16, 200, 8, 64, -176, 16, 8, -1472, 40, -128, 0, 40, -16, 216, 48, -32, 128, -56, -40, -1288, 2, 364, 32, -28, 16, -40, -16, 64, -24, 0, -8, -48, 44, -1424, 40, 24, -228, 16, -8, 48, 16, -164, -160, 56, -92, 8, 176, 4, 0, -1280, -32, -8, 128, -16, 112, 24, 0, 96, -192, 104, 32, -112, 40, -232, 152, 0, -64, 0, 36, 8, -8, 162, 32, 32, 228, -40, 56, -140, -212, 80, 2, 128, -176, 40, 136, -72, 0, -1176, 24, -32, 0, -24, -16, 376, -96, -2, 96, 80, 64, -128, -16, 8, 136, 152, -16, 0, -40, -24, -112, -1216, 0, -40, 200, -82, 8, 0, 116, 72, 48, 0, 0, 112, -260, 40, 0, -44, 112, -144, -12, 484, 32, 64, 24, -1128, -56, 72, 144, -8, -64, -88, 28, -40, -64, 0, 80, 12, 24, 96, 296, 152, 16, 128, 4, 200, 16, 4, -80, -272, 32, -1288, -8, -148, 0, 176, -48, 48, 0, 60, -108, 32, 0, 272, -88, -40, -8, 24, 60, 120, 104, -40, 56, 0, 24, -120, 16, -40, 332, -1272, 52, -48, 32, -48, 312, -288, 16, 8, -64, 152, 112, 0, 0, 112, -16, -96, -24, 72, -8, 152, 136, 10, 64, 16, -26, 192, 128, -44, -244, -1112, 56, 0, 0, 172, -8, 440, 92, -16, 216, -36, 32, -64, 16, -256, 56, -28, 48, -56, -8, -72, 0, 68, -16, 32, 88, 120, 152, 228, 80, 152, 96, -1264, -112, 32, 8, -72, 16, 40, 64, 0, 160, -200, 12, 88, 112, -20, 56, 72, -172, -312, 80, -112, 8, -128, 8, 368, 96, 48, 0, 352, -104, -32, 104, 56, 40, -1376, 36, 0, 200, 68, 144, -80, 0, 80, 120, 152, 96, 0, 68, -96, 80, 8, -32, 96, -32, -88, 296, 38, 340, 32, -8, -72, -8, 0, 136, -348, 0, -40, -96, 6, -284, -1256, 4, 264, 0, -128, 16, 88, -24, 136, 72, 52, 40, 72, -112, 0, -48, -24, 80, 128, 16, 56, 0, 80, 168, -320, -4, 12, -96, 104, 80, 344, -16, -16, 0, 0, -8, 40, 180, -1128, 136, 134, -16, 8, -16, -8, 32, -20, -24, 240, 136, 572, 8, 0, -132, 240, -32, 24, 80, 0, 112, -80, -8, -80, 128, 172, 112, 72, 16, 344, -32, -56, 0, 56, 60, -88, 0, -8, 152, -1056, 8, 40, -80, 168, 144, 204, 4, -48, 232, 32, 88, 0, -24, -32, 0, -108, 48, 72, -8, -72, 208, 56, -24, 280, -72, -104, 112, 6, 224, 8, 0, -520, 0, -20, -592, 296, 204, 72, 80, -752, 136, -1240, 52, 24, -112, -40, -800, -16, -88, 0, 224, 88, -64, 40, -36, -488, 216, -28, 216, 368, -8, 184, 88, -16, -40, 96, -876, 56, 0, 152, 24, 168, 0, 256, 232, 296, -8, 136, -24, -744, -368, 0, 40, 48, 0, -1264, 96, 0, -100, -64, -24, 544, 64, -120, -856, 48, 72, 32, 64, 20, -88, -56, 32, 452, 192, 92, 0, 192, 0, 112, 264, -780, 24, 280, -36, -48, -16, 8, 0, -192, -64, -32, -16, 130, -128, 0, 32, -80, -8, 148, -696, -1016, 48, -168, 0, 32, 184, -144, 28, -232, -32, -48, 56, 192, 0, -136, 64, 30, -116, 152, 124, -600, 64, 8, 256, 392, -64, -124, -32, 20, 48, 40, 2, 0, 64, 16, -176, 112, 152, 344, 88, 40, 260, 104, -828, 136, 136, -4, -96, -864, 16, 72, 0, 208, 104, 16, 80, -40, 224, -56, 80, 176, 72, 248, -48, -124, 56, -4, 0, -752, -80, 0, 32, -344, 96, 144, 224, 24, 184, -112, -296, 64, 64, -120, 16, 256, 40, 96, 352, -84, 0, 256, -12, 112, 72, 8, -792, -16, 48, -1000, -168, 64, 80, -48, 0, 128, 8, 80, -176, 0, 0, 336, -16, 220, 112, 264, 12, 40, -160, -224, 104, 48, 0, -8, 40, -812, 32, -184, 0, 424, 128, 40, -48, 152, -24, 280, 48, -8, -168, 320, 18, -384, 0, 24, -220, -16, 80, 0, -24, 24, 0, -872, -52, 136, 112, -120, -928, -40, 40, -96, 64, -40, 64, 456, -12, -24, 0, 2, 48, -164, -64, -308, -32, -840, -160, 456, -32, -588, 200, 0, 48, -384, 64, -364, 8, 0, 412, 56, 20, -696, 216, -552, -16, 80, 8, 64, 256, 112, -56, -352, -20, -444, -24, 32, 0, -1184, -72, 48, 112, 124, -180, 256, -32, -364, 96, -20, -80, 48, -32, 8, 112, -12, 16, 0, -896, -120, 8, -740, 152, 288, 64, 144, 80, -216, 112, -200, 16, -32, 8, 16, 120, 312, 0, -260, -136, -16, 296, 160, -4, -56, 80, 184, 16, 144, -8, 56, -64, -12, 16, 192, 72, 0, 144, 100, 232, 664, 8, 48, 320, 126, 80, 96, -20, -272, 128, -4, -128, -88, -156, 0, 0, -648, -48, -152, 8, 232, 184, 54, -16, 320, 64, 144, -48, 88, -176, -176, 32, 136, 24, 0, -792, -144, 0, -540, 48, 232, 128, -104, 152, -168, 80, -48, 16, 0, 72, 256, 8, 6, 0, -1256, 24, -80, 0, 200, -64, -48, 24, -772, 208, -16, -48, 56, -36, -80, 344, 216, -16, 0, 308, -40, -200, -888, 32, 256, -12, 136, 48, -8, 116, 72, -112, 240, 40, -706, 88, -360, 0, 176, -32, -44, -56, 280, 8, 96, 112, -56, -152, 80, -144, -72, 96, -48, 0, 264, -16, 0, -64, -108, 32, -1344, -100, -420, -96, -4, -776, -308, -16, 104, 80, -48, 120, 424, 0, -280, 0, -24, -32, 128, 144, 344, -296, 0, 0, 176, -14, 152, 0, -36, 176, 224, -8, -380, -64, 0, 192, 400, -40, 236, 128, 48, 12, 152, 0, -384, 104, 400, 24, -32, -64, -392, 16, -100, 0, 200, 96, 72, 248, -8, 216, 680, 28, -1224, 8, -652, -168, 32, 8, 40, 200, 140, 272, 0, -4, 104, -80, -32, 360, -8, -64, 248, 280, -4, 144, 240, 28, -104, 176, 32, 264, 80, 0, 304, 16, 48, 112, 368, -712, -604, -368, 76, 24, 528, 24, 184, -136, 104, 200, -24, -84, 0, 296, 0, -24, -136, -116, 256, 280, -48, 508, 276, -48, -168, -8, 164, 64, -1040, 192, -100, 0, 8, -200, 96, -52, -20, 328, 368, 0, 96, 8, 368, -80, -16, -96, 200, -4, -344, 72, 0, 112, -120, 24, 528, 120, -56, 192, 16, 0, 136, 184, 16, 8, 176, 8, 136, 480, 38, 0, 136, 52, 120, 384, -518, -80, 848, -24, 344, 32, -20, -24, 64, 0, -72, 80, -8, -296, 0, 80, 8, -64, 188, -172, -1016, -12, 304, 32, 252, -832, -136, -16, -8, 80, 268, 32, 432, 0, 312, 176, 8, 456, -120, 56, -372, -16, 284, -8, 472, 20, 32, 176, -8, 424, 328, 64, 0, 88, -44, 152, 144, 32, 496, -16, 48, 72, 424, 192, 480, -176, -12, -120, 392, 260, 112, 0, 264, -64, 208, 32, -80, 280, -968, 120, -104, 90, -188, 192, -24, 16, -48, 16, -1016, -152, 0, 8, -160, 0, 128, 16, 92, 4, -216, -88, 80, 24, -68, 96, 112, -116, 80, 80, -64, 0, 208, 0, -144, 280, -96, 532, 40, -28, 608, -80, 24, 32, -40, -8, -104, 248, -572, -120, 0, 0, 120, -24, 96, -784, 200, 48, 0, 8, 40, 136, -232, 2, 176, -16, 44, 176, -168, 0, 464, 144, 4, -56, 16, 72, 648, -8, -24, -144, -936, 128, 80, 0, -160, 168, 328, 16, 0, -80, -148, -128, 416, 8, -148, 264, -96, 152, 8, -128, 56, -32, -96, 152, 32, 0, 208, 0, 6, 16, -20, -116, -544, -8, -72, -112, 704, -144, 8, 192, 112, -104, -80, 0, 532, -32, 0, 232, -8, 56, 264, 528, -6, 48, -64, 256, -8, 184, 4, 32, -296, 80, -844, 128, -224, 0, 488, -36, -68, -32, 72, 424, -968, -32, 608, 16, -76, -176, -136, 20, 144, 96, 48, 0, 0, 88, -64, -256, -56, 408, 208, -804, -304, 136, -120, 192, -416, 16, 48, -64, 192, -220, 280, 0, 192, -336, -28, 304, 0, 72, 176, 56, -604, 16, -152, -8, -8, 152, 16, 344, 360, 240, 0, 160, 80, -8, 760, 60, 8, 392, 124, 136, -48, 228, -264, -40, -22, -168, 48, -76, -232, 0, 16, 16, 56, -48, -1192, 16, 84, 32, 512, 88, -648, 0, 160, -112, -140, 112, 40, 304, 0, 336, -384, 20, -156, 112, 136, 24, 8, 72, 248, 432, 16, -112, -72, 56, 192, 120, 56, 0, 424, -184, -96, -16, 364, -52, 184, -16, -8, 280, 208, 8, -136, -40, -160, 264, 176, 56, 0, 224, -24, 64, -68, -96, 344, 64, -184, 360, 8, 416, 48, -52, 224, -112, 24, -712, -144, 0, -580, -192, 112, 328, -752, 8, 412, 64, -180, 16, 280, -112, -72, 128, -64, 0, 456, -84, 0, 200, -128, 48, 240, 24, 136, -72, 68, 504, -520, 160, 120, 152, 16, -104, 344, 0, 16, 0, -48, 192, 0, 72, 424, -16, 136, 16, 96, 8, 456, 144, 30, 232, 304, -84, -80, -24, 0, 376, 384, 24, 104, -8, -748, 384, 224, -12, -152, 432, 28, -176, 0, -152, 320, -24, 144, 0, 320, 2, -40, 208, -36, 456, -1048, -96, 360, -144, 120, -80, -176, 140, -8, 456, 208, 72, 0, -16, 160, 8, -24, 276, -24, -16, -448, 432, -12, -32, 504, -120, -24, -224, 76, 120, 32, 0, -372, 24, 0, 320, 640, 136, 200, -64, 144, -32, -56, 28, 176, 32, 116, -680, 40, 0, 0, 304, 48, 32, 304, 184, 400, 208, 4, 92, 200, -24, 48, 128, 120, 48, 232, -16, 32, 0, 296, 16, -272, -48, 312, 144, 8, -24, 328, -52, -824, -192, 24, -48, -24, 8, 800, -48, 0, 304, 64, -44, -436, 72, -40, -88, 352, 56, -40, 80, -184, 88, -48, 4, 288, 360, 120, 0, -40, 80, -168, 280, 380, 152, 664, -92, -696, 136, -48, -448, -180, 48, 240, 32, -20, 112, 0, 108, -16, 112, -24, 152, 544, 24, 256, 96, 348, 32, -152, 0, 176, -32, 36, 96, 264, 0, -72, 224, 24, 12, 208, 224, 272, 208, -332, -72, 672, -8, -48, -544, 14, 472, -832, 12, 0, 408, -72, -160, 192, 176, 144, 72, -44, 56, 304, 96, 40, 144, -96, -16, 152, 112, -272, 0, 56, 168, -224, -816, -40, 416, 76, 168, 584, 48, 464, 272, -64, 136, -24, 76, 600, -208, 0, 128, -464, -160, 384, 288, 10, 644, -264, -36, -184, 96, -76, 32, 256, 96, -532, 328, -56, 0, 288, 16, 96, 72, -56, 520, -40, 56, 144, -312, 204, 56, -24, 68, -88, 56, -2, -176, 0, -196, 184, 40, 392, 292, -928, -140, -56, -64, -192, -276, -32, -24, -32, 88, 160, 324, -36, 0, -320, 624, -28, 16, 24, -180, 456, -240, -92, -288, 144, 220, 352, -32, 40, 12, 264, 8, 0, 104, 120, 216, 368, -8, -620, 224, -128, 84, -160, 136, -32, -32, -24, -32, 712, -52, 120, 0, -16, -80, 320, -164, 560, 0, -60, 112, 456, -12, 228, 208, 48, 136, 88, 0, 88, 96, 0, 124, 152, 0, 536, 568, -16, 184, -112, 304, 232, 216, 72, 88, 48, 110, -888, 16, -228, 0, -2016, 40, 16, -2592, 16, 280, 704, -34, -1784, -80, 56, 208, 40, -56, -192, -2576, -528, 48, 0, -196, 24, 376, -20, 280, -2072, 312, 248, 96, -48, 464, -352, 28, -108, 128, 216, -2344, 200, 0, 376, -304, -32, 212, 184, 12, 528, 288, 152, 8, -2600, -72, -24, 64, 40, 400, 208, 32, 0, 168, 112, 224, 800, -8, 96, -2424, 12, -108, -328, -36, -80, 176, -20, -304, 56, 292, -216, 0, -1016, -48, 80, 104, -2176, 544, 88, -112, -1152, 32, -36, -88, 44, -40, -400, -200, 80, 24, 0, -44, 104, 0, 432, -2736, -8, 272, 8, 164, -256, 360, -112, 48, -112, -32, 168, 544, 112, 0, 64, -140, -56, 128, 90, 140, -2952, -64, 8, 304, 272, 48, 32, 0, 208, 608, 176, 128, 0, 128, -320, 88, 120, 0, 608, 208, -624, 432, 108, -2464, 328, 0, -64, -8, -40, 124, -64, 0, -112, -128, -72, -984, 496, -16, -452, -40, -80, -120, 200, -32, 520, -48, 68, -16, -2024, -192, 0, 72, 6, -160, -1264, -104, 612, -176, 0, 296, -352, -260, 16, -192, -28, 24, 464, 44, 96, 0, 16, -48, 24, 28, 496, -2464, -48, -24, 280, 44, 112, -72, 48, 48, 184, 192, 128, -8, 0, 472, 292, 32, 80, -40, 148, 4, -192, 16, 40, 176, 388, 104, -24, -80, -2200, 104, 8, 0, 576, 176, 192, 16, -772, 392, 200, 8, -632, -128, 380, -72, -48, 48, -40, 88, 224, 320, 0, -4, 192, -224, 40, 44, 48, 32, 80, -2016, -196, 112, 160, -12, -272, 280, 8, 160, 200, 0, -768, -16, -244, 256, 488, 88, 0, -56, 32, 312, 320, 48, -496, 64, -12, 516, -8, 4, 0, 648, -64, 24, -2400, -196, 656, 480, -16, 220, 144, -148, 264, -16, -24, 208, 272, 64, -8, 0, 344, -152, -160, 0, -300, 472, 400, 64, 400, -96, 592, -408, 0, 64, 48, -1000, 424, -80, 0, -2328, -192, 0, 424, 32, 328, 84, 88, 52, 176, 288, -52, -336, -64, 40, 248, 704, 328, 0, 64, 64, -456, 248, 288, -8, 664, -64, 136, 288, -56, -80, -384, -30, 288, 56, 64, -24, 0, 16, -4, 224, 476, 240, 904, 60, 88, 152, 96, 140, -56, -56, -408, 24, 306, 88, 552, 0, 384, 8, 12, 440, 328, 72, -228, 80, 228, 56, 424, -32, -40, -208, -168, 228, 888, 8, 0, -2312, -220, -32, 104, 108, -616, 112, -32, -16, 240, 224, 208, -32, -26, 80, 480, -184, 208, 0, 184, -32, -400, 136, 32, 296, 8, -136, 288, 108, 744, 304, 56, 272, -40, 40, 488, -312, 0, -24, 16, -80, -2328, 368, 32, 256, 40, -120, 96, -8, -128, -16, 232, -80, 240, 408, 32, 0, -736, -16, -56, 480, -72, -188, 0, 28, 920, -64, -332, -32, 96, 8, 312, 128, 6]