# Trace form for 1183.2.a, downloaded from the LMFDB on 24 April 2024.
[0, 77, 1, 4, 81, -2, 0, 1, -3, 81, -10, 4, 0, 0, -1, 4, 85, -2, 9, 12, 2, 0, -4, -12, 4, 67, 0, 4, 7, -18, -16, 4, -15, 4, -2, -6, 93, 6, 8, 0, -14, -2, 8, -16, 0, -22, 16, -8, -28, 77, -1, -8, 0, 14, -48, -28, 3, 0, -30, -16, 20, 14, -4, 5, 73, 0, -36, 16, -54, 4, -6, 32, 1, 22, -54, 32, -16, -4, 0, -12, 38, 77, -42, -24, -16, 8, 24, 8, -84, -26, 2, 0, -8, 20, -20, -16, 4, 6, 1, -32, 35, -50, 20, 12, 0, -8, -18, 16, -32, 10, 92, -12, -1, -6, -68, 0, -74, 0, -76, 14, -60, 69, -18, -48, -4, -36, -29, 0, 41, -32, 0, -24, 8, 12, -36, 36, -30, 10, -68, 12, -22, -40, -72, 0, 37, -80, -34, 4, -14, -26, 4, 28, 20, 14, 20, -12, 0, -30, 4, -88, -82, 16, 53, 20, 18, -76, 92, 32, -20, 0, 140, 8, -12, 102, -12, -17, -4, 44, 82, -72, -54, -50, 0, -72, 28, 196, -48, 4, 52, -12, -60, -80, -112, 34, 154, 0, 81, -46, -20, -12, 47, 112, -22, 22, -24, 56, 16, -88, 0, 20, 32, -44, -26, -20, -56, -12, 24, -20, 202, -8, -116, 0, -32, -4, -5, 27, 2, -60, 12, -26, -44, -40, -22, 130, 0, -36, -76, -128, 10, 20, -88, 10, 73, 16, -78, -2, -64, 0, -112, 68, 4, -36, -5, 36, -60, 12, -43, 38, -92, -2, 0, -122, 28, -16, -140, -28, -32, -8, 20, 98, -240, -96, -70, 0, -38, 80, -88, -30, -56, -8, 6, 18, -132, -56, 12, -36, 0, -18, -35, 79, 140, -40, 118, 34, 0, -36, 12, 72, 96, 0, -176, 20, 18, -12, 36, -92, -10, -56, 154, -36, 72, -24, 0, 118, -78, 30, 78, -18, -12, -32, -106, -36, -40, -32, -103, 0, 38, -84, -94, -12, -76, -20, -32, 42, 0, -36, 28, -2, 0, 336, 88, -144, 188, 1, 40, 56, 42, 264, 64, 18, -47, 0, 94, 90, 320, -104, 30, -24, -40, -8, -250, 17, -30, 232, 0, 80, 32, -104, 98, 14, 64, 14, -36, -122, 156, 88, -100, 0, 4, -32, -84, -156, 4, 112, 4, 36, 104, 128, -2, -138, 0, -12, -3, -88, 26, 28, -64, 34, 92, -16, 23, 2, 108, 0, -130, -14, 168, -116, 16, -10, 12, -52, -96, -28, 60, -140, 0, -84, -84, 276, -16, 46, -116, 28, 10, 166, -152, -18, 18, 0, -80, -8, -236, -62, 16, 140, 26, -44, 152, -20, -80, 81, 0, -128, -8, -44, -104, -4, -33, -26, 27, -136, -20, -68, -20, 0, -180, 46, 158, 236, -36, -38, 12, 0, -114, 192, -10, 360, 0, -28, -132, 256, -148, 8, 108, -48, 18, 222, 58, -12, -108, 0, 146, 8, -67, 288, 48, -76, 6, -104, -10, -60, 32, 16, 0, 152, -16, -8, -244, 76, -40, -48, -104, -28, -41, -92, 54, 0, -156, -46, -208, -34, 41, 4, 70, 16, -108, 24, 50, -28, 0, 206, 174, -128, -96, 16, -28, 12, 16, 13, 124, 112, -20, 0, 292, -44, 38, 220, 62, 4, 40, 58, -172, -148, 2, -180, 0, -156, 78, -110, -92, -8, 64, -24, 2, 80, -164, 42, -160, 0, 14, -4, -66, 380, -44, 116, 84, 33, 82, 74, -12, -72, 0, -4, 30, 176, -171, -34, -65, -64, 48, -28, -156, -44, -42, 0, -146, -48, 0, -36, -100, -88, -74, 18, 76, -60, 34, 280, 0, -56, -68, -138, 130, -88, -44, -6, -28, -136, -212, -36, 32, 0, -206, 66, -240, -208, -12, 2, -48, 44, -260, 248, -60, -30, 0, -87, 86, 208, -226, -40, -42, 48, -36, -104, 446, -20, 524, 0, 146, 28, 398, -66, -8, 4, 0, 44, 564, 244, -35, -76, 0, -64, -20, 38, 448, -56, 10, -86, -28, -44, -248, 86, 188, 0, 448, -24, -286, -104, -76, -68, 24, -56, -68, -138, 138, 64, 0, 358, -12, -10, 272, 8, 20, 96, -16, 412, -1, -108, -236, 0, 260, -4, 270, 20, -4, -16, 72, -12, 2, 240, 17, 338, 0, 0, -36, 128, 422, 6, -16, 18, -28, -80, 314, 48, -48, 0, -62, -48, -128, -116, 110, 0, 77, 76, 442, 394, 16, -172, 0, -111, 0, -36, -320, -66, 84, 4, -112, 212, 46, 28, 296, 0, 10, -76, 332, -108, 74, -36, 32, 20, -180, -152, 0, -180, 0, -32, 16, 470, 14, 132, 28, -70, 112, -2, -136, -60, 396, 0, -264, -38, -84, 164, -46, 10, 44, 44, 206, -40, 34, 260, 0, -84, 52, -152, 85, 148, -72, -56, 86, -200, 352, 18, -404, 0, -182, -16, -248, 338, 0, 64, -41, 66, -100, -160, -104, 8, 0, 180, -66, -38, -274, -84, 10, -8, -36, -128, 300, -48, -182, 0, 264, 42, 20, -184, -24, -72, 0, 52, -376, -114, -40, -152, 0, -2, 108, -124, -220, 20, -56, 120, -32, -181, -242, 12, 508, 0, -480, 5, -204, -196, 94, 104, 0, -130, -2, -324, 52, 26, 0, -156, -52, 0, -176, 72, 104, -72, -86, 132, -16, -16, -492, 0, 250, 26, 588, -48, -84, 86, -80, -120, -280, -62, 9, -32, 0, 116, 36, 44, -344, 8, -80, -16, 68, -184, -308, 220, 73, 0, 38, 68, -361, 400, 128, 12, -146, -8, 460, -112, 76, -322, 0, -168, -112, -188, 122, 72, 6, 36, -64, -188, -372, 36, -338, 0, -44, 138, -268, 112, 6, 2, -60, 12, 154, -196, -136, -320, 0, -98, -52, -240, 416, -234, 108, 80, 76, -72, -86, -140, -460, 0, -216, 56, -6, 6, 2, -92, 32, 84, -224, -14, 88, 69, 0, 108, 38, 328, -32, -64, 25, 68, 48, 180, 644, -36, 612, 0, 370, -54, 764, -92, 2, -58, 48, -152, 616, -248, -176, 24, 0, -352, -44, -236, 780, -80, 16, 0, -60, -6, -10, -80, 280, 0, 752, -108, -144, -200, 0, 4, -29, 90, 64, -156, -4, -90, 0, -68, -24, 122, -190, -40, -112, -6, -14, -268, -179, 66, -344, 0, 698, 0, -220, -176, 80, -74, -44, -164, -38, 328, -12, -172, 0, -192, 154, -50, 510, -32, -4, -72, 36, -202, 4, -20, -82, 0, 348, 56, -368, 32, 101, -52, 16, -130, 592, -184, 16, 24, 0, 120, -52, -10, -288, -22, -28, 8, 68, -160, 98, 172, -4, 0, -440, -60, 586, -292, -128, 40, -28, 108, -314, -75, 88, -376, 0, -266, 68, -412, 366, -2, 30, -2, 68, -144, -212, 76, 448, 0, 8, 24, -236, -202, 20, -156, -60, 8, -290, 60, -36, 350, 0, -100, 2, -224, -24, 176, 134, 104, 92, -12, 516, -42, 128, 0, -252, -72, -113, -212, -104, 140, 14, 152, 136, -12, 20, -208, 0, 28, 24, -280, -82, 0, 76, -192, 53, -182, 558, -64, -253, 0, -372, 8, 188, -132, -84, 104, -36, 48, -22, -144, -150, -36, 0, -168, 146, -300, -308, -76, 4, 76, -44, 20, -248, 54, 816, 0, 78, -156, 314, 40, 32, -100, 20, 24, -38, -46, -188, -292, 0, -56, 92, 64, -636, -62, -134, 16, -44, 180, -160, 4, -136, 0, -598, -30, 748, -274, -196, 84, -12, -14, -12, 132, -4, 48, 0, -280, 42, 67, -80, 48, 16, 110, 120, -160, 312, -10, 230, 0, -556, 10, 124, -80, -84, 228, -56, -172, 536, -156, 26, 128, 0, -150, -295, -236, 126, 60, -100, -80, -98, -292, -280, 92, -62, 0, -208, -196, -12, -332, 116, 66, 70, -20, -280, -92, 56, -200, 0, -460, -156, 154, 584, 92, 6, -16, -66, 132, 272, -40, -412, 0, 134, -30, -572, -116, 116, -32, 68, 12, -391, -214, -96, 152, 0, 470, -8, -104, -184, -140, 166, -76, 64, -44, -344, -52, -386, 0, 638, 172, -96, -32, 76, -44, 72, 42, -398, 4, 108, 118, 0, 116, 260, -180, -72, 108, 74, 76, 144, -240, 116, -72, -304, 0, -612, -102, -168, -280, -4, -224, -54, -32, -294, -316, -120, 10, 0, 596, -166, -396, 632, 124, 10, 72, -132, 894, -20, 152, -460, 0, -352, 88, 360, -49, -64, -116, 7, 106, -228, -72, -124, 622, 0, 258, 148, -218, -292, -64, -178, -104, -92, -196, 708, 20, 364, 0, 284, 24, -244, 12, 114, 4, -52, -60, -3, 528, -14, -180, 0, 100, 4, -36, 12, -86, 172, 4, 2, -314, 30, -64, 340, 0, 16, 172, -428, -18, -200, 84, -102, -52, -392, 216, 8, -274, 0, -216, -32, 894, 720, -36, -124, 180, -68, 152, -950, 72, -76, 0, -255, 222, 228, -52, 78, 48, -26, 40, 472, -174, 160, -396, 0, 216, -107, -228, -196, 96, 84, 8, -72, -32, -338, 92, -520, 0, -16, 76, -24, 548, 56, -204, 10, -28, 564, 144, -28, -82, 0, -172, -62, 128, -206, -40, 112, 6, 144, 348, -586, -90, -128, 0, 572, 100, -84, -76, -12, 104, 28, 76, 68, 20, 220, 80, 0, 60, 76, -280, -44, 52, 42, 76, -128, 204, -796, 4, -768, 0, 558, -212, 412, 522, 2, 96, 8, -148, 304, -352, 88, 24, 0, -48, -188, 472, -202, -184, 44, -108, -204, -372, -34, 56, 606, 0, 280, -54, -296, -160, 34, -118, -68, 4, -224, 510, -160, -220, 0, -40, -28, -40, 232, 192, -344, -168, -15, -184, 588, -104, 528, 0, -368, 11, 126, 700, 44, 176, 76, -68, 6, -56, 188, 440, 0, 8, 58, 208, -632, 116, -8, -208, 230, -200, -24, -110, -120, 0, -573, 134, 194, -74, 122, 172, 132, -16, 224, -186, -20, 120, 0, -162, -96, -100, -446, 4, -138, -136, 50, 658, 448, 108, 302, 0, 220, -148, -438, -354, 48, 74, -24, 28, -84, 56, 126, 122, 0, -452, 20, 584, 302, 72, -56, -32, 60, -344, 940, -44, 544, 0, -32, 136, 656, 244, -76, -78, 154, 12, 644, 80, -36, -160, 0, 552, -2, 64, 668, -134, 140, 104, 88, -56, 352, -228, 764, 0, 1044, -124, -88, -101, -173, -44, 106, 172, -644, -58, 104, -100, 0, -184, 68, -238, -141, -152, 30, 30, -152, -320, -102, -56, -270, 0, 656, -84, -362, -184, -46, -126, 160, -60, -72, 424, -134, -6, 0, 492, 236, -124, 700, 30, 8, -104, -96, 48, -372, -84, 324, 0, -252, -104, -674, -126, 96, -216, -4, 146, 904, -196, -60, -338, 0, -136, 110, -224, 118, -176, -132, 68, -48, 36, 432, 110, -286, 0, -4, -100, 872, 96, -200, 4, 98, 0, 93, 80, -56, -524, 0, -284, 136, -24, -404, 106, 160, 44, 184, 702, 190, 76, 688, 0, -396, 72, 604, 308, -40, 28, 80, 66, -704, -528, -1, 696, 0, -116, -150, 92, -340, 46, -109, 82, -64, -96, 696, 182, -12, 0, -226, -40, 236, -180, 80, 6, 92, 104, -480, 276, 266, 4, 0, -104, -188, 28, -48, -10, 36, 78, 150, 32, 836, 96, -130, 0, -100, -128, 56, -152, 88, -168, 48, 0, 432, -280, -90, 412, 0, 92, -8, -191, -330, 136, 28, -32, 80, -16, -436, -184, 830, 0, 600, -38, 8, 780, 6, 152, 28, 16, 808, -16, 132, 196, 0, 230, 278, 832, -44, 226, 116, -64, 28, 340, 414, 2, 772, 0, -644, 44, 864, 102, -8, 24, -52, -8, 96, 636, -112, -12, 0, 48, -124, 110, 472, -284, 14, -28, -210, -104, 586, -40, -604, 0, -84, -10, -836, -352, -28, -160, -18, 180, 496, 564, -63, 840, 0, 12, 96, 8, 430, -88, -268, 12, -52, -142, -136, -144, -97, 0, -516, 14, 640, -328, 196, 148, -20, -24, 20, -220, -40, 186, 0, -280, 94, -76, 994, -16, 64, -96, -68, 1020, -14, -36, 170, 0, 396, 168, 328, 254, 8, 192, -244, -20, -132, 50, 16, -224, 0, 580, 32, -200, 336, 20, -140, -116, 32, -40, -712, 232, -136, 0, 940, 220, -828, -290, -42, 52, -16, -130, -688, 24, 92, -448, 0, 904, -4, 308, -560, 72, 20, -2, -152, -276, -564, -104, -516, 0, -105, 74, -192, 164, -72, -104, -316, -5, -252, -189, 74, -124, 0, -194, -140, 64, -600, -212, 126, 4, 34, -72, -400, 80, -404, 0, -314, 108, -162, 144, 36, 12, -71, -24, 126, -66, 24, -314, 0, 736, 42, -238, 8, -48, -48, 182, -24, -320, -1060, -112, -806, 0, 868, -194, -540, -332, 2, -152, -28, -272, -780, -500, -184, 300, 0, 510, -208, 160, 834, -100, 42, 236, -6, 82, -524, 72, -448, 0, 364, -132, -420, 322, -22, -56, 4, -60, -130, -228, -100, 248, 0, -16, -52, -608, 592, 16, -144, 42, 72, 892, 265, 180, -616, 0, -260, -48, -274, 216, 116, 8, -20, 44, -96, 86, 100, -424, 0, -552, -92, -84, 244, -70, -94, 176, 64, -306, -102, 28, -312, 0, 20, 156, 680, -52, 112, 108, -2, -158, 620, 316, 0, 168, 0, -132, -32, 418, 304, -56, -118, 40, 132, 564, -756, -114, -72, 0, -632, -172, -508, 328, 130, 36, -199, 56, -752, -4, 64, 960, 0, 116, 2, 108, -318, -68, 52, -26, -102, 548, 210, 0, -886, 0, 38, 252, 452, -400, -100, -8, 276, -22, -592, -32, 96, -223, 0, 248, -8, -290, -804, 288, 26, 68, 98, -58, 252, -22, -220, 0, -760, -50, -100, 244, -50, 120, -264, 60, 152, 0, 126, -124, 0, 22, -8, -160, -130, 252, 140, -52, 32, 112, -584, -4, 698, 0, -64, 76, 560, -256, 16, 152, 32, 4, -282, 956, -24, -120, 0, -320, 156, -100, -580, 140, 31, -198, -288, -236, -208, 54, 344, 0, 188, -208, -560, -232, 48, 58, 76, 116, -336, -348, -84, 176, 0, -108, 32, 160, -904, 30, -68, 0, -34, -466, 732, -200, 344, 0, -560, -8, -51, 220, -210, 76, -126, -34, -120, 252, -65, 362, 0, -504, 0, 4, -740, 192, 180, 180, 56, -68, -16, -124, -688, 0, -940, 104, -724, -130, -140, 42, 160, -120, -722, 328, 44, -176, 0, -342, -108, 844, -678, 100, -36, 168, -160, -310, 508, 16, -28, 0, -692, -292, -12, 426, 44, 66, 208, 188, 362, -24, -16, 16, 0, 76, 102, 84, 12, 220, 86, -72, 68, 64, -16, 86, 584, 0, -140, -186, 104, -212, 38, 64, 22, 4, 436, -278, -200, 396, 0, -206, 44, 136, -608, -84, 148, -4, 124, 77, 138, -212, 486, 0, -680, 148, 144, -192, -52, -56, -188, -28, -744, 528, -168, 78, 0, -384, 170, 226, -54, -96, 80, 174, 202, 4, -848, -4, -332, 0, -928, 176, -578, 632, -60, -122, -124, 0, 340, 578, 200, -14, 0, -448, -304, -52, -1226, -36, -1, 40, 102, -272, 528, -36, -820, 0, -468, 88, 64, 268, -212, -56, -44, 236, -362, 0, -62, -532, 0, 218, 0, -366, -454, -232, -68, -202, -48, 20, -908, 24, 340, 0, 436, -4, -756, 288, -64, -152, -124, -4, -82, -666, 324, -288, 0, 388, -190, -8, -795, -188, 0, -16, -110, -728, -52, 20, -28, 0, -140, -24, -982, 8, -28, -48, -164, -200, 812, -136, 22, -206, 0, -168, 24, 66, 0, -83, 72, -266, 156, -508, 60, 64, -130, 0, 602, 340, -688, 884, 176, -20, 112, -152, 312, 316, 40, -324, 0, -234, -96, 832, -478, -108, -82, 108, 28, -130, -644, 4, 406, 0, 584, 136, -658, -992, -144, -156, 48, 48, -452, 832, -68, -132, 0, 220, -72, 696, 810, -28, 132, 116, 124, -54, 584, -8, -1104, 0, 436, -128, -60, 280, -119, 122, 62, 92, -752, 14, 72, 992, 0, -45, -126, -464, -208, 100, -72, -220, -44, -222, -140, 30, 602, 0, 216, 48, 264, 406, 68, 156, 80, -58, -92, -324, -182, -24, 0, 180, -98, -8, -552, -124, -52, 46, -176, 672, -744, -26, -596, 0, 20, 124, -190, 908, 34, -110, -48, -116, 514, -756, 54, -400, 0, -92, -148, -40, 356, 230, -76, 164, 32, 64, -18, -76, -272, 0, -644, -4, 122, -52, 188, -112, 88, -68, 726, -608, -76, 346, 0, 792, 16, -132, 132, 156, -96, -284, 52, 72, -116, 10, 0, 0, 124, -58, 480, -28, 46, 4, 52, -52, 156, 124, -66, -500, 0, 296, 136, 64, 342, 76, 24, -32, 120, 626, -520, 156, -90, 0, -190, -112, 60, 740, -70, -2, -224, 218, -552, 208, 40, 750, 0, 900, 44, -636, 358, -128, 20, 8, -157, 16, 260, -58, -736, 0, 3, 140, 268, 192, -96, 90, 76, -16, 2, 742, 46, 184, 0, -556, 18, 868, 188, -84, -42, -180, -96, -156, -196, -164, 670, 0, 596, -144, 786, -384, -152, -216, 92, 58, 16, -118, -20, -608, 0, -164, 56, 512, -152, -204, 108, 26, -52, 736, -186, 0, 66, 0, 888, -6, -708, -532, -15, -42, 260, 164, 394, -68, -144, 538, 0, 59, 344, -8, -616, 188, 32, 132, 60, 782, 252, 12, 184, 0, -488, 12, 550, 942, -22, -44, 14, -144, -968, 24, 96, -162, 0, -154, 146, 90, 692, -200, 112, -24, -30, -72, -234, 240, -506, 0, 206, -16, -412, -236, -20, -170, -132, 56, -200, 102, -10, 636, 0, -214, 120, -94, 304, 36, 10, 48, -64, -568, -116, -60, 74, 0, -760, 28, -836, 4, -52, -164, 158, 12, -844, 628, 8, 124, 0, -28, -123, -788, 714, -16, 28, -192, 44, 80, 514, 174, -200, 0, 162, 4, 218, -124, -124, -24, 2, -28, 592, -558, -44, 200, 0, -592, 52, -172, -1135, -42, 72, -24, -24, 32, -772, -124, -720, 0, -68, -308, -1332, 408, 160, 108, -438, -48, -282, 888, -104, -816, 0, 340, 20, -144, 76, 360, 8, -100, -80, 250, 694, 192, -1008, 0, 758, -10, -124, -852, 184, 130, 180, -64, 108, 196, -66, -304, 0, 84, 60, -12, 656, 270, -64, 4, -32, -468, -852, 50, 168, 0, -590, 44, 816, -400, -76, 204, -186, 132, -202, -124, -176, 14, 0, -100, -72, 684, -1064, 4, -4, 114, 204, -480, 704]