# Trace form for 8007.2.a.i, downloaded from the LMFDB on 24 April 2024.
[0, 63, 10, 63, 70, 19, 10, 11, 27, 63, 4, 23, 70, 10, 18, 19, 72, 63, 10, 6, 48, 11, 21, 44, 27, 110, 41, 63, 26, 35, 4, 1, 54, 23, 10, 47, 70, 40, 38, 10, -10, 35, 18, 27, 46, 19, 8, 29, 72, 114, 27, 63, -1, 75, 10, 5, 24, 6, 41, 105, 48, 5, 22, 11, 61, 49, 21, 4, 70, 44, -16, 16, 27, 39, 54, 110, 6, 88, 41, 16, 102, 63, -29, 73, 26, 19, 46, 35, 18, 88, 4, -15, 110, 1, -8, 28, 54, 70, 33, 23, 102, 53, 10, -18, 49, 47, -4, 60, 70, 1, -1, 40, 29, 131, 38, 4, 11, 10, -42, 11, -10, 128, -6, 35, -24, 87, 18, -13, 48, 27, 98, 111, 46, 9, 62, 19, 27, 156, 8, -22, 144, 29, 15, 55, 72, 47, 11, 114, 161, 75, 27, 1, 66, 63, 42, 115, -1, 63, 5, 75, 3, 102, 10, 59, 133, 5, -41, 5, 24, 127, 4, 6, 42, -32, 41, -18, 131, 105, -59, 161, 48, 7, 99, 5, -85, 188, 22, 23, 138, 11, -111, 141, 61, 36, 91, 49, 24, 31, 21, -27, -18, 4, 9, 139, 70, 26, 7, 44, -39, -17, -16, -11, 64, 16, -47, 47, 27, 98, 1, 39, -32, 10, 54, -4, 4, 110, -14, 85, 6, 33, -49, 88, 145, 129, 41, 9, 197, 16, 18, 52, 102, -44, 123, 63, -162, 160, -29, -16, -77, 73, 7, 218, 26, 42, 130, 19, 14, 161, 46, -6, -56, 35, 24, 53, 18, -36, 20, 88, -47, 116, 4, -3, 72, -15, -34, -7, 110, 79, -29, 1, -274, 143, -8, 3, -4, 28, -182, 132, 54, 63, 159, 70, -68, 147, 33, -25, 172, 23, -95, 77, 102, -71, 66, 53, -125, 150, 10, -54, 116, -18, -56, 54, 49, 140, 10, 47, -103, 77, -4, -89, 12, 60, -73, 6, 70, -68, -115, 1, -89, 19, -1, -89, 39, 40, -63, 51, 29, 79, 41, 131, 48, 223, 38, -56, 156, 4, -140, 79, 11, -10, -264, 10, 120, 102, -42, -97, 42, 11, 44, 129, -10, 109, -227, 128, -31, 25, -6, 16, 277, 35, -277, -1, -24, 29, 21, 87, -90, -36, 18, -86, -137, -13, -226, 107, 48, 75, 170, 27, 27, 211, 98, 44, 40, 111, -133, 128, 46, -39, 137, 9, -174, 62, 62, 112, 23, 19, -149, 58, 27, 73, -86, 156, -164, -49, 8, 20, 47, -22, -296, 183, 144, -40, -190, 29, 48, 110, 15, -33, -5, 55, -141, -42, 72, 98, -151, 47, -1, -47, 11, -82, -38, 114, 41, 235, 161, 57, 145, 75, -204, 202, 27, -84, 52, 1, 30, -108, 66, 152, 69, 63, 29, -4, 42, 41, -5, 115, -14, 142, -1, -131, 55, 63, -268, 134, 5, -122, 26, 75, 24, -104, 3, -81, -198, 102, -161, 57, 10, -101, 107, 59, -259, 190, 133, 35, 224, 5, -176, 140, -41, -108, 339, 5, -224, -10, 24, -35, -178, 127, -142, 235, 4, -99, -176, 6, -2, -36, 42, -7, -174, -32, -226, 270, 41, -146, -49, -18, -216, 1, 131, 159, -105, 105, -222, 64, -59, -313, -59, 161, 70, 104, 48, 17, 5, 7, 54, 88, 99, -18, 262, 5, -345, 116, -85, -86, -266, 188, -76, -7, 22, -142, 100, 23, -15, 132, 138, 116, -95, 11, -27, 80, -111, 10, 163, 141, -512, 80, 61, 184, 10, 36, -97, -50, 91, -99, -50, 49, -334, 15, 24, -159, -83, 31, 118, 118, 21, 47, 130, -27, -142, 230, -18, -59, 133, 4, -307, -29, 9, 14, 21, 139, -92, 161, 70, 32, -119, 26, 94, 92, 7, -82, 43, 44, -243, 66, -39, 181, -271, -17, 70, 40, -16, -150, -146, -11, -135, -153, 64, -176, -339, 16, -164, 40, -47, -14, -154, 47, 38, 154, 27, -110, 123, 98, -61, 240, 1, -166, -149, 39, -113, 89, -32, -168, 5, 10, -271, -119, 54, 25, -192, -4, -183, 59, 4, 181, 137, 110, -313, 79, -14, -138, -10, 85, -247, -65, 6, -108, -41, 33, -84, 163, -49, -46, -217, 88, -108, -20, 145, 35, 110, 129, -86, 348, 41, -108, 282, 9, -269, 176, 197, -24, -187, 16, -209, 240, 18, -348, 154, 52, 282, 10, 102, -248, -36, -44, -217, 289, 123, -70, -335, 63, 132, 27, -162, -30, -146, 160, -393, -24, -29, -170, -69, -16, 117, -32, -77, 18, -227, 73, 46, 217, 7, 31, 543, 218, -355, 100, 26, 161, -36, 42, -25, 186, 130, -111, 278, 19, -92, 60, 14, 38, -302, 161, 27, 61, 46, 16, 448, -6, -21, 193, -56, 33, 8, 35, 114, 19, 24, -78, -244, 53, -402, 118, 18, 221, 77, -36, -335, 75, 20, 29, -47, 88, 113, 266, -47, -76, 43, 116, -183, 191, 4, -111, 75, -3, -85, 226, 72, 11, -229, -15, 165, -143, -34, 53, -281, -7, -426, 147, 110, -194, -158, 79, -3, 114, -29, -86, -352, 1, -218, 49, -274, 168, -32, 143, 27, -36, -8, 171, -148, 3, 27, 239, -4, -109, 190, 28, -169, 119, -182, -109, -207, 132, 425, 56, 54, -19, 60, 63, -155, -66, 159, 128, -124, 70, -19, 247, -68, 18, 228, 147, -187, 90, 33, -66, -1, -25, 58, -48, 172, -150, -331, 23, -276, 83, -95, 39, 38, 77, -158, -26, 102, 75, -12, -71, -217, 266, 66, -22, 52, 53, -257, 140, -125, 118, -48, 150, 144, 108, 10, -190, -85, -54, 193, 28, 116, 101, -264, -18, 143, 87, -56, -11, -25, 54, 117, 5, 49, 125, -381, 140, 8, -67, 10, -231, -94, 47, -44, 76, -103, -28, -47, 77, 24, 126, -4, -5, 283, -89, -196, 36, 12, 114, -63, 60, -106, 78, -73, -95, 225, 6, 22, 242, 70, 115, -417, -68, -272, 51, -115, -353, 343, 1, -137, 21, -89, 136, 41, 19, -30, -301, -1, -37, -207, -89, -171, 39, 39, 87, -45, 40, -210, 146, -63, 105, 628, 51, -319, 177, 29, -150, 124, 79, -87, 153, 41, 24, 318, 131, -62, 218, 48, -128, -63, 223, 222, -172, 38, -163, 96, -56, -432, 426, 156, 78, -444, 4, 333, 5, -140, -74, -468, 79, -218, -112, 11, -321, -172, -10, 159, 61, -264, 57, -185, 10, 22, -13, 120, -17, 331, 102, -252, 63, -42, -78, -200, -97, 405, 344, 42, -41, 129, 11, -134, 267, 44, 97, -225, 129, 240, 12, -10, 55, 478, 109, -308, 25, -227, 223, 61, 128, 200, 31, -31, -56, -360, 25, 26, 168, -6, 11, -68, 16, -116, -16, 277, 49, -202, 35, 122, 207, -277, -215, -148, -1, -356, 56, -24, 18, -127, 29, -579, 252, 21, -116, 143, 87, 168, -14, -90, -110, 35, -36, -338, 105, 18, -126, -221, -86, -105, 4, -137, -95, -404, -13, -246, 69, -226, -203, -82, 107, 102, -129, 48, 5, -257, 75, 70, 296, 170, -14, 244, 27, -243, -146, 27, -264, -89, 211, 237, 229, 98, -216, 312, 44, -117, 136, 40, 62, 93, 111, 41, -26, -133, -285, 552, 128, -346, 154, 46, 80, -16, -39, 131, 133, 137, -226, -337, 9, -283, 41, -174, 132, -48, 62, -262, -162, 62, 16, 165, 112, -180, 464, 23, 20, -182, 19, -364, -106, -149, -93, -20, 58, -14, 184, 27, 138, 49, 73, 147, -106, -86, -291, 119, 156, -94, 358, -164, -21, -174, -49, -161, 39, 8, -238, -398, 20, -248, -73, 47, 36, -599, -22, 219, -93, -296, 17, 27, 183, 54, 178, 144, -302, 539, -40, -274, 33, -190, -420, -416, 29, 60, 53, 48, -23, 47, 110, -23, -107, 15, 183, -393, -33, -13, 52, -5, -41, 125, 55, -597, 77, -141, -249, 6, -42, 155, -536, 72, 249, -253, 98, -314, 215, -151, 95, -838, 47, 105, 59, -1, 88, 47, -47, -86, 341, 11, -319, 43, -82, -128, -145, -38, -185, -72, 114, -404, 413, 41, -111, 66, 235, 366, -111, 161, -124, -176, 57, -409, 403, 145, -201, -529, 75, -21, 16, -204, 148, -362, 202, -124, -230, 27, -306, -106, -84, -96, -160, 52, 270, -359, 1, 102, 271, 30, -104, 150, -108, 162, -66, 66, 317, -393, 152, 540, 61, 69, -341, -133, 63, 234, 257, 29, 49, -94, -4, -462, -97, 42, 237, 692, 41, -265, 114, -5, 108, -29, 115, 362, -166, -14, -263, -952, 142, 415, 57, -1, 24, 155, -131, -40, 104, 55, 73, 21, 63, -296, 189, -268, -139, -336, 134, -555, -47, 5, 49, -196, -122, -255, 91, 26, -245, -323, 75, 249, 154, 24, -482, 368, -104, -596, 169, 3, -103, 163, -81, 294, 19, -198, -314, -806, 102, -438, -28, -161, -137, -370, 57, 42, 49, 10, -146, -218, -101, 46, -39, 107, 38, 41, 59, -549, -131, -259, -278, 429, 190, -141, 390, 133, -463, 70, 35, -184, 88, 224, 37, -635, 5, 76, -33, -176, -69, 601, 140, -279, -74, -41, -125, 18, -108, 338, -30, 339, -528, -109, 5, -626, 351, -224, 294, -2, -10, 25, -64, 24, 88, 135, -35, -487, 381, -178, -441, -763, 127, 311, 151, -142, -233, 117, 235, -601, 358, 4, -320, 66, -99, 123, -61, -176, 221, -250, 6, -635, 296, -2, 21, 117, -36, -10, -15, 42, -51, -646, -7, 139, -176, -174, -171, -32, -32, 559, -112, -226, -67, -138, 270, 110, 87, 41, -38, 231, -146, 4, 83, -49, -327, -403, -18, -108, 592, -216, -463, -166, 1, 117, -121, 131, 25, -400, 159, -152, -60, -105, -377, 349, 105, -426, 175, -222, 228, -8, 64, -115, -306, -59, -249, -224, -313, -201, -7, -59, 62, -526, 161, 631, 52, 70, 28, 152, 104, -477, 155, 48, -314, -99, 17, -716, 224, 5, -37, -144, 7, -81, -38, 54, -33, -225, 88, 359, -391, 99, -235, -79, -18, 124, 590, 262, -451, -291, 5, -412, 70, -345, -256, -171, 116, -426, -224, -85, -155, -693, -86, 106, -10, -266, -68, -352, 188, 33, 32, -76, -506, -198, -7, -201, 87, 22, -230, 63, -142, 140, 76, 100, 96, -681, 23, 139, -94, -15, 198, -621, 132, 5, 289, 138, -163, 786, 116, -110, 295, -95, -149, 102, 11, 140, -241, -27, -139, -153, 80, -363, 26, -111, -88, -187, 10, -502, -231, 163, 53, 274, 141, -125, 487, -512, -192, 56, 80, -83, 23, 61, -324, -342, 184, -11, 150, 10, -227, -970, 36, 112, -50, -97, -582, 123, -50, -587, 527, 91, -206, -684, -99, 99, -18, -50, 229, -430, 49, -482, -218, -334, -175, -982, 15, 186, -361, 24, 254, -441, -159, 49, 497, -83, -473, 263, 31, -371, -600, 118, -23, -568, 118, 327, -1, 21, -416, 185, 47, 146, 23, 130, 81, -1223, -27, -427, 98, -142, -398, 913, 230, -513, -60, -18, 332, -4, -59, 56, -353, 133, -243, -516, 4, -652, 65, -307, 38, -139, -29, 99, 67, 9, 60, -15, 14, 183, 154, 21, -572, -626, 139, -186, -7, -92, -75, -2, 161, -309, -153, 70, 115, 115, 32, 517, -170, -119, -149, -369, 26, -859, 344, 94, -40, -304, 92, 224, 1, 7, -196, -576, -82, 86, -547, 43, -205, -447, 44, 262, -179, -243, 230, -98, 66, -1, -340, -39, 247, 164, 181, -591, -125, -271, -213, -927, -17, 85, -180, 70, -782, 50, 40, -658, 67, -16, -332, -139, -150, -276, -259, -146, 386, 6, -11, -807, 59, -135, -111, 29, -153, 61, 109, 64, -510, -483, -176, 46, 137, -339, -35, -869, 16, -129, -544, -164, 131, 505, 40, -989, 2, -47, 7, -24, -14, -482, 34, -154, 160, -258, 47, -356, 602, 38, -684, 53, 154, 396, -154, 27, -480, 136, -110, -805, 331, 123, -141, -294, 98, -41, 4, -61, -2, -492, 240, -515, -287, 1, -361, -273, -166, 37, -118, -149, 215, -791, 39, 11, -5, -113, -68, 304, 89, -347, -229, -32, -43, -491, -168, -25, 297, 5, -571, -506, 10, 81, -78, -271, 179, -121, -119, -604, -37, 54, -188, 1028, 25, -641, 50, -192, 313, -42, -4, -17, -333, -183, -177, 177, 59, -488, -167, 4, 352, 135, 181, -83, -174, 137, 11, -326, 110, -210, 328, -313, -193, -399, 79, 150, -46, -14, -287, 283, -138, 169, 165, -10, 10, -163, 85, -294, -432, -247, -312, -364, -65, -1020, 367, 6, 14, -512, -108, 37, 128, -41, -420, -1166, 33, -162, -269, -84, 27, -163, 163, 507, -105, -49, -13, -177, -46, -6, 83, -217, -232, -270, 88, -526, -156, -108, -136, -208, -20, 722, 314, 145, -301, -33, 35, -166, -98, 110, 101, -609, 129, -115, 135, -86, -300, 452, 348, -1158, -284, 41, 189, -24, -108, 522, -223, 282, 37, -976, 9, 228, 30, -269, -435, 322, 176, 95, -33, 197, 87, 562, -24, -728, 294, -187, -498, -376, 16, -356, -15, -209, 610, 115, 240, -994, 178, 18, -316, -35, -348, 81, -304, 154, -125, -259, 52, -48, 382, 282, -34, 33, 10, 641, -13, 102, -32, -320, -248, -352, 31, -36, -79, -512, -44, 166, 89, -217, -115, -409, 289, 48, 136, 123, -105, 275, -70, 102, -134, -335, -357, -486, 63, 605, 9, 132, -359, 28, 27, -252, -410, -162, -70, 18, -30, -321, 165, -146, -144, 600, 160, -234, -61, -393, 194, 98, -24, 355, -454, -29, -103, -259, -170, -355, 37, -69, 121, -362, -16, 49, 324, 117, 111, 428, -32, -171, 112, -77, -358, -147, 18, 201, 274, -227, -68, -483, 73, 156, 214, 46, -552, -191, 217, 687, -207, 7, -70, 317, 31, -900, 433, 543, 130, 132, 218, 629, 9, -355, -34, -371, 100, -391, -62, 26, -298, -151, 161, 812, -125, -36, 28, -445, 42, 62, 44, -25, -338, 216, 186, -233, -351, 130, 90, -183, -111, 995, 375, 278, -387, -534, 19, -581, 171, -92, -134, 254, 60, 142, -700, 14, 303, 571, 38, 366, -218, -302, 282, 27, 161, 431, -33, 27, -119, -243, 61, 150, 137, 46, 78, 36, 16, 701, -224, 448, 156, 592, -6, -588, 607, -21, -302, 183, 193, 66, 8, -56, 123, -236, 33, -310, 450, 8, -354, 271, 35, 101, 180, 114, -200, 232, 19, -816, 389, 24, -326, -640, -78, 339, -22, -244, -230, -656, 53, 366, -40, -402, -286, 47, 118, 32, -321, 18, 60, 178, 221, 144, 460, 77, -357, 298, -36, 162, -927, -335, -301, -213, 75, 88, 201, 20, -789, 616, 29, 155, -35, -47, 311, -534, 88, -176, -322, 113, -44, 1095, 266, -833, -111, -47, 271, 15, -76, -205, 291, 43, -662, -459, 116, 637, -110, -183, 163, 325, 191, 217, 220, 4, 55, 1073, -111, -499, 684, 75, -265, -592, -3, 25, 83, -85, 8, 117, 226, 248, 420, 72, 0, -130, 11, 553, -232, -229, -456, 26, -15, -346, 519, 165, -3, 168, -143, 243, 47, -34, -282, 66, 53, -233, 101, -281, -115, -576, -7, 299, -58, -426, -1, -103, 147, 11, 175, 110, -545, 1018, -194, -432, -99, -158, -611, -779, 79, 585, 133, -3, -153, 228, 114, 837, -94, -29, -113, -530, -86, -35, -81, -352, -99, 260, 1, 72, -89, -218, -104, 161, 49, -241, -484, -274, -189, -167, 168, -450, -251, -32, 9, -132, 143, 613, 13, 27, 75, 476, -36, 459, 364, -8, -448, -311, 171, -234, 25, -148, 212, -146, 3, -805, 242, 27, -349, 1, 239, 50, -253, -4, 74, 429, -109, -1116, 709, 190, -261, -286, 28, 209, 1, -169, -218, -415, 119, -121, -275, -182, -936, -235, -109, 807, 95, -207, -43, 111, 132, 66, 451, 425, 133, 682, 56, -679, -424, 54, 34, -1, -19, 361, 377, 60, -499, -611, 63, 451, 318, -155, -378, 139, -66, 376, 6, 159, -366, 759, 128, -420, -128, -124, 164, 42, 70, 750, -279, -19, -318, -680, 247, 751, -64, -68, -133, -82, 18, 403, 404, 228, 115, 724, 147, -87, -122, -187, 55, 461, 90, -475, 158, 33, 220, 80, -66, 142, 681, -1, -287, -692, -25, -153, -5, 58, -397, 466, -48, 600, 154, 172, -198, 432, -150, 175, 63, -331, -484, -1142, 23, -384, 42, -276, 120, -579, 83, -288, -424, -95, 203, -302, 39, 5, 243, 38, -264, 397, 77, 290, -22, -158, -598, 199, -26, 903, -70, 102, -406, -452, 75, -523, -78, -12, 10, 32, -71, -1074, 116, -217, -130, 338, 266, -216, -207, 66, 330, 3, -22, 466, -60, 52, -204, 310, 53, -380, 196, -257, 377, 101, 140, 300, -573, -125, 102, 643, 118, -144, 171, -48, 0, -112, 150, 640, 218, 144, 149, -55, 108, -342, 568, 10, -401, 500, -190, 928, 6, -85, 178, -38, -54, -397, 621, 193, -375, -659, 28, 432, 59, 116, 378, -403, 101, 64, -52, -264, -187, -791, -18, 865, -48, 143, 461, 122, 87, 133, 128, -56, -370, 354, -11, -155, -227, -25, 56, -275, 54, 1146, 288, 117, -661, 440, 5, 555, -72, 49, 468, -117, 125, -366, -505, -381, 10, 757, 140, -105, 279, 8, 472, -41, -67, -153, -126, 10, -510, -129, -231, 183, -85, -94, 171, -363, 47, 417, 79, -44, 5, 673, 76, -70, 520, -103, -322, 275, -28, -673, 471, -47, 380, -140, 77, -161, 177, 24, 244, 503, 126, 104, -514, -4, -432, 836, -5, -829, 297, 283, 44, -1238, -89, 1542, 127, -196, 19, 198, 36, 143, -92, 12, 10, -330, 114, -66, 349, -63, 112, -119, 60, 4, 440, -106, -74, 208, 78, 67, 23, -73, -390, 649, -95, 669, 195, 225, -130, -210, 6, 395, -300, 22, 353, -875, 242, -474, -43, 70, 431, 838, 115, -156, -214, -417, 101, 42, -68, 813, 154, -272, 29, -599, 51, 329, -106, -115, 344, 701, -353, 262, 182, 343, -32, 766, 1, -788, 537, -137, 11, -672, 21, 349, 297, -89, 202, 645, 136, 213, 490, 41, -393, -176, 19, 75, 94, -30, -48, 423, -301, -401, 441, -1, 229, 278, -37, 1009, -18, -207, 280, -801, -89, 44, 240, -171, 6, -359, 39, 457, -292, 39, 228, -286, 87, 131, 513, -45, -331, 485, 40, -281, -399, -210]