back to table · edit · history · where entries came from · files · download
15398 bytes, as of the version from 2026-10-27 01:14 (current). Recorded here, not run.
{
"tid": "T493",
"count": 6,
"all_passed": true,
"controls": [
"pi_interval",
"displaced_value_rejected",
"integral_t_equals_half"
],
"minimum_accuracy_bits": 633,
"records": [
{
"params": {
"nu": "0",
"x": "critical-1"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 691,
"argument": "[2.665839793017557657801362682527126371385367682487405671009630499348708657561784997729679652470015484916923974763263202769962876443 +/- 2.52e-130]",
"root_certificate": {
"lower": "3423505762457993182660657519033771889542393414286147262961876678914979846596009729627576485287786803888285481364726514328991932218708593428468689261524853206126941057489059785606829102225807373293075257451788568548383261813825839914906223066845324685602850044391253212768824036820373585544990778379396025577563660120510684908760579184163570720171145315045737823563474138052062878322919796059035210099169615315368228569/1284212866588958375791257295625031412487875928423626430541572486100764686107685747586344369208395617975337638880902885183842634826705030240021439152991181848133599529084092919480386659639727225896311829037056000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "3423505762457993182660657519033771889542393414286147262961876678914979846596009729627576485287786803888285481364726514328991932218708593428468689261524853206126941057489059785606829102225807373293075257451788571116808994991742591497420814316908149661354706891644114295913796238349745800916485951068134442368799610795788446714530946869433224130231625357924043805927170405251121046508758756832354489553621407939026302681/1284212866588958375791257295625031412487875928423626430541572486100764686107685747586344369208395617975337638880902885183842634826705030240021439152991181848133599529084092919480386659639727225896311829037056000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"2729/1024",
"1365/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": "0.0"
},
{
"params": {
"nu": "0",
"x": "critical-2"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 679,
"argument": "[7.172122124762569140714416379562589255918179957853642312233416916674792469524780136246032005156609245197699857062508117309512789534 +/- 4.93e-130]",
"root_certificate": {
"lower": "4605265756683714941648360942293905091206058545643966156943311014974794182110734036763560701278498339675899550917542304390857720350416192652153892617025025748443209423647412345293315610274356400370438218741766864709253663014245223791450783461294393961759926155171584687544007169172541365226335416459128111641858686063365665357873813286400606648873518631601779409113200955987721391770837738560641698153738679193938997097/642106433294479187895628647812515706243937964211813215270786243050382343053842873793172184604197808987668819440451442591921317413352515120010719576495590924066799764542046459740193329819863612948155914518528000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "4605265756683714941648360942293905091206058545643966156943311014974794182110734036763560701278498339675899550917542304390857720350416192652153892617025025748443209423647412345293315610274356400370438218741766865993466529603203599582708079086325806449635854578798015229116493269937227472912083002803497320037476661401004546260758997129035433353903758653040932400295049089587250475863757218947301337880964575505768034153/642106433294479187895628647812515706243937964211813215270786243050382343053842873793172184604197808987668819440451442591921317413352515120010719576495590924066799764542046459740193329819863612948155914518528000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"459/64",
"7345/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": "0.0"
},
{
"params": {
"nu": "0",
"x": "critical-3"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 667,
"argument": "[11.63218639475546117268643804934396825888880185309249693783340912631900656304769302252832557583977530490868182238047362218485551357 +/- 3.04e-129]",
"root_certificate": {
"lower": "1867275429338248970960463601280119515281758680924389513943584270123388454919166210356185092369241943166117067996854274676891806152917202866892560507496329737961755711549249262703377119759222287646854394639677019474061663010998258698727633865394440208152835322685440334766996814938115507634376134920625068454473825020502427344579498274632642947747721365602750662041317578005033714177923339284912316730723903006187385993/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "1867275429338248970960463601280119515281758680924389513943584270123388454919166210356185092369241943166117067996854274676891806152917202866892560507496329737961755711549249262703377119759222287646854394639677019795114879658237852646541957771652293330121817428592047970160118340129287034555813031506717370553378318854912147570300794235291349624005281370962538909836779611404915985201153209381577226662530377084144645257/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"11911/1024",
"1489/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": "0.0"
},
{
"params": {
"nu": "0",
"x": "critical-4"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 656,
"argument": "[16.08312024940574982347773537689874704668923495350638029644269229703186538764279607599610755963936422324313205475170742122919765273 +/- 1.47e-129]",
"root_certificate": {
"lower": "2581768744898035144679103500125711042795784051863668821890066968108795610408721834295184326140544828231868231939017952656096425652065855054670151590782371730142084131746621537379915101338714638693523784192180624269967250402128002279621082219382679695175530822487984291694789047174648814043175138671066104978885188863276073754037989815909615534514235465351374663080805478710081115972723860486890288671956584280601448493/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "2581768744898035144679103500125711042795784051863668821890066968108795610408721834295184326140544828231868231939017952656096425652065855054670151590782371730142084131746621537379915101338714638693523784192180624591020467049367596227435406125640532817144512928394591927087910572365820340964612035257158407077789682697685793979759285776568322210771795470711162910876267512109963386995953730583555198603763058358558707757/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"16469/1024",
"8235/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": "0.0"
},
{
"params": {
"nu": "0",
"x": "critical-5"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 645,
"argument": "[20.53067845477287585277766596224337488999675398274708599183400158147230409617990360189210145477579053073957308545904349477679385335 +/- 2.28e-129]",
"root_certificate": {
"lower": "3295720178927505164321674191745321272371450293019837040943132821083938593136502122246847680344991624342867446837997520538615237715786538525335942011692767204920249009371357580311161217295553360470020451157338879956396772964207967969485686848520591508619243673022534906967809448368354261940197523477409722507680359144556382409570521873868533538010303823635829408159957398131314998218560215682824008768902346914878792243/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "3295720178927505164321674191745321272371450293019837040943132821083938593136502122246847680344991624342867446837997520538615237715786538525335942011692767204920249009371357580311161217295553360470020451157338880277449989611447561917300010754778444630588225778929142542360930973559525788861634420063502024606584852978966102635291817834527240214267863828995617655955419431531197269241790085779488918700708820992836051507/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"21023/1024",
"657/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": "0.0"
},
{
"params": {
"nu": "0",
"x": "critical-6"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 633,
"argument": "[24.97661704717158696608182132508932398525528778228399522792831612300786471452053732235862956193242472318549965735637096370813219390 +/- 4.64e-129]",
"root_certificate": {
"lower": "250588226373772411721426462646208246887295049824771997682112925593155391651244329949790563227650077058411801045939695326771838595165033331915725610208549765092778176807839765337367516450280442947898635357865666223387219311854574799130302431360638966554760519495526572211451191463650410359434060723641845791095331116973698420476804399329780491557068582489814659271415758567553956354454951691110151682893815476811882523/10032913020226237310869197622070557910061530690809581488606035047662224110216294903018315384440590765432325303757053790498770584583633048750167493382743608188543746320969475933440520778435368952314936164352000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "250588226373772411721426462646208246887295049824771997682112925593155391651244329949790563227650077058411801045939695326771838595165033331915725610208549765092778176807839765337367516450280442947898635357865666243453045352307049420868697675501754786677821901114689549423521286788098630792023866760272614672276861981624305934584385396870949658823166082824801424758632135655046598293406818572151708553631720106684211227/10032913020226237310869197622070557910061530690809581488606035047662224110216294903018315384440590765432325303757053790498770584583633048750167493382743608188543746320969475933440520778435368952314936164352000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"3197/128",
"25577/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": "0.0"
}
],
"retained_identifiers_and_text": []
}