# Trace form for 1503.2.a, downloaded from the LMFDB on 19 April 2024.
[0, 69, 2, 0, 70, 4, 0, -2, 12, 0, 4, 0, 0, -2, -6, 0, 72, 4, 0, 4, 16, 0, -12, 6, 0, 63, 10, 0, -8, 8, 0, 16, 26, 0, 2, 26, 0, -8, 0, 0, 6, 2, 0, 4, 15, 0, -16, -28, 0, 29, 12, 0, -2, -2, 0, 18, 2, 0, -22, -2, 0, -4, 9, 0, 34, -18, 0, 4, -36, 0, -32, -16, 0, 8, 4, 0, 4, 24, 0, -30, 26, 0, 14, -18, 0, 18, 12, 0, -40, 20, 0, -62, 44, 0, 10, 20, 0, 2, -17, 0, 68, 28, 0, 4, 60, 0, 36, -44, 0, -2, -16, 0, 10, 38, 0, -10, -26, 0, 6, 10, 0, 67, 50, 0, 32, -18, 0, 36, 26, 0, -60, 22, 0, -24, -18, 0, -42, -28, 0, -30, 64, 0, 2, -14, 0, -40, 2, 0, -30, 82, 0, -6, -59, 0, -20, -20, 0, -16, -66, 0, 4, 16, 0, 18, 46, 0, -60, -11, 0, 41, 2, 0, -58, -8, 0, -16, 22, 0, -52, 26, 0, -8, 90, 0, -44, -20, 0, -64, -158, 0, -22, -10, 0, -22, -124, 0, -4, 2, 0, -66, 92, 0, -30, -34, 0, 12, -82, 0, -38, -124, 0, -26, -30, 0, 114, 28, 0, -80, 26, 0, 20, 100, 0, 6, -57, 0, 30, 30, 0, -2, -22, 0, -28, -74, 0, -6, -2, 0, 92, -46, 0, 66, 26, 0, -106, 86, 0, -42, -10, 0, -16, -140, 0, 2, 70, 0, -64, -32, 0, -46, -210, 0, -42, 64, 0, 68, -104, 0, -4, -44, 0, -56, -58, 0, 52, -48, 0, 52, -10, 0, -104, 28, 0, -48, -22, 0, 10, -32, 0, 45, -18, 0, 52, 76, 0, -96, -4, 0, -30, 36, 0, 22, 90, 0, -32, 74, 0, -74, 192, 0, -80, -56, 0, 68, -21, 0, -120, -34, 0, -12, 78, 0, 76, -48, 0, 100, -86, 0, -60, -54, 0, -42, -108, 0, 6, -96, 0, -36, -44, 0, 32, -120, 0, 44, -62, 0, -38, -36, 0, -54, -108, 0, 32, 56, 0, 62, 52, 0, 42, -8, 0, 123, -32, 0, -216, 10, 0, -24, 2, 0, -122, 60, 0, 12, 68, 0, 51, 78, 0, 24, 34, 0, 69, 128, 0, -144, -116, 0, -213, 26, 0, 30, -68, 0, -116, -40, 0, 18, -44, 0, 82, 86, 0, -24, 126, 0, -41, 60, 0, -18, -78, 0, 80, 146, 0, -48, 16, 0, 173, -60, 0, -36, -29, 0, 32, 252, 0, 118, -190, 0, -298, 64, 0, 46, -116, 0, 112, 58, 0, 88, -174, 0, 110, -94, 0, 156, -40, 0, -37, 52, 0, 58, 110, 0, 82, -112, 0, 98, -92, 0, -120, 74, 0, -70, 34, 0, 67, -2, 0, -26, 238, 0, -184, -22, 0, -56, -54, 0, -78, 20, 0, 22, 270, 0, 146, 8, 0, 48, -32, 0, 166, 60, 0, 48, -160, 0, 72, -8, 0, 168, -90, 0, 98, -150, 0, 28, 214, 0, 93, 66, 0, -18, 204, 0, -58, 66, 0, 112, -104, 0, -66, 162, 0, -24, -10, 0, 78, 30, 0, 227, 56, 0, -181, 198, 0, -84, 236, 0, 30, -176, 0, -16, 148, 0, -24, 64, 0, 28, -373, 0, -112, 144, 0, -16, -120, 0, -294, 48, 0, -22, 358, 0, 86, -42, 0, 196, -236, 0, -4, -60, 0, 8, -116, 0, 0, -54, 0, 66, 146, 0, -304, 96, 0, -22, -186, 0, 299, -18, 0, -84, -24, 0, -48, 40, 0, 162, 216, 0, -166, -38, 0, 74, -22, 0, 20, 120, 0, 84, -314, 0, 258, 0, 0, 58, 18, 0, -171, 96, 0, -20, -204, 0, 158, 156, 0, 65, 8, 0, 22, 182, 0, -14, 34, 0, 6, -164, 0, -86, -176, 0, -118, 122, 0, 78, 186, 0, -82, 8, 0, -50, 292, 0, 40, -86, 0, -76, -126, 0, -210, -74, 0, 48, 96, 0, -24, 150, 0, -34, -22, 0, 114, 40, 0, -48, -314, 0, -158, 106, 0, 40, -26, 0, -225, 30, 0, 338, -222, 0, -210, -320, 0, 44, -29, 0, -24, -82, 0, 18, 138, 0, -328, 148, 0, -70, 28, 0, 248, -92, 0, 78, -332, 0, -116, -72, 0, -40, -88, 0, -89, 112, 0, -138, 446, 0, -76, -8, 0, -120, 238, 0, 70, 90, 0, 20, -310, 0, 6, 106, 0, 24, -10, 0, 86, -90, 0, 114, -132, 0, -208, 56, 0, -106, -282, 0, 72, -6, 0, 114, 4, 0, -134, -178, 0, -158, 198, 0, -362, -160, 0, -162, -28, 0, 14, -134, 0, 220, -182, 0, 54, 34, 0, 12, 188, 0, 96, -130, 0, 98, -178, 0, -30, -132, 0, 44, 176, 0, -125, 24, 0, -160, -120, 0, 28, 10, 0, 286, 206, 0, -30, 174, 0, -140, -20, 0, 104, -84, 0, -168, -10, 0, 66, 178, 0, 130, -426, 0, 388, -100, 0, -50, 46, 0, -126, -132, 0, 12, -216, 0, -79, -128, 0, 297, -216, 0, 76, 44, 0, 98, 200, 0, -24, -66, 0, -82, 27, 0, 388, 6, 0, -56, 350, 0, 428, -166, 0, 0, 138, 0, -252, 22, 0, -74, 120, 0, 76, -8, 0, 150, -44, 0, 66, 48, 0, 42, 470, 0, 142, -116, 0, -206, 10, 0, 186, -18, 0, -84, -64, 0, 210, -136, 0, 132, 204, 0, 368, 76, 0, 152, -110, 0, 38, -80, 0, -116, 362, 0, -114, 60, 0, 82, -110, 0, -198, 94, 0, 130, 298, 0, 79, -306, 0, 28, 40, 0, 252, 36, 0, 164, 406, 0, 340, -176, 0, -122, -350, 0, -56, -102, 0, -104, 376, 0, 222, -24, 0, 82, -232, 0, 204, -100, 0, -81, 232, 0, 366, 98, 0, 158, 392, 0, -82, 112, 0, -44, 156, 0, -359, -36, 0, 192, -148, 0, 158, 292, 0, 106, -144, 0, -336, -10, 0, 30, 468, 0, 292, -160, 0, 144, -218, 0, -14, -92, 0, 60, -274, 0, 78, 82, 0, -20, 134, 0, 194, 198, 0, -180, 200, 0, 18, -18, 0, -20, 264, 0, -116, 84, 0, -122, 356, 0, 156, 182, 0, -28, 447, 0, 296, 64, 0, -186, -272, 0, 318, 58, 0, -138, 77, 0, -122, -236, 0, -248, 466, 0, 118, -20, 0, 22, 126, 0, 312, 186, 0, -116, 61, 0, -24, -224, 0, -68, -474, 0, -102, -124, 0, -134, -218, 0, -311, -14, 0, -346, 88, 0, 58, -122, 0, -106, 138, 0, 120, -194, 0, -124, 178, 0, 256, 248, 0, 66, 377, 0, 92, 70, 0, -254, 122, 0, 180, -276, 0, -138, -124, 0, 238, -74, 0, -26, -16, 0, -504, -392, 0, 60, 86, 0, 178, 116, 0, -100, 326, 0, -41, -180, 0, -92, -160, 0, 52, -122, 0, 34, 196, 0, -280, 212, 0, 82, -226, 0, -662, 332, 0, 132, -275, 0, 88, 86, 0, 28, -158, 0, 440, 28, 0, 272, 324, 0, 16, -24, 0, 134, 420, 0, -354, -384, 0, 0, -120, 0, -320, -134, 0, 24, 244, 0, -136, 24, 0, -262, -544, 0, -34, -92, 0, -284, -606, 0, -296, 232, 0, -202, 310, 0, -66, -106, 0, -24, 30, 0, -442, -334, 0, 88, -50, 0, 104, -116, 0, -108, 54, 0, 214, 188, 0, -275, -97, 0, -618, 158, 0, 28, 307, 0, 638, -240, 0, 382, -144, 0, 472, -154, 0, 106, -62, 0, -309, 116, 0, -160, -54, 0, 420, -358, 0, -116, 138, 0, 54, -148, 0, 42, -362, 0, 22, 84, 0, 12, -208, 0, 132, -20, 0, 2, -174, 0, 240, -366, 0, -228, 150, 0, 460, 8, 0, 22, -278, 0, 404, -102, 0, -164, -224, 0, -106, 198, 0, -206, 102, 0, 318, 86, 0, -36, 146, 0, -197, 214, 0, -360, 442, 0, -200, -26, 0, -130, 69, 0, -374, -172, 0, 190, 238, 0, 6, -394, 0, -188, -364, 0, -78, -36, 0, -72, -56, 0, 18, -224, 0, -258, -442, 0, 24, 22, 0, -58, 26, 0, 14, 56, 0, -288, -118, 0, 488, 32, 0, 288, 134, 0, -130, 52, 0, -184, -352, 0, 282, 134, 0, -25, -188, 0, 250, 46, 0, -76, 124, 0, 184, 70, 0, -146, -92, 0, 120, 538, 0, -152, -220, 0, -272, -50, 0, -140, -58, 0, -112, -266, 0, -200, 20, 0, 494, 120, 0, -146, 496, 0, 412, 10, 0, -50, -252, 0, 202, 202, 0, 84, -126, 0, 70, -102, 0, -14, 177, 0, -220, 454, 0, 32, -484, 0, 401, -306, 0, -246, -46, 0, -400, 126, 0, 54, -510, 0, 130, -426, 0, -262, -573, 0, -416, 124, 0, -222, 194, 0, -416, -164, 0, 192, -176, 0, -338, 272, 0, -120, 140, 0, -70, 190, 0, -112, 350, 0, -6, -154, 0, 42, 28, 0, -152, -204, 0, -222, 554, 0, -10, -212, 0, -72, -346, 0, 428, 310, 0, -2, -254, 0, -67, -334, 0, -68, 86, 0, 136, -370, 0, 244, 686, 0, 202, -142, 0, -96, 478, 0, -38, 116, 0, 144, -2, 0, 214, 210, 0, -44, 228, 0, -284, 274, 0, 74, 174, 0, -104, 266, 0, -188, 44, 0, -602, -354, 0, -60, 36, 0, 24, 74, 0, -332, -485, 0, -162, 408, 0, 198, -256, 0, 264, 120, 0, -340, 784, 0, 502, 26, 0, 116, -744, 0, 4, -366, 0, -252, -208, 0, 50, -66, 0, 96, 6, 0, 22, 396, 0, 40, -154, 0, 378, -146, 0, -88, -314, 0, -496, 48, 0, 184, 172, 0, -162, 204, 0, -36, -88, 0, -630, 130, 0, 108, -652, 0, 18, -78, 0, -112, -270, 0, -320, 230, 0, -4, -678, 0, 184, 330, 0, -64, 186, 0, -144, 426, 0, -104, -140, 0, -321, -58, 0, -196, -80, 0, 14, 148, 0, -142, 202, 0, 180, -230, 0, -44, 816, 0, 326, -276, 0, 172, -150, 0, -786, -44, 0, -124, 52, 0, -20, -64, 0, -54, -14, 0, 146, 382, 0, -110, -758, 0, 98, -90, 0, -369, -99, 0, 64, 194, 0, -270, -316, 0, -290, -492, 0, -376, -93, 0, -286, -360, 0, -260, 538, 0, -242, 206, 0, 104, 134, 0, 49, 230, 0, 150, -550, 0, -104, -108, 0, 610, -664, 0, -1012, 260, 0, 300, 632, 0, 114, 64, 0, 180, 100, 0, -52, 310, 0, 146, -752, 0, 364, 64, 0, 88, -136, 0, 624, -88, 0, 72, 78, 0, -638, -120, 0, 70, -142, 0, -10, 52, 0, 212, -314, 0, 26, -244, 0, -342, 114, 0, 264, -88, 0, -250, 50, 0, -136, -138, 0, 244, -142, 0, 136, 58, 0, -188, 438, 0, -264, -358, 0, 166, -200, 0, -274, -448, 0, -126, 118, 0, -448, 6, 0, 374, -276, 0, 338, 2, 0, 250, 286, 0, -154, 254, 0, -116, 138, 0, 488, 70, 0, 112, -142, 0, 174, 154, 0, -12, -1030, 0, 276, -332, 0, -118, 110, 0, -98, -166, 0, 12, -180, 0, -594, -146, 0, 56, -264, 0, -110, 50, 0, 33, 560, 0, -286, -124, 0, -180, 129, 0, 19, -24, 0, 468, 828, 0, 632, -386, 0, -480, 518, 0, -684, -20, 0, -54, 118, 0, -162, -200, 0, 56, 8, 0, 34, 204, 0, 222, 614, 0, -266, 12, 0, -368, 80, 0, 144, -44, 0, 146, -90, 0, -324, -156, 0, -64, 398, 0, -84, 346, 0, -98, -386, 0, -226, 74, 0, 156, 410, 0, 216, 132, 0, 478, 2, 0, 54, 156, 0, 112, 802, 0, 752, -510, 0, -342, -157, 0, 315, 112, 0, 256, 928, 0, -30, -140, 0, 672, -536, 0, 616, -446, 0, -72, 574, 0, 598, 262, 0, 4, -204, 0, 312, 40, 0, -392, 382, 0, -186, 170, 0, -88, 514, 0, -192, -92, 0, -372, 180, 0, -286, -180, 0, 28, -398, 0, 172, 274, 0, 274, -460, 0, -26, -48, 0, 512, 860, 0, 362, 22, 0, -52, -508, 0, 300, 208, 0, 378, -520, 0, 236, 404, 0, 162, -16, 0, -232, 724, 0, -4, -36, 0, 90, 66, 0, -6, 302, 0, -200, 20, 0, -72, 550, 0, 452, 504, 0, -332, 419, 0, -182, -198, 0, 126, -218, 0, -56, -254, 0, -116, 377, 0, 354, -300, 0, -240, 608, 0, -46, 144, 0, -456, 466, 0, 240, 438, 0, 524, 363, 0, 272, -304, 0, -146, -1004, 0, -62, 24, 0, 18, -734, 0, 214, -188, 0, -160, 676, 0, 258, -72, 0, 232, 250, 0, 62, -234, 0, -126, 224, 0, 699, 558, 0, -60, 553, 0, 344, 250, 0, -90, 162, 0, 738, -504, 0, 558, -4, 0, 1024, -100, 0, 64, 48, 0, -330, -338, 0, -30, 74, 0, -146, 82, 0, -294, 510, 0, 120, -374, 0, 296, 70, 0, -64, -6, 0, -160, 248, 0, 494, 254, 0, -186, -308, 0, -154, 488, 0, 144, -287, 0, 568, 204, 0, -252, -126, 0, 114, 36, 0, 164, 608, 0, -240, -28, 0, 68, 348, 0, -294, -326, 0, 6, -224, 0, 79, 164, 0, -348, 518, 0, 792, -42, 0, -34, -922, 0, 248, -304, 0, 98, -770, 0, -64, 338, 0, -122, 641, 0, -454, -34, 0, 531, 356, 0, 84, -270, 0, -358, -314, 0, -358, -434, 0, 18, -132, 0, -374, 348, 0, -226, -103, 0, -672, 100, 0, 300, 109, 0, 210, -324, 0, -108, 326, 0, -582, -192, 0, 78, -218, 0, 584, 348, 0, -160, -612, 0, -24, -812, 0, 292, -46, 0, 722, -392, 0, -168, -692, 0, -246, -36, 0, -512, -294, 0, -54, -222, 0, -32, -426, 0, 458, -204, 0, 20, 136, 0, 612, 42, 0, -140, -342, 0, 916, 234, 0, -288, -286, 0, -138, 152, 0, -312, 122, 0, -614, 346, 0, -24, 494, 0, 286, 248, 0, 188, 606, 0, 148, -16, 0, 330, 125, 0, -1072, -168, 0, 278, 648, 0, -122, -668, 0, 340, -786, 0, -50, -216, 0, -92, -134, 0, 12, -330, 0, 140, -318, 0, 1358, 94, 0, -142, -200, 0, 488, 248, 0, 202, 156, 0, -317, 302, 0, 666, 36, 0, 90, 340, 0, 684, -330, 0, -2, 408, 0, -332, -314, 0, -338, 356, 0, 192, 202, 0, 250, 226, 0, 112, 472, 0, 374, 744, 0, 68, -600, 0, -480, 294, 0, 356, -126, 0, 74, -92, 0, -75, -38, 0, 660, -14, 0, 538, 590, 0, 104, 154, 0, 228, -34, 0, -456, 156, 0, 16, -208, 0, -186, 8, 0, 60, 133, 0, 806, 598, 0, 224, -824, 0, 78, -476, 0, -32, 72, 0, 484, 136, 0, 188, -560, 0, -237, -106, 0, -334, -941, 0, -430, -12, 0, 130, 192, 0, 812, -310, 0, 2, -184, 0, 174, 750, 0, 552, 362, 0, 184, -40, 0, 318, 342, 0, -244, -256, 0, -356, -94, 0, 204, 52, 0, 28, 626, 0, -124, -370, 0, -266, -389, 0, 556, 478, 0, 292, -662, 0, 374, -184, 0, 212, 384, 0, -232, -756, 0, -198, 706, 0, 26, -242, 0, 236, 980, 0, -256, 244, 0, 4, 288, 0, -320, 310, 0, 34, -8, 0, -1032, 52, 0, 210, 220, 0, -310, 436, 0, 162, 170, 0, 156, -224, 0, 622, 178, 0, -482, 364, 0, -450, -585, 0, -508, 430, 0, -78, -432, 0, -206, 468, 0, 528, 1152, 0, -394, -110, 0, -138, -868, 0, -246, -336, 0, -6, -48, 0, 72, -558, 0, -312, -152, 0, -550, 470, 0, -18, -344, 0, -498, -178, 0, 258, -468, 0, -604, 166, 0, 230, 782, 0, 590, 16, 0, -440, -318, 0, -626, 498, 0, 442, -822, 0, 566, 18, 0, 70, -634, 0, -498, -82, 0, -440, -1016, 0, -196, 394, 0, 84, -30, 0, -759, 582, 0, -164, -314, 0, -840, -342, 0, 440, 136, 0, 612, 414, 0, -352, 818, 0, 704, -198, 0, -408, 796, 0, 290, -130, 0, -96, 202, 0, -436, -272, 0, 530, -58, 0, 304, 350, 0, -22, -44, 0, 94, 744, 0, -214, -602, 0, -80, 48, 0, -384, -191, 0, -34, 332, 0, -208, -564, 0, 282, -712, 0, 330, -567, 0, -732, -132, 0, -362, 302, 0, -658, 648, 0, 306, 120, 0, -548, 42, 0, -38, -432, 0, 94, -228, 0, 232, -868, 0, -430, 174, 0, 342, 542, 0, -907, 24, 0, -690, 72, 0, -64, 474, 0, 664, -1024, 0, 1324, 230, 0, 186, -472, 0, -294, -148, 0, -326, 120, 0, -134, -54, 0, 274, -580, 0, -226, -104, 0, 184, -504, 0, -72, -670, 0, 260, 44, 0, -558, -188, 0, -8, 330, 0, -110, -312, 0, 228, -522, 0, 8, 294, 0, -80, 626, 0, 44, -240, 0, 314, -6, 0, -164, -598, 0, 88, -115, 0, -804, -132, 0, 652, 266, 0, 268, 106, 0, -269, 430, 0, -128, 314, 0, -488, -20, 0, -368, -162, 0, -470, 86, 0, 616, 544, 0, 186, -1252, 0, -460, -546, 0, 176, 16, 0, -614, -222, 0, 26, -146, 0, -414, -438, 0, -432, -428, 0, 308, 4, 0, 172, 714, 0, -266, -454, 0, 524, -19, 0, 316, 34, 0, 178, 738, 0, -8, -248, 0, -4, 770, 0, -398, -54, 0, 142, 60, 0, -354, 156, 0, 292, -130, 0, 104, 210, 0, -108, 1180, 0, 194, -342, 0, 72, 202, 0, -464, 382, 0, -282, -204, 0, -752, -86, 0, 602, 364, 0, -336, 94, 0, 282, -98, 0, 152, 204, 0, -262, 580, 0, 630, -106, 0, 272, -84, 0, -447, 228, 0, -26, 820, 0, 96, -682, 0, 630, -641, 0, -504, -88, 0, -296, 1030, 0, -18, -558, 0, 508, -832, 0, -730, -630, 0, -72, 552, 0, 28, -66, 0, -530, -542, 0, 254, 126, 0, -356, 306, 0, -530, 238, 0, -188, 180, 0, -524, 208, 0, -76, -18, 0, 264, -380, 0, -332, -906, 0, -138, 286, 0, 62, -892, 0, -624, 30, 0, 256, 1200, 0, 432, -228, 0]