# Trace form for 4030.2.a, downloaded from the LMFDB on 18 April 2024.
[0, 121, -3, -4, 121, -3, -12, 8, -3, 117, 1, 4, -4, 1, 0, 4, 121, -6, -7, -20, -3, 16, -12, 8, -12, 121, 1, 8, 8, 6, -4, 1, -3, 16, -38, 8, 117, -10, 12, 4, 1, 10, 0, 4, 4, -7, 0, -16, -4, 73, -3, 40, 1, 6, -24, -4, 0, -16, -2, -76, 4, 6, 1, 24, 121, 1, 32, -28, -6, -80, -24, 24, -7, 2, 22, -4, -20, -64, -4, -48, -3, 177, -30, -4, 16, 18, 12, -8, -12, -22, 13, -8, 8, -4, -8, 4, -12, -86, -11, -28, 121, 54, -40, 0, 1, 0, -26, -36, 8, 6, 12, 88, 8, -30, -48, -8, 6, 13, -12, 48, -4, 109, 30, -8, 1, -3, 64, 0, -3, -32, 1, 36, 16, -48, -28, -8, -38, 98, 32, -28, 8, 32, -24, 4, 117, 6, 34, 12, -10, 30, -12, -88, 12, 114, 0, 1, 4, -42, 80, 136, 1, 144, -11, -124, 10, 16, -44, 8, 0, 121, 2, -36, 4, 54, 24, 8, 4, -80, -30, -52, -7, -82, 8, -24, 0, -26, 4, -72, -16, 80, 12, 24, -4, -70, 42, -4, 73, 22, 4, 8, -3, 16, -82, 128, 40, -30, 32, 136, 1, 128, 32, -108, 6, 96, 28, 28, -24, 8, -2, -56, -4, 2, 136, -32, 0, 117, 26, 20, -16, 14, 16, 144, -2, 74, 13, -32, -76, 240, 32, 48, 4, -78, -15, 20, 6, -11, -24, 4, 1, 64, 1, 20, 24, 112, 24, 40, 121, 98, 16, -32, 1, 94, -76, 72, 32, 22, 16, -56, -28, 134, -40, -16, -6, 16, -30, 4, -80, 102, -28, 13, -24, -6, 96, -100, 24, -32, 12, -32, -7, 131, 14, -56, 2, -50, -124, -68, 22, 16, -90, -8, -4, -160, -72, 8, -20, 38, -62, -156, -64, -80, -7, -112, -4, -126, 110, 104, -48, 182, -72, -8, -3, 80, -192, -8, 177, 1, -60, -88, -30, -112, 32, -92, -4, -178, -112, 36, 16, -70, -3, -88, 18, 4, -84, 16, 12, -48, -82, 4, -8, -10, 0, 40, -12, 10, 0, -8, -22, -32, -52, 152, 13, -99, 102, 44, -8, 42, 8, 16, 8, 162, 6, 112, -4, 46, 8, 4, -8, -2, 128, -76, 4, -64, -16, -112, -12, 32, -70, 36, -86, 14, -12, -112, -11, -208, -42, 16, -28, 6, -40, 96, 121, -78, 112, -3, 54, 53, -48, 232, -40, -22, -6, -104, 0, 144, -32, -28, 1, -192, -176, 212, 0, -146, 20, -160, -26, -6, -16, -32, -36, -64, -60, -32, 8, -54, 8, -8, 6, -256, -24, -96, 12, 149, -30, 108, 88, -126, -8, 168, 8, 66, -7, -104, -30, 176, -92, 8, -48, -62, -74, 80, -8, 182, -48, -96, 6, 4, -14, -12, 13, -64, -64, 88, -12, 128, 16, -20, 48, -66, -112, 208, -4, -50, 42, 144, 109, 82, -84, -56, 30, -80, 25, -44, -8, -52, 20, -84, 1, 192, -80, 108, -3, 128, 100, 48, 64, -34, 128, -4, 0, -202, 8, -272, -3, 160, -6, -16, -32, 112, 64, -104, 1, 2, 86, -92, 36, 16, -80, 18, 16, 249, 22, -140, -48, -6, 56, -4, -28, -64, 174, 196, -8, -154, 128, 56, -38, -58, -32, 164, 98, 30, -12, -120, 32, -336, 38, -24, -28, -82, 13, -4, 8, 352, 66, -140, 32, 26, -4, 72, -24, -38, -32, 100, 4, 96, 0, 8, 117, -166, 103, -408, 6, 288, -88, 72, 34, 13, -106, 84, 12, 20, -44, 56, -10, -54, -80, 0, 30, -112, 8, -208, -12, -262, -48, 52, -88, -79, -40, -72, 12, -160, 62, 16, 114, 6, -124, -24, 0, 146, 48, 260, 1, -272, 40, 80, 4, 121, -94, 16, -42, 172, -120, -168, 80, 208, 94, -32, 136, 25, 168, 40, 1, 66, -272, -164, 144, -16, -40, 56, -11, 0, 1, -48, -124, 182, -8, 52, 10, 106, -96, 20, 16, -50, 180, 72, -44, -32, 14, -32, 8, -144, -44, 72, 0, 10, -182, 8, 121, 54, 24, 64, 2, 64, -12, 188, -36, 10, -96, 200, 4, -10, -80, -84, 54, -48, 12, -36, 24, -28, -18, 88, 8, 190, 8, -200, 4, -128, 122, 96, -80, -34, -8, -208, -30, -24, -64, 4, -52, 320, -120, -208, -7, -240, -151, 120, -82, 6, -220, 96, 8, 189, -70, 168, -24, -90, -136, -28, 0, 224, -134, 124, -26, 32, 0, 280, 4, -66, -106, -100, -72, 144, -4, -264, -16, 160, 14, 40, 80, -10, -76, 96, 12, -102, 48, -128, 24, -6, -184, -68, -4, -78, 48, -104, -70, 118, -52, 1, 42, -416, 214, 88, -4, -32, 80, 64, 73, 62, -256, -52, 22, -112, 0, -112, 4, 46, 46, 40, 8, -2, 160, 80, -3, -270, 26, -56, 16, 0, 1, -168, -82, 58, -135, 84, 128, -16, -56, -156, 40, -32, -286, -104, -30, -114, 56, -280, 32, 16, 64, -108, 136, -58, -20, -168, 1, 90, -32, 72, 128, -88, -92, 152, 32, -73, 150, -184, -108, -3, 56, 56, 6, -208, -38, 208, 96, -338, -112, -156, 28, 234, 48, 260, 28, 144, 16, -48, -24, 78, -70, -156, 8, -128, -88, -60, -2, -494, -16, 8, -56, -186, -24, -120, -4, -110, -239, -100, 2, 128, -260, -144, 136, -224, -70, -236, -32, 272, -24, 68, 0, 96, -22, 30, 117, -228, -24, -192, 26, -98, 16, -292, 20, 254, 8, 96, -16, -96, -46, -56, 14, -32, -192, -80, 16, 144, -82, 24, 144, -10, -152, -48, -2, -206, -20, -500, 74, -160, -124, 8, 13, -182, 80, -552, -32, 86, -24, 208, -76, 32, -96, 124, 240, -14, 12, 8, 32, -94, -226, 64, 48, -320, 0, -224, 4, 121, -50, 44, -78, 2, 160, 360, -15, -144, 26, -116, 20, -272, 160, 4, 6, -326, -368, 88, -11, -130, -316, 88, -24, -74, 140, -80, 4, 0, 76, -64, 1, -160, 64, -136, 64, 62, -36, -608, 1, 96, -32, 88, 20, -112, 48, 88, 24, 130, 38, -216, 112, 262, -12, -16, 24, -470, 62, 308, 40, -42, -48, 48, 121, 10, -96, 0, 98, -416, -96, 16, 16, -94, -128, 120, -32, 108, -8, 232, 1, 272, 34, -208, 94, 16, -116, 200, -76, -38, 0, -188, 72, 57, 2, -12, 32, 176, -155, -136, 22, 254, 68, 0, 16, -128, 10, 232, -56, 102, 4, 320, -28, -12, -256, 4, 134, -368, 68, 28, -40, 240, 14, -612, -16, -24, 152, -96, -6, -103, 6, 76, 16, 46, -108, -56, -30, 354, 118, 144, 4, -48, 200, 272, -80, -14, -160, -32, 102, -306, -72, -376, -28, -128, -210, 48, 13, -10, -60, -184, -24, -16, -256, 68, -6, -7, 212, -152, 96, -134, 50, 8, -100, 176, 96, -12, 24, -128, 34, -328, -32, 336, 84, -80, 12, 126, 304, -2, -32, -192, 0, -112, -7, -150, -342, -48, 131, -118, 72, -24, 14, 192, -32, -20, -56, -158, 72, -72, 2, -16, 13, 28, -50, 448, -68, -16, -124, -160, -12, 132, -68, -26, 168, 8, 22, 48, 122, -44, 16, 60, -32, -136, -90, -142, -64, 0, -8, -768, 328, -88, -4, 162, -270, 56, -160, -86, -76, 160, -72, 4, -11, 144, 8, 182, 232, 60, -20, -358, 0, -48, 38, -368, 48, -32, -62, 73, 54, -328, -156, -234, 24, 192, -64, -214, -78, 4, -80, 62, 52, 96, -7, -156, 0, -408, -112, 32, -160, 264, -4, 58, -3, 52, -126, -112, 48, 12, 110, 384, 92, 52, 104, 2, 40, -280, -48, -160, -32, -160, 182, -128, 40, -38, -72, 368, -7, 40, -8, 110, -24, -80, -3, -448, 42, -68, 80, -86, 52, -28, -192, 410, 48, -276, -8, 96, 240, 112, 177, 218, -176, 152, 1, -258, 0, 368, -60, -146, -34, 220, -88, 224, -44, 80, -30, 70, 266, -88, -112, -352, 84, -376, 32, -38, -26, 24, -92, 6, -40, 40, -4, 160, 80, 168, -178, -12, 192, -72, -112, -96, -288, -24, 36, 342, -72, 176, 16, -58, 234, -376, -70, 48, -24, 336, -3, 32, 374, -96, -88, -80, -112, -504, 18, -70, -176, -48, 4, 16, 12, 136, -84, -289, 10, 424, 16, 6, 104, -4, 12, -326, -50, 48, -48, -130, -260, 24, -82, 22, 288, 296, 4, -176, 28, 44, -8, -384, 20, 13, -10, 16, 328, -136, 0, -240, 134, 352, 40, 130, -72, -1152, -12, -206, 64, 40, 10, -834, 96, 28, 0, 94, -10, -352, -8, 310, 384, -48, -22, -16, 24, -188, -32, 78, -20, 640, -52, -38, 32, 192, 152, 16, 160, 144, 13, 208, 96, 56, -99, -57, -376, 72, 102, -112, -2, -220, 44, 302, -128, -56, -8, -16, -175, 84, 42, -528, 104, 16, 8, -42, 174, -300, 16, 82, 12, 64, 8, 608, 192, -76, 162, 352, -36, 304, 6, 90, 32, -60, 112, 144, 176, 112, -4, 322, -114, 448, 46, -338, -236, -40, 8, -448, -112, -268, 4, 16, -176, 296, -8, 80, -400, 248, -2, -368, 40, -56, 128, 20, 38, -104, -76, -308, 96, -7, 4, 117, -286, 596, -64, 6, -80, -312, -16, 64, 90, 36, -112, -192, 28, 132, -12, 452, 122, -484, 32, 368, 8, -72, -70, -32, 102, -32, 36, -106, 1, 624, -86, 314, 176, 152, 14, 446, -152, -192, -12, -64, 96, 8, -112, -22, -64, 112, -11, -48, 78, 12, -208, 5, 68, 24, -42, -208, 336, 212, 16, -56, 432, 8, -28, 62, 62, 284, 6, -384, 40, 120, -40, 208, 158, 152, 96, 22, 16, 72, 121, 386, -166, -448, -78, -112, 264, -280, 112, 210, 64, 444, -3, -26, -8, -40, 54, 208, 114, 492, 53, -330, -44, 24, -48, 1, 112, -428, 232, -394, 36, 336, -40, -304, 128, -40, -22, -66, -8, 248, -6, 96, -26, -34, -104, 160, -192, -464, 0, -156, 32, -48, 144, 672, 140, -116, -32, -222, 14, -560, -28, 128, 120, 120, 1, -114, -246, 572, -192, -2, -64, 120, -176, 336, -56, -28, 212, -16, -264, -688, 0, -29, -245, 72, -146, -206, 88, -96, 20, -528, 1, 184, -160, 198, 240, -40, -26, -38, -240, -364, -6, 464, 192, -60, -16, -4, 214, -72, -32, 38, 156, 728, -36, 320, 162, -128, -64, 108, -140, -200, -60, -134, 832, 44, -32, -80, -40, -184, 8, -48, -34, 216, -54, 78, 268, -84, 8, -158, -112, 352, -8, -290, 68, 416, 6, 38, -110, -68, -256, -112, -24, 160, -24, 514, 382, -40, -96, 688, 376, 176, 12, -96, 298, 136, 149, -78, 212, 80, -30, -380, 240, 160, 108, 334, 16, 24, 88, 162, 336, 312, -126, 98, 452, 616, -8, 272, -96, -100, 168, 54, 36, 24, 8, 784, -80, -8, 66, 160, -34, -208, -7, -38, 124, 24, -104, 73, 208, 140, -30, 656, 38, -68, 176, 294, -132, 4, -92, 160, -74, 248, 8, 336, 224, 456, -48, 2, 16, 192, -62, -4, -136, -264, -74, -288, 256, 16, 80, 256, -104, -136, -8, -80, -384, -344, 182, -86, 72, 368, -48, 493, 22, 424, -96, 28, 304, 80, 6, -160, -150, 4, 4, 206, 396, 344, -14, 22, 176, 140, -12, 144, 8, 48, 13, 490, -206, -4, -64, 246, 344, -296, -64, 1088, -130, -240, 88, 14, 32, 352, -12, -222, -112, 14, 128, -592, 212, 108, 16, -240, -46, -236, -20, -130, -408, 472, 48, -144, -110, -60, -66, 448, 96, 68, -112, -334, 320, 64, 208, 496, -176, 264, -4, 452, -3, 200, -50, -64, 620, 400, 42, -48, -6, 116, 144, -290, 160, 108, 109, 70, 176, 192, 82, 160, -260, 232, -84, 46, -240, 576, -56, -122, -4, -368, 30, 104, -22, 16, -80, -416, 40, -104, 25, 132, -74, 56, -44, -112, 240, 144, -8, 208, 134, 16, -52, -98, 304, -48, 20, 368, -224, 228, -84, 528, 384, -56, 1, 62, 448, 316, 192, 154, 88, -264, -80, -150, 102, 192, 108, 510, 752, -96, -3, -544, -32, -156, 128, -70, -312, -224, 100, 730, 80, -44, 48, 544, 248, 1, 64, 298, 394, 216, -34, 32, 152, 232, 128, 177, -282, -364, -4, -274, -128, 136, 0, -80, -254, -104, -202, -176, -12, 136, 8, -34, -2, 68, -272, 178, -16, 0, -3, 176, -30, 208, 160, -114, -32, 136, -6, -94, -192, 64, -16, -138, 328, 160, -32, -96, -142, -24, 112, 62, 48, -248, 64, 48, -20, -4, -104, -60, -240, 240, 1, -214, -144, -484, 2, -128, 64, -168, 86, -518, -112, -272, -92, -32, -104, -140, 36, 498, -14, 412, 16, 272, -76, 280, -80, 46, 57, -636, 18, 0, -28, 160, 16, 394, 48, 96, 249, 348, 184, 100, 22, -592, 230, -56, -140, 18, -496, -584, -48, 82, 192, -20, -6, 64, 248, -192, 56, 34, 270, 32, -4, -194, -32, -160, -28, 48, -124, 776, -64, -48, 12, 160, 174, 98, -48, -48, 196, 160, -52, -64, -8, -238, 64, -432, -154, -206, 52, 376, 128, -262, 8, -64, 56, 204, 136, -8, -38, -384, -547, -116, -58, 240, 124, -456, -32, 48, 38, 224, 164, -208, 168, -240, 98, -704, 18, 136, 30, 1, 448, -360, -12, 56, -272, -68, -120, -47, -88, 176, 32, 481, -38, -592, -336, -218, 48, -228, 38, 176, -106, 96, -24, 166, 152, 100, -28, -22, 64, -312, -82, -624, -24, -96, 13, -128, 30, 56, -4, 438, 344, -216, 8, -48, -208, 28, 352, 90, 20, -480, 66, 158, 13, 148, -140, 144, 160, 104, 32, -28, -750, -60, 26, -48, -40, 2, -4, 0, -256, -100, 72, 326, -60, -360, -24, 202, -336, -8, -38, 240, -216, 456, -32, -70, -96, 104, 100, 26, -328, 96, 4, -160, 38, 160, 96, -698, -42, 256, 0, -158, -496, -36, 8, 64, 128, -208, 117, -58, -54, -648, -166, 94, -48, 120, 103, -38, 58, -112, -408, -128, 152, 216, 6, 464, -288, 592, 288, -4, -180, 68, -88, 612, 26, -1168, 72, 566, -72, -28, 34, 672, -192, 52, 13, 86, -84, -304, -106, -64, -160, 84, 84, 566, -8, 304, 12, -138, -272, 248, 20, -98, -236, 0, -44, 64, -178, 40, 56, -48, 0, 472, -10, -208, -48, 268, -54, -432, 52, 4, -80, 674, 220, -120, 0, -794, -200, -176, 30, -274, -206, -96, -112, 198, 16, 504, 8, 338, 240, 336, -208, -256, 88, 304, -12, -599, -230, -64, -262, -50, 200, 88, -48, -272, 178, -284, 52, 256, -48, -208, -88, 218, -20, -104, -79, 302, 48, 856, -40, -86, -226, -104, -72, 464, -124, -104, 12, -128, 490, -24, -160, 430, 400, -304, 62, -134, -224, -272, 16, -176, 96, 656, 114, 0, -11, -320, 6, 704, 88, 140, -124, 160, -34, 516, -24, -480, 608, -664, 0, -292, -262, -92, 146, 304, 20, 864, 48, 194, -138, -28, 260, 38, -208, -72, 1, -272, -60, 80, -272, -16, -152, -88, 40, 272, -48, 144, 80, 222, 152, 212, 4, 416, 90, 504, 121, -612, -316, 456, -94, 384, 224, 544, 16, -94, 76, 121, -42, 560, -304, -80, 172, 608, 4, 8, -120, -158, 34, 628, -168, 54, 120, 264, 80, -542, -48, 596, 208, -164, -240, 4, 94, 272, 464, -36, -32, -48, 10, 784, 136, -154, 208, -676, 25, 342, -40, 32, 168, -240, 46, 128, 40, 222, -384, 792, 1, 78, -176, 792, 66, -384, -316, 240, -272, -240, -30, 680, -164, -4, -36, 0, 144, -208, -238, 300, -16, -52, 108, -80, -40, -96, 128, -8, 56, 720, 0, -24, -11, -230, -38, 216, 0, -426, -24, 320, 1, 167, 54, 312, -48, -62, 192, -128, -124, 26, 198, -560, 182, 192, -52, 28, -8, -446, -208, -368, 52, 70, 80, 216, 10, 0, -74, 48, 106, 320, -80, -328, -96, 66, -448, 18, 20, 70, 312, -240, 16, -416, -238, 120, -50, 37, -584, -408, 180, 96, -26, 248, 72, -432, -200, -4, -44, 682, 432, -324, -32, -176, -120, 152, 14, -38, 12, 400, -32, 444, -232, -160, 8, 128, 192, -36, -144, -138, -72, 624, -44, -208, -466, -124, 72, 64, -800, 480, 0, -478, -114, 152, 10, 6, -8, -100, -182, 72, -432, -140, 8, 28, 144, -944, 121, -122, -256, -556, 54, 112, -112, 56, 24, -166, 112, -536, 64, -176, -440, -912, 2, -112, 170, -16, 64, 6, -416, 704, -12, -78, 0, 52, 188, 64, -16, 68, -36, 160, -509, 32, 10, -402, 120, 84, -96, -370, 46, -40, 200, 246, 12, -16, 4, 66, -134, -88, -10, -48, -176, -14, -80, -320, -122, 132, -84, -208, -472, 224, 54, -48, 54, 40, -48, -384, 328, 88, 12, 114, 208, 80, -36, -1184, -4, -216, 24, 78, -128, -888, -28, -114, -27, 208, -18, -800, 336, 20, 88, -10, 104, -704, 8, -142, -304, 284, 190, 208, -176, -112, 8, 151, 122, 344, -200, -244, 672, -140, 4, 138, -38, -580, -128, 8, 328, 600, 122, -30, 374, -104, 96, -784, -124, 424, -80, -214, 30, 216, -34, 46, -224, -112, -8, -192, -578, -652, -208, -78, -344, -136, -30, 416, -48, 300, -24, 878, -284, -148, -64, -374, 118, -136, 4, 510, 240, -800, -52, 96, -270, 864, 320, -192, 80, -536, -120, -6, 288, -8, -208, -448, -32, 320, -7, 192, -128, -4, -240, 2, -120, -576, -151, 64, 3, -492, 120, 176, 448, -8, -82, -166, -1232, -104, 6, 464, 116, -368, -220, -48, -210, 168, 96, 22, 72, 304, 8, -624, 48, 104, 189, -186, -140, 272, -70, -80, 112, 272, 168, 13, -32, -336, -24, -220, 110, -312, -90, -256, -460, -4, -136, -128, 114, 220, -28, -388, 32, -608, 0, -44, 304, -48, 224, -304, -12, 52, -134, -110, -16, 40, 124, 558, -128, -24, -26, -304, -574, -636, 32, -62, 428, 480, 0, -374, -16, -412, 280, 240, 216, 48, 4, -82, -278, 276, -66, -352, 352, -632, -106, 160, 134, 688, -100, 6, -16, -40, -72, 68, -640, -152, 144, -1562, 228, 376, -4]