Search for blocks/addresses/...
Proofgold Proof
pf
Apply unknownprop_be33d753151483c7bac1e70b0036b153d449838792ed17caa64a7328dfc698e0 with
0
,
1
leaving 2 subgoals.
The subproof is completed by applying SNo_0.
The subproof is completed by applying SNo_1.
■