# Trace form for 5.7, downloaded from the LMFDB on 20 April 2024.
[0, 4, -10, 30, 0, -70, -552, 550, 1860, 0, -4370, -1052, 3480, 1960, 0, -90, -776, -3280, -870, 0, 20340, 3828, -27520, -39010, 0, 30400, 44068, 31320, -4840, 0, -50640, -33172, -48760, 22260, 0, -24970, -40836, 146860, 218040, 0, -110100, -213932, -31680, -72050, 0, 78210, 323288, 830, -74160, 0, -203350, -172212, -173300, -29620, 0, 470660, 467280, 195840, -554640, 0, 620280, -111052, -610520, -350130, 0, -406540, -457824, -146930, 775780, 0, -133320, 1310188, 899460, 553540, 0, -435450, -2073840, -476300, 268200, 0, -1011520, -624816, 2554880, 536870, 0, -1344920, 1019128, -763440, -187680, 0, 947310, 1131548, -2552680, 444660, 0, 912600, -568992, -59420, -1892810, 0, 3931200, 1413808, 1682760, -1624370, 0, 264660, -2857252, -3574450, -3584880, 0, -1413440, 1078908, 645040, 4459760, 0, 2089510, 6548640, 1819380, 523320, 0, -2761200, -2287068, -1079120, -3624540, 0, -6301750, -2189352, 2664790, 6075120, 0, -1705840, -7336172, 2823360, 3131040, 0, 5196600, -4280520, 4778660, 6665760, 0, -1341560, 2026068, -7345720, -4555580, 0, -4443600, 6455788, -3246330, -1576180, 0, 25800, 6514508, 226800, -152700, 0, 10982260, -3269232, 6560200, -10784640, 0, -82520, -9317132, -9056790, -15170690, 0, 174420, 21748808, 772670, 2001120, 0, 10504980, 9165240, -6824840, 5954540, 0, 6541150, -10046912, 114720, 13714080, 0, -10410720, -22249672, 6744760, 523860, 0, -6099820, -9291264, -8363260, -10108760, 0, -11765400, 8839468, 9851040, 13289200, 0, 2319720, 25424996, 19650380, 13524960, 0, -1390500, -13070412, 9068180, 789360, 0, -26556940, -50972552, -18205590, 8777320, 0, -6061440, 27122948, 13575380, 13896660, 0, 1749110, 33228000, -12189100, -30931380, 0, 17866080, 13269208, -9026760, -15508010, 0, 3322800, -41098732, 4204790, -24550560, 0, 57958960, 2309736, -23920800, 17231120, 0, 20165230, -3271920, -13765440, -12160280, 0, -324240, 44437268, 21576570, -16899570, 0, -20292210, 69923616, -32880360, -8490480, 0, -10076750, -50576492, 2543640, 641780, 0, -15769740, -89893856, -3396400, 16531680, 0, -12762820, 8040960, 53887280, 21933110, 0, 17100160, 52266720, 24547680, 61531880, 0, -50612400, 34526588, 21548360, -1087020, 0, -39652700, -83778912, 6876040, -14394120, 0, -30729600, -30016172, -20250720, 13609270, 0, 36763200, -20936384, -7195100, 27596280, 0, 6584400, -3470532, -18993980, -28077400, 0, -652200, 125339880, 22515840, 18866100, 0, 55007400, -12566092, -147951320, -1999140, 0, 22294660, -52821492, 119493550, -23932480, 0, -22702840, -67956452, 13447920, -111845840, 0, 44209110, 122154240, -9228280, -25965960, 0, 51221040, -18687372, -2200000, 66476040, 0, 69712300, 143935768, -27537480, -119678880, 0, -38539680, -81795772, -95859160, -92639640, 0, -113807170, -8260032, -85124540, 78210950, 0, -7684660, 112741736, 102016440, 88552200, 0, 61864320, -57251812, 120149030, 92160960, 0, -52377600, -24251760, 25004480, 62224580, 0, 38125460, -189142080, -9904620, 41645160, 0, -3854700, -77964476, -18544820, -33011910, 0, -84865240, -11809824, -9361130, 29368400, 0, -39288420, -41204372, 57128160, -72647060, 0, -82697250, 20908080, 39869760, 32012640, 0, -98659200, 103628148, 98290280, 229723670, 0, 77871860, 103726228, -27294630, 15807740, 0, -1303080, 103217228, -138037860, -90568140, 0, -77769600, -100513632, -151694420, -263425200, 0, 65859400, 164772808, 128940960, -109176580, 0, 170216730, -81597120, -122923580, -92600880, 0, 405424960, -2809092, 215877880, 19240320, 0, -159746690, -69547472, -67535520, -4883520, 0, 36490080, 33255188, -197361920, 29775990, 0, -65151100, -262210944, -30193900, 501160, 0, 115488560, 158856028, -75782880, 25132420, 0, -136225200, 293023080, -29794560, 15846360, 0, 148048800, 103201764, -17068900, -23960650, 0, 155239200, -16037912, 46206600, 79529120, 0, -218823450, -246743384, 312527900, 180523860, 0, -163406540, 212040000, 29050000, -238003440, 0, -544230920, -420329552, -28812960, 160580110, 0, 4213620, -482546092, 316645670, 79376820, 0, -131520120, 246143628, -30723600, -30466700, 0, 295488000, 110775632, -60364200, 531589680, 0, -45277440, 294537728, 251762080, -44385660, 0, -27872020, 286928568, -173668490, -38071680, 0, -33933310, -553755932, -436607040, -172016640, 0, 9731520, -229337632, 135378100, 170243520, 0, 301963500, -118831212, -257217520, -77520370, 0, -213782140, 551140256, 129051570, -448856200, 0, 294581160, 253681868, 48681440, -198957600, 0, 409177910, -207067872, 150803060, -185026600, 0, 47977800, -329426912, -189473040, -112726010, 0, 5877300, 724668968, -184994660, -63227520, 0, -18046640, 63996120, -186188640, 165860020, 0, 224188030, -245309520, -60812640, -54406860, 0, -6901200, -31410832, 2837080, -92703540, 0, -127505700, 35318976, 49271830, 138290620, 0, -373895200, 466920000, 380548320, -20264640, 0, 76061460, 399019920, 448234700, 313026360, 0, -156779920, -142542744, -439107520, -432760690, 0, -218183540, -1394091992, -202719330, 649939920, 0, -344224800, -628558012, -4652000, -54092940, 0, 82972550, 198418704, 436732240, 67916170, 0, 531091200, 416403988, 33992280, 233191460, 0, -273374580, 239365028, 417207110, 386302680, 0, -59506200, 311673468, 162587800, 440833700, 0, -42756120, -319895400, -262771200, -409896280, 0, -485856000, -33794092, 42359680, -87181050, 0, -197859810, 56948496, -913549250, -146696160, 0, 6000560, -269011412, 260442660, 795013960, 0, -5286780, -348416640, -501586480, -366780960, 0, 365276880, -741699360, 1184046680, -206653920, 0, -71277500, 935032468, 172810080, -1060152940, 0, 418384560, 948568028, -370156800, 332976660, 0, 729830630, 321124848, 30305740, -337735680, 0, -85729200, 382149268, 143980320, -1084745450, 0, 152243520, -571626480, -904767370, -184351140, 0, 400342300, 44533896, -1083775400, 300255980, 0, -404819740, 728319808, 423978960, 221151040, 0, 492327360, 25376948, 112562080, 83414940, 0, -558782400, -559564572, 550890960, 614245480, 0, 818721480, 232719176, -37730880, 415506340, 0, 488313000, -1026144476, -578135860, -803446200, 0, -832545600, -4163052, 150556960, -476199730, 0, -577636820, 42332400, -484452240, 125986960, 0, 13931520, 326882468, 429168020, 387584340, 0, -497101800, -819504000, 793559540, 1123503600, 0, 402492200, 414605908, 281496240, 803690040, 0, 192327060, -629416852, 333028300, -19128480, 0, -1777351640, 28791360, 1090497600, 102299380, 0, 537462020, 75345840, 542381280, 382602720, 0, -83854440, -1096740172, -313779610, -29575740, 0, -868368000, 632793384, -1092098810, 430433520, 0, -601557040, 319778668, 71621760, -1351092980, 0, -568086570, 899255648, -776342060, -844311840, 0, -352260860, -208854720, -342969880, 123350150, 0, 313054500, 1121103388, 643522290, 495268960, 0, 747534000, 207080108, -342476080, 4335060, 0, 1860971860, -418587840, 1141268200, 1377890760, 0, 2094318000, -814651352, -1004304000, -452243880, 0, 278613960, -1281367192, -137543880, -886958400, 0, -250155840, -486225972, -199690340, -972629560, 0, -980229700, -81052920, 78725460, -1299505620, 0, -279383040, 265958056, -1562872760, 786225600, 0, 1707013280, 1723328736, 1078794910, -1047457460, 0, 222998400, 1019634748, -501576480, -236219980, 0, -232271880, 2631112800, -791104120, 247135680, 0, -620086600, -869109120, -50614420, -837342620, 0, 545442260, -580425424, 142102440, 531393720, 0, -219989070, -2771926252, 426930240, 169795860, 0, 721536710, 459167328, -295584960, 534510420, 0, -2643282720, 1570993588, 85434840, 835852990, 0, -382197900, 194235360, 2195417990, 634852200, 0, -273692240, -581033652, -1124110640, -594088580, 0, -1277169170, -804094080, 447582240, 1643162040, 0, -18031200, 934781284, 2127068080, 289026660, 0, 797779710, 887644488, -140023950, -505163560, 0, 1686686400, -2505950852, 1644574560, 899581480, 0, -2034334800, -2974944720, -1281555100, 191527200, 0, -1285822120, -426938424, -1089715720, 457083710, 0, -279422240, -2413241492, -199730850, -539586080, 0, 1295812800, 1312114508, -10650600, -8027760, 0, -430779250, -180552912, -755162360, 1260970080, 0, 357685760, 2657182228, -477399930, 1505493070, 0, 31029600, 3417465128, 395615510, 564987120, 0, 336223200, 1757151108, -292002680, -1146840960, 0, -611436600, 923693760, -304666740, -3255894900, 0, 468420900, -871060912, 1698097760, -105190140, 0, 1501904260, -3532303104, -334934450, 130139800, 0, -422457640, -3182418452, -546442560, -1973683660, 0, 9282420, 3562988640, -617708300, -1741509360, 0, 2466166800, 1768962228, -304177420, 96578620, 0, 1756539400, -3552436232, -1724590950, -327157440, 0, -772776480, 1085815560, 2826277340, -1523828940, 0, -463652540, 1354970520, -519289040, -1133894080, 0, 210106040, 3844555768, -2382713880, 2730767780, 0, 324165600, 1065202336, 235146830, 1671144960, 0, -442587000, 2108914188, 76895280, -119495920, 0, -1960524940, -5367696480, -620501280, -2192309040, 0, 1806715680, -882516828, 1792175380, 2368356870, 0, -1781105140, 775907616, -186739730, -1222075620, 0, 213106380, -2537840012, -1840232520, 1595330880, 0, 429309600, -439750912, -1528240060, 2774378400, 0, 2489290720, -1329100380, 4014404480, -1518502330, 0, 856940980, 2882722080, 111543300, 189384240, 0, -1245449280, 3709764668, 684520480, -521540940, 0, -1311894000, -2095557792, -245182520, 676848600, 0, -4986127500]