Search for blocks/addresses/...

Proofgold Proof

pf
Apply ordsucc_inj_contra with u10, u3.
The subproof is completed by applying unknownprop_155e8a92a8ae96b946418659d12b00e3fef62dadc1bc31d4f074bcb712786356.