back to table · edit · history · where entries came from · files · download
41850 bytes, as of the version from 2026-10-30 06:27 (current). Recorded here, not run.
{
"skill_manifest": "../20261030T054723Z-build-skills/manifest.json",
"skill_sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199",
"rigour": "heuristic (agreement-checked)",
"models": {
"0": {
"runs": {
"150": {
"values": [
"0.7500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0.3750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"meta": {
"radius": "2.449489742783178098197284074705891391965947480656670128432692567250960377457315026539859433104640234818594601226614189124858865459837757341625783951237279",
"mass": "4.898979485566356196394568149411782783931894961313340256865385134501920754914630053079718866209280469637189202453228378249717730919675514683251567902474557",
"surface_Y": [
"-1.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"steps": 54,
"last_term_max": "1.114269994910963519279896385388724288860807845063811330449494357196080318789413934253636440629560955314905919402057391849323934963141552368768769395217787e-184",
"working": 150,
"order": 160,
"divisor": 12,
"start": "1/2"
},
"seconds": 4.4116131430491805
},
"210": {
"values": [
"0.7500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0.3750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"meta": {
"radius": "2.449489742783178098197284074705891391965947480656670128432692567250960377457315026539859433104640234818594601226614189124858865459837757341625783951237278552828912747527676571247630105270911770223481310678986690854",
"mass": "4.898979485566356196394568149411782783931894961313340256865385134501920754914630053079718866209280469637189202453228378249717730919675514683251567902474557105657825495055353142495260210541823540446962621357973381707",
"surface_Y": [
"-1.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
],
"steps": 56,
"last_term_max": "2.259799146845068573617934449261293566140894615405101264254285533896097485709725376984009863649551827134796430105897965896569791995877587956473160907187088622864071869913987991312911578880716563491557517070663896448e-260",
"working": 210,
"order": 210,
"divisor": 18,
"start": "2/3"
},
"seconds": 7.998587154317647
}
},
"relative_differences": [
"0.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
]
},
"1": {
"runs": {
"150": {
"values": [
"0.2599088773175332858290959740729572917826908100418491163420677392062984072167658089340695544421637821021668332113928968626054645073956380930200266362261245",
"0.1064540470742443336012239395035670141596118900976479381314913914813629501724535541794956270317154915717226108265834260127460838505898222170467288178609571"
],
"meta": {
"radius": "3.141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128481",
"mass": "3.141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128481",
"surface_Y": [
"0.2898681336964528729448303332920503784378998024135968754711164587400149408064017476672578012395174106080086379246743813592574493740100155758702058926617325",
"1.771253431130153106162658063204459961592915313908454656709809410348775376112954537614840991266523288230869103138451861876681980778933100602257633121759468"
],
"steps": 57,
"last_term_max": "4.324462116645904577495455124638634785953336907550298663493135072376061286302919509290393039559390555288150584751143188223244024343799169260307207419668600e-184",
"working": 150,
"order": 160,
"divisor": 12,
"start": "1/2"
},
"seconds": 7.2110721920616925
},
"210": {
"values": [
"0.2599088773175332858290959740729572917826908100418491163420677392062984072167658089340695544421637821021668332113928968626054645073956380930200266362261244478964072645296206738706983982159345964989769131181926381862",
"0.1064540470742443336012239395035670141596118900976479381314913914813629501724535541794956270317154915717226108265834260127460838505898222170467288178609570450916169505691149056982962625038473918309461306091161557678"
],
"meta": {
"radius": "3.141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128481117450284102701938521105559644622948954930381964428810975666",
"mass": "3.141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128481117450284102701938521105559644622948954930381964428810975666",
"surface_Y": [
"0.2898681336964528729448303332920503784378998024135968754711164587400149408064017476672578012395174106080086379246743813592574493740100155758702058926617325536634666187355252101905020137442801095936231175897807216467",
"1.771253431130153106162658063204459961592915313908454656709809410348775376112954537614840991266523288230869103138451861876681980778933100602257633121759467553371567035987740284284240896809215633422639286913039232377"
],
"steps": 61,
"last_term_max": "3.557944176214993517433393404424519163038048493353792039818059869194310114585716687832849938549496777683614017915261557301677973415913642957927835636631369329773970516169193118796475381285542213965315607439571949596e-260",
"working": 210,
"order": 210,
"divisor": 18,
"start": "2/3"
},
"seconds": 10.695712483953685
}
},
"relative_differences": [
"2.004686922325276976810338503597130537378515085053492917191808472773678326488551492045253063586358349212848207897038721396108321771060019018219100505842220065337667532862188822923074231980172540596649217040728629969741990730472877119152494534884e-154",
"5.157942282000428442728146760019988600139105119317120331195960986985391009744802748891578588342320185061770793345105472069706232553957815697453207678219826767701384301977227933589456826771163328165581623295470875283717525151303877643920313939710e-154"
]
},
"1/2": {
"runs": {
"150": {
"values": [
"0.4491539994868953399229378911382288697607064413589771920710782193167140000722110805125254909847410220540431672457842910886780319093542630552487532502391403",
"0.2033844048250413461516315178092817801701087707392138728514883975230545000301789182451327934805935477633447737993400295721733651594129938863464075833208088"
],
"meta": {
"radius": "2.752698054064987853153265640401943056124867186763253690388959098437368899789337892734061373570562117906663278085355250633438422985372424361010432475335960",
"mass": "3.788651184884005725858991073566130020744363998379329944557197732582689807929270932828329973951954330703759258658218099814889770350139909685235079584521079",
"surface_Y": [
"-0.3660754721030739484265055665990530810730530862837208666044073710620458102478606980357101103165299425811713258012997054396368534419701056056514536868691367",
"0.9759419969946364014450163882734624554758392379956413097797148388835919472844402158923199419914989995283486918280634449016539047914637445659788014339771197"
],
"steps": 56,
"last_term_max": "3.964687041796276302515230831193196343152586211911872321920081683134490481176653374930262992889176509279781250474546512202171331837757672559649183071785194e-184",
"working": 150,
"order": 160,
"divisor": 12,
"start": "1/2"
},
"seconds": 5.206627487204969
},
"210": {
"values": [
"0.4491539994868953399229378911382288697607064413589771920710782193167140000722110805125254909847410220540431672457842910886780319093542630552487532502391402951196478125060261621678765797664143480011980328332921680947",
"0.2033844048250413461516315178092817801701087707392138728514883975230545000301789182451327934805935477633447737993400295721733651594129938863464075833208088368641658053378987701653798981325904442320875027793938590953"
],
"meta": {
"radius": "2.752698054064987853153265640401943056124867186763253690388959098437368899789337892734061373570562117906663278085355250633438422985372424361010432475335960006581458138670296093278016402247799580647582418998767363646",
"mass": "3.788651184884005725858991073566130020744363998379329944557197732582689807929270932828329973951954330703759258658218099814889770350139909685235079584521079101363031174780317882327178553140092262215665319780368625827",
"surface_Y": [
"-0.3660754721030739484265055665990530810730530862837208666044073710620458102478606980357101103165299425811713258012997054396368534419701056056514536868691366098331090134189712605200619054247991265945514061832112358574",
"0.9759419969946364014450163882734624554758392379956413097797148388835919472844402158923199419914989995283486918280634449016539047914637445659788014339771197847134244187076815304889487771065670152871790364051790534043"
],
"steps": 59,
"last_term_max": "3.387853011163003164953353469904005492971087014945963550050904331764326604585988607678473674432843104590128807979551950915181741031707829448862631645437278480645663568195253649033814673669276975631197454034437940697e-260",
"working": 210,
"order": 210,
"divisor": 18,
"start": "2/3"
},
"seconds": 10.179434122983366
}
},
"relative_differences": [
"1.086565452621860611287512222402149663799663956482175371923761758788750806247546193843603523018848961942759708654263268358174556569055630709998777529388184277890067669335412440889249702439738069840365575390762662751465902970935892051766438462569e-155",
"1.812536503821411157169479588472434077940742120008844810056200057962664714212328751827306392076398280982593131121393158797198145296050583841416194122743385823843876231424225662130598529812996139910334081428449208399243267492151989307372153961792e-154"
]
},
"3/2": {
"runs": {
"150": {
"values": [
"0.1432787705984716386638667140613813444151219345928863946904386129291156745602082994566462447620074767321394072980073993268065574151051251617222821517217479",
"0.05284852442026777139189475952621913910346452060375027535301846105705299379856596815112263138341526854958134465285070807866255433251983258156558647233229328"
],
"meta": {
"radius": "3.653753736219122424609094280459265817024670389249320696565999634402741397141273940694348477626987161015049689600230945188212521159583607769815019522407663",
"mass": "2.714055120108645719024533278803231148479459311782922475514579402693523737124833330828170776250164148165303361178296163170036647200543492008069394395940892",
"surface_Y": [
"0.8863399730635222858602751523862960141525835272363198067046841580301737926242708652911401037302083757324058972052726456957941464449864833469317276711454695",
"2.330848044987000093921892381435462913135729431540322960877534059651125254927044806467558039675482122618818609358252422756369696034956962686631635674983078"
],
"steps": 59,
"last_term_max": "1.917896919403524376683571938007511955703182237678430806138752690175425094172150139060843593105973769404175368690562361817974631839741943462190050453099332e-184",
"working": 150,
"order": 160,
"divisor": 12,
"start": "1/2"
},
"seconds": 5.511509811040014
},
"210": {
"values": [
"0.1432787705984716386638667140613813444151219345928863946904386129291156745602082994566462447620074767321394072980073993268065574151051251617222821517217478823122994780433254546915466060182725181406787093625467821783",
"0.05284852442026777139189475952621913910346452060375027535301846105705299379856596815112263138341526854958134465285070807866255433251983258156558647233229328168604494398237852558919690906311598528502687153855859457556"
],
"meta": {
"radius": "3.653753736219122424609094280459265817024670389249320696565999634402741397141273940694348477626987161015049689600230945188212521159583607769815019522407662928159389070579485853222801584906527086210448114375525801154",
"mass": "2.714055120108645719024533278803231148479459311782922475514579402693523737124833330828170776250164148165303361178296163170036647200543492008069394395940892593657865161499748287713442755695385889086601866665326891700",
"surface_Y": [
"0.8863399730635222858602751523862960141525835272363198067046841580301737926242708652911401037302083757324058972052726456957941464449864833469317276711454694383548233830784530926916537501237921929421918695290488930461",
"2.330848044987000093921892381435462913135729431540322960877534059651125254927044806467558039675482122618818609358252422756369696034956962686631635674983078272592107863066919283037407659134768009768518819367641632098"
],
"steps": 62,
"last_term_max": "4.138230169179965017148663135482343947824532082189161132122713965429034865262683553067300117021535695423535168680179623999709968556995994980473493609796107583068410887818777142741599730004385836708175495906095218098e-260",
"working": 210,
"order": 210,
"divisor": 18,
"start": "2/3"
},
"seconds": 11.193379512988031
}
},
"relative_differences": [
"1.234495553533549796711709574973945146618039747166880805152478578540780039324934051254908485904552309157395404276540287058183347996429794737066421409983287985680826474937962921248388939580342360162155838804862155717718540676614112712782069064845e-154",
"3.190334947811274616649623590575631801270331399251616664169200895423922371467267355469328250268109075540378651839177253708444018514815271482516023000348018750226249928290232131035085070791137970853522577858874586104337502962432768985456019598585e-155"
]
},
"2": {
"runs": {
"150": {
"values": [
"0.07393839192561751092125780701022785654781182812553439455504165003110197740444062904005089495489773565804979362077783242307721767689441117922128606046690912",
"0.02439399852069958603273600088150891789101602724042222760200983281184837960148959931085669207817851977416441159922076393657521872884700756551238074348632545"
],
"meta": {
"radius": "4.352874595946124676973570061526142628112365363213008835302151694123582204698220445791064674344506139556111630862891372136086968986706146146645197945478618",
"mass": "2.411046012096893783648442744671402891869445416349857344362294844576927205112899840572090568314543516112525722537474924963035264901692479629168539669333122",
"surface_Y": [
"1.355868217165720323675035523580922317620225455580986468311813615677917421715747837892819635679830432501946876117791034332092935995966469806710366484980495",
"2.674370816358309804478833581577925273314564249650358003977111638554073960586232540405390402998475354540435120238303745102691453310658533437969579213510403"
],
"steps": 59,
"last_term_max": "2.422783149927789371274368474090118997476920643859583395696869310460344334889671907388752302768185376717142117668878298787684765322333414513471103787458410e-184",
"working": 150,
"order": 160,
"divisor": 12,
"start": "1/2"
},
"seconds": 5.868799953721464
},
"210": {
"values": [
"0.07393839192561751092125780701022785654781182812553439455504165003110197740444062904005089495489773565804979362077783242307721767689441117922128606046690910480881682944432365159587745611794944646056343314259117759655",
"0.02439399852069958603273600088150891789101602724042222760200983281184837960148959931085669207817851977416441159922076393657521872884700756551238074348632545141925188665999482363986221289124479565828153832138242078353"
],
"meta": {
"radius": "4.352874595946124676973570061526142628112365363213008835302151694123582204698220445791064674344506139556111630862891372136086968986706146146645197945478618430812491391614397009037025958004946400731845598346278518073",
"mass": "2.411046012096893783648442744671402891869445416349857344362294844576927205112899840572090568314543516112525722537474924963035264901692479629168539669333121551026661212654490423437994794452881469445744600564517089291",
"surface_Y": [
"1.355868217165720323675035523580922317620225455580986468311813615677917421715747837892819635679830432501946876117791034332092935995966469806710366484980494688049036863353350802531224475248316897559353014067496557570",
"2.674370816358309804478833581577925273314564249650358003977111638554073960586232540405390402998475354540435120238303745102691453310658533437969579213510403178048043795114265241364169882587556806973280044268483742575"
],
"steps": 63,
"last_term_max": "5.195364321586959242464484828823439469585796732922807015745160983597960049414367361225316014469786321690406345856158354794878605199751216758047540133491617071403325241711245616334256268547967771775611830887021970175e-260",
"working": 210,
"order": 210,
"divisor": 18,
"start": "2/3"
},
"seconds": 12.986123567912728
}
},
"relative_differences": [
"2.054573108086811317965717614349101301785948322533288512500414084041351243945030791523924083579947468820752731035122763220935881736366449227875481823516178256512641840287186529747065672012161156987564578318424403581436017451618074926054779445385e-154",
"5.818037110462580484880954173365831626392749513628893769000621503428883468121205401578792327783018507892720401012477048313720622892635995500540400280532756303679887471780601716931792066784761845186105409165192631105465449650696756990366680646798e-155"
]
},
"5/2": {
"runs": {
"150": {
"values": [
"0.03485233955171274783954020682579791708684309708807363066898242148522986570744744643641927729570563149775238398715276090211095349792497007278231153088211017",
"0.01019199947568196953751671902268073772774872420018697195537490150014759932612568670500175179079386197521838347815708414206300782638039734024797365733208185"
],
"meta": {
"radius": "5.355275459010779459909360002973632473230913893154022969235420929234514705181751415720738708551783531535539017347186993894919806229576426346926753729851395",
"mass": "2.187199565517078953219520989736020888783031739987630276411128754986014658996631670101010148848846475092724379007362942191127379634442896028804069478281007",
"surface_Y": [
"1.674187275866416831945693729642265667535059423537959030880432016146413678668939922063860680451669690006069383953662318413525945329115466151361887210860064",
"2.860162455696888362466807052808830284002470224704780339931658433027651907820166307587348066349572173909015490543052388587494841106199401141053950834448618"
],
"steps": 60,
"last_term_max": "2.154324345855998113759695584422394864768698221419599704621524151134799921462720315515216590172740441915938967374784436067400894754851094912027936336009515e-184",
"working": 150,
"order": 160,
"divisor": 12,
"start": "1/2"
},
"seconds": 5.6726099057123065
},
"210": {
"values": [
"0.03485233955171274783954020682579791708684309708807363066898242148522986570744744643641927729570563149775238398715276090211095349792497007278231153088211017298239214755103917013856357955640401430643765343027210246919",
"0.01019199947568196953751671902268073772774872420018697195537490150014759932612568670500175179079386197521838347815708414206300782638039734024797365733208184455464949776570069347457144231553207329999548543820844494282"
],
"meta": {
"radius": "5.355275459010779459909360002973632473230913893154022969235420929234514705181751415720738708551783531535539017347186993894919806229576426346926753729851395003771487564846283416507868487250564061328098029399488612114",
"mass": "2.187199565517078953219520989736020888783031739987630276411128754986014658996631670101010148848846475092724379007362942191127379634442896028804069478281006648081057248102740845640976190427991798645189372197929594416",
"surface_Y": [
"1.674187275866416831945693729642265667535059423537959030880432016146413678668939922063860680451669690006069383953662318413525945329115466151361887210860064150849663997212737561627916736952716043568065417303610821474",
"2.860162455696888362466807052808830284002470224704780339931658433027651907820166307587348066349572173909015490543052388587494841106199401141053950834448618425411336874285150569328390519702023235165873500300727372778"
],
"steps": 64,
"last_term_max": "4.638392720582081555954043438545755535791897279453194879004871437260699082294266535463623665461808147206563771841922013168826341698115925864851650066976036425159841388437760350255400808201030290232218447000115874022e-260",
"working": 210,
"order": 210,
"divisor": 18,
"start": "2/3"
},
"seconds": 10.94444260885939
}
},
"relative_differences": [
"8.557222229302180465189276397594397557375442972452621825804576753437626187251353232145718704423009769841342204601407311609276825576351355914444550832353408193166697946425471065979943711982167888666538944804317604883309528948578213041654249036960e-155",
"5.342769605931458993529709276609581428995265941213636914909546367327710968857199173330777728467995645035780461008941883253766722927966776389580711635054566877347256237459678786573251640434355794065329134469732499139803017814407646700667175245631e-154"
]
},
"3": {
"runs": {
"150": {
"values": [
"0.01444297501909504774862763628791296889980019956500180759076743477505559869911599493495747085313443753264270892024564231463456797158531758521581500344239543",
"0.003699892894613865658722203758372037749082483243250695298884061218334891244128817185966941550377838252351805479768189122384794996370074056724974929400582372"
],
"meta": {
"radius": "6.896848619376960375454528187123121276972189114184943529563510118684484825312554196016663314890901153261162819220240087531163623348164903044206589300163596",
"mass": "2.018235950966228402812813170057969585302183202862202577717886005970707684353269150167163413499249995011531665500945678338233340017936870154420960190940298",
"surface_Y": [
"1.859625111815756112617629234775758803799389909552805365347216768479580699024058327180202094194116565759490834842298498180914851924835500826147554417731764",
"2.948581981795823399579155660412155137470760375717986465503033370750158636423043122887899681418388236894690987899762105817992664286600436538945241585864065"
],
"steps": 61,
"last_term_max": "3.781483752090888617447012042406556010979135535023713967692854480860082113039152353383243851474758438150050945361869584986306152943599663082655227352733702e-184",
"working": 150,
"order": 160,
"divisor": 12,
"start": "1/2"
},
"seconds": 6.0434834230691195
},
"210": {
"values": [
"0.01444297501909504774862763628791296889980019956500180759076743477505559869911599493495747085313443753264270892024564231463456797158531758521581500344239542129884719181815238077525950959555994334630910802619088998776",
"0.003699892894613865658722203758372037749082483243250695298884061218334891244128817185966941550377838252351805479768189122384794996370074056724974929400582372209442541938577774725151194268930780559014132174055180076746"
],
"meta": {
"radius": "6.896848619376960375454528187123121276972189114184943529563510118684484825312554196016663314890901153261162819220240087531163623348164903044206589300163596781973076562113546839743105249241502419828659267888037580207",
"mass": "2.018235950966228402812813170057969585302183202862202577717886005970707684353269150167163413499249995011531665500945678338233340017936870154420960190940297481079865518518555195515938214510863130635256093575717729331",
"surface_Y": [
"1.859625111815756112617629234775758803799389909552805365347216768479580699024058327180202094194116565759490834842298498180914851924835500826147554417731764374574211259696420862247795530905079678223653331842989484971",
"2.948581981795823399579155660412155137470760375717986465503033370750158636423043122887899681418388236894690987899762105817992664286600436538945241585864065390781175485630976375983941131354519102167776587264738820870"
],
"steps": 65,
"last_term_max": "3.537040432718088482427726425732722004314619075252247913713939632634018290085107302013440688481033496777462819366826867272199572618442442900258798651919981434824637303927544407580396641642801647830688343490033191383e-260",
"working": 210,
"order": 210,
"divisor": 18,
"start": "2/3"
},
"seconds": 12.008014025632292
}
},
"relative_differences": [
"6.024487888871966633827746496638851024097994033522599757862963056402124646685476905861975167256010803962881591659264570381144754554602030612796269685023021511061313225659756327366449380576539302351156796604081758836435421407194405617101151549505e-154",
"5.660773106255984301140787048633465714281603620388671925638280069700112329188185516838373492433264956901344615262775275726968583664193713665248165020858438595566358802817065069047576040572201855974551041901990583661285527890683967158560906417021e-155"
]
},
"7/2": {
"runs": {
"150": {
"values": [
"0.004919072997458304221809330910012336688264901682718216712160590940706101768939371989728516076212908696013903807845997183707487216354692303254839959037925392",
"0.001087056707538629251442425618176193127875528685530526196309911083325831174805359711321282875768131657359848262180682296593162516180641837475852417601690435"
],
"meta": {
"radius": "9.535805344244850444104742625789381201938299334375507881439175962001748965444840018273455974203489162450488544960739090379850930795844033193091847363608415",
"mass": "1.890557093443116393908585305853529349420010746280017377769029608808829461844377579917045884022964871690923475470106027490805122337795028814205507310460952",
"surface_Y": [
"1.951288500865533097180612807810390716181806691327505109352403772932651478572934523371222435101688760492807358179736965144736362207605221271474115545850821",
"2.984814221698782257115942983836295527104763353707752624072871623858126510434392668382876231435490937187925315113203491400985532928748590250584591599639515"
],
"steps": 62,
"last_term_max": "2.116528496626065638908708437745973998408380042939637739048821579907332742664021968954405042334772222520922245292820138950918184466763695682096312686092053e-184",
"working": 150,
"order": 160,
"divisor": 12,
"start": "1/2"
},
"seconds": 6.14874919410795
},
"210": {
"values": [
"0.004919072997458304221809330910012336688264901682718216712160590940706101768939371989728516076212908696013903807845997183707487216354692303254839959037925390079845842049417928698769895414728131656251832943638249613191",
"0.001087056707538629251442425618176193127875528685530526196309911083325831174805359711321282875768131657359848262180682296593162516180641837475852417601690432067323496647193162805041767389417920271027158090154740818373"
],
"meta": {
"radius": "9.535805344244850444104742625789381201938299334375507881439175962001748965444840018273455974203489162450488544960739090379850930795844033193091847363608415586134476621880646591521087838761042891283619235887060484202",
"mass": "1.890557093443116393908585305853529349420010746280017377769029608808829461844377579917045884022964871690923475470106027490805122337795028814205507310460952120023067377675261921461516189540029600448620715901742787281",
"surface_Y": [
"1.951288500865533097180612807810390716181806691327505109352403772932651478572934523371222435101688760492807358179736965144736362207605221271474115545850821417953121657431921064248685212666691484448706118415311461815",
"2.984814221698782257115942983836295527104763353707752624072871623858126510434392668382876231435490937187925315113203491400985532928748590250584591599639515533183584759209693905419059465163815660907338140726150253851"
],
"steps": 67,
"last_term_max": "5.985657053878452613171850813352200561134246086922947854601983916608642856473766817087461018296644508425832751414062511393175504552371087609285673458794971875310385019879250495500134484102409781961581875312265217165e-260",
"working": 210,
"order": 210,
"divisor": 18,
"start": "2/3"
},
"seconds": 11.731079867109656
}
},
"relative_differences": [
"3.903487829806001913419230237188455400067668548192550227343748148727204289022385007549296359343410384416077734255230094334814872355356942798261516174533710722803517503566976798118387518238585730094429256341383511867510653696880895347526127542920e-154",
"2.697813723069817231721251182371197246475376621573763195853303227215194340331328828308752727697401932065115115160226875945661070962238466664949719415787161621499014904163229292912155772015659845763224730604337228050469127433424620677983353043044e-153"
]
},
"4": {
"runs": {
"150": {
"values": [
"0.001194876991886453852310121864672659441281281171060813353105265332349630738474962819005160030332700378734790972297762481646060563530663032411912336031255244",
"0.0002230926171620902684193687153827124739738966107406176100217285317352409868032952947459853719281805399774750085733685498697591140827931882274268757049602820"
],
"meta": {
"radius": "14.97154634883809509761106621836539574691859481089739149722087527931063319472756524579210010458397593338096980062310111312198947356123610468930808920993621",
"mass": "1.797229914439249961494315490419345024774164486195427513723180341891886413612268336853789885759673062491778829115855132481191485897366439184270565051346604",
"surface_Y": [
"1.988079716625816618171856160845927364497861571255012654423450155100308027308137158716179966744946370871300917128601089174428714209370065909181777832426882",
"2.996878096307061507527955220160580287096431626654705857617025383559241985670874878573809980420192189608235582840628949037404465192703258989392069378559806"
],
"steps": 64,
"last_term_max": "1.940444828330311158819847859923737786295849460912661297480747711691616682486704092949225253939985061283205119334301177422490506865392970372940014420410649e-184",
"working": 150,
"order": 160,
"divisor": 12,
"start": "1/2"
},
"seconds": 8.73885584808886
},
"210": {
"values": [
"0.001194876991886453852310121864672659441281281171060813353105265332349630738474962819005160030332700378734790972297762481646060563530663032411912336031255241512259507608805772015148058398947111023141974065551491850457",
"0.0002230926171620902684193687153827124739738966107406176100217285317352409868032952947459853719281805399774750085733685498697591140827931882274268757049602825699892591167775022392116793073099333001693749336389715589979"
],
"meta": {
"radius": "14.97154634883809509761106621836539574691859481089739149722087527931063319472756524579210010458397593338096980062310111312198947356123610468930808920993621895134962988449101150830772961242000606107298975550524796881",
"mass": "1.797229914439249961494315490419345024774164486195427513723180341891886413612268336853789885759673062491778829115855132481191485897366439184270565051346604081600532743970472450235287482880159057867291778116461306399",
"surface_Y": [
"1.988079716625816618171856160845927364497861571255012654423450155100308027308137158716179966744946370871300917128601089174428714209370065909181777832426882116201929579557872715888353156562001765804677563392679116693",
"2.996878096307061507527955220160580287096431626654705857617025383559241985670874878573809980420192189608235582840628949037404465192703258989392069378559806112918007524926247332499319549190014246222251707290528782255"
],
"steps": 69,
"last_term_max": "3.634425144294898356835181443815865270676469795451888966875202474452314463302648013713239290544220441680712060569659436491990822076991003022167084597436717796354695033038978630212188234912267484160889177265615409760e-260",
"working": 210,
"order": 210,
"divisor": 18,
"start": "2/3"
},
"seconds": 13.298199548851699
}
},
"relative_differences": [
"2.082005519633938967173910272584027148781761451892198124321768415042378367421972322201824687688722792843485171885159658099670391062761728560730207395990581376500838943328978720868100615910351287083569755602928142769971787020792703599794537209735e-153",
"2.554944517516892365820891782443361919378875441696182375378160469285130504425670378129784157735716371410948751926665029289151217125842576769880841729979157784732315974407345678098433208244421620904460589809626629227854567150510326325123820442697e-153"
]
},
"9/2": {
"runs": {
"150": {
"values": [
"0.0001361782804279256965891413253488554209254691293624854574847565261079244125910440792818473281382216512776612380271975201731362088466891320005148028960311742",
"0.00002083658785852137208576492787173821550924302581010964535327753701741313409518947594859831966789534799267867164032844251673764526788851760998139310893818784"
],
"meta": {
"radius": "31.83646324469428526438280928066527469188343951039946735959427977287447144393742413890540998153078739712349101241283603587052360476955323604636430023029794",
"mass": "1.737798867666032348873310638765409225494717541030522402615940804084994539027274227100259087881527067392868966048219810403947391229368851899339723335901130",
"surface_Y": [
"1.998638587985214997712840652995379131728989641838100584635882339570081952723873659494179598124039671613376955943471685836480245947115972277248480693461610",
"2.999708299926049139219383503041088221068791378114697700598111532971046019740189526437499811843115909260805530586637377520596946450293485229368548645032065"
],
"steps": 67,
"last_term_max": "2.220196784538859797060391357827740925179586953171746780105169126416611690051241840258136955510951556622638890349107704960337790442233510120764831554469902e-184",
"working": 150,
"order": 160,
"divisor": 12,
"start": "1/2"
},
"seconds": 6.298916132189333
},
"210": {
"values": [
"0.0001361782804279256965891413253488554209254691293624854574847565261079244125910440792818473281382216512776612380271975201731362088466891320005148028960311728781749703021719299386140630633479933695502965981732772644508",
"0.00002083658785852137208576492787173821550924302581010964535327753701741313409518947594859831966789534799267867164032844251673764526788851760998139310893818664131664134688102333646638620646995577277490672537406102618789"
],
"meta": {
"radius": "31.83646324469428526438280928066527469188343951039946735959427977287447144393742413890540998153078739712349101241283603587052360476955323604636430023029792929434136291178737382493511800725094449568303838292018728556",
"mass": "1.737798867666032348873310638765409225494717541030522402615940804084994539027274227100259087881527067392868966048219810403947391229368851899339723335901129858940193693544258598141371768587960299076904946791808449237",
"surface_Y": [
"1.998638587985214997712840652995379131728989641838100584635882339570081952723873659494179598124039671613376955943471685836480245947115972277248480693461609655628651184023805549853525558742460926799395400378344068251",
"2.999708299926049139219383503041088221068791378114697700598111532971046019740189526437499811843115909260805530586637377520596946450293485229368548645032064850042046897789778313326973342040231020669289042544512135310"
],
"steps": 73,
"last_term_max": "8.572143876889891753591229040430640050618657572014609851183987817843239957453737193679266906632037901588846436079066294210711921182120868228606344578994299998352506837010249067562363566314510019586200423797682974585e-260",
"working": 210,
"order": 210,
"divisor": 18,
"start": "2/3"
},
"seconds": 13.393583367113024
}
},
"relative_differences": [
"9.706577477290314884249219673379481282059404239738803665438115666337595827767978601311565363415187736098643025872326837028824569623811678425775114044380741717653383336236677348482206317668465977725141261930579617142569655675651888697073017299407e-153",
"5.752781438074579303272921544797119115160114394267644592690191188497111272090700914577997356709964859110333642090120387550856829918670741987076427533501265186072915895549977889868310660776605671280322803685334755313611744471237721486514864435769e-152"
]
}
},
"worst_relative_difference": "5.752781438074579303272921544797119115160114394267644592690191188497111272090700914577997356709964859110333642090120387550856829918670741987076427533501265186072915895549977889868310660776605671280322803685334755313611744471237721486514864435769e-152"
}