back to table · edit · history · where entries came from · files · download
12504 bytes, as of the version from 2026-10-30 19:04 (current). Recorded here, not run.
{
"entries": [
{
"coarse_eccentricity_and_axis_ratio_match": true,
"eccentricity": "0.9852255437410493285939544558943863547715713416513900588436886176052900567407511695015455831196577908",
"eccentricity_radius": "7.6746240e-129",
"global_uniqueness_certificate_degree": 8,
"independent_endpoint_residuals": [
"[-8.688064890375986934321956591575005356724926697172e-100 +/- 5.80e-149]",
"[9.786037510867599598210932229491142939651455912697e-100 +/- 9.04e-149]"
],
"k": 1,
"positive_coefficient_pattern_verified": true,
"same_bracket_at_700_bits": true,
"xi_lower": "1882708952023858206341587593883096949153464055886105887326937945769058709576123808418891995026547417413588662575064589089887249/10830740992659433045228180406808920716548582325686783496759685861775864483615725089999900023844295226942934417817982702456930304",
"xi_upper": "941354476011929103170793796941548474576732027943052943663468972884529354788061904209445997513273708706794331287532294544943625/5415370496329716522614090203404460358274291162843391748379842930887932241807862544999950011922147613471467208908991351228465152"
},
{
"coarse_eccentricity_and_axis_ratio_match": true,
"eccentricity": "0.9937528457287992186977078054145766730045448428621261606355798756151934012435913279031102471995084044",
"eccentricity_radius": "5.0881352e-129",
"global_uniqueness_certificate_degree": 12,
"independent_endpoint_residuals": [
"[-2.4837731231026159923987243505276519466492534772528e-99 +/- 8.81e-149]",
"[8.704374377376509750689227726623124297888532823839e-100 +/- 6.87e-149]"
],
"k": 2,
"positive_coefficient_pattern_verified": true,
"same_bracket_at_700_bits": true,
"xi_lower": "1216344401195627905580256872460441422532272270135473834317029796056925633383429730872616944469979311959843539141209515191146437/10830740992659433045228180406808920716548582325686783496759685861775864483615725089999900023844295226942934417817982702456930304",
"xi_upper": "608172200597813952790128436230220711266136135067736917158514898028462816691714865436308472234989655979921769570604757595573219/5415370496329716522614090203404460358274291162843391748379842930887932241807862544999950011922147613471467208908991351228465152"
},
{
"coarse_eccentricity_and_axis_ratio_match": true,
"eccentricity": "0.9965703431138387464170747129317976035643456492706444818996052082936133033655537403405951107024553984",
"eccentricity_radius": "3.7940990e-129",
"global_uniqueness_certificate_degree": 16,
"independent_endpoint_residuals": [
"[-1.436138437120344423171435455897751323646732054700e-99 +/- 1.36e-148]",
"[3.4681126413489827779192021047099336378158146755916e-99 +/- 8.16e-149]"
],
"k": 3,
"positive_coefficient_pattern_verified": true,
"same_bracket_at_700_bits": true,
"xi_lower": "899327463970502622252257590066599446377642729747394137193950783727302994529732370497303554138554178917908638018194999582988213/10830740992659433045228180406808920716548582325686783496759685861775864483615725089999900023844295226942934417817982702456930304",
"xi_upper": "449663731985251311126128795033299723188821364873697068596975391863651497264866185248651777069277089458954319009097499791494107/5415370496329716522614090203404460358274291162843391748379842930887932241807862544999950011922147613471467208908991351228465152"
},
{
"coarse_eccentricity_and_axis_ratio_match": true,
"eccentricity": "0.9978365050453526969576219641438280410106571627193390639366971110538984445403404670894420649864526119",
"eccentricity_radius": "3.0220510e-129",
"global_uniqueness_certificate_degree": 20,
"independent_endpoint_residuals": [
"[-2.806381163236744909815483753575323419331765492635e-99 +/- 9.58e-149]",
"[3.666773010376117590412153222146796658718726342575e-99 +/- 4.25e-148]"
],
"k": 4,
"positive_coefficient_pattern_verified": true,
"same_bracket_at_700_bits": true,
"xi_lower": "356801524992437507330870894768238405655840068778063486415173146395946656657924827813862149942802876706495629885371069195300249/5415370496329716522614090203404460358274291162843391748379842930887932241807862544999950011922147613471467208908991351228465152",
"xi_upper": "713603049984875014661741789536476811311680137556126972830346292791893313315849655627724299885605753412991259770742138390600499/10830740992659433045228180406808920716548582325686783496759685861775864483615725089999900023844295226942934417817982702456930304"
},
{
"coarse_eccentricity_and_axis_ratio_match": true,
"eccentricity": "0.9985119130998249589822200830522053938137677703194206345044228795436915746347406355528000210564664269",
"eccentricity_radius": "2.5101468e-129",
"global_uniqueness_certificate_degree": 24,
"independent_endpoint_residuals": [
"[-4.336948732484877251293972035099824189653336209342e-99 +/- 5.33e-148]",
"[3.714998100678487051044582394923591650614207933232e-99 +/- 4.55e-148]"
],
"k": 5,
"positive_coefficient_pattern_verified": true,
"same_bracket_at_700_bits": true,
"xi_lower": "73940511394289432659024533940673170389695788380269441003572548078092772839156516101245863897591825594878043094489916347647101/1353842624082429130653522550851115089568572790710847937094960732721983060451965636249987502980536903367866802227247837807116288",
"xi_upper": "591524091154315461272196271525385363117566307042155528028580384624742182713252128809966911180734604759024344755919330781176809/10830740992659433045228180406808920716548582325686783496759685861775864483615725089999900023844295226942934417817982702456930304"
},
{
"coarse_eccentricity_and_axis_ratio_match": true,
"eccentricity": "0.9989141577489940174983848408800625614633573137232513848132713604714421394353658178251695084874147727",
"eccentricity_radius": "2.1461589e-129",
"global_uniqueness_certificate_degree": 28,
"independent_endpoint_residuals": [
"[-6.867114329715139641113943049333835782218600562823e-99 +/- 5.61e-148]",
"[2.769448827054861043397910071129012880126111009149e-99 +/- 1.16e-148]"
],
"k": 6,
"positive_coefficient_pattern_verified": true,
"same_bracket_at_700_bits": true,
"xi_lower": "505138467001078672083963909671700035531086848953287800599524777333822662055050024069677844692577967175084525496700009244108113/10830740992659433045228180406808920716548582325686783496759685861775864483615725089999900023844295226942934417817982702456930304",
"xi_upper": "252569233500539336041981954835850017765543424476643900299762388666911331027525012034838922346288983587542262748350004622054057/5415370496329716522614090203404460358274291162843391748379842930887932241807862544999950011922147613471467208908991351228465152"
},
{
"coarse_eccentricity_and_axis_ratio_match": true,
"eccentricity": "0.9991728960442875325360441051741597526154241384952380039362292326318534195157347352995539652729410007",
"eccentricity_radius": "1.8741814e-129",
"global_uniqueness_certificate_degree": 32,
"independent_endpoint_residuals": [
"[-4.453615226462261487424587178120440549328074987336e-99 +/- 2.49e-148]",
"[6.771280535912414320618834038496382698373663377179e-99 +/- 3.02e-148]"
],
"k": 7,
"positive_coefficient_pattern_verified": true,
"same_bracket_at_700_bits": true,
"xi_lower": "220390442249167024695105290860799111242356694753191277022927606766752385573129378949323494020079492295560555616304597548738459/5415370496329716522614090203404460358274291162843391748379842930887932241807862544999950011922147613471467208908991351228465152",
"xi_upper": "440780884498334049390210581721598222484713389506382554045855213533504771146258757898646988040158984591121111232609195097476919/10830740992659433045228180406808920716548582325686783496759685861775864483615725089999900023844295226942934417817982702456930304"
},
{
"coarse_eccentricity_and_axis_ratio_match": true,
"eccentricity": "0.9993490795737173449527062668650554647407395727916787342766383773326225645810579764637079078203564919",
"eccentricity_radius": "1.6632893e-129",
"global_uniqueness_certificate_degree": 36,
"independent_endpoint_residuals": [
"[-8.033059493647182513955550542700587829213069223175e-99 +/- 2.28e-148]",
"[4.782684489366129360244069528037919889632636255160e-99 +/- 2.21e-148]"
],
"k": 8,
"positive_coefficient_pattern_verified": true,
"same_bracket_at_700_bits": true,
"xi_lower": "390975205895615053184810523422187848291334823517130321988990846319698669254406102630138569095988942361777958860536723836290867/10830740992659433045228180406808920716548582325686783496759685861775864483615725089999900023844295226942934417817982702456930304",
"xi_upper": "97743801473903763296202630855546962072833705879282580497247711579924667313601525657534642273997235590444489715134180959072717/2707685248164858261307045101702230179137145581421695874189921465443966120903931272499975005961073806735733604454495675614232576"
},
{
"coarse_eccentricity_and_axis_ratio_match": true,
"eccentricity": "0.9994744281358899681750897549629654458070737533891084984747247226967296830146248626117331472823480620",
"eccentricity_radius": "1.4950043e-129",
"global_uniqueness_certificate_degree": 40,
"independent_endpoint_residuals": [
"[-3.710690954465029070269414739838019164025086287303e-99 +/- 5.30e-148]",
"[1.0697682866863265701075383220120981488225640275775e-98 +/- 5.59e-148]"
],
"k": 9,
"positive_coefficient_pattern_verified": true,
"same_bracket_at_700_bits": true,
"xi_lower": "351285694378615142303945437755437286680372070686391275754209958039331976136378896700473555290022866300760879205973814030712897/10830740992659433045228180406808920716548582325686783496759685861775864483615725089999900023844295226942934417817982702456930304",
"xi_upper": "175642847189307571151972718877718643340186035343195637877104979019665988068189448350236777645011433150380439602986907015356449/5415370496329716522614090203404460358274291162843391748379842930887932241807862544999950011922147613471467208908991351228465152"
},
{
"coarse_eccentricity_and_axis_ratio_match": true,
"eccentricity": "0.9995667710008099732397418345010241131215394520221853428423713772980183670491415353834236537377115734",
"eccentricity_radius": "1.3576113e-129",
"global_uniqueness_certificate_degree": 44,
"independent_endpoint_residuals": [
"[-1.1376461391943514571897484392677700791584238167053e-98 +/- 6.16e-148]",
"[4.625850005354898781775814865703809131228242374785e-99 +/- 6.34e-148]"
],
"k": 10,
"positive_coefficient_pattern_verified": true,
"same_bracket_at_700_bits": true,
"xi_lower": "318913625786271090201881969127024754983515325550916990094150972927484732915310185348025375738127061787094832782065295785601865/10830740992659433045228180406808920716548582325686783496759685861775864483615725089999900023844295226942934417817982702456930304",
"xi_upper": "159456812893135545100940984563512377491757662775458495047075486463742366457655092674012687869063530893547416391032647892800933/5415370496329716522614090203404460358274291162843391748379842930887932241807862544999950011922147613471467208908991351228465152"
}
],
"python_version": "3.12.3",
"sage_version": "10.9",
"second_working_bits": 700,
"skill_manifest": "agents/runs/20261030T141911Z-build-skills/manifest.json",
"skill_sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199",
"stored_readback": true,
"table": "T627",
"working_bits": 500,
"readback_provenance": {
"table": "T627",
"source": "https://numberdb.org/api/table?id=T627",
"document_file": "stored-document-final.json",
"sha256": "cb86cdd2525b77eac311c0ea416f25c8c0b74d18fe98ea723eae437f93cb43de",
"recorded_utc": "2026-10-30T14:31:51.104587+00:00"
},
"controls": [
"q0(1)=pi/4",
"q2(1)=pi/2-3/2"
],
"result": "All ten stored 100-digit intervals contain the unique roots; both independent endpoint signs certified."
}