{
  "values": {
    "0": {
      "n": "0",
      "low": "0.1193662073189215018266628225293857715258447343053423365607505080441725982256699013175853520746898144670546320450684685276696838845859339896584755580487749",
      "high": "0.1193662073189215018266628225293857715258447343053423365607505080441725982256699013175853520746898144670546320450684685276696838845859339896584755580487748794219299752030568081798083097976939807665380446721630482463",
      "xi": "2.449489742783178098197284074705891391965947480656670128432692567250960377457315026539859433104640234818594601226614189124858865459837757341625783951237278552828912747527676571247630105270911770223481310678986690854",
      "mu": "4.898979485566356196394568149411782783931894961313340256865385134501920754914630053079718866209280469637189202453228378249717730919675514683251567902474557105657825495055353142495260210541823540446962621357973381707",
      "relative_difference": "3.95348544990531420775352375508807049509371730730225951172131611620543424582821390939017161577333273558884404168856503961267213347109258367314104323059336679344971524268586770529523042588882596068895683120328377424037330251660356140658e-155",
      "configuration_low": {
        "steps": 54,
        "last_term_max": "1.114269994910963519279896385388724288860807845063811330449494357196080318789413934253636440629560955314905919402057391849323934963141552368768769395217787e-184",
        "working": 150,
        "order": 160,
        "divisor": 12,
        "start": "1/2"
      },
      "configuration_high": {
        "steps": 56,
        "last_term_max": "2.259799146845068573617934449261293566140894615405101264254285533896097485709725376984009863649551827134796430105897965896569791995877587956473160907187088622864071869913987991312911578880716563491557517070663896448e-260",
        "working": 210,
        "order": 210,
        "divisor": 18,
        "start": "2/3"
      },
      "elapsed_seconds": 6.1403035297989845
    },
    "1/2": {
      "n": "1/2",
      "low": "0.2122090668847058146514151712294673607965824670515319520774842154499937681418714051577494461214301424790359054472153743299588516245117102090440635369675109",
      "high": "0.2122090668847058146514151712294673607965824670515319520774842154499937681418714051577494461214301424790359054472153743299588516245117102090440635369675108990337453879900286834732163358729749673234925585365431451083",
      "xi": "2.752698054064987853153265640401943056124867186763253690388959098437368899789337892734061373570562117906663278085355250633438422985372424361010432475335960006581458138670296093278016402247799580647582418998767363646",
      "mu": "3.788651184884005725858991073566130020744363998379329944557197732582689807929270932828329973951954330703759258658218099814889770350139909685235079584521079101363031174780317882327178553140092262215665319780368625827",
      "relative_difference": "2.00459526927925556570466801893562595442612130271330971264271069085749496472138519833815893701773915640197441046287579209046025677976361211250776642664575031625632283887936395059788847102217423643482340685695408508384325650751550383637e-154",
      "configuration_low": {
        "steps": 56,
        "last_term_max": "4.238776321604873381862294604123463274892758362235400936160115914781393748944001068016924798903886363928687948568540883017019256926488521714714850363935159e-184",
        "working": 150,
        "order": 160,
        "divisor": 12,
        "start": "1/2"
      },
      "configuration_high": {
        "steps": 59,
        "last_term_max": "3.041180950789340727596471715407007236533400101311105182771391427329910701077871129588016525785707644113406380637253656914659785081349903084431370802860110112293256902560268169151711364279944462448591657622023470764e-260",
        "working": 210,
        "order": 210,
        "divisor": 18,
        "start": "2/3"
      },
      "elapsed_seconds": 6.340305325109512
    },
    "1": {
      "n": "1",
      "low": "0.3926990816987241548078304229099378605246461749218882276218680740384770507857761248285043531677646334977685108141602883308867305761938227789656699260160602",
      "high": "0.3926990816987241548078304229099378605246461749218882276218680740384770507857761248285043531677646334977685108141602883308867305761938227789656699260160601396812855128377423151381949555778686193662977455536013719582",
      "xi": "3.141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128481117450284102701938521105559644622948954930381964428810975666",
      "mu": "3.141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128481117450284102701938521105559644622948954930381964428810975666",
      "relative_difference": "1.40766279712517081131094911273039454556080539789008142431341637274129288131899023993401080313303372507426533236091438054404496224546043226187428675998464910374268361976570976077908398743816623186079134375509651308626068774460407262968e-154",
      "configuration_low": {
        "steps": 57,
        "last_term_max": "7.762221926850198541667229286861465785463974207073777398118870522800373109490506226531859763374062027763151059524485373286469149263182452750337843141939593e-184",
        "working": 150,
        "order": 160,
        "divisor": 12,
        "start": "1/2"
      },
      "configuration_high": {
        "steps": 61,
        "last_term_max": "9.654105660429293116861669249526730557682198776627244598262638463096582006270909874897173624163165684227756518989064013513918013410276789100908459971705226177910354608513170336012496728967073508807175058072523302695e-260",
        "working": 210,
        "order": 210,
        "divisor": 18,
        "start": "2/3"
      },
      "elapsed_seconds": 7.74841183423996
    },
    "3/2": {
      "n": "3/2",
      "low": "0.7701403713509219860693239538862683630544209233233207499020699321649034335275621508650320009704158843608708984002737372682212873969143019004504646139502235",
      "high": "0.7701403713509219860693239538862683630544209233233207499020699321649034335275621508650320009704158843608708984002737372682212873969143019004504646139502234897592360890306665226413985946650461333565388470012987644248",
      "xi": "3.653753736219122424609094280459265817024670389249320696565999634402741397141273940694348477626987161015049689600230945188212521159583607769815019522407662928159389070579485853222801584906527086210448114375525801154",
      "mu": "2.714055120108645719024533278803231148479459311782922475514579402693523737124833330828170776250164148165303361178296163170036647200543492008069394395940892593657865161499748287713442755695385889086601866665326891700",
      "relative_difference": "4.93114240315931249882856491120051677429487997780166233272123199245912210130264443455450228829006226495127821287476572309955631911859509602431625120394452836132879092400606692915853041863752367568383947054184780691804519105768749734445e-155",
      "configuration_low": {
        "steps": 58,
        "last_term_max": "2.529979406667462331514731854894216193717517527967928508986412896666353923745252614457785931447535849184294828806919442341542233850905425656642582056076834e-184",
        "working": 150,
        "order": 160,
        "divisor": 12,
        "start": "1/2"
      },
      "configuration_high": {
        "steps": 62,
        "last_term_max": "1.648086153666143930275255556880423296350936481127605884089425622976301413876347198784698740691904473055389860965624592999672537840119468261374626658430857673586138784308581167156051797471164722613797166685813050993e-259",
        "working": 210,
        "order": 210,
        "divisor": 18,
        "start": "2/3"
      },
      "elapsed_seconds": 6.732938066124916
    },
    "2": {
      "n": "2",
      "low": "1.638183345774008023821355261677060437565586841900123307066213837059046342901006046332720775030527010495697518516486622501744155898761411484955398478833982",
      "high": "1.638183345774008023821355261677060437565586841900123307066213837059046342901006046332720775030527010495697518516486622501744155898761411484955398478833982692999637946307037232129230636558341086349197850969122266031",
      "xi": "4.352874595946124676973570061526142628112365363213008835302151694123582204698220445791064674344506139556111630862891372136086968986706146146645197945478618430812491391614397009037025958004946400731845598346278518073",
      "mu": "2.411046012096893783648442744671402891869445416349857344362294844576927205112899840572090568314543516112525722537474924963035264901692479629168539669333121551026661212654490423437994794452881469445744600564517089291",
      "relative_difference": "3.46887193310049884986558260710651749707428642643892896360151950078369157322996105820649915691438064556577816203769943287359868924356343099443182498052842278373029568494653355410223346276615610849220124047141248928651828699931043355805e-154",
      "configuration_low": {
        "steps": 59,
        "last_term_max": "2.268279685581632595023593604861085529015109765866950140262593311804075816345113684480850053631617874530245886140726795405715094120156526336881780885601804e-184",
        "working": 150,
        "order": 160,
        "divisor": 12,
        "start": "1/2"
      },
      "configuration_high": {
        "steps": 63,
        "last_term_max": "8.462808711756609422712220855583946774729241259643968154032111783467344149577777378726712154989057378747017012720847600009672010173945196184216615470577043831509972783226442180586852239973583544490323546950651157993e-260",
        "working": 210,
        "order": 210,
        "divisor": 18,
        "start": "2/3"
      },
      "elapsed_seconds": 6.857363999355584
    },
    "5/2": {
      "n": "5/2",
      "low": "3.909061722491728320095517068744889431666761501032459324012515917380241760744477014551488616687436247234398124483667005192297084697092163743918859513825478",
      "high": "3.909061722491728320095517068744889431666761501032459324012515917380241760744477014551488616687436247234398124483667005192297084697092163743918859513825478156196155690925999194199056971749767449618034796084547185964",
      "xi": "5.355275459010779459909360002973632473230913893154022969235420929234514705181751415720738708551783531535539017347186993894919806229576426346926753729851395003771487564846283416507868487250564061328098029399488612114",
      "mu": "2.187199565517078953219520989736020888783031739987630276411128754986014658996631670101010148848846475092724379007362942191127379634442896028804069478281006648081057248102740845640976190427991798645189372197929594416",
      "relative_difference": "1.45849266460987265816911297592621345502965023568724105622293898795883651011956085698754018553283028596287630372860884450791897140661805067326429990482209112967863782412492049849601965376864480382926166937175627013335545960837168415083e-155",
      "configuration_low": {
        "steps": 60,
        "last_term_max": "2.154324345855998113759695584422394864768698221419599704621524151134799921462720315515216590172740441915938967374784436067400894754851094912027936336009515e-184",
        "working": 150,
        "order": 160,
        "divisor": 12,
        "start": "1/2"
      },
      "configuration_high": {
        "steps": 64,
        "last_term_max": "4.638392720582081555954043438545755535791897279453194879004871437260699082294266535463623665461808147206563771841922013168826341698115925864851650066976036425159841388437760350255400808201030290232218447000115874022e-260",
        "working": 210,
        "order": 210,
        "divisor": 18,
        "start": "2/3"
      },
      "elapsed_seconds": 6.847461040131748
    },
    "3": {
      "n": "3",
      "low": "11.05068102346314799304315971504126365736010544040883781458040379045898704778751120597494750858828033666639693215981846519543944199911618892147013469970043",
      "high": "11.05068102346314799304315971504126365736010544040883781458040379045898704778751120597494750858828033666639693215981846519543944199911618892147013469970043364114081508810095955551513535607743020549352366050639227626",
      "xi": "6.896848619376960375454528187123121276972189114184943529563510118684484825312554196016663314890901153261162819220240087531163623348164903044206589300163596781973076562113546839743105249241502419828659267888037580207",
      "mu": "2.018235950966228402812813170057969585302183202862202577717886005970707684353269150167163413499249995011531665500945678338233340017936870154420960190940297481079865518518555195515938214510863130635256093575717729331",
      "relative_difference": "5.25680701432458651286300202136155517847554848415963899007381463776766350703234443230854520029493004529490418172734367270254919019149877004802331233336153173635224828656618269316118295428413672084783545644177677880124104550439243005218e-154",
      "configuration_low": {
        "steps": 61,
        "last_term_max": "3.781483752090888617447012042406556010979135535023713967692854480860082113039152353383243851474758438150050945361869584986306152943599663082655227352733702e-184",
        "working": 150,
        "order": 160,
        "divisor": 12,
        "start": "1/2"
      },
      "configuration_high": {
        "steps": 65,
        "last_term_max": "3.537040432718088482427726425732722004314619075252247913713939632634018290085107302013440688481033496777462819366826867272199572618442442900258798651919981434824637303927544407580396641642801647830688343490033191383e-260",
        "working": 210,
        "order": 210,
        "divisor": 18,
        "start": "2/3"
      },
      "elapsed_seconds": 6.954687662422657
    },
    "7/2": {
      "n": "7/2",
      "low": "40.90981695757662252639119748667322587515690192200886067796327564754499533836115754134730786475829749443544032546028302674152708773930793680283188239200482",
      "high": "40.90981695757662252639119748667322587515690192200886067796327564754499533836115754134730786475829749443544032546028302674152708773930793680283188239200483515374764610596582751395839197110764372202083393020825471122",
      "xi": "9.535805344244850444104742625789381201938299334375507881439175962001748965444840018273455974203489162450488544960739090379850930795844033193091847363608415586134476621880646591521087838761042891283619235887060484202",
      "mu": "1.890557093443116393908585305853529349420010746280017377769029608808829461844377579917045884022964871690923475470106027490805122337795028814205507310460952120023067377675261921461516189540029600448620715901742787281",
      "relative_difference": "4.55735523335754376878547296327964853140516135340402227184151178684245704592861839753045272822016946793224298942491273101736663157305710550839684709257489647883880638390387004078708364052709486598667695024466591796275040749874425764676e-154",
      "configuration_low": {
        "steps": 62,
        "last_term_max": "5.102873835245870256000708842069005008429722837563964431049293855112831707948145400347197359259365776996124930665735137933590701567740593030275033068032971e-184",
        "working": 150,
        "order": 160,
        "divisor": 12,
        "start": "1/2"
      },
      "configuration_high": {
        "steps": 67,
        "last_term_max": "9.756020504373597965137712521360985202481153286966131830602294708528804451506705807752307356319780399397615407584970704684616832163796062499807021515082750364956233981045396802997895722559315516995753240453142527383e-260",
        "working": 210,
        "order": 210,
        "divisor": 18,
        "start": "2/3"
      },
      "elapsed_seconds": 6.982224083971232
    },
    "4": {
      "n": "4",
      "low": "247.5594395183506235294731524402453676389264301987962555617980889349328389420367998828989004999094764162591071415998732966038570495433529321595020723146752",
      "high": "247.5594395183506235294731524402453676389264301987962555617980889349328389420367998828989004999094764162591071415998732966038570495433529321595020723146755861796427692318816122719052982175070546172449053969485799524",
      "xi": "14.97154634883809509761106621836539574691859481089739149722087527931063319472756524579210010458397593338096980062310111312198947356123610468930808920993621895134962988449101150830772961242000606107298975550524796881",
      "mu": "1.797229914439249961494315490419345024774164486195427513723180341891886413612268336853789885759673062491778829115855132481191485897366439184270565051346604081600532743970472450235287482880159057867291778116461306399",
      "relative_difference": "1.70426247822190936955093348044230625393630117110008217764387470349236191348041284954265567033874792656447057880129617343857116108451496018174944974710509315322663164244161387571170023113069652521953891422075160383519047830051362675400e-153",
      "configuration_low": {
        "steps": 64,
        "last_term_max": "1.940444828330311158819847859923737786295849460912661297480747711691616682486704092949225253939985061283205119334301177422490506865392970372940014420410649e-184",
        "working": 150,
        "order": 160,
        "divisor": 12,
        "start": "1/2"
      },
      "configuration_high": {
        "steps": 69,
        "last_term_max": "3.634425144294898356835181443815865270676469795451888966875202474452314463302648013713239290544220441680712060569659436491990822076991003022167084597436717796354695033038978630212188234912267484160889177265615409760e-260",
        "working": 210,
        "order": 210,
        "divisor": 18,
        "start": "2/3"
      },
      "elapsed_seconds": 7.238136244006455
    },
    "9/2": {
      "n": "9/2",
      "low": "4921.842229833709556638384550698135185951827314279612453512847716674082968145767852052647305893687407774752399729889237194793840122274049963033703797166018",
      "high": "4921.842229833709556638384550698135185951827314279612453512847716674082968145767852052647305893687407774752399729889237194793840122274049963033703797166010405590128738867878582317302747178531194667516063954653423950",
      "xi": "31.83646324469428526438280928066527469188343951039946735959427977287447144393742413890540998153078739712349101241283603587052360476955323604636430023029792929434136291178737382493511800725094449568303838292018728556",
      "mu": "1.737798867666032348873310638765409225494717541030522402615940804084994539027274227100259087881527067392868966048219810403947391229368851899339723335901129858940193693544258598141371768587960299076904946791808449237",
      "relative_difference": "1.51223209814859367495323517548051098378455251444516402172138384314113254498242151960837987546616084154899484141720953748945549667358049257970855460222582503487253479615962399388056828029892189980032438806691127320300942957717023416324e-153",
      "configuration_low": {
        "steps": 67,
        "last_term_max": "2.220196784538859797060391357827740925179586953171746780105169126416611690051241840258136955510951556622638890349107704960337790442233510120764831554469902e-184",
        "working": 150,
        "order": 160,
        "divisor": 12,
        "start": "1/2"
      },
      "configuration_high": {
        "steps": 73,
        "last_term_max": "8.572143876889891753591229040430640050618657572014609851183987817843239957453737193679266906632037901588846436079066294210711921182120868228606344578994299998352506837010249067562363566314510019586200423797682974585e-260",
        "working": 210,
        "order": 210,
        "divisor": 18,
        "start": "2/3"
      },
      "elapsed_seconds": 7.471977415960282
    }
  },
  "summary": {
    "worst_relative_difference": "1.70426247822190936955093348044230625393630117110008217764387470349236191348041284954265567033874792656447057880129617343857116108451496018174944974710509315322663164244161387571170023113069652521953891422075160383519047830051362675400e-153",
    "sage": "10.9",
    "python": "3.12.3",
    "numberdb": "0.1.10",
    "skill_manifest": "agents/runs/20261030T035316Z-build-skills/manifest.json",
    "local_skill_sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199",
    "live_skill_sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199"
  }
}