{
 "census_winding": "16.0",
 "census_segments": 1600,
 "census_max_abs_increment_rad": "0.13856934",
 "D(2.5)": [
  "[0.93066725790640733535870633851263616, 0.93066725790640733535870633851263616]",
  "[0.93066725790640733535870633851559438, 0.93066725790640733535870633851559438]"
 ],
 "Im_x_bound_for_Re_p>-5.5": "[4.8506452761198548408892323860338296, 4.8506452761198548408892323860338296]",
 "tail_majorant(c=3,v1=30)": "[0.00000029559903220744602206285405693078785, 0.00000029559903220744602206285405693078785]",
 "tail_ok_vs_1e-6": true
}
exit 0
