certificate_passed=True
continuous_region_upper=-2.24165605992311982e-06
arithmetic_lower=3.37626745585565130e-02
arithmetic_upper=6.13476963412952353e-02
certified_cells=480
unresolved_cells=0
prime_power_count=98
