# Trace form for 22.15.b.a, downloaded from the LMFDB on 24 April 2024.
[0, 14, 0, 4394, -114688, 69758, 0, 0, 0, 11016572, 0, 20143042, -35995648, 0, 62814720, -1359602, 939524096, 0, 0, 0, -571457536, 0, -2107666944, -7305755542, 0, 19291879452, -6388480512, 34093422830, 0, 0, 0, -33569873942, 0, 2885838062, 167764701696, 0, -90247757824, 73167823966, 71236111872, 0, 0, 0, -222695314944, 0, -165011800064, 2000205168616, 0, -1612717386124, 294876348416, 3424602524990, 0, 0, 0, -3530064068164, 0, -3715439610854, -514578186240, 0, -1374208002048, -818496564070, 11137859584, 0, 0, 0, -7696581394432, 0, -5938395621888, 16485465276922, 0, -11394452631206, -392146020864, -19380879179878, 0, 0, 0, 23016770893992, 0, 60534793808304, 17335823992320, 0, 4681380134912, -10394309810662, -79417078012416, 0, 0, 0, 6375532305408, 0, 17266007605248, -117770741987650, 0, 150621364097712, 59848749400064, 27345122803162, 0, 0, 0, 123398138843566, 0, 118861332531788, -158039076470784, 0, 205545328525824, -322485031319900, 52334432354304, 0, 0, 0, -279293319823360, 0, -76963790501376, 400856393266414, 0, -23675022990658, -79047593144832, 189283604708846, 0, 0, 0, -2504825479336560, 0, 183280052241566, 1240962390930432, 0, 275004407332864, -1361359907357222, 734485125156864, 0, 0, 0, -1361047899096576, 0, -23640785403904, 730252775067888, 0, 5412065074786114, -1374328436293632, 208253429795630, 0, 0, 0, -5331253571839124, 0, 3178546765456464, 739309632094208, 0, 3127113301424640, -5481903544053094, -599390813929472, 0, 0, 0, -583566228455424, 0, 6269413441611264, 8871441109023406, 0, 16010884273314238, -7301973737134080, -16148775616803500, 0, 0, 0, -17061567512378108, 0, 25001315826736906, 5798306452617216, 0, 1824320020021248, -20892202959810898, -1134911066915328, 0, 0, 0, -24784155823011840, 0, 1351776666124288, 11366673028483594, 0, 50465870836709066, -16385680741302272, -10774468561809650, 0, 0, 0, -96244341896313734, 0, 42089141933570544, 13211380827127808, 0, 42285859994055168, -56070516857046454, -2415627046223872, 0, 0, 0, -28054343884718080, 0, 10908083177232384, 54472391896283476, 0, 124441985718104170, -46576596561126912, 62158070693426496, 0, 0, 0, -183055029656061464, 0, 61542500039419920, 72881031512065536, 0, 28918284846399488, -136419261272953334, -30734444045363712, 0, 0, 0, -90126705758413824, 0, 30436881292115968, 119237100142690800, 0, 171970774577594122, 4215424501678080, -90551052529681116, 0, 0, 0, -228019081033283762, 0, 211805652887561520, 11257511952777216, 0, 195059909435916288, -215477283557629084, 6705123852861440, 0, 0, 0, -91241345712128, 0, 12806706299028480, -50246756657956456, 0, 316506412173585806, -228606328214211072, -96109221119966064, 0, 0, 0, -286148179089759574, 0, 251288920328664910, 136208222760660480, 0, 63050394783186944, -184339257777908596, -185267439926006784, 0, 0, 0, 41610669109059072, 0, 48647336934506496, -114730541519029444, 0, 53253912346841038, -135048931548545024, -161166067673949220, 0, 0, 0, -233633204053153488, 0, -76175402943457236, 93343355954839552, 0, -204103957043618304, 747404505387870376, 3212460202917888, 0, 0, 0, 158768162241560576, 0, -47250872567318016, 660632103249157680, 0, -866972754458702434, 51981863397341184, 773784336873560638, 0, 0, 0, 100788966295519070, 0, -495927706105416694, -221033771047595520, 0, -188553387163582464, 1045009695409458528, 363808312740811776, 0, 0, 0, 568922188515028992, 0, -495901030877626368, -1478626229786496932, 0, -778284149238969100, -142015070145085440, 665114610159852286, 0, 0, 0, 2620944946102449422, 0, -1276820984310173376, -38349866065199104, 0, -578187321354290688, 1209489823288901424, 85150185968943104, 0, 0, 0, 650584703077711872, 0, -1261842064424695296, -1770088384551924614, 0, -3407341028829741080, 605581017115430400, -428663481620377538, 0, 0, 0, 3953254880590186702, 0, -1098401632245443698, -891307909465620480, 0, -52228360645902336, 2674723057600033526, -389779122488312832, 0, 0, 0, 3965173868570456064, 0, -141443134302191616, -2377919339604389650, 0, -6272179186961257666, 964777918362828800, -1812009625551261936, 0, 0, 0, 5554641675895430318, 0, -2277829632655639270, -1233890214688456704, 0, -990326544475020288, 5041200206739726538, -490280955085324288, 0, 0, 0, -224011246003503104, 0, -2319362740820414976, -2640407785313287102, 0, -2659954174849355328, 3291577081978983936, 4126258175400085882, 0, 0, 0, 7720156032222319514, 0, -1535743624059231024, -830854830220004352, 0, -1010877553406492672, 476595144051425774, 5065674550936594944, 0, 0, 0, -950471562895398912, 0, -973712036100407296, 1949003448317551996, 0, -7526824401614566032, 1294656114448662528, -3087125429431405012, 0, 0, 0, -3125062928668091870, 0, -2523415678051780294, -1683827331283550208, 0, 2553180628364020224, 3511756906322721982, 2641797376572620800, 0, 0, 0, -428723669846458368, 0, -1353649847882829312, 15542257033644620996, 0, -1742110740800507876, -8333260642452218880, -1338239854161698504, 0, 0, 0, -15551487431691200736, 0, 9396009418307507280, -8393227431408724992, 0, 2287970875992965120, 1941552936500999470, 3262709120091363840, 0, 0, 0, -5723472888522757632, 0, 630487371787272192, 4032577999596723644, 0, 9689688165409676330, -3283815573638463488, -10971702698701237126, 0, 0, 0, -2131745673861255010, 0, 12566142668428513104, 193945788339470336, 0, 15825327309618283008, -29991173831139699504, 647557883042463744, 0, 0, 0, -1550611289774866432, 0, 8551284023922587136, 4503639070760717050, 0, 35852725450071831926, -8336654197952212992, -20554489996221723958, 0, 0, 0, -25009872061064747954, 0, 8676066785999848224, -25919933330580756480, 0, 20519530326725099520, -26411934007235462312, 12824533473918323712, 0, 0, 0, -20886363855399398400, 0, -1501430187962908672, 59001749849635858762, 0, 29601539708378659018, -10165963906502098944, -21767609764027019876, 0, 0, 0, -43887070433159159232, 0, 46645272373872898792, -2252836104870821888, 0, 56130962038969534464, -7458260147458067324, 11152260361070362624, 0, 0, 0, -6016902145285029888, 0, -7639881778495830528, 46007752939328779754, 0, -15460544541576637234, -17884134334922101248, -18909473928946044720, 0, 0, 0, -75771219446029704716, 0, 52742996849849142700, -8714022398050306560, 0, 11149704389399150592, -37988752320358179442, 25025794142621577216, 0, 0, 0, -18670037259444837888, 0, 193665314028781568, 49639004011952111724, 0, -41947851675155318648, -5982230733356138496, 16732562324476897872, 0, 0, 0, -84938213032707926342, 0, -9221302478426674286, -44335637092647845888, 0, 91649930834085809664, 6800513438181018142, 11258498550117433344, 0, 0, 0, -1706012096885800960, 0, -51515385558324824064, 66986969722483856064, 0, -46301038991682287808, -49137970830527867904, -52739817404827214974, 0, 0, 0, 48951775688395110048, 0, 47722543169807441520, -99334383931813822464, 0, 43673629260506103808, 71362758202600069562, 61558226621455515648, 0, 0, 0, 50180150272471392768, 0, -26038655102619353088, 45289290645301390906, 0, -120670064816665072056, -6056424506115751936, -57698120202002919938, 0, 0, 0, 65826437930299368768, 0, 41995276098319799908, -25617312165270650880, 0, 94779029915227909632, 73866802082474369300, 44907753832882946048, 0, 0, 0, 4910209547710234624, 0, -119031975658820765184, 20660479768473635568, 0, -162668584562087360372, -57040865354215475712, -161053075631887626508, 0, 0, 0, 233121605407290367816, 0, 14838789101028868046, -203409509463776847360, 0, 4780574543506833408, 258787121050593781056, 178882039075579960320, 0, 0, 0, 175910019377311437312, 0, -51359034913679474688, 45523018036864176044, 0, -339659209321084915622, -72674845565119741952, -160225267954964042954, 0, 0, 0, 107511874032394634362, 0, 30096382345873167888, -131161163966990237696, 0, 292828654864768438272, 290024497191645811258, 59817768854602383360, 0, 0, 0, 132290769852854272000, 0, -277974267073861097472, -10378743366570245912, 0, -448968176741050740226, -171865763519468702208, 87197205692712857146, 0, 0, 0, 136801695672384251546, 0, -166121214369248189762, -410965479510713524224, 0, 139768361061401460736, 296518160154835953326, 378849454205549399040, 0, 0, 0, 173809732544798039040, 0, -204810779252628733952, 241211397414668830750, 0, -713575582262620837776, -47499726459840233472, -130187377884455595888, 0, 0, 0, 100531436007302022394, 0, 124688753679464312928, -14944829604014063616, 0, 328939190336541943296, 374606193469316784576, 171148926646770876416, 0, 0, 0, 9297191460170366976, 0, -393528360553867958784, 155000782438641164516, 0, -749511060347397897334, -28565690231836351488, -367561989058621537442, 0, 0, 0, 164532119675430612538, 0, 190807238122478980992, -551624137290631875072, 0, 203031804502112993280, 283977120181398839664, 542571606877693232640, 0, 0, 0, 143095277097495943680, 0, -11073754448890167296, 569411334462527472836, 0, -577656985852338753456, -93115785449337602048, -404623029450412202450, 0, 0, 0, -172497000857455022438, 0, 442869126799552446384, -413416413894320668672, 0, 1001463807123989331456, 423403726239239826506, 134231496632748212224, 0, 0, 0, 88264446458344652800, 0, -605590252681061182464, 817013677659145189690, 0, -599093669520851664058, -750692191375851072000, -526808344601690790432, 0, 0, 0, -126935479499183794274, 0, 868539971536356121886, -1052030028105983053824, 0, 788433648814602108928, 12979269961039606032, 499504536837926261760, 0, 0, 0, 144356183307237665280, 0, -344794250719809896448, 451054802149630666800, 0, -168097947972051401990, -108227631735831003136, -1030479325828763027558, 0, 0, 0, -502911690661015841348, 0, 695982548374973183326, -346405765071299936256, 0, 2061794126857481707008, -313776427559511771552, 459329674092924551168, 0, 0, 0, 19788816762665959424, 0, -585093272312652461568, 1596433210316049698116, 0, -350006292443374039924, -1242393812000751636480, -777095944905837726456, 0, 0, 0, -1136044446026502725616, 0, 832816276925936101534, -1565943500480175975936, 0, 229821185103610511360, 61438837338234785242, 1241386016926642920960, 0, 0, 0, -354821911235462178816, 0, -89359017387887689728, 2016437502236931979488, 0, -934790996278356450724, -446237834414354235392, -619384332203864937922, 0, 0, 0, -1671015884598735025592, 0, 1338656630655164112816, -1019428747002709360640, 0, 2416006911082083816960, -509261591361457376204, 381555479028751663104, 0, 0, 0, -509198915120549855232, 0, -739909465041227159040, 2037541200934677486580, 0, -98449056970980649440, -1173636880241583553536, -1404086456210231889792, 0, 0, 0, -1828455072281278803542, 0, 1320854068094208312744, -2052726688124943214080, 0, 1499586802942455513088, 132804089370821839054, 2734155648362932353024, 0, 0, 0, -316970077949126017536, 0, -504156160322927984640, 2881439582946302964022, 0, -1310492211783002784406, -597041410146840870912, -2348639783982792155362, 0, 0, 0, -1876951062371004801154, 0, 1036107775518366169248, -236898589461704605696, 0, 3865693271604989104128, 539180100557119042126, 1117546588348033712128, 0, 0, 0, 251776565619619528704, 0, -1348291958176157738496, 2340892952140893900490, 0, -74288798382299753808, -1433764735489099881984, 498183768073627403828, 0, 0, 0, -347548080980685922630, 0, 1694019883484417707200, -3852228852045086877696, 0, 738317973572926046208, 512366833815694406152, 1895721582955128798720, 0, 0, 0, 426928655923630811136, 0, -249338931545014009856, 1644690723350703400238, 0, -3166554574617965516876, -976790324368923033600, -3659735118162046654330, 0, 0, 0, 58206912690144016752, 0, 1674936638794774788134, -1408784585339651047424, 0, 4083861879455260955136, 533621951243445342062, -34532757517746831360, 0, 0, 0, 741794222323147702272, 0, -1865717609600638551552, 2884623184205646505056, 0, -5110629078450428701238, -378698622856130178048, -3731025982607537872796, 0, 0, 0, 1232631331844179487828, 0, 1877050643463612195648, -4190948745548956114944, 0, 1867932311824660578304, 3034649533938347613552, 3574619382225709776384, 0, 0, 0, 1124320640863782097920, 0, -1735111908454903971840, 1551779016067635431304, 0, -5729611632579731033096, -92221537917150953472, -2929295486764644804052, 0, 0, 0, 3617214720655040326060, 0, 1158712906865002706832, -1597930778099026231296, 0, 3191529623916560325120, 1832453845273123483150, 1765189906904097456128, 0, 0, 0, -54928374602640916480, 0, -3929378865528488672256, 392617313449270965962, 0, -3504002157852179187024, -1551820705935680053248, -664113931030062345698, 0, 0, 0, 2877789722555368780238, 0, -2273574528107428313664, -4106204812457250212352, 0, 747449104073752576, 4965665694527639768076, 3064348479759054690816, 0, 0, 0, 1514380540918816590336, 0, -104912538001641308160, 1460379938065504510896, 0, -5620623388680400284550, 411621430541979287552, 1614850630223483744880, 0, 0, 0, 5697650052327371625230, 0, -1198591794295591083206, -2592820528526014922752, 0, 2641833342846409574400, -939462616702269993046, 1872743040730817101824, 0, 0, 0, 787326739414761996288, 0, -5286067537468027994112, 1254698813498239804564, 0, -8749740335401351142678, -592898268227052910080, 1852901056629883910596, 0, 0, 0, -749766574046335684766, 0]