# Trace form for 712.6.x, downloaded from the LMFDB on 02 June 2024.
[0, 4480, -9, 0, -9, 0, -73, -18, -9, 35946, -641, 0, -2388, 0, -3250, -990, 3303, -422, 12632, 0, -10093, 0, -25201, -18, 2273, 271866, -603, 0, -17469, 0, 61818, -18, -4204, 4682, 9392, 0, 4226, 0, -17279, -25326, 20064, 22732, 13097, 0, 21021, 0, -142433, 44162, -122426, -1046854, -58603, 0, 34490, 0, -83659, 361412, -26560, 29818, -54959, 0, 103516, 0, -131334, 227478, -30009, 39018, 333335, 0, -70737, 0, 260346, -285006, -431250, 25162, 61951, 0, 87606, 0, 753697, 124802, -883474, -2946230, -181371, 0, -611908, 0, -106745, -464830, 324670, 84610, 295390, 0, 451772, 0, 362725, -933938, 44431, -80422, -189138, 0, -74947, 0, -74592, -148738, 1108339, -113862, 980849, 0, 4243644, 0, -107059, 102988, -346473, 1436564, -2580249, 0, 230617, 0, 107948, 441450, 3003599, 6266330, -1955888, 0, 3640911, 0, -274242, 266158, -1381018, -2387890, 139283, 0, 2630116, 0, 527303, 1338170, 270015, 5626, -4811192, 0, -12592, 0, 787726, -1597782, -746486, -697318, -930385, 0, -688477, 0, 4600728, 1326270, 1588611, -285516, 1825427, 0, 3410639, 0, -1663432, -990, 308119, -1391550, -2024504, 0, 1441702, 0, 3931728, -1227134, 2483175, 11681386, 1390431, 0, -2866143, 0, 7040701, 11067542, -2612775, -2776860, 7061862, 0, 1421976, 0, -3313280, 712186, -1242907, -1102998, -9538653, 0, -26650, 0, -12889276, 6877602, 9435883, 756362, 1349116, 0, 17885014, 0, -10279723, -194198, -8708440, -1469254, 11173535, 0, -8737785, 0, 1240865, 235206, -5380699, -3476582, -6261823, 0, -9964906, 0, 9508608, 1001348, 447731, 67210, -900757, 0, -7800627, 0, -2654907, 1545954, -9328832, -17701382, -6086271, 0, -11066924, 0, -3268264, 5045716, -4041807, -774860, 22314117, 0, 436401, 0, 23247516, -858442, 26672547, -2008662, 12169502, 0, -14715228, 0, -5097607, 2789634, 14484206, 2834730, -2469947, 0, 12271337, 0, 9962001, 5829684, -5439145, -12284078, -2614420, 0, -5409678, 0, -5505587, -3670822, 3066000, -3849350, 13900720, 0, -10526450, 0, -44845405, 3231386, 13756880, -3699542, -4161531, 0, -17993271, 0, 36861, 3185560, -2898369, 2871418, 8866762, 0, -3873047, 0, -17975929, 20192878, 9447373, -41127786, -4914821, 0, -28751018, 0, 221261, 40119370, -26766103, -4431958, 13268484, 0, -23016315, 0, -26502092, 7833828, -10229762, 1736050, 27222485, 0, -14081120, 0, 32568846, -19335574, 21473235, -1934054, 2523979, 0, -3872414, 0, -1006679, -4212964, -7639595, -2292642, 61652560, 0, -13425688, 0, 12143277, -1026854, -13769409, -13196830, -54055097, 0, -5307544, 0, -14504940, 6337250, -22736894, 40176228, -44461541, 0, 27394489, 0, -33146556, -15650270, 77760184, 41581306, 28176286, 0, 36975291, 0, 6090500, 36400266, 16206802, -27081364, 22781589, 0, -7918368, 0, -12278632, -18, 42599290, 61386194, 9427249, 0, 6673534, 0, 11025411, 38456498, -13830842, 5084618, -37905722, 0, -84235935, 0, -47995070, -1393966, 40246496, -39751696, 14630614, 0, -12752019, 0, -50079873, 25028658, -49312887, 6232950, 44088431, 0, 5958406, 0, 98025222, -3488158, 7089422, 101185628, 31720989, 0, 31396324, 0, -20362464, -21602238, -10384819, -8253702, 24883957, 0, -28712617, 0, 50748177, -18511684, 5383018, 7104026, -13372989, 0, 66973179, 0, 2932259, 8379202, -1447432, 6608458, -17581813, 0, 100105058, 0, -38257209, -4163500, -11420961, 3155988, -23228867, 0, -39487957, 0, -63385117, -120263634, 23797326, -2498236, 238696, 0, -24766565, 0, 84666361, 41028038, -27295031, 94713050, -5178890, 0, 23698906, 0, 81498902, 5886434, -126202800, 172762, -98843575, 0, -52066649, 0, 78758484, -26710942, -65060623, 2816980, -15305980, 0, -54139896, 0, 16439901, -8509414, -51041213, 5906842, -67482835, 0, 6801532, 0, 53297701, -228866922, -1388901, -3641718, 201205010, 0, 106424464, 0, 75909023, -229437640, -141470069, -4074472, 12528324, 0, 841413, 0, 93152018, 44166506, 67425186, 60710230, -197692135, 0, 153555111, 0, -117943899, 25758276, -78095279, 9183700, 88976892, 0, -125248006, 0, 30655406, 20683894, -205473032, -20767416, 208034546, 0, -142588216, 0, 188630921, -36722734, -48373533, 9575482, 1101179, 0, -142595406, 0, 11614691, 38939034, -73458953, -13855558, -352815456, 0, 201270217, 0, -88649061, 118122078, 37669144, -113055782, -113544994, 0, -55272331, 0, -162503001, 160273460, 22557386, 66512856, -89159319, 0, 181556628, 0, -69523062, -33539190, 66461775, -38482118, -62114054, 0, -164285297, 0, 229070563, -15839822, 24530389, -7848982, -43233236, 0, 31627507, 0, 20689651, -38276790, -262518627, 39204842, 44913138, 0, -87770154, 0, 87170459, 60440278, -97066816, -29654230, 4938313, 0, 25005236, 0, -52740462, 154941750, -25159831, 61793814, -152750587, 0, 193252685, 0, 31972406, -5025374, 81255883, 135090504, -206519964, 0, -65809175, 0, -147483771, -200868606, 28491811, 2879754, 202176460, 0, 94702223, 0, -187885377, -49383206, 26197159, -23768598, 59005525, 0, -82773637, 0, 55751776, -66764518, 155286214, -64372246, -152867919, 0, 142157028, 0, 155006422, 185524616, 154729525, 21671578, 49800474, 0, 138258044, 0, -203500912, 31748222, 357014796, -256431350, 248122567, 0, -7705381, 0, -99227310, -45736430, 59239449, -170815494, -15410761, 0, 116651843, 0, -85166628, -253110382, 128777088, 17230522, -76143483, 0, -21376649, 0, -51947016, -49003666, 41651851, 8758650, 14319595, 0, 355438904, 0, -123258361, 15854970, 146288073, 33609236, 285904695, 0, -117173764, 0, -164940939, 208757490, -94066777, -71697942, -356164142, 0, -403749208, 0, -66533986, -115484198, 158626958, -11167318, 204529412, 0, 255509192, 0, 310811050, -311700938, 193856284, 67440746, 240557506, 0, 405266654, 0, 271965408, -46312662, 141793262, 8222370, -123135433, 0, 58241610, 0, 98818009, -119777122, 72733156, 66545706, 177661540, 0, -683565690, 0, -281850644, 220500280, 182559140, 36794408, -400580750, 0, -148904749, 0, 273279794, 1206071624, -320961575, -18154860, -76858787, 0, -62090025, 0, -333045645, 159924862, -343033571, 7185458, -135634715, 0, -234117246, 0, 183793223, 73847222, 74565085, 326910474, -58745831, 0, -188867121, 0, -312544687, -400747934, 46814151, -66864246, 699676312, 0, 144632479, 0, 141908863, 115208694, -19127709, 38995114, 451659068, 0, -11027209, 0, 72599049, -307350654, -112954668, -20993478, 144901149, 0, -77598725, 0, -246401101, 77761074, 22959836, 97908330, -316160542, 0, 1423912, 0, -46412763, -883615212, -379205118, 66524384, -110346262, 0, 96469418, 0, 190275464, 30326166, -131702313, -213159512, 131635611, 0, -365647249, 0, 406312523, -11898590, 193649685, -6474358, -272863697, 0, -270600759, 0, -467810843, 4617882, 539532780, -76119718, -27473013, 0, 19549559, 0, -365153462, -57894166, -140916400, 360501094, -344692370, 0, 524544046, 0, 194806165, -1395177750, -24251811, 58975498, 24728182, 0, -369624571, 0, -150366363, -154299758, -285759349, -5436346, -124431681, 0, -307014083, 0, 78934518, 413745886, 351825960, 40675792, 72212694, 0, -127833795, 0, -703898452, 547717670, 67345505, 19285752, 459729262, 0, 293854381, 0, 278696354, 75140718, -804999280, 268522986, 154370023, 0, 185814105, 0, 475256550, 31033944, 380514742, 62625370, -237517575, 0, 259722640, 0, -686699921, -114253630, 179231586, -25137302, -560534656, 0, 236345400, 0, -469153022, 378700202, 464388436, -145676726, -71585111, 0, 168677537, 0, 77263000, -511660678, -34038654, -272322702, 130226519, 0, -172160195, 0, 1230886740, 168377690, -135227586, -80261542, -7322812, 0, -576239316, 0, 240908729, 102371626, -163860901, 38173588, 965216014, 0, -30432652, 0, 882933255, -153844600, -936051521, -27189862, 374976357, 0, -753747828, 0, 239654390, 340739116, 496296369, 61177240, 257374070, 0, 172884077, 0, 296515255, 465804442, -450435159, 106233818, 85366159, 0, 275981407, 0, -881522767, 119043950, 815752225, -84298402, -183915595, 0, 1537464938, 0, 413226168, -121568904, 563639799, -50703776, 239909280, 0, 6506363, 0, -328813649, -347027972, -472635017, -473770760, -231420466, 0, -415767496, 0, -657338184, -123777470, 21271108, -25235820, 568600017, 0, -669344781, 0, 174484490, 277356010, -26528688, 86000602, -32077496, 0, 582010520, 0, -38766191, -686999094, 150865389, -157677238, -80839562, 0, -450356832, 0, 891183839, 275306904, -575535725, -257936466, -598951258, 0, 51005307, 0, 60955685, 1177664082, -225540701, 119915402, -799740034, 0, 94910772, 0, -452343641, -68858422, 1069107667, 128420752, -230301268, 0, -7831422, 0, 1002579875, 86445704, -159202106, -131011462, 206241355, 0, -539980482, 0, 117122243, 676309788, -545905898]