[exact] returncode=0
schema=OK
dimension=10
event_equation=4d=log2
event_interval_reconstructed=OK
event_multiplicity=8
correlation_degrees=[3,5,7]
activation_graph_constant=[2,3,4]
polynomial_piece_transition=LEFT->EVENT->RIGHT
cells_verified=3/3
domain_coverage=CONTIGUOUS_CLOSED_UNION
exact_global_lower_bound=lambda_min>1e-8
status=EXACT_CHAMBER_SUBDIVISION_CERTIFICATE_OK
RH_CLAIM=False

status=ALL_EXACT_CHECKS_OK
CROSSCHECK_OPTIONAL=python crosscheck_w17_mpmath.py
RH_CLAIM=False
