# Trace form for 12.7, downloaded from the LMFDB on 24 April 2024. [0, 8, -10, -6, 156, -44, -162, 484, 1136, -2880, 84, 0, -972, 1888, 4776, -8640, -9744, 12220, 2430, 11572, 17608, -11172, -13512, 0, -7776, 35828, -59252, 12906, -17808, -84860, 57348, -40892, 61280, 99576, 109404, 0, -37908, -72752, -128088, -15708, -195552, -65252, 210600, 137236, 445008, 62532, 81120, 0, -276048, -229716, -743118, -380160, -179592, 470308, 39366, 570240, 793728, -238836, 529860, 0, -723816, 62512, -513384, -344124, -642432, 321512, 771768, -168716, 690328, 1042848, 938928, 0, -276048, -1511024, -1522916, 61770, 67824, -1487328, 396252, -319484, 1272352, 1313496, 240444, 0, -143856, -1466040, -1154568, 665280, 489600, 730924, -20412, 1267112, -1338816, 39084, -390288, 0, 624672, 5048464, 1604918, -570240, -808716, -1767260, -380052, -3194012, -1523744, -4259088, -917148, 0, 236196, 2908864, 5127312, 280644, -1781184, 6905836, -3159000, 3006720, -2644952, -2909232, -6827928, 0, 4432320, -8395864, 8089564, -190080, 8387088, -7545496, -1160568, 1418692, -3258496, -4632132, -3773592, 0, 3591216, 14987144, 1811064, 5987520, 2221152, 1262332, -5186592, -10148204, -11610336, 8308656, 7360704, 0, 2367792, -5109576, 9020044, 354510, 3475224, -6477740, -2508246, -7862492, -16308864, -688500, -8930400, 0, 1817640, -770288, -1701480, 9218880, 876864, 14197632, -590490, 7527796, 2051416, 13573008, 1025160, 0, 2514240, -5847528, -1363000, -8227692, 5980368, -17639180, -2520396, -4982780, 13993152, -22331160, 3166092, 0, -4278744, -1270016, -475440, -148764, -4045824, 47135816, 5808024, 25090560, 16201632, 5485212, -1990224, 0, -16796160, -21805616, -16810388, -22619520, -13690596, -48616508, 3283416, -5835548, 15263184, -20152740, 34211556, 0, -11839608, 27214728, -2358600, -3006720, -5153568, 27951264, 19132848, 22415668, 5648488, 37805184, -2916504, 0, 1889568, -5405848, -44572436, 682836, -48717984, -38230984, 21636396, -29746364, 50491776, 929916, -11496372, 0, -7266672, 20723296, -45870528, 22999680, -804960, 61348012, 14398236, 6842880, 41254512, 41901036, 15087504, 0, -17322336, -70295888, -34552762, -15163686, 24392856, -108209324, 11820492, 30295496, -28427904, -17941176, 26920296, 0, 4327344, 39472512, 22013064, 6842880, -29499648, 25948684, 6676344, -22638616, 10520336, 16629300, 2024184, 0, -12052800, 1361016, 4690656, -67409280, -44119344, 2714308, -13935564, -19150076, 13345120, -52622952, 29360028, 0, -461376, 45059392, 42755016, 29074212, 111502080, 88526476, -23961744, 78608596, -8696448, -8183376, -33599760, 0, -14891040, -100154668, 68806136, -5397132, -8032392, 19025380, -42130530, -48159360, -67079072, -66964968, -130997292, 0, 56240892, 33454088, -49733112, 64342080, -39711168, 62582216, -26585172, 18102964, -52933056, 47919660, 74856912, 0, 59704128, -48699344, 96915388, 12545280, 166337040, -150191324, -31237164, -43908480, -127483136, 19600488, -53413248, 0, 9211644, 65142136, 74916648, -13308636, -46146720, 127297344, -68458608, -113719916, -128890320, 61459200, -66108912, 0, 36749376, 207004720, 148609938, 107930880, 12749520, -227553312, 31125384, -85539256, -76703616, -60823872, 170254452, 0, 44835768, -171736592, -3320136, 33787908, 235666560, -37649108, -28088856, 104405760, -17382536, -25699248, -69180840, 0, 47519136, -17293044, -5410100, 8188554, -146669088, 102005864, -1178388, -10792316, 49675008, 16996716, -328086456, 0, 55664496, -7799504, 105041712, -46051200, -78365952, -71532472, -51175800, -13805228, 20793888, -130524708, 12033024, 0, -20041344, 217353408, -53055572, -97574796, 95875128, 260409940, 26941896, 132295680, 126516848, -127540872, 158981508, 0, -108136944, 171824752, 63598104, -8401272, -283994544, -85922468, 103544568, -107055256, 28716904, -76314636, -132305424, 0, -82814400, -335799632, -164222968, -78779520, -36315696, 252656736, -19712160, 165939840, 104366272, 212704332, 361406880, 0, -105382944, 414388096, -173207400, -6842880, 151107744, -264343980, 97744320, 12000296, 79992432, 77409648, 220317456, 0, 67079664, -191378960, -196107744, -11975040, -308651976, -114708096, 48731868, 34128292, 263013120, 111124548, -297316104, 0, -171392760, -771057048, -275493144, -178580160, 5050368, -288618692, 180577674, 12545280, 203029240, 77768700, 339733896, 0, -117028800, 195165040, -208354964, 263450880, 513526656, 388120948, 100053792, -8318972, 137709472, 549270288, 186830604, 0, 43640856, -527116600, -248713440, 21671268, -588756096, -167638560, 105112728, -119133740, 159533664, -169598124, -369460032, 0, -83032128, 219057344, -201559604, 121271040, -53638212, 249607592, -9565938, 291473764, -11010464, 151705932, 695172564, 0, -130859064, 143335464, 111583440, -405440640, 218048448, -419051520, 18092808, -188411468, -32670448, -324537840, 303567768, 0, -192875904, 496079736, -144557184, -12162690, -415270224, 572179300, -47274840, -55082104, -222401536, 124275276, -967249428, 0, -55267920, -228132672, 329880720, -268868160, -51393984, 377557276, -128755980, 332882836, 68958672, -457659444, 198699216, 0, 271035072, 448171400, 305605304, 48159360, 539386560, 58451192, -168353316, 68999040, 348352128, -406349352, 49936644, 0, 175887288, -702270464, 40303944, -23135484, -139051584, -1386438616, -67976496, -88470668, -323816, -38397600, -900480024, 0, 128086272, -16605976, 228973708, 404127360, -93782352, 1068366868, 124752312, 359283848, -650841216, 424884528, 469784172, 0, 246455136, 784548840, 100707240, 232126884, 769623552, 158707036, -349698384, -689513132, -481072224, -393825024, 128731152, 0, 156110976, 78756592, 931125474, 27189492, -464278608, -393239328, 48988476, -608446080, -303687200, 57589704, -880458972, 0, 489980340, -339155320, 715247664, 326652480, 46882656, -2005259924, -187539624, -551992320, -722906168, -12545652, 940992, 0, 165512160, 1044826384, 358735008, 119957076, 845933232, 1494994228, -9682092, 542238532, -746437248, 742636080, -132547896, 0, -167749704, 448294960, -733091112, 3421440, -458435328, 171028108, -507633480, -602986988, -667205664, -478916064, -153863664, 0, 216864864, -345635488, 113657836, 549901440, 295515480, -435902632, -228159504, 357983908, 77510016, -469715268, 640420068, 0, 175612536, -828447096, 171445584, -104405760, 1467883776, -153337796, 61428456, 840520948, 453481728, -120481776, -370388592, 0, 67079664, -19745760, 418629444, 29687592, -1193563152, 1182665428, -341522244, -256037760, 355320928, 473701248, -1424068800, 0, -9338976, 154675024, 675143592, -995258880, 116148096, 1290855744, 370068588, -231517440, 330707040, -485199300, 844453392, 0, -526891392, -239531600, -357203636, -132867270, 122694324, -1009333388, -116145252, 435368648, 238541120, -522541368, 389645664, 0, -16481232, -1250512440, -241252656, 53768004, -567024960, -329313400, 166059072, -11192396, -186036728, 223422624, 793209432, 0, -454102848, 51608088, -182803940, -570430080, -888161328, -47058716, -96289236, -541268728, -128268288, 599801760, 1425895308, 0, -103388400, 436274080, -517564800, 227153124, 625014240, 912028800, 536617872, 1492888320, 1636516368, 425694528, -385565184, 0, -309181536, 930666536, -1376230618, 60130356, 494871288, -1286685588, 830021742, -919081436, -173037312, -694369584, -367102104, 0, -648310392, 542976544, -1251194952, 510494400, -1460504064, 75429600, -58427892, -324440204, 1003613648, 999429240, 46626672, 0, -435481920, -3191160552, -1835573444, -165939840, 917302560, 6855264, 565165512, 94408324, 1637259648, 1518355800, 657375048, 0, 34957008, 1431641440, 252247608, 99221760, -854634240, 793890172, 622847880, 1073563304, 296057856, 1423737000, -365690688, 0, 428426496, 1743307792, -773790528, -748154880, -1340540232, -2089009532, 280560024, 420983140, 182270176, -1818079080, 546801876, 0, -252923472, -1934514432, -379953984, -461039040, -407266320, -748261624, 964762488, -653153996, -1107205208, 940698576, -173319216, 0, -118972800, -1828478848, -517192100, -165939840, -836546544, 321747796, 113537376, 301086720, 1866330912, 226841148, 858380412, 0, -662418000, 1774265088, -425850960, 1094385600, -205806432, 2577663484, 4960116, -430001132, 1813769376, -328552356, 364580400, 0, -881344800, -307636312, 1682471020, -900916632, 101818704, -2089345148, -416691540, 991922596, -1199237760, -3727348056, 346161120, 0, 325332288, 959496832, 985185264, -197201532, 283274496, -154813892, -71979192, -153964800, 1886511168, -243563220, -152419128, 0, 514118016, -257794444, -122815220, -1274106240, 1107859344, 1000021020, 94839984, -660543356, -1194467168, 419689068, -1293590220, 0, 513184896, 5301829840, 385243536, 299946240, -104630400, 4506201820, -1382366736, 2080861396, -2510581152, -257303088, -1230978096, 0, -151795296, -1556892456, -1141897076, 156261306, 367547712, -4601161248, -919940328, -441698488, 1080926944, -2068729344, -387075456, 0, -532486872, -4666201040, 403780056, 1245879360, 1255587456, -126495860, -389995074, 1555933876, -1824664144, 3228505776, 573169560, 0, 2427776064, -3039917656, 2309209448, 810881280, -40714512, -427626432, -212414076, -3093344640, 496108032, 2010616128, -1573294116, 0, 196517988, 3020374632, 1184588976, -99633336, 1073103840, 6219138152, 164758536, -1505492588, -5692635600, 43391700, 717972576, 0, -45862848, 899889312, 2102194156, -214220160, 881613624, -3219453408, 92352636, -2166681308, -3245783040, -2118679428, -2858293260, 0, 386451648, 2509564168, -827093112, 2270942532, -1768357824, -2831537060, -2063132208, -683731620, 512120440, 2059642512, 2747476008, 0, 370269792, 109759216, 4218799776, -65107308, 3454998720, 60867892, -760108212, 66147840, -1460202432, 1975854384, 3015749856, 0, 2090861424, -1456098112, -592381512, 1712698560, 2250061056, 2433422428, 222866964, 438773760, 1801712256, 269014608, -3175361040, 0, 1096104960, 63625452, 205866104, -68999040, -1578927624, -6791759320, 137448576, -3551023388, -3241602832, -4165055856, -1936968792, 0, -57395628, -2759056696, 202267944, 161713860, 2102648160, 891344284, -2053254744, 4449012480, -1977363512, -2783001168, -613159512, 0, 805142592, 2323764024, -100007896, 275996160, 3112629984, 2120922240, -1245936816, 2692087108, 2320720512, 341593260, -1599849216, 0, -1852672176, 2064834544, 3406250712, -603665244, -2662093248]