# Trace form for 8013.2.a.a, downloaded from the LMFDB on 24 April 2024.
[0, 94, -13, 94, 73, -14, -13, -55, -36, 94, -39, -49, 73, -52, -7, -14, 43, -22, -13, -89, -22, -55, -36, -46, -36, 18, 1, 94, -123, -20, -39, -61, -65, -49, -67, -40, 73, -83, -19, -52, -101, -25, -7, -150, -71, -14, -72, -39, 43, -1, -45, -22, -110, -30, -13, -54, -5, -89, -77, -43, -22, -109, -33, -55, 10, -66, -36, -155, -46, -46, -43, -27, -36, -157, -29, 18, -176, -9, 1, -99, -18, 94, -53, -144, -123, -105, 23, -20, -88, -4, -39, -99, -76, -61, -65, -49, -65, -139, -6, -49, -34, -4, -67, -96, 58, -40, -87, -205, 73, -156, 35, -83, -229, -38, -19, -145, 22, -52, -60, -24, -101, -65, 23, -25, -122, -6, -7, -121, -87, -150, -73, -62, -71, -39, 31, -14, -158, -50, -72, -155, 47, -39, -92, -60, 43, -217, 98, -1, -154, -31, -45, -139, -3, -22, -38, -61, -110, -115, -58, -30, -195, -7, -13, -229, 16, -54, -75, -86, -5, -62, 97, -89, -240, -17, -77, -167, -21, -43, -103, -51, -22, -114, -5, -109, -164, 25, -33, -243, 33, -55, -22, -27, 10, -180, 45, -66, 18, -124, -36, -85, -74, -155, -58, -106, -46, -144, 35, -46, -151, 79, -43, -181, 0, -27, -86, -26, -36, -172, 18, -157, -41, 0, -29, -123, 100, 18, -63, -164, -176, -135, 148, -9, -130, -51, 1, -233, 43, -99, 42, -27, -18, -299, -10, 94, -233, 0, -53, -108, 3, -144, -57, -45, -123, -139, 114, -105, 5, 7, 23, -172, -19, -20, -44, -131, -88, -151, 43, -4, -143, 55, -39, -175, 17, -99, -29, -169, -76, -177, 124, -61, 41, -22, -65, -278, 42, -49, -115, -40, -65, -50, 141, -139, -231, 5, -6, -88, 59, -49, 7, -57, -34, -24, 125, -4, -239, -12, -67, -262, 183, -96, -14, 92, 58, -158, 122, -40, -83, 14, -87, -174, 191, -205, 42, -152, 73, -158, 127, -156, 5, 67, 35, -164, -82, -83, 129, 55, -229, -252, 87, -38, -98, 84, -19, -260, 176, -145, 57, -270, 22, -180, 300, -52, -48, 75, -60, -170, 159, -24, -63, -13, -101, -21, 88, -65, 62, 2, 23, -137, 53, -25, 30, -107, -122, -162, 177, -6, -69, 43, -7, -256, 173, -121, -54, -5, -87, -210, 153, -150, -64, 97, -73, -132, 75, -62, 11, -15, -71, -105, 41, -39, 129, 39, 31, -245, 156, -14, 115, -23, -158, -326, 152, -50, -68, -7, -72, -124, 206, -155, 43, -83, 47, -158, 34, -39, -93, 99, -92, -132, -95, -60, 209, -73, 43, -83, 286, -217, -159, 58, 98, -109, 339, -1, 51, -155, -154, -3, 263, -31, -260, 98, -45, -264, 109, -139, 67, 75, -3, -252, 143, -22, 70, 137, -38, -163, 198, -61, 34, -124, -110, -54, 169, -115, 0, 77, -58, -384, 208, -30, 132, 45, -195, -284, 169, -7, -49, 166, -13, -138, 289, -229, 226, -42, 16, -37, 289, -54, -55, 77, -75, -183, 245, -86, 13, -64, -5, -173, 182, -62, -29, 190, 97, 25, 104, -89, 137, -168, -240, 15, 360, -17, 55, 158, -77, -256, 189, -167, 48, -176, -21, -32, 325, -43, 376, 41, -103, -111, 378, -51, 49, -53, -22, -177, 230, -114, -8, 204, -5, -235, 117, -109, 243, 55, -164, -43, 239, 25, -85, 14, -33, -25, 443, -243, 92, 5, 33, -72, 278, -55, -7, 121, -22, -312, 282, -27, 44, 106, 10, -167, 93, -180, -59, 289, 45, -178, 441, -66, 91, -86, 18, -93, 301, -124, -142, -52, -36, -30, 228, -85, 280, 132, -74, -287, 301, -155, 42, 168, -58, -52, 233, -106, 308, -51, -46, -244, 287, -144, 136, 17, 35, -170, 307, -46, 11, 10, -151, -74, 313, 79, -46, 171, -43, -4, 129, -181, 162, -87, 0, 24, 264, -27, -58, 227, -86, -273, 283, -26, 202, 93, -36, -235, 413, -172, -94, 50, 18, -52, 373, -157, 194, -9, -41, -99, 182, 0, -34, 216, -29, -300, 102, -123, 112, 205, 100, -140, 84, 18, -60, 174, -63, 19, 544, -164, 16, -339, -176, 72, 229, -135, -178, 149, 148, -177, 169, -9, 121, -85, -130, -94, 188, -51, -67, 151, 1, -26, 35, -233, 80, -319, 43, -81, 251, -99, -97, 167, 42, -19, 92, -27, -95, 55, -18, -224, 145, -299, 50, 134, -10, -46, 51, 94, 93, 1, -233, -132, 154, 0, -85, 95, -53, -242, 377, -108, 164, -211, 3, -109, 167, -144, -355, 260, -57, 3, 203, -45, 2, -10, -123, 13, -22, -139, 156, 86, 114, -142, 124, -105, 54, -18, 5, -329, 224, 7, -192, -61, 23, -48, 161, -172, -45, -131, -19, 3, 339, -20, 310, 121, -44, -309, -253, -131, 20, 234, -88, -306, 191, -151, 30, 160, 43, -164, 104, -4, -64, -183, -143, -48, 289, 55, -212, 97, -39, -321, 43, -175, 293, 192, 17, -143, -46, -99, -145, 55, -29, -67, 179, -169, 38, -291, -76, -97, 124, -177, -70, 68, 124, -295, 552, -61, -81, 26, 41, 16, 78, -22, -292, 231, -65, -130, -60, -278, 76, -43, 42, -26, 121, -49, -179, 134, -115, -143, -17, -40, 150, -170, -65, -306, 32, -50, 190, 202, 141, -76, -65, -139, 31, 18, -231, -77, 12, 5, 42, 236, -6, -180, 119, -88, -17, 109, 59, -251, -56, -49, -38, -63, 7, -136, 377, -57, -87, -101, -34, -52, 280, -24, 158, 198, 125, -248, -120, -4, 233, 119, -239, -144, 76, -12, -209, 176, -67, -158, 272, -262, 335, -418, 183, -176, 119, -96, -306, 96, -14, -179, 137, 92, -166, 114, 58, -193, -215, -158, -79, 203, 122, -171, 131, -40, 66, -320, -83, 96, 301, 14, 124, 0, -87, -151, 140, -174, 71, 65, 191, 19, 101, -205, -334, 102, 42, -61, -199, -152, 62, 152, 73, -54, -53, -158, -99, 57, 127, -218, 0, -156, 47, -3, 5, -67, 156, 67, -48, 128, 35, -106, 92, -164, 140, -57, -82, -14, -282, -83, -136, 350, 129, -559, 41, 55, 47, 106, -229, -423, 180, -252, 108, 101, 87, 330, 254, -38, 129, -157, -98, -131, 180, 84, -145, 154, -19, -186, -276, -260, 562, -5, 176, -475, 230, -145, -108, 15, 57, 164, -126, -270, -234, -163, 22, -12, 8, -180, 109, 185, 300, -247, 125, -52, 52, 138, -48, 110, -79, 75, 147, 157, -60, -270, -29, -170, 173, -50, 159, -127, 419, -24, -164, -86, -63, -262, 258, -13, 221, 192, -101, -436, -10, -21, 27, 204, 88, 45, 65, -65, 389, -21, 62, 69, 316, 2, -143, 125, 23, -381, -270, -137, 299, -231, 53, -89, 263, -25, -277, 307, 30, 0, 218, -107, 125, -153, -122, -112, -483, -162, 525, 364, 177, -390, -260, -6, -38, -14, -69, -326, 247, 43, -197, 112, -7, -61, 306, -256, 311, -23, 173, 166, 232, -121, -58, 167, -54, 101, -256, -5, -99, 18, -87, -98, -40, -210, 420, 42, 153, 72, 483, -150, 105, -619, -64, -88, 379, 97, -428, 278, -73, -55, 169, -132, 386, 234, 75, -128, 103, -62, -96, 302, 11, -262, -13, -15, 155, -386, -71, -168, -166, -105, 503, 103, 41, -208, 194, -39, -347, 164, 129, -239, 322, 39, 102, 270, 31, -188, -95, -245, 259, 25, 156, -15, 139, -14, -307, -10, 115, 50, 219, -23, 96, -106, -158, -235, 413, -326, -96, 218, 152, -67, 454, -50, 110, 120, -68, 37, 0, -7, 36, 310, -72, -295, 460, -124, 495, 110, 206, -395, 67, -155, -278, 132, 43, 238, 443, -83, 183, 50, 47, -3, 155, -158, 55, 353, 34, -331, -142, -39, 21, 150, -93, 115, 283, 99, -120, 496, -92, 14, 200, -132, 174, -241, -95, 4, 359, -60, 258, 172, 209, -18, 5, -73, -410, 135, 43, -299, -83, -83, 501, 334, 286, -150, 477, -217, -19, 88, -159, 310, -34, 58, 238, 135, 98, -226, -72, -109, 287, 188, 339, -323, -186, -1, -33, 185, 51, 66, -146, -155, 462, -126, -154, -164, -26, -3, 541, 169, 263, -474, 280, -31, 122, 154, -260, -59, 384, 98, -362, 166, -45, 137, 220, -264, 404, -76, 109, 62, -171, -139, -28, 211, 67, -279, 320, 75, 74, 55, -3, -59, -1, -252, 21, 0, 143, 218, 196, -22, -161, 30, 70, 117, 324, 137, 225, 155, -38, -264, -927, -163, 462, 473, 198, -69, -37, -61, 56, 82, 34, -194, 580, -124, 26, -147, -110, -19, 309, -54, 729, 408, 169, -114, 141, -115, 397, -6, 0, -44, -607, 77, -334, 355, -58, -140, 189, -384, 250, -202, 208, 40, 436, -30, -160, 110, 132, 292, 185, 45, 59, 168, -195, -445, 299, -284, 512, 208, 169, 42, -225, -7, 252, -58, -49, 93, 296, 166, 419, 151, -13, -279, -73, -138, 605, -23, 289, -77, 350, -229, -107, 210, 226, -136, 456, -42, -144, -117, 16, 109, -168, -37, 601, 191, 289, -82, 10, -54, 309, 125, -55, -301, -174, 77, -322, -39, -75, 137, 684, -183, 419, -50, 245, 35, -86, -86, -95, 343, 13, -317, 206, -64, 126, 282, -5, -594, 164, -173, 181, 80, 182, 193, 141, -62, 266, -478, -29, 152, 261, 190, -26, 518, 97, -142, 136, 25, 542, 57, 104, -8, 189, -89, -299, 439, 137, 146, 209, -168, 398, -83, -240, 121, 76, 15, 237, -64, 360, -433, 547, -17, -423, 179, 55, 64, 159, 158, 6, 181, -77, -34, 24, -256, 834, 335, 189, 134, -540, -167, 189, 326, 48, -211, 340, -176, 510, 46, -21, -233, -197, -32, 149, 343, 325, 51, 292, -43, -45, 304, 376, -65, 168, 41, 405, 157, -103, -85, 146, -111, 529, -137, 378, 65, 185, -51, -39, 68, 49, 226, 648, -53, -108, -91, -22, 63, 270, -177, 1050, -28, 230, -345, -497, -114, 307, 557, -8, -39, 585, 204, -137, 292, -5, 122, 69, -235, 510, -253, 117, 269, 337, -109, 110, -69, 243, 350, 222, 55, 86, 537, -164, -223, 85, -43, 604, 323, 239, -110, 460, 25, 73, -201, -85, -192, 207, 14, 64, -23, -33, -54, 307, -25, 497, 26, 443, 31, 230, -243, 145, 249, 92, 519, -290, 5, 306, -79, 33, -95, 486, -72, 259, 454, 278, -18, 143, -55, 319, 121, -7, 284, 524, 121, -54, -38, -22, -57, 113, -312, 709, 253, 282, 127, -230, -27, 613, 241, 44, -509, -374, 106, 60, 243, 10, -255, 43, -167, 746, 117, 93, -22, 1113, -180, 111, 226, -59, 338, 147, 289, 7, 378, 45, -385, 55, -178, 857, 395, 441, -153, 303, -66, -66, 234, 91, 269, 815, -86, 87, -69, 18, 271, 327, -93, 331, 333, 301, 233, 367, -124, 262, 213, -142, 14, -213, -52, 828, 467, -36, -64, 471, -30, 936, -278, 228, 42, 607, -85, -1, 202, 280, 9, 30, 132, 44, 211, -74, -371, 573, -287, 237, 397, 301, 252, -380, -155, 99, 175, 42, 401, 445, 168, 736, 181, -58, -4, 256, -52, 313, 166, 233, -171, 419, -106, -467, 523, 308, 296, 629, -51, 108, -25, -46, 1, -127, -244, 1318, 540, 287, -572, 489, -144, 740, -50, 136, 178, 92, 17, -60, 563, 35, 352, 220, -170, 807, -20, 307, -171, 151, -46, 443, 598, 11, -127, -213, 10, 815, 468, -151, -137, 137, -74, 649, 302, 313, 9, 67, 79, 215, -377, -46, 403, 556, 171, 25, 480, -43, -233, 737, -4, 694, 459, 129, 293, -116, -181, 131, 381, 162, 121, 416, -87, 600, -38, 0, 126, 389, 24, 831, 259, 264, 64, 534, -27, 270, 86, -58, -54, 130, 227, -344, 549, -86, -137, 336, -273, 464, 153, 283, 156, 310, -26, 256, 433, 202, -7, 657, 93, 246, -361, -36, -100, 278, -235, 591, 214, 413, 152, 864, -172, 97, 14, -94, 201, 410, 50, 439, 177, 18, 62, 288, -52, 485, 427, 373, -5, 520, -157, 472, -20, 194, 330, 1006, -9, 62, 191, -41, 382, 211, -99, 992, 241, 182, -137, 138, 0, 470, 609, -34, 185, 241, 216, 277, 288, -29, 44, 575, -300, 1153, -159, 102, 447, -31, -123, -494, 446, 112, 190, 309, 205, 96, 516, 100, -52, -3, -140, 194, 573, 84, 50, 68, 18, 322, 138, -60, 243, -598, 174, 302, 642, -63, 8, 275, 19, 529, 180, 544, 182, 415, -164, 59, 241, 16, 53, -267, -339, -132, 390, -176, -97, 622, 72, 672, 427, 229, -156, -175, -135, -504, 219, -178, 378, 227, 149, 124, 121, 148, 353, 472, -177, 313, 78, 169, 233, -79, -9, 109, 406, 121, 70, 431, -85, -2, -50, -130, -609, 22, -94, 48, 400, 188, 243, 597, -51, -398, -30, -67, 323, 396, 151, -31, 501, 1, -441, -865, -26, 979, 163, 35, -391, -50, -233, 303, 456, 80, 130, 193, -319, -269, 77, 43, -33, 337, -81, 1010, 336, 251, 86, -383, -99, -321, 59, -97, 26, -352, 167, 109, 406, 42, 122, 793, -19, 519, -297, 92, 140, -155, -27, -84, -65, -95, 196, 160, 55, -10, 453, -18, -293, 271, -224, 241, 481, 145, 70, -157, -299, 662, 48, 50, 59, -954, 134, 24, 187, -10, -239, 34, -46, 354, 47, 51, 29, 37, 94, -265, 290, 93, 452, 566, 1, -34, -422, -233, 109, -906, -132, 803, 535, 154, -182, -452, 0, 206, 291, -85, 23, -54, 95, -27, -112, -53, 107, 32, -242, 541, 156, 377, -61, 660, -108, -397, 539, 164, -367, -223, -211, -84, 614, 3, 233, -619, -109, 388, 18, 167, -45, 18, -144, 98, -92, -355, 508, 203, 260, -302, 200, -57, -659, 107, 3, -21, 266, 203, -180, -623, -45, 129, 818, 2, 284, 207, -10, 186, 25, -123, -292, -156, 13, 185, 52, -22, 529, 510, -139, -304, 158, 156, 133, 35, 86, -489, 217, 114, 137, -531, -142, 490, 66, 124, 220, -554, -105, 285, 248, 54, -59, -487, -18, -76, -12, 5, -21, 212, -329, 497, 85, 224, 189, -33, 7, -334, 368, -192, 313, -470, -61, -136, 572, 23, -143, 310, -48, 774, 178, 161, -283, 63, -172, -236, -66, -45, 417, 625, -131, -647, -50, -19, 317, -386, 3, 322, 196, 339, -229, -183, -20, -275, 234, 310, 55, -193, 121, -529, 202, -44, 119, 114, -309, 271, -328, -253, 228, -22, -131, -210, 447, 20, -103, -1040, 234, 155, 296, -88, -91, -294, -306, 970, 369, 191, 13, 47, -151, 48, -303, 30, -74, -120, 160, 81, 150, 43, -300, 1009, -164, -38, 435, 104, 114, -194, -4, -300, 584, -64, 185, -246, -183, 303, 338, -143, -25, -149, -48, 766, 444, 289, -173, 147, 55, -258, 31, -212, 79, -147, 97, -240, 451, -39, 278, 244, -321, 185, 284, 43, -12, -784, -175, 240, 399, 293, -24, -783, 192, 265, 239, 17, -591, -314, -143, -588, 234, -46, -39, 406, -99, -121, -338, -145, 525, 39, 55, -456, 177, -29, 86, -951, -67, 910, 318, 179, 217, -376, -169, -433, 206, 38, 394, -48, -291, -23, -231, -76, 164, 289, -97, 507, -30, 124, -68, -104, -177, 102, 539, -70, 116, -854, 68, -228, 395, 124, -224, 122, -295, 555, -145, 552, -223, -771, -61, -469, 385, -81, -65, 677, 26, -185, 336, 41, -338, -84, 16, 92, 468, 78, 160, -272, -22, 122, 98, -292, 152, 4, 231, 587, 50, -65, 149, -806, -130, 756, -319, -60, -40, 83, -278, -240, 206, 76, 197, -330, -43, -909, 367, 42, 213, -490, -26, 33, 686, 121, -688, 4, -49, -399, 90, -179, -92, -214, 134, -21, 246, -115, 13, 251, -143, 295, 77, -17, -126, 469, -40, 397, 451, 150, -537, 88, -170, 5, 79, -65, -583, -816, -306, 748, 294, 32, 79, 341, -50, -671, 42, 190, 508, 334, 202, -757, 286, 141, 153, 104, -76, -138, 15, -65, -340, -669, -139, 150, 295, 31, 708, -156, 18, 277, 89, -231, -159, -34, -77, 467, 80, 12, 212, -336, 5, -60, 297, 42, 43, -72, 236, -525, 245, -6, -101, -448, -180, 239, 427, 119, 96, 60, -88, 410, -137, -17, -255, -56, 109, 486, 66, 59, -214, -110, -251, -158, 273, -56, 94, 2, -49, -858, -211, -38, 455, -650, -63, -338, 725, 7, -677, 260, -136, 379, 213, 377, -229, -340, -57, -332, 120, -87, 659, -230, -101, -186, -274, -34, 40, 327, -52, 615, 436, 280, -200, -648, -24, -89, 392, 158, 101, -6, 198, 319, 215, 125, -96, -88, -248, -303, -270, -120, -150, 612, -4, -501, 75, 233, 139, -468, 119, -787, 489, -239, 116, -270, -144, 755, 141, 76, 210, -23, -12, -127, -513, -209, -478, -318, 176, -408, 221, -67, 260, 290, -158, 512, 128, 272, -83, -961, -262, -17, 103, 335, -243, 108, -418, -57, -252, 183, 119, -1116, -176, 565, 139, 119, -213, -920, -96, 113, -5, -306, 128, 325, 96, -203, 171, -14, -6, 541, -179, 646, 334, 137, 7, -949, 92, -398, 147, -166, -372, -616, 114, 356, 115, 58, -296, -620, -193, 599, -55, -215, 10, 218, -158, -717, 167, -79, 339, -232, 203, -938, -30, 122, -208, -1182, -171, 564, 30, 131, -307, -480, -40, 198, 96, 66, 145, 386, -320, -548, -202, -83, -392, 377, 96, -40, 197, 301, 164, 357, 14, -303, 141, 124, -122, -188, 0, -500, 263, -87, 453, -557, -151, 154, -1103, 140, 27, -206, -174, -67, 163, 71, -305, -225, 65, -332, -41, 191, -714, -161, 19, 173, 371, 101, 166, -941, -205, -262, 185, -334, 114, -523, 102, 299, -85, 42, -476, 27, -61, -28, -211, -199, -192, 247, -152, -440, 258, 62, 406, -277, 152, -28, -433, 73, -240, -1095, -54, 902, 217, -53, -620, -298, -158, 207, -36, -99, -332, -1103, 57, -195, 208, 127, 202, 282, -218, -139, 165, 0, 146, 293, -156, -1595, 275, 47, -234, -596, -3, 462, 64, 5, -182, -987, -67, 582, 226, 156, -219, -294, 67, -255, -654, -48, 146, 311, 128, -55, 79, 35, -246, -1041, -106, 259, -112, 92, -175, -526, -164, -1139, 431, 140, 127, -56, -57, -188, -178, -82, -67, 158, -14, -386, -389, -282, 75, -381, -83, -231, 214, -136]