# Trace form for 1872.4.r, downloaded from the LMFDB on 15 May 2024.
[0, 500, 0, 1, 0, -2, 0, -1, 0, -1, 0, 2, 0, -1, 0, -53, 0, -2, 0, 2, 0, -31, 0, 275, 0, -6052, 0, -62, 0, -2, 0, 92, 0, -109, 0, -963, 0, -2, 0, -451, 0, 1, 0, -127, 0, -126, 0, 2, 0, -11661, 0, -206, 0, -8, 0, -123, 0, -374, 0, -2038, 0, 1, 0, -685, 0, 713, 0, -1, 0, -467, 0, 878, 0, -8, 0, -222, 0, -360, 0, 2, 0, 151, 0, 2, 0, -252, 0, 1123, 0, -2, 0, 1337, 0, 4381, 0, -5828, 0, 1, 0, 1505, 0, 1558, 0, 2, 0, -1739, 0, -3850, 0, -8, 0, 3161, 0, 1846, 0, -498, 0, -5008, 0, -1370, 0, 55658, 0, -515, 0, -1644, 0, -1636, 0, 317, 0, -8066, 0, 1370, 0, 9684, 0, 2993, 0, 2, 0, -2656, 0, 1371, 0, 123, 0, -3099, 0, 11198, 0, 2, 0, 701, 0, -7938, 0, -2, 0, 1212, 0, 5306, 0, 2, 0, -5024, 0, -3145, 0, -1, 0, -419, 0, -3623, 0, -1120, 0, -5867, 0, -6674, 0, -8, 0, -9989, 0, -3210, 0, -1329, 0, 3045, 0, 8803, 0, 1, 0, -2992, 0, 3046, 0, 2, 0, -7, 0, 688, 0, 498, 0, 3715, 0, 1329, 0, 3509, 0, 1814, 0, 4137, 0, 341, 0, -134, 0, -4418, 0, -19186, 0, -12528, 0, 2157, 0, -2, 0, 8794, 0, -1224, 0, -492, 0, -5732, 0, -5390, 0, 1, 0, 7061, 0, 1870, 0, -7504, 0, 5428, 0, -15232, 0, -2664, 0, 29729, 0, 3537, 0, 7849, 0, -17321, 0, -27350, 0, -252, 0, 21525, 0, -3730, 0, -538, 0, -6423, 0, -15524, 0, 1, 0, 23640, 0, 7942, 0, -4447, 0, 545, 0, -30998, 0, -63004, 0, -17533, 0, 8222, 0, 249, 0, -7112, 0, -15071, 0, 1373, 0, 12311, 0, 6111, 0, -928, 0, 11621, 0, 23638, 0, -2, 0, 10761, 0, -1998, 0, 32466, 0, -14887, 0, -7048, 0, 12344, 0, 21146, 0, -12014, 0, 19223, 0, 5286, 0, -54542, 0, -2, 0, -20497, 0, -4835, 0, -8882, 0, 17852, 0, 3438, 0, -23906, 0, 25907, 0, -930, 0, -16020, 0, -11968, 0, 44984, 0, -77256, 0, 29954, 0, -252, 0, -14542, 0, 9867, 0, -16688, 0, 8494, 0, 36737, 0, 8019, 0, -4426, 0, 15329, 0, 14342, 0, 2172, 0, 47449, 0, -13378, 0, -4911, 0, -32951, 0, -15696, 0, -2, 0, -11318, 0, 1, 0, 2465, 0, 41477, 0, 24315, 0, -2, 0, 2135, 0, 9868, 0, -7044, 0, -18347, 0, -17189, 0, -2, 0, -5091, 0, 9332, 0, -8411, 0, 10085, 0, -23018, 0, 5146, 0, 60798, 0, 17969, 0, 28982, 0, 8168, 0, -23394, 0, 1062, 0, -25557, 0, 9606, 0, 3888, 0, 30928, 0, -91685, 0, -8570, 0, 42934, 0, -10735, 0, -42280, 0, 14408, 0, 144784, 0, -694, 0, 49097, 0, 992, 0, 8186, 0, -36338, 0, -129778, 0, 973, 0, -8406, 0, -2253, 0, 2, 0, 5198, 0, -64359, 0, -3873, 0, 15429, 0, 23498, 0, 44102, 0, -12695, 0, -20404, 0, 12147, 0, -22778, 0, -10039, 0, 934, 0, -45976, 0, 40114, 0, -2661, 0, -56845, 0, 15152, 0, 9614, 0, 27444, 0, -72900, 0, -98677, 0, 53065, 0, -15435, 0, -126, 0, 2977, 0, 18911, 0, -8, 0, -23454, 0, 33932, 0, -5686, 0, -127, 0, -7657, 0, 33986, 0, 20804, 0, 28966, 0, -3523, 0, 58551, 0, 120206, 0, -249, 0, -47843, 0, 25582, 0, 16310, 0, 17393, 0, -24554, 0, -8, 0, -61483, 0, -42230, 0, 2664, 0, -55846, 0, -75054, 0, -13720, 0, 19305, 0, 21920, 0, -19089, 0, 1266, 0, 24182, 0, -3602, 0, 2111, 0, 6529, 0, 55766, 0, -43142, 0, -22368, 0, -16202, 0, 110156, 0, -51690, 0, 2, 0, 25465, 0, 119091, 0, -123118, 0, 100711, 0, 34820, 0, 2, 0, 317, 0, -79234, 0, -7809, 0, -65271, 0, 12109, 0, 80390, 0, 14577, 0, 92688, 0, -2670, 0, 114587, 0, -39651, 0, -5142, 0, 70274, 0, -18465, 0, 11161, 0, -8777, 0, 13841, 0, 24336, 0, 43459, 0, 17420, 0, -290, 0, -233256, 0, -3570, 0, 26473, 0, 17305, 0, -20408, 0, 18339, 0, -55583, 0, -63562, 0, -7846, 0, 13384, 0, -36117, 0, 4911, 0, -12624, 0, -71264, 0, -75452, 0, -33945, 0, 41524, 0, 1, 0, 3321, 0, 82298, 0, -19680, 0, 77397, 0, 126864, 0, 10781, 0, -133411, 0, -31124, 0, -50776, 0, -25780, 0, 43054, 0, 5974, 0, -68961, 0, -40028, 0, -40570, 0, -19607, 0, -76425, 0, -249, 0, -170261, 0, 6917, 0, -20377, 0, 19418, 0, 26764, 0, -2, 0, -97762, 0, 49734, 0, -344, 0, 108303, 0, -2943, 0, 1, 0, -44279, 0, 11962, 0, -94492, 0, 90849, 0, -141697, 0, -3711, 0, 51106, 0, -22566, 0, 55514, 0, 52439, 0, 48834, 0, -35249, 0, 13774, 0, -59570, 0, -33858, 0, 93790, 0, 283340, 0, 11229, 0, -184182, 0, 43286, 0, 27908, 0, -93519, 0, -10932, 0, 27434, 0, 227825, 0, -197858, 0, 2, 0, 82780, 0, 169352, 0, -29702, 0, 50885, 0, -44963, 0, 52350, 0, 107854, 0, 45309, 0, 326306, 0, -87694, 0, 52282, 0, -21919, 0, -18231, 0, -133506, 0, 3202, 0, 180035, 0, -63378, 0, 13790, 0, 59076, 0, 45116, 0, 27915, 0, -54822, 0, -2661, 0, -46783, 0, 158677, 0, -231839, 0, 49030, 0, 43867, 0, 65738, 0, -96328, 0, 90132, 0, 4873, 0, 341, 0, 204951, 0, -34500, 0, -126, 0, -83435, 0, 55473, 0, -15948, 0, -372017, 0, -24944, 0, 2, 0, 14555, 0, -7146, 0, -2661, 0, -36737, 0, -46623, 0, 181766, 0, 49836, 0, -35392, 0, -30752, 0, -337586, 0, 6681, 0, -10077, 0, 4889, 0, -377522, 0, 67168, 0, 46624, 0, 3958, 0, -84417, 0, -48355, 0, 67798, 0, 88990, 0, 189898, 0, -57842, 0, 26517, 0, -179767, 0, 208603, 0, -227448, 0, -282474, 0, -85710, 0, -51352, 0, -131151, 0, -98566, 0, -11992, 0, 332086, 0, -93891, 0, -53769, 0, 18190, 0, 43230, 0, -28278, 0, 518912, 0, 108242, 0, -161944, 0, 249249, 0, 187328, 0, 23113, 0, 55700, 0, 47436, 0, 9825, 0, 95172, 0, -157298, 0, -8, 0, 340287, 0, -63114, 0, -25230, 0, -19789, 0, 6656, 0, -2, 0, -7370, 0, 138684, 0, 125822, 0, -180004, 0, -597438, 0, -25991, 0, 367004, 0, -164670, 0, -538, 0, 37157, 0, 36034, 0, -49686, 0, 359843, 0, -49578, 0, 10910, 0, 197839, 0, 65542, 0, 77258, 0, -185759, 0, 132352, 0, -35800, 0, -3087, 0, 9884, 0, -69770, 0, -31438, 0, -26885, 0, -18148, 0, 283368, 0, 111640, 0, 63861, 0, -123190, 0, -150774, 0, 2, 0, 28664, 0, -305836, 0, 32290, 0, 64594, 0, -3024, 0, 72991, 0, -12193, 0, 15215, 0, 25407, 0, 184397, 0, -172575, 0, 2298, 0, 29834, 0, -248461, 0, -2816, 0, 3271, 0, -63493, 0, 2, 0, 43315, 0, -47842, 0, -55295, 0, 159493, 0, -131899, 0, 64821, 0, 118465, 0, -111891, 0, 48170, 0, 439956, 0, 27114, 0, -29792, 0, -220431, 0, 175274, 0, -2, 0, 150870, 0, 159897, 0, -43166, 0, 143265, 0, 181749, 0, 3492, 0, 241550, 0, -255094, 0, 8, 0, 161093, 0, -76768, 0, -2661, 0, -43672, 0, -261866, 0, 48041, 0, 143231, 0, -292106, 0, -39600, 0, 260558, 0, -26535, 0, -102288, 0, 32638, 0, -6160, 0, -17210, 0, 261241, 0, -8621, 0, -19650, 0, 73072, 0, 9145, 0, -38663, 0, 265356, 0, 16606, 0, -22698, 0, -68532, 0, -38456, 0, -210372, 0, 243687, 0, -202722, 0, -51571, 0, 110429, 0, 197807, 0, 60625, 0, 156380, 0, 80232, 0, -92262, 0, -69645, 0, 254938, 0, 27502, 0, -239675, 0, 196621, 0, -65988, 0, -3911, 0, 28784, 0, -2201, 0, -79110, 0, -234104, 0, -167330, 0, -362854, 0, -763230, 0, -18235, 0, 239654, 0, -39086, 0, -316432, 0, -29427, 0, 216514, 0, 246162, 0, -236048, 0, -231146, 0, 153002, 0, -329847, 0, -421178, 0, 36322, 0, -40780, 0, 110182, 0, 148682, 0, 144347, 0, -187673, 0, -19104, 0, 29357, 0, -23457, 0, -123, 0, 65427, 0, 555038, 0, 29302, 0, -204011, 0, 197320, 0, 55064, 0, 58464, 0, -425790, 0, 36161, 0, -252128, 0, -118987, 0, -128539, 0, -282781, 0, 346020, 0, 41508, 0, -132834, 0, -18990, 0, -95210, 0, 138854, 0, -56766, 0, -78984, 0, -415401, 0, -66359, 0, 178971, 0, 77409, 0, -10136, 0, -199656, 0, 593635, 0, 118462, 0, 270402, 0, -135218, 0, -67813, 0, 1, 0, 286593, 0, 44995, 0, 2002, 0, 169025, 0, 11629, 0, -32902, 0, 380405, 0, 156011, 0, 63704, 0, 26908, 0, 923426, 0, 137796, 0, -256678, 0, -47686, 0, -101898, 0, -83242, 0, 206398, 0, -68546, 0, -366874, 0, 193251, 0, 42968, 0, -422384, 0, -651351, 0, -63794, 0, 402266, 0, -284594, 0, -53097, 0, 180367, 0, -16934, 0, 1401, 0, -625900, 0, -135252, 0, -56575, 0, -179842, 0, -318754, 0, -68507, 0, -692061, 0, 137892, 0, -246688, 0, -361658, 0, -585084, 0, -71781, 0, 108893, 0, -156189, 0, 165167, 0, 67717, 0, 44030, 0, -694, 0, -637029, 0, -166450, 0, -136006, 0, 106863, 0, -373192, 0, -72362, 0, -175220, 0, -256342, 0, 167298, 0, -170911, 0, 907302, 0, 6860, 0, -556883, 0, -148494, 0, -72144, 0, -307734, 0, 149630, 0, 92076, 0, -1082634, 0, 319130, 0, -182274, 0, 203015, 0, -111862, 0, 162184, 0, 607883, 0, 280338, 0, 44750, 0, 176850, 0, -14686, 0, 144180, 0, 35730, 0, 72157, 0, 62282, 0, 574200, 0, 432912, 0, 80422, 0, 14135, 0, 283302, 0, -498, 0, -181355, 0, 603372, 0, 356, 0, 81980, 0, 149196, 0, 56486, 0, 53581, 0, 76101, 0, 5288, 0, -715050, 0, -131412, 0, -50398, 0, 308169, 0, 592768, 0, -20100, 0, 92264, 0, 202637, 0, -108755, 0, 414164, 0, 190155, 0, 1, 0, -685287, 0, 51734, 0, -341, 0, 74466, 0, 410486, 0, -24338, 0, -750488, 0, -190698, 0, -228816, 0, -410271, 0, -284640, 0, -2, 0, -204002, 0, 23967, 0, -35530, 0, -224034, 0, -170816, 0, 67317, 0, -129126, 0, 222552, 0, 376422, 0, 6224, 0, 448870, 0, 42969, 0, -57327, 0, -324046, 0, -29269, 0, -282299, 0, 581071, 0, 46870, 0, -733266, 0, 14779, 0, -52180, 0, -146625, 0, 320966, 0, -151958, 0, -574809, 0, 120025, 0, 239672, 0, 258525, 0, -9412, 0, -237529, 0, -207354, 0, -56298, 0, -218111, 0, -160071, 0, 196692, 0, 65014, 0, -239016, 0, 50366, 0, -100675, 0, -162907, 0, 190951, 0, -10905, 0, -436165, 0, -260874, 0, 424446, 0, -167703, 0, -785225, 0, 4911, 0, 138779, 0, 129054, 0, -245626, 0, 22296, 0, -241143, 0, -182614, 0, 259690, 0, 69902, 0, -260427, 0, -101541, 0, 1751364, 0, -2, 0, -120710, 0, -294737, 0, -408628, 0, -9058, 0, 31468, 0, 238030, 0, 326269, 0, 298746, 0, -38230, 0, -493253, 0, 975138, 0, -15285, 0, -62733, 0, 98676, 0, 178632, 0, -48950, 0, 467260, 0, -228098, 0, 360576, 0, -392269, 0, 119108, 0, -56327, 0, 60910, 0, 73978, 0, 695485, 0, 149265, 0, -109332, 0, 149653, 0, 1245842, 0, -59582, 0, 532899, 0, 79584, 0, 106547, 0, -66767, 0, -742581, 0, 203982, 0, -432459, 0, 127365, 0, -15936, 0, 139353, 0, 278719, 0, -16784, 0, 542400, 0, 139155, 0, 220751, 0, 296997, 0, 67337, 0, -76176, 0, -837581, 0, 148948, 0, 457018, 0, 281400, 0, -25064, 0, -257793, 0, -848061, 0, -331132, 0, -172296, 0, 181844, 0, -28279, 0, -2, 0, -514057, 0, 184867, 0, 323948, 0, -360623, 0, -1562416, 0, 193528, 0, -225375, 0, -77290, 0, 20915, 0, -45094, 0, -465790, 0, -40044, 0, 1248665, 0, -9782, 0, -29789, 0, 96402, 0, 1268236, 0, -25363, 0, -739321, 0, 1029102, 0, -52380, 0, 702038, 0, 276748, 0, 80745, 0, 1492312, 0, -92167, 0, 251187, 0, 526856, 0, 575727, 0, 10911, 0, 1094025, 0, -154984, 0, -249387, 0, -426487, 0, 866158, 0, 74773, 0, 394729, 0, -210641, 0, 95287, 0, 266421, 0, 200948, 0, 492, 0, 772651, 0, 70598, 0, -190798, 0, 360233, 0, 979833, 0, 239864, 0, 115585, 0, -154552, 0, 93530, 0, -113256, 0, -1112710, 0, -2661, 0, 659272, 0, -128946, 0, 11930, 0, -124519, 0, -528882, 0, 167066, 0, 1287125, 0, 207428, 0, -227770, 0, -272866, 0, -55652, 0, 36502, 0, -1100601, 0, -208768, 0, 59222, 0]