back to table · edit · history · where entries came from · files · download
21273 bytes, as of the version from 2026-11-01 06:59 (current). Recorded here, not run.
{
"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"
}