# Trace form for 8011.2.a, downloaded from the LMFDB on 24 April 2024.
[0, 667, 0, -4, 664, 2, 0, 0, 6, 665, -2, -2, -22, -4, -8, -16, 654, 2, 4, -14, 2, 2, -14, 10, 0, 669, 8, -16, 10, 28, 14, -6, 22, 0, -2, -4, 664, 2, 0, -2, -12, 6, -16, -18, -10, 6, 10, -16, -76, 665, -22, -22, -22, -2, -50, -20, -42, -40, 44, -24, -62, -10, -38, -30, 650, 8, -80, -24, -10, 6, 12, -8, 10, -12, 36, -38, -58, 60, -8, 2, -8, 675, 50, 4, 22, 6, 6, 22, 0, 14, 56, -52, 46, 0, -36, 4, 44, 10, 80, -2, 652, 42, -16, -22, 64, -20, -48, 38, -72, -38, -16, 20, 0, -30, 24, -38, 106, 6, -32, 60, 18, 663, 24, -18, -50, 54, -28, 12, 58, -8, -36, 30, 24, -24, 118, -40, -42, -20, 12, -54, 62, 70, 66, -30, 718, 58, 26, -80, 62, 80, 104, -52, 2, -28, 36, -10, 20, 8, 70, 4, -24, 52, 170, 20, 32, 6, -20, -6, 2, 683, -42, -48, -42, 60, 62, 36, 24, -64, -44, -52, 44, 0, -124, -86, -70, -48, 144, -82, -16, -2, -42, -18, -34, -22, 50, -62, 552, 18, -212, -34, -12, -114, 68, -72, -66, -28, -10, 20, -98, -72, -118, 18, -62, -80, 40, -92, -160, 16, 44, -12, -116, 4, -106, -34, -136, 579, -68, 50, -170, -32, -6, -124, 196, -2, -122, -14, -74, -8, 60, 26, -230, 14, 20, -142, -46, 18, 8, -66, -144, -84, 38, -74, -26, -8, -18, -130, 642, -32, -80, -62, 128, 182, 74, -50, -420, 0, -80, 8, -66, 6, -20, 30, -50, -174, 0, -86, -72, 30, -64, -156, 142, 36, 46, -52, 16, -56, 52, 66, -8, 609, 48, -56, 94, 72, -234, 38, 172, 60, 190, -108, -200, -78, 162, -36, -56, 42, 18, 4, 108, -8, 14, -52, 260, -10, -178, -2, 64, -74, -86, 26, 58, 76, 8, -44, 622, -76, 80, 12, 20, -40, -22, -58, 90, -78, -212, 26, -92, -40, 0, -110, 66, 100, -56, 42, -30, -162, -102, -2, 74, -26, 88, 126, -104, 36, -220, -142, 28, -84, 84, -42, 274, 579, 192, -12, -260, 186, -112, 2, 124, 62, 212, 44, 12, -58, 12, -28, -106, 108, -258, 8, -64, 146, -98, 20, -66, -16, 132, -158, 6, 56, -118, 50, 118, 24, 60, 50, -72, -170, -224, -22, 712, 8, -34, -72, 248, -14, -100, 64, -236, -36, 182, -156, -198, 90, -50, 4, 96, -140, -172, 100, -2, 16, -6, 144, -50, 70, 14, 62, 202, -24, -24, 24, -280, 16, -164, -84, -82, 92, -16, -130, 60, 709, -56, 108, -140, -42, 106, -42, -76, 138, 56, -168, 16, 10, -132, -8, -116, 112, 160, -166, -180, 64, -214, -124, 308, 96, 104, -86, -398, 88, -2, 60, -98, 106, 12, -196, 138, 46, -30, 142, 154, -68, -48, 46, 354, 8, -142, -92, 48, 96, -50, 22, 10, 176, 4, -192, -166, -46, -270, -166, 74, 70, 148, 48, -164, 182, 56, -138, 20, 192, -124, -48, 428, -218, -96, -14, 286, -26, 118, 188, -232, 168, 240, -134, -34, 34, 46, -88, 162, 627, 298, -110, 10, 38, -22, 74, 308, -86, -144, -158, 204, -42, 208, -156, -314, 184, -32, 58, 156, 10, -52, 56, -36, 34, 44, -52, -70, 226, -88, -22, 46, -16, 12, -50, -46, 140, -74, -168, 100, 54, 198, 58, -230, -90, -134, -90, 1042, 98, -206, 18, -182, 118, 144, -158, 52, -136, -34, -32, -548, -32, 116, 58, 170, -194, -300, -122, 306, -90, 34, 226, -44, 70, -70, -152, -278, 168, 118, 2, 14, -76, -234, 100, -154, -18, -140, -90, -116, 12, -228, -72, -252, 168, 84, -40, -152, 591, 206, 12, -6, 70, -298, -204, 32, 92, 36, 118, 46, 88, -170, 2, -158, 78, -18, -90, 146, 94, -412, -136, 334, 8, -154, 56, 268, 88, -326, 38, 314, -116, 156, 38, 18, 84, -78, 98, -204, -26, 244, -66, -24, 136, -34, 70, -170, -64, -110, -234, 646, -198, 48, -268, 438, 166, 164, 32, -250, 228, -92, -134, 86, -96, -4, 50, 296, 96, -18, -122, 404, 96, 44, -38, 332, 226, 286, -114, -290, -286, 54, -68, -80, 22, 36, -16, 180, -94, -108, -98, 52, -76, 12, -122, -152, 142, 172, 2, -268, 290, 388, -126, -250, 701, 110, 36, -232, 86, 238, -208, -200, -174, 300, 30, -316, -118, 232, -36, 564, 250, 442, -30, -242, -38, 68, -118, 4, -212, -206, -6, 236, -34, 86, 164, 8, -138, -24, -98, -36, 92, 324, -134, -42, 138, -128, -108, -54, -190, -108, -168, 224, 70, 322, -26, 44, 16, -88, -8, 540, 90, 156, -18, 234, -236, -312, -6, -238, 80, 140, 54, -28, -70, -198, 0, 94, 6, 56, -134, -252, 194, 252, -224, 52, 4, -310, -32, -22, -186, 114, -34, -274, -102, 68, -140, -426, 270, -90, 266, -172, 200, 274, -16, 154, 30, -24, -370, -212, -130, 130, -176, -40, -112, 182, -162, -296, 1039, -52, 184, -112, -54, 328, -130, -104, -280, -2, -184, -336, 152, 6, -366, 304, -40, -40, -26, -316, -76, 2, 12, -192, 30, -238, -428, -72, 208, 246, -58, 320, -142, -372, -28, -112, -306, -46, -178, -436, 52, 826, -152, 176, -270, 140, 8, -738, 68, 56, -122, -62, 204, -384, 104, -370, -210, 112, -194, 326, -126, -306, -170, -404, -66, -82, -114, 308, 424, -356, 58, 8, 94, -152, -242, -146, -14, -354, 166, -226, 112, 192, 44, -770, -146, 108, -250, 466, -284, -400, -308, 232, 138, -96, -172, -258, -264, 116, -112, 52, 184, -178, 6, -208, -332, 174, 8, 176, 66, 106, -14, 142, -30, -464, 206, -92, -172, 102, -18, -410, 467, -142, 180, 178, -278, -178, 138, -48, -302, -164, 22, -508, 294, -178, -124, -80, -182, -504, -238, -338, 196, 16, -238, -72, 108, 176, -470, -330, 308, -522, 252, -616, -250, -142, -200, -364, 46, 132, -226, -248, 24, 482, 308, -48, -216, 84, -14, -254, -32, -238, -320, 372, 94, 48, 500, 80, -420, 202, 124, -574, -284, -52, -186, 574, -192, 204, -182, -4, -48, -136, -150, -132, 126, -214, -284, -386, 202, 350, 10, 238, -360, -352, 18, 774, -238, -88, -242, 576, -52, -196, 200, 12, 220, -294, -62, -454, 86, -50, 166, -252, -124, 202, 236, -44, -36, -10, -4, 120, -10, -202, -124, -162, -34, -122, 228, 4, 48, -232, -438, -4, -50, -238, -210, -100, 64, -50, -16, 162, 629, 442, -434, -238, 64, 368, 22, 42, 168, 296, -178, -352, -238, -164, 290, 24, -128, 120, -426, 464, 288, 0, -74, 142, -288, 152, 40, -494, 54, 206, 10, 300, -190, 254, -90, 156, 74, 194, -150, 40, -58, 168, 144, -194, 26, -268, 152, -14, -360, -206, -86, 98, -40, 120, 340, -264, 30, 174, -106, -92, 276, -10, -38, 128, 24, 178, 58, 558, 114, 306, 68, 4, 74, 186, -118, -334, 22, 436, -48, 538, -146, -370, -208, 182, 272, -42, 2, -456, -328, -80, 250, 472, -114, -328, 24, 430, 98, -80, 12, 286, 80, -528, -328, 542, 416, 108, -102, -86, 10, -272, 118, -870, -2, 122, 86, -598, 302, 744, -2, 402, 164, 32, 70, -84, 300, -38, -220, -292, 122, -264, -76, 316, 146, 54, 180, -152, 555, -486, 86, 20, 148, -82, -308, 236, -342, 196, 80, -266, -78, -400, -88, -170, -184, 88, 176, 46, 362, 266, -256, 280, -24, 130, -316, 28, 356, -460, 242, -502, 148, -272, 148, -154, -134, 204, 30, 36, -332, -662, -84, -20, 456, -400, 402, 104, -270, -300, 52, 226, -40, 374, -66, -32, -218, 134, 62, -534, 196, -326, 36, 248, 2, -218, -216, 220, 238, -32, -318, 854, 6, -56, 66, -258, -134, -82, -140, -58, 660, 150, -14, 106, 192, -364, -150, 60, -270, -146, -38, -390, 68, 40, 0, -618, -248, 670, 184, -68, 134, 138, 56, 296, -114, 174, -186, -502, -104, 18, 544, -44, 4, -400, -146, 230, 490, 472, -274, -198, -262, 46, -460, -366, 286, -222, -40, 166, -168, 340, 448, -624, 140, -386, -194, 402, -18, 4, -80, 46, 66, -96, 58, -312, 783, -200, -242, 50, 44, 152, -424, 44, -314, 212, -322, -1058, -28, 240, 390, -406, 286, -320, 4, -180, 188, 2, -180, 420, -230, 20, -78, 96, -248, -424, 148, -236, 44, 912, 28, 1098, 96, -278, -30, -196, 44, -638, 90, 0, -204, 422, -36, -404, -38, -468, -250, -858, 514, 316, 222, -178, -184, -200, 280, -388, -4, -216, 170, 424, 214, -734, -44, -130, 244, -150, -28, 114, -88, -676, 32, 1038, 272, 256, 342, 132, 484, 360, 332, 52, -84, -296, 278, -698, 66, 386, -368, 14, 344, -138, 36, -626, -122, 126, 232, -448, 164, -518, 116, 256, 20, -346, -322, -28, -38, 294, 362, 942, 0, 148, -136, -114, -62, -132, -190, -742, -6, -152, 194, 6, -230, -472, 208, 14, -14, -4, -108, -790, -310, 14, 124, -528, 262, 500, -194, 108, 302, 200, -220, -990, 152, -304, -398, -118, 210, -696, -82, 584, 763, -164, -180, -350, 160, -336, 132, 208, 340, -128, -188, -110, -282, -348, 558, -736, -2, -68, -336, 64, 46, 458, 48, 162, 328, 18, -110, -786, 70, -728, 126, 2, -176, 122, -250, 466, 556, -30, -30, -1068, -96, 80, -388, -112, 2, -556, -310, 522, -246, 300, 8, 460, 84, 588, -248, 4, 136, -1086, -346, -110, -204, 54, -138, -126, 126, -340, -68, -400, 128, -1076, 60, -366, -76, -412, -124, -596, -62, 200, 66, 340, 122, 146, -182, -688, -332, -232, 202, 130, 226, -186, -314, -52, 252, 50, -518, 214, 342, -356, 24, -14, -158, -280, -16, -556, -74, -412, -212, 714, 52, 92, -302, -414, -332, 8, 204, 248, -130, -1132, 144, -442, 166, 398, 32, -922, -86, 260, -282, -532, -60, -556, -322, 576, -96, -560, 42, -740, -262, 84, -540, -404, 292, 566, -426, 440, -350, -402, 16, -562, 200, 178, -72, -410, 148, 144, -148, 116, -316, 154, 158, -1116, 409, 340, -178, -8, 502, -70, 98, -112, -222, -324, 0, 250, -214, 22, -134, 570, 136, -824, -438, -74, 86, -70, 32, -150, 112, -306, 246, -46, 120, -838, 112, 190, -146, -404, 254, -656, -248, -120, -268, -18, 222, -424, -146, 108, 4, -502, -162, -682, -560, -152, 94, -76, 364, -774, 216, -80, -44, 526, -362, -198, 370, 304, 4, -742, 272, -196, -120, -214, -358, 342, 300, 44, -112, -352, 512, -362, 216, -744, -106, 290, 36, 360, -122, 760, -380, -236, 34, -466, 500, -158, -160, 290, 126, -104, 410, -1016, -126, -916, 14, 4, 304, -1038, -24, 630, -200, -214, -266, -736, -90, 552, -4, 286, -128, -70, 326, 566, 230, -564, 126, 254, -118, -38, 464, -396, -168, 136, -626, -276, -76, -128, -66, -236, -280, 564, 186, -584, 304, 428, -406, -420, 474, 346, 444, -264, 382, 246, -158, 322, 106, 280, 438, 580, -138, -832, 114, -496, 126, 284, 380, -306, -262, -896, 270, 564, 110, 252, 284, -1010, 343, -34, 244, -736, -296, -768, 52, 238, -74, 168, 408, 50, -78, 410, -242, 308, -106, 232, 300, -554, 572, -578, -48, -1000, 230, -586, -68, 6, -90, -404, -306, 338, 236, -300, -4, -388, -166, -74, 196, -858, -148, -1412, -438, 316, -170, -308, 598, 212, -132, 110, 586, -592, 500, 224, -36, 132, -290, -126, -438, -1114, -372, -208, -274, -178, 56, -736, 378, 374, -536, -464, -142, -190, 172, 426, -28, -170, 518, -138, -30, 68, -288, -316, 118, -546, -200, -304, -364, -494, 308, -762, -272, -114, -294, -600, 98, -886, 202, 376, -100, -66, 320, -252, -56, 108, -412, -108, -110, -98, -380, 134, 162, -672, 292, 720, -386, 60, 538, -210, -14, -596, -190, -140, 90, 462, 286, -554, -230, -68, -210, 244, 0, -1440, -460, -766, -232, -746, 76, -782, -180, -314, 348, -280, 210, -942, 504, -290, -224, -684, 612, -908, -270, 526, 358, -64, 207, 32, -57, -4, 480, 92, 105, -1216, -144, 966, -410, -176, 581, -268, -462, -134, 288, -230, -132, -208, 63, 608, 901, -314, 158, -582, -294, -414, 308, 360, -189, 292, -18, 622, 776, 350, 310, -1360, -156, 188, -162, -292, 153, -66, -448, 526, 172, 492, 24, -952, 10, 208, 614, -338, 12, -610, 189, 360, 328, -786, 102, 48, -90, 100, 470, -948, 396, 890, -310, 178, -34, -286, 481, 1252, -206, 180, -342, -502, 330, -34, 336, 412, -268, -288, -142, 360, 170, 78, 566, -260, 17, -174, -160, -12, -246, -140, 428, -428, -132, -778, -8, 134, 102, 376, -364, -16, 378, -132, 228, 364, 363, 22, 178, 662, 402, 280, 2, 630, 390, -272, -136, -492, 124, 446, -350, -220, 316, -106, -682, 94, -14, -28, 355, -108, 314, -14, 258, 224, 658, 892, 136, 1192, 28, 304, 24, 184, 12, -858, 624, -368, 348, -110, -608, -622, 472, 690, 125, 838, 370, 236, 432, 542, 72, 988, -170, 100, 8, -34, -138, -546, -8, 602, -196, -1192, -300, -600, 178, 772, -188, 462, 134, -350, -205, 324, -290, -130, 136, -468, -182, 588, -174, -70, 280, -580, -38, 940, 290, 138, 604, 184, 132, 196, 488, -486, -172, 196, 903, 74, 126, -590, 77, 288, 106, -136, 328, 306, 40, -498, -196, -312, -126, -396, -282, -206, -80, 298, 80, 358, -284, 84, 852, 14, -476, -230, 2, 236, 32, 472, -12, -268, -89, -578, -282, 548, 296, -204, 282, 594, -538, 270, 276, -104, -300, 432, -554, -40, -244, 468, 718, 362, 124, -524, 380, 440, 182, -984, -154, -164, -114, 70, -76, -290, -409, 576, 456, -292, 94, 468, -312, 340, -556, -68, 110, 162, -528, -458, 88, 4, 20, 582, 252, -516, 314, 268, 22, -764, -168, -238, 482, -40, -178, 900, 466, 706, -236, 554, 273, 798, -208, -406, -288, 28, 398, 700, 450, -228, -222, -80, -16, -428, 526, 282, -316, 18, -28, 140, 412, 608, -770, -690, 570, 712, -560, 70, -298, -212, -116, -700, -466, 356, 36, 142, 313, -8, -254, -720, 846, -40, -252, -1104, 40, -90, -320, -522, 706, 232, -562, -354, 452, -8, 196, 794, 228, 246, -280, 1034, -292, 126, -424, -842, 258, -254, 346, -1028, -78, -532, 242, -98, 288, 188, -307, 1066, -96, -46, -90, 240, 380, 858, -546, 50, -288, -842, -690, 294, 318, -1100, 568, -428, 539, 780, -670, -202, 530, 86, 590, -118, 838, 562, 196, 56, 242, -278, 276, -270, -464, 472, -88, 368, 832, -534, -179, 722, 32, -76, 446, 400, 394, 576, -968, -248, 0, -260, -554, -16, 64, 574, 590, -400, -88, 940, -514, -634, 860, -72, -164, -340, -202, 184, -28, -60, -322, -406, 474, -100, -1060, 228, 54, -1104, -16, 502, -258, -116, -239, -100, -604, 444, 62, 160, 310, -254, 362, 296, 620, -1154, 352, 52, -524, -1074, 228, 76, 232, 820, -306, -160, -430, -442, -96, 1164, -748, -354, 554, 856, -336, 142, -310, -94, -490, 1160, 640, 936, -50, 576, 184, -378, -82, -608, -43, -140, -586, 278, 196, 246, -62, 648, 168, 18, -168, 376, -58, -104, 52, -1052, 686, -8, -248, -456, 414, -510, 296, 958, 320, 220, -230, 22, 44, 586, -176, 258, 198, -22, 452, 318, 448, 380, -404, 330, 76, 240, -208, 264, 760, 310, -275, 338, 236, -348, 524, 478, 538, 374, 264, 56, 108, 54, 186, 74, 424, -752, 254, 322, -498, 500, -60, 796, -376, 720, 434, 564, 70, 20, 176, -1412, 734, 840, -84, -254, 540, -654, 34, 1240, 86, 192, 118, 44, -266, -372, 192, 1090, 397, 230, -153, 466, 504, 342, -928, 970, 548, -578, -68, 222, -130, 334, 62, -826, -496, -884, -458, 352, 394, -560, 118, 464, -722, -10, -344, 544, -266, 692, 174, -72, 174, 1252, 104, 372, 236, 398, 548, -676, -354, 850, 652, -94, 794, -306, -584, 652, 1046, 404, -172, -370, -331, 856, -300, -800, 42, 336, -616, -504, 814, 842, -758, 776, 566, -30, 278, 888, 794, 1002, -116, 272, 118, 124, -98, -38, -128, 194, 210, 444, 198, 296, 422, 188, -14, 660, 716, -284, 444, -288, 210, -782, 10, 512, 908, -1110, 148, 212, 368, -1104, -202, 762, -456, -400, 15, 98, 142, -708, 618, 564, 258, 412, 28, -396, -314, -678, 604, 650, 364, 662, 260, 780, -30, -402, -138, 564, 212, 1092, 252, 1726, -404, 10, 6, -186, 468, -654, -166, -162, -256, 690, 16, -42, 220, -788, 452, 254, 446, -392, 86, 670, 340, -60, 10, 950, -596, -198, -76, 156, -397, 88, 168, 154, 194, 478, -90, -952, -210, 56, 206, 178, -470, 792, -266, -918, 438, -180, -116, -274, -286, 550, 210, -250, 292, 894, 216, -648, -8, 686, 116, 618, 300, 254, -286, -112, -268, 566, -72, 538, -260, 494, 334, -802, 42, 896, -298, 80, -394, 1372, 799, 818, 376, 374, 12, -908, -309, -330, 34, -86, 142, -204, -556, 12, 468, 1214, -18, -108, -550, -236, 458, 1042, 200, 1066, 240, 202, 1092, -502, 426, -162, 188, -632, -456, 732, 474, 74, -220, -692, -828, 208, 116, 716, -184, 286, -816, -428, 510, -392, -76, 350, 678, 114, 250, -4, -270, 980, 592, -772, 388, -1276, -284, 896, -262, 130, -413, 154, 106, -414, 462, 896, -32, 1174, -490, -390, -2, 200, -86, -100, 396, -262, -816, 566, -164, 72, -86, -154, 484, -908, -366, -190, 166, 1104, 990, -52, 360, 312, 158, -410, -494, 436, 628, -74, -262, -946, -342, 22, -238, 304, 124, 60, 324, 258, -38, 166, -160, -368, -14, -694, 262, -1430, 892, -258, -160, 482, -197, 1290, 10, 934, -418, 436, 218, -1186, -454, 818, -436, -710, -214, 958, -176, -1542, 374, -656, 530, 182, -88, 276, 390, 48, 444, 220, 68, -774, -198, 808, 532, 488, -770, -254, 64, 136, -128, -1206, -302, -446, -180, 312, 980, 230, 300, 304, -310, 398, -30, 892, 150, 782, 982, -644, 426, -714, 394, -604, -376, -38, 330, 998, -195, 698, 474, 382, -14, -952]