# Trace form for 4425.2.a.x, downloaded from the LMFDB on 14 June 2024.
[0, 3, 1, 3, 3, 0, 1, 2, 3, 3, 0, -8, 3, 4, -12, 0, -1, -2, 1, -14, 0, 2, -2, -12, 3, 0, -12, 3, -16, -16, 0, -8, 7, -8, 16, 0, 3, -12, -18, 4, 0, -18, -12, 14, -32, 0, -12, 0, -1, 11, 0, -2, 10, 2, 1, 0, -16, -14, -10, 3, 0, 4, -12, 2, -17, 0, -2, 22, 30, -12, 0, -4, 3, -20, 0, 0, -8, 18, -12, -30, 0, 3, -6, 28, -16, 0, 26, -16, -32, 6, 0, 10, -40, -8, 0, 0, 7, -6, 21, -8, 0, -14, 16, -4, 10, 0, 36, 16, 3, -18, 0, -12, -8, -8, -18, 0, -6, 4, 1, -50, 0, 37, 58, -18, 12, 0, -12, 12, -41, 14, 0, -28, -32, -2, -22, 0, 30, -18, -12, 20, 0, 0, 8, -36, -1, 0, 24, 11, 2, -22, 0, 22, -8, -2, 80, 0, 10, -18, -14, 2, 0, 28, 1, -16, -18, 0, 8, 24, -16, -1, 0, -14, 36, -18, -10, 0, 28, 3, 0, -36, 0, 2, -28, 4, -40, 0, -12, -42, 0, 2, 0, 16, -17, 46, 34, 0, 19, -30, -2, -18, 0, 22, -14, -16, 30, 0, 32, -12, -34, 12, 0, -54, -6, -4, 6, 0, 3, -16, -14, -20, 0, -4, 0, -26, 48, 0, 2, -22, -8, -4, 0, 18, -6, 26, -12, 0, 3, -30, -56, -2, 0, 8, 15, 3, 18, 0, -6, 14, 12, 28, 0, -16, -16, 80, -40, 0, -1, 34, 26, -26, 0, -16, 34, 40, -32, 0, 44, 6, -28, 2, 0, 36, 2, 10, -50, 0, -40, -16, 8, -8, 0, -16, 0, 12, -24, 0, 58, -12, 7, 31, 0, -6, -18, -6, 21, 0, 2, -8, -60, -28, 0, -34, -40, -14, -28, 0, 16, 10, 40, -4, 0, -24, 10, -42, -58, 0, -44, 6, 36, 18, 0, 16, 104, 8, 3, 0, 72, -18, -18, 0, 0, -50, 76, -12, -18, 0, -8, 52, -75, -8, 0, -28, -18, -32, 36, 0, 2, -38, -6, 56, 0, 4, 4, 12, 1, 0, 78, -50, 14, 2, 0, 41, -86, 37, 32, 0, 58, 14, 16, -18, 0, -26, 12, 30, -114, 0, 0, -2, -12, 26, 0, 12, 50, 4, -41, 0, -10, 14, -38, 28, 0, -56, 19, -28, -80, 0, -32, 0, -70, -2, 0, -34, -22, 28, 6, 0, 44, 8, 30, 16, 0, -18, 60, 2, -12, 0, 30, 20, 70, 4, 0, -2, -32, 0, -6, 0, 8, -68, -8, -36, 0, 8, -1, -22, -8, 0, -46, 44, 24, 14, 0, 11, 26, 28, 2, 0, 40, -22, 32, 16, 0, 48, -18, 22, -80, 0, -8, -32, 22, -2, 0, -22, 80, 0, -14, 0, 18, -66, 10, 94, 0, -18, 3, -60, -14, 0, -56, 2, -4, -40, 0, -10, 48, 28, 99, 0, 1, 24, 18, -16, 0, -26, -18, 26, 10, 0, -36, 8, 8, 8, 0, 24, 40, -26, -16, 0, 76, -1, 16, -14, 0, -46, -9, -14, 72, 0, 36, 0, 20, -18, 0, -12, -10, -12, -8, 0, -46, 36, 28, 35, 0, 3, 128, -24, 0, 0, -28, -36, 32, -28, 0, 18, 108, 2, -70, 0, -28, 16, -14, 4, 0, 94, -40, -2, 86, 0, -28, -30, -12, -2, 0, -42, 34, 36, 0, 0, -20, 2, -24, 14, 0, 8, -28, 16, 72, 0, -17, -30, 85, 46, 0, -28, 34, 46, -18, 0, -82, -56, 19, 76, 0, -30, -2, -22, -2, 0, -22, -18, 52, 2, 0, 16, -100, 22, -12, 0, -14, -88, -12, -16, 0, 0, 30, -30, 84, 0, 40, -54, 32, -18, 0, -12, 8, -66, -34, 0, -94, 12, -42, 40, 0, 2, -44, -54, 24, 0, -6, -12, 24, -4, 0, -34, 6, -70, 96, 0, -70, -16, 3, -8, 0, -16, 44, 42, -14, 0, 6, -20, 0, -48, 0, 24, -74, -4, 76, 0, 0, 44, 12, -26, 0, 18, 48, -26, 48, 0, 1, -62, 2, -8, 0, -22, 32, 38, -8, 0, 24, -4, 16, -76, 0, 54, 10, 18, -16, 0, -6, 12, -54, 26, 0, -30, -12, 62, 68, 0, -2, -20, 3, -24, 0, -30, 78, -8, -56, 0, -24, -2, -60, -4, 0, -100, 99, 8, -38, 0, 15, 40, 32, 3, 0, 56, 18, -10, -14, 0, 16, 12, -6, 24, 0, 14, 8, -76, 12, 0, 10, 28, -76, 34, 0, -4, 0, -16, 40, 0, -16, 80, 50, 80, 0, -60, -40, 24, -12, 0, 90, 4, -1, 48, 0, 34, 10, 36, 26, 0, -38, -26, 82, 84, 0, 60, -156, -16, 23, 0, 34, 82, -38, 40, 0, 0, -32, -94, 48, 0, -84, 14, 44, 0, 0, 6, -34, 80, -28, 0, -16, 2, 6, -2, 0, -4, 104, 36, -26, 0, 2, -86, -46, 10, 0, 46, -50, 18, 60, 0, -12, -40, -40, 104, 0, -16, -2, 26, 8, 0, 164, -8, -146, -64, 0, 13, 22, -16, -24, 0, 0, -40, 78, 12, 0, 20, -24, 16, -44, 0, -8, 32, 58, 60, 0, -12, 10, -24, 7, 0, -22, 31, 80, 104, 0, 38, -46, -6, 124, 0, -18, -80, -6, -6, 0, -54, 21, -86, -40, 0, -24, -38, 2, 48, 0, -8, -40, 0, -60, 0, 16, -28, 114, 72, 0, 18, 12, -34, -18, 0, -40, 72, -92, -14, 0, 44, -28, -172, -92, 0, -54, -82, 16, 32, 0, 10, 114, -44, 40, 0, -24, -4, -38, 38, 0, -78, 6, -24, -32, 0, 10, 10, 12, -42, 0, 10, -58, 72, -1, 0, -138, -72, -44, -86, 0, 6, -56, 114, 36, 0, -40, 18, -68, 28, 0, -13, 46, 16, 114, 0, 104, -22, 99, 8, 0, 40, 3, 60, -48, 0, 98, -42, 72, -162, 0, -18, 28, 4, -18, 0, -60, 0, -20, -100, 0, 64, -20, -50, 56, 0, 76, 2, 48, -12, 0, -102, -18, -2, -68, 0, 52, -88, -8, 86, 0, 52, 200, -26, -75, 0, 16, -8, 28, -76, 0, -38, 76, -28, 15, 0, -18, -46, 62, -32, 0, -44, 36, -22, 0, 0, 48, 82, 2, 6, 0, -38, -10, 38, -6, 0, -40, 56, -8, 4, 0, -28, -36, 4, 8, 0, 4, 96, 129, 12, 0, -10, 1, 6, 128, 0, 72, 116, 78, 4, 0, -50, -16, 74, 14, 0, 138, 2, -102, 88, 0, 0, 42, 41, 56, 0, -86, 16, -54, 37, 0, 70, 32, 94, 88, 0, -14, 26, 58, 64, 0, 14, 100, 36, 16, 0, 148, -18, 14, 14, 0, -12, -28, -26, -112, 0, 12, -24, -14, 30, 0, -14, -114, 142, -10, 0, 136, -60, 0, 32, 0, -2, -72, -84, -12, 0, 40, 26, -90, -144, 0, -148, 56, 12, -28, 0, 50, 52, 96, 4, 0, -144, -41, 10, 6, 0, 29, 84, -10, -118, 0, 14, -208, 62, -38, 0, -170, 28, 66, 54, 0, 14, 30, -56, -8, 0, 19, 6, 56, -28, 0, 28, -80, 72, -50, 0, -52, 68, -32, 96, 0, 0, -22, -66, -70, 0, -24, -2, 60, 96, 0, -16, 42, -34, -160, 0, -22, -28, -12, 28, 0, -48, 6, 48, 24, 0, 100, 22, 44, 8, 0, 8, 0, 74, 30, 0, -34, 16, 108, -54, 0, 16, 120, -18, -44, 0, 60, -6, 62, 2, 0, 48, -12, 46, 32, 0, -168, -74, 30, 58, 0, 20, -6, -62, 70, 0, -42, 4, -18, -26, 0, -112, 54, -2, 16, 0, -32, 128, 162, 0, 0, 48, -6, -94, 0, 0, 160, 76, 8, 108, 0, -68, 26, 50, -8, 0, 40, -36, 96, -34, 0, 42, -220, 8, 94, 0, -1, -16, -2, -22, 0, -76, -8, -68, 44, 0, -72, 48, -46, 106, 0, 44, -42, 20, 24, 0, 0, 14, -14, 80, 0, 64, 68, 11, -40, 0, 26, -20, -60, 28, 0, -132, 2, -36, 72, 0, 12, -6, 40, -8, 0, -22, -300, -12, 32, 0, -142, 16, 54, -20, 0, 92, 1, 48, -134, 0, -18, -12, 88, 22, 0, -80, -80, 0, 64, 0, 64, -18, -8, -49, 0, -32, -16, 10, 22, 0, -32, -2, 106, 58, 0, -26, 84, -22, 10, 0, 80, 34, -76, 0, 0, -4, -14, 118, -96, 0, -14, -84, 18, -68, 0, -66, 40, -44, 10, 0, 46, 94, 132, 30, 0, 76, 70, -18, 16, 0, 3, -36, -40, -60, 0, -68, -14, -26, -78, 0, 48, -12, -56, -38, 0, 2, -24, 66, -4, 0, -184, -40, -122, 4, 0, 78, -112, -10, -29, 0, 48, 2, -38, 28, 0, 26, 99, 70, -44, 0, -88, 0, 1, -62, 0, 24, 162, -210, 18, 0, 34, -16, -104, -30, 0, 6, 112, -26, 182, 0, -18, -52, -116, 26, 0, -50, 10, 34, -152, 0, 30, -44, -36, 142, 0, 8, 30, -10, 8, 0, -76, 8, -16, 12, 0, 134, -68, 24, 0, 0, 40, -4, -44, -26, 0, -82, -16, 138, 66, 0, -40, 72, 76, -48, 0, -1, 10, -20, 16, 0, 128, -14, -12, 44, 0, 20, -28, -46, -12, 0, -9, -54, -50, -14, 0, 12, 72, -52, 10, 0, 50, 6, 36, 60, 0, 0, 106, 22, 20, 0, 98, -18, 108, 8, 0, -52, -24, -12, -168, 0, -10, -188, -17, -12, 0, 40, -8, 106, -64, 0, -38, -80, -46, -60, 0, 36, 52, -12, 28, 0, 140, 35, 10, 128, 0, -34, -84, 3, -162, 0, 128, 114, 0, -24, 0, -86, 0, 24, -166, 0, -142, 12, -28, 56, 0, -36, -8, 114, 32, 0, -34, -28, -150, -88, 0, 12, -44, 18, 104, 0, 108, -70, 92, 2, 0, 28, -70, 56, -170, 0, 126, 126, -28, 6, 0, 16, -22, -92, -14, 0, 14, 4, 4, -24, 0, 108, -16, 94, 84, 0, -40, -8, -80, -2, 0, -38, 86, 114, -34, 0, 100, -8, -28, -120, 0, -30, 164, 40, -12, 0, -64, -2, -66, 76, 0, -15, 43, -42, 130, 0, 34, -146, -24, 36, 0, 48, 0, -30, -272, 0, -58, 18, -20, 18, 0, 2, -4, -104, -24, 0, -62, 14, -248, -100, 0, -16, 20, 8, -10, 0, -28, 40, 48, 16, 0, 10, 72, -102, 60, 0, -132, 44, -17, 38, 0, -30, -126, -62, 85, 0, 80, 46, 54, 0, 0, -82, -126, -28, 18, 0, 34, 12, 216, 46, 0, 164, -18, -8, -6, 0, -76, -4, -82, -6, 0, -56, 30, -84, 19, 0, -84, 76, -40, -64, 0, -116, -36, -30, -64, 0, -2, 10, -56, -22, 0, 68, -2, -10, -40, 0, 0, 68, -22, 14, 0, -18, 144, 0, 52, 0, 54, 2, 64, -66, 0, 116, 22, 16, 192, 0, -100, -24, 22, 22, 0, -28, -12, -36, 16, 0, -92, 148, -14, -58, 0, -88, -68, -4, -12, 0, -60, -16, -106, -8, 0, 114, -54, 0, 72, 0, 30, -66, 196, -30, 0, 162, 84, -76, 34, 0, 64, 42, 40, 1, 0, -54, -84, -52, 32, 0, 90, -18, -82, -76, 0, -76, -126, -12, 6, 0, 8, -78, -180, -66, 0, -88, -34, 8, -82, 0, 0, -62, -94, 30, 0, 12, -188, -166, -42, 0, 72, 40, 7, 118, 0, -96, -236, 2, 30, 0, -44, -92, 170, -54, 0, -58, 24, 0, -56, 0, 100, 20, -6, -208, 0, -12, -40, -66, 24, 0, 32, -4, 64, 104, 0, -10, 1, -34, -48, 0, 6, 0, 114, -70, 0, -100, 96, 156, 118, 0, -69, 76, -70, -132, 0, -16, 140, -138, 3, 0, 16, -8, 144, 22, 0, -94, -118, -16, -2, 0, 44, 16, -66, 42, 0, -16, -14, 90, 76, 0, 100, -56, 6, 98, 0, -20, -188, 62, 0, 0, -20, -48, -228, 44, 0, 116, 48, 24, 44, 0, -74, -44, -16, -4, 0, -12, 76, -74, 218, 0, -44, -44, 0, -124, 0, 44, 128, 30, 12, 0, 16, -26, -68, -66, 0, -6, 160, 18, -110, 0, 48, -20, -22, -26, 0, 0, 48, -52, 200, 0, -70, 80, 1, 28, 0, -62, -96, -100, 2, 0, 74, -8, -64, -164, 0, 56, -66, -22, -16, 0, 32, -168, 71, 38, 0, 40, -8, 92, 122, 0, 62, 102, 24, -8, 0, -4, -96, -92, 16, 0, 114, -76, 0, 44, 0, 72, 48, 54, 120, 0, 10, -100, 70, 18, 0, -74, -16, 148, 46, 0, 88, -88, -6, -24, 0, 12, 20, -84, -54, 0, 76, 26, -174, 120, 0, 58, 144, -30, -36, 0, -12, 94, -136, 62, 0, -118, 68, -76, -20, 0, 235, 78, -2, -116, 0, -20, -152, -76, 3, 0, 28, -24, -40, -142, 0, 98, -60, -30, -144, 0, 78, -36, -56, -8, 0, 140, -56, 106, 160, 0, 24, 18, -24, -172, 0, -2, 138, -14, -60, 0, -168, -4, -164, -44, 0, -84, 0, -100, -14, 0, 99, 26, 56, 8, 0, 72, -38, -12, 4, 0, -38, -88, 15, -76, 0, 40, -4, -12, 32, 0, -18, 3, -116, 116, 0, 16, -86, 56, -114, 0, 18, 98, 120, -10, 0, -48, -14, 22, -8, 0, -96, 62, 16, -141, 0, 12, 176, -30, -6, 0, 14, 24, 36, -174, 0, 16, 36, 14, 44, 0, 8, 102, -150, -76, 0, 88, 12, -148, 176, 0, 4, 154, 10, 22, 0, 28, -18, 88, -76, 0, 18, 34, -10, -12, 0, -40, -4, -4, -164, 0, 0, -2, 86, -16, 0, 306, 40, -4, -72, 0, -228, 100, -16, -32, 0, 80, -8, 52, 50, 0, -54, 80, -62, 72, 0, 38, -56, -60, -16, 0, -40, -120, 144, 24, 0, 150, -12, -110, 48, 0, 96, -46, 90, -116, 0, 4, 46, 0, -1, 0, 138, 48, 26, 50, 0, -50, 29, 34, -102, 0, 10, 14, -208, 36, 0, 70, 26, 16, -144, 0, 44, -88, -38, -24, 0, -26, -76, -168, 82, 0, -110, 84, -72, -104, 0, -4, 120, 60, 30, 0, -156, 132, -124, -16, 0, -8, 23, 136, 10, 0, -80, 54, 34, 2, 0, 82, -142, -108, -38, 0, 0, 40, 46, -112, 0, 66, 6, 0, 102, 0, -32, 86, 60, -94, 0, -110, 48, -82, -98, 0, -10, -152, -84, -114, 0, 14, -24, 22, 44, 0, -80, 0, 80, 116, 0, -149, 108, 6, 118, 0, -34, -100, -160, 80, 0, -32, -28, 36, -72, 0, -68, 26, -16, -18, 0, 2, 16, -72, 6, 0, -88, -2, -112, 16, 0, 110, 212, -4, -162, 0, 104, 52, -204, 36, 0, -140, -26, 180, 0, 0, -112, -24, 2, 60, 0, -86, -114, 146, -46, 0, 108, 10, -154, -24, 0, -16, -132, 46, -128, 0, -50, 36, -66, 18, 0, -44, 60, 20, -254, 0, -96, -214, -12, -138, 0, -40, -70, -96, -40, 0, -8, 104, 32, 64, 0, 0, -24, -16, -132, 0, -2, 126, -54, 26, 0, -24, 8, 34, -6, 0, 120, 128, 164, 76, 0, -8, -74, 248, -146, 0, -96, -64, -108, 134, 0, -72, 164, 13, -180, 0, 22, 12, -48, -16, 0, 74, -24, -38, 72, 0, 162, 14, 0, -76, 0, -40, 72, -140, 78, 0, 6, 12, 2, 4, 0, 126, 160, 20, -110, 0, -24, 208, 48, 16, 0, 92, -44, -20, -114, 0, -24, -130, -8, 146, 0, 32, 20, 24, 58, 0, 112, 60, -116, 56, 0, 42, -132, -12, -220, 0, 10, 38, -116, -24, 0, 88, 7, 44, 32, 0, -32, 78, -22, 52, 0, 31, -182, 176, 80, 0, 72, 104, 100, 118, 0, 20, -22, 38, -34, 0, -46, 108, 236, -6, 0, 98, 124, 146, 102, 0, 8, -4, -18, 78, 0, -80, 0, -30, -6, 0, -120, -6, 96, 0, 0, -144, -6, -54, -82, 0, 21, -170, -40, -86, 0, -188, -40, 42, -140, 0, 20, 82, -24, -66, 0, -38, -78, -122, 2, 0, -56, 48, 192, -88, 0, -54, -48, -8, -8, 0, -40, -36, 52, 0, 0, -54, -60, 82, -184, 0, -206, -90, 16, -16, 0, -28, 34, 112, 114, 0, 54, 72, 16, 180, 0, 82, -112, 18, -151, 0, 12, 112, -90, -34, 0, 112, -18, -136, -12, 0, -112, 36, -40, -90, 0, 72, 166, -124, -92, 0, 0, -14, 64, 8, 0, 42, 244, 44, -132, 0, -28, 212, -35, -172, 0, -54, -92, -14, -16, 0, 138, -132, -54, 64, 0, -82, -144, 64, 16, 0, -64, 32, 136, 132, 0, 192, -22, 10, 48, 0, 114, -276, -6, -44, 0, 208, 40, 0, 26, 0, -76, 14, -24, -58, 0, -4, -38, -272, -38, 0, 204, 38, -180, -150, 0, 102, -14, -78, 208, 0, 6, 84, -184, -24, 0, -122, -32, -26, 66, 0, -384, 132, 10, 35, 0, 10, -60, -36, 12, 0, 20, -42, 240, -50, 0, 80, 292, 10, 70, 0, -58, -86, 112, 72, 0, 208, -1, -30, 76, 0, 22, -2, -138, -66, 0, -72, -106, 26, -44, 0, 96, -86, -54, -50, 0, 76, 64, 6, -156, 0, -56, 176, -94, 114, 0, -168, 36, -48, 52, 0, -10, 0, -40, -42, 0, 18, -184, -70, -68, 0, -84, 28, 130, -4, 0, -6, -218, -13, -112, 0, 46, -26, -29, 16, 0, 11, 114, -14, 166, 0, -134, -92, 104, -146, 0, -22, -56, -188, 99, 0, 98, 8, 208, 6, 0, 24, 64, 40, 0, 0, 3, 8, 88, 60, 0, -56, -48, 106, 268, 0, -352, 44, 98, 104, 0, -42, -90, 218, 72, 0, -104, -162, 56, -20, 0, 76, -4, -18, 208, 0, 28, -156, -76, 4, 0, 46, -18, 140, 156, 0, 64, -106, -60, -246, 0, 0, -36, 14, -20, 0, -94, -100, -152, -144, 0, -166, -172, 64, 102, 0, -20, -102, 114, -50, 0, -40, 56, 164, 30, 0, -74, 52, 76, 128, 0, 2, -152, 120, 48, 0, -88, -12, 126, 134, 0]