# Trace form for 231.2.s, downloaded from the LMFDB on 23 April 2024.
[0, 96, 0, 6, -24, 0, -10, 0, 0, -20, 0, 0, -20, 0, 0, 0, -32, 0, -10, -60, 0, 0, 0, 0, 30, 12, 0, 0, -40, 0, 60, 40, 0, -44, 8, 0, 2, 16, 0, -10, 0, 0, 0, 0, 0, -96, -40, 0, 48, 24, 0, -30, -40, 0, 0, 28, 0, -30, 36, 0, -32, 40, 0, 0, -28, 0, 118, -56, 0, 26, 20, 0, 150, 40, 0, 2, 0, 0, -20, -40, 0, 8, -16, 0, 40, -60, 0, 0, -156, 0, 100, 36, 0, -36, 0, 0, 160, -88, 0, -94, 136, 0, -148, -52, 0, 40, -80, 0, -122, 0, 0, 56, 80, 0, -176, 44, 0, 30, 160, 0, 0, -68, 0, 20, -56, 0, -8, -60, 0, 40, -56, 0, 4, -16, 0, -30, -16, 0, -140, 80, 0, 90, 0, 0, 180, 40, 0, -6, 12, 0, 10, 120, 0, 0, -40, 0, -150, 12, 0, -6, 160, 0, 80, 4, 0, 44, -32, 0, -66, 32, 0, 10, 120, 0, 84, 0, 0, -144, 100, 0, 82, -52, 0, 150, 60, 0, 0, 244, 0, -100, 152, 0, 20, 100, 0, -260, 24, 0, 158, -32, 0, 48, -220, 0, 50, -160, 0, 80, 0, 0, -32, 160, 0, 28, 168, 0, -360, 0, 0, 0, -92, 0, -50, -64, 0, 28, -480, 0, -360, -108, 0, 32, 80, 0, -72, -16, 0, -150, -140, 0, -30, 0, 0, -84, -400, 0, 2, -84, 0, 50, -160, 0, 0, 112, 0, 190, 184, 0, -146, -40, 0, 100, -28, 0, -454, -256, 0, 86, 312, 0, 100, 100, 0, -8, 0, 0, 232, -260, 0, 232, -12, 0, 240, 260, 0, 0, 112, 0, -280, 0, 0, 50, 340, 0, 0, -132, 0, -22, -112, 0, 194, 96, 0, 170, -60, 0, 130, 0, 0, -76, 580, 0, 40, 16, 0, 100, -380, 0, 0, -188, 0, 270, 80, 0, 114, -20, 0, 270, 76, 0, -200, 80, 0, 62, -176, 0, 180, -420, 0, 18, 0, 0, 312, 0, 0, -246, -376, 0, 130, 120, 0, 0, -52, 0, 150, -392, 0, 24, -120, 0, -260, -32, 0, 54, 0, 0, -138, -228, 0, -20, 640, 0, -52, 0, 0, 264, 180, 0, -116, -60, 0, -130, 380, 0, 0, -56, 0, -80, -160, 0, 36, 360, 0, 180, 288, 0, 362, 552, 0, -20, 272, 0, -240, 200, 0, 8, 0, 0, -8, -20, 0, 90, 328, 0, 30, -60, 0, 0, 348, 0, -160, 40, 0, -230, 40, 0, -390, 32, 0, 124, -312, 0, 256, -120, 0, -140, -340, 0, -312, 0, 0, 0, -160, 0, -52, 108, 0, -520, -160, 0, 0, -96, 0, -40, -388, 0, 280, -380, 0, -350, 128, 0, 68, -96, 0, -54, -136, 0, -770, -120, 0, -62, 0, 0, -280, -700, 0, -256, 84, 0, -330, -460, 0, 0, 568, 0, 0, 96, 0, 92, -40, 0, 290, 212, 0, -184, -600, 0, 228, 400, 0, -70, -380, 0, -88, 0, 0, 12, -40, 0, 660, -136, 0, 440, 240, 0, 0, -184, 0, -80, -4, 0, 6, 160, 0, 60, 204, 0, 278, -120, 0, 136, 200, 0, 290, 400, 0, -54, 0, 0, -504, 160, 0, 4, -516, 0, 120, -280, 0, 0, -360, 0, 930, 8, 0, 30, 180, 0, 520, -24, 0, -182, -80, 0, 94, 68, 0, 120, 120, 0, 82, 0, 0, 120, 100, 0, -614, 224, 0, -30, 700, 0, 0, -108, 0, 20, -208, 0, 10, 180, 0, -320, 384, 0, -26, 48, 0, -136, 276, 0, -140, 620, 0, -154, 0, 0, -60, 40, 0, -154, 140, 0, -140, 300, 0, 0, -88, 0, -660, 292, 0, 182, 680, 0, 840, -8, 0, 220, -144, 0, -114, 60, 0, 290, 160, 0, 186, 0, 0, -428, 100, 0, 52, 124, 0, 460, -400, 0, 0, 300, 0, -120, -368, 0, 134, 120, 0, -390, 44, 0, 122, 72, 0, 106, -988, 0, 280, -140, 0, -30, 0, 0, -168, 420, 0, 252, -160, 0, -910, -60, 0, 0, -248, 0, -200, -92, 0, 42, -840, 0, -220, -356, 0, 64, 1104, 0, -88, 52, 0, -600, -160, 0, 16, 0, 0, -272, -880, 0, -250, 24, 0, -410, -800, 0, 0, -240, 0, 180, -272, 0, -214, -180, 0, 40, -532, 0, -580, -136, 0, -44, 192, 0, 40, -140, 0, -10, 0, 0, 792, -180, 0, 318, 72, 0, 800, -40, 0, 0, -176, 0, -440, 484, 0, -262, 160, 0, 250, 132, 0, 112, -272, 0, 122, 224, 0, 530, -340, 0, 172, 0, 0, -36, 540, 0, 482, 348, 0, 180, -960, 0, 0, -148, 0, 590, 32, 0, 170, -260, 0, 170, -56, 0, -166, 200, 0, -34, 320, 0, 280, -400, 0, 4, 0, 0, 588, 420, 0, -112, 568, 0, 600, 1000, 0, 0, 260, 0, 600, 292, 0, 80, -940, 0, -580, 96, 0, 246, 384, 0, -402, -224, 0, 240, 1120, 0, 64, 0, 0, 160, 360, 0, -236, -168, 0, -190, -20, 0, 0, -16, 0, -720, 456, 0, 26, 420, 0, 250, 76, 0, 310, 96, 0, -20, -84, 0, 90, -20, 0, 148, 0, 0, 28, -680, 0, -156, -112, 0, 340, -140, 0, 0, 872, 0, 0, 60, 0, -278, -60, 0, -780, 80, 0, 114, -488, 0, 10, -528, 0, 160, -1460, 0, 116, 0, 0, -4, 840, 0, -64, -368, 0, -490, -200, 0, 0, -16, 0, -420, 220, 0, -200, -500, 0, -340, 0, 0, -40, -160, 0, -206, -68, 0, -820, -60, 0, -128, 0, 0, -512, -220, 0, -248, -260, 0, -650, 220, 0, 0, 244, 0, -20, -68, 0, -126, -260, 0, 400, -152, 0, -218, -280, 0, -188, 236, 0, -390, -120, 0, -92, 0, 0, -464, -840, 0, 928, -20, 0, 190, 800, 0, 0, 68, 0, -270, 580, 0, -318, -440, 0, 60, -452, 0, -98, -552, 0, 54, 32, 0, 580, 460, 0, 66, 0]