# Trace form for 1155.2.a, downloaded from the LMFDB on 19 April 2024.
[0, 41, 3, 1, 39, 1, -5, 1, 15, 41, -5, 1, 7, 14, 3, -7, 47, 2, 3, -12, 7, 1, -5, -8, -9, 41, 26, 1, 7, 14, 3, 0, 63, 1, 38, 1, 39, 6, 12, 14, -9, -6, -5, 12, 7, 1, 8, 0, 31, 41, 3, -14, 98, 6, -5, 1, 15, 20, 42, -4, -17, -2, -64, 1, 15, -2, 3, -28, -34, -24, -5, -56, 15, 10, -94, 1, -36, 1, 10, -16, -33, 41, -2, -28, 7, -14, 4, -18, -9, 10, -5, -2, -40, 16, -32, 4, 7, -14, 3, 1, 39, 54, 6, -40, 2, 1, 82, 44, 7, 14, 3, 6, 31, 34, 12, -8, -30, 14, -124, -14, 15, 41, -86, 10, 16, 1, 3, 32, 31, 12, -38, 4, 7, 4, -84, -7, 14, 10, -56, 28, 7, 0, -104, -2, 47, 14, -50, 1, -6, -42, -5, 24, -116, 2, 3, -16, 2, -18, -32, -26, 7, 8, 3, 68, -42, -7, -20, 40, -9, 15, 38, -12, -108, 46, -54, 1, -33, -36, -98, 4, 7, 22, 10, 30, 8, 22, 32, 2, -16, 1, 12, 48, -65, 34, 22, -2, 39, 6, -5, -40, 15, 36, -78, -2, -82, 10, -72, -8, 82, -44, -5, 4, -38, 24, -28, -4, -9, -32, 10, 42, 7, 140, -30, 80, 63, 41, -170, 20, -20, -10, -24, 1, 18, -54, 26, -32, -12, 48, -26, 48, -25, -46, 3, 1, -78, 1, -98, 24, -160, -60, -5, -116, 7, 8, 80, 2, -81, 18, -76, 6, -30, 14, -20, -152, 15, -26, -20, 26, -36, -98, 3, 32, -146, -2, -34, 1, -40, -42, -92, 0, -9, 74, -48, -68, -152, -12, -38, 42, 63, 3, 58, 74, -58, 54, -5, -44, -102, 1, 34, -48, 7, 4, -8, 6, 12, -2, 38, 116, 7, 32, 0, -152, -62, 10, 42, 1, -64, -66, 34, 6, -97, -100, 8, 56, 39, 14, -100, 78, -202, -32, -5, -124, -20, 6, -72, -12, -33, 82, 165, 50, 46, 0, 12, 1, 36, 0, 10, -164, 50, -18, 3, 14, 7, -30, 4, 8, -202, 2, 28, -40, -9, -67, -94, 1, -14, 42, 42, 128, -136, -6, -14, -26, 176, 22, 22, -7, 16, 116, -5, 52, 28, -16, -160, 240, -89, -7, 70, 12, -82, 6, 26, 16, 15, -92, 210, -80, 7, 110, 152, 12, 47, 2, 28, 192, 218, 1, 42, 6, -34, 90, 46, -22, -200, 44, 8, 20, 66, -20, -4, 36, 7, 94, 236, 0, 138, 2, 72, 14, -12, -2, 36, 144, 31, -14, -64, 14, -14, -16, -114, 56, 15, 41, -12, 12, -6, -30, 192, 22, 31, 82, 3, 10, 158, 56, -180, -2, 60, -22, 178, -14, 56, 286, -5, 0, -94, -32, 62, -108, 98, 20, -32, 118, -108, -68, 32, -12, 14, 6, -80, -160, -17, 260, -10, 8, 39, 18, -5, -8, 130, -12, -5, -180, -26, 44, 56, 1, 64, 40, -20, -100, 7, 8, 324, -120, 15, 22, 40, 87, -128, 142, 38, 26, -1, 20, 102, 88, -124, 16, 50, 30, -78, -70, 42, -148, 28, 1, -8, -96, -33, -23, 2, -4, -116, 236, -34, 28, -324, 68, 90, 1, -17, 110, -32, 6, -34, -82, -54, 36, 102, -2, -5, -88, -152, 16, 114, -26, 20, 78, -64, -136, -33, 10, -2, -108, 0, 50, -108, 1, -232, 26, -84, -100, -94, 128, -2, -8, 15, 2, -71, -78, -126, -28, 6, -58, -26, -2, 82, -292, 7, 176, 36, 54, -6, -14, 3, -22, 26, -8, 112, 8, -9, -166, 68, -28, 168, 1, -94, -128, -84, -34, 90, 48, -34, 166, 60, 42, 15, 42, 88, -196, -32, -24, 24, -22, -30, 41, 190, -12, -46, 300, -5, -112, 96, 20, -230, -80, -70, 14, 90, -56, -89, -94, 4, -12, 104, 28, 40, -152, 15, 12, 26, 16, 108, -34, 42, 20, 230, 10, 96, -44, -17, -42, 164, -20, 76, 4, -94, 144, 216, 40, -36, -2, -73, -30, 118, 1, 353, 150, -170, 50, 94, -76, 80, -196, -36, 26, 3, -106, 116, 340, -56, 36, 322, 1, 52, -164, -78, -44, 458, 106, 7, 110, 10, 56, -1, 32, 54, 22, -76, 30, 120, -16, 54, 80, 22, -18, 252, 0, 200, -112, -33, -104, 343, -46, -70, 14, -5, 8, -206, 41, 62, -88, 114, 30, 48, -7, -40, 36, -2, -124, -86, 120, 34, -56, 96, -42, -14, -28, 62, 28, 3, -88, 240, -100, -164, 24, 7, 198, -140, -8, 92, -150, 48, -34, -32, -14, 48, 8, -129, 18, 3, -14, -50, 102, 4, 0, -146, 6, -174, -200, 34, 8, 32, -18, 47, -2, -4, -108, 138, -56, -80, -46, -9, -140, 346, 14, -168, -2, 28, -128, 63, 10, 118, 74, 124, 8, -48, -34, -70, 74, -5, -148, 82, 112, -46, 4, -98, 96, -18, -2, -106, 86, -2, -232, -136, 1, -108, -68, -40, 78, -36, -106, 18, 2, 20, -8, -36, 16, 444, -216, -9, 55, 146, -166, -20, 23, -32, 1, -86, 28, 38, 128, 24, 214, -118, 4, 116, 154, 10, -100, 148, 26, -272, -96, 7, -2, 198, -45, -32, 32, 58, -8, -14, -14, 0, 1, 86, 110, 120, -26, 31, -30, 3, 68, 212, -20, 52, -248, -214, 40, -130, 1, 416, 96, -62, -28, 143, -80, 70, -32, 39, 156, -162, -36, -338, 54, 8, -196, -36, 54, 42, 32, 140, -28, -66, 46, 58, 52, 6, -88, -24, 68, 170, -272, 7, 6, 240, -40, 34, 98, 16, -12, 134, -8, 28, 2, 2, -54, 140, -94, -128, 62, -198, -400, 148, 1, 116, 20, 80, 236, 12, -98, -66, -166, 82, -96, 192, 30, 0, -70, 7, -23, 252, 44, 110, -14, 72, -24, 15, -136, -42, -84, 7, -52, 184, 14, -238, 162, 156, -6, 7, 14, -156, -72, -58, -106, 84, 16, -8, -96, 3, 200, -288, 140, -56, 40, -148, -282, 284, 6, -9, 14, -216, -8, -172, -12, -280, -56, 31, -94, 50, -94, -24, -154, -211, -34, 80, 34, 458, -180, -50, 110, -194, -48, -305, -6, 12, -192, 142, 1, 72, -104, -108, 10, 48, -8, 58, -20, -38, -48, -142, -68, -178, 86, -30, -20, 100, 30, -484, -70, -5, -100, -360, 14, 64, 84, 63, -24, -517, 18, 106, 86, -124, -248, -84, -24, 180, -62, 150, 14, -60, -14, -4, 20, 44, 12, -574, -104, -5, -248, 15, -288, -390, 93, 192, 32, -14, -144, -114, 41, -22, 100, -30, 54, -68, 10, -410, -70, -86, -82, 7, -72, -88, -48, -56, 92, 48, 10, 186, -282, 98, -42, 84, -58, -86, -48, 16, 126, -360, -74, 7, -240, 22, -108, -10, 1, 156, -8, -144, -54, 182, -60, -284, -24, 3, 84, -488, 124, -434, -24, -180, -76, -188, 32, -190, -106, -64, -64, 22, -112, 8, 160, 31, -62, 150, -15, -299, -148, 38, -16, 274, 12, -52, -52, 158, -22, -14, -106, -106, -56, -38, 52, 426, 16, 116, 0, -9, -36, -32, 4, 68, 14, 210, 55, -262, -80, 150, 36, 7, 92, -58, 158, -118, -438, -72, -112, -240, 4, -56, 30, 31, -30, -226, 130, 20, -158, -84, -48, 312, 208, -5, -66, 42, -18, -128, -7, 44, -14, 26, -8, -62, 6, 176, 104, 14, 41, -270, -102, 300, -146, 46, -112, 31, 10, 254, 40, 216, 102, -284, 28, -48, -268, -56, -46, -104, 4, 30, -8, -190, -62, 3, 28, -74, -12, -36, 28, 434, -204, 132, -84, 7, 108, 424, -58, -80, 24, 92, 118, 178, 0, -48, -336, 74, -176, 26, -14, 50, -162, -104, 192, -65, 6, -58, 132, 116, -14, -148, -2, 88, -166, 36, -132, -72, -48, 56, 22, 47, -206, -60, 82, 98, 262, -64, 216, -4, 14, -6, -308, 98, 18, 28, 112, -10, -76, -50, 136, -176, 152, -68, -120, -9, -86, 418, 1, -188, 6, 4, 144, -372, -244, 60, 1, -6, 192, 416, 58, 104, -128, 160, -96, 12, -42, 26, -80, -1, -122, 406, 18, 254, -96, -5, 50, 185, -22, 34, -112, 94, 176, -122, 24, 110, -190, -52, -64, -32, -2, -300, -184, -116, -169, 30, 26, 7, 366, 2, 1, -140, 2, -36, 102, 88, -218, -164, -50, 2, 6, 3, -216, -668, -48, -268, -120, 290, 72, 268, -16, -110, 48, 62, -120, 15, -284, 362, -224, 2, -214, -120, 68, 23, 178, -16, -16, 494, -18, -110, -52, -60, -252, 210, -20, 72, 14, -32, 32, -154, 20, 112, 68, -18, -58, 42, -26, 76, -182, 336, -38, 264, 64, 320, 32, 7, -44, -24, 20, 219, 19, 214, 168, 234, 8, 42, -148, 7, 158, -24, 2, 18, -192, 3, 164, 262, 88, 200, 20, 162, 22, -246, 68, 592, -4, 3, 336, -40, 60, 124, -4, -42, -12, 124, 36, 138, 106, 168, -68, 10, -7, -40, -224, 288, -126, -14, -8, -166, 182, -20, 144, -50, -140, -156, -196, -17, 496, -240, 40, 272, -4, -92, -70, -4, -120, -136, -232, -9, -364, -30, -10, 212, 284, 72, 0, 76, 15, 366, 68, 80, -2, -6, 126, -128, -164, 38, -148, 384, -70, -8, 116, 39, -44, 118, -12, -17, 208, 6, 264, -66, 40, 194, -4, -108, 246, -64, 32, -290, 162, 34, 88, 474, 46, -40, -104, 18, 16, 24, -102, 384, 58, -54, 0, 63, 28, 26, 36, 60, 14, -196, 1, 442, 160, -168, 28, -144, 176, 70, 80, -33, 46, 92, -87, 354, 100, -14, -72, 184, -36, 106, -2, -20, 318, 64, -100, 15, 338, -98, 166, -146, -4, 14, -40, 492, -6, -72, 4, -64, 318, -54, 40, 746, 1, 222, 196, 7, 78, -284, 254, -30, -2, 144, -292, -150, 22, 140, -38, -338, -352, -464, -2, 614, 342, 10, 38, -138, -12, 194, 240, 118, 32, -296, 30, -616, 388, 3, 288, -28, 40, -204, -52, 8, -70, 282, 48, 28, -8, 386, -192, 130, 22, 38, 164, 244, 22, 56, 126, 44, 48, 32, -28, 332, 264, -216, 240, 31, 275, -395, 2, -134, 146, -290, -158, 380, -172, -115, -328, -16, 478, 3, -86, 26, -174, 132, -60, -34, 1, 112, -8, -8, -32, 210, -182, 66, 206, 12, 8, 244, -196, -66, 1, 34, -20, 308, 48, 132, 42, -66, -324, -112, -24, -112, -66, -65, -72, 122, -94, -354, 198, 241, 60, -144, 34, -192, 288, -14, 174, -632, -92, -206, -146, 22, 84, -448, 6, -5, -112, 166, -150, -118, -2, 120, -100, -110, -144, -17, -68, -666, -216, 39, 66, 28, 192, 68, 148, 116, 16, 84, 6, -440, -56, -294, -142, -128, 2, -10, 236, -5, -136, 192, -14, -128, -100, 282, 30, -228, -40, 63, 132, -288, 24, -2, -72, 128, 114, 15, -262, -332, 58, -106, -195, 84, 88, -306, 36, 146, 180, -24, 6, 116, -7, -100, 160, -78, 312, -110, 96, -16, 208, 140, 10, -68, -2, 262, -208, -6, 104, 442, -192, -116, 16, -82, 72, -296, -10, 40, 88, 124, -120, 754, 10, 64, 56, -9, 197, -94, -54, 80, 492, -72, 38, 226, 12, 278, -9, -64, -90, 12, -8, -74, 150, -136, 428, 300, -38, 22, -64, 82, 114, -82, 1, -116, 182, 302, 248, -80, -44, -118, -226, 34, 20, 528, 108, 52, 210, -5, 320, -44, 24, -356, -36, 496, 16, -380, 4, -36, 30, -198, 110, 14, 48, -210, -220, -38, 288, 352, 14, 384, -262, -38, 48, -512, 24, -66, 264, -17, -348, -253, 2, 268, 1, -28, 352, -50, -20, 262, -180, -24, -146, -136, -4, 47, 340, -232, -74, 30, 280, 148, 216, -9, 70, 100, -68, 312, -82, 10, -144, -318, -32, 134, 128, -20, 320, 254, 254, -9, -28, 10, 48, 132, 20, -88, 58, 54, -12, -270, 42, 644, -218, -48, -16, -248, -156, -32, -356, 7, -4, -96, -122, 96, -66, 212, 36, 24, 140, -88, -10, -4, 266, 226, -12, -420, 238, -30, -64, -33, -32, 10, 84, 56, -14, -120, 80, 436, -6, -4, 84, -376, 30, 248, 96, 63, -174, -74, -62, -22, 160, -90, 83, 120, 41, 546, 364, 65, 46, -22, 134, -160, -128, -170, 38, 146, 66, -444, 200, -66, 68, 570, 20, 6, 106, -16, 160, -65, 108, -2, 182, -20, 454, -544, -70, 78, 2, -5, 208, 104, -10, 200, -496, -204, 12, -306, 180, -112, 246, -24, 344, 58, 20, 180, -28, -14, 0, 48, 1, -142, 194, 340, 148, -122, 44, -302, -536, 18, 154, -68, -156, -12, 160, 122, -228, -260, -54, -386, -28, 7, -16, -508, -114, -136, 70, 26, 12, -672, 104, 12, 320, -1, 34, -104, -32, 15, 204, -90, -56, 10, 38, -142, 50, -12, -14, 408, 134, -356, 178, 88, -76, 308, 48, 150, 30, -170, 90, 74, 96, -268, 46, -26, 160, -452, 14, -164, -8, 108, -12, 4, 48, 450, 362, -216, -144, 7, -208, -184, 208, -25, -590, -64, 104, -158, -14, -193, -10, -16, -46, 64, 32, -198, -132, -608, -18, -226, -72, 3, -124, -62, -240, -308, 88, -238, -32, -334, 1, -196, 40, -34, 138, 278, -104, 158, -120, -78, 460, -70, -2, -9, -64, 112, -532, -824, 1, 0, -448, 136, -103, -12, 4, -112, -122, -98, 172, 10, -92, -590, 78, 74, -82, -46, 24, -44, 10, -110, -200, 322, -184, -16, -224, -160, -18, -118, 70, -728, -66, 146, -16, -1, -60, -48, -284, 94, -14, -212, -4, 102, -140, -5, -36, 204, -80, 8, 42, -176, -12, -98, -116, 78, 8, -436, 416, 228, 56, -56, 124, 7, 294, -164, 134, -360, -30, 68, -2, 6, 8, -264, 568, -132, 202, -52, 58, -108, 202, 80, -16, -142, 30, 82, -160, 320, -506, -544, 2, -138, -214, -160, -12, -40, -8, -192, 0, -81, 30, -330, 2, -210, 246, -13, -216, -195, 18, 228, 128, 94, -52, -344, -26, -254, 116, -76, 112, -20, 16, -220, 280, -98, 356, -130, 6, 10, 398, -206, 68, -154, 24, 136, -44, -30, 38, -100, 8, 122, -92, 256, 284, -332, 14, -32, -48, 31, -76, -28, 110, 560, 262, -20, 42, -220, 20, -278, -360, 378, 28, -75, -152, 58, -112, -48, 340, 382, 66, -212, 4, 15, -118, 388, 52, -114, -242, -150, -144, -22, -26, -530, 32, 24, -106, -192, 126, -528, -54, -20, 32, -312, -384, 74, -176, 7, 41, 150, 26, -266, -92, 182, 232, 180, -6, 166, 300, -36, 176, -16, 24, 104, -206, -96, 360, 7, -98, 90, -264, -374, -14, -118, 74, -640, -84, 3, -4, -660, -52, -410, 24, 34, 262, -176, 32, 18, -486, 50, -34, -608, -60, 88, 320, -146, -336, 3, 72, -22, -128, 238, -20, 620, -2, 394, 156, 150, -208, -544, 230, -17, 124, -34, -108, -538, 120, -136, -94, 88, 74, -78, 1, -236, -2, -12, -40, 16, -36, -452, -288, -40, 40, -10, 142, -328, -160, -68, -112, -74, -42, 328, -44, -126, -140, -474, -14, 39, 364, -92, 392, 150, 24, 172, 400, -180, -356, -44, 0, 354, -88, -148, 232, -12, -72, -12, -122, -9, -198, -940, -121, 56, 54, 178, -227, -384, 74, -40, 20, -372, 108, 130, -1, -526, -384, -48, 188, -192, 1, -208, -336, -198, -42, -400, -68, 98, 278, 6, -360, 34, 0, -246, 74, -152, -98, -352, 6, -249, 500, 186, 42, -114, -12, -500, 16, 52, -160, -42, -342, -164, 32, -38, -40, 56, 124, -370, -124, 116, 348, -476, 42, 136, 16, 16, 80, -488, 128, -30, 144, 63, 2, -58, -130, 20, 6, 502, 24, 2, 3, -14, 520, -16, -14, -536, 64, 316, -350, 58, 158, -766, -168, -412, 12, 98, -294, -58, 74, -148, 270, 80, 536, 38, 1, -324, 144, -58, -40, 120, -130, 272, 314, -8, -80, -612, 54, 376, 84, -25, -176, 318, 146, -214, 73, -5, 152, 84, 132, 82, -190, 68, -4, -144, -44, 284, -702, 52, -396, 76, 136, -5, 536, -102, -196, -832, -64, -272, 460, -50, -40, -168, 1, -96, 44, 192, 166, -752, 80, -212, -48, 34, -100, 194, -12, -752, 640, -25, -198, 58, -48, -18, 262, -250, 1, 30, 128, 64, 140, 7, -100, 38, 108, 89, 30, 62, 68, 426, 4, -112, 456, -306, -102, -128, 102, 206, 120, -8, 80, 78, -212, -106, 230, -4, 14, 192, 6, 240, -150, 42, -92, 356, 80, 104, -172, 12, -80, 413, 12, 166, 502, 206, 56, 15, -2, 314, 456, -134, 46, 3, 36, -108, 274, 38, -80, 364, -72, -14, -160, -56, 12, 498, 116, 44, -32, 26, -176, 370, -240, 50, 456, 7, -128, 536, 6, 100, -214, 0, 78, -428, 32, -680, -8, -126, 62, -216, -190, -356, -42, 0, 248, 2, 20, -96, 120, -74, -466, 136, -152, 31, 274, -196, 388, 578, 18, 576, 82, -62, -321, 158, -22, 296, 172, 44, 132, 127, 10, -282, -92, -32, 48, 88, 78, 910, 34, 42, 2, 122, -160, 228, 152, -28, -110, -500, 1, 154, 22, -28, 496, 312, -188, 42, 332, -64, 58, -480, 108, -74, 6, 12, 452, -896, -66, -324, -196, 14, -118, -30, 106, 18, 222, 34, -54, 396, -128, -18, 256, 16, -432, -50, 6, 264, -274, -112, -8, -576, 74, 128, -96, -97, -272, -52, 97, -40, 162, -244, 504, 1075, -100, -175, -4, 254, 72, 120, -30, 554, -318, 8, -48, -30, -120, 228, -40, -9, 12, -678, 56, -312, -18, -90, 448, -142, -100, 304, -10, 39, -154, -100, -68, 214, -464, 488, 576, -184, 14, 60, 336, 226, -188, -46, 98, 434, -108, -100, -212, -16, -38, -396, 92, -17, -84, 1168, 78, 344, -288, -220, 230, 156, -216, -124, -8, -202, 90, 300, -122, -484, 446, -172, -50, 58, -32, 510, -44, 440, 66, 644, 304, -150, -86, -5, -4, -200, -320, 464, -14, 192, 52, 214, -124, -6, -48, -56, 280, 58, -24, 322, 576, -20, -2, -96, 54, 14, -348, 364, 40, 212, 6, 468, 344, 15]