Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsuccI1 with
u18
,
u9
.
The subproof is completed by applying unknownprop_9b76af3c59f3cb8b7c5adefa1e6d2d245168373f15aac1901b5d496da32e582e.
■