{"starts": 40, "seed": 7, "rho2_min": 0.0, "max_excess": 4.440892098500626e-16, "EZ": 0.8551136481086609, "L": 0.44641546229103746, "target": 0.8551136481086604, "rho2": 1.9564282588493313e-17, "a": 6.918064455506071e-18, "b": 1.2646218132987242e-17, "s2": 1.2646216413823886e-17, "S": [[1.4966849295493159, 0.9999999998706399], [1.4966744425821799, 1.293600782048543e-10]], "R": []}
NO COUNTEREXAMPLE FOUND
{"starts": 40, "seed": 8, "rho2_min": 0.005, "max_excess": -0.0005454045786836836, "EZ": 0.8545550508921359, "L": 0.4462871026284234, "target": 0.8551004554708196, "rho2": 0.005, "a": 0.005, "b": 0.0, "s2": 0.0, "S": [[1.4931532100115992, 0.9949999999999993]], "R": [[0.849999999, 0.005]]}
NO COUNTEREXAMPLE FOUND
{"starts": 40, "seed": 9, "rho2_min": 0.05, "max_excess": -0.007119553563204706, "EZ": 0.8479809019076147, "L": 0.4462871026284201, "target": 0.8551004554708194, "rho2": 0.05, "a": 0.04999999999999959, "b": 4.0939474033052647e-16, "s2": 3.584869449895602e-42, "S": [[1.4589977916087324, 0.95]], "R": [[0.849999999, 0.04999999999999959]]}
NO COUNTEREXAMPLE FOUND
