# Trace form for 6045.2.a, downloaded from the LMFDB on 25 April 2024.
[0, 241, -13, 1, 231, 1, 3, -8, -33, 241, 3, -20, 7, 1, 8, 1, 223, 2, -13, 4, 7, 8, 4, -24, 15, 241, 3, 1, 8, -50, 3, 1, -49, -4, 22, 8, 231, -74, 60, 1, 15, 26, -8, -4, -12, 1, 40, -16, 31, 225, -13, 10, 7, -58, 3, 4, 72, 20, 26, 12, 7, 38, 3, -8, 207, 1, -12, -44, 62, -32, -40, -72, -33, 42, 50, 1, 28, -48, -5, -72, 31, 241, 78, -44, 8, 18, -44, -2, -28, -6, 3, 0, -104, -7, 64, -12, 63, -62, -21, -20, 231, 30, 22, -48, 15, 0, -158, 4, 7, -2, 36, -10, 136, -102, 12, 8, -126, 1, 132, 32, -33, 181, 122, -6, 7, 1, 8, 0, -97, 12, 3, 44, 36, -112, 28, 1, 14, -22, 8, 36, -56, -80, -24, 4, 223, 30, -82, -7, -182, 22, 3, -24, 172, 2, 0, 1, 7, -26, -32, 30, 63, 0, -13, -12, 22, -4, -4, -8, 24, 241, -74, 4, 52, 134, -134, -8, -300, -20, 94, 36, 7, -2, 24, -2, 72, 22, 3, 8, -48, 8, -68, -56, 31, -62, 102, -15, 207, -10, 4, -24, -33, 20, -158, -48, 94, 18, -24, -24, 31, 112, 24, -100, -134, -24, -12, 12, 15, 8, -326, -22, -92, 2, 98, -16, 120, 241, 150, 52, -84, 54, 72, -8, -30, 50, 3, 0, 4, 32, 144, 112, 31, 66, 15, 1, 130, 25, -82, 4, 15, 36, 3, -36, 8, -32, 0, -46, 159, 42, 68, -136, 7, -50, 108, -24, 84, 38, 80, -6, -292, -34, 3, -128, 254, -8, -82, -20, -24, -58, -12, 1, -24, -70, -176, -44, -216, -12, 36, -80, -49, 219, -54, -78, 246, -74, 107, -68, 170, -4, 98, -8, 7, -32, -168, -58, 220, -34, 22, -92, 192, -8, -13, -176, -9, 74, 234, 8, -208, -18, 98, -72, 31, 4, 64, -88, 231, 1, 188, -50, 118, 224, 20, -52, 172, -74, 200, 20, -24, -126, -13, -110, 126, 4, 60, -208, -172, -24, 58, 44, -46, -34, 8, 1, 164, 114, -76, -80, -26, -112, -180, -104, 15, 189, 98, 5, 24, 42, -54, 96, -168, 26, 34, -32, -17, 78, 264, 1, 160, 30, -8, -132, -36, 16, -176, -32, 143, 64, -26, -4, -130, -234, -13, -104, 279, -60, -46, 16, -12, -50, 136, -96, 223, 18, -132, -15, 170, 1, 240, -192, 46, 154, 94, -38, -88, 80, 40, -28, -17, -36, 128, 212, 24, -74, 284, -16, -102, 2, 120, 128, -28, 4, 20, -48, 31, 2, 24, -2, 66, -48, 46, 48, 68, 225, -10, -92, -38, -14, -144, 86, 504, -110, -13, -128, -434, 24, 92, 8, 12, -182, 2, 10, 104, 222, 0, -32, 18, 1, -114, 164, 7, -48, 16, -50, 548, -16, 176, 4, 208, -58, -16, 256, -33, -26, 294, 16, 323, 82, 3, -424, 194, -108, 139, 124, -10, 44, -36, 4, 31, -48, 28, 100, 7, 40, 212, 8, 72, -42, 64, 1, 80, -2, 54, 0, -561, 20, -122, 8, 196, 352, -320, -50, 15, 130, 26, 252, 156, 8, -216, 18, 116, 1, -110, 12, -352, -6, -98, -132, -292, -92, -6, 12, 7, 30, 96, -10, -2, 46, 24, 148, -58, 38, 4, -104, -152, -320, -222, -2, -252, -18, 3, -4, -152, -40, 62, -100, -128, 2, -156, -8, 56, 10, -20, 84, 52, -16, 272, -24, 207, -302, -263, -78, 34, 160, 166, 136, -410, 1, 98, 44, -17, 20, -60, 86, -502, 210, -12, 72, -326, 24, 40, -584, 15, 66, -144, -44, -248, 69, 114, 72, 252, -96, 10, -16, 62, -26, -84, -6, 80, 346, -104, 76, 7, -32, -648, 80, 31, 241, -98, 32, -142, 284, -40, -168, -176, -76, 26, -144, 26, 25, -88, -72, 31, -14, 4, 292, -240, 12, 24, -72, -33, 0, 3, 8, -148, 198, 106, -92, 214, 42, -16, 116, 20, -10, -172, 18, 220, -32, 50, -112, 168, 80, -4, -152, 8, -94, -250, 1, 231, -90, 118, -72, -226, -28, -12, 92, 28, 42, -160, -58, -700, -10, 72, -108, -46, -48, -12, -20, -78, 212, 90, 82, 8, 166, -5, -120, -684, 32, -42, 240, -76, -10, -168, -72, 54, 24, 32, -20, 60, 64, -280, 48, 31, 32, -265, -78, 218, -50, -417, 56, 120, 241, 46, 56, 82, 14, -528, -7, 264, -96, 78, -108, 90, 20, 144, -88, 15, 14, -382, -44, -296, -96, 3, -144, -288, -244, -6, -104, 8, -106, -76, -112, -148, 202, -16, 160, -576, 18, -192, -4, 191, -46, 192, 66, -226, -362, -44, 1, 142, -144, -94, 168, -33, 72, 448, -2, -25, 14, 12, -28, -246, 88, -48, -96, -28, 30, 330, -10, -56, -434, -80, 128, -49, -6, -170, 384, -100, 40, 3, 30, -118, -246, 3, 348, 80, -16, -360, 4, 190, -64, 158, 0, 70, -26, 78, -56, -88, -4, -256, 92, -104, -402, -132, -234, 31, 66, 244, 72, 288, -7, 156, -104, -40, 87, -238, 26, -212, 1, 64, 24, -390, -116, 22, -144, 136, 70, -144, -12, -204, 162, 36, 180, -140, -40, 32, -80, 63, 62, -26, -141, 56, 0, -54, -28, -638, -62, -304, 8, -106, -210, 24, 198, -380, 114, -21, -508, -98, 60, 148, 56, -214, -544, -82, -20, 240, 32, -158, -12, 360, 24, -106, 30, 231, 100, -504, -64, 462, -42, 152, -188, -116, 30, 24, -336, -212, 48, 14, -2, -390, 352, 22, -504, 104, 68, 362, 24, 224, -74, -608, -48, -286, -126, -21, 100, -10, 184, 12, -104, 15, 178, -144, -246, -16, 270, 202, 384, 148, 0, -96, 340, -96, -46, 60, 62, 112, 250, -158, 32, -288, 8, -32, 432, 127, 241, 50, 4, 446, -30, 144, 280, -149, -8, -58, 20, 7, 80, -280, 1, 274, -206, 268, -8, -241, -2, -444, 72, 86, 22, -60, 176, -100, 304, 36, -88, 63, -20, 496, 72, -244, -50, -84, -10, 15, 96, -8, 328, 4, -12, -168, 456, 136, 210, -30, -158, 192, 310, 3, -32, -544, -102, -278, -36, -34, 110, 400, 12, -33, 26, 12, -48, 78, -224, -152, 400, 356, -262, 112, 8, -480, -52, -182, 432, 31, -108, 606, 224, -126, -96, -396, -194, 700, -38, -8, 124, -344, 1, -42, -172, 164, -352, -261, -30, -22, 38, 132, 208, 80, 24, 94, 408, 214, -18, -28, 32, -420, -316, 204, -4, 258, 104, 20, 52, -33, 32, -70, 125, -464, 8, 34, 0, 158, 181, -150, -220, 8, -226, -36, -6, -362, -166, 122, 112, -12, -80, 168, -48, 120, -22, -624, -6, 58, -106, 82, 8, 4, 96, 250, -48, 7, -90, -204, 38, 72, -176, 56, -156, 182, 1, -228, -72, -400, -214, -378, 30, -76, -96, 8, 100, -632, -68, 398, 184, 12, 184, 788, 0, 20, -26, 192, 30, -112, -32, 40, -16, -97, -382, -362, -112, -155, 82, -346, -392, -30, 12, 416, 476, -498, 10, -136, 310, -138, -48, 3, -244, 314, 80, 260, -16, 199, -240, 60, 44, -188, 350, -190, -8, 682, 16, -442, -268, 36, -116, -32, -82, 346, 362, 40, 24, 40, -112, -312, 328, 31, -238, -34, 162, -80, 178, 28, 96, -248, 1, -49, 16, -470, 230, 48, 1, 652, 98, -48, 264, -206, 16, -16, -96, 14, 225, 82, -70, -164, -434, -82, 8, 448, -22, -402, 4, 120, -346, -444, 48, -33, -204, 8, 344, -312, -140, -96, 376, 7, 18, -13, 36, -138, -160, 176, 12, -206, -412, -188, 428, -56, -54, 376, -58, -432, -240, -308, 80, -430, -80, 16, -54, -214, 64, 43, 10, -488, -258, -24, -208, -65, -224, 54, 164, -60, 66, -820, 4, -224, 58, -60, 316, -280, 0, 280, 48, 223, -158, -208, 34, 7, 54, -8, 168, 508, 30, -566, 908, -222, -168, -292, 336, 326, 70, -82, -8, -384, 56, 236, -88, -92, -6, 498, -7, -252, -58, -138, 360, 428, 52, -112, 24, -182, -84, 464, -70, 312, -112, -48, 40, 204, 22, -504, 432, -328, -226, -58, -46, -466, -240, 3, 264, -33, -232, 66, 96, -338, 256, -784, -24, 190, -70, -116, 416, 52, -8, -12, 152, 172, -145, 158, 58, 128, 62, 162, 4, -828, 2, 66, 672, -8, -610, -20, -210, -78, 38, 0, 200, 20, 160, 228, -4, 226, -80, -164, 1, -846, -304, -2, -120, 72, 156, -38, 576, 7, -6, 648, 32, 564, 178, 80, 8, 462, -26, -96, 140, -28, -2, 2, 32, -184, 222, -32, -272, -506, 20, 72, -12, -352, 238, -44, 30, -228, -110, -240, -16, -280, 64, 448, 32, 63, 512, 16, 38, -69, 179, 118, 184, -22, 0, 26, 460, -29, -610, -232, 90, -104, -16, -13, 52, -42, -184, -424, 736, 274, 22, -358, -12, -352, 50, 123, -112, -872, 172, 528, 12, 22, -240, -388, -84, -150, 442, -148, -548, -288, -4, -264, -80, -25, 66, -110, -152, 234, -298, -4, -64, -136, -204, -432, 204, 7, 208, -576, -8, 160, 80, 356, 936, -110, -168, 24, 440, 24, -92, -622, -10, 244, 92, 272, 25, 76, 241, -530, -172, -272, 38, -416, -226, -352, 32, -74, 116, -32, 144, 148, 68, -209, -188, 998, 4, -64, 0, 166, 136, -226, -104, -622, -64, 52, 126, 3, 0, -482, -142, 80, -152, 122, 134, -568, 24, -33, -512, -912, -6, -640, -6, -134, 512, -153, -20, 26, 228, -500, 69, -692, -8, -518, -656, -40, 316, -80, 18, -672, 520, -300, 30, 186, 73, -94, -64, 130, 296, -88, -20, -694, -56, -368, -418, -416, 18, 207, -94, 94, -96, 318, -4, 184, -56, -564, -54, 144, 36, -33, -162, 202, 24, 538, 124, -146, 420, 7, 310, -124, 190, -240, 1, -240, 140, -888, -2, 28, -256, -338, -720, -192, 78, 246, 54, 24, -272, 86, -268, 498, -42, 38, 32, 104, -2, -136, -300, -12, 16, -224, -136, -108, -68, 72, -102, 842, 160, 204, -280, -158, 536, -241, 22, -346, 660, 228, -74, 184, -66, 560, -192, 3, -44, 76, -20, -104, -320, -216, 403, -315, 8, -582, 18, 366, -32, 716, -20, 3, 296, -48, 270, 104, 18, 202, 178, -172, 44, 62, 8, 576, -156, 216, -20, -62, 58, 240, -162, -68, 520, 564, -372, 30, 208, 52, 396, -588, -56, 244, -134, -240, 412, 112, -32, 144, 680, 31, -48, -150, 146, -994, -138, -183, 108, 120, -62, -32, 256, 130, -426, 204, 144, -126, -66, 102, 132, -64, 88, -40, -16, 86, 122, 442, -15, 104, 416, -494, 384, -28, -260, -362, 504, 207, -110, -196, 20, 78, 292, 36, 936, -684, -10, -264, -72, 106, -406, 128, 194, -138, -6, 4, 152, -864, 16, 80, 12, 90, 174, -388, -24, 328, 608, 40, 136, 590, 120, 74, 112, -33, -902, 260, -102, -248, 253, -208, 44, -178, 20, -30, 180, 8, -282, 52, 5, 620, -512, -158, 352, 56, -272, -128, -184, -228, 42, 0, -48, -362, -4, 138, 8, 298, -48, 800, 64, 94, 216, 840, 230, 120, -48, -132, 552, 546, 18, -8, 296, -128, 149, 50, 106, 64, -116, -24, -136, -30, -148, -170, -20, 7, -106, -404, -24, -1338, 102, 536, 220, -68, 216, 168, -64, 31, -126, 286, 1, 272, 182, -162, -72, 176, 112, -902, -96, -174, -2, -336, 92, 980, -14, 24, 14, 672, -296, -708, -68, -16, -240, -258, -100, 28, 62, 58, 408, -592, 80, 558, -36, -134, 480, 160, -39, -464, -822, -8, 288, 1440, -24, -704, 328, 63, 212, -13, 258, -70, -48, -12, -576, 510, -108, -202, 380, -208, 46, -200, 12, 443, -90, -8, 496, 14, -224, -364, 376, 15, 182, 288, 336, -1192, 398, -5, -368, 466, 8, -202, 16, -212, -240, 1432, -18, 471, -44, -326, -16, 420, -76, -376, 560, 38, -96, 50, -22, 180, 342, 112, -72, -84, 228, -128, -468, -92, 336, -448, 150, 127, 14, -188, 356, 928, 2, -200, -24, 236, -382, -302, 96, 1004, 270, 98, 88, 31, -240, -400, 324, -152, -110, 40, -16, 68, 922, 140, -84, -552, 40, 616, 1, 120, 162, -362, 18, 186, 0, -282, 72, 256, 241, 498, -580, 7, -194, 80, 190, 32, 240, 150, -56, 770, -272, -1036, -696, 270, -2, -134, 52, -416, -38, 36, 208, 207, 92, 78, -160, -84, -298, -256, -22, -2, 298, -720, -160, -296, 54, 232, -528, 228, 48, 478, -10, 160, 182, 72, -104, -640, -396, 228, -44, -446, 4, -384, -8, 63, -966, -588, -284, -682, -20, 224, 136, -30, 370, -96, 196, 148, 48, 26, -92, 236, 50, -898, 244, 8, -912, 180, -466, -280, 118, 3, -324, 126, 8, 236, -528, -220, 178, -80, 0, -385, 92, -42, 76, 202, -416, -254, 312, 4, 18, 760, 166, -880, 50, -88, -748, -170, 32, 280, -96, -26, -230, 90, 24, -60, 78, 144, -48, -644, 12, 284, 360, -452, 104, -44, 112, -222, -166, -24, 64, 1012, -288, -180, -464, 31, -598, 80, -352, -14, -414, -169, -416, 736, 66, 24, -128, -70, 364, 208, -2, 638, 560, 15, 196, 434, -8, 188, -200, 120, 0, 338, 1, 636, -32, -194, -656, 182, -120, -82, 56, 130, 1, 576, -178, -28, -24, -288, 172, -504, 25, -112, -416, 104, 65, 54, 128, -704, 358, -82, 28, -6, -444, 386, -272, 58, 62, 1336, 4, 148, -6, -16, 392, -718, -24, 112, 224, 15, -1024, 202, 86, -172, 814, -510, 440, -312, 36, 432, -156, -56, -70, 1020, 80, 182, 158, 3, 316, 508, 16, 104, -40, -560, -748, 718, -36, -226, 400, -70, 2, 420, 88, 432, -52, 8, 318, 172, -106, -152, 594, -12, 0, 582, -32, -264, -488, 108, -502, -208, -294, 548, -198, 0, -288, 292, -400, -110, -336, 240, -426, -46, -46, 288, 618, 160, 788, -104, -20, -192, 64, 159, 198, 598, -30, -386, -250, -128, 280, -1219, 42, -114, -320, -98, -176, 264, 246, 226, 0, 68, 304, 400, -7, -124, -12, -82, 292, 286, -136, 1336, -546, 66, -108, -250, -120, 736, 356, 7, -386, -532, 192, -118, 160, -176, -68, -92, -50, 64, 544, -217, 22, 720, 126, 44, -82, 108, -608, -140, -172, 122, 664, -70, -288, 8, -24, -790, 800, 208, -188, 1406, 224, -116, -12, 84, 234, -108, 30, 256, 78, 138, -576, 346, 38, -562, -48, 136, 118, 64, 214, -8, 954, 80, 104, -1304, 96, 408, 288, 63, -351, 422, -6, -26, -10, -202, 376, -256, 136, 70, 140, -292, 240, -560, 16, -680, 866, -21, 248, 643, -34, 464, -184, 554, -62, -534, -38, 496, 288, 3, -16, 28, -404, 86, -264, -432, 406, 448, -128, -350, 266, 472, 208, -272, -4, 200, 48, 254, -64, -21, -144, -262, -168, 350, 188, 572, -8, 554, 332, -10, -568, 816, 166, 192, -116, -82, 76, 998, 104, 60, -16, -72, -534, -110, -20, 148, 878, 640, 184, 31, 124, 316, 0, -24, -176, 72, 158, -936, -176, -68, 960, -656, -58, 920, 84, 31, -192, 326, -270, 231, -324, -12, 600, 614, 136, -224, 592, -80, 26, -428, 1, -494, 224, 348, -136, 1076, 312, 308, 576, -24, 522, -154, 103, -680, 30, -478, -24, 192, -70, 32, -756, -20, 44, -416, 1, 338, 576, -176, 116, -656, -520, 62, 80, -470, 6, 208, -44, 15, 206, 22, -472, -184, -464, 346, 48, -216, 238, -160, 278, -289, -114, 112, 360, -1170, -12, -612, 608, -716, -16, 294, 130, 108, 4, 36, -48, 1232, -116, -866, 660, -172, -132, 948, -80, -88, 192, 240, -40, 1384, 336, 144, -600, -49, 18, -426, 94, 400, -586, 502, 400, 15, 219, -94, -248, 56, 74, -280, -608, -356, -166, -54, -256, -158, -76, -300, -388, 98, 10, -144, -78, -148, 46, 320, -216, 230, 0, 194, 224, 246, 296, 136, 366, 256, -598, -72, 18, 412, -74, 856, -80, 4, -864, -258, 162, 602, -119, 107, 408, 404, -380, -158, 520, -2, 480, 640, -68, 636, -606, 500, 292, 16, -48, 472, 872, 170, 26, -204, -64, 32, -116, -18, -560, 104, -4, 0, 4, -32, 550, -152, 16, 76, -160, 98, 124, 152, 36, 0, 64, 440, 226, 26, -8, 254, 38, 326, -4, 1182, -18, 528, -308, 7, -220, -256, -180, 223, -162, -328, 404, 698, -32, -64, 712, 814, -174, 400, -42, 784, 80, -168, -1008, -642, 108, 518, -240, 396, -2, 400, -58, 36, 98, -8, -348, 1076, 80, -344, 116, 220, 528, 173, 480, 326, -202, 78, 148, -544, -34, 122, 456, -246, -114, 36, 32, -508, -1318, 22, -88, -118, -200, 1600, 82, 72, 576, 642, -92, 60, -160, -134, 432, -366, -96, 114, -744, 192, -944, 1272, -10, -748, -182, -224, 600, -268, -8, -124, -808, 2, 14, 48, -78, 1068, 310, -13, 88, -526, -268, 1344, 44, 454, 78, 88, -176, 136, -334, 508, -380, -798, -160, 720, -64, -9, 295, -178, 186, -648, 988, -160, -60, -1836, 74, -266, -268, 32, 8, -136, -82, 62, -102, 234, 568, 1280, -128, -140, -632, 180, -366, -182, 8, -918, 422, 48, -64, -136, 68, -118, 652, -208, -70, -128, 10, -570, 16, 12, -68, -264, -18, -484, 92, 336, 178, 226, -158, 4, 86, 98, -112, 460, 128, -18, -16, -400, -432, -32, -72, 168, 2, 448, 8, 208, 16, 176, 32, 31, 112, 528, 1, -416, -206, -174, -208, -829, 4, -327, -356, -290, -176, -264, -102, -438, -462, 64, -120, -126, 24, 868, 1080, -709, 160, -502, -88, 584, 142, 54, -152, 24, 332, 144, -40, 231, -10, 188, 336, 22, -240, -280, -64, -216, 1, 400, 32, 482, -172, -302, -78, 674, 112, 188, -20, -320, 24, 182, 308, -113, -372, -48, -50, 568, 20, -716, 416, -1456, -24, 132, 116, 118, 122, -1152, 70, -228, -834, 724, 8, 266, 224, -642, 540, 140, -110, 164, -64, -832, 554, 20, 636, -72, -464, 368, 32, -17, -82, 1030, -52, -150, -952, 320, -744, -1846, -88, -94, 112, 172, 654, -120, 38, -440, -748, 12, -232, -288, -74, 100, -184, -33]