{"rows":[
{"tau":0e0,"order":0,"status":"ok","value":1.00000000000000000e0,"depth":0,"steps":1,"rounds":0,"tail_estimate":0.00000000000000000e0,"gap_fraction":0.00000000000000000e0,"target_fraction":0.00000000000000000e0}
,
{"tau":0e0,"order":1,"status":"ok","value":0.00000000000000000e0,"depth":0,"steps":2,"rounds":0,"tail_estimate":0.00000000000000000e0,"gap_fraction":0.00000000000000000e0,"target_fraction":0.00000000000000000e0}
,
{"tau":0e0,"order":2,"status":"ok","value":0.00000000000000000e0,"depth":0,"steps":3,"rounds":0,"tail_estimate":0.00000000000000000e0,"gap_fraction":0.00000000000000000e0,"target_fraction":0.00000000000000000e0}
,
{"tau":0e0,"order":5,"status":"ok","value":0.00000000000000000e0,"depth":0,"steps":6,"rounds":0,"tail_estimate":0.00000000000000000e0,"gap_fraction":0.00000000000000000e0,"target_fraction":0.00000000000000000e0}
,
{"tau":0e0,"order":10,"status":"ok","value":0.00000000000000000e0,"depth":0,"steps":11,"rounds":0,"tail_estimate":0.00000000000000000e0,"gap_fraction":0.00000000000000000e0,"target_fraction":0.00000000000000000e0}
,
{"tau":0e0,"order":20,"status":"ok","value":0.00000000000000000e0,"depth":0,"steps":21,"rounds":0,"tail_estimate":0.00000000000000000e0,"gap_fraction":0.00000000000000000e0,"target_fraction":0.00000000000000000e0}
,
{"tau":0e0,"order":40,"status":"ok","value":0.00000000000000000e0,"depth":0,"steps":41,"rounds":0,"tail_estimate":0.00000000000000000e0,"gap_fraction":0.00000000000000000e0,"target_fraction":0.00000000000000000e0}
,
{"tau":0e0,"order":80,"status":"ok","value":0.00000000000000000e0,"depth":0,"steps":81,"rounds":0,"tail_estimate":0.00000000000000000e0,"gap_fraction":0.00000000000000000e0,"target_fraction":0.00000000000000000e0}
,
{"tau":0e0,"order":160,"status":"ok","value":0.00000000000000000e0,"depth":0,"steps":161,"rounds":0,"tail_estimate":0.00000000000000000e0,"gap_fraction":0.00000000000000000e0,"target_fraction":0.00000000000000000e0}
,
{"tau":0e0,"order":320,"status":"ok","value":0.00000000000000000e0,"depth":0,"steps":321,"rounds":0,"tail_estimate":0.00000000000000000e0,"gap_fraction":0.00000000000000000e0,"target_fraction":0.00000000000000000e0}
,
{"tau":1.25e-1,"order":0,"status":"ok","value":8.85947525501251221e-1,"depth":16,"steps":18,"rounds":1,"tail_estimate":1.74653704002449861e-34,"gap_fraction":0.00000000000000000e0,"target_fraction":3.48185791119398494e-3}
,
{"tau":1.25e-1,"order":1,"status":"ok","value":-1.10527709126472473e-1,"depth":16,"steps":19,"rounds":1,"tail_estimate":1.74653704002449861e-34,"gap_fraction":0.00000000000000000e0,"target_fraction":5.01533119175628164e-2}
,
{"tau":1.25e-1,"order":2,"status":"ok","value":3.45174432732164860e-3,"depth":16,"steps":20,"rounds":1,"tail_estimate":1.74653704002449861e-34,"gap_fraction":0.00000000000000000e0,"target_fraction":1.23739859121468681e-3}
,
{"tau":1.25e-1,"order":5,"status":"ok","value":-1.40360452149934645e-8,"depth":16,"steps":23,"rounds":1,"tail_estimate":1.74653704002449861e-34,"gap_fraction":0.00000000000000000e0,"target_fraction":8.71302847684883412e-3}
,
{"tau":1.25e-1,"order":10,"status":"ok","value":4.42521671983591964e-19,"depth":16,"steps":28,"rounds":1,"tail_estimate":1.74653704002449861e-34,"gap_fraction":0.00000000000000000e0,"target_fraction":1.43884216148662675e-2}
,
{"tau":1.25e-1,"order":20,"status":"ok","value":5.99755742731021706e-43,"depth":21,"steps":43,"rounds":1,"tail_estimate":5.98908259451707716e-47,"gap_fraction":9.45555540433506861e-5,"target_fraction":3.20624021396789805e-1}
,
{"tau":1.25e-1,"order":40,"status":"ok","value":0.00000000000000000e0,"depth":41,"steps":83,"rounds":1,"tail_estimate":5.46565668765875908e-101,"gap_fraction":3.06371419126882217e-59,"target_fraction":1.05635414814412455e-51}
,
{"tau":1.25e-1,"order":80,"status":"ok","value":0.00000000000000000e0,"depth":81,"steps":163,"rounds":1,"tail_estimate":1.54289693678130240e-220,"gap_fraction":3.06366872899707047e-179,"target_fraction":8.23961934114961678e-171}
,
{"tau":1.25e-1,"order":160,"status":"ok","value":0.00000000000000000e0,"depth":161,"steps":323,"rounds":1,"tail_estimate":0.00000000000000000e0,"gap_fraction":0.00000000000000000e0,"target_fraction":0.00000000000000000e0}
,
{"tau":1.25e-1,"order":320,"status":"ok","value":0.00000000000000000e0,"depth":321,"steps":643,"rounds":1,"tail_estimate":0.00000000000000000e0,"gap_fraction":0.00000000000000000e0,"target_fraction":0.00000000000000000e0}
,
{"tau":5e-1,"order":0,"status":"ok","value":6.45035266876220703e-1,"depth":16,"steps":18,"rounds":1,"tail_estimate":2.06934989504201626e-24,"gap_fraction":0.00000000000000000e0,"target_fraction":1.16163818842298823e-2}
,
{"tau":5e-1,"order":1,"status":"ok","value":-3.12841594219207764e-1,"depth":16,"steps":19,"rounds":1,"tail_estimate":2.06934989504201626e-24,"gap_fraction":0.00000000000000000e0,"target_fraction":8.14518260531680166e-2}
,
{"tau":5e-1,"order":2,"status":"ok","value":3.87041158974170685e-2,"depth":16,"steps":20,"rounds":1,"tail_estimate":2.06934989504201626e-24,"gap_fraction":0.00000000000000000e0,"target_fraction":2.59049573209233150e-2}
,
{"tau":5e-1,"order":5,"status":"ok","value":-9.97521146928193048e-6,"depth":16,"steps":23,"rounds":1,"tail_estimate":2.06934989504201626e-24,"gap_fraction":0.00000000000000000e0,"target_fraction":8.96325038034361532e-2}
,
{"tau":5e-1,"order":10,"status":"ok","value":3.20617203576276100e-13,"depth":16,"steps":28,"rounds":1,"tail_estimate":2.06934989504201626e-24,"gap_fraction":0.00000000000000000e0,"target_fraction":7.18572371899792173e-2}
,
{"tau":5e-1,"order":20,"status":"ok","value":4.54831725194740094e-31,"depth":42,"steps":107,"rounds":2,"tail_estimate":4.28009581028940454e-78,"gap_fraction":0.00000000000000000e0,"target_fraction":8.30537231184840519e-2}
,
{"tau":5e-1,"order":40,"status":"ok","value":0.00000000000000000e0,"depth":41,"steps":83,"rounds":1,"tail_estimate":7.27624681623269435e-76,"gap_fraction":1.62396914495871746e-33,"target_fraction":8.78960603361292176e-28}
,
{"tau":5e-1,"order":80,"status":"ok","value":0.00000000000000000e0,"depth":81,"steps":163,"rounds":1,"tail_estimate":2.48145327522490233e-171,"gap_fraction":1.96636141860093026e-129,"target_fraction":8.28247592355733947e-123}
,
{"tau":5e-1,"order":160,"status":"ok","value":0.00000000000000000e0,"depth":161,"steps":323,"rounds":1,"tail_estimate":0.00000000000000000e0,"gap_fraction":0.00000000000000000e0,"target_fraction":0.00000000000000000e0}
,
{"tau":5e-1,"order":320,"status":"ok","value":0.00000000000000000e0,"depth":321,"steps":643,"rounds":1,"tail_estimate":0.00000000000000000e0,"gap_fraction":0.00000000000000000e0,"target_fraction":0.00000000000000000e0}
,
{"tau":1e0,"order":0,"status":"ok","value":4.65759605169296265e-1,"depth":16,"steps":18,"rounds":1,"tail_estimate":1.66335152510736076e-19,"gap_fraction":0.00000000000000000e0,"target_fraction":1.09159709387287203e-2}
,
{"tau":1e0,"order":1,"status":"ok","value":-4.15820837020874023e-1,"depth":16,"steps":19,"rounds":1,"tail_estimate":1.66335152510736076e-19,"gap_fraction":0.00000000000000000e0,"target_fraction":3.18816552214851237e-2}
,
{"tau":1e0,"order":2,"status":"ok","value":9.98775511980056763e-2,"depth":16,"steps":20,"rounds":1,"tail_estimate":1.66335152510736076e-19,"gap_fraction":0.00000000000000000e0,"target_fraction":5.43920947522945411e-2}
,
{"tau":1e0,"order":5,"status":"ok","value":-1.99731424800120294e-4,"depth":16,"steps":23,"rounds":1,"tail_estimate":1.66335152510736076e-19,"gap_fraction":0.00000000000000000e0,"target_fraction":3.59520823074770124e-2}
,
{"tau":1e0,"order":10,"status":"ok","value":2.02550601291484611e-10,"depth":16,"steps":28,"rounds":1,"tail_estimate":1.66335152510736076e-19,"gap_fraction":0.00000000000000000e0,"target_fraction":4.13904766990006168e-2}
,
{"tau":1e0,"order":20,"status":"ok","value":2.91863472618865304e-25,"depth":42,"steps":107,"rounds":2,"tail_estimate":2.29345186390576103e-65,"gap_fraction":0.00000000000000000e0,"target_fraction":6.12015916961938036e-2}
,
{"tau":1e0,"order":40,"status":"ok","value":0.00000000000000000e0,"depth":41,"steps":83,"rounds":1,"tail_estimate":1.94965892496358402e-63,"gap_fraction":8.64930062039648409e-21,"target_fraction":5.88854390999633290e-16}
,
{"tau":1e0,"order":80,"status":"ok","value":0.00000000000000000e0,"depth":81,"steps":163,"rounds":1,"tail_estimate":7.29476883196267529e-147,"gap_fraction":1.15252787056704395e-104,"target_fraction":6.08720435663186688e-99}
,
{"tau":1e0,"order":160,"status":"ok","value":0.00000000000000000e0,"depth":161,"steps":323,"rounds":1,"tail_estimate":0.00000000000000000e0,"gap_fraction":0.00000000000000000e0,"target_fraction":0.00000000000000000e0}
,
{"tau":1e0,"order":320,"status":"ok","value":0.00000000000000000e0,"depth":321,"steps":643,"rounds":1,"tail_estimate":0.00000000000000000e0,"gap_fraction":0.00000000000000000e0,"target_fraction":0.00000000000000000e0}
,
{"tau":3e0,"order":0,"status":"ok","value":2.43000358343124390e-1,"depth":32,"steps":35,"rounds":1,"tail_estimate":1.14682319223785161e-31,"gap_fraction":0.00000000000000000e0,"target_fraction":3.60856243835316823e-2}
,
{"tau":3e0,"order":1,"status":"ok","value":-3.93653422594070435e-1,"depth":32,"steps":36,"rounds":1,"tail_estimate":1.14682319223785161e-31,"gap_fraction":0.00000000000000000e0,"target_fraction":2.13124582178979630e-2}
,
{"tau":3e0,"order":2,"status":"ok","value":2.23565086722373962e-1,"depth":32,"steps":37,"rounds":1,"tail_estimate":1.14682319223785161e-31,"gap_fraction":0.00000000000000000e0,"target_fraction":3.63169973951426098e-2}
,
{"tau":3e0,"order":5,"status":"ok","value":-9.08180605620145798e-3,"depth":32,"steps":40,"rounds":1,"tail_estimate":1.14682319223785161e-31,"gap_fraction":0.00000000000000000e0,"target_fraction":5.11830036319943504e-2}
,
{"tau":3e0,"order":10,"status":"ok","value":1.93815026250376832e-6,"depth":32,"steps":45,"rounds":1,"tail_estimate":1.14682319223785161e-31,"gap_fraction":0.00000000000000000e0,"target_fraction":9.26039912702769086e-2}
,
{"tau":3e0,"order":20,"status":"ok","value":1.51448882164138062e-16,"depth":42,"steps":107,"rounds":2,"tail_estimate":1.06733494428965155e-45,"gap_fraction":0.00000000000000000e0,"target_fraction":7.63857160627511994e-2}
,
{"tau":3e0,"order":40,"status":"ok","value":1.42512053821833896e-42,"depth":41,"steps":83,"rounds":1,"tail_estimate":3.02780872864295730e-44,"gap_fraction":3.92884766675130892e-1,"target_fraction":2.76074789546016552e-1}
,
{"tau":3e0,"order":80,"status":"ok","value":0.00000000000000000e0,"depth":81,"steps":163,"rounds":1,"tail_estimate":1.34572412180180411e-108,"gap_fraction":6.29916305519893150e-66,"target_fraction":1.24810349420254977e-61}
,
{"tau":3e0,"order":160,"status":"ok","value":0.00000000000000000e0,"depth":161,"steps":323,"rounds":1,"tail_estimate":8.81527446472038917e-261,"gap_fraction":1.47339345557084653e-218,"target_fraction":2.28470526851915628e-213}
,
{"tau":3e0,"order":320,"status":"ok","value":0.00000000000000000e0,"depth":321,"steps":643,"rounds":1,"tail_estimate":0.00000000000000000e0,"gap_fraction":0.00000000000000000e0,"target_fraction":0.00000000000000000e0}
,
{"tau":5e0,"order":0,"status":"ok","value":1.83540806174278259e-1,"depth":32,"steps":35,"rounds":1,"tail_estimate":3.66736601444238155e-25,"gap_fraction":0.00000000000000000e0,"target_fraction":7.35273966885797298e-2}
,
{"tau":5e0,"order":1,"status":"ok","value":-3.27944546937942505e-1,"depth":32,"steps":36,"rounds":1,"tail_estimate":3.66736601444238155e-25,"gap_fraction":0.00000000000000000e0,"target_fraction":8.34453248844565787e-2}
,
{"tau":5e0,"order":2,"status":"ok","value":2.35903814435005188e-1,"depth":32,"steps":37,"rounds":1,"tail_estimate":3.66736601444238155e-25,"gap_fraction":0.00000000000000000e0,"target_fraction":2.46425368100810921e-2}
,
{"tau":5e0,"order":5,"status":"ok","value":-2.90806367993354797e-2,"depth":32,"steps":40,"rounds":1,"tail_estimate":3.66736601444238155e-25,"gap_fraction":0.00000000000000000e0,"target_fraction":3.95815026041705306e-2}
,
{"tau":5e0,"order":10,"status":"ok","value":6.17201949353329837e-5,"depth":32,"steps":45,"rounds":1,"tail_estimate":3.66736601444238155e-25,"gap_fraction":0.00000000000000000e0,"target_fraction":6.23707815704598739e-2}
,
{"tau":5e0,"order":20,"status":"ok","value":6.77061163210923578e-13,"depth":42,"steps":107,"rounds":2,"tail_estimate":5.48927616107182144e-37,"gap_fraction":0.00000000000000000e0,"target_fraction":2.13219308544859536e-2}
,
{"tau":5e0,"order":40,"status":"ok","value":1.59073084258804872e-34,"depth":82,"steps":207,"rounds":2,"tail_estimate":8.99967274717988579e-93,"gap_fraction":0.00000000000000000e0,"target_fraction":5.72190848862764376e-2}
,
{"tau":5e0,"order":80,"status":"ok","value":0.00000000000000000e0,"depth":81,"steps":163,"rounds":1,"tail_estimate":2.97259858225261445e-91,"gap_fraction":2.28985559174859493e-48,"target_fraction":9.93103565718189714e-45}
,
{"tau":5e0,"order":160,"status":"ok","value":0.00000000000000000e0,"depth":161,"steps":323,"rounds":1,"tail_estimate":1.06381447979521924e-225,"gap_fraction":2.94486452231400503e-183,"target_fraction":9.92725837701964189e-179}
,
{"tau":5e0,"order":320,"status":"ok","value":0.00000000000000000e0,"depth":321,"steps":643,"rounds":1,"tail_estimate":0.00000000000000000e0,"gap_fraction":0.00000000000000000e0,"target_fraction":0.00000000000000000e0}
,
{"tau":2e1,"order":0,"status":"ok","value":8.97803083062171936e-2,"depth":64,"steps":68,"rounds":1,"tail_estimate":4.62797307072549396e-33,"gap_fraction":0.00000000000000000e0,"target_fraction":8.35916750452093821e-2}
,
{"tau":2e1,"order":1,"status":"ok","value":-1.75012439489364624e-1,"depth":64,"steps":69,"rounds":1,"tail_estimate":4.62797307072549396e-33,"gap_fraction":0.00000000000000000e0,"target_fraction":5.84430238613088682e-2}
,
{"tau":2e1,"order":2,"status":"ok","value":1.62059381604194641e-1,"depth":64,"steps":70,"rounds":1,"tail_estimate":4.62797307072549396e-33,"gap_fraction":0.00000000000000000e0,"target_fraction":2.93907836629213846e-2}
,
{"tau":2e1,"order":5,"status":"ok","value":-9.48888882994651794e-2,"depth":64,"steps":73,"rounds":1,"tail_estimate":4.62797307072549396e-33,"gap_fraction":0.00000000000000000e0,"target_fraction":7.32141402935140573e-2}
,
{"tau":2e1,"order":10,"status":"ok","value":1.45937930792570114e-2,"depth":64,"steps":78,"rounds":1,"tail_estimate":4.62797307072549396e-33,"gap_fraction":0.00000000000000000e0,"target_fraction":1.57066399226448161e-2}
,
{"tau":2e1,"order":20,"status":"ok","value":1.31450087792472914e-5,"depth":42,"steps":65,"rounds":1,"tail_estimate":1.08424153350559786e-16,"gap_fraction":7.20157127438842316e-9,"target_fraction":3.13511244973478168e-2}
,
{"tau":2e1,"order":40,"status":"ok","value":5.42129567725603643e-16,"depth":82,"steps":207,"rounds":2,"tail_estimate":7.89988778419967682e-49,"gap_fraction":0.00000000000000000e0,"target_fraction":1.00917624110638926e-1}
,
{"tau":2e1,"order":80,"status":"ok","value":0.00000000000000000e0,"depth":81,"steps":163,"rounds":1,"tail_estimate":6.61175947974722437e-48,"gap_fraction":1.84468368837600215e-4,"target_fraction":1.39987655440685609e-2}
,
{"tau":2e1,"order":160,"status":"ok","value":0.00000000000000000e0,"depth":161,"steps":323,"rounds":1,"tail_estimate":1.98147642221303949e-134,"gap_fraction":2.09051553573679403e-91,"target_fraction":1.15981064253328392e-88}
,
{"tau":2e1,"order":320,"status":"ok","value":0.00000000000000000e0,"depth":321,"steps":643,"rounds":1,"tail_estimate":0.00000000000000000e0,"gap_fraction":0.00000000000000000e0,"target_fraction":0.00000000000000000e0}
,
{"tau":8e1,"order":0,"status":"ok","value":4.46732901036739349e-2,"depth":128,"steps":133,"rounds":1,"tail_estimate":1.37095601316216096e-39,"gap_fraction":0.00000000000000000e0,"target_fraction":7.88005991853460985e-2}
,
{"tau":8e1,"order":1,"status":"ok","value":-8.87864008545875549e-2,"depth":128,"steps":134,"rounds":1,"tail_estimate":1.37095601316216096e-39,"gap_fraction":0.00000000000000000e0,"target_fraction":1.74409770854935427e-2}
,
{"tau":8e1,"order":2,"status":"ok","value":8.71269255876541138e-2,"depth":128,"steps":135,"rounds":1,"tail_estimate":1.37095601316216096e-39,"gap_fraction":0.00000000000000000e0,"target_fraction":4.87661835282489076e-2}
,
{"tau":8e1,"order":5,"status":"ok","value":-7.63505846261978149e-2,"depth":128,"steps":138,"rounds":1,"tail_estimate":1.37095601316216096e-39,"gap_fraction":0.00000000000000000e0,"target_fraction":6.48309179362956123e-2}
,
{"tau":8e1,"order":10,"status":"ok","value":4.76748533546924591e-2,"depth":128,"steps":143,"rounds":1,"tail_estimate":1.37095601316216096e-39,"gap_fraction":0.00000000000000000e0,"target_fraction":4.52287289995529015e-2}
,
{"tau":8e1,"order":20,"status":"ok","value":7.31517607346177101e-3,"depth":84,"steps":108,"rounds":1,"tail_estimate":1.28487990417447695e-18,"gap_fraction":0.00000000000000000e0,"target_fraction":2.36335005112509600e-2}
,
{"tau":8e1,"order":40,"status":"ok","value":4.65572520624846220e-6,"depth":82,"steps":125,"rounds":1,"tail_estimate":8.03035534855988777e-18,"gap_fraction":0.00000000000000000e0,"target_fraction":9.81786533373652653e-2}
,
{"tau":8e1,"order":80,"status":"ok","value":4.40975319866970021e-18,"depth":162,"steps":407,"rounds":2,"tail_estimate":1.09800248575918930e-59,"gap_fraction":0.00000000000000000e0,"target_fraction":6.84910122757475953e-2}
,
{"tau":8e1,"order":160,"status":"ok","value":0.00000000000000000e0,"depth":161,"steps":323,"rounds":1,"tail_estimate":4.71625783601055817e-59,"gap_fraction":1.61881204119760721e-15,"target_fraction":1.82118089792206951e-14}
,
{"tau":8e1,"order":320,"status":"ok","value":0.00000000000000000e0,"depth":321,"steps":643,"rounds":1,"tail_estimate":7.51084277917541357e-185,"gap_fraction":1.04800474482476857e-141,"target_fraction":7.81429094286717888e-140}
,
{"tau":1e2,"order":0,"status":"ok","value":3.99443805217742920e-2,"depth":128,"steps":133,"rounds":1,"tail_estimate":4.79421431405826232e-33,"gap_fraction":0.00000000000000000e0,"target_fraction":6.41927818962086671e-2}
,
{"tau":1e2,"order":1,"status":"ok","value":-7.94883072376251221e-2,"depth":128,"steps":134,"rounds":1,"tail_estimate":4.79421431405826232e-33,"gap_fraction":0.00000000000000000e0,"target_fraction":3.13264204282649103e-2}
,
{"tau":1e2,"order":2,"status":"ok","value":7.82989934086799622e-2,"depth":128,"steps":135,"rounds":1,"tail_estimate":4.79421431405826232e-33,"gap_fraction":0.00000000000000000e0,"target_fraction":2.49489782844126706e-2}
,
{"tau":1e2,"order":5,"status":"ok","value":-7.04589337110519409e-2,"depth":128,"steps":138,"rounds":1,"tail_estimate":4.79421431405826232e-33,"gap_fraction":0.00000000000000000e0,"target_fraction":1.10259344781549556e-1}
,
{"tau":1e2,"order":10,"status":"ok","value":4.83533665537834167e-2,"depth":128,"steps":143,"rounds":1,"tail_estimate":4.79421431405826232e-33,"gap_fraction":0.00000000000000000e0,"target_fraction":4.84573519809094605e-2}
,
{"tau":1e2,"order":20,"status":"ok","value":1.07759153470396996e-2,"depth":84,"steps":108,"rounds":1,"tail_estimate":2.51127156371126042e-15,"gap_fraction":8.86911905917535332e-8,"target_fraction":1.81200007187651835e-2}
,
{"tau":1e2,"order":40,"status":"ok","value":2.85828718915581703e-5,"depth":82,"steps":125,"rounds":1,"tail_estimate":1.15649051860402769e-14,"gap_fraction":4.15915381108454054e-7,"target_fraction":5.73069834064360781e-2}
,
{"tau":1e2,"order":80,"status":"ok","value":3.80413677446810039e-15,"depth":162,"steps":407,"rounds":2,"tail_estimate":2.44488645537104866e-50,"gap_fraction":0.00000000000000000e0,"target_fraction":1.09182283818413037e-1}
,
{"tau":1e2,"order":160,"status":"ok","value":0.00000000000000000e0,"depth":161,"steps":323,"rounds":1,"tail_estimate":8.63787857785159758e-50,"gap_fraction":3.45301344581534648e-6,"target_fraction":2.19942547031194217e-5}
,
{"tau":1e2,"order":320,"status":"ok","value":0.00000000000000000e0,"depth":321,"steps":643,"rounds":1,"tail_estimate":3.85130115519083570e-161,"gap_fraction":6.49021480135947113e-118,"target_fraction":2.58598468772147594e-116}
,
{"tau":1.04e2,"order":0,"status":"ok","value":3.91667857766151428e-2,"depth":128,"steps":133,"rounds":1,"tail_estimate":5.55441803345447752e-32,"gap_fraction":0.00000000000000000e0,"target_fraction":6.18519864513339193e-2}
,
{"tau":1.04e2,"order":1,"status":"ok","value":-7.79560506343841553e-2,"depth":128,"steps":134,"rounds":1,"tail_estimate":5.55441803345447752e-32,"gap_fraction":0.00000000000000000e0,"target_fraction":2.08393671134198682e-2}
,
{"tau":1.04e2,"order":2,"status":"ok","value":7.68344178795814514e-2,"depth":128,"steps":135,"rounds":1,"tail_estimate":5.55441803345447752e-32,"gap_fraction":0.00000000000000000e0,"target_fraction":9.47514790872265866e-2}
,
{"tau":1.04e2,"order":5,"status":"ok","value":-6.94233849644660950e-2,"depth":128,"steps":138,"rounds":1,"tail_estimate":5.55441803345447752e-32,"gap_fraction":0.00000000000000000e0,"target_fraction":3.74279583290498472e-2}
,
{"tau":1.04e2,"order":10,"status":"ok","value":4.83396165072917938e-2,"depth":128,"steps":143,"rounds":1,"tail_estimate":5.55441803345447752e-32,"gap_fraction":0.00000000000000000e0,"target_fraction":5.82781336799886376e-2}
,
{"tau":1.04e2,"order":20,"status":"ok","value":1.14111322909593582e-2,"depth":84,"steps":108,"rounds":1,"tail_estimate":8.39785751506233027e-15,"gap_fraction":3.11584623885484090e-7,"target_fraction":8.71238324220134121e-3}
,
{"tau":1.04e2,"order":40,"status":"ok","value":3.78066106350161135e-5,"depth":82,"steps":125,"rounds":1,"tail_estimate":3.67924348114203935e-14,"gap_fraction":1.25431307068966988e-6,"target_fraction":8.82355772038004998e-2}
,
{"tau":1.04e2,"order":80,"status":"ok","value":1.11098831889300080e-14,"depth":162,"steps":407,"rounds":2,"tail_estimate":8.43796362279967396e-49,"gap_fraction":0.00000000000000000e0,"target_fraction":4.68353942318116348e-2}
,
{"tau":1.04e2,"order":160,"status":"ok","value":0.00000000000000000e0,"depth":161,"steps":323,"rounds":1,"tail_estimate":2.88375805764322930e-48,"gap_fraction":1.18207447510614545e-4,"target_fraction":6.83329771762095734e-4}
,
{"tau":1.04e2,"order":320,"status":"ok","value":0.00000000000000000e0,"depth":321,"steps":643,"rounds":1,"tail_estimate":3.99695660883717124e-157,"gap_fraction":6.95674493537888608e-114,"target_fraction":2.48597847566660826e-112}
,
{"tau":5e2,"order":0,"status":"ok","value":1.78457070142030716e-2,"depth":256,"steps":262,"rounds":1,"tail_estimate":1.59574421863723234e-28,"gap_fraction":0.00000000000000000e0,"target_fraction":6.04089702905854439e-2}
,
{"tau":5e2,"order":1,"status":"ok","value":-3.56557033956050873e-2,"depth":256,"steps":263,"rounds":1,"tail_estimate":1.59574421863723234e-28,"gap_fraction":0.00000000000000000e0,"target_fraction":1.82444239169372024e-2}
,
{"tau":5e2,"order":2,"status":"ok","value":3.55487912893295288e-2,"depth":256,"steps":264,"rounds":1,"tail_estimate":1.59574421863723234e-28,"gap_fraction":0.00000000000000000e0,"target_fraction":6.51198963440218354e-2}
,
{"tau":5e2,"order":5,"status":"ok","value":-3.48093248903751373e-2,"depth":256,"steps":267,"rounds":1,"tail_estimate":1.59574421863723234e-28,"gap_fraction":0.00000000000000000e0,"target_fraction":5.16231600636839830e-2}
,
{"tau":5e2,"order":10,"status":"ok","value":3.22917960584163666e-2,"depth":256,"steps":272,"rounds":1,"tail_estimate":1.59574421863723234e-28,"gap_fraction":0.00000000000000000e0,"target_fraction":1.20282536299273685e-1}
,
{"tau":5e2,"order":20,"status":"ok","value":2.39163637161254883e-2,"depth":336,"steps":362,"rounds":1,"tail_estimate":4.29463202876950115e-48,"gap_fraction":0.00000000000000000e0,"target_fraction":2.42030261019493646e-2}
,
{"tau":5e2,"order":40,"status":"ok","value":7.20059359446167946e-3,"depth":328,"steps":373,"rounds":1,"tail_estimate":6.35273594807169300e-46,"gap_fraction":0.00000000000000000e0,"target_fraction":2.24235690142400579e-2}
,
{"tau":5e2,"order":80,"status":"ok","value":5.97328507865313441e-5,"depth":324,"steps":408,"rounds":1,"tail_estimate":7.42309797004275655e-45,"gap_fraction":0.00000000000000000e0,"target_fraction":5.70671463077296812e-2}
,
{"tau":5e2,"order":160,"status":"ok","value":3.28173713247739696e-13,"depth":322,"steps":485,"rounds":1,"tail_estimate":2.51206268704582527e-44,"gap_fraction":0.00000000000000000e0,"target_fraction":1.38734565925690573e-2}
,
{"tau":5e2,"order":320,"status":"ok","value":2.80259692864963414e-45,"depth":642,"steps":1607,"rounds":2,"tail_estimate":1.34841700373463620e-162,"gap_fraction":0.00000000000000000e0,"target_fraction":1.95352430761768892e-1}
,
{"tau":7e2,"order":0,"status":"ok","value":1.50812957435846329e-2,"depth":256,"steps":262,"rounds":1,"tail_estimate":1.07972319540379070e-20,"gap_fraction":0.00000000000000000e0,"target_fraction":1.28006021499123789e-2}
,
{"tau":7e2,"order":1,"status":"ok","value":-3.01410388201475143e-2,"depth":256,"steps":263,"rounds":1,"tail_estimate":1.07972319540379070e-20,"gap_fraction":0.00000000000000000e0,"target_fraction":4.82079016586781182e-3}
,
{"tau":7e2,"order":2,"status":"ok","value":3.00764739513397217e-2,"depth":256,"steps":264,"rounds":1,"tail_estimate":1.07972319540379070e-20,"gap_fraction":0.00000000000000000e0,"target_fraction":6.81606849480918472e-3}
,
{"tau":7e2,"order":5,"status":"ok","value":-2.96283774077892303e-2,"depth":256,"steps":267,"rounds":1,"tail_estimate":1.07972319540379070e-20,"gap_fraction":0.00000000000000000e0,"target_fraction":3.81807441883462786e-2}
,
{"tau":7e2,"order":10,"status":"ok","value":2.80818659812211990e-2,"depth":256,"steps":272,"rounds":1,"tail_estimate":1.07972319540379070e-20,"gap_fraction":0.00000000000000000e0,"target_fraction":4.68553862856629644e-2}
,
{"tau":7e2,"order":20,"status":"ok","value":2.26623117923736572e-2,"depth":336,"steps":362,"rounds":1,"tail_estimate":5.10793920584172656e-35,"gap_fraction":0.00000000000000000e0,"target_fraction":3.77677829179810312e-2}
,
{"tau":7e2,"order":40,"status":"ok","value":9.61418636143207550e-3,"depth":328,"steps":373,"rounds":1,"tail_estimate":2.01514749949391491e-33,"gap_fraction":0.00000000000000000e0,"target_fraction":3.91088267328627767e-2}
,
{"tau":7e2,"order":80,"status":"ok","value":3.12509946525096893e-4,"depth":324,"steps":408,"rounds":1,"tail_estimate":1.22707591532084175e-32,"gap_fraction":0.00000000000000000e0,"target_fraction":9.37730325745500942e-2}
,
{"tau":7e2,"order":160,"status":"ok","value":3.68630709290940217e-10,"depth":322,"steps":485,"rounds":1,"tail_estimate":3.00454419123263504e-32,"gap_fraction":0.00000000000000000e0,"target_fraction":7.73975248560762885e-2}
,
{"tau":7e2,"order":320,"status":"ok","value":1.63953250075289372e-33,"depth":642,"steps":1607,"rounds":2,"tail_estimate":2.38389707963732350e-121,"gap_fraction":0.00000000000000000e0,"target_fraction":8.07557725607018634e-2}
,
{"tau":1e3,"order":0,"status":"ok","value":1.26172406598925591e-2,"depth":256,"steps":262,"rounds":1,"tail_estimate":1.08666014193712558e-14,"gap_fraction":3.64454115639591570e-7,"target_fraction":3.39077106367458234e-2}
,
{"tau":1e3,"order":1,"status":"ok","value":-2.52218600362539291e-2,"depth":256,"steps":263,"rounds":1,"tail_estimate":1.08666014193712558e-14,"gap_fraction":3.64636479504554605e-7,"target_fraction":3.97118519227055503e-2}
,
{"tau":1e3,"order":2,"status":"ok","value":2.51840371638536453e-2,"depth":256,"steps":264,"rounds":1,"tail_estimate":1.08666014193712558e-14,"gap_fraction":3.65184118601288044e-7,"target_fraction":2.24014194707791410e-3}
,
{"tau":1e3,"order":5,"status":"ok","value":-2.49208584427833557e-2,"depth":256,"steps":267,"rounds":1,"tail_estimate":1.08666014193712558e-14,"gap_fraction":3.67382909451548621e-7,"target_fraction":4.72302114723582925e-2}
,
{"tau":1e3,"order":10,"status":"ok","value":2.40031909197568893e-2,"depth":256,"steps":272,"rounds":1,"tail_estimate":1.08666014193712558e-14,"gap_fraction":3.67382909451548621e-7,"target_fraction":7.61434493756949216e-2}
,
{"tau":1e3,"order":20,"status":"ok","value":2.06583160907030106e-2,"depth":336,"steps":362,"rounds":1,"tail_estimate":7.33936515532776706e-25,"gap_fraction":0.00000000000000000e0,"target_fraction":5.82451386248756600e-2}
,
{"tau":1e3,"order":40,"status":"ok","value":1.13352555781602859e-2,"depth":328,"steps":373,"rounds":1,"tail_estimate":1.00516061817244028e-23,"gap_fraction":0.00000000000000000e0,"target_fraction":4.20615937793623121e-2}
,
{"tau":1e3,"order":80,"status":"ok","value":1.02872285060584545e-3,"depth":324,"steps":408,"rounds":1,"tail_estimate":3.63602539237236337e-23,"gap_fraction":0.00000000000000000e0,"target_fraction":9.09813225389683039e-2}
,
{"tau":1e3,"order":160,"status":"ok","value":7.11289942501025507e-8,"depth":322,"steps":485,"rounds":1,"tail_estimate":6.87614368171361193e-23,"gap_fraction":0.00000000000000000e0,"target_fraction":1.36791247087624038e-2}
,
{"tau":1e3,"order":320,"status":"ok","value":2.18620631702540388e-24,"depth":642,"steps":1607,"rounds":2,"tail_estimate":1.94701405573475846e-87,"gap_fraction":0.00000000000000000e0,"target_fraction":null}
,
{"tau":1e4,"order":0,"status":"ok","value":3.98947251960635185e-3,"depth":1024,"steps":1032,"rounds":1,"tail_estimate":3.21299086685527021e-23,"gap_fraction":0.00000000000000000e0,"target_fraction":8.14782278436370216e-2}
,
{"tau":1e4,"order":1,"status":"ok","value":-7.97854643315076828e-3,"depth":1024,"steps":1033,"rounds":1,"tail_estimate":3.21299086685527021e-23,"gap_fraction":0.00000000000000000e0,"target_fraction":1.08250221664147848e-2}
,
{"tau":1e4,"order":2,"status":"ok","value":7.97734968364238739e-3,"depth":1024,"steps":1034,"rounds":1,"tail_estimate":3.21299086685527021e-23,"gap_fraction":0.00000000000000000e0,"target_fraction":1.14911941341082364e-2}
,
{"tau":1e4,"order":5,"status":"ok","value":-7.96897709369659424e-3,"depth":1024,"steps":1037,"rounds":1,"tail_estimate":3.21299086685527021e-23,"gap_fraction":0.00000000000000000e0,"target_fraction":8.07581948845941533e-2}
,
{"tau":1e4,"order":10,"status":"ok","value":7.93914776295423508e-3,"depth":1024,"steps":1042,"rounds":1,"tail_estimate":3.21299086685527021e-23,"gap_fraction":0.00000000000000000e0,"target_fraction":1.18502385316328576e-1}
,
{"tau":1e4,"order":20,"status":"ok","value":7.82094430178403854e-3,"depth":1344,"steps":1372,"rounds":1,"tail_estimate":1.19523025502181066e-39,"gap_fraction":0.00000000000000000e0,"target_fraction":1.14160793277554878e-1}
,
{"tau":1e4,"order":40,"status":"ok","value":7.36546609550714493e-3,"depth":1312,"steps":1359,"rounds":1,"tail_estimate":8.29896942518175422e-38,"gap_fraction":0.00000000000000000e0,"target_fraction":2.96238074194627027e-2}
,
{"tau":1e4,"order":80,"status":"ok","value":5.79382060095667839e-3,"depth":1296,"steps":1382,"rounds":1,"tail_estimate":6.65697027760323328e-37,"gap_fraction":0.00000000000000000e0,"target_fraction":2.18504809573387970e-2}
,
{"tau":1e4,"order":160,"status":"ok","value":2.21836310811340809e-3,"depth":1288,"steps":1453,"rounds":1,"tail_estimate":1.86753345288777197e-36,"gap_fraction":0.00000000000000000e0,"target_fraction":8.05852185685984740e-2}
,
{"tau":1e4,"order":320,"status":"ok","value":4.76909845019690692e-5,"depth":1284,"steps":1608,"rounds":1,"tail_estimate":3.12054564487864568e-36,"gap_fraction":0.00000000000000000e0,"target_fraction":4.16704896884736789e-2}
,
{"tau":1e6,"order":0,"status":"ok","value":3.98942327592521906e-4,"depth":8192,"steps":8203,"rounds":1,"tail_estimate":5.30944236279947735e-15,"gap_fraction":1.77821658309386479e-7,"target_fraction":1.40709483152226360e-2}
,
{"tau":1e6,"order":1,"status":"ok","value":-7.97884247731417418e-4,"depth":8192,"steps":8204,"rounds":1,"tail_estimate":5.30944236279947735e-15,"gap_fraction":1.77821747220282774e-7,"target_fraction":3.64417091211577324e-2}
,
{"tau":1e6,"order":2,"status":"ok","value":7.97883083578199148e-4,"depth":8192,"steps":8205,"rounds":1,"tail_estimate":5.30944236279947735e-15,"gap_fraction":1.77822013953236569e-7,"target_fraction":4.94354631335931285e-2}
,
{"tau":1e6,"order":5,"status":"ok","value":-7.97874701675027609e-4,"depth":8192,"steps":8208,"rounds":1,"tail_estimate":5.30944236279947735e-15,"gap_fraction":1.77823881095119586e-7,"target_fraction":3.84733935664364757e-2}
,
{"tau":1e6,"order":10,"status":"ok","value":7.97844782937318087e-4,"depth":8192,"steps":8213,"rounds":1,"tail_estimate":5.30944236279947735e-15,"gap_fraction":1.77830549619028438e-7,"target_fraction":4.11480820631925440e-2}
,
{"tau":1e6,"order":20,"status":"ok","value":7.97725107986479998e-4,"depth":10752,"steps":10783,"rounds":1,"tail_estimate":1.56022033702777299e-25,"gap_fraction":0.00000000000000000e0,"target_fraction":2.23542847558819910e-2}
,
{"tau":1e6,"order":40,"status":"ok","value":7.97246582806110382e-4,"depth":10496,"steps":10546,"rounds":1,"tail_estimate":2.36834352947419254e-24,"gap_fraction":0.00000000000000000e0,"target_fraction":6.56049157965064023e-2}
,
{"tau":1e6,"order":80,"status":"ok","value":7.95335508882999420e-4,"depth":10368,"steps":10457,"rounds":1,"tail_estimate":9.00329437553360732e-24,"gap_fraction":0.00000000000000000e0,"target_fraction":7.54181075710062061e-4}
,
{"tau":1e6,"order":160,"status":"ok","value":7.87736789789050817e-4,"depth":10304,"steps":10472,"rounds":1,"tail_estimate":1.74466346047467653e-23,"gap_fraction":0.00000000000000000e0,"target_fraction":7.13354194641949435e-2}
,
{"tau":1e6,"order":320,"status":"ok","value":7.58061127271503210e-4,"depth":10272,"steps":10599,"rounds":1,"tail_estimate":2.42493293603822858e-23,"gap_fraction":0.00000000000000000e0,"target_fraction":1.98190299529956131e-3}
,
{"tau":3.4028235e38,"order":0,"status":"WorkLimit"}
,
{"tau":3.4028235e38,"order":1,"status":"WorkLimit"}
,
{"tau":3.4028235e38,"order":2,"status":"WorkLimit"}
,
{"tau":3.4028235e38,"order":5,"status":"WorkLimit"}
,
{"tau":3.4028235e38,"order":10,"status":"WorkLimit"}
,
{"tau":3.4028235e38,"order":20,"status":"WorkLimit"}
,
{"tau":3.4028235e38,"order":40,"status":"WorkLimit"}
,
{"tau":3.4028235e38,"order":80,"status":"WorkLimit"}
,
{"tau":3.4028235e38,"order":160,"status":"WorkLimit"}
,
{"tau":3.4028235e38,"order":320,"status":"WorkLimit"}
],"accepted":150,"compared":149,"refused":10,"unresolved":1,"max_target_fraction":3.20624021396789805e-1,"max_steps":10783,"admission_controls":10}