# Trace form for 253.2.a, downloaded from the LMFDB on 18 September 2025.
[0, 17, 1, 0, 17, -2, 6, -4, -9, 21, -6, 1, -10, -22, -16, 12, 21, -10, -25, 0, -26, -4, 3, -5, 0, 11, 4, -24, 4, 10, -20, -16, -47, 4, 26, -16, 27, -22, 20, 20, 30, 10, 12, 8, -1, 6, 3, -24, 10, 5, 11, -12, -20, 22, 82, -2, 4, 8, -12, -8, 28, -22, 30, -28, 31, 0, 12, 0, -6, -4, 28, -8, -61, -30, 34, -52, -20, -4, 22, -4, -42, 73, -12, -12, -64, -12, -64, -12, -9, 34, -70, -8, -5, 40, 70, 20, 54, -6, 21, 13, -25, 6, 28, 48, -2, 92, -22, -4, -126, -26, 6, 12, -84, -66, -8, -2, 36, -22, 32, 16, -108, 17, 66, -8, -6, 24, -64, 44, -79, 8, 60, 16, -4, -52, -12, 0, 66, 66, 6, 4, 28, 76, -34, 14, 27, -52, 16, 8, 2, -22, 14, 36, 76, -18, -24, -28, -78, -6, 108, 52, 102, 4, -135, 28, 28, 16, 36, 80, 16, -57, -52, -56, 20, 14, -94, 36, -1, 108, 66, -4, -150, -2, 24, -104, -3, -52, -30, 2, -78, -32, 16, 20, -96, -86, -2, 32, 9, -6, -37, -28, 17, 20, -6, 4, 44, -24, 0, -5, 60, -8, -28, -8, 114, -40, 16, 4, 176, 32, -34, -36, 2, -40, -32, -28, 64, 63, 22, -44, 152, -58, 18, -16, -106, 90, -2, 48, -72, -16, -16, 20, 40, -38, 1, -32, 22, -50, 94, -20, 172, 148, -88, 20, 88, -1, 58, 76, 49, 26, -20, -72, -44, -26, 22, -24, 60, 0, -60, 64, -112, -82, 0, -36, -66, -80, -58, -1, -38, -46, 10, -116, 12, 6, 102, -80, 22, -104, 18, 76, -97, 7, -116, 160, -16, -82, 30, -8, -54, 16, -54, 14, -38, -20, -38, 28, 16, -16, -22, 96, 16, -108, -140, -12, 160, -30, 50, -88, -72, -82, 60, 26, 38, 96, -8, 20, 61, -150, 38, -80, 14, -44, -76, 48, 24, -62, 52, 64, -248, -50, -15, -56, 12, -8, 232, -116, -68, -4, -10, -16, 134, -66, 8, 116, 15, -10, 76, 120, 42, -8, 134, 80, 210, 25, -98, 0, 40, -36, -56, 76, 7, 62, -84, -84, 50, -38, -58, -40, 172, 48, -28, 0, 8, -92, 176, 68, -54, 24, -60, 156, 98, 58, -116, -2, -1, 92, 64, 4, 51, 2, -112, -12, -169, 10, 16, -64, 18, 106, 84, -2, 88, -6, 136, 88, 48, 80, -15, 60, -60, 16, 36, 108, 244, -14, -80, -112, -106, -18, -22, 28, 132, -32, 48, 60, -174, -106, -112, 92, -130, 8, 126, -8, -50, -43, -92, -8, 228, 4, -140, 204, -52, -42, -59, -2, -238, 48, 96, 32, -168, 38, -14, -28, 22, -22, -8, -12, 24, -24, -260, 56, -90, 144, 8, -88, 64, 24, -264, 64, 4, 46, 42, -212, -88, -84, -18, 32, 17, -92, 240, 16, -6, 16, 18, 36, -222, 72, -144, -18, -98, 64, -80, -92, 64, 152, 32, 8, -260, 4, -11, 16, -2, -46, -132, 24, -169, 68, 28, 164, -72, 32, 12, -132, -4, -118, 6, -36, -78, -16, -144, 60, -52, 17, 72, -100, -384, 132, -228, 32, 48, 108, 164, 1, 272, -10, -144, -200, 42, -28, 104, 52, 250, -74, -3, -20, 48, 24, -48, 12, -10, 26, -8, -4, 76, -32, -38, 8, 102, 184, 84, 4, 88, 62, 68, 92, 22, 28, -116, -19, 79, 10, -161, 32, -20, 132, -32, -18, 50, -84, 242, -4, 170, -104, 64, -76, -70, -54, -8, 124, -118, -128, -36, -136, 8, -6, 148, -156, 150, -2, -256, 156, -44, 156, 76, 224, 290, -22, 28, 68, -32, -34, -212, 20, 136, -16, -6, -60, -54, 45, -78, -12, 22, 200, 128, -128, -96, 24, -186, -136, 108, 54, 18, -88, 166, -58, 188, 4, 4, 36, 124, 28, -189, 36, -112, -76, -18, -38, 64, 44, -28, 82, 100, 28, 16, 62, -38, -176, 384, 140, 294, 14, -84, 108, 192, -46, 244, 238, -118, -300, -115, 10, -84, -92, -128, 156, -36, 52, -280, -44, -220, 92, 336, -44, -44, -72, 310, -32, 216, 8, 116, 0, 140, -136, -20, -30, -10, 28, -65, -200, -140, 32, 88, 58, 200, -364, 42, 8, -168, -20, -46, -16, 20, -148, -186, -116, -7, -160, -2, -94, 6, -60, 76, 153, 24, -40, -244, 14, 104, -180, 27, -4, -162, 60, -104, 92, -112, -20, 100, -60, -58, -208, 74, -48, 504, 72, 34, -156, 110, 40, 0, -14, -80, -20, -120, -114, 126, 100, -288, -384, -52, 80, 94, 86, 24, 40, -316, 162, -268, 148, 14, -104, 50, -224, -140, 8, -34, -184, -123, -104, -6, -8, 328, 120, 140, 44, -69, 16, -60, -156, -288, 30, -140, 8, 59, 62, -246, 50, 100, 0, -2, 96, -58, -110, 286, 8, -68, 108, 14, 48, -372, -16, 208, -84, -16, -22, 96, 8, 156, 92, 20, 4, 49, 46, 0, -216, -58, -106, 198, 84, -92, -48, 168, -64, 16, 107, -330, -52, -16, 130, 76, -4, 262, -72, 78, -42, 50, 34, 308, -32, -44, 34, 40, -64, 192, 80, -20, -188, 502, 56, 218, 60, 44, -16, -116, -148, -38, 42, 24, 76, -102, 22, 58, 68, -70, 118, 343, 84, 28, 188, 54, -212, -52, 80, -116, 25, -104, 208, -52, 248, 176, -40, -58, -108, 241, -12, -34, -60, 126, -124, -178, -196, 104, -34, -40, 152, 292, 32, 142, 68, 38, 148, -128, 124, 46, 128, 136, 44, -12, 94, -20, 48, -368, -14, -112, -24, -4, -112, 0, 0, -206, -226, 104, -44, 24, 70, 4, 26, -128, 24, -76, 80, 84, -104, 128, 188, -348, -34, 50, -40, -106, -84, 24, 72, -100, 29, -112, 272, -222, 116, 72, -100, -9, -32, -260, -60, -600, -44, -206, 240, 2, -10, -42, -38, -166, 322, 10, 84, 252, -184, -172, -116, -112, 4, 106, -24, 386, -36, 236, -12, 300, 122, -110, 40, -176]