back to table · edit · history · where entries came from · files · download
18738 bytes, as of the version from 2026-11-09 16:19 (current). Recorded here, not run.
{
"table": "T693",
"sage": "10.9",
"numberdb": "0.1.10",
"skill_manifest": "agents/runs/20261109T154709Z-build-skills/manifest.json",
"skill_sha256": "886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b",
"controls": "reciprocal series, exact interval inclusion, corrupted coefficient and nonzero U identity passed",
"entries": 61,
"exact_polynomial_agreements": 61,
"printed_formula_agreements": 6,
"kummer_ode_residuals": 60,
"minimum_accuracy_bits": 517,
"working_bits": 525,
"minimum_independent_accuracy_bits": 692,
"max_cancellation_decimal_digits": 0.4960462080866172,
"negative_orders": [
50,
52,
54,
56,
58,
60
],
"raw_ball_measurement": {
"entries": 61,
"longest": 176,
"longest_at": 56,
"block_kb": 12.58984375
},
"written_measurement": {
"entries": 61,
"longest": 102,
"longest_at": 50,
"block_kb": 8.119140625
},
"values": {
"0": "1",
"1": "3.477368133696452872944830333292050378437899802413596875471116458740014940806401747667257801239517411",
"2": "8.466570668896115525965796920167136743659285824356381609169052757289367087940845871222602368370547159",
"3": "20.62455540221535487540737478097638825725786071939035940062336371568195699871289338172119097340702075",
"4": "53.74544910044759888121191505768655754945466389246181651701545169792200455597278487467424394825459064",
"5": "148.3993694250711456536662913673722773931503432308708453650922215836752850654409422270059991066572730",
"6": "430.4231054127570447389859225912491353162941064455833785382683482579767272350808795243629682857464310",
"7": "1300.528896155676913259031425430795192869567979608207433114963443603493372202027233960526695331670035",
"8": "4084.702603319348064396973263172021423792202833413368477117213007006143764036348886426298558829342701",
"9": "13293.87602901434282810910933950004989422169119709253015300943485819172122319455290641439441143488746",
"10": "44679.44445209355772202151729076415592784777366094388337241163127148471327020939933505176269995285359",
"11": "154711.2169125178896279935764319258982361327724849193421260893840256934760728257596422096749424337974",
"12": "550950.1892790863003734793379553186685533345664895110014949876656807366560527671178178210349283030236",
"13": "2014292.390037458904303570790744837511514129652097111833641076603000810792052265077248325959223000393",
"14": "7548156.443618963420729747707518076240501813145266000138113334260037633197058925005075289285789770288",
"15": "28953637.49851269565232468653163890691456340723018711895442181134468660027625981612018500743160073558",
"16": "113550218.1224931476893367063291745613407340033277293306631435504351991532735743947597796248816199629",
"17": "454812713.9963562585927651184795215044979424447321721646921713557533118152282028429331921124937791627",
"18": "1858649862.638561007467522858484107714389358932885556819128363440702663438632668883408514698545907307",
"19": "7742993654.086654068961581876486088150030230502644309329065339655048965627303508217975089800253017406",
"20": "32855445734.74011922653820181384906720354065183389230972231670589918596592913548060939845457182545094",
"21": "141899340885.9982402256685738662511454692305566454886461613069738609535328052649273586788792751565315",
"22": "623331813876.5695081826631537905174777021232455954376422039711382547237413401524931633588197728446627",
"23": "2783314682340.247329209854019159573476682449403948691616371003593750589670817271772958964916428844753",
"24": "12625332375848.08997282124726601980946507146091501139735761526089419643320725681631429027410957466649",
"25": "58148886886501.98885133905752773826077426698932288140499583899964361735370708541943260564652160592911",
"26": "271780340890796.0337022301113780681447257235151981618922808559934657294557935347277176787426879995056",
"27": "1288525638734749.375538327922389603338069598803305555124024185197643510984431188733139847940156216280",
"28": "6193577858452513.525393628738120364066845509780357968397213339035349858225033881148371318762576456736",
"29": "30173680777003622.09927401777113324111994255802124520988986361751001643397819353653658937578683712294",
"30": "148909224137996263.9462502549438224555934881318178146362796957404704451477286680522303602477268756657",
"31": "744303845469545376.3728731515676358669095008092894511594367807055071225761622033335394449329825861190",
"32": "3765610361193107083.374741343702377095482659163441676273530360189280304553841140083638301012457931438",
"33": "19285297364181214648.24198121516079893522437520805642951658317969276678658132675249533346125995781177",
"34": "99884034757512948278.93854723864223437824810970578798182055799200089320600205543019834618797254404866",
"35": "523567012397450607462.1155884654820419005590181010321245427845439563383477789112422431932312711830577",
"36": "2772105446088976323895.735462023436820673408253590968702478012700117898623148009044193461194905333734",
"37": "14861643275604085160518.16293870716824599369257127156550701965499116183428212086398632927948244085409",
"38": "80296160812599916478776.39511182537044132154508456613064531684420965748182271215685074757503459724053",
"39": "440403107151006672551592.3155517175233312661024662918478242348969124483609211321392645783766557543137",
"40": "2420189418114272537346433.647953238471326053751497789821818066660628072176707667139568697830366027964",
"41": "13624362515349780314314670.56881308710199872849986518204995987092022810287269625905178541900289249958",
"42": "75499374223705621938239922.55963317664569200722318136717983004753501073987817837879895083848821032225",
"43": "442143461084679414955675582.3477073706522547440893146121386725538023562303191241083885539555594354209",
"44": "2401405413844418006756005461.866935343296673230509471889823460743227695075745942368774406727193424503",
"45": "15383249304479079527724018550.03907386987653724135415691400097378335214205630680414249163464410063337",
"46": "73500107709290030417395855217.04065358640347575446986127677575776881318592271189487670862841707442430",
"47": "619270434640016412583701706477.6365263822769754773366509718777065236921348456041482203849601658775219",
"48": "1521981080977051377001973972071.483551476840219930800748001958527999102201699018932516506366436987576",
"49": "34737706519732800277796420945711.38575549886738457477285051356355889512001645898037907619611549765935",
"50": "-100286153373538137863312130981931.0120879855347380050457102755468692034400035370578845773392609999866",
"51": "3225662493665835752913092908344438.105103618209680498986085411985044407210959210125810096509373932934",
"52": "-28601408388108147208377340268357527.65550323325499535995425928954977761424826268599577566534674089879",
"53": "446094548445548735645240818174104920.6447813023298131887670728303940652083788829732750332352850387885",
"54": "-5395014888101216406911215052991459388.596971657664745005815479801506215471891191373438960622547164153",
"55": "75473957051718362636838367009878046257.96396601490095969233862219527344354082310405413142111189334906",
"56": "-1012736079200431411783196618760957423749.215149613627881630921224257859995452364430408331902863161561",
"57": "14230138204159051533962748373277145664264.22190077634650143940091453652460673166429318255619796879164",
"58": "-200962855258061643506720311639452263097375.2237372944812808685588981875312737350267348398344215633568",
"59": "2905305685729364594133346961195491595843733.608526086079498204098340658418823026404748529720791096551",
"60": "-42621254774635596885825721316314770301616524.56741792742976387562603423999746640242384285538516118718"
},
"bernoulli_ingredient_checks": 62,
"hankel_ingredient_checks": 1071,
"tricomi_control": {
"real": "0.500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"imaginary": "0"
},
"tricomi_tests": [
{
"n": 25,
"L": 0,
"normalized_error": "[0.2665512709687643938520321960747609212307097694558206426907936500716566975148112261759256686590169563560384596839263563649472053589911725176910468926843207600031168721678039593156145161408573392964165965045337091430241848495517789780629989373631253222627258121863486824127760711296912723621173402128758780975490770268524054990730251458713671 +/- 8.68e-341]",
"error_mid": 0.2665512709687644,
"U_accuracy_bits": 1128
},
{
"n": 25,
"L": 1,
"normalized_error": "[0.06022928120878715427458776677913837357228001493706348043914812565880429405148182156442318766207106816628984580242602855892598727576189088355824785256177618269 +/- 5.48e-159]",
"error_mid": 0.06022928120878716,
"U_accuracy_bits": 1128
},
{
"n": 25,
"L": 3,
"normalized_error": "[0.0005990242125995752354559710939175696421673289672277344146823381468643929875281015095381552929174518191707751788887001765840185148722767417259583243700562129 +/- 5.00e-158]",
"error_mid": 0.0005990242125995752,
"U_accuracy_bits": 1128
},
{
"n": 25,
"L": 5,
"normalized_error": "[0.0001266077012182375332779871322720398808092870276455490968780802448246152912757738935510929162609981284138147416803746823661778091318743070808001836738739877 +/- 3.89e-158]",
"error_mid": 0.00012660770121823754,
"U_accuracy_bits": 1128
},
{
"n": 25,
"L": 10,
"normalized_error": "[7.26784652363312064839101876266864258950460002170857075735995892548067535681371351345396370277173007564190378267649002729105824428257683663935085864361e-8 +/- 4.86e-158]",
"error_mid": 7.267846523633121e-08,
"U_accuracy_bits": 1128
},
{
"n": 25,
"L": 20,
"normalized_error": "[1.4299967974503971100936705288185411697158499624275155639923833568559236599104911068464668034187243977570500497520641867058332093432953926067722294e-12 +/- 4.11e-158]",
"error_mid": 1.429996797450397e-12,
"U_accuracy_bits": 1128
},
{
"n": 25,
"L": 40,
"normalized_error": "[1.64111133212257116084950391429178691631129494027543510977785609668787885769002488465175671253559148648342480429717362702001069059791869686e-20 +/- 1.46e-158]",
"error_mid": 1.6411113321225712e-20,
"U_accuracy_bits": 1128
},
{
"n": 25,
"L": 60,
"normalized_error": "[1.30102401262521936589642908581278084160986417734972218627870522624227715651135649745836626673221776905764083425158418733994847178269022e-23 +/- 3.62e-158]",
"error_mid": 1.3010240126252193e-23,
"U_accuracy_bits": 1128
},
{
"n": 100,
"L": 0,
"normalized_error": "[0.031383394421506959641298163406589497597120975516024957175536325122182526926104159597370728513159315142019999911450688863365279439215117100627670818491614126331615385655609337153476116427142062971967197049264551744427643438063293076698219373033980414068983792019625039738139593155101152635160206844111387054404960272522736 +/- 6.17e-322]",
"error_mid": 0.031383394421506956,
"U_accuracy_bits": 1068
},
{
"n": 100,
"L": 1,
"normalized_error": "[0.00782560968192068671925293375699277538429962903784208015996272607904418227282608369581826647125037917267355626058463227473023369948285801988913387438995624534 +/- 3.55e-159]",
"error_mid": 0.007825609681920687,
"U_accuracy_bits": 1068
},
{
"n": 100,
"L": 3,
"normalized_error": "[0.00012273141218134633479834982616834142065161430473885373372967121514298120789887134717291165545610901683199398356085315359075351896213096266217970538969621988 +/- 2.84e-159]",
"error_mid": 0.00012273141218134635,
"U_accuracy_bits": 1068
},
{
"n": 100,
"L": 5,
"normalized_error": "[1.05449990008659170013541619823615839394767224973498815864814878631748522363541707758199850167249210180389848488697532971721102606470812151226540396318118e-6 +/- 4.65e-159]",
"error_mid": 1.0544999000865916e-06,
"U_accuracy_bits": 1068
},
{
"n": 100,
"L": 10,
"normalized_error": "[6.856394643797368122209337087254517657085053735996148111999845680894792555687501632773786976610945313076701174959170262676696346765215636218630832863e-11 +/- 3.08e-159]",
"error_mid": 6.856394643797367e-11,
"U_accuracy_bits": 1068
},
{
"n": 100,
"L": 20,
"normalized_error": "[9.665249210574128107199559981638219021271665540966190711712693059265569924446240458684719105124624953886834779315854424336299999699909122327e-20 +/- 3.24e-159]",
"error_mid": 9.665249210574128e-20,
"U_accuracy_bits": 1068
},
{
"n": 100,
"L": 40,
"normalized_error": "[6.9238802071172650636677056069634941699491404539690150926849467579113546987775166759404783252370979912958007349485424178862612e-34 +/- 5.70e-159]",
"error_mid": 6.923880207117265e-34,
"U_accuracy_bits": 1068
},
{
"n": 100,
"L": 60,
"normalized_error": "[1.052986228298027166265406674098837966708489857737205122886093892399074448648482627605007867244462921836590571387800357e-41 +/- 5.60e-159]",
"error_mid": 1.0529862282980271e-41,
"U_accuracy_bits": 1068
},
{
"n": 400,
"L": 0,
"normalized_error": "[0.04290230732050932753439351274328225683539846999743187037014153073573615474871852280019012910773477130295669451301904484179861510750128277750486942431844488918279259378090994060290324835105465180055816298841430274683991682354872520014840081346992044795944512492382714474538385376200108 +/- 6.97e-285]",
"error_mid": 0.04290230732050933,
"U_accuracy_bits": 941
},
{
"n": 400,
"L": 1,
"normalized_error": "[0.00344995212506029770869979369007974581320817116661033834992376598824959867535458627257234014654597457863257762582814612110607618740631831125608690547726812658 +/- 4.67e-159]",
"error_mid": 0.0034499521250602977,
"U_accuracy_bits": 941
},
{
"n": 400,
"L": 3,
"normalized_error": "[1.23190480105365488409183020063672209721963451154081103693851641968872059156642879667756000816622702046587039400770579874712576357751889550714635708356358e-6 +/- 3.27e-159]",
"error_mid": 1.2319048010536548e-06,
"U_accuracy_bits": 941
},
{
"n": 400,
"L": 5,
"normalized_error": "[2.803117387662602510371366204082208817019317924437462497342061993206826533222969161367775583212632200902985094159572516532789674069187797570325290124595e-8 +/- 4.99e-159]",
"error_mid": 2.8031173876626025e-08,
"U_accuracy_bits": 941
},
{
"n": 400,
"L": 10,
"normalized_error": "[2.560147758726454167693586434072247687396370786846561964432440566436818154966906933933032785401304233361116472220827316829296803934883433436796379e-14 +/- 5.60e-159]",
"error_mid": 2.5601477587264543e-14,
"U_accuracy_bits": 941
},
{
"n": 400,
"L": 20,
"normalized_error": "[1.8619986766105947807110116380751246357706313196789087481440778564363453531678487333964595450473356641061121506263273966067339674817200e-25 +/- 5.18e-159]",
"error_mid": 1.8619986766105949e-25,
"U_accuracy_bits": 941
},
{
"n": 400,
"L": 40,
"normalized_error": "[1.84994450019218732860409795141687347048617845632391075508881303916011602905701061287059304406035836781514137846964e-45 +/- 6.19e-159]",
"error_mid": 1.8499445001921875e-45,
"U_accuracy_bits": 941
},
{
"n": 400,
"L": 60,
"normalized_error": "[4.23807903316719748075832414357787372704635031399753055360375596573980386787425745893187475737573601e-60 +/- 2.93e-159]",
"error_mid": 4.238079033167197e-60,
"U_accuracy_bits": 941
},
{
"n": 1600,
"L": 0,
"normalized_error": "[0.02368567623082292127080233893829692263157095197904911839626792250724875105494384111474439013600607239313420974429421096502291236271993170430452129587242286243264302534633438463527489159207042371151755449000251 +/- 2.48e-210]",
"error_mid": 0.023685676230822923,
"U_accuracy_bits": 696
},
{
"n": 1600,
"L": 1,
"normalized_error": "[4.235902315942143195234274377060869197829615396676476738491214234573226756533462830927770051120992954302379732361804340608439942867884922960647921268995262e-5 +/- 2.09e-159]",
"error_mid": 4.2359023159421435e-05,
"U_accuracy_bits": 696
},
{
"n": 1600,
"L": 3,
"normalized_error": "[5.4151720304852265120577962711540390608106906538705776534709857761739064683724595044496825627945512180598049316052612020208685317307917475106257065124809e-7 +/- 4.12e-159]",
"error_mid": 5.415172030485227e-07,
"U_accuracy_bits": 696
},
{
"n": 1600,
"L": 5,
"normalized_error": "[2.324803897986256580472857705107876404718958434448017203861080136295656457311023374308640514235847226819329330428908456285332966545081524316781463715e-11 +/- 5.16e-159]",
"error_mid": 2.3248038979862565e-11,
"U_accuracy_bits": 696
},
{
"n": 1600,
"L": 10,
"normalized_error": "[1.1506322816054273668558737184596160483411035322780040761332835556021070619475699310556115904452164309995565774287445483755242738567518903548592e-17 +/- 8.35e-160]",
"error_mid": 1.1506322816054274e-17,
"U_accuracy_bits": 696
},
{
"n": 1600,
"L": 20,
"normalized_error": "[9.1440769125412344435484495528605290211984701034511679018992244434243965698293901029576165595000384212993542524624086690891193699e-32 +/- 9.69e-160]",
"error_mid": 9.144076912541234e-32,
"U_accuracy_bits": 696
},
{
"n": 1600,
"L": 40,
"normalized_error": "[8.3098091873530754179916616412909688151030174810543885352611115150198428722815528969781897296531311012e-58 +/- 4.15e-159]",
"error_mid": 8.309809187353075e-58,
"U_accuracy_bits": 696
},
{
"n": 1600,
"L": 60,
"normalized_error": "[3.658153456954701518322507226824053938687128015813084870055188469655273227098193605e-78 +/- 6.14e-160]",
"error_mid": 3.6581534569547015e-78,
"U_accuracy_bits": 696
}
]
}