# Trace form for 5290.2.a, downloaded from the LMFDB on 19 April 2024.
[0, 167, -1, -4, 167, 1, 0, -8, -1, 159, 1, 0, -4, -6, 0, -4, 167, 6, 3, -8, 1, 16, -8, 0, 0, 167, 14, 8, -8, 14, 4, 0, -1, 24, 6, 4, 159, -10, 8, 16, 1, 30, 32, -24, 0, 13, 0, 24, -4, 167, -1, 32, -6, 22, 24, 12, 0, 48, 26, 32, -4, -10, 0, 16, 167, 6, 8, -24, 6, 0, 4, 16, 3, -2, 6, -4, -8, 8, -16, -24, 1, 143, -10, -8, 16, -10, -24, -16, -8, -18, 13, -16, 0, -40, -8, 12, 0, -10, -25, -8, 167, 6, -16, -32, 14, -8, 30, -48, 8, -10, -8, -48, -8, -10, -16, 0, 14, 26, -36, -8, 4, 135, 14, 48, 0, 1, -24, -8, -1, 16, -2, 24, 24, -40, -32, -40, 6, 14, 0, 16, 4, 0, -24, 16, 159, 14, 14, 36, -10, -26, 0, 24, 8, 46, 40, 0, 16, -2, 8, -8, 1, 0, 23, -20, 30, 24, -16, -24, 32, 165, -2, 8, -24, 58, -16, -8, 0, -32, 6, 24, 13, 30, -8, 80, 0, -26, 40, 72, 24, 80, 0, -24, -4, 30, 22, 16, 167, 50, -88, 32, -1, 16, 50, 80, 32, 10, -48, 0, -6, 48, -32, 0, 22, 96, -8, 36, 24, 8, 46, -8, 12, 52, 8, 48, 0, 159, 6, 96, 48, -18, 0, 168, 26, -42, 78, -40, 32, -96, 24, 64, -4, 86, -53, -20, -10, 41, 16, -24, 0, 32, 1, -48, 16, 0, -24, -8, 167, 30, -32, 80, 6, -34, 12, 16, 8, 30, -8, -8, -24, -42, 16, 72, 6, -120, 14, 0, 0, 26, -36, -8, 4, 14, 8, 8, 16, -24, 8, -64, 3, 181, 6, 0, -2, -10, 16, 20, 6, 72, 62, 0, -4, 72, -8, -24, -8, 6, -50, 44, 8, 0, -24, -40, -16, 14, -66, 36, -24, 10, 8, 48, 1, -168, 0, -80, 143, -6, 56, -40, -10, 32, -8, -16, -8, -50, 40, 4, 16, 14, -23, -24, -10, -48, -48, 32, -24, 0, 70, -12, -16, 6, 0, 40, -8, 62, -48, 40, -18, 48, 60, -96, 13, 199, 38, -76, -16, -22, -40, -8, 0, 118, 26, 144, -40, -26, 56, -4, -8, -92, 72, 8, 12, 112, 40, 48, 0, -16, -26, -200, -10, 14, 40, 0, -25, -64, 86, 0, -8, -598, 16, -696, 167, -74, -96, -520, 6, -39, 24, 96, -16, -634, 10, 128, -32, 48, 0, 4, 14, -584, 64, -32, -8, -58, -36, 168, 30, 6, -16, -592, -48, -48, 16, -80, 8, 54, 24, 8, -10, 0, 0, -560, -8, 215, 100, 20, -48, 50, 64, 56, -8, -42, 3, 72, -10, -680, 16, -8, -16, 38, -2, 96, 0, 134, 232, -48, 14, -16, 54, -40, 26, -504, 0, 8, -36, 80, -8, -8, -8, -50, 0, 120, 4, 92, -26, 0, 135, -58, 152, -544, 14, -32, 41, 72, 48, 84, 88, 124, 0, 32, 16, 104, 1, 152, 80, -168, -24, 30, 0, -524, -8, 22, -40, 96, -1, 216, 86, 28, 16, 128, 136, 8, -2, -34, 106, 48, 24, 16, 48, 16, 24, 0, -30, 136, -40, 148, -104, 20, -32, 80, 34, -152, -40, -26, 32, -104, 6, -2, -56, 68, 14, -34, -8, 40, 0, -632, -34, -24, 16, 6, 56, -16, 4, 112, -90, -64, 0, -2, -24, -80, -24, 6, -24, -40, 16, -48, -40, 0, 159, -2, 13, -600, 14, -32, 112, 96, 14, 14, 54, 108, 36, 48, 28, -16, -10, -10, -136, -8, -26, -192, 0, 136, 0, 134, -80, -104, 24, 37, -8, -640, 8, -120, 2, -32, 46, 14, 0, 8, 40, -138, -56, -72, 0, 0, 32, 160, 16, 167, -18, 128, -2, -4, 28, -104, 8, 136, 62, 8, -8, -606, -16, 56, 1, 110, -112, 112, 0, -32, 24, 40, 23, 0, 14, 8, -20, -62, 144, 20, 30, -2, -48, 32, 24, -18, 12, 72, -16, 32, -10, 0, -24, -528, -24, -112, 32, -10, -98, 8, 165, 86, 56, -72, -2, 72, 32, 132, 8, 6, 24, 56, -24, 28, 0, 8, 58, 24, 32, -20, -16, -156, 2, -40, -8, -90, -104, -608, 0, 8, 14, 32, -32, 54, -24, -32, 6, 0, 40, -64, 24, 232, -80, 72, 13, 8, 99, -136, 30, 14, 96, -72, -8, 207, 2, 184, 80, -82, 40, 44, 0, -32, -82, -664, -26, 16, 16, 16, 40, 6, -26, 120, 72, 128, 4, -16, 24, 176, -28, -48, 80, -82, 48, 0, 0, 126, -112, -24, -24, 54, -48, 176, -4, 54, -48, -8, 30, -50, 40, 0, 22, -456, 22, -152, 16, -128, 0, -72, 167, 54, 32, 16, 50, 80, -16, 128, -88, -108, 110, -8, 32, 22, 112, 56, -1, -50, -58, 256, 16, 0, 120, -40, 50, -34, 57, 152, 80, 208, -80, 12, 32, -624, -90, 200, 10, 182, 56, -56, -48, 24, 56, -160, 0, -42, 40, 200, -6, 30, 0, 16, 48, 144, 16, 72, -32, 229, 62, 120, 0, -25, 200, -64, 22, 8, 6, 0, 96, -30, 104, 100, -8, 198, 8, -664, 36, -48, -88, 96, 24, -82, -122, -4, 8, 264, 88, 104, 46, 142, 0, 4, -8, 162, 112, 152, 12, -98, -149, 4, 52, 96, -8, 112, 8, -24, 18, 80, 48, 144, 112, -20, 0, 0, -18, 192, 159, 92, 168, -416, 6, 30, 24, 72, 96, 118, 8, 96, 48, 96, -74, 24, -18, 64, 24, -104, 0, 288, 162, 32, 168, -10, -56, 48, 26, 230, -48, -48, -42, 152, 8, 16, 78, -58, 88, 80, -40, -2, 72, 0, 32, -80, -24, 100, -96, -692, 8, 256, 24, 78, 126, 104, 64, -128, -48, -112, -4, 255, 84, 0, 86, 2, 0, 96, -53, 96, -50, -80, -20, 144, 168, 16, -10, 54, 80, 176, 41, -66, -36, -8, 16, 6, 36, -160, -24, 0, 32, 56, 0, 0, -128, 8, 32, -630, 100, -208, 1, 232, 88, -24, -48, 0, -48, 120, 16, -66, -10, -80, 0, -30, -112, -32, -24, -66, 74, 40, -8, 54, -80, 8, 167, 30, 8, -160, 30, 240, 20, 40, -32, -170, -8, 0, 80, 44, 208, 48, 6, 232, 62, -80, -34, -16, 56, -384, 12, -42, 32, 96, 16, 138, -200, -36, 8, 16, 0, -1024, 30, 78, -1156, 96, -8, 0, 52, -1024, -8, -194, -16, 104, -24, 36, -928, -24, -42, -16, -80, -120, 16, 0, 42, -788, 72, 72, -16, -112, 6, 151, 18, 48, -120, 82, -992, -96, 14, 126, -106, -664, 0, -224, 48, 0, 0, 60, 0, -608, 26, 110, 16, 8, -36, -16, 86, 32, -8, 42, 32, 24, 4, 24, -864, -112, 14, 13, -16, 0, 8, 142, -34, 248, 8, -64, -96, 52, 16, -72, 14, -1024, -24, 16, -16, 200, 8, -10, -136, -32, -64, 16, 0, 176, 3, -746, 158, -144, 181, -236, -800, 96, 6, 64, -32, 68, 0, -70, 128, -240, -2, 56, -66, -120, -10, 0, -16, 24, 16, 304, -88, -848, 20, 118, 144, 24, 6, 48, -2, 72, 72, 228, 64, 80, 62, 86, 40, -24, 0, 56, 0, 112, -4, -90, -954, -72, 72, -70, -40, 104, -8, -528, 69, -8, -24, 78, -48, -44, -8, 54, -64, 0, 6, 248, -120, 256, -50, 167, 142, -832, 44, -10, -88, -88, 8, 94, -42, 96, 0, 114, -40, 120, -24, 20, 0, 128, -40, 64, 64, -112, -16, 14, -1, 144, 14, -16, -680, 28, -66, 64, 84, 0, 36, 68, 24, 24, -24, 0, 96, -552, 10, -152, 8, 40, 8, 152, 78, 32, 48, 170, 56, -48, 1, 432, -10, -860, -168, 34, 48, 152, 0, 262, 112, 88, -80, 96, 72, -72, 143, 150, 112, -128, -6, 166, 88, -64, 56, -66, 150, -232, -40, -96, 4, 0, -10, 108, -682, 44, 32, 96, -64, 16, -8, -82, -266, 312, -16, 22, 24, -800, -8, 88, 88, 120, -50, 64, 0, 88, 40, 296, 216, 184, 4, -50, -96, 376, 16, 6, 86, -760, 14, 0, 24, -200, -23, 64, 118, 56, -24, 0, 104, 376, -10, 102, 176, 56, -48, 160, 8, 192, -48, 325, -10, 216, 32, -22, -104, 12, -24, 46, 36, 40, 0, 166, -724, 112, 70, 22, 128, 48, -12, -472, -52, 0, -16, 296, -60, -48, 6, 240, 0, 216, 0, 0, 126, 0, 40, -14, 40, 480, -8, 206, 64, 176, 62, 6, 112, 84, -48, -116, 14, -672, 40, 206, 360, 8, -18, 48, 0, -100, 48, 46, -72, -24, 60, 150, 224, 120, -96, 384, 128, 16, 13, 136, 128, 96, 199, -93, 24, 48, 38, 0, 26, 128, -76, -758, -8, 16, -16, 256, -933, 24, -22, 232, 56, -88, -40, -18, 54, 92, -8, -60, -28, 104, 0, 256, -128, 32, 118, -192, 116, 184, 26, 126, -168, 40, 144, 96, -40, 24, -40, -42, 42, 64, -26, -50, -56, 0, 56, -8, 192, -864, -4, 304, 48, -248, -8, 16, 96, 216, -92, -16, 0, -24, 72, 284, -26, 56, 8, 76, 0, -472, 12, 413, -42, 64, 112, -10, 72, -56, 40, -176, -74, 152, 48, -192, 56, 28, 0, -140, -26, 80, -16, 0, -864, 248, -26, 104, 22, 248, -200, 102, 0, 160, -10, -66, 176, 16, 14, 122, -128, 264, 40, -128, 8, -56, 0, -2, 16, 248, -25, 16, 2, -56, -64, 186, -16, 16, 86, 64, -24, -16, 0, -32, 32, -24, -8, 14, 84, 0, -598, 112, 24, -480, 16, 312, -122, -24, -696, -42, 80, -8, 167, -138, 94, -368, -74, 80, -24, -48, -96, 118, 0, 32, -520, 50, 264, -80, 6, -152, 182, 216, -39, -114, -100, -608, 24, 6, -48, -32, 96, 150, -20, 72, -16, 0, -1024, -8, -634, 66, 40, 280, 10, -32, 154, -192, 128, 0, 56, -24, -32, 12, 8, -584, 48, 160, -112, -52, 0, -458, 50, -200, 4, -16, 16, -136, 14, 22, 126, -104, -584, 14, 72, 96, 64, -288, 144, -24, -32, 80, -168, 0, -8, 301, 9, -912, -58, 6, -112, -392, -36, -120, -73, 136, 168, 118, -72, 0, 30, -66, -128, -88, 6, 48, 0, 192, -16, 168, 62, -216, -592, 102, -56, 232, -48, -152, 126, 32, -48, -28, -132, -80, 16, 30, -120, 200, -80, 0, -72, -112, 8, -480, 70, -488, 54, 290, -1064, 52, 24, 182, 216, 16, 8, 246, 192, 272, -10, 126, 78, -176, 0, 192, 4, 0, 0, 86, 134, -72, -560, -24, -56, -48, -8, 24, -2, 112, 215, -110, 32, -24, 100, -76, -32, 0, 20, 314, 144, 16, -48, 246, -80, -24, 50, -140, -336, -656, 64, 16, -16, -668, 56, 70, 44, 72, -8, -144, 0, 112, -42, 176, 168, -8, 3, 150, -76, -560, 72, -19, 320, 288, -10, 72, 42, -32, -680, -10, 80, 44, 16, 0, 130, 272, -8, 88, 72, 120, -16, -2, 64, 352, 38, 184, 48, 88, -2, 216, 72, -52, 96, 0, -112, -224, 0, 96, -640, -480, 134, 2, 8, -136, 232, 255, 6, -368, -48, 396, -328, 40, 14, 80, 46, 152, -16, 254, 24, 0, 54, -10, 88, 308, -40, 0, 64, 192, 26, -146, 134, -4, -504, 78, -56, -408, 0, -48, 182, -64, 8, 36, 0, 288, -36, -34, -48, 200, 80, -64, 112, -44, -8, 296, 116, -664, -8, -50, 16, 200, -8, -24, -50, -56, -50, 0, -32, -736, 0, 158, -280, -4, 120, 472, -32, -96, 4, 396, 143, 248, 92, 8, 136, 208, -26, -112, 2, 216, 0, 282, -48, 132, 135, -164, 176, 144, -58, 432, -152, 48, 152, -2, -64, -240, -544, -210, -16, 48, 14, -200, -10, 0, -32, -664, -880, 64, 41, 268, 206, 64, 72, 80, -8, 368, 48, 320, -2, 0, 84, 202, -344, -24, 88, 0, 0, 264, 124, 336, -80, 48, 0, -42, 272, -404, 32, -44, -48, 112, 16, 62, -34, 40, 104, -234, 160, 96, 1, 0, 160, 276, 152, 114, 24, 232, 80, 190, 64, 128, -168, -152, 8, 64, -24, 382, 102, -704, 30, 16, -88, -16, 0, 143, 166, 364, -524, 150, -24, 288, -8, 288, 286, 144, 22, -584, 8, 144, -40, 100, -38, -16, 96, 74, 24, 0, -1, 544, -10, 136, 216, 314, -152, -16, 86, 350, 104, 144, 28, -106, 72, 120, 16, 32, -10, 144, 128, 262, 0, -360, 136, 328, 324, -8, 8, -80, -24, 536, -2, 110, -1072, -28, -34, -80, 32, 8, 106, -2, 16, -216, 48, 0, 184, 124, 24, 502, -42, 56, 16, 160, 124, -88, 48, -18, 182, -120, 16, 408, 4, 272, 24, 246, 80, -152, 0, -20, 112, -600, -30, -184, 146, -64, 136, -10, 16, 128, -40, 174, -8, 184, 148, -224, 144, -160, -104, 46, 54, 0, 20, 230, -80, 184, -32, 56, 20, -696, 80, -208, -24, 560, 34, -98, -128, 48, -152, 160, -128, -248, -40, -26, 0, -16, -26, 174, 112, -152, 32, 174, 0, 272, -104, -4, 160, -16, 6, -208, 223, 96, -2, 128, -120, -8, -56, 0, -18, -64, 68, 144, 136, 96, 14, 464, 54, 32, -34, 444, 72, -56, -8, 216, 64, -284, 40, 181, -112, 56, 0, 239, 100, 32, -632, 78, -816, -188, -34, 288, -74, -160, -24, 190, 144, -72, 16, -18, 128, 104, 6, -80, 8, 0, 56, 480, 126, -8, -16, 162, -120, 184, 4, -8, -80, 36, 112, 50, 40, 104, -90, 356, 13, -112, -64, -128, 0, -16, 0, 76, 150, -16, -2, -32, 96, -400, -24, 96, 240, 156, -80, 46, 24, -336, -24, 70, 8, -16, 6, 0, 88, 224, -24, 110, 168, -968, -40, 70, 72, -56, 16, -624, -14, -208, -48, 18, -168, 192, -40, -18, 64, 152, 0, 96, 192, 536, 159, -10, 126, 152, -2, 206, -160, 152, 13, 6, -68, 72, -600, -80, 392, 56, 14, 200, 160, 0, -32, -40, 136, 168, 112, 180, -22, 552, 96, -154, 136, 60, 14, -312, -80, 128, 14, 46, 56, -96, 54, -120, 0, 124, 108, 294, -8, -40, 36, 28, -728, 136, 48, 70, 220, 360, 28, 200, 42, -24, -16, 0, -120, 112, -10, 0, 128, -696, -10, 160, 0, 12, -136, -554, -4, 160, -8, 278, 80, -48, -26, -42, 54, -40, -192, 62, -8, 104, 0, 302, -192, 104, 136, -144, 64, 72, 0, 407, -146, -16, 134, 12, 32, 96, -80, 352, 50, 112, -104, -304, 32, 0, 24, 126, 384, -88, 37, -74, 96, -32, -8, -10, -42, -752, -640, -112, 12, 248, 8, 360, -202, 16, -120, 110, 0, 120, 2, 22, -152, -160, -32, 32, 136, 16, 46, -88, -25, 736, 14, -160, 192, 52, 0, -200, 158, -240, 8, 0, 48, 648, 40, 84, -2, -492, -138, 344, 80, 256, -56, -130, 30, -8, -72, 346, -32, 48, 0, -384, -52, -320, 0, 112, 96, -408, 32, 88, 32, 64, 160, 218, 176, 28, 16, 48, -18, 232, 167, 252, -884, -176, -18, -192, -96, 0, 128, 420, -72, 400, -2, 216, -176, 20, -4, 16, 48, 128, 28, -58, 52, 580, -104, 6, 48, 40, 8, 54, 0, 80, 136, 196, 440, -124, 62, 32, 136, 40, 8, 208, 24, 296, -8, -42, 320, -200, -606, 222, -16, -176, -16, 0, 158, -16, 56, 194, -56, -192, 1, 92, 480, -16, 110, 32, -32, 56, -112, 312, 34, 96, 112, 272, 168, -32, 0, 240, 70, -784, -32, -332, 116, -392, 24, -112, 32, 112, 40, 344, -16, 24, 23, -50, 190, -112, 0, 230, -168, 0, 14, 885, -142, 136, 8, 122, 248, 616, -20, -242, -50, -448, -62, 448, -152, 140, 144, 406, -264, -32, 20, -10, 0, 200, 30, -8, 180, 304, -2, -96, -44, 16, -48, 14, 152, 72, 32, -34, 112, 16, 24, 112, -146, 248, -18, 0, -788, -40, 12, -1260, 30, 488, 72, -392, -908, -4, -16, 358, -656, 80, 32, -436, 96, 248, -10, 44, 16, -112, 0, 500, -876, 24, -24, 568, 216, -48, -528, 258, 192, -248, -24, -868, 110, 208, -112, -176, 24, -192, 32, 102, 54, 0, -10, 202, -708, 196, -98, 392, 16, 312, 8, -52, -208, 320, 165, 70, 352, 4, 86, -612, 48, 88, 56, -66, 0, 256, -72, 560, 192, 160, -2, 168, 14, 360, 72, -10, -964, 456, 32, -202, 64, 72, 132, 96, -120, 4, 8, 0, 257, -536, 6, 398, 232, -416, 24, -758, 222, 224, 56, -442, -8, -224, -24, 126, -2, 80, 28, -160, 224, 296, 0, 64, 290, 420, 8, 48, -620, 24, 58, 376, -90, 80, 24, 288, -64, -48, 32, 174, 8, -24, -20, 480, 64, 0, -16, -34, 280, 728, -156, -662, 72, 352, 2, 216, 200, 104, -40, -378, 72, 328, -8, 86, 336, -64, -90, -128, 0, 128, -104, 517, -78, 320, -608, 340, -644, 4, 0, 222, 62, 56, 8, 96, -696, 352, 14, -10, -202, 16, 32, 0, 120, 32, -32, 230, -132, 116, 54, 66, 160, -32, -24, -452, 34, 192, -32, -22, -208, -72, 6, 96, -16, 128, 0, 554, -96, 132, 40, -138, -22, -80, -64, 238, -80, -104, 24, 192, 38, 128, 232, 176, -916, 360, -80, -350, -24, 0, 72, 184, 192, 464, 13, -40, 224, -700, 8, 50, 176, 248, 99, 8, 3, 16, -136, 352, 152, -64, 30, 118, 0, 208, 14, -1020, -140, -8, 96, -8, 142, -752, -72, -10, -120, 256, -8, -40, 152, 32, 207, -58, 176, 240, 2, 0, 96, 496, 184, 26, -128, 256, 80, 132, 42, 64, -82, 56, -796, -68, 40, 304, -92, 104, 44, -300, 16, -376, 0, 64, 32, -424, -32, 80, -36, 248, -82, 86, -160, 160, -664, 378, 64, -192, -26, 232, 310, 224, 16, -142, 8, 0, 16, -782, -40, 184, 16, 80, -24, -8, 40, -12, 182, 208, 6, -128, 152, 312, -26, 184, 70, 352, 120, -250, 0, 0, 72, 388, -912, 48, 128, -282, 92, 392, 4]