Search for blocks/addresses/...

Proofgold Proof

pf
Apply CSNo_I with 0, 1 leaving 2 subgoals.
The subproof is completed by applying SNo_0.
The subproof is completed by applying SNo_1.