# Trace form for 1425.2.a.p, downloaded from the LMFDB on 07 May 2024.
[0, 2, 0, 2, 10, 0, 0, 2, 0, 2, 0, 6, 10, 6, -14, 0, 22, 8, 0, -2, 0, 2, -14, -8, 0, 0, -14, 2, 10, 2, 0, 12, 0, 6, 0, 0, 10, -2, 0, 6, 0, -14, -14, -6, 30, 0, -28, -8, 22, 2, 0, 8, 30, -12, 0, 0, -42, -2, 42, 12, 0, -12, 0, 2, 26, 0, -14, -8, 40, -8, 0, 4, 0, -20, -14, 0, -10, 20, -14, -8, 0, 2, -14, -12, 10, 0, -14, 2, -42, -18, 0, 20, -40, 12, 28, 0, 0, -10, -28, 6, 0, 8, 0, 0, -42, 0, -28, 0, 10, 0, 0, -2, 22, 8, 0, 0, 10, 6, 28, 8, 0, 10, -28, -14, 60, 0, -14, -8, 0, -6, 0, -2, 30, -2, 56, 0, 0, -12, -28, 4, 0, -8, 28, 32, 22, 0, 0, 2, -10, -20, 0, 4, 0, 8, -56, 0, 30, 16, 56, -12, 0, 20, 0, 10, -70, 0, 0, 32, -42, 6, 0, -2, -30, 0, 42, 0, 66, 12, -42, -4, 0, 24, -56, -12, -84, 0, 0, 24, -40, 2, 0, -14, 26, 18, 42, 0, 10, 8, -14, 4, 0, -8, 28, -40, 40, 0, 56, -8, 66, -6, 0, -16, -60, 4, 0, 0, 0, 12, 28, -20, 0, 24, -14, 16, -70, 0, 0, 32, -10, 28, 0, 20, 126, 36, -14, 0, 60, -8, -56, 26, 0, 12, -84, 2, -60, 0, -14, -6, 0, -12, 0, -38, 10, 4, 0, 0, -10, 32, -14, 12, 0, 2, -70, 12, -42, 0, 14, -18, -40, -18, 0, -20, 88, 20, 0, 0, -40, 20, 84, 12, 0, -38, 28, -14, 20, 0, -84, 0, 0, -2, 0, -10, -100, -32, -28, 0, -42, 6, -56, 4, 0, 8, -56, 8, -22, 0, 0, -4, 100, 0, 0, 30, -42, -24, 28, 0, -40, 12, -28, -36, 0, 0, 28, -8, 10, 0, -14, 0, -42, -36, 0, 44, -60, -2, 28, 0, 22, -14, -84, 8, 0, 36, 0, 16, -42, 0, 0, -52, 10, 4, 0, 6, -70, 20, 28, 0, -90, 8, -28, -14, 0, 2, 28, 10, 100, 0, -28, 2, -88, -14, 0, 16, 60, -26, -56, 0, 84, -36, -14, 20, 0, -8, 70, 16, 0, 0, 14, -6, -50, -12, 0, -32, -84, -2, 112, 0, 30, 4, 28, -2, 0, 6, 56, 36, 40, 0, 28, 8, 0, -24, 0, -12, 0, -16, -28, 0, -70, 4, 14, 62, 0, 36, 56, -8, -84, 0, 28, 16, 0, 32, 0, -4, 22, 50, -84, 0, 0, 8, 0, -24, 0, 2, -56, -64, -10, 0, -56, -20, 26, -46, 0, -28, 40, 4, -28, 0, 0, -32, -28, 8, 0, -12, -56, 34, 22, 0, 0, -8, 30, -64, 0, 16, 84, -4, 56, 0, 40, -12, 14, 14, 0, 8, 56, 20, 50, 0, 0, -4, -84, 10, 0, -38, -70, 8, 14, 0, 132, -24, 0, 12, 0, 32, 14, 4, -42, 0, -28, 6, -40, -10, 0, -20, 0, -2, -56, 0, -30, -52, 0, 0, 0, -14, 42, 36, -10, 0, -56, 48, 66, 42, 0, 12, -10, -28, -42, 0, 168, -4, 70, 34, 0, 60, 28, 24, 0, 0, -56, 28, -60, -12, 0, -2, -84, -64, -56, 0, 20, 44, 0, -4, 0, 24, -70, -48, -40, 0, 98, 2, 84, -30, 0, 44, 160, -14, 84, 0, 26, 16, 0, 18, 0, -12, 42, -8, 0, 0, 56, 56, 10, -12, 0, 8, -22, -28, -14, 0, -100, 4, -28, 40, 0, 56, 28, -8, 20, 0, 28, 12, 0, -40, 0, -52, 40, 8, 140, 0, -168, -24, 56, 36, 0, -8, 42, 24, 66, 0, -28, -6, 80, -8, 0, -8, 168, -16, -140, 0, -60, 34, 112, 4, 0, -18, 0, 22, 100, 0, 0, 28, 0, 8, 0, 12, 50, -40, 28, 0, -154, -20, 84, 72, 0, -8, -56, 24, 0, 0, -14, -92, 160, 16, 0, -8, -70, 42, -42, 0, 30, -28, 0, -52, 0, 32, -84, 24, -10, 0, 56, 28, -66, -8, 0, -12, 0, 20, 0, 0, 126, -56, 112, 36, 0, 12, -14, 2, 78, 0, -56, -20, 60, -20, 0, -8, -126, -48, -56, 0, -20, 26, -154, 18, 0, -56, 0, 12, 120, 0, -84, 30, -168, 2, 0, -24, -60, -36, -14, 0, -140, -80, -14, -40, 0, -6, 56, 0, 0, 0, 42, -12, 120, 0, 0, -68, -88, -38, 112, 0, 10, 16, 0, 4, 0, -12, 0, -28, -70, 0, 56, 8, -10, 28, 0, 32, 90, 28, -14, 0, 126, 12, 0, 14, 0, -16, -112, 2, 22, 0, -70, -44, 40, 12, 0, 8, -42, -8, 0, 0, 20, -80, 14, -32, 0, -18, -42, -60, -40, 0, -84, -18, 84, -60, 0, -8, -200, -20, -28, 0, 88, 6, 28, 20, 0, 0, 0, 18, 168, 0, -56, -8, -40, 16, 0, 20, 78, 8, 84, 0, -30, 12, 42, 28, 0, 70, 56, -38, -80, 0, 28, 94, -132, -14, 0, 36, 20, -40, 56, 0, 0, 12, -84, 16, 0, 0, 28, 40, 0, 0, 14, -2, 60, -80, 0, -80, 84, -10, 28, 0, -100, 66, 56, -32, 0, -32, -28, 26, 120, 0, 28, 48, -42, -8, 0, 6, 80, 8, -56, 0, -42, 4, -70, 12, 0, -48, 56, 8, 0, 0, -56, 20, 160, 8, 0, 32, -22, -36, 84, 0, 140, 68, 0, 72, 0, -4, -168, -16, 100, 0, 98, 0, 210, 8, 0, -2, 180, 30, -84, 0, -42, -72, 112, -24, 0, -50, 28, 84, 132, 0, 0, -44, -40, -60, 0, 12, -168, 0, -28, 0, 130, -36, -14, -12, 0, 10, -28, 0, 60, 0, 28, 78, -252, -8, 0, 0, 10, -80, -84, 0, -132, 28, -14, -12, 0, 0, 70, -16, -42, 0, 168, -36, -30, 52, 0, -8, 0, 44, 0, 0, -60, -64, -196, -2, 0, 116, 28, 48, -190, 0, 0, 12, 22, 60, 0, -14, 20, 52, -84, 0, 0, 8, -154, -36, 0, 36, 140, 36, -134, 0, 0, -80, 160, 16, 0, -62, -42, -60, 140, 0, 60, -48, 0, -8, 0, -52, 154, 36, 10, 0, 28, 4, -210, -24, 0, -12, 60, 6, 0, 0, -70, 60, 224, 20, 0, -48, 28, -28, 42, 0, 56, -72, -90, 36, 0, 8, -88, -44, -28, 0, -90, -14, -98, -36, 0, -24, 0, 2, -100, 0, 28, 54, 104, 10, 0, -56, 100, 58, -84, 0, 0, -24, -28, -12, 0, 2, -42, -8, -88, 0, 112, -14, 100, 28, 0, -4, 252, 16, -56, 0, 60, 6, 0, -26, 0, -12, -56, 44, -190, 0, 84, 48, 84, 64, 0, -36, -70, -56, -14, 0, 44, 20, 42, -32, 0, 24, -28, -8, -252, 0, 70, -12, 0, 16, 0, 30, 0, -2, 28, 0, -10, -12, 14, 12, 0, -6, 84, 24, -50, 0, 0, -12, -220, 4, 0, -40, -160, -32, 28, 0, -84, 0, 0, -2, 0, 14, 112, 90, -70, 0, 56, 24, 30, -56, 0, 4, -168, -8, 28, 0, 20, -2, -56, -28, 0, 12, -28, 6, 40, 0, 56, 16, -168, 36, 0, 0, 40, -4, 196, 0, -26, 16, 28, 104, 0, 8, 140, 8, 0, 0, 140, -24, -20, 22, 0, -40, 220, -12, 0, 0, 0, 130, 28, -16, 0, -80, -28, 24, 150, 0, 84, -48, -70, 20, 0, 4, -120, 24, 14, 0, 84, 62, -56, 22, 0, -72, -56, 36, -88, 0, 56, -4, 60, -8, 0, -84, -84, 8, -98, 0, -180, 0, 28, 40, 0, 16, -42, 16, 0, 0, 14, 32, 84, 96, 0, 8, -40, -4, -56, 0, 22, -32, 0, 50, 0, 64, -84, -14, -42, 0, 56, 8, 0, 80, 0, 8, -70, -4, 0, 0, -180, -24, -56, -4, 0, 16, 28, 2, 220, 0, -56, -38, -132, -64, 0, 48, -10, -36, -196, 0, 84, -84, -56, -56, 0, -20, 0, -32, 26, 0, -42, -46, -70, -4, 0, 4, -252, -28, -140, 0, 40, -104, 112, 4, 0, -54, -28, 76, 180, 0, -168, 32, 0, -58, 0, -32, 80, -80, -28, 0, -70, 8, 0, -104, 0, -44, -196, -12, 0, 0, -56, 20, -260, 34, 0, 0, 22, -24, -56, 0, 20, -24, 0, 76, 0, -8, 56, 104, 30, 0, 14, -64, -42, -18, 0, -48, 100, 16, -28, 0, 84, -28, 28, -4, 0, -82, 56, -50, -198, 0, -168, 0, 40, -92, 0, -12, -84, 24, 14, 0, -70, 14, 126, -20, 0, 64, 56, 8, 10, 0, 56, -48, 84, 20, 0, 22, 50, -16, -154, 0, 220, -48, 0, 60, 0, -4, -56, -20, -84, 0, 56, 10, 10, 24, 0, 120, -104, -38, 224, 0, -70, -72, 0, 8, 0, 14, 14, -18, 80, 0, 56, 72, 132, -84, 0, -24, -130, -124, 0, 0, -168, 12, 0, 54, 0, 8, -56, 32, 140, 0, 14, -36, -180, 4, 0, 4, -42, -72, 84, 0, 100, 28, -28, 12, 0, 6, 168, 8, -40, 0, 28, -10, 210, -72, 0, 0, 80, -20, 0, 0, 0, -96, -168, -2, 0, -80, -56, 34, 42, 0, -28, 80, -30, -56, 0, -52, -110, 28, 0, 0, -60, 0, 14, 14, 0, 72, 56, -14, -160, 0, 42, 38, -140, 36, 0, -88, -10, 114, -84, 0, 336, 12, -56, 108, 0, 48, -56, -116, 66, 0, 0, 42, 20, 60, 0, 20, 84, 12, 0, 0, -10, 40, 112, -28, 0, -4, -42, 56, 30, 0, 140, 12, 168, -16, 0, -4, 180, 24, 70, 0, 88, 34, 56, 74, 0, -12, 224, 60, 84, 0, 28, -120, 40, 24, 0, 36, 0, -72, 14, 0, -120, 52, -56, -4, 0, 28, 252, -72, -60, 0, -70, -12, 0, -40, 0, -24, -80, -2, -140, 0, -84, 20, -28, -64, 0, 68, -56, -88, -42, 0, -112, 0, 20, 36, 0, 44, 42, 12, 0, 0, 310, -4, -140, 80, 0, 30, 84, 24, 180, 0, -70, -44, 168, -48, 0, 18, -40, -86, -154, 0, -140, 48, 98, -36, 0, 2, 84, 64, 84, 0, 28, -30, 80, -90, 0, 96, 0, 44, -196, 0, 160, 32, -224, -14, 0, -48, 84, -48, -20, 0, 0, 20, 26, -20, 0, 16, 250, -104, 0, 0, -252, 18, 224, -20, 0, -36, 224, -12, 0, 0, 42, -72, 40, -8, 0, 0, 0, 56, -42, 0, -120, -52, 56, -108, 0, 56, 84, 56, 10, 0, -126, -12, -168, -96, 0, 32, -320, 8, 0, 0, -22, -22, 56, -28, 0, -36, -14, 54, -168, 0, -28, -68, -100, -8, 0, 4, -10, 44, -28, 0, -230, 40, 252, 88, 0, 40, -112, 56, -140, 0, 28, -72, 88, -8, 0, 10, 20, 26, 196, 0, -84, -80, 28, 0, 0, 12, 56, -48, 0, 0, 84, -40, -160, 72, 0, 24, -84, -52, -56, 0, 40, 68, -112, 8, 0, 68, 140, 10, -60, 0, 56, 56, -168, -54, 0, -24, 170, 0, 56, 0, 26, 36, -84, 102, 0, -28, 28, -8, 0, 0, 42, -42, -40, 24, 0, -42, 66, 44, 84, 0, -320, -92, -28, -24, 0, -6, 70, -88, 80, 0, 252, -8, 140, -30, 0, -72, -20, -8, 56, 0, 168, -48, 140, -16, 0, -32, -140, 0, 88, 0, 56, -12, -60, 48, 0, 34, 42, 36, 112, 0, 70, 4, 84, -8, 0, 32, 0, -18, 40, 0, 0, 28, 168, 22, 0, -76, 100, -66, 14, 0, 110, -4, 0, 76, 0, 28, 0, 160, 0, 0, 56, 8, -20, -64, 0, 72, -140, 12, 196, 0, 50, 0, 0, -40, 0, 40, 28, 68, -190, 0, -140, 32, -154, 16, 0, -20, 40, 24, 84, 0, 42, 72, 140, 48, 0, -112, -168, -8, 156, 0, -56, -26, -120, 24, 0, 44, 0, -116, 28, 0, 60, -20, -14, 0, 0, -92, -308, 64, 160, 0, 112, 16, 42, 14, 0, -52, 20, -8, 28, 0, -70, 18, 112, 42, 0, -4, -42, -2, -84, 0, 0, -16, 30, 76, 0, -28, -88, 0, 0, 0, -50, -52, -84, 30, 0, 20, 56, 32, -100, 0, -84, 156, 0, 24, 0, -88, -10, 96, 224, 0, -168, 40, 56, 88, 0, 28, 14, 56, -66, 0, -168, -8, -260, -60, 0, 0, 0, -12, -112, 0, 0, -48, -56, 20, 0, 14, 0, -92, -70, 0, 84, 68, 126, 20, 0, -56, 180, 32, 112, 0, -22, 36, -84, -42, 0, -112, -84, 12, -168, 0, -14, 22, 240, 2, 0, 104, 78, 48, -84, 0, 210, -20, -56, 44, 0, -20, -84, 40, 60, 0, -84, -20, -22, -116, 0, -36, -140, -8, 196, 0, -126, 40, -112, -48, 0, 6, -56, -124, 280, 0, -56, -8, -20, -144, 0, 26, 210, -24, -154, 0, 170, 18, 84, -32, 0, -84, 0, -56, 300, 0, 0, -88, 84, 12, 0, 68, 120, 112, -154, 0, 0, -12, -84, -8, 0, 30, -56, -40, -168, 0, -42, 2, 140, -16, 0, 4, -132, -24, -56, 0, -60, 24, -84, -36, 0, 24, -14, -36, -10, 0, -196, 8, -140, -6, 0, -80, -320, -8, -14, 0, -168, -40, 0, 152, 0, 68, 28, -6, 44, 0, 56, -8, 220, 0, 0, -44, 0, -148, 210, 0, -20, -12, 42, -84, 0, -12, -28, -36, 120, 0, -28, 0, -210, 0, 0, -4, -240, -68, 84, 0, -88, 40, -84, -38, 0, -8, 112, -120, 294, 0, 168, -36, 10, 52, 0, 16, 140, 140, 0, 0, -150, 4, 224, 64, 0, -4, -84, -12, 220, 0, 0, 10, 352, -28, 0, 160, -70, 114, -84, 0, 252, -52, 56, -10, 0, 8, -182, -64, -10, 0, -126, 28, 80, -34, 0, 148, 0, 32, 0, 0, 90, 100, 28, 28, 0, -104, -14, -88, -60, 0, -196, 16, 126, -48, 0, 12, -40, -44, 0, 0, 0, 14, -196, -24, 0, -4, 112, -16, 168, 0, -112, -96, 280, 2, 0, 120, 22, 44, 0, 0, -60, 164, -70, 28, 0, -44, 14, 16, 40, 0, -126, 12, -26, -112, 0, -36, -140, 8, 252, 0, -42, -6, -308, -8, 0, 8, 0, 68, -220, 0, 0, 120, 20, 48, 0, -80, -84, -4, 14, 0, 200, -32, 84, 94, 0, -54, -196, -18, 280, 0, -42, -12, 84, -60, 0, 22, -40, 8, 112, 0, 44, -128, -84, -112, 0, -18, 0, 72, 84, 0, -224, -60, 60, -52, 0, 128, 0, -8, -112, 0, -200, 156, 280, -20, 0, 124, -28, -108, -260, 0, -28, 96, 88, -48, 0, 6, 40, 104, 28, 0, 420, 20, -154, 68, 0, 0, -56, 0, -280, 0, 0, -6, -120, 18, 0, 76, 168, 6, 14, 0, 180, -60, -56, -48, 0, -8, 0, -112, -40, 0, -56, 16, 126, 2, 0, -8, 120, 20, -140, 0, 78, 124, 0, 8, 0, 112, 84, 132, -84, 0, 0, -56, -30, 40, 0, 12, 176, 140, 42, 0, -40, 28, 98, 112, 0, 24, 196, 70, -40, 0, 56, 2, 280, -38, 0, -74, -80, -80, -140, 0, -420, -64, 28, -80, 0, 94, -84, 12, -132, 0, -56, -14, 170, -122, 0, 8, 336, 36, -168, 0, 20, 112, -168, -40, 0, -88, 56, 108, -90, 0, 28, 16, 0, 16, 0, 12, 110, -72, -84, 0, 220, 16, -84, 0, 0, -144, -112, 0, 0, 0, 28, -16, 140, 40, 0, 62, 0, -76, 196, 0, 40, 44, 14, -32, 0, -2, -140, 12, 60, 0, 98, -80, 110, 0, 0, -68, -200, -80, -84, 0, 84, -6, -224, -10, 0, 110, 28, 64, -182, 0, 28, -32, -100, 64, 0, 66, 252, 48, 56, 0, 360, -32, -140, -148, 0, -4, -84, -32, -40, 0, -28, -2, -168, 26, 0, -20, 120, 20, 42, 0, 0, 84, 28, -108, 0, 48, -168, -8, -42, 0, -84, -8, -460, 64, 0, 132, 352, 6, 168, 0, 80, 84, 168, 8, 0, -40, -56, 22, -40, 0, 224, 24, -42, 48, 0, 4, 210, -76, -70, 0, -126, 12, -28, 62, 0, 20, -112, -48, 66, 0, 56, -2, -140, 8, 0, -44, 0, 62, -280, 0, -260, -32, -56, -28, 0, 20, -126, -12, 160, 0, -140, 8, -252, -30, 0, 132, 120, 32, 140, 0, -22, 80, 28, -36, 0, 36, 84, -104, 168, 0, -112, 0, 140, -52, 0, 68, -78, -48, 0, 0, -40, 72, 56, -108, 0, -128, -224, -4, -60, 0, -168, -84, 0, -16, 0, 40, 100, 8, 0, 0, 0, 80, 98, 4, 0, 0, 0, 128, 210, 0, 0, 8, -280, -78, 0, 136, 336, -2, 56, 0, 180, 96, -168, 30, 0, 74, -84, 84, 60, 0, 280, 48, -42, 22, 0, -72, 10, 116, 112, 0, -30, -24, 294, -2, 0, 120, 0, -50, -168, 0, 28, 152, -100, 84, 0, 20, 132, -42, 84, 0, -100, -96, 0, 128, 0, -44, 14, 32, -40, 0, -42, -60, -210, 36, 0, -124, -240, 12, 196, 0, -168, 68, 0, 0, 0, -76, -28, -52, -44, 0, 168, -8, 130, -4, 0, -36, -462, 24, -14, 0, 90, -12, -308, -8, 0, -32, -196, 10, -280, 0, -28, -48, 0, 0, 0, -44, 60, 92, -224, 0, 264, -84, 28, 104, 0, 78, -238, -16, -252, 0, -308, -8, 150, 2, 0, -56, -280, 0, 168, 0, 10, 26, -112, -80, 0, 32, -84, -48, -120, 0, 56, 16, -132, 92, 0, 28, -180, 20, -14, 0, -42, -12, -56, -40, 0, 0, -56, 0, -84, 0, 70, -20, -400, -16, 0, 124, -42, -46, 168, 0, -200, 64, 168, -124, 0, -36, 182, -16, -30, 0, -154, 52, 168, -60, 0, -156, 0, -8, -84, 0, 0, 112, 84, 44, 0, -88, 0, -16, 126, 0, 56, 168, -60, 44, 0, -64, 264, 140, -196, 0, 0, -2, 210, 62, 0]