{
  "classification": "independent diagnostic replay only; not a scan or certificate",
  "original_sha256": "ac8827f603bb6d23c692cca8991d90d62be426cf87cd32e7aa2c23c989fd701b",
  "original_status": "completed_bounded_diagnostic",
  "status": "completed_independent_endpoint_replay",
  "points": [
    {
      "source": "second_refinements[0]",
      "z": {
        "re": "0.2081163498401200074041660865450987433769233540804510788824981553524498780692",
        "im": "0.6249999895615385419333996261908869970346372779413140303522101934113284522996"
      },
      "result": {
        "m": {
          "re": "0.02361223455824921059159061128972748174126135195404330694691234037069598375514",
          "im": "-0.003057280562478402655683643626067254230632006634978984345745766282721112364908"
        },
        "c": {
          "re": "-0.02778414420473713405374146738296220127838076744938758302279686581615853780708",
          "im": "-0.002864478784741983863551802085431219188799992772084335231570193598290349699269"
        },
        "dm": {
          "re": "1.619232139608857340404859958853918506768386198620260339541008179023707619701",
          "im": "5.147188532116502284401602029661425979133878172206250707243451835304548504932"
        },
        "heuristic_quadrature_error_m": "1.0000002000001010001000000010000000000000001000000001e-83",
        "heuristic_quadrature_error_c": "1.000100010100100010000010000000000000000010000001e-86",
        "heuristic_quadrature_error_dm": "1.00018347462383134470841640239185284161588463690979687797643130311452415718e-78",
        "integrand_evaluations": 6183,
        "method": "mpmath adaptive tanh-sinh, maxdegree=8; direct original theta terms",
        "bits": 256,
        "lattice_cutoff": 36,
        "positive_half_breakpoints": [
          "0.0",
          "0.0625",
          "0.125",
          "0.2081163498401200074041660865450987433769233540804510788824981553524498780692",
          "0.25",
          "0.5",
          "1.0",
          "1.5",
          "2.0",
          "3.0",
          "4.0",
          "5.0"
        ],
        "majorants": {
          "normalized_lattice_m": "4.864030958762807616837510536418456213161485732683612228059276228265900867999e-581",
          "normalized_lattice_c": "4.053359132302339680697925447015380177634571443903010190049396856888250723332e-580",
          "normalized_lattice_dm": "4.236488046634219689270463803080134460054183999682812557419403714101997965697e-577",
          "normalized_real_tail_m": "9.332345060616764508752060532956552018286808296293196988918191263017029079746e-4741",
          "normalized_real_tail_c": "2.33312903575054400453200661240300298584279907818180633927605502113771089605e-4739",
          "normalized_real_tail_dm": "1.76354835907311146002993693109791287122058241446064015483662860291191274843e-4738",
          "uniform_strip_height": "5/8",
          "uniform_envelope_K": "126.2492829278436835261203948168404649069660071060487721886868609718869742379",
          "uniform_envelope_d": "0.495307208606777259303949409955035265976351690422319468296460584906557471819",
          "status": "ordinary-number evaluations of analytic truncation majorants; not outward-rounded intervals",
          "remaining_errors": "roundoff and quadrature are not rigorously bounded"
        },
        "classification": "diagnostic; neither approximate agreement nor heuristic error is a certificate"
      },
      "comparison": {
        "absolute_m_difference": "1.120594747619678541827468379600900723134550933023732595237696949848224293598e-31",
        "relative_m_difference": "4.706534631303865891681247931320756631457849245926811750804890654064648432318e-30",
        "absolute_c_difference": "1.762074021108130813269460350870099062452263581877259333912153952548973432254e-31",
        "relative_c_difference": "6.308574276554759678058193286391025224979689290655399423096930763284550931631e-30",
        "absolute_dm_difference": "5.454103628796376808305261339713497990325867460878403467756886692521883764238e-29",
        "relative_dm_difference": "1.010791401038848184939086312833127478332436722866949131993121992175197890525e-29"
      },
      "elapsed_seconds": 17.818290333030745
    },
    {
      "source": "second_refinements[1]",
      "z": {
        "re": "0.4851714218205290621528010034155596368980397644770142282967955453995515065141",
        "im": "0.6249979643127855695696222097051404137220393959055699584742106874546902578414"
      },
      "result": {
        "m": {
          "re": "0.2449999818705937723066336459863663870833594460087308077200968710764362357189",
          "im": "-0.05605511243024914965740477305318202319649508189742267651687480027179564385031"
        },
        "c": {
          "re": "-0.003135701503157861499210350053381692224827749081440184470110281849659914182036",
          "im": "-0.002253534007137919793031881381826225941118876846083362352339044290968749307458"
        },
        "dm": {
          "re": "0.5203473541708008147039635910084186944473613977230485239805290354226042347722",
          "im": "0.6491229858809660564420196245559050887958084971869127349653477634880206313344"
        },
        "heuristic_quadrature_error_m": "1.0000000001100010000000000010000000100000000010000000000000000000001000001e-80",
        "heuristic_quadrature_error_c": "1.0000000000011001000000000000010000001000000001000000000000000000000000101e-79",
        "heuristic_quadrature_error_dm": "3.150269072515965562398967203006902646905459806672491868462293524008532429592e-79",
        "integrand_evaluations": 7099,
        "method": "mpmath adaptive tanh-sinh, maxdegree=8; direct original theta terms",
        "bits": 256,
        "lattice_cutoff": 36,
        "positive_half_breakpoints": [
          "0.0",
          "0.0625",
          "0.125",
          "0.25",
          "0.4851714218205290621528010034155596368980397644770142282967955453995515065141",
          "0.5",
          "1.0",
          "1.5",
          "2.0",
          "3.0",
          "4.0",
          "5.0"
        ],
        "majorants": {
          "normalized_lattice_m": "3.715761922653297073527646369393213774513191027544895619201903602214202830495e-581",
          "normalized_lattice_c": "3.096468268877747561273038641161011478760992522954079682668253001845169025412e-580",
          "normalized_lattice_dm": "3.24126089316650681431754262939049412893023376061262760508210171727944689424e-577",
          "normalized_real_tail_m": "7.129225270005594766118331674179470190713175660604855572934735053409526473997e-4741",
          "normalized_real_tail_c": "1.782338991091407588005040381812981957555439298883770995738917221567060545204e-4739",
          "normalized_real_tail_dm": "1.441150433569337114511969550225980400085242173148096730833385442137824448958e-4738",
          "uniform_strip_height": "5/8",
          "uniform_envelope_K": "126.2492829278436835261203948168404649069660071060487721886868609718869742379",
          "uniform_envelope_d": "0.495307208606777259303949409955035265976351690422319468296460584906557471819",
          "status": "ordinary-number evaluations of analytic truncation majorants; not outward-rounded intervals",
          "remaining_errors": "roundoff and quadrature are not rigorously bounded"
        },
        "classification": "diagnostic; neither approximate agreement nor heuristic error is a certificate"
      },
      "comparison": {
        "absolute_m_difference": "2.104444550872911448008530337587061412528205415821718487641800669652523417473e-29",
        "relative_m_difference": "8.373206237394562008503580967556595334882405904248389088281760886056371259863e-29",
        "absolute_c_difference": "5.4181067749886420710513342945072328911403633218207564519637668740430919328e-29",
        "relative_c_difference": "1.403116074354270909848063290007466568921166542916649375116377855387182828638e-26",
        "absolute_dm_difference": "8.714875939090121774982156065643602458986996591123110390105121675276591132659e-27",
        "relative_dm_difference": "1.047538216216903799891926882713438872221923193239111304937844541605452396016e-26"
      },
      "elapsed_seconds": 20.572345499997027
    },
    {
      "source": "second_refinements[2]",
      "z": {
        "re": "0.2362889792520612196833525511000661753380650054068179826690345373970462296323",
        "im": "0.5624995143119251470748562607752670500094818035697699403555996031264552841846"
      },
      "result": {
        "m": {
          "re": "0.2384988229080862923767776047491922186091286269579799804664671256146077123992",
          "im": "0.01392909039391092876379956355053337957130304024082780466389914817572634818833"
        },
        "c": {
          "re": "-0.006860736806670298599581081812752579443696999136274507259358088883877410484342",
          "im": "-0.006624859025931073213187478820462732165598520679425913959190881697720798634743"
        },
        "dm": {
          "re": "0.5288457982070659974935865463976402136276735113811887428318222327925339838768",
          "im": "1.339258606643008488681157409097215129834592248882872051868002887016338871593"
        },
        "heuristic_quadrature_error_m": "1.10010000000001120000000000000000000010000001e-80",
        "heuristic_quadrature_error_c": "1.0100100000000111010000000000000000000100000001e-80",
        "heuristic_quadrature_error_dm": "3.00114048084214587065806487023579320788969727012920070849940321001360057163e-79",
        "integrand_evaluations": 5573,
        "method": "mpmath adaptive tanh-sinh, maxdegree=8; direct original theta terms",
        "bits": 256,
        "lattice_cutoff": 36,
        "positive_half_breakpoints": [
          "0.0",
          "0.0625",
          "0.125",
          "0.2362889792520612196833525511000661753380650054068179826690345373970462296323",
          "0.25",
          "0.5",
          "1.0",
          "1.5",
          "2.0",
          "3.0",
          "4.0",
          "5.0"
        ],
        "majorants": {
          "normalized_lattice_m": "1.444197776035236950733591236053716333622636108887190174045105953798956752268e-580",
          "normalized_lattice_c": "1.203498146696030792277992696711430278018863424072658478370921628165797293557e-579",
          "normalized_lattice_dm": "1.257851868444316480602215976116077057686130599119650602479909562727730298959e-576",
          "normalized_real_tail_m": "2.770901767690290038051729318263852285586630143302388115707620542274455719214e-4740",
          "normalized_real_tail_c": "6.927381411016394613409700078374119077948928151935669885196734597009744474542e-4739",
          "normalized_real_tail_dm": "5.232423852036398287650873033248197412975616150435785496916508675123775363722e-4738",
          "uniform_strip_height": "5/8",
          "uniform_envelope_K": "126.2492829278436835261203948168404649069660071060487721886868609718869742379",
          "uniform_envelope_d": "0.495307208606777259303949409955035265976351690422319468296460584906557471819",
          "status": "ordinary-number evaluations of analytic truncation majorants; not outward-rounded intervals",
          "remaining_errors": "roundoff and quadrature are not rigorously bounded"
        },
        "classification": "diagnostic; neither approximate agreement nor heuristic error is a certificate"
      },
      "comparison": {
        "absolute_m_difference": "6.350624976113087202471954055226737972037531759908385604778660732837218400563e-45",
        "relative_m_difference": "2.65821933763840689843011596523046502971854033874579161258381192007461713444e-44",
        "absolute_c_difference": "9.430659418549532935252280347612357974254894996474970632220751717091678429793e-45",
        "relative_c_difference": "9.88827408238572897749804803161688019594494975471359116333673985392892555571e-43",
        "absolute_dm_difference": "2.949751489988718497927912481120077380989851812946278175689247281594297157834e-42",
        "relative_dm_difference": "2.048590933108037431344858589240135717197196052158782031619022374884951257124e-42"
      },
      "elapsed_seconds": 16.431092959013768
    },
    {
      "source": "second_refinements[3]",
      "z": {
        "re": "0.311772037949334341781909404299795391217921851069400598274038658247870136475",
        "im": "0.4375055522327219893374293715806489603059600767468189913065627176916393593295"
      },
      "result": {
        "m": {
          "re": "0.2685812084392192070367024635134952744718672758330110680413337088694637441503",
          "im": "0.01422222969849742745052479251928289696672602632976804226591054580705413949049"
        },
        "c": {
          "re": "0.00381832002608043373496260820181677946079937942146559041923731365771309251586",
          "im": "-0.004045593317855264653880241104642972256002443411153161046720601165685943824392"
        },
        "dm": {
          "re": "-0.08922283354339970478021223329256364533270072199934229813680071655817749320717",
          "im": "-0.2437562208220403631435220414006078550304009221358303550689135871390920875836"
        },
        "heuristic_quadrature_error_m": "1.000000000100000000001211003139695621196167203354351485578815425406915480273e-81",
        "heuristic_quadrature_error_c": "1.00000000100000000001101212587726796010390065238224327951519475488647958163e-82",
        "heuristic_quadrature_error_dm": "1.89760605922537448162690421338435782838635257477455811762222885084623060009e-80",
        "integrand_evaluations": 3781,
        "method": "mpmath adaptive tanh-sinh, maxdegree=8; direct original theta terms",
        "bits": 256,
        "lattice_cutoff": 36,
        "positive_half_breakpoints": [
          "0.0",
          "0.0625",
          "0.125",
          "0.25",
          "0.311772037949334341781909404299795391217921851069400598274038658247870136475",
          "0.5",
          "1.0",
          "1.5",
          "2.0",
          "3.0",
          "4.0",
          "5.0"
        ],
        "majorants": {
          "normalized_lattice_m": "1.738630555953281228482870532042544017904993847090344848990888455667356640873e-579",
          "normalized_lattice_c": "1.448858796627734357069058776702120014920828205908620707492407046389463867394e-578",
          "normalized_lattice_dm": "1.514430343060706202417279794567326275144378393660585859140569185928517840483e-575",
          "normalized_real_tail_m": "3.335813529693286815500370256718463485588970056750642426191029627794906582999e-4739",
          "normalized_real_tail_c": "8.339686706207747831952345316016631839708854916449179813499335122881124057566e-4738",
          "normalized_real_tail_dm": "6.325376963498081377107459213646167401702071645472030279652565628454843876661e-4737",
          "uniform_strip_height": "5/8",
          "uniform_envelope_K": "126.2492829278436835261203948168404649069660071060487721886868609718869742379",
          "uniform_envelope_d": "0.495307208606777259303949409955035265976351690422319468296460584906557471819",
          "status": "ordinary-number evaluations of analytic truncation majorants; not outward-rounded intervals",
          "remaining_errors": "roundoff and quadrature are not rigorously bounded"
        },
        "classification": "diagnostic; neither approximate agreement nor heuristic error is a certificate"
      },
      "comparison": {
        "absolute_m_difference": "1.385156538445808935456341355586145748811017176226691230217110449023315261952e-66",
        "relative_m_difference": "5.150094469552724966091906578499546859939971638241407527558443873714233954834e-66",
        "absolute_c_difference": "3.780814910859625302110142596128043565871652339312180583582819287336824973145e-66",
        "relative_c_difference": "6.796422954348094974876771364113288217903083039829029726791488685682152303613e-64",
        "absolute_dm_difference": "3.937473760562059809584499276539659755497866534785336115784767765350523667625e-64",
        "relative_dm_difference": "1.516907958043112270907059685137810664526958024088699387922698803616980774562e-63"
      },
      "elapsed_seconds": 11.116584625036921
    }
  ],
  "elapsed_seconds": 65.939486999996
}