offline-checks.json

back to table · edit · history · where entries came from · files · download

8825 bytes, as of the version from 2026-10-27 06:27 (current). Recorded here, not run.

{
  "table": "T540",
  "control": {
    "N": 0,
    "known": 1,
    "relative_bits": 713
  },
  "working_bits": 429,
  "independent_bits": 720,
  "series_terms": 100,
  "measure": {
    "entries": 12,
    "longest": 146,
    "longest_at": "2",
    "block_kb": 2.171875
  },
  "entries": [
    {
      "N": 1,
      "generator_relative_bits": 425,
      "independent_relative_bits": 708,
      "value": "[0.9174908978832602608991682695065397930724593210731346783920654448634928647913427574433215477044716666301271491839501065956708792 +/- 1.06e-128]",
      "independent": "[0.917490897883260260899168269506539793072459321073134678392065444863492864791342757443321547704471666630127149183950106595670879197290765401064817337078954671859408853246516670054801971681134009990307150371332588141 +/- 7.01e-214]",
      "precision_agrees": true,
      "ode_agrees": true,
      "product_identity": true,
      "perturbation_rejected": true
    },
    {
      "N": 2,
      "generator_relative_bits": 426,
      "independent_relative_bits": 714,
      "value": "[0.97774106744692379763153546822475923414498471447276708659373973619050387782024027531096395979810967741086190047417108909034208359 +/- 5.09e-129]",
      "independent": "[0.9777410674469237976315354682247592341449847144727670865937397361905038778202402753109639597981096774108619004741710890903420835910744644337420755926278087736524216116703676977145647846736332061531541667117570131394 +/- 3.79e-215]",
      "precision_agrees": true,
      "ode_agrees": true,
      "product_identity": true,
      "perturbation_rejected": true
    },
    {
      "N": 3,
      "generator_relative_bits": 425,
      "independent_relative_bits": 709,
      "value": "[1.0645222523851310967500407317477617462159125664866749207727361377455624168500565493314660723500053616663095426047121835269010173 +/- 2.09e-128]",
      "independent": "[1.064522252385131096750040731747761746215912566486674920772736137745562416850056549331466072350005361666309542604712183526901017289684078887542608550210195925307536879598270717096895460275812818323659562751117031252 +/- 4.70e-214]",
      "precision_agrees": true,
      "ode_agrees": true,
      "product_identity": true,
      "perturbation_rejected": true
    },
    {
      "N": 4,
      "generator_relative_bits": 425,
      "independent_relative_bits": 709,
      "value": "[1.1572330393369570338471516904745985421437895193614696697249416876975723501861006315848429286026355813231214951778639437056857688 +/- 3.66e-128]",
      "independent": "[1.157233039336957033847151690474598542143789519361469669724941687697572350186100631584842928602635581323121495177863943705685768777857567516230852814034421093261221772742095132481678788962636083932839243384752690737 +/- 6.64e-214]",
      "precision_agrees": true,
      "ode_agrees": true,
      "product_identity": true,
      "perturbation_rejected": true
    },
    {
      "N": 5,
      "generator_relative_bits": 425,
      "independent_relative_bits": 709,
      "value": "[1.2499983667232453845868111456844519670542224959042903355927062345921513001351748880337181067200739892110546558304069947010536497 +/- 4.81e-128]",
      "independent": "[1.249998366723245384586811145684451967054222495904290335592706234592151300135174888033718106720073989211054655830406994701053649737882501209775343995880580439730099230886971180643926076661327963815827499207327612271 +/- 6.50e-214]",
      "precision_agrees": true,
      "ode_agrees": true,
      "product_identity": true,
      "perturbation_rejected": true
    },
    {
      "N": 6,
      "generator_relative_bits": 425,
      "independent_relative_bits": 714,
      "value": "[1.3408239893857067023112489767506460737334906275738346552690721430786679322400251231735504589555439831201748478473952350756371660 +/- 5.70e-128]",
      "independent": "[1.3408239893857067023112489767506460737334906275738346552690721430786679322400251231735504589555439831201748478473952350756371659584106438848035746540608091882488527836050409524362562847461822200253604379728686904984 +/- 2.15e-215]",
      "precision_agrees": true,
      "ode_agrees": true,
      "product_identity": true,
      "perturbation_rejected": true
    },
    {
      "N": 7,
      "generator_relative_bits": 425,
      "independent_relative_bits": 709,
      "value": "[1.4290287419958829176433182734325724213272137306937858346021886028220352766397722429224176103952752289621116044310977282129969744 +/- 3.75e-128]",
      "independent": "[1.429028741995882917643318273432572421327213730693785834602188602822035276639772242922417610395275228962111604431097728212996974427611490429412711087744594822776667701608493288910525444196751543750334263699837182550 +/- 7.60e-214]",
      "precision_agrees": true,
      "ode_agrees": true,
      "product_identity": true,
      "perturbation_rejected": true
    },
    {
      "N": 8,
      "generator_relative_bits": 425,
      "independent_relative_bits": 709,
      "value": "[1.5144393947429785091134124044114542925962582464979969640539076769048974716256646969238703134728250332102324367889547430116000128 +/- 6.16e-128]",
      "independent": "[1.514439394742978509113412404411454292596258246497996964053907676904897471625664696923870313472825033210232436788954743011600012759388838547054891648428959381445089521306642795768290959845313862498189734525624693713 +/- 6.61e-214]",
      "precision_agrees": true,
      "ode_agrees": true,
      "product_identity": true,
      "perturbation_rejected": true
    },
    {
      "N": 9,
      "generator_relative_bits": 425,
      "independent_relative_bits": 709,
      "value": "[1.5970920824530007059536027693215519070807066055590969149130913277162497991107489554085986868776749218399991034409616518354157279 +/- 3.33e-128]",
      "independent": "[1.597092082453000705953602769321551907080706605559096914913091327716249799110748955408598686877674921839999103440961651835415727887657886085137592744709428132664858905266836041289427094146385081346185789249494998525 +/- 7.87e-214]",
      "precision_agrees": true,
      "ode_agrees": true,
      "product_identity": true,
      "perturbation_rejected": true
    },
    {
      "N": 10,
      "generator_relative_bits": 425,
      "independent_relative_bits": 709,
      "value": "[1.6771090901644373208245349562743482468505513614755987854491654574135288515305694390856902507325097386588829535639934781978912660 +/- 3.88e-128]",
      "independent": "[1.677109090164437320824534956274348246850551361475598785449165457413528851530569439085690250732509738658882953563993478197891265983853171140787799589202383080266244088411951714881340022588956352806833468848646148159 +/- 4.36e-214]",
      "precision_agrees": true,
      "ode_agrees": true,
      "product_identity": true,
      "perturbation_rejected": true
    },
    {
      "N": 11,
      "generator_relative_bits": 425,
      "independent_relative_bits": 709,
      "value": "[1.7546444808178277548430856007045593109425255078660860349975648357970289902244136700873417056811837588342341120860944464654507262 +/- 5.23e-128]",
      "independent": "[1.754644480817827754843085600704559310942525507866086034997564835797028990224413670087341705681183758834234112086094446465450726236892276738385600954508757787389252889424554863743727490872012710286753245690892548097 +/- 6.77e-214]",
      "precision_agrees": true,
      "ode_agrees": true,
      "product_identity": true,
      "perturbation_rejected": true
    },
    {
      "N": 12,
      "generator_relative_bits": 425,
      "independent_relative_bits": 709,
      "value": "[1.8298592532707101268662192959807636372626054384311466469126082918950911868940450734797696364488014139180668589675050562699038375 +/- 5.83e-128]",
      "independent": "[1.829859253270710126866219295980763637262605438431146646912608291895091186894045073479769636448801413918066858967505056269903837543093289400374772485850786987546370715434374600378389551669622472977880803296618585657 +/- 8.01e-214]",
      "precision_agrees": true,
      "ode_agrees": true,
      "product_identity": true,
      "perturbation_rejected": true
    }
  ],
  "harmonic_zeta_checks": [
    {
      "dps": 150,
      "step": "1e-60",
      "harmonic_zeta_derivative": "0.977741067446923797631535468224759234144984714472767086593739736190503877820240275310963959798109677410861900474171089090585460743614045597665283871682",
      "difference": "2.4337715e-121"
    },
    {
      "dps": 200,
      "step": "1e-80",
      "harmonic_zeta_derivative": "0.97774106744692379763153546822475923414498471447276708659373973619050387782024027531096395979810967741086190047417108909034208359107446443374207559262780877365244594938562165583095710550153864003161779",
      "difference": "2.4337715e-161"
    }
  ],
  "versions": {
    "numberdb": "0.1.10",
    "mpmath": "1.4.1"
  }
}