back to table · edit · history · where entries came from · files · download
15745 bytes, as of the version from 2026-10-27 01:14 (current). Recorded here, not run.
{
"tid": "T491",
"count": 7,
"all_passed": true,
"controls": [
"pi_interval",
"displaced_value_rejected",
"integral_t_equals_half"
],
"minimum_accuracy_bits": 686,
"records": [
{
"params": {
"nu": "0",
"x": "0"
},
"stored_interval_contains_ball": true,
"accuracy_bits": null,
"argument": "0",
"root_certificate": null,
"mpmath_160_digits": true,
"mpmath_210_digits": true
},
{
"params": {
"nu": "0",
"x": "critical-1"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 695,
"argument": "[3.772673304934952913680167347747521657243650925871628619774952661941570548007182359032711641196152792900407744322803038952452674490 +/- 4.09e-130]",
"root_certificate": {
"lower": "4844915599634155366917782942292630380773113271145914067647960037987131021306912723780570974634662816722940604007394189237627460394495845571821527341258896182809919043388306723773767044083699005716326491803378243852641784768223902198449133024928107403249047522940891461863932209925217874523872002721649956467939915061465131584256332501964708392316589907696188124179897469105555454704200594673205845218250158833434634819/1284212866588958375791257295625031412487875928423626430541572486100764686107685747586344369208395617975337638880902885183842634826705030240021439152991181848133599529084092919480386659639727225896311829037056000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "4844915599634155366917782942292630380773113271145914067647960037987131021306912723780570974634662816722940604007394189237627460394495845571821527341258896182809919043388306723773767044083699005716326491803378246421067517946140653780963724274990932379000904370193752545008904411454590089895367175410388373259175865736742893390026700187234361802377069950574494106543593736304613622890039555446525124672701951457092708931/1284212866588958375791257295625031412487875928423626430541572486100764686107685747586344369208395617975337638880902885183842634826705030240021439152991181848133599529084092919480386659639727225896311829037056000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"3863/1024",
"483/128"
]
},
"independent_argument_policy": "Evaluate at the certified bracket midpoint; the rigorous Arb value separately propagates the entire argument ball.",
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"integral_relative_error": "7.812647442e-151"
},
{
"params": {
"nu": "0",
"x": "critical-2"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 693,
"argument": "[8.280987849760042296055902745353050623103097877289549711128994765613846943668645631025647998032042628023924600705009932884750339353 +/- 7.69e-131]",
"root_certificate": {
"lower": "1329318893091084810405122757818542213924090892846148630776207376428124137658403300971271313071399540095734905662096002675232470684837343298851629327292699597150945429321878095709014740221312563431918976475518587764379443021470431915418790153034821734427236743845375871078797514364980903674581314997668287915275386971620532453258507295784262666452800575541925998749246765180435186731660731275492679929838702505699104743/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "1329318893091084810405122757818542213924090892846148630776207376428124137658403300971271313071399540095734905662096002675232470684837343298851629327292699597150945429321878095709014740221312563431918976475518588085432659668710025863233114059292674856396218849751983506471919039556152430596018211583760590014179880806030252678979803256442969342710360580901714246544708798580317457754890601372157589861645176583656364007/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"8479/1024",
"265/32"
]
},
"independent_argument_policy": "Evaluate at the certified bracket midpoint; the rigorous Arb value separately propagates the entire argument ball.",
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"integral_relative_error": "1.757001717e-150"
},
{
"params": {
"nu": "0",
"x": "critical-3"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 691,
"argument": "[12.74214752363421623755906727575214620344526724637619928125105520695423189320405453602596457702142402608288031293653023279710934836 +/- 3.06e-129]",
"root_certificate": {
"lower": "4090907449456423519927916477539469796305544057590410048125271587718186477163565326252080267374986476075597353048140014621317705207547560474991704112630531751264808628099242489266648461999977267690807832230805502983380294506155948739311146365713464750067673635047087274618373229429046730296302405793918054930412226154965113197656000267745322292734745093811609634172666889213622069454278366421013687078865618359786881361/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "4090907449456423519927916477539469796305544057590410048125271587718186477163565326252080267374986476075597353048140014621317705207547560474991704112630531751264808628099242489266648461999977267690807832230805503625486727800635136634939794178229170994005637846860302545404616279811389784139176198966102659128221213823784553649098592189062735645249865104531186129763590956013386611500738106614343506942478566515701399889/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"13047/1024",
"1631/128"
]
},
"independent_argument_policy": "Evaluate at the certified bracket midpoint; the rigorous Arb value separately propagates the entire argument ball.",
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"integral_relative_error": "3.500940644e-150"
},
{
"params": {
"nu": "0",
"x": "critical-4"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 689,
"argument": "[17.19343175251253720373206628707546604846285789337818260599638837621489833080059082881307411775566179421308941513502615035137817735 +/- 4.39e-129]",
"root_certificate": {
"lower": "690000821168616991955437410383464352606535545198274958390614696178038632690708538975786039599253984701736160446625086182604699208788615990730678505659209413932135003369706405778523888417770281475685241044155097117339314757714437520608549126347475090810752932471418441129767951352876470849348277030892811377090467779289410932928539389151937076884983498422044412981461711950570620278925978075334448750715982274679170717/40131652080904949243476790488282231640246122763238325954424140190648896440865179612073261537762363061729301215028215161995082338334532195000669973530974432754174985283877903733762083113741475809259744657408000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "690000821168616991955437410383464352606535545198274958390614696178038632690708538975786039599253984701736160446625086182604699208788615990730678505659209413932135003369706405778523888417770281475685241044155097197602618919524336007562130102911938371302998458948070349978048332650669352579707501177415886901816591237891840989358863379316613745949373499761991474930327220300541188034733445599500676233667600794168485533/40131652080904949243476790488282231640246122763238325954424140190648896440865179612073261537762363061729301215028215161995082338334532195000669973530974432754174985283877903733762083113741475809259744657408000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"8803/512",
"17607/1024"
]
},
"independent_argument_policy": "Evaluate at the certified bracket midpoint; the rigorous Arb value separately propagates the entire argument ball.",
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"integral_relative_error": "3.573665721e-150"
},
{
"params": {
"nu": "0",
"x": "critical-5"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 688,
"argument": "[21.64114394116732626639805038478709847761364305841406189718251045738888281606080617564380091117894636256802337134529526363799150161 +/- 1.66e-129]",
"root_certificate": {
"lower": "3473979437118845054497854611441568485360826303853173810209044303505650916639686535169876730317872279425063456286341556201838849097050505885926360788974943757277284671585653277447856217687127626802403058043672215522305645715695915839556167305958376457229877796001247687782002196493504498287736901829599162654431612166708713552919054883737813430702738058936980286637108654807543386783191404411350476226316020315757698493/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "3473979437118845054497854611441568485360826303853173810209044303505650916639686535169876730317872279425063456286341556201838849097050505885926360788974943757277284671585653277447856217687127626802403058043672215843358862362935509787370491212216229579198859901907855323175123721684676025209173798415691464753336106001118433778640350844396520106960298064296768534432570688207425657806421274508015386158122494393714957757/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"1385/64",
"22161/1024"
]
},
"independent_argument_policy": "Evaluate at the certified bracket midpoint; the rigorous Arb value separately propagates the entire argument ball.",
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"integral_relative_error": "4.824513664e-150"
},
{
"params": {
"nu": "0",
"x": "critical-6"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 686,
"argument": "[26.08716353019233089634150401524465888016714317433636672676934245572981513653388598904960034830321985857274253611112559149603864832 +/- 2.84e-129]",
"root_certificate": {
"lower": "2093841941142701515834629305860460497839292951169789899744822087740952953283522507870006913751104350871984370993140701317958663045629276845311188447114108584484732753523032750321747676825142488699188965859808071653807887560341907010225580672361269144499818434372344081631609451160246755257976337101120788461124453890930360723592223530440520799941274465764977704232843287553664473379896674810195449575089477214153263309/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "2093841941142701515834629305860460497839292951169789899744822087740952953283522507870006913751104350871984370993140701317958663045629276845311188447114108584484732753523032750321747676825142488699188965859808071814334495883961703984132742625490195705484309487325647899328170213755832518718694785394166939510576700808135220836452871510769874138070054468444871828130574304253605608891511609858527904540992714253131892941/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"26713/1024",
"13357/512"
]
},
"independent_argument_policy": "Evaluate at the certified bracket midpoint; the rigorous Arb value separately propagates the entire argument ball.",
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"integral_relative_error": "7.223596567e-150"
}
],
"retained_identifiers_and_text": []
}