{"kind": "environment", "sage": "10.9", "python": "3.12.3", "mpmath": "1.4.1", "skill_manifest": "agents/runs/20261101T112456Z-repair-skills/manifest.json", "skill_sha256": {"local": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278", "live": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"}, "program_sha256": "b0e739ee17864bb5c68d16b772e1305024bea0ca0144227c3afe6aebd474e3ca"}
0.9017689717714497038711883043277513920447874379412718951342713018471165138878658154816614965952738831
{"t": "0", "working_digits": [140, 190], "agreement_digits": 141.28837421994996, "value": "0.323065947219450514093636510723806394072241840780587016130868470361015112807269842083787609089371392073487291755962435461887672261567406223033142577124471538551446691841865072995167407017144", "seconds": 1.92, "stored_midpoint_distance_ulp": "0.265127082440375645381123277384325937769668574228755284614485533081581349270048325929828560355985706650233814251766899739151714646524049106937051173429126772412493885068547260329176375938095196211212175751218359", "independent_control_digits": 191.5474273656588}
{"t": "-1", "working_digits": [140, 190], "agreement_digits": 142.2863073815657, "value": "0.4549624460247022157899646290452669704837710430448280179561721677447580407691966814707910045615975206658851240016602811234434917048676925889200043781868671826445812520982041423784503043309221", "seconds": 2.161, "stored_midpoint_distance_ulp": "0.341148759983397188765565082951323074110799956218131328173554187479017958576215496956690778839794600320855918873199810248586316044598305394179198516772851213212283283868926179141659483648954668542082921544012768"}
{"t": "27", "working_digits": [140, 190], "agreement_digits": 141.6340079011988, "value": "0.9691978416583515422809095321714191822167255223417610483926054110830453384218095262513628272681141762204618752678873063856630167847022186690994277313734146156543400755255952189855022210514319", "seconds": 1.356, "stored_midpoint_distance_ulp": "0.20461875267887306385663016784702218669099427731373414615654340075525595218985502221051431893204288004929855724542585658994435461446839094965062779808763086751325961994639360945775276437950659359817536906877875", "independent_control_digits": 191.07030611093913}
{"t": "24", "working_digits": [140, 190], "agreement_digits": 139.03063119166083, "value": "0.9017689717714497038711883043277513920447874379412718951342713018471165138878658154816614965952738830788599649017795809937048423896909235995541438943477120151089943214245389329947889237033888", "seconds": 0.0, "stored_midpoint_distance_ulp": "0.211400350982204190062951576103090764004458561056522879848910056785754610670052110762966111730422957448130668649314508359594617806098422238124955034639707947315405025680013659416554435777553987643501097036337184"}
{"t": "-216", "working_digits": [140, 190], "agreement_digits": 140.59724880019422, "value": "1.800714521389232519501185405743840291737296186591797905532716386162363170058159818083129625765602196650431342083304192998264300297207688924861256273460141773749344130525050037931303129810661", "seconds": 0.746, "stored_midpoint_distance_ulp": "0.349568657916695807001735699702792311075138743726539858226250655869474949962068696870189339250487774511948318363199610997916161384079271201528032751169075271798306976847918468322122821312427121233181430220612634"}
{"t": "54", "working_digits": [140, 190], "agreement_digits": 140.95277182661025, "value": "1.285783612394876596075276669356046539933373792348389251008786266766574524229329991694179167604592026053351624180414545461615829004643676777211827917971373275417741423501184280686275010575435", "seconds": 0.821, "stored_midpoint_distance_ulp": "0.053351624180414545461615829004643676777211827917971373275417741423501184280686275010575435071034764272025266076676096544630698672403203463215122089651250756868692598090300467547914297537749941187575328257222655"}
{"t": "-13500000+1431000*sqrt(89)", "working_digits": [140, 190], "agreement_digits": 136.04143458776056, "value": "0.9691961774780599931093656328095021079956638816652182588008551473090827020184711084142924091287484463877040140180521496529487874567222788791666284053653265965509295557301566789086433858361285", "seconds": 25.648, "stored_midpoint_distance_ulp": "0.122959859819478503470512125432777211208333715946346734034490704442698433210913566141638715374078907285980018336321576314083941021975166601860617465419306918002827440665936082234642494127022322662066348289396335"}
{"t": "-8", "working_digits": [140, 190], "agreement_digits": 141.41927077081286, "value": "0.8416338457402896019772381357839460632391016163179668167516686265081844755814218506043468794092021713855954562722123560836134006644188741640136499256818671658631103967692798065268050546901902", "seconds": 0.983, "independent_cubic_digits": 126.17755803903091, "independent_cubic_value": "0.8416338457402896019772381357839460632391016163179668167516686265081844755814218506043468794092021713855954562722123560836134", "independent_quadrature_estimate": "9.5492966e-129", "hypergeometric_digits": 126.17755803903091}
{"t": "1", "working_digits": [140, 190], "agreement_digits": 141.96473679494795, "value": "0.4000616683584389676514859682701250565690975709056252749701394669026734354517382831375364640440484856167640273789926323770929948914529576577070668020527583579171821384739456662502891528676538", "seconds": 1.838, "independent_cubic_digits": 125.31056211883833, "independent_cubic_value": "0.40006166835843896765148596827012505656909757090562527497013946690267343545173828313753646404404848561676402737899263237709299", "independent_quadrature_estimate": "9.5492966e-205"}
{"t": "8", "working_digits": [140, 190], "agreement_digits": 141.8554420078945, "value": "0.6006528136218932204191858980413420159158772799329260545203919838947376403277680859118224573898089452898477587551516694447903861346932783234558600916295993455621588542747664499568217379855056", "seconds": 2.174, "independent_cubic_digits": 125.41281603803381, "independent_cubic_value": "0.60065281362189322041918589804134201591587727993292605452039198389473764032776808591182245738980894528984775875515166944479039", "independent_quadrature_estimate": "1.9098593e-129"}
{"t": "125", "working_digits": [140, 190], "agreement_digits": 141.52534232876116, "value": "1.592368561086457755264876201658434396693198650656898062846602587106653142692188385147768515965591322330597934005810983932052220967036924061220015323654035139256034382343714498324576065158227", "seconds": 0.819, "independent_cubic_digits": 124.88050653449801, "independent_cubic_value": "1.5923685610864577552648762016584343966931986506568980628466025871066531426921883851477685159655913223305979340058109839320522", "independent_quadrature_estimate": "9.5492966e-174", "hypergeometric_digits": 120.75059638954558}
{"kind": "summary", "passed": 11, "stored_values_changed": false}