# Trace form for 3675.2.a.bx, downloaded from the LMFDB on 23 April 2024.
[0, 4, 1, 4, 7, 0, 1, 0, 3, 4, 0, 8, 7, 7, 0, 0, 17, 6, 1, -3, 0, 0, -12, 2, 3, 0, 19, 4, 0, 16, 0, -9, 17, 8, -14, 0, 7, 8, -27, 7, 0, -4, 0, 5, 26, 0, -6, -6, 17, 0, 0, 6, 35, -6, 1, 0, 0, -3, 4, -10, 0, 20, -44, 0, 21, 0, -12, 1, -8, 2, 0, 22, 3, -4, -21, 0, 23, 0, 19, 8, 0, 4, 8, -2, 0, 0, 12, 16, 28, 10, 0, 0, -66, -9, -22, 0, 17, 12, 0, 8, 0, -14, -14, 20, 5, 0, 42, -20, 7, 21, 0, 8, 0, 8, -27, 0, 28, 7, 18, 0, 0, 36, 5, -4, -6, 0, 0, -8, 63, 5, 0, -20, 26, 0, -3, 0, -78, -2, -6, 32, 0, -6, -60, -38, 17, 0, 27, 0, 77, 26, 0, 6, -41, 6, 0, 0, 35, 0, 47, -6, 0, 0, 1, 18, -58, 0, 38, -8, 0, 35, 0, -3, -38, 24, 4, 0, 82, -10, 18, 8, 0, -15, 0, 20, -42, 0, -44, -24, -68, 0, 0, -30, 21, -39, 39, 0, 0, -2, -12, 18, 0, 1, 12, 0, -8, 0, -17, 2, 35, 34, 0, 30, -16, 22, -50, 0, 3, 0, -7, -4, 0, 28, -21, 46, 0, 0, 30, -10, 23, -33, 0, 0, 12, 62, 19, 0, 40, 8, 0, -14, 0, -24, -27, 4, 35, 0, 8, -17, -128, -2, 0, 50, 0, -20, 17, 0, -19, -68, 12, 0, 0, 16, -18, -50, 28, 0, 0, 10, -33, 2, 0, -56, -60, 0, -22, 0, -66, 17, -65, -9, 0, 38, -22, -3, -44, 0, -4, 0, 17, 8, 0, 12, -31, -46, 0, 0, -11, 8, 68, -42, 0, 0, -47, -14, 3, 0, -14, 1, 0, 20, 0, 26, 5, 31, -67, 0, 39, 4, 42, 32, 0, -20, 0, 8, 7, 0, -3, 21, 36, 0, 0, -40, -48, 8, 102, 0, 0, -1, 72, 8, 0, -14, -27, 0, -40, 0, -22, -6, 28, 16, 0, 7, 16, -58, 18, 0, 36, 0, 48, 46, 0, 7, 102, 36, 0, 0, 5, 69, -98, -4, 0, 0, -6, -13, -116, 0, -26, 28, 0, 37, 0, -8, -56, -14, 63, 0, -22, 5, 97, 52, 0, 40, 0, -20, -4, 0, 26, -5, -13, 0, 0, 8, -3, -10, -6, 0, 0, 68, -78, 47, 0, -2, -53, 0, -6, 0, 127, 32, -56, -26, 0, -32, 69, -6, 34, 0, -60, 0, -60, -38, 0, 2, 17, -17, 0, 0, 53, -58, 27, -2, 0, 0, -18, -64, 77, 0, 81, 26, 0, -12, 0, 4, -10, 6, -96, 0, -41, 4, -37, 6, 0, -20, 0, -12, 68, 0, 0, -44, 35, 0, 0, 0, 14, -66, 47, 0, 0, -6, -56, 12, 0, 25, 43, 0, -13, 0, 1, 91, 15, 18, 0, -14, -58, 24, -93, 0, -108, 0, 38, -29, 0, -8, -8, -12, 0, 0, -56, 35, 13, 2, 0, 0, 1, -3, 64, 0, -38, 28, 0, 24, 0, -4, 4, 61, -174, 0, -124, 66, 82, 48, 0, -10, 0, -70, 18, 0, -21, 8, -12, 0, 0, 69, 40, -15, -58, 0, 0, -4, 90, 20, 0, -12, -42, 0, -67, 0, 55, -22, -44, 38, 0, -24, 22, -52, -68, 0, 45, 0, -148, 46, 0, 11, 154, -30, 0, 0, 21, -25, 35, -39, 0, 0, 39, -104, -47, 0, -64, 20, 0, 100, 0, -2, 103, 58, -12, 0, -62, 18, -10, 108, 0, -43, 0, 1, -23, 0, 12, 76, -35, 0, 0, -108, -8, 0, -48, 0, 0, 42, -17, -23, 0, 2, -46, 0, 35, 0, 166, 34, -113, 6, 0, -26, 149, 30, -102, 0, -16, 0, -48, 22, 0, 58, -50, -12, 0, 0, -86, 12, 3, -60, 0, 0, 113, 56, -7, 0, -38, -4, 0, -4, 0, 88, -109, 28, 98, 0, -21, 8, 24, 46, 0, 40, 0, 24, -78, 0, -42, -42, 30, 0, 0, -10, -136, -28, 23, 0, 0, -33, -80, 76, 0, -4, 66, 0, -130, 0, 12, -36, 30, 62, 0, 66, 19, 103, -30, 0, -76, 0, 40, 0, 0, 8, 90, -24, 0, 0, -112, -14, 22, -34, 0, 0, -94, -24, 16, 0, -27, 23, 0, 4, 0, 62, 35, -52, 8, 0, -150, -10, 8, -28, 0, -17, 0, -142, -128, 0, -53, -2, 32, 0, 0, -52, -84, 50, 76, 0, 0, 36, 93, -20, 0, -64, 17, 0, -86, 0, -90, 80, -19, -45, 0, -68, -52, -4, 12, 0, 113, 0, 76, -66, 0, 76, 156, 16, 0, 0, -18, 62, -12, -50, 0, 0, 28, 35, -82, 0, 35, 6, 0, -8, 0, 10, 24, -136, -33, 0, -168, 2, 72, 38, 0, 114, 0, -56, -64, 0, -60, -72, -33, 0, 0, 62, -22, -38, -111, 0, 0, 126, -66, 20, 0, 17, 163, 0, -65, 0, 106, -9, 84, -16, 0, -52, 25, 38, -55, 0, -22, 0, -36, -3, 0, -122, -44, -129, 0, 0, -158, -126, -4, -136, 0, 0, -34, -38, 17, 0, 46, 8, 0, 24, 0, -21, -45, 12, 82, 0, -31, -12, 105, -46, 0, -122, 0, -51, -100, 0, -126, -64, -11, 0, 0, 8, 73, -12, 68, 0, 0, -42, 50, -36, 0, -4, 60, 0, -38, 0, -47, 108, -76, -14, 0, 22, 3, -20, -171, 0, -189, 0, -14, 7, 0, 1, 38, -76, 0, 0, -25, 20, 68, 24, 0, 0, 90, 26, 58, 0, 5, 3, 0, 31, 0, 28, -67, 100, 16, 0, -48, -48, 39, 97, 0, 4, 0, 54, 42, 0, 32, 32, 130, 0, 0, 69, -31, -20, 173, 0, 0, 92, -77, 8, 0, -82, 7, 0, 12, 0, 85, -70, -3, 56, 0, 21, 6, -50, 36, 0, -56, 0, -23, 96, 0, -79, -144, -40, 0, 0, -48, -88, 63, 8, 0, 0, 102, -16, 30, 0, -136, -88, 0, -61, 0, -1, -228, -54, 72, 0, -89, 8, 128, -18, 0, 20, 0, -14, -39, 0, -27, 31, -18, 0, 0, -76, -40, 45, -24, 0, 0, 30, -22, 5, 0, -6, -114, 0, 28, 0, 52, 16, -102, -2, 0, -45, -44, 7, 8, 0, 16, 0, 61, -58, 0, 54, 18, 74, 0, 0, 8, 20, 36, -9, 0, 0, -49, 32, 48, 0, 46, 46, 0, -32, 0, 112, 77, 7, -124, 0, 102, 57, -80, 36, 0, 86, 0, -21, 56, 0, 86, -98, 5, 0, 0, 69, -108, 16, -98, 0, 0, -4, 33, 44, 0, 8, -75, 0, 16, 0, -6, 88, 56, -13, 0, 24, -116, -43, 24, 0, 32, 0, -26, -57, 0, 28, -105, -20, 0, 0, -88, 37, -112, 20, 0, 0, -61, -8, 124, 0, -56, 85, 0, -14, 0, -46, 63, 3, 14, 0, 29, 0, -22, -15, 0, 5, 0, 48, 97, 0, 100, 52, -113, 0, 0, -74, -24, 40, 18, 0, 0, -48, -80, -20, 0, -72, -4, 0, 91, 0, -38, 60, 26, -16, 0, -5, 136, -32, -13, 0, -126, 0, 54, 18, 0, 28, 65, 8, 0, 0, -3, 132, 27, -10, 0, 0, -6, -20, -67, 0, -145, -24, 0, 8, 0, 68, -90, -16, -78, 0, -10, 47, -58, 110, 0, -16, 0, -2, 112, 0, -53, 20, 64, 0, 0, 66, -6, -112, 102, 0, 0, 20, 127, 56, 0, 32, 40, 0, -56, 0, -269, -26, -206, 0, 0, 101, -29, -32, 157, 0, 69, 0, -182, -6, 0, -90, 34, -29, 0, 0, 104, -72, -60, 10, 0, 0, 216, -108, -60, 0, 103, -38, 0, -92, 0, 6, 176, 2, 68, 0, 17, -61, 72, -17, 0, -32, 0, -74, 79, 0, -8, -44, 53, 0, 0, -58, -92, -42, 27, 0, 0, -2, -108, 38, 0, 92, -63, 0, -69, 0, -18, -6, 8, -64, 0, -12, 77, -25, -24, 0, 258, 0, 81, 7, 0, 26, -60, -86, 0, 0, 63, -12, -68, 32, 0, 0, 60, 4, -178, 0, -10, -120, 0, 6, 0, -58, -96, -24, 60, 0, 104, 18, -41, 40, 0, 4, 0, 122, -37, 0, -40, 6, 102, 0, 0, 135, 177, -20, 62, 0, 0, -77, -16, -12, 0, -52, 68, 0, 104, 0, 26, -156, 0, -67, 0, -44, 58, 10, 35, 0, -197, 0, 200, -26, 0, -64, 6, 0, 0, 0, 14, 77, -123, -66, 0, 0, 47, -8, 128, 0, 256, -70, 0, 100, 0, -6, 40, 92, -56, 0, 60, 12, -216, 34, 0, -88, 0, 25, 48, 0, 43, 53, 170, 0, 0, -116, -13, 129, 91, 0, 0, -2, 1, -144, 0, 91, 152, 0, 15, 0, 67, 18, 198, 118, 0, 43, -98, -14, -28, 0, -58, 0, 9, 24, 0, 48, -93, 128, 0, 0, 2, -40, -108, -52, 0, 0, -113, 42, 38, 0, -112, -29, 0, -52, 0, -71, 245, -8, -202, 0, -8, 148, 140, -12, 0, 98, 0, -52, 17, 0, 19, -128, -56, 0, 0, 35, 70, 26, 13, 0, 0, 2, 0, 184, 0, 83, -66, 0, 14, 0, 1, -24, 142, -3, 0, 70, 64, 1, -90, 0, 20, 0, -38, 92, 0, 28, 195, 60, 0, 0, 294, 24, 168, -12, 0, 0, -296, -4, 72, 0, 4, -27, 0, 61, 0, -148, -174, -17, -41, 0, 164, -120, -124, -10, 0, 66, 0, 4, 82, 0, 95, 48, -136, 0, 0, -105, 201, -10, -38, 0, 0, -160, 96, -70, 0, -56, 18, 0, 102, 0, -4, 96, -21, -25, 0, 8, -228, 92, -12, 0, 26, 0, -30, -68, 0, 111, 123, 69, 0, 0, 40, 56, 298, -15, 0, 0, -58, 176, 16, 0, 31, 118, 0, -16, 0, -4, -64, -74, 90, 0, 31, 20, -107, -50, 0, 153, 0, -12, 112, 0, -42, 8, 115, 0, 0, 180, -67, -15, 121, 0, 0, 90, 55, -88, 0, -22, -300, 0, -44, 0, -94, 38, -22, 46, 0, -28, -13, -24, -41, 0, 22, 0, 139, -52, 0, -20, -68, -137, 0, 0, 94, 28, 45, 52, 0, 0, 22, -126, -148, 0, -38, 46, 0, 86, 0, -40, -208, 11, -38, 0, 154, -88, -44, -30, 0, -222, 0, 52, -42, 0, 98, -68, 21, 0, 0, -25, 8, 82, 35, 0, 0, -39, 164, -86, 0, 109, -5, 0, 57, 0, 39, -48, 18, -104, 0, 134, -47, 40, 99, 0, 65, 0, -64, -11, 0, 20, -160, 34, 0, 0, 109, 100, -314, 80, 0, 0, -318, -2, 42, 0, 103, 104, 0, 58, 0, -62, -12, 26, 299, 0, 134, -8, -62, -131, 0, 18, 0, 124, -10, 0, 104, 108, -176, 0, 0, 59, 124, -43, -260, 0, 0, -65, -62, 1, 0, 96, -23, 0, 223, 0, -128, -46, 12, 68, 0, 76, -94, -8, -35, 0, 144, 0, 7, 38, 0, -52, -7, -108, 0, 0, -8, -64, -60, 0, 0, 0, -48, -5, -222, 0, -92, -128, 0, -43, 0, 42, 171, 80, -17, 0, 84, -23, -44, -86, 0, -107, 0, 2, -36, 0, -46, 58, 14, 0, 0, -10, 35, 109, -194, 0, 0, 88, 166, -4, 0, 34, 74, 0, -113, 0, -72, 6, 134, 84, 0, -45, -100, -26, 146, 0, 149, 0, 65, 30, 0, 78, -102, 176, 0, 0, -64, 4, -16, 88, 0, 0, -88, 36, -48, 0, 276, 22, 0, -2, 0, 84, 29, 58, 145, 0, -50, 120, 173, -12, 0, 150, 0, -5, -225, 0, 9, 6, -86, 0, 0, 12, 52, 4, 3, 0, 0, -60, 206, -142, 0, -69, 85, 0, -64, 0, 113, -59, 68, 56, 0, -110, -7, -191, 106, 0, 138, 0, -38, -88, 0, -4, -32, 96, 0, 0, -7, -4, 80, 62, 0, 0, -104, 88, -288, 0, -109, -192, 0, 28, 0, -166, 98, 120, -135, 0, 97, -130, -21, -94, 0, 8, 0, 96, 24, 0, -40, 46, 16, 0, 0, -16, 116, 40, 90, 0, 0, -139, -146, 24, 0, 10, -78, 0, 64, 0, -64, 0, -42, 15, 0, -42, -109, 80, 30, 0, 160, 0, 12, -38, 0, -45, 113, -10, 0, 0, -136, -32, 3, -28, 0, 0, 23, 96, 173, 0, 196, 122, 0, 88, 0, -33, -94, -36, -80, 0, -55, 76, -268, -48, 0, 25, 0, -4, -70, 0, 66, -12, -51, 0, 0, 64, -130, -142, -274, 0, 0, 30, 12, -19, 0, -36, 338, 0, 30, 0, -298, 62, 108, -64, 0, 108, 96, 66, -236, 0, 19, 0, 348, 103, 0, -124, -30, -21, 0, 0, 19, -16, -76, 25, 0, 0, -60, -102, 40, 0, 81, 0, 0, -96, 0, -48, -26, 8, 104, 0, 90, 21, 50, -24, 0, -172, 0, 1, -75, 0, -84, -86, -112, 0, 0, -14, 128, 36, 22, 0, 0, -34, 106, 90, 0, 48, 52, 0, 9, 0, -94, 172, 140, -24, 0, 72, 16, 12, 92, 0, 6, 0, -27, -1, 0, 23, -90, 54, 0, 0, 138, 4, 28, 276, 0, 0, 194, 62, -106, 0, 35, 23, 0, -52, 0, 98, 8, -199, 92, 0, 126, -64, -150, -24, 0, -10, 0, -12, 8, 0, -169, -28, 26, 0, 0, 177, 140, -17, 109, 0, 0, 44, -132, -142, 0, -146, -128, 0, 209, 0, -112, -150, -53, 107, 0, -2, -26, -8, 32, 0, -20, 0, -98, -62, 0, 99, -66, -52, 0, 0, -84, 40, 198, 50, 0, 0, 76, 1, 219, 0, -208, -40, 0, 44, 0, 36, -268, -22, 93, 0, 114, -20, 78, 90, 0, 109, 0, -64, 221, 0, 17, 180, 206, 0, 0, 32, -86, 65, -340, 0, 0, -24, -90, -31, 0, 80, -232, 0, -19, 0, -113, -45, 40, -52, 0, -29, -99, -68, 94, 0, -52, 0, -135, -4, 0, -8, 12, -44, 0, 0, 124, -8, 113, -112, 0, 0, -56, 110, 76, 0, 19, -66, 0, -100, 0, -33, 155, 76, -112, 0, 156, -34, 174, 16, 0, 124, 0, 152, -128, 0, 288, 92, -18, 0, 0, 62, 126, 74, -12, 0, 0, -50, -33, 186, 0, -14, 158, 0, 100, 0, 28, -88, 32, 35, 0, 44, -82, 106, 58, 0, -208, 0, 35, 103, 0, 6, -406, 124, 0, 0, 316, -8, -136, 142, 0, 0, 115, 10, 13, 0, 24, -8, 0, -136, 0, -32, -33, -5, 56, 0, 63, -170, -168, -104, 0, 2, 0, -2, 72, 0, 6, 38, -7, 0, 0, -204, 23, 114, 38, 0, 0, -4, -68, -56, 0, 10, -64, 0, -112, 0, 210, -190, -60, -181, 0, -72, 202, 148, -33, 0, -164, 0, -6, -54, 0, 40, 157, 62, 0, 0, -22, -124, -48, -38, 0, 0, -111, 72, 58, 0, -74, 82, 0, -61, 0, 126, 190, -254, -66, 0, -40, 20, -58, -98, 0, -72, 0, 17, 48, 0, 163, 140, 94, 0, 0, -20, -65, -4, 282, 0, 0, -22, 106, -28, 0, -9, -315, 0, 84, 0, 116, -16, -98, 38, 0, -32, 165, -52, 199, 0, 25, 0, 219, 38, 0, -186, -55, -16, 0, 0, -370, -30, -22, -85, 0, 0, 248, -2, -36, 0, 41, -3, 0, 82, 0, -8, 112, -122, -112, 0, -44, 31, -5, -129, 0, -188, 0, 88, 108, 0, -62, -62, -158, 0, 0, -126, -285, -178, -4, 0, 0, -136, -8, 50, 0, 40, 197, 0, 38, 0, -34, -205, 202, -38, 0, 70, 17, -92, 223, 0, 164, 0, 46, 52, 0, 8, -330, 138, 0, 0, 71, 24, 231, 88, 0, 0, 10, -21, 116, 0, -45, 111, 0, 12, 0, -108, 82, 25, -18, 0, -20, 10, -31, 52, 0, -12, 0, 158, 105, 0, -106, -46, -244, 0, 0, 121, 77, -122, 143, 0, 0, -76, -355, -51, 0, -4, -100, 0, 43, 0, 18, -16, -126, -104, 0, -64, -116, -12, -11, 0, 132, 0, -264, 202, 0, 49, 164, 8, 0, 0, 73, -108, 29, -12, 0, 0, 68, 48, 130, 0, -86, -140, 0, -139, 0, -42, 357, 116, 50, 0, -226, -36, -148, -96, 0, -112, 0, -4, 16, 0, 60, -77, 18, 0, 0, -116, -38, 0, -28, 0, 0, 238, -47, -30, 0, 108, -30, 0, -76, 0, -88, -14, -496, -118, 0, -115, 6, 22, 184, 0, 3, 0, -308, -20, 0, 68, -171, 13, 0, 0, -22, 50, -189, 104, 0, 0, 44, 90, -14, 0, -68, 7, 0, -102, 0, 140, 94, 1, 161, 0, 38, 130, 198, -76, 0, -46, 0, -140, 31, 0, -390, -12, -25, 0, 0, 20, -230, 170, 68, 0, 0, 24, -76, -2, 0, -32, 238, 0, -40, 0, 90, 16, 93, 26, 0, -42, 58, -123, 412, 0, -30, 0, 5, -24, 0, 3, 241, 48, 0, 0, -26, 31, -290, -44, 0, 0, 112, 28, -160, 0, -67, -132, 0, 100, 0, -250, 16, 72, 63, 0, -65, 170, -48, -172, 0, -48, 0, 56, 39, 0, 8, 97, 126, 0, 0, 18, 288, 4, -218, 0, 0, 23, -65, 54, 0, 46, 42, 0, -104, 0, 110, -30, 32, 59, 0, 32, 178, 82, 130, 0, -234, 0, 42, -194, 0, 48, -40, 69, 0, 0, -31, 45, -298, -20, 0, 0, 173, 36, -28, 0, 54, -18, 0, 17, 0, 92, -6, -16, -77, 0, -103, 8, 25, -6, 0, 44, 0, -82, 296, 0, 7, -105, 36, 0, 0, -58, 12, -24, -20, 0, 0, -10, 85, -56, 0, -70, -119, 0, -3, 0, 200, 56, 122, -4, 0, -36, 84, 21, -138, 0, 6, 0, -114, -50, 0, -236, 36, -88, 0, 0, -83, -46, -56, 168, 0, 0, 56, -202, -23, 0, 87, 96, 0, -144, 0, -34, -142, -79, -226, 0, -144, -293, 227, -40, 0, -92, 0, 21, -279, 0, 198, 80, -48, 0, 0, -88, -12, -20, 63, 0, 0, 8, -326, 36, 0]