{ "table": "T643", "stored_readback": true, "entries": 400, "exact_hecke_comparisons": 400, "direct_CM_ball_comparisons": 400, "precision_bits": 1024, "max_real_radius_upper_diagnostic": 6.993221651852445e-229, "max_imag_radius_upper_diagnostic": 4.22639508277918e-277, "rigorous_absolute_radius_bound": "< 1e-110 in each component", "source_printed_trace_controls": 16, "explicit_source_polynomials": 3, "class_polynomials_vs_T129": 100, "rational_CM_controls_T83": 13, "faber_polynomials_vs_T635": 3, "g_product_coefficients_checked_through": 200, "known_and_wrong_answer_controls": "passed", "measure": { "entries": 400, "longest": 78, "longest_at": [ 4, 200 ], "block_kb": 28.80078125 }, "sage_version": "10.9", "skill_manifest": "agents/runs/20261101T063157Z-build-skills/manifest.json", "skill_sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278", "values": { "1,3": "-248", "1,4": "492", "1,7": "-4119", "1,8": "7256", "1,11": "-33512", "1,12": "53008", "1,15": "-192513", "1,16": "287244", "1,19": "-885480", "1,20": "1262512", "1,23": "-3493982", "1,24": "4833456", "1,27": "-12288992", "1,28": "16576512", "1,31": "-39493539", "1,32": "52255768", "1,35": "-117966288", "1,36": "153541020", "1,39": "-331534572", "1,40": "425691312", "1,43": "-884736744", "1,44": "1122626864", "1,47": "-2257837845", "1,48": "2835861520", "1,51": "-5541103056", "1,52": "6896878512", "1,55": "-13136687601", "1,56": "16220381536", "1,59": "-30197680312", "1,60": "37017882624", "1,63": "-67515206970", "1,64": "82226601996", "1,67": "-147197952744", "1,68": "178211037024", "1,71": "-313645814923", "1,72": "377674773768", "1,75": "-654403831496", "1,76": "784073551152", "1,79": "-1339190286960", "1,80": "1597178431536", "1,83": "-2691907586232", "1,84": "3196800943968", "1,87": "-5321761716339", "1,88": "6294842638512", "1,91": "-10359073015248", "1,92": "12207820353536", "1,95": "-19874477925452", "1,96": "23340149127216", "1,99": "-37616060991672", "1,100": "44031499225500", "1,103": "-70292286283845", "1,104": "82028232170000", "1,107": "-129783279618232", "1,108": "151013216468032", "1,111": "-236917342632747", "1,112": "274917340545024", "1,115": "-427864611227088", "1,116": "495202728823568", "1,119": "-764872171224401", "1,120": "883067971101024", "1,123": "-1354146840577488", "1,124": "1559739496882176", "1,127": "-2375421230602470", "1,128": "2729960470560792", "1,131": "-4130485792116360", "1,132": "4736863498461024", "1,135": "-7122306993484602", "1,136": "8151279336427872", "1,139": "-12183160834033848", "1,140": "13916137888471648", "1,143": "-20680840776421065", "1,144": "23578504122395196", "1,147": "-34848505552897736", "1,148": "39660183801070512", "1,151": "-58309232586868158", "1,152": "66246265919275536", "1,155": "-96905542950914976", "1,156": "109914552555417600", "1,159": "-160004137022349585", "1,160": "181195520250329136", "1,163": "-262537412640768744", "1,164": "296853791160434368", "1,167": "-428181809075076684", "1,168": "483435712076829024", "1,171": "-694282057877425800", "1,172": "782759105298591024", "1,175": "-1119444674984000988", "1,176": "1260369121174843440", "1,179": "-1795194552944496264", "1,180": "2018504138610379536", "1,183": "-2863790268422951577", "1,184": "3215890895076909408", "1,187": "-4545336381788161488", "1,188": "5097838273857986560", "1,191": "-7178874489555779742", "1,192": "8041801040214294544", "1,195": "-11284411506057218976", "1,196": "12626092121367163212", "1,199": "-17656190279770945356", "1,200": "19733105507276113512", "2,3": "53256", "2,4": "287244", "2,7": "16572393", "2,8": "52255768", "2,11": "1122660376", "2,12": "2835861024", "2,15": "37017690111", "2,16": "82226602980", "2,19": "784074436632", "2,20": "1597178431536", "2,23": "12207816859554", "2,24": "23340149127216", "2,27": "151013228757024", "2,28": "274917340536786", "2,31": "1559739457388637", "2,32": "2729960470575304", "2,35": "13916138006437936", "2,36": "23578504122395196", "2,39": "109914552223883028", "2,40": "181195520250329136", "2,43": "782759106183327768", "2,44": "1260369121174776416", "2,47": "5097838271600148715", "2,48": "8041801040214400560", "2,51": "30703802307926876208", "2,52": "47568078798946879536", "2,55": "172572544380895698447", "2,56": "263096730286803808352", "2,59": "911900087980611031112", "2,60": "1370337635621865857022", "2,63": "4558302700761518203590", "2,64": "6761166974864089334820", "2,67": "21667237292024856735768", "2,68": "31759326200087893119072", "2,71": "98373700602463231564661", "2,72": "142637765058846237791304", "2,75": "428244362959801779859512", "2,76": "614772722256620450769504", "2,79": "1793430629450583469049232", "2,80": "2550974942440025610782608", "2,83": "7246366527782385877471304", "2,84": "10219547616983661465145440", "2,87": "28321147554727055193806733", "2,88": "39625012256724286375999536", "2,91": "107310393727516367835684912", "2,92": "149030963654438410208567108", "2,95": "394994873978607843661982644", "2,96": "544762334416909123072164240", "2,99": "1414968042064378971795443784", "2,100": "1938773508354916749344893500", "2,103": "4941005510420693664637046715", "2,104": "6728629394455320627506653328", "2,107": "16843699681607004946629087304", "2,108": "22804995243537746841810516096", "2,111": "56129827213179219416955221205", "2,112": "75579535015741863005891715072", "2,115": "183068125539610033421078028336", "2,116": "245225764751687872560599029904", "2,119": "585029438443768944348124488367", "2,120": "779808988929607359307993215072", "2,123": "1833713665546358542159577407536", "2,124": "2432787421339921972221564469434", "2,127": "5642626022844042845866862520090", "2,128": "7452683886314847768927597410376", "2,131": "17060912880192883509751561072760", "2,132": "22437876453496777849029678207072", "2,135": "50727256906489034901226359377094", "2,136": "66443353348592341373088891629664", "2,139": "148429407908006153298687802429512", "2,140": "193658897020870437085095187633344", "2,143": "427697175231708533730554257056055", "2,144": "555945849395316042744888696869748", "2,147": "1214418339247561600451288629620792", "2,148": "1572930194931239891587788997183536", "2,151": "3399966604866752879616417618774594", "2,152": "4388567714199717487921623472318608", "2,155": "9390684254700150350482257609343072", "2,156": "12081208936232946945889080583609896", "2,159": "25601323864103588692408692139216623", "2,160": "32831816404527409202224620799889808", "2,163": "68925893036109279891085639286943768", "2,164": "88122173650198652217546971463295168", "2,167": "183339661623419938094589054407872948", "2,168": "233710087038209530559911125610623072", "2,171": "482027575889279639112758753068068984", "2,172": "612711818312922196461744186904767072", "2,175": "1253156380350127683226473321338688036", "2,176": "1588530318783830552745824216157837968", "2,179": "3222723482925979661402106121789649016", "2,180": "4074358963317658039678003475547838608", "2,183": "8201294701505533973153549388741852519", "2,184": "10341954237504564980306554122325880928", "2,187": "20660082823607096260557693839278399536", "2,188": "25987955089449122833145753831523369430", "2,191": "51536238936823453217821189443340263266", "2,192": "64670563924749466402189515757096771632", "2,195": "127337943037985804323078099045319295072", "2,196": "159418202346978959358843609900592231020", "2,199": "311741055195475140856599676483007084724", "2,200": "389395452786080668273863849703842874536", "3,3": "-12288992", "3,4": "153540528", "3,7": "-67515202851", "3,8": "377674781024", "3,11": "-37616061025184", "3,12": "151013216468032", "3,15": "-7122306993484602", "3,16": "23578504122107952", "3,19": "-694282057876540320", "3,20": "2018504138611642048", "3,23": "-42653766018401010803", "3,24": "112760061542461457088", "3,27": "-1855762905734676483968", "3,28": "4558302700829016834048", "3,31": "-61599632504312736071370", "3,32": "142637765058846290047072", "3,35": "-1641640623633326009554752", "3,36": "3620548496603402162501232", "3,39": "-36440371547969824547025297", "3,40": "77129618436806598479110848", "3,43": "-692535742940813486100482976", "3,44": "1414968042064341356857078976", "3,47": "-11510099572680400882318117755", "3,48": "22804995243537746841835094080", "3,51": "-170132875256900610750750332736", "3,52": "328075211021936819361135546048", "3,55": "-2267031494569903497104654506029", "3,56": "4267496525087796057439019926912", "3,59": "-27537270228600020374894573757152", "3,60": "50727256906489042023533352861696", "3,63": "-307754734372799631847663406891880", "3,64": "555945849395316042744806163185712", "3,67": "-3189372971004509360884026494978976", "3,68": "5659876044371959794523797926772096", "3,71": "-30854500023395538445049299248127483", "3,72": "53870596955882124816323657991255072", "3,75": "-280244748103684391377173184181213984", "3,76": "482027575889279638418475911117092032", "3,79": "-2401744882491158577542409272933526861", "3,80": "4074358963317658039678005072726270144", "3,83": "-19506549129659843880518878114000904928", "3,84": "32669877597364144386883724991427747200", "3,87": "-150718398258800428819705891125090707481", "3,88": "249433117287892229270918840407682106048", "3,91": "-1111636203878351887090798016351101065024", "3,92": "1819343755551914380077922245112183046144", "3,95": "-7850316915175623024761194263416284544183", "3,96": "12714831476663838926693078754488894152896", "3,99": "-53225524125202190209686089336143045173984", "3,100": "85367117095565698138593773880519711078000", "3,103": "-347314573847849226007185357287389279759380", "3,104": "551937513515712907151397536156878582294592", "3,107": "-2186030586436385809493739169039702847496928", "3,108": "3443855962300764146091361166051653878608128", "3,111": "-13298129502585439839811795720082054155070622", "3,112": "20778123513000618808248661414923040380420096", "3,115": "-78328372361885062472335721723782252181919552", "3,116": "121436473359175550209319949520849049961425984", "3,119": "-447472736862487661105002939316225171959276823", "3,120": "688624318451493947752152998688087732127860096", "3,123": "-2483117566520491605893690385975103573008389952", "3,124": "3794514724666382084971855333409228877781106688", "3,127": "-13403613651069663343559495232928533844355021130", "3,128": "20345532020874860576659490067169795165905027168", "3,131": "-70469858254893225668577982811632714186928863776", "3,132": "106285159496080069168877559558320772223456116096", "3,135": "-361295096614869416493060965726527059795184418208", "3,136": "541598327194488943489692354862570290506985489792", "3,139": "-1808339349044079834158438821202582471803831821024", "3,140": "2694983937163214764302142867468771110186548881792", "3,143": "-8845137181616402314715714755880223922468893642135", "3,144": "13108371416270932659697141110857974552483257034992", "3,147": "-42320664238412524773562978234934669952119918598944", "3,148": "62382700950473563258623202773871826575469575098048", "3,151": "-198249443550680244770035709319175955839708366808724", "3,152": "290726222671856851119549927938644474411293410478144", "3,155": "-910009356386615602117442517710776307905194737675904", "3,156": "1327900678554088682953116332412720834582126362935296", "3,159": "-4096317731492520096016415439811668685906607955841677", "3,160": "5948978040206021593779486217236430755994817526423744", "3,163": "-18095625621654510801615355531263454706630064771074976", "3,164": "26159401381431493061736204079065565686534042724268800", "3,167": "-78502707989259922611893726980188489765909097331522736", "3,168": "112983802184173271655204118017282676056903917559924096", "3,171": "-334663097341647874051859213391271941091304299897862688", "3,172": "479605755250584496245539339561854854497290981110396096", "3,175": "-1402839236905227347234316878250941990534074423445902827", "3,176": "2002134560063502136161357728744200500035240250900332736", "3,179": "-5785415642198974324645230801522163418853369695514442272", "3,180": "8224110435424434366803684553981734952828450824106798144", "3,183": "-23486787954628139734568657412421077273794845546849359558", "3,184": "33258596451146947903314000551583409688235504850974606720", "3,187": "-93907026108898024012187950088014490666792047895666693952", "3,188": "132482392173017546888889981230295772707592995608995594240", "3,191": "-369972190991316171493012108336393135684217486977104105831", "3,192": "520067808057772369547996441204114697978514742735332442176", "3,195": "-1436933749575219417720275654880570961758589979888959499904", "3,196": "2012828909222170604358045758611423088454060623948932453680", "3,199": "-5504159388547860585267547824765523493835042757472450312520", "3,200": "7683981552152563465496377012872710791560940764127713606048", "4,3": "2835808264", "4,4": "82226601996", "4,7": "274917357117417", "4,8": "2729960470560792", "4,11": "1260369120052183064", "4,12": "8041801040214401056", "4,15": "1370337635658883932159", "4,16": "6761166974864089334820", "4,19": "614772722255836378103832", "4,20": "2550974942440025608257584", "4,23": "149030963654450618032414626", "4,24": "544762334416909123062497328", "4,27": "22804995243537595828606337056", "4,28": "75579535015741863005891706834", "4,31": "2432787421339923531961100845149", "4,32": "7452683886314847768927597410376", "4,35": "193658897020870423168957417127984", "4,36": "555945849395316042744888389787708", "4,39": "12081208936232947055803633470562068", "4,40": "32831816404527409202224619948507184", "4,43": "612711818312922195678985082490912792", "4,44": "1588530318783830552745824216157904992", "4,47": "25987955089449122838243592107639193835", "4,48": "64670563924749466402189515757096770640", "4,51": "942723476164064268709859901979876786224", "4,52": "2262722119966669232209275310103711809584", "4,55": "29781283083164337628878028678533691350543", "4,56": "69219889479075578543772046562204864282720", "4,59": "831561770459063808477825430745905333469256", "4,60": "1877825235500241645560786116435358176133118", "4,63": "20778123513000618808253219717898719239168710", "4,64": "45713378860880921566308709979981326911850452", "4,67": "469469171868912646848380230233174834270240792", "4,68": "1008654800672271552479974244500529365557379168", "4,71": "9677384970346501861658998809056137409908136821", "4,72": "20345532020874860576659490067167065205434466376", "4,75": "183393234406846382045882997606216500976928489528", "4,76": "377945500029851737282419338394497175769673490528", "4,79": "3216393422661123009197327274939849186892151506320", "4,80": "6507473156948743944064472907651852846135950020752", "4,83": "52509827854964954201492052588456320079963189346376", "4,84": "104439153495731089626833752476167040934626917548128", "4,87": "802087398817225114093744694678792295450607114196877", "4,88": "1570141596345051056353618324443567139362244849729584", "4,91": "11515520601954584222094569162069996452608338857426992", "4,92": "22210228127766903896039652774715689517477003035197252", "4,95": "156020950469407693652893762864913591684848730465446836", "4,96": "296766000999334899512245003518924329204828318590857360", "4,99": "2002134560063502136161357727329232456710492157930045512", "4,100": "3758842716698661712241372736333114614609259757942333500", "4,103": "24413535454009048788460057291259688989216599911279611835", "4,104": "45274453527927070902455008065022973068954173045807218832", "4,107": "283710218964167919899525493980149096404511790021832802376", "4,108": "520067808057772369547996441204114697978515044761789956224", "4,111": "3150557502981407649271156894998192217223953875049681843413", "4,112": "5712266113195708816033763055553175361044476046967161077668", "4,115": "33513938588586419390346910176964369234813160949757799694384", "4,116": "60135675698049919371573499779726436833043382864353209385104", "4,119": "342259443845833426325336432687708259118674078438760971444911", "4,120": "608102059215415115799813075304323905391859941680921829507168", "4,123": "3362505807211462474748610191779538527065518615592303829057584", "4,124": "5918454637429739448370745474323787039035489078551234718826682", "4,127": "31839228433676834350709599713147505184133370791863370224445210", "4,128": "55542497109336942093384193040664859071992364563045887123845544", "4,131": "291074748305531431912635745843492670500045267445120182302343288", "4,132": "503458299742384928639892073966098072391873339807922191507587168", "4,135": "2573254593256940936153889515517642498362707548190876514760281286", "4,136": "4414719204205896020217266428488134485408093172155043276149555296", "4,139": "22031289131921279597425822700186533099501538268999175810186149960", "4,140": "37503768395340095262105058044267341031498611415447508090260537536", "4,143": "182924873701182831034202552806474764613271605674288985266263466295", "4,144": "309075787459879400953695044146614662471915253261832908175081460916", "4,147": "1474811902700805616301498789853623007113327125393098046635435425848", "4,148": "2474109398126428198773245665479240634658471179307049362016555073584", "4,151": "11559772914209155298982339281080340484541200483632376923962552601154", "4,152": "19259526582116132653416922213941852680086441653293196364416602308752", "4,155": "88184950771473318259906808485479401906260847618002075836972744835168", "4,156": "145955609360914810888825516797002208758126095544200489613298098421288", "4,159": "655427783594719922207272976983690690814638318071406421486265069391599", "4,160": "1077928168420595083512759740558165622287941420899911951037460371959952", "4,163": "4750778730825177725463920948909726618214491718039471366318747406368792", "4,164": "7765517488835765600602578720592578936048517572816839961798008126177472", "4,167": "33613431524190121924469345816865506863848492816460452218011156914508212", "4,168": "54620404783407474198264051697761724012384657819677125712598182387843168", "4,171": "232350583917695241667614027273789760111768110718781850634592994183413880", "4,172": "375415772300327378911965689124331433541227940125923648255140558908547168", "4,175": "1570400913612233885833694397211165878643976109178934249246467051233858084", "4,176": "2523428573695458315033004745793042719436941564513788327737103176459670768", "4,179": "10385946647402557122167400739666489734440108994627013260598186409298821240", "4,180": "16600400961966941114914838933284983052419529248625262886119980840612036752", "4,183": "67261234780942745685602045060984193128759012508682491234787591514425572711", "4,184": "106956017450638627974583770845250773401728174438018397984793754350673789024", "4,187": "426839022278304967378679651648336145269240587591197239209803479432536129584", "4,188": "675373809731224565690709663492004405758300537340900328858382666168402739670", "4,191": "2655983923753357777149068967696080626544605641465794244310330445814376619874", "4,192": "4182281838345107106479800308537355245077631569553845329810484284083588381808", "4,195": "16214951737145317372845465170353550477186337906082375410713065931040833667168", "4,196": "25414163239542327782004582598407782039831237800657475432470511091938079891564", "4,199": "97182485494388278334047141966022437195768447404078099245667128708970662590644", "4,200": "151628818650476778864481406700333223368298657340988337399166388168491887804584" }, "generator_verify": "400/400 matched; 0 differing, 0 missing, 0 extra", "generator_sha256": "deb4b0f019f65cae316215bbd5ed7270afaf4c7671ff46e446dc43d107dc66a7", "checker_sha256": "fef70ee3a96680346b72cd036aea0bad510a7737fff40b3395e1f2d1a81c1cf8", "run_id": "20261101T063157Z", "local_python": "3.12.3 (main, Aug 31 2026, 10:18:26) [GCC 13.3.0]", "pdf_reader_version": "see dependency-versions.json" }