rh(scope, finite_catalog_only).
rh(caveat, "finite catalogue evidence only; this is not a proof of RH").
rh(status, no_counterexample_in_catalog).
zero_check(z1, real_part, 0.5).
zero_check(z2, real_part, 0.5).
zero_check(z3, real_part, 0.5).
zero_check(z1, imaginary_part, 14.134725).
zero_check(z2, imaginary_part, 21.02204).
zero_check(z3, imaginary_part, 25.010858).
zero_check(z1, classification, on_critical_line).
zero_check(z2, classification, on_critical_line).
zero_check(z3, classification, on_critical_line).