# Trace form for 2009.2.a, downloaded from the LMFDB on 24 April 2024.
[0, 136, -2, 0, 136, 0, 2, 0, -6, 132, 0, -6, -8, -12, 0, -2, 120, -8, -22, -4, 16, 0, -8, -12, 26, 124, 8, -6, 0, -8, 10, 8, -14, -4, 0, 0, 140, 16, 26, -16, 20, -4, 0, -8, -38, 32, 20, 0, 4, 0, -6, -32, -36, 4, 30, -18, 0, -4, -32, -16, 34, -4, 0, 0, 80, 4, 96, 6, 32, 32, 0, -12, -50, -52, -16, 24, 24, 0, -24, -24, 36, 96, -2, 4, 0, -44, 36, -4, 28, 44, -32, 0, 20, 8, 42, -18, 46, -36, 0, -24, 16, -36, -32, -4, -8, 0, 4, 28, -46, -4, -46, -38, 0, -48, -60, 4, 16, -56, -80, 0, -78, 72, -32, 4, 16, 36, 0, -68, -30, -32, -160, 36, 20, 0, 4, 80, 28, -8, -36, 16, 0, 56, -30, 56, 120, -36, -72, 0, -64, -72, -18, 92, -22, -104, 0, 100, -96, -60, 134, 60, -12, 0, -106, 84, -12, 28, -72, 50, 0, 124, -152, -10, -16, 16, 0, 0, -74, 40, -124, 18, 60, -24, 0, 108, 128, -24, 60, 64, -84, 0, 150, 6, 4, -40, -12, 100, 0, -68, -110, 42, -190, -20, 120, 0, 100, 4, -8, 92, -72, 4, 0, 90, -36, -32, 28, 132, 26, 0, -24, -14, -14, -88, -74, 60, 0, -4, 100, 84, -148, -68, -136, 0, -100, -88, 132, 14, -124, 40, 0, 84, -26, -36, 34, -28, 80, 0, 6, 44, 128, -12, 12, 52, 0, 16, -128, 112, 24, 8, -16, 0, 88, -44, 12, -28, 192, 20, 0, 88, 142, 68, 4, -40, 56, 0, 128, 150, -8, -52, -4, 164, 0, -136, -108, 0, -76, 148, 32, 0, -158, 168, 4, 144, -244, 72, 0, 116, -64, -12, -48, -36, -136, 0, -62, 80, 116, -120, -268, -68, 0, -124, 160, 34, -80, -4, 40, 0, 20, 132, -68, 76, 96, -68, 0, 8, -16, -108, -104, 88, -6, 0, -236, -34, -32, 184, 88, -30, 0, -48, -102, -42, 16, 84, 112, 0, -44, 12, 8, 140, -72, 12, 0, -104, 80, -4, -308, 62, 36, 0, 148, 28, -188, 180, 92, -66, 0, 20, -192, -44, -148, -12, 112, 0, -52, -16, 8, 24, 166, -88, 0, 132, -222, 104, -212, 82, -134, 0, -292, -112, -8, 76, -204, 20, 0, -308, 320, -82, -460, 12, -220, 0, -88, -116, 68, -24, -224, 76, 0, 222, -328, -40, 8, 48, 24, 0, -220, 108, -280, -288, 84, -4, 0, 68, -128, 22, 92, -264, -88, 0, 68, -12, 192, 60, -2, -44, 0, -128, 16, -16, -82, -78, -110, 0, 0, 64, 46, -20, 104, -32, 0, -24, -238, -10, -196, -228, 46, 0, -220, -172, -120, -128, 100, 72, 0, 16, 104, -192, 92, 88, -28, 0, -270, 312, -172, 64, 208, 4, 0, -60, -166, -122, -94, -32, -116, 0, -128, 64, -46, 64, -136, 68, 0, -116, -4, 16, 52, -182, 124, 0, 92, -168, 20, 16, 252, -28, 0, -88, -260, -36, -256, -12, 240, 0, -242, -116, 160, -212, -356, -80, 0, 212, -368, 32, -172, -40, 28, 0, -66, -100, -184, 56, -44, -16, 0, 0, -412, 96, -160, -4, -96, 0, 124, 44, -52, -8, 256, -12, 0, 48, 128, 88, 56, 144, 128, 0, -76, 204, 132, 48, -168, -72, 0, 0, -112, 50, 264, 12, -36, 0, -66, -268, -200, -42, 280, 108, 0, 148, 380, -80, 22, -296, 236, 0, 284, -8, -4, -208, -88, 10, 0, 164, -232, 36, -200, -100, 60, 0, -124, 264, 308, 72, 246, -48, 0, 20, 244, 184, 156, 64, 66, 0, 4, 0, -136, 48, 176, -10, 0, -232, 216, 44, 348, 192, 156, 0, -224, -192, -84, -246, 36, -16, 0, -68, 550, -176, 72, -176, -48, 0, -172, 310, 392, 72, 316, 150, 0, -296, 212, -108, -154, 212, 128, 0, 196, 80, -56, -152, -44, -96, 0, -204, -160, 52, -244, 264, 148, 0, 32, -84, 138, 152, 22, 132, 0, -60, -208, -26, 316, -24, -146, 0, -316, -152, -28, 16, 46, -104, 0, 68, -140, 76, -296, -240, 184, 0, 406, 248, -228, 12, -8, -152, 0, 220, 80, -102, -162, 168, -64, 0, 400, 140, 154, 34, -476, 36, 0, -60, -30, 132, 92, -160, -72, 0, -154, -116, 20, -148, -384, -12, 0, -36, 76, -80, 668, -20, -152, 0, 300, -216, 30, 172, -400, 124, 0, -28, -392, -84, 32, 52, 104, 0, -432, 206, -308, 120, 88, -242, 0, 196, 136, -140, -10, 156, -120, 0, 418, -304, -28, 216, -196, -4, 0, 168, 72, 72, -176, 16, -64, 0, 484, 16, 192, 148, 4, -8, 0, 104, 132, -24, -400, 264, -94, 0, -262, -132, -140, -236, -94, 64, 0, 4, -486, 12, -172, -270, -112, 0, 100, -24, 276, 52, 16, 228, 0, 200, 82, -52, 372, -140, 112, 0, -24, 40, 256, 232, 192, -72, 0, 114, -52, 52, -240, 170, -108, 0, 292, 22, -16, 396, 188, -86, 0, 112, 128, -40, 670, -68, -144, 0, 220, 332, 16, 32, -56, 20, 0, -46, 76, -100, -4, 236, 64, 0, 160, 152, 66, -308, -328, -12, 0, -32, 228, -48, 320, 0, -72, 0, 86, 168, 312, -284, -398, -108, 0, -128, -32, 352, -40, -38, 10, 0, 24, -144, 24, 16, 188, -38, 0, 16, -240, -184, -180, 116, 4, 0, 52, -180, 8, 104, 280, 4, 0, 40, 200, -184, 564, -132, 248, 0, -104, 430, -420, 60, -220, 32, 0, -92, 674, 112, -244, 168, -56, 0, -164, -64, -152, 92, 652, -240, 0, 168, -82, 136, 164, -28, -156, 0, 44, 228, 136, 28, 478, -80, 0, -116, 156, 278, 268, 268, -92, 0, -70, 268, 108, -248, -292, 80, 0, 34, 334, -12, -108, 24, -60, 0, 40, -136, -32, 64, -424, 24, 0, 148, -84, 32, 58, -36, -44, 0, 268, -24, -458, 40, 108, 128, 0, 162, 88, 0, 82, -448, -116, 0, 472, -56, 264, -44, -70, 84, 0, -180, 168, -62, 200, -52, 142, 0, -52, -384, -64, 136, 408, 24, 0, 364, 252, -12, -24, -300, -372, 0, -524, 186, -100, -320, 184, 232, 0, -152, 0, -118, 576, 104, 16, 0, -312, 52, -220, 210, 244, -4, 0, 112, 236, -12, 520, -238, -128, 0, 574, -94, 12, -156, -128, -92, 0, -216, -32, 116, 428, -32, -164, 0, 270, -228, -196, 4, 708, 196, 0, -20, -692, 216, 20, 74, 52, 0, -492, -80, 508, -76, -500, -48, 0, -128, 42, 368, 48, -132, -76, 0, 210, 200, -216, 124, -80, -52, 0, -2, -544, 80, 76, 80, -76, 0, 316, 68, 44, -164, 8, -228, 0, 100, 88, 104, -80, 748, 132, 0, -196, -196, 300, 128, -280, 248, 0, 42, -96, 112, -396, 24, -76, 0, 184, -384, -12, -196, 404, 168, 0, -312, 100, 64, -382, -344, -24, 0, 56, 12, -88, -72, -204, 196, 0, -58, 768, 168, -12, -380, -264, 0, -60, -244, 160, -108, 164, 120, 0, -48, -64, 8, 220, 204, 256, 0, 408, 40, -76, -352, 536, 4, 0, -252, 384, -148, 1180, 190, 4, 0, -372, -376, 44, 460, 176, 58, 0, -300, -90, -152, 282, -4, -52, 0, 200, 348, 212, 326, 300, 32, 0, 156, 504, 24, -772, 142, -144, 0, 188, -286, -240, -380, -82, 60, 0, 112, 68, 16, -400, 296, 420, 0, 660, -388, 316, 190, 210, -64, 0, -140, -884, -84, 422, -240, -68, 0, -446, 416, -260, -108, 136, -186, 0, -144, 40, -144, -528, -144, 60, 0, -284, -212, -348, 48, -32, -244, 0, -164, 132, -148, 264, 140, 92, 0, -560, 436, -24, -356, -496, 16, 0, -12, 188, 76, -236, -164, -116, 0, -600, 24, -100, 352, -652, 52, 0, 460, -452, -292, -4, 180, 60, 0, 336, -172, 6, -196, -680, 58, 0, 144, -606, -126, -104, 96, -172, 0, 382, -392, -196, 538, 172, -68, 0, -18, 748, 36, -244, 148, -208, 0, -96, 296, -266, -76, -336, 92, 0, 324, -56, 140, -16, -260, 50, 0, -498, -20, -176, 516, -174, 16, 0, 314, -128, 184, 492, 304, 388, 0, 194, -36, 416, 72, -328, -116, 0, -44, 800, 12, 252, -512, 8, 0, 240, 140, 310, -134, -88, -44, 0, 426, 588, -64, 68, 48, 228, 0, -8, 228, 288, 56, 156, -160, 0, 44, -20, 152, -820, 192, 6, 0, -76, -108, -52, -64, 500, -272, 0, 192, -92, 36, 632, -340, -78, 0, 844, 488, -120, 216, 40, 92, 0, -232, 348, 172, 724, 348, -112, 0, 332, 348, 22, -140, -936, 96, 0, 292, 292, -128, -264, -34, -80, 0, -152, -456, -14, -224, -318, -612, 0, 40, -566, 212, -96, 12, 244, 0, -960, -20, 64, 24, 256, 0, 0, 300, -284, -192, 248, 32, 8, 0, -624, -268, 148, -188, 600, 218, 0, 292, 76, -220, -504, 16, 460, 0, 568, 304, -28, 224, -528, 84, 0, 256, 256, 116, -32, 196, -150, 0, 520, -148, -20, -208, 474, -134, 0, -344, -544, -356, 188, -32, 136, 0, -6, 140, -36, -570, 656, -148, 0, -16, -188, -124, -452, 306, -34, 0, -420, -524, -94, 476, -112, -86, 0, -204, 388, 80, -56, -120, 132, 0, -284, -176, -328, -566, -536, 160, 0, -14, -604, -160, 62, 188, -392, 0, 152, 592, -344, -184, 216, 68, 0, -80, 232, -36, -640, -432, 248, 0, 172, -32, 324, 368, -62, 84, 0, -524, -104, -100, -544, -596, -76, 0, 204, -28, -160, -148, 152, 164, 0, 152, 352, -12, -24, -332, -196, 0, -528, -796, 62, -20, 244, 192, 0, -696, -40, -260, 48, 204, -48, 0, -392, -176, 256, -132, 392, -18, 0, -536, 180, 32, 362, -304, -264, 0, 208, -20, 184, -284, -244, -120, 0, 144, -28, -80, 84, -216, 64, 0, 270, 36, -164, -552, 1228, 172, 0, -548, -308, 6, -668, -272, 324, 0, 340, -168, -62, 20, -884, -96, 0, 206, -852, 196, 938, -252, 136, 0, 644, 470, -156, 468, -164, -108, 0, 136, 482, 316, 444, 164, -148, 0, -372, -24, -256, -436, 466, -148, 0, 176, 904, -116, -52, 304, -168, 0, 696, -96, -224, 512, -336, 146, 0, -236, 406, 272, -456, -148, -244, 0, -80, -452, 136, 60, 776, 236, 0, 196, 464, -72, 420, -460, 534, 0, -400, 396, -52, 136, -230, 382, 0, -1080, -456, -30, -224, -204, 508, 0, 280, -212, 176, 288, 84, -4, 0, 128, -514, 56, -520, 380, 270, 0, -236, 132, 410, -812, 492, -16, 0, -308, 734, 188, -92, 352, 544, 0, 76, -940, -60, -64, 66, -244, 0, 72, 80, -320, 218, 88, 28, 0, 32, 116, 480, -312, 582, 96, 0, -124, 156, -368, -104, 504, 88, 0, -690, 308, -52, -120, -102, -320, 0, 364, -656, 188, -328, 264, 300, 0, 152, 234, 42, -624, 280, 80, 0, -64, -96, 144, -244, -432, -240, 0, -708, -296, 60, 300, 292, -64, 0, 52, 404, -24, -408, -442, 168, 0, -840, -152, 72, 20, -4, -156, 0, -184, 456, -76, 40, 336, -300, 0, 324, 164, -120, -282, -1136, 88, 0, 396, 404, 72, 1216, -2, 300, 0, -440, -210, 0, -124, -456, -16, 0, -636, -220, -124, 250, 224, -8, 0, 328, -916, 4, -144, -844, -276, 0, 324, 88, -140, 328, 124, 40, 0, 308, -84, -112, 324, 392, -108, 0, 380, 36, 128, -252, 8, -654, 0, -238, -480, -164, 198, -342, 36, 0, -164, -1098, 228, 238, -308, 100, 0, 1036, 96, -396, -180, -296, 100, 0, -52, -520, -108, -1024, 484, -212, 0, 80, -364, 266, 260, -378, -144, 0, -732, -28, 12, -508, -264, -288, 0, -476, -92, 140, 188, -120, 156, 0, -356, -360, 136, -716, -112, 460, 0, -104, -200, 392, 320, 160, -268, 0, 52, -436, -260, -1180, 30, 102, 0, 754, 246, -144, -492, 920, -490, 0, -492, -22, 140, 100, -352, 148, 0, -148, 396, 20, 404, 100, 64, 0, 86, -484, -144, 868, 508, -216, 0, -400, 296, 12, -548, -688, -136, 0, 144, -436, -488, -1204, -196, -102, 0, -508, -392, -240, -288, -836, -276, 0, 334, 144, 208, 1032, 144, 164, 0, -890, 344, 72, -148, 404, 262, 0, -324, 720, 60, -530, 328, 30, 0, -288, -700, -260, 380, 532, -152, 0, -604, 284, -316, -4, -134, 248, 0, 656, -656, -148, -200, -748, 180, 0, 144, 400, 68, 872, 436, -148, 0, -1140, -288, -272, -316, 216, -464, 0, -16, -424, -168, -364, -40, 68, 0, -662, 108, 272, -408, 416, -236, 0, 488, -6, 274, -402, 396, -572, 0, -1296, 196, 158, -376, -188, -176, 0, 450, 616, 44, -54, 68, -196, 0, -196, -584, -276, -520, -878, 24, 0, -228, -472, 156, 20, 28, -328, 0, -292, 508, 24, -876, 172, -48, 0, 10, -396, 104, -180, -678, -172, 0, 924, 910, 96, 140, -292, 324, 0, 300, -116, -376, -420, -436, 104, 0, 296, -32, -20, 328, 432, 372, 0, -444, 352, 40, 148, -764, 276, 0, -46, -110, -716, -140, 44, 204, 0, -424, 744, 28, -44, -84, 560, 0, 52, 100, 100, 122, 576, -108, 0, 556, -280, -188, 1332, -58, -160, 0, -12, -422, 156, -372, -188, -150, 0, 424, -62, 204, 612, -100, -196, 0, 404, -440, 252, 340, 876, 388, 0, 420, 116, 396, 196, -108, 216, 0, 492, 276, -196, 252, -728, 96, 0, -816, 596, 86, 424, -96, -220, 0, -216, 72, -140, 160, -158, -160, 0, 6, 352, -128, -756, 260, -196, 0, 688, -8, -176, -264, 424, -244, 0, 28, -290, -4, 294, 392, 132, 0, -36, 492, -416, 52, -712, 212, 0, -246, -6, 72, 712, -44, 68, 0, -624, 368, 76, -516, 512, 456, 0, -556, 776, 214, 756, -692, 238, 0, 336, -476, -224, -76, -236, 0, 0, -100, -346, 276, -576, -170, -72, 0, -148, -184, 260, 252, 220, -172, 0, 236, -72, 404, -904, -92, 616, 0, 588, -36, -72, -100, 488, -52, 0, -32, 228, 184, 1176, 434, 56, 0, 736, -296, -270, -384, -2, -292, 0, 16, 484, -272, 1556, -288, -368, 0, -196, 64, 256, -76, 272, 176, 0, 318, -388, 380, -464, 576, 108, 0, 216, 104, -228, -188, -88, 196, 0, 124, 512, 496, -176, 740, 236, 0, 1080, -684, -238, 648, 648, 64, 0, -34, 200, 24, 96, -220, 42, 0, -80, 852, -208, -1284, 206, 80, 0, -468, 100, -24, 356, -60, -28, 0, 1012, -520, -464, 12, 16, -532, 0, -212, 992, 12, -588, 196, 88, 0, 682, -164, 218, 344, -520, 316, 0, 384, 368, -40, -28, -292, 12, 0, 320, -60, 56, 506, -860, 60, 0, -380, 608, -312, -446, 588, -92, 0, 76, -692, 106, -100, -500, 202, 0, -416, -32, -170, -228, 140, 24, 0, 664, -124, -52, 492, 284, -232, 0, -58, 88, 52, 264, 60, -560, 0, -62, -534, 276, -252, -496, 460, 0, -596, 120, 2, 404, -252, 20, 0, -188, 40, 356, 292, -224, -16, 0, -320, -1254, -360, 384, 588, -140, 0, -48, 6, 4, -48, -168, 96, 0, -20, 224, 168, 224, -836, 128, 0, 1426, -1240, 200, 38, -288, -128, 0, 86, -832, -8, -388, 42, 72, 0, -96, -208, 348, 296, 76, 36, 0, 80, -508, 260, 28, 448, 156, 0, 218, 780, -260, 480, 1336, -368, 0, -876, 656, -220, 270, -92, 208, 0, 976, -738, 398, 768, 524, 388, 0, -148, -360, 452, -512, 448, -244, 0, 1192, 56, 44, -260, -780, 92, 0, 120, -310, -396, -248, -372, 36, 0, -340, -436, 552, -716, -808, -60, 0, -292, 472, -38, 320, 192, 372, 0, 528, 660, -368, -72, 524, -252, 0, -96, 560, -52, -468, 208, -44, 0, -848, 942, -248, 240, 430, 68, 0, -68, -840, 384, -604, 28, 624, 0, -1064, 508, -516, -356, -484, 176, 0, 860, 272, -140, -320, 468, -444, 0, -596, -4, 112, -640, 220, -166, 0, -396, 930, -64, -1320, -4, -88, 0, -1036, -324, 804, 346, 910, -228, 0, -556, 12, 64, -140, 466, -778, 0, 628, -28, 908, 788, -60, -228, 0, -548, -480, -268, -148, -140, 28, 0, 392, 184, -116, 204, -1002, 156, 0, 740, -236, -200, 48, 32, 332, 0, 904, 388, -270, -112, 368, 100, 0, 780, -812, -172, -188, -516, 152, 0, -928, 164, -84, -260, -356, 272, 0, 12, -592, -136, -1122, -578, -114, 0, -450, -360, -208, 460, 256, 128, 0, 764, -96, -6, 1256, -312, -652, 0, -1040, 420, 20, -284, 452, 332, 0, 432, 96, -144, 908, 76, 164, 0, -406, 1132, 476, 688, 116, 132, 0, 172, -782, 374, 1234, -188, -532, 0, 1688, 820, 408, -736, -140, -140, 0, 296, -28, -216, 588, -148, 116, 0, 264, 552, -576, 64, 556, -360, 0, -380, 304, 80, 388, -344, 340, 0, -1088, -552, 192, -736, -518, -204, 0, 294, -222, 196, -4, -532, -180, 0, -220, 228, -340, 724, 0, 48, 0, -84, -468, 320, 1704, 8, -332, 0, 740, 452, -8, 200, 234, -96, 0, 404, 954, 72, 1286, 484, -268, 0, -76, 292, 220, 904, -500, 438, 0, -216, 1408, 246, 92, -64, -388, 0, -1158, 592, 48, -64, 724, 400, 0, 316, 452, 292, -1088, -512, -340, 0, -500, 236, -648, -52, -312, 488, 0, -240, 1052, -160, -1174, -316, 404, 0, 672, -384, 92, 176, 244, -88, 0, -416, -300, 96, 292, 48, 296, 0, -360, -916, 0, -56, 912, -40, 0, 716, 36, -716, 232, 524, 170, 0, 932, -456, 164, 530, 624, -400, 0, -140, 1052, 12, 748, -164, -344, 0, 704, 10, -432, -680, 160, 314, 0, -12, -140, 12, 952, 368, 20, 0, 520, 520, -496, 588, -58, -32, 0, -384, -64, 8, -424, 564, 252, 0, 632, -278, 96, 656, 520, -8, 0, 248, 176, 50, 524, -600, -182, 0, -700, 80, 48, -124, 100, -28, 0, -156, 860, 252, 320, -360, -360, 0, -4, -428, -428, 16, 104, -200, 0, 796, -40, -112, -416]