numerical-evidence.json

back to table · edit · history · where entries came from · files · download

14730 bytes, as of the version from 2026-10-30 06:50 (current). Recorded here, not run.

{
  "values": {
    "0": {
      "low": "2.449489742783178098197284074705891391965947480656670128432692567250960377457315026539859433104640234818594601226614189124858865459837757341625783951237279",
      "high": "2.449489742783178098197284074705891391965947480656670128432692567250960377457315026539859433104640234818594601226614189124858865459837757341625783951237278552828912747527676571247630105270911770223481310678986690854",
      "relative_difference": "2.154983444577710203209932998912481799130119359129312619097943665146920310749470888552481278209314910809252843817019787266752452526674458152150811156957760884959916694628368635605154970619750750724185471661984460686e-155",
      "low_run": {
        "steps": 54,
        "last_term_max": "1.114269994910963519279896385388724288860807845063811330449494357196080318789413934253636440629560955314905919402057391849323934963141552368768769395217787e-184",
        "working": 150,
        "order": 160,
        "divisor": 12,
        "start": "1/2"
      },
      "high_run": {
        "steps": 56,
        "last_term_max": "2.259799146845068573617934449261293566140894615405101264254285533896097485709725376984009863649551827134796430105897965896569791995877587956473160907187088622864071869913987991312911578880716563491557517070663896448e-260",
        "working": 210,
        "order": 210,
        "divisor": 18,
        "start": "2/3"
      },
      "closed_form_relative_error": "1.894817827039225345597590945741622102556077276077473956046500199787822738179169858972007720729180499058645867194237373264453099644430146226112081864196383062391574680125920978090208946670377786727907952633773721738e-215"
    },
    "1": {
      "low": "3.141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128481",
      "high": "3.141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128481117450284102701938521105559644622948954930381964428810975666",
      "relative_difference": "1.019278230276234645629674290830877234326847832807016360323530793119237437922731217627042268911434626999302854277815995808640990019816801735960282185406087593210764013547997220670455547221729802475335518327669877419e-155",
      "low_run": {
        "steps": 57,
        "last_term_max": "7.762221926850198541667229286861465785463974207073777398118870522800373109490506226531859763374062027763151059524485373286469149263182452750337843141939593e-184",
        "working": 150,
        "order": 160,
        "divisor": 12,
        "start": "1/2"
      },
      "high_run": {
        "steps": 61,
        "last_term_max": "9.654105660429293116861669249526730557682198776627244598262638463096582006270909874897173624163165684227756518989064013513918013410276789100908459971705226177910354608513170336012496728967073508807175058072523302695e-260",
        "working": 210,
        "order": 210,
        "divisor": 18,
        "start": "2/3"
      },
      "closed_form_relative_error": "2.954766797326057916987483078718628172029921578062141748114447773414456032653517726617553691264902109613168760041067887201101388127541608745578288972474990965499164335926251476742410887335544127817448887035906311627e-215"
    },
    "1/2": {
      "low": "2.752698054064987853153265640401943056124867186763253690388959098437368899789337892734061373570562117906663278085355250633438422985372424361010432475335960",
      "high": "2.752698054064987853153265640401943056124867186763253690388959098437368899789337892734061373570562117906663278085355250633438422985372424361010432475335960006581458138670296093278016402247799580647582418998767363646",
      "relative_difference": "2.820578975836536599695352270654624996352735679958427321875276044798556874983434377150366057784336936947153525988548489814130042150274041235230248707426920541981610799058522129683007949195683122220229963902973062889e-155",
      "low_run": {
        "steps": 56,
        "last_term_max": "4.238776321604873381862294604123463274892758362235400936160115914781393748944001068016924798903886363928687948568540883017019256926488521714714850363935159e-184",
        "working": 150,
        "order": 160,
        "divisor": 12,
        "start": "1/2"
      },
      "high_run": {
        "steps": 59,
        "last_term_max": "3.041180950789340727596471715407007236533400101311105182771391427329910701077871129588016525785707644113406380637253656914659785081349903084431370802860110112293256902560268169151711364279944462448591657622023470764e-260",
        "working": 210,
        "order": 210,
        "divisor": 18,
        "start": "2/3"
      }
    },
    "3/2": {
      "low": "3.653753736219122424609094280459265817024670389249320696565999634402741397141273940694348477626987161015049689600230945188212521159583607769815019522407663",
      "high": "3.653753736219122424609094280459265817024670389249320696565999634402741397141273940694348477626987161015049689600230945188212521159583607769815019522407662928159389070579485853222801584906527086210448114375525801154",
      "relative_difference": "2.410753751421517358584403002358510636878868866017788680766010422090258502068151115886318669965766139610503591749320374312948198122469937648183282300733861104982061916091885424164009947568973573726008903636965396654e-155",
      "low_run": {
        "steps": 58,
        "last_term_max": "2.529979406667462331514731854894216193717517527967928508986412896666353923745252614457785931447535849184294828806919442341542233850905425656642582056076834e-184",
        "working": 150,
        "order": 160,
        "divisor": 12,
        "start": "1/2"
      },
      "high_run": {
        "steps": 62,
        "last_term_max": "1.648086153666143930275255556880423296350936481127605884089425622976301413876347198784698740691904473055389860965624592999672537840119468261374626658430857673586138784308581167156051797471164722613797166685813050993e-259",
        "working": 210,
        "order": 210,
        "divisor": 18,
        "start": "2/3"
      }
    },
    "2": {
      "low": "4.352874595946124676973570061526142628112365363213008835302151694123582204698220445791064674344506139556111630862891372136086968986706146146645197945478618",
      "high": "4.352874595946124676973570061526142628112365363213008835302151694123582204698220445791064674344506139556111630862891372136086968986706146146645197945478618430812491391614397009037025958004946400731845598346278518073",
      "relative_difference": "2.060829905851678834195539818212539931234311420118785426844807396528241557113608322431589181612810764822842873299466510459916817789400060572403649269857142911580963055581803557288122032897780844354551041666549294510e-155",
      "low_run": {
        "steps": 59,
        "last_term_max": "2.268279685581632595023593604861085529015109765866950140262593311804075816345113684480850053631617874530245886140726795405715094120156526336881780885601804e-184",
        "working": 150,
        "order": 160,
        "divisor": 12,
        "start": "1/2"
      },
      "high_run": {
        "steps": 63,
        "last_term_max": "8.462808711756609422712220855583946774729241259643968154032111783467344149577777378726712154989057378747017012720847600009672010173945196184216615470577043831509972783226442180586852239973583544490323546950651157993e-260",
        "working": 210,
        "order": 210,
        "divisor": 18,
        "start": "2/3"
      }
    },
    "5/2": {
      "low": "5.355275459010779459909360002973632473230913893154022969235420929234514705181751415720738708551783531535539017347186993894919806229576426346926753729851395",
      "high": "5.355275459010779459909360002973632473230913893154022969235420929234514705181751415720738708551783531535539017347186993894919806229576426346926753729851395003771487564846283416507868487250564061328098029399488612114",
      "relative_difference": "4.284911326699286508597498173913153296189318710588100478718041735246532817439500743677361650978786005787407414603635293690913334666632728797693332780334048022013012574782426136029230188979447233687403077592265242526e-155",
      "low_run": {
        "steps": 60,
        "last_term_max": "2.154324345855998113759695584422394864768698221419599704621524151134799921462720315515216590172740441915938967374784436067400894754851094912027936336009515e-184",
        "working": 150,
        "order": 160,
        "divisor": 12,
        "start": "1/2"
      },
      "high_run": {
        "steps": 64,
        "last_term_max": "4.638392720582081555954043438545755535791897279453194879004871437260699082294266535463623665461808147206563771841922013168826341698115925864851650066976036425159841388437760350255400808201030290232218447000115874022e-260",
        "working": 210,
        "order": 210,
        "divisor": 18,
        "start": "2/3"
      }
    },
    "3": {
      "low": "6.896848619376960375454528187123121276972189114184943529563510118684484825312554196016663314890901153261162819220240087531163623348164903044206589300163596",
      "high": "6.896848619376960375454528187123121276972189114184943529563510118684484825312554196016663314890901153261162819220240087531163623348164903044206589300163596781973076562113546839743105249241502419828659267888037580207",
      "relative_difference": "5.291668924835427001684556653850254989897029601283824036754465312487215963846269675343945605094729699204257481707458714105963385950747455753444619633754372613210583188978901738232009602513628242584308771631224900962e-155",
      "low_run": {
        "steps": 61,
        "last_term_max": "3.781483752090888617447012042406556010979135535023713967692854480860082113039152353383243851474758438150050945361869584986306152943599663082655227352733702e-184",
        "working": 150,
        "order": 160,
        "divisor": 12,
        "start": "1/2"
      },
      "high_run": {
        "steps": 65,
        "last_term_max": "3.537040432718088482427726425732722004314619075252247913713939632634018290085107302013440688481033496777462819366826867272199572618442442900258798651919981434824637303927544407580396641642801647830688343490033191383e-260",
        "working": 210,
        "order": 210,
        "divisor": 18,
        "start": "2/3"
      }
    },
    "7/2": {
      "low": "9.535805344244850444104742625789381201938299334375507881439175962001748965444840018273455974203489162450488544960739090379850930795844033193091847363608415",
      "high": "9.535805344244850444104742625789381201938299334375507881439175962001748965444840018273455974203489162450488544960739090379850930795844033193091847363608415586134476621880646591521087838761042891283619235887060484202",
      "relative_difference": "5.882809327044483603788695812283626849828338034454499349266127232520957451017315391212359490604281379891357712789956072810633009378706077057354007917840963595915833435359948215094452845105711637940824484043478047985e-155",
      "low_run": {
        "steps": 62,
        "last_term_max": "5.102873835245870256000708842069005008429722837563964431049293855112831707948145400347197359259365776996124930665735137933590701567740593030275033068032971e-184",
        "working": 150,
        "order": 160,
        "divisor": 12,
        "start": "1/2"
      },
      "high_run": {
        "steps": 67,
        "last_term_max": "9.756020504373597965137712521360985202481153286966131830602294708528804451506705807752307356319780399397615407584970704684616832163796062499807021515082750364956233981045396802997895722559315516995753240453142527383e-260",
        "working": 210,
        "order": 210,
        "divisor": 18,
        "start": "2/3"
      }
    },
    "4": {
      "low": "14.97154634883809509761106621836539574691859481089739149722087527931063319472756524579210010458397593338096980062310111312198947356123610468930808920993621",
      "high": "14.97154634883809509761106621836539574691859481089739149722087527931063319472756524579210010458397593338096980062310111312198947356123610468930808920993621895134962988449101150830772961242000606107298975550524796881",
      "relative_difference": "4.306999570113871485792720508444534461093372012220003377763156837675001913385837731371564231249720460742532908750068208685545195773169923570500800444045422842741048499346682948989975005757696992878593972690881963390e-154",
      "low_run": {
        "steps": 64,
        "last_term_max": "1.940444828330311158819847859923737786295849460912661297480747711691616682486704092949225253939985061283205119334301177422490506865392970372940014420410649e-184",
        "working": 150,
        "order": 160,
        "divisor": 12,
        "start": "1/2"
      },
      "high_run": {
        "steps": 69,
        "last_term_max": "3.634425144294898356835181443815865270676469795451888966875202474452314463302648013713239290544220441680712060569659436491990822076991003022167084597436717796354695033038978630212188234912267484160889177265615409760e-260",
        "working": 210,
        "order": 210,
        "divisor": 18,
        "start": "2/3"
      }
    },
    "9/2": {
      "low": "31.83646324469428526438280928066527469188343951039946735959427977287447144393742413890540998153078739712349101241283603587052360476955323604636430023029794",
      "high": "31.83646324469428526438280928066527469188343951039946735959427977287447144393742413890540998153078739712349101241283603587052360476955323604636430023029792929434136291178737382493511800725094449568303838292018728556",
      "relative_difference": "3.543810250312911327169001619161353633560769608147169185208804149638549145030665122612788598468367390160974964479423506421184832182939641163992956420948483815516581586422415028843500358843103144660103589452187073824e-154",
      "low_run": {
        "steps": 67,
        "last_term_max": "2.220196784538859797060391357827740925179586953171746780105169126416611690051241840258136955510951556622638890349107704960337790442233510120764831554469902e-184",
        "working": 150,
        "order": 160,
        "divisor": 12,
        "start": "1/2"
      },
      "high_run": {
        "steps": 73,
        "last_term_max": "8.572143876889891753591229040430640050618657572014609851183987817843239957453737193679266906632037901588846436079066294210711921182120868228606344578994299998352506837010249067562363566314510019586200423797682974585e-260",
        "working": 210,
        "order": 210,
        "divisor": 18,
        "start": "2/3"
      }
    }
  },
  "versions": {
    "sage": "10.9",
    "python": "3.12.3"
  },
  "skill_manifest": "../20261030T005732Z-build-skills/manifest.json",
  "skill_sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199"
}