back to table · edit · history · where entries came from · files · download
69838 bytes, as of the version from 2026-10-27 03:18 (current). Recorded here, not run.
{
"table": "T535",
"mode": "stored",
"skill_manifest": "agents/runs/20261027T024416Z-build-skills/manifest.json",
"skill_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"versions": {
"python": "3.12.3",
"sage": "10.9",
"numberdb": "0.1.10",
"mpmath": "1.4.1"
},
"exact_checks": {
"independent_exact_matches": 48,
"closed_forms_positive_order": 9,
"mixed_Bessel_recurrence_matches": 33,
"known_controls": 8,
"deliberate_perturbation_rejected": true,
"positive": 48,
"decreasing": 44,
"strict_log_convexity": 40,
"order_zero_matches_T533_order_one": 12
},
"measurement": {
"entries": 48,
"longest": 46,
"longest_at": [
3,
12
],
"block_kb": 2.650390625
},
"values": [
{
"nu": 0,
"n": 1,
"number": "1/8"
},
{
"nu": 0,
"n": 2,
"number": "1/192"
},
{
"nu": 0,
"n": 3,
"number": "1/3072"
},
{
"nu": 0,
"n": 4,
"number": "1/46080"
},
{
"nu": 0,
"n": 5,
"number": "13/8847360"
},
{
"nu": 0,
"n": 6,
"number": "11/110100480"
},
{
"nu": 0,
"n": 7,
"number": "647/95126814720"
},
{
"nu": 0,
"n": 8,
"number": "1133/2446118092800"
},
{
"nu": 0,
"n": 9,
"number": "43213/1369826131968000"
},
{
"nu": 0,
"n": 10,
"number": "777013/361634098839552000"
},
{
"nu": 0,
"n": 11,
"number": "2540291/17358436744298496000"
},
{
"nu": 0,
"n": 12,
"number": "31489807/3159235487462326272000"
},
{
"nu": 1,
"n": 1,
"number": "3/8"
},
{
"nu": 1,
"n": 2,
"number": "17/192"
},
{
"nu": 1,
"n": 3,
"number": "79/3072"
},
{
"nu": 1,
"n": 4,
"number": "349/46080"
},
{
"nu": 1,
"n": 5,
"number": "19763/8847360"
},
{
"nu": 1,
"n": 6,
"number": "652931/990904320"
},
{
"nu": 1,
"n": 7,
"number": "3698053/19025362944"
},
{
"nu": 1,
"n": 8,
"number": "981795931/17122826649600"
},
{
"nu": 1,
"n": 9,
"number": "23169513667/1369826131968000"
},
{
"nu": 1,
"n": 10,
"number": "1804374004933/361634098839552000"
},
{
"nu": 1,
"n": 11,
"number": "25548977135149/17358436744298496000"
},
{
"nu": 1,
"n": 12,
"number": "1371673108323559/3159235487462326272000"
},
{
"nu": 2,
"n": 1,
"number": "1/6"
},
{
"nu": 2,
"n": 2,
"number": "7/576"
},
{
"nu": 2,
"n": 3,
"number": "43/34560"
},
{
"nu": 2,
"n": 4,
"number": "439/3317760"
},
{
"nu": 2,
"n": 5,
"number": "3947/278691840"
},
{
"nu": 2,
"n": 6,
"number": "406067/267544166400"
},
{
"nu": 2,
"n": 7,
"number": "522331/3210529996800"
},
{
"nu": 2,
"n": 8,
"number": "479941/27518828544000"
},
{
"nu": 2,
"n": 9,
"number": "1358267/726497073561600"
},
{
"nu": 2,
"n": 10,
"number": "27397236659/136697689361350656000"
},
{
"nu": 2,
"n": 11,
"number": "2290845843599/106624197701853511680000"
},
{
"nu": 2,
"n": 12,
"number": "66011510671391/28660584342258223939584000"
},
{
"nu": 3,
"n": 1,
"number": "5/48"
},
{
"nu": 3,
"n": 2,
"number": "41/11520"
},
{
"nu": 3,
"n": 3,
"number": "103/552960"
},
{
"nu": 3,
"n": 4,
"number": "9631/928972800"
},
{
"nu": 3,
"n": 5,
"number": "149/254803968"
},
{
"nu": 3,
"n": 6,
"number": "354143/10701766656000"
},
{
"nu": 3,
"n": 7,
"number": "962803/513684799488000"
},
{
"nu": 3,
"n": 8,
"number": "1007992763/9492895094538240000"
},
{
"nu": 3,
"n": 9,
"number": "391602913/65094137791119360000"
},
{
"nu": 3,
"n": 10,
"number": "484564178227/1421655969358046822400000"
},
{
"nu": 3,
"n": 11,
"number": "9224554117937/477676405704303732326400000"
},
{
"nu": 3,
"n": 12,
"number": "125433050824097/114642337369032895758336000000"
}
],
"numerical": [
{
"dps": 70,
"roots": [
{
"nu": 0,
"k": 1,
"root": "3.8317059702075123156144358863081607665645452742878019287623"
},
{
"nu": 0,
"k": 2,
"root": "7.01558666981561875353704998147652474327631150291131389605538"
},
{
"nu": 0,
"k": 3,
"root": "10.1734681350627220771857117767758440698195125001916855561147"
},
{
"nu": 0,
"k": 4,
"root": "13.3236919363142230323936841269478767512166447313578657854776"
},
{
"nu": 0,
"k": 5,
"root": "16.4706300508776328125524604709895514494381268222731257699444"
},
{
"nu": 0,
"k": 6,
"root": "19.6158585104682420211250658841375098502474026618805446473514"
},
{
"nu": 0,
"k": 7,
"root": "22.7600843805927718980530051521822575929053707380732268720051"
},
{
"nu": 0,
"k": 8,
"root": "25.9036720876183826254958554459798742879054270313672476413671"
},
{
"nu": 0,
"k": 9,
"root": "29.0468285349168550666478198835319611004141717930838756660401"
},
{
"nu": 0,
"k": 10,
"root": "32.1896799109744036266229841044603692190528677110149769203604"
},
{
"nu": 0,
"k": 11,
"root": "35.3323075500838651026344790225190144698293488598779652595052"
},
{
"nu": 0,
"k": 12,
"root": "38.4747662347716151120521975577166125549761268921461367427106"
},
{
"nu": 0,
"k": 13,
"root": "41.6170942128144508858635168050602892001512055160283885342855"
},
{
"nu": 0,
"k": 14,
"root": "44.7593189976528217327793527132121442181836702254984716980753"
},
{
"nu": 0,
"k": 15,
"root": "47.9014608871854471212740087225075071894655353019578285359351"
},
{
"nu": 0,
"k": 16,
"root": "51.0435351835715094687330346332240607286324853738208136860337"
},
{
"nu": 0,
"k": 17,
"root": "54.1855536410613205320999662145338889378643468842235584466422"
},
{
"nu": 0,
"k": 18,
"root": "57.3275254379010107450905042437505253491856418737374251542158"
},
{
"nu": 0,
"k": 19,
"root": "60.4694578453474915593987498083831498486358194209968116832695"
},
{
"nu": 0,
"k": 20,
"root": "63.6113566984812326310397624178736260600286921852313460118801"
},
{
"nu": 0,
"k": 21,
"root": "66.7532267340984934153052597500423966131991017880990644499072"
},
{
"nu": 0,
"k": 22,
"root": "69.8950718374957739697305364354998118802578833127303276376807"
},
{
"nu": 0,
"k": 23,
"root": "73.0368952255738348265061175690920489469754492932873950383214"
},
{
"nu": 0,
"k": 24,
"root": "76.178699584641457572852614623534607152312010913947231464048"
},
{
"nu": 0,
"k": 25,
"root": "79.3204871754762993911844848724876914363143534687675025440714"
},
{
"nu": 0,
"k": 26,
"root": "82.4622599143735564539866106487812148635382316404169579718378"
},
{
"nu": 0,
"k": 27,
"root": "85.6040194363502309659494254933800160298869180838971300038402"
},
{
"nu": 0,
"k": 28,
"root": "88.7457671449263069037359164348537968682599166737580051699073"
},
{
"nu": 0,
"k": 29,
"root": "91.8875042516949852805536222144903674524434934209926380486288"
},
{
"nu": 0,
"k": 30,
"root": "95.0292318080446952680509981871740962601152871131881180376785"
},
{
"nu": 0,
"k": 31,
"root": "98.1709507307907819735377591608509554750702259631389800452727"
},
{
"nu": 0,
"k": 32,
"root": "101.312661823038730137141056388651896218380203850639234809449"
},
{
"nu": 1,
"k": 1,
"root": "1.84118378134065930264362951364444332243612703909681926435047"
},
{
"nu": 1,
"k": 2,
"root": "5.33144277352503263688401618343391136749062477575413002051614"
},
{
"nu": 1,
"k": 3,
"root": "8.5363163663462858343589608864120512614604473627178998246657"
},
{
"nu": 1,
"k": 4,
"root": "11.7060049025920641001926704772395222725686091856808406498951"
},
{
"nu": 1,
"k": 5,
"root": "14.8635886339090331050049053049859796536202253228431832275839"
},
{
"nu": 1,
"k": 6,
"root": "18.0155278626818037270256255420104964858059770936542139228555"
},
{
"nu": 1,
"k": 7,
"root": "21.1643698591887900277679732937051309933549126636510525000014"
},
{
"nu": 1,
"k": 8,
"root": "24.311326857210776091733221673753677768531933564170346269492"
},
{
"nu": 1,
"k": 9,
"root": "27.4570505710592458882232755879019784674959570668184471600203"
},
{
"nu": 1,
"k": 10,
"root": "30.6019229726690941923301636285250564671902507541419726755197"
},
{
"nu": 1,
"k": 11,
"root": "33.746182898667382556147730594290578946931962745307321449459"
},
{
"nu": 1,
"k": 12,
"root": "36.889987409236810736184291115055097753807212121735644558105"
},
{
"nu": 1,
"k": 13,
"root": "40.0334440533506754835955778248210241355039369702258876238841"
},
{
"nu": 1,
"k": 14,
"root": "43.1766289654488220651713266709345044334632129311749816371364"
},
{
"nu": 1,
"k": 15,
"root": "46.3195975611739124315148969225207008410360927483489650116235"
},
{
"nu": 1,
"k": 16,
"root": "49.4623911397027555228179615142509368023712306180556009748614"
},
{
"nu": 1,
"k": 17,
"root": "52.6050411115566848160164457956193782046267582514151529500358"
},
{
"nu": 1,
"k": 18,
"root": "55.7475717922510068710412719512612605574151453366987620957051"
},
{
"nu": 1,
"k": 19,
"root": "58.8900022991857035245575166639556017287400071157688626621151"
},
{
"nu": 1,
"k": 20,
"root": "62.0323478706619869049801831779732952946816673723996510699539"
},
{
"nu": 1,
"k": 21,
"root": "65.1746208025444531409130796991612366253683656822876839376497"
},
{
"nu": 1,
"k": 22,
"root": "68.3168311259518083100755328362039166496187519395841154715528"
},
{
"nu": 1,
"k": 23,
"root": "71.4589871058510001812237488939514810058971026420436913278768"
},
{
"nu": 1,
"k": 24,
"root": "74.6010956134564024779250060478225928771015325213893918177876"
},
{
"nu": 1,
"k": 25,
"root": "77.7431624081967643357269218336352169625724122302770308731103"
},
{
"nu": 1,
"k": 26,
"root": "80.8851923538784345841678990805743660903107729372131699158396"
},
{
"nu": 1,
"k": 27,
"root": "84.0271895862935371446984651238952168167073006030859992032026"
},
{
"nu": 1,
"k": 28,
"root": "87.1691576445402767082181084832230535632671973113431258738653"
},
{
"nu": 1,
"k": 29,
"root": "90.311099574903419594664068873211520670566498356516147341676"
},
{
"nu": 1,
"k": 30,
"root": "93.4530180137600273823183199441998260219616898759337152231281"
},
{
"nu": 1,
"k": 31,
"root": "96.5949152542911405124272975040603294331620311049811450021134"
},
{
"nu": 1,
"k": 32,
"root": "99.7367933005739140676420720466910216416686640323989291514455"
},
{
"nu": 2,
"k": 1,
"root": "3.05423692822714032275593209114856089764149676052994591981644"
},
{
"nu": 2,
"k": 2,
"root": "6.70613319415845914663439440346355501465185349488790842643214"
},
{
"nu": 2,
"k": 3,
"root": "9.96946782308759579317914277482246220316495035726584763951055"
},
{
"nu": 2,
"k": 4,
"root": "13.170370856016123073681578921511498742734711476928149771304"
},
{
"nu": 2,
"k": 5,
"root": "16.3475223183217831573348148302298003343010199042488165413289"
},
{
"nu": 2,
"k": 6,
"root": "19.5129127824882048679189121351621114143763291135832011243857"
},
{
"nu": 2,
"k": 7,
"root": "22.6715817724774256992242267848913855996910051271690088466886"
},
{
"nu": 2,
"k": 8,
"root": "25.826037141785262557425222305213609628481266489252741581797"
},
{
"nu": 2,
"k": 9,
"root": "28.9776727729936788268218160140134415361630223527875730903564"
},
{
"nu": 2,
"k": 10,
"root": "32.1273270204434742914037892752687287391626968166925733702339"
},
{
"nu": 2,
"k": 11,
"root": "35.2755350506746913698787369542593916257269257670955962306238"
},
{
"nu": 2,
"k": 12,
"root": "38.4226548175559059226216324273531265002400598603968857886321"
},
{
"nu": 2,
"k": 13,
"root": "41.5689349360743138062892704722964168903853634770306751228397"
},
{
"nu": 2,
"k": 14,
"root": "44.7145535328197337165837486295382381386255254277270512447926"
},
{
"nu": 2,
"k": 15,
"root": "47.8596416079920934504515375589007384824810749858718965687085"
},
{
"nu": 2,
"k": 16,
"root": "51.0042976724588671138956885524098516457459584528385535746929"
},
{
"nu": 2,
"k": 17,
"root": "54.1485972426712370322555271835275884427193838058277453107874"
},
{
"nu": 2,
"k": 18,
"root": "57.2925991864282238500932628053171462242559119448303494219357"
},
{
"nu": 2,
"k": 19,
"root": "60.436350075253562746172342646390769926448356166349400239669"
},
{
"nu": 2,
"k": 20,
"root": "63.5798872381546249896310593230508612946059801312049985868773"
},
{
"nu": 2,
"k": 21,
"root": "66.7232409477173042863141770649915775712714657842969302216155"
},
{
"nu": 2,
"k": 22,
"root": "69.8664360133377199493295470829367409323894090506510352396713"
},
{
"nu": 2,
"k": 23,
"root": "73.0094929611714822902941045169309274785759150719741260492024"
},
{
"nu": 2,
"k": 24,
"root": "76.1524289207590146042627496981877601357541747941229974030833"
},
{
"nu": 2,
"k": 25,
"root": "79.2952583000564899282981026626442867370258562714152799554699"
},
{
"nu": 2,
"k": 26,
"root": "82.4379933055602174598015746933888420835193592615237335000157"
},
{
"nu": 2,
"k": 27,
"root": "85.5806443474877682383468220988381099237007007866498276553696"
},
{
"nu": 2,
"k": 28,
"root": "88.7232203586104163752798861465922546296687579425178737264715"
},
{
"nu": 2,
"k": 29,
"root": "91.8657290474776365038934826811410184868585057115446168169847"
},
{
"nu": 2,
"k": 30,
"root": "95.0081771012676689936742143774429845640898995309672612898607"
},
{
"nu": 2,
"k": 31,
"root": "98.1505703495839632396951426719094544550351676833350121180543"
},
{
"nu": 2,
"k": 32,
"root": "101.292913897699679992810282132893826708772756704091268146235"
},
{
"nu": 3,
"k": 1,
"root": "4.201188941210528496187855297456712187944603213589983352176"
},
{
"nu": 3,
"k": 2,
"root": "8.01523659837595221299741731278809605843909348284824736471595"
},
{
"nu": 3,
"k": 3,
"root": "11.3459243107430064816130997875844615992033565988600154911875"
},
{
"nu": 3,
"k": 4,
"root": "14.5858482861670281961917548863316209630717245816507902304424"
},
{
"nu": 3,
"k": 5,
"root": "17.7887478660664704289953276908012224924480727371496933985265"
},
{
"nu": 3,
"k": 6,
"root": "20.9724769365377000902204648975048194187189285746927034712907"
},
{
"nu": 3,
"k": 7,
"root": "24.1448974329092648504964664330409660049843545898075363521995"
},
{
"nu": 3,
"k": 8,
"root": "27.3100579302043487413364917692873984386811957506524304558994"
},
{
"nu": 3,
"k": 9,
"root": "30.4702688062904237244435578694771409972906624428367724552744"
},
{
"nu": 3,
"k": 10,
"root": "33.6269491827966790728601623845286878504477077385071582442356"
},
{
"nu": 3,
"k": 11,
"root": "36.7810206754643855506330086986007500775537992654812498014937"
},
{
"nu": 3,
"k": 12,
"root": "39.9331086236594877007544309466247199378141110128591389880442"
},
{
"nu": 3,
"k": 13,
"root": "43.0836526623750786314447861712511615012882480263234022181669"
},
{
"nu": 3,
"k": 14,
"root": "46.2329710818364784642846158154548328218874658163664314818777"
},
{
"nu": 3,
"k": 15,
"root": "49.3813000923703492209891579496440664511664982551024696114353"
},
{
"nu": 3,
"k": 16,
"root": "52.5288187372092791886118534030278831937734030734120904352697"
},
{
"nu": 3,
"k": 17,
"root": "55.6756652335027109430065382453464049053036710965454377210978"
},
{
"nu": 3,
"k": 18,
"root": "58.8219480015950184977065504752968506803558047131476784209748"
},
{
"nu": 3,
"k": 19,
"root": "61.9677532965144391188875404799266881675898104938651315438254"
},
{
"nu": 3,
"k": 20,
"root": "65.1131506049568157102790748591002727650453060080398111573974"
},
{
"nu": 3,
"k": 21,
"root": "68.258196536534173454858853301341989440690295617890164135794"
},
{
"nu": 3,
"k": 22,
"root": "71.4029376781967699718760134777518115953773095347437745856426"
},
{
"nu": 3,
"k": 23,
"root": "74.5474127207806096357457719880943794901104583814753525903683"
},
{
"nu": 3,
"k": 24,
"root": "77.6916540656113083532817959273678395929459394029059763215736"
},
{
"nu": 3,
"k": 25,
"root": "80.8356890538095363586641457288173556490290186254464912057491"
},
{
"nu": 3,
"k": 26,
"root": "83.9795409178667802433366647712824850323612066991048851110094"
},
{
"nu": 3,
"k": 27,
"root": "87.1232295260973537005979581947835794384409502928483741118445"
},
{
"nu": 3,
"k": 28,
"root": "90.2667719707621292514993016865669904928488541225155233512252"
},
{
"nu": 3,
"k": 29,
"root": "93.4101830368946290549779666357589005249931913016338971142826"
},
{
"nu": 3,
"k": 30,
"root": "96.5534755791568515766257623801028559047521390043469276317034"
},
{
"nu": 3,
"k": 31,
"root": "99.6966608271203815747181972933861693187869766022923615180758"
},
{
"nu": 3,
"k": 32,
"root": "102.839748634354958573771338824956146738980803696542297739121"
}
],
"comparisons": [
{
"nu": 0,
"n": 1,
"partial_sum": "0.121906390661960295607810679957527011088032919134995571991389",
"remainder": "0.00309360933804",
"tail_bound": "0.00326842527879"
},
{
"nu": 0,
"n": 2,
"partial_sum": "0.00520823595106165470489083965593734335296705852738006530835562",
"remainder": "9.73822716786e-8",
"tail_bound": "1.14866707559e-7"
},
{
"nu": 0,
"n": 3,
"partial_sum": "0.000325520827817203989349524094091212118903246719247345328044461",
"remainder": "5.51612934398e-12",
"tail_bound": "7.26645001311e-12"
},
{
"nu": 0,
"n": 4,
"partial_sum": "0.0000217013888885170319111653145716314678635807383235910506160439",
"remainder": "3.71856977724e-16",
"tail_bound": "5.47231541702e-16"
},
{
"nu": 0,
"n": 5,
"partial_sum": "0.00000146936487268515789747719617635420834521512656003154046001915",
"remainder": "2.7287707989e-20",
"tail_bound": "4.48749026155e-20"
},
{
"nu": 0,
"n": 6,
"partial_sum": "0.0000000999087379092261883703829496656274439051559943608860517993447",
"remainder": "2.10580752652e-24",
"tail_bound": "3.87106274142e-24"
},
{
"nu": 0,
"n": 7,
"partial_sum": "0.00000000680144711987261629171911478271224487905660104044541305502496",
"remainder": "1.68010437746e-28",
"tail_bound": "3.45347574486e-28"
},
{
"nu": 0,
"n": 8,
"partial_sum": "0.000000000463182870579681605795596699889900953861270103585592815675962",
"remainder": "1.37253501539e-32",
"tail_bound": "3.15562487128e-32"
},
{
"nu": 0,
"n": 9,
"partial_sum": "0.0000000000315463393430207118132103653098905868654141642651527142916949",
"remainder": "1.14121660498e-36",
"tail_bound": "2.93565202077e-36"
},
{
"nu": 0,
"n": 10,
"partial_sum": "0.00000000000214861652287037573816153339677671227141382690354859636605244",
"remainder": "9.61907743287e-41",
"tail_bound": "2.76934308429e-40"
},
{
"nu": 0,
"n": 11,
"partial_sum": "0.000000000000146343304839036092228350207629391820155369968986809872580936",
"remainder": "8.19607592198e-45",
"tail_bound": "2.64172700314e-44"
},
{
"nu": 0,
"n": 12,
"partial_sum": "0.00000000000000996754028782272420002134298756689926682984991533000223819928",
"remainder": "7.04538081476e-49",
"tail_bound": "2.54305797547e-48"
},
{
"nu": 1,
"n": 1,
"partial_sum": "0.371858331035676644933121227585000254312392704516805293990758",
"remainder": "0.00314166896432",
"tail_bound": "0.00326842527879"
},
{
"nu": 1,
"n": 2,
"partial_sum": "0.0885415646736973156961280016161474938248520953109268055002685",
"remainder": "1.01992969351e-7",
"tail_bound": "1.14866707559e-7"
},
{
"nu": 1,
"n": 3,
"partial_sum": "0.0257161458273750764051971692970988989181007916530199261451469",
"remainder": "5.95825692814e-12",
"tail_bound": "7.26645001311e-12"
},
{
"nu": 1,
"n": 4,
"partial_sum": "0.00757378472222180798220202285041261704335222137438469307154667",
"remainder": "4.14240020199e-16",
"tail_bound": "5.47231541702e-16"
},
{
"nu": 1,
"n": 5,
"partial_sum": "0.00223377369068287033902085655965637020714160733934563524012532",
"remainder": "3.13495138107e-20",
"tail_bound": "4.48749026155e-20"
},
{
"nu": 1,
"n": 6,
"partial_sum": "0.000658924365169787533066288094100424934574751510331790974324536",
"remainder": "2.49497468264e-24",
"tail_bound": "3.87106274142e-24"
},
{
"nu": 1,
"n": 7,
"partial_sum": "0.00019437489896434535004684723739282871392082611105175326272459",
"remainder": "2.052879473e-28",
"tail_bound": "3.45347574486e-28"
},
{
"nu": 1,
"n": 8,
"partial_sum": "0.0000573384261308827401141944689225440814940421838643792535944969",
"remainder": "1.72952287156e-32",
"tail_bound": "3.15562487128e-32"
},
{
"nu": 1,
"n": 9,
"partial_sum": "0.0000169142003691467424946253658999593243632317343944608374538571",
"remainder": "1.48300498304e-36",
"tail_bound": "2.93565202077e-36"
},
{
"nu": 1,
"n": 10,
"partial_sum": "0.00000498950184930861730690354238320335915469947254576881962824064",
"remainder": "1.28906724641e-40",
"tail_bound": "2.76934308429e-40"
},
{
"nu": 1,
"n": 11,
"partial_sum": "0.00000147184781161476111524344534985876332647319298249826736417572",
"remainder": "1.13269176595e-44",
"tail_bound": "2.64172700314e-44"
},
{
"nu": 1,
"n": 12,
"partial_sum": "0.000000434178811224155741077032387703252698797597852304187455621608",
"remainder": "1.00408361661e-48",
"tail_bound": "2.54305797547e-48"
},
{
"nu": 2,
"n": 1,
"partial_sum": "0.163572667652365276374912340960672169551867833350363856640702",
"remainder": "0.0030939990143",
"tail_bound": "0.00326842527879"
},
{
"nu": 2,
"n": 2,
"partial_sum": "0.0121526803513512650115280749264342898573355291750725880067141",
"remainder": "9.74264265128e-8",
"tail_bound": "1.14866707559e-7"
},
{
"nu": 2,
"n": 3,
"partial_sum": "0.00124421295744236783960752530310612934038212373995601173397052",
"remainder": "5.52059512336e-12",
"tail_bound": "7.26645001311e-12"
},
{
"nu": 2,
"n": 4,
"partial_sum": "0.00013231819058604745907819170986139738200860483162429805033447",
"remainder": "3.72294008228e-16",
"tail_bound": "5.47231541702e-16"
},
{
"nu": 2,
"n": 5,
"partial_sum": "0.0000141625962209729297541947200387694855660304877977279144296395",
"remainder": "2.73298734751e-20",
"tail_bound": "4.48749026155e-20"
},
{
"nu": 2,
"n": 6,
"partial_sum": "0.00000151775688277537416504672929025231934159458856605071337066632",
"remainder": "2.10984527373e-24",
"tail_bound": "3.87106274142e-24"
},
{
"nu": 2,
"n": 7,
"partial_sum": "0.000000162693075760269439136940494850494601637656614563454033674701",
"remainder": "1.68395344815e-28",
"tail_bound": "3.45347574486e-28"
},
{
"nu": 2,
"n": 8,
"partial_sum": "0.0000000174404589654904752038561057320467846119886015882847548280497",
"remainder": "1.37619327917e-32",
"tail_bound": "3.15562487128e-32"
},
{
"nu": 2,
"n": 9,
"partial_sum": "0.00000000186961110984410862273570178119632799402920655024918149466694",
"remainder": "1.1446861714e-36",
"tail_bound": "2.93565202077e-36"
},
{
"nu": 2,
"n": 10,
"partial_sum": "0.000000000200422090431809320094463183769979846621317191714667149096492",
"remainder": "9.6519313694e-41",
"tail_bound": "2.76934308429e-40"
},
{
"nu": 2,
"n": 11,
"partial_sum": "0.0000000000214852340554509688726191265074089569408702689822000748306652",
"remainder": "8.22714730829e-45",
"tail_bound": "2.64172700314e-44"
},
{
"nu": 2,
"n": 12,
"partial_sum": "0.00000000000230321579919992039297753706214041150241388629318008171050957",
"remainder": "7.0747367139e-49",
"tail_bound": "2.54305797547e-48"
},
{
"nu": 3,
"n": 1,
"partial_sum": "0.101118734736405312565436834267054805220017739240355875631351",
"remainder": "0.00304793193026",
"tail_bound": "0.00326842527879"
},
{
"nu": 3,
"n": 2,
"partial_sum": "0.00355893462974561662904174295724076516399088820151634254616548",
"remainder": "9.31480321611e-8",
"tail_bound": "1.14866707559e-7"
},
{
"nu": 3,
"n": 3,
"partial_sum": "0.000186270249506760313912850069641593941615184141657440181873526",
"remainder": "5.12286931572e-12",
"tail_bound": "7.26645001311e-12"
},
{
"nu": 3,
"n": 4,
"partial_sum": "0.000010367364899907189624461334256204010619554882364372076094239",
"remainder": "3.3531478471e-16",
"tail_bound": "5.47231541702e-16"
},
{
"nu": 3,
"n": 5,
"partial_sum": "0.00000058476326396924051144846958058806325753352176018364705560037",
"remainder": "2.38918437115e-20",
"tail_bound": "4.48749026155e-20"
},
{
"nu": 3,
"n": 6,
"partial_sum": "0.0000000330920128782146360453393014991085543834673902639821254927738",
"remainder": "1.79024760816e-24",
"tail_bound": "3.87106274142e-24"
},
{
"nu": 3,
"n": 7,
"partial_sum": "0.00000000187430696987655692460737362709560472757537845742550389499456",
"remainder": "1.38690779463e-28",
"tail_bound": "3.45347574486e-28"
},
{
"nu": 3,
"n": 8,
"partial_sum": "0.000000000106183914702686544799851504289603678305617620309784301425537",
"remainder": "1.10016097923e-32",
"tail_bound": "3.15562487128e-32"
},
{
"nu": 3,
"n": 9,
"partial_sum": "0.00000000000601594746145367123464816632219896144810559742015615822186991",
"remainder": "8.88232480808e-37",
"tail_bound": "2.93565202077e-36"
},
{
"nu": 3,
"n": 10,
"partial_sum": "0.000000000000340844894032841477669958270736877191209566084151900327048713",
"remainder": "7.2697896078e-41",
"tail_bound": "2.76934308429e-40"
},
{
"nu": 3,
"n": 11,
"partial_sum": "0.0000000000000193113036519691123572028128667756791739404535407002133887805",
"remainder": "6.01489704268e-45",
"tail_bound": "2.64172700314e-44"
},
{
"nu": 3,
"n": 12,
"partial_sum": "0.00000000000000109412503009537280997881303664307753633182439970266277790869",
"remainder": "5.02070085244e-49",
"tail_bound": "2.54305797547e-48"
}
],
"max_residual": "5.00916360151e-71",
"root_indexing_certified": false,
"known_half_order_control": true,
"zero_mode_control": true,
"deliberate_root_sum_perturbation_rejected": true
},
{
"dps": 100,
"roots": [
{
"nu": 0,
"k": 1,
"root": "3.83170597020751231561443588630816076656454527428780192876229898991883930951901147021411287"
},
{
"nu": 0,
"k": 2,
"root": "7.01558666981561875353704998147652474327631150291131389605537782698549601550201866307271493"
},
{
"nu": 0,
"k": 3,
"root": "10.1734681350627220771857117767758440698195125001916855561146500681157870437828838738289189"
},
{
"nu": 0,
"k": 4,
"root": "13.323691936314223032393684126947876751216644731357865785477571526496567063347304782547119"
},
{
"nu": 0,
"k": 5,
"root": "16.4706300508776328125524604709895514494381268222731257699444200079444425676407438990029315"
},
{
"nu": 0,
"k": 6,
"root": "19.6158585104682420211250658841375098502474026618805446473514447644708011017272982714853892"
},
{
"nu": 0,
"k": 7,
"root": "22.7600843805927718980530051521822575929053707380732268720050771302542735625896641945703267"
},
{
"nu": 0,
"k": 8,
"root": "25.9036720876183826254958554459798742879054270313672476413671044943450567141631650588814723"
},
{
"nu": 0,
"k": 9,
"root": "29.0468285349168550666478198835319611004141717930838756660401255733765783955361962093678253"
},
{
"nu": 0,
"k": 10,
"root": "32.1896799109744036266229841044603692190528677110149769203603546544972025292002002661451266"
},
{
"nu": 0,
"k": 11,
"root": "35.3323075500838651026344790225190144698293488598779652595052293696046759363143770100347508"
},
{
"nu": 0,
"k": 12,
"root": "38.4747662347716151120521975577166125549761268921461367427106078510161736615076287933163988"
},
{
"nu": 0,
"k": 13,
"root": "41.617094212814450885863516805060289200151205516028388534285469671735587954232543029754683"
},
{
"nu": 0,
"k": 14,
"root": "44.7593189976528217327793527132121442181836702254984716980752903033464850142445186613004315"
},
{
"nu": 0,
"k": 15,
"root": "47.9014608871854471212740087225075071894655353019578285359351481714151373055313599248255154"
},
{
"nu": 0,
"k": 16,
"root": "51.0435351835715094687330346332240607286324853738208136860336824073829251346663242873073883"
},
{
"nu": 0,
"k": 17,
"root": "54.1855536410613205320999662145338889378643468842235584466422212086483356254809577306970211"
},
{
"nu": 0,
"k": 18,
"root": "57.3275254379010107450905042437505253491856418737374251542158110939973720054840349061444749"
},
{
"nu": 0,
"k": 19,
"root": "60.4694578453474915593987498083831498486358194209968116832694901749522447231292058618602024"
},
{
"nu": 0,
"k": 20,
"root": "63.611356698481232631039762417873626060028692185231346011880056770552840435608620357247982"
},
{
"nu": 0,
"k": 21,
"root": "66.7532267340984934153052597500423966131991017880990644499072154266654385713044916705071206"
},
{
"nu": 0,
"k": 22,
"root": "69.8950718374957739697305364354998118802578833127303276376807365776568639327579020392220694"
},
{
"nu": 0,
"k": 23,
"root": "73.0368952255738348265061175690920489469754492932873950383214020910797367775347272154876514"
},
{
"nu": 0,
"k": 24,
"root": "76.1786995846414575728526146235346071523120109139472314640480297634238276215060088721364198"
},
{
"nu": 0,
"k": 25,
"root": "79.3204871754762993911844848724876914363143534687675025440714413883607222757188419512865705"
},
{
"nu": 0,
"k": 26,
"root": "82.4622599143735564539866106487812148635382316404169579718378176936435583472553364643897946"
},
{
"nu": 0,
"k": 27,
"root": "85.6040194363502309659494254933800160298869180838971300038401590551675137067505930482946105"
},
{
"nu": 0,
"k": 28,
"root": "88.7457671449263069037359164348537968682599166737580051699073329240344611558372044184527499"
},
{
"nu": 0,
"k": 29,
"root": "91.8875042516949852805536222144903674524434934209926380486287906763925816747335911713171739"
},
{
"nu": 0,
"k": 30,
"root": "95.0292318080446952680509981871740962601152871131881180376784555415869123956789235955211358"
},
{
"nu": 0,
"k": 31,
"root": "98.1709507307907819735377591608509554750702259631389800452726704285406949982990393278526865"
},
{
"nu": 0,
"k": 32,
"root": "101.312661823038730137141056388651896218380203850639234809449099215990870403286531273983773"
},
{
"nu": 1,
"k": 1,
"root": "1.84118378134065930264362951364444332243612703909681926435046774292422920985906538618933542"
},
{
"nu": 1,
"k": 2,
"root": "5.33144277352503263688401618343391136749062477575413002051614052043809900234580329571409077"
},
{
"nu": 1,
"k": 3,
"root": "8.5363163663462858343589608864120512614604473627178998246657023439108395546651571484071854"
},
{
"nu": 1,
"k": 4,
"root": "11.7060049025920641001926704772395222725686091856808406498950796951898272976215492874405712"
},
{
"nu": 1,
"k": 5,
"root": "14.8635886339090331050049053049859796536202253228431832275839015795104552194820893580675666"
},
{
"nu": 1,
"k": 6,
"root": "18.0155278626818037270256255420104964858059770936542139228554981889987154496119139297592263"
},
{
"nu": 1,
"k": 7,
"root": "21.1643698591887900277679732937051309933549126636510525000014096363857441616437911396082003"
},
{
"nu": 1,
"k": 8,
"root": "24.3113268572107760917332216737536777685319335641703462694920016597942567715517733756679546"
},
{
"nu": 1,
"k": 9,
"root": "27.4570505710592458882232755879019784674959570668184471600202864103586377158422046497976084"
},
{
"nu": 1,
"k": 10,
"root": "30.6019229726690941923301636285250564671902507541419726755196698326058220700335797381202444"
},
{
"nu": 1,
"k": 11,
"root": "33.7461828986673825561477305942905789469319627453073214494589801534993246071544857885768576"
},
{
"nu": 1,
"k": 12,
"root": "36.889987409236810736184291115055097753807212121735644558105014581677210355714406444043264"
},
{
"nu": 1,
"k": 13,
"root": "40.0334440533506754835955778248210241355039369702258876238841201764710086461408883963068559"
},
{
"nu": 1,
"k": 14,
"root": "43.1766289654488220651713266709345044334632129311749816371364028243099154841704687613852681"
},
{
"nu": 1,
"k": 15,
"root": "46.3195975611739124315148969225207008410360927483489650116234841930842163078992856508045757"
},
{
"nu": 1,
"k": 16,
"root": "49.4623911397027555228179615142509368023712306180556009748614368462901054218898909158020587"
},
{
"nu": 1,
"k": 17,
"root": "52.6050411115566848160164457956193782046267582514151529500357647585180078187639875147339812"
},
{
"nu": 1,
"k": 18,
"root": "55.7475717922510068710412719512612605574151453366987620957050853804380356016603674260013405"
},
{
"nu": 1,
"k": 19,
"root": "58.8900022991857035245575166639556017287400071157688626621151049794529046059141143585527122"
},
{
"nu": 1,
"k": 20,
"root": "62.0323478706619869049801831779732952946816673723996510699539046939101751289045192127458169"
},
{
"nu": 1,
"k": 21,
"root": "65.1746208025444531409130796991612366253683656822876839376496753223652466450306422132262083"
},
{
"nu": 1,
"k": 22,
"root": "68.3168311259518083100755328362039166496187519395841154715527559691802471324949267857033849"
},
{
"nu": 1,
"k": 23,
"root": "71.4589871058510001812237488939514810058971026420436913278768248885437815544918718801485132"
},
{
"nu": 1,
"k": 24,
"root": "74.6010956134564024779250060478225928771015325213893918177876464063379842743665791098806752"
},
{
"nu": 1,
"k": 25,
"root": "77.7431624081967643357269218336352169625724122302770308731102518840071200300015684371996137"
},
{
"nu": 1,
"k": 26,
"root": "80.8851923538784345841678990805743660903107729372131699158396360793855933594940425738859471"
},
{
"nu": 1,
"k": 27,
"root": "84.0271895862935371446984651238952168167073006030859992032026283501316317838490064451758918"
},
{
"nu": 1,
"k": 28,
"root": "87.1691576445402767082181084832230535632671973113431258738652803630369653689267027877444836"
},
{
"nu": 1,
"k": 29,
"root": "90.3110995749034195946640688732115206705664983565161473416759689108074814144579829739758607"
},
{
"nu": 1,
"k": 30,
"root": "93.4530180137600273823183199441998260219616898759337152231280739479259305991791468627942041"
},
{
"nu": 1,
"k": 31,
"root": "96.5949152542911405124272975040603294331620311049811450021133848537417350390349881542686861"
},
{
"nu": 1,
"k": 32,
"root": "99.736793300573914067642072046691021641668664032398929151445517352662820191200604777090245"
},
{
"nu": 2,
"k": 1,
"root": "3.05423692822714032275593209114856089764149676052994591981643756665854517661291945697470806"
},
{
"nu": 2,
"k": 2,
"root": "6.70613319415845914663439440346355501465185349488790842643213809484163327475583182370384383"
},
{
"nu": 2,
"k": 3,
"root": "9.96946782308759579317914277482246220316495035726584763951054766276570386117051674928137413"
},
{
"nu": 2,
"k": 4,
"root": "13.1703708560161230736815789215114987427347114769281497713040265329701580592787190835290549"
},
{
"nu": 2,
"k": 5,
"root": "16.3475223183217831573348148302298003343010199042488165413289168598199909659801172509088386"
},
{
"nu": 2,
"k": 6,
"root": "19.5129127824882048679189121351621114143763291135832011243856637212798870906468165365441194"
},
{
"nu": 2,
"k": 7,
"root": "22.6715817724774256992242267848913855996910051271690088466886108106045388464893497421468621"
},
{
"nu": 2,
"k": 8,
"root": "25.8260371417852625574252223052136096284812664892527415817969690469398808432686962410838815"
},
{
"nu": 2,
"k": 9,
"root": "28.9776727729936788268218160140134415361630223527875730903563584030969690535631728001955818"
},
{
"nu": 2,
"k": 10,
"root": "32.1273270204434742914037892752687287391626968166925733702338934793685844366499905691696338"
},
{
"nu": 2,
"k": 11,
"root": "35.2755350506746913698787369542593916257269257670955962306238069507278808392358140511924783"
},
{
"nu": 2,
"k": 12,
"root": "38.4226548175559059226216324273531265002400598603968857886321474191372153825694346782441627"
},
{
"nu": 2,
"k": 13,
"root": "41.5689349360743138062892704722964168903853634770306751228396572771413216571438335877619306"
},
{
"nu": 2,
"k": 14,
"root": "44.7145535328197337165837486295382381386255254277270512447926461495725608597548026917384939"
},
{
"nu": 2,
"k": 15,
"root": "47.8596416079920934504515375589007384824810749858718965687084768854100962861951087406801627"
},
{
"nu": 2,
"k": 16,
"root": "51.0042976724588671138956885524098516457459584528385535746928791905620704346947522702442104"
},
{
"nu": 2,
"k": 17,
"root": "54.1485972426712370322555271835275884427193838058277453107873519855776689105546580774314479"
},
{
"nu": 2,
"k": 18,
"root": "57.292599186428223850093262805317146224255911944830349421935707698584773571537594262143148"
},
{
"nu": 2,
"k": 19,
"root": "60.4363500752535627461723426463907699264483561663494002396689871656361557511804413854679704"
},
{
"nu": 2,
"k": 20,
"root": "63.5798872381546249896310593230508612946059801312049985868772694527535828818382724547908022"
},
{
"nu": 2,
"k": 21,
"root": "66.7232409477173042863141770649915775712714657842969302216154709495641104310473677767760497"
},
{
"nu": 2,
"k": 22,
"root": "69.8664360133377199493295470829367409323894090506510352396712506503568031284271029983135316"
},
{
"nu": 2,
"k": 23,
"root": "73.0094929611714822902941045169309274785759150719741260492023745726091153545481473002952055"
},
{
"nu": 2,
"k": 24,
"root": "76.1524289207590146042627496981877601357541747941229974030833099652040994076160962088557065"
},
{
"nu": 2,
"k": 25,
"root": "79.2952583000564899282981026626442867370258562714152799554698602099275389489198959040628891"
},
{
"nu": 2,
"k": 26,
"root": "82.4379933055602174598015746933888420835193592615237335000156756833486462877066941239516088"
},
{
"nu": 2,
"k": 27,
"root": "85.5806443474877682383468220988381099237007007866498276553695721022736590450470316300457343"
},
{
"nu": 2,
"k": 28,
"root": "88.7232203586104163752798861465922546296687579425178737264715451016003705210989441857809518"
},
{
"nu": 2,
"k": 29,
"root": "91.865729047477636503893482681141018486858505711544616816984749142327337556950845215084403"
},
{
"nu": 2,
"k": 30,
"root": "95.0081771012676689936742143774429845640898995309672612898607456493992214699585614768143825"
},
{
"nu": 2,
"k": 31,
"root": "98.1505703495839632396951426719094544550351676833350121180542932236989038943088291000113143"
},
{
"nu": 2,
"k": 32,
"root": "101.292913897699679992810282132893826708772756704091268146235084521569163676288916986791468"
},
{
"nu": 3,
"k": 1,
"root": "4.20118894121052849618785529745671218794460321358998335217600179102095840503193351611173503"
},
{
"nu": 3,
"k": 2,
"root": "8.01523659837595221299741731278809605843909348284824736471594677516376150404901267255038363"
},
{
"nu": 3,
"k": 3,
"root": "11.3459243107430064816130997875844615992033565988600154911875019490346136963691359170075539"
},
{
"nu": 3,
"k": 4,
"root": "14.5858482861670281961917548863316209630717245816507902304423696326635531342457670375344796"
},
{
"nu": 3,
"k": 5,
"root": "17.7887478660664704289953276908012224924480727371496933985265463327619100563672488097949803"
},
{
"nu": 3,
"k": 6,
"root": "20.9724769365377000902204648975048194187189285746927034712907155404588059622047631455906014"
},
{
"nu": 3,
"k": 7,
"root": "24.1448974329092648504964664330409660049843545898075363521994974066874235108095590547738224"
},
{
"nu": 3,
"k": 8,
"root": "27.3100579302043487413364917692873984386811957506524304558994445887296213375077589744578806"
},
{
"nu": 3,
"k": 9,
"root": "30.4702688062904237244435578694771409972906624428367724552744048462528578520095202414002819"
},
{
"nu": 3,
"k": 10,
"root": "33.6269491827966790728601623845286878504477077385071582442355506031110599035349948073586861"
},
{
"nu": 3,
"k": 11,
"root": "36.7810206754643855506330086986007500775537992654812498014936640161977395466159048449856743"
},
{
"nu": 3,
"k": 12,
"root": "39.9331086236594877007544309466247199378141110128591389880442030782709809959220115627795267"
},
{
"nu": 3,
"k": 13,
"root": "43.0836526623750786314447861712511615012882480263234022181669457218236593681756167377254424"
},
{
"nu": 3,
"k": 14,
"root": "46.2329710818364784642846158154548328218874658163664314818776994095454765078762631438485078"
},
{
"nu": 3,
"k": 15,
"root": "49.3813000923703492209891579496440664511664982551024696114353050057738570383174508513732952"
},
{
"nu": 3,
"k": 16,
"root": "52.5288187372092791886118534030278831937734030734120904352697052599066028256657273335867734"
},
{
"nu": 3,
"k": 17,
"root": "55.6756652335027109430065382453464049053036710965454377210978486833774256478563751838104882"
},
{
"nu": 3,
"k": 18,
"root": "58.8219480015950184977065504752968506803558047131476784209747532461373682706244030153064613"
},
{
"nu": 3,
"k": 19,
"root": "61.9677532965144391188875404799266881675898104938651315438254151812659708047138726999387344"
},
{
"nu": 3,
"k": 20,
"root": "65.1131506049568157102790748591002727650453060080398111573973921274800785637353062777191371"
},
{
"nu": 3,
"k": 21,
"root": "68.258196536534173454858853301341989440690295617890164135793990561280846866200855412702889"
},
{
"nu": 3,
"k": 22,
"root": "71.4029376781967699718760134777518115953773095347437745856426190265730969551152919199159599"
},
{
"nu": 3,
"k": 23,
"root": "74.5474127207806096357457719880943794901104583814753525903682777345933392054214719465717635"
},
{
"nu": 3,
"k": 24,
"root": "77.6916540656113083532817959273678395929459394029059763215736075265218932810539146314097799"
},
{
"nu": 3,
"k": 25,
"root": "80.8356890538095363586641457288173556490290186254464912057491384741834870484383068473510522"
},
{
"nu": 3,
"k": 26,
"root": "83.9795409178667802433366647712824850323612066991048851110093862710787358527852634147611873"
},
{
"nu": 3,
"k": 27,
"root": "87.1232295260973537005979581947835794384409502928483741118445341546727151135523100968660898"
},
{
"nu": 3,
"k": 28,
"root": "90.2667719707621292514993016865669904928488541225155233512252078207441132218987112775185224"
},
{
"nu": 3,
"k": 29,
"root": "93.4101830368946290549779666357589005249931913016338971142826399005181280956013990109861504"
},
{
"nu": 3,
"k": 30,
"root": "96.553475579156851576625762380102855904752139004346927631703419425799361323985587720699073"
},
{
"nu": 3,
"k": 31,
"root": "99.6966608271203815747181972933861693187869766022923615180758102156160796053558253804599443"
},
{
"nu": 3,
"k": 32,
"root": "102.839748634354958573771338824956146738980803696542297739120980157367755942635592074862045"
}
],
"comparisons": [
{
"nu": 0,
"n": 1,
"partial_sum": "0.121906390661960295607810679957527011088032919134995571991388669431702312163785377818136029",
"remainder": "0.00309360933804",
"tail_bound": "0.00326842527879"
},
{
"nu": 0,
"n": 2,
"partial_sum": "0.00520823595106165470489083965593734335296705852738006530835562379316847970134377365864321929",
"remainder": "9.73822716786e-8",
"tail_bound": "1.14866707559e-7"
},
{
"nu": 0,
"n": 3,
"partial_sum": "0.000325520827817203989349524094091212118903246719247345328044460738004984974583764425977133095",
"remainder": "5.51612934398e-12",
"tail_bound": "7.26645001311e-12"
},
{
"nu": 0,
"n": 4,
"partial_sum": "0.0000217013888885170319111653145716314678635807383235910506160438805085907183276483052201663755",
"remainder": "3.71856977724e-16",
"tail_bound": "5.47231541702e-16"
},
{
"nu": 0,
"n": 5,
"partial_sum": "0.00000146936487268515789747719617635420834521512656003154046001914931579234241824544142829018986",
"remainder": "2.7287707989e-20",
"tail_bound": "4.48749026155e-20"
},
{
"nu": 0,
"n": 6,
"partial_sum": "0.0000000999087379092261883703829496656274439051559943608860517993446771637891159723140308051812306",
"remainder": "2.10580752652e-24",
"tail_bound": "3.87106274142e-24"
},
{
"nu": 0,
"n": 7,
"partial_sum": "0.00000000680144711987261629171911478271224487905660104044541305502496452417321419482988162890844902",
"remainder": "1.68010437746e-28",
"tail_bound": "3.45347574486e-28"
},
{
"nu": 0,
"n": 8,
"partial_sum": "0.000000000463182870579681605795596699889900953861270103585592815675961891549300445202979066553368985",
"remainder": "1.37253501539e-32",
"tail_bound": "3.15562487128e-32"
},
{
"nu": 0,
"n": 9,
"partial_sum": "0.000000000031546339343020711813210365309890586865414164265152714291694939278132029117518463721973509",
"remainder": "1.14121660498e-36",
"tail_bound": "2.93565202077e-36"
},
{
"nu": 0,
"n": 10,
"partial_sum": "0.00000000000214861652287037573816153339677671227141382690354859636605244406088383936354255254987103515",
"remainder": "9.61907743287e-41",
"tail_bound": "2.76934308429e-40"
},
{
"nu": 0,
"n": 11,
"partial_sum": "0.00000000000014634330483903609222835020762939182015536996898680987258093605850507983112300481519255022",
"remainder": "8.19607592198e-45",
"tail_bound": "2.64172700314e-44"
},
{
"nu": 0,
"n": 12,
"partial_sum": "0.00000000000000996754028782272420002134298756689926682984991533000223819928433660950778654540369414320025",
"remainder": "7.04538081476e-49",
"tail_bound": "2.54305797547e-48"
},
{
"nu": 1,
"n": 1,
"partial_sum": "0.371858331035676644933121227585000254312392704516805293990758086196396847675837201740462697",
"remainder": "0.00314166896432",
"tail_bound": "0.00326842527879"
},
{
"nu": 1,
"n": 2,
"partial_sum": "0.0885415646736973156961280016161474938248520953109268055002685072353562706032284015255045072",
"remainder": "1.01992969351e-7",
"tail_bound": "1.14866707559e-7"
},
{
"nu": 1,
"n": 3,
"partial_sum": "0.0257161458273750764051971692970988989181007916530199261451468582694762896414260329317229652",
"remainder": "5.95825692814e-12",
"tail_bound": "7.26645001311e-12"
},
{
"nu": 1,
"n": 4,
"partial_sum": "0.00757378472222180798220202285041261704335222137438469307154667166946301579030158321401833744",
"remainder": "4.14240020199e-16",
"tail_bound": "5.47231541702e-16"
},
{
"nu": 1,
"n": 5,
"partial_sum": "0.00223377369068287033902085655965637020714160733934563524012532099465804638969010165302818256",
"remainder": "3.13495138107e-20",
"tail_bound": "4.48749026155e-20"
},
{
"nu": 1,
"n": 6,
"partial_sum": "0.000658924365169787533066288094100424934574751510331790974324535800333553606372319833401723528",
"remainder": "2.49497468264e-24",
"tail_bound": "3.87106274142e-24"
},
{
"nu": 1,
"n": 7,
"partial_sum": "0.000194374898964345350046847237392828713920826111051753262724589799586730801234628091059661631",
"remainder": "2.052879473e-28",
"tail_bound": "3.45347574486e-28"
},
{
"nu": 1,
"n": 8,
"partial_sum": "0.0000573384261308827401141944689225440814940421838643792535944968768020092101582354181588210399",
"remainder": "1.72952287156e-32",
"tail_bound": "3.15562487128e-32"
},
{
"nu": 1,
"n": 9,
"partial_sum": "0.0000169142003691467424946253658999593243632317343944608374538571380443311886407349268237061727",
"remainder": "1.48300498304e-36",
"tail_bound": "2.93565202077e-36"
},
{
"nu": 1,
"n": 10,
"partial_sum": "0.00000498950184930861730690354238320335915469947254576881962824064109097201958822378210070132553",
"remainder": "1.28906724641e-40",
"tail_bound": "2.76934308429e-40"
},
{
"nu": 1,
"n": 11,
"partial_sum": "0.00000147184781161476111524344534985876332647319298249826736417572411647491666247914572686361141",
"remainder": "1.13269176595e-44",
"tail_bound": "2.64172700314e-44"
},
{
"nu": 1,
"n": 12,
"partial_sum": "0.000000434178811224155741077032387703252698797597852304187455621607715299090621095731339237372643",
"remainder": "1.00408361661e-48",
"tail_bound": "2.54305797547e-48"
},
{
"nu": 2,
"n": 1,
"partial_sum": "0.163572667652365276374912340960672169551867833350363856640702196855006485410238074164882552",
"remainder": "0.0030939990143",
"tail_bound": "0.00326842527879"
},
{
"nu": 2,
"n": 2,
"partial_sum": "0.0121526803513512650115280749264342898573355291750725880067140831526362855916225741777723682",
"remainder": "9.74264265128e-8",
"tail_bound": "1.14866707559e-7"
},
{
"nu": 2,
"n": 3,
"partial_sum": "0.00124421295744236783960752530310612934038212373995601173397052187816764155109202525823464591",
"remainder": "5.52059512336e-12",
"tail_bound": "7.26645001311e-12"
},
{
"nu": 2,
"n": 4,
"partial_sum": "0.00013231819058604745907819170986139738200860483162429805033446962637478267575879549665923438",
"remainder": "3.72294008228e-16",
"tail_bound": "5.47231541702e-16"
},
{
"nu": 2,
"n": 5,
"partial_sum": "0.0000141625962209729297541947200387694855660304877977279144296395280542509948789862372071380597",
"remainder": "2.73298734751e-20",
"tail_bound": "4.48749026155e-20"
},
{
"nu": 2,
"n": 6,
"partial_sum": "0.00000151775688277537416504672929025231934159458856605071337066632178596654868532408178903699379",
"remainder": "2.10984527373e-24",
"tail_bound": "3.87106274142e-24"
},
{
"nu": 2,
"n": 7,
"partial_sum": "0.00000016269307576026943913694049485049460163765661456345403367470141532620546993454301476450084",
"remainder": "1.68395344815e-28",
"tail_bound": "3.45347574486e-28"
},
{
"nu": 2,
"n": 8,
"partial_sum": "0.0000000174404589654904752038561057320467846119886015882847548280497248706491709782338387405573999",
"remainder": "1.37619327917e-32",
"tail_bound": "3.15562487128e-32"
},
{
"nu": 2,
"n": 9,
"partial_sum": "0.00000000186961110984410862273570178119632799402920655024918149466694438978762656067370908894893886",
"remainder": "1.1446861714e-36",
"tail_bound": "2.93565202077e-36"
},
{
"nu": 2,
"n": 10,
"partial_sum": "0.000000000200422090431809320094463183769979846621317191714667149096491581544898638789612044676491646",
"remainder": "9.6519313694e-41",
"tail_bound": "2.76934308429e-40"
},
{
"nu": 2,
"n": 11,
"partial_sum": "0.000000000021485234055450968872619126507408956940870268982200074830665172788401559500744394566946497",
"remainder": "8.22714730829e-45",
"tail_bound": "2.64172700314e-44"
},
{
"nu": 2,
"n": 12,
"partial_sum": "0.00000000000230321579919992039297753706214041150241388629318008171050957471799492812858311120156462796",
"remainder": "7.0747367139e-49",
"tail_bound": "2.54305797547e-48"
},
{
"nu": 3,
"n": 1,
"partial_sum": "0.101118734736405312565436834267054805220017739240355875631351434768927843836359128152397716",
"remainder": "0.00304793193026",
"tail_bound": "0.00326842527879"
},
{
"nu": 3,
"n": 2,
"partial_sum": "0.00355893462974561662904174295724076516399088820151634254616548203418803913598871993508832694",
"remainder": "9.31480321611e-8",
"tail_bound": "1.14866707559e-7"
},
{
"nu": 3,
"n": 3,
"partial_sum": "0.000186270249506760313912850069641593941615184141657440181873526338657887671568044817140651686",
"remainder": "5.12286931572e-12",
"tail_bound": "7.26645001311e-12"
},
{
"nu": 3,
"n": 4,
"partial_sum": "0.0000103673648999071896244613342562040106195548823643720760942389653098346645617562269239115761",
"remainder": "3.3531478471e-16",
"tail_bound": "5.47231541702e-16"
},
{
"nu": 3,
"n": 5,
"partial_sum": "0.000000584763263969240511448469580588063257533521760183647055600370053747922365180365556462658378",
"remainder": "2.38918437115e-20",
"tail_bound": "4.48749026155e-20"
},
{
"nu": 3,
"n": 6,
"partial_sum": "0.0000000330920128782146360453393014991085543834673902639821254927737841773128901162446233805876984",
"remainder": "1.79024760816e-24",
"tail_bound": "3.87106274142e-24"
},
{
"nu": 3,
"n": 7,
"partial_sum": "0.00000000187430696987655692460737362709560472757537845742550389499456389263631527151153269058180048",
"remainder": "1.38690779463e-28",
"tail_bound": "3.45347574486e-28"
},
{
"nu": 3,
"n": 8,
"partial_sum": "0.000000000106183914702686544799851504289603678305617620309784301425536748136873857142171376276541036",
"remainder": "1.10016097923e-32",
"tail_bound": "3.15562487128e-32"
},
{
"nu": 3,
"n": 9,
"partial_sum": "0.00000000000601594746145367123464816632219896144810559742015615822186990709047242819053430778477576872",
"remainder": "8.88232480808e-37",
"tail_bound": "2.93565202077e-36"
},
{
"nu": 3,
"n": 10,
"partial_sum": "0.00000000000034084489403284147766995827073687719120956608415190032704871283712768892329769979572316104",
"remainder": "7.2697896078e-41",
"tail_bound": "2.76934308429e-40"
},
{
"nu": 3,
"n": 11,
"partial_sum": "0.0000000000000193113036519691123572028128667756791739404535407002133887804784989130614488924749134440949",
"remainder": "6.01489704268e-45",
"tail_bound": "2.64172700314e-44"
},
{
"nu": 3,
"n": 12,
"partial_sum": "0.00000000000000109412503009537280997881303664307753633182439970266277790868937848619824663465745789055809",
"remainder": "5.02070085244e-49",
"tail_bound": "2.54305797547e-48"
}
],
"max_residual": "4.01032766533e-101",
"root_indexing_certified": false,
"known_half_order_control": true,
"zero_mode_control": true,
"deliberate_root_sum_perturbation_rejected": true
}
]
}