# Trace form for 1143.3, downloaded from the LMFDB on 25 April 2024.
[0, 76037, -183, -246, -187, -201, -270, -185, -189, -234, -543, -183, -264, -197, -201, -252, -211, -189, -252, -611, -177, -240, -195, -93, -162, -163, -189, -360, -575, -345, -288, -125, -243, -270, -135, -189, -234, -431, -123, -204, -249, -147, -252, -311, -189, -144, -759, -21, -318, -279, -267, -414, -197, -189, -90, -543, -129, -186, -33, -363, -288, -77, -189, -324, -283, -237, -216, -251, -135, -252, -213, -189, -522, -827, -393, -174, -167, -201, -324, -113, -189, -90, -651, -21, -240, -81, 177, 216, -219, -189, -360, -535, -285, -636, -357, -321, -252, -419, -189, -252, -619, -345, -90, -269, -69, -180, 2331, 1008, -198, 2140, 3807, -456, 8587, 2580, -450, 4161, 4851, -324, 1797, 585, 108, 2567, 987, -252, 883, 0, -144, -808, -1848, -618, -3165, -1686, -234, -1909, -3213, -576, -11187, -921, 36, -4274, -7269, -756, -4329, -3402, 144, -5979, -4839, 288, -7649, -1110, -252, -149, -189, 234, -543, 195, -276, -269, -417, -252, -297, -189, -738, -143, -231, -288, -357, -849, -432, -495, -189, -54, -323, -993, -1188, -137, -123, -252, 243, -189, -252, 361, -237, 84, 291, 219, 324, -135, -189, -144, -303, -993, -678, -719, 501, -108, -279, -189, -306, -1727, 201, 120, -33, 123, -252, -105, -189, -1116, -743, -123, -324, -377, -189, 72, -675, -189, -252, -823, -501, 138, -201, -405, 360, -293, 7119, -720, 10716, 3741, -384, 6391, 19521, -252, 9852, 4851, -36, 9177, 12837, -24, 12204, 4731, -648, 6097, 7434, 234, 8281, 4311, -126, 2747, 2316, -756, 2568, 1323, -720, -696, -1245, -1152, -3823, -1803, -252, -4861, -7686, -252, -5700, -5385, -342, -7749, -13425, -1548, -10646, -8253, 396, -4031, -15156, -300, -16719, -11355, 36, -6125, -11214, 324, -24141, -7077, 756, -3221, -13968, -252, -8481, -189, 234, -751, 747, -942, -59, -1065, -1062, -537, -189, -90, -1623, 195, -174, -433, -309, 216, -431, -189, -1224, -2699, -177, 228, -573, 663, -252, 121, -189, -468, -719, -21, -252, -33, 663, 1206, 3, -189, -576, -359, -825, -564, 21, -525, -144, -185, -189, -864, 753, -561, 12, -35, 729, -252, -81, -189, -252, -2146, -42843, -17316, -25089, -50475, -49104, -22793, -68229, -33354, -85131, -25698, -53190, -19305, -81405, -40500, -49869, -31941, -61272, -22350, -69621, -16662, -70765, -34989, -17892, -20561, -68229, -17262, -16503, -24003, -36348, -11933, -23031, -8334, -10101, -7560, -4608, -3167, -246, 582, 7986, 5712, 16506, 11127, 17955, 13410, 18037, 27114, 24660, 15579, 82809, 22680, 21411, 33831, 60174, 23689, 35571, 28608, 87725, 26232, 54630, 27086, 108675, 24948, 57777, 71049, 64062, 22177, 90279, 17316, 96499, 55944, 52020, 26565, 81243, 36984, 28473, 26583, 29988, 1030, -189, -252, -567, -891, -576, 35, -675, -324, 543, -189, -846, 613, 195, 684, -293, 867, -1422, 1435, -189, -1062, -135, -507, 156, 675, 123, -252, -473, -189, 450, -651, -501, -132, -843, -93, 738, -59, -189, -252, -951, 2571, -288, 1279, 804, -1404, 21177, 9891, -108, 31601, 31437, 228, 34221, 25881, -252, 32353, 31059, -252, 51459, 18879, -576, 19739, 16422, -828, 34823, 27531, -252, 25057, 27825, -888, 41049, 8673, -126, 26631, 9639, -360, 19552, 11367, 756, 6301, 13908, -252, 3501, 2835, -252, 3345, 540, -1170, -2599, -2154, 720, -4297, -3150, -1440, -14790, -6717, -618, -12957, -22650, 2160, -29433, -16065, 1152, -31823, -12489, -564, -28761, -8541, -252, -17299, -32067, 1314, -52630, -32781, 1044, -43497, -19356, -900, -47709, -24381, 72, -46007, -37077, -1644, -32337, -28293, -108, -22463, -36351, -2268, -43755, -12993, -3132, -17425, -3486, -252, -179, -189, -1980, -1543, -453, -90, -357, -579, 252, 435, -189, 72, 513, -2451, -648, 901, -165, 2160, -105, -189, -1530, 2917, 87, 2928, 123, -525, -252, -189, -189, -252, 7233, 8700, -522, 9020, 17487, -1548, 37603, 12726, -414, 16200, 18435, 1488, 26643, 13290, -1422, 13207, 19971, -810, 22033, 17670, -1188, 18298, 48357, -252, 11235, 8505, -738, 5086, 23169, 0, 31503, 8538, -972, 4828, 17451, 2340, 11337, 7956, 12, 4085, 4929, -450, 7291, 3591, -2970, -2753, 4227, 876, -294, -786, -504, -1908, -3717, -1224, -12810, -1533, -1710, -7019, -12597, -2448, -8667, -6741, 2178, -12504, -18645, 132, -23081, -9876, 684, -10554, -38997, 918, -24087, -7806, -180, -11159, -14313, -252, -57729, -21672, -252, -14286, -25233, -564, -22497, -14511, 72, -16232, -30429, 450, -21123, -21576, 684, -14824, -42381, -2214, -18525, -9450, -54, -7590, -7869, -3444, 1153, -189, -252, 175, -189, -144, 213, -129, 2088, -567, -2685, -2358, -137, -189, -252, 929, -615, -1260, -195, 123, -20808, -40901, -144774, -64620, -134541, -75837, -137106, -104469, -280638, -66780, -128169, -111321, -195372, -151447, -185904, -85722, -98555, -134241, -227448, -52925, -280854, -51552, -245085, -155655, -127806, -65033, -197058, -96912, -141075, -109053, -95508, -51731, -254613, -70284, -100737, -72885, -109494, -59613, -153279, -46116, -64557, -53649, -80622, -39149, -51072, -16362, -59025, -29673, -46458, -10511, -26340, -5508, -9543, -2658, 4680, 3950, 22113, 20880, 35259, 24063, 43350, 19999, 124056, 32508, 90757, 45171, 47232, 55981, 157956, 47724, 81561, 88725, 128880, 75303, 202230, 56520, 119169, 126339, 199692, 58519, 168642, 84888, 163785, 169911, 152622, 72905, 220278, 119700, 278221, 80367, 209538, 58779, 383103, 104436, 110643, 143085, 135012, 166515, 323769, 82836, 142719, 108675, 202518, 111637, 221196, 50556, 140253, 103143, 101916, 40805, 32130, -396, -735, -2289, 3672, -1817, 1011, -252, -537, -189, -252, 2305, -1197, 84, 26251, 7776, -162, 28542, 45675, 1476, 30057, 14919, -612, 21125, 27087, -756, 82783, 29610, -1764, 24319, 40131, -4740, 48393, 15195, -252, 32059, 25515, 936, 64773, 11058, -180, 22357, 53463, -504, 38151, 12411, -1710, 16503, 20217, 24, 39419, 13947, -3060, 21479, 17955, 3888, 22017, 13008, -1032, 8335, 1239, -252, 28167, 6426, 2178, 1477, 8091, -1296, 3153, -3738, -3312, -1733, -2394, -738, -9431, -1176, 1332, -6813, -6636, -1404, -15003, -10584, -18, -13671, -8883, 1212, -22821, -13470, -252, -19547, -22869, -252, -45111, -11577, -978, -19257, -26787, 1764, -73745, -14805, 1206, -16415, -57789, 2946, -45789, -15192, -288, -47693, -28917, -972, -73935, -18093, 2052, -34590, -43839, -252, -53055, -32760, -1332, -20969, -25761, 678, -79149, -12153, -972, -32046, -49581, -252, -30531, -11334, -24, -9676, -1047, -756, 351, -189, -252, 26457, 28155, -1188, 30639, 47895, -252, 20349, 76608, -4626, 37513, 34431, 324, 86887, 46608, -2034, 80571, 38619, 234, 31145, 56001, -564, 69832, 58713, 1656, 54675, 61551, -1188, 51891, 48183, -1512, 23355, 40563, -252, 50753, 39123, -252, 38377, 45009, -240, 36639, 36651, 252, 34879, 24444, 3420, 37068, 20931, -2232, 18009, 20637, 864, 17280, 16947, 15480, 17929, 7047, -1176, 8853, 6387, -756, 498, -1701, -3312, -6843, -14403, 2088, -4049, -19491, 324, -15079, -22869, 1530, -25663, -21696, -1380, -29949, -22053, 5238, -30911, -42084, -3708, -30724, -44793, -5076, -51929, -44817, -252, -51921, -38997, 1152, -45663, -60279, 2244, -44529, -19965, 216, -61835, -60795, 1044, -72819, -61797, -414, -63613, -77316, -270, -62559, -34965, -1818, -41903, -85965, 1044, -54978, -91227, -252, -41729, -41769, -252, -84524, -16809, 396, -54695, -31581, 42732, -80055, 27090, 310608, -17472, 139791, 146988, -161501, 182184, 173268, -46319, 387639, 162144, -41127, 115161, 352644, -72017, 141225, 165564, -229503, 84861, 379764, -24628, 349161, 121584, -58953, 159558, 405108, -84537, 163107, 97902, -52199, 63402, 355788, -76200, 328521, 189756, -40689, 142695, 129636, -5345, 164571, 105240, -133461, 61401, 161028, -77747, 108675, 94176, -17931, 63666, 237132, -19439, 56907, 57060, -29681, 49140, 72324, -1920, 59859, 26706, -25143, 7776, 30474, -2251, 0, -7452, 2406, -12873, -22086, 5825, -72681, -30240, 55491, -35910, -136332, -3446, -87063, -95328, 42239, -58617, -109854, 26747, -231525, -104094, 22785, -95034, -178350, 96849, -145341, -106416, 155629, -86940, -253836, 10855, -112713, -213804, 48189, -164535, -497196, 85320, -299565, -97848, 57585, -79158, -240876, 92187, -331749, -226440, 66987, -102249, -510300, 28266, -307989, -121560, 248151, -134337, -215136, 82731, -285957, -167364, 45681, -129777, -553944, 75979, -96825, -261576, 261521, -78939, -192114, 56646, -164523, -85440, 179898, 6144, -720, 57307, 65646, 2664, 96049, 34845, 684, 100611, 73227, 360, 154455, 28791, 2178, 68301, 102747, -2904, 148108, 51567, -252, 34483, 104706, -252, 76353, 33555, -492, 59995, 63195, 792, 96549, 28035, -5436, 51225, 68259, -1260, 99207, 20787, 396, 19813, 60858, -162, 45937, 19539, 144, 34155, 17391, -252, 32625, 14931, -36, 13721, 19344, -4344, 24175, -450, -1944, 2915, 2205, 4284, -4791, -4242, -252, -8935, -17019, 1854, -15909, -10269, 1692, -16415, -44106, -1596, -65373, -16131, -252, -33657, -21609, -36, -83883, -25383, 1944, -25559, -73494, 2664, -86769, -36225, -2034, -55043, -81099, -2022, -125285, -30189, -1404, -64229, -66339, 2556, -100515, -35733, 372, -105921, -113112, -252, -108171, -61173, -252, -47559, -106449, 4620, -157947, -28353, -792, -51395, -80325, -2682, -134891, -17577, -900, -77552, -26124, 702, -88905, -22491, -864, -17329, -58707, -5436, -36753, -22836, -252, -2830, 60921, -5004, 15729, 17793, -1104, 43497, 46743, 6390, 36253, 20538, -2358, 46913, 61749, -126, 33987, 31440, 684, 19794, 33327, -972, 92529, 29976, 3672, 22890, 35907, -252, 41553, 18081, -3222, 13893, 22095, 138, 44795, 10167, 4536, 24492, 50211, -4626, 13041, 15012, 324, 11431, 16359, -8532, 21975, 8820, -15606, 1109, 16329, -9060, 9579, 7425, -252, 3806, 1827, -252, -2168, -741, 1602, -2105, -11553, 1854, -6237, -6804, -468, -10101, -18813, -624, -31794, -8859, 2772, -10962, -24381, -972, -23871, -10065, 4968, -19618, -12621, -252, -60885, -30114, 1800, -28043, -48357, 606, -27357, -9399, -576, -18095, -51597, -252, -43551, -17112, 3924, -36876, -98937, 6048, -39285, -19152, 1692, -30648, -35445, -1884, -73245, -50133, -252, -46868, -195426, -129060, -279807, -266259, -196356, -183491, -502221, -278568, -467977, -334152, -217008, -214820, -607800, -282120, -367875, -433887, -362124, -378807, -548667, -143280, -377135, -502626, -511020, -179909, -353883, -264852, -333399, -508221, -426636, -312799, -329982, -181872, -323229, -451587, -321336, -194441, -486675, -286884, -396471, -186321, -240504, -330317, -570924, -194436, -212273, -170289, -206388, -168375, -468855, -207024, -190161, -216903, -206010, -99145, -214515, -135432, -198639, -287421, -115686, -97611, -185088, -112572, -177333, -136269, -97038, -45711, -126456, -51732, -47651, -56049, -45846, -39357, -57645, -10872, -3567, -4584, 10428, 23758, 48819, 13860, 40875, 72387, 81504, 80497, 118650, 61008, 75351, 111351, 116856, 73899, 201096, 122490, 230817, 206907, 153540, 122887, 214149, 234036, 247347, 253827, 168750, 114697, 364620, 170100, 221581, 364029, 359100, 195051, 349083, 128268, 236649, 323979, 424710, 368279, 398169, 142974, 432891, 476091, 361548, 207721, 524691, 322824, 355611, 304962, 238878, 360088, 712971, 367128, 439641, 467103, 234432, 212689, 888663, 350532, 460083, 251937, 352710, 416031, 602259, 288618, 407011, 493683, 379638, 248000, 461538, 206730, 497301, 463923, 331008, 208945, 366093, 152460, 356813, 246330, 101466, 79646, 82317, 5580, 43773, 25485, -252, 27283, 55251, 1692, 143585, 16035, -2196, 53919, 62355, -1062, 47709, 19341, -1224, 22825, 58053, 3648, 93099, 20535, 4572, 35887, 21987, -4428, 42249, 11574, -3168, 25101, 23997, -252, 29653, 13734, -252, 12237, 31311, 3486, 11991, 5985, 1710, 6699, 3339, 2772, 5737, 7029, -486, -881, -4758, 4896, -15237, -5229, 4068, -21167, -11553, -1164, -20685, -10011, -252, -4793, -10584, -3924, -36027, -20658, -222, -18341, -21429, -5760, -89223, -16128, -252, -46730, -23685, 1212, -45285, -15873, 540, -20557, -64701, -1224, -100655, -21315, 756, -55657, -69189, -252, -38673, -20853, -1764, -43946, -59757, 1620, -91980, -6303, 6480, -27887, 18333, -2196, -27996, 10140, -1872, 16563, 3804, 6534, 37877, 4347, -1440, -17364, -32625, -6792, 36948, 31047, -252, -23769, 103068, -252, -29874, 33171, 0, 21007, 24417, -3996, 67185, 24003, 7416, 1717, 114759, -5478, 34438, 87810, -1080, 73119, 72135, -5022, 139938, 41979, -2124, 39763, 63012, -252, 61246, 40131, -6462, 49609, 106548, -252, 85650, 23859, 5598, 46489, 60669, -1548, 43813, 22671, -2880, 18991, 70821, -270, 31212, 17451, -23328, 17601, 33789, -4476, 38988, 18627, -252, 12162, 12411, 3636, 13335, 3735, 1488, 2224, -3369, -2448, -9405, -6237, 720, 4177, -14979, 6570, -24717, -17589, 1332, -18545, -58338, 4968, -56843, -25017, 2052, -18765, -41904, -252, -82515, -27909, -252, -16379, -56889, 2514, -71589, -46701, -2448, -30469, -99792, -1926, -128796, -54363, -132, -42489, -71958, -4500, -74712, -40509, 1152, -94365, -345210, -82572, -209553, -271965, -282492, -184853, -319410, -158292, -573119, -302187, -281988, -173285, -697515, -163296, -320703, -332514, -307242, -302781, -564270, -158640, -681378, -286401, -322326, -293401, -854154, -180180, -272457, -247584, -423252, -240633, -584571, -160524, -491822, -288855, -237492, -244755, -626232, -147174, -428199, -329769, -387180, -120857, -466326, -227556, -279747, -265134, -189216, -116927, -409131, -103500, -257553, -99981, -394596, -150551, -269529, -82722, -296665, -196410, -137844, -122567, -326781, -92988, -86511, -149715, -242412, -80439, -141057, -71856, -171099, -93744, -71460, -47047, -204675, -43782, -75795, -57318, -64152, -38305, -81837, -13284, -51224, -12333, -9828, -3165, -1566, 5544, 11556, 25893, 40068, 12957, 56988, 32580, 97491, 33279, 91872, 61887, 135891, 53802, 107889, 97320, 182448, 48411, 135513, 74844, 211763, 142695, 124920, 92715, 438837, 119604, 101271, 157317, 253764, 140089, 237951, 158670, 343313, 145374, 207162, 158795, 667983, 69480, 286443, 187803, 294858, 206421, 403071, 188856, 382639, 419523, 313668, 273847, 709506, 210816, 433761, 360027, 407244, 308051, 482922, 152208, 702000, 381843, 321300, 342725, 763833, 142470, 437043, 414267, 533358, 377397, 617904, 161568, 716409, 370095, 280980, 411685, 671199, 182682, 394698, 327033, 401832, 301865, 492204, 183504, 567307, 367923, 165060, 277249, 520191, 130212, 281073, 240843, 130284, 97219, 101562, 540, 163612, 42651, -5760, 106561, 78774]