# Trace form for 5577.2.a, downloaded from the LMFDB on 19 April 2024.
[0, 260, 2, 2, 260, 8, -4, 4, -6, 260, -12, 0, 6, 0, -4, -4, 268, 12, 2, -4, 16, 12, 2, 8, -12, 292, 0, 2, 4, 12, -16, -16, 10, -2, -16, -40, 260, 8, -12, 0, -20, 4, 20, 4, 8, 8, 32, -32, -2, 276, 38, 0, 0, 16, -4, 8, 28, 20, -8, -16, 20, 16, 16, 4, 300, 0, 4, -24, 36, -16, 48, -16, -6, 40, 60, 14, -20, -4, 0, 12, 72, 260, 56, -40, 20, 16, -12, 16, 18, 56, -12, 0, 104, 0, 48, -8, -28, 16, 18, 0, 332, 12, 28, -24, 0, 16, 20, 56, 6, 16, -20, -4, 60, 40, -4, -48, 52, 0, 24, 16, 32, 260, -20, 8, -40, -24, -4, -100, -6, -92, 0, -32, -6, -128, 88, -4, -56, -48, 32, -36, 48, -16, 88, 0, 268, -24, 60, -102, 160, 4, 12, -36, -20, 12, -4, 24, 0, -144, -12, 20, 12, -48, 2, 48, -36, 4, 48, -8, 84, 0, -200, -4, 76, -380, -4, -12, 0, 0, -372, -40, 16, 16, 0, -116, 104, -288, -8, 4, -96, 12, 40, 64, -26, 80, -228, 0, 308, 44, 2, -64, 94, 24, 24, 48, -24, -296, 32, 8, 0, 20, -56, -52, 120, -8, -152, 32, -12, -32, -196, 12, -8, 0, 56, -16, 28, 292, -172, -112, 28, -16, 56, 12, 40, -276, 0, 176, -176, -92, -24, -96, -36, -16, 2, 2, 48, 72, -36, 0, 64, -8, -256, 80, 4, -16, 28, -32, 428, 72, -12, -168, 0, 12, 72, 64, 12, 8, -48, 12, -80, -296, -16, 28, 236, 0, 84, 0, -16, 120, -12, -16, -8, -12, -8, -116, -48, 8, 0, 16, 10, 308, -272, 20, 96, -92, -60, 40, 132, -2, 48, 0, -22, 64, 76, 48, -92, 64, -16, -36, -60, -24, -48, 64, 0, -152, -92, -40, 12, 32, -72, -28, 16, -32, 40, -64, 260, 0, -128, 28, -16, 40, 8, 56, -120, 8, -8, 112, 36, 16, 0, 12, -24, 24, -12, 152, 156, 32, 32, 128, 80, 0, 76, 0, 18, 144, -32, -48, 80, -16, 136, 200, -20, 236, -172, 2, 0, -152, -32, -152, 328, 4, 160, 72, 16, 80, 40, 0, 120, 0, 20, -64, 32, 28, -176, 0, -4, 16, 28, 4, 8, 104, 0, 56, 58, 64, -240, 32, 8, 24, 56, -8, 540, -40, 48, 0, 4, 8, 312, 32, 12, -8, 120, -100, 0, 160, 32, 144, 0, 36, 4, 64, 144, 16, -116, -32, 164, -124, -40, -16, 280, 0, 56, 24, -2, 72, 184, -32, 40, 48, 88, 100, 4, 276, 0, 72, 20, 104, -16, -72, 132, 112, 38, 20, -16, -52, 176, 0, 84, 72, -116, 0, 72, 84, -28, -56, 12, 32, -32, 48, 0, -88, -64, 92, 40, 44, 116, -116, -96, 16, 64, -32, 64, 0, 124, 8, 260, 48, -4, 96, -68, 16, 148, -8, 112, -336, 0, 8, -136, 40, -88, 48, -136, 56, -136, 224, 28, -32, -56, 0, -108, -8, 80, -160, -166, 20, -4, -16, -284, 32, 136, -40, 0, 32, -8, -332, -40, -92, -32, 72, 2, 364, -208, -16, -296, 0, -8, 32, -8, 24, -68, -16, 20, -80, -52, -324, -8, 72, 0, -44, -56, 16, 6, 80, 0, -96, 92, -40, -380, 84, 16, 0, 256, -16, -56, 216, -56, -104, -116, 4, 272, -276, 40, -348, 0, -8, 32, 216, 300, 32, 334, 36, 16, 96, 0, -16, 108, 0, 88, -16, -346, -72, -32, 8, 24, -140, 4, 320, -212, 88, 0, 208, 108, 16, -200, -24, -180, 8, -4, -412, 108, -8, -152, 0, 36, -40, -44, 32, 60, -120, -24, 8, 136, -16, 16, 160, 0, 308, -84, -4, -248, 40, 48, -8, -148, -100, -388, -64, -508, 0, 64, -16, -236, 56, 40, -152, 128, -56, -400, 48, -6, 8, 0, -352, -96, -160, -464, 32, -68, 40, 24, 112, 44, 96, 136, 0, -416, -176, 60, 56, -72, -40, 32, 0, 332, 200, 300, 14, 0, -948, -32, 144, -576, 56, -8, -48, -20, -672, 112, -4, 276, 0, -672, -56, -780, -4, -72, -160, -116, -40, -220, -48, -28, -724, 0, -272, 56, -48, -316, -32, 32, -8, -160, 12, -980, 8, 8, 0, 168, 96, 192, 24, 72, -64, -22, 12, -320, -580, -4, 128, 0, 260, -128, 40, -468, -128, 272, -12, -16, -72, 56, -4, -992, 0, 96, -16, -720, -224, 20, -40, -44, 32, 16, 96, -208, 16, 0, 192, 20, -656, 256, -16, 208, -180, 116, -456, 504, 16, -480, 0, 46, -16, -8, -68, -24, 104, -12, -32, -524, 0, 164, -48, 0, 32, 56, 16, 252, 168, -128, -4, 308, -48, -200, -24, 18, 0, -132, -72, -280, -608, 24, 136, 78, 56, 204, -48, -184, 208, 0, 140, 112, 20, -12, -196, 48, -92, -12, 152, -512, 40, 188, 0, -808, 92, 144, 208, -16, 2, -16, -16, 104, -72, -96, -420, 0, 148, 12, 184, 100, 0, -200, 112, -72, 308, 252, -16, -604, 0, 48, 4, 560, 108, -304, 48, -80, -24, 280, -8, -8, -76, 0, 64, 128, 48, 408, 128, -28, 64, 68, 70, -104, -28, 216, 0, -700, 16, -336, 40, 20, 96, -148, 80, 8, -16, 18, 224, 0, -16, -200, 32, 128, 56, 224, 0, 40, 176, 156, 56, 220, 0, -212, -312, 332, -880, 64, 48, -236, -152, -620, -320, -192, 12, 0, 184, 44, 16, 308, 64, 264, -128, 28, 164, -8, 4, 384, 0, -4, -64, 312, -24, 96, 16, 128, -148, -516, -8, 152, 8, 0, 200, 424, -148, -40, -100, 256, 264, -208, 16, 12, 128, -428, 0, 452, 36, 584, -204, 20, -120, 304, 8, 240, 288, -68, 388, 0, 56, 80, -784, 16, -100, -6, -120, -96, -104, 6, -280, 192, 0, -560, -128, 200, 64, 64, 16, -80, 224, -100, -176, 256, -40, 0, 224, -20, -296, 432, 64, 104, 16, 168, 40, 488, -4, -600, 0, 56, 0, 288, 112, 304, 296, 60, 40, -80, -68, -64, 48, 0, 128, -28, 40, 180, -48, -16, 48, -376, 24, 756, 124, -4, 0, 376, 120, -8, -96, -76, -80, -32, -48, -704, -880, -100, 128, 0, 16, 156, 424, 52, 40, -412, 68, 184, 160, 4, 60, 152, 0, -392, 176, -12, -88, 34, 20, -24, -136, 24, 260, 208, 128, 0, 16, -164, -264, 392, 16, -240, 72, -280, 364, -544, 72, 10, 0, 32, -24, 348, -294, 140, -272, -32, 112, 420, 260, -160, 16, 0, 136, -4, 48, -468, -228, -20, -80, 8, 144, 384, 128, 96, 0, 392, 8, 64, 152, -64, -28, 156, 8, 344, 176, -40, -808, 0, 28, 128, -288, -36, 48, -164, -24, 176, 208, -200, -32, 168, 0, -172, 48, -4, 488, -128, 32, -152, 8, -488, -72, 36, -100, 0, 144, 40, 144, 384, 40, -8, -88, -6, 104, 108, -24, 572, 0, 16, -144, -776, -92, -64, 72, -84, 72, -68, 252, -24, 40, 0, 288, -388, -112, 72, -208, -244, 16, 184, -32, 352, -144, 52, 0, 252, 168, -704, 296, -6, 96, -272, 28, 192, 104, -32, 80, 0, -128, -88, 56, -14, 176, -108, 60, 24, -536, 88, -40, 404, 0, -12, 272, 96, -96, 108, -4, 12, 140, 8, -16, -224, 20, 0, 160, -56, 596, 276, -100, 188, 4, 0, 76, -92, -48, -540, 0, -336, 192, 24, 128, -8, -32, 32, -40, 264, 0, 72, 336, 0, 64, 114, -36, -608, 64, 36, -8, 228, 176, -120, -320, 48, 0, 64, -52, 580, 128, -4, 0, 104, -16, 120, 368, -24, 32, 0, -48, -52, 200, 88, -112, -360, 104, 148, 136, -600, -152, 264, 0, 264, -20, 40, -360, 144, -168, 104, 80, 268, 128, 88, 68, 0, -784, -16, 128, -16, -24, -28, 0, 180, 40, -2200, -56, -1568, 0, 60, 192, -1144, 60, 72, 248, -48, -40, -1668, -102, -72, -24, 0, 412, -296, 176, -1224, 0, 160, -168, -72, -24, -328, -112, 56, 0, -1528, 4, 20, 200, 52, 144, -212, 28, -480, -16, 12, 104, 0, 24, -368, 168, -44, 32, 56, -36, -400, 500, 120, 120, 24, 0, -1472, 192, -20, 628, -192, 268, 264, -144, 96, 96, 228, 12, 0, -144, 80, 200, -1768, 16, -168, -64, -4, 296, 160, -104, -544, 0, 128, 32, -176, 24, -128, -84, 100, 28, -1804, 88, -152, 400, 0, -688, 168, -288, 10, 56, 8, 40, 504, -144, 184, 224, 0, 0, 124, -44, -1504, 172, -12, 112, 24, 156, 376, 344, 136, 304, 0, 20, 0, 128, 200, -56, 360, 176, 72, 304, 12, -48, -1872, 0, 636, -80, -480, 116, -220, -48, -384, -152, 6, 392, -232, 208, 0, 296, 2, 4, -712, 32, -208, 48, -136, -152, -1892, 48, -336, 0, 272, 124, 568, 64, 104, -272, -36, 240, 428, 40, 160, 348, 0, 112, -136, 4, 72, 96, 48, -64, -88, 104, -1288, -172, 48, 0, 56, -88, 400, 424, 88, -184, 8, -8, -240, 352, 40, 40, 0, -40, 72, 256, 84, 40, -220, 128, -160, -704, 80, -104, -1112, 0, -80, -176, 356, 8, -312, -92, -128, 12, -200, -228, -32, -208, 0, 128, -84, 64, -52, -4, 104, -24, -216, 400, 444, 72, 148, 0, 76, -128, -1496, 8, -80, -172, -128, 0, 640, -380, 64, 296, 0, 80, 64, -116, 128, -40, -4, 240, -374, 76, -80, -144, 192, 0, 276, -12, -728, 240, 104, -36, -240, -48, -1288, 376, 0, 0, 0, 34, 32, 216, 288, 96, 328, 0, 252, -112, 144, 120, -48, 0, 1084, -188, -372, 56, 0, -112, -124, 352, 120, 280, 192, -40, 0, -84, 120, 808, -1260, -18, 104, -80, 16, 48, 788, 204, 616, 0, -380, 172, 48, 16, -232, 112, 92, -40, 656, 264, 272, -664, 0, 44, 296, 172, -192, 112, -292, -144, 256, -116, 584, 184, 60, 0, -1224, -224, 200, 296, 104, 104, -308, 96, 512, -60, -240, -188, 0, -288, 72, 168, 252, -200, 64, -88, 52, 40, -8, -56, 264, 0, 608, 112, 288, 620, -106, 4, -144, -48, 300, 336, -44, -24, 0, 264, -96, 8, -4, 24, 212, 232, -4, 224, 84, 12, 240, 0, 136, -32, 844, 104, -48, 32, 40, 64, 536, -68, 128, 464, 0, 120, -72, 64, 592, 8, -184, 156, 56, 40, -72, -32, -26, 0, -1432, -12, 56, 36, -60, 8, 72, 80, 92, 96, -16, 216, 0, 296, 224, 616, -228, 144, 400, -12, 56, 464, 440, 40, 372, 0, -284, 64, 92, 212, 60, 216, 60, -192, 308, -904, 0, -8, 0, 88, 96, 8, -1008, 44, -88, 0, 68, -200, -136, 168, 480, 0, 2, -88, 728, -80, -56, 32, -64, -296, 744, -64, 236, -16, 0, 200, 456, 160, 280, 104, 94, -64, -80, -284, 92, 216, 80, 0, 552, 24, 344, 368, -44, -40, 344, -4, -1080, 504, 24, 144, 0, 172, -240, 376, -460, 144, -64, 48, -56, 32, 128, 32, -292, 0, 464, 80, -24, 8, -108, -28, 48, 192, -52, 224, 140, -296, 0, 280, -108, 148, 220, -132, -24, -64, 32, 504, 692, -112, 316, 0, 64, 264, -1268, 8, 160, 384, 32, -156, 552, -104, -16, 192, 0, 328, -244, 234, -8, -132, -40, 184, -384, 20, 280, 120, 388, 0, 392, 168, 664, 156, -56, -88, 28, -176, -320, 80, 36, 48, 0, -52, 460, -728, 144, -84, -816, 32, -136, 296, 120, 288, -1080, 0, 352, -284, -36, 176, 208, -8, 392, -176, 0, -240, -134, 172, 0, 84, -152, 312, 740, 0, 0, -360, -360, -392, 604, 32, 268, 0, 344, 104, 744, 112, -56, -424, -12, 128, 200, 56, -176, 324, 0, 32, -212, -32, 444, 176, -144, -80, -12, 316, -1452, -64, -196, 0, 744, -144, -272, 600, 152, 40, 408, 12, -256, 48, 272, 100, 0, 72, -32, -256, -8, 88, 56, -116, 0, 416, -240, -36, 800, 0, 480, 64, -200, -32, -108, 56, -40, -60, 56, 388, 72, 112, 0, 192, 152, -240, 360, -16, -248, -44, 16, 120, -1024, 28, 896, 0, 28, -40, -164, -20, -72, 272, -120, 340, -88, 292, -188, 280, 0, -824, -368, -32, -236, 48, -172, 80, 80, -968, 568, -48, -400, 0, 172, -112, -776, -544, 24, 136, -22, 96, 64, 408, 28, -464, 0, 72, -228, 12, 160, 120, 16, -16, 136, 296, -412, -480, -1076, 0, 160, 488, 56, 232, -8, -128, 344, 376, -32, -1000, -256, 12, 0, 324, -152, 72, 32, 16, 336, 40, 40, 352, 8, -104, -836, 0, 120, 8, 168, -276, 356, 160, -132, 8, -36, 176, -320, -48, 0, -388, 408, -776, 304, -24, 74, -144, 304, 176, 300, -256, 40, 0, -520, -128, -948, 120, -176, 184, 164, -132, -280, 572, -152, 180, 0, -92, -92, 696, 216, -152, 68, 40, -192, 100, -24, -152, 392, 0, 296, 168, 208, -472, -300, -96, -116, -124, 160, 280, 184, 208, 0, 424, -36, 480, 576, -48, -288, 352, 164, 84, -4, -16, 760, 0, -988, 120, 920, 232, 176, 224, 2, -352, -1296, 168, -160, 432, 0, 144, 36, 2, 468, 8, 432, -48, 16, 48, -168, -192, 48, 0, 136, 92, -66, 256, -184, -184, 96, 72, 456, 216, 160, 628, 0, 32, -520, 404, -36, 80, 572, -132, -284, 416, 304, 176, -80, 0, -356, -16, 168, 320, 12, 232, 0, -352, 64, 24, 100, 272, 0, 240, 160, 468, -888, -8, -64, -80, 16, 736, 264, -64, 432, 0, -256, -124, 528, -1048, 176, -80, -48, -224, 180, 80, 56, 784, 0, 200, -92, 176, -40, 288, 4, -32, -248, -420, 408, 84, -608, 0, -348, -16, 632, -64, 40, -152, -120, 96, -268, 152, 28, 444, 0, 80, -160, 496, 128, -24, 480, -32, 272, 104, -48, -4, 416, 0, -1448, -32, 428, -160, 316, 20, -320, -124, 136, 768, -90, 72, 0, 384, 332, -440, 400, -28, -344, 84, -12, 320, -592, 176, -848, 0, 288, -104, -992, -168, 32, -184, -64, 288, -300, -152, -112, 200, 0, 312, -256, -8, -440, -128, 104, -8, -208, 12, 1224, -168, -818, 0, -1200, -240, -256, -272, 72, -232, 128, -148, 92, 208, 16, -64, 0, 64, -32, 480, 56, -108, -740, 8, 248, 592, 12, -16, 808, 0, 128, -144, 552, 140, -52, 8, 92, 8, 440, -632, 216, 68, 0, 236, -48, 264, -616, 0, 52, 112, 20, 540, 628, 12, 664, 0, 368, 88, 176, -20, -192, 32, -80, -384, -416, 48, -220, 652, 0, -16, 16, -296, 1008, -80, 156, -56, -420, 160, -588, 80, -16, 0, -780, 20, -776, 456, 80, -312, -224, 28, -304, 804, -88, 72, 0, 152, -256, 320, 236, 8, 214, -32, -32, -80, 472, 40, -716, 0, 616, -336, 160, 896, -52, -176, -4, 40, 84, 616, 448, -1040, 0, 456, 136, -40, 652, 0, 248, -204, 112, 304, -8, 136, 280, 0, -16, 64, 172, 12, -8, -176, 296, 208, 1144, 120, 520, 440, 0, 64, 580, 88, -820, -24, -12, -220, 492, -112, -704, -32, 44, 0, 448, -16, -328, 376, 120, 320, -408, 64, 536, -112, -8, 384, 0, 238, 312, -1084, -432, 164, 20, -12, -24, 24, -212, -288, -880, 0, -444, 128, -8, -744, -144, 12, 560, 248, -780, 272, -72, -116, 0, 308, 148, -1036, 96, -8, 164, -16, -48, -632, 1376, -220, -180, 0, 200, -44, -224, 8, 448, 80, 168, 96, -1664, -1240, 128, 264, 0, 440, -32, -64, 472, -48, -528, 96, -144, 16, -832, 0, 440, 0, 832, -40, 872, 344, 10, -80, -244, 256, -1064, 32, 120, -560, 0, 308, 380, 792, -624, -112, 696, -20, -392, 468, -272, 344, 144, 0, -296, -384, -1000, -80, -16, 20, 320, -40, 272, -112, -372, 360, 0, 608, 96, 24, -520, 132, 40, 144, 20, -760, 0, -92, 568, 0, -4, -256, -1164, 12, 128, 424, -60, 132, 968, 48, -260, 40, 0, -960, 380, 40, -552, 236, 288, 140, -16, 184, 2, 256, 132, 0, -144, 128, 1024, 152, 96, 168, 296, -2, 816, 704, -72, 312, 0, -1096, -72, 640, 48, -180, -112, -64, 0, -24, 284, 136, 560, 0, 792, -296, 552, 40, 172, 216, -152, 288, -22, -616, -232, 16, 0, -1448, -92, 168, -1892, 64, 256, 128, 160, -1752, 1376, -128, -1000, 0, 76, 156, -976, 104, 8, 296, 16, 152, 512, 48, -8, -1848, 0, -968, -336, 208, 808, 336, -92, 408, -50, 80, -1072, 76, 144, 0, -632, 64, 52, 496, -44, -72, -16, -240, 924, -2160, -16, 672, 0, -876, 384, 496, -936, -24, -884, -36, -168, 472, 12, 116, -1428, 0, 376, 216, -60, 120, -216, 132, -48, -24, -344, 368, 0, -24, 0, 8, -372, -1800, -344, -108, -272, -140, -48, -1236, -1876, -28, 188, 0, -464, -416, 396, 64, 220, -524, -48, -88, -1252, 88, -520, 80, 0, 540, -696, -236, -32, -200, -160, -608, 80, -152, 540, 192, 256, 0, 1096, -216, -580, -1456, -92, 96, 144, -16, -448, -440, 176, -440, 0, -40, 288, -532, -28, -128, 96, -48, 48, -40, 12, -192, 824, 0, -1292, 104, -68, -204, 104, 32, 72, 0, 312, 136, -28, -952, 0, -80, -72, 296, 496, -160, -372, -64, 168, -864, -728, -28, 776, 0, 232, -216, -1064, 320, -248, -64, 16, 520, 72, 410, 192, -840, 0, -336, -462, -32, -84, -432, -252, 80, 428, 32, -176, 112, 40, 0, -1260, 140, 464, -504, -12, 160, 268, -64, 168, 512, 0, 392, 0, 216, 168, 176, 260, -128, -292, -112, 40, 120, 488, 0, -352, 0, -88, 256, -868, -1416, -200, -132, -72, 432, -128, -1136, -80, 36, 0, 360, -228, -168, -76, 28, 200, -16, 72, 392, -72, -144, -544, 0, -16, -32, 112, 112, 236, 128, -8, -48, -1776, 40, 264, -264, 0, 496, 448, 280, 352, 228, 8, -72, 64, 264, -656, 320, -1184, 0, 484, 56, 192, 68, -16, 144, -108, -216, 360, 376, -120, -736, 0, 4, -12, -1368, 112, -248, -496, 8, -8, 400, 96]