# Trace form for 1225.2.a.s, downloaded from the LMFDB on 19 April 2024.
[0, 2, 1, -1, 5, 0, 8, 0, 9, 3, 0, 1, 6, 5, 0, 0, 3, -5, -7, 6, 0, 0, -8, 2, 4, 0, -6, -7, 0, 1, 0, 0, 9, -9, 6, 0, -1, -12, 20, -11, 0, -2, 0, -10, -6, 0, -16, -5, 24, 0, 0, 11, 4, 2, -12, 0, 0, 14, 26, 8, 0, -6, 0, 0, 7, 0, 4, -4, -4, -18, 0, 16, 5, -8, -6, 0, 32, 0, 20, -9, 0, -14, -18, 8, 0, 0, 12, 25, -4, -6, 0, 0, -12, 0, -28, 0, 4, -9, 0, 10, 0, 16, -20, 7, 14, 0, 18, -2, -26, 23, 0, 6, 0, 28, 24, 0, 28, 16, 4, 0, 0, -13, -54, -16, 0, 0, 0, -4, -23, 22, 0, 10, -14, 0, -36, 0, -14, 26, 8, 22, 0, -23, 8, 11, -21, 0, -38, 0, -30, 8, 0, 15, 44, -16, 0, 0, -2, 24, 4, 16, 0, 0, -7, 6, -22, 0, 4, 15, 0, -5, 0, -8, -8, -13, 4, 0, -24, -4, 14, 40, 0, -6, 0, -48, -8, 0, 0, -11, -38, 0, 0, -23, -12, -14, 38, 0, 0, 6, -12, 20, 0, -32, 42, 0, 2, 0, 12, 20, -18, -14, 0, -9, 22, -8, -52, 0, -40, 0, -14, -30, 0, -21, -48, -9, 0, 0, 14, 35, 52, -30, 0, 0, 30, -2, -26, 0, 20, 13, 0, 19, 0, -8, -15, 28, -66, 0, -8, -2, 0, -4, 0, 26, 0, 18, 32, 0, -17, 12, -40, 0, 0, -24, -12, 34, -32, 0, 0, 20, -44, -8, 0, 32, 18, 0, 30, 0, -28, -16, 28, 0, 0, 29, -20, -35, 40, 0, -20, 0, 5, -13, 0, 47, -54, 7, 0, 0, -54, 5, 38, 22, 0, 0, -52, 26, 60, 0, 26, -51, 0, 5, 0, -22, -24, 9, 46, 0, -14, 12, 8, -25, 0, -50, 0, 2, -35, 0, 20, -37, -26, 0, 0, 24, 20, -18, -52, 0, 0, 36, -45, -14, 0, 0, -4, 0, -28, 0, 2, -6, 54, 12, 0, -9, -4, -9, 32, 0, 2, 0, 20, 16, 0, 14, 82, -2, 0, 0, -24, -5, -48, 14, 0, 0, 0, -34, 20, 0, -48, -23, 0, 0, 0, 36, -20, -4, 20, 0, -58, -32, 20, -21, 0, -22, 0, -22, -14, 0, 8, 51, -24, 0, 0, 59, -16, 0, 74, 0, 0, -6, 24, 20, 0, 4, 26, 0, -24, 0, 14, 6, -24, -36, 0, 7, 72, 18, 26, 0, 64, 0, -56, -31, 0, -19, -36, 0, 0, 0, 32, -28, -32, 6, 0, 0, 32, 30, -36, 0, 4, 30, 0, 17, 0, 16, 70, -67, -8, 0, 80, 26, 2, 9, 0, 18, 0, 8, 78, 0, -18, 49, 6, 0, 0, 22, 36, -22, -36, 0, 0, -14, 52, -18, 0, -30, 30, 0, -41, 0, -20, -2, -78, 14, 0, -37, -40, 23, 16, 0, 0, 0, 32, 37, 0, -67, -4, 49, 0, 0, -8, -40, 24, 40, 0, 0, -39, -38, -62, 0, 4, 23, 0, 15, 0, -20, 22, 48, 8, 0, 0, 0, 12, -10, 0, 12, 0, 12, -24, 0, -52, -20, 98, 0, 0, -55, 16, 88, -14, 0, 0, -12, 82, 42, 0, 54, -64, 0, 26, 0, 72, 18, 0, -42, 0, 31, 6, -56, -66, 0, 8, 0, 72, 4, 0, 48, 2, 3, 0, 0, 19, -11, -49, -44, 0, 0, -36, -16, -70, 0, -22, -36, 0, 0, 0, -20, -18, -51, 28, 0, 54, -44, -40, -3, 0, 20, 0, 28, -22, 0, 64, -47, 44, 0, 0, 13, -6, -32, 0, 0, 0, -48, 28, 10, 0, 10, -96, 0, 60, 0, -106, -10, 94, 30, 0, -3, -32, 81, -62, 0, 40, 0, -4, 24, 0, 4, -8, -1, 0, 0, -16, 40, -63, 4, 0, 0, 32, -16, 92, 0, -54, 22, 0, -27, 0, 2, 12, 53, 36, 0, 42, -50, -22, 13, 0, 48, 0, -6, -50, 0, -55, -19, 112, 0, 0, -43, 0, -36, -20, 0, 0, 32, 36, -12, 0, 16, -24, 0, -20, 0, 104, -12, -62, -16, 0, 29, 4, -36, 12, 0, 38, 0, 24, 9, 0, -22, -10, 0, 0, 0, 100, 33, 8, -58, 0, 0, 109, 38, 70, 0, -52, 72, 0, -6, 0, 42, -120, 1, -28, 0, -8, 32, -10, 41, 0, 18, 0, 0, 0, 0, 34, 12, -2, 0, 0, 63, -84, -30, 48, 0, 0, -54, -68, -26, 0, -80, -16, 0, -66, 0, 32, 20, -68, 52, 0, -74, -86, 45, 52, 0, 2, 0, -70, -40, 0, 8, 40, -29, 0, 0, 40, -53, -2, -34, 0, 0, 28, 36, 34, 0, 16, 11, 0, -13, 0, -26, 38, 30, -80, 0, 0, 106, 106, -37, 0, 2, 0, -16, 48, 0, -60, 4, -58, 0, 0, 19, 104, 40, 40, 0, 0, -14, 16, -78, 0, 42, 26, 0, 88, 0, -52, 0, -52, 66, 0, 19, -22, -23, 54, 0, -8, 0, 54, 43, 0, -12, 48, -64, 0, 0, -60, -48, 44, 0, 0, 0, -52, 68, -40, 0, 34, -36, 0, -13, 0, 24, 78, -56, -48, 0, -92, 64, -48, -29, 0, -34, 0, -16, -10, 0, -36, 8, -24, 0, 0, -7, -14, -66, 32, 0, 0, -62, -34, 0, 0, 12, 8, 0, 126, 0, 60, -26, 62, -10, 0, -24, 72, 4, 30, 0, -58, 0, -4, 27, 0, 51, 26, 40, 0, 0, -64, 2, 30, 30, 0, 0, -22, -74, 16, 0, 38, -33, 0, -115, 0, -30, 96, 32, 12, 0, 40, -8, -10, 14, 0, -74, 0, 58, 10, 0, 90, 21, 8, 0, 0, -62, 36, 48, 14, 0, 0, 62, -67, -18, 0, 0, 36, 0, 16, 0, -162, 16, 24, -20, 0, 60, -112, 41, -72, 0, -48, 0, 12, -44, 0, -8, 0, -12, 0, 0, 24, 7, 112, 42, 0, 0, 60, -20, 48, 0, 84, 40, 0, -25, 0, -86, 28, -20, -20, 0, 16, 42, -14, 20, 0, 20, 0, 0, -113, 0, -104, -31, -38, 0, 0, -7, 48, 0, 20, 0, 0, -36, -52, -78, 0, -14, -10, 0, -26, 0, 92, -74, 28, -22, 0, 13, 68, -35, 0, 0, -32, 0, -39, 47, 0, -13, -28, 4, 0, 0, -28, -47, 16, -46, 0, 0, -108, -6, 160, 0, 82, -8, 0, 20, 0, 46, -70, 95, 80, 0, -24, 12, -26, -11, 0, 40, 0, -20, 28, 0, 134, -28, -30, 0, 0, -23, 112, 28, 24, 0, 0, 24, -6, -24, 0, -26, 116, 0, 26, 0, 0, -26, 64, 68, 0, 24, -44, 23, 64, 0, -28, 0, -112, -93, 0, 71, -62, -5, 0, 0, 24, -68, -134, -24, 0, 0, 92, -40, 24, 0, -92, 0, 0, 36, 0, -24, -43, -80, -82, 0, -75, -32, -56, -120, 0, 18, 0, -18, 58, 0, -8, -49, -114, 0, 0, 27, -8, 62, -52, 0, 0, 50, 0, 32, 0, -106, 24, 0, -54, 0, -34, -48, 38, -52, 0, -17, 70, 69, 80, 0, 4, 0, -44, 37, 0, -87, -58, -21, 0, 0, -20, -40, 8, 0, 0, 0, 116, 26, -100, 0, 4, -21, 0, -32, 0, 54, -36, 55, -38, 0, -118, -78, -102, -44, 0, -70, 0, 22, -58, 0, 38, -28, -148, 0, 0, -14, 56, 14, -140, 0, 0, 46, -24, -16, 0, 16, -88, 0, -56, 0, 142, -16, -36, -6, 0, -65, -44, -29, 12, 0, -36, 0, -38, 43, 0, 0, 72, -80, 0, 0, -54, -73, -56, -10, 0, 0, 2, 8, -108, 0, 8, 42, 0, 0, 0, -68, -12, -33, 88, 0, -21, 6, -32, 34, 0, -64, 0, -64, 44, 0, 162, 35, 18, 0, 0, -20, -26, 6, -6, 0, 0, -54, 80, 74, 0, 18, 18, 0, 60, 0, -84, -38, 12, -66, 0, -9, 6, 0, -8, 0, 8, 0, -36, 9, 0, -22, 24, 31, 0, 0, -122, -51, 22, 48, 0, 0, -65, -8, 50, 0, 84, 8, 0, 82, 0, 46, 140, -79, 0, 0, 84, -42, -36, -2, 0, 4, 0, 40, -120, 0, -28, 35, 28, 0, 0, 0, 76, 8, -50, 0, 0, -92, -32, -72, 0, 46, 12, 0, 28, 0, -38, -36, -8, 26, 0, -33, 74, 96, -14, 0, -120, 0, -20, 119, 0, -20, 20, 2, 0, 0, 16, 83, 98, 62, 0, 0, 40, -74, 42, 0, 0, -69, 0, 60, 0, -24, 180, 7, 76, 0, 40, 26, 56, -3, 0, 22, 0, 66, 137, 0, -32, -41, 58, 0, 0, 16, -56, -2, 104, 0, 0, 0, 133, -22, 0, 18, -64, 0, -216, 0, 26, -8, -38, 70, 0, 16, 24, -75, 16, 0, 18, 0, 80, -71, 0, -13, -8, 51, 0, 0, 136, 95, 0, 26, 0, 0, -34, -62, -28, 0, -24, 75, 0, -77, 0, -10, -28, 82, -48, 0, 104, -4, 2, 35, 0, 86, 0, 32, -78, 0, -68, 12, 72, 0, 0, 35, -74, -36, 56, 0, 0, -54, -112, -6, 0, 52, 24, 0, -24, 0, -108, 52, 94, -42, 0, 64, 48, -93, -114, 0, 82, 0, -12, 12, 0, -3, 114, 77, 0, 0, -112, -28, -88, 70, 0, 0, -64, 10, -4, 0, -108, 104, 0, 44, 0, 110, -4, -24, -120, 0, 10, 24, 136, 7, 0, 0, 0, -30, -36, 0, -84, -29, 136, 0, 0, 60, 56, -28, 82, 0, 0, 32, 36, -40, 0, 32, 38, 0, 156, 0, 32, 0, -144, -10, 0, 60, 0, 32, -32, 0, 126, 0, 126, -83, 0, -12, -84, -15, 0, 0, 128, 0, 36, -94, 0, 0, 24, 16, -32, 0, -18, -3, 0, -30, 0, 40, -118, 0, 112, 0, 88, 72, 36, 65, 0, -44, 0, 58, 44, 0, 56, 85, -22, 0, 0, 67, -64, 50, -66, 0, 0, -50, 100, 18, 0, 8, -80, 0, 0, 0, -124, 106, 16, 60, 0, -46, 35, -42, -8, 0, 116, 0, 36, 28, 0, 16, 28, 17, 0, 0, 26, -32, -140, 66, 0, 0, 96, 42, 32, 0, 70, -138, 0, -85, 0, 4, -156, 44, 10, 0, -18, -6, 68, -26, 0, 48, 0, -124, -90, 0, 0, -22, -16, 0, 0, -71, 34, 0, -52, 0, 0, 30, 36, 30, 0, -74, -56, 0, -42, 0, 74, 92, -104, 8, 0, -9, -152, 31, 66, 0, -36, 0, 28, 108, 0, -16, 102, -24, 0, 0, 60, 0, -52, -156, 0, 0, 24, 26, 72, 0, -144, 92, 0, 17, 0, 48, 56, 3, -32, 0, -152, -64, 92, 32, 0, 64, 0, -14, 88, 0, 0, -41, 0, 0, 0, -69, -28, -78, 40, 0, 0, 38, 42, 48, 0, -18, -74, 0, 140, 0, 132, -26, -22, -46, 0, -53, -80, -9, 80, 0, -32, 0, 82, 0, 0, -41, -118, -49, 0, 0, 14, 67, 124, -86, 0, 0, -204, 58, 62, 0, -48, -8, 0, -2, 0, -10, -48, -83, -16, 0, -22, -158, -138, 40, 0, -84, 0, -14, -26, 0, -88, -29, 114, 0, 0, 13, -78, 0, -178, 0, 0, 112, 36, 80, 0, -4, -134, 0, 140, 0, 16, -66, 36, -26, 0, 0, -4, -41, -4, 0, 16, 0, -44, -90, 0, 59, 48, -15, 0, 0, 46, 57, -18, 8, 0, 0, 128, 18, -100, 0, -28, -56, 0, 116, 0, -70, -31, -2, -24, 0, -44, 56, -2, 9, 0, -36, 0, 32, 48, 0, -45, -14, 8, 0, 0, 48, -204, -104, 92, 0, 0, -36, 12, 78, 0, -26, -78, 0, -162, 0, 52, 38, 24, 178, 0, -12, -106, 97, -186, 0, 148, 0, -24, 20, 0, 62, -2, 101, 0, 0, 8, 107, 80, -24, 0, 0, 64, 16, 0, 0, 96, -65, 0, -74, 0, -88, 16, 91, -22, 0, 186, 56, 72, 57, 0, 42, 0, 68, -74, 0, 24, -22, 100, 0, 0, -29, 182, -24, 88, 0, 0, -48, -106, -116, 0, -26, 144, 0, 64, 0, -10, 70, -100, 26, 0, 69, 96, -108, -98, 0, 66, 0, 44, -24, 0, 26, -126, 78, 0, 0, 0, -40, -55, 120, 0, 0, -180, 46, 44, 0, -14, 24, 0, 8, 0, -62, -12, -64, -120, 0, 102, 40, 66, -107, 0, 18, 0, 60, 84, 0, -22, 0, -56, 0, 0, 16, -24, 62, -50, 0, 0, 18, -74, -22, 0, 40, 188, 0, 48, 0, -36, 14, 142, -130, 0, -3, -104, 45, 136, 0, 42, 0, 0, -84, 0, -3, -40, 19, 0, 0, -59, -106, -36, -2, 0, 0, -134, 44, -4, 0, 104, 89, 0, -17, 0, -6, -4, 23, 36, 0, 56, 50, -6, 0, 0, 88, 0, 16, -52, 0, -156, 84, 120, 0, 0, -14, 66, 40, 64, 0, 0, 114, -24, 44, 0, -34, 40, 0, -180, 0, 56, 20, 144, -46, 0, 97, 152, -36, -96, 0, 66, 0, 37, -37, 0, 32, 156, -48, 0, 0, 58, 55, 4, 44, 0, 0, 90, -106, -150, 0, 54, -35, 0, 25, 0, 0, -20, -16, 220, 0, 48, -12, -64, -5, 0, -16, 0, -22, 80, 0, -38, 39, 90, 0, 0, -52, -64, -20, 84, 0, 0, -42, 62, 136, 0, -94, 0, 0, -166, 0, -20, 42, -136, 10, 0, -28, 80, 5, 18, 0, -184, 0, 122, -41, 0, 24, -140, -91, 0, 0, -60, 36, 30, 56, 0, 0, -92, 0, -132, 0, -28, -145, 0, -9, 0, -24, 72, -16, 0, 0, -126, 44, 56, 24, 0, -84, 0, 6, 188, 0, 48, 123, -60, 0, 0, 21, -86, 84, 0, 0, 0, -54, -16, -56, 0, -44, 192, 0, 51, 0, -142, 42, -104, 8, 0, -39, -101, 86, 52, 0, -144, 0, -264, 37, 0, -81, -8, -52, 0, 0, 76, 100, 152, -48, 0, 0, -40, 56, -84, 0, -70, -48, 0, 136, 0, 68, 56, -72, 6, 0, -88, -24, -124, -7, 0, 86, 0, -100, 8, 0, 0, -29, -52, 0, 0, -67, -70, -38, -16, 0, 0, 68, -42, -10, 0, 184, -136, 0, 44, 0, 48, -66, -60, -120, 0, -5, 204, -21, 114, 0, -42, 0, -8, -77, 0, 71, 48, 28, 0, 0, -50, 49, -92, -34, 0, 0, -18, 4, -18, 0, 236, 4, 0, 2, 0, 6, 36, 56, 48, 0, -156, -84, 0, -8, 0, -114, 0, -134, 168, 0, 234, 163, -194, 0, 0, -53, -52, -86, -138, 0, 0, 42, -16, 48, 0, 66, -24, 0, -10, 0, 172, -92, 78, 0, 0, -36, -182, -13, 80, 0, -204, 0, 46, -67, 0, 100, -120, -137, 0, 0, -74, -8, -154, 48, 0, 0, 48, -12, 54, 0, -128, 3, 0, 24, 0, 58, 44, -49, 76, 0, -112, 56, -184, -4, 0, -56, 0, -58, -96, 0, -64, 43, -178, 0, 0, 108, -60, 14, -70, 0, 0, 74, -76, 16, 0, 0, 138, 0, -144, 0, 24, -50, -20, -32, 0, -73, 112, 16, -50, 0, 28, 0, -32, 52, 0, -171, 126, 14, 0, 0, -14, -40, 132, 76, 0, 0, 0, 92, 24, 0, -176, -78, 0, 13, 0, 38, -104, 108, -62, 0, -8, -56, -56, 134, 0, 32, 0, 16, 10, 0, 140, -97, -208, 0, 0, 58, 6, 0, -64, 0, 0, 68, -102, -4, 0, 48, 68, 0, -8, 0, -76, 84, 168, -68, 0, -15, -63, 37, -218, 0, -24, 0, 0, 28, 0, 23, -134, 112, 0, 0, -168, 49, 60, -40, 0, 0, 130, -80, -144, 0, -56, -23, 0, -11, 0, -160, -112, -72, 10, 0, 20, -96, 38, -33, 0, 2, 0, 52, 24, 0, 26, 36, -48, 0, 0, 100, 94, 136, 22, 0, 0, 96, 108, 76, 0, -38, 22, 0, -104, 0, 36, -84, 120, -40, 0, 64, 140, -105, -30, 0, 0, 0, -108, -26, 0, 13, -156, 48, 0, 0, -10, -3, -4, -86, 0, 0, 6, -88, 120, 0, -44, 13, 0, 67, 0, 84, -134, 87, 68, 0, 94, 0, 160, 23, 0, 48, 0, -40, -135, 0, 64, -128, 12, 0, 0, -11, 56, -98, -64, 0, 0, -18, -112, 84, 0, 166, 6, 0, 54, 0, -116, -90, 0, 50, 0, 65, 12, -56, 64, 0, -12, 0, -1, -36, 0, 56, 104, -99, 0, 0, -14, 72, -56, 46, 0, 0, -52, 46, -42, 0, 4, 97, 0, 0, 0, 30, -170, -102, 108, 0, 72, -6, 6, -88, 0, 2, 0, -20, -216, 0, -44, -9, 32, 0, 0, -33, -96, 4, 104, 0, 0, -168, 4, 6, 0, 66, -14, 0, 16, 0, -40, 28, 64, 52, 0, -71, 196, -16, 132, 0, 48, 0, -32, -70, 0, -145, -192, 123, 0, 0, 68, 124, 102, -48, 0, 0, 24, -104, 2, 0, -50, 74, 0, -16, 0, 92, 96, 47, -120, 0, 116, -92, -88, -97, 0, 4, 0, 114, -4, 0, -88, -58, -10, 0, 0, -128, 0, 86, 8, 0, 0, -44, -106, -12, 0, 42, -80, 0, 60, 0, -226, 168, 142, -74, 0, -46, 72, -30, -72, 0, -60, 0, 92, 133, 0, -48, -40, 31, 0, 0, -120, -20, 165, 58, 0, 0, 44, 34, -148, 0, 246, 32, 0, -31, 0, -14, 76, 63, -60, 0, -86, 20, 248, 63, 0, -16, 0, -204, 0, 0, 121, -16, -28, 0, 0, -72, -8, 54, 20, 0, 0, 54, -72, 110, 0, -178, 28, 0, -4, 0, -48, 44, -84, -48, 0, 41, -128, -55, -40, 0, -148, 0, 80, 107, 0, 113, 46, 25, 0, 0, 162, 51, 92, -106, 0, 0, -66, 64, 28, 0, 0, 124, 0, 12, 0, -80, 136, 72, -12, 0, 0, -92, -106, 36, 0, 16, 0, 140, -102, 0, -14, 29, -4, 0, 0, -29, 60, 76, 148, 0, 0, 84, -64, -16, 0]