# Trace form for 7225.2.a.bb, downloaded from the LMFDB on 10 February 2025.
[0, 6, -2, 4, 6, 0, -4, 8, -6, 2, 0, 0, 8, 0, -8, 0, 2, 0, -14, -12, 0, 8, 16, 0, -24, 0, -12, -8, -8, -8, 0, -4, 6, 8, 0, 0, -10, 16, 12, -28, 0, -12, 8, -8, 4, 0, -20, -24, 8, -10, 0, 0, 28, 0, 12, 0, -20, -16, 48, -16, 0, 4, -40, 20, -14, 0, -16, 4, 0, 0, 0, -32, 10, -8, 8, 0, -36, -24, 4, -36, 0, -14, -28, -20, 0, 0, -48, -24, 12, -12, 0, -12, 28, -36, 20, 0, 44, 16, 22, -20, 0, 8, 0, -40, -4, 0, 28, 28, -12, -20, 0, -44, 12, 0, 32, 0, -40, -32, 24, 0, 0, -14, -24, 40, 8, 0, 12, 8, -18, 52, 0, -20, -8, -8, 0, 0, 0, 40, -40, -40, 0, -4, 36, -32, -22, 0, -12, 4, 20, 16, 0, -28, -20, 0, 4, 0, 36, -20, -4, 56, 0, -20, 50, 40, 28, 0, -16, 8, -56, 38, 0, -44, 24, 0, 68, 0, -24, -32, -84, -32, 0, -48, -56, 4, 24, 0, 24, 0, -92, -20, 0, -12, -44, 36, 56, 0, -54, -28, -48, -20, 0, -12, 56, -12, 0, 0, 0, 24, 36, 0, 0, -20, 44, -20, -36, 0, 44, 24, -12, -12, 0, 0, 28, -32, 32, 0, 28, -32, -40, 12, 0, 4, 68, -44, 24, 0, -64, 8, 0, -40, 0, -12, 2, 0, -4, 0, -56, 32, 0, -36, 0, 0, -8, 12, -24, 0, -70, 12, -88, -8, 0, -8, -4, -64, 52, 0, 32, 12, -8, 12, 0, -20, 0, -76, 28, 0, 60, -56, 20, 32, 0, 16, 36, 92, 60, 0, 108, 0, 38, 0, 0, -44, -40, 48, 64, 0, 56, 20, -64, 4, 0, 4, -20, 12, 28, 0, 0, -12, -28, -28, 0, 32, -32, -16, 16, 0, -80, 28, -60, 16, 0, -20, -28, 0, 10, 0, 32, -64, -68, -12, 0, -68, -24, -20, -16, 0, 36, -24, -106, 4, 0, -104, 68, -20, -52, 0, 16, -52, -100, 0, 0, -32, 28, -44, 40, 0, 20, 0, -72, 0, 0, 22, -56, -40, 68, 0, -36, 40, -36, 12, 0, -32, 48, 60, 0, 0, 12, -36, 12, -52, 0, 12, 60, -28, 8, 0, 44, 60, -76, -4, 0, 0, 6, 0, 80, 0, 32, 28, -20, -24, 0, 104, -4, 116, -8, 0, 24, 0, 0, 12, 0, -12, 40, -32, -56, 0, -120, -4, 0, 44, 0, 44, 64, 0, 0, 0, -44, -4, 88, 0, 0, 28, -40, 8, -40, 0, -76, -64, -4, -32, 0, 34, 0, -44, 24, 0, 20, 28, 44, -28, 0, -24, 24, -32, -72, 0, 48, 0, 20, 0, 0, -32, -20, 56, -32, 0, 16, 20, -72, -12, 0, -8, 72, -4, 28, 0, 0, -4, -8, -44, 0, 96, 72, -52, 10, 0, -28, 40, -16, -16, 0, -28, 32, 0, -48, 0, 36, -132, 44, -76, 0, -32, 136, 36, 32, 0, -28, 112, -40, 8, 0, -12, 70, -24, 72, 0, 76, 40, -80, -4, 0, 32, -12, 44, -32, 0, 48, 0, -68, -54, 0, 0, 32, -24, -52, 0, 8, -44, 4, -44, 0, 8, 116, -64, 0, 0, -40, 104, -28, 4, 0, 0, 12, 4, 36, 0, -68, 16, 76, -80, 0, 0, 32, -72, -76, 0, -120, -80, 80, -36, 0, -76, -108, -100, 24, 0, 30, 20, 0, -8, 0, 4, 140, 76, -36, 0, 56, -64, -100, 0, 0, -32, -24, 8, -48, 0, -20, -104, 84, -84, 0, -36, 36, -20, 4, 0, 52, 152, 4, 8, 0, -92, 0, -24, 84, 0, -4, -8, -24, -40, 0, 24, -84, 32, 84, 0, -36, -40, -32, 0, 0, 28, -36, 20, -52, 0, -24, -72, 0, -76, 0, 44, -28, 68, 36, 0, 0, 8, 22, 48, 0, -84, 16, 24, 112, 0, 52, -40, 112, 20, 0, 8, -92, 0, -8, 0, -96, -48, 64, -36, 0, 28, 84, -40, 40, 0, 82, -64, -12, 56, 0, -16, 64, 64, 36, 0, 124, 84, -4, -124, 0, -16, 28, -24, 24, 0, 48, 0, 0, 0, 0, -32, 108, -16, -84, 0, 44, 16, -48, -64, 0, 16, -68, 16, 0, 0, 12, 56, -96, -8, 0, -92, 14, -36, -32, 0, 16, -36, 28, -94, 0, 0, 60, 56, 56, 0, -4, 32, 100, -80, 0, 152, 12, -80, -88, 0, -72, -4, 0, 16, 0, 136, -44, 44, 72, 0, -32, -12, 48, 68, 0, -24, 72, 40, -136, 0, -72, -40, -4, -44, 0, -28, -12, 44, 32, 0, 56, -116, -12, -24, 0, 88, 0, 52, 14, 0, 28, 92, -80, -68, 0, -36, -64, 0, -52, 0, -24, -92, -24, 0, 0, 72, 40, 28, 20, 0, -204, -40, -8, -8, 0, -88, -120, -48, 140, 0, 0, -72, -4, -52, 0, -52, 52, 84, 52, 0, 48, -12, 48, 36, 0, -4, 32, 0, 28, 0, -120, -32, 48, 176, 0, -2, -156, 44, -40, 0, 40, -40, -16, 108, 0, 20, -4, -56, 4, 0, -56, 24, 104, -20, 0, 88, -4, 36, -4, 0, -100, 0, 96, -28, 0, 20, 84, -4, 88, 0, 20, 64, 152, -8, 0, -28, 90, -28, 0, 0, -28, 20, -64, 116, 0, 84, -28, 144, -8, 0, -4, -24, 8, -52, 0, 0, -64, 64, -100, 0, -56, 72, -32, -44, 0, -80, 32, -80, -180, 0, 60, 12, 0, 44, 0, 36, 176, 40, -12, 0, 0, -28, -56, 68, 0, -4, 56, 92, 52, 0, 124, -144, -8, -84, 0, -40, 52, 16, -80, 0, -156, 80, -68, 32, 0, -48, 0, -32, -48, 0, 0, -20, 0, 52, 0, 70, -28, -52, -156, 0, -36, -152, 46, 0, 0, -56, -12, -36, 88, 0, -28, -20, -32, -108, 0, 92, 4, -92, 24, 0, 0, -12, 16, 84, 0, 24, -116, -8, -48, 0, -12, -56, 16, -4, 0, -36, -40, 0, -4, 0, -104, -136, -24, -112, 0, 60, 52, -168, -92, 0, -148, -160, 64, -8, 0, 144, 36, 32, 94, 0, -24, -68, 56, 44, 0, 100, 28, -12, -180, 0, -36, 0, 68, -160, 0, -116, 16, 100, -72, 0, 16, 100, 4, 88, 0, -128, 32, 60, 0, 0, 20, -96, -22, 8, 0, 96, -48, -84, 24, 0, -64, -32, 112, -12, 0, 0, -24, 36, -48, 0, 36, 44, -56, 92, 0, -44, -4, 84, 20, 0, 36, 144, 0, -22, 0, 56, 160, -68, 12, 0, 196, -156, -48, 8, 0, -16, -192, -16, -68, 0, 124, -16, -112, -108, 0, 12, -48, 148, 156, 0, -60, -64, 72, 36, 0, 80, 0, 88, 68, 0, -12, -80, 136, -12, 0, -52, -28, -4, -20, 0, -32, -108, -52, 0, 0, -40, 132, -4, 76, 0, 184, 60, 96, 20, 0, -4, 34, 24, 16, 0, 0, 52, 72, 48, 0, 8, 8, -12, -136, 0, -56, -40, 0, -48, 0, 44, -48, 0, 60, 0, -4, -56, 8, 40, 0, 80, 144, 164, -128, 0, 36, 56, 104, -88, 0, 128, -12, -60, 140, 0, -124, -112, 196, -128, 0, -164, -40, -24, 100, 0, -52, 0, 164, 76, 0, 48, -112, -36, 44, 0, 132, -76, 92, 32, 0, 104, 172, -176, 0, 0, 160, -40, -116, 72, 0, -4, -20, 168, 148, 0, 12, 64, -20, -96, 0, 0, 0, 52, 124, 0, 4, -140, -172, 0, 0, -68, 24, -52, 136, 0, 84, 28, 0, 12, 0, 0, 52, -72, 20, 0, 16, -20, 204, 32, 0, 24, 76, 56, -48, 0, 164, 4, -36, -16, 0, -64, 24, 24, 112, 0, -52, -36, 68, 200, 0, -168, 0, 168, 28, 0, 10, -44, -104, 100, 0, 36, 8, -20, 140, 0, 16, -100, -56, 0, 0, -88, 44, -36, 20, 0, -12, -144, -4, -44, 0, 124, -128, 20, -12, 0, 0, 84, 48, 100, 0, -12, -88, -8, 92, 0, 44, 12, -44, 72, 0, 164, -52, 0, -60, 0, 28, 28, -12, -40, 0, 56, -218, -112, -12, 0, -20, 8, 16, 84, 0, 48, -24, 28, -156, 0, 44, 8, 84, 14, 0, 108, -24, 12, -76, 0, 140, 0, 164, 4, 0, -76, -160, -196, -8, 0, 32, 184, 60, 196, 0, 204, 8, 36, 0, 0, 156, -156, -104, 16, 0, -12, 72, 44, -168, 0, -56, -68, -96, 12, 0, 0, -220, 88, 12, 0, 112, 32, -36, -12, 0, 120, 168, -4, 48, 0, 76, 16, 0, -32, 0, 56, 148, -176, -48, 0, 300, -60, -24, -8, 0, -52, -28, 4, -10, 0, 204, -48, 4, -16, 0, 4, 8, 88, -52, 0, 12, -108, -38, -68, 0, 128, 0, 96, 12, 0, -144, 12, -32, 112, 0, -96, -80, -108, 4, 0, 20, -48, 120, 0, 0, 12, -152, 28, -80, 0, 188, -48, 128, 148, 0, -76, 72, -72, 132, 0, 0, -52, -136, -4, 0, 136, -28, -28, 152, 0, 0, 32, -116, 84, 0, -28, 64, 0, -32, 0, -168, -192, -96, 16, 0, 126, 72, 32, -52, 0, 32, -152, 72, 16, 0, -4, 96, -88, 208, 0, -28, 64, 52, 116, 0, 12, 28, -92, 60, 0, 0, 0, 144, 16, 0, 16, -8, 36, 48, 0, -40, 20, 40, -48, 0, -132, 8, -168, 0, 0, -92, -104, 18, -68, 0, 52, -44, 84, 80, 0, 104, 88, 32, 12, 0, 0, -20, -20, 20, 0, 80, 76, -140, 0, 0, -208, 116, 56, -76, 0, 8, 8, 0, 80, 0, 80, 128, 0, 104, 0, -52, -124, 16, 92, 0, 156, 168, 164, 56, 0, 44, -84, 140, -224, 0, 104, -44, 52, 36, 0, 16, -28, 76, 24, 0, -164, 0, 88, 216, 0, -28, 4, -12, -104, 0, 136, -32, -204, -28, 0, -124, -16, 4, 0, 0, 72, -40, 104, -196, 0, -4, -144, 164, 44, 0, 72, 76, -20, 120, 0, 0, -180, -84, -88, 0, -20, -72, -24, 116, 0, 32, -60, -132, -20, 0, -14, -154, 0, 88, 0, 56, 84, -24, -4, 0, -16, 208, 24, -36, 0, 44, 12, -60, 76, 0, 4, 28, -36, 216, 0, -40, -112, 60, -116, 0, 64, 88, -112, 68, 0, -244, 0, 148, -64, 0, -40, -96, 300, -8, 0, 64, -52, -20, 80, 0, -60, 132, 56, 0, 0, 84, 28, -188, -120, 0, 0, 60, -60, -28, 0, -16, 204, -104, -108, 0, 0, 60, 52, -236, 0, -28, -92, 176, -96, 0, -60, -128, 224, -58, 0, 124, 136, 0, -112, 0, 12, -188, 24, -36, 0, 60, 44, 44, -96, 0, -188, 76, 148, 52, 0, 96, 184, 60, -124, 0, 88, -120, 168, 228, 0, 20, 20, 12, -60, 0, 124, 0, 156, -136, 0, -92, -8, 112, -8, 0, -68, 80, -108, -136, 0, -12, -60, 28, 0, 0, 144, 160, -140, -200, 0, 20, 96, -4, -72, 0, 40, -92, 4, 52, 0, 0, 24, 28, 56, 0, -148, 64, 48, -124, 0, 196, 116, 144, 74, 0, -60, 128, 0, 72, 0, 32, 52, 100, -184, 0, 188, -132, -36, 168, 0, -252, 212, 12, -24, 0, 56, -44, 148, 36, 0, 12, 176, 148, 4, 0, -16, -36, 24, -80, 0, -8, 0, 48, 4, 0, -28, -64, 96, 16, 0, 116, -168, 32, -96, 0, 212, -144, -128, 0, 0, 92, 128, -48, -36, 0, -108, -128, 240, -32, 0, -264, 92, -24, -8, 0, 0, -90, 12, -8, 0, -8, -24, 240, 132, 0, 48, 96, -16, 72, 0, -6, -92, 0, -20, 0, -84, 192, -36, 8, 0, 104, 96, -48, -76, 0, 48, 96, 4, -48, 0, 56, -24, -76, 84, 0, -136, 92, -64, -144, 0, 152, 84, -16, -48, 0, -40, 0, 0, 8, 0, -80, -8, -144, 144, 0, 260, 208, 76, 160, 0, -40, 24, 32, 0, 0, -136, 0, 84, 24, 0, -200, 16, 36, 12, 0, -152, 140, 92, 96, 0, 0, -104, 116, 52, 0, -92, 252, 96, -104, 0, -4, -196, -4, 60, 0, 32, 44, 0, -16, 0, 72, -196, 124, 168, 0, -124, 172, 0, 76, 0, 176, 12, -64, -92, 0, -92, 80, 76, 92, 0, 52, 68, 50, 176, 0, 160, 8, 36, 12, 0, 40, 0, 44, 80, 0, -40, 140, -224, -116, 0, 40, -88, -4, -72, 0, -8, 84, 208, 0, 0, -80, -36, 240, 24, 0, -112, 28, -168, 184, 0, 32, -260, -128, -88, 0, 0, -104, 124, -256, 0, 12, 32, -68, 52, 0, -24, 4, 96, 156, 0, 68, -4, 0, 168, 0, -16, 36, 108, -8, 0, -90, -112, 184, -76, 0, 136, -228, 0, 144, 0, 136, -116, -8, -116, 0, -112, 168, 8, 108, 0, -60, 64, 76, -68, 0, -24, 0, 32, 28, 0, 60, 216, 132, 4, 0, -48, -36, 100, -320, 0, 32, -152, -172, 0, 0, 124, -4, -80, 0, 0, -148, -44, 108, 228, 0, 116, 36, 136, 88, 0, 0, -44, 10, -40, 0, -124, -92, 32, 12, 0, -148, -24, -108, -212, 0, 84, -212, 0, 28, 0, 156, -36, 44, 192, 0, -92, 24, 108, 104, 0, 80, -48, 76, 74, 0, 72, 68, 180, 80, 0, 172, 24, 36, -112, 0, -76, 92, 168, 48, 0, -36, 0, 4, -120, 0, -140, 176, -36, -316, 0, -60, 24, -76, 136, 0, -24, 48, -120, 0, 0, 28, -76, -60, 48, 0, -180, 92, 116, 72, 0, -108, 16, 260, -68, 0, 0, -20, -28, -164, 0, -20, 60, -4, -100, 0, -20, -176, 116, 152, 0, -60, 80, 0, 140, 0, 4, -72, 36, -56, 0, 256, -52, -48, -88, 0, -12, -156, -140, -272, 0, -104, -8, -140, 20, 0, -16, -16, 40, 78, 0, -120, 148, -176, -84, 0, -56, 0, -132, -168, 0, -72, -24, 216, -44, 0, 96, 4, -116, 92, 0, 60, -4, -96, 0, 0, 60, 196, 32, 84, 0, 100, -160, -104, -68, 0, 4, -236, -76, -40, 0, 0, -4, -92, 64, 0, 196, 56, 156, 264, 0, 208, 116, 104, 40, 0, -36, 120, 0, -220, 0, -8, -44, 4, 76, 0, -28, -188, 16, 128, 0, -76, 56, 128, 0, 0, -44, -24, -112, -32, 0, 196, -84, -36, -76, 0, -152, -32, -84, -64, 0, -24, 0, -48, 36, 0, 14, 248, -44, -76, 0, -28, -12, -32, 56, 0, 64, 76, 136, 0, 0, -188, 68, -132, -128, 0, -68, -32, -116, -20, 0, 108, 108, 156, -164, 0, 0, 12, 100, 244, 0, -136, 148, -60, -204, 0, -96, -76, -156, -352, 0, 28, 32, 0, 12, 0, -304, 72, 160, -48, 0, -144, -36, -180, -36, 0, 8, 28, -44, 80, 0, -320, -124, -80, -20, 0, 104, 156, -32, -264, 0, 220, -76, 32, 72, 0, 196, 0, 92, -4, 0, 156, -168, -96, -8, 0, -92, 204, 168, 136, 0, 4, -80, 248, 0, 0, -40, 172, -44, -12, 0, -24, -16, -96, -48, 0, -128, -44, -180, 64, 0, 0, 164, 4, 60, 0, 28, -92, 124, -36, 0, -12, -56, 120, 20, 0, 20, -120, 0, 16, 0, 60, -64, -212, -112, 0, -104, 128, -152, -120, 0, 88, 232, 48, -28, 0, 76, -92, -20, 168, 0, -56, -124, -232, -60, 0, -88, -48, 140, -68, 0, -68, 0, -168, -8, 0, 172, 168, 188, 44, 0, -48, -36, -252, -208, 0, -200, 40, -72, 0, 0, -108, 172, 196, -60, 0, -8, -98, 160, -88, 0, 112, 68, -252, -116, 0, 0, -36, -336, 140, 0, 124, -88, -196, 96, 0, 92, 100, 28, -124, 0, -48, 16, 0, -4, 0, -216, 256, 56, -68, 0, -80, 0, 192, -16, 0, -44, 116, 180, 120, 0, 12, 8, -204, -180, 0, 232, -84, -172, 268, 0, -52, -132, -12, 4, 0, -84, 0, -56, 60, 0, -92, 56, -24, 44, 0, -28, -132, 156, 112, 0, 308, 144, -76, 0, 0, 8, -28, -132, 48, 0, 28, -44, 40, 40, 0, -76, 4, 268, -52, 0, 0, 56, -76, -132, 0, -20, -32, 52, -132, 0, -296, -28, -224, 56, 0, 0, -32, 0, 170, 0, 128, 12, -8, -68, 0, 24, 52, 156, 0, 0, -196, 72, -172, 8, 0, -16, 72, 52, 80, 0, -432, -4, 20, -168, 0, -100, 244, -112, -148, 0, 68, 0, 118, -40, 0, 40, -188, -76, 92, 0, 8, -96, -16, -60, 0, 44, -92, 120, 0, 0, -12, -148, 76, 244, 0, 232, -28, -176, 60, 0, 272, -72, 104, 296, 0, 0, 160, 232, 192, 0, 28, 20, -184, 184, 0, 64, -308, 28, -44, 0, -60, 88, 0, -136, 0, 132, -156, 8, 108, 0, 44, 172, -148, 4, 0, -4, 8, -252, 4, 0, -108, 12, 188, 114, 0, -152, -128, 212, -16, 0, 128, 40, 132, -96, 0, 264, 0, -180, -76, 0, 44, 72, -140, 64, 0, -160, -104, 92, -96, 0, 120, -12, -44, 0, 0, 216, -196, 128, 156, 0, -184, 152, 32, -112, 0, 124, -156, -76, -240, 0, 0, 96, 120, -116, 0, 0, -16, -72, -152, 0, 0, 120, -40, -136, 0, -164, -124, 0, 192, 0, 196, -12, -136, -136, 0, -56, -84, -184, 108, 0, 100, -140, 10, -104, 0, -32, -252, 4, -348, 0, 48, -192, -48, 28, 0, -236, -364, 144, 44, 0, 24, 0, -356, -4, 0, 72, -224, -44, 372, 0, 22, 68, 4, 12, 0, -196, 64, -244, 0, 0, 80, 148, -76, 160, 0, 328, 152, 88, -396, 0, 140, 8, -168, 52, 0, 0, 176, 40, 104, 0, 160, 116, -4, 52, 0, 28, -68, 8, 80, 0, -32, -28, 0, -88, 0, -124, 4, -76, 80, 0, -312, 228, -164, -188, 0, 196, -404, 16, 16, 0, -108, -100, -68, 116, 0, 208, -148, -144, -144, 0, 156, 28, -28, -148, 0, -20, 0, -64, 56, 0, 104, 68, -288, -200, 0]