back to table · edit · history · where entries came from · files · download
20561 bytes, as of the version from 2026-10-30 02:01 (current). Recorded here, not run.
{
"table": "T614",
"skill_manifest": "agents/runs/20261030T013608Z-build-skills/manifest.json",
"skill_sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199",
"versions": {
"python": "3.12.3",
"sage": "10.9",
"numberdb": "0.1.10",
"mpmath": "1.4.1"
},
"values": {
"0": {
"150": {
"mass": "4.898979485566356196394568149411782783931894961313340256865385134501920754914630053079718866209280469637189202453228378249717730919675514683251567902474557",
"radius": "2.449489742783178098197284074705891391965947480656670128432692567250960377457315026539859433104640234818594601226614189124858865459837757341625783951237279",
"meta": {
"steps": 54,
"last_term_max": "1.114269994910963519279896385388724288860807845063811330449494357196080318789413934253636440629560955314905919402057391849323934963141552368768769395217787e-184",
"working": 150,
"order": 160,
"divisor": 12,
"start": "1/2"
},
"control_relative_error": "1.522427426604741239628263823826478092390712000827780824639296278360883914562537384624648963468470198494765783587546604669785894012132533147473026217978731e-155"
},
"210": {
"mass": "4.898979485566356196394568149411782783931894961313340256865385134501920754914630053079718866209280469637189202453228378249717730919675514683251567902474557105657825495055353142495260210541823540446962621357973381707",
"radius": "2.449489742783178098197284074705891391965947480656670128432692567250960377457315026539859433104640234818594601226614189124858865459837757341625783951237278552828912747527676571247630105270911770223481310678986690854",
"meta": {
"steps": 56,
"last_term_max": "2.259799146845068573617934449261293566140894615405101264254285533896097485709725376984009863649551827134796430105897965896569791995877587956473160907187088622864071869913987991312911578880716563491557517070663896448e-260",
"working": 210,
"order": 210,
"divisor": 18,
"start": "2/3"
},
"control_relative_error": "1.894817827039225345597590945741622102556077276077473956046500199787822738179169858972007720729180499058645867194237373264453099644430146226112081864196383062391574680125920978090208946670377786727907952633773721738e-215"
},
"relative_difference": "2.1567313316242754506300630865535771193688845550526788497225647946701497411952207545892313460061536368915683783753628016929851864694742139165317280235440020423409147288121229969919306838360367780898039455962116841689165390803e-155",
"seconds": 5.877106666564941
},
"1": {
"150": {
"mass": "3.141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128481",
"radius": "3.141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128481",
"meta": {
"steps": 57,
"last_term_max": "7.762221926850198541667229286861465785463974207073777398118870522800373109490506226531859763374062027763151059524485373286469149263182452750337843141939593e-184",
"working": 150,
"order": 160,
"divisor": 12,
"start": "1/2"
},
"control_relative_error": "4.748127178536535806356297031444752080465893144034108321022049951434140859765107877431885032858603879500260931834163629564897728770486000421590004270900837e-155"
},
"210": {
"mass": "3.141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128481117450284102701938521105559644622948954930381964428810975666",
"radius": "3.141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128481117450284102701938521105559644622948954930381964428810975666",
"meta": {
"steps": 61,
"last_term_max": "9.654105660429293116861669249526730557682198776627244598262638463096582006270909874897173624163165684227756518989064013513918013410276789100908459971705226177910354608513170336012496728967073508807175058072523302695e-260",
"working": 210,
"order": 210,
"divisor": 18,
"start": "2/3"
},
"control_relative_error": "5.909533594652115833974966157437256344059843156124283496228895546828912065307035453235107382529804219226337520082135774402202776255083217491156577944949981930998328671852502953484821774671088255634897774071812623253e-215"
},
"relative_difference": "3.7385586564984932930169290275651856564210618519689384396645807001205148967763809932245334383818139676974618288244322739035335447060004120675351205245747388170676500411383711585778775788418028954199773286109538278001265828687e-155",
"seconds": 6.450219631195068
},
"1/2": {
"150": {
"mass": "3.788651184884005725858991073566130020744363998379329944557197732582689807929270932828329973951954330703759258658218099814889770350139909685235079584521079",
"radius": "2.752698054064987853153265640401943056124867186763253690388959098437368899789337892734061373570562117906663278085355250633438422985372424361010432475335960",
"meta": {
"steps": 56,
"last_term_max": "4.238776321604873381862294604123463274892758362235400936160115914781393748944001068016924798903886363928687948568540883017019256926488521714714850363935159e-184",
"working": 150,
"order": 160,
"divisor": 12,
"start": "1/2"
}
},
"210": {
"mass": "3.788651184884005725858991073566130020744363998379329944557197732582689807929270932828329973951954330703759258658218099814889770350139909685235079584521079101363031174780317882327178553140092262215665319780368625827",
"radius": "2.752698054064987853153265640401943056124867186763253690388959098437368899789337892734061373570562117906663278085355250633438422985372424361010432475335960006581458138670296093278016402247799580647582418998767363646",
"meta": {
"steps": 59,
"last_term_max": "3.041180950789340727596471715407007236533400101311105182771391427329910701077871129588016525785707644113406380637253656914659785081349903084431370802860110112293256902560268169151711364279944462448591657622023470764e-260",
"working": 210,
"order": 210,
"divisor": 18,
"start": "2/3"
}
},
"relative_difference": "2.6754384668401103627075582142474676310615411019227376055002654708805875011615662452693188739941586712169886876554604975515267104731730897234798173369552817125262261017708517836183068330537726268437408325042376757294643751397e-155",
"seconds": 8.380788087844849
},
"3/2": {
"150": {
"mass": "2.714055120108645719024533278803231148479459311782922475514579402693523737124833330828170776250164148165303361178296163170036647200543492008069394395940893",
"radius": "3.653753736219122424609094280459265817024670389249320696565999634402741397141273940694348477626987161015049689600230945188212521159583607769815019522407663",
"meta": {
"steps": 58,
"last_term_max": "2.529979406667462331514731854894216193717517527967928508986412896666353923745252614457785931447535849184294828806919442341542233850905425656642582056076834e-184",
"working": 150,
"order": 160,
"divisor": 12,
"start": "1/2"
}
},
"210": {
"mass": "2.714055120108645719024533278803231148479459311782922475514579402693523737124833330828170776250164148165303361178296163170036647200543492008069394395940892593657865161499748287713442755695385889086601866665326891700",
"radius": "3.653753736219122424609094280459265817024670389249320696565999634402741397141273940694348477626987161015049689600230945188212521159583607769815019522407662928159389070579485853222801584906527086210448114375525801154",
"meta": {
"steps": 62,
"last_term_max": "1.648086153666143930275255556880423296350936481127605884089425622976301413876347198784698740691904473055389860965624592999672537840119468261374626658430857673586138784308581167156051797471164722613797166685813050993e-259",
"working": 210,
"order": 210,
"divisor": 18,
"start": "2/3"
}
},
"relative_difference": "1.4971771642656766040934752150431901840097581635712790947398108409225351725621058581552315981434943438549652793626030195791008126984235612378093598209454047614737159159161008930999297612223730697587881684957810757874732086118e-154",
"seconds": 6.709914207458496
},
"2": {
"150": {
"mass": "2.411046012096893783648442744671402891869445416349857344362294844576927205112899840572090568314543516112525722537474924963035264901692479629168539669333122",
"radius": "4.352874595946124676973570061526142628112365363213008835302151694123582204698220445791064674344506139556111630862891372136086968986706146146645197945478618",
"meta": {
"steps": 59,
"last_term_max": "2.268279685581632595023593604861085529015109765866950140262593311804075816345113684480850053631617874530245886140726795405715094120156526336881780885601804e-184",
"working": 150,
"order": 160,
"divisor": 12,
"start": "1/2"
}
},
"210": {
"mass": "2.411046012096893783648442744671402891869445416349857344362294844576927205112899840572090568314543516112525722537474924963035264901692479629168539669333121551026661212654490423437994794452881469445744600564517089291",
"radius": "4.352874595946124676973570061526142628112365363213008835302151694123582204698220445791064674344506139556111630862891372136086968986706146146645197945478618430812491391614397009037025958004946400731845598346278518073",
"meta": {
"steps": 63,
"last_term_max": "8.462808711756609422712220855583946774729241259643968154032111783467344149577777378726712154989057378747017012720847600009672010173945196184216615470577043831509972783226442180586852239973583544490323546950651157993e-260",
"working": 210,
"order": 210,
"divisor": 18,
"start": "2/3"
}
},
"relative_difference": "1.8621516824428915849020366422512337783345076485223285771528030979737082669122150477096099285418625911485112772151805561458834263767012482252992697868622698496192149876504922395548131024761836402699947358055336134560504488743e-154",
"seconds": 6.544145107269287
},
"5/2": {
"150": {
"mass": "2.187199565517078953219520989736020888783031739987630276411128754986014658996631670101010148848846475092724379007362942191127379634442896028804069478281006",
"radius": "5.355275459010779459909360002973632473230913893154022969235420929234514705181751415720738708551783531535539017347186993894919806229576426346926753729851395",
"meta": {
"steps": 60,
"last_term_max": "2.154324345855998113759695584422394864768698221419599704621524151134799921462720315515216590172740441915938967374784436067400894754851094912027936336009515e-184",
"working": 150,
"order": 160,
"divisor": 12,
"start": "1/2"
}
},
"210": {
"mass": "2.187199565517078953219520989736020888783031739987630276411128754986014658996631670101010148848846475092724379007362942191127379634442896028804069478281006648081057248102740845640976190427991798645189372197929594416",
"radius": "5.355275459010779459909360002973632473230913893154022969235420929234514705181751415720738708551783531535539017347186993894919806229576426346926753729851395003771487564846283416507868487250564061328098029399488612114",
"meta": {
"steps": 64,
"last_term_max": "4.638392720582081555954043438545755535791897279453194879004871437260699082294266535463623665461808147206563771841922013168826341698115925864851650066976036425159841388437760350255400808201030290232218447000115874022e-260",
"working": 210,
"order": 210,
"divisor": 18,
"start": "2/3"
}
},
"relative_difference": "2.9630632131864427212697866445426737463886413420646918137877731379706390918101991188393110110720185553555140966500596904816903948434327865653781332932090508820438815570679938079630613900695558788410230184830705729170969976390e-154",
"seconds": 6.776334285736084
},
"3": {
"150": {
"mass": "2.018235950966228402812813170057969585302183202862202577717886005970707684353269150167163413499249995011531665500945678338233340017936870154420960190940298",
"radius": "6.896848619376960375454528187123121276972189114184943529563510118684484825312554196016663314890901153261162819220240087531163623348164903044206589300163596",
"meta": {
"steps": 61,
"last_term_max": "3.781483752090888617447012042406556010979135535023713967692854480860082113039152353383243851474758438150050945361869584986306152943599663082655227352733702e-184",
"working": 150,
"order": 160,
"divisor": 12,
"start": "1/2"
}
},
"210": {
"mass": "2.018235950966228402812813170057969585302183202862202577717886005970707684353269150167163413499249995011531665500945678338233340017936870154420960190940297481079865518518555195515938214510863130635256093575717729331",
"radius": "6.896848619376960375454528187123121276972189114184943529563510118684484825312554196016663314890901153261162819220240087531163623348164903044206589300163596781973076562113546839743105249241502419828659267888037580207",
"meta": {
"steps": 65,
"last_term_max": "3.537040432718088482427726425732722004314619075252247913713939632634018290085107302013440688481033496777462819366826867272199572618442442900258798651919981434824637303927544407580396641642801647830688343490033191383e-260",
"working": 210,
"order": 210,
"divisor": 18,
"start": "2/3"
}
},
"relative_difference": "2.5711569265875427486499076891896988555270812590187352385750573718552657976520811689350926945240736602014247426200880202466444397568653036289293771644370354768304626727810715017417087579593399095541264535044034963076687484357e-154",
"seconds": 6.927932024002075
},
"7/2": {
"150": {
"mass": "1.890557093443116393908585305853529349420010746280017377769029608808829461844377579917045884022964871690923475470106027490805122337795028814205507310460952",
"radius": "9.535805344244850444104742625789381201938299334375507881439175962001748965444840018273455974203489162450488544960739090379850930795844033193091847363608415",
"meta": {
"steps": 62,
"last_term_max": "5.102873835245870256000708842069005008429722837563964431049293855112831707948145400347197359259365776996124930665735137933590701567740593030275033068032971e-184",
"working": 150,
"order": 160,
"divisor": 12,
"start": "1/2"
}
},
"210": {
"mass": "1.890557093443116393908585305853529349420010746280017377769029608808829461844377579917045884022964871690923475470106027490805122337795028814205507310460952120023067377675261921461516189540029600448620715901742787281",
"radius": "9.535805344244850444104742625789381201938299334375507881439175962001748965444840018273455974203489162450488544960739090379850930795844033193091847363608415586134476621880646591521087838761042891283619235887060484202",
"meta": {
"steps": 67,
"last_term_max": "9.756020504373597965137712521360985202481153286966131830602294708528804451506705807752307356319780399397615407584970704684616832163796062499807021515082750364956233981045396802997895722559315516995753240453142527383e-260",
"working": 210,
"order": 210,
"divisor": 18,
"start": "2/3"
}
},
"relative_difference": "6.3485555550764724501511513024388060509024936369792090596484750550161787029990579979496500555605861497352188327346725323354883927359486019838546305873957628146996467458749899115113610180339616322836859693401680081311429251796e-155",
"seconds": 7.169515371322632
},
"4": {
"150": {
"mass": "1.797229914439249961494315490419345024774164486195427513723180341891886413612268336853789885759673062491778829115855132481191485897366439184270565051346604",
"radius": "14.97154634883809509761106621836539574691859481089739149722087527931063319472756524579210010458397593338096980062310111312198947356123610468930808920993621",
"meta": {
"steps": 64,
"last_term_max": "1.940444828330311158819847859923737786295849460912661297480747711691616682486704092949225253939985061283205119334301177422490506865392970372940014420410649e-184",
"working": 150,
"order": 160,
"divisor": 12,
"start": "1/2"
}
},
"210": {
"mass": "1.797229914439249961494315490419345024774164486195427513723180341891886413612268336853789885759673062491778829115855132481191485897366439184270565051346604081600532743970472450235287482880159057867291778116461306399",
"radius": "14.97154634883809509761106621836539574691859481089739149722087527931063319472756524579210010458397593338096980062310111312198947356123610468930808920993621895134962988449101150830772961242000606107298975550524796881",
"meta": {
"steps": 69,
"last_term_max": "3.634425144294898356835181443815865270676469795451888966875202474452314463302648013713239290544220441680712060569659436491990822076991003022167084597436717796354695033038978630212188234912267484160889177265615409760e-260",
"working": 210,
"order": 210,
"divisor": 18,
"start": "2/3"
}
},
"relative_difference": "4.5403502405773436156367161891060135966408798669225398265450786159045658513726159266869115297961118161970925792775736523788027362514732328862140070747013029471215323078889837193899095181539109576943861981611175597506803285179e-155",
"seconds": 7.5735087394714355
},
"9/2": {
"150": {
"mass": "1.737798867666032348873310638765409225494717541030522402615940804084994539027274227100259087881527067392868966048219810403947391229368851899339723335901130",
"radius": "31.83646324469428526438280928066527469188343951039946735959427977287447144393742413890540998153078739712349101241283603587052360476955323604636430023029794",
"meta": {
"steps": 67,
"last_term_max": "2.220196784538859797060391357827740925179586953171746780105169126416611690051241840258136955510951556622638890349107704960337790442233510120764831554469902e-184",
"working": 150,
"order": 160,
"divisor": 12,
"start": "1/2"
}
},
"210": {
"mass": "1.737798867666032348873310638765409225494717541030522402615940804084994539027274227100259087881527067392868966048219810403947391229368851899339723335901129858940193693544258598141371768587960299076904946791808449237",
"radius": "31.83646324469428526438280928066527469188343951039946735959427977287447144393742413890540998153078739712349101241283603587052360476955323604636430023029792929434136291178737382493511800725094449568303838292018728556",
"meta": {
"steps": 73,
"last_term_max": "8.572143876889891753591229040430640050618657572014609851183987817843239957453737193679266906632037901588846436079066294210711921182120868228606344578994299998352506837010249067562363566314510019586200423797682974585e-260",
"working": 210,
"order": 210,
"divisor": 18,
"start": "2/3"
}
},
"relative_difference": "8.1171537702695988398336046163146446468720724057263101385488726708022031701725440710687930148383094721879683197150241770072756225723004185314756499063823801512397761855705212514209383253604297642032338376331439317270106941154e-155",
"seconds": 7.6181769371032715
}
}
}