# Trace form for 8045.2.a.b, downloaded from the LMFDB on 20 April 2024.
[0, 126, 5, -9, 109, -126, -21, -23, 12, 109, -5, -44, -11, -35, -14, 9, 75, 11, -15, -130, -109, -44, -14, 75, -63, 126, -43, -42, -77, -24, 21, -78, 24, -29, -57, 23, 50, -31, -3, -57, -12, -38, -10, -100, -90, -109, -96, 12, -22, 65, 5, -74, -112, 20, -90, 44, -57, 6, -35, -97, 11, -102, -16, -15, 4, 35, -83, -121, 41, -71, 14, -32, -32, -85, -42, -9, -275, 13, 10, -97, -75, 86, -55, -73, -111, -11, -56, -1, -37, -67, 15, -180, 98, -44, -86, 130, -179, -50, 18, -217, 109, -90, -54, -70, -123, 44, -167, 53, -61, -100, 14, -110, -194, 42, -51, -75, -76, -80, -123, -99, 63, 50, -34, -113, -189, -126, -66, -15, 53, -90, 43, -150, -134, -7, -61, 42, -167, 35, -113, -294, 77, -76, -14, 107, -116, 24, -33, -30, -114, -125, -21, -192, -84, -6, -151, 78, -135, -89, 59, -115, -24, -91, -114, -163, -133, 29, -197, 73, -57, 3, 57, -379, -194, 61, -129, -23, -144, 9, -170, -109, -50, -99, 17, 78, -233, 31, -71, -285, 17, -197, 3, -80, -20, -39, -92, 57, -75, 56, 30, -188, 12, -160, -163, -52, -160, 38, -137, 239, -286, 5, 10, -261, 76, -118, -184, 100, -252, -76, 18, -224, 90, -104, -13, -197, -143, 109, -141, -71, 23, -227, 96, -127, -126, 123, -200, -12, -193, -81, -140, -126, 22, -207, 38, -130, -282, -65, -58, -51, 28, -118, -5, -177, -84, -159, -24, 74, -135, 55, -15, -367, 112, -124, -105, 200, -213, -20, -100, 12, -230, -108, 90, -396, 72, -1, -154, -44, -171, -15, -67, -237, 57, -144, 54, -336, -135, -6, -178, 89, -81, 7, 35, -252, -263, -53, -189, 97, -161, -81, -20, -229, -11, -206, 55, 128, -577, 102, -174, -434, 46, -104, 16, -105, 48, -125, -98, 15, -259, 27, -57, -217, -4, -192, -85, -36, -40, -35, -47, -92, -167, -84, 83, -318, -94, -110, -214, 121, -235, -64, 118, -283, -41, -124, 15, -226, -226, 71, -228, 180, 36, -298, -14, -220, -114, 60, -164, 32, -168, 5, -139, -207, 32, 66, 28, -83, -337, 85, -181, -207, 241, -139, 42, -226, -129, -161, -181, 9, -310, -6, 31, -343, 275, -192, -155, 49, -342, -13, -58, -179, -127, -128, -10, -426, 84, 33, -218, 97, -441, -189, 112, -207, 75, -109, -37, -229, -274, -86, -387, 235, 47, -264, 55, -336, -190, 129, -345, 73, -214, 21, -162, -253, 111, -216, 207, -83, -365, 11, -176, -388, 251, -118, 56, -193, -79, -123, 34, 1, -309, -72, 262, -242, 37, -102, -99, 71, -142, 67, -83, -99, -242, -82, -15, -533, 184, -87, 105, 180, 68, -132, 52, -297, -98, -134, 102, 7, -18, 44, -109, -148, 210, -63, 86, -249, -279, 179, 49, -130, -131, -101, 230, -164, 179, -236, 69, -153, -25, 50, -129, 4, 24, 35, -18, -272, -117, -26, 75, 217, -479, 73, 406, -190, -109, -223, -463, 314, 17, 90, 174, -168, 76, -101, 54, -199, 180, 143, -174, 70, -283, -198, 324, -35, 123, -65, 17, -427, -135, -44, -99, 290, 185, 25, 167, -446, 67, 183, 396, -53, -105, -85, 4, -302, 61, -206, 86, 118, -44, 100, -73, -136, 325, -106, -14, -192, -365, -9, 56, 110, -402, 88, 329, -222, 194, -29, -265, -51, 106, -42, 13, 36, 151, 18, 51, -535, 305, 88, -179, 75, -127, -264, 339, -340, 76, -14, -14, -60, 67, 80, -234, -30, 501, -41, 123, -209, -329, -1, 304, 99, -329, 66, 190, -135, -63, -265, 282, -182, -72, -50, 119, -71, 91, 37, 34, -196, -55, -126, 36, 113, -272, 52, 372, -506, 189, -189, -143, 455, 167, 126, -68, -48, 27, -186, 66, -342, 201, 112, 39, 15, 112, -172, 497, -10, -53, -7, -101, -434, 47, 90, -232, 169, 209, -147, -43, -382, -347, 319, 244, 150, -26, -186, 462, -13, 134, -244, 152, 7, -43, 7, 5, -358, 260, 21, 61, -208, -82, 14, 241, -42, 44, -7, 216, -222, 167, -161, -577, 64, 119, -35, 141, 63, 197, -129, 113, -546, 313, 255, 125, 294, -382, -104, 309, -343, -77, -17, -20, -208, -38, 76, -203, 135, 663, -44, 14, -173, -565, 30, 416, -107, -6, -27, 21, -33, 116, -267, 206, 109, 272, -24, 146, -261, 502, -59, 33, -88, 32, -120, 207, 30, -353, 156, 366, -487, 114, 146, -80, 404, 476, 125, 22, -587, 81, -97, 21, -342, -12, 194, 282, 192, -176, -108, 408, -109, 84, -194, -67, -168, 68, 6, -162, 451, 377, -198, 151, -295, -244, 1, 343, -78, -26, -57, 292, -8, 135, -126, -80, 256, 252, 89, 587, -716, 409, -48, -59, -151, -4, 106, 217, 115, -509, 33, 738, -321, 24, -228, -166, 107, 412, 91, 72, 326, -71, -118, 114, -605, -47, 254, 463, 163, 18, -280, 481, -138, 133, -92, -196, 95, -208, -29, -50, 202, 1002, -224, 197, -110, -745, 307, 397, -73, 199, -185, 117, -106, 57, -12, 262, -233, -81, -3, -176, -363, 491, -43, -57, -287, -269, 81, 231, 379, -208, 102, 590, -632, 194, 48, -228, 401, 176, -61, 17, -102, 628, -104, 129, -650, 181, 109, 713, 23, -45, -206, 178, -112, 144, -16, -176, -266, 303, -9, 25, 222, 1087, -108, 170, -546, -518, 260, 507, 109, -206, -147, 447, -307, 50, -306, 115, 404, -176, 99, 240, -282, 179, -185, -17, -122, 290, -5, 111, -78, -637, -114, 816, -114, 233, -163, -303, 141, 525, -31, 88, -53, 284, 31, 71, -720, 390, 430, -73, 285, -60, -365, 400, -104, -17, -110, -46, -239, 39, 197, -158, 152, 314, 58, -3, -189, -539, 332, 656, 80, -59, -183, 460, -141, 20, 68, 55, 223, 58, 39, 185, -87, 568, 30, 92, -359, -309, -110, -5, -57, -434, 93, 539, -430, 75, -54, -97, 145, 614, -56, 75, -326, 244, -147, -30, -180, 23, 468, 616, 188, -244, -266, 634, -130, -12, -12, -53, -163, -144, 160, 29, 138, 353, -244, 163, -345, -587, 319, 849, 52, 213, 109, 86, -217, 160, -366, -108, 574, 322, -38, 182, -460, 631, -136, 137, -63, -361, -122, 100, -239, -399, 204, 947, -309, 286, -1, -388, 196, 231, -5, -102, 124, 189, -32, -10, -516, 266, 193, 303, 261, 102, 10, 266, -14, -76, -115, -312, -179, 448, 118, 20, -3, 703, -499, 184, -560, -481, 277, 425, -100, 21, -114, 627, -14, 252, -318, 132, 108, 248, 76, 279, -85, 449, 236, -18, -447, 135, 218, 279, 224, -357, -60, 1314, -495, -90, 40, -328, 212, 413, 104, 224, -275, 302, -187, 13, -493, -81, 253, 48, 197, 62, -255, 270, -147, 143, -147, 0, -549, -58, -109, 80, 601, 907, -134, 141, -403, -659, 369, 937, 71, 83, -168, 547, -396, -23, -57, 220, 457, 79, 227, -544, -697, 472, 94, -96, -174, -250, 177, 402, 127, 88, 6, 62, -37, 126, -293, -150, 165, 321, -123, 108, 7, 13, 129, 200, -563, -256, 268, 399, 12, -13, -195, 527, -466, 193, -101, -37, 377, 54, 81, -244, 211, 735, -340, 140, -178, -17, 238, 552, 126, -393, 89, 287, -83, -22, -190, -82, -217, 389, 207, 361, -479, 603, 52, -38, -262, 210, -7, 328, 130, -658, 149, 730, 48, 282, -3, -170, 480, 525, 65, -115, -115, -151, -27, 58, -329, 135, 378, 541, 51, 426, -409, 630, -172, -28, 12, -415, -173, -14, 118, -432, 474, 1269, -267, 5, -818, -169, 226, 784, 177, -269, 47, 311, -275, 84, -244, 95, 297, 229, 159, 520, -570, 376, 82, 24, -284, -330, 343, 379, -74, 95, 20, 712, -396, 135, 19, -346, 194, 530, -55, 23, 205, 428, 5, 15, -477, 86, 18, 222, 367, -295, -232, 122, -120, -112, -178, -5, 309, 444, 124, 23, -251, 856, 61, 105, -248, -368, 449, 748, -200, -95, 162, 510, -111, 213, -322, 31, 458, 180, 20, 261, 71, 84, 145, 100, -477, -438, 4, 175, -12, 119, 335, 666, -540, 230, -280, -494, 436, 1246, 108, -220, -77, 263, -8, -90, -274, 267, 685, 96, 396, -248, -333, 680, -404, -72, -95, 265, -649, 144, 1, -234, 507, 445, 201, 154, -746, -711, 195, 1203, 44, -245, -141, 579, -156, 171, -135, 120, 515, 161, 15, 550, -292, 940, -239, 67, -325, 104, -111, 246, 237, -951, 27, 682, -105, -57, 166, -122, -175, 266, 144, 309, 170, 391, -65, -54, -764, 40, 382, 616, 336, 394, -344, 529, -57, 135, -187, -35, 167, -169, 6, -114, -65, 1287, -206, 178, -341, -252, 138, 827, -89, -346, -158, 297, -65, 81, -324, 159, -57, 878, -7, 48, -521, 401, 32, -35, -280, -127, 47, 182, 252, -114, 388, 939, -509, 263, 85, -269, 474, 293, 53, 37, -171, 209, 37, 189, -574, 401, 333, 312, -97, 231, -424, 355, 281, 161, -185, -87, -468, 113, 81, -48, 18, 837, -263, 20, -738, -375, 381, 374, 229, -422, -106, 609, -83, 11, -342, 31, 432, 36, 206, 93, -325, 182, 16, -55, -157, 198, 163, 426, -128, -191, 246, 1505, -493, 577, -233, -259, 315, 465, -102, 74, 170, -5, -68, 174, -1086, 43, 168, 1075, 434, -362, -151, 113, -845, -46, -136, 132, 2, 676, 104, -451, -79, 966, -114, -16, -167, -375, 189, 725, 105, 62, -107, 540, -114, -48, -222, 125, 464, -553, 125, 247, -247, 641, 22, 98, -487, 341, -225, 263, -15, -419, 280, 691, -623, 259, -150, -81, 723, 541, -27, 400, -133, 917, -119, 57, -299, 208, 355, 110, 217, -579, -388, 421, 34, 4, -163, -490, -387, -193, 192, -7, 466, 822, -126, 85, -392, -183, 172, 667, 36, -362, -295, 98, -193, 40, -216, 159, 301, -98, 35, 517, -1198, 970, -19, 47, -56, 12, 194, 101, 92, -220, 24, 1079, -367, 167, -288, 275, 21, 845, 84, 8, 464, 312, 145, -83, -594, 503, 110, 311, 318, 73, -318, 754, -54, 94, -81, -236, 213, 44, 110, 421, 187, 1008, -212, 214, -513, -216, 408, 576, -121, -36, 267, 860, -428, 235, 48, 290, -502, 280, 64, 429, 30, 652, 252, -118, -168, -69, -196, 233, 283, -536, 332, 1266, -525, 41, -68, -500, 777, 380, 124, 293, -381, 147, -131, -15, -643, 525, 104, 772, 226, 582, 203, 325, -171, 226, -202, 8, -297, 230, -71, 140, 455, 1232, 26, 228, -252, -413, 277, 871, -180, 461, 449, 792, -304, -36, 176, 325, 651, 202, 298, -121, -581, 305, 205, 14, -114, 556, -217, 441, 220, -50, 320, 920, -482, 114, -35, -109, 150, 578, -60, 277, 234, 683, 198, 164, -679, 547, 499, 73, -32, 621, 5, 738, -122, 168, 155, 474, -464, 447, -5, 339, 48, 472, -148, 139, 143, -144, 441, 1117, 207, -333, 148, 818, 182, -32, -113, 114, 503, 493, -66, 1021, 384, 718, -375, -28, -600, -54, 303, 386, 83, 627, 238, 612, -389, 337, 31, -185, 350, 922, -85, 675, -94, 471, 211, 181, -35, 316, 386, 214, 207, 359, 37, 704, -320, -241, 14, 702, 37, -66, 139, -314, 665, 1804, 86, -42, -400, -51, 226, 421, 226, 204, 90, 537, -279, 129, -126, -30, 1044, 527, 161, 389, -861, 235, 559, 181, -109, 144, 152, 742, -9, 596, 297, 1417, -477, 310, 566, 55, 80, 600, 6, 323, 652, 234, 69, -31, -541, 419, -5, 475, 343, -170, 257, 866, -212, -275, 436, 367, -84, 430, 192, 509, 264, 1055, -333, 155, 395, 432, 225, 854, -49, 49, 39, 537, 253, 342, -269, 394, -41, 528, 13, -21, 229, 511, 389, 58, -462, 55, 242, 664, 179, 213, 193, 1075, -353, 127, 575, -125, 818, 999, 128, 173, 198, 1015, -155, 10, -237, -135, 290, 144, 426, 811, 336, 684, 119, -84, 126, 348, -465, -124, -33, 232, 720, 524, 428, 218, -600, -235, 404, 1459, -97, 395, 627, 350, -153, 441, 2, 297, 468, 85, 189, 953, -859, 1010, 248, -112, -233, 778, 160, 715, 207, 27, 321, 390, -86, -75, 354, -63, 450, 1112, 109, 117, 84, 258, -50, 37, -444, 553, 296, 150, 229, 675, 154, 637, -314, 274, 14, 32, -424, 751, 86, 256, 241, 1168, 293, 387, 32, 64, 7, 1360, -235, -28, 880, 558, 88, -47, 416, 60, -64, 609, 264, 127, -261, 805, -104, -55, 16, 93, 122, 57, 336, -315, 353, 1068, -1207, 190, -35, -54, 688, 1031, -129, 99, 222, 10, 69, 345, -262, 436, 292, 1033, -73, 344, 108, 408, -257, 214, 210, -415, -317, 386, -21, 25, 410, 1069, 2, 162, -754, -844, 51, 412, 253, -633, 150, 395, -189, -111, 265, 403, 289, 355, 216, 344, -754, 316, 27, -207, -281, -162, -191, 346, 83, 311, 318, 1346, -368, 365, 143, 70, 630, 59, -11, 49, 112, 1750, 39, 176, -798, 395, -179, 34, 388, 1032, -64, 93, 39, -251, 429, -120, 13, -42, 118, -519, 62, 164, 117, -56, -34, -553, 267, 829, 193, -453, 255, 282, -119, 79, -136, -396, -99, 675, 123, 547, -149, 387, 45, -34, -207, -116, -509, 195, -1, 573, 284, 1082, -509, 309, 763, -487, 539, 979, 72, -181, -182, 708, -73, -262, -373, 512, 449, 115, 242, -748, 44, -102, -52, -37, 135, -299, -376, 300, 102, 251, 593, -759, 12, 99, 230, -359, 544, 689, -71, 50, -99, 562, -321, 142, 257, -468, 211, 22, -67, -16, -321, 1073, -265, 83, -177, 328, 74, -234, 99, -92, 458, 483, -600, 242, 350, -477, -357, 317, 82, -468, 539, -15, 269, 15, -1017, -521, 119, 402, 533, 975, 107, 134, -448, -184, 424, -144, 373, -216, 87, 177, -4, 828, -20, -105, 115, 113, -133, 946, -180, -29, 68, 215, -106, -68, 156, -354, 177, -692, 132, 30, -607, 926, 26, -52, -571, -800, 62, -43, 297, -847, 616, 663, -1084, 98, 392, 102, 604, 227, 134, -258, -160, -421, -127, -102, -172, -189, -106, 297, -7, 683, 118, 626, 313, 18, -397, 47, -875, -163, -44, 506, 434, 518, -280, 109, -444, -420, 173, -474, 148, 156, 586, 324, -400, -210, 380, -248, 295, 7, 63, -757, -629, 329, 151, -86, -575, -457, 296, -37, 249, 345, 230, 1269, -477, 279, 9, -1045, 497, 81, -179, -268, 836, -163, 75, -49, -1126, -486, 112, 268, 130, 589, 178, -75, -671, 131, -2, -1094, -451, -969, 101, -346, -19, 301, -85, -230, -185, 27, 117, 283, 164, -1242, 531, 452, -167, -179, 562, -76, 183, -278, 236, -46, -181, 801, -88, -69, -588, -927, -184, -65, 153, -84, 348, -248, -552, 25, -169, -890, 536, 818, -50, -245, -416, 762, -139, 129, -247, -722, -150, 339, -4, 1216, 849, -282, -1389, -24, -95, -440, -289, -216, -35, -564, 747, 288, -346, 18, 124, -694, 1, 315, 272, -174, 242, 251, -365, 117, 86, 25, 352, -658, 26, 392, -761, -2, 687, -75, -514, -33, 93, -779, -217, -935, 303, 77, 202, 479, -129, -471, -65, 200, -73, -63, 218, 12, 395, -406, -994, 259, 476, 658, 190, -929, -67, 187, 41, 109, 201, -905, -276, -500, 223, 574, 307, 331, -655, 463, -453, -625, 526, 462, -314, -990, 133, -472, -51, -17, 181, -336, -316, -160, -90, -733, -173, 405, 89, -174, -536, -118, -216, -124, 168, 74, 29, -338, -444, -76, 760, -53, 741, 393, 101, -523, -715, 211, -26, -54, -318, 108, -287, 547, 199, 250, -228, -157, -343, -180, 137, -174, -875, -108, -143, -131, 120, 304, -74, 174, -840, -985, 458, 524, -70, -333, 564, 1028, -217, 283, -91, -662, -63, -375, 198, -309, -553, -77, -27, -324, -99, -957, -628, -588, 35, -518, 195, -369, -463, -123, 530, -324, -150, -683, 65, -443, 451, -272, -391, -17, -496, 538, 234, -351, 427, 261, 217, 605, -576, 135, -781, -408, -31, 146, 44, -363, 311, -387, -265, 99, 46, -258, 43, 94, -290, 11, -350, 526, -69, -185, 14, -378, -353, 5, -25, -496, -68, -77, 547, -167, -384, -1366, -94, -464, 446, -200, 358, -276, -844, -67, 808, -178, 354, 324, -183, -189, -604, 72, 120, -396, -547, 119, 10, 386, 53, -470, 401, 133, -61, 105, -42, -560, -564, -488, 85, 142, 267, 1441, 133, -4, -516, -487, 183, 673, 302, -66, 259, -326, -253, -61, 110, -1367, 596, 771, 206, -763, -691, -61, -667, -86, -35, -1212, 140, -399, -118, -240, 612, -278, -678, 44, -127, -817, 288, -408, -100, -467, 643, -824, -157, 73, -326, -381, -421, 48, 136, 215, 146, -163, 151, -325, -70, -861, -239, -538, 106, -821, -324, 523, -228, 14, 179, -199, 271, -207, 192, -122, 74, 545, -158, 365, 318, -109, -1120, 156, 9, 923, -311, 57, 278, -56, -855, -928, -86, -594, -110, 96, 562, 1386, -997, 402, 113, -707, 718, -546, -88, -674, 58, 608, -72, -329, -491, 320, -176, 307, 222, -847, 188, 267, 175, -194, 221, -1325, -1005, -482, 29, 322, 727, 416, -22, 265, -592, -791, 140, -336, 51, -564, 223, 430, -554, -106, 396, -2, -184, -463, 42, 434, -1465, 232, 181, -13, -106, 53, -55, -165, -36, -129, 29, -405, -354, -151, 563, -719, 415, 292, -18, -1294, 362, 6, 517, -51, -770, -812, 103, 237, 535, -126, -5, -412, -1220, -305, 132, -1005, -138, -99, -88, 14, 204, 547, 155, 179, -599, -1058, -308, 523, -75, -8, -95, 40, -212, 127, -251, -853, 162, 254, 264, -20, 196, 554, -136, -339, -739, -649, -94, -299, 340, 79, 195, 341, -675, -76, 363, -959, 526, 1029, 14, -242, -861, -210, -353, 14, -397, 271, -106, -394, 60, -925, -36, -230, 101, -67, -188, -503, -660, 161, -80, 241, 384, 565, -81, 234, -306, -385, 183, -708, 30, -370, -1, 1661, -379, -501, 240, -680, -386, -531, 41, -373, -440, 639, -37, -123, -699, -901, -29, -103, 209, -369, 329, -261, -733, 329, 365, -408, -288, 837, 1, -76, -56, 594, 106, -304, -1282, -820, -237, 1192, -99, 963, -277, -2, -302, 329, 80, -1299, -131, -452, -66, 805, -314, 56, -329, -190, -114, -795, 247, -587, 135, -746, 848, 90, -521, 63]