# Trace form for 8025.2.a.bb, downloaded from the LMFDB on 06 May 2024.
[0, 7, 0, 7, 14, 0, 0, -6, -3, 7, 0, 4, 14, -6, 12, 0, 32, 10, 0, 8, 0, -6, -10, -6, -3, 0, 7, 7, -8, 0, 0, 16, -6, 4, -11, 0, 14, -10, 13, -6, 0, -2, 12, -2, 2, 0, -30, -16, 32, 17, 0, 10, 23, 16, 0, 0, 30, 8, 56, 20, 0, 2, 52, -6, 43, 0, -10, -30, 61, -6, 0, 32, -3, 12, -1, 0, -49, 46, 7, 36, 0, 7, -2, 10, -8, 0, -20, 0, 14, -4, 0, 12, -10, 16, -26, 0, -6, -24, -8, 4, 0, -16, -11, -36, 32, 0, -4, -7, 14, 6, 0, -10, -20, 6, 13, 0, -6, -6, -8, 42, 0, 5, 31, -2, 38, 0, 12, -14, -96, -2, 0, 8, 2, -16, 28, 0, -44, -8, -30, 4, 0, -16, -41, -18, 32, 0, 4, 17, -3, 10, 0, 36, -2, 10, 20, 0, 23, 32, 4, 16, 0, -12, 0, -8, 90, 0, 22, -8, 30, -15, 0, 8, 60, 60, 56, 0, -20, 20, 18, 12, 0, -8, -48, 2, -94, 0, 52, 64, -70, -6, 0, 108, 43, -8, 48, 0, -4, 14, -10, -12, 0, -30, 4, 24, 61, 0, -20, -6, -19, 6, 0, 14, 58, 32, 0, 0, -3, 8, -84, 12, 0, -18, -1, 12, 156, 0, -55, 0, -49, 12, 0, 46, 120, 14, 7, 0, 108, 36, 42, 28, 0, -30, -18, 7, 5, 0, -2, -40, 126, 10, 0, 28, -8, 20, -6, 0, 26, 62, -20, -50, 0, 0, 53, -38, 14, 0, -154, -4, -162, -52, 0, 24, 131, 12, 14, 0, -10, 44, -8, 16, 0, -6, -26, 16, 33, 0, -52, 4, -6, 9, 0, -24, 66, 4, -8, 0, 18, 4, -20, -82, 0, 4, 49, -16, -133, 0, -11, 8, 58, -36, 0, 8, 32, 30, 40, 0, -16, 104, -4, -20, 0, -7, 50, -4, 14, 0, 68, 6, -110, -54, 0, 16, 110, -10, 123, 0, -20, -52, -17, 6, 0, 18, 13, -30, 16, 0, -143, 64, -6, 36, 0, -6, 100, 6, -8, 0, -24, 42, 51, 84, 0, 77, 0, 5, 106, 0, 31, 18, 42, -2, 0, -8, 38, -50, 14, 0, -58, 14, 12, -48, 0, -14, 41, 50, -96, 0, 2, -2, -70, -4, 0, 64, 17, 8, 52, 0, 2, -4, -113, -16, 0, -12, 28, -50, -30, 0, -40, -36, -44, 48, 0, -8, -182, -24, -30, 0, 85, 4, -118, -52, 0, 92, 60, -16, 92, 0, -41, 66, -14, -18, 0, 106, 32, -88, 46, 0, -116, 20, 4, -28, 0, 17, -25, -16, -3, 0, -121, 10, -162, 48, 0, -44, 93, 36, 44, 0, -2, 2, -100, 10, 0, 48, 20, -32, -24, 0, -10, -20, 23, 20, 0, 32, -112, 18, 4, 0, -116, 16, -20, -20, 0, -22, 55, -12, -100, 0, 0, -40, 42, -8, 0, 16, 90, -22, -99, 0, 82, -48, 22, -20, 0, -8, -56, 2, 30, 0, 86, -15, 132, 54, 0, -16, -159, 8, -98, 0, 60, -86, -26, 60, 0, -2, 56, 58, 59, 0, 28, 48, -20, 21, 0, 20, -102, 12, 18, 0, -114, 12, -167, -10, 0, 10, 1, -8, -89, 0, -48, 16, -288, 2, 0, 26, -94, 68, 48, 0, 6, -94, 52, 40, 0, 64, -82, -36, -70, 0, -251, -6, -262, -56, 0, -16, 144, 108, 20, 0, 43, -112, -57, -8, 0, 4, 48, 40, -12, 0, -162, 28, -4, 36, 0, 14, -45, 48, -10, 0, -16, -12, 12, 118, 0, -36, 110, -30, 135, 0, 4, 146, 105, 24, 0, 86, 61, 42, 10, 0, -104, 16, -20, 28, 0, -6, -97, -108, -19, 0, 19, 6, -102, -16, 0, -4, -12, 14, -18, 0, 58, -82, 20, 32, 0, -100, 0, 8, -284, 0, 35, -32, -3, -48, 0, 8, -88, 20, -84, 0, 238, 12, -136, -8, 0, -48, 43, -18, 210, 0, -1, -60, 1, 12, 0, 12, 156, -4, 101, 0, -181, 46, -55, 56, 0, 0, 58, 42, -49, 0, 44, 12, 90, 46, 0, -100, 177, 46, -147, 0, 120, 108, 168, 14, 0, 126, 7, 28, -112, 0, -126, 24, 108, 50, 0, 36, 100, 26, 42, 0, -71, 28, 81, 12, 0, 70, 259, -30, 198, 0, -18, 56, 54, 7, 0, 22, 5, -88, -152, 0, -306, -96, -2, -46, 0, -40, 64, 78, 126, 0, -45, 10, -62, 6, 0, 92, -192, 28, 22, 0, -8, 24, -266, 20, 0, 62, -6, 48, 179, 0, -22, 104, 26, 6, 0, 62, 10, 42, -20, 0, 236, -50, -30, -36, 0, -42, -30, 0, 50, 0, 53, 26, -36, -38, 0, 142, 14, 82, -70, 0, 89, -36, -154, -160, 0, -4, -126, -12, -162, 0, 78, -52, 80, -48, 0, 8, 108, 24, 16, 0, 131, -154, 50, 12, 0, -78, 14, 54, 24, 0, -168, -20, -10, 152, 0, 44, -140, -44, -8, 0, -76, 16, 67, 36, 0, -91, -101, -6, -12, 0, -26, 82, 24, 16, 0, 96, 33, -64, -118, 0, 3, 12, -52, -124, 0, 4, -12, -84, -6, 0, 134, 9, -24, 132, 0, -22, -46, -24, 236, 0, 66, 8, 24, 4, 0, -30, -8, -56, 77, 0, -56, -52, 18, 4, 0, 4, -71, 18, -20, 0, 340, -82, 143, 104, 0, -6, 84, 4, -204, 0, 49, -8, 226, -16, 0, -8, -133, 52, -217, 0, -22, -92, -11, 72, 0, 8, 42, -56, 58, 0, -52, -36, 214, -58, 0, -12, -46, 8, 104, 0, 32, -2, -260, 30, 0, 96, 40, 100, 132, 0, 38, 72, -16, 82, 0, 104, 144, -6, -4, 0, -6, -20, -191, -116, 0, 5, 47, -7, -45, 0, 50, -8, -121, -4, 0, 64, 14, 16, -118, 0, -41, -174, 68, -80, 0, 6, 1, -24, -110, 0, 162, -54, 87, -14, 0, 90, 72, 16, 54, 0, 110, -96, 160, -10, 0, -42, 123, 64, 42, 0, 64, -78, -20, -56, 0, -52, -272, 210, -17, 0, -86, 6, -12, 20, 0, 28, -200, 18, 212, 0, 13, -48, -84, -30, 0, -40, 16, 170, -134, 0, -184, 8, -143, 20, 0, 64, -85, 88, -6, 0, 50, 36, 18, -22, 0, -54, -94, -6, 196, 0, 100, 100, 28, 6, 0, 8, -8, -8, -456, 0, 40, 16, -24, -56, 0, 42, -220, -2, 51, 0, -25, 84, 56, 130, 0, -128, -242, 77, 199, 0, 0, 70, 124, 5, 0, 12, 106, 0, 75, 0, 36, 38, 31, -240, 0, 18, -66, 24, 42, 0, -84, -2, 198, -66, 0, -36, 190, -8, 157, 0, 38, -92, 66, -50, 0, 104, 14, 60, -220, 0, -75, 42, -58, 42, 0, 14, -5, 118, 12, 0, 257, -48, -128, -86, 0, 48, 43, -14, -8, 0, 41, 50, -332, 50, 0, -26, -96, 62, -83, 0, -113, 14, 2, 40, 0, -2, -110, 132, -70, 0, -76, -4, -20, 48, 0, 0, 104, 64, 224, 0, 17, -4, 34, 8, 0, -6, 52, 152, -207, 0, -79, 124, 2, -4, 0, -4, -194, 2, -113, 0, -122, -16, -28, 236, 0, -52, -72, -12, 76, 0, 28, 40, 118, -50, 0, -236, -30, 32, -104, 0, -426, -164, -40, -108, 0, -36, -68, 128, -44, 0, 42, 48, 106, -10, 0, 108, 234, -8, 49, 0, -182, -74, -134, -24, 0, 46, -30, 140, 93, 0, -160, -40, 85, -74, 0, 4, -171, 132, -118, 0, 72, -52, 59, -92, 0, 2, -170, 92, -44, 0, 60, 24, 254, -16, 0, 28, 92, 222, 117, 0, -12, -2, -41, 20, 0, 66, 233, 168, -14, 0, -261, -18, -26, -76, 0, 40, -183, 106, 212, 0, 32, -66, -212, -88, 0, -82, 46, 36, 300, 0, 46, 162, -116, 98, 0, 20, -366, 174, 4, 0, 134, -28, 52, -106, 0, 2, 4, 17, 97, 0, -25, -116, -82, -16, 0, 36, -3, -22, -44, 0, 134, -72, -121, -186, 0, 10, -100, 96, -162, 0, 170, 48, 61, 66, 0, 100, -37, -44, -48, 0, 93, -96, 176, 36, 0, -60, 44, -52, -170, 0, 182, 60, -2, -103, 0, 2, 22, -140, -100, 0, -94, 10, 38, -104, 0, -46, 25, 48, -298, 0, 20, 142, 215, -32, 0, 6, -24, -132, -120, 0, -90, -12, -10, 96, 0, -20, 267, -148, 23, 0, 235, 20, 254, 20, 0, 36, 52, 32, -108, 0, -112, -108, -186, 18, 0, -16, 4, -22, -198, 0, -136, -28, -116, 6, 0, 16, 98, -30, -20, 0, 99, -20, -121, 166, 0, -166, 128, -22, 313, 0, 55, -20, 76, -12, 0, -72, -100, -144, 121, 0, 90, -234, 0, 82, 0, -40, -40, 148, 42, 0, -66, -8, -24, 14, 0, -36, 254, 16, 0, 0, 90, -142, 72, -22, 0, 174, -99, -4, 228, 0, -218, 8, 82, -74, 0, -48, 33, 42, 22, 0, -94, -20, -12, -16, 0, 204, -284, -8, 72, 0, -56, -80, 92, 2, 0, 20, 30, -110, -60, 0, 96, 60, 86, 82, 0, -15, 122, -40, 132, 0, -92, 54, 110, 54, 0, 120, 250, -16, -96, 0, -159, -8, -184, 8, 0, 36, -98, -192, -144, 0, -220, -88, 60, 90, 0, -86, -108, 14, -26, 0, -102, 60, 280, -32, 0, -72, -2, -2, -80, 0, 56, 4, -126, 58, 0, 4, 59, -8, 138, 0, 130, 0, 28, -144, 0, 48, 98, -6, -20, 0, -105, 21, -206, 16, 0, 0, -242, 20, -40, 0, -102, -214, -138, 12, 0, -170, 18, 60, 34, 0, -228, -68, -114, 10, 0, 12, 132, 168, -167, 0, -188, -10, 153, 104, 0, 44, 32, 10, -72, 0, 1, -78, -206, -8, 0, -120, -89, 16, -190, 0, 48, 104, -48, 36, 0, 16, -105, 16, -288, 0, -130, 2, -240, -114, 0, 14, -168, 26, 347, 0, -94, 52, -108, 68, 0, 166, 48, -88, 291, 0, 57, -2, 6, 184, 0, -94, -314, -24, 52, 0, -59, 40, 42, -68, 0, 21, -12, 64, 231, 0, -82, -156, 62, -36, 0, 138, -70, -102, -194, 0, 138, -138, -251, 104, 0, -6, 42, 20, -262, 0, -8, -56, 204, 50, 0, -16, -32, -16, 38, 0, 144, -146, -77, 108, 0, 54, 20, -32, 306, 0, -173, -188, 43, -216, 0, -112, -184, -2, -57, 0, -58, -8, -172, -40, 0, 44, -160, 4, -364, 0, 48, 28, 28, 40, 0, 8, -12, 24, -310, 0, 4, -40, -162, -120, 0, 28, 38, 12, -4, 0, -75, 36, 226, 62, 0, -62, 212, 14, 87, 0, -45, -92, -104, 48, 0, -186, -10, 56, -326, 0, -10, -40, -16, 50, 0, -12, -236, 8, 12, 0, 61, 118, 140, -8, 0, -38, 10, -36, -236, 0, 110, 74, 267, -30, 0, -128, 135, 44, -446, 0, -116, -68, 4, -10, 0, 146, 8, 18, 105, 0, -234, 24, 173, -84, 0, 172, -600, 86, -30, 0, 61, -86, -16, 42, 0, 306, 10, -226, -88, 0, -13, 120, -104, -155, 0, 16, -88, 84, -20, 0, -216, 28, 339, 220, 0, -74, 45, -6, -186, 0, -97, 8, -272, -108, 0, 286, -19, -26, -5, 0, -172, 42, 19, -4, 0, 6, -58, -132, -102, 0, -172, -16, -96, -58, 0, -42, 90, -4, 180, 0, -12, -16, -110, 14, 0, -112, -18, 6, -200, 0, -286, -72, 58, -138, 0, -82, -356, 48, 20, 0, 151, 32, -48, -98, 0, 252, 270, -100, -143, 0, 0, -116, 304, 8, 0, -84, -284, 54, -13, 0, -182, 32, 35, -16, 0, -32, 145, 56, -3, 0, 242, -48, 70, 78, 0, 144, 341, 8, -348, 0, -88, -14, -140, 20, 0, -46, -84, -120, -5, 0, -239, 64, 238, 58, 0, 12, -132, 282, -136, 0, -162, -8, -136, 222, 0, -220, 434, -48, 20, 0, 43, -56, -258, -18, 0, 12, 210, 164, -63, 0, -362, -14, -1, 124, 0, -60, -58, -160, 1, 0, -264, 12, -92, -102, 0, -112, 118, 12, -258, 0, 156, 16, -194, -4, 0, -26, 101, 12, -38, 0, -339, 88, -181, -46, 0, 46, 174, -8, -55, 0, 236, 56, 192, -148, 0, -150, -104, 0, -100, 0, 58, 0, -538, 42, 0, -188, -49, 14, -184, 0, -264, 30, 44, -82, 0, 12, -167, 120, 90, 0, 196, 46, 254, -156, 0, 212, -200, -100, -13, 0, 177, -112, -189, 46, 0, 164, -147, 8, -293, 0, -92, -132, 120, -92, 0, 108, 398, -86, 168, 0, 167, 14, 106, 60, 0, 110, -66, 126, 76, 0, 7, 16, -50, 28, 0, 88, -112, -58, 166, 0, 44, 8, -126, 60, 0, 24, -95, 68, 108, 0, 385, 50, 46, 224, 0, 76, -180, 36, 212, 0, 100, 30, 236, 26, 0, 200, 42, -140, 98, 0, -46, -100, -71, -232, 0, 28, -228, 30, 81, 0, -112, 12, -28, 214, 0, -144, 170, 70, -90, 0, 259, -128, -254, -30, 0, 12, 198, -124, 180, 0, -275, -32, -18, -76, 0, 56, 241, -48, 54, 0, -156, 7, -7, -70, 0, 26, -422, 22, -204, 0, 5, -138, 36, -88, 0, -92, -152, -30, 48, 0, -68, 76, -306, 57, 0, -96, 124, 194, -2, 0, 440, -46, -138, 82, 0, 86, -152, -40, -38, 0, 64, -64, -163, 78, 0, -76, 126, 40, 128, 0, -34, 82, -45, -208, 0, 10, 296, 100, -62, 0, 152, 6, 156, -46, 0, 32, -137, 92, -156, 0, -192, -128, 20, 28, 0, 192, 22, -24, -458, 0, 252, -64, -8, -16, 0, 24, -281, -222, -266, 0, -54, 20, -4, 112, 0, -190, 68, 62, 173, 0, -6, 8, 34, 48, 0, 8, 179, 22, -56, 0, 436, 128, -22, 212, 0, 104, -110, -62, 26, 0, -19, 6, -311, -98, 0, 164, -321, 62, 24, 0, 10, 124, -169, 42, 0, -202, -20, -280, 212, 0, -300, 28, 236, -302, 0, -50, 232, 154, -30, 0, 30, -36, -238, 124, 0, -62, 176, -42, -268, 0, -30, -44, 150, 0, 0, -112, 50, 118, 10, 0, -90, -18, 53, 236, 0, 26, 122, -128, -36, 0, 30, -38, 24, 268, 0, 88, -189, 142, 60, 0, 14, 90, 172, 82, 0, 126, -70, 96, 68, 0, 298, 66, 89, -154, 0, -36, 120, 0, -154, 0, 408, -160, -224, -132, 0, -245, 116, -4, 194, 0, -126, 44, 258, -12, 0, -2, -162, 62, -311, 0, 299, 28, 78, 184, 0, -52, -38, -54, 80, 0, 146, -48, 164, -80, 0, -56, 77, 8, 20, 0, 108, -122, -76, 24, 0, -104, 16, -200, -148, 0, -136, -24, 131, 36, 0, -154, 426, 10, 50, 0, -332, 12, 26, -118, 0, 6, 80, -78, 88, 0, 14, -98, 231, 54, 0, -252, 24, 50, 162, 0, 168, -150, -168, -6, 0, -20, -114, -216, -10, 0, 50, 152, -262, 26, 0, 8, -100, 44, 112, 0, -140, -44, 10, -44, 0, -12, -8, -156, -10, 0, 106, 120, -76, -34, 0, 16, -80, -40, 67, 0, -87, 36, 0, -36, 0, -156, 142, -91, 252, 0, -101, 162, 400, -6, 0, 144, -12, 72, 88, 0, -212, -52, -26, -170, 0, 82, 172, -72, 24, 0, 348, 16, -29, 14, 0, 232, -32, 96, 400, 0, 33, -122, -96, -64, 0, 60, -118, -144, -247, 0, 96, 288, 3, -68, 0, 12, -275, 74, -52, 0, -484, -124, -162, -44, 0, 36, -202, 4, 118, 0, -12, -56, -264, -84, 0, 148, -6, -24, -159, 0, 120, 60, 134, 72, 0, 9, 26, 218, -24, 0, 43, 132, -216, 72, 0, 322, 52, -22, 28, 0, -46, 252, -134, -24, 0, 220, 236, -44, 386, 0, -74, -132, 66, -112, 0, 8, -124, -102, 24, 0, -140, 4, -20, -96, 0, -308, -79, -30, -286, 0, -8, -76, 306, -56, 0, -162, 77, -110, -90, 0, 238, 38, -56, 142, 0, -52, -62, 120, 18, 0, 46, 4, -308, -286, 0, 356, -7, 4, 370, 0, -71, -138, -12, 18, 0, -260, -20, -108, 242, 0, -32, -234, 340, 6, 0, -82, -400, 160, 143, 0, 214, 104, 285, 228, 0, 18, -206, -6, -229, 0, 84, 126, 76, 4, 0, -56, -204, 344, 32, 0, 468, -250, 49, -232, 0, -8, -345, -154, 226, 0, -204, -16, -30, -74, 0, 144, -76, -8, 166, 0, -133, -196, 113, 52, 0, -86, -217, -68, -212, 0, 4, 80, -22, -134, 0, -92, 274, 68, -11, 0, 140, 72, -156, 52, 0, 32, 140, 8, -337, 0, 42, -4, 195, -56, 0, -192, 58, 136, 250, 0, 42, -184, -52, 60, 0, -36, -7, -64, 214, 0, 318, -58, 252, -4, 0, 96, 400, -12, 12, 0, -46, 64, -122, 8, 0, 120, 104, -188, -101, 0, 86, -94, 32, -163, 0, -2, 389, 96, -260, 0, -186, 30, -109, -106, 0, -54, 82, 96, -340, 0, 40, 170, 492, 100, 0, 80, 132, 30, -270, 0, 266, 290, 38, 40, 0, 72, 60, -134, -16, 0, 34, 82, -52, -176, 0, 12, -310, 104, -116, 0, 144, 178, -208, -6, 0, -98, -4, -8, 1, 0, -166, 88, -6, 26, 0, -20, 354, 138, -191, 0, 37, -116, 122, -36, 0, -276, 50, 5, -22, 0, 47, -56, 373, -7, 0, -188, -45, 266, -388, 0, 244, 160, 50, -24, 0, -8, -165, 134, -121, 0, -171, -4, 163, 88, 0, 100, -256, 64, -294, 0, 14, 100, -260, 16, 0, 252, -118, -184, 196, 0, 160, 40, -41, 8, 0, -174, -228, 288, 68, 0, -204, -80, -129, 52, 0, 114, 466, 6, -522, 0, 1, -204, -164, -24, 0, -100, -110, 64, 176, 0, -136, -92, 162, -20, 0, -54, -120, 164, 87, 0, 357, -14, 32, 138, 0, 176, 12, 90, 237, 0, 72, -78, 178, 16, 0, -138, 54, 178, -274, 0, 24, -40, 110, -160, 0, -96, -24, 92, 160, 0, 8, -10, 244, -38, 0]