# Trace form for 231.2.y, downloaded from the LMFDB on 16 April 2024.
[0, 128, 4, 0, 20, -4, -8, -2, 16, 16, -36, -2, 0, -16, -20, -12, 0, 0, -6, 8, 48, 0, -52, -8, 30, -12, 8, 0, -38, -56, 8, 6, 8, -6, -144, 36, -40, -32, -8, 0, 42, -48, -2, -8, -26, -4, -38, -44, 0, 66, -56, 12, 12, -52, -16, -56, -24, -16, 12, 8, 0, -18, 96, -14, -96, 16, -12, 72, -56, 24, 58, 128, 2, -6, 4, -8, 272, 4, 120, -6, -88, 16, 0, 128, -12, 172, -34, -100, 28, 72, -8, 0, 300, -44, -52, -10, 4, 32, -240, 44, -160, -124, -44, 44, -288, -50, -108, -60, 0, 40, 158, -64, 8, 0, -44, 10, -44, 8, -176, 12, 0, 46, 128, -36, -46, -316, 40, -12, -20, 24, -64, 52, 12, 32, 132, 6, 16, 54, 28, 0, 336, 56, 96, 70, -20, -20, 416, 56, -44, 32, 82, 16, -6, 0, 30, -32, 60, 0, 12, 46, 288, 12, 12, 8, 224, 64, 80, 132, 116, -80, 132, 28, -126, 30, 176, 12, -188, -24, 106, -92, 16, -84, 84, -32, -6, 72, -4, -68, -400, 0, -208, 58, 24, -42, -148, -124, -136, -344, -4, 24, 132, 40, -92, -160, -44, 54, -96, 32, -100, -56, -128, -144, 210, -24, 108, -78, 0, -152, -108, 0, -220, 132, 80, 164, -274, -96, -6, -98, 48, -88, -192, -78, 376, -26, 8, 88, -136, -48, -10, -284, 8, -164, 34, 0, -176, -128, -112, -50, -180, -6, 54, 36, 4, 56, -252, 116, -148, 20, -120, -104, 256, 28, -158, -172, -224, -320, -70, -116, -240, -46, -12, 36, -160, -52, 264, 102, -40, -40, -302, 8, 338, 60, 80, 138, -94, -104, 160, 56, -16, 28, 140, -48, -80, 444, -222, 188, 48, -6, 136, -144, 80, 180, 252, 76, -18, 108, -48, 456, 292, 64, 118, -68, 64, 214, 552, -10, 32, 76, -8, -52, 484, -132, 248, 240, 10, 212, 52, 8, 612, 420, 288, -132, -220, -32, 94, -56, -32, -120, -206, -80, -96, 134, 16, 112, 100, -140, 40, -150, 66, -168, 52, 0, 42, 164, -84, -32, -316, 260, -368, -62, 42, 0, 248, 40, -360, 104, -72, -82, 256, -6, 88, 294, 184, 16, 248, 12, 104, 236, 32, -292, -132, 52, 184, 98, 128, -116, -480, -6, 138, 94, 264, -160, -148, 200, 22, 56, 64, 24, 164, 140, -348, 0, 80, 14, 166, 8, -32, -176, 64, 50, 50, 36, -304, -70, -64, 258, 316, 80, -306, -40, 26, -128, 218, 26, -166, -334, -184, -116, -288, -2, 88, 112, 0, 60, -462, 40, 94, -46, 40, -384, -540, -12, -204, 212, -60, -64, -176, -120, -320, -216, 28, 56, -84, 108, 80, -450, -456, 200, -180, 12, -212, 104, -128, -32, 36, 98, 144, -340, -24, 20, -528, -40, 108, -206, -128, 140, -360, -96, 78, 72, -200, -60, -396, 0, 380, -48, 4, 36, 24, 0, 300, -60, 140, -112, -440, -32, 456, -42, -464, -92, -128, -80, -6, 88, -36, -160, -32, -16, 32, -116, 64, 108, 368, -12, -68, -270, -256, -76, 172, -24, 40, 72, 2, 104, 24, -260, 40, -232, -370, 64, -298, -16, 196, 648, -108, 162, 78, -44, -760, 164, 120, -78, -348, -24, 178, -108, 42, 176, -218, -108, 84, 180, -224, 12, 600, -78, -48, -32, -48, -268, 160, 216, -52, -290, -100, 306, -84, -14, 136, -188, -228, 160, 604, 160, 18, 660, -32, -76, 160, 168, 44, 24, 560, -66, 152, -24, 292, 176, 364, 68, -24, 100, 50, 148, 24, -304, 168, 40, 74, 262, 40, -160, 658, 16, -92, 416, 176, 292, -52, 228, -288, 104, 74, -86, 414, 448, 50, -304, -10, 52, -72, 8, -24, 158, 432, -100, 512, 210, 16, 516, 112, 132, 454, 88, -88, 366, 236, 356, -984, 76, 134, 44, 116, 180, 196, -152, 60, 272, 12, -108, 304, 156, -376, 212, 180, -102, -164, 12, 112, -104, 108, -336, 242, 158, -172, -486, -168, -230, -132, 60, -48, -232, -252, -104, 32, -8, -22, -118, 56, -26, -788, 0, -312, -24, 124, -684, -398, -296, -234, -318, 72, -14, -352, -54, 632, -136, 208, -174, -584, -144, 218, -176, 30, -564, -294, -280, -676, -422, -332, -214, -460, -6, -340, -48, -320, 316, -380, 130, -90, -284, -64, -434, 356, 136, 24, -64, -376, -32, -336, -32, 42, -440, -92, 182, 648, -134, 528, 78, -40, -32, -540, 160, 134, 132, 0, -92, 0, -4, 684, 204, -392, -244, 86, -84, 60, 544, -84, 456, 396, -108, 16, -432, -84, -8, 888, 84, 378, -80, -272, 256, 934, 200, 174, -184, -14, 28, -40, 36, 280, 16, -248, 84, 200, -40, 346, 120, -180, 180, 368, -188, 680, 328, 184, 304, -158, -72, -120, 300, 102, -136, -170, -8, 216, 324, 400, 20, 908, -134, 308, 174, 14, 28, 414, 80, 26, 296, -112, 174, 320, 76, 420, 98, -84, 190, 484, -80, -52, -148, -150, 24, 12, 180, -728, -120, 120, -72, 456, 56, 278, -500, 504, -476, -242, 80, -86, 322, 24, -654, -280, -48, -28, 0, 376, -84, -342, 20, 250, 64, 68, -252, 176, 178, -468, 138, 64, 208, -8, -384, -1284, -836, 128, 204, 486, 24, -8, -280, -224, 168, 44, 84, -434, 56, -32, 76, 240, 88, 210, -70, -32, -176, -368, 8, -348, 210, 320, 368, -734, -80, -46, 170, 20, -84, -692, -328, 264, -2, -16, -216, 114, -192, -278, -164, -32, -150, -812, 276, -124, -174, -72, 52, -524, 0, -38, -840, -498, 128, 300, 44, -260, -152, -96, 88, -308, 10, 168, -346, -176, 208, -400, -72, -30, -46, -264, -94, -368, 48, 496, -200, 392, 78, -320, 136, 18, 28, 54, -8, -28, -144, 128, 170, -540, -126, -322, 30, 450, -200, -244, 136, -778, -212, -506, -212, 0, 574, -500, -120, -364, -164, -68, 48, 948, -40, -186, -166, -156, 50, -628, -142, -112, -444, -272, -532, -466, -152, 84, 1184, -84, 204, -126, -8, -320]