# Trace form for 18.12.a, downloaded from the LMFDB on 20 April 2024.
[0, 5, 32, 0, 5120, 2334, 0, -42680, 32768, 0, -30912, 1699116, 0, -828698, -335360, 0, 5242880, -8603622, 0, 33308092, 2390016, 0, -20705664, 1057800, 0, -4367269, 165855424, 0, -43704320, -70389066, 0, 139244944, 33554432, 0, -352729152, -1123978944, 0, -43874954, 925913728, 0, -31653888, -899560158, 0, 9665476, 1739894784, 0, -2412010752, -1552169280, 0, 3759036333, 3482708192, 0, -848586752, 1324585278, 0, 5496695352, -343408640, 0, 7088829504, -4411180500, 0, -18975672002, -14322308864, 0, 5368709120, 16758434292, 0, 22397911276, -8810108928, 0, -11745389568, 25932460536, 0, -49990767974, -26916324416, 0, 34107486208, 28048880640, 0, -99679070720, 2447376384, 0, -9582957888, -37956458316, 0, 221618808324, -48461612672, 0, -21202599936, 210662658, 0, 1974242000, 1083187200, 0, 80498586624, -13965964680, 0, -280937161118, 150071184672, 0, -4472083456, 122483007438, 0, 407451277480, 169835954176, 0, -289485883584, -209272315716, 0, -5106702554, 212154165504, 0, -44753223680, -494072105046, 0, 35165398608, -72078403584, 0, -124205479296, -921542970816, 0, -57865500655, 97452064960, 0, 142586822656, 1146502087404, 0, -36598411952, 34359738368, 0, 136178404224, -126273473484, 0, -684248929600, -329539660160, 0, -361194651648, 2362379355618, 0, -330151762076, -1150954438656, 0, 1719317230848, -616451209080, 0, 454594055580, -1062434315456, 0, -44927952896, 1241644860174, 0, 3284613227320, 948135657472, 0, 598508562432, -3022273537392, 0, -6276678476162, -1489963678976, 0, -32413581312, 4635804546816, 0, 2971731939148, -921149601792, 0, -3091473625728, -3010079549400, 0, 1396749250347, 1955550204288, 0, 9897447424, 1442136439446, 0, -4687664507816, 1781652258816, 0, 4118046945984, -2089340756316, 0, -1456634993858, 3655525551104, 0, -2469899010048, -5879401237884, 0, 2079738934056, -1589421342720, 0, -7382790762240, -5360926540800, 0, 9657195383434, 3687206092864, 0, 3849253204992, 7651253037582, 0, 10523397645064, 3566293188608, 0, -2640056210112, -13392848225472, 0, -8277015194028, 5890363091968, 0, -868952834048, -501531763920, 0, 2357014444636, 1356375324672, 0, 5975131660416, 9047423391432, 0, -1263167902816, -12122236116800, 0, 5628616040448, 19976684952924, 0, -27150012839504, -351650447360, 0, -10869256504896, 17751187281444, 0, 14050892853742, -23501164368384, 0, 7258961412096, -17678991500046, 0, 9072032160384, -4517048832000, 0, 17799750319104, -7595900712816, 0, -68189494309454, -13163664480352, 0, -19431088130048, -9495894068658, 0, 37934840967848, -14666044276736, 0, 40641155276928, 35315180335260, 0, 38189991509280, 10155392540416, 0, 5497558138880, 12171589489146, 0, -68989850935312, 17160636715008, 0, -74233633105536, 4136124761160, 0, 70508036442348, 41978504062976, 0, 22935461146624, -12739993219386, 0, 10524108159424, -9021551542272, 0, -17818529441088, 13749111374388, 0, -26510337094754, -3255838500992, 0, -12027278917632, -71209620695262, 0, 4241175777652, 26554839588864, 0, 114709005260544, -29365415179968, 0, 133386608007959, 47437757159040, 0, -51190546405376, -116701203878322, 0, -61617472645320, -27562316201984, 0, -103018130075328, 81601994613552, 0, -101244707737408, 17572104180736, 0, 34926065876992, -127637027887692, 0, 71818549093756, 28722053775360, 0, -110039455962624, 196685188400856, 0, -52003396515854, 38270094303424, 0, -102071368417280, -11946523120266, 0, -126506718563688, 2506113417216, 0, 376034246799360, 22674895950312, 0, 207406082696698, -93861447731072, 0, -9812948877312, 8479300286208, 0, -160208071989212, -38867413315584, 0, -244021796738304, -37389350194824, 0, 19911663702418, -137945510863392, 0, 226937659723776, -36615907389408, 0, 224146653139856, -49624691376128, 0, -68817687301056, 194261933590716, 0, -67487462954786, -140602510234112, 0, -21711462334464, 363251561711802, 0, -217721966169168, 215718561792, 0, 485059396459392, -76895857609704, 0, 114886557090393, 20076418952128, 0, 2021623808000, 42094180162572, 0, -300990293098112, 1109183692800, 0, -505260971292288, -94146477363648, 0, -68897597272250, 217216289440512, 0, 82430552702976, 11992257895044, 0, 603760470426964, -14301147832320, 0, -189299771904000, -291261503074560, 0, -787863072241152, 1911059152960, 0, -287679652984832, -290635991863266, 0, 847250911133424, 153672893104128, 0, 479061986594112, -65420090945040, 0, 296475538047022, 192009339126784, 0, -4579413458944, -62389597306758, 0, -921033093087616, 125422599616512, 0, -735463007738880, -813662430204120, 0, 230284138019818, 46380631457664, 0, 417230108139520, 434908129724160, 0, 489355280087688, 173912017076224, 0, 165507668304384, -244583054485980, 0, -665462968531058, 153230165461120, 0, -296433544790016, 833618258704566, 0, 998748953489456, -214294851293184, 0, 385823723529984, -776662712427744, 0, 266436226140346, 90822240210944, 0, -5229263415296, 926012687776800, 0, -688532906038664, 217245865476096, 0, -360140573577600, 876143913362844, 0, 833630970319380, -494100953147648, 0, -45827301048320, 9286752127914, 0, -843109523057592, -505929835567104, 0, 291545482618752, -1056233501054592, 0, -1176271486616774, 246017461236160, 0, 36009368174592, -963329590864074, 0, 309586663846624, -73808285270016, 0, 1088696795790528, 1273560132283092, 0, 903764854750592, -598043904325632, 0, -127186410799104, 148214851098960, 0, -138286643635100, -943660002115584, 0, -356200915868160, -114570724899504, 0, -1517603622743116, -909735304051136, 0, -59254272670720, 1768160979605436, 0, 1031439811320136, 99790914519040, 0, -655585333937856, -223973559101508, 0, -950290214860332, -76004129181952, 0, 146008906399744, 507044736587520, 0, -1550653311469028, 1174018137501696, 0, 1178167647182976, -163587438490392, 0, -213307969745268, 661405925366784, 0, -37476773838848, -331672098638346, 0, 2167487924331056, 35184372088832, 0, -134886793330752, 685297169404512, 0, -1008731171404800, 721565651434496, 0, 139446685925376, -1102615649934462, 0, 805214378346436, -129304036847616, 0, -519811493710080, -2158421268751056, 0, 6222707933872733, 656956187542656, 0, -700670903910400, -2632797861230964, 0, -1588780079096616, -337448612003840, 0, -2776312216221120, 939741138468108, 0, -945429584024330, 1467490197968128, 0, -369863323287552, -2134487067366540, 0, 1835237041707724, 2419076460152832, 0, 2726724903110016, -1261849863885864, 0, 759084266227616, 603479489527744, 0, -338075404365824, 744239989638774, 0, -2923447893680680, -1178577345183744, 0, -452492597561664, 5868756335633556, 0, -1454283794533212, 877634068203904, 0, 1760580844388352, 596653588976658, 0, -6168861491342828, -631246038097920, 0, -3811981733188608, -2796940708711368, 0, 398227256086186, -1519538906289568, 0, 465504312913920, -1639700837408256, 0, 4889825752260024, -1087932739026944, 0, 2003569300557120, 5380574823893724, 0, 526448696829920, -2836202494590720, 0, -46006223765504, -5619278160516150, 0, -4659559085280384, 1271444336818176, 0, 1314121486225920, -33221316251544, 0, 3000176947759282, -4103412839999488, 0, 3363443944775680, -407363444688858, 0, 7632726468852784, 970890913251328, 0, -4804279949218944, 8519795415474816, 0, -4369887255332906, 616511425430656, 0, 612872767930368, 311020886981010, 0, -4850573883475484, -3094808102289408, 0, 8304451058281728, -3138019736831424, 0, -1436927258570839, 17243193949504, 0, -6427318759589888, 679650986370060, 0, -6258508418077064, -1525722807271424, 0, 6199726115812416, 9769712345053296, 0, 6943771692294294, 457354351791360, 0, -33191507263488, 2014269666776106, 0, 5752190709726124, 4747063855939584, 0, -12977197700891904, -2087402440384008, 0, -1910773061097552, 270706116310336, 0, 3043053505687552, -1491354288041514, 0, 4214600051019912, -943257192235008, 0, 8384270515322880, 1183940265144228, 0, 9599980611705862, -2631021680821376, 0, -3165668992745472, -6739489033013760, 0, -21719239331019120, -3082321458585600, 0, 3946525574445312, -9130399765327608, 0, -2280391315079798, 4570944422463040, 0, 1430271232355328, 1181190238352862, 0, -592479675242128, 2002483409190912, 0, -12269578448661504, -9585123467729364, 0, 4612649852192724, 8357349552776192, 0, 10134986162176, 727147912688820, 0, 13039307306874556, 1476747713992704, 0, 371637198466176, -9535516340496600, 0, -13201586780586372, 3687148758166720, 0, -4800168456003584, 3957393673643382, 0, 14255494100864264, 1824411913027584, 0, -7021972615614528, 8932072530805824, 0, 4076769513071950, 2489131613274624, 0, 4216880072687616, 1225180355352000, 0, 9632107201816656, -2139484934467584, 0, -4124602122538752, -17873928266994720, 0, -18725645662872352, 122888518175904, 0, -1491594233710592, 9710407200435450, 0, 10373904965722264, 3743258164330496, 0, 15384310273186944, 3403310851494360, 0, -28091169500207594, 2304782755097344, 0, -2529176586289152, 18185337403771440, 0, -3323880050431508, -6020506867593216, 0, 11853543129338880, -15848751636470328, 0, 28267988439648780, -6563310734576192, 0, 2129652668473344, 623546577259776, 0, 1168997397078784, -1627567454945280, 0, -8115837323224704, 16772334126127008, 0, 1436335906378654, -10672153984241792, 0, -7559977740533760, 12272338581984498, 0, 8935172733923024, -5489588777779200, 0, 10727758049230848, 605490842476680, 0, 3472752886821130, -12540263592259584, 0, 9888968072636416, -6560732301676146, 0, -31706902929833648, 3775699039092736, 0, -7723064858499264, -18179452300865016, 0, -3866894657745696, -19509224786265600, 0, 3941635281911808, 18624267940730676, 0, -34649342842566020, 7834883110483968, 0, 3531844835888640, -3614267791909056, 0, 16587766894215332, 11284933301495488, 0, 10775959188545536, 13095475541456070, 0, 29186593279627392, 3651884225134592, 0, -4754086091709504, 9604551238963320, 0, -31829433689875968, -774725833361920, 0, -2703417559154688, 12309030085545666, 0, 11979824248970596, -13714276582883328, 0, -29556701945523456, -18928878885476328, 0, -20912175839628976, 20963276055231808, 0, -8475663558684672, -20645713999257762, 0, 30945672984768664, 6031731806175232, 0, 21862141098141696, 22533827068797516, 0, 18556467515095510, 906715044032256, 0, -889807702065152, -7678681913791062, 0, -28955914101849456, -513568526254080, 0, -17972209451739264, -29290958186820456, 0, -12735821063519917, -24028787868023360, 0, 2413582791307264, -16514662692698622, 0, 12298012978144168, 1388928332464128, 0, 20497179509646912, 10966064909976816, 0, 13496994639884230, 38258851192589312, 0, 6118534820265984, -21879660693552654, 0, 56499286704826324, 9264561552826368, 0, 5730379313172480, 113037415615008, 0, 38897721322637148, 23658349214882368, 0, -1293483932483584, -28623580749756960, 0, -32637748582070392, -12413169783603200, 0, -33740514032010240, 13585615172835456, 0, 31342719832650382, 5450352722865664, 0, 5763702825418752, 650383649011530, 0, -75079457551227716, 20456125391794176, 0, 1856637024710784, 27858940416688440, 0, -78938347538369056, 5314876189257600, 0, -27801613147652096, 49568023796551680, 0, 30067229721594600, -360090058096640, 0, 27318219859869120, -15936942449291568, 0, 100913834272127940, -27134813894549760, 0, -11130118661013504, -37101972206291772, 0, -27623287816859612, 18177215776198656, 0, -61463475471058944, -7910428756588176, 0, 12071221876058832, 12622093315213120, 0, 14388114282231808, 13942408058338560, 0, -1330297371047240, -24065192313225216, 0, 30218961979793472, 3026989390718160, 0, -82526819939472566, -33204587881724672, 0, 7433176485986304, -74263265948585046, 0, 72021066792677148, -18103287296047104, 0, 77358554756383104, 67472505688462992, 0, 8760530288503234, -17913699132577792, 0, 9289760932233216, -37258421908806762, 0, -118174467463390800, -4625458003968000, 0, -29141286300971520, 11670380632597668, 0, -38055984950498356, -11718357906857600, 0, 18226944326762496, 18888904701791442, 0, 33991160648020992, -7778202329923584, 0, -2475184381883904, 58385058693835584, 0, -2901857593475451, -75345506653739392, 0, -69826042172880896, 80463717402884412, 0, -359970388820600, -13479592427880448, 0, 76553610610814592, -618743987731188, 0, 88971721683137408, 50935844602607104, 0, -19897434245169152, 42853523031509754, 0, -10840106762407224, -9723795526305792, 0, 684176122667136, 81972651738466392, 0, 8414066438207244, 25524823685076864, 0, 38845277151076352, -88482173352775968, 0, -41613521063031728, -15018029339377664, 0, -71181086218629120, 10420173091217760, 0, -97202563391848682, 51432981368222848, 0, 41616543003574272]