# Trace form for 8031.2.a.b, downloaded from the LMFDB on 24 April 2024. [0, 102, -6, -102, 96, -20, 6, 12, -21, 102, -16, -28, -96, -2, -41, 20, 88, -77, -6, 10, -50, -12, 24, -29, 21, 74, -45, -102, 19, -68, 16, -29, -48, 28, -19, -49, 96, 4, -44, 2, -41, -122, 41, 85, -86, -20, -28, -39, -88, 24, -37, 77, 8, -37, 6, -13, -130, -10, 17, -58, 50, -114, -64, 12, 47, -92, -24, 121, -138, 29, -2, -67, -21, -72, -111, -74, -17, -57, 45, -24, -97, 102, -1, -78, -19, -24, -80, 68, 54, -176, -16, -3, -82, 29, -41, -90, 48, -77, -48, -28, 54, -131, 19, 62, -130, 49, -49, -42, -96, -36, -60, -4, 19, -104, 44, 13, -213, -2, -7, -109, 41, -16, -61, 122, -103, -111, -41, 56, -102, -85, -32, -164, 86, -22, -119, 20, -49, -122, 28, -58, -122, 39, 6, -126, 88, -84, -93, -24, 21, -130, 37, 40, -89, -77, -4, -59, -8, -31, -52, 37, -111, -193, -6, 89, -198, 13, -60, -94, 130, 24, -21, 10, 110, -128, -17, 26, -178, 58, 26, -63, -50, -138, -101, 114, -81, -224, 64, 81, -95, -12, 34, -131, -47, -9, -123, 92, -53, -114, 24, -127, -105, -121, 5, -65, 138, 4, -157, -29, 43, -361, 2, 68, -60, 67, -90, -138, 21, -74, -66, 72, -61, -128, 111, 36, -287, 74, -47, -84, 17, -136, -70, 57, 64, -201, -45, 131, -179, 24, 58, -94, 97, -320, -65, -102, -210, -170, 1, 75, -199, 78, -92, -199, 19, 31, -42, 24, -50, -182, 80, 34, -52, -68, 38, -51, -54, -173, -165, 176, 213, -242, 16, -99, -236, 3, 17, -135, 82, 25, -71, -29, -21, -191, 41, 87, -166, 90, -157, -72, -48, -55, -63, 77, -120, -123, 48, 51, -269, 28, 103, -201, -54, -155, -64, 131, -16, -235, -19, 96, -99, -62, -26, -241, 130, -136, -109, -49, -134, -128, 49, 36, -164, 42, 54, -69, 96, -54, -77, 36, -22, -419, 60, 88, -183, 4, -80, -136, -19, -82, -106, 104, -66, -250, -44, 117, -175, -13, -138, -94, 213, -128, -63, 2, 145, -196, 7, 108, -399, 109, 23, -167, -41, -86, -168, 16, -127, -198, 61, -6, -193, -122, -20, -226, 103, 77, -189, 111, -102, -243, 41, 32, -282, -56, 60, -98, 102, -189, -137, 85, -93, -223, 32, -76, -149, 164, -69, -111, -86, -58, -185, 22, -14, -355, 119, 154, -360, -20, -188, -58, 49, -347, -36, 122, 146, -182, -28, 132, -324, 58, -50, -196, 122, -37, -142, -39, -135, -516, -6, 151, -86, 126, -84, -178, -88, -92, -175, 84, -19, -282, 93, -143, -195, 24, 136, -119, -21, -52, -326, 130, -6, -257, -37, -14, -255, -40, -111, -47, 89, -24, -70, 77, -122, -300, 4, 159, -470, 59, -47, -211, 8, -119, -124, 31, -25, -209, 52, 167, -308, -37, 121, -251, 111, -517, -176, 193, -126, -205, 6, 127, -190, -89, -10, -164, 198, -44, -212, -13, -235, -298, 60, 27, -277, 94, 43, -153, -130, -226, -246, -24, 80, -226, 21, -25, -222, -10, -220, -141, -110, -105, -79, 128, -125, -413, 17, 272, -459, -26, -41, -39, 178, -23, -227, -58, -39, -193, -26, 53, -427, 63, -5, -221, 50, -210, -22, 138, -115, -271, 101, 407, -277, -114, 23, -241, 81, -138, -137, 224, -267, -50, -64, -82, -236, -81, 17, -167, 95, -59, -253, 12, 10, -473, -34, 134, -396, 131, 0, -198, 47, -146, -119, 9, -62, -282, 123, 103, -247, -92, -26, -179, 53, -177, -209, 114, 137, -274, -24, 166, -316, 127, -2, -173, 105, -478, -186, 121, 14, -178, -5, 90, -172, 65, 111, -246, -138, -27, -240, -4, 24, -268, 157, -117, -199, 29, -26, -220, -43, -86, -199, 361, 21, -320, -2, 51, -180, -68, 21, -205, 60, 15, -144, -67, -329, -304, 90, 126, -366, 138, -45, -195, -21, -538, -191, 74, 87, -122, 66, 114, -462, -72, 90, -182, 61, -195, -98, 128, -179, -243, -111, 474, -223, -36, -262, -141, 287, -73, -142, -74, -41, -312, 47, -25, 65, 84, 63, 5, -17, -220, -159, 136, 262, -549, 70, 11, -217, -57, -107, -131, -64, 81, -115, 201, 210, -281, 45, 71, -342, -131, -113, -161, 179, -98, -13, -24, 124, -192, -58, 408, -198, 94, 193, -189, -97, -256, 134, 320, -167, -203, 65, 38, -153, 102, 47, -224, 210, -30, -81, 170, 18, -303, -1, 100, -158, -75, 129, -88, 199, -282, -24, -78, 64, -133, 92, 62, -28, 199, -31, -145, -19, 68, 83, -31, 298, -486, 42, 372, -198, -24, -58, -90, 50, -520, -27, 182, 246, -13, -80, -70, -278, -34, 284, -254, 52, 60, -10, 68, -99, -193, -38, 223, 65, 51, 259, -101, 54, 46, -177, 173, -410, -116, 165, -118, 83, -176, 109, -154, -213, -162, 363, 242, 238, -464, -16, 94, 155, 99, 68, -111, 236, -58, 119, -3, 219, -126, -17, 151, -376, 135, 302, -88, -82, -299, 98, -25, 293, -373, 71, 333, -66, 29, -24, -187, 21, -56, 20, 191, 288, -138, -41, 139, 338, -87, 398, -33, 166, -126, 222, -90, -317, -330, 157, -84, 61, 72, 347, -39, 48, 69, -49, 55, 217, -188, 63, 28, 196, -77, -39, -110, 120, 180, 372, 123, 49, -492, -48, 388, -226, -51, 307, -46, 269, -258, 302, -28, -13, -16, -103, 73, -31, 201, 254, -207, 54, -198, 134, 155, 128, -131, 64, 452, -13, -131, -52, -234, 16, -253, 139, 235, 126, -92, 19, 15, 472, -96, 427, -287, 99, 80, -57, 62, 271, -441, 26, 275, -187, 241, 93, 49, -130, -180, 432, 136, 461, -222, 109, 104, -64, 49, 152, -95, 134, 2, 56, 128, 356, -18, -49, 87, 26, -36, 437, -296, 164, -157, 474, -42, -451, -230, -54, 249, -49, 69, 348, -101, -96, 35, 147, 54, -44, -90, 77, 44, 179, -36, 182, -217, 22, -295, 216, 419, 667, -410, -60, 51, -190, -88, 103, -47, 183, -11, 119, -4, -236, -227, 80, 493, -23, 136, 25, -11, 19, -262, 239, 82, 351, -42, 106, -12, 512, -104, 51, -135, 66, -91, 237, 250, -38, -577, 44, 61, 40, -117, 410, -65, 175, 140, 49, 13, 91, 149, 138, 54, 376, 94, 226, 114, -213, -69, 199, 128, 469, -665, 63, 225, 252, -2, -44, 18, -145, -156, 509, 196, 129, -98, -7, 245, 42, -108, 276, -133, 399, -254, 337, -109, 391, -147, -23, 496, -121, 167, 323, -40, 41, -516, 373, 86, -25, 156, 168, 197, 373, -16, 83, -306, 127, 203, 83, 198, 417, -317, -61, -133, 178, 6, 203, -55, 193, -120, 152, 122, 108, -237, 20, -9, 204, 226, 269, -50, -103, 114, 356, -77, 604, -244, 189, 323, -21, -111, -84, -155, 102, -299, 499, 243, 312, 23, -41, 328, 195, -32, 465, -365, 282, -265, 282, 56, -164, -280, -60, 279, 264, 98, 223, -82, -102, -131, 82, 189, 355, -79, 137, -86, 230, -85, 81, 96, 93, -24, 281, 223, 104, -398, -32, 355, 248, 76, 29, -8, 149, 151, 424, -164, 154, -155, 69, 346, -7, 111, 369, -143, 86, -274, 303, 58, 549, -269, 185, 117, 259, -22, 489, -295, 14, -423, 303, 355, -94, -61, -119, 192, 463, -154, 258, 108, 360, 37, 287, 20, -139, -347, 188, 346, 78, 58, 482, -180, -49, -283, 554, 347, 527, -168, 36, -11, 179, -122, -81, 15, -146, 82, 224, 182, 603, -248, 28, 534, -190, -132, 642, 7, 324, -348, 416, -58, 165, -170, 50, -3, 321, 196, 36, -224, -122, -282, 289, 37, -283, -266, 142, 452, 372, 39, -56, -184, 135, -39, 464, 516, 625, 29, 6, -146, 481, -151, 302, -116, 86, 49, 345, -126, 201, -465, 84, 233, 223, 178, 452, -9, 88, -166, 508, 92, 404, -81, 175, 97, 386, -84, 142, 51, 19, -89, 755, 282, 437, -48, -93, -24, 349, 143, 305, -434, 195, -449, 86, -24, 397, -83, -136, 360, 287, 119, 637, -78, 21, -63, 290, 52, 249, -225, 326, 322, 491, -130, 16, 33, 6, 33, 271, 257, 291, -569, 37, 136, 365, 14, 255, -205, 255, 83, 518, 40, -28, -234, 111, 257, 138, 47, 376, -58, -89, -298, 247, 24, 612, 184, 70, 212, 187, -77, 111, -173, 122, -49, 370, 300, -143, -339, -4, 553, 389, -159, 653, -268, 470, -48, 551, -59, -325, -70, 47, -178, 547, 211, 477, -95, -8, -212, 774, 119, 945, -255, 124, 363, 11, -31, -148, 187, 25, -317, 468, 209, 202, -191, -52, 191, -98, -167, 432, -11, 308, -354, 663, 37, 197, -317, -121, 497, 557, 251, 654, -247, -111, -140, 123, 517, 2, 181, 176, 147, 342, -193, 245, -44, 126, 151, 17, 205, 421, -120, -6, 48, 592, -127, 595, 10, 190, -82, 607, 89, 7, -626, 10, 468, 173, 164, 171, 50, -198, 87, 389, 44, 718, -249, 212, 440, 102, 13, 46, -36, 235, -391, 613, 298, 864, -262, -60, 327, -41, -27, 361, -195, 277, -33, 57, -94, -101, -454, -43, 557, 537, 153, 253, -241, 130, 94, 161, 226, 527, -178, 246, -215, -16, 24, 214, 176, -80, -170, 668, 226, 565, -674, -21, 10, 461, 25, 200, -235, 222, -17, 478, 10, -104, -90, 220, 311, -6, 141, 239, 122, 110, -154, 808, 105, 289, -351, 79, 609, -144, -128, -45, -397, 125, -239, 541, 413, 195, 186, -17, 92, 279, -272, 951, -150, 459, 107, 43, 26, 18, -210, 41, 402, 428, 39, 435, -23, -178, -359, 374, 23, 610, -155, 227, 129, 246, 58, -44, -24, 39, -4, 577, 193, 382, -821, 26, 471, -189, -53, 327, -10, 427, -457, 733, -63, 104, 160, 5, 141, 138, 221, 734, -162, -50, -164, 52, 210, 40, -155, 22, 271, 276, -138, 335, 72, 115, 154, -212, 271, 34, 15, -101, -242, 601, -407, 607, 105, 277, -20, 873, 114, 231, -427, -23, 288, 18, 241, -50, 170, -81, -254, 740, 138, 1148, -73, 137, 331, -58, -224, 31, -11, 267, -224, 588, 50, 294, -408, 64, 687, 770, 82, 288, -262, 236, 112, 120, 81, 93, -183, -17, 213, 208, 167, 402, -47, -95, -48, 519, 59, 281, -336, 253, -29, -440, -12, 335, 20, -10, -138, 38, 473, 630, -164, 34, 138, 163, -134, 99, 317, 396, 190, 746, -131, -135, -550, 0, 737, -198, 198, 178, -58, -47, -453, 822, 146, 582, 3, 119, 74, 662, -9, 532, 65, 62, -1, 340, 282, 555, -354, -123, 459, -93, -103, 354, -5, 247, -69, 57, 92, -361, -18, 26, 29, 493, 179, 367, -93, -53, -75, 680, 177, 875, -521, 209, 405, 355, -114, -152, 80, -137, -185, 523, 274, 617, -256, 24, 167, -81, -166, 400, 116, 316, 133, 437, -127, 247, -160, 2, 414, 627, 173, 722, -139, -105, -501, 585, 478, 104, -162, 186, 339, 85, -121, -140, 12, -14, 258, 134, 178, 612, -329, 5, 20, 404, -90, 625, -4, 172, -319, 949, -65, 242, -163, -111, 186, 173, 246, 583, 269, 138, 45, 390, 27, 423, -434, 240, 546, 115, 4, 335, -313, -24, -39, 422, 268, 761, 20, -157, 92, 290, 117, 446, -204, 199, -75, 486, -29, -228, -245, 26, 554, 424, 220, 1248, -169, 43, -346, 477, 86, 479, 58, 199, -62, 524, -361, -117, 216, -21, 20, 502, 320, 519, -659, 2, 412, 164, -51, 398, -96, 180, -179, 562, 68, 759, -214, -21, 325, 455, 205, 494, 29, -60, -385, 996, -15, 982, -232, 144, 520, 79, 67, 476, -17, 329, -266, 378, 304, -198, -67, -90, 402, 626, -126, 407, 126, 366, 271, 491, -138, -304, -341, 45, 192, 791, 195, 735, -84, 21, -254, 699, 538, 812, -666, 191, 100, -228, -74, 571, 61, -87, 313, 365, 122, 784, -119, -66, 356, -42, -114, 68, -290, 462, -201, 1066, 72, 198, 69, -90, 250, 463, 182, 720, -170, -61, -147, 604, 195, -83, -231, 98, 384, 732, -128, -91, 361, 179, -211, 178, 243, 658, -21, 111, -278, 620, -474, 746, -11, 223, 152, 442, 36, 349, -431, 262, 285, -9, 141, 269, -145, -287, 34, 47, 73, 296, -162, 142, 233, 322, 74, 67, 149, 41, -220, 599, 312, 698, -241, -47, 504, 472, 25, 711, -153, -65, -203, 42, -84, -104, -572, -63, 263, 1, -5, 922, -61, 17, 74, 279, 220, -231, -509, 159, 222, 633, -136, 37, 80, -262, -278, 913, 549, -5, -196, -70, -296, 9, -11, 441, 9, 217, -132, 414, 57, 20, -645, 107, 501, -357, 131, 580, -30, 64, -710, 401, -81, 684, -42, 115, 237, -357, -201, -207, -146, -210, -190, -12, 281, -104, -500, -45, 342, 1156, -71, 255, -163, 342, -143, -477, 131, 64, -232, 113, -335, 547, 161, 607, 200, -179, -315, 613, 98, -6, -759, 13, 272, -214, 24, -526, 335, -124, -76, 559, 192, 399, -87, 58, 311, -336, -408, 463, -27, 198, -324, 329, -94, -493, -366, -193, 479, 76, 189, -145, -112, 97, -801, 163, 256, 220, -221, -134, 361, 358, -320, 57, 298, 167, -242, 549, 203, 220, -369, -65, 115, 22, -38, 105, -248, 153, -76, 390, -102, 369, -456, -47, -91, 57, 224, -186, 107, -210, 17, 35, 30, -147, -635, 81, 577, 43, -170, 50, -196, -18, -423, -26, 303, 584, -299, 1, -344, -167, -100, 186, -83, 158, -188, 344, 75, -617, -394, -129, 692, -136, 88, 299, 40, -199, -343, 535, 282, 209, -169, 24, -298, 470, 78, 36, -268, -64, -123, 541, 133, 477, -616, -92, 67, -241, -62, -324, 52, 28, -169, 456, -199, -504, 206, 31, 506, -202, 145, 520, -142, 19, -140, -16, -68, -7, -394, -83, 105, 45, 31, -259, -170, -298, -611, 156, 486, 115, -170, -42, 43, -34, -372, 310, 136, 198, -165, -470, 24, -20, -304, 58, 92, -172, 90, 327, -286, -50, -409, 537, 520, -265, -563, 27, 453, -126, -182, -622, -14, -246, 98, 713, 13, 542, -507, 80, 127, -127, 70, 175, 77, 278, -383, 861, 34, 147, 86, -284, 25, 40, 254, -82, -178, -52, -668, 148, -60, -44, -794, 10, 634, -58, -68, -736, -61, 99, -86, -357, 193, -237, -251, 38, -199, 361, -223, -182, -24, -65, -524, 538, -51, -102, -818, -259, 154, -193, 101, 36, -696, -54, -143, -121, -46, 435, -275, 177, 44, -566, -173, -182, 159, 410, -318, 108, 116, -14, -611, -165, 271, 186, 118, 37, -361, -83, -514, 184, 176, -1233, -108, -109, 108, -577, 154, 285, 2, 213, -106, -317, 162, 366, -521, -363, 4, 310, -242, -428, -99, -238, -440, -390, 464, 172, -580, 16, 203, -205, -94, -374, -176, -155, 176, 322, -99, -10, -841, -68, 692, -79, 111, 662, -404, -236, -1023, 617, 58, -4, -387, -119, -406, 396, 3, -445, -254, -219, -266, -293, 126, 42, -99, 17, 299, -526, -151, 252, -177, 376, 197, -175, -135, -1254, -252, -302, -224, -502, 88, 290, -249, 82, -312, 947, 299, -114, -631, -98, 185, -478, 25, -138, -376, -293, -119, 255, 373, 245, -154, -71, 75, -577, -333, -185, -12, 66, -519, -184, -29, -268, -381, 24, 624, 973, 187, 129, -691, -21, -510, -248, 56, -221, -306, -20, 336, 94, -191, -1050, -127, -288, -334, 213, 138, 48, -398, 41, 106, -755, -139, 331, -220, -338, -490, -15, 87, -259, -329, -398, -25, 168, 33, -198, -17, -166, -207, -665, 126, -633, -797, -222, 558, -553, 90, -493, -96, 317, -872, 948, 330, 291, -51, -157, 63, 38, 84, -64, -412, -61, -551, 216, -72, -788, -289, -347, 784, -250, 39, 198, -270, -48, -878, -129, -69, -433, -165, 49, -414, -500, -55, -201, -185, -217, 224, 45, 188, -548, -1175, -63, 173, 120, -28, -461, -177, -196, -464, -275, 77, -390, -538, 39, -348, -690, 110, 1024, -187, -120, -294, 84, -180, 505, -245, -372, 358, -187, -123, -704, -413, -49, -498, -200, 492, -341, -193, 48, -49, -598, -388, -197, 22, 226, 171, 687, 51, -851, -423, -307, -101, -478, 46, -9, -152, -269, -763, -71, 258, 671, -499, -302, 134, 44, 28, -828, -73, 13, -102, -923, 16, 32, -635, 103, 306, -351, -73, -568, -27, 31, -327, 5, -201, -487, -159, -254, -149, 752, 207, 21, -80, -54, -191, -267, 198, -286, -863, -134, 225, -528, -155, 85, -121, -128, -59, -282, 131, 199, -8, -64, -463, 1019, -452, -139, -381, 13, -166, -72, 131, -533, -755, 52, 548, -249, 234, -177, -62, -16, -166, 203, 253, -721, 41, -139, -228, -614, -235, -734, -25, -126, -776, 379, 92, 622, -585, -19, 50, -427, -15, 200, -55, -472, -736, 71, 96, -484, 24, -427, 467, -436, 287, -33, -221, -99, 194, -380, -80, -224, -354, 57, 207, 387, -62, -695, -106, -271, -551, 1150, 441, -481, -72, -26, -311, -289, -275, -190, -78, 187, 436, -236, -241, -863, -309, -93, 268, -826, -49, -63, -28, 130, -285, 296, 180, -224, 2, -432, 630, -230, -136, -816, -266, -461, -140, 333, 222, 187, -436, -109, -4, 30, -104, 185, -177, 64, -468, 123, -49, -655, -127, -152, -189, -446, 95, 300, 62, -134, -314, 303, -2, -42, -200, -56, 97, 271, -128, -1216, 42, -356, 162, -213, 18, 676, -289, 49, -1, -243, -87, 163, -61, -26, -383, -624, 36, 64, -771, -437, 321, -291, 296, -48, -199, -164, -448, -218, 157, -841, 249, -474, 1, 670, 42, -309, 3, 451, -20, 227, 230, -171, -274, 54, 588, -19, -249, -265, -263, 49, -178, 807, -69, -818, -240, -348, 25, -168, 101, -137, 87, 96, -123, 53, -35, -392, -594, -147, 753, -461, -54, -150, 84, 44, -836, -3, 90, 210, -78, -77, -158, 27, -44, -295, -594, -179, 38, -241, 36, -554, -163, -182, 621, -290, 217, -616, 2, -22, -337, -30, 295, -43, 6, -216, -6, -246, -419, -184, 37, -667, -244, 845, 410, 285, -609, 60, 111, -85, -51, -542, -98, 190, 341, -96, 88, -983, -172, -103, 416, -641, 47, 223, -265, -183, -698, 1224, 11, 183, -204, -119, 538, 1057, 4, -1334, -263, 236]