Search for blocks/addresses/...

Proofgold Proof

pf
Apply real_SNoS_omega_prop with 1.
The subproof is completed by applying real_1.