back to table · edit · history · where entries came from · files · download
190788 bytes, as of the version from 2026-10-27 01:07 (current). Recorded here, not run.
{
"tid": "T187",
"count": 72,
"all_passed": true,
"controls": [
"pi_interval",
"displaced_value_rejected",
"integral_t_equals_half"
],
"minimum_accuracy_bits": 664,
"records": [
{
"params": {
"nu": "0",
"x": "critical-1"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 692,
"argument": "[3.831705970207512315614435886308160766564545274287801928762298989918839309519011470214112874757423126724474733097239859607708293539 +/- 3.43e-130]",
"root_certificate": {
"lower": "4920726107926215330288591430342501961689644040642848821909945780531424627941196352615392797862237346159951845561524050857568363585864193508224126147167867013199663354167190292525224981686658113024606095532728146267464815596839773068444176121510881682868780953073163720129023681021599035146696065872037197502846011558774617081876086411612317127425933091034997561434013605738113120079942912010632202189514044331481509819/1284212866588958375791257295625031412487875928423626430541572486100764686107685747586344369208395617975337638880902885183842634826705030240021439152991181848133599529084092919480386659639727225896311829037056000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "4920726107926215330288591430342501961689644040642848821909945780531424627941196352615392797862237346159951845561524050857568363585864193508224126147167867013199663354167190292525224981686658113024606095532728148835890548774756524650958767371573706658620637800326024803273995882550971250518191238560775614294081962234052378887646454096881970537486413133913303543797709872937171288265781872783951481643965836955139583931/1284212866588958375791257295625031412487875928423626430541572486100764686107685747586344369208395617975337638880902885183842634826705030240021439152991181848133599529084092919480386659639727225896311829037056000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"3923/1024",
"981/256"
]
},
"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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "0",
"x": "critical-2"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 688,
"argument": "[7.015586669815618753537049981476524743276311502911313896055377826985496015502018663072714930179466457806607184098476711882025170377 +/- 2.80e-131]",
"root_certificate": {
"lower": "2252376667011799995330141275045311975251987004570596076748676856220033357737225487981593985483778987212539994200899947059099964457760638256635929485710470069654412603973511939397695965043696018173254439040094652700896701632366470105131867723248892082314026582163117259371837675210928577058526757727236318812984974132572881168869589199057757915614720502672158628609222120097827725038041328089994693447860331189376725111/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "2252376667011799995330141275045311975251987004570596076748676856220033357737225487981593985483778987212539994200899947059099964457760638256635929485710470069654412603973511939397695965043696018173254439040094653343003134926845658000760515535764598326251990793976332530158080725593271630901400550899420923010793961801392321620312181120375171268129840513391735124200146186897592267084501068283324513311473279345291243639/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"7183/1024",
"449/64"
]
},
"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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "0",
"x": "critical-3"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 682,
"argument": "[10.17346813506272207718571177677584406981951250019168555611465006811578704378288387382891893264510928871863427616301419078762225566 +/- 4.52e-129]",
"root_certificate": {
"lower": "3266224669220080669373697084109085404557420431624609541195602524755510519999298386714629075318014870337299994132572948703761313261995766902143978215093907208166571377626936141690626883432556910380749444158953258820694643628403039044873537800722366508705994746292091072335600169161568990460809976432801574520649972074223706885061287604573931528672483531994646427693197742781671622980110007275462465633662790906173600111/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "3266224669220080669373697084109085404557420431624609541195602524755510519999298386714629075318014870337299994132572948703761313261995766902143978215093907208166571377626936141690626883432556910380749444158953259462801076922882226940502185613238072752643958958105306343121843219543912044303683769604986178718458959743043147336503879525891344881187603542714222923284121809581436165026569747468792285497275739062088118639/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"10417/1024",
"5209/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "0",
"x": "critical-4"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 678,
"argument": "[13.32369193631422303239368412694787675121664473135786578547757152649656706334730478254711901794883995110944535805700026845148197864 +/- 2.55e-129]",
"root_certificate": {
"lower": "267350884610660590614815635449712930876742763545477585281218620980795940702395131564948781445753289386496539182446259946464186575484612641421471038380337126801419333614173200199454040263885180273388508634994818377030806408167352771626918474667692793771024299294315005329560538731037363278366314537235525816847899786569136890728824816871278666343018212680774230177275153222604865144847816988032658310433989443613999421/20065826040452474621738395244141115820123061381619162977212070095324448220432589806036630768881181530864650607514107580997541169167266097500334986765487216377087492641938951866881041556870737904629872328704000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "267350884610660590614815635449712930876742763545477585281218620980795940702395131564948781445753289386496539182446259946464186575484612641421471038380337126801419333614173200199454040263885180273388508634994818417162458489072302015103708962949924434017147062532640959753700729379933804143545926610497063579210961515870351918943986811953617000875213213350747761151707907397590149022751550750115772051909798703358656829/20065826040452474621738395244141115820123061381619162977212070095324448220432589806036630768881181530864650607514107580997541169167266097500334986765487216377087492641938951866881041556870737904629872328704000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"13643/1024",
"3411/256"
]
},
"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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "0",
"x": "critical-5"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 674,
"argument": "[16.47063005087763281255246047098955144943812682227312576994442000794444256764074389900293149702940015446590398027402342834344765841 +/- 2.35e-129]",
"root_certificate": {
"lower": "1321987189510237885782950010826661732794496020090852375098908239887154345558857860552723862581976076151872492949663100844364630431830864351704794355379124949637839575001739845105317804014075160041473799859532965995520001163583376564004802890198224582421282472740334051085081358937111791826533084974672142166883162003615973337398802247426032380351998781062530450551371486039635318779325371774800928144954703959758732059/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "1321987189510237885782950010826661732794496020090852375098908239887154345558857860552723862581976076151872492949663100844364630431830864351704794355379124949637839575001739845105317804014075160041473799859532966156046609487203173537911964843327151143405773525693637868781642121532697555287251533267718293216335408920820833450259450227755385718480778783742424574449102502739576454290940306823133383110857940998737361691/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"16865/1024",
"8433/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "0",
"x": "critical-6"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 670,
"argument": "[19.61585851046824202112506588413750985024740266188054464735144476447080110172729827148538916115751769896779672544614883395267073334 +/- 2.05e-129]",
"root_certificate": {
"lower": "3148867236041479532000892608716493506847506702729999679326160585413161555901121874611516680814423168511450415913125266057392203530342540988788957716272347552410731435480228275693445334273331300715689326410800357794083280967238083665510678607863299861668183081559284410149572758690483788206284607933438466551812209774076217610214107701671087795496624357653485551495935909294976048727815050788645266226039454763999885993/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "3148867236041479532000892608716493506847506702729999679326160585413161555901121874611516680814423168511450415913125266057392203530342540988788957716272347552410731435480228275693445334273331300715689326410800358115136497614477677613325002514121152983637165187465892045542694283881655315127721504519530768650716703608485937835935403662329794471754184363013273799291397942694858319751044920885310176157845928841957145257/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"10043/512",
"20087/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "1/2",
"x": "critical-1"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 697,
"argument": "[1.165561185207211306833917977958560669134538847693057287554868646696615408716358336921077128552196507043729673252278890559423817383 +/- 2.41e-130]",
"root_certificate": {
"lower": "2993657341679553317483526386660366280791661153536538394307869696840406138094418256466925593759996959105363094232890307074169667781135627488679925130920099625347621170566099546723291869143175976729714523235144381729131629742589310462214787426790322456632229556727124414936486820565453115757378862374112470332263502410415217308083921505142605392909470619912650914522574757632219167989788862649154459446865326974730597763/2568425733177916751582514591250062824975751856847252861083144972201529372215371495172688738416791235950675277761805770367685269653410060480042878305982363696267199058168185838960773319279454451792623658074112000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "2993657341679553317483526386660366280791661153536538394307869696840406138094418256466925593759996959105363094232890307074169667781135627488679925130920099625347621170566099546723291869143175976729714523235144386865983096098422813627243969926915972408135943251232846581226431223624197546500369207751589303914735403760970740919624656875681912213030430705669262879249967292030335504361466784195793018355768912222046745987/2568425733177916751582514591250062824975751856847252861083144972201529372215371495172688738416791235950675277761805770367685269653410060480042878305982363696267199058168185838960773319279454451792623658074112000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"1193/1024",
"597/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
},
{
"params": {
"nu": "1/2",
"x": "critical-2"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 691,
"argument": "[4.604216777200576514595972472290479316827791736057128222291972818414462400763212682982350243448451593304834842941660381454332374248 +/- 4.58e-130]",
"root_certificate": {
"lower": "2956397212922863928776246674697997858917931578757200690049884321362057044762854168502779967038553071022910922698464035188632414818802782352338399327761444321871767539107534755959690015066676485221773122481143274806814924356100678416181773710010022758513284507255300477658639248171178150430898229194156266632392169154574959409669951188026011416304595205629354496687100922434694375661988215681032558517579736017669465847/642106433294479187895628647812515706243937964211813215270786243050382343053842873793172184604197808987668819440451442591921317413352515120010719576495590924066799764542046459740193329819863612948155914518528000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "2956397212922863928776246674697997858917931578757200690049884321362057044762854168502779967038553071022910922698464035188632414818802782352338399327761444321871767539107534755959690015066676485221773122481143276091027790945059054207439069335041435246389212930881731019231125348935864258116645815538525475028010144492213840312555135030660838121334835227068507487868949056034223459754907696067692198244805632329498502903/642106433294479187895628647812515706243937964211813215270786243050382343053842873793172184604197808987668819440451442591921317413352515120010719576495590924066799764542046459740193329819863612948155914518528000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"2357/512",
"4715/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
},
{
"params": {
"nu": "1/2",
"x": "critical-3"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 687,
"argument": "[7.789883751144572773668545761473120417005226057379907952652093457764440508558252749226325076214336084763713652258870982826518374432 +/- 2.78e-130]",
"root_certificate": {
"lower": "1250483617806514982961908350925830962986701193646997069193862203296088517221587883205799409622630618250746694507538572272938310548172184516929291458478286161559607908352143091136417277618752351124019186603046597238424187444436096300049820657892673231832426461411415517438220710350073600527697498613468155892399699221860258719864082361250692492975779583286780810453577699450117579987800805120510148486600444143882698493/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "1250483617806514982961908350925830962986701193646997069193862203296088517221587883205799409622630618250746694507538572272938310548172184516929291458478286161559607908352143091136417277618752351124019186603046597559477404091675690247864144564150526353801408567318023152831342235541245127449134395199560457991304193056269978945585378321909399169233339588646569058249039732849999851011030675217175058418406918221839957757/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"997/128",
"7977/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
},
{
"params": {
"nu": "1/2",
"x": "critical-4"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 681,
"argument": "[10.94994364854115933317149864248417147591322094133551919709456415330557388630160282819249060995258019300090150198696299564840094274 +/- 3.00e-129]",
"root_certificate": {
"lower": "878878657617537498279088391328227738934360081052167159854296555411702263808022671368711645968073833732967627408512848807046507295114498496098598063587159927329222481913753747214062700125852024628723747889340598968978809428661801741736876546393994966627224910678821791443392772219627714866360224741963029894115347116415203470201334116048972231193131189148870536142408360980687766819649324002282569020294212016399357059/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "878878657617537498279088391328227738934360081052167159854296555411702263808022671368711645968073833732967627408512848807046507295114498496098598063587159927329222481913753747214062700125852024628723747889340599129505417752281598715644038499522921527611715963632125609139953534815213478327078673035009180943567594033620063583061982096378325569321911191828764660040139377680628902331264259050615023986197449055377986691/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"2803/256",
"11213/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
},
{
"params": {
"nu": "1/2",
"x": "critical-5"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 677,
"argument": "[14.10172513356587324280698983181301467055692996938668345334476031462078642877417423900703429930896901902623529678346692046226186820 +/- 4.75e-129]",
"root_certificate": {
"lower": "141481381700204625058262389454046112979116194122347775874664658385155371686723117771391507224856617427279485872650853044179577238392808598390526289824326035137165492165951760551513164490766312613735869207220126795894822191410758606455427124938985268761900065409491738117811564840241849826954305279699003216745348210407854313411888484951483431927380628492837163519847892774577825531277424273099283550779405076421257523/10032913020226237310869197622070557910061530690809581488606035047662224110216294903018315384440590765432325303757053790498770584583633048750167493382743608188543746320969475933440520778435368952314936164352000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "141481381700204625058262389454046112979116194122347775874664658385155371686723117771391507224856617427279485872650853044179577238392808598390526289824326035137165492165951760551513164490766312613735869207220126815960648231863233228193822369080101088884961447028654715329881660164690070259544111316329772097926879075058461827519469482492652599193478128827823929007064269862070467470229291154140840421517309706293586227/10032913020226237310869197622070557910061530690809581488606035047662224110216294903018315384440590765432325303757053790498770584583633048750167493382743608188543746320969475933440520778435368952314936164352000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"1805/128",
"14441/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
},
{
"params": {
"nu": "1/2",
"x": "critical-6"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 673,
"argument": "[17.24978183460789598955488145112377999394305389049408020637497058741294400643653775479608696297151424290290616175015438836026972607 +/- 2.98e-129]",
"root_certificate": {
"lower": "1384524486115996724190023830086800315692237252626306169441491439477784915507775029615089919256077504905455890448066387296693638033602205390308111988356583825460442866955639061365386750545232508827492602816722048535124475356267147518083355908689454580517079537504373521309113837095712095015805991592814474004640681161550467418765494008617340209449335551252842464904553079218855917478755782990672500639461539897258732059/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "1384524486115996724190023830086800315692237252626306169441491439477784915507775029615089919256077504905455890448066387296693638033602205390308111988356583825460442866955639061365386750545232508827492602816722048695651083679886944491990517861818381141501570590457677339005674599691297858476524439885860625054092928078755327531626141988946693547578115553932736588802284095918797052990370718039004955605364776936237361691/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"17663/1024",
"69/4"
]
},
"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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
},
{
"params": {
"nu": "1",
"x": "critical-1"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 696,
"argument": "[1.841183781340659302643629513644443322436127039096819264350467742924229209859065386189335417200937848411140823475134188372906791158 +/- 4.92e-131]",
"root_certificate": {
"lower": "2364471901752586014769136958245421159365837895391050998674704511501904102358353554317473564848657406764774519583846454967394785219894255492464467198170070071984083581220510018954635672224837819012668629253647121792650405403332734709856577315461491017603555587060258553194831821586445177184998852329106471198784369987252653556233291556465862171829802230638317538211326574588807225484862210518225541498610380696227603569/1284212866588958375791257295625031412487875928423626430541572486100764686107685747586344369208395617975337638880902885183842634826705030240021439152991181848133599529084092919480386659639727225896311829037056000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "2364471901752586014769136958245421159365837895391050998674704511501904102358353554317473564848657406764774519583846454967394785219894255492464467198170070071984083581220510018954635672224837819012668629253647124361076138581249486292371168565524315993355412434313119636339804023115817392556494025017844887990020320662530415362003659241735515581890282273516623520575022841787865393670701171291544820953062173319885677681/1284212866588958375791257295625031412487875928423626430541572486100764686107685747586344369208395617975337638880902885183842634826705030240021439152991181848133599529084092919480386659639727225896311829037056000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"1885/1024",
"943/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "1",
"x": "critical-2"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 690,
"argument": "[5.331442773525032636884016183433911367490624775754130020516140520438099002345803295714090772638141308190779462196763053174080335595 +/- 5.84e-131]",
"root_certificate": {
"lower": "3423353703621784480937849483459127210043123331840962228327320997439781991972563463294274734156621517215380635423409894574472402119423351451747808393383007487694078640593048713253012374822220599314942032658249145084367189664074655029910864835099562577372836523391612580466946192295593928685976751219864426194974586503073235038033335244585150695502841251842368072617874419997294888717552237805631991090302171015228059597/642106433294479187895628647812515706243937964211813215270786243050382343053842873793172184604197808987668819440451442591921317413352515120010719576495590924066799764542046459740193329819863612948155914518528000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "3423353703621784480937849483459127210043123331840962228327320997439781991972563463294274734156621517215380635423409894574472402119423351451747808393383007487694078640593048713253012374822220599314942032658249146368580056253033030821168160460130975065248764947018043122039432293060280036371724337564233634590592561840712115940918519087219977400533081273281521063799722553596823972810471718192291630817528067327057096653/642106433294479187895628647812515706243937964211813215270786243050382343053842873793172184604197808987668819440451442591921317413352515120010719576495590924066799764542046459740193329819863612948155914518528000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"5459/1024",
"1365/256"
]
},
"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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "1",
"x": "critical-3"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 686,
"argument": "[8.536316366346285834358960886412051261460447362717899824665702343910839554665157148407185397552970997600207109508481886597567729285 +/- 3.23e-130]",
"root_certificate": {
"lower": "2740611827733951175540239556911387654065329695807928416531412980653362944505859312922911950858049136201467896588008344345045805986552372845332007720184859281796902054836783523630933149109753527059880859791849000293017021772971492532545335680655566603948070338006522108595440297878769000800865888695374972970322395354668574046354456605835076258884074686110939019437320125153227047176539847142513225127967447888595475111/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "2740611827733951175540239556911387654065329695807928416531412980653362944505859312922911950858049136201467896588008344345045805986552372845332007720184859281796902054836783523630933149109753527059880859791849000935123455067450680428173983493171272847886034549819737379381683348261112054643739681867559577168131383023488014497797048527152489611399194696830515515028244191952991589222999587335843044991580396044509993639/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"8741/1024",
"4371/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "1",
"x": "critical-4"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 681,
"argument": "[11.70600490259206410019267047723952227256860918568084064989507969518982729762154928744057115997257392036706588973198034615221580477 +/- 3.31e-129]",
"root_certificate": {
"lower": "939562632016384693837453602994563935284613126410868586645534692077437998719078829420982548600095896547108370647813847557128071039407850857034840928005466664887202850881600406170179135321062491165998421428051758136297820303839198434948825405377995331001792954826971561302573358300940894955754294988374066643517064937025216751630697474927599750786374038731475003706815394945551263897151398719186303972505592021282169559/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "939562632016384693837453602994563935284613126410868586645534692077437998719078829420982548600095896547108370647813847557128071039407850857034840928005466664887202850881600406170179135321062491165998421428051758296824428627458995408855987358506921891986284007780275378999134120896526658416472743281420217692969311854230076864491345455256953088915154041411369127604546411645492399408766333767518758938408829060260799191/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"5993/512",
"11987/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "1",
"x": "critical-5"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 676,
"argument": "[14.86358863390903310500490530498597965362022532284318322758390157951045521948208935806756656878448292403714734799499803382054117873 +/- 3.00e-129]",
"root_certificate": {
"lower": "1193000735459461200457730335429334939091829518187437354349539933366963903559260919597518010192016505495239870307365468971344528419548732273637837618021528042877927589059512412910468923931344919128020990837001147726466295531492344401570423463730649977485260445018442267431225415630023467757638671313178129096728780056749856293386483082465939734024506908178205732473337286859417396325774644406235651879810355815227482059/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "1193000735459461200457730335429334939091829518187437354349539933366963903559260919597518010192016505495239870307365468971344528419548732273637837618021528042877927589059512412910468923931344919128020990837001147886992903855112141375477585416859576538469751497971746085127786178225609231218357119606224280146181026973954716406247131062795293072153286910858099856371068303559358531837389579454568106845713592854206111691/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"3805/256",
"15221/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "1",
"x": "critical-6"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 672,
"argument": "[18.01552786268180372702562554201049648580597709365421392285549818899871544961191392975922628945985896899153839898875576220483720870 +/- 2.93e-129]",
"root_certificate": {
"lower": "2891971584955981204920034544221133173274340692613368279713965354662494589137229282870827411179724816046055830997598034843897722271099768945460543773763469678977050032106631841777323433516163735505902560811997128732454517582022050119242561773987838577502996528983824526597123040845280692236766054380715915156721197058420339343440656765697448161951688112972967480609137861121877729847423207011611765852675959890953010993/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "2891971584955981204920034544221133173274340692613368279713965354662494589137229282870827411179724816046055830997598034843897722271099768945460543773763469678977050032106631841777323433516163735505902560811997129053507734229261644067056885680245691699471978634890432161990244566036452219158202950966808217255625690892830059569161952726356154838209248118332755728404599894521760000870653077108276675784482433968910270257/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"18447/1024",
"1153/64"
]
},
"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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "3/2",
"x": "critical-1"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 696,
"argument": "[2.460535572190398534269217111852825027189535776933885464541756721765670465624801513663330010477686066127892879540700079295420140710 +/- 3.12e-130]",
"root_certificate": {
"lower": "789962860126683658387484889193725728610822267897457265266124853665158140009247262470511813180306848759510050113294099158604413871913062076953414224498699748799007912810345504972048807984442168663796937117238126852484360930974552541411224059532384908229488996799296247765533568329356494849697334514498409896227810557664884423885274039365472007836168232603724905199277535864446368374235666734412860398205370557052506361/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "789962860126683658387484889193725728610822267897457265266124853665158140009247262470511813180306848759510050113294099158604413871913062076953414224498699748799007912810345504972048807984442168663796937117238127494590794225453740437039871872048091152167453208612511518551776618711699548692571127686683014094036798226484324875327865960682885360351288243323301400790201602664210910420695406927742680261818318712967024889/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"2519/1024",
"315/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
},
{
"params": {
"nu": "3/2",
"x": "critical-2"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 690,
"argument": "[6.029292381614575090780549160928153934657983059433349083703712631613987515919300679867220306737937218501706873083645030433817420129 +/- 2.14e-130]",
"root_certificate": {
"lower": "3871447426448110716474910410599991526216254141259602806574778856589054940337641683071677755819710207890179955149763022503784953423281462723396853303261028043508724918927705988546213447421626537107708096536866724105494254202602925659858732711836732584474399124591599254700263909466533487181290628555938136114989716419123147242168953024400791797554292768690474182771450047858235311115369666451426270963673295282806184597/642106433294479187895628647812515706243937964211813215270786243050382343053842873793172184604197808987668819440451442591921317413352515120010719576495590924066799764542046459740193329819863612948155914518528000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "3871447426448110716474910410599991526216254141259602806574778856589054940337641683071677755819710207890179955149763022503784953423281462723396853303261028043508724918927705988546213447421626537107708096536866725389707120791561301451116028336868145072350327548218029796272750010231219594867038214900307344510607691756762028145054136867035618502584532790129627173953298181457764395208289146838085910690899191594635221653/642106433294479187895628647812515706243937964211813215270786243050382343053842873793172184604197808987668819440451442591921317413352515120010719576495590924066799764542046459740193329819863612948155914518528000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"6173/1024",
"3087/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
},
{
"params": {
"nu": "3/2",
"x": "critical-3"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 685,
"argument": "[9.261401926204648335791432110875200457856102574638877507735227679452531494549061857564599475632872421585734473262526007984254528188 +/- 4.06e-130]",
"root_certificate": {
"lower": "2973402879070943044459089213117698482352495515546758266649872845493064909206810317438293403900489308377012989529922019881160708893687678385484313221150156071434522171893129882533467804334678609568557438588694492475281623167453416809711729616806131084396919556904094569709973584366727106653363772051580824815929578250252740711525298294659363291168159094605569344104429570734022135103235277411832556401403994214279068861/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "2973402879070943044459089213117698482352495515546758266649872845493064909206810317438293403900489308377012989529922019881160708893687678385484313221150156071434522171893129882533467804334678609568557438588694493117388056461932604705340377429321837328334883768717309840496216634749070160496237565223765429013738565919072181162967890215976776643683279105325145839695353637533786677149695017605162376265016942370193587389/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"9483/1024",
"2371/256"
]
},
"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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
},
{
"params": {
"nu": "3/2",
"x": "critical-4"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 680,
"argument": "[12.44525975321208331391535435403605217588208995957901585174927207353555825809579289039515249199122345669806611934747149198077753260 +/- 1.02e-129]",
"root_certificate": {
"lower": "3995590675779170547236526772752014526657321144213562811547089991163082048008230944864530274708295095395607146762758017523217983071864837915509398786130147506710630444018060226887211370381842140214591115479964856458636861080077784249571001127227098158967933210028761018062801589667953241867486898790513059526070136034494410180564051236129915939604268488091669651840498528262502015895162591888029909034284205090743912611/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "3995590675779170547236526772752014526657321144213562811547089991163082048008230944864530274708295095395607146762758017523217983071864837915509398786130147506710630444018060226887211370381842140214591115479964857100743294374556972145199648939742804402905897421841976288849044640050296295710360691962697663723879123703313850632006643157447329292119388498811246147431422595062266557941622332081359728897897153246658431139/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"12743/1024",
"1593/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
},
{
"params": {
"nu": "3/2",
"x": "critical-5"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 675,
"argument": "[15.61158529145143773533139777041780615645558833545103285360665638062192044544141485813435627333804253693897254485973999851305468972 +/- 2.12e-130]",
"root_certificate": {
"lower": "5012149674783217517672601177170525857792064434180602582261939468463161976727111888410582501239051979038673651650384638554830723002961840633025627546821028602742929800055206686610982461737258143576262182207435630719972379786623544373658854062582365761083294068746872294520784694649946709227749696934027575631104790076283913123813288039869487670642522122764734897525954725205016377831267752454542404313596338879806412611/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "5012149674783217517672601177170525857792064434180602582261939468463161976727111888410582501239051979038673651650384638554830723002961840633025627546821028602742929800055206686610982461737258143576262182207435631362078813081102732269287501875098072005021258280560087565307027745032289763070623490106212179828913777745103353575255879961186901023157642133484311393116878792004780919877727492647872224177209287035720931139/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"7993/512",
"15987/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
},
{
"params": {
"nu": "3/2",
"x": "critical-6"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 671,
"argument": "[18.76946884016282408263279758825830802207717235503676120006623845860014973087767260753035376919356259907128050514170600062608031503 +/- 2.70e-129]",
"root_certificate": {
"lower": "3012999172947204013047324572289862380828259642103237933771447059885828715515860296915415822604722068689924495065050372792540725080032674895993564986975565024992222100441800977398488684894846927640559733669209450487785758456439780707664814227092447788886329104756037038807160147602402711961304285133661894490145531243768040105938607723432616707366974180684938465903561578979419310714210208025629498666630313223472542243/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "3012999172947204013047324572289862380828259642103237933771447059885828715515860296915415822604722068689924495065050372792540725080032674895993564986975565024992222100441800977398488684894846927640559733669209450808838975103679374655479138133350300910855311210662644674200281672793574238882741181719754196589050025078177760331659903684091323383624534186044726713699023612379301581737440078122294408598436787301429801507/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"19219/1024",
"4805/256"
]
},
"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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
},
{
"params": {
"nu": "2",
"x": "critical-1"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 695,
"argument": "[3.054236928227140322755932091148560897641496760529945919816437566658545176612919456974708056305775550941264627066507093285034747472 +/- 9.06e-131]",
"root_certificate": {
"lower": "980572590210107648350224004172421531710163531629518866540781288035902216692140998939681071723039882786465932625209788542984268403375889464608178492418315941184640123994858778464404132032497413514843959926427083485881815192201577624592441759843911452898876462322945498356394999476311328398029451400747067437896649706831383912624790728900016214965202723014619032796438368321696469798031407363842789356621355664474381361/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "980572590210107648350224004172421531710163531629518866540781288035902216692140998939681071723039882786465932625209788542984268403375889464608178492418315941184640123994858778464404132032497413514843959926427084127988248486680765520221089572359617696836840674136160769142638049858654382240903244572931671635705637375650824364067382650217429567480322733734195528387362435121461011844491147557172609220234303820388899889/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"3127/1024",
"391/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "2",
"x": "critical-2"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 689,
"argument": "[6.706133194158459146634394403463555014651853494887908426432138094841633274755831823703843833251672949607525097338665181836147549728 +/- 2.24e-130]",
"root_certificate": {
"lower": "2153025633249400648178668074465762011824587650520013377718024847673521587405877360335637293766789759132248428460305923095373702601717572773130906132628448632113105522595354146013416795106407585772367153625405613674961674842441894676849378290778977526840825083673961063003630180075256406559266605123908624539082922838056705658375522541715841661021154920096951090368113854834064295107186885316869791870030016553146256361/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "2153025633249400648178668074465762011824587650520013377718024847673521587405877360335637293766789759132248428460305923095373702601717572773130906132628448632113105522595354146013416795106407585772367153625405614317068108136921082572478026103294683770778789295487176333789873230457599460402140398296093228736891910506876146109818114463033255013536274930816527585959037921633828837153646625510199611733642964709060774889/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"6867/1024",
"1717/256"
]
},
"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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "2",
"x": "critical-3"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 684,
"argument": "[9.969467823087595793179142774822462203164950357265847639510547662765703861170516749281374127414043837882291320174891739209791430110 +/- 4.49e-130]",
"root_certificate": {
"lower": "200045607053964124049953160059416109222449077383222077456545134177555814231535059841306508303598734238241362761774182198261181521912496213577191396559837591471285494374013993978155777161302898016029938819930733084193470578860401163500731313641535912472780662444997668732156858241808994035752144233365564463523457350514041594012150852951181997484969347307463663636663111510714997143952440889108341844579344668223374421/20065826040452474621738395244141115820123061381619162977212070095324448220432589806036630768881181530864650607514107580997541169167266097500334986765487216377087492641938951866881041556870737904629872328704000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "200045607053964124049953160059416109222449077383222077456545134177555814231535059841306508303598734238241362761774182198261181521912496213577191396559837591471285494374013993978155777161302898016029938819930733124325122659765350406977521801923767552718903425683323623156297048890705434900931756306627102225886519079815256622227312848033520332017164347977437194611095865685700281021856174651191455586055153927968031829/20065826040452474621738395244141115820123061381619162977212070095324448220432589806036630768881181530864650607514107580997541169167266097500334986765487216377087492641938951866881041556870737904629872328704000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"319/32",
"10209/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "2",
"x": "critical-4"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 679,
"argument": "[13.17037085601612307368157892151149874273471147692814977130402653297015805927871908352905485480051720051343758011139019824269592440 +/- 7.13e-130]",
"root_certificate": {
"lower": "2114194963880517372823639560423128295025461273017511445235057113987567423277234682662855267944912864903944788961080639836929634457059575364345279388237066860067771440765711140835100495850372894078927406407688798040226466901264987835401769697663208294217865932567458297734107022117600583315333788447707872357694581784895094662674692584974407721555512329250490118038522382221662498741271004255846009260521457022300667243/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "2114194963880517372823639560423128295025461273017511445235057113987567423277234682662855267944912864903944788961080639836929634457059575364345279388237066860067771440765711140835100495850372894078927406407688798361279683548504581783216093603921061416186848038474065933127228547308772110236770685033800174456599075619304814888395988545633114397813072334610278365833984415621544769764500874352510919192327931100257926507/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"6743/512",
"13487/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "2",
"x": "critical-5"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 674,
"argument": "[16.34752231832178315733481483022980033430101990424881654132891685981999096598011725090883860807932539006948928778090540468503933762 +/- 2.75e-129]",
"root_certificate": {
"lower": "2624212312254873956440199738740016905650695022122538888839036144173291595516123726343066661437427258425049529352455912591263999831448895839141072206188820158982628726025546402437916451408487181861431104121656140312157848034679847541158555017254586473344213058742746761304732670849124692371427484266882177245937872270438806904778186913588614282689948820432764006552031657238676806514970503904346941641078517263999885993/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "2624212312254873956440199738740016905650695022122538888839036144173291595516123726343066661437427258425049529352455912591263999831448895839141072206188820158982628726025546402437916451408487181861431104121656140633211064681919441488972878923512439595313195164649354396697854196040296219292864380852974479344842366104848527130499482874247320958947508825792552254347493690638559077538200374001011851572884991341957145257/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"16739/1024",
"4185/256"
]
},
"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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "2",
"x": "critical-6"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 670,
"argument": "[19.51291278248820486791891213516211141437632911358320112438566372127988709064681653654411938145225116897270479627483128018542152118 +/- 2.80e-129]",
"root_certificate": {
"lower": "1566170853743719100247250862650878149271692463190707199167487125605205103336265453868636740873775480150280333345202137612102722397788097562076334521046702602348153520166347229051530193932030237507770140856174424877311931094651158360606758095821015587538340309138497281636505943331512693345003864226527798863223744958622347894805002467973834750087629563934660107088966534173755137163105769882575018166803382548625919559/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "1566170853743719100247250862650878149271692463190707199167487125605205103336265453868636740873775480150280333345202137612102722397788097562076334521046702602348153520166347229051530193932030237507770140856174425037838539418270955334513920048949942148522831362091801099333066705927098456805722312519573949912675991875827208007665650448303188088216409566614554230986697550873696272674720704930907473132706619587604549191/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"19981/1024",
"9991/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "5/2",
"x": "critical-1"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 694,
"argument": "[3.632797319831762491406361743134652260286986159873184300346885887630991230397244398728619269519063951062406768529751666477266450935 +/- 1.02e-130]",
"root_certificate": {
"lower": "4665285059837832755987211677952292564124555696586125414447421133856604085193538602112068012350832593779381371936511947735076895575207054473330114685860752745600073657633908587007297584190444858423010096863299552680534765471292530229325591128490777848159873001830683890302200093193886741508163415713135776028963925736232441058835196803155737953422537753728978191146143011839786907046209189442346317853876951741149478569/1284212866588958375791257295625031412487875928423626430541572486100764686107685747586344369208395617975337638880902885183842634826705030240021439152991181848133599529084092919480386659639727225896311829037056000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "4665285059837832755987211677952292564124555696586125414447421133856604085193538602112068012350832593779381371936511947735076895575207054473330114685860752745600073657633908587007297584190444858423010096863299555248960498649209281811840182378553602823911729849083544973447172294723258956879658588401874192820199876411510202864605564488425391363483017796607284173509839279038845075232048150215665597308328744364807552681/1284212866588958375791257295625031412487875928423626430541572486100764686107685747586344369208395617975337638880902885183842634826705030240021439152991181848133599529084092919480386659639727225896311829037056000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"3719/1024",
"465/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
},
{
"params": {
"nu": "5/2",
"x": "critical-2"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 688,
"argument": "[7.367008971566916924187474338591514020192172514039943904475761150670352256201103192340950920032604272444313921375857789577147347152 +/- 4.85e-130]",
"root_certificate": {
"lower": "295650240923828891635261666649403072662276716203112036457801093133465950650570667405791325404108169470593353914422152300741532038324112009489263099352801773401560472289047453227366579528796425747986772093290886623148238090913800816350893829326858262722899212964972774027621134083026679545160245356163518487253083900945438495706541685638935964209147611065826603516578639240842127668111479399725674103599321202901826967/40131652080904949243476790488282231640246122763238325954424140190648896440865179612073261537762363061729301215028215161995082338334532195000669973530974432754174985283877903733762083113741475809259744657408000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "295650240923828891635261666649403072662276716203112036457801093133465950650570667405791325404108169470593353914422152300741532038324112009489263099352801773401560472289047453227366579528796425747986772093290886703411542252723699303304474805891321543215144739441624682875901515380819561275519469502686594011979207359547868552136865675803612633273537612405773665465444147590812695423918946923891901586550939722391141783/40131652080904949243476790488282231640246122763238325954424140190648896440865179612073261537762363061729301215028215161995082338334532195000669973530974432754174985283877903733762083113741475809259744657408000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"7543/1024",
"943/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
},
{
"params": {
"nu": "5/2",
"x": "critical-3"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 683,
"argument": "[10.66356139048200334317803641511571881749983782667450041394825323936912012132450972218139141733868987653552899258175072970466079435 +/- 4.91e-129]",
"root_certificate": {
"lower": "855892671332389526965805599763444762284820718920968195211377487326390437874603195080683838259128995094524108889494704681223789660247169459023402614820750674090488373746149199079604004208899544147886176644656970174355669401963228538562884073912377254836471697138236518527186942336865064425692930661125881047680425794021478005895967406006519423504213759556536258787602795679304539580542280741836052223347686442668888309/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "855892671332389526965805599763444762284820718920968195211377487326390437874603195080683838259128995094524108889494704681223789660247169459023402614820750674090488373746149199079604004208899544147886176644656970334882277725583025512470046027041303815820962750091540336223747704932450827886411378954172032097132672711226338118756615386335872761632993762236430382685333812379245675092157215790168507189250923481647517941/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"10919/1024",
"1365/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
},
{
"params": {
"nu": "5/2",
"x": "critical-4"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 678,
"argument": "[13.88336977520974055149475297943042993048786026634060442258074454331309691922739176954725757410448490453713102485761260563045831295 +/- 5.05e-130]",
"root_certificate": {
"lower": "2228650262117075447258557376193888073944265668654623352269472992021046292411262648192594248524524203782960070137454313773223675155585941313484960988628754351319577963437497613207325704174893830199333603937413061575766887009376801801781511270189101554596621755940922645360189449630925153624149269860823888178250228573223683411423765805904849597605388224720697354387768575593160813402765082137644157415733859366050667243/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "2228650262117075447258557376193888073944265668654623352269472992021046292411262648192594248524524203782960070137454313773223675155585941313484960988628754351319577963437497613207325704174893830199333603937413061896820103656616395749595835176446954676565603861847530280753310974822096680545586166446916190277154722407633403637145061766563556273862948230080485602183230608993043084425994952234309067347540333444007926507/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"1777/128",
"14217/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
},
{
"params": {
"nu": "5/2",
"x": "critical-5"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 673,
"argument": "[17.07284883268167132731647555199452551956395771446022681110303709683759070525080070002355384778929072361428673715302729311167771495 +/- 2.38e-130]",
"root_certificate": {
"lower": "342580814691532514367952740481701560269278058925099139067022683378361040569844059702124346326828470371691593652157932443196781039449700880944926692685295322730951575994365884088392228156854476840168375617413523435061775527489261313585135459785373461721568490203765582169398238678892345025954117218929812353995381692671349874876318825663646391297451738635790469074344120781232448669913846312112522037526732363535874421/20065826040452474621738395244141115820123061381619162977212070095324448220432589806036630768881181530864650607514107580997541169167266097500334986765487216377087492641938951866881041556870737904629872328704000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "342580814691532514367952740481701560269278058925099139067022683378361040569844059702124346326828470371691593652157932443196781039449700880944926692685295322730951575994365884088392228156854476840168375617413523475193427608394210557061925948067605101967691253442091536593538429327788785891133729292191350116358443421972564903091480820745984725829646739305764000048776874956217732547817580074195635779002541623280531829/20065826040452474621738395244141115820123061381619162977212070095324448220432589806036630768881181530864650607514107580997541169167266097500334986765487216377087492641938951866881041556870737904629872328704000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"8741/512",
"17483/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
},
{
"params": {
"nu": "5/2",
"x": "critical-6"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 669,
"argument": "[20.24694481939393487696304549097690400831058217637437310256419305450990258759622605900782334018537888225417866855139384986904588549 +/- 1.41e-129]",
"root_certificate": {
"lower": "1625086690386396576682970824906918263307379087134761128244790756754780138722602828849393219434981120690580886012263622705592240273406461584800145212412581981092102036819473230674141895385959032213901618101882162356630821392610803870770179630196632220087527306907511432683679572454339422186479302146585560864589559086626851696749675731531796948269173663318304327932765683364196742424731338228637227623962424907024357059/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "1625086690386396576682970824906918263307379087134761128244790756754780138722602828849393219434981120690580886012263622705592240273406461584800145212412581981092102036819473230674141895385959032213901618101882162517157429716230600844677341583325558781072018359860815250380240335049925185647197750439631711914041806003831711809610323711861150286397953665998198451830496700064137877936346273276969682589865661946002986691/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"5183/256",
"20733/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
},
{
"params": {
"nu": "3",
"x": "critical-1"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 694,
"argument": "[4.201188941210528496187855297456712187944603213589983352176001791020958405031933516111735026542472189076927356763023310146537714257 +/- 1.50e-130]",
"root_certificate": {
"lower": "674402611659225465583952565247273960251249643767932469522178881810636934809044807681435475493984922319816644211271739729965688229526130330018828570558670962054207611750197688876702354312950969306524317305131650023888564267480483757373163451634115724986328155659970447085130121879276603768843617584953094456805271897202938917434753669873373888257670257941111797559678525316982253084912709219220659366355464285484260993/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "674402611659225465583952565247273960251249643767932469522178881810636934809044807681435475493984922319816644211271739729965688229526130330018828570558670962054207611750197688876702354312950969306524317305131650344941780914720077705187487357891968846955310261566578082478251647070448130690280514171045396555709765731612659143156049630532080564515230263300900045355140558716864524108142579315885569298161938363441520257/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"2151/512",
"4303/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "3",
"x": "critical-2"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 688,
"argument": "[8.015236598375952212997417312788096058439093482848247364715946775163761504049012672550383633182453848210877184459646596281910653554 +/- 4.88e-130]",
"root_certificate": {
"lower": "1286658746048639158186824828365495507905119385297192308141503058679607160055997344183316828425984560145120047783040254570268343556554931274517402546320824785389530512659242226725788341728451144623987329571926666978144861359559689706610141164791713085697647586214506254100709118571299377857977244628117563870563329067750807596185447872328199635142481073069988930854606840377643864153850013699862274012074992483726448493/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "1286658746048639158186824828365495507905119385297192308141503058679607160055997344183316828425984560145120047783040254570268343556554931274517402546320824785389530512659242226725788341728451144623987329571926667299198078006799283654424465071049566207666629692121113889493830643762470904779414141214209865969467822902160527821906743832986906311400041078429777178650068873777526135177079883796527183943881466561683707757/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"8207/1024",
"513/64"
]
},
"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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "3",
"x": "critical-3"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 682,
"argument": "[11.34592431074300648161309978758446159920335659886001549118750194903461369636913591700755392161350763985866913239476292792023286587 +/- 2.92e-129]",
"root_certificate": {
"lower": "910661373950039256069667294241747570232584725943976535273886019539772397640293621538748289851745926627443564582885420353282892587907102200590454372648518984308654606448715370935187161309237553751822392098085951025249597833214570306875258926884576583159701514388578124991975148945896986599448487265358154166706830740042204954686524888369846625561086260808623239231521843113765948043955359803701625972293876323039982059/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "910661373950039256069667294241747570232584725943976535273886019539772397640293621538748289851745926627443564582885420353282892587907102200590454372648518984308654606448715370935187161309237553751822392098085951185776206156834367280782420880013503144144192567341881942688535911541482750060166935558404305216159077657247065067547172868699199963689866263488517363129252859813707083555570294852034080938197113362018611691/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"5809/512",
"11619/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "3",
"x": "critical-4"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 677,
"argument": "[14.58584828616702819619175488633162096307172458165079023044236963266355313424576703753447962671293343781133924676284465618795481074 +/- 4.51e-129]",
"root_certificate": {
"lower": "2341416754901275618836606325307904291876057503815288249591756194681081903227584257192228697710518168955327405288837130938011003167031173761689911256211286359433368012864316407915933358141525674608272142603493757400091901195655588596056286566687017470264216322900995268216993179777672532478805851068054791056874424874394716528758149712058780674256564898778842180650556729745441788920129052221905539414392039602867073493/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "2341416754901275618836606325307904291876057503815288249591756194681081903227584257192228697710518168955327405288837130938011003167031173761689911256211286359433368012864316407915933358141525674608272142603493757721145117842895182543870610472944870592233198428807602903610114704968844059400242747654147093155778918708804436754479445672717487350514124904138630428446018763145324059943358922318570449346198513680824332757/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"14935/1024",
"1867/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "3",
"x": "critical-5"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 673,
"argument": "[17.78874786606647042899532769080122249244807273714969339852654633276191005636724880979498025916883163023260465161034091608709220466 +/- 2.56e-129]",
"root_certificate": {
"lower": "1427783680631839886667690116832434046228733789257580559630297268022410540601587535712356071671468402030184342369686300068148978483234965663221646171474026298343937367721412317436428790091521695713733048461061895717161666899434196340296986732717946993415512862010217512273684268622151099953527483652060338488667107840937339613297501001252412703917993318249170863221657222598240626668072776151573393329285644206340763309/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "1427783680631839886667690116832434046228733789257580559630297268022410540601587535712356071671468402030184342369686300068148978483234965663221646171474026298343937367721412317436428790091521695713733048461061895877688275223053993314204148685846873554400003914963521329970245031217736863414245931945106489538119354758142199726158148981581766042046773320929064987119388239298181762179687711199905848295188881245319392941/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"18215/1024",
"2277/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "3",
"x": "critical-6"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 668,
"argument": "[20.97247693653770009022046489750481941871892857469270347129071554045880596220476314559060144627473850700405183630378402333686719545 +/- 3.04e-130]",
"root_certificate": {
"lower": "841660147691934246961666536019181966069597814271691245652883612247252498184340104081753908966321216091590539069931399389909876139499258135256243574581549140564902459916242002677020309436958791191711251193898785632276674677748565834041319764503550011332260033719107005526209383168191605326437624452071995437493640273152498117499617056019325748211669833184355918006203800115730265542206175089289779226880800084737764467/40131652080904949243476790488282231640246122763238325954424140190648896440865179612073261537762363061729301215028215161995082338334532195000669973530974432754174985283877903733762083113741475809259744657408000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "841660147691934246961666536019181966069597814271691245652883612247252498184340104081753908966321216091590539069931399389909876139499258135256243574581549140564902459916242002677020309436958791191711251193898785712539978839558464320994900741068013291824505560195758914374489764465984487056796848598595070962219763731754928173929941046184002417276059834524302979955069308465700833298013642613456006709832418604227079283/40131652080904949243476790488282231640246122763238325954424140190648896440865179612073261537762363061729301215028215161995082338334532195000669973530974432754174985283877903733762083113741475809259744657408000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"21475/1024",
"5369/256"
]
},
"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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "7/2",
"x": "critical-1"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 694,
"argument": "[4.762196386966621040233900369490117990364777676476016775610740182041449034466980460360913766680866508594063547170023021886381062358 +/- 2.28e-130]",
"root_certificate": {
"lower": "3057836936682992450840766722672417559243639849229562925859210274088824838861543360181415650550091978029699641734497859365109449572348452235756783299493390068597049725311811736096020546394529934724919742140568109013011275494470983297425119611411466529949894897253193501266270972083897844213902661598880668331929508195954607447780109766645658153673789088321148219910462791930080140400936568850722211958889664911712434597/642106433294479187895628647812515706243937964211813215270786243050382343053842873793172184604197808987668819440451442591921317413352515120010719576495590924066799764542046459740193329819863612948155914518528000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "3057836936682992450840766722672417559243639849229562925859210274088824838861543360181415650550091978029699641734497859365109449572348452235756783299493390068597049725311811736096020546394529934724919742140568110297224142083429359088682415236442879017825823320879624042838757072848583951899650247943249876727547483533593488350665293609280484858704029109760301211092310925529609224493856049237381851686115561223541471653/642106433294479187895628647812515706243937964211813215270786243050382343053842873793172184604197808987668819440451442591921317413352515120010719576495590924066799764542046459740193329819863612948155914518528000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"1219/256",
"4877/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
},
{
"params": {
"nu": "7/2",
"x": "critical-2"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 687,
"argument": "[8.653134144596368389610553319446724109569518382034736263331994058772135997597329697750062817201381893737576933586782330338300074643 +/- 2.66e-130]",
"root_certificate": {
"lower": "1389058275601362061764865122724103930570582055059521111898966122967896140105644765488776244057722809225884603611166067426249485178104378986513022083649808548480859460765632682675358034214968143294846536282867838084012854206976371461868709290329324241513749886842250986663014139985299806892517808259772512514613833262724343451455471276659713164427168521527755899640051955011932305156168861649799027150974795645347542243/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "1389058275601362061764865122724103930570582055059521111898966122967896140105644765488776244057722809225884603611166067426249485178104378986513022083649808548480859460765632682675358034214968143294846536282867838405066070854215965409683033196587177363482731992748858622056135665176471333813954704845864814613518327097134063677176767237318419840684728526887544147435513988411814576179398731746463937082781269723304801507/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"2215/256",
"8861/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
},
{
"params": {
"nu": "7/2",
"x": "critical-3"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 681,
"argument": "[12.01826224631563957156773641645470351094519077606307870587751589533758790119467150863697429501526274414530573539884693563532341084 +/- 3.19e-129]",
"root_certificate": {
"lower": "3858501752689715411812365349699055677073173533268666271230750102123035317836589363880279649172196020234249991379238528171631512895800968051782539430687901092888690161201379741848652996535208558792524038532174906359841705556294026944273205977018493633961501100722478064557396023548718659082871693748667358524559456278569753799961060447312252301187065062252858194159310556067719267714221379875189939786704630505782975111/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "3858501752689715411812365349699055677073173533268666271230750102123035317836589363880279649172196020234249991379238528171631512895800968051782539430687901092888690161201379741848652996535208558792524038532174907001948138850773214839901853789534199877899465312535693335343639073931061712925745486920851962722368443947389194251403652368629665653702185072972434689750234622867483809760681120068519759650317578661697493639/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"6153/512",
"12307/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
},
{
"params": {
"nu": "7/2",
"x": "critical-4"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 676,
"argument": "[15.27908096392266408049548865099443184207948767688204823378989355862688258876398682582659181559314517010406652784711366785168908090 +/- 4.59e-129]",
"root_certificate": {
"lower": "2452699045440488718657922040779108822825362898819515713633436380585661096924282050335333600241134919467846646726839018635894034932822622328720559238718009247215492962074360950762104273451984022287588052339142052680579368810014116958991564779705095731389765135444019814163486730647729079987243815384358057614005021216302450333655417739268095135346585148384309487215717998500228530328531458472294133758650348013511604743/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "2452699045440488718657922040779108822825362898819515713633436380585661096924282050335333600241134919467846646726839018635894034932822622328720559238718009247215492962074360950762104273451984022287588052339142053001632585457253710906805888685962948853358747241350627449556608255838900606908680711970450359712909515050712170559376713699926801811604145153744097735011180031900110801351761328568959043690456822091468864007/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"15645/1024",
"7823/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
},
{
"params": {
"nu": "7/2",
"x": "critical-5"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 672,
"argument": "[18.49620002342243599504043971667299059100121820291323728500513804995905837707216789501344655926111898251933842488089943261890354789 +/- 8.59e-130]",
"root_certificate": {
"lower": "2969132256635260697749692240812781755065279241217781869792267007801498611753553809063882231024414227022585050471729750733336070619014978002996945862276913211077233657294330752304316625840259283120294522050446903650121702178208082592884172877908639441814126093372064226534370404218167727957263042773225079202494866532395270764778340143385140936490251166230201187416953283056194082084527504285229469320283458059898323493/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "2969132256635260697749692240812781755065279241217781869792267007801498611753553809063882231024414227022585050471729750733336070619014978002996945862276913211077233657294330752304316625840259283120294522050446903971174918825447676540698496784166492563783108199278671861927491929409339254878699939359317381301399360366804990990499636104043847612747811171589989435212415316456076353107757374381894379252089932137855582757/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"4735/256",
"18941/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
},
{
"params": {
"nu": "7/2",
"x": "critical-6"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 667,
"argument": "[21.69028428840882284997869061286268321629368934205389599612684286773544300041198243725634265151338375001557316198577058492932417816 +/- 4.63e-129]",
"root_certificate": {
"lower": "870466942598341861775290926238827354190064237469259649843423499621149870471433056238407524276285698597979087441743738918257397040271705340920270389447481175764401336821296677274943314892023547360372024687664653335442570604075275641722395785154543960172867152431825550244754001999369776512653601509479442364192965273329877441890375620067034388756589895882459564035114424679838646427258615679078381891947519139913545717/40131652080904949243476790488282231640246122763238325954424140190648896440865179612073261537762363061729301215028215161995082338334532195000669973530974432754174985283877903733762083113741475809259744657408000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "870466942598341861775290926238827354190064237469259649843423499621149870471433056238407524276285698597979087441743738918257397040271705340920270389447481175764401336821296677274943314892023547360372024687664653415705874765885174128675976761719007240665112678908477459093034383297162658243012825656002517888919088731932307498320699610231711057820979897222406625983979933029809214183066083203244609374899137659402860533/40131652080904949243476790488282231640246122763238325954424140190648896440865179612073261537762363061729301215028215161995082338334532195000669973530974432754174985283877903733762083113741475809259744657408000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"11105/512",
"22211/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
},
{
"params": {
"nu": "4",
"x": "critical-1"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 693,
"argument": "[5.317553126083994350363355558188919214766698286220102866220429337604059053886057371943411512053695962214205011650994139141296294447 +/- 1.79e-130]",
"root_certificate": {
"lower": "853608767910925399216260639343207164646945638134109148687792626101051008770990952114178180512111874946430118456625076883618428015521135090012042549029655447201647669237240752239601543974882775956913114563226633037965452252302268729850437626483317208586664843839217825159895665108066262141324399681317413236559614491968910514109022876505537056015421484163746016586807649710532491610298218766270537531481311148277229743/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "853608767910925399216260639343207164646945638134109148687792626101051008770990952114178180512111874946430118456625076883618428015521135090012042549029655447201647669237240752239601543974882775956913114563226633359018668899541862677664761532741170330555646949745825460553017190299237789062761296267409715335464108326378630739830318837164243732272981489523534264382269683110414762633528088862935447463287785226234489007/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"5445/1024",
"2723/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "4",
"x": "critical-2"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 687,
"argument": "[9.282396285241612345248540689486403129314361033858065841028357214976590465859292379096022247384959966463420933429502093356665022818 +/- 4.98e-130]",
"root_certificate": {
"lower": "2980143185571207382989827547995146298376549902377884149850423650418438400265733297502159160290861680181168110515147083741192765972703804227541785050388868598788964343137938601128735759028717669741914978424163741829911375176974464548791529235114719236974621005591463590693485967673115679926184220328670783503416662841744626113182075237824659389930855297114761906232174560709580633432868316659542814170034975659591568861/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "2980143185571207382989827547995146298376549902377884149850423650418438400265733297502159160290861680181168110515147083741192765972703804227541785050388868598788964343137938601128735759028717669741914978424163742472017808471453652444420177047630425480912585217404678861479729018055458733769058013500855387701225650510564066564624667159142072742445975307834338401823098627509345175479328056852872634033647923815506087389/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"9505/1024",
"4753/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "4",
"x": "critical-3"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 680,
"argument": "[12.68190844263889110175469940854981699352696674762615840061804157616583667149728437168324684990042246203458547097836484117323470071 +/- 2.68e-129]",
"root_certificate": {
"lower": "4071567498735000785789083687300093894806057228234448579440727052931922035769144960126097795085557384473871741647318799036457777804142353099656581705484154582537255195573054205564076535190540929469172788949345392368287577677865115744969303237809107088203114263470922481794821206660562467929722941973539275655722125682405029843347636150579220879190996918755869456874978535681364620235488664248797193442495913159591568861/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "4071567498735000785789083687300093894806057228234448579440727052931922035769144960126097795085557384473871741647318799036457777804142353099656581705484154582537255195573054205564076535190540929469172788949345393010394010972344303640597951050324813332141078475284137752581064257042905521772596735145723879853531113351224470294790228071896634231706116929475445952465902602481129162281948404442127013306108861315506087389/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"6493/512",
"12987/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "4",
"x": "critical-4"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 676,
"argument": "[15.96410703773155080886763628750439966722347925998128175798924326945760515386576316123827206331036827558196538356598961587586531832 +/- 4.30e-129]",
"root_certificate": {
"lower": "5125327915364549888695169855946560485578698629927221379421596989515536095265937929482790768538227194177482816952837653515025666434782351267994982114354509926949561682991556755079516746030620849467452052722885751568014708226363427204898614775328064966163365171416987671905722957406262230848313601681644667455223701693686174263015326405034715283752133753115273330572326886247456771328178396898684639756592363965255631361/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "5125327915364549888695169855946560485578698629927221379421596989515536095265937929482790768538227194177482816952837653515025666434782351267994982114354509926949561682991556755079516746030620849467452052722885752210121141520842615100527262587843771210101329383230202942691966007788605284691187394853829271653032689362505614714457918326352128636267253763834849826163250953047221313374638137092014459620205312121170149889/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"16347/1024",
"4087/256"
]
},
"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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "4",
"x": "critical-5"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 671,
"argument": "[19.19602880004890507041168947525372273094618464731938587811665972385504991249560711784692775583012996715968504193495123205028445853 +/- 4.58e-129]",
"root_certificate": {
"lower": "770368349138593977011072763336983189018938533083468557086628468004983258056014268293212418095591704213157040027967594517270814486212469678982556015703912171548120758303598431273004235334065209633745438816108782077653744425502475740863507303912496445004679153337652147280785572663046072207462266756403967309968003603209149158645939417440748891284072516650006308738595632316588921208159908749279445420604478673604951967/40131652080904949243476790488282231640246122763238325954424140190648896440865179612073261537762363061729301215028215161995082338334532195000669973530974432754174985283877903733762083113741475809259744657408000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "770368349138593977011072763336983189018938533083468557086628468004983258056014268293212418095591704213157040027967594517270814486212469678982556015703912171548120758303598431273004235334065209633745438816108782157917048587312374227817088280476959725496924679814304056129065953960838953937821490902927042834694127061811579215076263407605425560348462517989953370687461140666559488963967376273445672903556097193094266783/40131652080904949243476790488282231640246122763238325954424140190648896440865179612073261537762363061729301215028215161995082338334532195000669973530974432754174985283877903733762083113741475809259744657408000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"2457/128",
"19657/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "4",
"x": "critical-6"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 666,
"argument": "[22.40103226768900400085121119967081403480986479782963865265054108243640153132131053378762458819757856102379482233334776281647152779 +/- 7.61e-130]",
"root_certificate": {
"lower": "3595961732880081325630532673418881044944246880007427970394375870472145737409411059527513867704283347615249833319210345060515810132049414712565314095801165210200108894554520756966171508372746182560506901473074066646052440027427725559685818460948786206920703742875063362222183787200738436481516105540956019133040249895085994145467618261409472773855285269345623042872624641761865976569073207393098954713450000113120979743/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "3595961732880081325630532673418881044944246880007427970394375870472145737409411059527513867704283347615249833319210345060515810132049414712565314095801165210200108894554520756966171508372746182560506901473074066967105656674667319507500142367206639328889685848781670997615305312391909963402953002127048321231944743729495714371188914222068179450112845274705411290668086675161748247592303077489763864645256474191078239007/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"11469/512",
"22939/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "9/2",
"x": "critical-1"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 693,
"argument": "[5.868419863030514738028634628504110126950846125371595506436269234902077173979815055249015111977323042831781430155374977906364385663 +/- 3.80e-131]",
"root_certificate": {
"lower": "1884075073662499952042649158068686565828930102131117180633668527223988904155243275448366917292301558704920552952462207792895302567023015640745107059603299561668741945668391387594646885027450177673714949084894797819752760759775422046049436812122475349065044678387105051930845459717004771868707694181565445373419004675050794551877735975001418214631312869271650694800181576694340660948900071772178251569183916699630631361/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "1884075073662499952042649158068686565828930102131117180633668527223988904155243275448366917292301558704920552952462207792895302567023015640745107059603299561668741945668391387594646885027450177673714949084894798461859194054254609941678084624638181593003008890200320322717088510099347825711581487353750049571227992343870235003320327896318831567146432879991227190391105643494105202995359811965508071432796864855545149889/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"6009/1024",
"3005/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
},
{
"params": {
"nu": "9/2",
"x": "critical-2"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 686,
"argument": "[9.904305784240098009950640093269490941579644444497037971732380371679523236874359853492859760637368279458120332852048899633077323492 +/- 4.89e-130]",
"root_certificate": {
"lower": "1589904615344072218188201372046819863489092041391615177668109840923648797060871323810243712062538415565002084794064285933515200662837710274917158491183359526251181979889203957467188246264036942070676049368351001141046624176951396143948329446309165003834475715408320819928474588489809176282389145149061208869631084194700618024699698407671038422806995430301113736359415686692491156789469182931948552510247752493492073493/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "1589904615344072218188201372046819863489092041391615177668109840923648797060871323810243712062538415565002084794064285933515200662837710274917158491183359526251181979889203957467188246264036942070676049368351001462099840824190990091762653352567018125803457821314928455321596113680980703203826041735153510968535578029110338250420994368329745099064555435660901984154877720092373427812699053028613462442054226571449332757/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"5071/512",
"10143/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
},
{
"params": {
"nu": "9/2",
"x": "critical-3"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 680,
"argument": "[13.33792823368907879238292277051898993083427426728413455350062520757469103018487565080862878448041749330255015276055403202926614560 +/- 4.03e-129]",
"root_certificate": {
"lower": "4282184762835913544449941336205808354761142606640099732137387972400661317993639497337682672893214032239054945911901592894386464543088391606366458431410496209660587718670827717482925408361193385311443645096917901008210631446261945373897680943540466583970634752695971754856881597460411837964974801186501793561978834487709359344976166293697184335354604930239287292971646704851902771515736182819628937442811579358322037611/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "4282184762835913544449941336205808354761142606640099732137387972400661317993639497337682672893214032239054945911901592894386464543088391606366458431410496209660587718670827717482925408361193385311443645096917901650317064740741133269526328756056172827908598964509187025643124647842754891807848594358686397759787822156528799796418758215014597687869724940958863788562570771651667313562195923012958757306424527514236556139/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"6829/512",
"13659/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
},
{
"params": {
"nu": "9/2",
"x": "critical-4"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 675,
"argument": "[16.64178693711064256248404273599761406935481411047759878659522985572594056834607460495003078097846121261951463388799478067246785668 +/- 4.06e-130]",
"root_certificate": {
"lower": "2671449613458692481126757895786819606464914611931953781754481801543477385693555931851820373977398228987344025254334241036236649597674354164916365227772157751816621573681468363249287538058366829331569609706442775894936286501473959253537301985438442126911954799226990590449647973873135240791689207323179846131105385216276264250092938993459980210281858565596785417831148832968591416520059563445552584385977313345542854743/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "2671449613458692481126757895786819606464914611931953781754481801543477385693555931851820373977398228987344025254334241036236649597674354164916365227772157751816621573681468363249287538058366829331569609706442776215989503148713553201351625891696295248880936905133598225842769499064306767713126103909272148230009879050685984475814234954118686886539418570956573665626610866368473687543289433542217494317783787423500114007/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"17041/1024",
"8521/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
},
{
"params": {
"nu": "9/2",
"x": "critical-5"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 670,
"argument": "[19.88893363355360560585779257681075374939049605306718562799234410549554719476737428722601573512970259389973424068606589897953786641 +/- 2.00e-129]",
"root_certificate": {
"lower": "3192703059367927958596267883283489337537005582572738235130226415147955628803604528113643570257893056542449958303735045987598142223696751509593491114554129102240651558749153425843740182660535074184778012998475905893672990300459221108428451363524730086456301487177663301198935934881964732262461439498796029959860840007013582697556942353002065400228122887757644697311148103260217090232292032815617375677929446524253792243/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "3192703059367927958596267883283489337537005582572738235130226415147955628803604528113643570257893056542449958303735045987598142223696751509593491114554129102240651558749153425843740182660535074184778012998475906214726206947698815056242775269782583208425283593084270936592057460073136259183898336084888332058765333841423302923278238313660772076485682893117432945106610136660099361255521902912282285609735920602211051507/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"10183/512",
"20367/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
},
{
"params": {
"nu": "9/2",
"x": "critical-6"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 665,
"argument": "[23.10529705567606057306136061243827458831514332641088767484257142986970892374950540794844654428813386599130746796384029926844310023 +/- 3.41e-129]",
"root_certificate": {
"lower": "3709014970657396692775778041294737514837957798260743060643117655265236549163466585370290785055758562083013837088714406889517240057277573220637353361391919538672447998294008695269249022063262913624682626790853770843375867681037975897239950423504164728903026641668184759338288342913875019206551897257210233146174914442777353504539838484357616368647170354307795640934264512363134927247426272024763847372041270559898323493/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "3709014970657396692775778041294737514837957798260743060643117655265236549163466585370290785055758562083013837088714406889517240057277573220637353361391919538672447998294008695269249022063262913624682626790853771164429084328277569845054274329762017850872008747574792394731409868105046546127988793843302535245079408277187073730261134445016323044904730359667583888729726545763017198270656142121428757303847744637855582757/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"23659/1024",
"5915/256"
]
},
"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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
},
{
"params": {
"nu": "5",
"x": "critical-1"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 692,
"argument": "[6.415616375700240282839814719087924038109000565207720778674947627322880603347166532324653208646995668806771679257142475091263669437 +/- 3.58e-130]",
"root_certificate": {
"lower": "64367321068539604147238869895343774371558540946898925627294141337933975160023021396290331279468483434368275505141827279704154625862440332042475664097063431667843482614607690172848206774047130253847011144650976423151321045562108546414731824604569856352029740092912700161511510183380578068036133909844694291385972719206129002357363616945532817212928019768572200211072247851470774510427757161920423482458177049077507523/10032913020226237310869197622070557910061530690809581488606035047662224110216294903018315384440590765432325303757053790498770584583633048750167493382743608188543746320969475933440520778435368952314936164352000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "64367321068539604147238869895343774371558540946898925627294141337933975160023021396290331279468483434368275505141827279704154625862440332042475664097063431667843482614607690172848206774047130253847011144650976443217147086014583168153127068745685676475091121712075677373581605507828798500625939946475463172567503583856736516464944614486701984479025520103558965698288624938963416449379624042961980353196081678949836227/10032913020226237310869197622070557910061530690809581488606035047662224110216294903018315384440590765432325303757053790498770584583633048750167493382743608188543746320969475933440520778435368952314936164352000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"6569/1024",
"3285/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "5",
"x": "critical-2"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 685,
"argument": "[10.51986087377230805026020709042335464717402884379563377248952329662955311435360323524040638712514743762845516316407175625859247572 +/- 4.71e-129]",
"root_certificate": {
"lower": "3377435172206040031606616981989855933696614315911531626465292582830027342476792155082223319440862219521286971095852556011354333127470577636247812129871878306257662405752889937879994509239300379631190352917860961170121246113910675580269869717839952690422678257335839807149491928496697994742651976540165745871076105216978489368942024661083265246374072966047100505712665583407331313847553892329407006775053591382247818861/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "3377435172206040031606616981989855933696614315911531626465292582830027342476792155082223319440862219521286971095852556011354333127470577636247812129871878306257662405752889937879994509239300379631190352917860961812227679408389863475898517530355658934360642469149055077935734978879041048585525769712350350068885092885797929820384616582400678598889192976766677001303589650207095855894013632522736826638666539538162337389/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"2693/256",
"10773/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "5",
"x": "critical-3"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 679,
"argument": "[13.98718863014030024442466382188351322704546626224786587704164883306281582867564515957267418020670953098415727650617761315030076706 +/- 4.31e-129]",
"root_certificate": {
"lower": "1122657975389560053530404396914874660127063682266877317703830226986443123953828900903173215230210536936394792539127605208405407975403419903964783008650911462733853235309374166029422354315834443485795969103391328160760351934598607602155176670984364733327921526344948149953141493538285428175845811518358789003102065042871626519746612710860973077609570073744390162992729854428808929692159905112246392130159400615032169559/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "1122657975389560053530404396914874660127063682266877317703830226986443123953828900903173215230210536936394792539127605208405407975403419903964783008650911462733853235309374166029422354315834443485795969103391328321286960258218404576062338624113291294312412579298251967649702256133871191636564259811404940052554311960076486632607260691190326415738350076424284286890460871128750065203774840160578847096062637654010799191/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"7161/512",
"14323/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "5",
"x": "critical-4"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 674,
"argument": "[17.31284248788462542754477860564253061589257934368124580719006148438117806672001878645068990496395789767723393958170391710766160834 +/- 3.26e-129]",
"root_certificate": {
"lower": "347396485627647323275596165348810319426751321357466400055936572304457714935686998434960087734362579401416321992205651905322910857808976183984630433949564707624006580075771992463824940859637344167860022979675981459146171072379635580291153322239220461526995085991712633288504782968563813041315978809041779199885793884918033814126085772616594818066383261377252156801667115705237030299353615897700304822823172488047593171/20065826040452474621738395244141115820123061381619162977212070095324448220432589806036630768881181530864650607514107580997541169167266097500334986765487216377087492641938951866881041556870737904629872328704000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "347396485627647323275596165348810319426751321357466400055936572304457714935686998434960087734362579401416321992205651905322910857808976183984630433949564707624006580075771992463824940859637344167860022979675981499277823153284584823767943810521452101773117849230038587712644973617460253906495590882303316962248855614219248842341247767698933152598578262047225687776099869880222314177257349659783418564298981747792250579/20065826040452474621738395244141115820123061381619162977212070095324448220432589806036630768881181530864650607514107580997541169167266097500334986765487216377087492641938951866881041556870737904629872328704000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"277/16",
"17729/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "5",
"x": "critical-5"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 669,
"argument": "[20.57551452138688802028505102200375397767345162830457361254774161840048996110996069053841700985158786775386448920513088488369699367 +/- 4.85e-129]",
"root_certificate": {
"lower": "1651458780315812210808548862558992013281515448900967943731236269817467585910099137292631505171293510850018031183192296461099856903156893903512159944281926469771902805662635522505015366269269899120243908027949003510735208730383410222256465270678744042139738040363727041166705999367670182343665796601035915968710872175145754794856348173138012680724855620937992203669072190930264850453021222943105144261621497783000919559/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "1651458780315812210808548862558992013281515448900967943731236269817467585910099137292631505171293510850018031183192296461099856903156893903512159944281926469771902805662635522505015366269269899120243908027949003671261817054003207196163627223807670603124229093317030858863266761963255945804384244894082067018163119092350614907716996153467366018853635623617886327566803207630205985964636157991437599227524734821979549191/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"21069/1024",
"10535/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "5",
"x": "critical-6"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 665,
"argument": "[23.80358147659386312851531146695135907605275353454234679129567328908905480767490571836199513133364698375099037726384592626234882310 +/- 2.52e-129]",
"root_certificate": {
"lower": "3821108200392554446343994266544851903887790197641691585507403770013394715204775911305757447739961619752089335615478314634329566292439745586993107510202723948971590778926094721612209023493959406921487322488878595786732893024043167495288201361170032049472714118383213959871613238039556064703890407850490589219288646038206729738540823971826838961765212023572324749650930189412399326326291311907421431174979731863609260993/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "3821108200392554446343994266544851903887790197641691585507403770013394715204775911305757447739961619752089335615478314634329566292439745586993107510202723948971590778926094721612209023493959406921487322488878596107786109671282761443102525267427885171441696224289821595264734763230727591625327304436582891318193139872616449964262119932485545638022772028932112997446392222812281597349521182004086341106786205941566520257/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"12187/512",
"24375/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": false
}
},
{
"params": {
"nu": "11/2",
"x": "critical-1"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 692,
"argument": "[6.959745745215345081776160255127140560027940181943212488063594495782559031147518001889372517041113339224887710587760040150133644681 +/- 2.38e-131]",
"root_certificate": {
"lower": "558612189637081540291806899546009917885236398768002517790297582519160740548430319252566413013291742783362950503116646788910821665543301076005526035491442783666348876905748620758313405809176474637636854152274419039882395411980700046489156024410094229220965863323667073483272272140703685762056294637853188594648220737368986609456541392490068392259013210479482324499999384778604437964929855620764769449137710246379825809/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "558612189637081540291806899546009917885236398768002517790297582519160740548430319252566413013291742783362950503116646788910821665543301076005526035491442783666348876905748620758313405809176474637636854152274419200409003735600497020396317977539020790205456916276970891179833034736289449222774742930899339644100467654573846722317189372819421730387793213159376448397730401478545573476544790669097224415040947285358455441/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"3563/512",
"7127/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
},
{
"params": {
"nu": "11/2",
"x": "critical-2"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 685,
"argument": "[11.12985611500949954511943488423138052459147506715880489918258444036340375982162101547343570765050877657666241594982367194366740772 +/- 7.34e-130]",
"root_certificate": {
"lower": "3573276106544749252087478399223519034670893487697536987822897746755114193115218159416470880412621910379697798422802597207650862691033257528231202746507172037344398285052094757380634220629359569349057056320035763918876818496970287371207429260078764256207524824863212307200069289125933638970693663332649565320522304727769068105308302572137783310427178898140908889684251790172753949681304922861264402319701761853439225111/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "3573276106544749252087478399223519034670893487697536987822897746755114193115218159416470880412621910379697798422802597207650862691033257528231202746507172037344398285052094757380634220629359569349057056320035764560983251791449475266836077072594470500145489036676427577986312339508276692813567456504834169518331292396588508556750894493455196662942298908860485385275175856972518491727764663054594222183314710009353743639/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"2849/256",
"11397/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
},
{
"params": {
"nu": "11/2",
"x": "critical-3"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 678,
"argument": "[14.63040627524952096437503643715112786601080812532505840076147392217877788122911178934627243714371796204643967971281706244884851713 +/- 4.45e-129]",
"root_certificate": {
"lower": "4697138995524818124956081432941114512585099067302125909879317050570110088146138197533246817279956662715397107524482055424047009273949545262280709805372145964582603319522600055602788100417420950560665837827131988547309835121873334765383535177968496396398352967873790705982596768686275649372906453161240715810969182004311400981687706653476994902564287101146033851077206542549433239041999647425646743078740687024337662611/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "4697138995524818124956081432941114512585099067302125909879317050570110088146138197533246817279956662715397107524482055424047009273949545262280709805372145964582603319522600055602788100417420950560665837827131989189416268416352522661012182990484202640336317179687005976768839819068618703215780246333425320008778169673130841433130298574794408255079407111865610346668130609349197781088459387618976562942353635180252181139/321053216647239593947814323906257853121968982105906607635393121525191171526921436896586092302098904493834409720225721295960658706676257560005359788247795462033399882271023229870096664909931806474077957259264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"14981/1024",
"7491/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
},
{
"params": {
"nu": "11/2",
"x": "critical-4"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 673,
"argument": "[17.97788619189816661360660663794005137916224474446466587650917785284702056982410577042766987396161333379591429771467126980543699353 +/- 3.59e-129]",
"root_certificate": {
"lower": "2885929095213449647343208861316069435347081341014525973400252232378101942597759786313668270264147419933578268923962746024764194641516493865714516685613349431347126991004481917516851680959182304622260334956292895127905585554313110689380088849066346579517634958270244353719454384384585859979353988976890384748776213383433551250607554459266984674786466796018784238104602660113519968326716987540290091788874194449058479743/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "2885929095213449647343208861316069435347081341014525973400252232378101942597759786313668270264147419933578268923962746024764194641516493865714516685613349431347126991004481917516851680959182304622260334956292895448958802201552704637194412755324199701486617064176851989112575909575757386900790885562982686847680707217843271476328850419925691351044026801378572485900064693513402239349946857636955001720680668527015739007/160526608323619796973907161953128926560984491052953303817696560762595585763460718448293046151049452246917204860112860647980329353338128780002679894123897731016699941135511614935048332454965903237038978629632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"18409/1024",
"9205/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
},
{
"params": {
"nu": "11/2",
"x": "critical-5"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 669,
"argument": "[21.25629069527450752130517116125195100017369482094837709318780729247499719025685053675812174650165010301929572434517269628375885007 +/- 3.28e-129]",
"root_certificate": {
"lower": "213262515678333425030543430756621196324514402144305914887226749737986629894402377889923150528970889013887496609345008506966867390746782847703040162831475652779589462323412373750995195912184354866914957764012934600738804114633379998664438974073662206010815535425241697195331063496452540159833568520741622915480579069603206126924874249525206900304942594075877188703466278465523648938738004074508323197166505296147820023/10032913020226237310869197622070557910061530690809581488606035047662224110216294903018315384440590765432325303757053790498770584583633048750167493382743608188543746320969475933440520778435368952314936164352000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "213262515678333425030543430756621196324514402144305914887226749737986629894402377889923150528970889013887496609345008506966867390746782847703040162831475652779589462323412373750995195912184354866914957764012934620804630155085854620402834218214778026133876917044404674407401158820900760592423374557372391796662109934253813641032455247066376067571040094410863954190682655553016290877689870955549880067904409926020148727/10032913020226237310869197622070557910061530690809581488606035047662224110216294903018315384440590765432325303757053790498770584583633048750167493382743608188543746320969475933440520778435368952314936164352000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
1,
-1
],
"second_derivative_sign": -1,
"defining_interval": [
"10883/512",
"21767/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
},
{
"params": {
"nu": "11/2",
"x": "critical-6"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 664,
"argument": "[24.49632740485236330880485314860828822382548501581650459610985837158374365572159598811545305518004884093339008261440511490745777195 +/- 4.40e-129]",
"root_certificate": {
"lower": "1966156177342944562055389767565970513655841318195528086164873133986645382800027475292202241905810509289585143594108722884222363967067987395853955137931275500572402793219331171387702690136757661031704105626463994051575130014159357660951809329303889422277528543023365185360891283274002370784596661517343350734235970337151072384378950926159856265853220706413586937387045228162054418588574959226432597100042365702922794559/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "1966156177342944562055389767565970513655841318195528086164873133986645382800027475292202241905810509289585143594108722884222363967067987395853955137931275500572402793219331171387702690136757661031704105626463994212101738337779154634858971282432815983262019595976669003057452045869588134245315109810389501783688217254355932497239598906489209603982000709093481061284776244861995554100189894274765052065945602741901424191/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"endpoint_signs": [
-1,
1
],
"second_derivative_sign": 1,
"defining_interval": [
"6271/256",
"25085/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,
"bessel_identities": {
"wronskian": true,
"stationary_residual_contains_zero": true,
"elementary_half_order_check": true
}
}
],
"retained_identifiers_and_text": []
}