# Trace form for 1089.2.a, downloaded from the LMFDB on 24 April 2024.
[0, 41, -1, 0, 41, -2, 0, 2, -3, 0, -4, 0, 0, 2, 12, 0, 41, -4, 0, 12, 4, 0, 0, 18, 0, 11, 16, 0, 4, -6, 0, -2, 13, 0, -8, -10, 0, 2, -8, 0, 18, -10, 0, -6, 0, 0, -2, 16, 0, 13, 7, 0, -14, -8, 0, 0, 0, 0, -20, 10, 0, -6, -22, 0, -7, 8, 0, -18, -2, 0, -16, 2, 0, 14, 0, 0, -12, 0, 0, 34, 56, 0, -36, 6, 0, 14, 20, 0, 0, 22, 0, 44, 12, 0, -8, 0, 0, 42, 15, 0, 29, 4, 0, 44, 48, 0, -18, 6, 0, -4, 0, 0, -8, 6, 0, 62, 6, 0, 22, 0, 0, 0, -66, 0, 12, -60, 0, 16, -3, 0, -50, -30, 0, -8, 10, 0, -28, -60, 0, -22, 4, 0, -6, 0, 0, -60, -86, 0, -56, -32, 0, -50, 84, 0, 0, 42, 0, -52, 28, 0, -38, 34, 0, 84, -14, 0, -12, -12, 0, 9, -54, 0, 24, -12, 0, 40, 0, 0, 36, -14, 0, -26, 8, 0, 0, -76, 0, 0, 0, 0, -28, 18, 0, 38, 16, 0, -31, -16, 0, -12, 3, 0, -118, 60, 0, -76, 40, 0, 10, 0, 0, 0, -148, 0, -52, -6, 0, 62, -144, 0, 0, -46, 0, 42, -108, 0, 48, 30, 0, -22, -14, 0, -156, 54, 0, -64, 64, 0, 8, -6, 0, 50, 0, 0, -30, 30, 0, -4, 24, 0, -78, 114, 0, 0, -144, 0, -7, -28, 0, -42, 4, 0, -80, -2, 0, -58, 0, 0, -136, 16, 0, 4, 10, 0, -8, 0, 0, 32, 88, 0, -220, -36, 0, -16, -108, 0, 0, 16, 0, -15, -26, 0, -26, 18, 0, 26, -18, 0, 0, -20, 0, 60, -116, 0, -12, 0, 0, 4, 0, 0, -34, -12, 0, 90, 28, 0, -4, -36, 0, 0, 100, 0, -140, 136, 0, 58, -4, 0, -20, 16, 0, 6, -24, 0, 0, 138, 0, 16, -15, 0, -8, 0, 0, -68, -104, 0, -86, 32, 0, -72, 128, 0, 0, 126, 0, -26, 56, 0, -90, -28, 0, -43, 8, 0, 188, 32, 0, 166, -80, 0, 66, 36, 0, -40, 0, 0, 72, -50, 0, 126, 0, 0, 58, -18, 0, 0, 128, 0, 152, 86, 0, -2, -27, 0, -96, -2, 0, 88, 0, 0, -83, 16, 0, -28, 2, 0, 48, 0, 0, 0, 10, 0, 240, -26, 0, 126, 116, 0, 0, 32, 0, -48, -128, 0, 18, 10, 0, 96, 48, 0, -212, -42, 0, 2, 64, 0, -26, 0, 0, -40, 0, 0, -28, 130, 0, -60, -22, 0, -16, 14, 0, 0, -72, 0, 256, 160, 0, 30, -24, 0, 212, -18, 0, 126, 6, 0, 236, 78, 0, 34, -32, 0, -36, 0, 0, 132, 216, 0, -88, 28, 0, -24, -30, 0, 0, -188, 0, -18, -150, 0, 36, -4, 0, -166, 0, 0, 276, 6, 0, 24, -170, 0, -34, -58, 0, -110, 0, 0, -40, -112, 0, 40, -43, 0, 26, 108, 0, 0, -92, 0, -282, -96, 0, -44, -24, 0, 240, 2, 0, -109, 0, 0, 184, -218, 0, 54, 12, 0, -10, 0, 0, -82, 80, 0, 228, 14, 0, -92, -214, 0, 0, 12, 0, -44, -108, 0, -8, -16, 0, 200, 16, 0, -34, -40, 0, -92, 132, 0, 0, -42, 0, 112, 0, 0, 80, -60, 0, -182, 13, 0, 60, -72, 0, 0, -118, 0, 236, -56, 0, 48, -2, 0, -176, 82, 0, -160, 2, 0, -204, 24, 0, 16, -24, 0, 44, 0, 0, 46, 156, 0, 336, 16, 0, 94, 244, 0, 0, -108, 0, 78, 268, 0, 72, -54, 0, -163, -20, 0, -194, -18, 0, -158, -88, 0, -4, 16, 0, 18, 0, 0, 18, 242, 0, 14, -28, 0, -24, -94, 0, 0, 86, 0, 136, -224, 0, -102, 34, 0, -168, 14, 0, 66, -34, 0, 176, -64, 0, 96, -24, 0, -86, 0, 0, -20, -96, 0, -147, -24, 0, -14, -130, 0, 0, 116, 0, -126, 228, 0, -12, -36, 0, 6, -6, 0, 316, 26, 0, -34, 340, 0, -64, 52, 0, -72, 0, 0, -12, -128, 0, -156, 6, 0, -18, 50, 0, 0, 356, 0, -124, 38, 0, -32, 19, 0, 176, 6, 0, 186, 24, 0, 240, -132, 0, -6, 2, 0, 8, 0, 0, 10, -106, 0, 172, 44, 0, -50, 14, 0, 0, 176, 0, 322, 336, 0, 12, -38, 0, -60, 38, 0, -28, 18, 0, 144, -32, 0, -26, 28, 0, -26, 0, 0, -50, -178, 0, 160, -6, 0, 60, 200, 0, 0, 260, 0, -287, -174, 0, -4, 10, 0, 280, -42, 0, -16, 2, 0, 248, -16, 0, 64, -37, 0, 34, 0, 0, -2, 336, 0, -186, 54, 0, 26, 60, 0, 0, -148, 0, -32, 240, 0, 100, 8, 0, -82, -24, 0, 180, -32, 0, -114, 256, 0, 74, -12, 0, 12, 0, 0, -20, 42, 0, -103, -70, 0, -36, -160, 0, 0, -228, 0, -238, -198, 0, -80, 72, 0, -488, -2, 0, -2, -12, 0, -76, -168, 0, -54, 56, 0, -20, 0, 0, 52, -228, 0, 184, 66, 0, -78, 256, 0, 0, -110, 0, -144, -70, 0, -58, -14, 0, -112, -18, 0, 96, 0, 0, 114, -120, 0, 4, 48, 0, 0, 0, 0, -90, -24, 0, -48, 24, 0, -64, -188, 0, 0, -72, 0, 288, -172, 0, 38, 48, 0, 372, -12, 0, -38, 38, 0, -316, 204, 0, -36, 18, 0, 30, 0, 0, -38, -420, 0, -404, -12, 0, 88, -260, 0, 0, -258, 0, -160, -344, 0, 0, 56, 0, 6, -84, 0, -368, 22, 0, -69, 186, 0, -26, 32, 0, 128, 0, 0, -26, 94, 0, -100, -62, 0, 42, 354, 0, 0, -232, 0, 168, 190, 0, -10, 12, 0, -20, 6, 0, -132, 16, 0, -372, -120, 0, -152, -44, 0, 180, 0, 0, -14, 284, 0, 152, 0, 0, 4, -412, 0, 0, -156, 0, 220, -264, 0, -48, -14, 0, -174, -40, 0, -375, 34, 0, -244, -268, 0, -80, -8, 0, -14, 0, 0, 60, 12, 0, 66, -20, 0, 0, -308, 0, 0, 304, 0, -380, 382, 0, 82, 44, 0, 200, 12, 0, -164, 85, 0, -454, 198, 0, 4, 0, 0, -28, 0, 0, -22, -360, 0, -296, -36, 0, -156, 368, 0, 0, 200, 0, -140, -90, 0, 80, 50, 0, 144, 2, 0, -206, -86, 0, 36, -368, 0, -18, 12, 0, -110, 0, 0, 72, -278, 0, -138, -56, 0, -26, -162, 0, 0, 384, 0, 26, 238, 0, -42, 48, 0, -460, 0, 0, -148, -18, 0, 280, 50, 0, 16, -6, 0, 4, 0, 0, -90, -56, 0, -54, 22, 0, -88, 32, 0, 0, 64, 0, 310, -300, 0, 104, -38, 0, 84, -96, 0, 97, 72, 0, -168, 126, 0, -72, -10, 0, 84, 0, 0, -2, 284, 0, -142, 54, 0, 20, 140, 0, 0, -348, 0, 400, 152, 0, 6, 54, 0, 492, -72, 0, -206, 8, 0, 404, 306, 0, 78, 8, 0, 32, 0, 0, 88, 404, 0, -128, -28, 0, -6, -232, 0, 0, -224, 0, -72, -180, 0, 84, -12, 0, -276, 36, 0, 644, 70, 0, -237, -196, 0, -28, 78, 0, 42, 0, 0, 42, -212, 0, -112, 94, 0, 144, 264, 0, 0, -288, 0, -256, -256, 0, -46, -41, 0, 376, 78, 0, 318, -42, 0, -138, -274, 0, 40, 2, 0, -64, 0, 0, -34, -298, 0, 608, -40, 0, 96, -84, 0, 0, -232, 0, -38, -60, 0, -132, 0, 0, -62, -38, 0, -392, 6, 0, -136, 420, 0, 34, -54, 0, -54, 0, 0, -10, -82, 0, -206, -12, 0, -112, -52, 0, 0, -72, 0, 252, 28, 0, -302, -64, 0, -268, -6, 0, -126, -100, 0, 356, -34, 0, -92, 12, 0, -96, 0, 0, -6, 84, 0, 496, -2, 0, 112, 488, 0, 0, -120, 0, -282, 218, 0, 50, 0, 0, 356, 27, 0, -384, -68, 0, -62, -288, 0, -20, 18, 0, -48, 0, 0, -116, 412, 0, -157, 10, 0, 8, -86, 0, 0, 76, 0, -34, -264, 0, 146, -62, 0, -58, 50, 0, 8, 52, 0, 336, -16, 0, 48, -28, 0, -18, 0, 0, -12, 20, 0, 64, 36, 0, 30, 4, 0, 0, 334, 0, -344, 472, 0, 40, -28, 0, -234, 88, 0, 472, -54, 0, -178, 588, 0, 82, 24, 0, 52, 0, 0, 180, -24, 0, -212, -32, 0, 54, 260, 0, 0, 616, 0, -507, -264, 0, 116, -66, 0, -514, 56, 0, 386, -6, 0, 244, -112, 0, -16, -20, 0, 48, 0, 0, -180, -140, 0, 372, 48, 0, -94, -224, 0, 0, 516, 0, 392, 560, 0, -180, -26, 0, -50, 0, 0, 308, 74, 0, 100, -382, 0, 118, -42, 0, -92, 0, 0, -72, -150, 0, 232, 38, 0, -184, 120, 0, 0, 162, 0, 324, -14, 0, 18, 34, 0, 532, -36, 0, 242, 0, 0, 604, -242, 0, 186, 32, 0, -72, 0, 0, 100, 632, 0, -488, -56, 0, 36, -308, 0, 0, 98, 0, 264, 324, 0, -66, 32, 0, 214, 64, 0, 384, -34, 0, 248, 468, 0, 120, -84, 0, -58, 0, 0, -4, 280, 0, 244, 21, 0, 94, -232, 0, 0, -188, 0, -36, -252, 0, 18, -28, 0, -360, 50, 0, 238, -108, 0, -312, -184, 0, 90, 0, 0, 172, 0, 0, 182, -52, 0, 109, -8, 0, 30, 564, 0, 0, -90, 0, -136, 108, 0, -56, 12, 0, -84, -10, 0, -286, 8, 0, 352, -252, 0, -144, -60, 0, -90, 0, 0, 176, -264, 0, 302, 0, 0, 90, -274, 0, 0, -450, 0, 490, 128, 0, 208, -54, 0, 328, 10, 0, -384, -4, 0, -352, 558, 0, -172, -52, 0, -108, 0, 0, -28, -304, 0, -408, -12, 0, -20, -476, 0, 0, -84, 0, -12, -388, 0, 86, -116, 0, -427, 65, 0, -552, 22, 0, 48, 140, 0, 60, 0, 0, -84, 0, 0, 18, 172, 0, 208, 14, 0, -102, 408, 0, 0, -524, 0, 104, -12, 0, 24, -60, 0, 194, 4, 0, -172, -6, 0, -560, -228, 0, -62, -12, 0, 72, 0, 0, 48, 608, 0, 624, 12, 0, 140, -152, 0, 0, -8, 0, 190, 36, 0, 34, 18, 0, -266, 0, 0, -88, 16, 0, 72, -440, 0, -80, 62, 0, 112, 0, 0, -152, 20, 0, 32, -28, 0, 36, -288, 0, 0, 300, 0, -488, 496, 0, -110, 16, 0, 342, -32, 0, 42, -48, 0, 40, 258, 0, 140, 6, 0, 32, 0, 0, 68, -432, 0, -652, -52, 0, -34, 554, 0, 0, 402, 0, -44, -588, 0, -22, 48, 0, 390, 36, 0, 692, -22, 0, 376, -120, 0, 96, -112, 0, 46, 0, 0, 6, -162, 0, 338, -18, 0, 168, -330, 0, 0, 424, 0, 260, 264, 0, 24, 54, 0, -576, -92, 0, 113, 18, 0, 424, -306, 0, 36, -42, 0, -78, 0, 0, -32, 224, 0, 492, -22, 0, -136, 4, 0, 0, 58, 0, -202, -512, 0, -76, 84, 0, 442, 48, 0, 792, -28, 0, 186, 80, 0, 20, 44, 0, 12, 0, 0, -162, 390, 0, -416, -4, 0, -132, 218, 0, 0, -96, 0, -112, 372, 0, -198, -50, 0, -204, -6, 0, 234, 32, 0, -156, 500, 0, -42, -3, 0, -12, 0, 0, -80, 378, 0, -294, 42, 0, 96, -332, 0, 0, -398, 0, -232, -246, 0, 154, 24, 0, -68, 8, 0, -236, -86, 0, 222, -246, 0, -120, 34, 0, 96, 0, 0, -126, -426, 0, 544, -20, 0, -18, 324, 0, 0, -402, 0, -562, 30, 0, 176, 0, 0, -172, 66, 0, 208, 56, 0, 204, -414, 0, -14, 12, 0, -96, 0, 0, 36, -680, 0, -332, -54, 0, 140, -30, 0, 0, -308, 0, 242, -320, 0, -36, 6, 0, 438, -20, 0, 12, -4, 0, -420, 332, 0, 104, -48, 0, -26, 0, 0, 168, -186, 0, 2, 48, 0, 8, 60, 0, 0, -382, 0, -180, -100, 0, 16, 2, 0, -560, -66, 0, -258, 45, 0, 242, 24, 0, -198, 88, 0, -90, 0, 0, 0, 168, 0, 52, -48, 0, -86, 564, 0, 0, -108, 0, 540, 328, 0, -60, 12, 0, 334, -26, 0, -962, 36, 0, -130, -606, 0, 136, 48, 0, -20, 0, 0, 92, 420, 0, 184, 84, 0, -248, -178, 0, 0, 104, 0, 524, -354, 0, 18, -44, 0, 320, -22, 0, -50, 88, 0, -255, 304, 0, -88, 36, 0, -80, 0, 0, 102, -312, 0, -40, -14, 0, 176, -42, 0, 0, 288, 0, -102, 508, 0, -108, -56, 0, 210, -76, 0, -58, 0, 0, -504, 828, 0, 90, -28, 0, 162, 0, 0, -72, 72, 0, -272, 80, 0, 106, 84, 0, 0, 788, 0, -300, -308, 0, -36, -8, 0, 588, -120, 0, -234, 16, 0, -596, 286, 0, -192, 108, 0, 68, 0, 0, -50, -306, 0, -600, 80, 0, -92, -420, 0, 0, 450, 0, -518, 860, 0, -78, 120, 0, -343, 8, 0, -40, -10, 0, 390, -532, 0, -162, 62, 0, 32, 0, 0, 52, -334, 0, -420, 10, 0, 134, 370, 0, 0, 212, 0, 968, -70, 0, 46, -40, 0, -608, -28, 0, -120, -60, 0, -374, 20, 0, -12, 52, 0, -90, 0, 0, -144, 688, 0, -274, 0, 0, -124, -52, 0, 0, 90, 0, 266, 76, 0, 24, -22, 0, -112, 42, 0, -808, 36, 0, 174, 468, 0, -28, -48, 0, 34, 0, 0, -6, 124, 0, 178, -90, 0, -144, -568, 0, 0, -108, 0, 256, -448, 0, -24, 16, 0, -632, 6, 0, 294, 39, 0, -598, -542, 0, 110, 0, 0, 60, 0, 0, 98, -240, 0, 100, -84, 0, -26, 742, 0, 0, -124, 0, -194, -70, 0, 48, 86, 0, 286, 18, 0, 220, 46, 0, -178, -448, 0, -232, -48, 0, 56, 0, 0, -48, -518, 0, 264, -24, 0, -66, -524, 0, 0, -764, 0, -496, 220, 0, 40, 50, 0, -432, 0, 0, -576, 12, 0, -1044, 372, 0, 300, 62, 0, 108, 0, 0, -16, -580, 0, -1004, 60, 0, -260, -516, 0, 0, -462, 0, 165, -616, 0, -22, 36, 0, 300, 0, 0, -440, -14, 0, 520, 384, 0, 56, -8, 0, 112, 0, 0, 72, 318, 0, 190, 80, 0, 20, 720, 0, 0, -248, 0, -320, 178, 0, 112, 36, 0, 736, 24, 0, -352, 80, 0, -588, -282, 0, 118, -33, 0, -46, 0, 0, -208, 600, 0, -266, 2, 0, 18, -492, 0, 0, -194, 0, -498, -528, 0, -96, 114, 0, 166, -78, 0, 56, -30, 0, 658, -168, 0, -52, 52, 0, -6, 0, 0, -144, 220, 0, 412, -36, 0, -72, -356, 0, 0, 8, 0, -935, 612, 0, -158, 66, 0, -420, -26, 0, 2, 38, 0, -42, 456, 0, -358, 0, 0, 10, 0, 0, -6, -598, 0, -292, -10, 0, 106, 548, 0, 0, 446, 0, -434, -628, 0, 90, -30, 0, -420, 8, 0, 228, 98, 0, 430, -532, 0, 18, -34, 0, 146, 0, 0, -28, -472, 0, 502, 30, 0, 98, -458, 0, 0, 508, 0, 432, 284, 0, 158, 32, 0, -512, -138, 0, 272, -40, 0, -644, -336, 0, -36, 20, 0, 72, 0, 0, 48, -100, 0, -104, -98, 0, 76, -36, 0, 0, 224, 0, 598, -406, 0, 48, 0, 0, 290, -30, 0, 280, 0, 0, 68, 114, 0, -28, 16, 0, 144, 0, 0, 156, 330, 0, -456, 50, 0, 76, 338, 0, 0, -284, 0, 496, 358, 0, 110, 16, 0, 584, 48, 0, 600, -68, 0, 456, 548, 0, -278, 60, 0, 54, 0, 0, -106, 484, 0, 104, 4, 0, -124, -492, 0, 0, -274, 0, -18, 176, 0, -96, -14, 0, -264, 48, 0, 508, -60, 0, -6, 168, 0, 216, -62, 0, -140, 0, 0, -8, -190, 0, 128, -16, 0, -22, 48, 0, 0, -764, 0, -568, -362, 0, 48, -40, 0, 517, -100, 0, -382, -102, 0, 680, -174, 0, 122, -22, 0, -28, 0, 0, 46, -502, 0, 626, -42, 0, 82, 180, 0, 0, -228, 0, 28, -256, 0, -240, -8, 0, 444, 55, 0, -136, -8, 0, -432, 468, 0, 96, 64, 0, -236, 0, 0, -132, -118, 0, -268, -36, 0, 56, -82, 0, 0, -200, 0, 892, 184, 0, -72, 30, 0, -654, -16, 0, -164, 0, 0, 228, -78, 0, -52, 4, 0, 72, 0, 0, 278, 12, 0, 450, -10, 0, 150, 792, 0, 0, 204, 0, 552, 508, 0, -16, 26, 0, -316, -46, 0, -312, 100, 0, -319, -828, 0, 72, -12, 0, -316, 0, 0, 48, 738, 0, 624, -48, 0, -90, -70, 0, 0, 144, 0, 112, -376, 0, 240, -76, 0, -490, -4, 0, 280, 0, 0, 1044, -276, 0, 60, -74, 0, -90, 0, 0, 106, -60, 0, -788, 4, 0, 100, 212, 0, 0, 522, 0, -184, 680, 0, 162, 144, 0, -40, -16, 0, 340, 12, 0, -150, 996, 0, -24, -80, 0, -138, 0, 0, -64, -300, 0, -346, 57, 0, 52, 34, 0, 0, 920, 0, -304, -386, 0, -76, -6, 0, 1024, 54, 0, 580, 92, 0, 772, 22, 0, -24, -104, 0, 112, 0, 0, -250, -536, 0, 328, -40, 0, -66, -980, 0, 0, 480, 0, 552, 950, 0, 114, -56, 0, 8, 96, 0, 714, -94, 0, 364, -880, 0, 0, 0, 0, 284, 0, 0, 44, 84, 0, 812, 48, 0, -160, 386, 0, 0, 602, 0, -596, -594, 0, -176, -94, 0, 484, 116, 0, 566, -32, 0, 592, -60, 0, -24, 0, 0, 80, 0, 0, -120, 818, 0, 268, -48, 0, -54, -76, 0, 0, 144, 0, -744, 288, 0, 26, -112, 0]