back to table · edit · history · where entries came from · files · download
22601 bytes, as of the version from 2026-10-30 05:29 (current). Recorded here, not run.
{
"table": "T618",
"skill_manifest": "agents/runs/20261030T044705Z-build-skills/manifest.json",
"skill_sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199",
"run_id": "20261030T044705Z",
"values": {
"1/2": {
"n": "1/2",
"coefficient_150": "2.523598217854275902292409216845526433589728626251636294335259942272127183364035855587278723960197685111317989997508801458291310767616409572729817803250514",
"coefficient_210": "2.523598217854275902292409216845526433589728626251636294335259942272127183364035855587278723960197685111317989997508801458291310767616409572729817803250514486043321537774601717447030513032195937539879415899376224543",
"radius_210": "2.752698054064987853153265640401943056124867186763253690388959098437368899789337892734061373570562117906663278085355250633438422985372424361010432475335960006581458138670296093278016402247799580647582418998767363646",
"mass_210": "3.788651184884005725858991073566130020744363998379329944557197732582689807929270932828329973951954330703759258658218099814889770350139909685235079584521079101363031174780317882327178553140092262215665319780368625827",
"relative_difference": "1.816401078546670957037641080967160079981480419868468726878386034351722030696137836075472854293985561079985775573736778789327040535965597545606764278600104246258083970685581306535777797614956848316555830997823524952e-154",
"scale_errors": [
"1.839174238964890782934765253888703157830765843568518289887066971722658586284719097250130036804404590680879786442458276053314267010264115115527380556017758515231770268440461085199336426504736985913894767827774315639e-215",
"3.678348477929781565869530507777406315661531687137036579774133943445317172569438194500260073608809181361759572884916552106628534020528230231054761112035517030463540536880922170398672853009473971827789535655548631279e-215"
],
"runs": [
{
"steps": 56,
"last_term_max": "4.238776321604873381862294604123463274892758362235400936160115914781393748944001068016924798903886363928687948568540883017019256926488521714714850363935159e-184",
"working": 150,
"order": 160,
"divisor": 12,
"start": "1/2"
},
{
"steps": 59,
"last_term_max": "3.041180950789340727596471715407007236533400101311105182771391427329910701077871129588016525785707644113406380637253656914659785081349903084431370802860110112293256902560268169151711364279944462448591657622023470764e-260",
"working": 210,
"order": 210,
"divisor": 18,
"start": "2/3"
}
],
"seconds": 7.091560687404126
},
"1": {
"n": "1",
"coefficient_150": "0.6366197723675813430755350534900574481378385829618257949906693762355871905369061403604552110650123438242913709070318321475716473844583146115118696429267993",
"coefficient_210": "0.6366197723675813430755350534900574481378385829618257949906693762355871905369061403604552110650123438242913709070318321475716473844583146115118696429267993569169598677496363102923109855877012307548695715848695906468",
"radius_210": "3.141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128481117450284102701938521105559644622948954930381964428810975666",
"mass_210": "3.141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128481117450284102701938521105559644622948954930381964428810975666",
"relative_difference": "1.904281662371709869800567051728174127553988407803602207039648780463339027726885149694388566264553514236415709662559548504518737444362202106940996026787122284788368336301110669158517397965061958948606068638063353742e-155",
"scale_errors": [
"0.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"runs": [
{
"steps": 57,
"last_term_max": "7.762221926850198541667229286861465785463974207073777398118870522800373109490506226531859763374062027763151059524485373286469149263182452750337843141939593e-184",
"working": 150,
"order": 160,
"divisor": 12,
"start": "1/2"
},
{
"steps": 61,
"last_term_max": "9.654105660429293116861669249526730557682198776627244598262638463096582006270909874897173624163165684227756518989064013513918013410276789100908459971705226177910354608513170336012496728967073508807175058072523302695e-260",
"working": 210,
"order": 210,
"divisor": 18,
"start": "2/3"
}
],
"seconds": 7.121735720895231
},
"3/2": {
"n": "3/2",
"coefficient_150": "0.4242166795999143054300800493765433608497259148955332929829457813948871126514900180650397787129495069837673728344247995003177075495606757170817547133545204",
"coefficient_210": "0.4242166795999143054300800493765433608497259148955332929829457813948871126514900180650397787129495069837673728344247995003177075495606757170817547133545203539080533595819453263967197636406115001169985032559333616182",
"radius_210": "3.653753736219122424609094280459265817024670389249320696565999634402741397141273940694348477626987161015049689600230945188212521159583607769815019522407662928159389070579485853222801584906527086210448114375525801154",
"mass_210": "2.714055120108645719024533278803231148479459311782922475514579402693523737124833330828170776250164148165303361178296163170036647200543492008069394395940892593657865161499748287713442755695385889086601866665326891700",
"relative_difference": "1.720773409761021087320787789088843692948370980094622325675056192475643979206991434911249342279640709902147822853206813283112202964425580350202412604903765553781810223992161359521350966967317185392064971643221443027e-155",
"scale_errors": [
"4.102859212318643339030356177737298542425969239875577321780095580646927684336291160307608124980967112948147237043372565471283812069945899112407842522043930391294291923107452092998385084866984961763982916678565911445e-215",
"6.838098687197738898383926962895497570709948733125962202966825967744879473893818600512680208301611854913578728405620942452139686783243165187346404203406550652157153205179086821663975141444974936273304861130943185742e-215"
],
"runs": [
{
"steps": 58,
"last_term_max": "2.529979406667462331514731854894216193717517527967928508986412896666353923745252614457785931447535849184294828806919442341542233850905425656642582056076834e-184",
"working": 150,
"order": 160,
"divisor": 12,
"start": "1/2"
},
{
"steps": 62,
"last_term_max": "1.648086153666143930275255556880423296350936481127605884089425622976301413876347198784698740691904473055389860965624592999672537840119468261374626658430857673586138784308581167156051797471164722613797166685813050993e-259",
"working": 210,
"order": 210,
"divisor": 18,
"start": "2/3"
}
],
"seconds": 7.093185078818351
},
"2": {
"n": "2",
"coefficient_150": "0.3647479420921269201344337345944851502857083143700611518486431326202962906625898698660025640552715745977988215358640929586530965004658207532450633004111492",
"coefficient_210": "0.3647479420921269201344337345944851502857083143700611518486431326202962906625898698660025640552715745977988215358640929586530965004658207532450633004111492039860162745691477313663423347815940368590459675604299656685",
"radius_210": "4.352874595946124676973570061526142628112365363213008835302151694123582204698220445791064674344506139556111630862891372136086968986706146146645197945478618430812491391614397009037025958004946400731845598346278518073",
"mass_210": "2.411046012096893783648442744671402891869445416349857344362294844576927205112899840572090568314543516112525722537474924963035264901692479629168539669333121551026661212654490423437994794452881469445744600564517089291",
"relative_difference": "6.393571051320875008471049377597457043226556607561086184061020755835138784561470417245283645621422741139783146587390273535651953693464374601007315835345490273842990263926733723618864688824060842427168393942639940902e-155",
"scale_errors": [
"1.590597333172546683637200202069737754348603893133739516281983550701051380949331305905044093952157517114703354100432461374894296430977520032972949623778267677350823491654443032863086598483864050371214100605501083138e-215",
"1.590597333172546683637200202069737754348603893133739516281983550701051380949331305905044093952157517114703354100432461374894296430977520032972949623778267677350823491654443032863086598483864050371214100605501083138e-215"
],
"runs": [
{
"steps": 59,
"last_term_max": "2.268279685581632595023593604861085529015109765866950140262593311804075816345113684480850053631617874530245886140726795405715094120156526336881780885601804e-184",
"working": 150,
"order": 160,
"divisor": 12,
"start": "1/2"
},
{
"steps": 63,
"last_term_max": "8.462808711756609422712220855583946774729241259643968154032111783467344149577777378726712154989057378747017012720847600009672010173945196184216615470577043831509972783226442180586852239973583544490323546950651157993e-260",
"working": 210,
"order": 210,
"divisor": 18,
"start": "2/3"
}
],
"seconds": 7.452546851243824
},
"5/2": {
"n": "5/2",
"coefficient_150": "0.3515009408214026965177580190482487628244585207789958095103054761944702191995540492366057830279611529460834653918111541799328393031793360598915875367509326",
"coefficient_210": "0.3515009408214026965177580190482487628244585207789958095103054761944702191995540492366057830279611529460834653918111541799328393031793360598915875367509326179784295420534934014407943704786293491723641159574708650164",
"radius_210": "5.355275459010779459909360002973632473230913893154022969235420929234514705181751415720738708551783531535539017347186993894919806229576426346926753729851395003771487564846283416507868487250564061328098029399488612114",
"mass_210": "2.187199565517078953219520989736020888783031739987630276411128754986014658996631670101010148848846475092724379007362942191127379634442896028804069478281006648081057248102740845640976190427991798645189372197929594416",
"relative_difference": "3.726834186698582053979879494838465638977215689796490665199044383922561446449420910878735990962692335139353481636435756308802986240576838769338565951771469688040829698920519904112557952660757794726552286059658741944e-155",
"scale_errors": [
"0.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"3.301084216822588461184095680294563793816714520861509925790145283438956986009412766912381912523679771917489756373729322295467597778655594761518655649782723084430666137836600690090430061282078262110062400412888087303e-215"
],
"runs": [
{
"steps": 60,
"last_term_max": "2.154324345855998113759695584422394864768698221419599704621524151134799921462720315515216590172740441915938967374784436067400894754851094912027936336009515e-184",
"working": 150,
"order": 160,
"divisor": 12,
"start": "1/2"
},
{
"steps": 64,
"last_term_max": "4.638392720582081555954043438545755535791897279453194879004871437260699082294266535463623665461808147206563771841922013168826341698115925864851650066976036425159841388437760350255400808201030290232218447000115874022e-260",
"working": 210,
"order": 210,
"divisor": 18,
"start": "2/3"
}
],
"seconds": 7.860819241963327
},
"3": {
"n": "3",
"coefficient_150": "0.3639390619287273761082466923988154714800583253638038147513513898696629626407076169217773200331871786709166289030019444262281168675615226066036451064129548",
"coefficient_210": "0.3639390619287273761082466923988154714800583253638038147513513898696629626407076169217773200331871786709166289030019444262281168675615226066036451064129548512151969899914796645129499997209799476471780728723711930740",
"radius_210": "6.896848619376960375454528187123121276972189114184943529563510118684484825312554196016663314890901153261162819220240087531163623348164903044206589300163596781973076562113546839743105249241502419828659267888037580207",
"mass_210": "2.018235950966228402812813170057969585302183202862202577717886005970707684353269150167163413499249995011531665500945678338233340017936870154420960190940297481079865518518555195515938214510863130635256093575717729331",
"relative_difference": "1.108472437925178706495242815375163974913649487301166745153535688915394921827673200819480617513522210249904023342378483359313474914414862921856237852286086227905037209476654408970882825198539197241718248352408797976e-154",
"scale_errors": [
"1.594132547622847851201941317811876139211598466450994967922035420997243389636815589646212212163708495825306932500585885543912796032613203932592527584454054078427366133599016609002247055907702850520973060207941203511e-215",
"4.782397642868543553605823953435628417634795399352984903766106262991730168910446768938636636491125487475920797501757656631738388097839611797777582753362162235282098400797049827006741167723108551562919180623823610533e-215"
],
"runs": [
{
"steps": 61,
"last_term_max": "3.781483752090888617447012042406556010979135535023713967692854480860082113039152353383243851474758438150050945361869584986306152943599663082655227352733702e-184",
"working": 150,
"order": 160,
"divisor": 12,
"start": "1/2"
},
{
"steps": 65,
"last_term_max": "3.537040432718088482427726425732722004314619075252247913713939632634018290085107302013440688481033496777462819366826867272199572618442442900258798651919981434824637303927544407580396641642801647830688343490033191383e-260",
"working": 210,
"order": 210,
"divisor": 18,
"start": "2/3"
}
],
"seconds": 8.08299172995612
},
"7/2": {
"n": "7/2",
"coefficient_150": "0.4010435197550305191911372334788411164390397888033057580214159957450177000779555612881345047495246185799906725127814778911947714591501397856522761215810904",
"coefficient_210": "0.4010435197550305191911372334788411164390397888033057580214159957450177000779555612881345047495246185799906725127814778911947714591501397856522761215810904827618701371534236158898532668379810433808262801292571986307",
"radius_210": "9.535805344244850444104742625789381201938299334375507881439175962001748965444840018273455974203489162450488544960739090379850930795844033193091847363608415586134476621880646591521087838761042891283619235887060484202",
"mass_210": "1.890557093443116393908585305853529349420010746280017377769029608808829461844377579917045884022964871690923475470106027490805122337795028814205507310460952120023067377675261921461516189540029600448620715901742787281",
"relative_difference": "9.221715477376305576989759204638192679956538438918696606778738317166656908967963408381551731364491593454841854358523741572728450708959334875000238732138674228113622200341741473926076226891280088785238085656750896024e-155",
"scale_errors": [
"0.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"runs": [
{
"steps": 62,
"last_term_max": "5.102873835245870256000708842069005008429722837563964431049293855112831707948145400347197359259365776996124930665735137933590701567740593030275033068032971e-184",
"working": 150,
"order": 160,
"divisor": 12,
"start": "1/2"
},
{
"steps": 67,
"last_term_max": "9.756020504373597965137712521360985202481153286966131830602294708528804451506705807752307356319780399397615407584970704684616832163796062499807021515082750364956233981045396802997895722559315516995753240453142527383e-260",
"working": 210,
"order": 210,
"divisor": 18,
"start": "2/3"
}
],
"seconds": 7.796538906171918
},
"4": {
"n": "4",
"coefficient_150": "0.4771955635610856203008816339649316484467462942052017051026712129331325412861135115392436471447729325683759449843461590520058896062410817706809299624833008",
"coefficient_210": "0.4771955635610856203008816339649316484467462942052017051026712129331325412861135115392436471447729325683759449843461590520058896062410817706809299624833008408811861500489287511134561046439296791615737458282732500922",
"radius_210": "14.97154634883809509761106621836539574691859481089739149722087527931063319472756524579210010458397593338096980062310111312198947356123610468930808920993621895134962988449101150830772961242000606107298975550524796881",
"mass_210": "1.797229914439249961494315490419345024774164486195427513723180341891886413612268336853789885759673062491778829115855132481191485897366439184270565051346604081600532743970472450235287482880159057867291778116461306399",
"relative_difference": "1.010569081672219449267621841826638962410697122080199284936586916356923362961379525892956799738463168436590649829847650649250376633506332145904418716821969615032233559603428799053172950979890495570150536477810558912e-154",
"scale_errors": [
"0.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"runs": [
{
"steps": 64,
"last_term_max": "1.940444828330311158819847859923737786295849460912661297480747711691616682486704092949225253939985061283205119334301177422490506865392970372940014420410649e-184",
"working": 150,
"order": 160,
"divisor": 12,
"start": "1/2"
},
{
"steps": 69,
"last_term_max": "3.634425144294898356835181443815865270676469795451888966875202474452314463302648013713239290544220441680712060569659436491990822076991003022167084597436717796354695033038978630212188234912267484160889177265615409760e-260",
"working": 210,
"order": 210,
"divisor": 18,
"start": "2/3"
}
],
"seconds": 10.015219380613416
},
"9/2": {
"n": "9/2",
"coefficient_150": "0.6579832258419505680044133116057910404190658207306360690587391038783342542472109953935427213151036816200968364074951517603881499022449948880562000018686888",
"coefficient_210": "0.6579832258419505680044133116057910404190658207306360690587391038783342542472109953935427213151036816200968364074951517603881499022449948880562000018686886954582350678266818948251850786965242969176160518262161070995",
"radius_210": "31.83646324469428526438280928066527469188343951039946735959427977287447144393742413890540998153078739712349101241283603587052360476955323604636430023029792929434136291178737382493511800725094449568303838292018728556",
"mass_210": "1.737798867666032348873310638765409225494717541030522402615940804084994539027274227100259087881527067392868966048219810403947391229368851899339723335901129858940193693544258598141371768587960299076904946791808449237",
"relative_difference": "1.484919200940852213942958499796600836526486131289430508491191345398828936426032759502847437389478076674370235903653730844216444208456650109811024904098900106306258237758761461296572215637087662912251703863688427683e-154",
"scale_errors": [
"3.526941606935550339693709562549456974063882843608880797953616556100259216589675887285476059529267858452213454155565970820085785411213316190417419265122251734659679826794808125259788857832786873607092042375942974684e-215",
"3.526941606935550339693709562549456974063882843608880797953616556100259216589675887285476059529267858452213454155565970820085785411213316190417419265122251734659679826794808125259788857832786873607092042375942974684e-215"
],
"runs": [
{
"steps": 67,
"last_term_max": "2.220196784538859797060391357827740925179586953171746780105169126416611690051241840258136955510951556622638890349107704960337790442233510120764831554469902e-184",
"working": 150,
"order": 160,
"divisor": 12,
"start": "1/2"
},
{
"steps": 73,
"last_term_max": "8.572143876889891753591229040430640050618657572014609851183987817843239957453737193679266906632037901588846436079066294210711921182120868228606344578994299998352506837010249067562363566314510019586200423797682974585e-260",
"working": 210,
"order": 210,
"divisor": 18,
"start": "2/3"
}
],
"seconds": 8.654511346947402
}
},
"claim": "heuristic (agreement-checked); no rigorous ODE error bound"
}