# Trace form for 12.3, downloaded from the LMFDB on 25 April 2024.
[0, 3, -2, -3, -4, -4, 6, 2, 16, 3, 4, 0, -12, -18, -24, 0, -16, 20, 6, 26, 8, 18, 24, 0, 0, -17, -4, -27, 48, -52, -12, -46, -32, -24, -20, 0, 12, 78, 72, 66, -32, 116, -24, -22, -48, 12, -96, 0, 48, -43, 42, 0, -8, -148, -18, 0, 0, -150, 52, 0, 24, 126, 24, 18, 128, -8, 24, 122, -40, 96, 48, 0, -48, -138, -52, -75, -144, 96, 12, -142, 32, 99, -116, 0, -48, -40, -168, 0, 0, 164, -12, -44, 192, 114, 240, 0, -96, 6, -2, 0, 84, -148, 60, 194, 32, -48, 148, 0, 36, -306, -48, -78, -192, -220, 72, 0, 104, -210, -312, 0, 0, 267, -52, 0, -48, 184, 72, 146, -128, 234, 8, 0, 48, 340, 24, 0, 160, 20, -96, -22, -96, -240, 0, 0, 48, 104, 92, 135, -104, -4, -126, -286, 0, -60, -96, 0, -24, -546, 408, 0, 64, -384, -18, -262, -232, 48, 168, 0, 192, -15, 40, 234, 336, 668, -156, 50, 192, 312, -164, 0, -24, 318, -48, -222, 0, -104, 24, 0, -480, -126, -144, 0, 0, 198, -4, 0, -4, -52, -72, 386, -336, -390, 148, 0, -120, -232, -264, 0, -32, -288, 48, -166, 296, 0, 72, 0, 0, 4, 92, 138, 96, 40, 156, 338, 384, 351, 220, 0, 144, -258, 192, 0, -416, 164, 12, 0, 624, 18, -240, 0, -96, -378, -146, -243, -104, -4, 348, -572, 0, -168, -184, 0, -144, 384, -504, 0, -256, -508, -168, 52, 16, 156, 408, 0, -192, 296, -288, 0, -48, 524, 36, 242, -160, 180, -20, 0, -192, 702, 168, -414, 0, 452, 240, 458, 0, 144, 48, 0, 96, -89, -104, -6, 184, -724, 6, 0, 416, 72, 4, 0, 252, -716, -312, 0, 576, -104, 60, -358, -192, -318, -48, 0, 0, -1098, 428, 0, -816, -340, -444, 0, -256, -72, 384, 0, -36, -634, 72, 642, 928, 960, -48, 362, -336, 78, 336, 0, -192, 1158, 330, 0, 80, -96, -216, -188, 0, -192, -668, 0, 312, 510, 504, 594, -384, 356, -312, 0, -328, 240, -648, 0, 96, 173, -4, -363, 96, 184, 156, -718, -768, -348, 104, 0, 48, 78, 240, 0, 0, -104, 72, -694, 288, 66, -768, 0, 384, -192, -580, -198, -8, -1156, -24, 0, 16, -408, 52, 0, 144, 414, 1368, -156, 336, 500, 24, 1012, 296, -36, 624, 0, 0, 1206, 232, 0, 528, -1248, 288, 0, -64, -102, 288, 0, 96, 990, -840, 0, -1184, -420, 0, 148, -144, -48, 336, 0, -144, -1530, -96, 0, 184, 1152, -276, -94, 0, -411, -40, 0, -312, -328, -1176, 0, 0, 788, -126, 0, 440, 1170, -984, 0, -576, -1770, 284, 0, -384, 284, 288, -526, 416, 48, -164, 0, 24, 340, -480, 354, 0, 672, 408, 650, 480, 444, 1344, 0, 192, -468, 92, 0, -292, -8, 54, 962, 416, 714, 4, 0, -696, -520, 144, 0, 192, 0, 168, 26, -368, -336, 504, 0, 0, 296, -384, -945, 1008, -1684, -120, -92, 1024, -486, 508, 0, -336, -960, -624, 0, -64, -652, -156, -982, -816, -654, 528, 0, 192, 51, -296, 0, -576, 232, 492, 0, 0, 648, -524, 0, -72, 2094, 72, -942, -320, 184, -48, 506, -40, 510, -504, 0, 768, 1348, -580, 0, -336, 1532, -72, 484, 384, -240, -452, 0, 480, 440, 1032, 162, 0, -844, -144, -886, -96, 768, -1392, 0, -384, 870, 378, 1146, -208, 672, 12, 0, -736, 24, 724, 0, -12, -1484, 624, 0, -416, 164, -72, 0, 8, -2526, -192, 0, 0, -1194, 672, 1098, 624, -292, -444, -814, -1152, -624, 104, 0, 120, -1554, 504, 0, 768, -2236, -264, -214, 96, -288, -816, 0, 96, 1307, 956, 0, 856, 520, -144, 674, 0, 1338, 340, 0, 888, 994, -624, 0, 256, 20, 72, 314, 768, -336, 720, 0, 144, 1248, 84, 276, -144, 1340, -276, 0, -928, -138, -960, 0, -96, -2322, 1416, 0, 0, -576, 156, 0, -672, 162, -48, 0, -384, 486, -676, -675, 660, 2012, -660, 4, -320, 984, 96, 0, 432, -40, -1200, -78, -1344, -296, 192, -1318, -1336, -288, 696, 0, 0, 1160, -1012, 0, -1008, -2068, -36, 676, 0, 480, -356, 0, -624, 126, 0, -1278, 1312, 384, -240, 0, 1296, -1344, 576, 0, -96, -668, 142, 858, -8, 1092, 438, 482, 0, 675, -184, 0, -312, 1422, 696, 0, 1536, -96, 348, -1222, 208, 1572, 1776, 0, -192, 8, 620, 0, -480, 288, 552, 1202, 1920, -504, 104, 0, 144, -2850, -1512, 0, 0, -1516, -504, -428, 1536, 120, -2112, 0, -768, -1530, 192, 0, -1160, 524, 504, -1150, 32, 468, 1156, 0, 48, 0, -960, 0, -16, 856, 408, 1562, 104, -528, -816, 0, 0, -1524, -52, 0, -2736, -1732, 864, 0, 672, -492, -500, 0, 48, 768, 48, 0, -1184, 20, 36, 1514, -1248, -798, 624, 0, 480, 1444, -580, -396, 464, 1676, 60, 1058, 0, 504, 1248, 0, -576, 3054, -336, -366, 256, 20, 168, 0, 576, 1314, -1176, 0, -384, 511, -1348, 0, 1680, 660, -720, 242, 1184, -2406, 420, 0, 0, 2670, -624, 0, 0, -1996, 48, 1418, -672, 1392, 1872, 0, 288, -1336, 668, -867, -192, -1632, 312, -2684, -736, 6, -1152, 0, 552, -1890, 408, 0, -384, 1796, 6, -1702, -80, -624, -264, 0, 0, -1724, 328, 0, 2352, -2880, -12, 0, -1536, 192, -788, 0, -252, -1480, 1392, 132, -1760, -8, -312, -214, 1968, 444, 96, 0, 576, -672, 956, 0, 568, 1632, -180, 866, 0, 570, -284, 0, -576, -442, 2184, 1746, 832, 3188, -48, -1170, -328, 816, 72, 0, -96, 150, -96, 426, 960, 860, -1284, 0, -2496, 144, -672, 0, 816, 828, -1512, 0, 0, 1460, -444, 0, -2688, 624, 2544, 0, 0, 2981, -104, 0, 184, -1160, -1152, -1534, 1168, -720, 8, 0, -108, 628, 360, 1650, -416, 692, 72, 0, 8, -1650, -3192, 0, 0, 104, 520, 0, -288, -2688, 144, -46, -384, -2502, 0, 0, 336, -978, -264, -702, 1472]