# Trace form for 3009.2.a, downloaded from the LMFDB on 24 April 2024.
[0, 155, 5, 3, 161, -6, -3, 8, 9, 155, -18, 4, 5, 6, -16, -2, 161, -1, 5, 0, -2, 16, 28, 8, -15, 137, 14, 3, -8, 2, -18, 0, 33, -8, -3, -24, 161, 42, -44, 10, -10, -10, 16, 0, 12, -6, 48, 32, -3, 147, 107, 7, 70, -14, -3, 4, 24, 28, -42, -1, 14, -14, 48, 8, 185, -60, 4, -20, -7, -20, -8, 0, 9, -26, -18, -3, 28, -40, -34, 40, -2, 155, -22, 4, 40, 6, 52, 2, 28, -26, -18, -16, 96, 24, -56, 16, -23, 30, -107, 4, 47, -46, -3, -4, -50, -8, 54, -28, 5, 26, -8, 34, 24, 22, -12, 20, 126, 6, -3, -8, -66, 203, 78, -14, -64, -84, -16, -4, 57, 28, 28, -52, -68, -56, -4, -2, 9, 78, -56, 36, -48, -16, -40, 64, 161, -100, -126, 11, -18, -30, -53, -8, 68, -1, 16, 16, 70, -26, -32, 26, -66, -48, 5, 28, 26, -56, 12, 56, -40, 169, -18, 0, -12, -126, 14, 104, -20, 3, -134, 116, -2, -30, 72, -6, 64, 28, -56, -8, -64, 16, -112, 16, 29, 134, -70, 40, 201, 90, 28, 48, 143, 36, -114, 80, 13, -112, -112, 8, 62, 0, 32, 60, -130, 48, -180, -64, -15, 48, -130, -10, 112, 2, 30, 36, -24, 137, -22, 20, -12, -46, -184, -72, 86, 22, 14, -8, -7, 0, -24, 48, 22, -74, 209, 3, -202, -38, -6, -28, -160, -28, -204, -28, -8, -44, -8, 18, 193, 54, -44, -40, -252, 2, 172, 24, -4, -12, -24, -34, -92, -78, -18, -44, -31, 24, -38, 12, 0, 34, -76, 0, -8, 46, 16, 52, 288, -52, -152, -144, 33, 155, -68, 70, 66, -118, -51, 26, -66, -8, 110, -8, 91, 88, 16, 18, -12, -36, -3, -28, 184, 64, 120, -64, 6, -10, 38, -24, 8, -14, -130, 24, 214, -8, 104, -12, 161, 62, 236, -46, 10, -136, -80, -8, -180, 42, 48, 0, 200, -42, -125, -30, -2, 144, -44, 40, 132, -112, 78, -44, 38, -50, -16, 10, 84, -66, 13, 64, -142, 0, -52, -16, -10, 147, -18, -17, 88, -76, -2, -160, 344, -10, -212, -72, 112, -142, 52, -24, -224, -20, 16, 108, -240, 96, 40, -184, -175, -280, -14, 0, 82, -134, 44, -4, -415, 8, -234, 144, 12, 18, 0, 56, -97, -34, 132, 0, -138, -6, -136, -152, -15, 2, 172, 6, 200, -8, 48, -16, -34, 76, 144, -140, 0, 6, -188, 32, 318, -31, -48, 112, 132, 68, 136, -16, -3, -70, -88, -20, 134, -16, 74, 152, 104, 147, 30, 260, -10, -60, -104, -14, 8, -82, 107, 52, 42, 0, -172, 256, -84, -70, -122, 7, 224, -102, 32, 80, 206, -128, 90, -52, 70, -48, -152, 74, -15, 64, 32, 84, 40, -14, -288, 40, -274, -4, -70, 80, 157, -20, -3, 16, 38, -36, 86, -4, -94, 34, -104, 4, -32, -72, -92, 116, -316, 44, -44, 328, 24, -212, -240, 69, 8, -182, -18, 40, -31, 28, -182, -80, -12, -152, 200, -122, -236, 78, -42, 252, -196, 40, -136, 8, -44, 191, -228, -1, -336, -68, -118, 140, 4, -100, -314, 308, 14, 114, 48, 90, -15, -116, -200, -84, -54, -14, -20, 160, 80, -40, 78, 52, -148, -46, 48, -12, -528, -12, -166, 108, -72, 48, 4, 8, -48, -66, 160, -52, -304, -144, -168, 40, 185, -158, 5, 94, -44, 224, -166, 56, -166, -60, -162, 52, 13, 40, -18, -98, -18, -282, 4, 8, -418, -24, -96, 288, -145, -130, -328, -20, -160, -38, 70, -88, -148, -152, -324, -72, -7, -50, 100, 4, -312, -202, -64, 132, 328, -20, -40, 136, 198, -9, -70, -12, -82, 10, -8, 316, -216, -52, 142, 136, -90, 86, -64, 0, -226, -58, -108, 252, -136, 212, -20, -328, 9, 28, 98, 128, -84, -102, -234, 52, -102, -26, 8, 76, -88, 54, 116, -10, -236, -264, -18, -8, 280, -16, -416, 8, -176, -82, -118, -3, 455, 210, 194, -40, 22, -56, -192, 148, 28, -148, -192, 2, 28, -164, -144, 12, -554, -40, -92, 208, -90, 10, -114, -14, -216, -22, -34, -24, 180, -72, 74, 24, 5, 130, -256, 40, -534, 144, 0, -108, 156, 144, -152, 144, -2, -176, -335, -98, -10, 254, 97, -248, -200, 155, -300, -12, 174, 90, -224, -26, -56, 16, -22, -72, -260, 24, -200, 240, -136, -212, -202, 4, -12, 184, 20, 160, 80, 84, -396, 32, 40, 182, -164, 176, -216, -138, -224, 464, 248, 6, 168, -14, -131, -198, -56, 22, 98, 106, 52, 192, -78, -32, -58, -272, -132, 328, 80, 2, 113, -284, -4, 12, 326, -96, -144, -48, 28, -44, -498, 4, -40, 42, -32, -32, -73, -26, 146, 136, 92, 336, -280, -58, -410, -146, -18, 180, -472, -32, 128, -184, 13, 76, 298, -16, -260, 322, 18, 128, -472, 20, 0, -180, 96, -182, -112, -30, -194, -57, 44, -148, -504, 24, -52, 240, 64, 69, -386, -2, -300, 214, -56, -376, -322, -4, -93, 136, 8, -62, 144, 16, -580, -186, -48, 28, -328, 152, 152, 256, -23, -232, 130, 3, 304, -40, 12, 56, -338, 30, 416, 0, -14, 122, -288, 42, 176, 38, -107, 144, -34, -6, -60, -112, 46, -40, 100, 4, 536, 200, -138, 104, 176, 68, -30, -88, 47, 2, -80, 152, -62, 84, 112, -52, 44, -46, 240, -64, 196, 64, -70, 132, -274, 264, -3, 44, -184, 92, -10, 216, 8, 110, -72, -4, 486, -194, 160, -8, 258, 64, 116, -24, -50, 6, -312, 158, -176, -22, 110, 140, 1, -8, 464, -196, 112, 92, -108, -126, -48, 102, 54, 0, 224, -88, 344, -128, -146, 227, -28, -28, -510, 260, -192, -148, 661, 24, 268, -4, 5, -32, 416, 38, -450, -306, 76, 200, -154, 26, 84, 256, -118, -176, -58, 120, -56, 8, -8, -80, -448, 20, -136, -80, 196, 114, 404, 34, 28, -552, 200, 15, -12, -32, -160, -184, 24, -234, 516, -42, -216, 138, 35, 160, 160, 22, 126, -12, 62, 14, 296, 80, 737, -118, -12, -144, 258, 80, 304, 80, -12, 42, -296, 20, 312, -62, -26, -36, -628, 132, 346, 344, 126, 20, 52, -22, 220, 110, 136, 156, 600, 6, 48, -56, -164, 216, -195, 46, 180, -78, -3, 12, -120, -224, 220, -472, -70, 14, 272, -8, -220, -132, 148, -52, 110, -32, 52, 336, -66, -72, 470, 247, -400, 568, 222, 236, -31, 203, -548, -196, -288, -190, 420, -60, -62, -130, 78, 184, 580, 24, -280, -8, 32, 48, 376, -14, 110, -150, 84, -128, -20, -32, 174, 472, -64, -134, -448, 146, 424, -12, -20, 80, 442, -84, 228, 64, -128, 54, 204, -20, 172, -56, -16, -140, 840, 108, -54, -36, -184, 104, -292, -4, -376, -540, -144, 16, -760, -120, 648, -312, 57, -226, -286, 144, 161, 92, -46, 328, -284, 28, 360, 92, 10, -224, 416, 50, -270, -520, 28, 104, 46, 0, 92, 384, -191, 20, 160, -52, 22, 58, 78, 344, -34, -88, -190, 92, -68, 76, 128, 106, 286, -18, -360, 240, 176, -56, 240, 472, 243, 134, 98, 90, 240, -428, -4, 16, 368, 184, -202, 176, 206, -286, -376, -2, -44, -618, 144, 232, 172, -56, 96, 216, 9, -263, 446, -2, -324, 34, 276, 408, 136, 78, -398, 120, 16, -98, -132, -8, 528, -58, -56, 244, -288, -88, -128, 272, -34, -110, 345, 36, -518, -48, -184, 88, -370, 188, 70, -100, -48, 52, 584, 162, -96, 232, 84, 128, -298, -16, 352, 304, -298, 376, -98, 45, 400, -118, -40, 160, 190, 16, -46, 292, -12, -412, 412, 64, -48, 54, -504, 172, 100, -152, -104, 184, 161, -410, 76, 6, 298, 18, 312, 120, 684, -100, 46, 148, 86, 0, 104, 36, 42, -212, -126, 288, 288, -80, -532, 152, -232, -34, -210, 11, 236, -130, 54, -4, 12, -52, 216, 48, -18, -360, 528, 252, 160, -400, -320, 356, -272, -30, 24, 16, 272, 136, 370, 78, -46, 192, -53, -352, -377, -104, 110, -392, -126, 8, -88, -8, 14, -90, 28, -64, 816, -72, -92, 504, 68, 29, 124, -18, 312, -158, 110, 268, 596, -1, -516, 112, -176, -90, 316, -86, 86, -28, 16, -568, -324, -40, 264, 120, 46, -336, 10, 16, -354, 88, -254, 200, -112, -100, 438, -136, 70, 76, 568, -56, -428, 142, 304, 12, 322, -26, -432, 8, 33, -52, 318, -20, 448, 210, -32, 440, -222, -28, 224, 76, -32, -190, 352, 26, -92, 678, -64, 40, -432, -108, 616, 312, -66, 4, 416, 172, -403, -6, -318, 268, 206, -48, -902, 236, -295, 222, 48, -84, 568, -544, 5, -308, 468, 48, -100, 96, -362, -156, 134, 28, -240, -156, -202, -160, 960, -28, 464, 1, 26, 64, 292, 26, -1196, -138, 416, -364, 432, -56, 0, 72, -128, 518, -172, 104, -50, -246, 12, 108, 12, -28, -848, -12, -172, -184, 72, 56, -328, -512, -276, 344, -756, -28, 96, 432, -40, -26, 430, 100, 716, -412, 48, 208, -720, 169, -542, -460, -64, 22, 488, 106, 8, -328, -18, -228, -480, 64, -10, -56, 1, 100, 354, 0, -1144, 136, -118, -108, -190, -84, 22, -64, -12, 14, 248, -48, 330, -146, -296, 344, 110, -126, 248, -448, -244, -512, 384, -102, -88, 332, 14, -208, -231, 68, 316, -204, 204, -6, 220, 104, -882, 24, -216, -128, 576, -32, -56, -160, -20, -716, -468, -197, -674, -448, 20, 504, 216, 3, -10, 144, -272, 166, 0, -72, -217, -442, -134, -120, -718, -24, 368, -264, 44, 398, -312, 116, 32, -502, -234, 116, 214, -96, -14, -156, -2, -22, -52, 162, -400, -440, 184, 92, -440, -30, -288, 328, -63, -40, 312, 28, -342, 218, 72, 32, 460, 116, -234, 216, -358, -152, -112, -6, 408, 94, -428, -60, -56, 96, -236, 472, 64, -266, 334, 96, -352, 40, -122, -216, -114, 28, 69, -660, 28, -158, 120, -190, 152, -16, -56, 132, -196, 8, -344, 64, 264, 245, 107, -8, 206, 76, -286, 264, -556, 340, -670, 96, -64, 202, -120, 20, 46, -194, 100, -456, -41, 16, 448, -8, 144, 216, 734, 350, -208, 114, -112, 114, 364, 52, -126, -88, 336, -22, -108, 16, 336, -50, -96, -196, 448, -96, 328, -320, 29, 296, -76, -90, 138, 218, -3, 528, -440, 134, -360, 224, 20, -6, 520, -136, 318, -340, -70, -16, 48, 240, 56, 72, 266, -46, -210, 40, 240, 336, -402, 288, 384, 60, 306, -168, 201, -476, 116, -104, 238, -164, -18, -232, 268, 90, 200, 104, 102, 278, -192, -26, 396, -268, 28, 580, -736, -16, 96, 748, 86, -66, 560, 48, -808, -48, 240, -8, 410, -136, -16, 168, 143, 106, 110, 118, -192, 226, 488, 232, -446, 36, 148, 36, 256, 362, 172, 290, -4, 272, -114, 0, 632, 40, 608, -240, -340, -110, -96, 80, -150, 16, -60, -56, 222, -144, -48, -96, 13, 196, 312, -142, 168, -160, -92, 64, 230, -112, 112, -376, 144, 99, -382, -282, 840, -78, -112, -104, 358, -52, -54, -548, -24, -70, 276, 8, 186, 124, 0, -148, 116, -88, 48, 144, 62, 222, 938, 7, 528, -174, -142, 140, 640, 0, 118, -216, 102, -688, 248, -38, -63, 198, 32, -256, 472, -40, -404, 296, -40, -48, -276, 60, 812, 106, 22, -276, -56, -116, 66, 132, -130, -424, 256, 154, -56, 254, 32, 680, 256, 48, 312, -296, -698, -30, 397, 250, 652, -32, -180, -448, 234, 132, -244, -4, 32, 226, 304, -64, 21, -92, -60, -64, -612, -184, 228, -608, -15, 52, -672, -12, 216, 178, 178, 168, 814, 48, 690, -128, 84, -420, -256, -194, -642, 332, -130, -144, -548, -104, -80, -112, 178, -328, 860, -10, 86, 234, 224, 184, 80, -100, -72, 324, 112, -80, 56, 82, 272, -500, 108, -460, -208, 2, 480, 688, 212, 130, 150, -104, -172, 18, 30, -48, -28, -176, 448, -444, -232, 168, -3, 36, 204, -234, 192, 156, 744, -336, -64, 80, -24, -570, 82, 254, -516, 0, 162, 8, -8, 137, 598, -36, 19, -590, 936, -178, 872, -248, -22, -312, 518, -192, 364, 1136, -90, -64, -178, 20, 1000, 372, 48, -128, 97, 56, 214, 128, -12, 482, 224, 148, -94, 67, 320, -152, 656, -46, 608, -352, 196, -48, 50, -164, -96, -46, -184, -48, 408, -140, -82, -204, -98, 400, 248, -72, -484, -138, -44, 464, 498, -24, 520, -336, 86, 146, 504, 6, 572, -112, 70, -312, 68, 22, 938, 76, 48, -520, 388, -30, -216, 100, 14, -392, 96, -96, -24, 176, 28, -138, -368, -8, 121, 180, -270, -144, 212, 160, 70, -200, -7, 0, 888, -150, -552, -154, 24, -332, -348, 0, 192, 24, 2, 526, 998, -112, 888, -358, -24, 260, 388, 96, 484, -64, -460, 568, -92, 48, -442, 358, -88, 24, 348, -44, 112, 16, 22, 490, 392, -168, 278, -92, -95, 76, -544, -74, -784, 56, 494, -372, 920, -34, 9, -120, 209, -572, -636, 120, -108, -38, -96, -532, 734, 3, -108, -200, 204, 168, -214, 0, -110, -96, -202, 0, 88, 346, 188, 344, -224, 500, 360, -38, -352, 496, 40, 523, -92, -352, 392, 98, -6, 104, 606, 276, -594, -504, 252, -638, 144, -28, -324, -30, -120, -48, -458, -336, -160, 256, -160, 432, 374, 76, 776, 322, 382, -448, -1120, -28, -60, -404, 60, -156, 4, -240, 34, 420, -204, -252, 68, 256, 96, 384, -776, -236, 170, -28, 500, 24, 188, 240, 4, -560, 144, -276, -8, 150, -184, 2, -256, -154, -12, 232, 474, -44, 52, -216, 104, -178, -224, 86, 92, 284, -8, 4, -1392, 96, 300, -112, -120, -554, -64, 18, -448, -530, -240, 244, 200, 34, 168, -88, 193, 260, -398, 246, -790, -278, -40, -68, 9, 54, -572, -440, 386, -664, -192, -158, -220, -40, -44, -336, 344, -136, 804, 0, -126, 6, -196, -40, -56, 18, 238, -312, -54, -68, -672, -452, -252, -638, 572, -96, -1154, -32, 64, 424, 68, 2, -32, -400, -75, 108, -288, -248, 32, -46, 172, -256, -90, 36, 142, 84, -346, -700, -88, 24, -10, 112, 128, 424, -358, -208, 668, 656, -4, -234, -276, -12, 336, -46, -90, -600, -1082, -12, -574, 56, 128, -386, 96, -14, -384, -98, -24, -380, 408, -24, -312, -328, -321, -533, -30, -34, -54, -944, -278, -424, -976, -80, 36, -468, -92, -340, 152, 200, 456, -170, 32, 54, -306, -78, -216, 64, -34, -254, 1022, -222, -120, -408, -18, 60, 740, 44, -78, -288, -384, -270, 16, -44, -988, -242, 120, -464, 112, 24, 592, 16, -31, 472, 819, -160, -434, -152, 50, 56, 356, 24, -242, 756, -148, 124, 608, -58, -920, -180, -38, 104, -46, 384, -112, -376, -88, 114, 158, 12, 356, 770, -24, 360, 1224, -272, -38, -64, 0, 528, 336, -70, -248, -40, -88, 216, 560, 34, -376, 248, 582, -316, -478, 47, -619, -372, -76, -24, 298, -96, 768, -528, 40, 60, -312, 0, -658, -576, 180, -76, -50, -60, 212, 336, -8, 382, 636, 325, 1000, -1042, -298, 272, -184, 46, 360, 284, 172, -126, -472, -138, 454, -4, 16, -108, 56, 112, 1040, -280, -538, -292, 184, 52, -106, 178, -93, 656, -552, 152, -50, 512, 288, -142, -1152, 234, -578, -716, -144, -364, 34, -52, -468, -56, -692, -48, -796, 326, 580, -88, -152, 80, 648, 28, -398, -140, -208, -332, 508, -144, -116, -112, -32, -424, -160, -248, -472, -216, 33, 258, 634, -164, 36, 490, 218, -124, -934, 155, 38, -568, 304, -448, 1000, -152, -340, -442, -68, 40, 222, -104, -476, 568, -370, -630, 160, 70, -928, -630, -24, -128, -678, -176, 188, 48, 66, 352, -272, -150, 504, 350, 72, -32, -324, -118, -168, -728, 40, 248, -486, 102, -138, -478, -51, -392, -236, 204, 282, 528, -82, -248, -336, 26, -68, -650, -244, 84, -472, 44, -280, 56, -66, -588, 728, -120, -488, 114, 252, 292, 248, -8, -192, 724, -112, -358, 488, -120, -40, -440, 110, -84, -384, 160, -40, 192, -360, -498, 964, -8, 562, -574, 162, -84, 114, -128, -736, -468, 91, 572, -768, 2, 359, -772, -88, -536, -226, 88, 808, 432, 306, -370, 120, -388, -88, -224, 16, 352, -154, 12, -102, 832, 12, -290, 880, 18, -856, 6, -576, 124, 1412, -124, -136, -272, -12, -144, 355, -184, -508, 34, -446, 416, 400, -36, -378, 656, -98, 290, 368, -304, -76, 566, -3, 216, 772, 16, 120, 320, -744, -208, 38, -28, -756, 152, 70, 212, -1674, 464, 364, 172, 184, -8, 280, -146, 820, -178, 160, 296, 536, 64, -120, 256, -186, -148, 1176, 58, -30, 194, 120, -432, -834, -20, 992, -128, 154, 258, 648, -64, -1792, 6, 100, 184, -370, 20, -104, 288, 6, 765, -332, -34, -336, -420, -712, -72, 700, -10, 346, -132, -128, -64, 100, -150, 514, -686, 38, -224, -280, -144, -408, 576, -3, -194, -180, -24, -210, -246, -392, -60, -624, 116, -90, 188, 8, -476, 256, 132, -1078, 336, -356, -308, 608, -14, -676, -56, -72, -166, -698, -162, -168, -246, -130, -768, -484, -128, -542, -288, 464, 216, -472, 24, -928, -151, -48, 484, 1512, -288, 0, 496, 214, 360, -696, 307, -720, -364, -100, 504, -1667, -8, -18, -57, -126, 72, 248, 44, -242, -202, 104, 300, 930, 160, 156, 328, -427, -56, 294, -12, -960, -334, -276, -232, -912, -204, 536, 240, 161, -126, 44, 336, -564, -48, -136, -288, 108, 62, 528, 128, 54, -388, -1308, 86, 830, -840, 236, 256, 88, -224, -812, 380, -10, -42, 424, -46, -512, 344, 44, 96, -72, 124, 67, -344, 10, 462, -176, 92, 1212, 242, 126, 148, -884, -136, -102, -492, -216, -596, 420, 12, -1312, 414, -80, -576, 112, -104, 176, -88, -448, 516, 34, -8, -1756, -216, 0, 156, -162, 104, -306, -456, -180, -150, -856, -142, -108, -548, -236, 72, 336, 42, -804, 216, -164]