# Trace form for 1575.2.a, downloaded from the LMFDB on 24 April 2024.
[0, 47, -1, 0, 51, 0, 0, 1, -9, 0, 0, 8, 0, 2, 3, 0, 67, -10, 0, 20, 0, 0, 12, 8, 0, 0, 18, 0, 3, 18, 0, 12, -9, 0, 34, 0, 0, -2, 28, 0, 0, 10, 0, 24, 50, 0, 2, 20, 0, 47, 0, 0, 34, 10, 0, 0, 21, 0, -6, -24, 0, 22, 24, 0, 133, 0, 0, 24, -18, 0, 0, -16, 0, -6, 60, 0, -8, -4, 0, -4, 0, 0, -34, -12, 0, 0, -66, 0, 8, -62, 0, -14, 40, 0, -92, 0, 0, -2, -1, 0, 0, 30, 0, -4, 34, 0, -106, -8, 0, 66, 0, 0, 23, -38, 0, 0, 84, 0, 4, 10, 0, 75, -54, 0, 0, 0, 0, -52, 23, 0, 0, 12, 0, 8, -22, 0, 34, -38, 0, 16, 0, 0, 76, 28, 0, 0, -54, 0, -14, 94, 0, -20, 100, 0, 30, 0, 0, 14, -20, 0, 0, 8, 0, 12, -18, 0, -120, -4, 0, 109, 0, 0, 60, -14, 0, 0, 66, 0, -98, 36, 0, 102, -34, 0, -96, 0, 0, -52, -40, 0, 0, 52, 0, -22, -122, 0, 51, 74, 0, -68, 0, 0, -102, -2, 0, 0, -44, 0, 34, -136, 0, 104, -110, 0, -80, 0, 0, -4, 14, 0, 0, 24, 0, 28, 75, 0, -48, 0, 0, 66, 0, 0, -66, 10, 0, 0, -116, 0, -38, 4, 0, 126, -81, 0, -182, 0, 0, 36, 8, 0, 0, -68, 0, 56, -26, 0, -41, 82, 0, -10, 0, 0, 44, 36, 0, 0, -24, 0, -124, 142, 0, 76, 38, 0, -166, 0, 0, -2, -44, 0, 0, -42, 0, 72, -58, 0, -300, -26, 0, 137, 0, 0, -98, 42, 0, 0, 70, 0, -18, -84, 0, 20, 52, 0, -200, 0, 0, 80, 28, 0, 0, -112, 0, 70, -74, 0, -190, -62, 0, -108, 0, 0, 28, -44, 0, 0, -124, 0, 30, -20, 0, -76, -36, 0, -180, 0, 0, 10, 77, 0, 0, 52, 0, 1, -200, 0, -214, -76, 0, -70, 0, 0, 32, 14, 0, 0, -54, 0, 16, 0, 0, 11, 146, 0, -74, 0, 0, -28, 8, 0, 0, 34, 0, 38, -24, 0, -360, 8, 0, -124, 0, 0, 0, -40, 0, 0, -60, 0, -18, 122, 0, -184, -9, 0, -108, 0, 0, -134, -112, 0, 0, 190, 0, 4, -22, 0, 36, -48, 0, 118, 0, 0, -104, 0, 0, 0, 14, 0, 88, -152, 0, -46, -56, 0, -254, 0, 0, 46, 28, 0, 0, -100, 0, -86, 52, 0, -12, -88, 0, -92, 0, 0, -88, -16, 0, 0, -280, 0, 11, 62, 0, 76, -98, 0, 72, 0, 0, 54, -46, 0, 0, 54, 0, -40, -16, 0, 84, 128, 0, 28, 0, 0, -76, 116, 0, 0, -54, 0, -16, 44, 0, 184, 62, 0, 21, 0, 0, 120, -78, 0, 0, 0, 0, -112, 184, 0, 132, -8, 0, 104, 0, 0, -148, 156, 0, 0, 146, 0, -136, 30, 0, -38, 39, 0, 238, 0, 0, -108, 50, 0, 0, 150, 0, 60, -52, 0, 134, -28, 0, -45, 0, 0, -12, -40, 0, 0, 192, 0, 138, 8, 0, -6, -8, 0, 82, 0, 0, -28, 6, 0, 0, 136, 0, -56, -198, 0, 40, -10, 0, -180, 0, 0, 46, -20, 0, 0, 376, 0, 4, 226, 0, 140, 160, 0, -134, 0, 0, 142, 17, 0, 0, 48, 0, 4, 62, 0, -102, -28, 0, -64, 0, 0, 74, -114, 0, 0, -136, 0, 368, 12, 0, 94, -52, 0, 350, 0, 0, -100, -76, 0, 0, -108, 0, -62, -324, 0, 156, 138, 0, 224, 0, 0, 152, -14, 0, 0, 78, 0, -94, 220, 0, 36, -80, 0, 148, 0, 0, 2, 52, 0, 0, -6, 0, -192, 62, 0, 112, 32, 0, 364, 0, 0, 172, -102, 0, 0, 2, 0, 20, 64, 0, -14, -60, 0, -160, 0, 0, -64, -64, 0, 0, -172, 0, 90, 118, 0, 405, 114, 0, -2, 0, 0, 128, 44, 0, 0, 3, 0, 84, 244, 0, 112, 34, 0, 106, 0, 0, 112, 34, 0, 0, 198, 0, -80, 40, 0, 14, -30, 0, 214, 0, 0, -114, 104, 0, 0, -340, 0, 124, -252, 0, -116, 19, 0, 314, 0, 0, 24, 18, 0, 0, 48, 0, 58, -40, 0, -150, -20, 0, -136, 0, 0, 94, -44, 0, 0, 24, 0, 72, 60, 0, -92, -64, 0, 32, 0, 0, -170, 132, 0, 0, 30, 0, 70, -48, 0, 76, -148, 0, 242, 0, 0, 182, 42, 0, 0, -338, 0, -310, -152, 0, -252, 56, 0, 67, 0, 0, -112, 82, 0, 0, -62, 0, 68, 210, 0, -140, 34, 0, -284, 0, 0, 78, -72, 0, 0, -88, 0, -318, -170, 0, 76, -46, 0, -110, 0, 0, 176, -138, 0, 0, 214, 0, -164, -136, 0, -16, 52, 0, 146, 0, 0, -22, -10, 0, 0, 68, 0, -20, 132, 0, 233, -42, 0, 140, 0, 0, -19, -6, 0, 0, -352, 0, -2, -186, 0, 232, -54, 0, -172, 0, 0, -192, -60, 0, 0, -174, 0, -128, -224, 0, -164, -78, 0, 332, 0, 0, 162, 24, 0, 0, -214, 0, 148, 284, 0, 248, 0, 0, 48, 0, 0, 40, -44, 0, 0, 55, 0, -210, -324, 0, -52, 40, 0, 6, 0, 0, -108, 36, 0, 0, -128, 0, 256, 380, 0, 106, 28, 0, -236, 0, 0, 90, 72, 0, 0, -200, 0, 126, 34, 0, 20, 22, 0, 328, 0, 0, 110, 44, 0, 0, -2, 0, -80, -32, 0, 54, 72, 0, 316, 0, 0, 6, -74, 0, 0, 408, 0, 64, 62, 0, 287, 20, 0, 462, 0, 0, 132, 35, 0, 0, -12, 0, 36, 138, 0, -234, 86, 0, -204, 0, 0, -180, 36, 0, 0, 588, 0, 304, 44, 0, -216, -40, 0, -38, 0, 0, 242, -16, 0, 0, 40, 0, 124, 84, 0, 164, -64, 0, 150, 0, 0, 24, -66, 0, 0, -100, 0, -118, 4, 0, 114, -26, 0, -345, 0, 0, -124, -58, 0, 0, 108, 0, 90, 556, 0, -48, 76, 0, -260, 0, 0, -210, -18, 0, 0, 380, 0, 36, -242, 0, -464, -16, 0, 392, 0, 0, 32, 103, 0, 0, 30, 0, -104, -28, 0, 332, 84, 0, -26, 0, 0, -84, -4, 0, 0, 558, 0, 12, 0, 0, 344, 166, 0, 424, 0, 0, -168, -26, 0, 0, 60, 0, -174, 186, 0, -362, -94, 0, -90, 0, 0, -224, -64, 0, 0, 122, 0, -54, -158, 0, -188, 92, 0, -164, 0, 0, 98, 32, 0, 0, 144, 0, -248, -176, 0, 384, 8, 0, 102, 0, 0, -36, 12, 0, 0, -138, 0, -94, -120, 0, -20, -124, 0, -548, 0, 0, -72, -2, 0, 0, -204, 0, 194, 446, 0, 417, 36, 0, 64, 0, 0, -60, -32, 0, 0, 188, 0, 198, 8, 0, -296, 90, 0, -436, 0, 0, 44, 128, 0, 0, -326, 0, -49, 472, 0, 442, -44, 0, -40, 0, 0, 62, 150, 0, 0, -88, 0, 56, 4, 0, 150, -74, 0, 158, 0, 0, -32, -8, 0, 0, -18, 0, -110, -84, 0, -228, -10, 0, 104, 0, 0, -52, 68, 0, 0, 236, 0, 484, -126, 0, -264, 12, 0, -172, 0, 0, -26, -188, 0, 0, -268, 0, -64, -480, 0, 78, -76, 0, -22, 0, 0, 190, -44, 0, 0, -158, 0, -84, -96, 0, -184, -36, 0, -190, 0, 0, -86, 42, 0, 0, 328, 0, -40, 18, 0, -186, -222, 0, -416, 0, 0, 234, -148, 0, 0, 60, 0, 60, -166, 0, -400, 16, 0, 588, 0, 0, -26, 0, 0, 0, -478, 0, 60, -692, 0, 510, 8, 0, -132, 0, 0, 118, 56, 0, 0, -140, 0, 116, -28, 0, 294, 114, 0, 342, 0, 0, -56, 92, 0, 0, 156, 0, -200, -258, 0, -76, 72, 0, -284, 0, 0, 96, 124, 0, 0, 158, 0, 326, 144, 0, 2, -31, 0, -214, 0, 0, -56, 18, 0, 0, -50, 0, 212, 456, 0, 74, 84, 0, -219, 0, 0, 3, -114, 0, 0, -618, 0, 164, -82, 0, -378, -44, 0, -154, 0, 0, -144, 68, 0, 0, -16, 0, 108, -244, 0, 82, 20, 0, -248, 0, 0, 74, 16, 0, 0, 76, 0, -392, 102, 0, -344, -98, 0, 118, 0, 0, -120, -290, 0, 0, 18, 0, -44, -90, 0, 44, -176, 0, 138, 0, 0, -136, 70, 0, 0, -346, 0, -392, 108, 0, -216, 28, 0, -273, 0, 0, 132, 26, 0, 0, 148, 0, -186, 32, 0, -406, -36, 0, -456, 0, 0, -112, -68, 0, 0, -322, 0, -200, -40, 0, -360, -24, 0, 106, 0, 0, -44, -16, 0, 0, -210, 0, -72, 58, 0, -212, 44, 0, 194, 0, 0, -38, -2, 0, 0, -488, 0, -152, 16, 0, 48, 108, 0, -756, 0, 0, -184, -44, 0, 0, 176, 0, 220, -508, 0, -154, 4, 0, 12, 0, 0, 70, 172, 0, 0, -16, 0, -228, 68, 0, -640, -16, 0, -416, 0, 0, -240, 238, 0, 0, -212, 0, 332, 202, 0, -110, 12, 0, -226, 0, 0, 110, 70, 0, 0, 308, 0, 24, 416, 0, 80, -96, 0, -968, 0, 0, 56, -9, 0, 0, -108, 0, -306, -484, 0, -550, 32, 0, -216, 0, 0, 10, -4, 0, 0, 76, 0, -214, -72, 0, 216, 80, 0, -178, 0, 0, 26, 60, 0, 0, 514, 0, 10, 8, 0, -504, -20, 0, 102, 0, 0, -216, 110, 0, 0, 790, 0, 286, -56, 0, -338, -188, 0, 18, 0, 0, -76, -264, 0, 0, 130, 0, 136, -324, 0, 414, -86, 0, 32, 0, 0, -78, -144, 0, 0, -82, 0, -32, 80, 0, 20, 28, 0, -166, 0, 0, -66, -118, 0, 0, -128, 0, 140, -70, 0, 34, 4, 0, -266, 0, 0, 48, -80, 0, 0, -564, 0, -56, 436, 0, 37, -35, 0, 280, 0, 0, 58, 76, 0, 0, -80, 0, -246, 97, 0, -794, -6, 0, -260, 0, 0, 216, -200, 0, 0, -194, 0, 138, 114, 0, -68, 196, 0, 738, 0, 0, 48, -36, 0, 0, -190, 0, -224, -48, 0, -122, -96, 0, 96, 0, 0, -418, 66, 0, 0, -188, 0, 36, 40, 0, -46, 8, 0, 136, 0, 0, 232, 32, 0, 0, 372, 0, -402, 90, 0, 456, 68, 0, -472, 0, 0, 46, 64, 0, 0, -566, 0, -316, 184, 0, -52, -84, 0, 96, 0, 0, 178, 16, 0, 0, 28, 0, -132, -716, 0, 448, 124, 0, -94, 0, 0, -105, -88, 0, 0, 260, 0, 432, 66, 0, 326, 68, 0, -60, 0, 0, 0, -2, 0, 0, -292, 0, -2, -60, 0, 748, 128, 0, -200, 0, 0, -60, -148, 0, 0, -164, 0, 70, -464, 0, 52, -294, 0, -12, 0, 0, 100, -172, 0, 0, -184, 0, 12, 30, 0, 812, -72, 0, 311, 0, 0, -128, -24, 0, 0, 30, 0, 678, -404, 0, -470, 28, 0, 654, 0, 0, 16, 20, 0, 0, 188, 0, 78, 218, 0, 266, -6, 0, 320, 0, 0, 194, -18, 0, 0, 272, 0, 4, 142, 0, -256, 200, 0, 128, 0, 0, -104, 204, 0, 0, -350, 0, -180, -358, 0, -304, 160, 0, -204, 0, 0, 100, 38, 0, 0, 168, 0, 2, -280, 0, 84, 287, 0, 364, 0, 0, 52, 62, 0, 0, -376, 0, 186, 272, 0, -295, -220, 0, 26, 0, 0, 236, 92, 0, 0, 20, 0, 312, -70, 0, -252, -78, 0, -124, 0, 0, -100, 120, 0, 0, 44, 0, 4, 130, 0, -468, 10, 0, 536, 0, 0, 452, 242, 0, 0, 304, 0, 512, 232, 0, 48, -112, 0, 228, 0, 0, 72, 32, 0, 0, 444, 0, 70, 242, 0, 708, -58, 0, -324, 0, 0, 60, -52, 0, 0, 160, 0, -44, 10, 0, 168, 304, 0, 112, 0, 0, -190, -22, 0, 0, -224, 0, 139, 648, 0, 182, 48, 0, -122, 0, 0, 160, 80, 0, 0, 750, 0, -560, 0, 0, 628, -334, 0, -186, 0, 0, -296, 55, 0, 0, 26, 0, 26, 324, 0, 614, -86, 0, -272, 0, 0, -360, 56, 0, 0, 22, 0, -552, -26, 0, -80, 82, 0, 284, 0, 0, 368, -224, 0, 0, 482, 0, -304, 1054, 0, 72, -124, 0, 406, 0, 0, -84, -56, 0, 0, 164, 0, -42, -356, 0, -12, 216, 0, 144, 0, 0, 24, -56, 0, 0, 124, 0, 118, -90, 0, -191, -52, 0, 288, 0, 0, 10, -80, 0, 0, 620, 0, -116, 222, 0, 236, 92, 0, 300, 0, 0, -154, -150, 0, 0, 162, 0, -164, 138, 0, 298, -64, 0, -152, 0, 0, 98, 22, 0, 0, 50, 0, -376, -528, 0, 330, -56, 0, 0, 0, 0, -284, 136, 0, 0, 220, 0, 340, -494, 0, 354, 60, 0, 416, 0, 0, 180, 176, 0, 0, -412, 0, 172, -100, 0, 90, -138, 0, 582, 0, 0, 160, 50, 0, 0, -124, 0, -116, 1020, 0, 226, 196, 0, 459, 0, 0, -96, -78, 0, 0, 278, 0, -262, 110, 0, 170, 160, 0, 532, 0, 0, 264, 82, 0, 0, 196, 0, 48, 264, 0, -1112, 10, 0, -496, 0, 0, 48, -112, 0, 0, -536, 0, 338, 288, 0, 156, -244, 0, 2, 0, 0, 148, -94, 0, 0, -40, 0, 664, 244, 0, 220, -112, 0, 114, 0, 0, 156, -38, 0, 0, 744, 0, -8, 200, 0, 578, 36, 0, 774, 0, 0, -140, -152, 0, 0, -260, 0, 126, -492, 0, -298, 54, 0, 252, 0, 0, -320, 20, 0, 0, 14, 0, 230, -538, 0, 20, 197, 0, -100, 0, 0, -12, 248, 0, 0, 28, 0, 96, 124, 0, 286, 352, 0, 84, 0, 0, 96, -218, 0, 0, 142, 0, 12, -92, 0, -250, 72, 0, -926, 0, 0, -236, -140, 0, 0, -808, 0, -176, -760, 0, -1104, -94, 0, 14, 0, 0, -438, 32, 0, 0, -187, 0, -174, 328, 0, -96, 14, 0, -182, 0, 0, -54, -44, 0, 0, -122, 0, -116, -1108, 0, -150, -4, 0, -238, 0, 0, 200, 146, 0, 0, 90, 0, -148, 260, 0, 47, -14, 0, 738, 0, 0, 152, -12, 0, 0, -328, 0, -56, 496, 0, 806, 62, 0, -288, 0, 0, -90, 192, 0, 0, -540, 0, 136, -244, 0, -236, -156, 0, -458, 0, 0, 174, 16, 0, 0, 194, 0, -166, 64, 0, 84, 76, 0, 84, 0, 0, -494, 12, 0, 0, -492, 0, -154, 384, 0, -344, -176, 0, 150, 0, 0, -52, 118, 0, 0, 206, 0, -90, 162, 0, -116, 34, 0, 432, 0, 0, 164, -132, 0, 0, -970, 0, 896, -112, 0, 208, 6, 0, -310, 0, 0, 156, -114, 0, 0, 204, 0, -172, 586, 0, -208, -192, 0, 544, 0, 0, -230, -32, 0, 0, 204, 0, -380, -48, 0, -162, -48, 0, -6, 0, 0, -67, 272, 0, 0, -72, 0, -220, 30, 0, 882, -232, 0, 720, 0, 0, 304, -140, 0, 0, -348, 0, 34, 198, 0, -116, 120, 0, 86, 0, 0, -38, -224, 0, 0, 536, 0, 392, -232, 0, -504, -68, 0, 136, 0, 0, 180, -80, 0, 0, 182, 0, 202, -436, 0, 120, -36, 0, -456, 0, 0, 324, 328, 0, 0, -324, 0, -58, 648, 0, 1008, 10, 0, 40, 0, 0, 450, 216, 0, 0, 26, 0, 396, 478, 0, 158, -294, 0, 820, 0, 0, 198, 36, 0, 0, -74, 0, 168, -466, 0, -876, 240, 0, -524, 0, 0, 88, -22, 0, 0, 12, 0, 88, -124, 0, 360, 46, 0, 1090, 0, 0, 148, -124, 0, 0, 896, 0, 140, -230, 0, 188, 146, 0, 336, 0, 0, 356, -68, 0, 0, 1220, 0, -688, 316, 0, 476, -152, 0, -84, 0, 0, 2, -28, 0, 0, 68, 0, 76, -740, 0, -744, -84, 0, 182, 0, 0, -186, 154, 0, 0, -102, 0, -576, -184, 0, 320, 78, 0, 461, 0, 0, 236, 74, 0, 0, -252, 0, -310, -508, 0, 98, -44, 0, -352, 0, 0, 430, 46, 0, 0, -204, 0, -160, 674, 0, 888, 132, 0, 10, 0, 0, -48, 129, 0, 0, 54, 0, -44, 21, 0, 32, 120, 0, -242, 0, 0, -300, -146, 0, 0, -28, 0, -162, 744, 0, 816, 106, 0, -272, 0, 0, 8, -38, 0, 0, -96, 0, 140, 776, 0, 748, -114, 0, 142, 0, 0, -232, 24, 0, 0, -320, 0, -300, 634, 0, -124, 18, 0, -118, 0, 0, -234, 216, 0, 0, 754, 0, 524, 42, 0, -408, -6, 0, 145, 0, 0, 184, 104, 0, 0, -734, 0, 262, -176, 0, 32, -184, 0, -250, 0, 0, -104, 2, 0, 0, 208, 0, -42, -816, 0, 1090, 74, 0, 108, 0, 0, -6, -132, 0, 0, 22, 0, -58, 56, 0, -108, 64, 0, -384, 0, 0, -6, 138, 0, 0, 106, 0, 6, -476, 0, -1046, -128, 0, -64, 0, 0, -268, 78, 0, 0, -1012, 0, 296, -748, 0, 668, -136, 0, -204, 0, 0, -40, -229, 0, 0, -24, 0, 108, -480, 0, 742, 162, 0, -20, 0, 0, -72, 188, 0, 0, -36, 0, -192, -778, 0, 132, 34, 0, -368, 0, 0, -178, -244, 0, 0, 252, 0, 280, 632, 0, -460, -132, 0, -120, 0, 0, -238, -72, 0, 0, 548, 0, -28, 92, 0, -408, 32, 0, -574, 0, 0, 86, -168, 0, 0, -364, 0, -162, -364, 0, -1142, -30, 0, 188, 0, 0, 126, 56, 0, 0, -152, 0, 182, -82, 0, 36, -16, 0, -572, 0, 0, 48, -154, 0, 0, -580, 0, -160, 246, 0, -188, 12, 0, 22, 0, 0, -176, -68, 0, 0, 84, 0, -4, 16, 0]