# Trace form for 1122.2.a, downloaded from the LMFDB on 16 April 2024.
[0, 25, 1, -3, 25, 6, 1, 0, 1, 25, 6, 1, -3, 6, 8, 6, 25, 1, 1, -4, 6, -16, -3, -16, 1, 7, 6, -3, 0, -2, 6, 0, 1, 1, -7, 0, 25, 6, -20, -26, 6, 10, 8, -44, 1, 6, 8, 16, -3, 33, 15, 1, 6, -18, 1, 6, 8, -4, 14, -12, 6, -10, 0, 0, 25, 20, 1, 4, 1, 8, 32, 16, 1, 34, 22, 3, -4, 0, 6, -56, 6, 25, 10, 4, -16, 6, -12, -2, -3, 42, 6, 16, -16, 8, 16, 8, 1, -14, -23, 1, 7, -26, -3, 8, 6, 0, 14, -20, -3, 6, 6, 6, 0, 26, -12, -32, -2, 6, -28, 0, 6, 25, 6, -54, 0, 60, 8, -32, 1, -12, 36, -28, 1, -16, -12, 6, -7, -38, 16, -44, 0, 0, -8, 6, 25, 4, -22, -11, 6, 38, -33, -24, -20, 1, 8, -80, -26, -34, 16, -42, 6, -16, 1, 20, 10, -2, -12, -72, 8, -17, 6, -4, -44, 14, 14, -16, 1, 4, -22, -36, 6, -58, -32, -2, 8, -76, 16, -3, 16, -16, -24, 0, -3, -22, 34, -28, 33, -106, -3, 8, 15, 4, 6, 48, 1, -20, -24, -16, 6, 12, -16, -36, -18, -40, -36, 24, 1, -16, 22, 2, 6, -18, -10, 64, 8, 7, -46, 20, -4, 6, -32, 8, 14, 42, 6, 0, -12, -8, 8, -16, 6, 26, 1, -3, -10, -26, -14, 56, 0, -12, 60, -92, 0, 24, 48, 6, 25, -14, -20, -64, 20, -2, -60, -24, 1, -12, 16, 2, 4, -18, 6, -64, 1, 48, -38, -33, 8, -50, 4, 0, 32, -38, 0, -76, 16, -8, -26, -16, 1, 25, 20, -22, 34, 198, 25, 56, 22, 1, 70, 128, 3, 48, -72, 22, -4, 36, -7, -4, 0, -8, -32, -64, 6, 10, -34, 0, -56, -82, 6, 14, 6, -4, -48, 4, 25, 42, 4, -18, 10, -48, -2, 76, 4, 6, -24, -72, -16, -150, -9, 18, 6, 32, -20, 48, -12, -32, -2, -20, -2, 6, -120, -26, -3, 162, -4, 0, 42, 0, -36, -24, 6, 5, -10, -3, 16, -4, -2, -16, -16, 10, 4, 144, 8, 158, 1, 12, 16, -28, 8, 60, 8, -40, 0, -80, 1, 32, -46, -44, -14, -2, 20, 16, -23, 100, 6, -16, 1, -34, -40, 16, 7, -22, 4, 32, -26, 6, -32, -42, -3, -22, 12, 50, 8, 160, 8, -72, 6, -20, 4, 148, 0, 54, 28, 16, 14, -17, -16, -64, -20, 14, -8, 144, -3, 82, -144, -44, 6, 80, 26, 16, 6, 33, 14, 116, 6, -4, -96, 38, 0, 90, 15, 18, 26, -80, -28, 80, -12, -70, -58, 1, -32, 14, 0, 112, -2, 48, -86, -36, 6, 160, -144, -42, -28, -28, 0, -12, 0, -18, -16, -144, 6, -12, 2, 112, 25, 156, 1, 104, 6, -60, -26, 140, -54, -2, -40, 6, 0, 112, 52, -108, 60, 8, 36, -40, 8, 52, -16, -37, -32, -58, -10, -176, 1, -4, 2, -176, -12, -40, -48, 30, 36, 146, 14, 52, -28, -48, -24, -48, 1, -111, 36, -12, -16, 188, -22, -8, -12, -4, -34, -39, 6, -42, -48, -58, -7, 36, -32, 60, -38, -10, 3, -56, 16, 112, 14, -12, -44, 30, 0, -24, 0, -7, 58, 180, 0, -68, -44, 0, -8, 10, 72, -140, 6, 16, 64, -160, 25, 130, 1, -54, 4, 32, -46, 38, -22, 20, 22, 20, -11, -144, 88, 54, 6, 130, 1, -32, 38, 32, -48, -168, -33, 66, 144, 4, -24, 6, 46, 56, -20, -32, 20, 16, 1, -82, -36, 76, 8, 162, -24, 60, -80, 8, 40, 64, -26, -59, 122, 20, -34, -10, 32, -72, 16, -76, 78, -112, -42, 38, -18, 16, 6, -102, -36, 260, -16, 24, 4, 40, 1, -28, 106, -64, 20, 94, -18, -296, 10, 34, -16, -60, -2, 86, -68, 14, -12, 128, 22, 144, -72, -16, 88, -2, 8, 58, 34, 3, -17, 214, 58, 16, 6, 4, 8, -132, -4, -36, 64, -2, -44, 116, -16, 52, 14, 0, -116, 40, 14, 10, 38, 58, -16, -130, 6, 72, 1, 48, 18, 16, 4, -26, -32, -56, -22, -48, 8, 20, -36, 48, 40, -40, 6, 192, 189, 42, -58, -158, 1, 24, -32, 25, 140, 44, -2, -26, 16, 86, 8, 4, 10, -164, -76, -88, -32, 40, 16, -12, 62, 4, -3, 96, -84, -64, 16, -60, 68, 0, -16, 134, -20, 24, -24, 170, 8, 32, 0, 6, 16, -24, -3, 18, -80, 26, -22, 14, -12, -64, 34, -80, -2, 8, -28, -40, -24, -2, 33, -28, 36, 12, -106, -104, 80, -16, -3, 84, 46, 148, 8, -154, 32, -16, 15, 42, 114, -14, 4, 208, 0, 110, 6, -166, 6, -12, 48, 8, 22, -152, 1, 32, 90, 16, -20, 134, 10, -56, -24, 31, 160, 92, -16, 78, 88, -10, 6, 41, -36, 48, 12, 8, 116, -64, -16, -177, 118, 26, -36, 122, 16, 0, -18, 92, -25, 64, -40, 158, 32, 8, -36, -246, 14, 92, 24, 144, -176, -64, 1, -28, 130, -3, -16, -24, 20, 88, 22, -14, 16, -128, 2, -106, -8, 54, 6, -70, -23, -60, -18, -24, 20, -56, -10, 64, -36, 1, 64, -144, 30, -24, 8, 32, -78, 48, 7, 22, 10, -128, -46, -12, -112, -180, 20, -26, -208, 104, -4, -12, -86, -60, 6, -48, -3, -152, -32, -4, -2, 0, 8, -38, 80, 8, 14, -54, -16, 28, 42, 72, -36, 6, 6, 26, -192, -78, 0, -194, -50, 112, -12, 0, -4, -172, -8, -100, 68, 78, 8, 218, 14, -96, -16, 14, -16, -192, 6, -135, 116, -20, 26, -20, 16, -56, 1, -4, -132, -12, -3, -128, -232, -86, -10, 66, 4, -6, -26, 6, -4, -96, -14, 52, -2, -96, 56, -48, 6, -16, 0, 12, -176, -176, -12, -2, 132, 6, 60, -64, 0, -20, -92, -120, -88, -200, 0, -22, 52, 106, 24, 118, 23, 0, 48, 26, 38, -4, 6, -2, -48, 0, 25, 86, -12, -32, -14, -128, -48, -136, -20, -134, -56, -32, -64, -26, -34, -16, 20, -36, -6, 112, -2, 24, 68, 22, -60, 50, 24, 84, -24, 6, 0, -264, 1, -160, -103, 90, -12, 118, -28, -72, 16, 32, 124, 34, 2, -122, -104, 0, 4, 100, 4, -196, -18, 152, -11, -104, 6, 160, -74, 73, -64, -32, -10, 0, 1, 25, -108, 52, 48, -58, 140, 108, -38, -70, 6, -32, -33, -72, 56, -224, 8, -28, -112, -54, -50, -98, 52, -2, 4, 64, 30, 64, 0, -106, 168, -82, 32, -112, -7, 132, -38, 60, 180, -128, 0, -110, 140, 68, -76, -8, 8, -200, 16, 28, 138, -12, -8, 128, -28, -32, -26, -332, 128, 256, -16, -48, -24, 176, 1, 114, 34, -16, 25, -164, 82, 8, 20, -12, -64, 172, -22, 12, 54, 102, 34, -368, 36, -28, 198, -24, 52, -80, 25, 44, -64, -28, 56, 6, 22, -208, 22, -240, 178, 20, 1, -276, 32, -82, 70, -94, -24, -96, 128, -16, 136, -82, 3, -22, 42, 2, 48, -116, -12, 16, -72, 0, 6, 304, 22, 78, -32, 6, -4, 146, 80, -32, 36, 6, 64, 104, -7, -65, 78, 34, -4, -34, -84, 56, 0, -38, -70, -208, -8, 22, 124, -128, -32, 18, 16, 34, -64, 40, 240, -72, 6, 178, 189, -44, 10, 0, 4, -328, -34, -44, -42, 84, 0, -100, -8, 94, -56, 32, 36, 160, -82, 0, 32, -96, 6, -16, -90, 31, 14, 38, -8, 96, 6, -160, -78, -12, -4, 44, 132, 6, -48, -22, -56, -36, 4, -16, 8, 0, 25, -358, 60, 42, 42, 158, 0, -8, 4, 4, -18, 36, -18, -16, 120, -112, 10, 4, -22, 208, -48, -176, 164, -280, -2, 26, 166, -11, 76, 2, 14, 96, 4, -28, -96, 1, 6, -80, -64, 12, -24, -240, -96, 208, -72, 38, -2, -56, -16, -300, 34, -94, -150, 16, -33, -240, -9, -6, -26, -80, 18, -128, -128, -24, 6, 34, 84, 288, 32, -16, -164, -48, -20, 167, -36, 50, 48, -346, -10, 12, -12, 1, 36, 48, -32, -322, 340, 30, -2, -236, 8, 136, -20, -96, -216, 8, -2, -272, -22, -80, 6, 16, -46, -176, -120, -20, -146, 32, -26, 236, 216, -48, -3, 34, -80, 20, 162, -34, 256, 328, -4, -44, -106, -20, 0, -82, 16, 96, 42, 20, 48, 212, 0, -146, -28, -42, -36, 98, 64, -32, -24, -64, -16, -296, 6, 20, -192, -12, 5, 6, -46, 24, -10, -16, 18, 188, -3, -2, -104, 60, 16, 160, 1, -164, -4, 96, 28, 32, -2, 68, 230, 20, -16, 108, -106, -128, -16, -36, -28, 188, 10, 160, 76, -2, 4, -150, 8, 220, 144, -2, 88, -272, 8, -254, -140, 112, 158, 310, -12, 176, 1, 68, -256, -52, 12, -112, -32, -72, 16, -192, 12, 58, -28, -184, 80, -8, 8, 58, 54, 276, 60, -4, 0, 0, 8, -17, -6, 276, -40, -86, -64, 126, 0, -84, 6, 36, -80, -48, 8, 168, 1, -12, 146, -4, 32, 160, 66, 168, -46, 48, 238, -80, -44, 366, -160, 32, -14, 194, -128, 352, -2, 14, 232, 280, 20, 160, 0, -54, 16, -4, 14, 112, -23, -44, 68, 436, 100, 6, 204, -16, 6, 144, 72, -140, -16, -16, -240, 432, 1, 84, 356, 229, -34, 256, 4, 408, -40, 4, 70, -28, 16, 310, 0, 124, 7, 2, -22, 128, -22, 216, -6, 168, 4, 202, -176, -36, 32, 126, -2, 40, -26, -39, -54, 260, 6, -218, 52, 46, -32, 8, -8, 196, -42, -58, 8, -80, -3, 48, 112, -60, -22, -90, -32, -82, 12, 84, 54, 320, 50, 48, -56, -2, 8, -14, 15, 64, 160, 152, -292, 248, 8, -6, -146, -96, -72, 8, -58, 24, 6, -76, -31, -236, -20, 222, -96, -146, 4, -288, 16, 252, 148, -8, -120, -208, 0, 67, -265, -3, 54, 364, 82, -176, 28, 84, -262, 120, 16, 86, 8, 44, 14, -38, 44, 116, -17, -16, -112, 136, -16, 96, 78, 154, -64, -298, -24, 168, -20, 124, 154, -288, 14, 38, 12, 0, -8, -166, -96, 36, 144, -168, 16, 30, -3, -352, -108, -6, 82, 166, 1, -312, -144, -22, 0, 352, -44, -162, -40, 176, 6, 148, 34, 52, 80, 38, 0, -24, 26, -150, 22, -28, 16, -32, -98, 192, 6, 36, 50, -136, 33, 76, -12, -80, 14, 180, -8, -16, 116, -106, -40, 224, 6, -222, -64, -14, -4, -4, -3, -40, -96, 16, 96, 68, 38, -106, -152, 8, 0, 84, -48, 176, 90, 72, 32, 640, 15, -6, 54, 82, 18, -450, -48, -88, 26, 4, 4, 116, -80, -170, 44, 6, -28, -208, 6, 12, 80, -72, -240, 32, -12, 334, 20, 48, -70, -128, -108, -24, -58, -224, -80, 112, 1, 16, -8, 30, -32, 160, -28, 728, 14, -20, -176, -392, 0, 173, 10, 42, 112, 70, -24, -240, -2, 28, 114, 23, 48, -18, -20, -16, -86, 100, 16, 36, -36, 48, -10, -160, 6, 162, 122, -71, 160, 86, -118, -72, -144, 12, -82, -32, -42, 248, 32, 38, -28, -254, -16, 96, -28, 184, 164, 104, 0, -224, -132, -36, -12, -386, -18, -66, 0, 32, 58, 116, -18, 288, -240, -378, -16, 42, -18, 320, -144, -40, -144, -168, 6, -22, 241, 178, -12, 0, -36, -336, 2, 116, 92, -100, 112, -154, 40, 24, 25, -252, 20, 32, 156, -120, -28, -328, 1, -332, -224, 60, 104, 142, -54, 224, 6, -16, -190, 0, -60, -32, 18, -2, -26, -284, 22, -16, 140, 120, 88, 0, -54, 44, 164, 2, -2, -2, 80, -24, -40, 4, -48, -420, 6, 160, -112, 142, 0, 228, 12, -84, 112, -18, 64, -74, 52, 202, 62, -288, -108, 94, -10, -120, 60, 208, 16, 68, 8, -36, -84, 64, 36, 26, -56, 44, -40, -2, 24, -64, 8, 34, -78, 122, 52, 432, 66, 0, -16, 7, -26, -28, -37, -274, -192, 22, -32, 288, -46, 36, -58, -144, -180, -168, -10, -44, 30, 20, -176, 156, -32, 32, 1, 92, 54, 112, -4, 78, -240, 156, 2, 1, 16, 16, -176, 6, -88, -80, -12, -448, -70, 148, -40, -298, -32, -280, -48, 84, -10, 188, 30, -128, 48, 8, 36, -158, 108, -28, 146, -8, 32, 72, 14, 90, 40, 18, 52, -496, -42, -136, -28, 42, 218, -4, -48, -88, -28, 78, -24, 52, 6, -12, -48, -120, -8, -48, 1, -110, -160, 0, -111, -308, 98, -200, 36, -16, 182, -54, -12, -132, -40, -250, -16, -206, -48, -36, 188, -8, 58, -208, -22, -6, -218, 64, -8, 30, 8, -96, -12, -12, 20, 168, -4, 304, -100, -16, -34, 26, -8, -192, -39, -48, -168, -32, 6, 242, 64, 0, -42, 188, 125, -74, -48, 26, -96, 80, -58, 236, -32, -110, -7, -176, 1, -268, 36, -24, 116, 200, -32, -32, 246, -3, 60, 24, -148, 128, -38, 20, -214, 96, -10, -84, -16, 38, 3, -112, -32, 220, -56, -26, -192, -64, 16, 9, 20, -12, 112, 38, -14, 440, 14, 44, -66, -96, -12, -186, -26, 56, -44, -298, 144, 36, 30, -8, -96, -48, 0, -64, -26, 148, -24, -162, -82, 24, 0, -12, -32, 228, -7, 92, -28, -32, 58, -28, 60, 68, 180, 232, -104, -20, 0, -124, 90, -92, -68, -32, -220, 208, -44, 112, -56, -244, 0, 62, 24, 14, -8, -14, 28, 144, 10, 24, 4, -24, 72, -278, -96, 10, -140, 188, 48, -64, 6, 96, 276, -64, 16, -74, 240, 6, 64, -54, 96, -4, -160, -104, -176, 192, 25, 20, 34, -6, 130, 358, -16, -280, 1, -14, 92, 576, -54, -368, -184, -378, 4, -76, -20, -272, 32, 136, 268, 184, -46, -38, -52, -64, 38, -106, -42, 200, -22, -104, 48, 52, 20, -42, 4, 72, 22, 576, 0, 236, 20, -2, -112, -128, -11, 180, -20, 100, -144, -298, -60, -80, 88, -124, 38, 36, 54, -72, 104, -24, 6, 160, 0, 156, 130, -176, 4, -432, 1, -182, -20, -28, -32, -154, 14, 200, 38, -12, 90, 0, 32, 142, -160, -66, -48, 234, 16, 16, -168, 48, -50, -160, -33, 377, -94, 2, 66, -168, -6, -104, 144, 18, -260, 44, 4, -352, 24, 96, -24, 162, -96, -168, 6, -18, 256, 200, 46, 174, -194, 106, 56, -272, 6, 14, -20, -228, -94, -112, -32, 94, -80, -64, 20, -422, -26, -176, 16, 8, 232, -160, 1, 240, -217, 16, -82, 32, 26, -40, -36, 48, -82, -36, 76, -64, -128, 150, 8, -44, -38, 148, 162, -48, -336, 192, -24, -182, -122, -33, 60, -482, 48, -40, -80, -116, 26, 208, 8, -112, 58, -10, 40, -160, -152, 0, 64, -50, 104, -472, -26, 52, 34, -7, -59, 44, 4, -168, 122, 32, 64, -32, 20, 364, -8, 0, -34, -448, -44, 96, -10, -248, 4, 38, 32, -142, -36, 11, -72, -70, -138, -64, 16, -38, -48, -20, -76, 54, 80, -6, 78, 80, 0, -52, -112, -16, -96, -64, -42, -60, 48, -76, 38, -90, 3, 344, -18, 192, -186, -160, 16, 62, -288, -26, 6, -524, 208, 18, -102, -8, -108, 24, -36, -208, 44, -166, 260, -96, -26, -8, -16, 60, -198, -108, 24, -308, -132, -16, 4, 0, -88, -80, 40, -112, 0, 112, 1, 50, 50, 116, -28, 238, 50, -144, 106, 25, 190, -168, -64, 44, -8, -48, 20, -366, 20, -48, 94, 56, 132, 24, -18, 90, 8, -22, -296, 14, 96, 280, 10, -160, -156, -416, 34, -16, -80, -194, -16, -86, 72, 96, -60, 198, -168, 0, -2, -16, 42, -62, 86, 134, 25, 32, -68, 228, -158, -118, 14, -160, -224, 56, -12, 450, -4, -324, 128, -8, -3, 112, 22, -216, -96, 112, 144, -2, -148, 144, -72, 1, -272, 244, -16, 38, -144, -32, 88, 432, 70, -108, -2, -184, 80, 96, 8, -238, 100, 128, 58, 422, 250, 86, 34, -128, -144, 228, 3, -180, -112, -50, -17, 612, 10, -172, 214, 48, -160, -232, 58, 34, -288, -108, 16, -88, -72, -32, 6, 44, 98, -400, 4, 122, -16, 22, 8, 42, -112, 124, -132, 64, -88, 184, -4, -80, -177, 20, -36, 214, 138, -456, 64, 36, -90, 200, -2, -10, -84, -80, -44, 210, -7, -48, 116, 192, -32, -256, -16, 20, -130, -4, 52, 496, 54, 48, 14, 0, -124, -12, 0, 32, 8, 42, -116, 482, 48, -96, 40, -8, -56, -16, 14, -156, 272, 50, 10, -122, -32, 16, 38, -292, 16, -464, 58, -194, 136, -64, -16, -222, 100, 52, -130, -18, 288, 432, 6, 167, 108, 130, 72, 124, 80, 264, 1, 10, 98, -124, 48, 352, -92, -2, 18, 246, -34, 34, 16, 160, 136, -72, 4, 42, 4, 0, -26, 118, 44, 40, -32, 4, 62, -76, -56, -4, 288, -308, -22, 16, -36, 220, -48, -82, -60, 104, 8, -54, -210, 42, 20, 366, 6, -128, -36, 272, 186, 64, 48, 64, 288, 14, 40, -9, 24, -192, -40, -96, 160, -16, 6, 112, -44, -67, 192, 92, -204, 296, 189, -4, 6, 532, 42, -152, 264, -164, -58, 10, -48, 0, -158, 160, 140, 152, 1, 128, -290, 4, 24, -10, 124, -208, -32, -124, -16, 164, 25, -50, 348, 16, 140, 432, 88, 368, 44, 42, 48, -24, -2, -236, 132, -166, -26, -96, 4, 216, 16, -6, -436, 220, 86, -2, 32, -18, 8, 192, 236, 288, 4, 120, 76, 120, 10, 90, -256, -92, -164, -58, 14, 14, -76, -48, -86, 420, -88, -164, 124, 0, -32, -102, -2, 76, 40, 72, 496, 112, 16, 36, 18, 76, -12, 48, 112, 88, 62, 112, 134, 272, 4, 182, -176, -90, -3, -172, -268, -272, 96, 6, 268, 280, -84]