{
  "schema": "AN02-reciprocal-geometry249/v1",
  "normalization": {
    "xi": 40,
    "r": 64,
    "d": "1/8",
    "D0": 1,
    "D": 11.339850002884624,
    "witness_radius": 3.7376696182833684,
    "original_harmonic_ball_radius": 16,
    "normalized_harmonic_ball_radius": 0.25,
    "zeros": "4\u03c0k \u2212 2i log(3/2), k \u2208 Z; markers k=\u22122,...,9",
    "region": "\u03b7 > log(2+sqrt(\u03be^2+\u03b7^2))",
    "dimension": 1
  },
  "atomic_parameters": {
    "a": "-3/4",
    "b": "1/2",
    "lam": "3/2",
    "growth_rate": "1/4"
  },
  "product_parameters": {
    "d": 6,
    "J_first": 4,
    "J_last": 48,
    "K": "J+120",
    "uniform_relative_tail_bound": "2^(-240)"
  },
  "product_samples": [
    {
      "J": 4,
      "K": 124,
      "R": "16.0",
      "imaginary": "17.34223054737698815324633557181936786422288750003452494554041206061029325044147589612",
      "log_finite_product": "7.844431764881783944449625328064651566258974910444325928374127802911765885528504132381",
      "proved_upper_bound": "13.18334746401731629674294284307030845576988669387299342081633200364993151862330760248",
      "relative_tail_bound": "2.254905478569778405060638080621812908580831443213562834919028763090947453785973779323e-73"
    },
    {
      "J": 5,
      "K": 125,
      "R": "32.0",
      "imaginary": "21.15816314769696833800060043598781862198221888167600024850750648425411718662375597911",
      "log_finite_product": "9.338222186772035472178164142726807008456785648117477107707641103608009836963337157649",
      "proved_upper_bound": "14.22669134209751524382827922140605294122721753807344770730070638932018096692680882305",
      "relative_tail_bound": "1.49010071521058939741964335872103055216270962842978852244638750268172602794695051984e-73"
    },
    {
      "J": 6,
      "K": 126,
      "R": "64.0",
      "imaginary": "25.13792845215855326924652561807498943526818527672253128644365231356876923460924237333",
      "log_finite_product": "10.08842502094512766989674676798159749088838115235647772355432004970303853639270685274",
      "proved_upper_bound": "14.74072074375937362798804379620234091413568326131870247463345217116786490506382163924",
      "relative_tail_bound": "1.196783313519575213938500322766516175479120913754868925865087826725170142570499347317e-73"
    },
    {
      "J": 7,
      "K": 127,
      "R": "128.0",
      "imaginary": "29.20520670273349452042887337749809687443821660033388055471424046978622366201057595781",
      "log_finite_product": "9.987201533591837186815658933979320776609417055485697685131278859102905850953859670791",
      "proved_upper_bound": "14.64911591097464302266699882687638894485271377876852021817996027042495760064698693009",
      "relative_tail_bound": "1.090802453271907198654857896091225781502135548261244816574086159556631850872811145065e-73"
    },
    {
      "J": 8,
      "K": 128,
      "R": "256.0",
      "imaginary": "33.3177575095297045457119192303592958496927612623873607262823576483224825343677407261",
      "log_finite_product": "9.09507303094480687433803164718355466547707089391547647518848063540533631435491275665",
      "proved_upper_bound": "13.90963645385123588202941982953035194357875750030021361090331738250746111921628868914",
      "relative_tail_bound": "1.054387881576185163779773627074770482777731158672452051782943080315612577104686531115e-73"
    },
    {
      "J": 9,
      "K": 129,
      "R": "512.0",
      "imaginary": "37.45333959273099064661415861731659211814134978008320055298279901426317883954630595272",
      "log_finite_product": "7.395063476156457737183541840733600631116032700904063677399599579145131655499205249247",
      "proved_upper_bound": "12.50004109257295950759380224482223566742334494311401140463831867250100844863729619091",
      "relative_tail_bound": "1.042373878365575059907598867241471846662138346979757809678921245363283882951488143062e-73"
    },
    {
      "J": 10,
      "K": 130,
      "R": "1024.0",
      "imaginary": "41.60053815438428906167197158468164331553210641476579456717633948089101522213831342965",
      "log_finite_product": "4.79715708750769798407877556367743790981634561206434945954510609916826485517487066768",
      "proved_upper_bound": "10.40891502918675013789652611906369775213460036855430813174573905368830223350205122738",
      "relative_tail_bound": "1.038536956059456505169938104109124271740743134289397178534807626118509710851003156982e-73"
    },
    {
      "J": 11,
      "K": 131,
      "R": "2048.0",
      "imaginary": "45.75357043279472317491308496568775661301867987377955398939143221621038128274400650497",
      "log_finite_product": "1.370007062048886547284911761826085234758764169672010031523617221939287242318093890601",
      "proved_upper_bound": "7.630475501997731156965318285488045368866172483965515012754031694073732074410797146648",
      "relative_tail_bound": "1.037343227013687434377558080815815443668415692680859831872244164715310534316158102526e-73"
    },
    {
      "J": 12,
      "K": 132,
      "R": "4096.0",
      "imaginary": "49.90952597279307038517193504314458536053791575050038534672144613521090518073159886675",
      "log_finite_product": "-2.672439743312063310652768259520014176282176792416254056732998128944309536369818804829",
      "proved_upper_bound": "4.161812055836679963634615026904931867554906882723538574756565508646926130731747636761",
      "relative_tail_bound": "1.036979684753494381947406217074880310821813482952915137026548107177385212568350966682e-73"
    },
    {
      "J": 13,
      "K": 133,
      "R": "8192.0",
      "imaginary": "54.06694474864089831079906834825271303208577746577348727453592005152429625805261265934",
      "log_finite_product": "-7.247325564234850854153684625581350860655042113835206955574707093485920908799626442296",
      "proved_upper_bound": "0.001464664965164176254962874514940722196766985673577453122879311039593744416424842087019",
      "relative_tail_bound": "1.036870908001298246551255069853255660673254572635334561481991867732222430074754475426e-73"
    },
    {
      "J": 14,
      "K": 134,
      "R": "16384.0",
      "imaginary": "58.22509554421056005527723653468980493754600862127675419384266018034073917166718633043",
      "log_finite_product": "-12.41251633570926714011615179985696045411794683822465749792098545908264441468497498747",
      "proved_upper_bound": "-4.8512978867444631016908865180042627573245036055064739311392206835580804275750327897",
      "relative_tail_bound": "1.036838838719720503949446681280951678175745803926087628018228242559746804145382334189e-73"
    },
    {
      "J": 15,
      "K": 135,
      "R": "32768.0",
      "imaginary": "62.38361245015716167870036988397378491074966874752706509817207772772356377824552930619",
      "log_finite_product": "-18.37574653194718974005995276331279811000083771902896713439808515416374800478716920917",
      "proved_upper_bound": "-10.39684150863709581010900286913475473717784536029973658449932326908276652857241583242",
      "relative_tail_bound": "1.036829502213223327051557656446837900288319240249842265937396991629786163506589931259e-73"
    },
    {
      "J": 16,
      "K": 136,
      "R": "65536.0",
      "imaginary": "66.54231243642958882232569807706996450333547119795276375743523922448213428416805061959",
      "log_finite_product": "-25.38014141891151500853656021545844013498408161958458140451885205728304861470951423289",
      "proved_upper_bound": "-16.63534923076384830774215649791122366572454492527786673704636191472510035219531525311",
      "relative_tail_bound": "1.036826813209666970427119244036706371187902773125499657011867863131014543323933767706e-73"
    },
    {
      "J": 17,
      "K": 137,
      "R": "131072.0",
      "imaginary": "70.70110396915031173494211093268481927662030967962672829969154440386755946346692360323",
      "log_finite_product": "-33.51497247076205116274843904882033928805802261820074129601546609076427063246172535331",
      "proved_upper_bound": "-23.56691258700225034580145758562719398164770859336798626072093688723397312441155771916",
      "relative_tail_bound": "1.036826045972612904682825976759696470508582202913569693153297096958515612112656161472e-73"
    },
    {
      "J": 18,
      "K": 138,
      "R": "262144.0",
      "imaginary": "74.85994127666665882249400442926416414582684822438328741734035721414453563241030662437",
      "log_finite_product": "-42.64296735591559935052297568604434273292622635916409806185043346332082671604481721845",
      "proved_upper_bound": "-31.19157734900497351834251015383685076972467233273576646312368423834468852895298486333",
      "relative_tail_bound": "1.036825828850511655722511180767044081581785939186345655693320144056494055878754178862e-73"
    },
    {
      "J": 19,
      "K": 139,
      "R": "524288.0",
      "imaginary": "79.01880147197370338890134611694198976420077542435908445503295788502958184912372024067",
      "log_finite_product": "-52.34069176874815431031933312098370791745740638654134110106693660707963407502727464235",
      "proved_upper_bound": "-39.50936640377694452144534665240620337670974755124456399960332373834072750769407612793",
      "relative_tail_bound": "1.036825767850262383497836171120362663742110389105862832795284306230226114394073039266e-73"
    },
    {
      "J": 20,
      "K": 140,
      "R": "1048576.0",
      "imaginary": "83.17767311127432008252434739163625539355353202021238125629713603009411993096665282436",
      "log_finite_product": "-62.26372578259691346318182326223690920320902000585241384572519099390388077915661631802",
      "proved_upper_bound": "-48.52029119511528870674975568541729254079149350823611702663206577365066824327534314075",
      "relative_tail_bound": "1.036825750822398521871683344352630531084436586216544520523901463615715885867319808039e-73"
    },
    {
      "J": 21,
      "K": 141,
      "R": "2097152.0",
      "imaginary": "87.33655047259627894170065075422333735752987854828058789502282986969575697109169872331",
      "log_finite_product": "-72.53522086972191900789108536233939338826206103746586948137181436996149701974210986743",
      "proved_upper_bound": "-58.22435744499223603591809475199374193832514966737301547031997212391690364254419155392",
      "relative_tail_bound": "1.036825746096515620515712853582947270333690344394816022950996863692065669288824406466e-73"
    },
    {
      "J": 22,
      "K": 142,
      "R": "4194304.0",
      "imaginary": "91.49543069493504794101515069324981874889647962577204694250981490026229938379415773457",
      "log_finite_product": "-83.32530190841736089241695837742203796922171761073851562351122962051059111791113313437",
      "proved_upper_bound": "-68.62156801441231853436546936358896847654405141144691675936726729271162729120532157039",
      "relative_tail_bound": "1.036825744791699169536772234200961862290264101608057427141656983495392994426258871494e-73"
    },
    {
      "J": 23,
      "K": 143,
      "R": "8388608.0",
      "imaginary": "95.65431234778375677872355538664913445821327921420574156325239061275063799223898447614",
      "log_finite_product": "-94.72042285550031044212461535795220024201919533901921172182479175665759127165249294619",
      "proved_upper_bound": "-79.71192433388240650383617134226953726488825477893883772927965178907794836609377857215",
      "relative_tail_bound": "1.036825744433129521928949750444115105557107451246268068643887244190675627974725770568e-73"
    },
    {
      "J": 24,
      "K": 144,
      "R": "16777216.0",
      "imaginary": "99.81319471588781922820816801545236817805631571305094749121230766196301612797411407852",
      "log_finite_product": "-106.7850634310823838526983161580363151862619091466273805571384592607637621191036989912",
      "proved_upper_bound": "-91.4954271186570861709478975070043646107817213703795026460953749582136235356616274287",
      "relative_tail_bound": "1.036825744335013453033863676440234696824857319974084723720377940496126792617584925333e-73"
    },
    {
      "J": 25,
      "K": 145,
      "R": "33554432.0",
      "imaginary": "103.9720774416196544067879553336783916338080159766737146921831442384628405995670753799",
      "log_finite_product": "-119.7442164995640148281076681316151926221965027482727293396490429538464845349729920718",
      "proved_upper_bound": "-103.9720767263639384183816811037745787888420243314028615440208586095552459913413393019",
      "relative_tail_bound": "1.036825744308270453584885289011652232091812917873694702983751063257115085699991816704e-73"
    },
    {
      "J": 26,
      "K": 146,
      "R": "67108864.0",
      "imaginary": "108.1309603461653999307248797866578677055035896583983302135276041576727100619037513341",
      "log_finite_product": "-133.8194221055255519384439514862958005330508657754097764706520968465692436881693300882",
      "proved_upper_bound": "-117.1418733358168256298755596872495169190339540086846273756933989276802170782470312378",
      "relative_tail_bound": "1.03682574430100731621730678417093135934543328383422049296730784474001618027696028861e-73"
    },
    {
      "J": 27,
      "K": 147,
      "R": "134217728.0",
      "imaginary": "112.2898433401181066225437330185755062425644370340341119492182616733164808352995161491",
      "log_finite_product": "-149.0246346162120414434425797624932182024206885205829389138643903589907565149891484194",
      "proved_upper_bound": "-131.0048170364226969829047416132444691519361101264154822471404216588646804760633290285",
      "relative_tail_bound": "1.036825744299041212017770108820094599720843442730882543240886776778268328640320220399e-73"
    },
    {
      "J": 28,
      "K": 148,
      "R": "268435456.0",
      "imaginary": "116.4487263787742953971045122883807903039351082515911568933131474794927107724777895988",
      "log_finite_product": "-165.0740891189156554189342644369255436934320111631827389123706244846144840218569471674",
      "proved_upper_bound": "-145.5609078728850315626092296228099524286039425365853291643038961090100783320668129002",
      "relative_tail_bound": "1.036825744298510612758929421012449896428109510131107753466044042723706339572742835862e-73"
    },
    {
      "J": 29,
      "K": 149,
      "R": "536870912.0",
      "imaginary": "120.6076094397822255877365101886769288594898043870771348569998937776026408136435179468",
      "log_finite_product": "-181.4676619014392240834250651286495884964353727694558426402529338475468272130829850028",
      "proved_upper_bound": "-160.8101458675555700356597311233427577791632501631864983159961900767151697060525365892",
      "relative_tail_bound": "1.036825744298367821330945941170026327155542531338208810246055939646850311047185265512e-73"
    },
    {
      "J": 30,
      "K": 150,
      "R": "1073741824.0",
      "imaginary": "124.7664925119660265800791832070356367402039415146348604765028173172631871869983128562",
      "log_finite_product": "-198.1343254586911762701062105657064336742167180551607285973827648190420893346639817078",
      "proved_upper_bound": "-176.7525310316101830164167896272711703726386169320761750659929868123630383698188884323",
      "relative_tail_bound": "1.036825744298329494742886575324470787996180307290963172821888950982519746955398901007e-73"
    },
    {
      "J": 31,
      "K": 151,
      "R": "2147483648.0",
      "imaginary": "128.9253755897377629966959604726212181531892958704542203310161256846838696279778358389",
      "log_finite_product": "-215.3289573536840364481279008538780186547501775431910779929953352882860887861091315625",
      "proved_upper_bound": "-193.3880633706368058823169760054308860019182666070644728351000787297441645879302069178",
      "relative_tail_bound": "1.036825744298319232581171312764845675093564992351106350811061526162012253216084192325e-73"
    },
    {
      "J": 32,
      "K": 152,
      "R": "4294967296.0",
      "imaginary": "133.0842586703034671313044815635555468017576034778093833727452566871472232890461153573",
      "log_finite_product": "-233.0677084385253357644997410992658040773721159707987913008592404640837385209992706841",
      "proved_upper_bound": "-210.7167428874294063396426506797000309636904631648772226711120280215760132079224635832",
      "relative_tail_bound": "1.036825744298316491079083982349762669197974467336577162267646404601465195361560890401e-73"
    },
    {
      "J": 33,
      "K": 153,
      "R": "8589934592.0",
      "imaginary": "137.2431417522661551263725474963088783628105729571584618684337221028383092554017993211",
      "log_finite_product": "-251.4456319774120328057745358065347433023559470661679084787860465963536596937661155186",
      "proved_upper_bound": "-228.7385695833849682459260126336083495810534979850563123072853229096735231445970105188",
      "relative_tail_bound": "1.036825744298315760254901698230121753830941282450503509965196408575754022245423900559e-73"
    },
    {
      "J": 34,
      "K": 154,
      "R": "17179869184.0",
      "imaginary": "141.402024834927335052036304082721718914747356470192647625607920507942172296805161545",
      "log_finite_product": "-270.6035058219593899314863972199750139449098846393827529143475030386955381095669865005",
      "proved_upper_bound": "-247.4535434592019835310309160553153357756082189059105499360935648178516496281935739099",
      "relative_tail_bound": "1.036825744298315565822129562452726898118157262155954486302129735097367474530908355406e-73"
    },
    {
      "J": 35,
      "K": 155,
      "R": "34359738368.0",
      "imaginary": "145.5609079179377609430893855542097971222388016323926247045580721654844761078333307523",
      "log_finite_product": "-290.4157820806243819954775480617788760890560212554990018405715117418998205752158774766",
      "proved_upper_bound": "-266.8616645152296981601637267134052608826837783119592514972465334830847289641350250332",
      "relative_tail_bound": "1.036825744298315514191114524851861382102776868583877788095546697070224344988336815737e-73"
    },
    {
      "J": 36,
      "K": 156,
      "R": "68719476736.0",
      "imaginary": "149.7197910011228098168599993578041126070973992913537136208137167369899873010547264983",
      "log_finite_product": "-310.8798586320048137051069547324595993456068409656489864273333023970562766595412966562",
      "proved_upper_bound": "-286.9629327516427351159962371608471252804676853556070964752146892438479945398529443334",
      "relative_tail_bound": "1.036825744298315500504870173984522142875682161956057276887842432152364745724309049129e-73"
    },
    {
      "J": 37,
      "K": 157,
      "R": "137438953472.0",
      "imaginary": "153.8786740843951701819950967998446073004825505579935601756406569674109389017411207855",
      "log_finite_product": "-332.1882529351706132759734374789047060486532099459436801800920764180088383359463059802",
      "proved_upper_bound": "-307.757348168528405889881496091300987037800538925936439068732229355189213330075559808",
      "relative_tail_bound": "1.036825744298315496882990165770989459336956103498077595133227472157950473333074289481e-73"
    },
    {
      "J": 38,
      "K": 158,
      "R": "274877906944.0",
      "imaginary": "158.0375571677111862928138654292065699852724330743597663360883532415230376044404430818",
      "log_finite_product": "-354.2515647102634200794946638997295628323344750245574415156541167266854380822316294616",
      "proved_upper_bound": "-329.2449107659303662275003159558915573718041613808996773107496934323326786402549419891",
      "relative_tail_bound": "1.036825744298315495926016365437028817042966406498192662009285789107748895595528872376e-73"
    },
    {
      "J": 39,
      "K": 159,
      "R": "549755813888.0",
      "imaginary": "162.1964402510490302764748269942538754181351348317815592967609096750382921875984162781",
      "log_finite_product": "-376.9018134548049038259590662692917497488369185249219313601035316116917341211193830569",
      "proved_upper_bound": "-351.4256205438704440016941750062549615258104647291675840066629773595663816919453679858",
      "relative_tail_bound": "1.036825744298315495673540948744432433667333453433995553648465069867389640320418858781e-73"
    },
    {
      "J": 40,
      "K": 160,
      "R": "1099511627776.0",
      "imaginary": "166.35532333439778819655697436265000618257499594196075876463003907615371369755025246",
      "log_finite_product": "-400.2240975880179067603699936682818486879324708665016646044566356493116965263705811498",
      "proved_upper_bound": "-374.2994775023595531488840803747277169163151088590383394495003683286933114388116257125",
      "relative_tail_bound": "1.036825744298315495607025098659284225354432580617731697746320802187514774386130876354e-73"
    },
    {
      "J": 41,
      "K": 161,
      "R": "2199023255552.0",
      "imaginary": "170.5142064177520030848497369665970883233696412074482179723500297492166881462837119475",
      "log_finite_product": "-424.1838439120897843507571680057134882181718914694042727700823819585382630814142859185",
      "proved_upper_bound": "-397.8664816414031506372806026291076974985404689679610904066075780353660818688659548493",
      "relative_tail_bound": "1.036825744298315495589524636095069062462307310363858393365929836871577592424727149371e-73"
    },
    {
      "J": 42,
      "K": 162,
      "R": "4398046511104.0",
      "imaginary": "174.6730895011089464572478127717887808576308568013593068408611778745724687882501014639",
      "log_finite_product": "-448.7323507624328293377007723529562090792620777347211079371671093166206304661776718417",
      "proved_upper_bound": "-422.1266329610039649509890438037012442553747588828204669570443102992394397276570486728",
      "relative_tail_bound": "1.036825744298315495584926082677051457689113180193629935079030817839215551595878328083e-73"
    },
    {
      "J": 43,
      "K": 163,
      "R": "8796093022208.0",
      "imaginary": "178.8319725844672540716985465734700622684036055135731675410297169988860189798923286535",
      "log_finite_product": "-473.9517020542392207507859041627428197571380642543222877498572957955273978674816061077",
      "proved_upper_bound": "-447.0799314611633603320620591032633787037730158137373269299443315736484216587419995386",
      "relative_tail_bound": "1.036825744298315495583719194186748194564479181646224459122685134350267267594090669127e-73"
    },
    {
      "J": 44,
      "K": 164,
      "R": "17592186044416.0",
      "imaginary": "182.9908556678262438071756097223629590378086769473871601152782440155809766526297804159",
      "log_finite_product": "-499.8767805746198639788206612403064359774851227628386318946961440882394977147564363416",
      "proved_upper_bound": "-472.7263771418820189015259771770720743616144501574143102828850449651693897307014205473",
      "relative_tail_bound": "1.036825744298315495583402811857333191099828121951590315283344176758196828972559946926e-73"
    },
    {
      "J": 45,
      "K": 165,
      "R": "35184372088832.0",
      "imaginary": "187.1497387511855746031658376321033687166780480543542299515742348799640525124484429529",
      "log_finite_product": "-526.6517417424648958101973507642625581123087739914111404432970384267715179757492626267",
      "proved_upper_bound": "-499.0659700031602817198939626114914336780670849622984716278989745184956332375493254969",
      "relative_tail_bound": "1.036825744298315495583319964305047275892264461864995168963045507870682961231819626518e-73"
    },
    {
      "J": 46,
      "K": 166,
      "R": "70368744177664.0",
      "imaginary": "191.3086218345450759294126479440779611578233534849536989793859476811917783151829726358",
      "log_finite_product": "-554.2505075156567513565211584075194303595374156555873524614280072685498894087584114257",
      "proved_upper_bound": "-526.0987100449983193174225977651347868003192855779104890355178621444706204234510580163",
      "relative_tail_bound": "1.036825744298315495583298292694937164230674988870018040755701775577411366808385815317e-73"
    },
    {
      "J": 47,
      "K": 167,
      "R": "140737488355328.0",
      "imaginary": "195.4675049179046625207877494626222515569934159377542839982841306269568665368248981037",
      "log_finite_product": "-582.4597396106985621617131673291183134212018586041410728226884135284753367415449708554",
      "proved_upper_bound": "-553.8245972673962169592401738336666185326222293056816457061709596354016388124150894662",
      "relative_tail_bound": "1.03682574429831549558329262942951108016712372188591117896372537369762919414503085925e-73"
    },
    {
      "J": 48,
      "K": 168,
      "R": "281474976710656.0",
      "imaginary": "199.6263880012642917447269965858145425793976598340792750365240646703629362724369653693",
      "log_finite_product": "-611.3453549098398997988900154564668264758416734884787454930011169644434024425817898658",
      "proved_upper_bound": "-582.2436316703540172779108364190086262097664917242886516116029860381850693093786738341",
      "relative_tail_bound": "1.036825744298315495583291150914332695632217327899494699459685168586690526244206671834e-73"
    }
  ]
}