# Trace form for 231.2.ba, downloaded from the LMFDB on 24 April 2024.
[0, 128, 0, 0, -12, 12, 0, -10, -40, -16, 0, -2, 0, 0, 12, 12, 40, -60, -10, 0, 0, 0, 52, -24, -90, -20, 24, 0, 30, 40, 0, -18, 0, 18, 0, -80, -24, -8, -24, 0, -90, 0, 14, 0, -82, 12, 70, -24, 0, -94, 0, -20, 0, 4, 0, 0, -104, 0, -32, 48, 0, 30, 0, -10, -48, 0, 36, -40, 180, 0, 146, -32, 10, 90, 40, -24, 0, 0, -72, 50, 228, 16, 168, 0, -60, -20, 146, 0, 16, 0, 0, 48, -204, 44, 0, 10, 0, 0, 0, -44, -136, 0, -4, -84, 0, -70, 20, -20, 0, 0, -354, 0, -20, -32, -4, -78, 80, 0, 0, -36, 0, -74, 72, 20, -258, 0, -24, -60, -80, 0, 0, 0, 0, -8, 20, 6, -72, 50, 180, 0, 280, 56, 0, 54, 100, 180, 0, 88, -236, 80, 330, -20, 342, 0, 54, 224, 100, -120, -124, 90, 0, 200, 20, 40, 0, 40, -240, 0, 76, 160, 196, 60, -110, -30, 0, 0, 420, 16, -330, -60, -96, 0, 60, 0, -10, -216, 0, 36, 0, 0, 384, -2, -72, -90, -240, 0, -16, 0, -4, -120, -220, -72, 0, 12, -220, -70, 0, -16, 0, 0, 176, -120, -178, -72, -24, -30, 0, 0, -500, 0, 216, -100, 0, 0, -274, -40, 150, -90, -200, -84, 0, 26, -152, 50, 24, 24, 288, 0, 110, -300, 16, 0, -126, 0, 0, 8, 32, 126, -540, -70, -270, 0, 0, -72, 84, -180, 68, 156, 0, -80, 0, -20, -54, 0, 120, 0, -530, 20, 0, -246, -20, -360, 0, 44, 0, -90, -72, 100, -30, 0, -218, 220, -160, 330, 42, 0, 0, 56, -40, -92, 636, -32, 300, 0, -190, 292, 0, 18, 160, 360, 0, 60, -148, -20, 210, 260, 12, 0, 368, 32, 310, 204, 112, 318, 0, -50, 520, 12, 0, 20, 60, 0, 216, 80, -22, 240, 340, 0, 0, 0, -328, -44, 420, 8, -78, 0, -440, 240, 70, -96, 0, -138, 0, -100, -412, -28, -420, 230, 90, 0, -340, 0, -86, 252, 180, 24, 0, -92, -120, -230, 90, 40, 0, 0, 552, -160, -72, -90, 136, 90, 0, -150, 88, 0, -24, 156, 0, 0, -24, 116, 60, 180, -200, -18, 0, -176, -208, -10, 198, -106, -96, 0, 820, 120, 34, 0, 32, -48, 0, 68, 188, 56, 300, -70, -30, 0, 0, 200, 64, -30, -10, -180, 0, 170, 0, -230, 12, 0, -294, 0, 410, -40, -114, 6, -210, -450, 0, -68, 0, 14, 144, -120, 0, 0, -130, -120, -130, -150, 96, 0, 0, 28, 20, 28, -396, 40, -480, 0, -180, 184, 0, 72, -316, -180, 0, -514, 72, -160, -540, -20, 432, 0, 24, 112, -180, -150, 236, 84, 0, -220, 0, 56, 0, -118, -168, 0, -272, 48, 134, -600, -440, 240, 0, 0, -356, -128, 0, -44, 216, 0, -320, 220, -120, -156, 0, 24, 0, -390, 432, -136, -168, -120, 390, 0, 28, 0, -16, -432, 0, 336, 0, -108, 440, 20, -60, 18, 0, 0, -596, -120, -72, 96, 2, 60, 0, -180, 160, 0, 90, -176, 30, 0, 212, 24, 260, 210, 450, -48, 0, 112, -120, 110, -60, 72, 90, 0, -430, -40, -98, 0, 76, -588, 0, 32, 216, -10, 240, 100, 0, 0, 0, -200, 4, 210, -44, -474, 0, -10, -360, 120, -108, 0, -192, 0, 710, -124, 76, -108, 240, 360, 0, 176, 0, 298, 720, 100, -876, 0, -68, 20, 280, 420, -126, 0, 0, 128, 40, 80, -402, 74, 540, 0, 890, 0, 0, 228, 80, 300, 0, 348, 192, 200, 330, -170, 174, 0, 22, 176, 30, 216, -376, -48, 0, 530, 400, 64, 0, 142, 432, 0, 64, -172, -74, 360, 100, 450, 0, 0, 560, 44, -1230, -52, 36, 0, 980, 40, -60, 504, 0, 228, 0, 420, 72, 52, 300, 130, -420, 0, -292, 0, 28, -288, -330, -18, 0, 222, -160, 50, -1200, -12, 0, 0, 148, 40, 136, -24, -110, -150, 0, -490, -260, 0, -192, -272, -180, 0, -290, 152, -350, -450, -380, -354, 0, -26, -856, 140, -288, 138, -48, 0, -950, -720, -6, 0, -378, 120, 0, -342, 100, -158, -720, -10, -780, 0, 0, -580, 140, -270, 150, 432, 0, -310, 60, -160, -240, 0, 96, 0, -560, 32, 98, 132, -220, 330, 0, 54, 0, -50, -72, 120, 540, 0, 182, -140, -100, 300, -88, 0, 0, -132, 40, 68, 822, -36, 300, 0, -60, -152, 0, -132, 296, 300, 0, 372, 216, -120, 690, 440, -48, 0, -226, -88, -50, 72, 134, 144, 0, -340, 440, -312, 0, 24, 1008, 0, 362, -312, -188, 540, 520, 0, 0, 0, -128, 152, 1410, 40, 192, 0, -510, 0, 370, -60, 0, -108, 0, 260, 12, 146, 876, 70, 30, 0, -30, 0, 118, 720, 420, 210, 0, 20, -340, 110, 300, 22, 0, 0, 28, -380, -102, -288, 52, -60, 0, 500, -88, 0, -348, 56, -750, 0, 616, -196, -70, 240, -290, -366, 0, 402, 56, -40, -132, -192, -336, 0, 430, -20, 98, 0, 44, -276, 0, 110, -692, -126, 180, -300, -240, 0, 0, 68, 96, 60, -94, -156, 0, 780, 80, 80, 636, 0, 762, 0, 180, -236, -160, 168, -190, -1170, 0, 396, 0, 8, 228, -310, -360, 0, 402, 120, 470, -570, 16, 0, 0, 136, -400, 110, -660, -312, -1170, 0, -190, 300, 0, 378, -364, -660, 0, -410, 72, -180, -1620, -160, -114, 0, 70, 336, -560, -84, 200, -624, 0, -320, -820, -2, 0, 230, -192, 0, -292, 88, -58, -510, -340, 270, 0, 0, 416, -440, -720, 146, 396, 0, 10, -140, -10, 72, 0, 72, 0, -810, -12, 18, -150, -30, 990, 0, 36, 0, -346, -468, 610, 612, 0, -94, 260, 40, 720, -84, 0, 0, -1444, -40, 154, 354, -148, -270, 0, -290, -344, 0, 96, 244, 390, 0, 280, -384, -20, 60, 490, 24, 0]