# Trace form for 1200.4.a.b, downloaded from the LMFDB on 23 April 2024.
[0, 1, 0, -3, 0, 0, 0, -16, 0, 9, 0, -12, 0, -38, 0, 0, 0, 126, 0, -20, 0, 48, 0, 168, 0, 0, 0, -27, 0, 30, 0, 88, 0, 36, 0, 0, 0, -254, 0, 114, 0, 42, 0, -52, 0, 0, 0, -96, 0, -87, 0, -378, 0, -198, 0, 0, 0, 60, 0, 660, 0, -538, 0, -144, 0, 0, 0, 884, 0, -504, 0, -792, 0, -218, 0, 0, 0, 192, 0, 520, 0, 81, 0, -492, 0, 0, 0, -90, 0, 810, 0, 608, 0, -264, 0, 0, 0, -1154, 0, -108, 0, -618, 0, 128, 0, 0, 0, -1476, 0, 1190, 0, 762, 0, 462, 0, 0, 0, -342, 0, -2016, 0, -1187, 0, -126, 0, 0, 0, -2536, 0, 156, 0, -2292, 0, 320, 0, 0, 0, 726, 0, -380, 0, 288, 0, 456, 0, 0, 0, 261, 0, 1590, 0, -2432, 0, 1134, 0, 0, 0, -614, 0, 594, 0, -2688, 0, -1852, 0, 0, 0, -2136, 0, -753, 0, -180, 0, -1758, 0, 0, 0, -1980, 0, 540, 0, 1982, 0, 1614, 0, 0, 0, -1512, 0, 432, 0, 2688, 0, 2302, 0, 0, 0, -4374, 0, 1600, 0, -2652, 0, -480, 0, 0, 0, 1512, 0, 240, 0, -3332, 0, 2376, 0, 0, 0, -1408, 0, 654, 0, -4788, 0, 2648, 0, 0, 0, 2244, 0, -5650, 0, -576, 0, -4698, 0, 0, 0, -1560, 0, 1200, 0, -718, 0, -243, 0, 0, 0, 760, 0, 1476, 0, -6012, 0, -2016, 0, 0, 0, 2046, 0, 4064, 0, 270, 0, -6072, 0, 0, 0, -2430, 0, -6930, 0, -1352, 0, -1824, 0, 0, 0, 1186, 0, 792, 0, 2442, 0, 2828, 0, 0, 0, -672, 0, 10963, 0, 3462, 0, -4758, 0, 0, 0, 324, 0, -6384, 0, 832, 0, 1854, 0, 0, 0, -8476, 0, -384, 0, -4632, 0, 4822, 0, 0, 0, 3426, 0, -360, 0, 4428, 0, -2520, 0, 0, 0, -3570, 0, 1536, 0, 2788, 0, -2286, 0, 0, 0, -434, 0, -1386, 0, -1056, 0, 6880, 0, 0, 0, 6684, 0, 2630, 0, 1026, 0, 7422, 0, 0, 0, 6048, 0, 10440, 0, -6459, 0, 3561, 0, 0, 0, 10424, 0, 378, 0, 3168, 0, -3278, 0, 0, 0, -1140, 0, -6140, 0, 7608, 0, -3072, 0, 0, 0, -468, 0, 6150, 0, 21168, 0, 6876, 0, 0, 0, 106, 0, -960, 0, -1758, 0, -3344, 0, 0, 0, 3048, 0, -3670, 0, -2178, 0, -10560, 0, 0, 0, 1140, 0, 9660, 0, 8462, 0, -864, 0, 0, 0, 8608, 0, -1368, 0, -9792, 0, 7342, 0, 0, 0, -3360, 0, -10640, 0, -783, 0, -17412, 0, 0, 0, -4770, 0, -1710, 0, -504, 0, 7296, 0, 0, 0, 646, 0, -3402, 0, -6018, 0, -6712, 0, 0, 0, 5364, 0, -14144, 0, 1842, 0, 624, 0, 0, 0, -1782, 0, -9840, 0, 9652, 0, 8064, 0, 0, 0, 1424, 0, 5556, 0, 4548, 0, 3780, 0, 0, 0, 12672, 0, -6500, 0, 6408, 0, 12168, 0, 0, 0, 2259, 0, -21090, 0, 3488, 0, 540, 0, 0, 0, 1152, 0, 5274, 0, -5238, 0, 8588, 0, 0, 0, 11088, 0, 16057, 0, 5940, 0, -1596, 0, 0, 0, -1620, 0, 1044, 0, 3062, 0, -5946, 0, 0, 0, -8476, 0, -4842, 0, -600, 0, -8320, 0, 0, 0, 12546, 0, 1976, 0, 4536, 0, -12, 0, 0, 0, -1296, 0, 19290, 0, 12148, 0, -8064, 0, 0, 0, 10366, 0, -6906, 0, 7872, 0, 2376, 0, 0, 0, 7644, 0, -1760, 0, 13122, 0, -8658, 0, 0, 0, -4800, 0, -25800, 0, 16202, 0, 7956, 0, 0, 0, -24136, 0, 1440, 0, 3648, 0, 4642, 0, 0, 0, 6726, 0, 21220, 0, -4536, 0, -12960, 0, 0, 0, -720, 0, -32004, 0, -29792, 0, 9996, 0, 0, 0, 3306, 0, -7128, 0, -10158, 0, 29828, 0, 0, 0, 1944, 0, -7920, 0, 4224, 0, -26718, 0, 0, 0, -1962, 0, -4260, 0, 22862, 0, 14364, 0, 0, 0, 5040, 0, -7944, 0, 6456, 0, 32542, 0, 0, 0, -14214, 0, 18464, 0, -6732, 0, -7092, 0, 0, 0, 16950, 0, 7524, 0, 13228, 0, 1728, 0, 0, 0, 5292, 0, 14094, 0, 28062, 0, 5080, 0, 0, 0, 9888, 0, -27250, 0, 4680, 0, 14784, 0, 0, 0, -3600, 0, 14400, 0, -2048, 0, 2154, 0, 0, 0, 17984, 0, 729, 0, -6552, 0, -16598, 0, 0, 0, -10608, 0, -1460, 0, -2280, 0, -30072, 0, 0, 0, -4428, 0, 23616, 0, 18088, 0, 18036, 0, 0, 0, -24734, 0, 6048, 0, -22278, 0, -19040, 0, 0, 0, -25080, 0, 16130, 0, -6138, 0, -29718, 0, 0, 0, -12192, 0, -840, 0, 9504, 0, -810, 0, 0, 0, 9524, 0, 18216, 0, -7392, 0, 20444, 0, 0, 0, 33906, 0, -12096, 0, 7290, 0, 2616, 0, 0, 0, 20790, 0, -630, 0, 20788, 0, 4056, 0, 0, 0, 1040, 0, 5472, 0, -43098, 0, -14272, 0, 0, 0, 13644, 0, -2410, 0, -3558, 0, -10962, 0, 0, 0, -2376, 0, -23160, 0, -23489, 0, -7326, 0, 0, 0, 18992, 0, -8484, 0, -42672, 0, -32078, 0, 0, 0, 14406, 0, -30620, 0, 2016, 0, 17568, 0, 0, 0, -32889, 0, -6240, 0, -33592, 0, -10386, 0, 0, 0, 21706, 0, 14274, 0, -14958, 0, -32812, 0, 0, 0, -38856, 0, 40576, 0, -972, 0, 1920, 0, 0, 0, 19152, 0, 2640, 0, -24948, 0, -2496, 0, 0, 0, -28276, 0, -5562, 0, -8112, 0, 5904, 0, 0, 0, 36672, 0, 26080, 0, 25428, 0, 30096, 0, 0, 0, 1152, 0, 49170, 0, 1740, 0, 13896, 0, 0, 0, -48314, 0, -14466, 0, 34782, 0, 7056, 0, 0, 0, -25116, 0, 8284, 0, -10278, 0, 15462, 0, 0, 0, 1080, 0, -11616, 0, -22047, 0, -13284, 0, 0, 0, -736, 0, 7560, 0, 29268, 0, 6080, 0, 0, 0, -16674, 0, -9720, 0, 10710, 0, -31272, 0, 0, 0, -4608, 0, -8736, 0, 15928, 0, -8364, 0, 0, 0, -42014, 0, 6858, 0, -7296, 0, 83160, 0, 0, 0, 3960, 0, 12530, 0, 1302, 0, 19722, 0, 0, 0, 4158, 0, 18420, 0, -53818, 0, 3168, 0, 0, 0, -19760, 0, -20640, 0, -13992, 0, 28582, 0, 0, 0, -67788, 0, 19240, 0, -20052, 0, -25440, 0, 0, 0, -7890, 0, -8310, 0, -39692, 0, -3078, 0, 0, 0, 38912, 0, -22266, 0, 26982, 0, -17152, 0, 0, 0, 13848, 0, -31210, 0, -18144, 0, -7620, 0, 0, 0, -31320, 0, 18696, 0, -16128, 0, 19377, 0, 0, 0, 61544, 0, -10683, 0, -24132, 0, -9038, 0, 0, 0, -28314, 0, 9824, 0, -31272, 0, 32208, 0, 0, 0, -1134, 0, -44970, 0, 7416, 0, -9504, 0, 0, 0, -51734, 0, 9834, 0, -13200, 0, -47212, 0, 0, 0, -14616, 0, -21670, 0, 3420, 0, -1536, 0, 0, 0, 18420, 0, 111384, 0, 29632, 0, -22824, 0, 0, 0, -22352, 0, 9216, 0, -29952, 0, -58178, 0, 0, 0, -30780, 0, 10760, 0, 1404, 0, -23172, 0, 0, 0, -18450, 0, 34176, 0, -55172, 0, -63504, 0, 0, 0, 17712, 0, -20628, 0, 9102, 0, 12048, 0, 0, 0, 1044, 0, 1260, 0, -318, 0, 59142, 0, 0, 0, 2880, 0, -14280, 0, -5038, 0, 5274, 0, 0, 0, -99792, 0, 10032, 0, 28128, 0, -3638, 0, 0, 0, -1794, 0, -33264, 0, -9144, 0, 74088, 0, 0, 0, 11010, 0, 14910, 0, 38968, 0, 6534, 0, 0, 0, 38626, 0, 31680, 0, -27468, 0, -5544, 0, 0, 0, -1560, 0, -37150, 0, -3420, 0, -8640, 0, 0, 0, -28980, 0, -37260, 0, 43852, 0, -25386, 0, 0, 0, -31712, 0, 2592, 0, 3696, 0, -17680, 0, 0, 0, -11934, 0, -21080, 0, -25824, 0, 15108, 0, 0, 0, 4104, 0, -59910, 0, -56972, 0, 29376, 0, 0, 0, -6194, 0, -22026, 0, -87978, 0, -17872, 0, 0, 0, 64524, 0, 24192, 0, 10080, 0, 23484, 0, 0, 0, 31920, 0, -92760, 0, 61562, 0, 2349, 0, 0, 0, -8296, 0, 52236, 0, 30216, 0, -4576, 0, 0, 0, -43008, 0, -4864, 0, 14310, 0, 65520, 0, 0, 0, 5130, 0, 15840, 0, -36832, 0, 1512, 0, 0, 0, 110880, 0, -21888, 0, 49602, 0, -2880, 0, 0, 0, -75816, 0, 13863, 0, -1938, 0, 15762, 0, 0, 0, 10206, 0, 69984, 0, -60658, 0, 18054, 0, 0, 0, 4360, 0, 20136, 0, 56088, 0, -25600, 0, 0, 0, 30432, 0, 29680, 0, -16092, 0, -90384, 0, 0, 0, 42432, 0, 46770, 0, -61992, 0, -5526, 0, 0, 0, -45220, 0, -1872, 0, -2610, 0, -47032, 0, 0, 0, 59604, 0, 85070, 0, 5346, 0, -59178, 0, 0, 0, 29520, 0, 12240, 0, 27504, 0, -28956, 0, 0, 0, 62624, 0, -24192, 0, 95748, 0, 14362, 0, 0, 0, -8448, 0, -10100, 0, -4272, 0, -3840, 0, 0, 0, -16668, 0, -17556, 0, 28168, 0, -13644, 0, 0, 0, 53312, 0, -11340, 0, 68442, 0, -46132, 0, 0, 0, -40416, 0, -37870, 0, -38016, 0, 75402, 0, 0, 0, 19500, 0, -60, 0, -10400, 0, -19224, 0, 0, 0, -8712, 0, -36504, 0, 12168, 0, 102060, 0, 0, 0, -10668, 0, -7656, 0, -6777, 0, 64308, 0, 0, 0, 63270, 0, 4560, 0, 89908, 0, -10464, 0, 0, 0, -5940, 0, -1620, 0, 148512, 0, 62768, 0, 0, 0, 76608, 0, -44170, 0, -3456, 0, 69582, 0, 0, 0, -15822, 0, 13560, 0, -42368, 0, 15714, 0, 0, 0, 84584, 0, -25764, 0, -8052, 0, 45106, 0, 0, 0, 9840, 0, 39940, 0, -33264, 0, -6192, 0, 0, 0, -48171, 0, -35904, 0, 13208, 0, -17820, 0, 0, 0, -63254, 0, 4788, 0, 23202, 0, 90400, 0, 0, 0, -69096, 0, 58970, 0, 4860, 0, 55122, 0, 0, 0, -3132, 0, -71460, 0, 542, 0, -9186, 0, 0, 0, 94124, 0, 17838, 0, 75168, 0, -133056, 0, 0, 0, -46134, 0, -19080, 0, 25428, 0, -17424, 0, 0, 0, 14526, 0, -145404, 0, 96368, 0, 1800, 0, 0, 0, 119446, 0, 24960, 0, 29184, 0, -80872, 0, 0, 0, 62004, 0, 11630, 0, -37638, 0, -19200, 0, 0, 0, -5928, 0, -36624, 0, -67157, 0, -13608, 0, 0, 0, 11488, 0, 36, 0, -16200, 0, -86438, 0, 0, 0, 122286, 0, 15820, 0, 3888, 0, 87096, 0, 0, 0, -57870, 0, 132030, 0, 19800, 0, -36444, 0, 0, 0, -77868, 0, 24192, 0, 106122, 0, -120292, 0, 0, 0, 7368, 0, -12160, 0, -31098, 0, -27078, 0, 0, 0, 20718, 0, 24384, 0, 53462, 0, -23616, 0, 0, 0, 14564, 0, -7128, 0, 16128, 0, -54218, 0, 0, 0, 96192, 0, 11320, 0, -22932, 0, -2184, 0, 0, 0, 5280, 0, -16140, 0, 32256, 0, -39366, 0, 0, 0, -42194, 0, 25974, 0, -27588, 0, 29648, 0, 0, 0, -24996, 0, -33370, 0, 14400, 0, 22224, 0, 0, 0, 77400, 0, -32736, 0, -20518, 0, -48606, 0, 0, 0, 14440, 0, -23868, 0, -83172, 0, 22098, 0, 0, 0, 87360, 0, -185976, 0, 72408, 0, 82608, 0, 0, 0, -4320, 0, 58080, 0, -65792, 0, -10944, 0, 0, 0, 25632, 0, -13926, 0, 97152, 0, 23080, 0, 0, 0, -70296, 0, -76803, 0, -20178, 0, 149940, 0, 0, 0, -63660, 0, 9036, 0, 13502, 0, 13608, 0, 0, 0, -6676, 0, 38880, 0, 97488, 0, -30098, 0, 0, 0, 23466, 0, 125440, 0, 2160, 0, 110880, 0, 0, 0, 96012, 0, -19710, 0, -47344, 0, 89376, 0, 0, 0, 21632, 0, -29988, 0, -57858, 0, 21096, 0, 0, 0, -107676, 0, -82656, 0, -9918, 0, -114378, 0, 0, 0, 21384, 0, 12360, 0, 58212, 0, 30474, 0, 0, 0, -4032, 0, -89484, 0, 70788, 0, 25162, 0, 0, 0, -60420, 0, -18976, 0, -5832, 0, 26520, 0, 0, 0, 23760, 0, 66030, 0, 2248, 0, -12672, 0, 0, 0, -2560, 0, 80154, 0, 50292, 0, 92416, 0, 0, 0, -39072, 0, -6480, 0, 5886, 0, -45318, 0, 0, 0, 12780, 0, 106020, 0, -45248, 0, -68586, 0, 0, 0, -40156, 0, -43092, 0, -23784, 0, -49178, 0, 0, 0, -81054, 0, -78680, 0, -15120, 0, 26628, 0, 0, 0, 23832, 0, -3654, 0, 148228, 0, -19368, 0, 0, 0, -110594, 0, -97626, 0, 4992, 0, -175408, 0, 0, 0, 91884, 0, 42950, 0, 42642, 0, 29520, 0, 0, 0, -55392, 0, -35880, 0, 23332, 0, 20196, 0, 0, 0, 136080, 0, 21276, 0, 76128, 0, 161602, 0, 0, 0, -149562, 0, -23760, 0, -50850, 0, 76368, 0, 0, 0, -22572, 0, 120870, 0, -23800, 0, -39684, 0, 0, 0, 77792, 0, -5184, 0, -31758, 0, -66652, 0, 0, 0, -99576, 0, -169990, 0, -15876, 0, 102144, 0, 0, 0, -42282, 0, 164220, 0, -32256, 0, -84186, 0, 0, 0, 4524, 0, -15240, 0, -18672, 0, 100222, 0, 0, 0, -6540, 0, 70376, 0, -29664, 0, -27624, 0, 0, 0, 81750, 0, -150510, 0, -187652, 0, -14040, 0, 0, 0, -28874, 0, -44352, 0, -147618, 0, 488, 0, 0, 0, -9240, 0, 135616, 0, 10800, 0, -21738, 0, 0, 0, -43200, 0, -319536, 0, 120242, 0, 6144, 0, 0, 0, 52488, 0, -6462, 0, 81168, 0, -8316, 0, 0, 0, 74112, 0, 9340, 0, -53952, 0, -167640, 0, 0, 0, -2187, 0, -19200, 0, -77152, 0, 19656, 0, 0, 0, 112100, 0, 49794, 0, -69696, 0, 200828, 0, 0, 0, 86304, 0, -94607, 0, 31824, 0, -13158, 0, 0, 0, 4380, 0, -54816, 0, 42662, 0, 6840, 0, 0, 0, -288792, 0, 90216, 0, -193872, 0, 5760, 0, 0, 0, -9294, 0, 135880, 0, 13284, 0, -43692, 0, 0, 0, -70848, 0, 66804, 0, -24572, 0, -54264, 0, 0, 0, 136652, 0, -54108, 0, 40320, 0, -19184, 0, 0, 0, 93564, 0, 148070, 0, 74202, 0, 83262, 0, 0, 0, -18144, 0, 10296, 0, -30598, 0, 66834, 0, 0, 0, -112696, 0, 57120, 0, 15600, 0, -99758, 0, 0, 0, -1434, 0, 23740, 0, 75240, 0, 8352, 0, 0, 0, -48390, 0, 145590, 0, 60928, 0, 18414, 0, 0, 0, -44608, 0, 89154, 0, 39984, 0, -103824, 0, 0, 0, -20520, 0, 91476, 0, 36576, 0, -34878, 0, 0, 0, 2520, 0, 78300, 0, -18898, 0, -28512, 0, 0, 0, 66044, 0, 2430, 0, -62112, 0, -75316, 0, 0, 0, -5094, 0, 6944, 0, -28572, 0, -47880, 0, 0, 0, -54648, 0, 21504, 0, -200612, 0, 22176, 0, 0, 0, 23686, 0, -61332, 0, -26418, 0, 26408, 0, 0, 0, 16896, 0, 154190, 0, -101718, 0, -15498, 0, 0, 0, 36288, 0, -9600, 0, -80239, 0, -21870, 0, 0, 0, -14760, 0, -7848, 0, 91908, 0, 50720, 0, 0, 0, 20766, 0, 27720, 0, -62370, 0, -22632, 0, 0, 0, 1890, 0, -106944, 0, 57456, 0, -62364, 0, 0, 0, -44894, 0, -12168, 0, -194118, 0, -42080, 0, 0, 0, -71856, 0, 45760, 0, -3120, 0, -31776, 0, 0, 0, -16416, 0, 47940, 0, -247968, 0, 129294, 0, 0, 0, -189196, 0, 42816, 0, -118752, 0, -217658, 0, 0, 0, -85134, 0, -224536, 0, -40932, 0, -102144, 0, 0, 0, 7230, 0, 45840, 0, 19008, 0, 10674, 0, 0, 0, -26928, 0, 32886, 0, -22596, 0, 6608, 0, 0, 0, 199920, 0, -87476, 0, 7128, 0, -167040, 0, 0, 0, 69480, 0, 67800, 0, -41398, 0, 70467, 0, 0, 0, 103344, 0, 21978, 0, -188292, 0, 200340, 0, 0, 0, -34320, 0, -8300, 0, -56976, 0, 42288, 0, 0, 0, 25452, 0, -123450, 0, -202592, 0, 128016, 0, 0, 0, -249014, 0, 96234, 0, 166212, 0, 56376, 0, 0, 0, -306432, 0, -166784, 0, -43218, 0, -43296, 0, 0, 0, 91860, 0, 184620, 0, 24300, 0, -6048, 0, 0, 0, -60800, 0, -52704, 0, 196128, 0, -122978, 0, 0, 0, 17226, 0, 77616, 0, 98667, 0, -14520, 0, 0, 0, 18720, 0, -143550, 0, 52448, 0, 100776, 0, 0, 0, -49034, 0, 31158, 0, 17742, 0, 27976, 0, 0, 0, 201168, 0, -14400, 0, -65118, 0, -242538, 0, 0, 0, -42822, 0, 18240, 0, 7600, 0, 44874, 0, 0, 0, 75584, 0, 98436, 0, 8616, 0, 98240, 0, 0, 0, -245154, 0, 77020, 0, 116568, 0, -67032, 0, 0, 0, -121728, 0, -77364, 0, 190888, 0, 2916, 0, 0, 0, 57346, 0, -5760, 0, 49152, 0, -61972, 0, 0, 0, -122736, 0, 122690, 0, -57456, 0, 198042, 0, 0, 0, -7920, 0, 139140, 0, 55372, 0, 74844, 0, 0, 0, 85844, 0, 7488, 0, -199992, 0, 24982, 0, 0, 0, -9120, 0, 248200, 0, 84828, 0, -98400, 0, 0, 0, 16686, 0, -37590, 0, 177748, 0, 24336, 0, 0, 0, -338688, 0, -17712, 0, -165738, 0, 126616, 0, 0, 0, 37128, 0, 150950, 0, -110016, 0, 56142, 0, 0, 0, -78240, 0, 71280, 0, 72144, 0, -76284, 0, 0, 0, 188264, 0, -90288, 0, -233352, 0, -63360, 0, 0, 0, 72966, 0, -1696, 0, -3456, 0, -199416, 0, 0, 0, -147510, 0, -29610, 0, 47248, 0, -5220, 0, 0, 0, 249946, 0, -41688, 0, -267198, 0, 187508, 0, 0, 0, 28128, 0, -109673, 0, 144942, 0, -34620, 0, 0, 0, 43398, 0, -164100, 0, 53504, 0, -104346, 0, 0, 0, -24552, 0, -21168, 0, -31800, 0, 201742, 0, 0, 0, 149226, 0, -269136, 0, 75348, 0, 272988, 0, 0, 0, -24852, 0, -48768, 0, 54268, 0, 30834, 0, 0, 0, -7994, 0, -46386, 0, 44622, 0, 58720, 0, 0, 0, 51648, 0, 48640, 0, -3240, 0, -94878, 0, 0, 0, 34848, 0, -120960, 0, -45968, 0, 66141, 0, 0, 0, -223216, 0, 39852, 0, -57420, 0, 72864, 0, 0, 0, -139554, 0, -100624, 0, 2208, 0, 200328, 0, 0, 0, -22680, 0, 182190, 0, -33264, 0, -87804, 0, 0, 0, -245054, 0, -18240, 0, -426048, 0, -132080, 0, 0, 0, -18096, 0, -18540, 0, 50022, 0, -154560, 0, 0, 0, 29160, 0, -61980, 0, -221508, 0, -32130, 0, 0, 0, -135392, 0, 93816, 0, -85272, 0, 155302, 0, 0, 0, 35346, 0, 83160, 0, 13824, 0, -194892, 0, 0, 0, 26208, 0, -206550, 0, 83428, 0, -47784, 0, 0, 0, 214700, 0, 25092, 0, 16224, 0, 12280, 0, 0, 0, 3840, 0, 46806, 0, 126042, 0, -9156, 0, 0, 0, -20574, 0, -196680, 0]