# Trace form for 8045.2.a.c, downloaded from the LMFDB on 23 April 2024.
[0, 127, -20, -31, 116, 127, -17, -63, -57, 122, -20, -32, -65, -49, -4, -31, 98, -53, -60, -126, 116, -24, -46, -121, -51, 127, -9, -112, -123, -6, -17, -54, -119, -57, -53, -63, 133, -61, -27, -33, -57, -8, -46, -208, -54, 122, -34, -116, -106, 110, -20, -54, -142, -60, -62, -32, 33, -56, -87, -53, -65, -76, -84, -215, 67, -49, 9, -145, -133, 1, -4, -4, -167, -155, -14, -31, -199, -97, -24, -73, 98, 127, -69, -225, -59, -53, 30, -179, -119, -25, -60, -160, -188, -44, -32, -126, -43, -72, -111, -141, 116, -16, -54, -168, -17, -24, -83, -157, -173, -18, -46, -58, -192, -86, 21, -121, 22, -140, -87, -7, -51, 95, -36, -181, -45, 127, 84, -187, -202, 26, -9, -110, -60, -31, 7, -112, -91, -55, 13, -202, -123, 20, -82, -185, 203, -6, 61, -154, -130, 1, -17, -144, -36, -146, 1, -54, 109, -133, -91, -39, -119, 17, -65, -267, 5, -57, 1, -217, 3, 122, -53, -283, -354, -89, 15, -63, -4, -63, -108, 3, 133, -13, -23, -204, -75, -61, 41, -329, -153, -9, -27, 0, -78, -99, 56, -33, 148, -124, 68, -84, -57, 36, -33, -168, 64, -8, 27, -305, -246, 53, -46, -173, -82, -60, 56, -208, -36, -116, -34, -40, -54, 64, 35, -251, 191, 122, -37, -235, 35, -149, -34, 25, -102, -157, 70, -116, 19, -131, -4, 2, -106, -93, -31, -262, -68, 110, 206, -209, -140, 74, -20, -85, -232, -99, 114, -54, 120, -21, 115, -195, -142, 86, -71, -380, 175, -60, 140, -206, -150, 34, -62, -284, -136, -7, 54, -32, 169, -143, 5, -13, 33, 18, -36, -360, 133, -56, -26, -177, -202, 162, -87, -148, -365, -105, 219, -53, 59, -117, -48, 15, -65, 30, 7, -258, -209, -76, 122, -528, -50, 40, -84, -1, 148, -75, 128, -215, 25, -35, 163, -89, 67, 4, 3, -174, 431, -49, 171, -306, -107, 100, 9, -146, -254, -58, -36, -145, 181, -138, -35, -83, -133, 64, 247, -330, 260, 1, 30, -348, -182, -148, -4, -12, -148, -92, 268, -4, 98, 63, -135, 49, -167, 183, 14, -199, -1, -155, 407, -337, -207, 87, -14, -10, 111, -61, 287, -31, -4, -62, 187, -183, -199, 76, -35, -225, 158, -97, 168, -553, -35, 110, -24, -122, -159, -21, 156, -73, 115, -67, 22, 169, 98, 161, 167, -321, 150, 127, 65, -223, -1, -134, -69, -134, -164, -131, 259, -225, 160, 59, -114, -89, -59, -18, 61, -327, -229, -53, 252, -376, -167, 46, 30, 13, 19, -173, 184, -179, 93, -4, 30, -66, -119, 379, -57, -299, -52, -25, 157, -267, -452, 68, -60, -337, -12, -65, -167, -160, 218, -112, 38, -19, -188, -26, 278, -275, 152, -44, 159, -294, -456, -51, -32, 131, -131, -33, 137, -126, 249, 5, -302, -22, -43, -10, 37, -189, 86, -72, 19, -246, 42, -67, -111, -60, 167, -122, 189, -141, 165, 17, -14, -292, 116, 109, -89, -404, 415, -16, 96, -148, -430, 13, -54, -135, -151, -111, -332, -168, 277, -46, -16, 9, -17, 169, 47, -549, -49, -24, -27, -348, -311, 138, -83, -54, 115, -105, 4, -157, 107, 165, -306, -146, -173, -44, 72, -244, -278, -18, 397, -298, -101, -62, -46, 40, 313, -49, 186, -58, -422, -132, -509, -110, -192, 233, 217, -319, 184, -86, 123, -322, -293, 0, 21, -271, -121, -46, -143, -121, 332, -118, -208, -384, 22, 270, 236, -278, 341, -140, 24, -304, -243, -27, -87, -81, -89, -117, -180, -7, 277, 92, -430, 139, -51, 45, 64, -296, -372, 95, 201, -237, -135, 149, -36, -50, 139, -264, 248, -181, -124, -48, -30, -434, -45, 273, 149, -431, 127, 127, -14, 80, -433, 54, 84, -210, 9, -222, -11, -187, 24, 34, -79, 32, -202, 171, 321, -552, 67, 26, 240, -273, -408, 29, -9, 106, -265, -127, 20, -110, 92, -230, -356, 19, -60, 8, 30, -243, -189, -31, 257, -362, -242, 29, 7, 10, 446, -90, 159, -112, 197, -115, -268, -190, -91, 45, 127, -104, -719, -55, 191, 15, -939, 67, 13, -346, 185, -119, -33, -202, 312, -38, -137, -333, -123, 181, 446, -274, 134, 20, -41, -233, -465, -90, -82, -33, -23, -128, -40, -185, 286, 51, -151, 75, 203, 165, 85, -239, -238, -6, 110, -163, -220, 410, 61, 16, 96, -498, -37, -154, 5, -78, -210, -499, -130, 86, 258, -358, 12, 1, 204, -569, -695, 111, -17, 2, -142, 24, -238, -144, 42, -34, -146, 109, -36, 24, 427, -322, 188, -146, -176, -413, -11, -218, 1, 385, 100, -13, -1, -54, 266, 153, -518, -28, 109, -10, 378, -620, 27, -133, 61, -610, -415, 132, -91, 157, 538, -184, 39, -39, 105, 61, -316, -205, -119, 170, 148, -267, -116, 17, 372, 18, -181, 120, -65, -557, 75, 54, -429, -267, 438, 256, -147, -280, 5, 234, 628, -415, 48, -57, 70, -204, -490, -10, 1, -14, 73, -139, -187, -217, 533, 157, -445, 112, 3, 243, 142, -473, -265, 122, 898, -133, -127, 7, -53, 117, 299, -357, 183, -283, 244, -110, -6, -564, -354, 246, 226, -313, -508, -89, 199, 114, -836, 246, 15, -130, 217, -31, -295, -63, 471, -98, 18, 176, -4, 188, 247, -286, 235, -63, -119, -292, -445, 48, -108, -78, -74, -120, 31, 3, 868, 73, -231, -37, 133, 10, 315, 4, -270, -13, 276, -44, -203, -45, -23, 282, 658, -313, 377, -204, -215, 158, -164, -310, -75, 315, 153, -405, 243, -61, 340, -19, -524, 19, 41, -590, -120, -220, -141, -329, 6, -129, 220, 116, -153, 68, 376, -681, 127, -9, 398, -262, -444, 102, -27, 235, 403, -132, -578, 0, 295, 205, -470, 115, -78, 125, 617, -177, -592, -99, 269, -323, -13, 114, 56, 105, 119, -296, 187, -33, -56, 71, -319, -226, 148, 320, 235, -291, 170, -124, 207, 120, -308, 373, 68, 160, -9, -72, -932, -84, 760, -72, -272, -42, -57, 408, 631, -757, 312, 36, -123, -222, -521, -38, -33, -167, 493, -189, -39, -168, 527, 235, -354, -17, 64, 0, 470, -246, -223, -8, 418, -400, 75, 280, 27, 257, 813, -276, 110, -305, -79, 84, -347, -131, -246, 327, 228, -140, 497, 53, 526, -54, -421, 174, -46, -40, -200, -133, 175, -173, 542, 184, 91, -78, -82, 315, 578, -303, 132, -60, 44, -207, -395, -121, 56, 408, 463, -165, 101, -208, 291, 318, -345, 260, -36, 54, 316, -222, -1212, -116, 411, -121, 131, 345, -34, 33, 897, -110, 255, -40, 407, 104, -836, -423, -54, 432, 144, -302, 85, 64, 296, -299, -510, 219, 35, -223, 481, -37, 66, -251, 370, 157, 110, -3, 191, 419, 836, -585, 230, 122, -392, -349, -375, 16, -37, 213, -105, -31, 81, -235, 413, 182, -333, -144, 35, 15, 378, -447, -13, -149, 720, -315, -292, 362, -34, 106, 209, -173, 170, 25, 297, 8, 632, 183, -102, 561, 592, -481, -447, -157, 440, 175, -1031, 161, 70, -31, 328, -32, -155, -116, 759, 241, 439, -222, 19, 189, 1017, -665, 394, -131, 364, -279, -401, 36, -4, 110, 231, 152, -162, 2, 809, 785, -21, 273, -106, 124, 522, -419, -31, -93, 249, -381, 167, 236, -31, 204, 588, 145, 218, -262, -94, 225, 344, -116, -68, 529, 730, -456, 229, 110, 641, 125, -1003, 293, 206, -129, 527, 94, -225, -209, 434, 113, -110, 614, -140, 352, 1019, -355, 358, 74, 824, -358, 5, 103, -20, -74, 445, 112, 246, -85, 657, 385, -105, -111, -232, -12, 635, -57, 35, -99, 500, -334, 388, 184, 114, 420, 1268, -397, 481, -54, -33, 222, -216, -404, 120, 619, 460, -350, -290, -21, 711, 115, -60, 291, 115, -161, 552, -8, -328, -195, 1396, 82, 220, 296, -142, 400, 871, -265, 332, 86, 247, 91, -752, -23, -71, 308, 512, -15, 174, -380, 685, 656, -168, 193, 175, 192, 369, -602, -72, -60, 437, 7, -102, 313, 140, 267, 830, -86, 611, -206, -389, 121, 248, -332, -150, 438, 602, -142, 36, 34, 790, 91, -71, 212, -62, 210, 406, -171, -206, -284, 592, 351, 310, 252, -136, 395, 1219, -815, 168, -7, 338, -33, 923, 336, 54, 254, 283, 3, -427, -32, 965, 95, -245, 266, 169, -165, 546, -195, -105, -143, 416, 32, -150, 593, 5, 295, 772, -139, 488, -13, 79, 175, 84, -303, 33, 470, 394, -325, 546, 18, 505, 386, -657, 293, -36, -80, 424, -42, 340, -360, 754, 248, 79, -83, 133, 605, 825, -451, 577, -56, 94, -245, 183, 188, -26, 181, 220, 336, 149, -177, 698, 442, -179, 343, -202, 0, 547, -149, 193, 162, 682, -511, 149, 356, -87, 188, 715, -159, 378, -148, 378, 200, -298, -281, -365, 451, 541, 56, 997, -105, 719, -79, -769, 321, 219, -54, 459, 301, 36, -53, 461, 438, 169, 257, 59, 501, 1201, -680, 669, -117, 280, -430, 559, -25, -48, 62, 491, -15, 372, 15, 1668, 692, -789, 169, -65, 2, 491, -494, -58, 30, 897, -301, 584, 268, 7, 371, 1452, 23, 224, -258, 29, 54, -387, 359, -209, 874, 495, -357, 293, -76, 278, 216, -201, 320, 122, -466, 491, 434, -337, -528, 842, 371, 627, -315, -50, 632, 996, -342, 330, 40, 365, 171, -1130, 76, -84, 525, 491, -179, 761, -1, 680, 399, 196, 278, 148, 458, 741, -484, -49, -75, 495, -233, -168, 578, 128, 273, 929, 13, 225, -215, 755, 366, 45, -311, 25, 286, 831, -421, 129, -35, 850, 95, -635, 433, 163, 317, 802, -113, -352, -89, 1965, 108, 381, 430, 67, 299, 820, -587, 801, 4, 313, -172, 354, 127, 3, 340, 475, 154, 927, -174, 464, 889, 258, 131, 431, 406, 725, -101, -238, -49, 953, -658, 168, 611, 171, 208, 1072, -346, 529, -306, -90, 260, 285, 5, -107, 400, 611, -305, -769, 100, 1062, -22, -116, 553, 9, -466, 445, 408, 259, -146, 819, 26, 214, 674, -254, 363, 984, -471, 538, -58, 289, -265, 432, -126, -36, 307, 240, 72, 336, -145, 400, 495, -530, 282, 181, 427, 505, -574, 94, -138, 469, 210, 324, 316, -35, 376, 447, -46, 529, -83, -158, 32, -158, -417, -133, 76, 596, -415, 844, 64, 621, 93, -583, 599, 247, -243, 213, 178, -120, -330, 554, 261, 533, 509, 260, 536, 1360, -815, 354, 1, 456, 55, 290, 398, 30, 122, 243, 167, 299, -348, 1193, 325, -244, 152, -182, 74, 461, -97, 424, -148, 1205, -159, 437, 231, -4, 350, 1160, -83, 627, -12, 242, 198, 738, -190, -148, 479, 3, -246, 937, -92, 589, -138, -221, 370, 268, 377, 83, -135, 313, -4, 517, -57, 82, 420, 98, 89, 1708, -514, 291, 63, -53, -180, 48, 266, -135, 187, 4, 205, 625, 49, 955, 410, -246, 478, -167, -155, 726, -371, -1095, 183, 537, 54, 560, 817, 14, 38, 886, 129, 502, -199, -51, 190, 280, -697, -1, 361, 527, -190, 884, -155, 719, 206, -317, 279, 407, 31, 836, 288, 342, -337, 723, 193, 254, 340, -207, 386, 850, -463, 344, 87, 1094, -563, 74, 435, -14, 144, 281, 240, -75, -10, 1036, 336, -109, 441, 111, -460, 1162, -168, 419, -61, 881, -655, -211, 579, 287, 581, 488, 144, 312, -31, 112, 87, -113, -109, -4, 500, 597, -306, 708, -62, 609, -28, -374, 371, 187, -761, 835, 463, 5, -183, 1422, 107, 358, -158, -199, 378, 745, -536, 730, 76, -321, 98, 287, -21, -35, 339, 16, 243, 908, -225, 497, 155, -217, 181, 158, 127, 779, 177, -184, -97, 1031, -115, 453, 369, 168, 70, 1201, 218, 108, -553, 520, 441, 349, -77, -35, 251, 315, -636, 83, 110, 1213, 238, -433, 295, -24, -165, 807, 66, 608, -122, 535, -174, 424, 335, -159, 234, 898, -459, 710, -21, -340, -30, 842, -28, 156, 324, 611, 6, 71, -73, 1003, -363, 494, 135, 115, 214, 525, 368, 21, -67, 369, -941, 488, 508, 22, 483, 1312, -420, 429, 169, 395, 77, 226, 58, 98, -66, 855, -142, 336, 161, 1039, -228, -890, 896, 167, -136, 329, 690, 366, -321, 1553, 280, 629, 130, 150, 402, 662, -256, 627, 127, 262, -143, -344, 35, 65, 470, -46, 217, -88, -223, 446, 264, 20, 302, -1, -104, 330, -550, -427, -134, 1115, -273, -58, 152, -69, 392, 963, -68, 211, -134, -821, 9, -198, -375, -164, -147, 286, -476, 13, -131, 341, -8, -56, 307, 259, -78, 1060, 284, -635, -225, 92, -262, -94, 587, 160, 356, 805, -491, 622, 59, 205, -488, -749, -20, -114, 18, 6, 501, 616, -89, 975, 292, -697, -309, -59, -179, 597, -473, -281, -18, 70, -1168, -400, 503, 61, 379, 174, 209, -146, -327, 326, -178, -650, -232, -229, 375, 200, -448, -233, -53, 499, 158, -772, 385, 252, -818, 423, 101, -318, -376, 108, 68, -61, 89, -167, 275, 1164, -3, 494, 46, 545, -52, 58, 473, 30, 190, -167, -121, -803, 13, -473, 235, -530, 337, 19, 186, 572, -189, -943, -173, -333, -593, 577, -401, 184, 523, 146, -431, 721, -179, -523, -344, -297, -381, 93, 7, 433, -587, -63, -4, 241, -502, -404, 443, 30, -89, 462, 185, -455, -66, 562, -122, 52, 368, -119, 127, 873, -552, -32, 379, 97, -859, 373, 353, -57, -450, 477, -138, -271, -299, 522, 407, -954, -203, -52, -265, 660, -301, -738, -25, 380, -225, -797, 175, 157, 279, -136, 378, 248, -267, -262, 50, 343, -80, -452, -22, 709, -383, 169, 68, 588, -363, -69, 161, -60, -557, 395, 383, -462, -337, 137, -259, -96, 84, -12, 166, 400, -613, 178, -65, -663, -20, -962, 174, -167, 483, 145, 85, -946, -160, 569, 18, -387, 390, 218, -168, 602, -337, -280, -112, -132, -609, -420, 632, 38, 189, 26, 266, 193, -19, -39, -210, -485, -1092, -188, 80, 534, -80, 362, -26, -284, -158, -531, 279, 278, 36, -284, 150, -127, -275, -837, -158, 64, -19, 152, 409, 939, -799, 409, -44, -668, -310, -274, -200, 159, -180, 324, 225, 232, -294, 830, 158, -24, 416, -456, -406, -158, -143, -475, -51, 675, -607, -461, 489, -32, -123, -9, -236, 303, 131, -39, -50, -1371, -325, -131, -81, -87, -209, -627, -33, 466, -1050, -651, 177, 137, -664, 2, -56, -18, -126, -255, 98, 55, -333, 249, 212, 772, -585, 337, 5, -244, 17, 173, -151, -302, 495, -359, -31, -633, -22, 422, -237, -1150, -85, -43, -49, 126, -487, -228, -10, -194, -85, 23, 1000, 37, -112, 63, 148, -45, -189, -568, -248, -718, -280, 86, 193, 254, -540, -752, -72, 773, -150, -1070, 417, 19, 277, -166, 132, -259, -246, -152, -1047, -306, -443, 42, 187, 296, -475, 10, -67, 196, -243, -632, -418, -111, -156, -206, 209, 239, -60, 736, -36, -203, 55, 167, 150, -71, -110, -382, -122, -580, -821, -348, -421, 189, 610, 1131, -249, 335, -141, -439, -49, -891, -234, 165, -349, 185, -599, -1124, 17, 267, -314, 8, 299, -14, -1342, -241, 304, -942, -292, 1071, -137, -41, 27, 116, 309, 143, -258, -426, 109, -134, -223, -761, 529, -89, 271, -35, -72, -278, -404, 446, 89, 104, 451, 415, 71, 36, 126, -560, -16, -309, -147, -157, -125, 96, 376, -276, -502, 94, -148, -420, -87, -1062, -332, -430, -352, 331, -743, -1251, 13, 597, -571, 9, 144, -54, -778, 154, 71, -849, -135, -440, 142, 383, 615, -151, 261, 36, -605, 358, -111, -153, -326, -390, -442, -332, 326, -649, -108, -940, -168, 655, 230, -1098, 213, 277, -727, 174, -7, -99, -46, -979, -399, 45, 329, -16, 293, -224, -266, 34, 9, 894, 25, -383, -3, -17, -71, 124, -594, -177, 169, -189, -487, -332, 435, 47, -448, -298, 292, -1119, -549, 357, -367, -115, -210, -49, -91, 312, -17, -88, -24, -479, -383, -1709, 303, -27, -80, 54, 43, -1530, -348, 209, -132, -28, 255, -311, 226, 314, 267, -381, 138, 1360, -926, -1097, -325, -83, 240, 104, 206, 308, -54, -314, -268, 80, -748, 115, -588, 76, -492, -28, -105, 27, 260, -1154, 166, 4, 1, 589, -236, -350, -157, -878, -515, -189, 195, 107, 358, 62, -790, -314, 165, -18, -259, -1211, -73, -306, -208, 611, 121, -251, -146, 964, -101, -154, 159, -173, -334, -661, -176, -1524, -44, 141, -895, -89, 861, 72, 21, -414, 110, 233, -244, -680, 246, -908, -278, -278, 433, 375, -160, -520, -18, 533, -341, 96, 353, 397, -348, 413, 209, 24, -298, -1783, -192, 264, 103, -101, 56, 127, -285, -82, -62, 513, -670, -295, -274, -46, 119, -993, -79, -911, 40, 22, -304, -1257, 646, 313, -782, 421, -1136, -1080, -49, -365, -15, 63, -192, 186, 245, 814, 290, -286, -58, -86, 76, -914, -825, -422, -87, -11, -1232, 290, -132, 414, 122, -930, -106, -509, -51, 190, 102, -187, -110, -329, -158, -107, 151, -192, -81, 585, -1227, 356, 233, -402, -539, 952, 213, 217, 228, 275, -24, -988, -319, 256, -135, -346, -174, 184, -582, 758, -156, -477, -86, 488, -783, -136, 613, 123, 458, -357, 105, 175, -322, 345, -105, -197, -54, -293, -437, 223, -127, -1298, 0, 870, 424, -362, 345, 21, -298, 12, 551, -405, -271, -1030, -75, -506, 264, -121, 474, 1089, 220, 425, -46, -260, -80, -487, -401, -143, 473, 436, -34, -1259, -121, 748, 701, -546, 182, 332, 309, 15, -124, 40, -118, -1006, -972, 121, -68, -208, 25, 767, -162, 9, -384, 461, -155, -613, -435, 22, -149, 1061, -184, -1355, 270, 440, 29, -240, 573, 236, -459, -111, 184, -70, -278, 990, -394, -520, 211, 341, 396, 385, -758, -247, -140, 445, -316, -679, 47, 24, -692, -611, 53, 206, -304, -38, -93, -1175, -103, -243, -172, -42, -464, -465, -27, 403, -104, -331, 159, -87, 425, -99, 333, -75, -81, -1231, 145, -213, -233, -89, -503, 436, -648, -1913, -117, 910, 110, 118, 294, -180, -502, -518, 527, -1264, -7, -189, 41, 236, 10, 277, 350, 1253, -279, 90, 92, -51, -138, -2196, 45, -430, 142, -619, 209, -899, 139, 1296, -728, -142, 75, -51]