# Trace form for 2151.2.a, downloaded from the LMFDB on 25 April 2024.
[0, 99, 0, 0, 94, 0, 0, -6, 6, 0, 2, -2, 0, -6, 14, 0, 92, 0, 0, -6, -4, 0, -8, 2, 0, 99, 14, 0, -22, -4, 0, -4, 22, 0, 10, 28, 0, -6, 0, 0, 12, -6, 0, 16, 14, 0, -4, 16, 0, 89, 22, 0, -36, 0, 0, -4, 36, 0, 0, 20, 0, 8, 15, 0, 74, 48, 0, 12, 8, 0, 32, 4, 0, 28, 24, 0, -64, -10, 0, -20, -17, 0, -10, 12, 0, 8, -28, 0, -40, 18, 0, -26, -12, 0, -58, 14, 0, -2, -42, 0, 72, 12, 0, 8, 66, 0, -62, -38, 0, 20, -4, 0, -62, 10, 0, -10, -39, 0, -40, -28, 0, 83, 12, 0, -12, -6, 0, 2, -40, 0, 14, -2, 0, 4, -42, 0, -20, 10, 0, -4, 108, 0, 46, -8, 0, 34, -4, 0, -60, 16, 0, -86, -14, 0, -68, 0, 0, 10, 56, 0, 70, 2, 0, 56, -46, 0, 48, 32, 0, 127, -15, 0, 76, 58, 0, -32, -8, 0, 66, -30, 0, 22, 4, 0, -6, 82, 0, -36, 34, 0, -50, 2, 0, 4, 64, 0, 148, -62, 0, 0, 148, 0, 96, 16, 0, 66, -126, 0, -104, -6, 0, 0, 4, 0, -28, -46, 0, -40, 28, 0, -86, 132, 0, -8, -42, 0, -54, 46, 0, 26, 74, 0, -30, 34, 0, 16, 26, 0, -6, -15, 0, 32, -13, 0, 88, 56, 0, 6, 46, 0, 52, 0, 0, -42, -130, 0, -60, 6, 0, -10, 28, 0, -2, -38, 0, -68, -78, 0, 6, 8, 0, -38, 58, 0, -122, 12, 0, 88, -212, 0, 122, -78, 0, -14, 64, 0, 48, 24, 0, 23, 2, 0, 4, -54, 0, 28, -56, 0, -40, -120, 0, -26, -78, 0, -164, -8, 0, 24, 102, 0, 0, 46, 0, -22, 56, 0, -62, 64, 0, -94, -4, 0, -152, -36, 0, 70, 4, 0, -86, -116, 0, 8, 1, 0, -26, -146, 0, 120, 68, 0, -66, -108, 0, -138, -64, 0, 120, -30, 0, 10, -100, 0, -110, 38, 0, 20, -26, 0, -116, -14, 0, 155, -76, 0, 26, 126, 0, -26, -116, 0, 8, 104, 0, -40, -12, 0, -46, 70, 0, -66, 74, 0, -174, -34, 0, -130, -162, 0, -66, 128, 0, -32, -14, 0, 28, -198, 0, -2, 252, 0, -20, -26, 0, -118, 0, 0, -92, -128, 0, -28, -154, 0, -64, -30, 0, -48, 256, 0, 104, -48, 0, 74, -140, 0, -244, 18, 0, -160, -216, 0, -102, 26, 0, -88, -20, 0, 76, 80, 0, -142, -197, 0, -80, -36, 0, 264, -92, 0, -98, 2, 0, -70, 4, 0, 172, -112, 0, 62, -86, 0, -160, 70, 0, -58, -136, 0, -102, -84, 0, -98, 26, 0, -280, -136, 0, -14, -132, 0, 4, -100, 0, 4, -32, 0, 138, 80, 0, -88, -12, 0, -124, -54, 0, 58, -114, 0, -124, -8, 0, -86, -34, 0, 52, 42, 0, 40, 138, 0, 42, 90, 0, -16, -272, 0, 46, 52, 0, 194, -94, 0, 30, 20, 0, -34, 74, 0, -174, 160, 0, -31, -58, 0, -86, 126, 0, -116, -90, 0, 21, 60, 0, 82, -28, 0, 21, -152, 0, -90, -64, 0, -59, 12, 0, -116, 350, 0, -158, 96, 0, 92, 204, 0, 6, 16, 0, 174, -97, 0, 49, -12, 0, -132, -134, 0, 284, -98, 0, 138, 90, 0, 225, -54, 0, -8, 248, 0, -100, 2, 0, 36, 138, 0, -220, 148, 0, -68, -28, 0, 14, -158, 0, -26, -142, 0, -252, 178, 0, 154, 18, 0, -249, 66, 0, 94, 8, 0, -120, 18, 0, 108, -228, 0, 148, -190, 0, 115, -210, 0, 125, 170, 0, -32, 316, 0, -84, 140, 0, 16, -286, 0, -116, 30, 0, 122, 64, 0, 154, -122, 0, 14, 34, 0, 178, 12, 0, -78, -326, 0, 144, 24, 0, 192, -110, 0, 100, 138, 0, 46, -14, 0, -305, 128, 0, 114, -80, 0, -150, 140, 0, 114, 12, 0, 104, -110, 0, 98, 300, 0, 132, 54, 0, 26, 154, 0, 85, 258, 0, 38, 16, 0, -372, 94, 0, 150, 194, 0, 220, -66, 0, 4, -51, 0, 122, -122, 0, 122, -314, 0, 122, -50, 0, 66, 52, 0, 60, 78, 0, -116, -276, 0, -136, 44, 0, 16, -16, 0, 102, -66, 0, 86, 102, 0, -252, 152, 0, 4, -76, 0, 1, 148, 0, 70, 304, 0, -12, -10, 0, -54, -316, 0, -50, -70, 0, 164, -180, 0, 38, 160, 0, -6, 166, 0, 10, 138, 0, 60, 150, 0, -61, 102, 0, -44, 136, 0, 326, 232, 0, -12, 46, 0, -6, 38, 0, -106, 446, 0, 38, 150, 0, -248, 272, 0, -422, -112, 0, 198, 232, 0, 328, 16, 0, 238, 72, 0, 178, -178, 0, -178, -82, 0, 156, 282, 0, -140, -416, 0, 144, -90, 0, -52, -320, 0, -174, 4, 0, 116, 86, 0, 148, 160, 0, 59, -330, 0, -155, -186, 0, 254, -120, 0, -2, -28, 0, -78, 10, 0, 124, 346, 0, 88, -110, 0, 50, -176, 0, -80, -78, 0, -222, -26, 0, -246, -221, 0, -322, 174, 0, -50, 126, 0, -193, -118, 0, 108, 482, 0, 316, 46, 0, 38, -190, 0, 100, -18, 0, 244, -104, 0, 124, 92, 0, 52, 402, 0, 74, 58, 0, 64, 136, 0, -436, 56, 0, 52, -130, 0, 44, 252, 0, -72, 140, 0, -262, -252, 0, 148, -226, 0, -328, 24, 0, -192, -74, 0, 140, -30, 0, -42, 224, 0, 54, 60, 0, 2, 336, 0, -262, 192, 0, 26, 140, 0, -74, 74, 0, 256, -30, 0, 41, -88, 0, -43, -314, 0, -70, 164, 0, -130, -274, 0, -68, -238, 0, 148, 38, 0, 140, 120, 0, -72, -192, 0, -416, -124, 0, 224, -134, 0, 132, 48, 0, -110, -124, 0, -8, -462, 0, 86, -302, 0, 119, 170, 0, 56, 184, 0, 92, -50, 0, 104, 4, 0, -402, -50, 0, -100, -272, 0, -112, -82, 0, -126, 76, 0, -294, 338, 0, -92, 88, 0, 28, 96, 0, -58, 64, 0, -144, 166, 0, 94, -256, 0, 350, -24, 0, -104, -66, 0, -126, 158, 0, -188, -659, 0, 204, -22, 0, -302, -394, 0, 4, -128, 0, -28, 254, 0, 190, -130, 0, 304, 38, 0, 72, 6, 0, -10, -272, 0, -336, -72, 0, 210, 178, 0, 232, -172, 0, 104, 226, 0, 319, -14, 0, 138, 56, 0, -402, 30, 0, 128, 330, 0, 280, -202, 0, -20, 172, 0, 252, 40, 0, -104, -474, 0, 278, 218, 0, -120, 178, 0, 496, 28, 0, -90, -108, 0, 116, 30, 0, 76, 88, 0, 84, 370, 0, -246, -2, 0, 95, -258, 0, -110, -372, 0, 302, -380, 0, 124, 522, 0, -128, -134, 0, 214, 342, 0, -248, -58, 0, -78, -398, 0, 490, -118, 0, 268, 138, 0, 316, -168, 0, -112, -376, 0, 96, -112, 0, -156, 520, 0, 260, -126, 0, -314, -90, 0, 8, -32, 0, 106, 168, 0, 68, -2, 0, 16, -210, 0, 172, -124, 0, 58, 298, 0, 96, 170, 0, 8, 126, 0, 200, -166, 0, 154, -270, 0, -208, -234, 0, 210, 196, 0, 30, 136, 0, 53, 444, 0, 198, -398, 0, 170, 128, 0, 476, -78, 0, 316, -116, 0, -311, -94, 0, 92, 388, 0, 190, -18, 0, 102, 177, 0, -28, -50, 0, 40, 148, 0, 10, -58, 0, -222, -128, 0, -86, -44, 0, -78, -148, 0, -18, 180, 0, 172, 218, 0, -250, 144, 0, -28, 682, 0, -190, -236, 0, 366, -312, 0, -390, -126, 0, 50, -266, 0, -25, 190, 0, 196, -80, 0, 88, 146, 0, -202, -198, 0, -126, 258, 0, 0, 432, 0, -54, -174, 0, 70, 90, 0, 338, 94, 0, 36, 62, 0, -142, -22, 0, -68, 138, 0, -372, -288, 0, -130, 516, 0, -24, -214, 0, -30, -602, 0, 56, -86, 0, -320, 538, 0, 318, 210, 0, 266, 492, 0, -212, -538, 0, -154, -288, 0, 68, -14, 0, -126, -8, 0, -32, 134, 0, -21, 36, 0, -606, -312, 0, 86, 110, 0, -30, -62, 0, -36, -64, 0, 402, 46, 0, -198, 440, 0, 114, 86, 0, 146, 286, 0, 208, 64, 0, 310, -228, 0, 462, 238, 0, 256, 438, 0, -83, 152, 0, 180, 158, 0, -6, 78, 0, 22, 158, 0, 690, -28, 0, 134, 2, 0, -276, -90, 0, 74, -170, 0, -218, -318, 0, 138, -230, 0, 54, 168, 0, -214, 606, 0, 616, -110, 0, -30, -86, 0, 328, 82, 0, 250, 94, 0, 324, 170, 0, 240, 616, 0, 326, -434, 0, -86, 111, 0, 179, 318, 0, -166, 164, 0, 246, -300, 0, 48, -72, 0, -576, -4, 0, -264, 178, 0, 202, 100, 0, -258, 500, 0, 270, 50, 0, -146, 653, 0, 180, 312, 0, -84, 304, 0, -250, 30, 0, -142, 292, 0, -336, 340, 0, 106, 147, 0, 20, 288, 0, 28, -466, 0, 154, 162, 0, -340, 36, 0, -42, 0, 0, 226, -316, 0, 106, -74, 0, -242, 372, 0, -714, -486, 0, 58, -210, 0, -54, -480, 0, -148, -49, 0, 324, -106, 0, -138, 250, 0, -8, -324, 0, -178, -596, 0, -348, -100, 0, -144, 314, 0, 412, -138, 0, -302, 380, 0, 256, -236, 0, 222, -436, 0, 424, -92, 0, -76, 82, 0, -74, -144, 0, -314, 300, 0, 421, 332, 0, -128, -472, 0, -462, 288, 0, -356, 319, 0, -374, -182, 0, 106, -250, 0, 94, -136, 0, -58, -32, 0, -40, 248, 0, -296, 94, 0, -218, 104, 0, -222, 122, 0, 90, -204, 0, -164, 814, 0, -328, 100, 0, 46, -708, 0, -222, -54, 0, -302, -260, 0, 8, 88, 0, -182, 0, 0, 216, 392, 0, -386, 42, 0, -387, 362, 0, 60, 464, 0, 480, -84, 0, 258, 156, 0, 592, -16, 0, -48, 31, 0, 132, -354, 0, 37, -46, 0, 736, -380, 0, 240, -606, 0, 72, 156, 0, -94, 460, 0, -244, -416, 0, -170, -545, 0, -304, 28, 0, -52, 120, 0, -918, -58, 0, -256, -654, 0, 166, -312, 0, -232, 336, 0, -256, -86, 0, -74, -20, 0, 28, -42, 0, -368, -320, 0, -160, -442, 0, -122, -406, 0, 134, -88, 0, -86, 732, 0, 28, 78, 0, -314, 292, 0, -264, 256, 0, 142, 48, 0, -240, -132, 0, -180, 142, 0, -226, -240, 0, 158, 147, 0, 242, -364, 0, -236, -394, 0, 404, -614, 0, -302, -304, 0, 994, -54, 0, 78, 108, 0, 272, -4, 0, 48, -482, 0, -374, -486, 0, -512, -216, 0, 233, 524, 0, 110, -208, 0, -376, 150, 0, -30, 308, 0, -190, 222, 0, -366, -94, 0, 776, 128, 0, 412, -190, 0, 158, 218, 0, -134, 268, 0, 418, -590, 0, -402, 222, 0, 414, -178, 0, 386, 104, 0, -526, -370, 0, -222, -98, 0, 96, 32, 0, 365, 442, 0, -6, 84, 0, -454, -410, 0, 104, -154, 0, -50, -950, 0, 180, 266, 0, 14, -312, 0, -433, 36, 0, 42, -435, 0, 18, -118, 0, -54, 240, 0, 384, -100, 0, -118, -104, 0, -120, -312, 0, 84, -346, 0, -184, 212, 0, -480, -562, 0, -392, -222, 0, -262, 342, 0, -32, -254, 0, -88, -100, 0, 12, -92, 0, -338, -274, 0, 524, 348, 0, -50, 48, 0, 528, -94, 0, 112, -318, 0, 580, -66, 0, 32, 186, 0, -458, 8, 0, -180, 242, 0, -70, 410, 0, -62, -468, 0, 158, 174, 0, 176, -65, 0, 42, -138, 0, -296, 848, 0, -180, 288, 0, -140, -148, 0, 290, 220, 0, 228, -268, 0, 216, -10, 0, 82, -198, 0, 352, 0, 0, -376, -338, 0, -16, -142, 0, -374, 720, 0, -254, 290, 0, -50, 280, 0, 30, 296, 0, -44, -39, 0, -80, -286, 0, 266, -478, 0, 728, -244, 0, -240, 324, 0, -160, -376, 0, 118, 356, 0, -215, -40, 0, -200, 252, 0, -100, 250, 0, -94, -414, 0, 306, -10, 0, -106, 178, 0, 92, 112, 0, -132, 10, 0, -186, 202, 0, -2, -412, 0, -194, 388, 0, -306, -624, 0, -518, -746, 0, 166, -938, 0, -618, 324, 0, 98, 528, 0, 818, 284, 0, -224, -1118, 0, 240, -88, 0, -92, 422, 0, -154, -214, 0, -94, 194, 0, -392, 136, 0, 114, -304, 0, -502, -98, 0, -120, -300, 0, -81, -78, 0, 128, 154, 0, -262, 546, 0, -64, 588, 0, -406, 24, 0, 254, 122, 0, 206, -188, 0, -216, 792, 0, -466, 174, 0, 164, 28, 0, 388, 398, 0, 148, 150, 0, -250, -218, 0, -124, 532, 0, -52, -364, 0, -182, -327, 0, -368, -254, 0, 94, -934, 0, 54, -166, 0, 186, 548, 0, -292, 352, 0, -322, -216, 0, -260, -332, 0, 74, -154, 0, -474, 132, 0, 112, 162, 0, -98, 544, 0, -440, -652, 0, -606, 0, 0, 184, 640, 0, 638, -168, 0, -70, -714, 0, 190, -402, 0, 54, -270, 0, -588, 208, 0, -62, 242, 0, -328, 264, 0, 47, -36, 0, -144, 410, 0, -14, 316, 0, 376, 272, 0, -82, 181, 0, -172, 318, 0, -238, 590, 0, -194, 132, 0, -176, 404, 0, -296, -148, 0, -174, 450, 0, 514, 110, 0, 18, -108, 0, -144, -40, 0, -14, 50, 0, 622, 594, 0, 434, -822, 0, 101, -334, 0, -372, -764, 0, -420, -380, 0, 162, 344, 0, -504, 286, 0, -616, -874, 0, 100, -264, 0, 120, -314, 0, -190, 444, 0, 82, 14, 0, -672, 574, 0, 70, 102, 0, 986, -186, 0, 258, -300, 0, -414, 106, 0, 32, -615, 0, 664, 542, 0, 370, 324, 0, 848, -642, 0, -386, 406, 0, 142, 538, 0, 24, -570, 0, -220, -124, 0, 398, -330, 0, 48, -130, 0, -218, 862, 0, 572, -88, 0, -254, 34, 0, -87, 72, 0, -8, -374, 0, -380, 368, 0, 136, 66, 0, 86, -434, 0, -266, -324, 0, 92, -348, 0, -320, -160, 0, 58, 50, 0, -308, 430, 0, 474, 416, 0, 210, 902, 0, 126, 488, 0, -4, -88, 0, 382, 182, 0, -120, -24, 0, 50, -150, 0, -198, -758, 0, -552, 86, 0, 219, -788, 0, -352, -500, 0, -360, -194, 0, -118, 544, 0, -372, -322, 0, -560, -128, 0, 206, 374, 0, -390, -38, 0, 380, -412, 0, 114, -644, 0, 236, -404, 0, 486, -34, 0, -88, 156, 0, -266, 66, 0, 60, 94, 0, 322, 130, 0, -86, -518, 0, -20, -350, 0, -372, 34, 0, -476, 444, 0, 338, -50, 0, -376, 442, 0, -346, 32, 0, -944, 296, 0, -298, -158, 0, 354, -316, 0, 44, -80, 0, -32, 374, 0, -90, -893, 0, 886, -426, 0, 36, -1078, 0, -270, -412, 0, 580, 524, 0, -778, -38, 0, -180, -50, 0, 312, -110, 0, -18, -1033, 0, 422, -104, 0, 178, 620, 0, 1177, 88, 0, 468, 384, 0, -432, 112, 0, 28, 58, 0, -408, 20, 0, -450, 742, 0, -638, -252, 0, -146, 856, 0, -444, -298, 0, 244, -888, 0, 116, 14, 0, -118, -468, 0, -118, 46, 0, -80, -144, 0, -444, 336, 0, 348, 372, 0, 130, 722, 0, 530, -364, 0, 706, -148, 0, -46, -418, 0, 98, -732, 0, -358, 666, 0, 114, -544, 0, 304, 650, 0, -912, -272, 0, 162, -750, 0, 670, 130, 0, -334, 274, 0, -716, -486, 0, 592, -756, 0, 163, -8, 0, -410, 650, 0, 140, -444, 0, -6, -184, 0, -860, -206, 0, -300, -226, 0, -530, -126, 0, 12, -576, 0, 266, -4, 0, 164, 718, 0, -382, 322, 0, 218, 496, 0, 670, -118, 0, -336, -128, 0, -874, -174, 0, 206, 394, 0, 664, 168, 0, -334, 1298, 0, 198, -298, 0, -100, -160, 0, -250, -188, 0, -2, -530, 0, -88, 248, 0, -68, 404, 0, -602, 140, 0, -316, 683, 0, -144, -228, 0, 382, -134, 0, 550, -288, 0, -164, -154, 0, -332, 174, 0, -156, -486, 0, -234, 168, 0, 20, 498, 0, 214, 564, 0, -40, 906, 0, -74, 8, 0, -86, -514, 0, -662, -562, 0, 608, -240, 0, 816, 116, 0, 430, -420, 0, 96, -64, 0, 134, -172, 0, -4, 60, 0, -50, 808, 0, 678, -246, 0, 514, 468, 0, 26, 474, 0, -810, 54, 0, 588, -104, 0, 132, 202, 0, -170, -608, 0, 6, 1258, 0, 430, -490, 0, -90, -848, 0, -32, -244, 0, 318, 822, 0, -286, 288, 0, 382, 844, 0, 338, -516, 0, 466, -358, 0, -97, 252, 0, 680, 326, 0, -788, 60, 0, 666, 242, 0, -44, -306, 0, 189, 22, 0, 466, 130, 0, 190, -281, 0, 920, 616, 0, -128, 652, 0, 826, 580, 0, -168, 612, 0, 704, 188, 0, 146, -138, 0, -342, 168, 0, -60, 792, 0, 376, 196, 0, 446, 450, 0, 428, 160, 0, -698, -358, 0, 208, 18, 0, 180, -122, 0, -230, -60, 0, 448, -408, 0, 472, -624, 0, -54, -314, 0, -160, 246, 0, -32, 564, 0, 2, 98, 0, -70, -504, 0, 530, -2, 0, -110, 476, 0, -653, 584, 0, -540, 884, 0, -352, -340, 0, 234, 469, 0, 196, 412, 0, -160, 10, 0, -230, -542, 0, -188, -618, 0, -2, -68, 0, 240, -306, 0, 54, 80, 0, -180, 864, 0, 322, -90, 0, -4, 1181, 0, -194, 682, 0, 184, 590, 0, 518, 122, 0, 324, 180, 0, -60, 394, 0, -342, 5, 0, -602, 700, 0, -694, -172, 0, 698, 314, 0, 228, 154, 0, 586, 148, 0, 300, -592, 0, -362, 376, 0, 70, 82, 0, 164, -1172, 0, -204, -56, 0, 128, -626, 0, -504, -171, 0, 312, 110, 0, 660, 448, 0, 28, -644, 0, 88, -882, 0, 284, -334, 0]