# Trace form for 4225.2.a.bl, downloaded from the LMFDB on 25 April 2024.
[0, 4, 2, 2, 2, 0, 4, 10, 6, 4, 0, 0, 10, 0, 2, 0, 2, 2, 20, -16, 0, -4, -12, 10, 24, 0, 0, 2, 8, 8, 0, -8, 4, 18, 4, 0, 20, -2, -8, 0, 0, -8, 4, 2, -12, 0, -16, 8, 28, 12, 0, 4, 0, 12, 16, 0, 12, -14, 22, -12, 0, 28, -4, 4, 4, 0, 6, 30, -14, -16, 0, -4, 12, -8, -10, 0, -20, -18, 0, -8, 0, -8, -4, -12, 28, 0, 4, 22, 18, 12, 0, 0, -22, 8, -32, 0, -4, 2, -24, -24, 0, -4, -10, 52, 0, 0, 24, 34, 34, -20, 0, 32, -22, 26, -34, 0, 46, 0, 12, -16, 0, 16, 2, 2, 20, 0, 56, 6, -18, 4, 0, 0, -36, -46, 18, 0, -12, -18, -38, 28, 0, -20, -20, 0, 32, 0, -28, -36, -4, 4, 0, -20, -42, 8, -36, 0, 0, -8, -52, 12, 0, 40, -22, 18, 8, 0, 0, -2, 54, 0, 0, -16, -14, 22, 68, 0, 24, -6, 72, 36, 0, 24, 0, 26, -12, 0, 28, 18, -56, 20, 0, 16, -46, 58, 10, 0, 0, -22, -24, 36, 0, 24, -50, 26, -22, 0, 44, -32, 0, 0, 0, -24, 24, -74, 20, 0, 24, -8, -16, -16, 0, 0, 28, 34, 22, 0, -8, 30, -64, 40, 0, 36, 54, 32, 0, 0, 0, 8, 28, 32, 0, -36, 8, 8, -10, 0, 10, 0, 24, 36, 0, 24, 32, 6, 12, 0, -26, 42, -10, -32, 0, 44, -12, -6, -48, 0, 4, -6, 12, 40, 0, -28, 28, 0, -66, 0, -50, 34, 62, -8, 0, 24, -76, 26, -20, 0, 0, -14, 16, -28, 0, -44, 8, 54, -36, 0, 36, -42, -40, 0, 0, -16, -40, -14, -8, 0, -20, 20, 6, 20, 0, 8, 0, -44, -4, 0, -40, -4, 36, -24, 0, 20, -52, 10, 26, 0, 78, 8, 6, 20, 0, -20, 36, -20, -34, 0, 52, -12, 0, 64, 0, 0, -104, 26, -12, 0, 56, 14, 122, 8, 0, 0, -30, 6, -6, 0, 48, -14, 42, -40, 0, 0, -24, -40, 0, 0, 16, -6, -52, -8, 0, 24, 28, 38, -6, 0, -36, 0, 28, -48, 0, -36, 26, -34, -48, 0, 50, 8, -20, -16, 0, -4, 0, 36, 10, 0, -12, 26, 102, -8, 0, 52, 36, 0, -86, 0, 34, 78, 6, -12, 0, -96, 20, -42, -4, 0, 0, 74, 42, 84, 0, -40, -18, -64, 24, 0, -94, 46, 2, 0, 0, -24, 4, -10, -28, 0, -64, -34, -8, -4, 0, -48, 0, 48, -20, 0, 14, -46, 58, 12, 0, 0, -2, -76, 6, 0, -108, 10, 8, -32, 0, -16, 42, -16, 34, 0, 4, -12, 0, 60, 0, 44, -30, 18, -32, 0, -8, 48, -32, 36, 0, 0, -84, -58, -88, 0, -8, -18, 42, 60, 0, 40, 4, -26, 0, 0, -4, 62, 72, -88, 0, -76, 18, -14, -12, 0, -30, 0, -6, 60, 0, 28, -70, -26, -36, 0, -22, 48, -34, 32, 0, -80, 124, 10, 24, 0, -12, -40, -18, -4, 0, 24, -50, 0, 42, 0, 48, 6, -46, -48, 0, 20, 76, -72, -16, 0, 0, 16, -48, 4, 0, -56, -30, -20, 44, 0, 62, 18, 8, 0, 0, 60, -24, 6, -136, 0, 64, 10, -78, 0, 0, 16, 0, -82, -16, 0, -20, -16, -56, 20, 0, -36, -64, -24, 12, 0, 66, -58, -12, 8, 0, -8, 50, -16, -18, 0, -64, 6, 0, -8, 0, -52, 28, 36, -64, 0, -100, -22, -22, 52, 0, 0, -8, -34, 16, 0, 60, 10, 40, -32, 0, -28, -20, 18, 0, 0, -40, -30, -40, 20, 0, 52, 12, -42, -44, 0, 84, 0, -24, -40, 0, -12, 22, 50, -28, 0, -22, 82, 54, -24, 0, 56, 24, -70, -56, 0, -4, -56, -80, 12, 0, -32, 104, 0, 60, 0, -16, -34, -52, 104, 0, 60, -10, -74, -48, 0, 0, 48, 62, 20, 0, 72, 36, -46, -116, 0, -122, -16, 28, 0, 0, 20, 134, -72, 52, 0, 144, -22, -44, 76, 0, 0, 0, 2, -72, 0, -18, -34, 0, 20, 0, -104, -18, -32, -22, 0, -42, -68, 64, 84, 0, 112, 0, 18, -36, 0, -128, 8, 0, -56, 0, 40, 10, -12, 12, 0, 4, 18, -16, -132, 0, 0, 60, -10, -24, 0, 4, 0, -48, 64, 0, -40, -56, -18, 0, 0, 40, -86, 0, 84, 0, -52, -42, -116, -34, 0, -14, 0, -46, 112, 0, 0, -4, 6, -20, 0, -72, 74, 16, 20, 0, -108, 46, 70, -132, 0, 60, 22, -20, 0, 0, 20, 0, 0, -74, 0, 66, 34, -58, 28, 0, 144, -28, -12, 72, 0, 0, 26, -54, 0, 0, -32, 76, -38, 48, 0, 26, 10, -108, 0, 0, -12, -144, 18, 48, 0, 60, -28, -88, 56, 0, -28, 0, -84, 136, 0, 42, 32, 30, 108, 0, -16, 16, 48, -30, 0, -80, -8, 36, 88, 0, -20, -64, 12, -10, 0, 36, 20, 0, 8, 0, 32, 24, 36, 32, 0, -104, 4, 20, 108, 0, 0, -60, 20, 106, 0, -20, -26, 34, 36, 0, 36, 48, -8, 0, 0, 0, 94, -42, 36, 0, 24, 80, -8, -110, 0, -78, 0, 0, 32, 0, 12, 30, -14, 96, 0, -140, 46, 60, -100, 0, 128, -118, 36, -22, 0, 32, 0, 2, 4, 0, -32, 28, 0, -42, 0, 40, 88, 32, 16, 0, -72, 88, -20, 84, 0, 0, 88, 30, -148, 0, 44, 4, -26, 24, 0, -6, 18, -140, 0, 0, -44, -66, -90, 96, 0, -80, -54, 0, 60, 0, -60, 0, 40, -144, 0, -86, 92, -120, -4, 0, -48, -80, 10, 102, 0, 38, 14, 84, -132, 0, -32, -82, 8, -36, 0, -4, -80, 0, -4, 0, 16, 4, 74, -56, 0, 60, 42, 4, -40, 0, 0, -128, 18, 42, 0, 32, -48, 92, -88, 0, -84, 0, -48, 0, 0, -48, -16, -84, 28, 0, -20, -112, -120, -118, 0, -82, 0, -18, -44, 0, -104, 6, -106, -12, 0, 26, 50, 166, -48, 0, -56, -52, 34, 196, 0, -124, 70, 72, 24, 0, -20, 66, 0, 4, 0, 6, -8, -68, -48, 0, -84, -48, 78, -108, 0, 0, -78, 180, 64, 0, 56, 42, -10, -36, 0, -34, -116, -48, 0, 0, 116, 76, 48, 100, 0, -108, 24, -46, 16, 0, -72, 0, -44, 32, 0, -96, 84, 92, -104, 0, 108, -124, 14, -14, 0, -160, 14, 134, 0, 0, 108, 102, 0, -18, 0, 32, 44, 0, 112, 0, 60, 12, 36, 72, 0, 72, 132, -120, -68, 0, 0, 70, -24, -106, 0, -164, 66, 90, 36, 0, -60, -64, 24, 0, 0, -116, 16, 2, -8, 0, 12, -36, -38, 100, 0, -80, 0, 16, -100, 0, -32, -24, 162, -28, 0, -48, -20, -88, 52, 0, -8, 36, 22, -38, 0, -24, 18, 4, -24, 0, -88, -28, 0, -38, 0, 28, -26, 36, 8, 0, 64, -66, -42, 72, 0, 0, 8, -124, 96, 0, -28, -158, -10, -8, 0, 144, -74, -120, 0, 0, 112, -226, -10, -128, 0, -16, 92, 128, -12, 0, -60, 0, 44, 0, 0, 22, 30, 16, -104, 0, -56, 12, -132, 26, 0, 136, 34, -64, 0, 0, -88, -50, 138, -8, 0, 228, -26, 0, 16, 0, 124, -148, 18, 12, 0, 0, 90, -20, 56, 0, 0, 56, -8, -40, 0, -72, 132, -56, -92, 0, 40, 144, -114, 0, 0, -12, 102, -56, -76, 0, -16, 114, -42, 58, 0, 10, 0, 6, -96, 0, 24, 44, 114, 56, 0, -34, -42, 18, -80, 0, -16, 76, -2, 24, 0, -56, -18, -164, -48, 0, 76, -2, 0, -16, 0, -68, 94, -54, 112, 0, 104, -28, 36, 152, 0, 0, 16, 48, 60, 0, 0, 32, -40, -104, 0, -96, 70, 184, 0, 0, -80, -60, -16, -100, 0, -112, 54, 0, 16, 0, 100, 0, -78, 204, 0, 14, -66, 58, -80, 0, 164, 132, -104, 36, 0, -74, 50, -96, -36, 0, -172, -80, -136, 16, 0, -16, -82, 0, -88, 0, -140, 40, -26, 132, 0, -60, -4, -38, -80, 0, 0, 128, 66, -2, 0, 76, -78, 164, -64, 0, -60, 12, 82, 0, 0, 16, -18, 12, -28, 0, -36, 48, -8, -110, 0, -12, 0, 4, 60, 0, 12, -112, -150, 72, 0, -52, 26, -4, -48, 0, 36, -42, -174, -148, 0, -8, 150, 6, 140, 0, 60, 104, 0, 96, 0, -126, -98, -60, -104, 0, -92, -152, -82, -128, 0, 0, -64, -94, -60, 0, 36, -22, 30, 108, 0, 12, 156, 114, 0, 0, -92, 82, -58, -84, 0, -4, -42, -132, -40, 0, 112, 0, -4, 48, 0, 142, -180, -44, -20, 0, -140, 46, 70, 24, 0, 36, 40, 44, 148, 0, 20, -14, -68, -28, 0, 24, -78, 0, -76, 0, 24, 54, 42, -64, 0, -12, 10, 84, 24, 0, 0, -32, 62, 6, 0, 20, -78, -126, 24, 0, 96, -20, 20, 0, 0, -104, 60, 80, -16, 0, 60, -18, -34, 24, 0, 150, 0, -8, -120, 0, 132, -50, 98, 100, 0, -68, 112, 10, 16, 0, 64, -42, -4, -26, 0, 128, 2, 48, 80, 0, -44, 36, 0, 146, 0, -60, 12, 66, -32, 0, -32, -56, 74, 12, 0, 0, -32, -68, 72, 0, 20, 6, 6, -28, 0, -142, -42, 44, 0, 0, 44, 144, 160, -64, 0, 36, -84, 186, 48, 0, 84, 0, 0, -8, 0, -38, 24, -126, -8, 0, -52, -64, 52, 120, 0, 62, 2, -90, -48, 0, 104, -32, 98, -22, 0, -12, 84, 0, 12, 0, -76, -24, -24, -180, 0, 84, -46, 56, 16, 0, 0, -18, -142, -128, 0, -192, -66, -122, 44, 0, -48, 106, 44, 0, 0, 108, -98, 214, 88, 0, 156, -30, 116, 4, 0, 90, 0, -12, 40, 0, -136, 160, -12, 16, 0, 120, -186, -78, -36, 0, -24, -200, -34, 104, 0, 24, -54, 158, -12, 0, 32, -52, 0, -96, 0, -12, -126, 44, -120, 0, -12, 44, -148, 136, 0, 0, 58, 76, 52, 0, -8, 34, 162, 120, 0, 0, 132, 26, 0, 0, -56, -122, -54, -76, 0, 96, 100, 84, 20, 0, -8, 0, 132, 68, 0, -32, 76, 100, 48, 0, 68, -108, 90, 50, 0, 70, 114, 72, 36, 0, 16, 42, -22, -96, 0, -160, -32, 0, 8, 0, -36, 132, 20, -16, 0, -8, 2, 48, -56, 0, 0, 60, 22, 204, 0, 188, 22, -164, 8, 0, 204, -80, 18, 0, 0, 144, 32, 28, 144, 0, 28, -12, 34, 30, 0, -22, 0, 88, 0, 0, 48, -188, -96, 44, 0, 156, 64, -188, 56, 0, -104, 112, 66, -14, 0, 72, 68, -160, 0, 0, 60, 48, 0, -72, 0, 38, -66, 182, 52, 0, 60, -16, 22, -32, 0, 0, 12, -174, -132, 0, 80, -92, 104, 248, 0, -16, -52, 32, 0, 0, 16, 168, -2, 192, 0, -28, 12, 48, -60, 0, 24, 0, -24, -52, 0, 66, -96, -296, 160, 0, 84, 52, 106, -92, 0, -10, 70, -6, -80, 0, -80, -48, 86, 78, 0, -228, -22, 0, -36, 0, -28, -100, -126, 52, 0, 24, 82, 144, -84, 0, 0, -84, 38, -66, 0, 12, 34, -198, 52, 0, 52, -30, 114, 0, 0, 140, -40, -78, 28, 0, -84, -68, 238, 88, 0, 8, 0, 40, 220, 0, -28, -114, 54, -144, 0, 158, -18, 96, 32, 0, 56, -8, -56, 58, 0, 144, -184, -114, -44, 0, -24, -208, 0, -82, 0, 112, 120, -50, 12, 0, 32, 2, -18, -148, 0, 0, -18, 46, 12, 0, -4, 110, 62, -8, 0, 226, -70, -98, 0, 0, -84, -12, 50, 120, 0, 52, 60, 4, -52, 0, -116, 0, 108, -140, 0, -42, 28, 30, 0, 0, 8, 110, 150, -120, 0, 28, -22, -140, 20, 0, 28, -84, -112, 120, 0, 12, -12, 0, 64, 0, 12, -48, -118, 100, 0, -180, -122, 200, 144, 0, 0, -232, 12, -16, 0, -84, -90, 60, -140, 0, 96, -160, -32, 0, 0, 60, 152, -124, -44, 0, 16, 14, 74, 26, 0, -74, 0, -36, -120, 0, 128, 102, -14, 16, 0, 346, -72, -120, -24, 0, -8, -94, -94, -148, 0, -100, -30, 252, -16, 0, -20, 2, 0, 146, 0, 24, 8, -54, 0, 0, -156, -28, 228, 72, 0, 0, -84, 52, -80, 0, -84, 66, -86, -76, 0, 4, 8, 0, 0, 0, -56, -48, -6, -12, 0, 84, -158, 88, -120, 0, -128, 0, -88, -60, 0, 312, 96, 158, 8, 0, 60, -80, -110, 18, 0, 22, -110, -6, 92, 0, -64, 78, -12, -124, 0, 108, 90, 0, 0, 0, 28, 28, -88, 28, 0, 144, -6, -42, -168, 0, 0, -72, -24, 120, 0, 96, 56, -112, -56, 0, -140, -96, -18, 0, 0, 8, -58, 68, -156, 0, -92, -258, 38, 84, 0, 92, 0, 32, 12, 0, 8, 222, 70, -244, 0, -14, -162, -64, 20, 0, 144, -40, 78, -14, 0, 96, -126, 90, 20, 0, -12, 48, 0, 182, 0, 48, -36, -36, 40, 0, 32, 72, -6, -104, 0, 0, -48, 158, -36, 0, 36, -66, -10, -84, 0, 120, -46, 168, 0, 0, -76, 102, 118, -108, 0, -76, 58, -124, 36, 0, 100, 0, 88, 120, 0, -180, 24, 32, 56, 0, 80, 50, -154, 54, 0, 42, -60, 12, 12, 0, -44, 270, 94, -64, 0, 12, -36, 0, 8, 0, -88, -26, 8, 68, 0, 36, -178, -28, 32, 0, 0, 192, 96, -212, 0, 56, 38, 64, 32, 0, -64, -48, -72, 0, 0, 100, -86, -8, -108, 0, -36, 2, 98, 60, 0, 114, 0, 18, -132, 0, -68, -36, 54, -88, 0, 16, -2, -82, 16, 0, -64, -100, 54, 60, 0, -4, 202, -140, 44, 0, 40, -48, 0, -102, 0, -68, 90, 48, 96, 0, -76, 28, 74, -52, 0, 0, -24, -122, 100, 0, -44, 40, 82, 8, 0, -36, 34, -8, 0, 0, 28, -4, 82, -112, 0, 96, 120, 270, -40, 0, 140, 0, -20, -284, 0, -16, 80, 84, -60, 0, 80, 76, 102, -170, 0, -74, 60, -66, -132, 0, 56, 168, -6, 86, 0, -148, -60, 0, 12, 0, -92, 68, -80, -252, 0, 136, -174, -170, 8, 0, 0, 144, 20, -116, 0, 212, 106, -36, 152, 0, 36, -150, 74, 0, 0, -116, 50, -80, 40, 0, -4, -20, 114, 18, 0, -12, 0, 200, 0, 0, 76, 62, -186, -48, 0, -168, 50, 272, 108, 0, 132, 360, -118, 170, 0, -16, -30, -18, 12, 0, 136, 64, 0, -62, 0, -6, -50, 0, -36, 0, -48, 54, 88, -4, 0, 0, 78, -136, -60, 0, -68, 236, 106, -300, 0, 174, -56, 126, 0, 0, 112, 128, -76, 180, 0, -56, 18, 112, -72, 0, -48, 0, 208, 200, 0, 8, 48, -56, -48, 0, -24, -102, 2, -84, 0, -60, 18, -124, -44, 0, -208, 20, -156, 144, 0, -84, 128, 0, 0, 0, 88, -66, 98, 36, 0, -236, -146, -44, 72, 0, 0, 28, 60, 186, 0, -204, -28, 198, -24, 0, 28, 4, 96, 0, 0, -232, -164, 108, 80, 0, 108, 210, -32, 72, 0, 234, 0, 62, -192, 0, 0, 4, -66, 24, 0, 30, -24, -202, 56, 0, -112, -56, 54, 4, 0, 248, -84, 234, -176, 0, 44, -170, 0, -150, 0, -192, 94, 6, 4, 0, -88, 176, 50, -8, 0, 0, -178, -88, -24, 0, 128, -48, -30, 164, 0, -18, 132, 176, 0, 0, -112, 160, 210, -40, 0, -60, -56, 102, -220, 0, 264, 0, -222, -64, 0, -12, 168, 192, -176, 0, -28, 36, -102, 84, 0, 4, -102, -134, 116, 0, 56, -166, -72, 122, 0, 208, 40, 0, 140, 0, -100, -112, 160, -156, 0, 40, -18, -132, -20, 0, 0, -58, -30, 198, 0, -48, 64, 170, -20, 0, -20, 146, -12, 0, 0, -48, -54, 192, 56, 0, -40, 78, 14, 102, 0, -62, 0, -208, 60, 0, 140, -14, -112, 156, 0, -232, -158, -120, 112, 0, 128, -32, 4, -86, 0, -212, -106, 12, -204, 0, 96, -332, 0, 24, 0, -92, -66, 112, 72, 0, 108, -46, 30, 40, 0, 0, 182, 82, -72, 0, -96, -10, 32, 16, 0, -58, -106, 20, 0, 0, 168, -24, -72, 148, 0, -132, 136, -172, 20, 0, 20, 0, 88, 76, 0, 306, -46, 40, 0, 0, 0, 198, 120, -66, 0, 212, -154, -176, -40, 0, 132, -12, -44, 108, 0, -100, 130, 0, -140, 0, -28, -2, -38, 48, 0, 168, -80, 148, 16, 0, 0, -24, 4, 24, 0, -112, 54, -104, 20, 0, 8, -30, -4, 0, 0, -20, -22, 12, -40, 0, -60, -120, -98, -184, 0, -126, 0, 66, 156, 0, 72, 20, -88, -56, 0, 12, 14, 108, 0, 0, -144, 108, 30, 102, 0, -216, 128, -160, 104, 0, -48, -228, 0, 162, 0, -6, -138, 34, -96, 0, 36, 48, -78, 92, 0, 0, -8, 144, -16, 0, -120, -408, -54, -88, 0, -180, 150, 104, 0, 0, 76, -100, -6, 0, 0, -128, -44, -284, 240, 0, 8, 0, -102, -56, 0, -238, -152, -6, 92, 0, 36, 132, 124, -46, 0, 126, 6, 172, -176, 0, -80, -96, 222, 120, 0, 204, 138, 0, -104, 0, -124, 212, -136, 12, 0, -140, -112, -126, 232, 0, 0, 24, -30, -18, 0, -120, -30, -38, 132, 0, -160, 320, 200, 0, 0, -116, 22, 12, -152, 0, -44, 244, 62, -72, 0, 68, 0, -208, 208, 0, -252, -238, 68, 192, 0, 194, 92, 120, 12, 0, -12, 138, 52, 92, 0, 56, 46, -22, -12, 0]