# Trace form for 1200.4.a.x, downloaded from the LMFDB on 16 May 2024.
[0, 1, 0, 3, 0, 0, 0, -19, 0, 9, 0, -22, 0, -1, 0, 0, 0, 58, 0, 53, 0, -57, 0, 58, 0, 0, 0, 27, 0, 22, 0, 35, 0, -66, 0, 0, 0, 270, 0, -3, 0, -468, 0, -431, 0, 0, 0, -230, 0, 18, 0, 174, 0, 0, 0, 0, 0, 159, 0, -446, 0, 127, 0, -171, 0, 0, 0, -811, 0, 174, 0, -36, 0, -522, 0, 0, 0, 418, 0, -1368, 0, 81, 0, -1138, 0, 0, 0, 66, 0, 144, 0, 19, 0, 105, 0, 0, 0, 1079, 0, -198, 0, -1440, 0, 124, 0, 0, 0, -432, 0, 701, 0, 810, 0, 1044, 0, 0, 0, -9, 0, -1102, 0, -847, 0, -1404, 0, 0, 0, 504, 0, -1293, 0, -72, 0, -1007, 0, 0, 0, 1850, 0, -1836, 0, -690, 0, 22, 0, 0, 0, 54, 0, -2398, 0, -1871, 0, 522, 0, 0, 0, 3293, 0, 0, 0, -1102, 0, 883, 0, 0, 0, 4104, 0, -2196, 0, 477, 0, -1706, 0, 0, 0, -1338, 0, -662, 0, 4121, 0, 381, 0, 0, 0, -1276, 0, -513, 0, 958, 0, -3187, 0, 0, 0, 2282, 0, -1043, 0, -2433, 0, -418, 0, 0, 0, 522, 0, -1166, 0, -4139, 0, -108, 0, 0, 0, -665, 0, -1566, 0, -58, 0, 413, 0, 0, 0, 5652, 0, -4391, 0, 1254, 0, 2052, 0, 0, 0, -4104, 0, 4320, 0, 4265, 0, 243, 0, 0, 0, -53, 0, -3414, 0, 2412, 0, -1276, 0, 0, 0, -6948, 0, -5130, 0, 198, 0, -3564, 0, 0, 0, 432, 0, -1534, 0, -7704, 0, 57, 0, 0, 0, -4877, 0, 315, 0, -3758, 0, 935, 0, 0, 0, 8892, 0, -1549, 0, 3237, 0, -6214, 0, 0, 0, -594, 0, -58, 0, 8189, 0, -4320, 0, 0, 0, -3905, 0, 372, 0, -9662, 0, -5147, 0, 0, 0, 9216, 0, -484, 0, -1296, 0, 3074, 0, 0, 0, 2103, 0, 4370, 0, -2196, 0, 2430, 0, 0, 0, -2521, 0, 3132, 0, -770, 0, 6175, 0, 0, 0, 7034, 0, 7362, 0, -27, 0, 9382, 0, 0, 0, -3306, 0, 10116, 0, -4050, 0, -2541, 0, 0, 0, -3277, 0, -4212, 0, 0, 0, -10891, 0, 0, 0, -22, 0, 2591, 0, 1512, 0, -612, 0, 0, 0, -3879, 0, 3708, 0, 3364, 0, -216, 0, 0, 0, 3833, 0, -3021, 0, -9288, 0, -35, 0, 0, 0, -5940, 0, -755, 0, 5550, 0, 8474, 0, 0, 0, -5508, 0, 9576, 0, 9414, 0, -2070, 0, 0, 0, -2413, 0, 66, 0, 2254, 0, 6301, 0, 0, 0, 3074, 0, 3779, 0, 162, 0, 7632, 0, 0, 0, -7194, 0, 2988, 0, 10296, 0, -5613, 0, 0, 0, 1370, 0, 1566, 0, -7992, 0, -3096, 0, 0, 0, -8338, 0, 15409, 0, 9879, 0, 9482, 0, 0, 0, 0, 0, -4918, 0, -270, 0, -3306, 0, 0, 0, -19637, 0, 2649, 0, -3096, 0, 1276, 0, 0, 0, 684, 0, -6875, 0, 12312, 0, 11268, 0, 0, 0, -6588, 0, 16078, 0, 9918, 0, 1431, 0, 0, 0, 5060, 0, -5118, 0, -17366, 0, -4913, 0, 0, 0, 2030, 0, -8803, 0, -4014, 0, 468, 0, 0, 0, -1986, 0, -396, 0, 17605, 0, 12363, 0, 0, 0, -14560, 0, 1143, 0, 1166, 0, 25992, 0, 0, 0, 20614, 0, 431, 0, -3828, 0, 3442, 0, 0, 0, -1539, 0, 22082, 0, -451, 0, 2874, 0, 0, 0, -20987, 0, -9561, 0, 21622, 0, 0, 0, 0, 0, 3888, 0, 1855, 0, 6846, 0, 11268, 0, 0, 0, -3129, 0, 3996, 0, -24965, 0, -7299, 0, 0, 0, 4176, 0, -1254, 0, 230, 0, 9558, 0, 0, 0, 9000, 0, 15625, 0, 1566, 0, -2736, 0, 0, 0, -3498, 0, 15660, 0, 31175, 0, -12417, 0, 0, 0, -18, 0, -324, 0, -6732, 0, -6228, 0, 0, 0, -396, 0, 9812, 0, -1995, 0, 4702, 0, 0, 0, -4698, 0, 22140, 0, -13518, 0, -174, 0, 0, 0, 1276, 0, 1239, 0, -2794, 0, 11250, 0, 0, 0, 15170, 0, -20501, 0, 16956, 0, 22680, 0, 0, 0, -13173, 0, 0, 0, -128, 0, 3762, 0, 0, 0, -27144, 0, 6156, 0, 25682, 0, 14310, 0, 0, 0, 27360, 0, -4951, 0, -12312, 0, 2030, 0, 0, 0, 12960, 0, 22190, 0, -2356, 0, 12795, 0, 0, 0, 7685, 0, 729, 0, -24998, 0, -29574, 0, 0, 0, 17842, 0, 32580, 0, -159, 0, -3060, 0, 0, 0, -10242, 0, 8208, 0, 7992, 0, 7236, 0, 0, 0, -22841, 0, -3828, 0, -17172, 0, -13319, 0, 0, 0, 446, 0, -30869, 0, -20844, 0, -34884, 0, 0, 0, -15390, 0, -24804, 0, 792, 0, 594, 0, 0, 0, 5039, 0, -10692, 0, -19836, 0, -127, 0, 0, 0, -540, 0, -13340, 0, 1296, 0, 11484, 0, 0, 0, -4602, 0, -41328, 0, 12853, 0, -23112, 0, 0, 0, -22843, 0, 171, 0, 29470, 0, -24407, 0, 0, 0, 15048, 0, -28406, 0, -14631, 0, 1044, 0, 0, 0, 945, 0, 26914, 0, -23905, 0, -11274, 0, 0, 0, 16093, 0, 2805, 0, 15660, 0, -21275, 0, 0, 0, -39132, 0, 448, 0, 26676, 0, -26856, 0, 0, 0, -4647, 0, 30096, 0, 811, 0, 9711, 0, 0, 0, 3653, 0, -18642, 0, -6552, 0, 4481, 0, 0, 0, -14666, 0, -9576, 0, -1782, 0, -12190, 0, 0, 0, -174, 0, 770, 0, 0, 0, 24567, 0, 0, 0, 51804, 0, -12960, 0, -31198, 0, 25036, 0, 0, 0, 1368, 0, 27001, 0, -11715, 0, 36, 0, 0, 0, 1116, 0, -22694, 0, 954, 0, -28986, 0, 0, 0, -29503, 0, -15441, 0, 14566, 0, -27144, 0, 0, 0, 42322, 0, 522, 0, 27648, 0, -43416, 0, 0, 0, -1452, 0, -35150, 0, -28566, 0, -3888, 0, 0, 0, 21528, 0, 9222, 0, -27050, 0, 34884, 0, 0, 0, 24934, 0, -3168, 0, 6309, 0, 8388, 0, 0, 0, 13110, 0, -24998, 0, -29033, 0, -6588, 0, 0, 0, 25326, 0, 7290, 0, -418, 0, -25868, 0, 0, 0, 0, 0, 125, 0, -7563, 0, 13846, 0, 0, 0, 9396, 0, -46670, 0, 29107, 0, -2310, 0, 0, 0, 1368, 0, 18525, 0, -58910, 0, -11573, 0, 0, 0, 7366, 0, -6443, 0, 21102, 0, 45562, 0, 0, 0, 22086, 0, 8280, 0, -307, 0, -81, 0, 0, 0, 35549, 0, 28146, 0, -38110, 0, -1763, 0, 0, 0, -23738, 0, -27413, 0, -9918, 0, 5940, 0, 0, 0, 30348, 0, 1138, 0, -13340, 0, -12150, 0, 0, 0, -2071, 0, -7623, 0, 47592, 0, -18233, 0, 0, 0, 13622, 0, -62567, 0, -9831, 0, -62302, 0, 0, 0, -12636, 0, 4550, 0, 31680, 0, 0, 0, 0, 0, 34903, 0, -32673, 0, -23638, 0, -15949, 0, 0, 0, 1044, 0, -28171, 0, -66, 0, -2728, 0, 0, 0, 7773, 0, -47038, 0, -16777, 0, 4536, 0, 0, 0, 9450, 0, -1836, 0, 49082, 0, 3655, 0, 0, 0, -144, 0, 6731, 0, -11637, 0, 30204, 0, 0, 0, 11124, 0, -77976, 0, -125, 0, 10092, 0, 0, 0, 9504, 0, -648, 0, 35546, 0, 41724, 0, 0, 0, -48074, 0, -10296, 0, 11499, 0, 34546, 0, 0, 0, -9063, 0, -15422, 0, -45954, 0, -27864, 0, 0, 0, -2088, 0, -105, 0, 32414, 0, -13806, 0, 0, 0, -14594, 0, 0, 0, -17820, 0, -35302, 0, 0, 0, -2265, 0, 10404, 0, 10820, 0, 16650, 0, 0, 0, 39166, 0, 25422, 0, -30276, 0, -22968, 0, 0, 0, -9482, 0, 73890, 0, -16524, 0, 12578, 0, 0, 0, 28728, 0, 11268, 0, -1079, 0, 28242, 0, 0, 0, -78299, 0, -6210, 0, -16380, 0, -42983, 0, 0, 0, 18202, 0, -76051, 0, -7239, 0, -16034, 0, 0, 0, 198, 0, -50076, 0, -23093, 0, 6762, 0, 0, 0, 58877, 0, 18903, 0, -16870, 0, 53153, 0, 0, 0, -46620, 0, 24244, 0, 9222, 0, 1440, 0, 0, 0, 11337, 0, -30874, 0, 68382, 0, 486, 0, 0, 0, 9109, 0, 22896, 0, 47916, 0, -15085, 0, 0, 0, -18202, 0, -124, 0, -21582, 0, -79344, 0, 0, 0, 8964, 0, -1908, 0, 60553, 0, 30888, 0, 0, 0, -25868, 0, -16839, 0, 13910, 0, -5060, 0, 0, 0, -92556, 0, 22247, 0, 4110, 0, -8482, 0, 0, 0, 4698, 0, -43358, 0, 51461, 0, -23976, 0, 0, 0, -27666, 0, -9288, 0, 432, 0, 19817, 0, 0, 0, -11088, 0, 12113, 0, -25014, 0, 7366, 0, 0, 0, 46227, 0, 102514, 0, -66004, 0, 29637, 0, 0, 0, -701, 0, 28446, 0, 396, 0, 52128, 0, 0, 0, 38124, 0, 62299, 0, 0, 0, -32126, 0, 0, 0, -14754, 0, 106006, 0, 1584, 0, -810, 0, 0, 0, -3709, 0, -9918, 0, 55210, 0, 50867, 0, 0, 0, -8050, 0, 59436, 0, -58911, 0, 22154, 0, 0, 0, 7947, 0, -1044, 0, -95399, 0, -9288, 0, 0, 0, 78641, 0, 3828, 0, 94774, 0, -81468, 0, 0, 0, 67176, 0, -27846, 0, 2052, 0, -70344, 0, 0, 0, -20625, 0, -104026, 0, -72504, 0, 36936, 0, 0, 0, -40700, 0, 33804, 0, 74016, 0, 8352, 0, 0, 0, -126360, 0, 630, 0, -19764, 0, -48650, 0, 0, 0, 48234, 0, 40392, 0, -108685, 0, 29754, 0, 0, 0, 0, 0, 4293, 0, -47038, 0, 98947, 0, 0, 0, 1102, 0, 39511, 0, 15180, 0, 63850, 0, 0, 0, -15354, 0, 77890, 0, -7847, 0, -52098, 0, 0, 0, 89839, 0, -14739, 0, 92146, 0, 847, 0, 0, 0, -60314, 0, 46115, 0, 6090, 0, -29002, 0, 0, 0, -26409, 0, -107388, 0, -116370, 0, -12042, 0, 0, 0, -23166, 0, 1404, 0, 27526, 0, 83429, 0, 0, 0, -37836, 0, 39581, 0, -5958, 0, 19714, 0, 0, 0, -1188, 0, 112572, 0, 47789, 0, 52815, 0, 0, 0, 5004, 0, 37089, 0, -38988, 0, -2088, 0, 0, 0, -66600, 0, 52756, 0, -43680, 0, 0, 0, 0, 0, 3429, 0, 62582, 0, -504, 0, 3498, 0, 0, 0, 56754, 0, 77976, 0, 41162, 0, -7055, 0, 0, 0, -62950, 0, 69678, 0, 61842, 0, -82080, 0, 0, 0, 1293, 0, -30276, 0, 150103, 0, -11484, 0, 0, 0, -81035, 0, 10326, 0, 7632, 0, 18325, 0, 0, 0, -82634, 0, 82208, 0, -4617, 0, 72, 0, 0, 0, 66246, 0, -134654, 0, -9812, 0, -1353, 0, 0, 0, -83520, 0, 8622, 0, 59040, 0, 62460, 0, 0, 0, -72446, 0, 1007, 0, -62961, 0, 85838, 0, 0, 0, -28683, 0, -62100, 0, 62963, 0, 64866, 0, 0, 0, -11072, 0, 0, 0, 7192, 0, -141066, 0, 0, 0, -45828, 0, 4159, 0, 11664, 0, 201708, 0, 0, 0, 5565, 0, 2794, 0, 24244, 0, 20538, 0, 0, 0, -30329, 0, 33804, 0, -1850, 0, 41993, 0, 0, 0, 122566, 0, -61669, 0, -9387, 0, -19426, 0, 0, 0, 11988, 0, 132012, 0, 100871, 0, -74895, 0, 0, 0, 1836, 0, -21897, 0, 121176, 0, 4860, 0, 0, 0, -79344, 0, -25056, 0, 12528, 0, -144828, 0, 0, 0, -3762, 0, -15610, 0, 21600, 0, 690, 0, 0, 0, -90288, 0, 28674, 0, 67716, 0, 57187, 0, 0, 0, -91642, 0, 106254, 0, 27000, 0, 40658, 0, 0, 0, 46875, 0, 48312, 0, -133433, 0, 4698, 0, 0, 0, 72487, 0, -8208, 0, -45130, 0, -22625, 0, 0, 0, -146916, 0, 47304, 0, -10494, 0, 29146, 0, 0, 0, 46980, 0, -72684, 0, 4445, 0, 93525, 0, 0, 0, 146376, 0, -37251, 0, -112550, 0, 37532, 0, 0, 0, -97812, 0, -66004, 0, -54, 0, 31932, 0, 0, 0, -972, 0, -76320, 0, 60552, 0, -20196, 0, 0, 0, 107640, 0, -18684, 0, -81072, 0, -20287, 0, 0, 0, 2398, 0, 92663, 0, -1188, 0, -17842, 0, 0, 0, 29436, 0, 114804, 0, 67627, 0, -5985, 0, 0, 0, 6572, 0, 14106, 0, 0, 0, 1871, 0, 0, 0, 71402, 0, 14564, 0, -14094, 0, 612, 0, 0, 0, 66420, 0, -103918, 0, -17765, 0, -40554, 0, 0, 0, -25164, 0, -522, 0, -90662, 0, 165114, 0, 0, 0, 157068, 0, -142721, 0, 3828, 0, 118346, 0, 0, 0, 3717, 0, -8424, 0, 28332, 0, -8382, 0, 0, 0, 5651, 0, 33750, 0, 99130, 0, 29431, 0, 0, 0, 48852, 0, 160741, 0, 45510, 0, -22896, 0, 0, 0, -61503, 0, 68184, 0, -3293, 0, 50868, 0, 0, 0, 8352, 0, 68040, 0, 118066, 0, 93634, 0, 0, 0, -49126, 0, -792, 0, -39519, 0, -115178, 0, 0, 0, 0, 0, -143676, 0, 37153, 0, -384, 0, 0, 0, -28385, 0, 11286, 0, 56556, 0, -77075, 0, 0, 0, -166558, 0, -114263, 0, -81432, 0, 1102, 0, 0, 0, 18468, 0, -104638, 0, -21076, 0, 77046, 0, 0, 0, -7758, 0, 42930, 0, -88524, 0, -130033, 0, 0, 0, -11484, 0, -883, 0, 82080, 0, 70114, 0, 0, 0, -14853, 0, 163210, 0, -141176, 0, -36936, 0, 0, 0, 36469, 0, 6090, 0, -183528, 0, -38123, 0, 0, 0, 55332, 0, 74195, 0, 38880, 0, 139334, 0, 0, 0, 66570, 0, 29232, 0, 9378, 0, -7068, 0, 0, 0, -50204, 0, 38385, 0, -4104, 0, 0, 0, 0, 0, 183578, 0, -70723, 0, 23055, 0, -120420, 0, 0, 0, 2187, 0, 22946, 0, 97793, 0, -74994, 0, 0, 0, 4393, 0, -88722, 0, -1260, 0, -146197, 0, 0, 0, -113746, 0, -50923, 0, 53526, 0, -24012, 0, 0, 0, 97740, 0, -175104, 0, -159211, 0, -477, 0, 0, 0, -4176, 0, -9180, 0, 62582, 0, 9196, 0, 0, 0, -56542, 0, -15697, 0, -30726, 0, 123538, 0, 0, 0, 24624, 0, 1706, 0, 8837, 0, 23976, 0, 0, 0, 34290, 0, 21708, 0, -58406, 0, -18270, 0, 0, 0, 8820, 0, -179425, 0, -68523, 0, -189936, 0, 0, 0, -11484, 0, 0, 0, -59291, 0, -51516, 0, 0, 0, -67464, 0, -39957, 0, -30096, 0, 199153, 0, 0, 0, 100908, 0, -44891, 0, 1338, 0, -4140, 0, 0, 0, -92607, 0, 15646, 0, 101341, 0, -62532, 0, 0, 0, 41724, 0, -104652, 0, 91058, 0, -83520, 0, 0, 0, 662, 0, 107300, 0, -46170, 0, 59054, 0, 0, 0, -74412, 0, 82130, 0, -186587, 0, 2376, 0, 0, 0, -15821, 0, 1782, 0, 156384, 0, -4121, 0, 0, 0, 42444, 0, 47899, 0, 15117, 0, -106488, 0, 0, 0, -32076, 0, 7192, 0, 28925, 0, -59508, 0, 0, 0, 193878, 0, -381, 0, -88358, 0, -174313, 0, 0, 0, 14630, 0, -193429, 0, -1620, 0, -197374, 0, 0, 0, -40020, 0, -176076, 0, -123499, 0, 3888, 0, 0, 0, -25036, 0, 34452, 0, 172922, 0, 26712, 0, 0, 0, 61466, 0, 208728, 0, -13806, 0, -130990, 0, 0, 0, -123984, 0, -133646, 0, 1276, 0, 38559, 0, 0, 0, -112355, 0, -69336, 0, 166990, 0, -139878, 0, 0, 0, 42494, 0, -47880, 0, -68529, 0, -9086, 0, 0, 0, 513, 0, -80280, 0, -25056, 0, 88410, 0, 0, 0, 140868, 0, -73221, 0, -178258, 0, -83827, 0, 0, 0, 181080, 0, -218970, 0, 45144, 0, -958, 0, 0, 0, -85218, 0, -3816, 0, 0, 0, -43893, 0, 0, 0, -124344, 0, 3132, 0, -59436, 0, 192188, 0, 0, 0, 40658, 0, 3187, 0, 2835, 0, -192204, 0, 0, 0, 80742, 0, 96602, 0, -23977, 0, -71715, 0, 0, 0, 76950, 0, -33822, 0, -214236, 0, -139084, 0, 0, 0, 192226, 0, -181637, 0, 48279, 0, -111298, 0, 0, 0, 8415, 0, 134820, 0, 171792, 0, 46980, 0, 0, 0, 27631, 0, -63825, 0, -2282, 0, -45144, 0, 0, 0, -108518, 0, 62263, 0, -117396, 0, -39830, 0, 0, 0, 1344, 0, -73620, 0, 3168, 0, 80028, 0, 0, 0, 1043, 0, -80568, 0, -257234, 0, 7705, 0, 0, 0, 0, 0, 60552, 0, -13941, 0, 98050, 0, 0, 0, 90288, 0, -182556, 0, 206929, 0, 2433, 0, 0, 0, -162845, 0, 29133, 0, -26626, 0, -54737, 0, 0, 0, -9720, 0, -95040, 0, 10959, 0, 100238, 0, 0, 0, -55926, 0, 418, 0, -97308, 0, -19656, 0, 0, 0, 49248, 0, 13443, 0, -93830, 0, -49229, 0, 0, 0, 60660, 0, 114660, 0, -43998, 0, 179410, 0, 0, 0, -28728, 0, 190994, 0, -69013, 0, -5346, 0, 0, 0, -16110, 0, -36570, 0, 11628, 0, -146484, 0, 0, 0, 140710, 0, 15517, 0, -522, 0, 116748, 0, 0, 0, 2310, 0, 133632, 0, -140940, 0, 0, 0, 0, 0, 62533, 0, 73701, 0, -18986, 0, 173863, 0, 0, 0, 1166, 0, -260477, 0, 155412, 0, -70452, 0, 0, 0, -38880, 0, 82296, 0, -186173, 0, -93594, 0, 0, 0, -63916, 0, 75108, 0, 166356, 0, 4139, 0, 0, 0, 379548, 0, -172998, 0, 4104, 0, 95904, 0, 0, 0, 81003, 0, 5040, 0, -53064, 0, -35145, 0, 0, 0, 226243, 0, 108, 0, 51214, 0, 102580, 0, 0, 0, 155664, 0, -72827, 0, 3348, 0, -49126, 0, 0, 0, -68082, 0, -143208, 0, 162864, 0, 2862, 0, 0, 0, -25201, 0, -86958, 0, -138708, 0, 224227, 0, 0, 0, 176472, 0, -148877, 0, -88509, 0, 23738, 0, 0, 0, -46323, 0, 237132, 0, 665, 0, 43698, 0, 0, 0, 152856, 0, -81432, 0, -127094, 0, -267751, 0, 0, 0, -257004, 0, 238032, 0, 126966, 0, 158738, 0, 0, 0, 1566, 0, 112860, 0, 6821, 0, 82944, 0, 0, 0, -235333, 0, -130248, 0, -5364, 0, 14345, 0, 0, 0, -29210, 0, -99163, 0, -4356, 0, -127368, 0, 0, 0, -105450, 0, -5746, 0, 349541, 0, -85698, 0, 0, 0, -94805, 0, -11664, 0, -8028, 0, 78408, 0, 0, 0, 85068, 0, -413, 0, 64584, 0, -49464, 0, 0, 0, 27666, 0, 32832, 0, 16848, 0, -81150, 0, 0, 0, -160399, 0, 104652, 0, 29232, 0, -369360, 0, 0, 0, 177862, 0, -31680, 0, 74802, 0, -181944, 0, 0, 0, -9504, 0, -275530, 0, -98948, 0, 18927, 0, 0, 0, -178866, 0, 25164, 0, -5652, 0, 57762, 0, 0, 0, -1332, 0, 33748, 0, 39330, 0, 219780, 0, 0, 0, -74994, 0, -223488, 0, 40339, 0, -87099, 0, 0, 0, 4391, 0, -19764, 0, 169488, 0, 174529, 0, 0, 0, 2728, 0, 2286, 0, 75978, 0, 244296, 0, 0, 0, 21870, 0, 137074, 0]