BUILD=PASS
EXACT_VERIFIER=PASS
HIGH_PRECISION_CROSSCHECK=PASS
DOMAIN_COVERAGE=LEFT_EVENT_RIGHT_CLOSED_UNION
EVENT=4d=log2
EVENT_MULTIPLICITY=8
ACTIVE_PRIME_POWERS=2,3,4
LOWER_BOUND=lambda_min>1e-8
RH_CLAIM=False
